COMMENTS ======== - results are in subdirectories of the same name (for predator-adt; start with "fp-main.svg") and with -j2bp suffix (for j2bp) - predator (+SVG) running time for all 4 examples: 48s (on common PC server) 1 ListContents - fill by 1..N sequence and iterate/check if it contains 1..N sequence 2 ListLength - fill, iterate/count items, add 1 item, iterate/check if length increased by 1 3 RewriteList - fill by 0, iterate/rewrite each item by 10, iterate/check if rewritten correctly 4 CheckSorted - fill sorted, search position, insert, iterate/check if correctly sorted