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

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