Example	Thm. 12, POLO-7.1, no		Thm. 17, POLO-7.1, no		Thm. 26, POLO-7.1, no
JAR_TERM/TRS/AG01/#3.11.trs	MAYBE	1.25	YES	1.14	YES	1.09
JAR_TERM/TRS/AG01/#3.16.trs	MAYBE	0.83	YES	0.79	YES	0.88
JAR_TERM/TRS/AG01/#3.18.trs	MAYBE	0.94	MAYBE	0.77	YES	0.72
JAR_TERM/TRS/AG01/#3.55.trs	MAYBE	1.61	YES	1.29	YES	1.24
JAR_TERM/TRS/AG01/#3.56.trs	MAYBE	0.67	YES	0.67	YES	0.91
JAR_TERM/TRS/AProVE/AAECC.trs	KILLED	60.00	MAYBE	18.34	KILLED	60.00
JAR_TERM/TRS/AProVE/IJCAR_1.trs	MAYBE	0.88	YES	0.79	YES	0.79
JAR_TERM/TRS/AProVE/IJCAR_12.trs	MAYBE	0.82	MAYBE	0.77	YES	0.82
JAR_TERM/TRS/AProVE/IJCAR_18.trs	MAYBE	1.40	MAYBE	1.10	YES	1.45
JAR_TERM/TRS/AProVE/JFP_Ex17.trs	MAYBE	1.15	YES	1.13	YES	1.21
JAR_TERM/TRS/AProVE/LPAR_intlist.trs	MAYBE	0.72	YES	0.79	YES	0.67
JAR_TERM/TRS/AProVE/improved_usable.trs	MAYBE	0.67	MAYBE	0.83	YES	0.75
JAR_TERM/TRS/AProVE/improved_usable2.trs	MAYBE	0.67	YES	0.73	YES	0.82
JAR_TERM/TRS/AProVE/rta1.trs	MAYBE	0.88	MAYBE	0.93	YES	0.91
JAR_TERM/TRS/Cime/big.trs	MAYBE	8.42	MAYBE	4.71	YES	3.80
JAR_TERM/TRS/Cime/boolean_rings.trs	MAYBE	0.77	YES	0.85	YES	0.72
JAR_TERM/TRS/Cime/intersect.trs	MAYBE	1.37	YES	1.29	YES	1.26
JAR_TERM/TRS/Cime/list-sum-prod-assoc-append.trs	MAYBE	1.29	MAYBE	1.08	YES	1.19
JAR_TERM/TRS/Cime/list-sum-prod-assoc.trs	MAYBE	0.98	MAYBE	0.88	YES	0.88
JAR_TERM/TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs	MAYBE	1.87	MAYBE	1.69	YES	1.79
JAR_TERM/TRS/Cime/list-sum-prod-bin-assoc.trs	MAYBE	1.34	MAYBE	1.34	YES	1.43
JAR_TERM/TRS/Cime/list-sum-prod-bin.trs	MAYBE	1.09	YES	0.98	YES	1.15
JAR_TERM/TRS/Cime/list-sum-prod.trs	MAYBE	0.77	YES	0.85	YES	0.86
JAR_TERM/TRS/Cime/log2.trs	MAYBE	2.00	YES	1.55	YES	1.71
JAR_TERM/TRS/Cime/lse.trs	MAYBE	1.40	MAYBE	2.02	KILLED	60.00
JAR_TERM/TRS/Cime/mucrl1.trs	MAYBE	45.46	YES	25.11	YES	25.06
JAR_TERM/TRS/Cime/ternary-hard.trs	MAYBE	2.02	MAYBE	2.02	YES	2.23
JAR_TERM/TRS/Cime/ternary.trs	MAYBE	2.16	MAYBE	1.76	YES	2.10
JAR_TERM/TRS/Cime/tree.trs	MAYBE	4.11	YES	2.35	YES	2.62
JAR_TERM/TRS/D33/06.trs	MAYBE	0.62	YES	0.73	YES	0.74
JAR_TERM/TRS/D33/08.trs	MAYBE	0.77	YES	0.72	YES	0.80
JAR_TERM/TRS/D33/11.trs	MAYBE	1.29	YES	1.03	YES	1.27
JAR_TERM/TRS/D33/12.trs	MAYBE	0.79	YES	0.96	YES	0.86
JAR_TERM/TRS/D33/28.trs	MAYBE	0.85	MAYBE	0.72	YES	0.95
JAR_TERM/TRS/D33/31.trs	MAYBE	0.72	MAYBE	0.72	YES	1.01
JAR_TERM/TRS/HM/t005.trs	MAYBE	5.56	YES	5.82	YES	5.64
JAR_TERM/TRS/HM/t012.trs	MAYBE	0.90	YES	0.77	YES	0.87
JAR_TERM/TRS/LJB01/jones2.trs	MAYBE	0.91	YES	0.62	YES	0.62
JAR_TERM/TRS/Rubio/aoto.trs	MAYBE	0.73	YES	0.61	YES	0.67
JAR_TERM/TRS/Rubio/bn122.trs	MAYBE	0.75	YES	0.67	YES	0.73
JAR_TERM/TRS/Rubio/ma96.trs	MAYBE	1.92	YES	1.29	YES	1.43
JAR_TERM/TRS/Rubio/polo2.trs	MAYBE	1.40	YES	1.16	YES	1.03
JAR_TERM/TRS/Rubio/quick.trs	MAYBE	1.19	YES	1.03	YES	1.08
JAR_TERM/TRS/Rubio/selsort.trs	MAYBE	1.66	YES	1.34	YES	1.29
JAR_TERM/TRS/SK90/2.07.trs	MAYBE	0.78	MAYBE	0.86	YES	0.72
JAR_TERM/TRS/SK90/2.10.trs	MAYBE	0.72	YES	0.72	YES	0.84
JAR_TERM/TRS/SK90/2.12.trs	MAYBE	0.72	YES	0.77	YES	0.79
JAR_TERM/TRS/SK90/2.13.trs	MAYBE	0.67	YES	0.67	YES	0.96
JAR_TERM/TRS/SK90/2.14.trs	MAYBE	0.74	YES	0.78	YES	0.61
JAR_TERM/TRS/SK90/2.16.trs	MAYBE	0.72	YES	0.72	YES	0.81
JAR_TERM/TRS/SK90/2.18.trs	MAYBE	0.67	YES	0.73	YES	0.72
JAR_TERM/TRS/SK90/2.19.trs	MAYBE	0.72	YES	0.79	YES	0.78
JAR_TERM/TRS/SK90/2.23.trs	MAYBE	0.84	MAYBE	0.94	YES	0.84
JAR_TERM/TRS/SK90/2.25.trs	MAYBE	0.67	YES	0.80	YES	0.67
JAR_TERM/TRS/SK90/2.26.trs	MAYBE	0.90	YES	0.90	YES	0.89
JAR_TERM/TRS/SK90/2.27.trs	MAYBE	0.72	YES	0.73	YES	0.72
JAR_TERM/TRS/SK90/2.34.trs	MAYBE	0.82	MAYBE	0.77	YES	1.01
JAR_TERM/TRS/SK90/2.50.trs	MAYBE	0.73	YES	0.73	YES	0.71
JAR_TERM/TRS/SK90/2.51.trs	MAYBE	0.84	MAYBE	0.80	YES	0.84
JAR_TERM/TRS/SK90/2.52.trs	MAYBE	1.03	MAYBE	1.16	YES	1.19
JAR_TERM/TRS/SK90/4.03.trs	MAYBE	0.77	YES	0.72	YES	0.72
JAR_TERM/TRS/SK90/4.05.trs	MAYBE	0.94	YES	0.72	YES	0.79
JAR_TERM/TRS/SK90/4.09.trs	MAYBE	0.83	YES	0.72	YES	0.84
JAR_TERM/TRS/SK90/4.10.trs	MAYBE	0.82	YES	0.72	YES	0.83
JAR_TERM/TRS/SK90/4.14.trs	MAYBE	0.90	YES	1.00	YES	0.88
JAR_TERM/TRS/SK90/4.20.trs	MAYBE	0.88	YES	0.79	YES	0.84
JAR_TERM/TRS/SK90/4.21.trs	MAYBE	0.82	YES	0.96	YES	0.72
JAR_TERM/TRS/SK90/4.22.trs	MAYBE	0.79	YES	0.80	YES	0.72
JAR_TERM/TRS/SK90/4.23.trs	MAYBE	0.88	MAYBE	0.80	YES	0.77
JAR_TERM/TRS/SK90/4.24.trs	MAYBE	0.96	MAYBE	0.83	YES	0.84
JAR_TERM/TRS/SK90/4.27.trs	MAYBE	0.72	YES	0.72	YES	0.91
JAR_TERM/TRS/SK90/4.30.trs	MAYBE	0.80	YES	0.83	YES	0.94
JAR_TERM/TRS/SK90/4.42.trs	MAYBE	0.88	MAYBE	0.83	YES	0.89
JAR_TERM/TRS/SK90/4.53.trs	MAYBE	0.94	YES	0.83	YES	0.88
JAR_TERM/TRS/TRCSR/Ex15_Luc98_Z.trs	MAYBE	1.40	YES	1.22	YES	0.88
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_FR.trs	MAYBE	5.71	YES	1.11	YES	1.11
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_Z.trs	MAYBE	8.27	YES	0.98	YES	0.98
JAR_TERM/TRS/TRCSR/Ex1_2_Luc02c_C.trs	MAYBE	1.95	YES	1.76	YES	1.61
JAR_TERM/TRS/TRCSR/Ex1_2_Luc02c_FR.trs	MAYBE	0.83	YES	0.94	YES	0.72
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_FR.trs	MAYBE	0.87	YES	0.82	YES	0.98
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_Z.trs	MAYBE	0.77	YES	0.72	YES	0.78
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_FR.trs	MAYBE	1.06	YES	1.14	YES	1.26
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_L.trs	MAYBE	0.84	YES	0.75	YES	0.79
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_Z.trs	MAYBE	1.17	YES	0.72	YES	1.00
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_FR.trs	MAYBE	0.80	YES	0.72	YES	0.84
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_Z.trs	MAYBE	0.75	YES	0.75	YES	0.79
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_FR.trs	MAYBE	1.09	YES	1.24	YES	1.40
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_GM.trs	MAYBE	56.16	MAYBE	36.49	KILLED	60.00
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_Z.trs	MAYBE	0.98	YES	0.93	YES	0.95
JAR_TERM/TRS/TRCSR/Ex4_Zan97_FR.trs	MAYBE	0.82	MAYBE	0.95	YES	0.77
JAR_TERM/TRS/TRCSR/Ex4_Zan97_Z.trs	MAYBE	0.89	MAYBE	0.80	YES	0.72
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_GM.trs	MAYBE	11.00	MAYBE	10.13	KILLED	60.00
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_C.trs	MAYBE	2.73	YES	2.23	YES	2.23
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_FR.trs	MAYBE	0.79	YES	0.72	YES	0.69
JAR_TERM/TRS/TRCSR/Ex7_BLR02_FR.trs	MAYBE	1.06	YES	0.88	YES	0.98
JAR_TERM/TRS/TRCSR/Ex7_BLR02_GM.trs	MAYBE	2.87	MAYBE	2.92	KILLED	60.00
JAR_TERM/TRS/TRCSR/Ex7_BLR02_Z.trs	MAYBE	0.85	YES	0.85	YES	0.78
JAR_TERM/TRS/TRCSR/Ex8_BLR02_FR.trs	MAYBE	0.82	YES	1.06	YES	0.88
JAR_TERM/TRS/TRCSR/Ex8_BLR02_GM.trs	MAYBE	2.54	MAYBE	2.54	KILLED	60.00
JAR_TERM/TRS/TRCSR/Ex8_BLR02_Z.trs	MAYBE	1.01	YES	0.72	YES	0.85
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_FR.trs	MAYBE	8.68	YES	1.03	YES	1.15
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_Z.trs	MAYBE	36.91	YES	1.01	YES	0.93
JAR_TERM/TRS/TRCSR/ExIntrod_GM04_GM.trs	MAYBE	1.25	YES	1.35	YES	1.24
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_GM.trs	MAYBE	3.58	MAYBE	3.95	KILLED	60.00
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_GM.trs	MAYBE	3.32	MAYBE	3.57	KILLED	60.00
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_FR.trs	MAYBE	1.73	YES	1.26	YES	1.31
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_GM.trs	MAYBE	9.55	MAYBE	6.24	KILLED	60.00
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_L.trs	MAYBE	0.91	YES	0.80	YES	0.78
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_Z.trs	MAYBE	1.09	YES	0.95	YES	1.03
JAR_TERM/TRS/Zantema/z29.trs	MAYBE	0.99	MAYBE	0.98	YES	0.90
JAR_TERM/TRS/currying/D33/06.trs	MAYBE	0.67	YES	0.73	YES	0.73
JAR_TERM/TRS/currying/D33/08.trs	MAYBE	1.03	YES	0.98	YES	1.12
JAR_TERM/TRS/currying/D33/11.trs	MAYBE	2.03	YES	1.86	YES	1.97
JAR_TERM/TRS/currying/D33/18.trs	MAYBE	0.77	MAYBE	0.98	YES	0.89
JAR_TERM/TRS/higher-order/AProVE_HO/ReverseLastInit.trs	MAYBE	1.06	YES	1.06	YES	1.21
JAR_TERM/TRS/higher-order/Bird/BTreeMember.trs	MAYBE	1.29	MAYBE	1.24	YES	1.34
JAR_TERM/TRS/nontermin/AG01/#4.22.trs	MAYBE	0.67	YES	0.78	YES	0.67
JAR_TERM/TRS/nontermin/AG01/#4.23.trs	MAYBE	0.80	YES	0.84	YES	0.96
JAR_TERM/TRS/nontermin/AG01/#4.33.trs	MAYBE	0.77	YES	0.80	YES	0.85
JAR_TERM/TRS/nontermin/AG01/#4.34.trs	MAYBE	0.72	YES	0.77	YES	0.77
JAR_TERM/TRS/nontermin/AG01/#4.35.trs	MAYBE	1.97	YES	1.58	YES	1.43
JAR_TERM/TRS/nontermin/AG01/#4.36.trs	MAYBE	1.35	YES	1.25	YES	1.32
JAR_TERM/TRS/secret2005/cime3.trs	MAYBE	2.34	MAYBE	2.28	KILLED	60.00
JAR_TERM/TRS/various/04.trs	KILLED	60.00	MAYBE	7.48	MAYBE	7.58
JAR_TERM/TRS/various/05.trs	KILLED	60.00	MAYBE	7.43	MAYBE	7.33
JAR_TERM/TRS/various/10.trs	MAYBE	1.52	YES	1.08	YES	1.08
JAR_TERM/TRS/various/12.trs	MAYBE	1.17	YES	0.93	YES	0.99
JAR_TERM/TRS/various/13.trs	MAYBE	1.19	YES	1.14	YES	1.31
JAR_TERM/TRS/various/14.trs	MAYBE	4.57	YES	2.02	YES	2.50