Instances of family arithmetic solved by Caqe-bloqqer-qdo
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
ceiling128SAT0
decomposition256SAT0
floor256SAT0
intermediate128FAIL900