Example	Thm. 12, POLO-7.1+7.2, no		Thm. 17, POLO-7.1+7.2, no		Thm. 26, POLO-7.1+7.2, no
JAR_TERM/TRS/AG01/#3.11.trs	MAYBE	1.22	YES	1.65	YES	1.37
JAR_TERM/TRS/AG01/#3.16.trs	MAYBE	0.75	YES	0.75	YES	0.90
JAR_TERM/TRS/AG01/#3.18.trs	MAYBE	0.80	MAYBE	0.81	YES	0.85
JAR_TERM/TRS/AG01/#3.55.trs	MAYBE	1.74	YES	1.32	YES	1.38
JAR_TERM/TRS/AG01/#3.56.trs	MAYBE	0.90	YES	0.76	YES	0.68
JAR_TERM/TRS/AProVE/AAECC-ring.trs	KILLED	60.00	MAYBE	58.30	KILLED	60.00
JAR_TERM/TRS/AProVE/IJCAR_1.trs	MAYBE	0.75	YES	0.75	YES	0.83
JAR_TERM/TRS/AProVE/IJCAR_12.trs	MAYBE	0.80	MAYBE	0.88	YES	0.98
JAR_TERM/TRS/AProVE/IJCAR_18.trs	MAYBE	1.39	MAYBE	1.02	YES	1.53
JAR_TERM/TRS/AProVE/JFP_Ex17.trs	MAYBE	1.27	YES	1.24	YES	1.53
JAR_TERM/TRS/AProVE/LPAR_intlist.trs	MAYBE	0.75	YES	0.75	YES	0.91
JAR_TERM/TRS/AProVE/improved_usable.trs	MAYBE	0.88	MAYBE	0.75	YES	0.72
JAR_TERM/TRS/AProVE/improved_usable2.trs	MAYBE	0.75	YES	0.70	YES	0.78
JAR_TERM/TRS/AProVE/rta1.trs	MAYBE	0.96	MAYBE	0.93	YES	0.89
JAR_TERM/TRS/Cime/big.trs	MAYBE	8.03	MAYBE	4.47	YES	3.65
JAR_TERM/TRS/Cime/boolean_rings.trs	MAYBE	0.96	YES	0.80	YES	0.78
JAR_TERM/TRS/Cime/intersect.trs	MAYBE	1.29	YES	1.45	YES	1.54
JAR_TERM/TRS/Cime/list-sum-prod-assoc-append.trs	MAYBE	1.22	MAYBE	1.06	YES	1.27
JAR_TERM/TRS/Cime/list-sum-prod-assoc.trs	MAYBE	1.11	MAYBE	0.93	YES	1.35
JAR_TERM/TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs	MAYBE	1.60	MAYBE	1.49	YES	1.78
JAR_TERM/TRS/Cime/list-sum-prod-bin-assoc.trs	MAYBE	1.37	MAYBE	1.24	YES	1.40
JAR_TERM/TRS/Cime/list-sum-prod-bin.trs	MAYBE	1.02	YES	1.06	YES	1.24
JAR_TERM/TRS/Cime/list-sum-prod.trs	MAYBE	0.90	YES	0.84	YES	0.83
JAR_TERM/TRS/Cime/log2.trs	MAYBE	1.83	YES	1.60	YES	1.76
JAR_TERM/TRS/Cime/lse.trs	MAYBE	1.69	MAYBE	1.64	YES	2.40
JAR_TERM/TRS/Cime/mucrl1.trs	MAYBE	44.23	YES	25.58	YES	25.80
JAR_TERM/TRS/Cime/ternary-hard.trs	MAYBE	1.49	MAYBE	1.66	YES	1.95
JAR_TERM/TRS/Cime/ternary.trs	MAYBE	1.34	MAYBE	1.56	YES	1.76
JAR_TERM/TRS/Cime/tree.trs	MAYBE	3.82	YES	2.35	YES	2.34
JAR_TERM/TRS/D33/06.trs	MAYBE	0.75	YES	0.70	YES	0.87
JAR_TERM/TRS/D33/08.trs	MAYBE	0.80	YES	0.80	YES	0.85
JAR_TERM/TRS/D33/11.trs	MAYBE	0.91	YES	1.07	YES	1.32
JAR_TERM/TRS/D33/12.trs	MAYBE	0.93	YES	0.80	YES	0.80
JAR_TERM/TRS/D33/28.trs	MAYBE	0.80	MAYBE	0.91	YES	0.78
JAR_TERM/TRS/D33/31.trs	MAYBE	0.91	MAYBE	1.32	YES	0.96
JAR_TERM/TRS/HM/t005.trs	MAYBE	4.74	YES	6.00	YES	5.77
JAR_TERM/TRS/HM/t009.trs	KILLED	60.00	MAYBE	53.86	MAYBE	55.11
JAR_TERM/TRS/HM/t012.trs	MAYBE	0.92	YES	0.91	YES	1.17
JAR_TERM/TRS/LJB01/jones2.trs	MAYBE	0.77	YES	0.91	YES	0.91
JAR_TERM/TRS/Rubio/aoto.trs	MAYBE	0.70	YES	0.70	YES	0.75
JAR_TERM/TRS/Rubio/bn122.trs	MAYBE	0.70	YES	0.75	YES	0.80
JAR_TERM/TRS/Rubio/ma96.trs	MAYBE	1.22	YES	1.56	YES	1.64
JAR_TERM/TRS/Rubio/polo2.trs	MAYBE	1.17	YES	1.38	YES	1.17
JAR_TERM/TRS/Rubio/quick.trs	MAYBE	1.24	YES	1.12	YES	1.27
JAR_TERM/TRS/Rubio/selsort.trs	MAYBE	1.49	YES	1.33	YES	1.37
JAR_TERM/TRS/SK90/2.07.trs	MAYBE	0.75	MAYBE	0.75	YES	0.78
JAR_TERM/TRS/SK90/2.10.trs	MAYBE	0.85	YES	0.96	YES	0.77
JAR_TERM/TRS/SK90/2.12.trs	MAYBE	0.84	YES	0.80	YES	0.85
JAR_TERM/TRS/SK90/2.13.trs	MAYBE	0.75	YES	0.80	YES	0.72
JAR_TERM/TRS/SK90/2.14.trs	MAYBE	0.83	YES	0.90	YES	0.96
JAR_TERM/TRS/SK90/2.16.trs	MAYBE	0.72	YES	0.80	YES	0.72
JAR_TERM/TRS/SK90/2.18.trs	MAYBE	0.75	YES	0.85	YES	0.75
JAR_TERM/TRS/SK90/2.19.trs	MAYBE	0.75	YES	1.84	YES	0.72
JAR_TERM/TRS/SK90/2.23.trs	MAYBE	0.80	MAYBE	0.80	YES	0.90
JAR_TERM/TRS/SK90/2.25.trs	MAYBE	0.75	YES	0.75	YES	0.80
JAR_TERM/TRS/SK90/2.26.trs	MAYBE	1.03	YES	0.85	YES	0.83
JAR_TERM/TRS/SK90/2.27.trs	MAYBE	0.81	YES	0.80	YES	0.85
JAR_TERM/TRS/SK90/2.34.trs	MAYBE	0.91	MAYBE	0.91	YES	0.85
JAR_TERM/TRS/SK90/2.50.trs	MAYBE	0.70	YES	0.85	YES	0.67
JAR_TERM/TRS/SK90/2.51.trs	MAYBE	0.96	MAYBE	0.75	YES	0.91
JAR_TERM/TRS/SK90/2.52.trs	MAYBE	1.02	MAYBE	1.01	YES	1.37
JAR_TERM/TRS/SK90/4.03.trs	MAYBE	0.75	YES	0.80	YES	0.77
JAR_TERM/TRS/SK90/4.05.trs	MAYBE	0.80	YES	0.75	YES	0.91
JAR_TERM/TRS/SK90/4.09.trs	MAYBE	0.75	YES	0.90	YES	0.77
JAR_TERM/TRS/SK90/4.10.trs	MAYBE	0.80	YES	0.80	YES	1.01
JAR_TERM/TRS/SK90/4.14.trs	MAYBE	0.85	YES	0.96	YES	0.91
JAR_TERM/TRS/SK90/4.20.trs	MAYBE	0.96	YES	0.81	YES	0.72
JAR_TERM/TRS/SK90/4.21.trs	MAYBE	0.80	YES	0.80	YES	0.80
JAR_TERM/TRS/SK90/4.22.trs	MAYBE	0.80	YES	1.01	YES	0.80
JAR_TERM/TRS/SK90/4.23.trs	MAYBE	0.75	MAYBE	0.85	YES	0.78
JAR_TERM/TRS/SK90/4.24.trs	MAYBE	0.75	MAYBE	0.80	YES	0.85
JAR_TERM/TRS/SK90/4.27.trs	MAYBE	0.75	YES	0.75	YES	0.80
JAR_TERM/TRS/SK90/4.30.trs	MAYBE	0.80	YES	0.96	YES	0.85
JAR_TERM/TRS/SK90/4.42.trs	MAYBE	0.85	MAYBE	0.86	YES	1.01
JAR_TERM/TRS/SK90/4.53.trs	MAYBE	0.75	YES	0.76	YES	0.72
JAR_TERM/TRS/TRCSR/Ex15_Luc98_Z.trs	MAYBE	0.91	YES	1.09	YES	1.11
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_FR.trs	MAYBE	5.85	YES	1.17	YES	1.14
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_GM.trs	MAYBE	2.15	MAYBE	2.16	KILLED	60.00
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_Z.trs	MAYBE	15.99	YES	1.06	YES	1.06
JAR_TERM/TRS/TRCSR/Ex1_2_Luc02c_C.trs	MAYBE	2.05	YES	1.84	YES	1.63
JAR_TERM/TRS/TRCSR/Ex1_2_Luc02c_FR.trs	MAYBE	0.80	YES	0.78	YES	0.83
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_FR.trs	MAYBE	0.91	YES	1.11	YES	1.22
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_Z.trs	MAYBE	0.90	YES	0.81	YES	0.72
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_FR.trs	MAYBE	1.09	YES	1.33	YES	1.43
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_L.trs	MAYBE	0.76	YES	0.75	YES	0.80
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_Z.trs	MAYBE	0.96	YES	0.81	YES	0.88
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_FR.trs	MAYBE	0.80	YES	0.72	YES	0.77
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_Z.trs	MAYBE	0.70	YES	0.75	YES	0.72
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_FR.trs	MAYBE	1.17	YES	1.42	YES	1.42
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_GM.trs	MAYBE	2.52	MAYBE	2.73	KILLED	60.00
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_Z.trs	MAYBE	1.12	YES	0.98	YES	0.93
JAR_TERM/TRS/TRCSR/Ex4_Zan97_FR.trs	MAYBE	0.83	MAYBE	0.91	YES	0.85
JAR_TERM/TRS/TRCSR/Ex4_Zan97_Z.trs	MAYBE	0.81	MAYBE	0.83	YES	1.16
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_GM.trs	MAYBE	4.50	MAYBE	4.50	KILLED	60.00
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_C.trs	MAYBE	2.39	YES	2.18	YES	2.28
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_FR.trs	MAYBE	0.80	YES	0.75	YES	0.82
JAR_TERM/TRS/TRCSR/Ex7_BLR02_FR.trs	MAYBE	0.93	YES	1.07	YES	1.42
JAR_TERM/TRS/TRCSR/Ex7_BLR02_Z.trs	MAYBE	0.77	YES	0.88	YES	0.98
JAR_TERM/TRS/TRCSR/Ex8_BLR02_FR.trs	MAYBE	0.90	YES	0.98	YES	1.01
JAR_TERM/TRS/TRCSR/Ex8_BLR02_Z.trs	MAYBE	0.96	YES	0.80	YES	0.85
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_FR.trs	MAYBE	6.49	YES	1.12	YES	1.10
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_GM.trs	MAYBE	2.62	MAYBE	2.65	KILLED	60.00
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_Z.trs	MAYBE	36.37	YES	0.96	YES	1.00
JAR_TERM/TRS/TRCSR/ExIntrod_GM04_GM.trs	MAYBE	1.22	YES	1.43	YES	1.26
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_FR.trs	MAYBE	1.29	YES	1.22	YES	1.48
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_L.trs	MAYBE	0.83	YES	0.88	YES	0.78
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_Z.trs	MAYBE	1.11	YES	0.91	YES	0.89
JAR_TERM/TRS/Zantema/z29.trs	MAYBE	0.80	MAYBE	0.80	YES	0.98
JAR_TERM/TRS/currying/D33/06.trs	MAYBE	0.80	YES	0.70	YES	0.67
JAR_TERM/TRS/currying/D33/08.trs	MAYBE	0.96	YES	1.03	YES	1.11
JAR_TERM/TRS/currying/D33/11.trs	MAYBE	2.05	YES	2.13	YES	2.36
JAR_TERM/TRS/currying/D33/18.trs	MAYBE	0.80	MAYBE	1.31	YES	0.85
JAR_TERM/TRS/higher-order/AProVE_HO/ReverseLastInit.trs	MAYBE	1.06	YES	1.07	YES	1.14
JAR_TERM/TRS/higher-order/Bird/BTreeMember.trs	MAYBE	1.32	MAYBE	2.77	YES	1.48
JAR_TERM/TRS/nontermin/AG01/#4.22.trs	MAYBE	0.91	YES	0.75	YES	0.91
JAR_TERM/TRS/nontermin/AG01/#4.23.trs	MAYBE	0.90	YES	0.80	YES	0.77
JAR_TERM/TRS/nontermin/AG01/#4.33.trs	MAYBE	2.49	YES	0.80	YES	0.77
JAR_TERM/TRS/nontermin/AG01/#4.34.trs	MAYBE	1.40	YES	0.85	YES	0.81
JAR_TERM/TRS/nontermin/AG01/#4.35.trs	MAYBE	1.32	YES	2.22	YES	1.65
JAR_TERM/TRS/nontermin/AG01/#4.36.trs	MAYBE	1.78	YES	1.23	YES	1.25
JAR_TERM/TRS/various/10.trs	MAYBE	1.53	YES	1.12	YES	1.32
JAR_TERM/TRS/various/12.trs	MAYBE	0.87	YES	0.96	YES	1.05
JAR_TERM/TRS/various/13.trs	MAYBE	1.27	YES	1.23	YES	1.58
JAR_TERM/TRS/various/14.trs	MAYBE	4.55	YES	2.47	YES	2.47