QBF Solver Evaluation Portal
qbflib.orgFamily RobotsD2 results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 1240.64 | 155.08 | 238.44 | 9.38 | 311.44 | 1 |
| CSBJ | 2935.49 | 366.94 | 416.74 | 114.65 | 899.94 | 0.625 |
| GRL | 1447.71 | 180.96 | 282.87 | 10.34 | 366.04 | 1 |
| openQbf | 4012.31 | 501.54 | 418.33 | 653.66 | 900.33 | 0.5 |
| orSAT | 7208.02 | 901 | 0 | 901 | 0 | 0 |
| QBFL-BS | 4505.26 | 563.16 | 436.16 | 901 | 900.93 | 0.375 |
| QBFL-JW | 3877.29 | 484.66 | 424.66 | 587.07 | 900.95 | 0.5 |
| QMRes | 4508.61 | 563.58 | 435.63 | 901.01 | 899.83 | 0.375 |
| QSAT | 4506.88 | 563.36 | 435.9 | 901 | 900.38 | 0.375 |
| QUANTOR | 177.51 | 22.19 | 19.5 | 22.61 | 38.95 | 0.375 |
| QUBE-BJ | 1469.93 | 183.74 | 300.1 | 1.17 | 280.75 | 0.875 |
| QUBE-LRN | 29.01 | 3.63 | 4.18 | 1.18 | 4.06 | 1 |
| semprop | 3856.59 | 482.07 | 426 | 576.73 | 900.97 | 0.5 |
| sSolve | 1825.06 | 228.13 | 352.4 | 30.77 | 431.14 | 0.875 |
| WalkQSAT | 0.54 | 0.07 | 0.04 | 0.08 | 0.09 | 0 |
| yQuaffle | 243.88 | 30.49 | 54.49 | 3.79 | 34.87 | 1 |