QBF Solver Evaluation Portal
qbflib.orgInstances of family Strategic_Companies solved by QuBE7-m
QBFEVAL'10 - Random QBFs Track.
| Instance | Result | Time | |
|---|---|---|---|
| x30.5 | UNSAT | 0.25 | |
| x30.0 | UNSAT | 0.26 | |
| x30.2 | UNSAT | 0.3 | |
| x30.9 | UNSAT | 0.32 | |
| x30.8 | UNSAT | 0.32 | |
| x30.4 | SAT | 0.32 | |
| x30.7 | UNSAT | 0.33 | |
| x30.6 | SAT | 0.34 | |
| x30.3 | SAT | 0.39 | |
| x30.1 | UNSAT | 0.42 | |
| x60.1 | UNSAT | 0.95 | |
| x60.3 | UNSAT | 1.12 | |
| x60.8 | UNSAT | 1.13 | |
| x60.6 | UNSAT | 1.15 | |
| x60.5 | UNSAT | 1.29 | |
| x60.0 | UNSAT | 1.44 | |
| x60.2 | UNSAT | 1.5 | |
| x60.4 | UNSAT | 1.66 | |
| x60.9 | UNSAT | 1.78 | |
| x60.7 | UNSAT | 2.89 | |
| x120.4 | UNSAT | 11.09 | |
| x120.1 | UNSAT | 12.11 | |
| x120.0 | UNSAT | 26.52 | |
| x120.7 | UNSAT | 84.94 | |
| x120.2 | UNSAT | 144.83 | |
| x120.5 | UNSAT | 697.97 | |
| x120.3 | FAIL | 1200.02 | |
| x120.6 | FAIL | 1200.02 | |
| x120.8 | FAIL | 1200.02 | |
| x120.9 | FAIL | 1200.02 | |
| x240.0 | FAIL | 1200.02 | |
| x240.2 | FAIL | 1200.02 | |
| x240.7 | FAIL | 1200.02 | |
| x240.8 | FAIL | 1200.03 | |
| x240.6 | FAIL | 1200.03 | |
| x240.3 | FAIL | 1200.03 | |
| x240.1 | FAIL | 1200.03 | |
| x240.9 | FAIL | 1200.03 | |
| x240.5 | FAIL | 1200.04 | |
| x240.4 | FAIL | 1200.04 |