Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-par | 611.22 | 61.12 | 179.63 | 1.14 | 1.73 | 0.9 |
caqe-picosat-par | 611.2 | 61.12 | 179.63 | 1.14 | 1.72 | 0.9 |
hiqqerfork | 608.86 | 60.89 | 179.71 | 0.93 | 1.42 | 0.9 |
hordeqbf | 4205.18 | 420.52 | 274.16 | 600 | 598.94 | 0.3 |
mpiDepQBF | 4205.86 | 420.59 | 274.06 | 600 | 599.43 | 0.3 |
par-pd-depqbf | 608.12 | 60.81 | 179.73 | 1.01 | 0.51 | 0.9 |