Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 20810.88 | 547.65 | 153.98 | 600 | 0 | 0.105 |
caqe-picosat-cert | 19574.11 | 515.11 | 187 | 600 | 22.55 | 0.158 |
cheq | 17685.62 | 465.41 | 245.62 | 604.48 | 467.7 | 0.158 |
depqbf-cert-v1 | 7724.5 | 203.28 | 261.98 | 30.52 | 348.85 | 0.237 |
depqbf-cert-v2 | 13863.76 | 364.84 | 284.04 | 599.57 | 605.41 | 0.395 |