Sota solver results for family k_branch_p
Prenex CNF Track


InstanceSolverResultTime
k_branch_p-14depqbf_prefix_opt_qdoUNSAT0.06
k_branch_p-16depqbf_prefix_opt_qdoUNSAT0.09
k_branch_p-18depqbf_prefix_opt_qdoUNSAT0.63
k_branch_p-19depqbf_prefix_opt_qdoUNSAT0.74
k_branch_p-21depqbf_prefix_opt_qdoUNSAT1