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

InstanceResultTime
floor256SAT0
decomposition128SAT0
floor128SAT0
decomposition256SAT0
ceiling256FAIL900.03
intermediate128FAIL900.05
intermediate256FAIL900.05
ceiling128FAIL900.09