Instances of family RobotsD4 solved by depqbf-pre
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
robots_1_5_4_81.2SAT0.31
robots_1_5_4_75.2SAT0.31
robots_1_5_4_44.2SAT0.32
robots_1_5_4_73.2SAT0.33
robots_1_5_4_100.2SAT0.34
robots_1_5_4_32.2SAT0.38
robots_1_5_4_71.2SAT0.39
robots_1_5_4_22.2SAT0.4
robots_1_5_4_52.2SAT0.41
robots_1_5_4_59.2SAT0.42
robots_1_5_4_30.4SAT4.16
robots_1_5_4_31.4SAT4.54
robots_1_5_4_50.4SAT4.77
robots_1_5_4_100.4SAT5.02
robots_1_5_4_98.4SAT5.04
robots_1_5_4_46.4SAT5.72
robots_1_5_4_87.4SAT6.24
robots_1_5_4_91.4SAT6.57
robots_1_5_4_2.4SAT6.71
robots_1_5_4_51.4SAT8.21
robots_1_5_4_91.8UNSAT23.74
robots_1_5_4_100.8UNSAT32.36
robots_1_5_4_56.8UNSAT33.98
robots_1_5_4_75.8UNSAT104.92
robots_1_5_4_17.8UNSAT127.02
robots_1_5_4_46.8UNSAT561.33
robots_1_5_4_1.8UNSAT868.79
robots_1_5_4_99.8FAIL1200.13
robots_1_5_4_96.8FAIL1200.13
robots_1_5_4_24.8FAIL1200.13