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

InstanceResultTime
equalization128SAT0.03
ceiling256FAIL900
decomposition128FAIL900
floor128FAIL900
intermediate256FAIL900