QBF Solver Evaluation Portal
qbflib.orgFamily jmc_quant results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 2907.06 | 581.41 | 391.44 | 900 | 796.47 | 0.4 |
| Caqe-hqspre | 3600 | 720 | 360 | 900 | 450 | 0.2 |
| caqe-pre | 3511.32 | 702.26 | 352.81 | 900 | 494.34 | 0.4 |
| depqbf_prefix_opt_qdo | 2770.8 | 554.16 | 423.93 | 900 | 864.6 | 0.4 |
| depqbf_pre_QxQBH | 2863.94 | 572.79 | 400.93 | 900 | 818.03 | 0.4 |
| GhostQ___cegar_pcnf_2019 | 3007.58 | 601.52 | 378.25 | 900 | 746.21 | 0.4 |
| GhostQ___plain_pcnf_2019 | 2733.43 | 546.69 | 432.85 | 900 | 883.29 | 0.4 |
| iprover_bloqqer_schedule | 3691.62 | 738.32 | 323.35 | 900 | 404.19 | 0.2 |
| iprover_bloqqer_single | 4500 | 900 | 0 | 900 | 0 | 0 |
| nanoqbf_bloqqer | 4433.01 | 886.6 | 26.8 | 900 | 33.5 | 0.2 |
| nanoqbf_hqspre | 4500 | 900 | 0 | 900 | 0 | 0 |
| Qute_default | 3607.96 | 721.59 | 356.82 | 900 | 446.02 | 0.2 |
| Qute_opt500 | 12.24 | 2.45 | 4.9 | 0 | 0 | 0 |
| Qute_rrs | 3600.75 | 720.15 | 359.7 | 900 | 449.63 | 0.2 |
| Rareqs_2018 | 3047.25 | 609.45 | 372.24 | 900 | 726.38 | 0.4 |