QBF Solver Evaluation Portal
qbflib.orgFamily C432 results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 4802.36 | 600.3 | 397.59 | 901 | 752.35 | 0.375 |
| CSBJ | 4686.84 | 585.86 | 410.22 | 901 | 810.09 | 0.375 |
| GRL | 4828.3 | 603.54 | 395.2 | 901.01 | 739.39 | 0.375 |
| openQbf | 5176.49 | 647.06 | 378.65 | 901 | 565.41 | 0.375 |
| orSAT | 5406.85 | 675.86 | 389.96 | 901 | 450.19 | 0.25 |
| QBFL-BS | 5406.08 | 675.76 | 390.14 | 901.01 | 450.5 | 0.25 |
| QBFL-JW | 5406.07 | 675.76 | 390.14 | 901.01 | 450.51 | 0.25 |
| QMRes | 7208.04 | 901.01 | 0.01 | 901.01 | 0.01 | 0 |
| QSAT | 3778.53 | 472.32 | 430.76 | 523.02 | 886.3 | 0.5 |
| QUANTOR | 3048.41 | 381.05 | 393.85 | 294.31 | 779.32 | 0.75 |
| QUBE-BJ | 4569.95 | 571.24 | 425.85 | 901.03 | 869.13 | 0.375 |
| QUBE-LRN | 3031.92 | 378.99 | 414.3 | 162.78 | 899.88 | 0.625 |
| semprop | 2590.41 | 323.8 | 377.13 | 123.35 | 721.24 | 0.75 |
| sSolve | 4568.96 | 571.12 | 426.26 | 901 | 869.03 | 0.375 |
| WalkQSAT | 4529.5 | 566.19 | 432.3 | 901 | 888.78 | 0.25 |
| yQuaffle | 3102.94 | 387.87 | 406.42 | 199.92 | 900.97 | 0.625 |