Instances of family toy solved by quabs___caqe-bloqqer
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
bs128n.satSAT0
mv16y.satSAT0
bs128n.unsatUNSAT0
stay22n.unsatUNSAT0
stay24n.satSAT0.01