Instances of family arithmetic solved by Qute_default
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
decomposition256SAT0
floor256SAT0
intermediate128FAIL900
ceiling128FAIL900.09