QBF Solver Evaluation Portal
qbflib.orgFamily k_dum_n results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 2600.74 | 325.09 | 408.86 | 25.32 | 823.05 | 0.75 |
| CSBJ | 5561.9 | 695.24 | 358.44 | 901 | 373.29 | 0.25 |
| GRL | 3183 | 397.88 | 414.31 | 238.76 | 899.78 | 0.625 |
| openQbf | 6331.57 | 791.45 | 289.87 | 901.01 | 0.01 | 0.125 |
| orSAT | 1291.57 | 161.45 | 65.97 | 135.69 | 91.64 | 0 |
| QBFL-BS | 5580.06 | 697.51 | 355.02 | 901.01 | 364.57 | 0.25 |
| QBFL-JW | 6331.03 | 791.38 | 290.05 | 901.01 | 0.01 | 0.125 |
| QMRes | 3.94 | 0.49 | 0.57 | 0.21 | 0.71 | 1 |
| QSAT | 2933.03 | 366.63 | 417.43 | 111.38 | 897.41 | 0.625 |
| QUANTOR | 0.28 | 0.04 | 0.06 | 0.02 | 0.02 | 1 |
| QUBE-BJ | 2880.66 | 360.08 | 420.97 | 84.66 | 897.39 | 0.625 |
| QUBE-LRN | 3744.84 | 468.11 | 434.63 | 515.03 | 895.68 | 0.5 |
| semprop | 0.33 | 0.04 | 0.03 | 0.03 | 0.03 | 1 |
| sSolve | 2515.69 | 314.46 | 398.8 | 25.1 | 780.67 | 0.75 |
| WalkQSAT | 2797.6 | 349.7 | 427.65 | 45.99 | 899.74 | 0.625 |
| yQuaffle | 3393.46 | 424.18 | 379.23 | 419.7 | 814.01 | 0.5 |