Instances of family k_dum_n solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
k_dum_n-1SAT0.53
k_dum_n-2SAT0.54
k_dum_n-3SAT0.54
k_dum_n-5SAT0.54
k_dum_n-9SAT0.54
k_dum_n-11SAT0.57
k_dum_n-12SAT0.57
k_dum_n-17SAT0.58
k_dum_n-18SAT0.59
k_dum_n-21SAT0.6