You are not logged in. login register
Match 3qbf-5cnf-20var-40cl.0.q...1316337572460
match name 3qbf-5cnf-20var-40cl.0.q...1316337572460
game 3qbf-5cnf-20var-40cl.0.qdimacs
status finished
start clock 165
play clock 25
start time Sun Sep 18 09:19:32 GMT 2011
roles
players
scores
EXISTS FORALL
Random Alloy_0.4.1
0 100
owner admin
tournament round_robin_tournament
export export xml

Match history

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