Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-par | 4326.36 | 432.64 | 257.19 | 600 | 589.01 | 0.4 |
caqe-picosat-par | 4234.45 | 423.45 | 269.73 | 600 | 588.91 | 0.3 |
hiqqerfork | 3678.79 | 367.88 | 284.83 | 600 | 596.71 | 0.4 |
hordeqbf | 3633.85 | 363.39 | 289.9 | 600 | 598.84 | 0.4 |
mpiDepQBF | 3644.8 | 364.48 | 288.58 | 600 | 598.85 | 0.4 |
par-pd-depqbf | 4253.22 | 425.32 | 266.93 | 600 | 581.92 | 0.3 |