QBF Solver Evaluation Portal
qbflib.orgFamily NuSMV_diam results for solvers
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 23691.17 | 260.34 | 270.25 | 65.44 | 570.13 | 0.615 |
| AQME-1NN | 15158.1 | 166.57 | 229.3 | 24.3 | 138.51 | 0.78 |
| AQME-C4.5 | 13360.06 | 146.81 | 218.26 | 20.78 | 144.07 | 0.802 |
| AQME-RIPPER | 1654.66 | 18.18 | 20.06 | 3.44 | 39.98 | 0.681 |
| EBDDRES | 1804.13 | 19.83 | 38.89 | 4.72 | 29.29 | 0.571 |
| ncQuBE1.0 | 9578.91 | 105.26 | 208.51 | 0.31 | 40.84 | 0.868 |
| ncQuBE1.1 | 9416.83 | 103.48 | 213.88 | 0.31 | 31.9 | 0.846 |
| pQBF | 31723.81 | 348.61 | 292.23 | 600 | 599.93 | 0.209 |
| QUANTOR_2.15 | 2592.65 | 28.49 | 36.78 | 16.43 | 20.5 | 0.275 |
| sKizzo-0.10-qck | 13000.3 | 142.86 | 233.82 | 0.58 | 239.83 | 0.703 |
| sKizzo-0.10-std | 14836.78 | 163.04 | 245.3 | 0.56 | 379.04 | 0.703 |
| squolem | 32166.34 | 353.48 | 287.15 | 600 | 598.72 | 0.429 |
| yQuaffle | 14080.01 | 154.73 | 249.69 | 0.53 | 172.46 | 0.78 |