Instances of family RobotsD3 solved by QBFL-BS
QBFEVAL'04

InstanceResultTime
robots_1_5_3_62.4FAIL901
robots_1_5_3_15.6FAIL901.01
robots_1_5_3_27.9FAIL901.01
robots_1_5_3_84.7FAIL901.01
robots_1_5_3_18.7FAIL901.01
robots_1_5_3_16.7FAIL901.01
robots_1_5_3_80.4FAIL901.02
robots_1_5_3_17.2FAIL901.03