Suite Diptarama-Jordan-Shinohara results for solvers
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert2651.01265.1238.03224.42273.380.6
caqe-picosat-cert1970.1197.01267.56.1152.140.7
cheq1669.89166.99197.3716.5403.820.3
depqbf-cert-v1924.192.41186.840.722.60.6
depqbf-cert-v22567.57256.76308.410.76621.310.6