Instances of family k_poly_n solved by QSAT
QBFEVAL'04

InstanceResultTime
k_poly_n-18FAIL0
k_poly_n-1SAT0.12
k_poly_n-3SAT884.63
k_poly_n-15FAIL901
k_poly_n-7FAIL901
k_poly_n-11FAIL901.01
k_poly_n-4FAIL901.01
k_poly_n-8FAIL901.01