Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 1919.29 | 191.93 | 17.68 | 196.94 | 30.74 | 0 |
caqe-picosat-cert | 4861.12 | 486.11 | 174.04 | 600 | 383.43 | 0 |
cheq | 5928.18 | 592.82 | 46.82 | 602.42 | 94.57 | 0 |
depqbf-cert-v1 | 3845.04 | 384.5 | 283.39 | 608.86 | 577.85 | 0 |
depqbf-cert-v2 | 6398.64 | 639.86 | 19.97 | 629.33 | 30.8 | 0 |