Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 4498.67 | 449.87 | 307.68 | 389.98 | 599.83 | 0.4 |
caqe-picosat-cert | 5400.44 | 540.04 | 300.89 | 599.86 | 599.81 | 0.3 |
cheq | 5008.03 | 500.8 | 318.53 | 601.65 | 603.99 | 0.4 |
depqbf-cert-v1 | 3385.2 | 338.52 | 335.08 | 53.5 | 95.64 | 0.1 |
depqbf-cert-v2 | 3461.08 | 346.11 | 324.36 | 86.34 | 142.94 | 0.5 |