QBF Solver Evaluation Portal
qbflib.orgFamily SzymanskiP results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 1048.85 | 116.54 | 62.18 | 151.48 | 90.36 | 0.333 |
| GRL | 313.03 | 34.78 | 40.28 | 15.94 | 36.06 | 1 |
| openQbf | 1645.39 | 182.82 | 226.41 | 83.56 | 177.2 | 1 |
| preQuantor | 8729.57 | 969.95 | 729.54 | 1219.36 | 1235.3 | 0.333 |
| Qbfl | 5379.98 | 597.78 | 796.66 | 205.04 | 551.8 | 1 |
| Quaffle | 5295.41 | 588.38 | 10.57 | 592.49 | 15.21 | 0 |
| QUANTOR | 148.48 | 16.5 | 7.31 | 13.46 | 3.31 | 0 |
| QUANTOR_hc | 150.53 | 16.73 | 7.34 | 14.44 | 3.17 | 0 |
| qube3.0 | 239.27 | 26.59 | 31.28 | 11.85 | 28.19 | 1 |
| qube4.0 | 646.32 | 71.81 | 96.89 | 18.75 | 65.02 | 1 |
| qube5.0 | 1144.54 | 127.17 | 165.98 | 40.41 | 115.45 | 1 |
| semprop | 5408.38 | 600.93 | 0.07 | 600.96 | 0.08 | 0 |
| sKizzo-0.9-abs | 14560.11 | 1617.79 | 1863.77 | 589.34 | 1534.89 | 0.222 |
| sKizzo-0.9-grn | 2212.55 | 245.84 | 77.85 | 256.67 | 58.47 | 0.222 |
| sKizzo-0.9-std | 15369.11 | 1707.68 | 1915.61 | 599.81 | 1764.44 | 0.222 |
| SQBF | 36130.01 | 4014.45 | 2808.79 | 6000.42 | 5936.94 | 0.333 |
| sSolve | 744.33 | 82.7 | 94.44 | 41.53 | 86.2 | 1 |
| ssolve+ut | 798.08 | 88.68 | 99.13 | 43.03 | 90.91 | 1 |
| ssolve-ut | 689.8 | 76.64 | 90.97 | 34.07 | 80.84 | 1 |
| WalkQSAT | 12.88 | 1.43 | 1.35 | 0.82 | 0.75 | 0.556 |
| yQuaffle | 4483.15 | 498.13 | 7.25 | 494.25 | 5.39 | 0 |