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


InstanceSolverResultTime
k_branch_p-10qstsUNSAT1.13
k_branch_p-11xb-qstsUNSAT2.99
k_branch_p-16xb-qstsUNSAT9.82
k_branch_p-5qstsUNSAT0.04
k_branch_p-6qstsUNSAT0.09