Solver performance
QBFEVAL'17 - Prenex non-CNF Track

                                                         
SolverTotalSatUnsatUnique
#Time#Time#Time#Time
qfun0.111710607.4564485.13616122.24112398.47
cqesto1128574.74574782.37553792.3700
QuAbS_20171069105.55484355.14584750.4171935.29
Qute_hybrid9514226436869.27527356.744893.89
ghostq-cegar8913737.4417693.15486044.2300
Qute_opt993867005.88403289.58463716.300
Qute_opt617817559.5373263.29444296.211156.4
ghostq-plain426027.87162157.24263870.6300

    Problematic solver
    Hors-Concours solver