Instances of family RobotsD2 solved by skizzo_v0.5
QBFEVAL'05

InstanceResultTime
robots_1_5_2_85.2SAT2.71
robots_1_5_2_31.2SAT3.67
robots_1_5_2_14.2SAT5.05
robots_1_5_2_21.4FAIL11.37
robots_1_5_2_33.2SAT11.98
robots_1_5_2_49.2SAT20.81
robots_1_5_2_100.2SAT26.54
robots_1_5_2_28.2SAT63.63
robots_1_5_2_75.8FAIL88.52
robots_1_5_2_32.8FAIL88.75
robots_1_5_2_100.8FAIL88.95
robots_1_5_2_82.8FAIL90.51
robots_1_5_2_54.8FAIL92.19
robots_1_5_2_47.2SAT103.89
robots_1_5_2_81.2SAT181.27
robots_1_5_2_10.2SAT213.76
robots_1_5_2_61.8FAIL352.44
robots_1_5_2_91.8FAIL441.27
robots_1_5_2_39.4FAIL522.55
robots_1_5_2_9.8FAIL529.87
robots_1_5_2_67.8FAIL544.32
robots_1_5_2_40.8FAIL632.97
robots_1_5_2_3.4FAIL747.19
robots_1_5_2_82.4FAIL770.04
robots_1_5_2_85.4FAIL781.11
robots_1_5_2_100.4FAIL786.85
robots_1_5_2_2.4FAIL786.93
robots_1_5_2_99.4FAIL797.61
robots_1_5_2_80.4FAIL848.32
robots_1_5_2_45.4FAIL895.19