Family Scholl_dqbf results for solvers
QBFEVAL'19 - DQBF Solvers Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
dCaqe33005.46330.05425.571.48900.020.65
hqs15332.97153.33327.84023.720.84
hqs+ql13868.58138.69311.2019.830.86
hqs+ql+fs16142.11161.42335.74024.340.83
iprover_hqspre50166.89501.67432.63900.01892.340.46