Instances of family toy solved by depqbf_prefix_opt_qdo
Prenex CNF Track

InstanceResultTime
mult9.satSAT175.73
add20y.satFAIL900
bs128n.satFAIL900
bs128y.satFAIL900
stay24n.satFAIL900