Instances of family k_ph_n solved by Qute_rrs
Prenex CNF Track

InstanceResultTime
k_ph_n-11SAT0
k_ph_n-15SAT2.29
k_ph_n-18SAT4.26
k_ph_n-19SAT8.67
k_ph_n-20SAT10.19