Instances of family RobotsD3 solved by WalkQSAT
QBFEVAL'05

InstanceResultTime
robots_1_5_3_25.2FAIL9.08
robots_1_5_3_51.2FAIL15.49
robots_1_5_3_100.2FAIL15.53
robots_1_5_3_7.2FAIL16.97
robots_1_5_3_30.2FAIL17.46
robots_1_5_3_26.2FAIL22.71
robots_1_5_3_52.2FAIL24.09
robots_1_5_3_80.2FAIL25.66
robots_1_5_3_91.2FAIL25.87
robots_1_5_3_62.2FAIL27.44
robots_1_5_3_44.4FAIL51.17
robots_1_5_3_100.4FAIL54.49
robots_1_5_3_16.4FAIL54.83
robots_1_5_3_66.4FAIL69.33
robots_1_5_3_24.4FAIL71.73
robots_1_5_3_52.4FAIL73.11
robots_1_5_3_20.4FAIL73.22
robots_1_5_3_78.4FAIL73.25
robots_1_5_3_57.4FAIL74.6
robots_1_5_3_2.4FAIL76.19
robots_1_5_3_39.8FAIL157.47
robots_1_5_3_8.8FAIL185.08
robots_1_5_3_64.8FAIL188.52
robots_1_5_3_55.8FAIL189
robots_1_5_3_44.8FAIL191.98
robots_1_5_3_90.8FAIL192.84
robots_1_5_3_16.8FAIL193.73
robots_1_5_3_100.8FAIL195.08
robots_1_5_3_70.8FAIL223.71
robots_1_5_3_27.8FAIL227.51