You are not logged in. login register
Errors for blockerparallel.1296646962021
step errors
step 5
  • Illegal move "null" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001) in step 5
  • Illegal move "null" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002) in step 5
step 6
  • Error parsing reply "invalid message" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001): not a valid kif term:invalid message
  • Error parsing reply "invalid message" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002): not a valid kif term:invalid message
  • Illegal move "null" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001) in step 6
  • Illegal move "null" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002) in step 6
step 7
  • Illegal move "null" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002) in step 7
  • Illegal move "null" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001) in step 7
  • Error parsing reply "invalid message" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002): not a valid kif term:invalid message
  • Error parsing reply "invalid message" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001): not a valid kif term:invalid message
step 8
  • Error parsing reply "invalid message" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002): not a valid kif term:invalid message
  • Error parsing reply "invalid message" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001): not a valid kif term:invalid message
  • Illegal move "null" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001) in step 8
  • Illegal move "null" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002) in step 8
step 9
  • Illegal move "null" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002) in step 9
  • Illegal move "null" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001) in step 9
  • Error parsing reply "invalid message" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002): not a valid kif term:invalid message
  • Error parsing reply "invalid message" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001): not a valid kif term:invalid message
step 10
  • Error parsing reply "invalid message" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001): not a valid kif term:invalid message
  • Error parsing reply "invalid message" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002): not a valid kif term:invalid message
  • Illegal move "null" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001) in step 10
  • Illegal move "null" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002) in step 10
step 11
  • Illegal move "null" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002) in step 11
  • Illegal move "null" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001) in step 11
  • Error parsing reply "invalid message" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002): not a valid kif term:invalid message
  • Error parsing reply "invalid message" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001): not a valid kif term:invalid message
step 12
  • Illegal move "null" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002) in step 12
  • Illegal move "null" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001) in step 12
  • Error parsing reply "invalid message" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002): not a valid kif term:invalid message
  • Error parsing reply "invalid message" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001): not a valid kif term:invalid message
step 13
  • Error parsing reply "invalid message" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001): not a valid kif term:invalid message
  • Error parsing reply "invalid message" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002): not a valid kif term:invalid message
  • Illegal move "null" from remote(DerBaum, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4001) in step 13
  • Illegal move "null" from remote(DerBaum_L, host:gpu.informatik.uni-bremen.de, ip:134.102.206.101, port:4002) in step 13