Instances of family arithmetic solved by xb-qsts_xbqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
equalization32SAT0.03
floor256SAT0.12
decomposition256SAT0.14
ceiling128SAT0.2
intermediate128FAIL900