Instances of family RobotsD3 solved by skizzo_v0.4
QBFEVAL'05

InstanceResultTime
robots_1_5_3_51.2SAT1.96
robots_1_5_3_100.2SAT2.01
robots_1_5_3_30.2SAT2.04
robots_1_5_3_7.2SAT2.14
robots_1_5_3_25.2SAT2.45
robots_1_5_3_62.2SAT2.46
robots_1_5_3_80.2SAT2.48
robots_1_5_3_52.2SAT2.54
robots_1_5_3_91.2SAT2.55
robots_1_5_3_26.2SAT2.56
robots_1_5_3_55.8FAIL85.29
robots_1_5_3_27.8FAIL85.54
robots_1_5_3_39.8FAIL85.92
robots_1_5_3_8.8FAIL87.21
robots_1_5_3_64.8FAIL87.33
robots_1_5_3_16.8FAIL88.07
robots_1_5_3_44.8FAIL88.45
robots_1_5_3_70.8FAIL91.4
robots_1_5_3_90.8FAIL92.33
robots_1_5_3_100.8FAIL92.7
robots_1_5_3_66.4FAIL357.42
robots_1_5_3_24.4FAIL545.77
robots_1_5_3_78.4FAIL561.52
robots_1_5_3_44.4FAIL624.41
robots_1_5_3_16.4FAIL646.39
robots_1_5_3_100.4FAIL665.1
robots_1_5_3_20.4FAIL681.96
robots_1_5_3_52.4FAIL688
robots_1_5_3_2.4FAIL690.23
robots_1_5_3_57.4FAIL703.72