QBF Solver Evaluation Portal
qbflib.orgFamily Sorting_networks 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 | 2706.66 | 676.67 | 386.87 | 900.01 | 446.74 | 0.25 |
| GhostQ_PG___cegar_qcir_2018 | 3600.21 | 900.05 | 0.03 | 900.06 | 0.03 | 0 |
| GhostQ_PG___plain_qcir_2018 | 3600.12 | 900.03 | 0.03 | 900.01 | 0.04 | 0 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 272.5 | 68.13 | 106 | 6.97 | 122.47 | 0.25 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 268.19 | 67.05 | 106.17 | 5.78 | 122.63 | 0.25 |
| PortfolioGhostQQfunQuAbSQute___pfs | 23.39 | 5.85 | 0.09 | 5.84 | 0.15 | 0 |
| QFUN | 1204.59 | 301.15 | 358.54 | 151.27 | 551.89 | 0.75 |
| Quabs_2018 | 2738.49 | 684.62 | 373.07 | 900.01 | 430.81 | 0.25 |
| quabs___caqe-bloqqer | 216.43 | 54.11 | 26.72 | 49.57 | 50.08 | 1 |
| quabs___caqe-hqspre | 522.12 | 130.53 | 132.39 | 72.23 | 170.05 | 1 |
| Qute_hybrid | 3600.12 | 900.03 | 0.02 | 900.03 | 0.04 | 0 |
| Qute_opt617 | 3600.19 | 900.05 | 0.03 | 900.05 | 0.07 | 0 |
| Qute_opt993 | 3600.26 | 900.07 | 0.02 | 900.07 | 0.03 | 0 |