Suite Kullmann-Shukla results for solvers
DQBF Solvers Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
dqbdd1631.0832.62127.298.5316.990.98
hqs8310.79166.22310.5114.83510.6
iprover_hqspre_schedule818.1116.3639.10.172.241
iprover_hqspre_single810.9816.2238.560.162.251