You are not logged in. login register
Match sat_test_20v_91c.1315862328450
match name sat_test_20v_91c.1315862328450
game sat_test_20v_91c
status finished
start clock 175
play clock 45
start time Mon Sep 12 21:18:48 GMT 2011
roles
players
scores
EXISTS FORALL
Alloy_0.4.1 Nexplayer
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 12.09.2011 21:18:48 GMT
state 2 (ASSIGN 2 F) NOOP
12.09.2011 21:22:29 GMT
state 3 (ASSIGN 3 F) NOOP
12.09.2011 21:23:13 GMT
state 4 (ASSIGN 4 F) NOOP
12.09.2011 21:23:58 GMT
state 5 (ASSIGN 5 F) NOOP
12.09.2011 21:24:42 GMT
state 6 (ASSIGN 6 T) NOOP
12.09.2011 21:25:24 GMT
state 7 (ASSIGN 7 F) NOOP
12.09.2011 21:26:06 GMT
state 8 (ASSIGN 8 F) NOOP
12.09.2011 21:26:48 GMT
state 9 (ASSIGN 9 T) NOOP
12.09.2011 21:27:30 GMT
state 10 (ASSIGN 10 F) NOOP
12.09.2011 21:28:12 GMT
state 11 (ASSIGN 11 F) NOOP
12.09.2011 21:28:54 GMT
state 12 (ASSIGN 12 F) NOOP
12.09.2011 21:29:36 GMT
state 13 (ASSIGN 13 T) NOOP
12.09.2011 21:30:18 GMT
state 14 (ASSIGN 14 T) NOOP
12.09.2011 21:31:00 GMT
state 15 (ASSIGN 15 T) NOOP
12.09.2011 21:31:41 GMT
state 16 (ASSIGN 16 F) NOOP
12.09.2011 21:32:23 GMT
state 17 (ASSIGN 17 T) NOOP
12.09.2011 21:33:05 GMT
state 18 (ASSIGN 18 F) NOOP
12.09.2011 21:33:47 GMT
state 19 (ASSIGN 19 F) NOOP
12.09.2011 21:34:29 GMT
state 20 (ASSIGN 20 T) NOOP
12.09.2011 21:35:11 GMT
state 21
12.09.2011 21:35:53 GMT