Instances of family arithmetic solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
floor128SAT0.14
equalization128SAT0.2
decomposition128SAT0.24
ceiling256SAT73.89
intermediate256FAIL888.88