You are not logged in. login register
Match 3qbf-5cnf-20var-40cl.0.q...1316334825006
match name 3qbf-5cnf-20var-40cl.0.q...1316334825006
game 3qbf-5cnf-20var-40cl.0.qdimacs
status finished
start clock 205
play clock 50
start time Sun Sep 18 08:33:45 GMT 2011
roles
players
scores
EXISTS FORALL
CadiaPlayer Alloy_0.4.1
100 0
owner admin
tournament round_robin_tournament
export export xml

Match history

state moves errors date & time
EXISTS FORALL
state 1 (ASSIGN 1 T) NOOP 18.09.2011 08:33:45 GMT
state 2 (ASSIGN 2 T) NOOP 18.09.2011 08:38:03 GMT
state 3 (ASSIGN 3 F) NOOP 18.09.2011 08:38:54 GMT
state 4 (ASSIGN 4 F) NOOP 18.09.2011 08:39:46 GMT
state 5 (ASSIGN 5 F) NOOP 18.09.2011 08:40:38 GMT
state 6 (ASSIGN 6 F) NOOP 18.09.2011 08:41:29 GMT
state 7 (ASSIGN 7 F) NOOP 18.09.2011 08:42:21 GMT
state 8 (ASSIGN 8 T) NOOP 18.09.2011 08:43:13 GMT
state 9 (ASSIGN 9 F) NOOP 18.09.2011 08:44:04 GMT
state 10 (ASSIGN 10 F) NOOP 18.09.2011 08:44:56 GMT
state 11 (ASSIGN 11 T) NOOP 18.09.2011 08:45:48 GMT
state 12 (ASSIGN 12 T) NOOP 18.09.2011 08:46:40 GMT
state 13 (ASSIGN 13 T) NOOP 18.09.2011 08:47:31 GMT
state 14 (ASSIGN 14 F) NOOP 18.09.2011 08:48:23 GMT
state 15 (ASSIGN 15 T) NOOP 18.09.2011 08:49:15 GMT
state 16 (ASSIGN 16 T) NOOP 18.09.2011 08:50:06 GMT
state 17 (ASSIGN 17 T) NOOP 18.09.2011 08:50:58 GMT
state 18 (ASSIGN 18 T) NOOP 18.09.2011 08:51:50 GMT
state 19 (ASSIGN 19 F) NOOP 18.09.2011 08:52:42 GMT
state 20 (ASSIGN 20 F) NOOP 18.09.2011 08:53:33 GMT
state 21 NOOP (ASSIGN 21 T) 18.09.2011 08:54:25 GMT
state 22 NOOP (ASSIGN 22 T) 18.09.2011 08:55:17 GMT
state 23 NOOP (ASSIGN 23 T) 18.09.2011 08:56:08 GMT
state 24 NOOP (ASSIGN 24 T) 18.09.2011 08:57:00 GMT
state 25 NOOP (ASSIGN 25 T) 18.09.2011 08:57:52 GMT
state 26 NOOP (ASSIGN 26 T) 18.09.2011 08:58:44 GMT
state 27 NOOP (ASSIGN 27 T) 18.09.2011 08:59:35 GMT
state 28 NOOP (ASSIGN 28 T) 18.09.2011 09:00:27 GMT
state 29 NOOP (ASSIGN 29 T) 18.09.2011 09:01:19 GMT
state 30 NOOP (ASSIGN 30 T) 18.09.2011 09:02:10 GMT
state 31 NOOP (ASSIGN 31 T) 18.09.2011 09:03:02 GMT
state 32 NOOP (ASSIGN 32 T) 18.09.2011 09:03:54 GMT
state 33 NOOP (ASSIGN 33 T) 18.09.2011 09:04:45 GMT
state 34 NOOP (ASSIGN 34 T) 18.09.2011 09:05:37 GMT
state 35 NOOP (ASSIGN 35 T) 18.09.2011 09:06:29 GMT
state 36 NOOP (ASSIGN 36 T) 18.09.2011 09:07:21 GMT
state 37 NOOP (ASSIGN 37 T) 18.09.2011 09:08:12 GMT
state 38 NOOP (ASSIGN 38 T) 18.09.2011 09:09:04 GMT
state 39 NOOP (ASSIGN 39 T) 18.09.2011 09:09:56 GMT
state 40 NOOP (ASSIGN 40 T) 18.09.2011 09:10:47 GMT
state 41 (ASSIGN 41 T) NOOP 18.09.2011 09:11:39 GMT
state 42 (ASSIGN 42 F) NOOP 18.09.2011 09:12:31 GMT
state 43 (ASSIGN 43 T) NOOP 18.09.2011 09:13:23 GMT
state 44 (ASSIGN 44 F) NOOP 18.09.2011 09:14:14 GMT
state 45 (ASSIGN 45 F) NOOP 18.09.2011 09:15:06 GMT
state 46 (ASSIGN 46 F) NOOP 18.09.2011 09:15:58 GMT
state 47 (ASSIGN 47 F) NOOP 18.09.2011 09:16:49 GMT
state 48 (ASSIGN 48 F) NOOP 18.09.2011 09:17:41 GMT
state 49 (ASSIGN 49 F) NOOP 18.09.2011 09:18:32 GMT
state 50 18.09.2011 09:19:22 GMT