QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'17 - Random QBFs Track
Best Solver: rev_qfun0.1 Time: 0.42 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | caqe_2017_v1 | 1.44 | - | - | caqe_2017_v2 | 4.6 |
| - | - | QELL_default | 1.8 | - | - | caqe_2017_v3 | 4.6 |
| - | - | rareqs | 1.89 | - | - | QELL_unit | 12.82 |
| rev_qfun0.1(0.42) |  |
| caqe_2017_v1(1.44) |  |
| QELL_default(1.8) |  |
| rareqs(1.89) |  |
| caqe_2017_v2(4.6) |  |
| caqe_2017_v3(4.6) |  |
| QELL_unit(12.82) |  |
| ijtihad_v1(66.37) |  |
| qesto(67.74) |  |
| ijtihad_v2(70.47) |  |
| heretiq(101.22) |  |
| ghostq-cegar(144.93) |  |
| GhostQ-PG_cegar(164.31) |  |