QBF Solver Evaluation Portal
qbflib.orgFamily k_grz_n results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 8.9 | 1.78 | 1.42 | 1.76 | 2.29 | 1 |
| GRL | 2614.57 | 522.91 | 155.59 | 600.69 | 194.51 | 0.2 |
| openQbf | 30004.12 | 6000.82 | 0.04 | 6000.83 | 0.05 | 0 |
| preQuantor | 9 | 1.8 | 1.45 | 1.79 | 2.31 | 1 |
| Qbfl | 1965.71 | 393.14 | 251.19 | 595.39 | 506.62 | 0.4 |
| Quaffle | 1077.47 | 215.49 | 203.76 | 123.75 | 274.9 | 1 |
| QUANTOR | 15.88 | 3.18 | 3.17 | 1.89 | 3.4 | 1 |
| QUANTOR_hc | 0.04 | 0.01 | 0.01 | 0.01 | 0.01 | 1 |
| qube3.0 | 14881.85 | 2976.37 | 925.66 | 2649.47 | 552.06 | 0.2 |
| qube4.0 | 10763.6 | 2152.72 | 1859.49 | 2779.3 | 2798.91 | 0.4 |
| qube5.0 | 12647.21 | 2529.44 | 1893.63 | 3316.93 | 3034.25 | 0.4 |
| semprop | 2053.43 | 410.69 | 245.94 | 600.99 | 475.78 | 0.4 |
| sKizzo-0.9-abs | 238.57 | 47.71 | 57.15 | 6.42 | 51.43 | 1 |
| sKizzo-0.9-grn | 9409.37 | 1881.87 | 2255.93 | 573.91 | 1470.91 | 0.2 |
| sKizzo-0.9-std | 578.71 | 115.74 | 182.39 | 7.47 | 52.77 | 1 |
| SQBF | 9.05 | 1.81 | 1.46 | 1.79 | 2.32 | 1 |
| sSolve | 24229.96 | 4845.99 | 2308.56 | 6000.25 | 2885.72 | 0.2 |
| ssolve+ut | 24223.97 | 4844.79 | 2310.42 | 6000.01 | 2888.09 | 0.2 |
| ssolve-ut | 24229.7 | 4845.94 | 2308.73 | 6000.28 | 2885.92 | 0.2 |
| WalkQSAT | 2087.8 | 417.56 | 235.59 | 600.99 | 458.59 | 0.4 |
| yQuaffle | 24984.53 | 4996.91 | 2004.89 | 5999.25 | 2506.41 | 0.2 |