QBF Solver Evaluation Portal
qbflib.orgFamily RobotsD4 results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 2133.28 | 266.66 | 372.67 | 47.52 | 554.51 | 0.75 |
| CSBJ | 3741.04 | 467.63 | 433.69 | 483.16 | 865.92 | 0.5 |
| GRL | 2138.8 | 267.35 | 371.03 | 46.38 | 557.08 | 0.875 |
| openQbf | 3910.01 | 488.75 | 422.27 | 600.73 | 898.76 | 0.5 |
| orSAT | 6307.18 | 788.4 | 297.94 | 901.01 | 0.01 | 0.125 |
| QBFL-BS | 6307.16 | 788.4 | 297.95 | 901.01 | 0.01 | 0.125 |
| QBFL-JW | 3719.35 | 464.92 | 437.51 | 507.94 | 900.81 | 0.5 |
| QMRes | 6308.12 | 788.52 | 297.67 | 901.02 | 0.01 | 0.125 |
| QSAT | 4528.72 | 566.09 | 432.39 | 901 | 889.3 | 0.375 |
| QUANTOR | 152.86 | 19.11 | 24.11 | 9.58 | 28.2 | 0.375 |
| QUBE-BJ | 1090.77 | 136.35 | 291.54 | 2.11 | 90.14 | 0.875 |
| QUBE-LRN | 451.13 | 56.39 | 142.42 | 1.7 | 4.7 | 1 |
| semprop | 2624.03 | 328 | 363.79 | 175.71 | 685.06 | 0.75 |
| sSolve | 2757.64 | 344.71 | 431.1 | 26.93 | 900.64 | 0.625 |
| WalkQSAT | 0.64 | 0.08 | 0.04 | 0.08 | 0.07 | 0 |
| yQuaffle | 2709.44 | 338.68 | 435.58 | 3.02 | 900.84 | 0.625 |