Instances of family RobotsD2 solved by depqbf-v3
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
robots_1_5_2_65.1SAT0.73
robots_1_5_2_93.1SAT0.74
robots_1_5_2_46.1SAT0.74
robots_1_5_2_65.2SAT3
robots_1_5_2_93.2SAT3
robots_1_5_2_46.2SAT3.01
robots_1_5_2_46.3SAT5.84
robots_1_5_2_93.3SAT5.98
robots_1_5_2_65.3SAT6.05
robots_1_5_2_65.4SAT10.81
robots_1_5_2_93.4SAT11.26
robots_1_5_2_46.4SAT12.7
robots_1_5_2_65.5SAT29
robots_1_5_2_93.5SAT34.63
robots_1_5_2_46.5SAT36.75
robots_1_5_2_46.8UNSAT117.31
robots_1_5_2_93.6SAT127.49
robots_1_5_2_46.6SAT140.35
robots_1_5_2_65.6SAT274.21
robots_1_5_2_46.10UNSAT308.26
robots_1_5_2_46.9UNSAT308.51
robots_1_5_2_65.7SAT393.49
robots_1_5_2_93.7SAT494.27
robots_1_5_2_93.9FAIL599.71
robots_1_5_2_93.8FAIL599.71
robots_1_5_2_65.8FAIL599.71
robots_1_5_2_46.7FAIL599.71
robots_1_5_2_65.10FAIL599.71
robots_1_5_2_93.10FAIL599.71
robots_1_5_2_65.9FAIL599.81