Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 1801.69 | 450.42 | 258.59 | 599.72 | 298.6 | 0.25 |
caqe-picosat-cert | 32.6 | 8.15 | 10.35 | 2.72 | 12.53 | 1 |
cheq | 1822.87 | 455.72 | 263.13 | 601.7 | 309.74 | 0.25 |
depqbf-cert-v1 | 1.76 | 0.44 | 0.62 | 0.12 | 0.75 | 0.75 |
depqbf-cert-v2 | 1558.61 | 389.65 | 258.14 | 463.29 | 467.95 | 0.25 |