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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20182700.18900.060900.0600
GhostQ_PG___cegar_qcir_2018902.33300.78423.781.280.320.667
GhostQ_PG___plain_qcir_20182700.11900.040.01900.040.010
PortfolioGhostQQfunQuAbSQute___pf220.696.90.056.880.030
PortfolioGhostQQfunQuAbSQute___pf317.525.840.15.780.020
PortfolioGhostQQfunQuAbSQute___pfs17.45.80.025.80.020
QFUN900.08300.03424.3000.667
Quabs_20182700.18900.060.02900.050.010
quabs___caqe-bloqqer1.640.550.410.650.651
quabs___caqe-hqspre404.77134.92190.80.010.011
Qute_hybrid2700.16900.050.03900.040.010
Qute_opt6172700.25900.080.02900.090.030
Qute_opt9932700.19900.060.02900.060.020