Instances of family k_ph_n solved by nanoqbf_bloqqer
Prenex CNF Track

InstanceResultTime
k_ph_n-11SAT0
k_ph_n-15SAT2.19
k_ph_n-18SAT10.28
k_ph_n-19FAIL900
k_ph_n-20FAIL900