Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 3145.3 | 314.53 | 165.23 | 291.27 | 236.06 | 0 |
caqe-picosat-cert | 3408.33 | 340.83 | 208.38 | 183.05 | 425.55 | 0 |
cheq | 4774.45 | 477.45 | 210.68 | 602.09 | 460.53 | 0.3 |
depqbf-cert-v1 | 693.11 | 69.31 | 104.28 | 1.21 | 6.13 | 0 |
depqbf-cert-v2 | 5660.28 | 566.03 | 100.77 | 593.27 | 1.5 | 0 |