Sota solver results for family k_ph_p
QBFEVAL'18 - Prenex CNF Track


InstanceSolverResultTime
k_ph_p-11predyndepUNSAT194.75
k_ph_p-12predyndepUNSAT201.15