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


InstanceSolverResultTime
k_branch_p-10depqbf_prefix_opt_qdoUNSAT0.02
k_branch_p-11depqbf_prefix_opt_qdoUNSAT0.02
k_branch_p-12depqbf_prefix_opt_qdoUNSAT0.04
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.75
k_branch_p-21depqbf_prefix_opt_qdoUNSAT0.94