Instances of family RobotsD4 solved by semprop
QBFEVAL'04

InstanceResultTime
robots_1_5_4_78.1SAT0.04
robots_1_5_4_73.2SAT0.32
robots_1_5_4_21.2SAT0.4
robots_1_5_4_87.8UNSAT94.03
robots_1_5_4_91.4SAT257.39
robots_1_5_4_31.8UNSAT469.84
robots_1_5_4_34.8FAIL901
robots_1_5_4_85.5FAIL901.01