QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-6x6-logarithmic results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 4228.17 | 528.52 | 402.69 | 713.97 | 851.81 | 0.5 |
| openQbf | 5317.87 | 664.73 | 364.96 | 900.91 | 500.84 | 0.375 |
| qbfbdd | 6367.6 | 795.95 | 236.06 | 897.33 | 51.4 | 0.125 |
| QbflHR | 4986.98 | 623.37 | 380.62 | 900.98 | 661.3 | 0.375 |
| QChaffLearn | 4024.57 | 503.07 | 400.98 | 658.08 | 854.36 | 0.5 |
| QMRes | 7205.37 | 900.67 | 0.12 | 900.72 | 0.11 | 0 |
| QUANTOR | 1464.96 | 183.12 | 68.49 | 179.47 | 69.89 | 0 |
| semprop | 4821.46 | 602.68 | 392.36 | 900.96 | 744 | 0.375 |
| skizzo_v0.4 | 1183.21 | 147.9 | 116.01 | 126.07 | 167.02 | 0.25 |
| skizzo_v0.5 | 1545.76 | 193.22 | 170.75 | 179.16 | 199.05 | 0.25 |
| sSolve | 5535.57 | 691.95 | 363.51 | 900.99 | 385.86 | 0.25 |
| WalkQSAT | 2884.55 | 360.57 | 419.77 | 73.73 | 884.13 | 0.125 |
| yQuaffle | 5062.22 | 632.78 | 369.65 | 873.02 | 557.84 | 0.375 |