QBF Solver Evaluation Portal
qbflib.orgFamily toy results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 2678.73 | 535.75 | 372.87 | 688.55 | 699.19 | 0.6 |
| Caqe-hqspre | 906.12 | 181.22 | 359.39 | 2.4 | 1.74 | 0.8 |
| caqe-pre | 456.05 | 91.21 | 179.37 | 2.39 | 1.76 | 1 |
| depqbf_prefix_opt_qdo | 3775.73 | 755.15 | 289.71 | 900 | 362.14 | 0.2 |
| depqbf_pre_QxQBH | 10.22 | 2.04 | 1.88 | 1.82 | 3.01 | 1 |
| GhostQ___cegar_pcnf_2019 | 4500 | 900 | 0 | 900 | 0 | 0 |
| GhostQ___plain_pcnf_2019 | 3711.58 | 742.32 | 315.37 | 900 | 394.21 | 0.2 |
| iprover_bloqqer_schedule | 913.76 | 182.75 | 358.63 | 3.26 | 3.72 | 0.8 |
| iprover_bloqqer_single | 913.8 | 182.76 | 358.63 | 3.22 | 3.7 | 0.8 |
| nanoqbf_bloqqer | 1803.21 | 360.64 | 440.38 | 1.61 | 450.01 | 0.6 |
| nanoqbf_hqspre | 909.42 | 181.88 | 359.06 | 3.77 | 2.89 | 0.8 |
| Qute_default | 932.2 | 186.44 | 356.86 | 4.17 | 10.74 | 0.8 |
| Qute_opt500 | 11.67 | 2.33 | 1.65 | 2.11 | 2.52 | 0.6 |
| Qute_rrs | 930.92 | 186.18 | 356.98 | 4.17 | 10.1 | 0.8 |
| Rareqs_2018 | 144.85 | 28.97 | 57.94 | 0 | 0 | 1 |