Solver performance
QBFEVAL'19 - Prenex CNF Track

                                                         
SolverTotalSatUnsatUnique
#Time#Time#Time#Time
caqe-pre41442888.418924306.622518581.81694.08
Caqe-hqspre37122815.21611169721011118.221504.75
depqbf_pre_QxQBH343280331609850.118318182.941487.18
Caqe-bloqqer-qdo31121877.214410844.116711033.100
Qute_rrs30822138.512011236.518810902292.45
Qute_default29919356.81148969.918510386.81251.45
GhostQ___cegar_pcnf_201922715680.61118251.481167429.08112061.76
Hiqqer2019_222620047.114313491.2836555.9100
Hiqqer2019_122018352.813711206.7837146.1400
Hiqqer2019_321917313.413710957.8826355.5700
Qute_opt5001806910.99761823.361045087.6300
depqbf_prefix_opt_qdo17115548.8664959.841051058900
GhostQ___plain_pcnf_20191508130.73714090.34794040.393387.72

    Problematic solver
    Hors-Concours solver