Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 1020.33 | 102.03 | 64.8 | 139.78 | 141.37 | 0.3 |
caqe-picosat-cert | 1630.6 | 163.06 | 108.82 | 215.51 | 211.77 | 0.3 |
cheq | 3760.86 | 376.09 | 295.58 | 609.64 | 611.31 | 0.4 |
depqbf-cert-v1 | 3726.55 | 372.66 | 304.56 | 602.07 | 610.7 | 0 |
depqbf-cert-v2 | 4475 | 447.5 | 292.75 | 629.03 | 636.41 | 0.3 |