QBF Solver Evaluation Portal
qbflib.orgFamily C432 results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 7165.37 | 1791.34 | 1713.3 | 1808.74 | 3424.2 | 0.75 |
| GRL | 2062.62 | 515.66 | 147.42 | 600.7 | 170.32 | 0 |
| openQbf | 24003.05 | 6000.76 | 0.06 | 6000.75 | 0.11 | 0 |
| preQuantor | 12810.35 | 3202.59 | 2812.44 | 3404.85 | 5595.7 | 0.5 |
| Qbfl | 2391.75 | 597.94 | 2.05 | 598.72 | 3.42 | 0 |
| Quaffle | 1536.56 | 384.14 | 244.47 | 469.04 | 425.16 | 0.5 |
| QUANTOR | 1559.48 | 389.87 | 243.83 | 481.52 | 413.01 | 0.5 |
| QUANTOR_hc | 1559.28 | 389.82 | 243.77 | 481.44 | 412.91 | 0.5 |
| qube3.0 | 18270.49 | 4567.62 | 2481.96 | 6000.52 | 2866.03 | 0.25 |
| qube4.0 | 13319.05 | 3329.76 | 2079.65 | 3526.26 | 3459.88 | 0.75 |
| qube5.0 | 18456 | 4614 | 2401.77 | 6000.63 | 2773.37 | 0.25 |
| semprop | 1380.9 | 345.23 | 241.69 | 389.93 | 450.62 | 0.75 |
| sKizzo-0.9-abs | 2913.71 | 728.43 | 624.38 | 593.92 | 862.33 | 0.25 |
| sKizzo-0.9-grn | 13149.78 | 3287.45 | 2743.29 | 3574.26 | 5426.27 | 0.5 |
| sKizzo-0.9-std | 6058.58 | 1514.65 | 2542.98 | 69.47 | 2961.21 | 0.25 |
| SQBF | 3871.08 | 967.77 | 1299.69 | 338.28 | 1783.72 | 0.5 |
| sSolve | 7199.32 | 1799.83 | 2451.68 | 599.4 | 3373.44 | 0.75 |
| ssolve+ut | 7523.11 | 1880.78 | 2403.09 | 760.24 | 3210.92 | 0.75 |
| ssolve-ut | 7201.66 | 1800.42 | 2451.8 | 600.51 | 3378.57 | 0.75 |
| WalkQSAT | 1892.56 | 473.14 | 221.03 | 600.64 | 255.66 | 0 |
| yQuaffle | 11889.09 | 2972.27 | 2735.28 | 2878.32 | 5451.43 | 0.75 |