Family jmc_quant_squaring results for solvers
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert4353.07435.31202.47599.72443.730
caqe-picosat-cert4813.76481.38136.34566.94281.210
cheq6116.64611.6610.35610.810.530
depqbf-cert-v14966.42496.64226.55608.18564.060
depqbf-cert-v26262.18626.2220.56620.639.970