Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 994.24 | 124.28 | 185.48 | 90.85 | 106.26 | 0.375 |
caqe-picosat-cert | 1327.45 | 165.93 | 193.65 | 125.19 | 238.48 | 0.5 |
cheq | 2656.9 | 332.11 | 284.31 | 412.71 | 605.39 | 0.5 |
depqbf-cert-v1 | 1308.97 | 163.62 | 208.82 | 74.23 | 272.92 | 0.125 |
depqbf-cert-v2 | 1809.89 | 226.24 | 247.34 | 127.08 | 475.83 | 0.5 |