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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert1801.69450.42258.59599.72298.60.25
caqe-picosat-cert32.68.1510.352.7212.531
cheq1822.87455.72263.13601.7309.740.25
depqbf-cert-v11.760.440.620.120.750.75
depqbf-cert-v21558.61389.65258.14463.29467.950.25