Suite Mangassarian-Veneris results for solvers
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert10852.34542.62176.5560000.1
caqe-picosat-cert9755487.75225.1460000.15
cheq10367.95518.4211.59604.798.040.15
depqbf-cert-v18593.1429.66250.19593.87457.220.15
depqbf-cert-v29327.51466.38240.55592.79192.190.25