QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-4qbf-5cnf-20var-160cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 1259.4 | 125.94 | 48.94 | 122.18 | 64.57 | 1 |
| GRL | 13.05 | 1.31 | 1.43 | 0.64 | 1.08 | 1 |
| openQbf | 4205.81 | 420.58 | 795.53 | 103.38 | 249.43 | 1 |
| preQuantor | 1816.35 | 181.64 | 243.42 | 109.69 | 181.69 | 0 |
| Qbfl | 789.2 | 78.92 | 122.01 | 19.11 | 29.07 | 1 |
| Quaffle | 5367.11 | 536.71 | 1.81 | 536.74 | 2.84 | 0 |
| QUANTOR | 971.39 | 97.14 | 90.12 | 62.6 | 45.52 | 0 |
| QUANTOR_hc | 974.99 | 97.5 | 90.18 | 62.46 | 45.27 | 0 |
| qube3.0 | 11.16 | 1.12 | 1.68 | 0.39 | 0.44 | 1 |
| qube4.0 | 11.23 | 1.12 | 1.34 | 0.65 | 0.86 | 1 |
| qube5.0 | 11.23 | 1.12 | 1.34 | 0.66 | 0.8 | 1 |
| semprop | 65.12 | 6.51 | 9.16 | 1 | 4.68 | 1 |
| sKizzo-0.9-abs | 25852.65 | 2585.27 | 2801.87 | 791.05 | 5966.93 | 0.6 |
| sKizzo-0.9-grn | 24543.53 | 2454.35 | 2893.56 | 141.16 | 5930.71 | 0.6 |
| sKizzo-0.9-std | 26494.42 | 2649.44 | 2769.91 | 1110.59 | 5966.64 | 0.6 |
| SQBF | 1140.81 | 114.08 | 45.15 | 117.84 | 82.72 | 1 |
| sSolve | 3.17 | 0.32 | 0.3 | 0.22 | 0.06 | 1 |
| ssolve+ut | 3.47 | 0.35 | 0.34 | 0.24 | 0.07 | 1 |
| ssolve-ut | 1.55 | 0.16 | 0.03 | 0.15 | 0.02 | 1 |
| WalkQSAT | 5.41 | 0.54 | 0.47 | 0.4 | 0.35 | 1 |
| yQuaffle | 5550.28 | 555.03 | 1421.3 | 40.08 | 105.78 | 1 |