Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 2833.64 | 283.36 | 159.63 | 217.39 | 43.26 | 0 |
caqe-picosat-cert | 3665.88 | 366.59 | 191.59 | 243.36 | 412.9 | 0 |
cheq | 5673.77 | 567.38 | 46.25 | 572.61 | 77.8 | 0 |
depqbf-cert-v1 | 2210.58 | 221.06 | 262.58 | 55.45 | 18.91 | 0 |
depqbf-cert-v2 | 4607.15 | 460.72 | 269.01 | 632.76 | 587.19 | 0 |