Instances of family k_path_n solved by Adaptive2clsQ
QBFEVAL'07

InstanceResultTime
k_path_n-8SAT0.04
k_path_n-12SAT0.07
k_path_n-16SAT0.08
k_path_n-20SAT0.08
k_path_n-21SAT0.12