Instances of family arithmetic solved by qbfrelay
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
equalization32SAT0.14
floor256SAT0.22
decomposition256SAT0.3
ceiling128SAT0.32
intermediate128FAIL7.72