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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto901.37450.69449.32450.6900.5
ghostq-cegar900.35450.18449.83450.1800.5
ghostq-plain950.2475.1424.9475.100.5
qfun0.1900.27450.14449.87450.1400.5
QuAbS_2017974.09487.05412.96487.0500.5
Qute_hybrid956.84478.42398.29478.4200.5
Qute_opt617957478.5421.5478.500.5
Qute_opt993919.4459.7440.3459.700.5