Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 1849.14 | 184.91 | 227.82 | 64.02 | 229.5 | 0.7 |
caqe-picosat-cert | 1922.69 | 192.27 | 253.19 | 44.19 | 109.34 | 0.8 |
cheq | 3678.22 | 367.82 | 300.2 | 603.96 | 611.53 | 0.4 |
depqbf-cert-v1 | 2495.93 | 249.59 | 301.21 | 11.11 | 612.5 | 0 |
depqbf-cert-v2 | 2671.14 | 267.11 | 293.88 | 90.16 | 611 | 0.6 |