QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'17 - Random QBFs Track
Best Solver: rev_qfun0.1 Time: 1.81 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | QELL_unit | 3.33 | - | - | AIGSolve | 137.73 |
| - | - | ghostq-cegar | 4.64 | - | - | - | - |
| - | - | GhostQ-PG_cegar | 4.69 | - | - | - | - |
| - | - | QELL_default | 6.45 | - | - | - | - |
| rev_qfun0.1(1.81) |  |
| QELL_unit(3.33) |  |
| ghostq-cegar(4.64) |  |
| GhostQ-PG_cegar(4.69) |  |
| QELL_default(6.45) |  |
| AIGSolve(137.73) |  |