Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
caqe-minisat-par | 1597.87 | 199.73 | 254.96 | 28.54 | 470.13 | 0.75 |
caqe-picosat-par | 1552.6 | 194.08 | 258.91 | 4.73 | 471.29 | 0.75 |
hiqqerfork | 703.36 | 87.92 | 151.89 | 0.13 | 142.94 | 1 |
hordeqbf | 1255.58 | 156.95 | 256.01 | 10.58 | 314.57 | 0.75 |
mpiDepQBF | 840.81 | 105.1 | 196.19 | 4.82 | 115.42 | 0.875 |
par-pd-depqbf | 167.63 | 20.95 | 34.48 | 0.77 | 31.35 | 1 |