QBF Solver Evaluation Portal
qbflib.orgFamily RobotsD3 results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 4687.8 | 585.98 | 407.27 | 901 | 815.12 | 0.375 |
| CSBJ | 6355.36 | 794.42 | 281.98 | 901 | 0 | 0.125 |
| GRL | 4450.22 | 556.28 | 392.06 | 783.56 | 816.87 | 0.5 |
| openQbf | 5207.02 | 650.88 | 338.08 | 901 | 551.4 | 0.375 |
| orSAT | 7208.05 | 901.01 | 0.01 | 901.01 | 0.01 | 0 |
| QBFL-BS | 7208.1 | 901.01 | 0.01 | 901.01 | 0 | 0 |
| QBFL-JW | 4819.05 | 602.38 | 388.17 | 901 | 744.16 | 0.375 |
| QMRes | 7208.13 | 901.02 | 0.01 | 901.02 | 0.01 | 0 |
| QSAT | 6335.93 | 791.99 | 288.43 | 901.01 | 0 | 0.125 |
| QUANTOR | 188.4 | 23.55 | 11.86 | 23.95 | 15.76 | 0.125 |
| QUBE-BJ | 3440.92 | 430.12 | 369.44 | 193.46 | 726.13 | 0.625 |
| QUBE-LRN | 534.83 | 66.85 | 96.16 | 14.12 | 114.58 | 1 |
| semprop | 6025.86 | 753.23 | 299.08 | 901 | 140.84 | 0.25 |
| sSolve | 4598.67 | 574.83 | 421.3 | 901 | 854.41 | 0.375 |
| WalkQSAT | 0.74 | 0.09 | 0.03 | 0.11 | 0.04 | 0 |
| yQuaffle | 3312.02 | 414 | 389.35 | 392.82 | 802.99 | 0.875 |