| Otter: basic set | ROO: basic with equality | ROO: basic without equality |
| set(index_for_back_demod) | ||
| set(hyper_res) | set(hyper_res) | set(hyper_res) |
| set(back_demod) | set(back_demod) | |
| set(dynamic_demod_all) | set(dynamic_demod_all) | |
| assign(pick_given_ratio,5) | assign(pick_given_ratio,5) | assign(pick_given_ratio,5) |
| clear(print_kept) | clear(print_kept) | clear(print_kept) |
| assign(max_mem,20000) | assign(max_mem,32000) | assign(max_mem,32000) |
| set(control_memory) | set(control_memory) | set(control_memory) |