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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert2669.96267250.24169.7436.510.3
caqe-picosat-cert2544.46254.45238.79191.97221.080.3
cheq3689.52368.95295.3603.54608.630.1
depqbf-cert-v13653.54365.35296.17592.63601.410.3
depqbf-cert-v23636.42363.64295.15592.38600.020.4