QBF Solver Evaluation Portal
qbflib.orgFamily tipfixpoint results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 333265.6 | 4503.59 | 2504.28 | 5985.98 | 3249.49 | 0.23 |
| GRL | 39053.37 | 527.75 | 196.33 | 600.79 | 0.17 | 0.122 |
| openQbf | 421208.95 | 5692.01 | 1295.16 | 6000.86 | 0.09 | 0.054 |
| preQuantor | 3898.56 | 52.68 | 219.86 | 23.4 | 14.83 | 0.216 |
| Qbfl | 198386.65 | 2680.9 | 2657.36 | 599.78 | 5388.38 | 0.068 |
| Quaffle | 42110.45 | 569.06 | 668.63 | 588.66 | 22.24 | 0.176 |
| QUANTOR | 85689.15 | 1157.96 | 2062.05 | 173.35 | 500.54 | 0.176 |
| QUANTOR_hc | 18719.95 | 252.97 | 231.81 | 168.18 | 483 | 0.189 |
| qube3.0 | 321102.98 | 4339.23 | 2304.23 | 6000.08 | 4358.19 | 0.135 |
| qube4.0 | 329940.94 | 4458.66 | 2277.58 | 6000.14 | 3928.23 | 0.135 |
| qube5.0 | 217714.37 | 2942.09 | 2916.94 | 1199.06 | 5997.36 | 0.514 |
| semprop | 36399.17 | 491.88 | 219.73 | 601 | 0.02 | 0.216 |
| sKizzo-0.9-abs | 259446.45 | 3506.03 | 2446.55 | 3971.85 | 5036.29 | 0.23 |
| sKizzo-0.9-grn | 284845.01 | 3849.26 | 2338.66 | 4546.91 | 4748.96 | 0.189 |
| sKizzo-0.9-std | 199484.34 | 2695.73 | 2107.71 | 2514.21 | 3570.47 | 0.23 |
| SQBF | 30410.58 | 410.95 | 955.07 | 221.58 | 137.38 | 0.203 |
| sSolve | 299893.25 | 4052.61 | 2738.43 | 5998.37 | 5958.17 | 0.284 |
| ssolve+ut | 289244.14 | 3908.7 | 2772.01 | 5998.25 | 5890.81 | 0.284 |
| ssolve-ut | 357474.07 | 4830.73 | 2332.8 | 6000.29 | 0.12 | 0.203 |
| WalkQSAT | 37927.65 | 512.54 | 211.75 | 601 | 0.01 | 0.135 |
| yQuaffle | 380702.71 | 5144.63 | 2060.49 | 5999.92 | 0.38 | 0.135 |