Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 2669.96 | 267 | 250.24 | 169.7 | 436.51 | 0.3 |
caqe-picosat-cert | 2544.46 | 254.45 | 238.79 | 191.97 | 221.08 | 0.3 |
cheq | 3689.52 | 368.95 | 295.3 | 603.54 | 608.63 | 0.1 |
depqbf-cert-v1 | 3653.54 | 365.35 | 296.17 | 592.63 | 601.41 | 0.3 |
depqbf-cert-v2 | 3636.42 | 363.64 | 295.15 | 592.38 | 600.02 | 0.4 |