Instances of family k_dum_n solved by quantor3.0
QBFEVAL'08

InstanceResultTime
k_dum_n-3SAT0
k_dum_n-1SAT0.01
k_dum_n-4SAT0.01
k_dum_n-6SAT0.01
k_dum_n-5SAT0.01
k_dum_n-10SAT0.01
k_dum_n-2SAT0.01
k_dum_n-9SAT0.02
k_dum_n-12SAT0.02
k_dum_n-14SAT0.02
k_dum_n-7SAT0.02
k_dum_n-17SAT0.02
k_dum_n-21SAT0.02
k_dum_n-19SAT0.02
k_dum_n-16SAT0.02
k_dum_n-8SAT0.02
k_dum_n-13SAT0.02
k_dum_n-18SAT0.02
k_dum_n-11SAT0.02
k_dum_n-15SAT0.02
k_dum_n-20SAT0.03