Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 510.2 | 51.02 | 43.37 | 27.81 | 64.8 | 1 |
caqe-picosat-cert | 509.78 | 50.98 | 43.35 | 27.82 | 64.85 | 1 |
cheq | 4744.26 | 474.43 | 194.67 | 599.72 | 437.73 | 0.3 |
depqbf-cert-v1 | 478.18 | 47.82 | 31.88 | 42.1 | 44.32 | 1 |
depqbf-cert-v2 | 452.83 | 45.28 | 30.72 | 40.5 | 42.22 | 1 |