Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 3945.25 | 394.53 | 261.87 | 554.26 | 598.43 | 0.5 |
caqe-picosat-cert | 2248.76 | 224.88 | 260.48 | 53.2 | 311.67 | 0.7 |
cheq | 3716.38 | 371.64 | 289.41 | 604.06 | 606.37 | 0.3 |
depqbf-cert-v1 | 2322.62 | 232.26 | 282.17 | 9.56 | 462.73 | 0.6 |
depqbf-cert-v2 | 6240.74 | 624.07 | 20.3 | 621.47 | 23.5 | 0 |