Instances of family RobotsD3 solved by WalkQSAT
QBFEVAL'04

InstanceResultTime
robots_1_5_3_17.2FAIL0.04
robots_1_5_3_80.4FAIL0.07
robots_1_5_3_62.4FAIL0.07
robots_1_5_3_15.6FAIL0.1
robots_1_5_3_84.7FAIL0.11
robots_1_5_3_18.7FAIL0.11
robots_1_5_3_16.7FAIL0.11
robots_1_5_3_27.9FAIL0.13