Instances of family k_poly_n solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
k_poly_n-2SAT1.06
k_poly_n-17FAIL605.91
k_poly_n-5FAIL609.55
k_poly_n-21FAIL609.71
k_poly_n-7FAIL612.13
k_poly_n-16FAIL612.37
k_poly_n-14FAIL613.17
k_poly_n-18FAIL613.49
k_poly_n-6FAIL618.04
k_poly_n-20FAIL620.98