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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto1800900090000
ghostq-cegar900.97450.49449.52450.4900.5
ghostq-plain1800900090000
qfun0.1900.64450.32449.68450.3200.5
QuAbS_20171800900090000
Qute_hybrid1755.33877.670.75877.6700
Qute_opt6171800900090000
Qute_opt9931800900090000