Family VonNeumann results for solvers
QBFEVAL'17 - Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto13.6313.63013.6301
ghostq-cegar381.58381.580381.5801
ghostq-plain383.1383.10383.101
qfun0.1247.06247.060247.0601
QuAbS_2017611.26611.260611.2601
Qute_hybrid22.8322.83022.8301
Qute_opt61722.9222.92022.9201
Qute_opt99322.8422.84022.8401