QBF Solver Evaluation Portal
qbflib.orgFamily Reduction-finding results for solvers
Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Cqesto_2018 | 1721.54 | 90.61 | 238.33 | 0 | 0 | 0.947 |
| GhostQ___cegar_qcir_2019 | 3301.41 | 173.76 | 331.62 | 0.38 | 1.37 | 0.895 |
| GhostQ___plain_qcir_2019 | 5125.56 | 269.77 | 401.04 | 0.39 | 623.34 | 0.737 |
| QFUN | 1881.84 | 99.04 | 275.32 | 0 | 0 | 0.895 |
| Quabs_2018 | 4526.14 | 238.22 | 395.53 | 0 | 26.14 | 0.737 |
| quabs___caqe-hqspre | 1922.65 | 101.19 | 227.01 | 0.62 | 2.27 | 0.947 |
| QuAbS___quabs-caqe_2019 | 3572.51 | 188.03 | 336.17 | 0 | 26.14 | 0.842 |
| Qute_default | 5480.41 | 288.44 | 415.79 | 0 | 900 | 0.684 |