Features
Processor	Intel(R) Core(TM) i5-7300U CPU @ 2.60GHz 2.71GHz
RAM	8.00 GB
OS	Linux 4.4.0-17134-Microsoft
Program Versions	Mace4 (64) version 2009-11A, November 2009. AGES, version 1.0 Barcelogic 2016 Yices 2.6.1 Z3 4.4.1
Database	TPDB 10.6
Timeout	60s
Examples	1498

Examples	MU-TERM (AGES + Barcelogic)	MU-TERM (AGES + Yices)	MU-TERM (AGES + Z3)	MU-TERM (Mace4)
TRS_Standard/AG01/#3.1.xml	2.03	60	60	60
TRS_Standard/AG01/#3.10.xml	60	60	60	60
TRS_Standard/AG01/#3.12.xml	5.077	60	60	60
TRS_Standard/AG01/#3.13.xml	60	60	60	60
TRS_Standard/AG01/#3.15.xml	60	60	60	40.046
TRS_Standard/AG01/#3.16.xml	5.01	60	60	60
TRS_Standard/AG01/#3.17.xml	15.093	60	60	60
TRS_Standard/AG01/#3.17a.xml	15.067	60	60	60
TRS_Standard/AG01/#3.18.xml	14.06	60	60	60
TRS_Standard/AG01/#3.19.xml	60	60	60	60
TRS_Standard/AG01/#3.2.xml	2.09	60	60	60
TRS_Standard/AG01/#3.21.xml	60	60	60	40.036
TRS_Standard/AG01/#3.22.xml	60	60	60	60
TRS_Standard/AG01/#3.23.xml	3.048	60	59.051	40.041
TRS_Standard/AG01/#3.24.xml	3.003	60	60	41.042
TRS_Standard/AG01/#3.26.xml	3.002	60	60	40.038
TRS_Standard/AG01/#3.29.xml	0.019	0.017	0.017	0.014
TRS_Standard/AG01/#3.31.xml	1.003	0.098	3.001	40.044
TRS_Standard/AG01/#3.33.xml	0.019	0.019	0.018	0.013
TRS_Standard/AG01/#3.35.xml	1.019	0.093	8.034	60
TRS_Standard/AG01/#3.36.xml	10.092	60	60	60
TRS_Standard/AG01/#3.37.xml	1.038	60	60	60
TRS_Standard/AG01/#3.38.xml	6.054	60	60	60
TRS_Standard/AG01/#3.39.xml	60	60	60	60
TRS_Standard/AG01/#3.4.xml	8.044	60	60	60
TRS_Standard/AG01/#3.40.xml	60	60	60	60
TRS_Standard/AG01/#3.41.xml	60	60	60	40.029
TRS_Standard/AG01/#3.42.xml	60	60	60	60
TRS_Standard/AG01/#3.47.xml	3.011	60	60	40.023
TRS_Standard/AG01/#3.48.xml	4.03	60	60	60
TRS_Standard/AG01/#3.49.xml	6.012	60	60	60
TRS_Standard/AG01/#3.5.xml	7.069	60	60	60
TRS_Standard/AG01/#3.51.xml	1.001	1.01	22.034	20.017
TRS_Standard/AG01/#3.52.xml	60	60	60	40.022
TRS_Standard/AG01/#3.53.xml	11.079	60	60	60
TRS_Standard/AG01/#3.53a.xml	1.084	60	60	20.018
TRS_Standard/AG01/#3.53b.xml	60	60	60	40.026
TRS_Standard/AG01/#3.54.xml	2.068	60	60	60
TRS_Standard/AG01/#3.55.xml	31.06	60	60	60
TRS_Standard/AG01/#3.56.xml	3.047	60	60	40.036
TRS_Standard/AG01/#3.57.xml	19.009	60	60	60
TRS_Standard/AG01/#3.5a.xml	8.054	60	60	60
TRS_Standard/AG01/#3.5b.xml	31.087	60	60	60
TRS_Standard/AG01/#3.6.xml	9.048	60	60	60
TRS_Standard/AG01/#3.6a.xml	7.09	60	60	60
TRS_Standard/AG01/#3.6b.xml	23.031	60	60	60
TRS_Standard/AG01/#3.7.xml	1.096	60	60	60
TRS_Standard/AG01/#3.8a.xml	5.033	60	60	60
TRS_Standard/AG01/#3.8b.xml	14.056	60	60	60
TRS_Standard/AG01/#4.30c.xml	60	60	60	60
TRS_Standard/AotoYamada_05/001.xml	60	60	60	60
TRS_Standard/AotoYamada_05/002.xml	60	60	60	60
TRS_Standard/AotoYamada_05/003.xml	60	60	60	60
TRS_Standard/AotoYamada_05/004.xml	60	60	60	60
TRS_Standard/AotoYamada_05/005.xml	3.009	60	60	60
TRS_Standard/AotoYamada_05/006.xml	60	60	60	60
TRS_Standard/AotoYamada_05/007.xml	60	60	60	60
TRS_Standard/AotoYamada_05/009.xml	60	60	60	60
TRS_Standard/AotoYamada_05/010.xml	60	60	60	60
TRS_Standard/AotoYamada_05/011.xml	60	60	60	60
TRS_Standard/AotoYamada_05/012.xml	60	60	60	60
TRS_Standard/AotoYamada_05/013.xml	60	60	60	60
TRS_Standard/AotoYamada_05/014.xml	60	60	60	60
TRS_Standard/AotoYamada_05/015.xml	60	60	60	60
TRS_Standard/AotoYamada_05/016.xml	60	60	60	60
TRS_Standard/AotoYamada_05/017.xml	3.009	60	60	60
TRS_Standard/AotoYamada_05/019.xml	60	60	60	60
TRS_Standard/AotoYamada_05/020.xml	60	60	60	60
TRS_Standard/AotoYamada_05/021.xml	60	60	60	60
TRS_Standard/AotoYamada_05/022.xml	60	60	60	60
TRS_Standard/AotoYamada_05/023.xml	1.068	60	60	40.021
TRS_Standard/AotoYamada_05/024.xml	60	60	60	60
TRS_Standard/AotoYamada_05/025.xml	1	3.006	17.062	40.021
TRS_Standard/AotoYamada_05/026.xml	60	60	60	60
TRS_Standard/AotoYamada_05/027.xml	60	60	60	60
TRS_Standard/AotoYamada_05/028.xml	60	60	60	60
TRS_Standard/AotoYamada_05/Ex1SimplyTyped.xml	60	60	60	60
TRS_Standard/AotoYamada_05/Ex5TermProof.xml	60	60	60	60
TRS_Standard/Applicative_05/BTreeMember.xml	60	60	60	60
TRS_Standard/Applicative_05/Ex10Functional.xml	60	60	60	60
TRS_Standard/Applicative_05/Ex2PrimRec.xml	60	60	60	60
TRS_Standard/Applicative_05/Ex2_6_1Composition.xml	2.009	60	60	60
TRS_Standard/Applicative_05/Ex2_8_1ConstSubstFix.xml	60	60	60	60
TRS_Standard/Applicative_05/Ex3Lists.xml	60	60	60	60
TRS_Standard/Applicative_05/Ex4MapList.xml	60	60	60	60
TRS_Standard/Applicative_05/Ex5Folding.xml	60	60	60	60
TRS_Standard/Applicative_05/Ex5Sorting.xml	60	60	60	60
TRS_Standard/Applicative_05/Ex6Folding.xml	60	60	60	60
TRS_Standard/Applicative_05/Ex6Recursor.xml	60	60	60	60
TRS_Standard/Applicative_05/Ex6_11.xml	1.006	60	60	20.017
TRS_Standard/Applicative_05/Ex7OrdinalRec.xml	60	60	60	60
TRS_Standard/Applicative_05/Ex7Sorting.xml	60	60	60	60
TRS_Standard/Applicative_05/Ex7_9.xml	60	60	60	60
TRS_Standard/Applicative_05/Ex8Polymorphic.xml	60	60	60	60
TRS_Standard/Applicative_05/Ex9Maps.xml	60	60	60	60
TRS_Standard/Applicative_05/Hamming.xml	60	60	60	60
TRS_Standard/Applicative_05/mapDivMinus.xml	60	60	60	60
TRS_Standard/Applicative_05/mapDivMinusHard.xml	60	60	60	60
TRS_Standard/Applicative_05/nonTermF.xml	60	60	60	60
Examples	muterm-ages-barcelogic	muterm-ages-yices	muterm-ages-z3	muterm-mace4
TRS_Standard/Applicative_05/ReverseLastInit.xml	6.003	60	60	60
TRS_Standard/Applicative_05/TakeDropWhile.xml	60	60	60	60
TRS_Standard/Applicative_05/termMonTypes.xml	60	60	60	60
TRS_Standard/Applicative_05/TreeFlatten.xml	60	60	60	60
TRS_Standard/Applicative_05/TreeHeight.xml	60	60	60	60
TRS_Standard/Applicative_05/TreeLevels.xml	60	60	60	60
TRS_Standard/Applicative_05/TreeMap.xml	60	60	60	60
TRS_Standard/Applicative_05/TreeSize.xml	60	60	60	60
TRS_Standard/Applicative_05/TypeEx1.xml	0.018	0.015	0.011	0.014
TRS_Standard/Applicative_05/TypeEx3.xml	60	60	60	60
TRS_Standard/Applicative_05/TypeEx5.xml	60	60	60	40.051
TRS_Standard/Applicative_first_order_05/#3.10.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.13.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.16.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.18.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.2.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.22.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.25.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.27.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.32.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.36.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.38.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.40.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.45.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.48.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.52.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.55.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.57.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.6.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/#3.8.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/01.xml	0.028	0.019	0.018	60
TRS_Standard/Applicative_first_order_05/02.xml	0.047	0.031	0.02	60
TRS_Standard/Applicative_first_order_05/06.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/08.xml	0.028	0.024	0.027	60
TRS_Standard/Applicative_first_order_05/11.xml	0.028	0.027	0.027	60
TRS_Standard/Applicative_first_order_05/12.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/13.xml	0.036	0.03	0.029	60
TRS_Standard/Applicative_first_order_05/17.xml	0.02	0.076	0.03	60
TRS_Standard/Applicative_first_order_05/18.xml	0.021	0.019	0.018	60
TRS_Standard/Applicative_first_order_05/21.xml	0.072	0.019	0.016	60
TRS_Standard/Applicative_first_order_05/29.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/30.xml	0.019	0.016	0.016	60
TRS_Standard/Applicative_first_order_05/31.xml	0.021	0.017	0.028	60
TRS_Standard/Applicative_first_order_05/33.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/hydra.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/minsort.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/motivation.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/perfect.xml	60	60	60	60
TRS_Standard/Applicative_first_order_05/perfect2.xml	60	60	60	60
TRS_Standard/AProVE_04/AAECC-ring.xml	60	60	60	60
TRS_Standard/AProVE_04/AAECC.xml	60	60	60	60
TRS_Standard/AProVE_04/fac.xml	60	60	60	60
TRS_Standard/AProVE_04/forward_instantiation.xml	60	60	60	0.023
TRS_Standard/AProVE_04/forward_instantiation2.xml	60	60	60	40.054
TRS_Standard/AProVE_04/IJCAR_1.xml	60	60	60	60
TRS_Standard/AProVE_04/IJCAR_12.xml	60	60	60	60
TRS_Standard/AProVE_04/IJCAR_18.xml	60	60	60	60
TRS_Standard/AProVE_04/IJCAR_26.xml	60	60	60	60
TRS_Standard/AProVE_04/IJCAR_26a.xml	60	60	60	60
TRS_Standard/AProVE_04/improved_usable.xml	60	60	60	20.026
TRS_Standard/AProVE_04/improved_usable2.xml	2.037	60	60	20.026
TRS_Standard/AProVE_04/JFP_Ex31.xml	60	60	60	60
TRS_Standard/AProVE_04/JFP_Ex51.xml	60	60	60	60
TRS_Standard/AProVE_04/Liveness6.1.xml	60	60	60	60
TRS_Standard/AProVE_04/Liveness6.2.xml	60	60	60	60
TRS_Standard/AProVE_04/Liveness6.3.xml	60	60	60	60
TRS_Standard/AProVE_04/Liveness6.4.xml	60	60	60	60
TRS_Standard/AProVE_04/Liveness8.xml	29.097	60	60	60
TRS_Standard/AProVE_04/Liveness_WRS.xml	60	60	60	60
TRS_Standard/AProVE_04/LPAR_intlist.xml	60	60	60	60
TRS_Standard/AProVE_04/rta1.xml	60	60	60	60
TRS_Standard/AProVE_04/rta2.xml	3.035	60	60	40.022
TRS_Standard/AProVE_04/rta3.xml	60	60	60	60
TRS_Standard/AProVE_06/div_notCeTermin.xml	60	60	60	60
TRS_Standard/AProVE_06/div_notTermin.xml	60	60	60	60
TRS_Standard/AProVE_06/factorial1.xml	60	60	60	60
TRS_Standard/AProVE_06/factorial2.xml	60	60	60	60
TRS_Standard/AProVE_06/identity.xml	60	60	60	60
TRS_Standard/AProVE_06/logarithm.xml	60	60	60	60
TRS_Standard/AProVE_06/mapHard.xml	60	60	60	60
TRS_Standard/AProVE_06/modulo.xml	60	60	60	60
TRS_Standard/AProVE_06/nonterm.xml	60	60	60	60
TRS_Standard/AProVE_06/quicksort.xml	60	60	60	60
TRS_Standard/AProVE_06/quot.xml	60	60	60	60
TRS_Standard/AProVE_06/sizeChange.xml	60	60	60	60
TRS_Standard/AProVE_06/tower.xml	60	60	60	60
TRS_Standard/AProVE_06/tower_sizeChange.xml	60	60	60	60
TRS_Standard/AProVE_07/kabasci01.xml	60	60	60	60
TRS_Standard/AProVE_07/kabasci02.xml	60	60	60	60
TRS_Standard/AProVE_07/kabasci03.xml	60	60	60	60
TRS_Standard/AProVE_07/kabasci04.xml	60	60	60	60
TRS_Standard/AProVE_07/kabasci05.xml	60	60	60	60
TRS_Standard/AProVE_07/kabasci06.xml	60	60	60	60
TRS_Standard/AProVE_07/otto01.xml	60	60	60	60
TRS_Standard/AProVE_07/otto02.xml	60	60	60	60
TRS_Standard/AProVE_07/otto03.xml	60	60	60	60
TRS_Standard/AProVE_07/otto04.xml	60	60	60	60
TRS_Standard/AProVE_07/otto05.xml	60	60	60	60
TRS_Standard/AProVE_07/otto06.xml	60	60	60	60
TRS_Standard/AProVE_07/otto07.xml	60	60	60	60
TRS_Standard/AProVE_07/otto08.xml	60	60	60	60
Examples	MU-TERM (AGES + Barcelogic)	MU-TERM (AGES + Yices)	MU-TERM (AGES + Z3)	MU-TERM (Mace4)
TRS_Standard/AProVE_07/otto09.xml	60	60	60	60
TRS_Standard/AProVE_07/otto10.xml	60	60	60	60
TRS_Standard/AProVE_07/otto11.xml	60	60	60	60
TRS_Standard/AProVE_07/otto12.xml	60	60	60	60
TRS_Standard/AProVE_07/otto13.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann01.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann02.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann03.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann04.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann05.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann06.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann07.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann08.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann09.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann10.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann11.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann12.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann13.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann14.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann15.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann16.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann17.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann18.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann19.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann20.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann21.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann22.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann23.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann24.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann25.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann26.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann27.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann28.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann29.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann30.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann31.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann32.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann33.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann34.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann35.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann36.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann37.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann38.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann39.xml	60	60	60	60
TRS_Standard/AProVE_07/thiemann40.xml	60	60	60	40.022
TRS_Standard/AProVE_07/thiemann41.xml	60	60	60	60
TRS_Standard/AProVE_07/wiehe01.xml	60	60	60	60
TRS_Standard/AProVE_07/wiehe02.xml	60	60	60	60
TRS_Standard/AProVE_07/wiehe03.xml	60	60	60	60
TRS_Standard/AProVE_07/wiehe05.xml	60	60	60	60
TRS_Standard/AProVE_07/wiehe06.xml	60	60	60	60
TRS_Standard/AProVE_07/wiehe07.xml	60	60	60	60
TRS_Standard/AProVE_07/wiehe08.xml	60	60	60	60
TRS_Standard/AProVE_07/wiehe09.xml	60	60	60	60
TRS_Standard/AProVE_07/wiehe11.xml	60	60	60	60
TRS_Standard/AProVE_07/wiehe12.xml	60	60	60	60
TRS_Standard/AProVE_08/id_inc.xml	60	60	60	60
TRS_Standard/AProVE_08/log.xml	60	60	60	60
TRS_Standard/AProVE_08/parting01_reverse.xml	60	60	60	60
TRS_Standard/AProVE_08/parting02_doublelist.xml	60	60	60	60
TRS_Standard/AProVE_08/parting03_minsort.xml	60	60	60	60
TRS_Standard/AProVE_08/parting04_maxsort_h.xml	60	60	60	60
TRS_Standard/AProVE_08/parting05_maxsort.xml	60	60	60	60
TRS_Standard/AProVE_08/round.xml	60	60	60	40.022
TRS_Standard/AProVE_08/round_nonterm.xml	60	60	60	40.025
TRS_Standard/AProVE_08/thiemann40_modified.xml	60	60	60	60
TRS_Standard/AProVE_09_Inductive/div.xml	60	60	60	60
TRS_Standard/AProVE_09_Inductive/divhard.xml	60	60	60	60
TRS_Standard/AProVE_09_Inductive/gcd.xml	60	60	60	60
TRS_Standard/AProVE_09_Inductive/gcd2.xml	60	60	60	60
TRS_Standard/AProVE_09_Inductive/gcdhard.xml	60	60	60	60
TRS_Standard/AProVE_09_Inductive/log.xml	60	60	60	60
TRS_Standard/AProVE_09_Inductive/maxsort.xml	60	60	60	60
TRS_Standard/AProVE_09_Inductive/maxsortcondition.xml	60	60	60	60
TRS_Standard/AProVE_09_Inductive/minsort.xml	60	60	60	60
TRS_Standard/AProVE_09_Inductive/mod.xml	60	60	60	60
TRS_Standard/AProVE_09_Inductive/qsort.xml	60	60	60	60
TRS_Standard/AProVE_09_Inductive/qsortlast.xml	60	60	60	60
TRS_Standard/AProVE_09_Inductive/qsortmiddle.xml	60	60	60	60
TRS_Standard/AProVE_09_Inductive/zerolist.xml	60	60	60	60
TRS_Standard/AProVE_10/andIsNat.xml	60	60	60	60
TRS_Standard/AProVE_10/challenge_fab.xml	60	60	60	60
TRS_Standard/AProVE_10/double.xml	60	60	60	60
TRS_Standard/AProVE_10/downfrom.xml	60	60	60	60
TRS_Standard/AProVE_10/ex1.xml	60	60	60	60
TRS_Standard/AProVE_10/ex2.xml	60	60	60	60
TRS_Standard/AProVE_10/ex3.xml	60	60	60	60
TRS_Standard/AProVE_10/ex4.xml	60	60	60	60
TRS_Standard/AProVE_10/ex5.xml	0.08	0.033	5.011	40.025
TRS_Standard/AProVE_10/halfdouble.xml	60	60	60	60
TRS_Standard/AProVE_10/isList.xml	60	60	60	40.023
TRS_Standard/AProVE_10/isNat.xml	60	60	60	60
TRS_Standard/AProVE_10/scnp.xml	5.008	60	60	60
TRS_Standard/AProVE_10/Zantema06-03-modified.xml	60	60	60	60
TRS_Standard/Beerendonk_07/1.xml	60	60	60	60
TRS_Standard/Beerendonk_07/10.xml	60	60	60	60
TRS_Standard/Beerendonk_07/11.xml	60	60	60	60
TRS_Standard/Beerendonk_07/12.xml	60	60	60	60
TRS_Standard/Beerendonk_07/13.xml	60	60	60	60
Examples	muterm-ages-barcelogic	muterm-ages-yices	muterm-ages-z3	muterm-mace4
TRS_Standard/Beerendonk_07/14.xml	60	60	60	60
TRS_Standard/Beerendonk_07/15.xml	60	60	60	60
TRS_Standard/Beerendonk_07/16.xml	60	60	60	60
TRS_Standard/Beerendonk_07/17.xml	60	60	60	60
TRS_Standard/Beerendonk_07/18.xml	60	60	60	60
TRS_Standard/Beerendonk_07/19.xml	60	60	60	60
TRS_Standard/Beerendonk_07/2.xml	60	60	60	60
TRS_Standard/Beerendonk_07/20.xml	60	60	60	60
TRS_Standard/Beerendonk_07/21.xml	60	60	60	60
TRS_Standard/Beerendonk_07/22.xml	60	60	60	60
TRS_Standard/Beerendonk_07/23.xml	60	60	60	60
TRS_Standard/Beerendonk_07/24.xml	60	60	60	60
TRS_Standard/Beerendonk_07/3.xml	60	60	60	60
TRS_Standard/Beerendonk_07/4.xml	60	60	60	60
TRS_Standard/Beerendonk_07/5.xml	60	60	60	60
TRS_Standard/Beerendonk_07/6.xml	60	60	60	60
TRS_Standard/Beerendonk_07/7.xml	60	60	60	60
TRS_Standard/Beerendonk_07/8.xml	60	60	60	60
TRS_Standard/Beerendonk_07/9.xml	60	60	60	60
TRS_Standard/CiME_04/ack_prolog.xml	60	60	60	60
TRS_Standard/CiME_04/append-hard.xml	60	60	60	60
TRS_Standard/CiME_04/append-wrong.xml	60	60	60	60
TRS_Standard/CiME_04/append.xml	60	60	60	60
TRS_Standard/CiME_04/big.xml	60	60	60	60
TRS_Standard/CiME_04/boolean_rings.xml	60	60	60	60
TRS_Standard/CiME_04/dpqs.xml	44.051	10.077	59.099	60
TRS_Standard/CiME_04/fact-hard.xml	60	60	60	60
TRS_Standard/CiME_04/filliatre.xml	60	60	60	60
TRS_Standard/CiME_04/filliatre2.xml	60	60	60	60
TRS_Standard/CiME_04/filliatre3.xml	60	60	60	60
TRS_Standard/CiME_04/intersect.xml	60	60	60	60
TRS_Standard/CiME_04/list-sum-prod-assoc-append.xml	60	60	60	60
TRS_Standard/CiME_04/list-sum-prod-assoc.xml	60	60	60	60
TRS_Standard/CiME_04/list-sum-prod-bin-assoc-distr-app.xml	60	60	60	60
TRS_Standard/CiME_04/list-sum-prod-bin-assoc.xml	60	60	60	60
TRS_Standard/CiME_04/list-sum-prod-bin.xml	19.018	60	60	60
TRS_Standard/CiME_04/list-sum-prod.xml	4.003	60	60	60
TRS_Standard/CiME_04/log2.xml	60	60	60	60
TRS_Standard/CiME_04/lse.xml	60	60	60	60
TRS_Standard/CiME_04/maude2.xml	60	60	60	60
TRS_Standard/CiME_04/mucrl1.xml	60	60	60	60
TRS_Standard/CiME_04/ternary-hard.xml	60	60	60	60
TRS_Standard/CiME_04/ternary.xml	60	60	60	60
TRS_Standard/CiME_04/tree.xml	58.064	60	60	60
TRS_Standard/Der95/01.xml	0.019	0.016	0.012	0.017
TRS_Standard/Der95/02.xml	0.021	0.017	0.021	0.021
TRS_Standard/Der95/03.xml	0.02	0.016	0.031	0.018
TRS_Standard/Der95/04.xml	2.066	60	60	40.021
TRS_Standard/Der95/06.xml	0.089	60	31.033	20.019
TRS_Standard/Der95/07.xml	2.008	60	60	60
TRS_Standard/Der95/08.xml	7.019	60	60	60
TRS_Standard/Der95/09.xml	3.05	60	60	40.027
TRS_Standard/Der95/11.xml	18.084	60	60	60
TRS_Standard/Der95/12.xml	10.057	60	60	60
TRS_Standard/Der95/13.xml	60	60	60	60
TRS_Standard/Der95/17.xml	5.056	60	60	60
TRS_Standard/Der95/18.xml	1.081	3.022	60	60
TRS_Standard/Der95/20.xml	36.039	60	60	60
TRS_Standard/Der95/21.xml	60	60	60	60
TRS_Standard/Der95/27.xml	1.037	60	36.042	60
TRS_Standard/Der95/28.xml	60	60	60	60
TRS_Standard/Der95/30.xml	60	60	60	60
TRS_Standard/Der95/31.xml	60	60	60	60
TRS_Standard/Der95/32.xml	10.086	60	60	60
TRS_Standard/Der95/33.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_1.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_2.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_3.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_4.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_5.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_1.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_2.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_3.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_4.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_5.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_1.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_2.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_3.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_4.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_1.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_2.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_3.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_4.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_1.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_2.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_3.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex6_1.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex6_2.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_1.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_2.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_3.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_4.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_5.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_6.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_7.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_8.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_9.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/enger-nonloop-add.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/enger-nonloop-addTrue.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/enger-nonloop-ex_payet.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isDNat.xml	60	60	60	60
Examples	MU-TERM (AGES + Barcelogic)	MU-TERM (AGES + Yices)	MU-TERM (AGES + Z3)	MU-TERM (Mace4)
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isList-List.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isList.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isTrueList.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swapX.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swapXY.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swapXY2.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swap_decr.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/enger-nonloop-toOne.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/enger-nonloop-unbounded.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/enger-nonloop-while-lt.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/rybalchenko-nonloop-popl08.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.xml	60	60	60	60
TRS_Standard/EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.xml	60	60	60	60
TRS_Standard/Endrullis_06/direct.xml	60	60	60	40.023
TRS_Standard/Endrullis_06/labeling.xml	60	60	60	40.021
TRS_Standard/Endrullis_06/linear1.xml	60	60	60	60
TRS_Standard/Endrullis_06/linear2.xml	60	60	60	60
TRS_Standard/Endrullis_06/pair2hard.xml	60	60	60	60
TRS_Standard/Endrullis_06/pair2simple1.xml	60	60	60	40.023
TRS_Standard/Endrullis_06/pair2simple2.xml	60	60	60	40.028
TRS_Standard/Endrullis_06/pair3hard.xml	60	60	60	60
TRS_Standard/Endrullis_06/pair3rotate.xml	60	60	60	40.022
TRS_Standard/Endrullis_06/pair3swap.xml	60	60	60	60
TRS_Standard/Endrullis_06/quadruple1.xml	60	60	60	20.016
TRS_Standard/Endrullis_06/quadruple2.xml	60	60	60	40.021
TRS_Standard/GTSSK07/cade01.xml	60	60	60	60
TRS_Standard/GTSSK07/cade03.xml	60	60	60	60
TRS_Standard/GTSSK07/cade04t.xml	60	60	60	60
TRS_Standard/GTSSK07/cade05t.xml	60	60	60	60
TRS_Standard/GTSSK07/cade06.xml	60	60	60	60
TRS_Standard/GTSSK07/cade07.xml	60	60	60	60
TRS_Standard/GTSSK07/cade08.xml	60	60	60	60
TRS_Standard/GTSSK07/cade09.xml	60	60	60	60
TRS_Standard/GTSSK07/cade10.xml	60	60	60	60
TRS_Standard/GTSSK07/cade11.xml	60	60	60	60
TRS_Standard/GTSSK07/cade12t.xml	60	60	60	60
TRS_Standard/GTSSK07/cade13t.xml	60	60	60	60
TRS_Standard/GTSSK07/cade14.xml	60	60	60	60
TRS_Standard/GTSSK07/cade15.xml	60	60	60	60
TRS_Standard/GTSSK07/cade16.xml	60	60	60	60
TRS_Standard/GTSSK07/cade17.xml	60	60	60	60
TRS_Standard/HirokawaMiddeldorp_04/n002.xml	60	60	60	40.038
TRS_Standard/HirokawaMiddeldorp_04/n003.xml	60	60	60	40.03
TRS_Standard/HirokawaMiddeldorp_04/n004.xml	60	60	60	40.026
TRS_Standard/HirokawaMiddeldorp_04/n005.xml	60	60	60	60
TRS_Standard/HirokawaMiddeldorp_04/n006.xml	60	60	60	40.031
TRS_Standard/HirokawaMiddeldorp_04/n007.xml	60	60	60	40.057
TRS_Standard/HirokawaMiddeldorp_04/n008.xml	60	60	60	20.045
TRS_Standard/HirokawaMiddeldorp_04/t000.xml	60	60	60	60
TRS_Standard/HirokawaMiddeldorp_04/t001.xml	60	60	60	60
TRS_Standard/HirokawaMiddeldorp_04/t002.xml	60	60	60	60
TRS_Standard/HirokawaMiddeldorp_04/t003.xml	60	60	60	60
TRS_Standard/HirokawaMiddeldorp_04/t004.xml	60	60	60	60
TRS_Standard/HirokawaMiddeldorp_04/t005.xml	60	60	60	60
TRS_Standard/HirokawaMiddeldorp_04/t006.xml	0.096	60	60	40.027
TRS_Standard/HirokawaMiddeldorp_04/t007.xml	0.022	0.014	0.016	0.02
TRS_Standard/HirokawaMiddeldorp_04/t008.xml	60	60	60	40.024
TRS_Standard/HirokawaMiddeldorp_04/t009.xml	60	60	60	60
TRS_Standard/HirokawaMiddeldorp_04/t010.xml	0.016	0.014	0.014	0.013
TRS_Standard/HirokawaMiddeldorp_04/t011.xml	1.095	60	18.034	60
TRS_Standard/HirokawaMiddeldorp_04/t012.xml	27.066	60	60	60
TRS_Standard/HirokawaMiddeldorp_04/t013.xml	9.015	60	60	60
TRS_Standard/HirokawaMiddeldorp_04/t014.xml	2.073	60	60	60
TRS_Standard/Hydras/goodstein.xml	60	60	60	60
TRS_Standard/Hydras/hydra_buchholz.xml	60	60	60	60
TRS_Standard/Hydras/hydra_touzet.xml	60	60	60	60
TRS_Standard/Hydras/lepper_0.xml	60	60	60	60
TRS_Standard/Hydras/lepper_1.xml	60	60	60	60
TRS_Standard/Hydras/lepper_10.xml	60	60	60	60
TRS_Standard/Hydras/lepper_2.xml	60	60	60	60
TRS_Standard/Hydras/lepper_3.xml	60	60	60	60
TRS_Standard/Hydras/lepper_4.xml	60	60	60	60
TRS_Standard/Hydras/lepper_5.xml	60	60	60	60
TRS_Standard/Hydras/lepper_6.xml	60	60	60	60
TRS_Standard/Hydras/lepper_8.xml	60	60	60	60
TRS_Standard/Hydras/lepper_9.xml	60	60	60	60
TRS_Standard/Hydras/worm_fixed.xml	60	60	60	60
TRS_Standard/Hydras/worm_fixed2.xml	60	60	60	60
TRS_Standard/Hydras/worm_fixed3.xml	60	60	60	60
TRS_Standard/Hydras/worm_wrong.xml	60	60	60	60
TRS_Standard/Mixed_TRS/1.xml	60	60	60	20.024
TRS_Standard/Mixed_TRS/2.xml	60	60	60	60
TRS_Standard/Mixed_TRS/3.xml	60	60	60	9.067
TRS_Standard/Mixed_TRS/4.xml	60	60	60	20.014
TRS_Standard/Mixed_TRS/5.xml	60	60	60	0.027
TRS_Standard/Mixed_TRS/6.xml	60	60	60	60
TRS_Standard/Mixed_TRS/7.xml	60	60	60	60
TRS_Standard/Mixed_TRS/beans.xml	60	60	60	60
TRS_Standard/Mixed_TRS/div_hard.xml	60	60	60	60
TRS_Standard/Mixed_TRS/Ex1_Luc04b_GM.xml	60	60	60	60
TRS_Standard/Mixed_TRS/fossacs.xml	60	60	60	40.041
TRS_Standard/Mixed_TRS/gcd.xml	60	60	60	60
TRS_Standard/Mixed_TRS/gcdMinMax.xml	60	60	60	60
TRS_Standard/Mixed_TRS/gcd_triple.xml	60	60	60	60
TRS_Standard/Mixed_TRS/hydra-Zantema06.xml	60	60	60	60
TRS_Standard/Mixed_TRS/hydra.xml	4.004	60	60	20.015
TRS_Standard/Mixed_TRS/jones1.xml	1.028	60	49.072	40.02
TRS_Standard/Mixed_TRS/jones2.xml	2.095	60	60	60
TRS_Standard/Mixed_TRS/jones4.xml	1.038	60	33.036	60
Examples	muterm-ages-barcelogic	muterm-ages-yices	muterm-ages-z3	muterm-mace4
TRS_Standard/Mixed_TRS/jones5.xml	2.051	60	60	40.064
TRS_Standard/Mixed_TRS/jones6.xml	1.093	60	54.009	60
TRS_Standard/Mixed_TRS/minsort.xml	60	60	60	60
TRS_Standard/Mixed_TRS/motivation.xml	1.075	60	60	0.021
TRS_Standard/Mixed_TRS/perfect.xml	3.04	60	60	60
TRS_Standard/Mixed_TRS/perfect2.xml	60	60	60	60
TRS_Standard/Mixed_TRS/sigma.xml	60	60	60	60
TRS_Standard/Mixed_TRS/test1.xml	60	60	60	40.022
TRS_Standard/Mixed_TRS/while.xml	60	60	60	60
TRS_Standard/Mixed_TRS/while2.xml	60	60	60	60
TRS_Standard/MNZ_10/0.xml	60	60	60	60
TRS_Standard/MNZ_10/1.xml	60	60	60	60
TRS_Standard/MNZ_10/2.xml	60	60	60	60
TRS_Standard/MNZ_10/3.xml	60	60	60	60
TRS_Standard/MNZ_10/4.xml	60	60	60	60
TRS_Standard/MNZ_10/5.xml	60	60	60	60
TRS_Standard/MNZ_10/6.xml	60	60	60	60
TRS_Standard/MNZ_10/7.xml	60	60	60	60
TRS_Standard/MNZ_10/8.xml	60	60	60	60
TRS_Standard/MNZ_10/9.xml	60	60	60	60
TRS_Standard/MNZ_10/labelled.xml	60	60	60	60
TRS_Standard/MNZ_10/nrvsq.xml	60	60	60	60
TRS_Standard/MNZ_10/nvsr.xml	60	60	60	60
TRS_Standard/Rubio_04/aoto.xml	1.004	1.004	49.015	20.018
TRS_Standard/Rubio_04/bintrees.xml	3.073	60	60	60
TRS_Standard/Rubio_04/bn122.xml	4.056	60	60	60
TRS_Standard/Rubio_04/bn129.xml	60	60	60	60
TRS_Standard/Rubio_04/division.xml	7.001	60	60	60
TRS_Standard/Rubio_04/elimdupl.xml	19.092	60	60	60
TRS_Standard/Rubio_04/enno.xml	60	60	60	60
TRS_Standard/Rubio_04/gcd.xml	15.082	60	60	60
TRS_Standard/Rubio_04/gm.xml	1.072	60	60	60
TRS_Standard/Rubio_04/gmnp.xml	0.098	0.09	41.025	20.016
TRS_Standard/Rubio_04/koen.xml	0.014	0.015	0.011	0.011
TRS_Standard/Rubio_04/lescanne.xml	9.064	60	60	60
TRS_Standard/Rubio_04/lindau.xml	60	60	60	20.02
TRS_Standard/Rubio_04/logarquot.xml	4.024	60	60	60
TRS_Standard/Rubio_04/ma96.xml	60	60	60	60
TRS_Standard/Rubio_04/mfp90b.xml	1.037	60	37.078	0.018
TRS_Standard/Rubio_04/mfp95.xml	0.011	0.007	0.01	0.013
TRS_Standard/Rubio_04/nestrec.xml	1.098	60	60	60
TRS_Standard/Rubio_04/p266.xml	0.024	0.014	0.017	0.011
TRS_Standard/Rubio_04/polo2.xml	27.06	60	60	60
TRS_Standard/Rubio_04/prov.xml	5.053	60	60	60
TRS_Standard/Rubio_04/quick.xml	32.087	60	60	60
TRS_Standard/Rubio_04/quotminus.xml	6.095	60	60	60
TRS_Standard/Rubio_04/revlist.xml	8.084	60	60	60
TRS_Standard/Rubio_04/selsort.xml	60	60	60	60
TRS_Standard/Rubio_04/test4.xml	60	60	60	40.042
TRS_Standard/Rubio_04/test829.xml	0.096	60	60	40.023
TRS_Standard/Rubio_04/wst99.xml	60	60	60	60
TRS_Standard/Secret_05_TRS/aprove1.xml	60	60	60	60
TRS_Standard/Secret_05_TRS/aprove2.xml	60	60	60	60
TRS_Standard/Secret_05_TRS/aprove3.xml	60	60	60	60
TRS_Standard/Secret_05_TRS/aprove4.xml	60	60	60	60
TRS_Standard/Secret_05_TRS/aprove5.xml	60	60	60	60
TRS_Standard/Secret_05_TRS/cime1.xml	60	60	60	60
TRS_Standard/Secret_05_TRS/cime2.xml	60	60	60	60
TRS_Standard/Secret_05_TRS/cime3.xml	60	60	60	60
TRS_Standard/Secret_05_TRS/cime4.xml	60	60	60	20.013
TRS_Standard/Secret_05_TRS/cime5.xml	60	60	60	60
TRS_Standard/Secret_05_TRS/matchbox1.xml	60	60	60	40.02
TRS_Standard/Secret_05_TRS/matchbox2.xml	60	60	60	0.019
TRS_Standard/Secret_05_TRS/teparla1.xml	60	60	60	20.063
TRS_Standard/Secret_05_TRS/teparla2.xml	60	60	60	40.04
TRS_Standard/Secret_05_TRS/teparla3.xml	60	60	60	40.025
TRS_Standard/Secret_05_TRS/tpa1.xml	60	60	60	60
TRS_Standard/Secret_05_TRS/tpa2.xml	60	60	60	60
TRS_Standard/Secret_05_TRS/tpa3.xml	60	60	60	60
TRS_Standard/Secret_05_TRS/tpa4.xml	60	60	60	60
TRS_Standard/Secret_05_TRS/tpa5.xml	60	60	60	60
TRS_Standard/Secret_05_TRS/ttt1.xml	60	60	60	40.026
TRS_Standard/Secret_05_TRS/ttt2.xml	60	60	60	40.033
TRS_Standard/Secret_06_TRS/10.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/2.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/3.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/4.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/5.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/6.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/7.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/8.xml	60	60	60	40.016
TRS_Standard/Secret_06_TRS/9.xml	60	60	60	51.022
TRS_Standard/Secret_06_TRS/addList.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/cime1.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/divExp.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/division.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/double.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/gen-1.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/gen-10.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/gen-14.xml	60	60	60	40.034
TRS_Standard/Secret_06_TRS/gen-15.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/gen-17.xml	60	60	60	20.016
TRS_Standard/Secret_06_TRS/gen-18.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/gen-22.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/gen-25.xml	60	60	60	40.02
TRS_Standard/Secret_06_TRS/gen-28.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/gen-9.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/logarithm.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/nrOfNodes.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/reverse.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/sumList.xml	60	60	60	60
Examples	MU-TERM (AGES + Barcelogic)	MU-TERM (AGES + Yices)	MU-TERM (AGES + Z3)	MU-TERM (Mace4)
TRS_Standard/Secret_06_TRS/times.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/toList.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/tpa01.xml	60	60	60	40.029
TRS_Standard/Secret_06_TRS/tpa02.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/tpa03.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/tpa04.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/tpa05.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/tpa06.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/tpa07.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/tpa08.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/tpa09.xml	60	60	60	60
TRS_Standard/Secret_06_TRS/tpa10.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/1.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/2.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/3.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/4.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/5.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/7.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/aprove01.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/aprove02.xml	4.073	60	60	60
TRS_Standard/Secret_07_TRS/aprove03.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/aprove04.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/aprove05.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/aprove06.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/aprove07.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/aprove08.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/aprove09.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/aprove10.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/secret1.xml	35.094	60	60	60
TRS_Standard/Secret_07_TRS/secret2.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/secret3.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/secret4.xml	60	60	60	60
TRS_Standard/Secret_07_TRS/secret5.xml	60	60	60	60
TRS_Standard/SK90/2.01.xml	8.064	60	60	60
TRS_Standard/SK90/2.02.xml	60	60	60	60
TRS_Standard/SK90/2.03.xml	4.047	60	60	60
TRS_Standard/SK90/2.04.xml	5.066	60	60	60
TRS_Standard/SK90/2.05.xml	60	60	60	60
TRS_Standard/SK90/2.06.xml	16.012	60	60	60
TRS_Standard/SK90/2.07.xml	60	60	60	60
TRS_Standard/SK90/2.08.xml	8.004	60	60	60
TRS_Standard/SK90/2.09.xml	4.072	60	60	40.032
TRS_Standard/SK90/2.10.xml	7.069	60	60	60
TRS_Standard/SK90/2.11.xml	1.013	60	25.024	60
TRS_Standard/SK90/2.12.xml	3.068	60	60	60
TRS_Standard/SK90/2.13.xml	4.031	60	60	60
TRS_Standard/SK90/2.14.xml	3.099	60	60	60
TRS_Standard/SK90/2.15.xml	1.04	60	60	20.05
TRS_Standard/SK90/2.16.xml	15.002	60	60	60
TRS_Standard/SK90/2.17.xml	1.045	0.047	10.024	60
TRS_Standard/SK90/2.18.xml	2.022	60	26.023	60
TRS_Standard/SK90/2.19.xml	4.025	60	60	60
TRS_Standard/SK90/2.20.xml	1.069	60	41.048	20.026
TRS_Standard/SK90/2.21.xml	2.005	60	45.053	60
TRS_Standard/SK90/2.22.xml	2.044	60	60	60
TRS_Standard/SK90/2.23.xml	60	60	60	60
TRS_Standard/SK90/2.24.xml	1.054	0.062	17.056	60
TRS_Standard/SK90/2.25.xml	2.019	60	32.068	60
TRS_Standard/SK90/2.26.xml	2.038	60	60	40.034
TRS_Standard/SK90/2.27.xml	3.018	60	60	40.036
TRS_Standard/SK90/2.28.xml	4.025	60	60	60
TRS_Standard/SK90/2.29.xml	0.093	0.049	26.019	40.033
TRS_Standard/SK90/2.30.xml	0.029	0.02	0.031	0.018
TRS_Standard/SK90/2.31.xml	6.053	60	60	60
TRS_Standard/SK90/2.32.xml	0.025	0.024	0.02	0.017
TRS_Standard/SK90/2.33.xml	7.014	60	60	60
TRS_Standard/SK90/2.34.xml	60	60	60	60
TRS_Standard/SK90/2.35.xml	2.072	60	60	20.024
TRS_Standard/SK90/2.36.xml	4.063	60	60	40.047
TRS_Standard/SK90/2.37.xml	2.048	60	60	0.047
TRS_Standard/SK90/2.38.xml	8.017	60	60	60
TRS_Standard/SK90/2.39.xml	3.06	3.038	60	60
TRS_Standard/SK90/2.40.xml	2.075	60	60	60
TRS_Standard/SK90/2.41.xml	4.034	60	60	60
TRS_Standard/SK90/2.42.xml	19.081	60	60	60
TRS_Standard/SK90/2.43.xml	5.012	60	60	60
TRS_Standard/SK90/2.44.xml	9.02	60	60	60
TRS_Standard/SK90/2.45.xml	2.054	60	60	40.037
TRS_Standard/SK90/2.46.xml	10.085	60	60	60
TRS_Standard/SK90/2.47.xml	1.081	0.055	8.026	40.046
TRS_Standard/SK90/2.48.xml	0.063	0.029	0.025	0.036
TRS_Standard/SK90/2.49.xml	3.036	60	60	40.041
TRS_Standard/SK90/2.50.xml	1.046	0.092	2.082	40.032
TRS_Standard/SK90/2.51.xml	60	60	60	60
TRS_Standard/SK90/2.52.xml	60	60	60	60
TRS_Standard/SK90/2.53.xml	4.046	60	60	60
TRS_Standard/SK90/2.54.xml	1.061	1.084	33.021	40.038
TRS_Standard/SK90/2.55.xml	1.035	0.069	27.047	40.041
TRS_Standard/SK90/2.56.xml	0.028	0.022	0.035	0.024
TRS_Standard/SK90/2.57.xml	0.031	0.027	0.044	0.085
TRS_Standard/SK90/2.58.xml	0.033	0.04	0.027	0.027
TRS_Standard/SK90/2.59.xml	2.007	60	27.091	0.036
TRS_Standard/SK90/2.60.xml	0.046	0.092	0.028	0.023
TRS_Standard/SK90/2.61.xml	9.065	60	60	40.049
TRS_Standard/SK90/4.01.xml	0.029	0.021	0.03	0.027
TRS_Standard/SK90/4.02.xml	60	60	60	60
TRS_Standard/SK90/4.03.xml	8.026	60	60	60
TRS_Standard/SK90/4.04.xml	4.096	60	60	40.038
TRS_Standard/SK90/4.05.xml	9.006	60	60	60
Examples	muterm-ages-barcelogic	muterm-ages-yices	muterm-ages-z3	muterm-mace4
TRS_Standard/SK90/4.06.xml	60	60	60	60
TRS_Standard/SK90/4.07.xml	4.088	60	60	40.035
TRS_Standard/SK90/4.08.xml	5.061	60	60	40.039
TRS_Standard/SK90/4.09.xml	13.008	60	60	60
TRS_Standard/SK90/4.10.xml	12.034	60	60	60
TRS_Standard/SK90/4.11.xml	2.053	60	60	40.029
TRS_Standard/SK90/4.12.xml	2.036	60	60	40.036
TRS_Standard/SK90/4.13.xml	60	60	60	20.025
TRS_Standard/SK90/4.14.xml	8.089	60	60	60
TRS_Standard/SK90/4.15.xml	1.04	60	60	20.023
TRS_Standard/SK90/4.16.xml	4.07	60	60	60
TRS_Standard/SK90/4.17.xml	60	60	60	60
TRS_Standard/SK90/4.18.xml	0.019	0.015	0.014	0.021
TRS_Standard/SK90/4.19.xml	3.048	60	60	60
TRS_Standard/SK90/4.20.xml	4.062	60	60	40.028
TRS_Standard/SK90/4.21.xml	6.04	60	60	60
TRS_Standard/SK90/4.22.xml	11.08	60	60	60
TRS_Standard/SK90/4.23.xml	60	60	60	60
TRS_Standard/SK90/4.24.xml	60	60	60	60
TRS_Standard/SK90/4.25.xml	3.06	60	60	60
TRS_Standard/SK90/4.26.xml	11.009	60	60	60
TRS_Standard/SK90/4.27.xml	60	60	60	60
TRS_Standard/SK90/4.28.xml	6.003	60	60	60
TRS_Standard/SK90/4.29.xml	2.055	60	55.09	20.035
TRS_Standard/SK90/4.30.xml	60	60	60	60
TRS_Standard/SK90/4.31.xml	7.028	60	60	40.067
TRS_Standard/SK90/4.32.xml	60	60	60	60
TRS_Standard/SK90/4.33.xml	1.053	60	50.041	20.028
TRS_Standard/SK90/4.34.xml	60	60	60	60
TRS_Standard/SK90/4.35.xml	0.038	0.035	0.024	0.026
TRS_Standard/SK90/4.36.xml	0.029	0.021	0.03	0.029
TRS_Standard/SK90/4.37.xml	0.04	0.028	0.04	0.029
TRS_Standard/SK90/4.38.xml	11.014	60	60	60
TRS_Standard/SK90/4.39.xml	60	60	60	40.034
TRS_Standard/SK90/4.40.xml	60	60	60	60
TRS_Standard/SK90/4.41.xml	9.074	60	60	0.048
TRS_Standard/SK90/4.42.xml	60	60	60	60
TRS_Standard/SK90/4.43.xml	20.048	60	60	60
TRS_Standard/SK90/4.44.xml	4.099	60	60	0.051
TRS_Standard/SK90/4.45.xml	1.084	60	60	20.023
TRS_Standard/SK90/4.46.xml	0.023	0.017	0.017	0.025
TRS_Standard/SK90/4.47.xml	0.019	0.02	0.015	0.016
TRS_Standard/SK90/4.48.xml	15.094	60	60	60
TRS_Standard/SK90/4.49.xml	60	60	60	60
TRS_Standard/SK90/4.50.xml	60	1.003	0.05	0.068
TRS_Standard/SK90/4.51.xml	60	60	60	0.081
TRS_Standard/SK90/4.52.xml	6.058	60	60	60
TRS_Standard/SK90/4.53.xml	5.076	60	60	60
TRS_Standard/SK90/4.54.xml	60	60	60	60
TRS_Standard/SK90/4.55.xml	60	60	60	0.023
TRS_Standard/SK90/4.56.xml	0.018	0.012	0.019	0.013
TRS_Standard/SK90/4.57.xml	0.012	0.011	0.012	0.011
TRS_Standard/SK90/4.59.xml	18.031	60	60	60
TRS_Standard/SK90/4.60.xml	8.043	60	60	60
TRS_Standard/SK90/4.61.xml	60	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.12a.xml	60	60	60	40.031
TRS_Standard/Strategy_removed_AG01/#4.13.xml	60	60	60	20.014
TRS_Standard/Strategy_removed_AG01/#4.14.xml	60	60	60	40.026
TRS_Standard/Strategy_removed_AG01/#4.15.xml	60	60	60	40.02
TRS_Standard/Strategy_removed_AG01/#4.16.xml	60	60	60	40.038
TRS_Standard/Strategy_removed_AG01/#4.17.xml	60	60	60	40.038
TRS_Standard/Strategy_removed_AG01/#4.18.xml	60	60	60	40.022
TRS_Standard/Strategy_removed_AG01/#4.19.xml	60	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.2.xml	60	60	60	40.046
TRS_Standard/Strategy_removed_AG01/#4.20.xml	0.024	0.018	0.018	0.023
TRS_Standard/Strategy_removed_AG01/#4.20a.xml	2.078	60	60	20.027
TRS_Standard/Strategy_removed_AG01/#4.21.xml	0.022	0.016	0.013	0.014
TRS_Standard/Strategy_removed_AG01/#4.22.xml	2.006	1.087	30.013	60
TRS_Standard/Strategy_removed_AG01/#4.23.xml	5.003	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.25.xml	60	60	60	0.026
TRS_Standard/Strategy_removed_AG01/#4.26.xml	60	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.27.xml	60	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.28.xml	60	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.29.xml	60	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.3.xml	60	60	60	20.017
TRS_Standard/Strategy_removed_AG01/#4.30.xml	60	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.30a.xml	60	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.30b.xml	60	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.30c.xml	60	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.32.xml	1.028	60	42.064	60
TRS_Standard/Strategy_removed_AG01/#4.33.xml	4.096	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.34.xml	6.068	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.35.xml	60	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.36.xml	23.027	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.37.xml	1.03	60	60	60
TRS_Standard/Strategy_removed_AG01/#4.37a.xml	3.09	60	60	40.027
TRS_Standard/Strategy_removed_AG01/#4.4.xml	60	60	60	20.016
TRS_Standard/Strategy_removed_AG01/#4.7.xml	60	60	60	20.018
TRS_Standard/Strategy_removed_CSR_05/Ex14_AEGL02.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex15_Luc98.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex1_2_AEL03.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml	60	60	60	40.025
TRS_Standard/Strategy_removed_CSR_05/Ex1_GL02a.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex1_GM03.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex1_GM99.xml	60	60	60	20.017
TRS_Standard/Strategy_removed_CSR_05/Ex1_Luc02b.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex1_Zan97.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex24_GM04.xml	60	60	60	20.017
TRS_Standard/Strategy_removed_CSR_05/Ex26_Luc03b.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex2_Luc03b.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml	60	60	60	60
Examples	MU-TERM (AGES + Barcelogic)	MU-TERM (AGES + Yices)	MU-TERM (AGES + Z3)	MU-TERM (Mace4)
TRS_Standard/Strategy_removed_CSR_05/Ex3_2_Luc97.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex49_GM04.xml	2.041	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml	60	60	60	40.029
TRS_Standard/Strategy_removed_CSR_05/Ex4_Zan97.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex5_7_Luc97.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex5_Zan97.xml	60	60	60	40.028
TRS_Standard/Strategy_removed_CSR_05/Ex6_15_AEL02.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml	60	60	60	40.031
TRS_Standard/Strategy_removed_CSR_05/Ex6_GM04.xml	60	60	60	40.027
TRS_Standard/Strategy_removed_CSR_05/Ex6_Luc98.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex7_BLR02.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex8_BLR02.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/Ex9_BLR02.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/ExConc_Zan97.xml	60	60	60	40.069
TRS_Standard/Strategy_removed_CSR_05/ExIntrod_GM01.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/ExIntrod_GM04.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/ExIntrod_GM99.xml	60	60	60	60
TRS_Standard/Strategy_removed_CSR_05/ExIntrod_Zan97.xml	60	60	60	60
TRS_Standard/Strategy_removed_mixed_05/bn111.xml	60	60	60	60
TRS_Standard/Strategy_removed_mixed_05/ex1.xml	60	60	60	20.019
TRS_Standard/Strategy_removed_mixed_05/ex2.xml	60	60	60	20.02
TRS_Standard/Strategy_removed_mixed_05/ex3.xml	60	60	60	20.024
TRS_Standard/Strategy_removed_mixed_05/ex4.xml	60	60	60	20.016
TRS_Standard/Strategy_removed_mixed_05/ex5.xml	60	60	60	20.019
TRS_Standard/Strategy_removed_mixed_05/ex6.xml	60	60	60	40.024
TRS_Standard/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml	60	60	60	60
TRS_Standard/Strategy_removed_mixed_05/gkg.xml	60	60	60	20.019
TRS_Standard/Strategy_removed_mixed_05/muladd.xml	60	60	60	20.015
TRS_Standard/Strategy_removed_mixed_05/n001.xml	60	60	60	20.023
TRS_Standard/Strategy_removed_mixed_05/test10.xml	60	60	60	60
TRS_Standard/Strategy_removed_mixed_05/test75.xml	60	60	60	20.018
TRS_Standard/Strategy_removed_mixed_05/test76.xml	60	60	60	40.023
TRS_Standard/Strategy_removed_mixed_05/test77.xml	60	60	60	40.023
TRS_Standard/Strategy_removed_mixed_05/test830.xml	4.035	60	60	60
TRS_Standard/Strategy_removed_mixed_05/test9.xml	60	60	60	40.029
TRS_Standard/Strategy_removed_mixed_05/toyama.xml	60	60	60	20.016
TRS_Standard/Strategy_removed_mixed_05/tricky1.xml	0.014	0.01	0.009	0.009
TRS_Standard/TCT_12/polycounter-10.xml	58.091	60	60	60
TRS_Standard/TCT_12/polycounter-5.xml	6.082	60	60	60
TRS_Standard/TCT_12/recursion-10.xml	6.041	60	60	60
TRS_Standard/TCT_12/recursion-5.xml	5.044	60	60	60
TRS_Standard/TCT_12/sat.xml	7.05	60	60	60
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_GM.xml	14.073	60	60	60
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_L.xml	60	60	60	40.027
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_Z.xml	60	60	60	40.023
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_L.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_FR.xml	0.098	60	23.048	20.016
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_GM.xml	0.095	0.086	34.031	20.017
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_iGM.xml	6.006	60	60	60
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_L.xml	60	38.013	60	40.022
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_Z.xml	0.018	0.013	0.01	0.013
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_L.xml	0.013	0.019	0.011	0.011
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_Z.xml	10.084	60	60	60
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_FR.xml	0.014	0.012	0.011	0.011
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_GM.xml	1.031	0.092	48.034	20.017
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_L.xml	60	60	60	40.027
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_C.xml	13.051	60	60	60
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_FR.xml	0.08	0.093	30.013	20.047
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_GM.xml	0.094	0.097	31.083	20.021
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_iGM.xml	13.002	60	60	60
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_L.xml	0.013	0.009	0.009	0.013
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_Z.xml	0.012	0.022	0.014	0.013
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_C.xml	0.027	0.065	0.021	60
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_FR.xml	0.011	0.012	0.087	60
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_GM.xml	0.021	0.022	0.016	60
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml	0.02	0.018	0.014	60
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_L.xml	0.012	0.012	0.01	0.011
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_Z.xml	0.066	0.064	0.016	60
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_C.xml	42.052	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml	4.05	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_L.xml	0.016	0.013	0.01	0.016
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml	0.017	0.011	0.018	0.036
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_GM.xml	6.005	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_L.xml	60	60	60	20.018
Examples	muterm-ages-barcelogic	muterm-ages-yices	muterm-ages-z3	muterm-mace4
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_GM03_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_GM03_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_GM03_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_GM03_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_GM03_L.xml	0.013	0.016	0.01	0.012
TRS_Standard/Transformed_CSR_04/Ex1_GM03_Z.xml	60	60	60	40.022
TRS_Standard/Transformed_CSR_04/Ex1_GM99_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_GM99_FR.xml	60	60	60	20.016
TRS_Standard/Transformed_CSR_04/Ex1_GM99_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_GM99_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_GM99_L.xml	60	60	60	20.018
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_FR.xml	33.004	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_L.xml	0.013	0.009	0.008	0.009
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_Z.xml	9.076	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_L.xml	0.014	0.012	0.011	0.015
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_FR.xml	60	60	60	40.023
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_GM.xml	1.013	60	60	0.022
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_iGM.xml	7.098	60	60	60
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_L.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_C.xml	14.063	60	60	60
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_FR.xml	1.087	60	60	40.022
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_GM.xml	2.005	60	52.042	40.041
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_iGM.xml	10.045	60	60	60
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_L.xml	0.014	0.013	0.011	0.012
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_Z.xml	0.013	0.018	0.013	0.017
TRS_Standard/Transformed_CSR_04/Ex24_GM04_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex24_GM04_FR.xml	60	60	60	40.022
TRS_Standard/Transformed_CSR_04/Ex24_GM04_GM.xml	60	60	60	40.021
TRS_Standard/Transformed_CSR_04/Ex24_GM04_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex24_GM04_L.xml	60	60	60	20.02
TRS_Standard/Transformed_CSR_04/Ex24_GM04_Z.xml	60	60	60	20.02
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_FR.xml	60	60	60	20.015
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_GM.xml	60	60	60	31.005
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_L.xml	60	60	60	40.026
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_C.xml	24.015	60	60	60
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_FR.xml	13.016	60	60	60
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_GM.xml	1.028	60	60	40.021
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_iGM.xml	38.041	60	60	60
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_L.xml	0.015	0.012	0.012	0.011
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_Z.xml	4.001	60	60	0.02
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_L.xml	0.015	0.012	0.011	0.015
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_FR.xml	51.064	60	60	60
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_L.xml	2.029	60	20.071	60
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_Z.xml	7.007	60	60	60
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_L.xml	0.013	0.015	0.012	0.013
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_Z.xml	11.095	60	60	60
TRS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml	8.064	60	60	60
TRS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_L.xml	0.021	0.021	0.024	0.014
TRS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml	4.025	60	60	20.021
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_L.xml	0.016	0.013	0.011	0.013
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml	0.041	0.046	0.056	1.08
TRS_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex49_GM04_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex49_GM04_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex49_GM04_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex49_GM04_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex49_GM04_L.xml	0.023	0.018	0.027	0.016
TRS_Standard/Transformed_CSR_04/Ex49_GM04_Z.xml	10.09	60	60	40.048
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_C.xml	24.07	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml	19.071	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml	15.018	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_L.xml	0.077	0.026	2.074	40.025
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml	60	60	60	60
Examples	MU-TERM (AGES + Barcelogic)	MU-TERM (AGES + Yices)	MU-TERM (AGES + Z3)	MU-TERM (Mace4)
TRS_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml	5.014	60	60	40.04
TRS_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml	6.076	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml	1.013	60	60	0.023
TRS_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml	1.066	60	60	0.037
TRS_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml	0.015	0.013	0.011	0.016
TRS_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml	20.069	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml	5.074	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml	0.011	0.009	0.01	0.01
TRS_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml	5.011	60	60	20.019
TRS_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml	0.011	0.009	0.015	0.009
TRS_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml	7.067	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml	0.025	0.028	0.026	0.042
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_L.xml	0.015	0.011	0.011	0.016
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_L.xml	0.012	0.011	0.01	0.01
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_Z.xml	60	60	60	40.024
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_L.xml	0.013	0.014	0.009	0.011
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_L.xml	0.014	0.012	0.011	0.013
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_FR.xml	12	60	60	60
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_L.xml	0.012	0.012	0.013	0.011
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_Z.xml	4.067	60	60	0.091
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_L.xml	0.015	0.013	0.014	0.016
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml	1.086	60	60	40.021
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_L.xml	0.012	0.015	0.012	0.015
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml	0.013	0.012	0.015	0.014
TRS_Standard/Transformed_CSR_04/Ex6_GM04_C.xml	17.013	60	60	60
TRS_Standard/Transformed_CSR_04/Ex6_GM04_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex6_GM04_GM.xml	0.013	0.014	0.014	0.009
TRS_Standard/Transformed_CSR_04/Ex6_GM04_iGM.xml	11.001	60	60	60
TRS_Standard/Transformed_CSR_04/Ex6_GM04_L.xml	0.012	0.013	0.01	0.01
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_C.xml	52.057	60	60	60
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_FR.xml	38.054	60	60	60
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_GM.xml	30.092	60	60	60
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_iGM.xml	37.08	60	60	60
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_L.xml	0.015	0.012	0.011	0.014
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_Z.xml	2.088	60	60	40.042
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_L.xml	0.009	0.014	0.011	0.01
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_Z.xml	11.055	60	60	60
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_FR.xml	14.074	60	60	60
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_L.xml	0.014	0.012	0.011	0.011
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_Z.xml	10.036	60	60	40.022
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_L.xml	0.016	0.012	0.012	0.018
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_FR.xml	60	60	60	20.017
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_L.xml	60	60	60	20.02
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_C.xml	60	60	60	60
Examples	muterm-ages-barcelogic	muterm-ages-yices	muterm-ages-z3	muterm-mace4
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_FR.xml	60	60	60	20.018
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_GM.xml	3.081	60	60	20.031
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExAppendixB_AEL03_C.xml	0.016	0.013	0.063	60
TRS_Standard/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml	0.014	0.018	0.016	60
TRS_Standard/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml	0.017	0.016	0.014	60
TRS_Standard/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml	0.018	0.014	0.014	60
TRS_Standard/Transformed_CSR_04/ExAppendixB_AEL03_L.xml	0.012	0.015	0.012	0.014
TRS_Standard/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml	0.017	0.013	0.011	60
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_C.xml	16.008	60	60	60
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_FR.xml	1.093	60	60	40.024
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_GM.xml	1.042	60	60	40.022
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_iGM.xml	9.058	60	60	60
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_L.xml	0.013	0.011	0.011	0.011
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_Z.xml	60	60	60	20.016
TRS_Standard/Transformed_CSR_04/ExIntrod_GM01_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_GM01_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_GM01_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_GM01_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_GM01_L.xml	0.013	0.011	0.011	0.012
TRS_Standard/Transformed_CSR_04/ExIntrod_GM01_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_GM04_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_GM04_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_GM04_GM.xml	29.02	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_GM04_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_GM04_L.xml	0.013	0.011	0.01	0.012
TRS_Standard/Transformed_CSR_04/ExIntrod_GM04_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_GM99_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_GM99_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_GM99_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_GM99_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_GM99_L.xml	0.018	0.01	0.01	0.015
TRS_Standard/Transformed_CSR_04/ExIntrod_GM99_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_Zan97_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_Zan97_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_Zan97_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExIntrod_Zan97_L.xml	0.018	0.015	0.01	0.016
TRS_Standard/Transformed_CSR_04/ExIntrod_Zan97_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExProp7_Luc06_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExProp7_Luc06_FR.xml	60	60	60	40.032
TRS_Standard/Transformed_CSR_04/ExProp7_Luc06_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExProp7_Luc06_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExProp7_Luc06_L.xml	60	60	60	0.023
TRS_Standard/Transformed_CSR_04/ExProp7_Luc06_Z.xml	60	60	60	0.018
TRS_Standard/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml	51.037	60	60	60
TRS_Standard/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml	4.098	60	60	60
TRS_Standard/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml	6.046	60	60	60
TRS_Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml	6.011	60	60	60
TRS_Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml	0.017	0.012	0.011	0.012
TRS_Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml	4.076	60	60	20.016
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml	0.015	0.013	0.012	0.016
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml	0.015	0.013	0.012	0.014
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml	0.018	0.014	0.011	0.011
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml	0.017	0.013	0.012	0.016
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml	0.015	0.012	0.011	0.013
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml	60	60	60	20.025
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml	0.015	0.012	0.011	0.015
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml	0.016	0.014	0.011	0.013
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_L.xml	0.01	0.013	0.012	0.018
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml	60	60	60	60
Examples	MU-TERM (AGES + Barcelogic)	MU-TERM (AGES + Yices)	MU-TERM (AGES + Z3)	MU-TERM (Mace4)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml	0.029	0.029	0.031	0.023
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml	0.019	0.021	0.017	0.014
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml	26.063	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml	0.021	0.016	0.052	0.045
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml	16.008	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml	16.023	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml	0.013	0.011	0.01	0.013
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml	10.094	60	60	40.024
TRS_Standard/Transformed_CSR_04/MYNAT_complete-noand_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_complete-noand_L.xml	0.014	0.014	0.012	0.014
TRS_Standard/Transformed_CSR_04/MYNAT_complete-noand_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_complete_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_complete_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_complete_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_complete_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_complete_L.xml	0.014	0.014	0.012	0.012
TRS_Standard/Transformed_CSR_04/MYNAT_complete_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_complete_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_complete_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_complete_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml	0.013	0.011	0.009	0.01
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_L.xml	0.013	0.011	0.008	0.008
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml	7.091	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml	0.013	0.01	0.009	0.012
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_FR.xml	1.025	60	22.026	60
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_L.xml	0.012	0.011	0.011	0.01
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_complete-noand_L.xml	0.025	0.024	0.024	0.015
TRS_Standard/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_L.xml	0.01	0.011	0.013	0.01
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml	0.012	0.011	0.01	0.011
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_L.xml	0.015	0.011	0.008	0.009
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml	0.013	0.01	0.009	0.009
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_L.xml	0.012	0.011	0.008	0.009
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_complete-noand_L.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml	60	60	60	60
Examples	muterm-ages-barcelogic	muterm-ages-yices	muterm-ages-z3	muterm-mace4
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_L.xml	0.01	0.01	0.016	0.01
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_L.xml	0.016	0.01	0.011	0.01
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml	3.028	60	60	40.026
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml	3.015	60	60	40.077
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_FR.xml	3.054	60	60	40.023
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_L.xml	0.013	0.01	0.012	0.01
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_complete-noand_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_complete-noand_L.xml	0.012	0.009	0.012	0.01
TRS_Standard/Transformed_CSR_04/PEANO_complete-noand_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_complete_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_complete_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_complete_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_complete_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_complete_L.xml	0.011	0.014	0.011	0.009
TRS_Standard/Transformed_CSR_04/PEANO_complete_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_complete_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_complete_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_complete_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nokinds-noand_L.xml	0.012	0.009	0.012	0.009
TRS_Standard/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_FR.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_L.xml	60	2.018	1.06	2.008
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_Z.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml	5.01	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nosorts-noand_L.xml	0.023	0.025	0.027	0.014
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_FR.xml	0.075	60	16.013	40.032
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_iGM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_L.xml	0.04	0.025	0.029	0.041
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_noand_C.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml	60	60	60	60
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml	60	60	60	60
TRS_Standard/Various_04/02.xml	60	60	60	20.017
TRS_Standard/Various_04/03.xml	60	60	60	20.02
TRS_Standard/Various_04/04.xml	60	60	60	60
TRS_Standard/Various_04/05.xml	60	60	60	60
TRS_Standard/Various_04/06.xml	0.04	0.047	0.026	0.025
TRS_Standard/Various_04/07.xml	0.024	0.021	0.021	0.025
TRS_Standard/Various_04/08.xml	60	60	60	60
TRS_Standard/Various_04/09.xml	0.037	0.022	0.017	0.015
TRS_Standard/Various_04/10.xml	19.076	60	60	60
TRS_Standard/Various_04/11.xml	60	60	60	0.027
TRS_Standard/Various_04/12.xml	20.089	60	60	60
TRS_Standard/Various_04/13.xml	42.091	60	60	60
TRS_Standard/Various_04/14.xml	60	60	60	60
TRS_Standard/Various_04/15.xml	60	60	60	40.026
TRS_Standard/Various_04/18.xml	7.061	60	60	60
TRS_Standard/Various_04/19.xml	60	60	60	60
TRS_Standard/Various_04/21.xml	60	60	60	60
TRS_Standard/Various_04/22.xml	3.048	60	60	40.07
TRS_Standard/Various_04/23.xml	5.016	60	60	60
TRS_Standard/Various_04/24.xml	2.045	60	60	60
TRS_Standard/Various_04/25.xml	1.014	60	14.06	0.028
TRS_Standard/Various_04/26.xml	6.041	60	60	40.029
TRS_Standard/Various_04/27.xml	0.022	0.014	0.018	0.013
TRS_Standard/Waldmann_06/jwaprove1.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwaprove2.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwcime1.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwcime2.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwmatchb1.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwmatchb2.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwno1.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwno2.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwno3.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwno4.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwno5.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwno6.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwno7.xml	60	60	60	60
Examples	MU-TERM (AGES + Barcelogic)	MU-TERM (AGES + Yices)	MU-TERM (AGES + Z3)	MU-TERM (Mace4)
TRS_Standard/Waldmann_06/jwno8.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwno9.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwteparla1.xml	60	60	60	5.079
TRS_Standard/Waldmann_06/jwteparla2.xml	60	60	60	6.007
TRS_Standard/Waldmann_06/jwtpa1.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwtpa2.xml	60	60	60	60
TRS_Standard/Waldmann_06/jwttt.xml	60	60	60	60
TRS_Standard/Zantema_05/jw01.xml	60	60	60	0.024
TRS_Standard/Zantema_05/jw02.xml	60	60	60	0.022
TRS_Standard/Zantema_05/jw03.xml	60	60	60	0.041
TRS_Standard/Zantema_05/jw04.xml	60	60	60	60
TRS_Standard/Zantema_05/jw05.xml	60	60	60	60
TRS_Standard/Zantema_05/jw06.xml	60	60	60	60
TRS_Standard/Zantema_05/jw07.xml	60	60	60	60
TRS_Standard/Zantema_05/jw08.xml	60	60	60	60
TRS_Standard/Zantema_05/jw09.xml	60	60	60	60
TRS_Standard/Zantema_05/jw11.xml	60	60	60	60
TRS_Standard/Zantema_05/jw12.xml	60	60	60	60
TRS_Standard/Zantema_05/jw13.xml	60	60	60	0.036
TRS_Standard/Zantema_05/jw14.xml	0.015	0.009	0.016	0.009
TRS_Standard/Zantema_05/jw15.xml	60	60	60	1.05
TRS_Standard/Zantema_05/jw16.xml	60	60	60	6.019
TRS_Standard/Zantema_05/jw17.xml	60	60	60	6.02
TRS_Standard/Zantema_05/jw18.xml	60	60	60	0.035
TRS_Standard/Zantema_05/jw19.xml	60	60	60	0.028
TRS_Standard/Zantema_05/jw20.xml	60	60	60	3.033
TRS_Standard/Zantema_05/jw21.xml	60	60	60	0.035
TRS_Standard/Zantema_05/jw22.xml	60	60	60	0.019
TRS_Standard/Zantema_05/jw23.xml	60	60	60	0.07
TRS_Standard/Zantema_05/jw24.xml	60	60	60	6.009
TRS_Standard/Zantema_05/jw25.xml	60	60	60	4.011
TRS_Standard/Zantema_05/jw26.xml	60	60	60	0.09
TRS_Standard/Zantema_05/jw27.xml	60	60	60	0.021
TRS_Standard/Zantema_05/jw28.xml	60	60	60	0.093
TRS_Standard/Zantema_05/jw29.xml	60	60	60	5.054
TRS_Standard/Zantema_05/jw30.xml	60	60	60	0.028
TRS_Standard/Zantema_05/jw31.xml	60	60	60	0.027
TRS_Standard/Zantema_05/jw32.xml	60	60	60	4.014
TRS_Standard/Zantema_05/jw33.xml	60	60	60	5.007
TRS_Standard/Zantema_05/jw34.xml	60	60	60	1.029
TRS_Standard/Zantema_05/jw35.xml	0.014	0.011	0.011	0.01
TRS_Standard/Zantema_05/jw36.xml	60	60	60	0.032
TRS_Standard/Zantema_05/jw37.xml	60	60	60	40.046
TRS_Standard/Zantema_05/jw38.xml	60	60	60	40.069
TRS_Standard/Zantema_05/jw39.xml	60	60	60	20.017
TRS_Standard/Zantema_05/jw40.xml	60	60	60	0.023
TRS_Standard/Zantema_05/jw41.xml	60	60	60	0.04
TRS_Standard/Zantema_05/jw42.xml	60	60	60	1.022
TRS_Standard/Zantema_05/jw43.xml	60	60	60	5.067
TRS_Standard/Zantema_05/jw44.xml	1.038	60	60	20.02
TRS_Standard/Zantema_05/jw47.xml	1.049	60	60	20.015
TRS_Standard/Zantema_05/jw50.xml	60	60	60	5.057
TRS_Standard/Zantema_05/z01.xml	60	60	60	60
TRS_Standard/Zantema_05/z02.xml	60	60	60	60
TRS_Standard/Zantema_05/z03.xml	60	60	60	60
TRS_Standard/Zantema_05/z04.xml	1.052	60	58.026	40.057
TRS_Standard/Zantema_05/z05.xml	60	60	60	60
TRS_Standard/Zantema_05/z06.xml	60	60	60	40.081
TRS_Standard/Zantema_05/z07.xml	60	60	60	60
TRS_Standard/Zantema_05/z08.xml	60	60	60	20.03
TRS_Standard/Zantema_05/z09.xml	60	60	60	60
TRS_Standard/Zantema_05/z10.xml	60	60	60	60
TRS_Standard/Zantema_05/z11.xml	60	60	60	60
TRS_Standard/Zantema_05/z12.xml	60	60	60	60
TRS_Standard/Zantema_05/z13.xml	60	60	60	60
TRS_Standard/Zantema_05/z14.xml	60	60	60	60
TRS_Standard/Zantema_05/z15.xml	60	60	60	60
TRS_Standard/Zantema_05/z16.xml	60	60	60	60
TRS_Standard/Zantema_05/z17.xml	60	60	60	60
TRS_Standard/Zantema_05/z18.xml	60	60	60	60
TRS_Standard/Zantema_05/z19.xml	60	60	60	60
TRS_Standard/Zantema_05/z20.xml	60	60	60	60
TRS_Standard/Zantema_05/z21.xml	60	60	60	60
TRS_Standard/Zantema_05/z22.xml	60	60	60	60
TRS_Standard/Zantema_05/z23.xml	60	60	60	60
TRS_Standard/Zantema_05/z24.xml	60	60	60	60
TRS_Standard/Zantema_05/z25.xml	60	60	60	60
TRS_Standard/Zantema_05/z26.xml	60	60	60	60
TRS_Standard/Zantema_05/z27.xml	60	60	60	60
TRS_Standard/Zantema_05/z28.xml	60	60	60	60
TRS_Standard/Zantema_05/z29.xml	60	60	60	60
TRS_Standard/Zantema_05/z30.xml	60	60	60	60
TRS_Standard/Zantema_15/delta.xml	60	60	60	60
TRS_Standard/Zantema_15/ex01.xml	60	60	60	60
TRS_Standard/Zantema_15/ex02.xml	60	60	60	60
TRS_Standard/Zantema_15/ex03.xml	60	60	60	60
TRS_Standard/Zantema_15/ex04.xml	60	60	60	60
TRS_Standard/Zantema_15/ex05.xml	60	60	60	60
TRS_Standard/Zantema_15/ex06.xml	60	60	60	60
TRS_Standard/Zantema_15/ex07.xml	60	60	60	60
TRS_Standard/Zantema_15/ex08.xml	60	60	60	60
TRS_Standard/Zantema_15/ex09.xml	60	60	60	60
TRS_Standard/Zantema_15/ex10.xml	60	60	60	60
TRS_Standard/Zantema_15/ex11.xml	60	60	60	60
TRS_Standard/Zantema_15/ex12.xml	60	60	60	60
TRS_Standard/Zantema_15/ex13.xml	60	60	60	60
TRS_Standard/Zantema_15/ex14.xml	60	60	60	60
TRS_Standard/Zantema_15/s.xml	60	60	60	60
	MU-TERM (AGES + Barcelogic)	MU-TERM (AGES + Yices)	MU-TERM (AGES + Z3)	MU-TERM (Mace4)
Time	2467.786	135.644	1372.361	6447.394
#MAYBE	1102	1360	1338	1329
#YES	336	78	100	109
#NO	60	60	60	60