Instances of family RobotsD4 solved by WalkQSAT
QBFEVAL'05

InstanceResultTime
robots_1_5_4_71.2FAIL7.35
robots_1_5_4_100.2FAIL10.14
robots_1_5_4_75.2FAIL10.19
robots_1_5_4_44.2FAIL11.7
robots_1_5_4_73.2FAIL11.83
robots_1_5_4_81.2FAIL11.95
robots_1_5_4_32.2FAIL14.43
robots_1_5_4_52.2FAIL16.86
robots_1_5_4_59.2FAIL17.27
robots_1_5_4_22.2FAIL25.87
robots_1_5_4_50.4FAIL51.69
robots_1_5_4_100.4FAIL52.3
robots_1_5_4_30.4FAIL52.6
robots_1_5_4_31.4FAIL53.89
robots_1_5_4_98.4FAIL68.9
robots_1_5_4_46.4FAIL69.05
robots_1_5_4_87.4FAIL70.75
robots_1_5_4_2.4FAIL71.25
robots_1_5_4_91.4FAIL71.51
robots_1_5_4_51.4FAIL74.77
robots_1_5_4_56.8FAIL186.35
robots_1_5_4_75.8FAIL191.91
robots_1_5_4_100.8FAIL193.3
robots_1_5_4_46.8FAIL220.08
robots_1_5_4_1.8FAIL222.95
robots_1_5_4_91.8FAIL226.78
robots_1_5_4_17.8FAIL229.48
robots_1_5_4_24.8FAIL234.85
robots_1_5_4_99.8FAIL236.26
robots_1_5_4_96.8FAIL238.01