Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 2997.15 | 214.08 | 207.68 | 125.6 | 72.81 | 0.143 |
caqe-picosat-cert | 3677.36 | 262.67 | 246.4 | 249.03 | 406.78 | 0.429 |
cheq | 7289.53 | 520.68 | 174.06 | 606.58 | 233.83 | 0 |
depqbf-cert-v1 | 2598.31 | 185.59 | 293.49 | 0.31 | 0.61 | 0.143 |
depqbf-cert-v2 | 3835.85 | 273.99 | 312.42 | 14.01 | 607.31 | 0.571 |