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

InstanceResultTime
equalization32SAT0.02
floor256SAT0.03
decomposition256SAT0.11
intermediate128FAIL900
ceiling128FAIL900