QBF Solver Evaluation Portal
qbflib.orgFamily tipfixpoint results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 9000 | 900 | 0 | 900 | 0 | 0 |
| Caqe-hqspre | 1928.23 | 192.82 | 353.72 | 14.98 | 10.65 | 0.8 |
| caqe-pre | 1928.13 | 192.81 | 353.73 | 14.95 | 10.45 | 0.8 |
| depqbf_prefix_opt_qdo | 7220.77 | 722.08 | 355.86 | 900 | 882.72 | 0.2 |
| depqbf_pre_QxQBH | 4883.36 | 488.34 | 415.08 | 560.25 | 882.4 | 0.5 |
| GhostQ___cegar_pcnf_2019 | 1827.72 | 182.77 | 358.62 | 3.13 | 4.4 | 0.8 |
| GhostQ___plain_pcnf_2019 | 227.23 | 22.72 | 58.08 | 3 | 4 | 1 |
| iprover_bloqqer_schedule | 8107.39 | 810.74 | 267.78 | 900 | 0 | 0.1 |
| iprover_bloqqer_single | 8107.41 | 810.74 | 267.78 | 900 | 0 | 0.1 |
| nanoqbf_bloqqer | 8105.28 | 810.53 | 268.42 | 900 | 0 | 0.1 |
| nanoqbf_hqspre | 4397.87 | 439.79 | 394.34 | 318.12 | 865.74 | 0.6 |
| Qute_default | 8113.04 | 811.3 | 266.09 | 900 | 0 | 0.1 |
| Qute_opt500 | 111.14 | 11.11 | 9.79 | 8.25 | 11.37 | 0 |
| Qute_rrs | 7396.84 | 739.68 | 323.04 | 900 | 713.53 | 0.2 |
| Rareqs_2018 | 9000 | 900 | 0 | 900 | 0 | 0 |