Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-par | 4871.31 | 487.13 | 225.75 | 600 | 559.03 | 0.2 |
caqe-picosat-par | 6000 | 600 | 0 | 600 | 0 | 0 |
hiqqerfork | 4231.9 | 423.19 | 270.13 | 600 | 594.48 | 0.3 |
hordeqbf | 4217.2 | 421.72 | 272.35 | 600 | 598.93 | 0.3 |
mpiDepQBF | 3849.17 | 384.92 | 270.89 | 600 | 596.22 | 0.4 |
par-pd-depqbf | 4139.76 | 413.98 | 269.31 | 600 | 595.98 | 0.4 |