QBF Solver Evaluation Portal
qbflib.orgSuite Biere results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 333751.49 | 3061.94 | 2941.51 | 5106.18 | 6000.3 | 0.477 |
| GRL | 42671.96 | 391.49 | 283.15 | 600.73 | 600.72 | 0.358 |
| openQbf | 464626.74 | 4262.63 | 2699.6 | 6000.83 | 5924.94 | 0.294 |
| preQuantor | 4199.47 | 38.53 | 182.69 | 19.73 | 28.57 | 0.45 |
| Qbfl | 202994.27 | 1862.33 | 2495.65 | 598.09 | 5902.13 | 0.303 |
| Quaffle | 54971.34 | 504.32 | 965.94 | 579.76 | 597.62 | 0.413 |
| QUANTOR | 86159.8 | 790.46 | 1781.26 | 65.34 | 260.44 | 0.404 |
| QUANTOR_hc | 19197.28 | 176.12 | 222.81 | 61.47 | 248.73 | 0.413 |
| qube3.0 | 345699.27 | 3171.55 | 2727.07 | 4123.28 | 6000.15 | 0.376 |
| qube4.0 | 351844.6 | 3227.93 | 2757.34 | 4101.75 | 6000.08 | 0.376 |
| qube5.0 | 234874.34 | 2154.81 | 2781.9 | 27.45 | 6000.33 | 0.642 |
| semprop | 38230.58 | 350.74 | 289.77 | 600.99 | 600.98 | 0.44 |
| sKizzo-0.9-abs | 262957.29 | 2412.45 | 2576.72 | 1124.51 | 5996.28 | 0.477 |
| sKizzo-0.9-grn | 286115.35 | 2624.91 | 2625.88 | 1731.24 | 5999.48 | 0.45 |
| sKizzo-0.9-std | 206128.93 | 1891.09 | 2125.19 | 1030.93 | 3318.94 | 0.468 |
| SQBF | 30736.23 | 281.98 | 809.06 | 165.55 | 267.67 | 0.459 |
| sSolve | 321801.46 | 2952.31 | 2941.51 | 1250.54 | 5998.65 | 0.486 |
| ssolve+ut | 311153.54 | 2854.62 | 2927.03 | 599.99 | 5998.59 | 0.486 |
| ssolve-ut | 379382.88 | 3480.58 | 2924.14 | 6000.23 | 6000.01 | 0.431 |
| WalkQSAT | 39804.55 | 365.18 | 292.21 | 600.99 | 600.91 | 0.385 |
| yQuaffle | 399524.64 | 3665.36 | 2878.87 | 5999.67 | 5999.94 | 0.394 |