Instances of family RobotsD5 solved by QUANTOR
QBFEVAL'04

InstanceResultTime
robots_1_5_5_29.1SAT0.13
robots_1_5_5_5.2SAT2.01
robots_1_5_5_4.9FAIL9.57
robots_1_5_5_34.6FAIL23.59
robots_1_5_5_55.6FAIL37.36
robots_1_5_5_75.3SAT39.42
robots_1_5_5_18.5FAIL50.66
robots_1_5_5_59.5FAIL50.68