QBF Solver Evaluation Portal
qbflib.orgSuite Narizzano results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 10111.48 | 315.98 | 373.78 | 86.67 | 740.13 | 0.75 |
| CSBJ | 17089.89 | 534.06 | 419.83 | 901 | 854.6 | 0.438 |
| GRL | 9849.71 | 307.8 | 366.27 | 84 | 669.57 | 0.844 |
| openQbf | 17648.4 | 551.51 | 410 | 901 | 898.34 | 0.438 |
| orSAT | 27030.41 | 844.7 | 218.07 | 901.01 | 0.01 | 0.063 |
| QBFL-BS | 24327.61 | 760.24 | 327.12 | 901.01 | 0.01 | 0.156 |
| QBFL-JW | 16924.24 | 528.88 | 425.69 | 901 | 900.74 | 0.438 |
| QMRes | 24332.9 | 760.4 | 326.76 | 901.02 | 0.01 | 0.156 |
| QSAT | 20058.86 | 626.84 | 407.63 | 901 | 879.62 | 0.313 |
| QUANTOR | 732.19 | 22.88 | 19.44 | 23.14 | 36.11 | 0.313 |
| QUBE-BJ | 6078.37 | 189.95 | 318.15 | 6.82 | 187.96 | 0.844 |
| QUBE-LRN | 1150.63 | 35.96 | 91.14 | 3.24 | 14.01 | 1 |
| semprop | 15229.45 | 475.92 | 412.82 | 544.59 | 900.56 | 0.563 |
| sSolve | 11253.77 | 351.68 | 407.17 | 49.85 | 900.58 | 0.688 |
| WalkQSAT | 2.52 | 0.08 | 0.04 | 0.09 | 0.06 | 0 |
| yQuaffle | 7384.99 | 230.78 | 361.65 | 5.1 | 412.8 | 0.844 |