Instances of family RobotsD3 solved by yQuaffle
QBFEVAL'05

InstanceResultTime
robots_1_5_3_51.2SAT0.14
robots_1_5_3_25.2SAT0.15
robots_1_5_3_30.2SAT0.17
robots_1_5_3_100.2SAT0.17
robots_1_5_3_91.2SAT0.17
robots_1_5_3_7.2SAT0.17
robots_1_5_3_52.2SAT0.19
robots_1_5_3_80.2SAT0.19
robots_1_5_3_26.2SAT0.19
robots_1_5_3_62.2SAT0.2
robots_1_5_3_44.4SAT2.72
robots_1_5_3_100.4SAT2.74
robots_1_5_3_16.4SAT2.77
robots_1_5_3_20.4SAT3.3
robots_1_5_3_66.4SAT3.44
robots_1_5_3_24.4SAT3.64
robots_1_5_3_78.4SAT3.74
robots_1_5_3_57.4SAT3.93
robots_1_5_3_2.4SAT3.98
robots_1_5_3_52.4SAT4.3
robots_1_5_3_39.8SAT21.41
robots_1_5_3_90.8FAIL759.58
robots_1_5_3_16.8FAIL765.98
robots_1_5_3_44.8FAIL766.68
robots_1_5_3_100.8FAIL769.76
robots_1_5_3_27.8FAIL774.92
robots_1_5_3_70.8FAIL778.02
robots_1_5_3_64.8FAIL778.93
robots_1_5_3_55.8FAIL779.97
robots_1_5_3_8.8FAIL787.22