Instances of family RobotsD5 solved by CSBJ
QBFEVAL'04

InstanceResultTime
robots_1_5_5_29.1SAT1.58
robots_1_5_5_5.2SAT25.42
robots_1_5_5_55.6SAT107.33
robots_1_5_5_75.3SAT319.67
robots_1_5_5_4.9FAIL901
robots_1_5_5_34.6FAIL901
robots_1_5_5_59.5FAIL901
robots_1_5_5_18.5FAIL901