QBF Solver Evaluation Portal
qbflib.orgFamily C880 results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 3174.34 | 396.79 | 392.95 | 153.48 | 816.88 | 0.125 |
| openQbf | 7207.29 | 900.91 | 0.03 | 900.91 | 0.06 | 0 |
| qbfbdd | 7087.87 | 885.98 | 39.41 | 900.89 | 0.07 | 0.125 |
| QbflHR | 6668.15 | 833.52 | 178.54 | 901 | 0.01 | 0.125 |
| QChaffLearn | 1954.22 | 244.28 | 379.94 | 10 | 509.5 | 0.75 |
| QMRes | 7206.71 | 900.84 | 0.05 | 900.86 | 0.07 | 0 |
| QUANTOR | 384.13 | 48.02 | 48.62 | 19.5 | 67.02 | 0 |
| semprop | 5413.12 | 676.64 | 388.59 | 900.99 | 447.62 | 0.25 |
| skizzo_v0.4 | 737.24 | 92.16 | 109.64 | 55.91 | 120.06 | 0.125 |
| skizzo_v0.5 | 1236.32 | 154.54 | 243.28 | 12.71 | 279.49 | 0.125 |
| sSolve | 7206.95 | 900.87 | 0.07 | 900.84 | 0.13 | 0 |
| WalkQSAT | 4929.3 | 616.16 | 365.47 | 791.56 | 579.72 | 0.25 |
| yQuaffle | 6296.28 | 787.04 | 297.43 | 899.53 | 1.66 | 0.125 |