Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 1584.18 | 158.42 | 148.6 | 118.96 | 41.61 | 0.1 |
caqe-picosat-cert | 2934.85 | 293.49 | 174.52 | 252.37 | 229.8 | 0.1 |
cheq | 5516.41 | 551.64 | 183.57 | 612.25 | 7.26 | 0.1 |
depqbf-cert-v1 | 5582.11 | 558.21 | 186.11 | 616.98 | 10.9 | 0 |
depqbf-cert-v2 | 5672.71 | 567.27 | 181.5 | 624.64 | 15.4 | 0.1 |