QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-8x8-logarithmic results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 4632.12 | 579.02 | 416 | 900.72 | 837.05 | 0.375 |
| openQbf | 5700.46 | 712.56 | 332.52 | 900.93 | 312.61 | 0.25 |
| qbfbdd | 7090.1 | 886.26 | 36.25 | 899.99 | 1.03 | 0.125 |
| QbflHR | 5583.05 | 697.88 | 353.66 | 900.98 | 369.54 | 0.25 |
| QChaffLearn | 4559.83 | 569.98 | 409.06 | 884.54 | 822.93 | 0.375 |
| QMRes | 7204 | 900.5 | 0.14 | 900.53 | 0.24 | 0 |
| QUANTOR | 1420.66 | 177.58 | 69.27 | 186.28 | 71.64 | 0 |
| semprop | 4229.54 | 528.69 | 400.4 | 706.35 | 844.07 | 0.5 |
| skizzo_v0.4 | 1430 | 178.75 | 156.63 | 180.74 | 328.59 | 0.5 |
| skizzo_v0.5 | 1465.68 | 183.21 | 165.04 | 181.87 | 330.48 | 0.5 |
| sSolve | 5418.17 | 677.27 | 387.52 | 901 | 445 | 0.25 |
| WalkQSAT | 4712.21 | 589.03 | 403.57 | 900.93 | 805.55 | 0.125 |
| yQuaffle | 4309.18 | 538.65 | 411.43 | 824.39 | 863.51 | 0.375 |