Instances of family k_poly_p solved by skizzo_v0.4
QBFEVAL'05

InstanceResultTime
k_poly_p-4UNSAT0.07
k_poly_p-8UNSAT0.14
k_poly_p-12UNSAT0.48
k_poly_p-16UNSAT0.95
k_poly_p-20UNSAT1.65
k_poly_p-21UNSAT1.74