Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 1546.36 | 154.64 | 16.53 | 156.26 | 20.99 | 0 |
caqe-picosat-cert | 2430.76 | 243.08 | 19.62 | 238.73 | 24.11 | 0 |
cheq | 6205.88 | 620.59 | 13.44 | 615.63 | 11.23 | 0 |
depqbf-cert-v1 | 5992.69 | 599.27 | 5.08 | 597.99 | 4.4 | 0 |
depqbf-cert-v2 | 6092.49 | 609.25 | 6.2 | 607.64 | 8.07 | 0 |