Instances of family k_poly_n solved by ncQuBE1.1
QBFEVAL'07

InstanceResultTime
k_poly_n-4SAT0.01
k_poly_n-8SAT0.04
k_poly_n-12SAT0.06
k_poly_n-16SAT0.08
k_poly_n-20SAT0.11
k_poly_n-21SAT0.12