Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 3241.92 | 324.19 | 228.7 | 188.24 | 484.86 | 0 |
caqe-picosat-cert | 2756.86 | 275.69 | 182.76 | 163.68 | 17.2 | 0 |
cheq | 6099.89 | 609.99 | 4.91 | 609.74 | 4.38 | 0 |
depqbf-cert-v1 | 5642.86 | 564.29 | 179.66 | 619.63 | 14.12 | 0.1 |
depqbf-cert-v2 | 5728.47 | 572.85 | 167.53 | 627.18 | 8.8 | 0.1 |