Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 2385.99 | 79.53 | 59.6 | 96.71 | 124.68 | 0 |
caqe-picosat-cert | 7122.87 | 237.43 | 234.49 | 180.15 | 261.4 | 0 |
cheq | 18432.5 | 614.42 | 10.51 | 610.13 | 11.55 | 0 |
depqbf-cert-v1 | 15331.11 | 511.04 | 229.81 | 603.18 | 32.2 | 0 |
depqbf-cert-v2 | 18488.03 | 616.27 | 18.38 | 609.57 | 15.6 | 0 |