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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert1919.29191.9317.68196.9430.740
caqe-picosat-cert4861.12486.11174.04600383.430
cheq5928.18592.8246.82602.4294.570
depqbf-cert-v13845.04384.5283.39608.86577.850
depqbf-cert-v26398.64639.8619.97629.3330.80