Instances of family toy solved by Rareqs_2018
Prenex CNF Track

InstanceResultTime
stay24n.satSAT0
add20y.satSAT0
bs128n.satSAT0
bs128y.satSAT0
mult9.satSAT144.85