QBF Solver Evaluation Portal
qbflib.orgInstances of family RobotsD3 solved by depqbf-v3
QBFEVAL'16 - Random QBFs Track.
| Instance | Result | Time | |
|---|---|---|---|
| robots_1_5_3_98.1 | SAT | 0.72 | |
| robots_1_5_3_94.1 | SAT | 0.72 | |
| robots_1_5_3_56.1 | SAT | 0.73 | |
| robots_1_5_3_94.2 | SAT | 2.99 | |
| robots_1_5_3_98.2 | SAT | 2.99 | |
| robots_1_5_3_56.2 | SAT | 3 | |
| robots_1_5_3_56.3 | SAT | 5.72 | |
| robots_1_5_3_98.3 | SAT | 5.89 | |
| robots_1_5_3_94.3 | SAT | 5.9 | |
| robots_1_5_3_56.4 | SAT | 9.41 | |
| robots_1_5_3_94.4 | SAT | 9.85 | |
| robots_1_5_3_98.4 | SAT | 11.58 | |
| robots_1_5_3_56.5 | SAT | 14.72 | |
| robots_1_5_3_94.5 | SAT | 16.27 | |
| robots_1_5_3_98.5 | SAT | 17.82 | |
| robots_1_5_3_56.6 | SAT | 23.33 | |
| robots_1_5_3_94.6 | SAT | 32.62 | |
| robots_1_5_3_94.7 | UNSAT | 34.08 | |
| robots_1_5_3_98.6 | SAT | 42.87 | |
| robots_1_5_3_94.8 | UNSAT | 44.31 | |
| robots_1_5_3_56.7 | SAT | 44.89 | |
| robots_1_5_3_94.10 | UNSAT | 51.24 | |
| robots_1_5_3_94.9 | UNSAT | 53.41 | |
| robots_1_5_3_98.8 | UNSAT | 64.51 | |
| robots_1_5_3_98.9 | UNSAT | 72.18 | |
| robots_1_5_3_98.10 | UNSAT | 88.29 | |
| robots_1_5_3_56.8 | SAT | 92.3 | |
| robots_1_5_3_98.7 | SAT | 123.33 | |
| robots_1_5_3_56.9 | SAT | 340.34 | |
| robots_1_5_3_56.10 | FAIL | 599.81 |