Instances of family RobotsD2 solved by WalkQSAT
QBFEVAL'05

InstanceResultTime
robots_1_5_2_81.2SAT5.26
robots_1_5_2_85.2FAIL7.9
robots_1_5_2_47.2FAIL8.53
robots_1_5_2_49.2FAIL13.23
robots_1_5_2_100.2FAIL16.26
robots_1_5_2_31.2FAIL17.88
robots_1_5_2_28.2FAIL19.68
robots_1_5_2_33.2FAIL21.57
robots_1_5_2_10.2FAIL22.45
robots_1_5_2_14.2FAIL23.94
robots_1_5_2_21.4FAIL33.63
robots_1_5_2_3.4FAIL43.34
robots_1_5_2_85.4FAIL43.81
robots_1_5_2_100.4FAIL48.11
robots_1_5_2_2.4FAIL60.13
robots_1_5_2_80.4FAIL61.36
robots_1_5_2_99.4FAIL61.76
robots_1_5_2_45.4FAIL68.86
robots_1_5_2_82.4FAIL70.96
robots_1_5_2_39.4FAIL74.85
robots_1_5_2_75.8FAIL188.5
robots_1_5_2_67.8FAIL191.93
robots_1_5_2_61.8FAIL201.45
robots_1_5_2_91.8FAIL204.32
robots_1_5_2_100.8FAIL208.33
robots_1_5_2_32.8FAIL211.03
robots_1_5_2_54.8FAIL220.66
robots_1_5_2_82.8FAIL226.62
robots_1_5_2_9.8FAIL230.84
robots_1_5_2_40.8FAIL231.37