Instances of family k_poly_n solved by sSolve
QBFEVAL'05

InstanceResultTime
k_poly_n-8FAIL900.9
k_poly_n-4FAIL900.95
k_poly_n-20FAIL900.95
k_poly_n-12FAIL900.96
k_poly_n-21FAIL900.97
k_poly_n-16FAIL900.99