Solver performance
QBFEVAL'18 - DQBF Solvers Track

                                                         
SolverTotalSatUnsatUnique
#Time#Time#Time#Time
hqs1725856.54562836.511163020.03642488.2
iprover_hqspre1186256.28523968.02662288.2651046.96
iprover_dqbf181056283.99402527.77653756.2200
dCaqe805595.38292249.29513346.093948.9
idq753613.86231245.51522368.352585.54

    Problematic solver
    Hors-Concours solver