You are not logged in. login register
Match 3qbf-5cnf-20var-40cl.1.q...1286508826338
match name 3qbf-5cnf-20var-40cl.1.q...1286508826338
game 3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT
status finished
start clock 160
play clock 25
start time Fri Oct 08 03:33:46 GMT 2010
roles
players
scores
EXISTS FORALL
tut ATAX_test
0 100
owner admin
tournament round_robin_tournament
export export xml

Match history

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