QBF Solver Evaluation Portal
qbflib.orgFamily fpu results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 3687.03 | 368.7 | 433.81 | 17.54 | 887 | 0.6 |
| Caqe-hqspre | 2010.82 | 201.08 | 242.56 | 4.66 | 446.6 | 1 |
| caqe-pre | 1864.08 | 186.41 | 225.02 | 4.63 | 412.89 | 1 |
| depqbf_prefix_opt_qdo | 434.89 | 43.49 | 73.23 | 16.86 | 14.59 | 1 |
| depqbf_pre_QxQBH | 1190.05 | 119.01 | 234.2 | 24.77 | 64.91 | 1 |
| GhostQ___cegar_pcnf_2019 | 5020.18 | 502.02 | 159.06 | 511.92 | 316.31 | 0.6 |
| GhostQ___plain_pcnf_2019 | 4994.98 | 499.5 | 159.45 | 511.59 | 309 | 0.6 |
| iprover_bloqqer_schedule | 3686.75 | 368.68 | 433.83 | 17.33 | 886.91 | 0.6 |
| iprover_bloqqer_single | 3686.75 | 368.68 | 433.83 | 17.27 | 886.59 | 0.6 |
| nanoqbf_bloqqer | 1568.61 | 156.86 | 175.03 | 16.88 | 336.11 | 1 |
| nanoqbf_hqspre | 1966.76 | 196.68 | 235.13 | 6.64 | 424.18 | 1 |
| Qute_default | 2837.18 | 283.72 | 363.82 | 5.87 | 499.78 | 0.8 |
| Qute_opt500 | 1784.11 | 178.41 | 212.67 | 5.86 | 434.15 | 0.6 |
| Qute_rrs | 2648.87 | 264.89 | 354.25 | 5.85 | 405.87 | 0.8 |
| Rareqs_2018 | 177.04 | 17.7 | 19.82 | 2.2 | 33.97 | 1 |