Instances of family k_dum_n solved by iprover-QBF
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_dum_n-1SAT0.5
k_dum_n-3SAT0.93
k_dum_n-2SAT0.93
k_dum_n-5SAT1.88
k_dum_n-9SAT5.74
k_dum_n-11SAT8.26
k_dum_n-12SAT11.36
k_dum_n-18SAT19.35
k_dum_n-17SAT30.58
k_dum_n-21SAT50.38