You are not logged in. login register
Match sat_test_20v_91c.1316243474028
match name sat_test_20v_91c.1316243474028
game sat_test_20v_91c
status finished
start clock 165
play clock 40
start time Sat Sep 17 07:11:14 GMT 2011
roles
players
scores
EXISTS FORALL
Fluxplayer_test 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 T) NOOP
17.09.2011 07:11:14 GMT
state 2 (ASSIGN 2 F) NOOP
17.09.2011 07:14:37 GMT
state 3 (ASSIGN 3 T) NOOP
17.09.2011 07:15:17 GMT
state 4 (ASSIGN 4 T) NOOP
17.09.2011 07:15:56 GMT
state 5 (ASSIGN 5 F) NOOP
17.09.2011 07:16:36 GMT
state 6 (ASSIGN 6 F) NOOP
17.09.2011 07:17:15 GMT
state 7 (ASSIGN 7 F) NOOP
17.09.2011 07:17:52 GMT
state 8 (ASSIGN 8 T) NOOP
17.09.2011 07:18:29 GMT
state 9 (ASSIGN 9 F) NOOP
17.09.2011 07:19:06 GMT
state 10 (ASSIGN 10 T) NOOP
17.09.2011 07:19:43 GMT
state 11 (ASSIGN 11 T) NOOP
17.09.2011 07:20:20 GMT
state 12 (ASSIGN 12 F) NOOP
17.09.2011 07:20:57 GMT
state 13 (ASSIGN 13 T) NOOP
17.09.2011 07:21:34 GMT
state 14 (ASSIGN 14 T) NOOP
17.09.2011 07:22:11 GMT
state 15 (ASSIGN 15 F) NOOP
17.09.2011 07:22:47 GMT
state 16 (ASSIGN 16 F) NOOP
17.09.2011 07:23:24 GMT
state 17 (ASSIGN 17 F) NOOP
17.09.2011 07:24:01 GMT
state 18 (ASSIGN 18 F) NOOP
17.09.2011 07:24:38 GMT
state 19 (ASSIGN 19 F) NOOP
17.09.2011 07:25:15 GMT
state 20 (ASSIGN 20 F) NOOP
17.09.2011 07:25:52 GMT
state 21
17.09.2011 07:26:29 GMT