Family evader-pursuer-4x4-logarithmic results for solvers
QBFEVAL'18 - Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_2018307.54153.77150.29153.7701
GhostQ_PG___cegar_qcir_20181015.04507.52121.09507.5201
GhostQ_PG___plain_qcir_201811.195.63.475.601
PortfolioGhostQQfunQuAbSQute___pf213.16.550.176.5501
PortfolioGhostQQfunQuAbSQute___pf310.625.310.095.3101
PortfolioGhostQQfunQuAbSQute___pfs10.815.410.115.4101
QFUN1037.41518.71381.37518.7100.5
Quabs_20181309.61654.81245.26654.8100.5
quabs___caqe-bloqqer265.92132.96132.9132.9601
quabs___caqe-hqspre1060.38530.19369.85530.1900.5
Qute_hybrid298.8149.452.35149.401
Qute_opt617396.67198.34128.16198.3401
Qute_opt9937.193.60.013.601