QBF Solver Evaluation Portal
qbflib.orgFamily Reduction-finding 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 | 1513.42 | 56.05 | 184.23 | 0.38 | 4.84 | 0.963 |
| GhostQ___plain_qcir_2019 | 5790.32 | 214.46 | 369.89 | 0.53 | 118.38 | 0.778 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 176.7 | 6.54 | 4.01 | 5.22 | 2.32 | 0.593 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 1043.01 | 38.63 | 168.95 | 5.89 | 1.18 | 0.481 |
| PortfolioGhostQQfunQuAbSQute___pfs | 147.28 | 5.45 | 0.57 | 5.89 | 1.16 | 0.407 |
| Quabs_2018 | 4327.54 | 160.28 | 326.71 | 0 | 5.03 | 0.852 |
| quabs___caqe-hqspre | 1925.93 | 71.33 | 203.08 | 0.83 | 4.36 | 0.963 |
| QuAbS___quabs-caqe_2019 | 2330.83 | 86.33 | 195.45 | 0 | 5.03 | 0.963 |
| Qute_default | 10393.44 | 384.94 | 434.95 | 16.97 | 900.03 | 0.593 |