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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert1010.19126.27191.544.33160.350.625
caqe-picosat-cert1483.65185.46234.4333.62406.380.625
cheq1232.96154.12262.191.2308.130.5
depqbf-cert-v1866.94108.37202.980.66136.450.375
depqbf-cert-v2759.0694.88163.911.36165.710.875