Instances of family toy solved by GhostQ___plain_pcnf_2019
Prenex CNF Track

InstanceResultTime
stay24n.satSAT111.58
bs128y.satFAIL900
mult9.satFAIL900
add20y.satFAIL900
bs128n.satFAIL900