Instances of family RobotsD3 solved by openQbf
QBFEVAL'04

InstanceResultTime
robots_1_5_3_17.2SAT2.76
robots_1_5_3_80.4SAT349.19
robots_1_5_3_62.4SAT350.04
robots_1_5_3_15.6FAIL901
robots_1_5_3_16.7FAIL901
robots_1_5_3_27.9FAIL901.01
robots_1_5_3_84.7FAIL901.01
robots_1_5_3_18.7FAIL901.01