Instances of family RobotsD3 solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
robots_1_5_3_100.2SAT2.25
robots_1_5_3_51.2SAT2.28
robots_1_5_3_25.2SAT2.3
robots_1_5_3_52.2SAT2.44
robots_1_5_3_26.2SAT2.48
robots_1_5_3_7.2SAT2.48
robots_1_5_3_62.2SAT2.49
robots_1_5_3_30.2SAT2.5
robots_1_5_3_91.2SAT2.5
robots_1_5_3_80.2SAT2.53
robots_1_5_3_39.8SAT20.94
robots_1_5_3_44.4SAT45.82
robots_1_5_3_16.4SAT49.76
robots_1_5_3_100.4SAT50.71
robots_1_5_3_66.4SAT68.73
robots_1_5_3_2.4SAT76.07
robots_1_5_3_24.4SAT83.96
robots_1_5_3_57.4SAT84.38
robots_1_5_3_20.4SAT84.46
robots_1_5_3_78.4SAT97.43
robots_1_5_3_52.4SAT104.14
robots_1_5_3_8.8UNSAT256.28
robots_1_5_3_44.8UNSAT389.01
robots_1_5_3_70.8UNSAT676.71
robots_1_5_3_100.8FAIL882.08
robots_1_5_3_55.8FAIL883.57
robots_1_5_3_90.8FAIL886.74
robots_1_5_3_27.8FAIL887.31
robots_1_5_3_64.8FAIL888.74
robots_1_5_3_16.8FAIL891.09