Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 4800 | 600 | 0 | 600 | 0 | 0 |
caqe-picosat-cert | 4800 | 600 | 0 | 600 | 0 | 0 |
cheq | 4880.26 | 610.03 | 3.99 | 610.19 | 5.72 | 0 |
depqbf-cert-v1 | 1012.79 | 126.6 | 187.84 | 30.52 | 98.99 | 0.125 |
depqbf-cert-v2 | 4852.6 | 606.58 | 5.96 | 606.57 | 10.05 | 0 |