QBF Solver Evaluation Portal
qbflib.orgFamily trafficlight-controller results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 294.45 | 29.45 | 9.88 | 28.53 | 16.24 | 1 |
| Caqe-hqspre | 31.06 | 3.11 | 2.04 | 2.61 | 1.77 | 1 |
| caqe-pre | 30.78 | 3.08 | 2.01 | 2.56 | 1.79 | 1 |
| depqbf_prefix_opt_qdo | 9000 | 900 | 0 | 900 | 0 | 0 |
| depqbf_pre_QxQBH | 43.69 | 4.37 | 1.99 | 4.04 | 2.33 | 1 |
| GhostQ___cegar_pcnf_2019 | 268.03 | 26.8 | 11.21 | 25.31 | 17.67 | 1 |
| GhostQ___plain_pcnf_2019 | 9000 | 900 | 0 | 900 | 0 | 0 |
| iprover_bloqqer_schedule | 658.82 | 65.88 | 31.33 | 75.69 | 62.52 | 1 |
| iprover_bloqqer_single | 663.14 | 66.31 | 31.85 | 75.49 | 63.48 | 1 |
| nanoqbf_bloqqer | 170.53 | 17.05 | 4.43 | 17.03 | 7.61 | 1 |
| nanoqbf_hqspre | 33.91 | 3.39 | 1.5 | 3.22 | 1.98 | 1 |
| Qute_default | 33.6 | 3.36 | 3.67 | 2.38 | 1.48 | 1 |
| Qute_opt500 | 33.55 | 3.36 | 3.66 | 2.34 | 1.5 | 0.9 |
| Qute_rrs | 25.22 | 2.52 | 1.32 | 2.4 | 1.43 | 1 |
| Rareqs_2018 | 13.97 | 1.4 | 0.41 | 1.42 | 0.61 | 1 |