QBF Solver Evaluation Portal
qbflib.orgFamily jmc_quant_squaring results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 3752.79 | 750.56 | 298.88 | 900 | 373.61 | 0.2 |
| Caqe-hqspre | 3679.19 | 735.84 | 328.32 | 900 | 410.41 | 0.2 |
| caqe-pre | 3529.67 | 705.93 | 318.58 | 900 | 485.17 | 0.4 |
| depqbf_prefix_opt_qdo | 2455.75 | 491.15 | 394.28 | 601.45 | 723.58 | 0.6 |
| depqbf_pre_QxQBH | 2856.26 | 571.25 | 402.96 | 900 | 821.87 | 0.4 |
| GhostQ___cegar_pcnf_2019 | 3895.3 | 779.06 | 241.88 | 900 | 302.35 | 0.2 |
| GhostQ___plain_pcnf_2019 | 3634.37 | 726.87 | 346.25 | 900 | 432.82 | 0.2 |
| iprover_bloqqer_schedule | 4500 | 900 | 0 | 900 | 0 | 0 |
| iprover_bloqqer_single | 4500 | 900 | 0 | 900 | 0 | 0 |
| nanoqbf_bloqqer | 3705.87 | 741.17 | 317.65 | 900 | 397.07 | 0.2 |
| nanoqbf_hqspre | 4500 | 900 | 0 | 900 | 0 | 0 |
| Qute_default | 1912.6 | 382.52 | 423.4 | 84.68 | 478.38 | 0.6 |
| Qute_opt500 | 36.19 | 7.24 | 9.23 | 0 | 7.03 | 0 |
| Qute_rrs | 2701.27 | 540.25 | 440.6 | 900 | 899.37 | 0.4 |
| Rareqs_2018 | 4177.86 | 835.57 | 128.86 | 900 | 161.07 | 0.2 |