Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-cert | 1118.7 | 159.81 | 183.56 | 96.91 | 103.62 | 0.143 |
caqe-picosat-cert | 862.09 | 123.16 | 86.92 | 123.93 | 197.91 | 0.286 |
cheq | 2506.95 | 358.14 | 289.91 | 603.06 | 607.29 | 0.429 |
depqbf-cert-v1 | 2512.57 | 358.94 | 309.76 | 612.22 | 613.82 | 0 |
depqbf-cert-v2 | 2663.57 | 380.51 | 303.21 | 616.51 | 626.1 | 0.286 |