Instances of family k_poly_n solved by QUANTOR_2.15
QBFEVAL'07

InstanceResultTime
k_poly_n-4SAT0.01
k_poly_n-8SAT0.02
k_poly_n-12SAT0.02
k_poly_n-16SAT0.02
k_poly_n-20SAT0.03
k_poly_n-21SAT0.04