Solver performance
Prenex non-CNF Track

                                                         
SolverTotalSatUnsatUnique
#Time#Time#Time#Time
QuAbS___quabs-caqe_20192362116917115005.7656163.300
quabs___caqe-hqspre2102480914512120.96512688.121237.26
Quabs_201817615327.911410464.8624863.091639.18
Cqesto_201816912244.51149844.57552399.98757.36
QFUN15810936.11017641.33573294.731298.3
GhostQ___cegar_qcir_201915412320.4988026.61564293.800
GhostQ___plain_qcir_201912212606.4887658.66344947.7700
Qute_default10712436.5719782.38362654.173731.27

    Problematic solver
    Hors-Concours solver