Instances of family toy solved by nanoqbf_bloqqer
Prenex CNF Track

InstanceResultTime
add20y.satSAT0
bs128y.satSAT1.6
bs128n.satSAT1.61
mult9.satFAIL900
stay24n.satFAIL900