Instances of family arithmetic solved by Caqe-hqspre
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
decomposition256SAT0
floor256SAT0
intermediate128FAIL900.03
ceiling128FAIL900.04