Instances of family RobotsD3 solved by depqbf-v2
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
robots_1_5_3_94.1SAT0.81
robots_1_5_3_56.1SAT0.81
robots_1_5_3_98.1SAT0.81
robots_1_5_3_98.2SAT3.01
robots_1_5_3_94.2SAT3.01
robots_1_5_3_56.2SAT3.01
robots_1_5_3_56.3SAT6.41
robots_1_5_3_94.3SAT6.41
robots_1_5_3_98.3SAT6.52
robots_1_5_3_56.4SAT10.92
robots_1_5_3_98.4SAT11.02
robots_1_5_3_94.4SAT11.02
robots_1_5_3_94.5SAT17.52
robots_1_5_3_56.5SAT18.51
robots_1_5_3_98.5SAT20.71
robots_1_5_3_56.6SAT22.02
robots_1_5_3_98.6SAT23.71
robots_1_5_3_94.6SAT24.51
robots_1_5_3_56.7SAT33.71
robots_1_5_3_94.7UNSAT34.41
robots_1_5_3_98.7SAT51.11
robots_1_5_3_98.8UNSAT53.41
robots_1_5_3_98.10UNSAT53.92
robots_1_5_3_94.10UNSAT57.12
robots_1_5_3_94.9UNSAT58.22
robots_1_5_3_94.8UNSAT64.21
robots_1_5_3_98.9UNSAT65.41
robots_1_5_3_56.9SAT89.21
robots_1_5_3_56.10SAT202.11
robots_1_5_3_56.8FAIL593.22