Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-par | 5696.95 | 569.7 | 90.92 | 600 | 0 | 0.1 |
caqe-picosat-par | 4215.95 | 421.6 | 272.52 | 600 | 592.69 | 0.3 |
hiqqerfork | 360.34 | 36.03 | 40.72 | 26.96 | 33.58 | 1 |
hordeqbf | 173.02 | 17.3 | 26.18 | 3.06 | 2.01 | 1 |
mpiDepQBF | 56.25 | 5.63 | 7.97 | 1.52 | 1.56 | 1 |
par-pd-depqbf | 1305.41 | 130.54 | 181.16 | 49.43 | 91.8 | 0.9 |