Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-par | 4200.67 | 420.07 | 274.85 | 600 | 599.88 | 0.3 |
caqe-picosat-par | 4202.23 | 420.22 | 274.61 | 600 | 599.88 | 0.3 |
hiqqerfork | 2421.48 | 242.15 | 292.21 | 9.01 | 599.93 | 0.6 |
hordeqbf | 2411.51 | 241.15 | 293 | 3.61 | 598.93 | 0.6 |
mpiDepQBF | 2046.98 | 204.7 | 267.3 | 5.7 | 231.01 | 0.7 |
par-pd-depqbf | 2670.44 | 267.04 | 275.51 | 125.42 | 599.49 | 0.6 |