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

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