You are not logged in. login register
Errors for 3qbf-5cnf-20var-40cl.1.q...1286508826338
step errors
step 1
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 1
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 1
step 2
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 2
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 2
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 3
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 3
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 3
step 4
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 4
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 4
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 5
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 5
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 5
step 6
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 6
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 6
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 7
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 7
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 7
step 8
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 8
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 8
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 9
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 9
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 9
step 10
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 10
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 10
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 11
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 11
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 11
step 12
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 12
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 12
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 13
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 13
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 13
step 14
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 14
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 14
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 15
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 15
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 15
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 16
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 16
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 16
step 17
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 17
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 17
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 18
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 18
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 18
step 19
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 19
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 19
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 20
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 20
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 20
step 21
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 21
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 21
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 22
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 22
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 22
step 23
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 23
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 23
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 24
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 24
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 24
step 25
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 25
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 25
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 26
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 26
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 26
step 27
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 27
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 27
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 28
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 28
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 28
step 29
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 29
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 29
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 30
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 30
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 30
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 31
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 31
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 31
step 32
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 32
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 32
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 33
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 33
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 33
step 34
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 34
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 34
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 35
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 35
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 35
step 36
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 36
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 36
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 37
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 37
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 37
step 38
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 38
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 38
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 39
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 39
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 39
step 40
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 40
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 40
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 41
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 41
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 41
step 42
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 42
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 42
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 43
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 43
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 43
step 44
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 44
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 44
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 45
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 45
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 45
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 46
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 46
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 46
step 47
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 47
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 47
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 48
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 48
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 48
step 49
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 49
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 49
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 50
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 50
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 50
step 51
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 51
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 51
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 52
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 52
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 52
step 53
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 53
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 53
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 54
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 54
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 54
step 55
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 55
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 55
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 56
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 56
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 56
step 57
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 57
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 57
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 58
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 58
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 58
step 59
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 59
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 59
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
step 60
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!
  • player remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) timed out!
  • Illegal move "null" from remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) in step 60
  • Illegal move "null" from remote(ATAX_test, host:demokrit.inf.tu-dresden.de, ip:141.76.35.15, port:4002) in step 60
step 61
  • player remote(tut, host:zeno.inf.tu-dresden.de, ip:141.76.35.13, port:4001) timed out!