QBF Solver Evaluation Portal
qbflib.orgFamily renHorn results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 49614.8 | 590.65 | 410.54 | 900.89 | 881.49 | 0.381 |
| openQbf | 71176.8 | 847.34 | 212.99 | 900.92 | 0.03 | 0.06 |
| qbfbdd | 75464.76 | 898.39 | 23.49 | 900.98 | 0.05 | 0.012 |
| QbflHR | 2.08 | 0.02 | 0.01 | 0.03 | 0.01 | 1 |
| QChaffLearn | 52364.18 | 623.38 | 367.04 | 849.49 | 687.13 | 0.286 |
| QMRes | 69863.06 | 831.7 | 137.71 | 896.2 | 64.53 | 0 |
| QUANTOR | 1072.13 | 12.76 | 3.59 | 13.28 | 2.79 | 0.083 |
| semprop | 59056.64 | 703.06 | 319.92 | 900.99 | 425.13 | 0.333 |
| skizzo_v0.4 | 61829.09 | 736.06 | 318.45 | 900.88 | 2.06 | 0.25 |
| skizzo_v0.5 | 61707.13 | 734.61 | 324.82 | 900.87 | 0.19 | 0.238 |
| sSolve | 1034.68 | 12.32 | 98.58 | 0.02 | 0.02 | 0.988 |
| WalkQSAT | 63971.16 | 761.56 | 325.86 | 901 | 0.01 | 0.155 |
| yQuaffle | 25041.75 | 298.12 | 390.94 | 7.97 | 887.28 | 0.69 |