Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 4393.07 | 549.13 | 134.58 | 600 | 0 | 0.125 |
caqe-picosat-cert | 3765.73 | 470.72 | 226.48 | 600 | 224.66 | 0.25 |
cheq | 3120.42 | 390.05 | 282.35 | 577.16 | 568.77 | 0.125 |
depqbf-cert-v1 | 2295.32 | 286.92 | 276.88 | 206 | 607.57 | 0.5 |
depqbf-cert-v2 | 2422.18 | 302.77 | 274.64 | 279.59 | 597.57 | 0.5 |