You are not logged in. login register
Match 3qbf-5cnf-20var-40cl.1.q...1316339046703
match name 3qbf-5cnf-20var-40cl.1.q...1316339046703
game 3qbf-5cnf-20var-40cl.1.qdimacs.SAT
status finished
start clock 30
play clock 45
start time Sun Sep 18 09:44:06 GMT 2011
roles
players
scores
EXISTS FORALL
Fluxplayer_test 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 09:44:06 GMT
state 2 (ASSIGN 2 F) NOOP 18.09.2011 09:45:23 GMT
state 3 (ASSIGN 3 F) NOOP 18.09.2011 09:46:07 GMT
state 4 (ASSIGN 4 F) NOOP 18.09.2011 09:46:52 GMT
state 5 (ASSIGN 5 F) NOOP 18.09.2011 09:47:36 GMT
state 6 (ASSIGN 6 F) NOOP 18.09.2011 09:48:21 GMT
state 7 (ASSIGN 7 T) NOOP 18.09.2011 09:49:05 GMT
state 8 (ASSIGN 8 T) NOOP 18.09.2011 09:49:50 GMT
state 9 (ASSIGN 9 T) NOOP 18.09.2011 09:50:34 GMT
state 10 (ASSIGN 10 F) NOOP 18.09.2011 09:51:19 GMT
state 11 (ASSIGN 11 T) NOOP 18.09.2011 09:51:27 GMT
state 12 (ASSIGN 12 F) NOOP 18.09.2011 09:51:30 GMT
state 13 (ASSIGN 13 T) NOOP 18.09.2011 09:51:32 GMT
state 14 (ASSIGN 14 F) NOOP 18.09.2011 09:51:35 GMT
state 15 (ASSIGN 15 F) NOOP 18.09.2011 09:51:37 GMT
state 16 (ASSIGN 16 T) NOOP 18.09.2011 09:51:40 GMT
state 17 (ASSIGN 17 T) NOOP 18.09.2011 09:51:42 GMT
state 18 (ASSIGN 18 F) NOOP 18.09.2011 09:51:45 GMT
state 19 (ASSIGN 19 F) NOOP 18.09.2011 09:51:47 GMT
state 20 (ASSIGN 20 T) NOOP 18.09.2011 09:51:50 GMT
state 21 NOOP (ASSIGN 21 T) 18.09.2011 09:51:52 GMT
state 22 NOOP (ASSIGN 22 T) 18.09.2011 09:51:55 GMT
state 23 NOOP (ASSIGN 23 T) 18.09.2011 09:51:57 GMT
state 24 NOOP (ASSIGN 24 T) 18.09.2011 09:52:00 GMT
state 25 NOOP (ASSIGN 25 T) 18.09.2011 09:52:02 GMT
state 26 NOOP (ASSIGN 26 T) 18.09.2011 09:52:05 GMT
state 27 NOOP (ASSIGN 27 T) 18.09.2011 09:52:07 GMT
state 28 NOOP (ASSIGN 28 T) 18.09.2011 09:52:10 GMT
state 29 NOOP (ASSIGN 29 T) 18.09.2011 09:52:12 GMT
state 30 NOOP (ASSIGN 30 T) 18.09.2011 09:52:15 GMT
state 31 NOOP (ASSIGN 31 T) 18.09.2011 09:52:17 GMT
state 32 NOOP (ASSIGN 32 T) 18.09.2011 09:52:20 GMT
state 33 NOOP (ASSIGN 33 T) 18.09.2011 09:52:22 GMT
state 34 NOOP (ASSIGN 34 T) 18.09.2011 09:52:25 GMT
state 35 NOOP (ASSIGN 35 T) 18.09.2011 09:52:27 GMT
state 36 NOOP (ASSIGN 36 T) 18.09.2011 09:52:30 GMT
state 37 NOOP (ASSIGN 37 T) 18.09.2011 09:52:32 GMT
state 38 NOOP (ASSIGN 38 T) 18.09.2011 09:52:35 GMT
state 39 NOOP (ASSIGN 39 T) 18.09.2011 09:52:37 GMT
state 40 NOOP (ASSIGN 40 T) 18.09.2011 09:52:40 GMT
state 41 (ASSIGN 41 F) NOOP 18.09.2011 09:52:42 GMT
state 42 (ASSIGN 42 F) NOOP 18.09.2011 09:52:45 GMT
state 43 (ASSIGN 43 F) NOOP 18.09.2011 09:52:47 GMT
state 44 (ASSIGN 44 F) NOOP 18.09.2011 09:52:50 GMT
state 45 (ASSIGN 45 F) NOOP 18.09.2011 09:52:52 GMT
state 46 (ASSIGN 46 F) NOOP 18.09.2011 09:52:55 GMT
state 47 (ASSIGN 47 F) NOOP 18.09.2011 09:52:57 GMT
state 48 (ASSIGN 48 F) NOOP 18.09.2011 09:53:00 GMT
state 49 (ASSIGN 49 T) NOOP 18.09.2011 09:53:02 GMT
state 50 18.09.2011 09:53:05 GMT