Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 995.74 | 124.47 | 185.25 | 92.69 | 101.33 | 0.375 |
caqe-picosat-cert | 1424.6 | 178.08 | 185.35 | 191.04 | 215.85 | 0.375 |
cheq | 4053.99 | 506.75 | 213.72 | 611.01 | 163.65 | 0.125 |
depqbf-cert-v1 | 3779.13 | 472.39 | 242.93 | 591.67 | 280.75 | 0 |
depqbf-cert-v2 | 3922.99 | 490.37 | 269.69 | 617.12 | 342.19 | 0.25 |