QBF Solver Evaluation Portal
qbflib.orgInstances of family RobotsD2 solved by depqbf-v1
QBFEVAL'16 - Random QBFs Track.
| Instance | Result | Time | |
|---|---|---|---|
| robots_1_5_2_93.1 | SAT | 0.11 | |
| robots_1_5_2_65.1 | SAT | 0.11 | |
| robots_1_5_2_46.1 | SAT | 0.21 | |
| robots_1_5_2_93.2 | SAT | 0.31 | |
| robots_1_5_2_46.2 | SAT | 0.31 | |
| robots_1_5_2_65.2 | SAT | 0.31 | |
| robots_1_5_2_93.3 | SAT | 0.91 | |
| robots_1_5_2_46.3 | SAT | 1.31 | |
| robots_1_5_2_65.3 | SAT | 1.61 | |
| robots_1_5_2_93.4 | SAT | 4.32 | |
| robots_1_5_2_46.4 | SAT | 6.71 | |
| robots_1_5_2_65.4 | SAT | 9.41 | |
| robots_1_5_2_93.5 | SAT | 23.41 | |
| robots_1_5_2_46.5 | SAT | 35.22 | |
| robots_1_5_2_65.5 | SAT | 43.71 | |
| robots_1_5_2_46.7 | UNSAT | 79.22 | |
| robots_1_5_2_46.9 | UNSAT | 86.92 | |
| robots_1_5_2_93.6 | SAT | 105.31 | |
| robots_1_5_2_46.6 | SAT | 124.41 | |
| robots_1_5_2_46.8 | UNSAT | 132.81 | |
| robots_1_5_2_46.10 | UNSAT | 270.72 | |
| robots_1_5_2_65.6 | SAT | 302.81 | |
| robots_1_5_2_65.7 | FAIL | 592.23 | |
| robots_1_5_2_93.9 | FAIL | 592.42 | |
| robots_1_5_2_65.9 | FAIL | 592.42 | |
| robots_1_5_2_65.8 | FAIL | 592.62 | |
| robots_1_5_2_93.10 | FAIL | 592.72 | |
| robots_1_5_2_93.8 | FAIL | 592.84 | |
| robots_1_5_2_93.7 | FAIL | 592.84 | |
| robots_1_5_2_65.10 | FAIL | 592.94 |