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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert73.187.3213.460.831.261
caqe-picosat-cert77.987.817.251.763.560.9
cheq3084.06308.41307.84302.4604.680.2
depqbf-cert-v11273.12127.31222.850.4621.10.4
depqbf-cert-v21198.8119.88212.31.2129.90.8