Instances of family RobotsD5 solved by WalkQSAT
QBFEVAL'05

InstanceResultTime
robots_1_5_5_24.2FAIL6.82
robots_1_5_5_62.2FAIL7.23
robots_1_5_5_15.2FAIL9.86
robots_1_5_5_38.2FAIL9.95
robots_1_5_5_56.2FAIL10.23
robots_1_5_5_61.2FAIL11.3
robots_1_5_5_75.2FAIL11.87
robots_1_5_5_31.2FAIL14.6
robots_1_5_5_100.2FAIL16.69
robots_1_5_5_97.2FAIL19.85
robots_1_5_5_66.4FAIL33.54
robots_1_5_5_26.4FAIL33.59
robots_1_5_5_87.4FAIL54.62
robots_1_5_5_45.4FAIL70.73
robots_1_5_5_30.4FAIL71.46
robots_1_5_5_34.4FAIL75.01
robots_1_5_5_93.4FAIL76.82
robots_1_5_5_8.4FAIL76.9
robots_1_5_5_100.4FAIL77.62
robots_1_5_5_12.4FAIL79.02
robots_1_5_5_66.8FAIL157.2
robots_1_5_5_33.8FAIL187.5
robots_1_5_5_5.8FAIL196.52
robots_1_5_5_14.8FAIL221.27
robots_1_5_5_10.8FAIL229.08
robots_1_5_5_50.8FAIL231.52
robots_1_5_5_95.8FAIL232.58
robots_1_5_5_100.8FAIL236.08
robots_1_5_5_99.8FAIL236.08
robots_1_5_5_12.8FAIL237.44