QBF Solver Evaluation Portal
qbflib.orgSuite Cooksey-Batty-Grigore-Janota results for solvers
QBFEVAL'19 - Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GhostQ___cegar_qcir_2019 | 8723.5 | 513.15 | 417.98 | 900.01 | 876.33 | 0.471 |
| GhostQ___plain_qcir_2019 | 7611.57 | 447.74 | 427.01 | 440.23 | 892.11 | 0.588 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 122.84 | 7.23 | 0.53 | 7.18 | 0.22 | 0.059 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 104 | 6.12 | 0.3 | 5.98 | 0.17 | 0 |
| PortfolioGhostQQfunQuAbSQute___pfs | 5654.39 | 332.61 | 420.09 | 13.05 | 894.07 | 0.176 |
| Quabs_2018 | 9182.59 | 540.15 | 406.97 | 900.02 | 876.7 | 0.471 |
| quabs___caqe-hqspre | 10313.44 | 606.67 | 345.45 | 899.52 | 626.53 | 0.235 |
| QuAbS___quabs-caqe_2019 | 7233.17 | 425.48 | 350.02 | 352.35 | 660 | 0.529 |
| Qute_default | 10840.29 | 637.66 | 406.5 | 900.02 | 883.2 | 0.294 |