Match uf20-020.cnf.SAT.1316322491104
Match history
| state |
moves |
errors
|
date & time
|
|
EXISTS
|
|
state 1
|
(ASSIGN 1 T)
|
|
18.09.2011 05:08:11 GMT
|
|
state 2
|
(ASSIGN 2 T)
|
|
18.09.2011 05:09:30 GMT
|
|
state 3
|
(ASSIGN 3 F)
|
|
18.09.2011 05:10:07 GMT
|
|
state 4
|
(ASSIGN 4 T)
|
|
18.09.2011 05:10:44 GMT
|
|
state 5
|
(ASSIGN 5 F)
|
|
18.09.2011 05:11:21 GMT
|
|
state 6
|
(ASSIGN 6 F)
|
|
18.09.2011 05:11:58 GMT
|
|
state 7
|
(ASSIGN 7 F)
|
|
18.09.2011 05:12:35 GMT
|
|
state 8
|
(ASSIGN 8 F)
|
|
18.09.2011 05:13:12 GMT
|
|
state 9
|
(ASSIGN 9 F)
|
|
18.09.2011 05:13:49 GMT
|
|
state 10
|
(ASSIGN 10 F)
|
|
18.09.2011 05:14:26 GMT
|
|
state 11
|
(ASSIGN 11 T)
|
|
18.09.2011 05:15:02 GMT
|
|
state 12
|
(ASSIGN 12 F)
|
|
18.09.2011 05:15:39 GMT
|
|
state 13
|
(ASSIGN 13 F)
|
|
18.09.2011 05:16:16 GMT
|
|
state 14
|
(ASSIGN 14 F)
|
|
18.09.2011 05:16:53 GMT
|
|
state 15
|
(ASSIGN 15 T)
|
|
18.09.2011 05:17:30 GMT
|
|
state 16
|
(ASSIGN 16 T)
|
|
18.09.2011 05:18:07 GMT
|
|
state 17
|
(ASSIGN 17 T)
|
|
18.09.2011 05:18:44 GMT
|
|
state 18
|
(ASSIGN 18 F)
|
|
18.09.2011 05:19:21 GMT
|
|
state 19
|
(ASSIGN 19 F)
|
|
18.09.2011 05:19:58 GMT
|
|
state 20
|
(ASSIGN 20 T)
|
|
18.09.2011 05:20:35 GMT
|
|
state 21
|
|
|
18.09.2011 05:21:12 GMT
|
