Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-par | 3018.73 | 301.87 | 298.17 | 308.67 | 599.71 | 0.5 |
caqe-picosat-par | 786.17 | 78.62 | 176.51 | 3.01 | 17.12 | 0.9 |
hiqqerfork | 624.54 | 62.45 | 179.2 | 2.04 | 4.91 | 0.9 |
hordeqbf | 614.63 | 61.46 | 179.52 | 1.06 | 0.01 | 0.9 |
mpiDepQBF | 619.95 | 62 | 179.42 | 0.1 | 0.51 | 0.9 |
par-pd-depqbf | 665.8 | 66.58 | 177.19 | 2.27 | 6.02 | 0.8 |