Instances of family RobotsD4 solved by QUANTOR
QBFEVAL'04

InstanceResultTime
robots_1_5_4_78.1SAT0.13
robots_1_5_4_73.2SAT1.91
robots_1_5_4_21.2SAT2.56
robots_1_5_4_87.8FAIL9.57
robots_1_5_4_31.8FAIL9.59
robots_1_5_4_34.8FAIL9.59
robots_1_5_4_85.5FAIL51.28
robots_1_5_4_91.4FAIL68.23