Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 2727.32 | 272.73 | 271.61 | 95.4 | 582.15 | 0.6 |
caqe-picosat-cert | 3381.36 | 338.14 | 236.5 | 313.31 | 565.2 | 0.5 |
cheq | 2457.56 | 245.76 | 297.19 | 5.7 | 600.79 | 0.6 |
depqbf-cert-v1 | 2559.7 | 255.97 | 309.86 | 5.62 | 619.62 | 0.6 |
depqbf-cert-v2 | 2616.99 | 261.7 | 317.55 | 4.76 | 623.11 | 0.6 |