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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert5399.94539.99179.836000.280.1
caqe-picosat-cert5399.36539.94179.916000.280.1
cheq5516.05551.61183.61607.139.70.1
depqbf-cert-v15769.97577193.88637.4434.620
depqbf-cert-v25815.37581.54195.44638.9340.080.1