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

InstanceResultTime
robots_1_5_4_73.2SAT1.72
robots_1_5_4_81.2SAT1.73
robots_1_5_4_100.2SAT1.74
robots_1_5_4_75.2SAT1.75
robots_1_5_4_44.2SAT1.75
robots_1_5_4_71.2SAT2.04
robots_1_5_4_32.2SAT2.06
robots_1_5_4_59.2SAT2.11
robots_1_5_4_22.2SAT2.14
robots_1_5_4_52.2SAT2.21
robots_1_5_4_96.8FAIL85.26
robots_1_5_4_1.8FAIL85.72
robots_1_5_4_46.8FAIL86.13
robots_1_5_4_75.8FAIL86.15
robots_1_5_4_91.8FAIL87.14
robots_1_5_4_17.8FAIL87.51
robots_1_5_4_24.8FAIL88.2
robots_1_5_4_99.8FAIL91.18
robots_1_5_4_56.8FAIL93.74
robots_1_5_4_100.8FAIL95.02
robots_1_5_4_31.4FAIL325.83
robots_1_5_4_30.4FAIL326.9
robots_1_5_4_87.4FAIL367.68
robots_1_5_4_51.4FAIL408.63
robots_1_5_4_100.4FAIL471.04
robots_1_5_4_50.4FAIL559.48
robots_1_5_4_98.4FAIL602.09
robots_1_5_4_2.4FAIL666.09
robots_1_5_4_91.4FAIL674.47
robots_1_5_4_46.4FAIL697.85