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

InstanceResultTime
robots_1_5_3_17.2SAT0.3
robots_1_5_3_62.4SAT152.08
robots_1_5_3_80.4SAT161.63
robots_1_5_3_84.7FAIL901
robots_1_5_3_18.7FAIL901
robots_1_5_3_15.6FAIL901.01
robots_1_5_3_27.9FAIL901.01
robots_1_5_3_16.7FAIL901.02