QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-4qbf-5cnf-80var-320cl results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 3879.65 | 387.97 | 423.35 | 123.43 | 898.55 | 0.6 |
| openQbf | 6754.26 | 675.43 | 348.7 | 900.88 | 711.03 | 0.3 |
| qbfbdd | 9009.78 | 900.98 | 0.04 | 900.99 | 0.04 | 0 |
| QbflHR | 6410.32 | 641.03 | 397.36 | 901 | 880.41 | 0.3 |
| QChaffLearn | 5291.81 | 529.18 | 322.7 | 700.77 | 757.37 | 0.5 |
| QMRes | 9003.82 | 900.38 | 0.13 | 900.38 | 0.23 | 0 |
| QUANTOR | 614.19 | 61.42 | 44.4 | 54.92 | 40.85 | 0 |
| semprop | 3954.13 | 395.41 | 420.54 | 166.49 | 900.28 | 0.6 |
| skizzo_v0.4 | 9008.69 | 900.87 | 0.04 | 900.86 | 0.06 | 0 |
| skizzo_v0.5 | 7239.74 | 723.97 | 353.69 | 900.82 | 878.71 | 0.2 |
| sSolve | 0.04 | 0 | 0.01 | 0 | 0.01 | 1 |
| WalkQSAT | 4884.02 | 488.4 | 417.17 | 566.65 | 895.77 | 0.5 |
| yQuaffle | 8976.71 | 897.67 | 0.37 | 897.72 | 0.73 | 0 |