Sota solver results for family ITC99
Prenex CNF Track


InstanceSolverResultTime
b14_PR_1_50depqbf_prefix_opt_qdoSAT1.62
b17_PR_2_50nanoqbf_hqspreSAT5.61
b18_PR_4_2depqbf_prefix_opt_qdoSAT3.25
b20_PR_7_20depqbf_prefix_opt_qdoSAT0.05
b21_PR_8_20depqbf_prefix_opt_qdoSAT0.04
b22_PR_8_20nanoqbf_hqspreSAT4.67
b22_PR_9_90Rareqs_2018UNSAT15.82