QBF Solver Evaluation Portal
qbflib.orgFamily Adder results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 2272.74 | 284.09 | 363.93 | 81.6 | 556.2 | 0.75 |
| Caqe-hqspre | 1323.69 | 165.46 | 285.85 | 35.18 | 162.56 | 0.875 |
| caqe-pre | 1329.06 | 166.13 | 286.04 | 34.87 | 165.64 | 0.875 |
| depqbf_prefix_opt_qdo | 7200 | 900 | 0 | 900 | 0 | 0 |
| depqbf_pre_QxQBH | 7200 | 900 | 0 | 900 | 0 | 0 |
| GhostQ___cegar_pcnf_2019 | 7200 | 900 | 0 | 900 | 0 | 0 |
| GhostQ___plain_pcnf_2019 | 7200 | 900 | 0 | 900 | 0 | 0 |
| iprover_bloqqer_schedule | 5510.82 | 688.85 | 365.97 | 900 | 408.67 | 0.25 |
| iprover_bloqqer_single | 5510.84 | 688.86 | 365.97 | 900 | 408.68 | 0.25 |
| nanoqbf_bloqqer | 6315.21 | 789.4 | 292.62 | 900 | 0 | 0.125 |
| nanoqbf_hqspre | 6323.28 | 790.41 | 289.95 | 900 | 0 | 0.125 |
| Qute_default | 5622.89 | 702.86 | 345.57 | 900 | 341.13 | 0.25 |
| Qute_opt500 | 228.65 | 28.58 | 64.83 | 4.36 | 5.15 | 0 |
| Qute_rrs | 5608.07 | 701.01 | 348.27 | 900 | 347.97 | 0.25 |
| Rareqs_2018 | 4823.89 | 602.99 | 394.51 | 900 | 738.06 | 0.375 |