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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto900900090000
ghostq-cegar900900090000
ghostq-plain900900090000
qfun0.1900900090000
QuAbS_2017900900090000
Qute_hybrid545.77545.770545.7701
Qute_opt617290.41290.410290.4101
Qute_opt99318.4618.46018.4601