examples/AG01/#3.10.trs	Parallel-innermost confluent: YES	PDTs: 21	DTs: 21	Diff: 0	HasParallelism: false
examples/AG01/#3.12.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/AG01/#3.13.trs	Parallel-innermost confluent: YES	PDTs: 15	DTs: 14	Diff: 1	HasParallelism: true
examples/AG01/#3.15.trs	Parallel-innermost confluent: MAYBE	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/AG01/#3.16.trs	Parallel-innermost confluent: MAYBE	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/AG01/#3.18.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 8	Diff: 1	HasParallelism: true
examples/AG01/#3.1.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/AG01/#3.23.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/AG01/#3.24.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/AG01/#3.26.trs	Parallel-innermost confluent: MAYBE	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/AG01/#3.2.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/AG01/#3.31.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 1	Diff: 1	HasParallelism: true
examples/AG01/#3.33.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/AG01/#3.35.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/AG01/#3.36.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/AG01/#3.37.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/AG01/#3.38.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 7	Diff: 1	HasParallelism: true
examples/AG01/#3.41.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/AG01/#3.42.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 8	Diff: 1	HasParallelism: true
examples/AG01/#3.47.trs	Parallel-innermost confluent: MAYBE	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/AG01/#3.48.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 7	Diff: 1	HasParallelism: true
examples/AG01/#3.49.trs	Parallel-innermost confluent: MAYBE	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/AG01/#3.52.trs	Parallel-innermost confluent: MAYBE	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/AG01/#3.53b.trs	Parallel-innermost confluent: MAYBE	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/AG01/#3.53.trs	Parallel-innermost confluent: YES	PDTs: 16	DTs: 15	Diff: 1	HasParallelism: true
examples/AG01/#3.55.trs	Parallel-innermost confluent: YES	PDTs: 20	DTs: 19	Diff: 1	HasParallelism: true
examples/AG01/#3.5a.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/AG01/#3.5b.trs	Parallel-innermost confluent: YES	PDTs: 12	DTs: 12	Diff: 0	HasParallelism: false
examples/AG01/#3.5.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/AG01/#3.6a.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/AG01/#3.6b.trs	Parallel-innermost confluent: YES	PDTs: 12	DTs: 12	Diff: 0	HasParallelism: false
examples/AG01/#3.6.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/AG01/#3.7.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/AG01/#3.8a.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/AG01/#3.8b.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/AG01/#4.30c.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/AProVE_04/AAECC-ring.trs	Parallel-innermost confluent: YES	PDTs: 40	DTs: 35	Diff: 5	HasParallelism: true
examples/AProVE_04/AAECC.trs	Parallel-innermost confluent: YES	PDTs: 23	DTs: 22	Diff: 1	HasParallelism: true
examples/AProVE_04/fac.trs	Parallel-innermost confluent: MAYBE	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/AProVE_04/IJCAR_1.trs	Parallel-innermost confluent: MAYBE	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/AProVE_04/JFP_Ex51.trs	Parallel-innermost confluent: MAYBE	PDTs: 19	DTs: 19	Diff: 0	HasParallelism: false
examples/AProVE_04/rta1.trs	Parallel-innermost confluent: MAYBE	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/AProVE_04/rta2.trs	Parallel-innermost confluent: MAYBE	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/AProVE_04/rta3.trs	Parallel-innermost confluent: MAYBE	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/AProVE_06/div_notCeTermin.trs	Parallel-innermost confluent: YES	PDTs: 17	DTs: 17	Diff: 0	HasParallelism: false
examples/AProVE_06/factorial1.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 9	Diff: 1	HasParallelism: true
examples/AProVE_06/factorial2.trs	Parallel-innermost confluent: MAYBE	PDTs: 17	DTs: 15	Diff: 2	HasParallelism: true
examples/AProVE_06/identity.trs	Parallel-innermost confluent: MAYBE	PDTs: 10	DTs: 9	Diff: 1	HasParallelism: true
examples/AProVE_06/logarithm.trs	Parallel-innermost confluent: YES	PDTs: 17	DTs: 14	Diff: 3	HasParallelism: true
examples/AProVE_06/quicksort.trs	Parallel-innermost confluent: YES	PDTs: 26	DTs: 20	Diff: 6	HasParallelism: true
examples/AProVE_06/sizeChange.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/AProVE_06/tower_sizeChange.trs	Parallel-innermost confluent: YES	PDTs: 12	DTs: 11	Diff: 1	HasParallelism: true
examples/AProVE_06/tower.trs	Parallel-innermost confluent: YES	PDTs: 12	DTs: 11	Diff: 1	HasParallelism: true
examples/AProVE_07/kabasci04.trs	Parallel-innermost confluent: MAYBE	PDTs: 13	DTs: 11	Diff: 2	HasParallelism: true
examples/AProVE_07/otto01.trs	Parallel-innermost confluent: YES	PDTs: 19	DTs: 15	Diff: 4	HasParallelism: true
examples/AProVE_07/otto02.trs	Parallel-innermost confluent: YES	PDTs: 18	DTs: 16	Diff: 2	HasParallelism: true
examples/AProVE_07/otto03.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/AProVE_07/otto04.trs	Parallel-innermost confluent: YES	PDTs: 15	DTs: 13	Diff: 2	HasParallelism: true
examples/AProVE_07/otto05.trs	Parallel-innermost confluent: YES	PDTs: 12	DTs: 12	Diff: 0	HasParallelism: false
examples/AProVE_07/otto06.trs	Parallel-innermost confluent: YES	PDTs: 20	DTs: 16	Diff: 4	HasParallelism: true
examples/AProVE_07/otto07.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/AProVE_07/otto08.trs	Parallel-innermost confluent: YES	PDTs: 13	DTs: 13	Diff: 0	HasParallelism: false
examples/AProVE_07/otto09.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 9	Diff: 0	HasParallelism: false
examples/AProVE_07/otto10.trs	Parallel-innermost confluent: YES	PDTs: 13	DTs: 11	Diff: 2	HasParallelism: true
examples/AProVE_07/otto11.trs	Parallel-innermost confluent: MAYBE	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/AProVE_07/otto12.trs	Parallel-innermost confluent: YES	PDTs: 13	DTs: 13	Diff: 0	HasParallelism: false
examples/AProVE_07/otto13.trs	Parallel-innermost confluent: YES	PDTs: 13	DTs: 13	Diff: 0	HasParallelism: false
examples/AProVE_07/thiemann01.trs	Parallel-innermost confluent: MAYBE	PDTs: 13	DTs: 12	Diff: 1	HasParallelism: true
examples/AProVE_07/thiemann02.trs	Parallel-innermost confluent: YES	PDTs: 32	DTs: 28	Diff: 4	HasParallelism: true
examples/AProVE_07/thiemann03.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 13	Diff: 1	HasParallelism: true
examples/AProVE_07/thiemann04.trs	Parallel-innermost confluent: YES	PDTs: 30	DTs: 23	Diff: 7	HasParallelism: true
examples/AProVE_07/thiemann05.trs	Parallel-innermost confluent: YES	PDTs: 15	DTs: 11	Diff: 4	HasParallelism: true
examples/AProVE_07/thiemann06.trs	Parallel-innermost confluent: YES	PDTs: 17	DTs: 14	Diff: 3	HasParallelism: true
examples/AProVE_07/thiemann07.trs	Parallel-innermost confluent: YES	PDTs: 26	DTs: 23	Diff: 3	HasParallelism: true
examples/AProVE_07/thiemann08.trs	Parallel-innermost confluent: YES	PDTs: 13	DTs: 12	Diff: 1	HasParallelism: true
examples/AProVE_07/thiemann10.trs	Parallel-innermost confluent: YES	PDTs: 13	DTs: 12	Diff: 1	HasParallelism: true
examples/AProVE_07/thiemann11.trs	Parallel-innermost confluent: YES	PDTs: 20	DTs: 16	Diff: 4	HasParallelism: true
examples/AProVE_07/thiemann12.trs	Parallel-innermost confluent: YES	PDTs: 13	DTs: 12	Diff: 1	HasParallelism: true
examples/AProVE_07/thiemann13.trs	Parallel-innermost confluent: MAYBE	PDTs: 18	DTs: 16	Diff: 2	HasParallelism: true
examples/AProVE_07/thiemann14.trs	Parallel-innermost confluent: YES	PDTs: 23	DTs: 20	Diff: 3	HasParallelism: true
examples/AProVE_07/thiemann15.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 13	Diff: 1	HasParallelism: true
examples/AProVE_07/thiemann16.trs	Parallel-innermost confluent: YES	PDTs: 20	DTs: 16	Diff: 4	HasParallelism: true
examples/AProVE_07/thiemann17.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 13	Diff: 1	HasParallelism: true
examples/AProVE_07/thiemann18.trs	Parallel-innermost confluent: YES	PDTs: 27	DTs: 24	Diff: 3	HasParallelism: true
examples/AProVE_07/thiemann19.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/AProVE_07/thiemann20.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/AProVE_07/thiemann21.trs	Parallel-innermost confluent: YES	PDTs: 28	DTs: 28	Diff: 0	HasParallelism: false
examples/AProVE_07/thiemann22.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/AProVE_07/thiemann23.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/AProVE_07/thiemann24.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/AProVE_07/thiemann25.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 9	Diff: 0	HasParallelism: false
examples/AProVE_07/thiemann26.trs	Parallel-innermost confluent: MAYBE	PDTs: 15	DTs: 13	Diff: 2	HasParallelism: true
examples/AProVE_07/thiemann27.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/AProVE_07/thiemann28.trs	Parallel-innermost confluent: MAYBE	PDTs: 13	DTs: 12	Diff: 1	HasParallelism: true
examples/AProVE_07/thiemann29.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 14	Diff: 0	HasParallelism: false
examples/AProVE_07/thiemann30.trs	Parallel-innermost confluent: YES	PDTs: 28	DTs: 28	Diff: 0	HasParallelism: false
examples/AProVE_07/thiemann31.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/AProVE_07/thiemann32.trs	Parallel-innermost confluent: YES	PDTs: 16	DTs: 15	Diff: 1	HasParallelism: true
examples/AProVE_07/thiemann33.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/AProVE_07/thiemann34.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 14	Diff: 0	HasParallelism: false
examples/AProVE_07/thiemann36.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/AProVE_07/thiemann37.trs	Parallel-innermost confluent: YES	PDTs: 22	DTs: 20	Diff: 2	HasParallelism: true
examples/AProVE_07/thiemann38.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 13	Diff: 1	HasParallelism: true
examples/AProVE_07/thiemann40.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 10	Diff: 1	HasParallelism: true
examples/AProVE_07/thiemann41.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/AProVE_08/log.trs	Parallel-innermost confluent: MAYBE	PDTs: 9	DTs: 9	Diff: 0	HasParallelism: false
examples/AProVE_08/parting01_reverse.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 13	Diff: 1	HasParallelism: true
examples/AProVE_08/parting02_doublelist.trs	Parallel-innermost confluent: YES	PDTs: 15	DTs: 14	Diff: 1	HasParallelism: true
examples/AProVE_08/parting03_minsort.trs	Parallel-innermost confluent: YES	PDTs: 18	DTs: 17	Diff: 1	HasParallelism: true
examples/AProVE_08/parting04_maxsort_h.trs	Parallel-innermost confluent: YES	PDTs: 22	DTs: 21	Diff: 1	HasParallelism: true
examples/AProVE_08/parting05_maxsort.trs	Parallel-innermost confluent: YES	PDTs: 20	DTs: 19	Diff: 1	HasParallelism: true
examples/AProVE_08/thiemann40_modified.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 10	Diff: 1	HasParallelism: true
examples/AProVE_09_Inductive/divhard.trs	Parallel-innermost confluent: YES	PDTs: 16	DTs: 16	Diff: 0	HasParallelism: false
examples/AProVE_09_Inductive/div.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 14	Diff: 0	HasParallelism: false
examples/AProVE_09_Inductive/gcd2.trs	Parallel-innermost confluent: YES	PDTs: 16	DTs: 16	Diff: 0	HasParallelism: false
examples/AProVE_09_Inductive/gcdhard.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 13	Diff: 1	HasParallelism: true
examples/AProVE_09_Inductive/gcd.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 14	Diff: 0	HasParallelism: false
examples/AProVE_09_Inductive/log.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/AProVE_09_Inductive/maxsortcondition.trs	Parallel-innermost confluent: YES	PDTs: 21	DTs: 21	Diff: 0	HasParallelism: false
examples/AProVE_09_Inductive/maxsort.trs	Parallel-innermost confluent: YES	PDTs: 19	DTs: 18	Diff: 1	HasParallelism: true
examples/AProVE_09_Inductive/minsort.trs	Parallel-innermost confluent: YES	PDTs: 19	DTs: 18	Diff: 1	HasParallelism: true
examples/AProVE_09_Inductive/mod.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 14	Diff: 0	HasParallelism: false
examples/AProVE_09_Inductive/qsortlast.trs	Parallel-innermost confluent: YES	PDTs: 20	DTs: 18	Diff: 2	HasParallelism: true
examples/AProVE_09_Inductive/qsortmiddle.trs	Parallel-innermost confluent: YES	PDTs: 29	DTs: 25	Diff: 4	HasParallelism: true
examples/AProVE_09_Inductive/qsort.trs	Parallel-innermost confluent: YES	PDTs: 16	DTs: 15	Diff: 1	HasParallelism: true
examples/AProVE_09_Inductive/zerolist.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 10	Diff: 1	HasParallelism: true
examples/Beerendonk_07/10.trs	Parallel-innermost confluent: YES	PDTs: 17	DTs: 15	Diff: 2	HasParallelism: true
examples/Beerendonk_07/11.trs	Parallel-innermost confluent: YES	PDTs: 13	DTs: 12	Diff: 1	HasParallelism: true
examples/Beerendonk_07/12.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 10	Diff: 1	HasParallelism: true
examples/Beerendonk_07/13.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 8	Diff: 1	HasParallelism: true
examples/Beerendonk_07/14.trs	Parallel-innermost confluent: YES	PDTs: 12	DTs: 12	Diff: 0	HasParallelism: false
examples/Beerendonk_07/15.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 12	Diff: 2	HasParallelism: true
examples/Beerendonk_07/16.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 12	Diff: 2	HasParallelism: true
examples/Beerendonk_07/17.trs	Parallel-innermost confluent: YES	PDTs: 19	DTs: 16	Diff: 3	HasParallelism: true
examples/Beerendonk_07/18.trs	Parallel-innermost confluent: MAYBE	PDTs: 18	DTs: 13	Diff: 5	HasParallelism: true
examples/Beerendonk_07/19.trs	Parallel-innermost confluent: MAYBE	PDTs: 18	DTs: 13	Diff: 5	HasParallelism: true
examples/Beerendonk_07/1.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 6	Diff: 1	HasParallelism: true
examples/Beerendonk_07/20.trs	Parallel-innermost confluent: MAYBE	PDTs: 18	DTs: 15	Diff: 3	HasParallelism: true
examples/Beerendonk_07/21.trs	Parallel-innermost confluent: MAYBE	PDTs: 18	DTs: 15	Diff: 3	HasParallelism: true
examples/Beerendonk_07/22.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 8	Diff: 2	HasParallelism: true
examples/Beerendonk_07/23.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 8	Diff: 2	HasParallelism: true
examples/Beerendonk_07/24.trs	Parallel-innermost confluent: MAYBE	PDTs: 19	DTs: 15	Diff: 4	HasParallelism: true
examples/Beerendonk_07/2.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 6	Diff: 1	HasParallelism: true
examples/Beerendonk_07/3.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 6	Diff: 1	HasParallelism: true
examples/Beerendonk_07/4.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Beerendonk_07/5.trs	Parallel-innermost confluent: MAYBE	PDTs: 14	DTs: 12	Diff: 2	HasParallelism: true
examples/Beerendonk_07/6.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 6	Diff: 1	HasParallelism: true
examples/Beerendonk_07/7.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 6	Diff: 1	HasParallelism: true
examples/Beerendonk_07/8.trs	Parallel-innermost confluent: MAYBE	PDTs: 13	DTs: 10	Diff: 3	HasParallelism: true
examples/Beerendonk_07/9.trs	Parallel-innermost confluent: MAYBE	PDTs: 13	DTs: 10	Diff: 3	HasParallelism: true
examples/CiME_04/ack_prolog.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/CiME_04/append-hard.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 7	Diff: 1	HasParallelism: true
examples/CiME_04/append.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/CiME_04/append-wrong.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 7	Diff: 1	HasParallelism: true
examples/CiME_04/fact-hard.trs	Parallel-innermost confluent: YES	PDTs: 12	DTs: 12	Diff: 0	HasParallelism: false
examples/CiME_04/filliatre2.trs	Parallel-innermost confluent: YES	PDTs: 15	DTs: 15	Diff: 0	HasParallelism: false
examples/CiME_04/filliatre3.trs	Parallel-innermost confluent: YES	PDTs: 17	DTs: 17	Diff: 0	HasParallelism: false
examples/CiME_04/filliatre.trs	Parallel-innermost confluent: YES	PDTs: 13	DTs: 13	Diff: 0	HasParallelism: false
examples/CiME_04/list-sum-prod.trs	Parallel-innermost confluent: MAYBE	PDTs: 11	DTs: 10	Diff: 1	HasParallelism: true
examples/Der95/06.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Der95/08.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 5	Diff: 3	HasParallelism: true
examples/Der95/11.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 9	Diff: 5	HasParallelism: true
examples/Der95/18.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 1	Diff: 1	HasParallelism: true
examples/Der95/21.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Der95/27.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Der95/32.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Endrullis_06/direct.trs	Parallel-innermost confluent: MAYBE	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/ack.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/addlists.trs	Parallel-innermost confluent: MAYBE	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/add.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/anchored.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/append.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/assrewrite.trs	Parallel-innermost confluent: YES	PDTs: 12	DTs: 12	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/badd.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/binom.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 6	Diff: 1	HasParallelism: true
examples/Frederiksen_Glenstrup/decrease.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/deeprev_typed.trs	Parallel-innermost confluent: YES	PDTs: 23	DTs: 23	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/disjconj.trs	Parallel-innermost confluent: YES	PDTs: 47	DTs: 45	Diff: 2	HasParallelism: true
examples/Frederiksen_Glenstrup/duplicate.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/equal.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/evenodd.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/fold.trs	Parallel-innermost confluent: MAYBE	PDTs: 11	DTs: 10	Diff: 1	HasParallelism: true
examples/Frederiksen_Glenstrup/game.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/gcd2.trs	Parallel-innermost confluent: YES	PDTs: 28	DTs: 27	Diff: 1	HasParallelism: true
examples/Frederiksen_Glenstrup/gcd.trs	Parallel-innermost confluent: YES	PDTs: 28	DTs: 27	Diff: 1	HasParallelism: true
examples/Frederiksen_Glenstrup/increase.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/intlookup.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/int.trs	Parallel-innermost confluent: YES	PDTs: 191	DTs: 183	Diff: 8	HasParallelism: true
examples/Frederiksen_Glenstrup/lambdaint_typed.trs	Parallel-innermost confluent: YES	PDTs: 47	DTs: 44	Diff: 3	HasParallelism: true
examples/Frederiksen_Glenstrup/letexp.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/list.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/lte.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 13	Diff: 1	HasParallelism: true
examples/Frederiksen_Glenstrup/map0.trs	Parallel-innermost confluent: MAYBE	PDTs: 11	DTs: 10	Diff: 1	HasParallelism: true
examples/Frederiksen_Glenstrup/member.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/mergelists.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 9	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/mergesort.trs	Parallel-innermost confluent: YES	PDTs: 17	DTs: 16	Diff: 1	HasParallelism: true
examples/Frederiksen_Glenstrup/minsort.trs	Parallel-innermost confluent: YES	PDTs: 20	DTs: 20	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/mul_better.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/mul.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/naiverev.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/nestdec.trs	Parallel-innermost confluent: YES	PDTs: 12	DTs: 12	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/nesteql.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/nestimeql.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/nestinc.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/ordered_better.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/ordered.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/overlap.trs	Parallel-innermost confluent: YES	PDTs: 15	DTs: 15	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/parsexp.trs	Parallel-innermost confluent: YES	PDTs: 88	DTs: 88	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/permute.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 9	Diff: 1	HasParallelism: true
examples/Frederiksen_Glenstrup/power.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/quicksort.trs	Parallel-innermost confluent: YES	PDTs: 19	DTs: 18	Diff: 1	HasParallelism: true
examples/Frederiksen_Glenstrup/revapp.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/select.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 6	Diff: 1	HasParallelism: true
examples/Frederiksen_Glenstrup/shuffle.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/sp1.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/subsets.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/thetrick.trs	Parallel-innermost confluent: MAYBE	PDTs: 16	DTs: 14	Diff: 2	HasParallelism: true
examples/Frederiksen_Glenstrup/turing_typed.trs	Parallel-innermost confluent: YES	PDTs: 66	DTs: 66	Diff: 0	HasParallelism: false
examples/Frederiksen_Glenstrup/vangelder_typed.trs	Parallel-innermost confluent: YES	PDTs: 76	DTs: 72	Diff: 4	HasParallelism: true
examples/Frederiksen_Others/add.trs	Parallel-innermost confluent: MAYBE	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/assrewriteSize.trs	Parallel-innermost confluent: YES	PDTs: 13	DTs: 13	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/boolprog.trs	Parallel-innermost confluent: YES	PDTs: 21	DTs: 21	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/bubblesort.trs	Parallel-innermost confluent: MAYBE	PDTs: 14	DTs: 14	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/deadcodeSize.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/disj2_typed.trs	Parallel-innermost confluent: YES	PDTs: 15	DTs: 13	Diff: 2	HasParallelism: true
examples/Frederiksen_Others/div2.trs	Parallel-innermost confluent: MAYBE	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/dup1_typed.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 12	Diff: 2	HasParallelism: true
examples/Frederiksen_Others/dup2_typed.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 12	Diff: 2	HasParallelism: true
examples/Frederiksen_Others/eq.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/ex6.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/fghSize.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 9	Diff: 2	HasParallelism: true
examples/Frederiksen_Others/fgh.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 9	Diff: 2	HasParallelism: true
examples/Frederiksen_Others/gexgcd2.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 14	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/gexgcd.trs	Parallel-innermost confluent: YES	PDTs: 53	DTs: 53	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/graphcolour1_typed.trs	Parallel-innermost confluent: YES	PDTs: 68	DTs: 68	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/graphcolour2Size_typed.trs	Parallel-innermost confluent: YES	PDTs: 68	DTs: 68	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/graphcolour2_typed.trs	Parallel-innermost confluent: YES	PDTs: 68	DTs: 68	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/graphcolour3_typed.trs	Parallel-innermost confluent: YES	PDTs: 65	DTs: 65	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/inssort_better.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/inssort.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 9	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/match.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/minsortSize.trs	Parallel-innermost confluent: YES	PDTs: 18	DTs: 18	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/ocall-safe.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/ocall-unsafe.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/oddeven.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/permut.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/power.trs	Parallel-innermost confluent: MAYBE	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/quicksortPtime.trs	Parallel-innermost confluent: YES	PDTs: 20	DTs: 20	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/quicksortSize.trs	Parallel-innermost confluent: YES	PDTs: 24	DTs: 23	Diff: 1	HasParallelism: true
examples/Frederiksen_Others/reach.trs	Parallel-innermost confluent: YES	PDTs: 31	DTs: 30	Diff: 1	HasParallelism: true
examples/Frederiksen_Others/rematch.trs	Parallel-innermost confluent: YES	PDTs: 3005	DTs: 3005	Diff: 0	HasParallelism: false
examples/Frederiksen_Others/strmatch.trs	Parallel-innermost confluent: YES	PDTs: 26	DTs: 25	Diff: 1	HasParallelism: true
examples/Frederiksen_Others/thetrickSize.trs	Parallel-innermost confluent: YES	PDTs: 16	DTs: 15	Diff: 1	HasParallelism: true
examples/GTSSK07/cade01.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/GTSSK07/cade03.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/GTSSK07/cade05t.trs	Parallel-innermost confluent: MAYBE	PDTs: 9	DTs: 9	Diff: 0	HasParallelism: false
examples/GTSSK07/cade06.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/GTSSK07/cade07.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/GTSSK07/cade08.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 7	Diff: 2	HasParallelism: true
examples/GTSSK07/cade09.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 7	Diff: 1	HasParallelism: true
examples/GTSSK07/cade10.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 7	Diff: 1	HasParallelism: true
examples/GTSSK07/cade11.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/GTSSK07/cade12t.trs	Parallel-innermost confluent: YES	PDTs: 13	DTs: 10	Diff: 3	HasParallelism: true
examples/GTSSK07/cade13t.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 9	Diff: 0	HasParallelism: false
examples/GTSSK07/cade14.trs	Parallel-innermost confluent: YES	PDTs: 12	DTs: 12	Diff: 0	HasParallelism: false
examples/GTSSK07/cade15.trs	Parallel-innermost confluent: YES	PDTs: 23	DTs: 21	Diff: 2	HasParallelism: true
examples/GTSSK07/cade16.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/GTSSK07/cade17.trs	Parallel-innermost confluent: YES	PDTs: 13	DTs: 12	Diff: 1	HasParallelism: true
examples/HirokawaMiddeldorp_04/n002.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/HirokawaMiddeldorp_04/n003.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/HirokawaMiddeldorp_04/n004.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/HirokawaMiddeldorp_04/n005.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/HirokawaMiddeldorp_04/n006.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/HirokawaMiddeldorp_04/n007.trs	Parallel-innermost confluent: MAYBE	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/HirokawaMiddeldorp_04/t001.trs	Parallel-innermost confluent: YES	PDTs: 20	DTs: 17	Diff: 3	HasParallelism: true
examples/HirokawaMiddeldorp_04/t002.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 10	Diff: 1	HasParallelism: true
examples/HirokawaMiddeldorp_04/t003.trs	Parallel-innermost confluent: YES	PDTs: 15	DTs: 13	Diff: 2	HasParallelism: true
examples/HirokawaMiddeldorp_04/t004.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/HirokawaMiddeldorp_04/t009.trs	Parallel-innermost confluent: YES	PDTs: 43	DTs: 41	Diff: 2	HasParallelism: true
examples/HirokawaMiddeldorp_04/t011.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/HirokawaMiddeldorp_04/t013.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/HirokawaMiddeldorp_04/t014.trs	Parallel-innermost confluent: MAYBE	PDTs: 12	DTs: 11	Diff: 1	HasParallelism: true
examples/hoca/dfs-flatten.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/hoca/fib_llist.trs	Parallel-innermost confluent: YES	PDTs: 15	DTs: 14	Diff: 1	HasParallelism: true
examples/hoca/flatten.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 8	Diff: 2	HasParallelism: true
examples/hoca/foldsum.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/hoca/id.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/hoca/isort-fold.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/hoca/isort.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/hoca/mappplus.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 5	Diff: 1	HasParallelism: true
examples/hoca/mergesort-dc.trs	Parallel-innermost confluent: YES	PDTs: 29	DTs: 27	Diff: 2	HasParallelism: true
examples/hoca/mss.trs	Parallel-innermost confluent: YES	PDTs: 20	DTs: 20	Diff: 0	HasParallelism: false
examples/hoca/rev-dl.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/hoca/rev-fletf.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/hoca/rev-foldl.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/hoca/sum_sqs3.trs	Parallel-innermost confluent: YES	PDTs: 13	DTs: 12	Diff: 1	HasParallelism: true
examples/hoca/sum.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/Mixed_TRS/Ex1_Luc04b_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 22	DTs: 22	Diff: 0	HasParallelism: false
examples/Mixed_TRS/fossacs.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Mixed_TRS/gcdMinMax.trs	Parallel-innermost confluent: MAYBE	PDTs: 13	DTs: 11	Diff: 2	HasParallelism: true
examples/Mixed_TRS/gcd_triple.trs	Parallel-innermost confluent: MAYBE	PDTs: 20	DTs: 14	Diff: 6	HasParallelism: true
examples/Mixed_TRS/gcd.trs	Parallel-innermost confluent: MAYBE	PDTs: 13	DTs: 11	Diff: 2	HasParallelism: true
examples/Mixed_TRS/jones1.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Mixed_TRS/jones2.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Mixed_TRS/jones4.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Mixed_TRS/jones5.trs	Parallel-innermost confluent: MAYBE	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Mixed_TRS/jones6.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Mixed_TRS/minsort.trs	Parallel-innermost confluent: YES	PDTs: 19	DTs: 15	Diff: 4	HasParallelism: true
examples/Mixed_TRS/perfect2.trs	Parallel-innermost confluent: YES	PDTs: 16	DTs: 14	Diff: 2	HasParallelism: true
examples/Mixed_TRS/perfect.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 6	Diff: 1	HasParallelism: true
examples/Mixed_TRS/test1.trs	Parallel-innermost confluent: MAYBE	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Mixed_TRS/while.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/raML/appendAll.raml.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 12	Diff: 2	HasParallelism: true
examples/raML/bfs.raml.trs	Parallel-innermost confluent: YES	PDTs: 60	DTs: 57	Diff: 3	HasParallelism: true
examples/raML/bft_mmult.raml.trs	Parallel-innermost confluent: YES	PDTs: 62	DTs: 59	Diff: 3	HasParallelism: true
examples/raML/bitvectors.raml.trs	Parallel-innermost confluent: YES	PDTs: 157	DTs: 148	Diff: 9	HasParallelism: true
examples/raML/clevermmult.raml.trs	Parallel-innermost confluent: YES	PDTs: 42	DTs: 39	Diff: 3	HasParallelism: true
examples/raML/duplicates.raml.trs	Parallel-innermost confluent: YES	PDTs: 39	DTs: 37	Diff: 2	HasParallelism: true
examples/raML/dyade.raml.trs	Parallel-innermost confluent: YES	PDTs: 33	DTs: 31	Diff: 2	HasParallelism: true
examples/raML/eratosthenes.raml.trs	Parallel-innermost confluent: YES	PDTs: 75	DTs: 74	Diff: 1	HasParallelism: true
examples/raML/flatten.raml.trs	Parallel-innermost confluent: YES	PDTs: 32	DTs: 31	Diff: 1	HasParallelism: true
examples/raML/insertionsort.raml.trs	Parallel-innermost confluent: YES	PDTs: 48	DTs: 39	Diff: 9	HasParallelism: true
examples/raML/listsort.raml.trs	Parallel-innermost confluent: YES	PDTs: 59	DTs: 56	Diff: 3	HasParallelism: true
examples/raML/longestCommonSubsequence.raml.trs	Parallel-innermost confluent: YES	PDTs: 89	DTs: 87	Diff: 2	HasParallelism: true
examples/raML/matrix.raml.trs	Parallel-innermost confluent: YES	PDTs: 101	DTs: 78	Diff: 23	HasParallelism: true
examples/raML/mergesort.raml.trs	Parallel-innermost confluent: YES	PDTs: 36	DTs: 35	Diff: 1	HasParallelism: true
examples/raML/minsort.raml.trs	Parallel-innermost confluent: YES	PDTs: 26	DTs: 26	Diff: 0	HasParallelism: false
examples/raML/queue.raml.trs	Parallel-innermost confluent: YES	PDTs: 35	DTs: 35	Diff: 0	HasParallelism: false
examples/raML/quicksort.raml.trs	Parallel-innermost confluent: YES	PDTs: 60	DTs: 49	Diff: 11	HasParallelism: true
examples/raML/rationalPotential.raml.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 14	Diff: 0	HasParallelism: false
examples/raML/splitandsort.raml.trs	Parallel-innermost confluent: YES	PDTs: 74	DTs: 70	Diff: 4	HasParallelism: true
examples/raML/subtrees.raml.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Rubio_04/bintrees.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 5	Diff: 1	HasParallelism: true
examples/Rubio_04/division.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 9	Diff: 0	HasParallelism: false
examples/Rubio_04/elimdupl.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/Rubio_04/enno.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 13	Diff: 1	HasParallelism: true
examples/Rubio_04/gcd.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/Rubio_04/gmnp.trs	Parallel-innermost confluent: MAYBE	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Rubio_04/gm.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/Rubio_04/logarquot.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Rubio_04/ma96.trs	Parallel-innermost confluent: YES	PDTs: 26	DTs: 22	Diff: 4	HasParallelism: true
examples/Rubio_04/mfp95.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/Rubio_04/nestrec.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Rubio_04/polo2.trs	Parallel-innermost confluent: MAYBE	PDTs: 14	DTs: 9	Diff: 5	HasParallelism: true
examples/Rubio_04/prov.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Rubio_04/quick.trs	Parallel-innermost confluent: YES	PDTs: 16	DTs: 15	Diff: 1	HasParallelism: true
examples/Rubio_04/revlist.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 7	Diff: 1	HasParallelism: true
examples/Rubio_04/selsort.trs	Parallel-innermost confluent: YES	PDTs: 21	DTs: 20	Diff: 1	HasParallelism: true
examples/Rubio_04/test4.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Rubio_04/test829.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Rubio_04/wst99.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 9	Diff: 0	HasParallelism: false
examples/Secret_05_TRS/aprove2.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/Secret_05_TRS/aprove3.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 9	Diff: 1	HasParallelism: true
examples/Secret_05_TRS/cime4.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 5	Diff: 1	HasParallelism: true
examples/Secret_05_TRS/tpa1.trs	Parallel-innermost confluent: MAYBE	PDTs: 11	DTs: 9	Diff: 2	HasParallelism: true
examples/Secret_05_TRS/tpa2.trs	Parallel-innermost confluent: MAYBE	PDTs: 7	DTs: 5	Diff: 2	HasParallelism: true
examples/Secret_05_TRS/tpa3.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Secret_05_TRS/tpa4.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 8	Diff: 1	HasParallelism: true
examples/Secret_05_TRS/tpa5.trs	Parallel-innermost confluent: MAYBE	PDTs: 11	DTs: 9	Diff: 2	HasParallelism: true
examples/Secret_05_TRS/ttt2.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Secret_06_TRS/addList.trs	Parallel-innermost confluent: YES	PDTs: 30	DTs: 21	Diff: 9	HasParallelism: true
examples/Secret_06_TRS/division.trs	Parallel-innermost confluent: YES	PDTs: 12	DTs: 11	Diff: 1	HasParallelism: true
examples/Secret_06_TRS/double.trs	Parallel-innermost confluent: MAYBE	PDTs: 18	DTs: 17	Diff: 1	HasParallelism: true
examples/Secret_06_TRS/logarithm.trs	Parallel-innermost confluent: YES	PDTs: 18	DTs: 15	Diff: 3	HasParallelism: true
examples/Secret_06_TRS/nrOfNodes.trs	Parallel-innermost confluent: YES	PDTs: 19	DTs: 13	Diff: 6	HasParallelism: true
examples/Secret_06_TRS/reverse.trs	Parallel-innermost confluent: YES	PDTs: 15	DTs: 13	Diff: 2	HasParallelism: true
examples/Secret_06_TRS/sumList.trs	Parallel-innermost confluent: YES	PDTs: 22	DTs: 17	Diff: 5	HasParallelism: true
examples/Secret_06_TRS/toList.trs	Parallel-innermost confluent: YES	PDTs: 22	DTs: 14	Diff: 8	HasParallelism: true
examples/Secret_06_TRS/tpa04.trs	Parallel-innermost confluent: MAYBE	PDTs: 14	DTs: 12	Diff: 2	HasParallelism: true
examples/Secret_06_TRS/tpa05.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 9	Diff: 1	HasParallelism: true
examples/Secret_06_TRS/tpa06.trs	Parallel-innermost confluent: MAYBE	PDTs: 13	DTs: 11	Diff: 2	HasParallelism: true
examples/Secret_06_TRS/tpa07.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 7	Diff: 2	HasParallelism: true
examples/Secret_06_TRS/tpa08.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 7	Diff: 2	HasParallelism: true
examples/Secret_06_TRS/tpa09.trs	Parallel-innermost confluent: MAYBE	PDTs: 16	DTs: 13	Diff: 3	HasParallelism: true
examples/Secret_06_TRS/tpa10.trs	Parallel-innermost confluent: MAYBE	PDTs: 16	DTs: 14	Diff: 2	HasParallelism: true
examples/Secret_07_TRS/aprove01.trs	Parallel-innermost confluent: YES	PDTs: 30	DTs: 28	Diff: 2	HasParallelism: true
examples/Secret_07_TRS/aprove02.trs	Parallel-innermost confluent: MAYBE	PDTs: 26	DTs: 24	Diff: 2	HasParallelism: true
examples/Secret_07_TRS/aprove03.trs	Parallel-innermost confluent: YES	PDTs: 39	DTs: 32	Diff: 7	HasParallelism: true
examples/Secret_07_TRS/aprove04.trs	Parallel-innermost confluent: YES	PDTs: 26	DTs: 25	Diff: 1	HasParallelism: true
examples/Secret_07_TRS/aprove05.trs	Parallel-innermost confluent: YES	PDTs: 22	DTs: 21	Diff: 1	HasParallelism: true
examples/Secret_07_TRS/aprove06.trs	Parallel-innermost confluent: YES	PDTs: 25	DTs: 24	Diff: 1	HasParallelism: true
examples/Secret_07_TRS/aprove07.trs	Parallel-innermost confluent: YES	PDTs: 20	DTs: 19	Diff: 1	HasParallelism: true
examples/Secret_07_TRS/aprove08.trs	Parallel-innermost confluent: MAYBE	PDTs: 24	DTs: 20	Diff: 4	HasParallelism: true
examples/Secret_07_TRS/aprove09.trs	Parallel-innermost confluent: MAYBE	PDTs: 23	DTs: 20	Diff: 3	HasParallelism: true
examples/Secret_07_TRS/aprove10.trs	Parallel-innermost confluent: YES	PDTs: 18	DTs: 16	Diff: 2	HasParallelism: true
examples/Secret_07_TRS/secret3.trs	Parallel-innermost confluent: MAYBE	PDTs: 9	DTs: 9	Diff: 0	HasParallelism: false
examples/SK90/2.09.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/SK90/2.11.trs	Parallel-innermost confluent: MAYBE	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/SK90/2.12.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 9	Diff: 1	HasParallelism: true
examples/SK90/2.13.trs	Parallel-innermost confluent: MAYBE	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/SK90/2.15.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 4	Diff: 1	HasParallelism: true
examples/SK90/2.16.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/SK90/2.17.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/SK90/2.18.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/SK90/2.19.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 7	Diff: 2	HasParallelism: true
examples/SK90/2.20.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 4	Diff: 1	HasParallelism: true
examples/SK90/2.21.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 3	Diff: 1	HasParallelism: true
examples/SK90/2.22.trs	Parallel-innermost confluent: MAYBE	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/SK90/2.23.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/SK90/2.24.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 3	Diff: 1	HasParallelism: true
examples/SK90/2.25.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 5	Diff: 1	HasParallelism: true
examples/SK90/2.26.trs	Parallel-innermost confluent: YES	PDTs: 17	DTs: 12	Diff: 5	HasParallelism: true
examples/SK90/2.27.trs	Parallel-innermost confluent: MAYBE	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/SK90/2.28.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/SK90/2.29.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 7	Diff: 1	HasParallelism: true
examples/SK90/2.30.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/SK90/2.31.trs	Parallel-innermost confluent: MAYBE	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/SK90/2.36.trs	Parallel-innermost confluent: MAYBE	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/SK90/2.37.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/SK90/2.39.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/SK90/2.40.trs	Parallel-innermost confluent: MAYBE	PDTs: 7	DTs: 6	Diff: 1	HasParallelism: true
examples/SK90/2.41.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/SK90/2.43.trs	Parallel-innermost confluent: MAYBE	PDTs: 8	DTs: 7	Diff: 1	HasParallelism: true
examples/SK90/2.44.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 7	Diff: 1	HasParallelism: true
examples/SK90/2.45.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/SK90/2.47.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/SK90/2.48.trs	Parallel-innermost confluent: MAYBE	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/SK90/2.50.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/SK90/2.51.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/SK90/2.52.trs	Parallel-innermost confluent: MAYBE	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/SK90/2.53.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/SK90/2.54.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/SK90/4.05.trs	Parallel-innermost confluent: MAYBE	PDTs: 6	DTs: 4	Diff: 2	HasParallelism: true
examples/SK90/4.12.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/SK90/4.13.trs	Parallel-innermost confluent: MAYBE	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/SK90/4.16.trs	Parallel-innermost confluent: MAYBE	PDTs: 6	DTs: 5	Diff: 1	HasParallelism: true
examples/SK90/4.17.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/SK90/4.18.trs	Parallel-innermost confluent: MAYBE	PDTs: 4	DTs: 3	Diff: 1	HasParallelism: true
examples/SK90/4.24.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 6	Diff: 1	HasParallelism: true
examples/SK90/4.27.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/SK90/4.29.trs	Parallel-innermost confluent: MAYBE	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/SK90/4.30.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/SK90/4.31.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 4	Diff: 1	HasParallelism: true
examples/SK90/4.34.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/SK90/4.35.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/SK90/4.38.trs	Parallel-innermost confluent: MAYBE	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/SK90/4.42.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/SK90/4.47.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 2	Diff: 2	HasParallelism: true
examples/SK90/4.54.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 1	Diff: 3	HasParallelism: true
examples/SK90/4.57.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 5	Diff: 2	HasParallelism: true
examples/SK90/4.59.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 6	Diff: 3	HasParallelism: true
examples/SK90/4.60.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 6	Diff: 2	HasParallelism: true
examples/SK90/4.61.trs	Parallel-innermost confluent: YES	PDTs: 13	DTs: 11	Diff: 2	HasParallelism: true
examples/Strategy_removed_AG01/#4.22.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Strategy_removed_AG01/#4.23.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/Strategy_removed_AG01/#4.26.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Strategy_removed_AG01/#4.27.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 9	Diff: 1	HasParallelism: true
examples/Strategy_removed_AG01/#4.28.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/Strategy_removed_AG01/#4.29.trs	Parallel-innermost confluent: YES	PDTs: 12	DTs: 11	Diff: 1	HasParallelism: true
examples/Strategy_removed_AG01/#4.30a.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Strategy_removed_AG01/#4.30b.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/Strategy_removed_AG01/#4.30c.trs	Parallel-innermost confluent: MAYBE	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/Strategy_removed_AG01/#4.30.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Strategy_removed_AG01/#4.32.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Strategy_removed_AG01/#4.33.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/Strategy_removed_AG01/#4.34.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Strategy_removed_AG01/#4.36.trs	Parallel-innermost confluent: YES	PDTs: 19	DTs: 18	Diff: 1	HasParallelism: true
examples/Strategy_removed_AG01/#4.37.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex1_2_AEL03.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex1_2_Luc02c.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex14_AEGL02.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex15_Luc98.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 9	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex1_GL02a.trs	Parallel-innermost confluent: MAYBE	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex1_GM03.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 8	Diff: 1	HasParallelism: true
examples/Strategy_removed_CSR_05/Ex1_Luc02b.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex1_Zan97.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex26_Luc03b.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 9	Diff: 2	HasParallelism: true
examples/Strategy_removed_CSR_05/Ex2_Luc03b.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex3_12_Luc96a.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex3_2_Luc97.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 9	Diff: 2	HasParallelism: true
examples/Strategy_removed_CSR_05/Ex3_3_25_Bor03.trs	Parallel-innermost confluent: MAYBE	PDTs: 8	DTs: 7	Diff: 1	HasParallelism: true
examples/Strategy_removed_CSR_05/Ex4_4_Luc96b.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex4_7_15_Bor03.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex4_7_37_Bor03.trs	Parallel-innermost confluent: MAYBE	PDTs: 11	DTs: 10	Diff: 1	HasParallelism: true
examples/Strategy_removed_CSR_05/Ex4_7_56_Bor03.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex4_7_77_Bor03.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex49_GM04.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 9	Diff: 1	HasParallelism: true
examples/Strategy_removed_CSR_05/Ex4_Zan97.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex5_Zan97.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex6_9_Luc02c.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex6_GM04.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex6_Luc98.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex7_BLR02.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex8_BLR02.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/Ex9_BLR02.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/ExAppendixB_AEL03.trs	Parallel-innermost confluent: YES	PDTs: 13	DTs: 13	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/ExConc_Zan97.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/ExIntrod_GM01.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/ExIntrod_GM04.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Strategy_removed_CSR_05/ExIntrod_GM99.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 8	Diff: 1	HasParallelism: true
examples/Strategy_removed_CSR_05/ExIntrod_Zan97.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 10	Diff: 1	HasParallelism: true
examples/Strategy_removed_mixed_05/muladd.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Strategy_removed_mixed_05/test76.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/Strategy_removed_mixed_05/test77.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Strategy_removed_mixed_05/test830.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/TCT_12/polycounter-10.trs	Parallel-innermost confluent: YES	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/TCT_12/polycounter-5.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/TCT_12/recursion-10.trs	Parallel-innermost confluent: YES	PDTs: 31	DTs: 21	Diff: 10	HasParallelism: true
examples/TCT_12/recursion-5.trs	Parallel-innermost confluent: YES	PDTs: 16	DTs: 11	Diff: 5	HasParallelism: true
examples/TCT_12/sat.trs	Parallel-innermost confluent: YES	PDTs: 22	DTs: 19	Diff: 3	HasParallelism: true
examples/Transformed_CSR_04/Ex1_2_AEL03_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 47	DTs: 33	Diff: 14	HasParallelism: true
examples/Transformed_CSR_04/Ex1_2_Luc02c_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex14_AEGL02_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 13	DTs: 13	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex14_AEGL02_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 14	DTs: 14	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex14_AEGL02_L.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex14_AEGL02_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex15_Luc06_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex15_Luc06_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex15_Luc06_L.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex15_Luc06_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex15_Luc98_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 26	DTs: 25	Diff: 1	HasParallelism: true
examples/Transformed_CSR_04/Ex16_Luc06_L.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex18_Luc06_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex1_GL02a_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 23	DTs: 22	Diff: 1	HasParallelism: true
examples/Transformed_CSR_04/Ex1_GL02a_L.trs	Parallel-innermost confluent: YES	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex1_GM03_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 24	DTs: 20	Diff: 4	HasParallelism: true
examples/Transformed_CSR_04/Ex1_GM99_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 9	DTs: 9	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex1_GM99_L.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex1_Luc02b_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 18	DTs: 15	Diff: 3	HasParallelism: true
examples/Transformed_CSR_04/Ex1_Luc02b_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex1_Luc04b_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 13	DTs: 13	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex1_Luc04b_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 21	DTs: 21	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex1_Luc04b_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 9	DTs: 9	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex1_Zan97_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex1_Zan97_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex1_Zan97_L.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex23_Luc06_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex24_Luc06_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex24_Luc06_L.trs	Parallel-innermost confluent: YES	PDTs: 2	DTs: 2	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex25_Luc06_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex26_Luc03b_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 26	DTs: 24	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/Ex26_Luc03b_L.trs	Parallel-innermost confluent: YES	PDTs: 9	DTs: 9	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex2_Luc02a_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 28	DTs: 24	Diff: 4	HasParallelism: true
examples/Transformed_CSR_04/Ex2_Luc02a_L.trs	Parallel-innermost confluent: YES	PDTs: 10	DTs: 9	Diff: 1	HasParallelism: true
examples/Transformed_CSR_04/Ex2_Luc02a_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 15	DTs: 14	Diff: 1	HasParallelism: true
examples/Transformed_CSR_04/Ex2_Luc03b_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 21	DTs: 19	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/Ex2_Luc03b_L.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex2_Luc03b_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 17	DTs: 16	Diff: 1	HasParallelism: true
examples/Transformed_CSR_04/Ex3_12_Luc96a_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 12	DTs: 10	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/Ex3_12_Luc96a_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex3_2_Luc97_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 25	DTs: 23	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/Ex3_3_25_Bor03_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 21	DTs: 18	Diff: 3	HasParallelism: true
examples/Transformed_CSR_04/Ex3_3_25_Bor03_L.trs	Parallel-innermost confluent: MAYBE	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex4_4_Luc96b_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex4_4_Luc96b_L.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex4_4_Luc96b_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex4_7_15_Bor03_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex4_7_15_Bor03_L.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex4_7_15_Bor03_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex4_7_37_Bor03_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 33	DTs: 24	Diff: 9	HasParallelism: true
examples/Transformed_CSR_04/Ex4_7_37_Bor03_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 17	DTs: 15	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/Ex4_7_56_Bor03_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 12	DTs: 10	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/Ex4_7_56_Bor03_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex4_7_77_Bor03_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex4_7_77_Bor03_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex49_GM04_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 21	DTs: 21	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex4_DLMMU04_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 50	DTs: 42	Diff: 8	HasParallelism: true
examples/Transformed_CSR_04/Ex4_Zan97_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex4_Zan97_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 16	DTs: 14	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/Ex4_Zan97_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex5_7_Luc97_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 44	DTs: 39	Diff: 5	HasParallelism: true
examples/Transformed_CSR_04/Ex5_DLMMU04_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 34	DTs: 30	Diff: 4	HasParallelism: true
examples/Transformed_CSR_04/Ex5_Zan97_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 11	DTs: 10	Diff: 1	HasParallelism: true
examples/Transformed_CSR_04/Ex5_Zan97_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex6_15_AEL02_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 62	DTs: 48	Diff: 14	HasParallelism: true
examples/Transformed_CSR_04/Ex6_9_Luc02c_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex6_9_Luc02c_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 12	DTs: 10	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/Ex6_9_Luc02c_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex6_GM04_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex6_GM04_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex6_Luc98_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 12	DTs: 11	Diff: 1	HasParallelism: true
examples/Transformed_CSR_04/Ex6_Luc98_L.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex6_Luc98_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex7_BLR02_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 24	DTs: 21	Diff: 3	HasParallelism: true
examples/Transformed_CSR_04/Ex7_BLR02_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 12	DTs: 12	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex8_BLR02_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 13	DTs: 11	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/Ex8_BLR02_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 23	DTs: 17	Diff: 6	HasParallelism: true
examples/Transformed_CSR_04/Ex8_BLR02_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 9	DTs: 9	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex9_BLR02_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 19	DTs: 17	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/Ex9_BLR02_L.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex9_BLR02_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 13	DTs: 13	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/Ex9_Luc04_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 11	DTs: 9	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/Ex9_Luc04_L.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/ExAppendixB_AEL03_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 52	DTs: 36	Diff: 16	HasParallelism: true
examples/Transformed_CSR_04/ExAppendixB_AEL03_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 16	DTs: 16	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/ExConc_Zan97_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/ExConc_Zan97_GM.trs	Parallel-innermost confluent: YES	PDTs: 5	DTs: 5	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/ExConc_Zan97_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/ExIntrod_GM01_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 15	DTs: 15	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/ExIntrod_GM01_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 24	DTs: 24	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/ExIntrod_GM01_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 15	DTs: 15	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/ExIntrod_GM04_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 19	DTs: 17	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/ExIntrod_GM04_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 21	DTs: 21	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/ExIntrod_GM04_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 19	DTs: 17	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/ExIntrod_GM99_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 31	DTs: 28	Diff: 3	HasParallelism: true
examples/Transformed_CSR_04/ExIntrod_Zan97_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 31	DTs: 26	Diff: 5	HasParallelism: true
examples/Transformed_CSR_04/ExProp7_Luc06_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 10	DTs: 10	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/ExProp7_Luc06_L.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/ExProp7_Luc06_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/ExSec11_1_Luc02a_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 34	DTs: 30	Diff: 4	HasParallelism: true
examples/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 46	DTs: 36	Diff: 10	HasParallelism: true
examples/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 15	DTs: 14	Diff: 1	HasParallelism: true
examples/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 78	DTs: 78	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 123	DTs: 123	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 32	DTs: 32	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 53	DTs: 53	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 7	DTs: 7	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 15	DTs: 15	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 8	DTs: 8	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 18	DTs: 18	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/LISTUTILITIES_complete_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 210	DTs: 200	Diff: 10	HasParallelism: true
examples/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 417	DTs: 407	Diff: 10	HasParallelism: true
examples/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 100	DTs: 90	Diff: 10	HasParallelism: true
examples/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 178	DTs: 168	Diff: 10	HasParallelism: true
examples/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 53	DTs: 43	Diff: 10	HasParallelism: true
examples/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 98	DTs: 88	Diff: 10	HasParallelism: true
examples/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 43	DTs: 31	Diff: 12	HasParallelism: true
examples/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 18	DTs: 16	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/MYNAT_complete_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 67	DTs: 62	Diff: 5	HasParallelism: true
examples/Transformed_CSR_04/MYNAT_complete_noand_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 124	DTs: 119	Diff: 5	HasParallelism: true
examples/Transformed_CSR_04/MYNAT_nokinds_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 37	DTs: 32	Diff: 5	HasParallelism: true
examples/Transformed_CSR_04/MYNAT_nokinds_noand_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 55	DTs: 50	Diff: 5	HasParallelism: true
examples/Transformed_CSR_04/MYNAT_nosorts_FR.trs	Parallel-innermost confluent: YES	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/MYNAT_nosorts_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 19	DTs: 14	Diff: 5	HasParallelism: true
examples/Transformed_CSR_04/MYNAT_nosorts-noand_FR.trs	Parallel-innermost confluent: YES	PDTs: 14	DTs: 9	Diff: 5	HasParallelism: true
examples/Transformed_CSR_04/MYNAT_nosorts_noand_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 28	DTs: 23	Diff: 5	HasParallelism: true
examples/Transformed_CSR_04/OvConsOS_complete_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 100	DTs: 99	Diff: 1	HasParallelism: true
examples/Transformed_CSR_04/OvConsOS_complete_noand_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 178	DTs: 177	Diff: 1	HasParallelism: true
examples/Transformed_CSR_04/OvConsOS_nokinds_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 44	DTs: 43	Diff: 1	HasParallelism: true
examples/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 77	DTs: 76	Diff: 1	HasParallelism: true
examples/Transformed_CSR_04/OvConsOS_nosorts_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 12	DTs: 11	Diff: 1	HasParallelism: true
examples/Transformed_CSR_04/OvConsOS_nosorts_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 20	DTs: 19	Diff: 1	HasParallelism: true
examples/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.trs	Parallel-innermost confluent: MAYBE	PDTs: 22	DTs: 15	Diff: 7	HasParallelism: true
examples/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 32	DTs: 31	Diff: 1	HasParallelism: true
examples/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 21	DTs: 15	Diff: 6	HasParallelism: true
examples/Transformed_CSR_04/OvConsOS_nosorts_Z.trs	Parallel-innermost confluent: MAYBE	PDTs: 11	DTs: 11	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/PEANO_complete_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 43	DTs: 41	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/PEANO_complete_noand_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 73	DTs: 71	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/PEANO_nokinds_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 23	DTs: 21	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/PEANO_nokinds_noand_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 32	DTs: 30	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/PEANO_nosorts_FR.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Transformed_CSR_04/PEANO_nosorts_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 12	DTs: 10	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/PEANO_nosorts-noand_FR.trs	Parallel-innermost confluent: YES	PDTs: 7	DTs: 5	Diff: 2	HasParallelism: true
examples/Transformed_CSR_04/PEANO_nosorts_noand_GM.trs	Parallel-innermost confluent: MAYBE	PDTs: 15	DTs: 13	Diff: 2	HasParallelism: true
examples/Various_04/11.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 3	Diff: 1	HasParallelism: true
examples/Various_04/15.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Various_04/22.trs	Parallel-innermost confluent: YES	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Various_04/24.trs	Parallel-innermost confluent: YES	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Waldmann_06/jwmatchb1.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/Waldmann_06/jwmatchb2.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/Waldmann_06/jwno1.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/Waldmann_06/jwno4.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/Waldmann_06/jwno6.trs	Parallel-innermost confluent: YES	PDTs: 1	DTs: 1	Diff: 0	HasParallelism: false
examples/Zantema_05/z12.trs	Parallel-innermost confluent: MAYBE	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Zantema_05/z13.trs	Parallel-innermost confluent: MAYBE	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Zantema_05/z14.trs	Parallel-innermost confluent: MAYBE	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Zantema_05/z15.trs	Parallel-innermost confluent: MAYBE	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Zantema_05/z16.trs	Parallel-innermost confluent: MAYBE	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Zantema_05/z17.trs	Parallel-innermost confluent: MAYBE	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Zantema_05/z18.trs	Parallel-innermost confluent: MAYBE	PDTs: 3	DTs: 3	Diff: 0	HasParallelism: false
examples/Zantema_05/z23.trs	Parallel-innermost confluent: MAYBE	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false
examples/Zantema_05/z24.trs	Parallel-innermost confluent: MAYBE	PDTs: 6	DTs: 6	Diff: 0	HasParallelism: false
examples/Zantema_05/z27.trs	Parallel-innermost confluent: MAYBE	PDTs: 4	DTs: 4	Diff: 0	HasParallelism: false