Instances of family k_poly_n solved by orSAT
QBFEVAL'04

InstanceResultTime
k_poly_n-11FAIL901
k_poly_n-8FAIL901
k_poly_n-7FAIL901
k_poly_n-3FAIL901.01
k_poly_n-15FAIL901.01
k_poly_n-4FAIL901.01
k_poly_n-18FAIL901.01
k_poly_n-1FAIL901.02