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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto0.880.290.160.270.161
ghostq-cegar243.2981.1105.879.045.571
ghostq-plain2700900090000
qfun0.15.841.950.881.470.281
QuAbS_20172700900090000
Qute_hybrid1766.64588.88408.91877.62867.020.333
Qute_opt6171806.55602.18421.18900893.450.333
Qute_opt9932700900090000