Runtime Complexity: TRS

cat.	samples	✘ unsound	compliant	no values	unk	*	VBS O	=	^	VSB θ	✔
NOT_NONP	653	31 (4.7%)	519 (79.5%)	74 (11.3%)	29 (4.4%)	306 (46.9%)	347	175 (50.4%)	48 (13.8%)	215	155 (72.1%)
TERMINATING	427	58 (13.6%)	288 (67.4%)	59 (13.8%)	22 (5.2%)	110 (25.8%)	320	139 (43.4%)	46 (14.4%)	221	132 (59.7%)
NOT_NON_TERMINATING	796	137 (17.2%)	558 (70.1%)	73 (9.2%)	28 (3.5%)	304 (38.2%)	492	216 (43.9%)	48 (9.8%)	362	196 (54.1%)
FP	215	12 (5.6%)	155 (72.1%)	47 (21.9%)	1 (0.5%)	90 (41.9%)	128	57 (44.5%)	11 (8.6%)	62	44 (71.0%)
NOT_NONP_TERMINATING	358	23 (6.4%)	256 (71.5%)	58 (16.2%)	21 (5.9%)	110 (30.7%)	251	107 (42.6%)	46 (18.3%)	154	100 (64.9%)
NOT_NONP_NOT_NON_TERMINATING	643	31 (4.8%)	513 (79.8%)	72 (11.2%)	27 (4.2%)	304 (47.3%)	339	171 (50.4%)	48 (14.2%)	211	151 (71.6%)
NOT_NONP_FP	168	5 (3.0%)	140 (83.3%)	23 (13.7%)	0 (0.0%)	90 (53.6%)	81	42 (51.9%)	11 (13.6%)	40	29 (72.5%)
TERMINATING_FP	111	7 (6.3%)	80 (72.1%)	24 (21.6%)	0 (0.0%)	30 (27.0%)	81	42 (51.9%)	11 (13.6%)	52	39 (75.0%)
NOT_NON_TERMINATING_FP	187	8 (4.3%)	155 (82.9%)	24 (12.8%)	0 (0.0%)	90 (48.1%)	100	57 (57.0%)	11 (11.0%)	58	44 (75.9%)
NOT_NONP_TERMINATING_FP	96	5 (5.2%)	68 (70.8%)	23 (24.0%)	0 (0.0%)	30 (31.2%)	66	30 (45.5%)	11 (16.7%)	38	27 (71.1%)
NOT_NONP_NOT_NON_TERMINATING_FP	168	5 (3.0%)	140 (83.3%)	23 (13.7%)	0 (0.0%)	90 (53.6%)	81	42 (51.9%)	11 (13.6%)	40	29 (72.5%)
ALL	959	203 (21.2%)	568 (59.2%)	113 (11.8%)	75 (7.8%)	306 (31.9%)	653	224 (34.3%)	48 (7.4%)	436	204 (46.8%)

benchmark	pred.	term.	FP	aprove	aprove_cert	tct	tct_cert	VBS	res	# meas.	duration [ms]
TRS \| \| Secret_05_TRS/cime3.xml	1	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	7499	3392
TRS \| \| Secret_05_TRS/tpa5.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	2006	3190
TRS \| \| Secret_05_TRS/tpa1.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1461	3178
TRS \| \| Secret_05_TRS/ttt1.xml	no values	NO	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		0	1096
TRS \| \| Secret_05_TRS/tpa3.xml	n^3	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	1618	3265
TRS \| \| Secret_05_TRS/ttt2.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		3	1117
TRS \| \| Secret_05_TRS/cime5.xml	n^3	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	12689	3412
TRS \| \| Secret_05_TRS/aprove3.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	690	3184
TRS \| \| Secret_05_TRS/cime4.xml	?	MAYBE	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		13	1216
TRS \| \| Secret_05_TRS/aprove5.xml	1	MAYBE	False	(n,n^3)	(?,?)	(n,n^3)	(n,?)	(n,n^3)	✘	18	1161
TRS \| \| Secret_05_TRS/tpa4.xml	exp	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(?,?)	(n^2,)	*	1530	3226
TRS \| \| Secret_05_TRS/cime2.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	4337	3209
TRS \| \| Secret_05_TRS/aprove2.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	4409	3263
TRS \| \| Secret_05_TRS/aprove4.xml	n^3	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	1573	3380
TRS \| \| Secret_05_TRS/tpa2.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	919	3266
TRS \| \| GTSSK07/cade13t.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	4280	3251
TRS \| \| GTSSK07/cade16.xml	n^2	MAYBE	True	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	=	2498	3258
TRS \| \| GTSSK07/cade09.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	7098	3379
TRS \| \| GTSSK07/cade11.xml	n	MAYBE	True	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	*	2886	4820
TRS \| \| GTSSK07/cade17.xml	n^3	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	2014	3281
TRS \| \| GTSSK07/cade10.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	7517	3328
TRS \| \| GTSSK07/cade12t.xml	n	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	6329	3258
TRS \| \| GTSSK07/cade14.xml	n^2	MAYBE	True	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	=	2198	3350
TRS \| \| GTSSK07/cade04t.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2501	3460
TRS \| \| GTSSK07/cade05t.xml	n^2	MAYBE	False	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	=	1109	3340
TRS \| \| GTSSK07/cade15.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	10151	3410
TRS \| \| GTSSK07/cade06.xml	n	MAYBE	False	(n,n^2)	(?,?)	(n,n^2)	(?,?)	(n,n^2)	*	16314	3409
TRS \| \| GTSSK07/cade03.xml	n^2	MAYBE	True	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	=	1505	3283
TRS \| \| GTSSK07/cade07.xml	n	MAYBE	False	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	*	3802	4349
TRS \| \| GTSSK07/cade01.xml	n^2	MAYBE	True	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	=	1484	3290
TRS \| \| GTSSK07/cade08.xml	n^2	MAYBE	False	(n,n^2)	(?,?)	(n,n^2)	(?,?)	(n,n^2)	=	13041	3344
TRS \| \| CiME_04/filliatre2.xml	exp	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	7687	3240
TRS \| \| CiME_04/append.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	963	3306
TRS \| \| CiME_04/maude2.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	73	1239
TRS \| \| CiME_04/list-sum-prod-bin-assoc-distr-app.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	21801	3400
TRS \| \| CiME_04/fact-hard.xml	exp	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	2120	3320
TRS \| \| CiME_04/ternary.xml	exp	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	6231	3281
TRS \| \| CiME_04/dpqs.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		8	1172
TRS \| \| CiME_04/tree.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	4384	3235
TRS \| \| CiME_04/big.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	23931	3446
TRS \| \| CiME_04/lse.xml	n	YES	False	(n^2,n^2)	(?,?)	(n^2,n^2)	(n,n^2)	(n^2,n^2)	✘	11244	3269
TRS \| \| CiME_04/ack_prolog.xml	exp	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1396	3235
TRS \| \| CiME_04/mucrl1.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	4316	3508
TRS \| \| CiME_04/ternary-hard.xml	n^2	YES	False	(?,?)	(?,?)	(n,?)	(n,?)	(n,)	*	7673	3233
TRS \| \| CiME_04/list-sum-prod-bin.xml	n^2	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	95540	3724
TRS \| \| CiME_04/list-sum-prod.xml	n^2	YES	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	41986	3396
TRS \| \| CiME_04/list-sum-prod-assoc.xml	n^2	YES	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	30883	3371
TRS \| \| CiME_04/list-sum-prod-bin-assoc.xml	n^2	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	54619	3465
TRS \| \| CiME_04/append-wrong.xml	1	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	13	1148
TRS \| \| CiME_04/filliatre3.xml	n^3	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	14764	3305
TRS \| \| CiME_04/filliatre.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	13146	3247
TRS \| \| CiME_04/append-hard.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1071	3301
TRS \| \| CiME_04/intersect.xml	exp	YES	False	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	^	6980	3295
TRS \| \| CiME_04/list-sum-prod-assoc-append.xml	n	YES	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	✘	16205	3301
TRS \| \| CiME_04/log2.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	6547	3279
TRS \| \| AG01/#3.40.xml	n^2	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	^	4335	3233
TRS \| \| AG01/#3.24.xml	n^2	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	^	3766	4386
TRS \| \| AG01/#3.53a.xml	no values	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		0	1094
TRS \| \| AG01/#3.15.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	20755	3413
TRS \| \| AG01/#3.6a.xml	n^2	YES	True	(n,?)	(?,?)	(n,n^2)	(n,n^2)	(n,n^2)	=	3283	3323
TRS \| \| AG01/#3.17a.xml	n^3	YES	False	(n,n^2)	(?,?)	(n,n^2)	(?,?)	(n,n^2)	^	4463	3180
TRS \| \| AG01/#3.52.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1093
TRS \| \| AG01/#3.13.xml	n	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	12187	3394
TRS \| \| AG01/#3.53b.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1096
TRS \| \| AG01/#3.33.xml	no values	YES	True	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		0	1151
TRS \| \| AG01/#3.17.xml	n^3	YES	False	(n,n^2)	(?,?)	(n,n^2)	(?,?)	(n,n^2)	^	4587	3179
TRS \| \| AG01/#3.1.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1728	3179
TRS \| \| AG01/#3.41.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n^2)	(n,n)	✔	299	3259
TRS \| \| AG01/#3.53.xml	n^2	YES	True	(n^3,n^3)	(?,?)	(n^3,n^3)	(n,?)	(n^3,n^3)	✘	6830	3251
TRS \| \| AG01/#3.6b.xml	exp	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3345	3405
TRS \| \| AG01/#3.6.xml	n^2	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2837	3275
TRS \| \| AG01/#3.56.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1011	3226
TRS \| \| AG01/#3.22.xml	exp	YES	False	(n^2,n^2)	(?,?)	(n^2,n^2)	(?,?)	(n^2,n^2)	^	3413	3154
TRS \| \| AG01/#3.38.xml	exp	YES	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	1748	3343
TRS \| \| AG01/#3.5.xml	n^2	YES	True	(n,n)	(?,?)	(n,n)	(n,n^2)	(n,n)	^	4666	4347
TRS \| \| AG01/#3.29.xml	no values	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		0	1096
TRS \| \| AG01/#3.8a.xml	n^2	YES	True	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	^	1720	3243
TRS \| \| AG01/#3.54.xml	exp	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	26	1116
TRS \| \| AG01/#3.51.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	6201	3864
TRS \| \| AG01/#3.2.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	1684	3230
TRS \| \| AG01/#3.16.xml	exp	YES	False	(n^2,n^3)	(?,?)	(n^2,n^3)	(n,?)	(n^2,n^3)	^	2983	3231
TRS \| \| AG01/#3.49.xml	no values	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1097
TRS \| \| AG01/#3.35.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	3053	4479
TRS \| \| AG01/#3.31.xml	no values	YES	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1097
TRS \| \| AG01/#3.39.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	11006	3254
TRS \| \| AG01/#4.30c.xml	n^2	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2331	3398
TRS \| \| AG01/#3.26.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	453	3211
TRS \| \| AG01/#3.7.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	2220	4087
TRS \| \| AG01/#3.37.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	6066	4549
TRS \| \| AG01/#3.57.xml	n^3	YES	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	4406	3247
TRS \| \| AG01/#3.42.xml	n	YES	True	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	1433	3372
TRS \| \| AG01/#3.48.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	4571	4103
TRS \| \| AG01/#3.5a.xml	n^2	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	4373	4353
TRS \| \| AG01/#3.19.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	10666	3300
TRS \| \| AG01/#3.47.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)		0	1104
TRS \| \| AG01/#3.36.xml	n^3	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2550	5183
TRS \| \| AG01/#3.4.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	6274	3213
TRS \| \| AG01/#3.23.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	3997	4483
TRS \| \| AG01/#3.18.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	5516	3308
TRS \| \| AG01/#3.10.xml	n	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	7674	3377
TRS \| \| AG01/#3.12.xml	n^2	YES	True	(n^3,n^3)	(?,?)	(n^3,n^3)	(n,n^3)	(n^3,n^3)	✘	998	3259
TRS \| \| AG01/#3.55.xml	n	YES	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	✘	4616	3301
TRS \| \| AG01/#3.5b.xml	exp	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3044	3373
TRS \| \| AG01/#3.8b.xml	n^3	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2819	3400
TRS \| \| Zantema_05/z17.xml	no values	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1094
TRS \| \| Zantema_05/z18.xml	no values	MAYBE	False	(?,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1095
TRS \| \| Zantema_05/z15.xml	no values	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1107
TRS \| \| Zantema_05/z14.xml	no values	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1107
TRS \| \| Zantema_05/z23.xml	no values	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)		0	1109
TRS \| \| Zantema_05/z26.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1110
TRS \| \| Zantema_05/z27.xml	no values	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1108
TRS \| \| Zantema_05/z24.xml	no values	MAYBE	False	(?,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1162
TRS \| \| Zantema_05/z12.xml	no values	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1104
TRS \| \| Zantema_05/z16.xml	no values	MAYBE	False	(?,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1108
TRS \| \| Zantema_05/z13.xml	no values	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1106
TRS \| \| Zantema_05/z28.xml	no values	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)		0	1109
TRS \| \| Zantema_05/z10.xml	n	MAYBE	False	(?,?)	(?,?)	(n,?)	(n,?)	(n,)	*	7022	3198
TRS \| \| Endrullis_06/direct.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1100
TRS \| \| AProVE_04/Liveness_WRS.xml	1	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✘	11	1204
TRS \| \| AProVE_04/Liveness6.2.xml	n	YES	False	(n,?)	(?,?)	(n,n^2)	(n,n^2)	(n,n^2)	*	48127	3477
TRS \| \| AProVE_04/LPAR_intlist.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1471	3488
TRS \| \| AProVE_04/Liveness6.4.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	1835	3223
TRS \| \| AProVE_04/AAECC-ring.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	4282	3703
TRS \| \| AProVE_04/rta3.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	14208	3273
TRS \| \| AProVE_04/JFP_Ex51.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	8027	3233
TRS \| \| AProVE_04/Liveness6.3.xml	no values	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1098
TRS \| \| AProVE_04/IJCAR_26.xml	n^2	YES	False	(n^3,n^4)	(?,?)	(n^3,n^4)	(n,?)	(n^3,n^4)	✘	5101	3402
TRS \| \| AProVE_04/fac.xml	exp	YES	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	1607	3209
TRS \| \| AProVE_04/Liveness8.xml	1	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✘	18	1169
TRS \| \| AProVE_04/JFP_Ex31.xml	1	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✘	82	1140
TRS \| \| AProVE_04/IJCAR_12.xml	n^2	YES	False	(n^2,n^2)	(?,?)	(n^2,n^2)	(n,?)	(n^2,n^2)	✔	4801	3255
TRS \| \| AProVE_04/rta2.xml	no values	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1098
TRS \| \| AProVE_04/IJCAR_1.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	14506	3401
TRS \| \| AProVE_04/rta1.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	7074	3216
TRS \| \| AProVE_04/AAECC.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	5708	3653
TRS \| \| AProVE_04/Liveness6.1.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	1263	3373
TRS \| \| AProVE_04/IJCAR_18.xml	n^2	YES	False	(n^2,n^3)	(?,?)	(n^2,n^3)	(n,?)	(n^2,n^3)	*	5009	3391
TRS \| \| AProVE_04/IJCAR_26a.xml	n^2	YES	False	(n^3,n^4)	(?,?)	(n^3,n^4)	(n,?)	(n^3,n^4)	✘	5176	3360
TRS \| \| AProVE_07/otto07.xml	n^2	MAYBE	True	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	=	1395	3252
TRS \| \| AProVE_07/thiemann13.xml	n^3	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	4710	3301
TRS \| \| AProVE_07/thiemann36.xml	n^2	MAYBE	True	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	=	7685	3289
TRS \| \| AProVE_07/thiemann21.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	24922	3611
TRS \| \| AProVE_07/thiemann02.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	15285	3399
TRS \| \| AProVE_07/wiehe09.xml	exp	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	3176	3284
TRS \| \| AProVE_07/thiemann30.xml	n	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	23466	4476
TRS \| \| AProVE_07/otto05.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3695	3320
TRS \| \| AProVE_07/thiemann34.xml	n^2	MAYBE	True	(n,n^2)	(?,?)	(n,n^2)	(?,?)	(n,n^2)	=	13175	3594
TRS \| \| AProVE_07/thiemann24.xml	exp	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	4171	4272
TRS \| \| AProVE_07/thiemann15.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2608	3364
TRS \| \| AProVE_07/otto03.xml	n^2	MAYBE	True	(n,n^2)	(?,?)	(n,n^2)	(?,?)	(n,n^2)	=	1523	3279
TRS \| \| AProVE_07/thiemann20.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2915	3410
TRS \| \| AProVE_07/otto01.xml	n^2	YES	True	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	^	3916	3311
TRS \| \| AProVE_07/thiemann33.xml	exp	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1859	3656
TRS \| \| AProVE_07/thiemann27.xml	n^2	MAYBE	True	(n,n^2)	(?,?)	(n,n^2)	(?,?)	(n,n^2)	=	1478	3232
TRS \| \| AProVE_07/kabasci05.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	5138	3262
TRS \| \| AProVE_07/thiemann16.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	6874	3452
TRS \| \| AProVE_07/thiemann28.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	4442	3221
TRS \| \| AProVE_07/otto11.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	5812	3261
TRS \| \| AProVE_07/thiemann25.xml	exp	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	10865	3265
TRS \| \| AProVE_07/wiehe03.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	3268	3272
TRS \| \| AProVE_07/kabasci01.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	124	1176
TRS \| \| AProVE_07/thiemann17.xml	n^2	MAYBE	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	37513	3444
TRS \| \| AProVE_07/thiemann31.xml	n^2	MAYBE	True	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	=	8008	3301
TRS \| \| AProVE_07/wiehe02.xml	n^2	MAYBE	False	(n^2,?)	(?,?)	(n^2,?)	(?,?)	(n^2,)	*	3026	3259
TRS \| \| AProVE_07/thiemann14.xml	n^2	MAYBE	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	3746	3248
TRS \| \| AProVE_07/thiemann01.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	8447	3260
TRS \| \| AProVE_07/thiemann05.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	5084	3312
TRS \| \| AProVE_07/otto13.xml	n	MAYBE	True	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	*	3375	3291
TRS \| \| AProVE_07/wiehe11.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	4318	3263
TRS \| \| AProVE_07/wiehe12.xml	n	MAYBE	False	(n^2,?)	(?,?)	(n^2,?)	(?,?)	(n^2,)	✘	10202	3285
TRS \| \| AProVE_07/otto06.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	6281	3588
TRS \| \| AProVE_07/thiemann03.xml	exp	MAYBE	False	(n^3,?)	(?,?)	(n^3,?)	(n,?)	(n^3,)	*	1415	3224
TRS \| \| AProVE_07/kabasci03.xml	n	MAYBE	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)	^	74	1112
TRS \| \| AProVE_07/thiemann18.xml	n^3	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3510	3357
TRS \| \| AProVE_07/wiehe08.xml	exp	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	3190	3227
TRS \| \| AProVE_07/thiemann08.xml	exp	MAYBE	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	117	1286
TRS \| \| AProVE_07/kabasci04.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1966	3241
TRS \| \| AProVE_07/otto12.xml	exp	MAYBE	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	8886	3263
TRS \| \| AProVE_07/otto10.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2632	3256
TRS \| \| AProVE_07/wiehe07.xml	exp	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	2907	3278
TRS \| \| AProVE_07/thiemann10.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1389	3407
TRS \| \| AProVE_07/thiemann32.xml	exp	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	2416	3319
TRS \| \| AProVE_07/thiemann09.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	5283	3342
TRS \| \| AProVE_07/otto04.xml	exp	MAYBE	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✔	1130	3228
TRS \| \| AProVE_07/thiemann12.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2662	3433
TRS \| \| AProVE_07/wiehe05.xml	exp	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	3046	3273
TRS \| \| AProVE_07/thiemann26.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	5523	3238
TRS \| \| AProVE_07/otto02.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3530	3362
TRS \| \| AProVE_07/thiemann04.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	12073	3381
TRS \| \| AProVE_07/thiemann23.xml	n	MAYBE	True	(?,?)	(?,?)	(n,n)	(n,?)	(n,n)	✔	2611	5218
TRS \| \| AProVE_07/thiemann38.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2116	3249
TRS \| \| AProVE_07/otto09.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	11701	3265
TRS \| \| AProVE_07/thiemann06.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	7738	4810
TRS \| \| AProVE_07/thiemann40.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	18341	3323
TRS \| \| AProVE_07/thiemann11.xml	n	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	7145	3394
TRS \| \| AProVE_07/kabasci02.xml	exp	YES	False	(n^3,?)	(?,?)	(n^3,?)	(n,?)	(n^3,)	*	2076	3284
TRS \| \| AProVE_07/thiemann22.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3553	3230
TRS \| \| AProVE_07/thiemann29.xml	exp	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	5014	3248
TRS \| \| AProVE_07/thiemann19.xml	n	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2401	4281
TRS \| \| AProVE_07/wiehe06.xml	exp	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	3001	3267
TRS \| \| AProVE_07/thiemann37.xml	n	MAYBE	True	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	5522	3513
TRS \| \| AProVE_07/thiemann41.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	72109	3685
TRS \| \| AProVE_07/otto08.xml	n	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	15267	4470
TRS \| \| AProVE_07/wiehe01.xml	exp	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	2951	3296
TRS \| \| AProVE_07/thiemann07.xml	exp	MAYBE	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	6836	3437
TRS \| \| TCT_12/polycounter-10.xml	n^2	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	81333	3610
TRS \| \| TCT_12/polycounter-5.xml	exp	YES	True	(n,n^5)	(?,?)	(n,n^5)	(n,?)	(n,n^5)	^	78959	3567
TRS \| \| TCT_12/recursion-5.xml	?	YES	False	(n,n^5)	(?,?)	(n,n^5)	(n,n^5)	(n,n^5)		12	1231
TRS \| \| TCT_12/recursion-10.xml	?	YES	False	(n,n^10)	(?,?)	(n,n^10)	(n,n^10)	(n,n^10)		22	1224
TRS \| \| TCT_12/sat.xml	exp	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	14985	3301
TRS \| \| Der95/31.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n^2)	(n,n)		0	1091
TRS \| \| Der95/33.xml	?	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)		8	1194
TRS \| \| Der95/07.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1091
TRS \| \| Der95/08.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	6743	3163
TRS \| \| Der95/20.xml	?	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)		9	1121
TRS \| \| Der95/18.xml	no values	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1094
TRS \| \| Der95/12.xml	no values	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1098
TRS \| \| Der95/11.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n^2)	(n,n)	✔	5184	3207
TRS \| \| Der95/27.xml	no values	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1100
TRS \| \| Der95/06.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1671	4148
TRS \| \| Der95/32.xml	exp	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	49790	3638
TRS \| \| Der95/21.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	1932	3284
TRS \| \| Transformed_CSR_04/Ex24_GM04_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	45	1166
TRS \| \| Transformed_CSR_04/Ex3_3_25_Bor03_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	51	1191
TRS \| \| Transformed_CSR_04/Ex1_2_AEL03_L.xml	n^3	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	2212	3447
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		2	1130
TRS \| \| Transformed_CSR_04/Ex6_15_AEL02_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	290	1292
TRS \| \| Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	7933	3224
TRS \| \| Transformed_CSR_04/OvConsOS_complete-noand_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	19813	3729
TRS \| \| Transformed_CSR_04/Ex16_Luc06_L.xml	no values	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1102
TRS \| \| Transformed_CSR_04/ExIntrod_Zan97_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	155	1187
TRS \| \| Transformed_CSR_04/OvConsOS_nokinds_Z.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	7197	3306
TRS \| \| Transformed_CSR_04/Ex16_Luc06_C.xml	1	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✘	22	1177
TRS \| \| Transformed_CSR_04/PEANO_nosorts_noand_GM.xml	exp	YES	False	(?,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	48290	3533
TRS \| \| Transformed_CSR_04/Ex1_2_Luc02c_GM.xml	1	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	10	1147
TRS \| \| Transformed_CSR_04/Ex5_7_Luc97_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	148	1199
TRS \| \| Transformed_CSR_04/Ex6_Luc98_L.xml	no values	YES	True	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)		0	1141
TRS \| \| Transformed_CSR_04/Ex23_Luc06_GM.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	77104	3520
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	1933	1487
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml	n^3	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	41763	3550
TRS \| \| Transformed_CSR_04/ExIntrod_GM01_GM.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	11617	3257
TRS \| \| Transformed_CSR_04/Ex4_Zan97_L.xml	n	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	2759	4284
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	42705	3585
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	21900	3366
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	23844	3308
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	31849	3502
TRS \| \| Transformed_CSR_04/Ex3_2_Luc97_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	19611	3315
TRS \| \| Transformed_CSR_04/ExProp7_Luc06_GM.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	9093	3228
TRS \| \| Transformed_CSR_04/PEANO_nokinds-noand_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		2	1130
TRS \| \| Transformed_CSR_04/Ex15_Luc06_Z.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)		12	1189
TRS \| \| Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	46029	3508
TRS \| \| Transformed_CSR_04/Ex6_15_AEL02_Z.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	35083	3451
TRS \| \| Transformed_CSR_04/Ex4_7_15_Bor03_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	29	1168
TRS \| \| Transformed_CSR_04/ExAppendixB_AEL03_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	206	1267
TRS \| \| Transformed_CSR_04/PEANO_complete_noand_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	396	1258
TRS \| \| Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml	n	YES	False	(?,?)	(?,?)	(n,?)	(n,?)	(n,)	*	21403	3423
TRS \| \| Transformed_CSR_04/Ex7_BLR02_Z.xml	n^2	YES	False	(n,?)	(?,?)	(n,n)	(n,n)	(n,n)	^	7093	3365
TRS \| \| Transformed_CSR_04/PALINDROME_complete_noand_GM.xml	n	MAYBE	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	✘	29720	3545
TRS \| \| Transformed_CSR_04/Ex1_Luc02b_FR.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	6917	3288
TRS \| \| Transformed_CSR_04/Ex6_GM04_GM.xml	1	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)	✔	10	1122
TRS \| \| Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2311	1315
TRS \| \| Transformed_CSR_04/Ex25_Luc06_FR.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	5950	3493
TRS \| \| Transformed_CSR_04/OvConsOS_complete-noand_Z.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	15246	3673
TRS \| \| Transformed_CSR_04/Ex5_DLMMU04_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	26673	3390
TRS \| \| Transformed_CSR_04/Ex2_Luc02a_Z.xml	exp	YES	False	(n^3,n^3)	(?,?)	(n^3,n^3)	(n,?)	(n^3,n^3)	^	3634	3378
TRS \| \| Transformed_CSR_04/PEANO_nokinds_Z.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	12688	3408
TRS \| \| Transformed_CSR_04/Ex4_DLMMU04_Z.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	5944	3258
TRS \| \| Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	8772	5865
TRS \| \| Transformed_CSR_04/Ex1_GM99_L.xml	no values	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1101
TRS \| \| Transformed_CSR_04/ExProp7_Luc06_Z.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		14	1153
TRS \| \| Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml	n^2	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	10400	3297
TRS \| \| Transformed_CSR_04/Ex4_7_37_Bor03_L.xml	n	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	1806	3559
TRS \| \| Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml	n	YES	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	✘	28217	3440
TRS \| \| Transformed_CSR_04/Ex5_DLMMU04_Z.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	343	1176
TRS \| \| Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	19687	3326
TRS \| \| Transformed_CSR_04/Ex2_Luc03b_L.xml	no values	YES	True	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)		0	1164
TRS \| \| Transformed_CSR_04/Ex1_Luc02b_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	63	1197
TRS \| \| Transformed_CSR_04/Ex6_Luc98_GM.xml	n^2	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	10728	3316
TRS \| \| Transformed_CSR_04/Ex49_GM04_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		3	1143
TRS \| \| Transformed_CSR_04/Ex14_AEGL02_Z.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	967	3548
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		2725	3295
TRS \| \| Transformed_CSR_04/PEANO_complete_GM.xml	n^3	YES	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	31429	3540
TRS \| \| Transformed_CSR_04/Ex1_GL02a_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	122	1200
TRS \| \| Transformed_CSR_04/Ex14_Luc06_GM.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	14081	3392
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	141	1218
TRS \| \| Transformed_CSR_04/PALINDROME_complete_Z.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	20863	3419
TRS \| \| Transformed_CSR_04/Ex3_2_Luc97_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		9	1142
TRS \| \| Transformed_CSR_04/OvConsOS_complete_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	29335	3555
TRS \| \| Transformed_CSR_04/Ex15_Luc06_C.xml	1	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✘	13	1160
TRS \| \| Transformed_CSR_04/Ex23_Luc06_Z.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		6	1132
TRS \| \| Transformed_CSR_04/PALINDROME_nokinds_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		9	1205
TRS \| \| Transformed_CSR_04/ExIntrod_Zan97_GM.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	6830	3235
TRS \| \| Transformed_CSR_04/Ex15_Luc06_FR.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	5442	3495
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml	n^3	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	32737	3651
TRS \| \| Transformed_CSR_04/PALINDROME_nosorts_GM.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	4168	3202
TRS \| \| Transformed_CSR_04/MYNAT_nokinds_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	22041	3343
TRS \| \| Transformed_CSR_04/PEANO_nosorts_L.xml	n	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	2024	4623
TRS \| \| Transformed_CSR_04/Ex1_GM03_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	6690	3268
TRS \| \| Transformed_CSR_04/Ex1_GL02a_Z.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	25736	3403
TRS \| \| Transformed_CSR_04/Ex1_Luc02b_Z.xml	n^2	YES	False	(n,?)	(?,?)	(n,n)	(n,n)	(n,n)	^	7202	3360
TRS \| \| Transformed_CSR_04/ExIntrod_GM99_L.xml	no values	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1114
TRS \| \| Transformed_CSR_04/Ex7_BLR02_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	77	1209
TRS \| \| Transformed_CSR_04/MYNAT_nokinds_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		5	1228
TRS \| \| Transformed_CSR_04/Ex14_AEGL02_L.xml	no values	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1112
TRS \| \| Transformed_CSR_04/OvConsOS_nokinds_GM.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	13604	3441
TRS \| \| Transformed_CSR_04/Ex3_12_Luc96a_Z.xml	n^2	YES	False	(n,?)	(?,?)	(n,n)	(n,n)	(n,n)	^	9593	3373
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	1523	3474
TRS \| \| Transformed_CSR_04/Ex4_DLMMU04_GM.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	14341	3290
TRS \| \| Transformed_CSR_04/Ex1_2_AEL03_Z.xml	n^3	YES	False	(n^2,?)	(?,?)	(n^2,n^3)	(n,n^3)	(n^2,n^3)	=	1697	3240
TRS \| \| Transformed_CSR_04/MYNAT_nosorts_noand_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	168	1251
TRS \| \| Transformed_CSR_04/PALINDROME_complete_L.xml	1	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	4	1134
TRS \| \| Transformed_CSR_04/ExIntrod_Zan97_FR.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	21698	3342
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	9150	3262
TRS \| \| Transformed_CSR_04/MYNAT_complete_GM.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	23973	3498
TRS \| \| Transformed_CSR_04/Ex1_2_AEL03_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	185	1249
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	16726	3276
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	48088	3791
TRS \| \| Transformed_CSR_04/PEANO_nosorts_FR.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1638	4162
TRS \| \| Transformed_CSR_04/Ex5_Zan97_GM.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	12711	3294
TRS \| \| Transformed_CSR_04/ExAppendixB_AEL03_GM.xml	exp	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	7806	3253
TRS \| \| Transformed_CSR_04/Ex9_BLR02_GM.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	7556	3326
TRS \| \| Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	46055	4296
TRS \| \| Transformed_CSR_04/Ex26_Luc03b_L.xml	1	YES	False	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)	✔	11	1167
TRS \| \| Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	90027	3719
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml	n^2	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	5775	3252
TRS \| \| Transformed_CSR_04/Ex7_BLR02_GM.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	4316	3189
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml	n^3	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	35399	3985
TRS \| \| Transformed_CSR_04/PEANO_nokinds-noand_Z.xml	exp	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	11224	3375
TRS \| \| Transformed_CSR_04/Ex1_Luc04b_FR.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	12844	3415
TRS \| \| Transformed_CSR_04/MYNAT_complete_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		4	1158
TRS \| \| Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	23557	3323
TRS \| \| Transformed_CSR_04/ExSec11_1_Luc02a_L.xml	n^3	YES	False	(n^3,n^3)	(?,?)	(n^3,n^3)	(n,?)	(n^3,n^3)	✔	1375	3367
TRS \| \| Transformed_CSR_04/Ex9_BLR02_FR.xml	exp	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	5022	3276
TRS \| \| Transformed_CSR_04/Ex26_Luc03b_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	83	1185
TRS \| \| Transformed_CSR_04/MYNAT_complete-noand_Z.xml	exp	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	27178	3531
TRS \| \| Transformed_CSR_04/Ex3_12_Luc96a_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	33	1220
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		3923	3221
TRS \| \| Transformed_CSR_04/PEANO_nokinds_FR.xml	n^3	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	49262	3474
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	33714	3556
TRS \| \| Transformed_CSR_04/Ex6_9_Luc02c_L.xml	1	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	4	1122
TRS \| \| Transformed_CSR_04/Ex2_Luc02a_GM.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	5355	3197
TRS \| \| Transformed_CSR_04/OvConsOS_complete_noand_C.xml	n	MAYBE	False	(?,?)	(?,?)	(n,?)	(n,?)	(n,)	*	6320	1515
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		1	1120
TRS \| \| Transformed_CSR_04/MYNAT_nosorts_L.xml	n^3	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	1772	3251
TRS \| \| Transformed_CSR_04/PALINDROME_complete_noand_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	7932	1461
TRS \| \| Transformed_CSR_04/Ex5_DLMMU04_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	28997	3330
TRS \| \| Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml	n^2	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	^	55534	3416
TRS \| \| Transformed_CSR_04/Ex4_7_37_Bor03_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	96	1184
TRS \| \| Transformed_CSR_04/Ex3_12_Luc96a_L.xml	n	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	3184	6041
TRS \| \| Transformed_CSR_04/Ex1_2_AEL03_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	7735	3270
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	1552	1329
TRS \| \| Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	516	1236
TRS \| \| Transformed_CSR_04/MYNAT_nokinds_noand_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	243	1267
TRS \| \| Transformed_CSR_04/MYNAT_complete_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	23467	3372
TRS \| \| Transformed_CSR_04/Ex2_Luc03b_FR.xml	n	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	16124	3338
TRS \| \| Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		5	1155
TRS \| \| Transformed_CSR_04/MYNAT_complete-noand_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	23968	3570
TRS \| \| Transformed_CSR_04/Ex5_Zan97_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	87	1152
TRS \| \| Transformed_CSR_04/Ex6_9_Luc02c_FR.xml	n	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	3633	3181
TRS \| \| Transformed_CSR_04/Ex1_GL02a_L.xml	no values	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1155
TRS \| \| Transformed_CSR_04/ExAppendixB_AEL03_Z.xml	n^3	YES	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	25622	3368
TRS \| \| Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	5726	1955
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	33497	3506
TRS \| \| Transformed_CSR_04/Ex4_4_Luc96b_L.xml	no values	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1099
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	26582	3459
TRS \| \| Transformed_CSR_04/Ex14_AEGL02_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	8403	3272
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		11	1173
TRS \| \| Transformed_CSR_04/Ex2_Luc03b_GM.xml	n	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	6876	3223
TRS \| \| Transformed_CSR_04/Ex49_GM04_Z.xml	n^2	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	^	2571	3341
TRS \| \| Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)		7	1120
TRS \| \| Transformed_CSR_04/PEANO_nosorts_noand_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	90	1204
TRS \| \| Transformed_CSR_04/ExConc_Zan97_GM.xml	n^2	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	^	83758	3564
TRS \| \| Transformed_CSR_04/Ex1_Luc02b_GM.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	4594	3168
TRS \| \| Transformed_CSR_04/ExIntrod_GM04_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		5	1140
TRS \| \| Transformed_CSR_04/Ex26_Luc03b_GM.xml	n	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	11423	3263
TRS \| \| Transformed_CSR_04/Ex18_Luc06_GM.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	4375	3420
TRS \| \| Transformed_CSR_04/MYNAT_nosorts_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	57	1161
TRS \| \| Transformed_CSR_04/Ex7_BLR02_FR.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	10139	3297
TRS \| \| Transformed_CSR_04/Ex8_BLR02_FR.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	3171	3256
TRS \| \| Transformed_CSR_04/Ex8_BLR02_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	4228	3213
TRS \| \| Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	36723	3436
TRS \| \| Transformed_CSR_04/ExProp7_Luc06_FR.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	86894	3656
TRS \| \| Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	26271	3583
TRS \| \| Transformed_CSR_04/ExAppendixB_AEL03_L.xml	n^3	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	2263	3314
TRS \| \| Transformed_CSR_04/PALINDROME_complete_GM.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	21578	3459
TRS \| \| Transformed_CSR_04/Ex6_GM04_FR.xml	1	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	4583	3363
TRS \| \| Transformed_CSR_04/PALINDROME_complete-noand_L.xml	1	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	3	1121
TRS \| \| Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	44	1181
TRS \| \| Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		11	1195
TRS \| \| Transformed_CSR_04/MYNAT_nosorts_FR.xml	n^3	YES	False	(n^2,n^2)	(?,?)	(n^2,n^2)	(n,n^2)	(n^2,n^2)	^	1969	3248
TRS \| \| Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2034	1299
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	344	1248
TRS \| \| Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml	n^3	YES	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	3388	3387
TRS \| \| Transformed_CSR_04/Ex4_Zan97_GM.xml	exp	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	3615	3201
TRS \| \| Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	4620	3278
TRS \| \| Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	38908	3574
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		60	1291
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	484	1305
TRS \| \| Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	11551	3290
TRS \| \| Transformed_CSR_04/Ex9_BLR02_Z.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	18096	3384
TRS \| \| Transformed_CSR_04/Ex15_Luc06_L.xml	no values	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1103
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		4	1208
TRS \| \| Transformed_CSR_04/Ex4_7_56_Bor03_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	33	1177
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	86	1182
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	773	3388
TRS \| \| Transformed_CSR_04/Ex25_Luc06_GM.xml	n^2	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	^	79598	3722
TRS \| \| Transformed_CSR_04/Ex1_Zan97_FR.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		10	1146
TRS \| \| Transformed_CSR_04/Ex15_Luc98_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	35835	3473
TRS \| \| Transformed_CSR_04/PEANO_nokinds_noand_GM.xml	n	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	49721	3557
TRS \| \| Transformed_CSR_04/Ex1_Luc04b_Z.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	1534	3741
TRS \| \| Transformed_CSR_04/ExAppendixB_AEL03_FR.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	4413	3238
TRS \| \| Transformed_CSR_04/Ex3_2_Luc97_Z.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	24330	3335
TRS \| \| Transformed_CSR_04/PEANO_complete_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		3	1152
TRS \| \| Transformed_CSR_04/Ex3_2_Luc97_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	71	1277
TRS \| \| Transformed_CSR_04/Ex8_BLR02_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	54	1205
TRS \| \| Transformed_CSR_04/OvConsOS_complete_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		3	1154
TRS \| \| Transformed_CSR_04/LISTUTILITIES_complete_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	13783	3753
TRS \| \| Transformed_CSR_04/OvConsOS_complete_noand_GM.xml	exp	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	39703	4035
TRS \| \| Transformed_CSR_04/Ex18_Luc06_C.xml	1	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✘	13	1176
TRS \| \| Transformed_CSR_04/Ex49_GM04_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	7949	3299
TRS \| \| Transformed_CSR_04/Ex4_Zan97_Z.xml	exp	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2886	3261
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1882	1470
TRS \| \| Transformed_CSR_04/Ex6_Luc98_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	47	1194
TRS \| \| Transformed_CSR_04/Ex14_AEGL02_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	42	1198
TRS \| \| Transformed_CSR_04/ExSec11_1_Luc02a_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	95	1220
TRS \| \| Transformed_CSR_04/PALINDROME_nokinds_FR.xml	n	YES	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	✘	22850	3498
TRS \| \| Transformed_CSR_04/Ex1_2_Luc02c_FR.xml	n	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	6143	3244
TRS \| \| Transformed_CSR_04/Ex1_2_AEL03_FR.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	3373	3222
TRS \| \| Transformed_CSR_04/Ex4_4_Luc96b_GM.xml	?	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY		6	1126
TRS \| \| Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	17215	4257
TRS \| \| Transformed_CSR_04/Ex9_BLR02_L.xml	no values	YES	True	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)		0	1159
TRS \| \| Transformed_CSR_04/ExIntrod_GM99_Z.xml	n	NO	False	(?,?)	(?,?)	(?,?)	(?,?)	(,)	*	50	1190
TRS \| \| Transformed_CSR_04/Ex7_BLR02_L.xml	n	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	3086	6458
TRS \| \| Transformed_CSR_04/Ex5_Zan97_Z.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		18	1141
TRS \| \| Transformed_CSR_04/PEANO_nokinds_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		3	1141
TRS \| \| Transformed_CSR_04/OvConsOS_complete_Z.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	12728	3477
TRS \| \| Transformed_CSR_04/Ex6_Luc98_FR.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	6456	3248
TRS \| \| Transformed_CSR_04/PALINDROME_complete-noand_FR.xml	exp	YES	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	19319	3620
TRS \| \| Transformed_CSR_04/Ex15_Luc98_GM.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	12946	3386
TRS \| \| Transformed_CSR_04/Ex24_GM04_FR.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	14543	3263
TRS \| \| Transformed_CSR_04/Ex4_7_77_Bor03_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	26	1183
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml	exp	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	36136	3808
TRS \| \| Transformed_CSR_04/Ex4_DLMMU04_FR.xml	n^3	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	7009	3268
TRS \| \| Transformed_CSR_04/PEANO_complete-noand_Z.xml	exp	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	31840	3924
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		12	1210
TRS \| \| Transformed_CSR_04/Ex8_BLR02_Z.xml	exp	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	9177	3244
TRS \| \| Transformed_CSR_04/MYNAT_complete_noand_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	27720	3600
TRS \| \| Transformed_CSR_04/Ex2_Luc02a_FR.xml	n^2	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	9335	3286
TRS \| \| Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	33874	3592
TRS \| \| Transformed_CSR_04/PALINDROME_complete-noand_Z.xml	exp	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	16093	3540
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		3	1157
TRS \| \| Transformed_CSR_04/Ex6_15_AEL02_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		2	1131
TRS \| \| Transformed_CSR_04/OvConsOS_complete-noand_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		2	1198
TRS \| \| Transformed_CSR_04/Ex25_Luc06_C.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1112
TRS \| \| Transformed_CSR_04/OvConsOS_nosorts_GM.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	8371	3271
TRS \| \| Transformed_CSR_04/ExConc_Zan97_FR.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	72143	3644
TRS \| \| Transformed_CSR_04/Ex4_4_Luc96b_Z.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	6540	3193
TRS \| \| Transformed_CSR_04/Ex9_Luc06_FR.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		14	1197
TRS \| \| Transformed_CSR_04/LISTUTILITIES_complete_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		12	1202
TRS \| \| Transformed_CSR_04/PEANO_complete_Z.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	21030	3418
TRS \| \| Transformed_CSR_04/Ex1_GM03_FR.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	21976	3318
TRS \| \| Transformed_CSR_04/LISTUTILITIES_complete_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	33892	3822
TRS \| \| Transformed_CSR_04/Ex4_7_77_Bor03_L.xml	no values	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1102
TRS \| \| Transformed_CSR_04/PEANO_nokinds_GM.xml	n	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	26751	3435
TRS \| \| Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		14	1148
TRS \| \| Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	9642	3351
TRS \| \| Transformed_CSR_04/Ex18_Luc06_FR.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	3637	3618
TRS \| \| Transformed_CSR_04/OvConsOS_nokinds_FR.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	6328	3248
TRS \| \| Transformed_CSR_04/Ex49_GM04_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	144	1188
TRS \| \| Transformed_CSR_04/Ex5_7_Luc97_Z.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	26833	3453
TRS \| \| Transformed_CSR_04/PEANO_nokinds_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	92	1188
TRS \| \| Transformed_CSR_04/OvConsOS_nokinds_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		5	1161
TRS \| \| Transformed_CSR_04/Ex5_Zan97_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		5	1123
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	27650	3724
TRS \| \| Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml	n	MAYBE	False	(n,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	6261	3222
TRS \| \| Transformed_CSR_04/Ex14_Luc06_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	44	1175
TRS \| \| Transformed_CSR_04/ExIntrod_GM04_C.xml	n	MAYBE	False	(n,?)	(?,?)	(n,n)	(n,n)	(n,n)	✔	64	1195
TRS \| \| Transformed_CSR_04/Ex9_Luc06_C.xml	1	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✘	40	1219
TRS \| \| Transformed_CSR_04/PEANO_nosorts_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	41	1173
TRS \| \| Transformed_CSR_04/Ex18_Luc06_Z.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		6	1124
TRS \| \| Transformed_CSR_04/ExIntrod_Zan97_L.xml	n^3	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	1790	3319
TRS \| \| Transformed_CSR_04/ExProp7_Luc06_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	29	1193
TRS \| \| Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	219	1305
TRS \| \| Transformed_CSR_04/Ex3_2_Luc97_GM.xml	exp	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	4513	3211
TRS \| \| Transformed_CSR_04/ExConc_Zan97_C.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1114
TRS \| \| Transformed_CSR_04/Ex26_Luc03b_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	20357	3383
TRS \| \| Transformed_CSR_04/PALINDROME_complete_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	2340	1377
TRS \| \| Transformed_CSR_04/OvConsOS_complete_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	8762	3383
TRS \| \| Transformed_CSR_04/ExIntrod_GM99_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	9974	3266
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	837	1370
TRS \| \| Transformed_CSR_04/Ex9_Luc04_GM.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	9139	3170
TRS \| \| Transformed_CSR_04/MYNAT_complete_Z.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	23020	3469
TRS \| \| Transformed_CSR_04/Ex1_GL02a_FR.xml	exp	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	14395	3267
TRS \| \| Transformed_CSR_04/Ex15_Luc06_GM.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	3472	3697
TRS \| \| Transformed_CSR_04/Ex24_GM04_GM.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	26	1161
TRS \| \| Transformed_CSR_04/Ex5_DLMMU04_L.xml	no values	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1115
TRS \| \| Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	11203	3342
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	33638	3726
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml	exp	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	22666	3749
TRS \| \| Transformed_CSR_04/PALINDROME_nokinds_GM.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	30906	3466
TRS \| \| Transformed_CSR_04/Ex1_Luc04b_GM.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	15352	3530
TRS \| \| Transformed_CSR_04/Ex1_Zan97_L.xml	no values	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1108
TRS \| \| Transformed_CSR_04/ExIntrod_GM01_FR.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	13165	3274
TRS \| \| Transformed_CSR_04/Ex3_12_Luc96a_GM.xml	exp	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	4466	3175
TRS \| \| Transformed_CSR_04/Ex15_Luc98_Z.xml	n^2	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	54605	3631
TRS \| \| Transformed_CSR_04/MYNAT_nokinds_Z.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	16603	3449
TRS \| \| Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml	n^2	YES	False	(n,?)	(?,?)	(n,n)	(n,n)	(n,n)	^	12188	3338
TRS \| \| Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml	n	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	13024	3298
TRS \| \| Transformed_CSR_04/PEANO_complete-noand_FR.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	16136	3567
TRS \| \| Transformed_CSR_04/Ex5_DLMMU04_C.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	171	1269
TRS \| \| Transformed_CSR_04/Ex24_Luc06_GM.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	2731	3148
TRS \| \| Transformed_CSR_04/ExIntrod_GM04_FR.xml	exp	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	8794	3235
TRS \| \| Transformed_CSR_04/Ex24_GM04_Z.xml	?	NO	False	(1,1)	(?,?)	(1,1)	(?,?)	(1,1)		40	1157
TRS \| \| Transformed_CSR_04/PALINDROME_nosorts_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		10	1220
TRS \| \| Transformed_CSR_04/ExIntrod_GM04_Z.xml	exp	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	9996	3291
TRS \| \| Transformed_CSR_04/PEANO_complete_FR.xml	n^2	YES	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	18837	3389
TRS \| \| Transformed_CSR_04/LISTUTILITIES_complete_Z.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	34529	3919
TRS \| \| Transformed_CSR_04/Ex16_Luc06_GM.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1496	3207
TRS \| \| Transformed_CSR_04/Ex4_DLMMU04_C.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	813	1253
TRS \| \| Transformed_CSR_04/Ex1_Zan97_C.xml	1	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✘	18	1168
TRS \| \| Transformed_CSR_04/ExIntrod_GM04_GM.xml	n	YES	False	(n,?)	(?,?)	(n,n^3)	(n,?)	(n,n^3)	*	12243	3465
TRS \| \| Transformed_CSR_04/Ex6_9_Luc02c_C.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)		0	1119
TRS \| \| Transformed_CSR_04/PEANO_complete-noand_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		2	1156
TRS \| \| Transformed_CSR_04/Ex4_Zan97_FR.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	3942	3193
TRS \| \| Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	31558	3487
TRS \| \| Transformed_CSR_04/Ex1_GM99_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	3934	3175
TRS \| \| Transformed_CSR_04/MYNAT_nokinds_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	147	1198
TRS \| \| Transformed_CSR_04/Ex24_GM04_L.xml	no values	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1109
TRS \| \| Transformed_CSR_04/LISTUTILITIES_complete_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	1610	1555
TRS \| \| Transformed_CSR_04/Ex5_Zan97_FR.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	6749	3507
TRS \| \| Transformed_CSR_04/Ex1_Luc04b_L.xml	no values	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1111
TRS \| \| Transformed_CSR_04/Ex49_GM04_GM.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	13807	3283
TRS \| \| Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	88652	3750
TRS \| \| Transformed_CSR_04/OvConsOS_complete_C.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1446	1319
TRS \| \| Transformed_CSR_04/MYNAT_nosorts_GM.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	5665	3185
TRS \| \| Transformed_CSR_04/Ex4_Zan97_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	40	1180
TRS \| \| Transformed_CSR_04/ExConc_Zan97_Z.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		5	1194
TRS \| \| Transformed_CSR_04/Ex3_3_25_Bor03_L.xml	n	YES	False	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)	^	9	1159
TRS \| \| Transformed_CSR_04/Ex5_7_Luc97_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	28005	3408
TRS \| \| Transformed_CSR_04/Ex9_BLR02_C.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	76	1222
TRS \| \| Transformed_CSR_04/MYNAT_complete_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	277	1242
TRS \| \| Transformed_CSR_04/ExIntrod_GM01_Z.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	9888	3371
TRS \| \| Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	11081	3453
TRS \| \| Transformed_CSR_04/OvConsOS_nosorts_Z.xml	exp	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	5801	4549
TRS \| \| Transformed_CSR_04/MYNAT_nokinds-noand_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		3	1150
TRS \| \| Transformed_CSR_04/Ex2_Luc02a_L.xml	n^3	YES	True	(n^3,n^3)	(?,?)	(n^3,n^3)	(n,?)	(n^3,n^3)	✔	830	3219
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	23173	3528
TRS \| \| Transformed_CSR_04/PEANO_complete_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	170	1243
TRS \| \| Transformed_CSR_04/PEANO_nokinds_noand_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	137	1221
TRS \| \| Transformed_CSR_04/Ex1_GL02a_GM.xml	n	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	10464	3307
TRS \| \| Transformed_CSR_04/PEANO_nosorts-noand_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		3757	3321
TRS \| \| Transformed_CSR_04/Ex25_Luc06_Z.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		19	1180
TRS \| \| Transformed_CSR_04/Ex24_Luc06_C.xml	1	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✘	40	1173
TRS \| \| Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	36347	4396
TRS \| \| Transformed_CSR_04/Ex2_Luc02a_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	85	1281
TRS \| \| Transformed_CSR_04/Ex4_7_15_Bor03_L.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		5	1158
TRS \| \| Transformed_CSR_04/Ex1_2_Luc02c_C.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)		0	1121
TRS \| \| Transformed_CSR_04/Ex15_Luc98_L.xml	no values	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1118
TRS \| \| Transformed_CSR_04/Ex5_7_Luc97_L.xml	1	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	3806	3352
TRS \| \| Transformed_CSR_04/Ex3_12_Luc96a_FR.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	3575	3216
TRS \| \| Transformed_CSR_04/Ex9_Luc04_L.xml	no values	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1178
TRS \| \| Transformed_CSR_04/Ex1_GM03_L.xml	n	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	5362	5876
TRS \| \| Transformed_CSR_04/ExIntrod_GM01_C.xml	n	MAYBE	False	(n,?)	(?,?)	(n,n)	(n,n)	(n,n)	✔	86	1217
TRS \| \| Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml	n^2	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	2982	3258
TRS \| \| Transformed_CSR_04/PALINDROME_nosorts_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	43	1242
TRS \| \| Transformed_CSR_04/ExProp7_Luc06_L.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		5	1158
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml	n^2	YES	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	12323	3372
TRS \| \| Transformed_CSR_04/PEANO_nosorts-noand_FR.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	3998	3986
TRS \| \| Transformed_CSR_04/Ex6_Luc98_Z.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1679	3619
TRS \| \| Transformed_CSR_04/Ex2_Luc03b_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	69	1200
TRS \| \| Transformed_CSR_04/Ex26_Luc03b_Z.xml	n^2	YES	False	(1,1)	(?,?)	(1,1)	(?,?)	(1,1)	^	403	1191
TRS \| \| Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	8258	3376
TRS \| \| Transformed_CSR_04/Ex1_2_Luc02c_L.xml	no values	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1162
TRS \| \| Transformed_CSR_04/Ex6_15_AEL02_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	6797	3287
TRS \| \| Transformed_CSR_04/Ex1_GM03_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	139	1202
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml	n^3	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	9233	3451
TRS \| \| Transformed_CSR_04/Ex1_Zan97_GM.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		21	1226
TRS \| \| Transformed_CSR_04/ExIntrod_GM99_C.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	274	1229
TRS \| \| Transformed_CSR_04/PALINDROME_complete_FR.xml	n^2	YES	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	20711	3525
TRS \| \| Transformed_CSR_04/Ex23_Luc06_FR.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	87464	3810
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	607	1328
TRS \| \| Transformed_CSR_04/PEANO_nokinds-noand_FR.xml	n^3	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	5562	3274
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	115	1305
TRS \| \| Transformed_CSR_04/Ex6_15_AEL02_FR.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	19996	3410
TRS \| \| Transformed_CSR_04/MYNAT_nokinds_GM.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	31465	3464
TRS \| \| Transformed_CSR_04/ExIntrod_GM99_FR.xml	exp	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	5711	3281
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		35	1296
TRS \| \| Transformed_CSR_04/Ex14_AEGL02_GM.xml	n	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	8177	3292
TRS \| \| Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	4905	3191
TRS \| \| Transformed_CSR_04/Ex9_Luc06_GM.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	2300	3243
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml	n^2	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	18373	3364
TRS \| \| Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	13098	3308
TRS \| \| Transformed_CSR_04/Ex1_Luc02b_L.xml	n	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	3111	6123
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	18352	3349
TRS \| \| Transformed_CSR_04/PALINDROME_nokinds_Z.xml	n^2	YES	False	(n,?)	(?,?)	(n,n^3)	(n,n^3)	(n,n^3)	*	19328	3403
TRS \| \| Transformed_CSR_04/Ex2_Luc03b_Z.xml	n^2	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	^	50336	3574
TRS \| \| Transformed_CSR_04/Ex6_9_Luc02c_GM.xml	1	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	13	1198
TRS \| \| Transformed_CSR_04/OvConsOS_nosorts_L.xml	1	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	2739	3235
TRS \| \| Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml	exp	YES	False	(n,n)	(?,?)	(n,n)	(n,n^3)	(n,n)	^	21185	3434
TRS \| \| Transformed_CSR_04/MYNAT_nosorts-noand_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		1135	3203
TRS \| \| Transformed_CSR_04/Ex15_Luc98_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	271	1252
TRS \| \| Transformed_CSR_04/Ex6_GM04_C.xml	1	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✘	12	1170
TRS \| \| Transformed_CSR_04/Ex1_Luc04b_C.xml	n	MAYBE	False	(n,?)	(?,?)	(n,n)	(n,n)	(n,n)	✔	76	1199
TRS \| \| Transformed_CSR_04/OvConsOS_nokinds_C.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	812	1240
TRS \| \| Transformed_CSR_04/Ex4_7_56_Bor03_L.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	3078	6767
TRS \| \| Transformed_CSR_04/Ex8_BLR02_L.xml	n	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	4200	5575
TRS \| \| Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	10692	3304
TRS \| \| Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml	exp	YES	False	(n^3,n^3)	(?,?)	(n^3,n^3)	(n,?)	(n^3,n^3)	^	3599	3535
TRS \| \| Transformed_CSR_04/Ex24_Luc06_L.xml	no values	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1179
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	15468	3439
TRS \| \| Transformed_CSR_04/PALINDROME_nokinds_C.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	216	1235
TRS \| \| Transformed_CSR_04/Ex4_DLMMU04_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		3	1160
TRS \| \| Transformed_CSR_04/Ex5_7_Luc97_GM.xml	n^3	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	9425	3344
TRS \| \| Transformed_CSR_04/OvConsOS_nosorts_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	118	1220
TRS \| \| Transformed_CSR_04/Ex1_GM99_C.xml	1	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✘	82	1180
TRS \| \| Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	35518	4313
TRS \| \| Transformed_CSR_04/Ex1_2_Luc02c_Z.xml	n	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)	^	15	1166
TRS \| \| Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	2062	3184
TRS \| \| Transformed_CSR_04/Ex1_GM03_Z.xml	1	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	26	1178
TRS \| \| Transformed_CSR_04/Ex4_4_Luc96b_FR.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	5570	3189
TRS \| \| Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml	1	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	4	1135
TRS \| \| Transformed_CSR_04/MYNAT_complete-noand_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		3	1212
TRS \| \| Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		4703	3277
TRS \| \| Transformed_CSR_04/ExIntrod_Zan97_Z.xml	n	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	36	1195
TRS \| \| Transformed_CSR_04/ExIntrod_GM01_L.xml	1	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	7	1158
TRS \| \| Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	24444	3468
TRS \| \| Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml	n	MAYBE	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	4301	3214
TRS \| \| Transformed_CSR_04/PEANO_nosorts_GM.xml	n	YES	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	✘	4712	3181
TRS \| \| Transformed_CSR_04/Ex6_9_Luc02c_Z.xml	n	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)	^	13	1198
TRS \| \| Transformed_CSR_04/Ex9_Luc04_C.xml	1	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✘	86	1175
TRS \| \| Transformed_CSR_04/Ex23_Luc06_C.xml	1	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✘	18	1204
TRS \| \| Transformed_CSR_04/Ex4_4_Luc96b_C.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)		0	1126
TRS \| \| Transformed_CSR_04/PEANO_complete_noand_GM.xml	n^2	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	32349	3614
TRS \| \| Transformed_CSR_04/OvConsOS_nosorts_FR.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	13048	3294
TRS \| \| Transformed_CSR_04/MYNAT_complete_noand_C.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	722	1445
TRS \| \| Strategy_removed_mixed_05/test10.xml	n	NO	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	4050	6557
TRS \| \| Strategy_removed_mixed_05/test77.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	3276	4794
TRS \| \| Strategy_removed_mixed_05/muladd.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		6	1160
TRS \| \| Strategy_removed_mixed_05/ex4.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		5	1153
TRS \| \| Strategy_removed_mixed_05/ex6.xml	1	NO	False	(?,?)	(?,?)	(?,?)	(?,?)	(,)	*	10	1156
TRS \| \| Strategy_removed_mixed_05/test830.xml	n^2	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	^	3036	5462
TRS \| \| Strategy_removed_mixed_05/ex5.xml	1	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	7	1214
TRS \| \| Strategy_removed_mixed_05/ex1.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		5	1155
TRS \| \| Strategy_removed_mixed_05/ex2.xml	no values	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1115
TRS \| \| Strategy_removed_mixed_05/tricky1.xml	no values	YES	False	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)		0	1115
TRS \| \| Strategy_removed_mixed_05/ex3.xml	no values	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1117
TRS \| \| Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml	n^3	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	1687	3688
TRS \| \| Strategy_removed_mixed_05/test76.xml	n	MAYBE	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	2690	4792
TRS \| \| AProVE_09_Inductive/div.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3353	3516
TRS \| \| AProVE_09_Inductive/gcd2.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3598	3539
TRS \| \| AProVE_09_Inductive/maxsort.xml	n^3	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	3791	3402
TRS \| \| AProVE_09_Inductive/minsort.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2834	3395
TRS \| \| AProVE_09_Inductive/mod.xml	n^3	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3024	3600
TRS \| \| AProVE_09_Inductive/qsort.xml	n	MAYBE	True	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	11250	3407
TRS \| \| AProVE_09_Inductive/qsortmiddle.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	5310	3498
TRS \| \| AProVE_09_Inductive/log.xml	exp	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	3414	5594
TRS \| \| AProVE_09_Inductive/maxsortcondition.xml	n^2	MAYBE	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	7909	3377
TRS \| \| AProVE_09_Inductive/zerolist.xml	n	MAYBE	False	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	*	32386	3405
TRS \| \| AProVE_09_Inductive/gcdhard.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3086	3331
TRS \| \| AProVE_09_Inductive/divhard.xml	n^3	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3493	3568
TRS \| \| AProVE_09_Inductive/gcd.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3186	3516
TRS \| \| AProVE_09_Inductive/qsortlast.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	4557	3356
TRS \| \| Strategy_removed_AG01/#4.34.xml	n	YES	False	(n,?)	(?,?)	(n,n^2)	(n,n^3)	(n,n^2)	*	6535	4155
TRS \| \| Strategy_removed_AG01/#4.37.xml	no values	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1117
TRS \| \| Strategy_removed_AG01/#4.35.xml	n	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	3917	3327
TRS \| \| Strategy_removed_AG01/#4.37a.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1116
TRS \| \| Strategy_removed_AG01/#4.26.xml	n^3	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	1964	3369
TRS \| \| Strategy_removed_AG01/#4.22.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	36135	3435
TRS \| \| Strategy_removed_AG01/#4.29.xml	n^2	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2610	3266
TRS \| \| Strategy_removed_AG01/#4.14.xml	n	NO	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1022	3256
TRS \| \| Strategy_removed_AG01/#4.30b.xml	n^2	YES	True	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	^	5502	3363
TRS \| \| Strategy_removed_AG01/#4.19.xml	?	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)		6	1141
TRS \| \| Strategy_removed_AG01/#4.33.xml	n^2	YES	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	18882	3298
TRS \| \| Strategy_removed_AG01/#4.25.xml	?	MAYBE	False	(1,1)	(?,?)	(1,1)	(?,?)	(1,1)		3	1143
TRS \| \| Strategy_removed_AG01/#4.30.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	5307	3344
TRS \| \| Strategy_removed_AG01/#4.7.xml	?	NO	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		3	1140
TRS \| \| Strategy_removed_AG01/#4.36.xml	n^3	YES	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	2732	3423
TRS \| \| Strategy_removed_AG01/#4.20a.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1122
TRS \| \| Strategy_removed_AG01/#4.28.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1361	3451
TRS \| \| Strategy_removed_AG01/#4.23.xml	n	YES	True	(n,n^2)	(?,?)	(n,n^2)	(?,?)	(n,n^2)	*	12801	4335
TRS \| \| Strategy_removed_AG01/#4.30c.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2969	3400
TRS \| \| Strategy_removed_AG01/#4.2.xml	n	NO	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	3326	5323
TRS \| \| Strategy_removed_AG01/#4.16.xml	no values	NO	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1103
TRS \| \| Strategy_removed_AG01/#4.27.xml	n^3	YES	True	(n,n^2)	(?,?)	(n,n^2)	(?,?)	(n,n^2)	^	2981	3285
TRS \| \| Strategy_removed_AG01/#4.17.xml	n	NO	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1218	3337
TRS \| \| Strategy_removed_AG01/#4.30a.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)	✔	2106	3329
TRS \| \| Strategy_removed_AG01/#4.32.xml	no values	YES	True	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)		0	1113
TRS \| \| Beerendonk_07/1.xml	n	MAYBE	True	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	4475	5097
TRS \| \| Beerendonk_07/22.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	3471	7366
TRS \| \| Beerendonk_07/24.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	4093	6368
TRS \| \| Beerendonk_07/6.xml	n	MAYBE	True	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	4410	4940
TRS \| \| Beerendonk_07/4.xml	n	MAYBE	True	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	4156	6516
TRS \| \| Beerendonk_07/19.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	27760	3489
TRS \| \| Beerendonk_07/3.xml	n	MAYBE	True	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	9269	3371
TRS \| \| Beerendonk_07/17.xml	n	MAYBE	True	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	3212	3471
TRS \| \| Beerendonk_07/2.xml	n	MAYBE	True	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	4391	4942
TRS \| \| Beerendonk_07/23.xml	n	MAYBE	True	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	5816	4474
TRS \| \| Beerendonk_07/13.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	4148	6464
TRS \| \| Beerendonk_07/8.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	4337	6725
TRS \| \| Beerendonk_07/10.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	5599	5862
TRS \| \| Beerendonk_07/20.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	2108	3632
TRS \| \| Beerendonk_07/18.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	3458	8216
TRS \| \| Beerendonk_07/12.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	3979	6718
TRS \| \| Beerendonk_07/11.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	5785	6951
TRS \| \| Beerendonk_07/15.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	2067	3415
TRS \| \| Beerendonk_07/7.xml	n	MAYBE	True	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	5169	4362
TRS \| \| Beerendonk_07/9.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	24227	3523
TRS \| \| Beerendonk_07/21.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	19583	3607
TRS \| \| Beerendonk_07/5.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	4998	3930
TRS \| \| Beerendonk_07/14.xml	n	MAYBE	False	(n,n^2)	(?,?)	(n,n^2)	(?,?)	(n,n^2)	*	5884	7060
TRS \| \| Beerendonk_07/16.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	29889	3565
TRS \| \| Secret_07_TRS/aprove08.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	7232	3513
TRS \| \| Secret_07_TRS/aprove10.xml	n^2	MAYBE	False	(n,n^3)	(?,?)	(n,n^3)	(n,?)	(n,n^3)	*	18984	3434
TRS \| \| Secret_07_TRS/aprove06.xml	n^3	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	8900	3578
TRS \| \| Secret_07_TRS/secret3.xml	n^3	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	48888	3573
TRS \| \| Secret_07_TRS/3.xml	no values	MAYBE	False	(1,1)	(?,?)	(1,1)	(?,?)	(1,1)		0	1097
TRS \| \| Secret_07_TRS/aprove02.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	15642	3583
TRS \| \| Secret_07_TRS/secret1.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	8588	3251
TRS \| \| Secret_07_TRS/aprove03.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	8864	3531
TRS \| \| Secret_07_TRS/aprove04.xml	exp	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	6822	3469
TRS \| \| Secret_07_TRS/secret5.xml	n^2	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	11826	3347
TRS \| \| Secret_07_TRS/aprove07.xml	exp	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	26720	3472
TRS \| \| Secret_07_TRS/aprove01.xml	exp	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	6936	3550
TRS \| \| Secret_07_TRS/secret4.xml	n	YES	False	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	*	1008	3282
TRS \| \| Secret_07_TRS/aprove05.xml	exp	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	8381	3420
TRS \| \| Secret_07_TRS/aprove09.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	5326	3393
TRS \| \| Rubio_04/division.xml	n^3	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2855	3484
TRS \| \| Rubio_04/wst99.xml	no values	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1127
TRS \| \| Rubio_04/ma96.xml	n	YES	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	3789	3369
TRS \| \| Rubio_04/gm.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1671	3408
TRS \| \| Rubio_04/gmnp.xml	1	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✘	11	1167
TRS \| \| Rubio_04/koen.xml	no values	YES	False	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)		0	1139
TRS \| \| Rubio_04/elimdupl.xml	n^2	YES	True	(n,?)	(?,?)	(n,n^3)	(n,n^3)	(n,n^3)	*	5145	3298
TRS \| \| Rubio_04/quotminus.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1977	3318
TRS \| \| Rubio_04/p266.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		7	1225
TRS \| \| Rubio_04/test4.xml	no values	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1127
TRS \| \| Rubio_04/mfp95.xml	no values	YES	True	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)		0	1138
TRS \| \| Rubio_04/quick.xml	n	YES	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	✘	4630	3369
TRS \| \| Rubio_04/test829.xml	no values	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1131
TRS \| \| Rubio_04/logarquot.xml	n^2	YES	True	(n,n)	(?,?)	(n,n)	(n,n^3)	(n,n)	^	1796	3231
TRS \| \| Rubio_04/selsort.xml	n^2	YES	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	3620	3624
TRS \| \| Rubio_04/gcd.xml	n^2	YES	True	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	2831	3406
TRS \| \| Rubio_04/bintrees.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	6904	3260
TRS \| \| Rubio_04/enno.xml	n^2	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	60643	3835
TRS \| \| Rubio_04/bn122.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1115
TRS \| \| Rubio_04/revlist.xml	exp	YES	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	1745	3541
TRS \| \| Rubio_04/nestrec.xml	exp	YES	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	25	1154
TRS \| \| Rubio_04/polo2.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n^2)	(n,n)	✔	5036	3194
TRS \| \| Rubio_04/prov.xml	no values	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1126
TRS \| \| HirokawaMiddeldorp_04/n003.xml	no values	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1128
TRS \| \| HirokawaMiddeldorp_04/n006.xml	no values	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1129
TRS \| \| HirokawaMiddeldorp_04/t011.xml	no values	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1129
TRS \| \| HirokawaMiddeldorp_04/t013.xml	exp	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3179	7145
TRS \| \| HirokawaMiddeldorp_04/t009.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	50142	3534
TRS \| \| HirokawaMiddeldorp_04/n007.xml	no values	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY		0	1129
TRS \| \| HirokawaMiddeldorp_04/t012.xml	?	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)		11	1170
TRS \| \| HirokawaMiddeldorp_04/n005.xml	no values	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1180
TRS \| \| HirokawaMiddeldorp_04/t001.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	4755	3287
TRS \| \| HirokawaMiddeldorp_04/t014.xml	n^2	YES	False	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	^	4836	3296
TRS \| \| HirokawaMiddeldorp_04/t002.xml	n^2	YES	True	(n,n)	(?,?)	(n,n^2)	(n,?)	(n,n)	^	4274	3293
TRS \| \| HirokawaMiddeldorp_04/n002.xml	no values	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1103
TRS \| \| HirokawaMiddeldorp_04/n004.xml	no values	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1202
TRS \| \| HirokawaMiddeldorp_04/t003.xml	exp	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2790	3247
TRS \| \| HirokawaMiddeldorp_04/t004.xml	exp	MAYBE	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	55	3150
TRS \| \| Secret_06_TRS/gen-28.xml	no values	YES	False	(1,1)	(?,?)	(1,1)	(?,?)	(1,1)		0	1139
TRS \| \| Secret_06_TRS/division.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3085	3302
TRS \| \| Secret_06_TRS/tpa10.xml	n^3	YES	False	(n^2,?)	(?,?)	(n^2,?)	(?,?)	(n^2,)	*	1840	3352
TRS \| \| Secret_06_TRS/sumList.xml	n^2	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	7516	3415
TRS \| \| Secret_06_TRS/double.xml	n^3	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	11673	3525
TRS \| \| Secret_06_TRS/tpa08.xml	n^2	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(?,?)	(n^2,)	*	1189	3225
TRS \| \| Secret_06_TRS/6.xml	n	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)	^	1784	3462
TRS \| \| Secret_06_TRS/divExp.xml	n^2	MAYBE	False	(n,n^2)	(?,?)	(n,n^3)	(n,?)	(n,n^2)	=	5447	3230
TRS \| \| Secret_06_TRS/times.xml	n^3	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1216	3269
TRS \| \| Secret_06_TRS/4.xml	no values	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		0	1113
TRS \| \| Secret_06_TRS/toList.xml	n	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	10031	3269
TRS \| \| Secret_06_TRS/addList.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	12224	3355
TRS \| \| Secret_06_TRS/tpa04.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	2041	3262
TRS \| \| Secret_06_TRS/nrOfNodes.xml	exp	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	11165	4314
TRS \| \| Secret_06_TRS/reverse.xml	n^2	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	2836	3327
TRS \| \| Secret_06_TRS/logarithm.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	4503	3589
TRS \| \| Secret_06_TRS/tpa07.xml	n^3	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	1890	3279
TRS \| \| Secret_06_TRS/tpa09.xml	exp	MAYBE	False	(n^2,?)	(?,?)	(n^2,?)	(?,?)	(n^2,)	*	1159	3303
TRS \| \| Secret_06_TRS/10.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		13	1167
TRS \| \| Secret_06_TRS/tpa05.xml	n^3	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(?,?)	(n^2,)	*	1726	3338
TRS \| \| Secret_06_TRS/gen-17.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)		4	1232
TRS \| \| Secret_06_TRS/gen-1.xml	n	YES	False	(1,1)	(?,?)	(1,1)	(?,?)	(1,1)	^	12	1176
TRS \| \| Secret_06_TRS/tpa06.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	5947	3293
TRS \| \| Mixed_TRS/perfect2.xml	n^2	YES	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	4230	3341
TRS \| \| Mixed_TRS/test1.xml	no values	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1152
TRS \| \| Mixed_TRS/gcd_triple.xml	n^2	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2493	3274
TRS \| \| Mixed_TRS/minsort.xml	n^2	MAYBE	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	5162	3404
TRS \| \| Mixed_TRS/fossacs.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1431	3424
TRS \| \| Mixed_TRS/while.xml	n	MAYBE	True	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	*	2818	5077
TRS \| \| Mixed_TRS/jones5.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2394	3375
TRS \| \| Mixed_TRS/jones1.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1023	3360
TRS \| \| Mixed_TRS/gcd.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1735	3253
TRS \| \| Mixed_TRS/Ex1_Luc04b_GM.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	19992	3398
TRS \| \| Mixed_TRS/gcdMinMax.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1682	3194
TRS \| \| Mixed_TRS/hydra.xml	n^2	YES	False	(n,n)	(?,?)	(n,n)	(n,n^2)	(n,n)	^	2319	3944
TRS \| \| Mixed_TRS/jones6.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	7791	3341
TRS \| \| Mixed_TRS/jones2.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	309	3293
TRS \| \| Mixed_TRS/jones4.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	84581	3854
TRS \| \| Mixed_TRS/perfect.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	9	1158
TRS \| \| Mixed_TRS/hydra-Zantema06.xml	?	MAYBE	False	(n,n)	(?,?)	(n,n)	(?,?)	(n,n)		7	1180
TRS \| \| Strategy_removed_CSR_05/Ex1_Zan97.xml	no values	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1190
TRS \| \| Strategy_removed_CSR_05/ExAppendixB_AEL03.xml	exp	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	33642	3636
TRS \| \| Strategy_removed_CSR_05/Ex49_GM04.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,?)	(n,n)	✔	1704	3301
TRS \| \| Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		4	1135
TRS \| \| Strategy_removed_CSR_05/Ex4_Zan97.xml	n^2	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	2178	3948
TRS \| \| Strategy_removed_CSR_05/Ex6_9_Luc02c.xml	?	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		4	1225
TRS \| \| Strategy_removed_CSR_05/Ex1_GM03.xml	n^2	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	2152	3357
TRS \| \| Strategy_removed_CSR_05/Ex6_GM04.xml	no values	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1129
TRS \| \| Strategy_removed_CSR_05/Ex4_4_Luc96b.xml	no values	NO	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY		0	1129
TRS \| \| Strategy_removed_CSR_05/ExIntrod_GM01.xml	n^2	NO	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	362	4234
TRS \| \| Strategy_removed_CSR_05/ExIntrod_Zan97.xml	exp	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	1965	3300
TRS \| \| Strategy_removed_CSR_05/Ex3_2_Luc97.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	41705	3638
TRS \| \| Strategy_removed_CSR_05/ExIntrod_GM99.xml	no values	NO	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY		0	1129
TRS \| \| Strategy_removed_CSR_05/Ex7_BLR02.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	1161	3704
TRS \| \| Strategy_removed_CSR_05/Ex1_2_Luc02c.xml	no values	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1129
TRS \| \| Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	38751	3678
TRS \| \| Strategy_removed_CSR_05/Ex1_GL02a.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	2186	3517
TRS \| \| Strategy_removed_CSR_05/ExConc_Zan97.xml	no values	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1116
TRS \| \| Strategy_removed_CSR_05/Ex2_Luc03b.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	1690	3535
TRS \| \| Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	24257	3389
TRS \| \| Strategy_removed_CSR_05/Ex6_Luc98.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	672	3397
TRS \| \| Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml	no values	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1119
TRS \| \| Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	841	3467
TRS \| \| Strategy_removed_CSR_05/Ex3_12_Luc96a.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	834	3539
TRS \| \| Strategy_removed_CSR_05/Ex1_Luc02b.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	1136	3745
TRS \| \| Strategy_removed_CSR_05/Ex5_Zan97.xml	?	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		7	1175
TRS \| \| Strategy_removed_CSR_05/Ex6_15_AEL02.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	53374	3769
TRS \| \| Strategy_removed_CSR_05/Ex14_AEGL02.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	1287	3565
TRS \| \| Strategy_removed_CSR_05/Ex1_2_AEL03.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	2179	3454
TRS \| \| Strategy_removed_CSR_05/Ex5_7_Luc97.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	38616	3626
TRS \| \| Strategy_removed_CSR_05/Ex9_BLR02.xml	no values	NO	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY		0	1135
TRS \| \| Strategy_removed_CSR_05/Ex15_Luc98.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	1305	3620
TRS \| \| Strategy_removed_CSR_05/Ex8_BLR02.xml	n^2	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	2294	4038
TRS \| \| Strategy_removed_CSR_05/ExIntrod_GM04.xml	no values	NO	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY		0	1102
TRS \| \| Strategy_removed_CSR_05/Ex26_Luc03b.xml	n^3	NO	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	1176	3375
TRS \| \| AProVE_08/round_nonterm.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	3507	4411
TRS \| \| AProVE_08/parting05_maxsort.xml	n^3	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	4035	3330
TRS \| \| AProVE_08/id_inc.xml	n	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	13914	4221
TRS \| \| AProVE_08/thiemann40_modified.xml	n^2	MAYBE	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	2261	3377
TRS \| \| AProVE_08/log.xml	n	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3855	3235
TRS \| \| AProVE_08/parting04_maxsort_h.xml	n^3	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(?,?)	(n^2,)	*	4667	3384
TRS \| \| AProVE_08/parting03_minsort.xml	n^2	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	2796	3405
TRS \| \| AProVE_08/round.xml	n	MAYBE	False	(n,?)	(?,?)	(n,n)	(n,?)	(n,n)	✔	3457	4626
TRS \| \| AProVE_08/parting01_reverse.xml	n^2	MAYBE	True	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	*	8205	3440
TRS \| \| AProVE_08/parting02_doublelist.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	17207	3406
TRS \| \| Waldmann_06/jwmatchb1.xml	no values	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1120
TRS \| \| Waldmann_06/jwno6.xml	no values	NO	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY		0	1117
TRS \| \| Waldmann_06/jwmatchb2.xml	no values	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1135
TRS \| \| Waldmann_06/jwno4.xml	no values	NO	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY		0	1228
TRS \| \| Waldmann_06/jwno1.xml	no values	NO	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY		0	1142
TRS \| \| SK90/4.54.xml	no values	NO	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY		0	1137
TRS \| \| SK90/4.12.xml	n^2	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	^	1623	4616
TRS \| \| SK90/4.35.xml	no values	YES	True	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)		0	1122
TRS \| \| SK90/2.59.xml	no values	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		0	1118
TRS \| \| SK90/4.07.xml	n	YES	False	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)	^	12	1164
TRS \| \| SK90/2.52.xml	exp	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1614	3250
TRS \| \| SK90/2.31.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	9639	3326
TRS \| \| SK90/4.61.xml	exp	YES	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✔	706	3592
TRS \| \| SK90/2.14.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	2570	4456
TRS \| \| SK90/2.42.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	10707	3367
TRS \| \| SK90/4.42.xml	exp	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	1529	3171
TRS \| \| SK90/4.16.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	5703	3153
TRS \| \| SK90/2.36.xml	n^2	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	^	35029	3483
TRS \| \| SK90/2.50.xml	no values	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1137
TRS \| \| SK90/4.09.xml	n	YES	False	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)	^	10	1191
TRS \| \| SK90/2.15.xml	n	YES	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✘	71	4302
TRS \| \| SK90/2.43.xml	n	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	533	3344
TRS \| \| SK90/2.03.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1140
TRS \| \| SK90/2.39.xml	n^2	YES	True	(n^2,n^2)	(?,?)	(n^2,n^2)	(n,n^2)	(n^2,n^2)	✔	632	3295
TRS \| \| SK90/4.59.xml	exp	YES	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✔	138	3276
TRS \| \| SK90/4.53.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n^2)	(n,n)	✔	1130	3219
TRS \| \| SK90/2.24.xml	exp	YES	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✔	74	4261
TRS \| \| SK90/2.53.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1126
TRS \| \| SK90/2.27.xml	exp	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2003	3767
TRS \| \| SK90/2.44.xml	1	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✘	10	1157
TRS \| \| SK90/2.18.xml	n^2	YES	True	(n,n^2)	(?,?)	(n,n^2)	(n,n^2)	(n,n^2)	=	384	3174
TRS \| \| SK90/4.30.xml	n^2	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	^	61191	3748
TRS \| \| SK90/2.40.xml	n^2	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	^	14715	3397
TRS \| \| SK90/2.25.xml	exp	YES	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✔	1619	4254
TRS \| \| SK90/2.21.xml	exp	YES	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	586	3201
TRS \| \| SK90/2.37.xml	no values	YES	True	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)		0	1143
TRS \| \| SK90/4.34.xml	no values	NO	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY		0	1135
TRS \| \| SK90/4.25.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	9154	3321
TRS \| \| SK90/4.28.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1351	3594
TRS \| \| SK90/2.49.xml	n^2	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)	^	14	1226
TRS \| \| SK90/2.17.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	361	3287
TRS \| \| SK90/2.48.xml	?	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		7	1254
TRS \| \| SK90/4.51.xml	no values	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)		0	1137
TRS \| \| SK90/4.27.xml	n^2	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	2305	3234
TRS \| \| SK90/2.02.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1122
TRS \| \| SK90/2.16.xml	n^2	YES	False	(n^2,n^2)	(?,?)	(n^2,n^2)	(n,n^2)	(n^2,n^2)	✔	1143	3318
TRS \| \| SK90/4.45.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1120
TRS \| \| SK90/2.51.xml	exp	YES	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	690	3196
TRS \| \| SK90/4.38.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1195
TRS \| \| SK90/4.48.xml	n^2	YES	False	(1,1)	(?,?)	(1,1)	(?,n)	(1,1)	^	10	1169
TRS \| \| SK90/4.26.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	2130	3208
TRS \| \| SK90/4.29.xml	n^2	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	^	528	3387
TRS \| \| SK90/4.57.xml	1	YES	False	(?,?)	(?,?)	(?,?)	(?,?)	(,)	*	31	1158
TRS \| \| SK90/4.47.xml	no values	YES	True	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)		0	1121
TRS \| \| SK90/2.38.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	3575	3288
TRS \| \| SK90/2.61.xml	n	YES	False	(?,n^2)	(?,?)	(?,n)	(?,n)	(,n)	=	10	1173
TRS \| \| SK90/2.45.xml	?	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		4	1147
TRS \| \| SK90/4.31.xml	exp	YES	True	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✔	67	4223
TRS \| \| SK90/2.09.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1503	4085
TRS \| \| SK90/2.12.xml	n^3	YES	True	(n^3,n^3)	(?,?)	(n^3,n^3)	(n,?)	(n^3,n^3)	✔	5465	3235
TRS \| \| SK90/2.11.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	2964	4090
TRS \| \| SK90/2.54.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1614	4162
TRS \| \| SK90/2.23.xml	exp	YES	False	(n^3,?)	(?,?)	(n^3,?)	(n,?)	(n^3,)	*	1944	3293
TRS \| \| SK90/4.17.xml	n	YES	True	(n^2,?)	(?,?)	(n^2,?)	(?,?)	(n^2,)	✘	2049	4125
TRS \| \| SK90/4.60.xml	exp	YES	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	690	3254
TRS \| \| SK90/2.13.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	10969	3451
TRS \| \| SK90/4.05.xml	n^2	YES	False	(n,n^2)	(?,?)	(n,n^2)	(n,n^2)	(n,n^2)	=	4766	3171
TRS \| \| SK90/2.29.xml	n^2	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	^	431	4331
TRS \| \| SK90/2.20.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	295	3219
TRS \| \| SK90/4.43.xml	n^2	YES	False	(?,?)	(?,?)	(n,?)	(n,?)	(n,)	*	4743	3321
TRS \| \| SK90/4.24.xml	exp	YES	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	925	3267
TRS \| \| SK90/4.06.xml	no values	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY		0	1131
TRS \| \| SK90/2.28.xml	no values	YES	True	(?,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1138
TRS \| \| SK90/2.19.xml	n^2	YES	False	(n^2,n^2)	(?,?)	(n^2,n^2)	(n,n^2)	(n^2,n^2)	✔	836	3249
TRS \| \| SK90/2.41.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1476	3551
TRS \| \| SK90/4.18.xml	no values	YES	False	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)		0	1121
TRS \| \| SK90/2.22.xml	exp	YES	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	642	4250
TRS \| \| SK90/4.13.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n^2)	(n,n)	✔	395	3250
TRS \| \| SK90/2.07.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n^2)	(n,n)	✔	4340	3221
TRS \| \| SK90/2.30.xml	no values	YES	True	(1,1)	(?,?)	(1,1)	(1,1)	(1,1)		0	1151
TRS \| \| SK90/4.22.xml	no values	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)		0	1134
TRS \| \| SK90/2.55.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1299	3754
TRS \| \| SK90/2.26.xml	exp	YES	False	(?,?)	(?,?)	NONP	(?,?)	NON_POLY	✔	1810	3345
TRS \| \| SK90/4.10.xml	n^2	YES	False	(n,n^3)	(?,?)	(n,n^2)	(n,n^2)	(n,n^2)	=	3711	3211
TRS \| \| SK90/2.47.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1545	4248
TRS \| \| Various_04/22.xml	n	YES	False	(n,n^2)	(?,?)	(n,n)	(n,?)	(n,n)	✔	1946	4855
TRS \| \| Various_04/24.xml	n	YES	True	(n,n)	(?,?)	(n,n)	(n,n^2)	(n,n)	✔	7033	3359
TRS \| \| Various_04/23.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)		0	1143
TRS \| \| Various_04/13.xml	n	YES	False	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	*	9315	3507
TRS \| \| Various_04/08.xml	1	MAYBE	False	(1,1)	(?,?)	(1,1)	(?,?)	(1,1)	✔	33	1241
TRS \| \| Various_04/04.xml	?	MAYBE	False	(1,1)	(?,?)	(1,1)	(?,?)	(1,1)		21	1179
TRS \| \| Various_04/10.xml	exp	YES	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	5450	3353
TRS \| \| Various_04/18.xml	no values	YES	False	(n,n)	(?,?)	(n,n)	(?,n)	(n,n)		0	1127
TRS \| \| Various_04/12.xml	n	YES	False	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	*	11163	3515
TRS \| \| Various_04/11.xml	1	MAYBE	False	(1,1)	(?,?)	(1,1)	(?,?)	(1,1)	✔	9	1175
TRS \| \| Various_04/15.xml	n	YES	False	(n,n)	(?,?)	(n,n)	(n,n)	(n,n)	✔	1763	4343
TRS \| \| Various_04/14.xml	n	YES	False	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	*	9669	3490
TRS \| \| AProVE_06/tower_sizeChange.xml	exp	YES	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3730	3364
TRS \| \| AProVE_06/quot.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3363	3279
TRS \| \| AProVE_06/nonterm.xml	n	NO	False	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✘	3210	5090
TRS \| \| AProVE_06/tower.xml	exp	YES	True	(?,?)	(?,?)	NONP	(n,?)	NON_POLY	✔	4742	3237
TRS \| \| AProVE_06/sizeChange.xml	n^2	YES	True	(n,n^2)	(?,?)	(n,n^2)	(n,?)	(n,n^2)	=	33248	3478
TRS \| \| AProVE_06/logarithm.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	4467	3387
TRS \| \| AProVE_06/factorial1.xml	exp	YES	True	(n^4,?)	(?,?)	(n^4,?)	(n,?)	(n^4,)	*	3702	3339
TRS \| \| AProVE_06/div_notTermin.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	7645	3411
TRS \| \| AProVE_06/div_notCeTermin.xml	n^2	MAYBE	True	(n,?)	(?,?)	(n,?)	(?,?)	(n,)	*	7330	3319
TRS \| \| AProVE_06/modulo.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3117	3275
TRS \| \| AProVE_06/quicksort.xml	n	MAYBE	False	(n^2,?)	(?,?)	(n^2,?)	(n,?)	(n^2,)	✘	5858	3420
TRS \| \| AProVE_06/identity.xml	n^2	MAYBE	False	(n,?)	(?,?)	(n,?)	(n,?)	(n,)	*	3086	3303
TRS \| \| AProVE_06/factorial2.xml	exp	MAYBE	False	(n^3,?)	(?,?)	(n^3,?)	(n,?)	(n^3,)	*	3879	3346

cat.	samples	✘ unsound	compliant	no values	unk	*	VBS O	=	^	VSB θ	✔
NOT_NONP	653	31 (4.7%)	519 (79.5%)	74 (11.3%)	29 (4.4%)	306 (46.9%)	347	175 (50.4%)	48 (13.8%)	215	155 (72.1%)
TERMINATING	427	58 (13.6%)	288 (67.4%)	59 (13.8%)	22 (5.2%)	110 (25.8%)	320	139 (43.4%)	46 (14.4%)	221	132 (59.7%)
NOT_NON_TERMINATING	796	137 (17.2%)	558 (70.1%)	73 (9.2%)	28 (3.5%)	304 (38.2%)	492	216 (43.9%)	48 (9.8%)	362	196 (54.1%)
FP	215	12 (5.6%)	155 (72.1%)	47 (21.9%)	1 (0.5%)	90 (41.9%)	128	57 (44.5%)	11 (8.6%)	62	44 (71.0%)
NOT_NONP_TERMINATING	358	23 (6.4%)	256 (71.5%)	58 (16.2%)	21 (5.9%)	110 (30.7%)	251	107 (42.6%)	46 (18.3%)	154	100 (64.9%)
NOT_NONP_NOT_NON_TERMINATING	643	31 (4.8%)	513 (79.8%)	72 (11.2%)	27 (4.2%)	304 (47.3%)	339	171 (50.4%)	48 (14.2%)	211	151 (71.6%)
NOT_NONP_FP	168	5 (3.0%)	140 (83.3%)	23 (13.7%)	0 (0.0%)	90 (53.6%)	81	42 (51.9%)	11 (13.6%)	40	29 (72.5%)
TERMINATING_FP	111	7 (6.3%)	80 (72.1%)	24 (21.6%)	0 (0.0%)	30 (27.0%)	81	42 (51.9%)	11 (13.6%)	52	39 (75.0%)
NOT_NON_TERMINATING_FP	187	8 (4.3%)	155 (82.9%)	24 (12.8%)	0 (0.0%)	90 (48.1%)	100	57 (57.0%)	11 (11.0%)	58	44 (75.9%)
NOT_NONP_TERMINATING_FP	96	5 (5.2%)	68 (70.8%)	23 (24.0%)	0 (0.0%)	30 (31.2%)	66	30 (45.5%)	11 (16.7%)	38	27 (71.1%)
NOT_NONP_NOT_NON_TERMINATING_FP	168	5 (3.0%)	140 (83.3%)	23 (13.7%)	0 (0.0%)	90 (53.6%)	81	42 (51.9%)	11 (13.6%)	40	29 (72.5%)
ALL	959	203 (21.2%)	568 (59.2%)	113 (11.8%)	75 (7.8%)	306 (31.9%)	653	224 (34.3%)	48 (7.4%)	436	204 (46.8%)

Runtime Complexity: TRS

Stats

Stats