Instances of family toy solved by nanoqbf_hqspre
Prenex CNF Track

InstanceResultTime
mult9.satSAT0
stay24n.satSAT1.82
bs128n.satSAT3.77
bs128y.satSAT3.83
add20y.satFAIL900