QBF Solver Evaluation Portal
qbflib.orgFamily jctc results for solvers
QBFEVAL'18 - Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Cqesto_2018 | 10713.11 | 630.18 | 366.52 | 900.02 | 735.15 | 0.059 |
| GhostQ_PG___cegar_qcir_2018 | 8741.13 | 514.18 | 417.4 | 900 | 875.99 | 0.471 |
| GhostQ_PG___plain_qcir_2018 | 7676.16 | 451.54 | 428.41 | 474.96 | 891.94 | 0.588 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 120.73 | 7.1 | 0.55 | 7.08 | 0.14 | 0.059 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 102.83 | 6.05 | 0.36 | 5.91 | 0.25 | 0 |
| PortfolioGhostQQfunQuAbSQute___pfs | 5650.8 | 332.4 | 420.22 | 12.84 | 894.24 | 0.176 |
| QFUN | 7056.79 | 415.11 | 416.01 | 299.19 | 898.36 | 0.588 |
| Quabs_2018 | 9196.33 | 540.96 | 406.83 | 900 | 876.46 | 0.471 |
| quabs___caqe-bloqqer | 12623.67 | 742.57 | 340.22 | 900.03 | 0.07 | 0.176 |
| quabs___caqe-hqspre | 9168.35 | 539.31 | 393.12 | 900.01 | 822.65 | 0.471 |
| Qute_hybrid | 8687.52 | 511.03 | 432 | 900.01 | 898.31 | 0.471 |
| Qute_opt617 | 9015.24 | 530.31 | 441.91 | 900.01 | 898.09 | 0.412 |
| Qute_opt993 | 10188.1 | 599.3 | 394.75 | 900.01 | 878.1 | 0.412 |