Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 1217.79 | 121.78 | 8.92 | 120.95 | 12.76 | 0 |
caqe-picosat-cert | 2169.7 | 216.97 | 35.01 | 223.46 | 30.41 | 0.1 |
cheq | 6175.65 | 617.57 | 11.93 | 614.01 | 8.87 | 0 |
depqbf-cert-v1 | 1346.49 | 134.65 | 214.01 | 0.41 | 4.9 | 0.7 |
depqbf-cert-v2 | 6113.61 | 611.36 | 8.25 | 609.23 | 8.2 | 0 |