QBF Solver Evaluation Portal
qbflib.orgFamily disjunctive_decomposition results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 3601.07 | 360.11 | 440.82 | 0.54 | 900 | 0.6 |
| Caqe-hqspre | 5483.96 | 548.4 | 431.24 | 900 | 900 | 0.4 |
| caqe-pre | 3683.87 | 368.39 | 328.61 | 449.96 | 449.98 | 0.8 |
| depqbf_prefix_opt_qdo | 6300 | 630 | 412.43 | 900 | 900 | 0.3 |
| depqbf_pre_QxQBH | 2711.59 | 271.16 | 411.68 | 2.85 | 5.04 | 0.7 |
| GhostQ___cegar_pcnf_2019 | 9000 | 900 | 0 | 900 | 0 | 0 |
| GhostQ___plain_pcnf_2019 | 9000 | 900 | 0 | 900 | 0 | 0 |
| iprover_bloqqer_schedule | 3275.13 | 327.51 | 410.71 | 0.56 | 574.01 | 0.6 |
| iprover_bloqqer_single | 3601.16 | 360.12 | 440.81 | 0.58 | 900 | 0.6 |
| nanoqbf_bloqqer | 1806.74 | 180.67 | 359.67 | 0.5 | 1.11 | 0.8 |
| nanoqbf_hqspre | 9000 | 900 | 0 | 900 | 0 | 0 |
| Qute_default | 5409.05 | 540.91 | 439.8 | 900 | 900 | 0.4 |
| Qute_opt500 | 53.71 | 5.37 | 8.34 | 1.13 | 2.79 | 0.2 |
| Qute_rrs | 5410.72 | 541.07 | 439.6 | 900 | 900 | 0.4 |
| Rareqs_2018 | 1858.22 | 185.82 | 357.5 | 0 | 0 | 0.8 |