Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 3114.26 | 444.89 | 246.3 | 600 | 585.57 | 0.286 |
caqe-picosat-cert | 3048.16 | 435.45 | 248.15 | 600 | 591.41 | 0.286 |
cheq | 1973.3 | 281.9 | 279.33 | 143.85 | 580.27 | 0.571 |
depqbf-cert-v1 | 1.45 | 0.21 | 0.08 | 0.21 | 0.11 | 0 |
depqbf-cert-v2 | 6.38 | 0.91 | 0.33 | 0.91 | 0.71 | 1 |