QBF Solver Evaluation Portal
qbflib.orgFamily ltl2aig-comp results for solvers
Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Cqesto_2018 | 2700 | 900 | 0 | 900 | 0 | 0 |
| GhostQ___cegar_qcir_2019 | 1842.73 | 614.24 | 404.12 | 900 | 857.27 | 0.333 |
| GhostQ___plain_qcir_2019 | 2700 | 900 | 0 | 900 | 0 | 0 |
| QFUN | 1005.01 | 335 | 401.54 | 101.91 | 98.81 | 0.667 |
| Quabs_2018 | 2700 | 900 | 0 | 900 | 0 | 0 |
| quabs___caqe-hqspre | 1213.61 | 404.54 | 370.63 | 304.93 | 296.25 | 0.667 |
| QuAbS___quabs-caqe_2019 | 1799.88 | 599.96 | 241.46 | 591.14 | 282.4 | 0.667 |
| Qute_default | 2700 | 900 | 0 | 900 | 0 | 0 |