Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 4687.35 | 99.73 | 145.17 | 91.68 | 120.1 | 0.447 |
caqe-picosat-cert | 6752.01 | 143.66 | 205.65 | 22.63 | 196.68 | 0.553 |
cheq | 11367.63 | 241.86 | 274.33 | 63.39 | 602.67 | 0.426 |
depqbf-cert-v1 | 13052.63 | 277.72 | 307.23 | 37.94 | 620.41 | 0.511 |
depqbf-cert-v2 | 13306.86 | 283.12 | 310.54 | 36.84 | 626.75 | 0.553 |