Instances of family RobotsD2 solved by QSAT
QBFEVAL'04

InstanceResultTime
robots_1_5_2_93.1SAT0.61
robots_1_5_2_64.1SAT0.61
robots_1_5_2_38.1SAT0.64
robots_1_5_2_69.4FAIL901
robots_1_5_2_3.5FAIL901
robots_1_5_2_42.7FAIL901
robots_1_5_2_61.6FAIL901.01
robots_1_5_2_72.7FAIL901.01