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

InstanceResultTime
robots_1_5_4_73.2SAT5.57
robots_1_5_4_75.2SAT5.58
robots_1_5_4_100.2SAT11.4
robots_1_5_4_44.2SAT37.98
robots_1_5_4_81.2SAT49.42
robots_1_5_4_31.4SAT54.33
robots_1_5_4_52.2SAT56.83
robots_1_5_4_32.2SAT61.76
robots_1_5_4_71.2SAT63.6
robots_1_5_4_22.2SAT66.04
robots_1_5_4_59.2SAT69.06
robots_1_5_4_17.8UNSAT113.66
robots_1_5_4_100.4SAT132.72
robots_1_5_4_87.4SAT153.36
robots_1_5_4_2.4SAT170.86
robots_1_5_4_30.4SAT182.11
robots_1_5_4_51.4SAT205.86
robots_1_5_4_50.4SAT210.97
robots_1_5_4_1.8UNSAT233.58
robots_1_5_4_99.8UNSAT234.13
robots_1_5_4_46.4SAT246.48
robots_1_5_4_91.4SAT264.02
robots_1_5_4_98.4SAT264.89
robots_1_5_4_24.8UNSAT347.65
robots_1_5_4_91.8UNSAT395.24
robots_1_5_4_96.8UNSAT414.2
robots_1_5_4_46.8UNSAT422.66
robots_1_5_4_56.8UNSAT597.09
robots_1_5_4_75.8UNSAT734.1
robots_1_5_4_100.8UNSAT903.98