Instances of family RobotsD5 solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
robots_1_5_5_24.2SAT1.97
robots_1_5_5_61.2SAT2.23
robots_1_5_5_75.2SAT2.24
robots_1_5_5_62.2SAT2.24
robots_1_5_5_38.2SAT2.25
robots_1_5_5_56.2SAT2.28
robots_1_5_5_15.2SAT2.3
robots_1_5_5_100.2SAT2.44
robots_1_5_5_97.2SAT2.47
robots_1_5_5_31.2SAT2.47
robots_1_5_5_66.4SAT5.81
robots_1_5_5_26.4SAT5.88
robots_1_5_5_66.8SAT18.56
robots_1_5_5_87.4SAT48.93
robots_1_5_5_30.4SAT77.44
robots_1_5_5_45.4SAT80.47
robots_1_5_5_34.4SAT96.54
robots_1_5_5_100.4SAT105.65
robots_1_5_5_93.4SAT109.84
robots_1_5_5_12.4SAT110.98
robots_1_5_5_8.4SAT113.35
robots_1_5_5_33.8UNSAT302.1
robots_1_5_5_12.8FAIL883.89
robots_1_5_5_100.8FAIL884.29
robots_1_5_5_10.8FAIL884.92
robots_1_5_5_99.8FAIL885.15
robots_1_5_5_50.8FAIL885.16
robots_1_5_5_95.8FAIL885.23
robots_1_5_5_14.8FAIL885.28
robots_1_5_5_5.8FAIL886.86