QBF Solver Evaluation Portal
qbflib.orgFamily BoundedSynthesisPetriGames 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 | 16260.58 | 250.16 | 346.52 | 39.58 | 445.03 | 0.831 |
| GhostQ___plain_qcir_2019 | 24568.67 | 377.98 | 386.77 | 225.54 | 891.13 | 0.677 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 7328.79 | 112.75 | 226.95 | 12.03 | 105.81 | 0.938 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 7294.16 | 112.22 | 226.95 | 10.9 | 104.29 | 0.938 |
| PortfolioGhostQQfunQuAbSQute___pfs | 7277.54 | 111.96 | 226.95 | 10.88 | 104.62 | 0.862 |
| Quabs_2018 | 9938.08 | 152.89 | 269.93 | 9.43 | 105.8 | 0.923 |
| quabs___caqe-hqspre | 26927.03 | 414.26 | 311.3 | 520.94 | 582.22 | 0.908 |
| QuAbS___quabs-caqe_2019 | 12685.67 | 195.16 | 334.1 | 9.48 | 105.73 | 0.846 |
| Qute_default | 29543.9 | 454.52 | 433.97 | 538.8 | 895.79 | 0.538 |