Instances of family RobotsD4 solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
robots_1_5_4_81.2SAT2.23
robots_1_5_4_75.2SAT2.25
robots_1_5_4_100.2SAT2.25
robots_1_5_4_73.2SAT2.27
robots_1_5_4_44.2SAT2.27
robots_1_5_4_52.2SAT2.45
robots_1_5_4_71.2SAT2.47
robots_1_5_4_32.2SAT2.47
robots_1_5_4_59.2SAT2.51
robots_1_5_4_22.2SAT2.54
robots_1_5_4_50.4SAT47.38
robots_1_5_4_30.4SAT47.64
robots_1_5_4_31.4SAT48.52
robots_1_5_4_100.4SAT49.11
robots_1_5_4_98.4SAT64.4
robots_1_5_4_87.4SAT64.92
robots_1_5_4_46.4SAT67.49
robots_1_5_4_91.4SAT76.65
robots_1_5_4_2.4SAT77.9
robots_1_5_4_51.4SAT96.41
robots_1_5_4_56.8UNSAT309.06
robots_1_5_4_100.8UNSAT447.56
robots_1_5_4_99.8FAIL884.15
robots_1_5_4_24.8FAIL884.4
robots_1_5_4_96.8FAIL884.89
robots_1_5_4_1.8FAIL885.1
robots_1_5_4_17.8FAIL885.14
robots_1_5_4_91.8FAIL885.63
robots_1_5_4_46.8FAIL885.82
robots_1_5_4_75.8FAIL887.04