Instances of family k_grz_p solved by semprop
QBFEVAL'05

InstanceResultTime
k_grz_p-4UNSAT0.8
k_grz_p-8UNSAT2.09
k_grz_p-12UNSAT151.68
k_grz_p-20FAIL900.99
k_grz_p-16FAIL900.99
k_grz_p-21FAIL900.99