Instances of family k_poly_p solved by QSAT
QBFEVAL'04

InstanceResultTime
k_poly_p-8UNSAT0.01
k_poly_p-2UNSAT0.01
k_poly_p-7UNSAT0.01
k_poly_p-11UNSAT0.02
k_poly_p-14UNSAT0.02
k_poly_p-17FAIL0.02
k_poly_p-12UNSAT0.02
k_poly_p-10UNSAT0.02