Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 3623.97 | 362.4 | 291.01 | 599.86 | 599.86 | 0.2 |
caqe-picosat-cert | 3688.77 | 368.88 | 286.53 | 600 | 599.64 | 0.3 |
cheq | 11.7 | 1.17 | 2.95 | 0.11 | 0.12 | 0 |
depqbf-cert-v1 | 3024.22 | 302.42 | 300.47 | 272.3 | 601.52 | 0.1 |
depqbf-cert-v2 | 4450.38 | 445.04 | 290.25 | 623.57 | 643.51 | 0.3 |