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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert184.2418.4227.386.4912.881
caqe-picosat-cert186.7118.6727.866.5512.941
cheq2669.53266.95254.65166.6457.440.7
depqbf-cert-v1321.832.1851.068.5320.511
depqbf-cert-v2315.0831.5151.167.8319.321