Instances of family arithmetic solved by depqbf_prefix_opt_qdo
Prenex CNF Track

InstanceResultTime
equalization128SAT0
floor128SAT0
decomposition256SAT0
equalization32SAT0
floor256SAT0
decomposition128SAT0
ceiling128FAIL900
intermediate256FAIL900
intermediate128FAIL900
ceiling256FAIL900