Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 1462.83 | 182.85 | 215.97 | 125.8 | 305.43 | 0.5 |
caqe-picosat-cert | 1744.86 | 218.11 | 216.84 | 205.08 | 366.75 | 0.5 |
cheq | 2448.04 | 306.01 | 301.03 | 306.39 | 598.25 | 0.375 |
depqbf-cert-v1 | 2479.59 | 309.95 | 309.02 | 288.77 | 624.68 | 0.125 |
depqbf-cert-v2 | 2816.26 | 352.03 | 287.26 | 469.42 | 618.58 | 0.5 |