QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Strategic_Companies
QBFEVAL'10 - Random QBFs Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| x120.0 | aqme-10 | UNSAT | 4.38 |  |
| x120.1 | QuBE7-m | UNSAT | 12.11 | |
| x120.2 | QuBE7 | UNSAT | 3.73 | |
| x120.3 | aqme-10 | UNSAT | 6.29 | |
| x120.4 | QuBE7-m | UNSAT | 11.09 | |
| x120.5 | QuBE7 | UNSAT | 4.02 | |
| x120.6 | QuBE7 | UNSAT | 30.31 | |
| x120.7 | QuBE7 | UNSAT | 26.82 | |
| x120.8 | QuBE7 | UNSAT | 15.68 | |
| x120.9 | QuBE7 | UNSAT | 13.24 | |
| x240.5 | QuBE7 | UNSAT | 392.26 | |
| x240.9 | QuBE7 | UNSAT | 471.2 | |
| x30.0 | QuBE7-m | UNSAT | 0.26 | |
| x30.1 | QuBE7 | UNSAT | 0.36 | |
| x30.2 | QuBE7 | UNSAT | 0.24 | |
| x30.3 | QuBE7 | SAT | 0.34 | |
| x30.4 | QuBE7-c | SAT | 0.31 | |
| x30.5 | QuBE7-c | UNSAT | 0.24 | |
| x30.6 | QuBE7-c | SAT | 0.32 | |
| x30.7 | QuBE7 | UNSAT | 0.24 | |
| x30.8 | QuBE7-c | UNSAT | 0.3 | |
| x30.9 | QuBE7 | UNSAT | 0.31 | |
| x60.0 | QuBE7 | UNSAT | 1.24 | |
| x60.1 | QuBE7-c | UNSAT | 0.94 | |
| x60.2 | QuBE7-c | UNSAT | 1.47 | |
| x60.3 | QuBE7-c | UNSAT | 1.1 | |
| x60.4 | QuBE7 | UNSAT | 0.96 | |
| x60.5 | QuBE7-m | UNSAT | 1.29 | |
| x60.6 | QuBE7-m | UNSAT | 1.15 | |
| x60.7 | QuBE7 | UNSAT | 1.43 | |
| x60.8 | QuBE7-c | UNSAT | 1.06 | |
| x60.9 | QuBE7 | UNSAT | 1.11 | |