Match uf20-010.cnf.SAT.satlike.1316319957814
Match history
| state |
moves |
errors
|
date & time
|
|
EXISTS
|
|
state 1
|
(ASSIGN 1 F)
|
|
18.09.2011 04:25:57 GMT
|
|
state 2
|
(ASSIGN 2 T)
|
|
18.09.2011 04:27:31 GMT
|
|
state 3
|
(ASSIGN 3 T)
|
|
18.09.2011 04:27:43 GMT
|
|
state 4
|
(ASSIGN 4 T)
|
|
18.09.2011 04:27:55 GMT
|
|
state 5
|
(ASSIGN 5 F)
|
|
18.09.2011 04:28:07 GMT
|
|
state 6
|
(ASSIGN 6 T)
|
|
18.09.2011 04:28:19 GMT
|
|
state 7
|
(ASSIGN 7 F)
|
|
18.09.2011 04:28:31 GMT
|
|
state 8
|
(ASSIGN 8 T)
|
|
18.09.2011 04:28:43 GMT
|
|
state 9
|
(ASSIGN 9 T)
|
|
18.09.2011 04:28:55 GMT
|
|
state 10
|
(ASSIGN 10 F)
|
|
18.09.2011 04:29:07 GMT
|
|
state 11
|
(ASSIGN 11 T)
|
|
18.09.2011 04:29:19 GMT
|
|
state 12
|
(ASSIGN 12 T)
|
|
18.09.2011 04:29:30 GMT
|
|
state 13
|
(ASSIGN 13 F)
|
|
18.09.2011 04:29:42 GMT
|
|
state 14
|
(ASSIGN 14 T)
|
|
18.09.2011 04:29:54 GMT
|
|
state 15
|
(ASSIGN 15 T)
|
|
18.09.2011 04:30:06 GMT
|
|
state 16
|
(ASSIGN 16 F)
|
|
18.09.2011 04:30:18 GMT
|
|
state 17
|
(ASSIGN 17 F)
|
|
18.09.2011 04:30:30 GMT
|
|
state 18
|
(ASSIGN 18 F)
|
|
18.09.2011 04:30:42 GMT
|
|
state 19
|
(ASSIGN 19 F)
|
|
18.09.2011 04:30:54 GMT
|
|
state 20
|
(ASSIGN 20 T)
|
|
18.09.2011 04:31:06 GMT
|
|
state 21
|
|
|
18.09.2011 04:38:21 GMT
|
