Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 2021.49 | 202.15 | 146.29 | 152.57 | 46.12 | 0 |
caqe-picosat-cert | 3801.82 | 380.18 | 196.56 | 378.98 | 441.47 | 0 |
cheq | 6126.73 | 612.67 | 8.44 | 610.01 | 5.09 | 0 |
depqbf-cert-v1 | 5652 | 565.2 | 187.23 | 622.12 | 12.6 | 0 |
depqbf-cert-v2 | 6016.36 | 601.64 | 78.75 | 625.37 | 16.1 | 0 |