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


InstanceSolverResultTime
k_branch_p-10hiqqer1ldsqUNSAT1.85
k_branch_p-11hiqqer1UNSAT2.56
k_branch_p-12hiqqer1ldsqUNSAT3.35
k_branch_p-14xb-qstsUNSAT5.58
k_branch_p-16qestoUNSAT0.63
k_branch_p-18hiqqer1ldsqUNSAT8.94
k_branch_p-21hiqqer1UNSAT16.22
k_branch_p-5qstsUNSAT0.05
k_branch_p-6qstsUNSAT0.06
k_branch_p-8qestoUNSAT0.22