Instances of family RobotsD4 solved by Qbfl
QBFEVAL'06

InstanceResultTime
robots_1_5_4_31.4FAIL5998.96
robots_1_5_4_51.4FAIL5998.98
robots_1_5_4_46.4FAIL6000.95
robots_1_5_4_91.4FAIL6000.96
robots_1_5_4_50.4FAIL6000.96
robots_1_5_4_2.4FAIL6000.97
robots_1_5_4_87.4FAIL6000.98
robots_1_5_4_98.4FAIL6000.99
robots_1_5_4_30.4FAIL6000.99
robots_1_5_4_100.4FAIL6000.99