Instances of family arithmetic solved by QELL_default
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
equalization32SAT0.01
intermediate128FAIL900
ceiling128FAIL900
decomposition256FAIL900
floor256FAIL900