Sota solver results for family k_grz_p
QBFEVAL'16 - Prenex CNF Track.


InstanceSolverResultTime
k_grz_p-10qestoUNSAT0.02
k_grz_p-11qestoUNSAT0.03
k_grz_p-12qestoUNSAT0.02
k_grz_p-13qestoUNSAT0.02
k_grz_p-16qestoUNSAT0.03
k_grz_p-17qestoUNSAT0.03
k_grz_p-18qestoUNSAT0.04
k_grz_p-19qestosUNSAT0.04
k_grz_p-4rareqsUNSAT0.01
k_grz_p-5qestoUNSAT0.01