QBF Solver Evaluation Portal
qbflib.orgFamily k_ph_n results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 1032.86 | 129.11 | 294.88 | 0.12 | 65.8 | 0.875 |
| CSBJ | 1852.43 | 231.55 | 386.78 | 2.11 | 473.58 | 0.75 |
| GRL | 1806.76 | 225.85 | 389.81 | 0.55 | 452.3 | 0.75 |
| openQbf | 4625.76 | 578.22 | 418.1 | 901 | 840.72 | 0.375 |
| orSAT | 4923.78 | 615.47 | 381.55 | 901 | 691.64 | 0.125 |
| QBFL-BS | 3604.13 | 450.52 | 450.49 | 450.53 | 901 | 0.375 |
| QBFL-JW | 3625.74 | 453.22 | 447.85 | 461.32 | 900.99 | 0.5 |
| QMRes | 2762.02 | 345.25 | 430.68 | 29.47 | 900.96 | 0.5 |
| QSAT | 935.58 | 116.95 | 296.43 | 1.4 | 15.86 | 0.875 |
| QUANTOR | 1802.94 | 225.37 | 390.08 | 0.12 | 450.83 | 0.75 |
| QUBE-BJ | 1808.34 | 226.04 | 389.7 | 1.04 | 450.19 | 0.75 |
| QUBE-LRN | 418.82 | 52.35 | 129.52 | 1 | 8.65 | 1 |
| semprop | 1812.26 | 226.53 | 389.42 | 0.25 | 455.38 | 0.75 |
| sSolve | 1802.75 | 225.34 | 390.09 | 0.12 | 450.74 | 0.75 |
| WalkQSAT | 2.57 | 0.32 | 0.48 | 0.16 | 0.34 | 0.75 |
| yQuaffle | 451.35 | 56.42 | 100.17 | 0.14 | 89.92 | 0.875 |