Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 184.24 | 18.42 | 27.38 | 6.49 | 12.88 | 1 |
caqe-picosat-cert | 186.71 | 18.67 | 27.86 | 6.55 | 12.94 | 1 |
cheq | 2669.53 | 266.95 | 254.65 | 166.6 | 457.44 | 0.7 |
depqbf-cert-v1 | 321.8 | 32.18 | 51.06 | 8.53 | 20.51 | 1 |
depqbf-cert-v2 | 315.08 | 31.51 | 51.16 | 7.83 | 19.32 | 1 |