Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 1561.85 | 156.19 | 153.24 | 118.78 | 40.49 | 0.1 |
caqe-picosat-cert | 3650.02 | 365 | 163.75 | 385.14 | 229.05 | 0.1 |
cheq | 5525.56 | 552.56 | 183.44 | 610.59 | 10.46 | 0.1 |
depqbf-cert-v1 | 0.98 | 0.1 | 0.01 | 0.1 | 0.03 | 1 |
depqbf-cert-v2 | 0.93 | 0.09 | 0.02 | 0.1 | 0.04 | 1 |