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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert2021.49202.15146.29152.5746.120
caqe-picosat-cert3801.82380.18196.56378.98441.470
cheq6126.73612.678.44610.015.090
depqbf-cert-v15652565.2187.23622.1212.60
depqbf-cert-v26016.36601.6478.75625.3716.10