Family jmc_quant_squaring results for solvers
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par4871.31487.13225.75600559.030.2
caqe-picosat-par6000600060000
hiqqerfork4231.9423.19270.13600594.480.3
hordeqbf4217.2421.72272.35600598.930.3
mpiDepQBF3849.17384.92270.89600596.220.4
par-pd-depqbf4139.76413.98269.31600595.980.4