QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'19 - Prenex non-CNF Track
Best Solver: PortfolioGhostQQfunQuAbSQute___pf3 Time: 67.57 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | PortfolioGhostQQfunQuAbSQute___pfs | 67.77 | Quabs_2018 | 416.33 | QuAbS___quabs-caqe_2019 | 713.52 |
| - | - | PortfolioGhostQQfunQuAbSQute___pf2 | 68.89 | quabs___caqe-hqspre | 563.35 | GhostQ___cegar_qcir_2019 | 734.19 |
| PortfolioGhostQQfunQuAbSQute___pf3(67.57) |  |
| PortfolioGhostQQfunQuAbSQute___pfs(67.77) |  |
| PortfolioGhostQQfunQuAbSQute___pf2(68.89) |  |
| Quabs_2018(416.33) |  |
| quabs___caqe-hqspre(563.35) |  |
| QuAbS___quabs-caqe_2019(713.52) |  |
| GhostQ___cegar_qcir_2019(734.19) |  |