Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 26.85 | 2.69 | 4.49 | 0.62 | 1.72 | 0.8 |
caqe-picosat-cert | 40.17 | 4.02 | 5.81 | 1.01 | 2.85 | 0.8 |
cheq | 254.67 | 25.47 | 47.7 | 0.67 | 8.41 | 0.1 |
depqbf-cert-v1 | 18.88 | 1.89 | 2.83 | 0.46 | 1.14 | 1 |
depqbf-cert-v2 | 16.36 | 1.64 | 2.38 | 0.41 | 0.92 | 1 |