Instances of family RobotsD3 solved by QuBE7-c
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
robots_1_5_3_52.2SAT12.14
robots_1_5_3_44.4SAT23.45
robots_1_5_3_100.4SAT31.71
robots_1_5_3_44.8UNSAT62.62
robots_1_5_3_100.2SAT66.06
robots_1_5_3_7.2SAT69.27
robots_1_5_3_91.2SAT71.1
robots_1_5_3_30.2SAT72.32
robots_1_5_3_80.2SAT95.08
robots_1_5_3_51.2SAT106.2
robots_1_5_3_100.8UNSAT119.48
robots_1_5_3_52.4SAT121
robots_1_5_3_66.4SAT122.89
robots_1_5_3_24.4SAT122.9
robots_1_5_3_26.2SAT125.58
robots_1_5_3_20.4SAT126.56
robots_1_5_3_2.4SAT149.75
robots_1_5_3_25.2SAT165.85
robots_1_5_3_62.2SAT170.15
robots_1_5_3_57.4SAT201
robots_1_5_3_16.4SAT216.63
robots_1_5_3_55.8UNSAT248.98
robots_1_5_3_8.8UNSAT261.53
robots_1_5_3_70.8UNSAT281.91
robots_1_5_3_78.4SAT376.45
robots_1_5_3_39.8SAT480.83
robots_1_5_3_64.8UNSAT574.18
robots_1_5_3_27.8UNSAT791.87
robots_1_5_3_90.8UNSAT846.12
robots_1_5_3_16.8FAIL1200.01