| Otter: equality set | ROO: equality set | |
| set(knuth_bendix) | set(knuth_bendix) | |
| set(index_for_back_demod) | set(index_for_back_demod) | |
| set(process_input) | set(process_input) | |
| assign(max_mem,16000) | assign(max_mem,32000) | |
| set(control_memory) | set(control_memory) | |
| set(lex_rpo) | set(lex_rpo) | |
| clear(print_kept) | clear(print_kept) | |
| clear(print_new_demod) | clear(print_new_demod) | |
| clear(print_back_demod) | clear(print_back_demod) |