Instances of family RobotsD3 solved by CSBJ
QBFEVAL'04

InstanceResultTime
robots_1_5_3_17.2SAT48.36
robots_1_5_3_16.7FAIL901
robots_1_5_3_18.7FAIL901
robots_1_5_3_84.7FAIL901
robots_1_5_3_27.9FAIL901
robots_1_5_3_15.6FAIL901
robots_1_5_3_80.4FAIL901
robots_1_5_3_62.4FAIL901