QBF Solver Evaluation Portal
qbflib.orgInstances of family Strategic_Companies solved by quantor-3.1
QBFEVAL'10 - Random QBFs Track.
| Instance | Result | Time | |
|---|---|---|---|
| x30.4 | SAT | 11.63 | |
| x30.1 | UNSAT | 13.66 | |
| x30.6 | SAT | 16.91 | |
| x30.8 | UNSAT | 19.27 | |
| x30.2 | UNSAT | 19.4 | |
| x30.9 | UNSAT | 20.31 | |
| x30.5 | UNSAT | 25.36 | |
| x30.0 | UNSAT | 37.07 | |
| x30.7 | UNSAT | 39.93 | |
| x30.3 | SAT | 53.53 | |
| x120.3 | FAIL | 68.36 | |
| x240.7 | FAIL | 75.12 | |
| x240.4 | FAIL | 77.76 | |
| x240.0 | FAIL | 78.1 | |
| x120.0 | FAIL | 79.21 | |
| x120.2 | FAIL | 79.87 | |
| x240.5 | FAIL | 82.14 | |
| x240.9 | FAIL | 84.95 | |
| x240.3 | FAIL | 85.07 | |
| x240.6 | FAIL | 85.93 | |
| x240.1 | FAIL | 87.47 | |
| x60.6 | FAIL | 89.76 | |
| x240.8 | FAIL | 90.02 | |
| x60.0 | FAIL | 93.15 | |
| x240.2 | FAIL | 94.49 | |
| x60.2 | FAIL | 94.81 | |
| x60.9 | FAIL | 95.19 | |
| x60.5 | FAIL | 95.33 | |
| x60.1 | FAIL | 96.43 | |
| x60.3 | FAIL | 96.45 | |
| x60.8 | FAIL | 99.03 | |
| x60.4 | FAIL | 101.11 | |
| x60.7 | FAIL | 108.51 | |
| x120.4 | FAIL | 108.56 | |
| x120.8 | FAIL | 117.45 | |
| x120.1 | FAIL | 121.44 | |
| x120.6 | FAIL | 124.9 | |
| x120.5 | FAIL | 129.44 | |
| x120.9 | FAIL | 136.64 | |
| x120.7 | FAIL | 138.05 |