QBF Solver Evaluation Portal
qbflib.orgInstances of family RobotsD2 solved by depqbf-v2
QBFEVAL'16 - Random QBFs Track.
| Instance | Result | Time | |
|---|---|---|---|
| robots_1_5_2_46.1 | SAT | 0.81 | |
| robots_1_5_2_65.1 | SAT | 0.81 | |
| robots_1_5_2_93.1 | SAT | 0.81 | |
| robots_1_5_2_65.2 | SAT | 3.11 | |
| robots_1_5_2_93.2 | SAT | 3.11 | |
| robots_1_5_2_46.2 | SAT | 3.11 | |
| robots_1_5_2_46.3 | SAT | 6.62 | |
| robots_1_5_2_65.3 | SAT | 6.81 | |
| robots_1_5_2_93.3 | SAT | 6.82 | |
| robots_1_5_2_65.4 | SAT | 11.31 | |
| robots_1_5_2_93.4 | SAT | 11.41 | |
| robots_1_5_2_46.4 | SAT | 11.81 | |
| robots_1_5_2_93.5 | SAT | 17.62 | |
| robots_1_5_2_65.5 | SAT | 18.81 | |
| robots_1_5_2_46.5 | SAT | 19.82 | |
| robots_1_5_2_46.6 | SAT | 26.32 | |
| robots_1_5_2_93.6 | SAT | 30.21 | |
| robots_1_5_2_65.6 | SAT | 47.51 | |
| robots_1_5_2_46.7 | UNSAT | 49.81 | |
| robots_1_5_2_46.9 | UNSAT | 54.61 | |
| robots_1_5_2_93.7 | SAT | 92.42 | |
| robots_1_5_2_46.10 | UNSAT | 94.11 | |
| robots_1_5_2_65.7 | SAT | 111.12 | |
| robots_1_5_2_93.8 | SAT | 257.61 | |
| robots_1_5_2_46.8 | UNSAT | 331.31 | |
| robots_1_5_2_93.10 | FAIL | 592.62 | |
| robots_1_5_2_93.9 | FAIL | 592.84 | |
| robots_1_5_2_65.8 | FAIL | 593.02 | |
| robots_1_5_2_65.10 | FAIL | 593.02 | |
| robots_1_5_2_65.9 | FAIL | 593.02 |