Suite Ansotegui results for solvers
QBFEVAL'18 - Prenex non-CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20183906.64558.09336.93604.51896.570.571
GhostQ_PG___cegar_qcir_20185407.06772.44183.3900.01513.590.429
GhostQ_PG___plain_qcir_20183030.17432.88408.81174.98897.870.571
PortfolioGhostQQfunQuAbSQute___pf22217.79316.833917.07384.210.429
PortfolioGhostQQfunQuAbSQute___pf31673.48239.07361.26.0737.70.429
PortfolioGhostQQfunQuAbSQute___pfs1660.4237.2359.275.9935.670.429
QFUN4663.21666.17370.98900.01874.360.286
Quabs_20184743.34677.62303.42900.01834.440.429
quabs___caqe-bloqqer3089441.29396.2265.86864.630.714
quabs___caqe-hqspre4676.26668.04368.85900.01884.280.286
Qute_hybrid4799.12685.59340.27900.07803.020.286
Qute_opt6174458.92636.99321.84900.03829.860.429
Qute_opt9934035.03576.43395.93900.03896.440.429