Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 972.28 | 97.23 | 5.08 | 96.71 | 8.05 | 0 |
caqe-picosat-cert | 1805.12 | 180.51 | 9.7 | 180.15 | 12.67 | 0 |
cheq | 6111.23 | 611.12 | 6.35 | 608.54 | 6.23 | 0 |
depqbf-cert-v1 | 3014.11 | 301.41 | 301.38 | 300.27 | 600.62 | 0 |
depqbf-cert-v2 | 6142.95 | 614.3 | 22.83 | 604.83 | 8.28 | 0 |