Instances of family arithmetic solved by nanoqbf_bloqqer
Prenex CNF Track

InstanceResultTime
decomposition128SAT0
equalization128SAT0
ceiling128SAT0
floor128SAT0
decomposition256SAT0
equalization32SAT0
floor256SAT0
ceiling256SAT0.7
intermediate128FAIL900
intermediate256FAIL900