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

InstanceResultTime
decomposition128SAT0.01
floor128SAT0.01
equalization128SAT0.02
ceiling256SAT0.03
intermediate256FAIL900