QBF Solver Evaluation Portal
qbflib.orgFamily k_grz_p results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 6.38 | 1.06 | 1.06 | 0.67 | 0.97 | 1 |
| GRL | 2495.06 | 415.84 | 262.03 | 600.59 | 587.58 | 0.333 |
| openQbf | 36005.03 | 6000.84 | 0.06 | 6000.84 | 0.09 | 0 |
| preQuantor | 6.4 | 1.07 | 1.09 | 0.65 | 0.97 | 1 |
| Qbfl | 3556.29 | 592.72 | 3.81 | 593.68 | 9.03 | 0 |
| Quaffle | 1788.28 | 298.05 | 238.78 | 308.64 | 453.69 | 0.667 |
| QUANTOR | 5.74 | 0.96 | 0.97 | 0.72 | 1.39 | 1 |
| QUANTOR_hc | 0.08 | 0.01 | 0.01 | 0.01 | 0.01 | 1 |
| qube3.0 | 15261.72 | 2543.62 | 1810.3 | 2594.2 | 2414.01 | 0.333 |
| qube4.0 | 14307.48 | 2384.58 | 2363.02 | 2013.48 | 3704.06 | 0.5 |
| qube5.0 | 15032.73 | 2505.46 | 2487.99 | 2365.97 | 4680.38 | 0.5 |
| semprop | 1958.1 | 326.35 | 279.21 | 376.6 | 600.19 | 0.5 |
| sKizzo-0.9-abs | 6.5 | 1.08 | 1.33 | 0.23 | 0.28 | 1 |
| sKizzo-0.9-grn | 956.18 | 159.36 | 190.76 | 46.89 | 58.98 | 0.5 |
| sKizzo-0.9-std | 7.92 | 1.32 | 1.65 | 0.25 | 0.32 | 1 |
| SQBF | 6.39 | 1.07 | 1.09 | 0.64 | 0.98 | 1 |
| sSolve | 24247.96 | 4041.33 | 2771.22 | 6000.24 | 5996.29 | 0.333 |
| ssolve+ut | 24252.49 | 4042.08 | 2769.9 | 5999.96 | 5995.38 | 0.333 |
| ssolve-ut | 24248.43 | 4041.41 | 2771.08 | 6000.22 | 5996.22 | 0.333 |
| WalkQSAT | 2448.79 | 408.13 | 243.67 | 552.15 | 595.39 | 0.5 |
| yQuaffle | 19866.59 | 3311.1 | 2728.48 | 3778.03 | 5889.13 | 0.5 |