Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 2124.92 | 212.49 | 202.02 | 147.54 | 148.5 | 0.2 |
caqe-picosat-cert | 2821.78 | 282.18 | 229.14 | 155.34 | 329.85 | 0.2 |
cheq | 4329.41 | 432.94 | 273.4 | 607.34 | 610.26 | 0.3 |
depqbf-cert-v1 | 4410.44 | 441.04 | 288.82 | 623.03 | 626.7 | 0 |
depqbf-cert-v2 | 5047.99 | 504.8 | 227.28 | 614.43 | 515.02 | 0.2 |