Instances of family RobotsD5 solved by QSAT
QBFEVAL'04

InstanceResultTime
robots_1_5_5_29.1SAT0.28
robots_1_5_5_5.2SAT9.26
robots_1_5_5_75.3SAT172.76
robots_1_5_5_18.5FAIL901
robots_1_5_5_34.6FAIL901
robots_1_5_5_59.5FAIL901.01
robots_1_5_5_55.6FAIL901.01
robots_1_5_5_4.9FAIL901.01