SANSSTSHORT		ST311SHORT
	Termination proof	Certification	Termination proof	Certification
TRS/AG01/#3.1.trs	YES 0.063 xml	coq	YES 0.033 xml	coq
TRS/AG01/#3.10.trs	YES 0.919 xml	coq	YES 0.341 xml	coq
TRS/AG01/#3.12.trs	YES 0.097 xml	coq	YES 0.036 xml	coq
TRS/AG01/#3.13.trs	YES 0.489 xml	coq	YES 0.265 xml	coq
TRS/AG01/#3.14.trs	YES 0.060 xml	coq	YES 0.037 xml	coq
TRS/AG01/#3.15.trs	YES 0.066 xml	coq	YES 0.065 xml	coq
TRS/AG01/#3.16.trs	YES 0.040 xml	coq	YES 0.008 xml	coq
TRS/AG01/#3.17.trs	YES 0.343 xml	coq	YES 0.202 xml	coq
TRS/AG01/#3.17a.trs	YES 0.503 xml	coq	YES 0.289 xml	coq
TRS/AG01/#3.18.trs	YES 0.126 xml	coq	YES 0.057 xml	coq
TRS/AG01/#3.19.trs	YES 0.139 xml	coq	YES 0.080 xml	coq
TRS/AG01/#3.2.trs	YES 0.058 xml	coq	YES 0.035 xml	coq
TRS/AG01/#3.21.trs	YES 0.313 xml	coq	YES 0.328 xml	coq
TRS/AG01/#3.22.trs	YES 1.974 xml	coq	YES 1.069 xml	coq
TRS/AG01/#3.23.trs	YES 0.015 xml	coq	YES 0.016 xml	coq
TRS/AG01/#3.24.trs	YES 0.033 xml	coq	YES 0.034 xml	coq
TRS/AG01/#3.26.trs	YES 0.025 xml	coq	YES 0.025 xml	coq
TRS/AG01/#3.29.trs	YES 0.012 xml	coq	YES 0.013 xml	coq
TRS/AG01/#3.31.trs	YES 0.039 xml	coq	YES 0.003 xml	coq
TRS/AG01/#3.33.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/AG01/#3.35.trs	YES 0.022 xml	coq	YES 0.004 xml	coq
TRS/AG01/#3.36.trs	YES 0.064 xml	coq	YES 0.037 xml	coq
TRS/AG01/#3.37.trs	YES 0.034 xml	coq	YES 0.004 xml	coq
TRS/AG01/#3.38.trs	YES 0.092 xml	coq	YES 0.046 xml	coq
TRS/AG01/#3.39.trs	YES 2.352 xml	coq	YES 2.247 xml	coq
TRS/AG01/#3.4.trs	YES 0.116 xml	coq	YES 0.044 xml	coq
TRS/AG01/#3.40.trs	STOP 30.04		STOP 65.73
TRS/AG01/#3.41.trs	YES 0.487 xml	coq	YES 0.482 xml	coq
TRS/AG01/#3.42.trs	YES 0.906 xml	coq	YES 0.869 xml	coq
TRS/AG01/#3.47.trs	YES 0.052 xml	coq	YES 0.005 xml	coq
TRS/AG01/#3.48.trs	YES 0.245 xml	coq	YES 0.284 xml	coq
TRS/AG01/#3.49.trs	YES 0.169 xml	coq	YES 0.159 xml	coq
TRS/AG01/#3.5.trs	YES 0.148 xml	coq	YES 0.066 xml	coq
TRS/AG01/#3.51.trs	YES 0.046 xml	coq	YES 0.005 xml	coq
TRS/AG01/#3.52.trs	YES 0.022 xml	coq	YES 0.003 xml	coq
TRS/AG01/#3.53.trs	YES 0.492 xml	coq	YES 0.232 xml	coq
TRS/AG01/#3.53a.trs	YES 0.013 xml	coq	YES 0.014 xml	coq
TRS/AG01/#3.53b.trs	YES 0.022 xml	coq	YES 0.004 xml	coq
TRS/AG01/#3.54.trs	YES 0.050 xml	coq	YES 0.048 xml	coq
TRS/AG01/#3.55.trs	STOP 66.28		YES 0.614 xml	coq
TRS/AG01/#3.56.trs	YES 0.477 xml	coq	YES 0.479 xml	coq
TRS/AG01/#3.57.trs	YES 0.695 xml	coq	YES 0.352 xml	coq
TRS/AG01/#3.5a.trs	YES 0.195 xml	coq	YES 0.078 xml	coq
TRS/AG01/#3.5b.trs	YES 0.224 xml	coq	YES 0.091 xml	coq
TRS/AG01/#3.6.trs	YES 0.168 xml	coq	YES 0.084 xml	coq
TRS/AG01/#3.6a.trs	YES 0.228 xml	coq	YES 0.141 xml	coq
TRS/AG01/#3.6b.trs	YES 0.251 xml	coq	YES 0.122 xml	coq
TRS/AG01/#3.7.trs	YES 0.066 xml	coq	YES 0.037 xml	coq
TRS/AG01/#3.8a.trs	YES 0.290 xml	coq	YES 0.193 xml	coq
TRS/AG01/#3.8b.trs	YES 0.455 xml	coq	YES 0.239 xml	coq
TRS/AG01/#4.30c.trs	STOP 1.623		STOP 2.711
TRS/AProVE/AAECC-ring.trs	STOP 157.9		T/O
TRS/AProVE/AAECC.trs	STOP 108.3		STOP 169.2
TRS/AProVE/IJCAR_1.trs	STOP 0.726		YES 0.035 xml	coq
TRS/AProVE/IJCAR_12.trs	STOP 0.536		STOP 0.809
TRS/AProVE/IJCAR_18.trs	STOP 17.83		STOP 17.50
TRS/AProVE/IJCAR_26.trs	STOP 6.377		STOP 4.792
TRS/AProVE/IJCAR_26a.trs	STOP 7.735		STOP 4.786
TRS/AProVE/JFP_Ex31.trs	STOP 50.67		STOP 101.4
TRS/AProVE/JFP_Ex51.trs	YES 0.583 xml	coq	YES 0.483 xml	coq
TRS/AProVE/LPAR_intlist.trs	STOP 50.59		YES 0.007 xml	coq
TRS/AProVE/Liveness6.1.trs	STOP 1.810		STOP 3.869
TRS/AProVE/Liveness6.2.trs	YES 0.427 xml	coq	YES 0.356 xml	coq
TRS/AProVE/Liveness6.3.trs	STOP 47.43		STOP 77.23
TRS/AProVE/Liveness6.4.trs	STOP 4.950		STOP 7.170
TRS/AProVE/Liveness8.trs	YES 0.542 xml	coq	YES 0.142 xml	coq
TRS/AProVE/Liveness_WRS.trs	STOP 56.92		STOP 116.1
TRS/AProVE/fac.trs	STOP 0.753		STOP 1.522
TRS/AProVE/forward_instantiation.trs	STOP 0.098		STOP 0.200
TRS/AProVE/forward_instantiation2.trs	STOP 0.099		STOP 0.197
TRS/AProVE/improved_usable.trs	YES 0.099 xml	coq	YES 0.097 xml	coq
TRS/AProVE/improved_usable2.trs	YES 0.090 xml	coq	YES 0.091 xml	coq
TRS/AProVE/rta1.trs	STOP 1.783		STOP 2.451
TRS/AProVE/rta2.trs	YES 0.015 xml	coq	YES 0.015 xml	coq
TRS/AProVE/rta3.trs	STOP 0.513		STOP 0.928
TRS/Beerendonk/1.trs	STOP 0.252		STOP 0.421
TRS/Beerendonk/10.trs	STOP 4.386		STOP 6.424
TRS/Beerendonk/11.trs	STOP 2.659		STOP 3.637
TRS/Beerendonk/12.trs	STOP 1.448		STOP 2.099
TRS/Beerendonk/13.trs	STOP 1.008		STOP 1.733
TRS/Beerendonk/14.trs	STOP 1.460		STOP 2.257
TRS/Beerendonk/15.trs	STOP 32.46		STOP 42.79
TRS/Beerendonk/16.trs	STOP 28.91		STOP 34.07
TRS/Beerendonk/17.trs	STOP 73.43		STOP 86.66
TRS/Beerendonk/18.trs	STOP 81.46		STOP 106.1
TRS/Beerendonk/19.trs	STOP 67.25		STOP 79.82
TRS/Beerendonk/2.trs	STOP 0.451		STOP 0.810
TRS/Beerendonk/20.trs	STOP 16.05		STOP 20.25
TRS/Beerendonk/21.trs	STOP 8.478		STOP 11.30
TRS/Beerendonk/22.trs	STOP 1.268		STOP 2.069
TRS/Beerendonk/23.trs	STOP 1.008		STOP 1.848
TRS/Beerendonk/24.trs	STOP 47.64		STOP 81.05
TRS/Beerendonk/3.trs	STOP 0.342		STOP 0.638
TRS/Beerendonk/4.trs	STOP 0.157		STOP 0.266
TRS/Beerendonk/5.trs	STOP 8.304		STOP 18.92
TRS/Beerendonk/6.trs	STOP 0.181		STOP 0.386
TRS/Beerendonk/7.trs	STOP 0.922		STOP 1.915
TRS/Beerendonk/8.trs	STOP 35.38		STOP 80.89
TRS/Beerendonk/9.trs	STOP 10.25		STOP 22.64
TRS/CSR/Ex1_Luc04b_GM.trs	STOP 11.56		YES 5.090 xml	coq
TRS/Cime/ack_prolog.trs	YES 0.102 xml	coq	YES 0.007 xml	coq
TRS/Cime/append-hard.trs	STOP 0.321		STOP 0.638
TRS/Cime/append-wrong.trs	STOP 0.407		STOP 0.749
TRS/Cime/append.trs	YES 0.023 xml	coq	YES 0.005 xml	coq
TRS/Cime/big.trs	STOP 29.52		STOP 60.09
TRS/Cime/boolean_rings.trs	YES 0.036 xml	coq	YES 0.005 xml	coq
TRS/Cime/dpqs.trs	YES 0.002 xml	coq	YES 0.001 xml	coq
TRS/Cime/fact-hard.trs	STOP 11.24		STOP 17.45
TRS/Cime/filliatre.trs	YES 0.301 xml	coq	YES 0.280 xml	coq
TRS/Cime/filliatre2.trs	YES 0.352 xml	coq	YES 0.346 xml	coq
TRS/Cime/filliatre3.trs	YES 0.437 xml	coq	YES 0.389 xml	coq
TRS/Cime/intersect.trs	YES 72.84 xml	coq	YES 32.31 xml	coq
TRS/Cime/list-sum-prod-assoc-append.trs	YES 0.349 xml	coq	YES 0.022 xml	coq
TRS/Cime/list-sum-prod-assoc.trs	YES 0.217 xml	coq	YES 0.015 xml	coq
TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs	YES 5.187 xml	coq	YES 2.179 xml	coq
TRS/Cime/list-sum-prod-bin-assoc.trs	YES 3.886 xml	coq	YES 1.812 xml	coq
TRS/Cime/list-sum-prod-bin.trs	YES 2.317 xml	coq	YES 1.000 xml	coq
TRS/Cime/list-sum-prod.trs	YES 0.204 xml	coq	YES 0.012 xml	coq
TRS/Cime/log2.trs	YES 4.937 xml	coq	YES 0.481 xml	coq
TRS/Cime/lse.trs	YES 229.6 xml	coq	YES 25.71 xml	coq
TRS/Cime/maude2.trs	STOP 31.02		STOP 53.44
TRS/Cime/mucrl1.trs	YES 22.84 xml	coq	YES 0.211 xml	coq
TRS/Cime/quick.trs	YES 0.213 xml	coq	YES 0.085 xml	coq
TRS/Cime/ternary-hard.trs	STOP 1.977		YES 1.100 xml	coq
TRS/Cime/ternary.trs	YES 3.221 xml	coq	YES 1.080 xml	coq
TRS/Cime/tree.trs	YES 3.119 xml	coq	YES 1.047 xml	coq
TRS/D33/01.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/D33/02.trs	YES 0.002 xml	coq	YES 0.001 xml	coq
TRS/D33/03.trs	YES 0.001 xml	coq	YES 0.000 xml	coq
TRS/D33/04.trs	YES 0.018 xml	coq	YES 0.003 xml	coq
TRS/D33/06.trs	YES 0.019 xml	coq	YES 0.003 xml	coq
TRS/D33/07.trs	YES 0.026 xml	coq	YES 0.004 xml	coq
TRS/D33/08.trs	YES 0.051 xml	coq	YES 0.005 xml	coq
TRS/D33/09.trs	YES 0.013 xml	coq	YES 0.004 xml	coq
TRS/D33/11.trs	YES 0.199 xml	coq	YES 0.012 xml	coq
TRS/D33/12.trs	STOP 0.334		STOP 0.749
TRS/D33/13.trs	YES 0.270 xml	coq	YES 0.112 xml	coq
TRS/D33/17.trs	YES 0.052 xml	coq	YES 0.007 xml	coq
TRS/D33/18.trs	YES 0.013 xml	coq	YES 0.004 xml	coq
TRS/D33/20.trs	YES 0.086 xml	coq	YES 0.095 xml	coq
TRS/D33/21.trs	STOP 0.565		STOP 1.316
TRS/D33/27.trs	YES 0.018 xml	coq	YES 0.004 xml	coq
TRS/D33/28.trs	YES 0.027 xml	coq	YES 0.005 xml	coq
TRS/D33/30.trs	YES 0.070 xml	coq	YES 0.081 xml	coq
TRS/D33/31.trs	YES 0.034 xml	coq	YES 0.006 xml	coq
TRS/D33/32.trs	YES 0.126 xml	coq	YES 0.012 xml	coq
TRS/D33/33.trs	STOP 14.00		STOP 28.43
TRS/Endrullis/direct.trs	YES 3.860 xml	coq	YES 4.096 xml	coq
TRS/Endrullis/labeling.trs	STOP 0.302		STOP 0.623
TRS/Endrullis/linear1.trs	YES 3.176 xml	coq	YES 3.214 xml	coq
TRS/Endrullis/linear2.trs	YES 27.29 xml	coq	YES 28.29 xml	coq
TRS/Endrullis/pair2hard.trs	YES 9.252 xml	coq	YES 9.928 xml	coq
TRS/Endrullis/pair2simple1.trs	YES 2.295 xml	coq	YES 2.368 xml	coq
TRS/Endrullis/pair2simple2.trs	STOP 5.884		STOP 10.76
TRS/Endrullis/pair3hard.trs	STOP 0.668		STOP 1.128
TRS/Endrullis/pair3rotate.trs	YES 0.858 xml	coq	YES 0.938 xml	coq
TRS/Endrullis/pair3swap.trs	YES 9.412 xml	coq	YES 10.54 xml	coq
TRS/Endrullis/quadruple1.trs	YES 3.067 xml	coq	YES 3.096 xml	coq
TRS/Endrullis/quadruple2.trs	YES 5.778 xml	coq	YES 5.230 xml	coq
TRS/HM/n002.trs	STOP 0.009		STOP 0.009
TRS/HM/n003.trs	STOP 0.020		STOP 0.020
TRS/HM/n004.trs	STOP 0.009		STOP 0.011
TRS/HM/n005.trs	STOP 0.031		STOP 0.032
TRS/HM/n006.trs	STOP 0.031		STOP 0.038
TRS/HM/n007.trs	STOP 0.038		STOP 0.040
TRS/HM/n008.trs	STOP 0.008		STOP 0.009
TRS/HM/t000.trs	YES 0.649 xml	coq	YES 0.333 xml	coq
TRS/HM/t001.trs	YES 28.54 xml	coq	YES 34.47 xml	coq
TRS/HM/t002.trs	STOP 4.000		STOP 6.788
TRS/HM/t003.trs	YES 0.380 xml	coq	YES 0.083 xml	coq
TRS/HM/t004.trs	STOP 47.00		STOP 80.22
TRS/HM/t005.trs	YES 4.116 xml	coq	YES 2.037 xml	coq
TRS/HM/t006.trs	YES 0.019 xml	coq	YES 0.005 xml	coq
TRS/HM/t007.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/HM/t008.trs	YES 1.564 xml	coq	YES 0.574 xml	coq
TRS/HM/t009.trs	STOP 191.5		STOP 248.1
TRS/HM/t010.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/HM/t011.trs	YES 0.020 xml	coq	YES 0.004 xml	coq
TRS/HM/t012.trs	YES 0.165 xml	coq	YES 0.109 xml	coq
TRS/HM/t013.trs	YES 0.082 xml	coq	YES 0.048 xml	coq
TRS/HM/t014.trs	YES 0.197 xml	coq	YES 0.068 xml	coq
TRS/HofWald/1.trs	YES 8.986 xml	coq	YES 8.564 xml	coq
TRS/HofWald/2.trs	YES 1.415 xml	coq	YES 1.660 xml	coq
TRS/HofWald/3.trs	STOP 8.628		STOP 14.38
TRS/HofWald/4.trs	STOP 14.34		STOP 32.33
TRS/HofWald/5.trs	YES 0.272 xml	coq	YES 0.248 xml	coq
TRS/HofWald/6.trs	STOP 1.154		STOP 1.634
TRS/HofWald/7.trs	STOP 3.970		STOP 5.682
TRS/Koprowski/gcd_triple.trs	YES 0.389 xml	coq	YES 0.149 xml	coq
TRS/LJB01/jones1.trs	YES 0.017 xml	coq	YES 0.004 xml	coq
TRS/LJB01/jones2.trs	STOP 0.201		YES 0.004 xml	coq
TRS/LJB01/jones4.trs	YES 0.014 xml	coq	YES 0.021 xml	coq
TRS/LJB01/jones5.trs	YES 0.029 xml	coq	YES 0.028 xml	coq
TRS/LJB01/jones6.trs	YES 0.039 xml	coq	YES 0.005 xml	coq
TRS/Rubio/aoto.trs	YES 1.343 xml	coq	YES 1.365 xml	coq
TRS/Rubio/bintrees.trs	YES 0.056 xml	coq	YES 0.039 xml	coq
TRS/Rubio/bn122.trs	YES 0.029 xml	coq	YES 0.022 xml	coq
TRS/Rubio/bn129.trs	YES 0.088 xml	coq	YES 0.059 xml	coq
TRS/Rubio/division.trs	YES 0.169 xml	coq	YES 0.065 xml	coq
TRS/Rubio/elimdupl.trs	YES 0.156 xml	coq	YES 0.060 xml	coq
TRS/Rubio/enno.trs	YES 0.276 xml	coq	YES 0.105 xml	coq
TRS/Rubio/gcd.trs	YES 0.165 xml	coq	YES 0.084 xml	coq
TRS/Rubio/gm.trs	YES 0.062 xml	coq	YES 0.037 xml	coq
TRS/Rubio/gmnp.trs	YES 0.026 xml	coq	YES 0.005 xml	coq
TRS/Rubio/koen.trs	YES 0.029 xml	coq	YES 0.006 xml	coq
TRS/Rubio/lescanne.trs	YES 0.054 xml	coq	YES 0.043 xml	coq
TRS/Rubio/lindau.trs	YES 5.414 xml	coq	YES 6.390 xml	coq
TRS/Rubio/logarquot.trs	YES 0.247 xml	coq	YES 0.209 xml	coq
TRS/Rubio/ma96.trs	STOP 73.82		YES 1.185 xml	coq
TRS/Rubio/mfp90b.trs	YES 0.014 xml	coq	YES 0.017 xml	coq
TRS/Rubio/mfp95.trs	YES 0.001 xml	coq	YES 0.002 xml	coq
TRS/Rubio/nestrec.trs	YES 0.019 xml	coq	YES 0.017 xml	coq
TRS/Rubio/p266.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/Rubio/polo2.trs	YES 0.183 xml	coq	YES 0.015 xml	coq
TRS/Rubio/prov.trs	YES 0.056 xml	coq	YES 0.007 xml	coq
TRS/Rubio/quick.trs	YES 10.38 xml	coq	YES 0.256 xml	coq
TRS/Rubio/quotminus.trs	YES 0.172 xml	coq	YES 0.044 xml	coq
TRS/Rubio/revlist.trs	YES 0.119 xml	coq	YES 0.068 xml	coq
TRS/Rubio/selsort.trs	STOP 59.51		YES 0.387 xml	coq
TRS/Rubio/test4.trs	YES 0.047 xml	coq	YES 0.033 xml	coq
TRS/Rubio/test829.trs	YES 0.029 xml	coq	YES 0.030 xml	coq
TRS/Rubio/wst99.trs	YES 0.438 xml	coq	YES 0.468 xml	coq
TRS/SK90/2.01.trs	YES 0.044 xml	coq	YES 0.008 xml	coq
TRS/SK90/2.02.trs	YES 0.077 xml	coq	YES 0.048 xml	coq
TRS/SK90/2.03.trs	YES 0.038 xml	coq	YES 0.004 xml	coq
TRS/SK90/2.04.trs	YES 0.027 xml	coq	YES 0.005 xml	coq
TRS/SK90/2.05.trs	STOP 1.785		STOP 2.688
TRS/SK90/2.06.trs	YES 0.052 xml	coq	YES 0.008 xml	coq
TRS/SK90/2.07.trs	YES 0.028 xml	coq	YES 0.006 xml	coq
TRS/SK90/2.08.trs	YES 0.078 xml	coq	YES 0.010 xml	coq
TRS/SK90/2.09.trs	YES 0.014 xml	coq	YES 0.004 xml	coq
TRS/SK90/2.10.trs	YES 0.039 xml	coq	YES 0.006 xml	coq
TRS/SK90/2.11.trs	YES 0.023 xml	coq	YES 0.005 xml	coq
TRS/SK90/2.12.trs	YES 0.097 xml	coq	YES 0.010 xml	coq
TRS/SK90/2.13.trs	YES 0.041 xml	coq	YES 0.009 xml	coq
TRS/SK90/2.14.trs	YES 0.088 xml	coq	YES 0.010 xml	coq
TRS/SK90/2.15.trs	YES 0.022 xml	coq	YES 0.004 xml	coq
TRS/SK90/2.16.trs	YES 0.063 xml	coq	YES 0.007 xml	coq
TRS/SK90/2.17.trs	YES 0.056 xml	coq	YES 0.006 xml	coq
TRS/SK90/2.18.trs	YES 0.033 xml	coq	YES 0.005 xml	coq
TRS/SK90/2.19.trs	YES 0.110 xml	coq	YES 0.009 xml	coq
TRS/SK90/2.20.trs	YES 0.030 xml	coq	YES 0.004 xml	coq
TRS/SK90/2.21.trs	YES 0.026 xml	coq	YES 0.005 xml	coq
TRS/SK90/2.22.trs	YES 0.067 xml	coq	YES 0.010 xml	coq
TRS/SK90/2.23.trs	YES 0.130 xml	coq	YES 0.012 xml	coq
TRS/SK90/2.24.trs	YES 0.030 xml	coq	YES 0.003 xml	coq
TRS/SK90/2.25.trs	YES 0.056 xml	coq	YES 0.006 xml	coq
TRS/SK90/2.26.trs	YES 0.192 xml	coq	YES 0.008 xml	coq
TRS/SK90/2.27.trs	YES 0.113 xml	coq	YES 0.007 xml	coq
TRS/SK90/2.28.trs	YES 0.021 xml	coq	YES 0.004 xml	coq
TRS/SK90/2.29.trs	YES 0.072 xml	coq	YES 0.004 xml	coq
TRS/SK90/2.30.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/SK90/2.31.trs	YES 0.036 xml	coq	YES 0.009 xml	coq
TRS/SK90/2.32.trs	YES 0.002 xml	coq	YES 0.002 xml	coq
TRS/SK90/2.33.trs	YES 0.022 xml	coq	YES 0.005 xml	coq
TRS/SK90/2.34.trs	YES 0.042 xml	coq	YES 0.004 xml	coq
TRS/SK90/2.35.trs	YES 0.022 xml	coq	YES 0.024 xml	coq
TRS/SK90/2.36.trs	YES 0.027 xml	coq	YES 0.029 xml	coq
TRS/SK90/2.37.trs	YES 0.022 xml	coq	YES 0.025 xml	coq
TRS/SK90/2.38.trs	YES 0.029 xml	coq	YES 0.005 xml	coq
TRS/SK90/2.39.trs	YES 0.042 xml	coq	YES 0.005 xml	coq
TRS/SK90/2.40.trs	YES 0.022 xml	coq	YES 0.005 xml	coq
TRS/SK90/2.41.trs	YES 0.065 xml	coq	YES 0.007 xml	coq
TRS/SK90/2.42.trs	YES 0.120 xml	coq	YES 0.014 xml	coq
TRS/SK90/2.43.trs	YES 0.107 xml	coq	YES 0.010 xml	coq
TRS/SK90/2.44.trs	YES 0.122 xml	coq	YES 0.136 xml	coq
TRS/SK90/2.45.trs	YES 0.111 xml	coq	YES 0.004 xml	coq
TRS/SK90/2.46.trs	YES 0.033 xml	coq	YES 0.030 xml	coq
TRS/SK90/2.47.trs	YES 0.007 xml	coq	YES 0.003 xml	coq
TRS/SK90/2.48.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/SK90/2.49.trs	YES 0.105 xml	coq	YES 0.007 xml	coq
TRS/SK90/2.50.trs	YES 0.011 xml	coq	YES 0.002 xml	coq
TRS/SK90/2.51.trs	YES 0.034 xml	coq	YES 0.005 xml	coq
TRS/SK90/2.52.trs	YES 0.309 xml	coq	YES 0.022 xml	coq
TRS/SK90/2.53.trs	YES 0.016 xml	coq	YES 0.003 xml	coq
TRS/SK90/2.54.trs	YES 0.009 xml	coq	YES 0.004 xml	coq
TRS/SK90/2.55.trs	YES 0.010 xml	coq	YES 0.003 xml	coq
TRS/SK90/2.56.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/SK90/2.57.trs	YES 0.001 xml	coq	YES 0.002 xml	coq
TRS/SK90/2.58.trs	YES 0.017 xml	coq	YES 0.020 xml	coq
TRS/SK90/2.59.trs	YES 0.009 xml	coq	YES 0.002 xml	coq
TRS/SK90/2.60.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/SK90/2.61.trs	YES 0.116 xml	coq	YES 0.007 xml	coq
TRS/SK90/4.01.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/SK90/4.02.trs	YES 0.660 xml	coq	YES 0.654 xml	coq
TRS/SK90/4.03.trs	YES 0.050 xml	coq	YES 0.009 xml	coq
TRS/SK90/4.04.trs	YES 0.017 xml	coq	YES 0.003 xml	coq
TRS/SK90/4.05.trs	YES 0.019 xml	coq	YES 0.007 xml	coq
TRS/SK90/4.06.trs	STOP 0.269		STOP 0.649
TRS/SK90/4.07.trs	YES 0.014 xml	coq	YES 0.004 xml	coq
TRS/SK90/4.08.trs	YES 0.011 xml	coq	YES 0.004 xml	coq
TRS/SK90/4.09.trs	YES 0.041 xml	coq	YES 0.011 xml	coq
TRS/SK90/4.10.trs	YES 0.053 xml	coq	YES 0.009 xml	coq
TRS/SK90/4.11.trs	YES 0.021 xml	coq	YES 0.005 xml	coq
TRS/SK90/4.12.trs	YES 0.028 xml	coq	YES 0.029 xml	coq
TRS/SK90/4.13.trs	YES 2.117 xml	coq	YES 2.134 xml	coq
TRS/SK90/4.14.trs	YES 0.096 xml	coq	YES 0.012 xml	coq
TRS/SK90/4.15.trs	YES 0.012 xml	coq	YES 0.004 xml	coq
TRS/SK90/4.16.trs	YES 0.054 xml	coq	YES 0.005 xml	coq
TRS/SK90/4.17.trs	YES 0.590 xml	coq	YES 0.561 xml	coq
TRS/SK90/4.18.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/SK90/4.19.trs	YES 0.080 xml	coq	YES 0.077 xml	coq
TRS/SK90/4.20.trs	YES 0.030 xml	coq	YES 0.005 xml	coq
TRS/SK90/4.21.trs	YES 0.045 xml	coq	YES 0.009 xml	coq
TRS/SK90/4.22.trs	YES 0.050 xml	coq	YES 0.006 xml	coq
TRS/SK90/4.23.trs	YES 0.025 xml	coq	YES 0.005 xml	coq
TRS/SK90/4.24.trs	STOP 1.055		STOP 2.157
TRS/SK90/4.25.trs	YES 0.022 xml	coq	YES 0.006 xml	coq
TRS/SK90/4.26.trs	YES 0.078 xml	coq	YES 0.013 xml	coq
TRS/SK90/4.27.trs	STOP 50.58		YES 0.007 xml	coq
TRS/SK90/4.28.trs	YES 0.298 xml	coq	YES 0.016 xml	coq
TRS/SK90/4.29.trs	YES 0.038 xml	coq	YES 0.005 xml	coq
TRS/SK90/4.30.trs	YES 1.330 xml	coq	YES 1.706 xml	coq
TRS/SK90/4.31.trs	YES 0.074 xml	coq	YES 0.049 xml	coq
TRS/SK90/4.32.trs	STOP 0.804		STOP 1.521
TRS/SK90/4.33.trs	YES 0.025 xml	coq	YES 0.023 xml	coq
TRS/SK90/4.34.trs	STOP 0.938		STOP 1.599
TRS/SK90/4.35.trs	YES 0.000 xml	coq	YES 0.001 xml	coq
TRS/SK90/4.36.trs	YES 0.000 xml	coq	YES 0.001 xml	coq
TRS/SK90/4.37.trs	YES 0.000 xml	coq	YES 0.001 xml	coq
TRS/SK90/4.38.trs	YES 0.027 xml	coq	YES 0.006 xml	coq
TRS/SK90/4.39.trs	YES 0.026 xml	coq	YES 0.033 xml	coq
TRS/SK90/4.40.trs	STOP 0.471		STOP 1.081
TRS/SK90/4.41.trs	YES 0.013 xml	coq	YES 0.014 xml	coq
TRS/SK90/4.42.trs	STOP 0.456		YES 0.007 xml	coq
TRS/SK90/4.43.trs	YES 0.152 xml	coq	YES 0.067 xml	coq
TRS/SK90/4.44.trs	YES 0.036 xml	coq	YES 0.033 xml	coq
TRS/SK90/4.45.trs	YES 0.007 xml	coq	YES 0.004 xml	coq
TRS/SK90/4.46.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/SK90/4.47.trs	YES 0.001 xml	coq	YES 0.002 xml	coq
TRS/SK90/4.48.trs	YES 0.024 xml	coq	YES 0.006 xml	coq
TRS/SK90/4.49.trs	STOP 0.311		STOP 0.366
TRS/SK90/4.50.trs	STOP 0.049		STOP 0.072
TRS/SK90/4.51.trs	YES 0.197 xml	coq	YES 0.205 xml	coq
TRS/SK90/4.52.trs	YES 0.056 xml	coq	YES 0.008 xml	coq
TRS/SK90/4.53.trs	YES 0.036 xml	coq	YES 0.006 xml	coq
TRS/SK90/4.54.trs	STOP 11.87		STOP 26.37
TRS/SK90/4.55.trs	STOP 0.040		STOP 0.043
TRS/SK90/4.56.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/SK90/4.57.trs	YES 0.002 xml	coq	YES 0.002 xml	coq
TRS/SK90/4.59.trs	YES 0.217 xml	coq	YES 0.103 xml	coq
TRS/SK90/4.60.trs	YES 0.233 xml	coq	YES 0.107 xml	coq
TRS/SK90/4.61.trs	STOP 60.97		STOP 123.7
TRS/SchneiderKamp/trs/cade01.trs	STOP 0.312		STOP 0.598
TRS/SchneiderKamp/trs/cade03.trs	STOP 0.458		STOP 0.982
TRS/SchneiderKamp/trs/cade04t.trs	STOP 0.258		STOP 0.553
TRS/SchneiderKamp/trs/cade05t.trs	STOP 0.956		STOP 1.833
TRS/SchneiderKamp/trs/cade06.trs	STOP 1.626		STOP 3.426
TRS/SchneiderKamp/trs/cade07.trs	STOP 0.971		STOP 1.971
TRS/SchneiderKamp/trs/cade08.trs	STOP 4.840		STOP 9.085
TRS/SchneiderKamp/trs/cade09.trs	STOP 1.389		STOP 2.496
TRS/SchneiderKamp/trs/cade10.trs	STOP 0.772		STOP 1.792
TRS/SchneiderKamp/trs/cade11.trs	STOP 0.802		STOP 1.311
TRS/SchneiderKamp/trs/cade12t.trs	STOP 87.68		STOP 174.8
TRS/SchneiderKamp/trs/cade13t.trs	STOP 2.036		STOP 3.531
TRS/SchneiderKamp/trs/cade14.trs	STOP 5.101		STOP 6.390
TRS/SchneiderKamp/trs/cade15.trs	STOP 26.28		STOP 52.16
TRS/SchneiderKamp/trs/cade16.trs	STOP 0.974		STOP 1.570
TRS/SchneiderKamp/trs/cade17.trs	STOP 35.78		STOP 62.68
TRS/SchneiderKamp/trs/kabasci01.trs	YES 23.41 xml	coq	YES 10.78 xml	coq
TRS/SchneiderKamp/trs/kabasci02.trs	STOP 44.02		STOP 82.15
TRS/SchneiderKamp/trs/kabasci03.trs	STOP 87.56		STOP 139.5
TRS/SchneiderKamp/trs/kabasci04.trs	STOP 8.293		STOP 18.08
TRS/SchneiderKamp/trs/kabasci05.trs	STOP 4.399		STOP 7.116
TRS/SchneiderKamp/trs/kabasci06.trs	STOP 33.45		STOP 68.97
TRS/SchneiderKamp/trs/otto01.trs	STOP 22.30		STOP 43.16
TRS/SchneiderKamp/trs/otto02.trs	STOP 2.447		STOP 55.32
TRS/SchneiderKamp/trs/otto03.trs	STOP 0.787		STOP 1.466
TRS/SchneiderKamp/trs/otto04.trs	STOP 9.528		STOP 19.50
TRS/SchneiderKamp/trs/otto05.trs	STOP 2.073		STOP 3.087
TRS/SchneiderKamp/trs/otto06.trs	STOP 20.49		STOP 54.50
TRS/SchneiderKamp/trs/otto07.trs	STOP 0.347		STOP 0.656
TRS/SchneiderKamp/trs/otto08.trs	STOP 3.549		STOP 5.513
TRS/SchneiderKamp/trs/otto09.trs	STOP 2.174		STOP 4.460
TRS/SchneiderKamp/trs/otto10.trs	STOP 51.28		STOP 85.14
TRS/SchneiderKamp/trs/otto11.trs	STOP 0.867		STOP 1.537
TRS/SchneiderKamp/trs/otto12.trs	STOP 4.151		STOP 6.451
TRS/SchneiderKamp/trs/otto13.trs	STOP 7.268		STOP 13.49
TRS/SchneiderKamp/trs/thiemann01.trs	STOP 4.365		STOP 7.554
TRS/SchneiderKamp/trs/thiemann02.trs	STOP 72.91		STOP 128.0
TRS/SchneiderKamp/trs/thiemann03.trs	STOP 4.621		STOP 9.283
TRS/SchneiderKamp/trs/thiemann04.trs	STOP 43.26		STOP 87.60
TRS/SchneiderKamp/trs/thiemann05.trs	STOP 4.836		STOP 8.072
TRS/SchneiderKamp/trs/thiemann06.trs	STOP 92.60		STOP 139.8
TRS/SchneiderKamp/trs/thiemann07.trs	STOP 32.43		STOP 61.94
TRS/SchneiderKamp/trs/thiemann08.trs	STOP 0.715		STOP 1.099
TRS/SchneiderKamp/trs/thiemann09.trs	STOP 3.928		STOP 7.510
TRS/SchneiderKamp/trs/thiemann10.trs	STOP 4.823		STOP 6.986
TRS/SchneiderKamp/trs/thiemann11.trs	STOP 45.82		STOP 78.10
TRS/SchneiderKamp/trs/thiemann12.trs	STOP 3.429		STOP 5.878
TRS/SchneiderKamp/trs/thiemann13.trs	STOP 103.4		STOP 176.3
TRS/SchneiderKamp/trs/thiemann14.trs	STOP 26.42		STOP 52.70
TRS/SchneiderKamp/trs/thiemann15.trs	STOP 2.084		STOP 3.132
TRS/SchneiderKamp/trs/thiemann16.trs	STOP 11.84		STOP 17.27
TRS/SchneiderKamp/trs/thiemann17.trs	STOP 60.20		STOP 115.0
TRS/SchneiderKamp/trs/thiemann18.trs	STOP 51.18		STOP 89.70
TRS/SchneiderKamp/trs/thiemann19.trs	STOP 15.39		STOP 26.17
TRS/SchneiderKamp/trs/thiemann20.trs	STOP 0.631		STOP 3.342
TRS/SchneiderKamp/trs/thiemann21.trs	STOP 28.91		STOP 57.90
TRS/SchneiderKamp/trs/thiemann22.trs	STOP 3.853		STOP 6.434
TRS/SchneiderKamp/trs/thiemann23.trs	STOP 51.91		STOP 104.1
TRS/SchneiderKamp/trs/thiemann24.trs	STOP 1.724		STOP 2.922
TRS/SchneiderKamp/trs/thiemann25.trs	STOP 1.639		STOP 2.676
TRS/SchneiderKamp/trs/thiemann26.trs	STOP 4.793		STOP 7.764
TRS/SchneiderKamp/trs/thiemann27.trs	STOP 0.439		STOP 0.785
TRS/SchneiderKamp/trs/thiemann28.trs	STOP 2.697		STOP 4.331
TRS/SchneiderKamp/trs/thiemann29.trs	STOP 10.55		STOP 16.82
TRS/SchneiderKamp/trs/thiemann30.trs	STOP 27.74		STOP 56.76
TRS/SchneiderKamp/trs/thiemann31.trs	STOP 10.66		STOP 16.82
TRS/SchneiderKamp/trs/thiemann32.trs	STOP 82.58		STOP 162.9
TRS/SchneiderKamp/trs/thiemann33.trs	STOP 69.36		STOP 139.7
TRS/SchneiderKamp/trs/thiemann34.trs	STOP 18.21		STOP 26.01
TRS/SchneiderKamp/trs/thiemann35.trs	STOP 65.86		STOP 132.2
TRS/SchneiderKamp/trs/thiemann36.trs	STOP 18.92		STOP 32.00
TRS/SchneiderKamp/trs/thiemann37.trs	STOP 41.58		STOP 83.09
TRS/SchneiderKamp/trs/thiemann38.trs	STOP 7.790		STOP 12.76
TRS/SchneiderKamp/trs/thiemann39.trs	STOP 103.8		STOP 208.2
TRS/SchneiderKamp/trs/thiemann40.trs	STOP 0.517		STOP 0.860
TRS/SchneiderKamp/trs/thiemann41.trs	STOP 4.647		STOP 7.009
TRS/SchneiderKamp/trs/wiehe01.trs	STOP 37.66		STOP 143.2
TRS/SchneiderKamp/trs/wiehe02.trs	STOP 85.22		STOP 158.1
TRS/SchneiderKamp/trs/wiehe03.trs	STOP 99.84		STOP 172.3
TRS/SchneiderKamp/trs/wiehe05.trs	STOP 82.51		STOP 159.7
TRS/SchneiderKamp/trs/wiehe06.trs	STOP 80.66		STOP 158.3
TRS/SchneiderKamp/trs/wiehe07.trs	STOP 45.13		STOP 93.29
TRS/SchneiderKamp/trs/wiehe08.trs	STOP 86.87		STOP 162.2
TRS/SchneiderKamp/trs/wiehe09.trs	STOP 79.93		STOP 160.0
TRS/SchneiderKamp/trs/wiehe11.trs	STOP 45.62		STOP 116.0
TRS/SchneiderKamp/trs/wiehe12.trs	STOP 108.1		STOP 215.3
TRS/Ste92/hydra.trs	YES 0.053 xml	coq	YES 0.005 xml	coq
TRS/Ste92/minsort.trs	STOP 4.251		STOP 7.622
TRS/Ste92/motivation.trs	YES 0.029 xml	coq	YES 0.030 xml	coq
TRS/Ste92/perfect.trs	YES 0.071 xml	coq	YES 0.007 xml	coq
TRS/Ste92/perfect2.trs	YES 0.297 xml	coq	YES 0.092 xml	coq
TRS/TRCSR/Ex14_AEGL02_C.trs	YES 4.602 xml	coq	YES 3.843 xml	coq
TRS/TRCSR/Ex14_AEGL02_FR.trs	STOP 1.155		STOP 1.761
TRS/TRCSR/Ex14_AEGL02_GM.trs	YES 0.183 xml	coq	YES 0.055 xml	coq
TRS/TRCSR/Ex14_AEGL02_L.trs	STOP 0.038		STOP 0.061
TRS/TRCSR/Ex14_AEGL02_Z.trs	STOP 0.690		STOP 1.162
TRS/TRCSR/Ex14_AEGL02_iGM.trs	YES 5.788 xml	coq	YES 4.023 xml	coq
TRS/TRCSR/Ex14_Luc06_C.trs	STOP 50.93		STOP 101.5
TRS/TRCSR/Ex14_Luc06_FR.trs	STOP 0.314		STOP 0.486
TRS/TRCSR/Ex14_Luc06_GM.trs	STOP 1.072		STOP 1.645
TRS/TRCSR/Ex14_Luc06_L.trs	STOP 0.116		STOP 0.224
TRS/TRCSR/Ex14_Luc06_Z.trs	STOP 0.280		STOP 0.494
TRS/TRCSR/Ex14_Luc06_iGM.trs	STOP 3.511		STOP 4.764
TRS/TRCSR/Ex15_Luc06_C.trs	YES 1.676 xml	coq	YES 1.691 xml	coq
TRS/TRCSR/Ex15_Luc06_FR.trs	YES 0.024 xml	coq	YES 0.004 xml	coq
TRS/TRCSR/Ex15_Luc06_GM.trs	YES 0.020 xml	coq	YES 0.004 xml	coq
TRS/TRCSR/Ex15_Luc06_L.trs	STOP 0.006		STOP 0.010
TRS/TRCSR/Ex15_Luc06_Z.trs	YES 0.001 xml	coq	YES 0.002 xml	coq
TRS/TRCSR/Ex15_Luc06_iGM.trs	YES 0.301 xml	coq	YES 0.237 xml	coq
TRS/TRCSR/Ex15_Luc98_C.trs	YES 4.110 xml	coq	YES 0.454 xml	coq
TRS/TRCSR/Ex15_Luc98_FR.trs	STOP 20.56		STOP 27.87
TRS/TRCSR/Ex15_Luc98_GM.trs	YES 0.323 xml	coq	YES 0.134 xml	coq
TRS/TRCSR/Ex15_Luc98_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex15_Luc98_Z.trs	YES 63.38 xml	coq	YES 66.40 xml	coq
TRS/TRCSR/Ex15_Luc98_iGM.trs	YES 3.259 xml	coq	YES 1.980 xml	coq
TRS/TRCSR/Ex16_Luc06_C.trs	STOP 50.40		STOP 93.31
TRS/TRCSR/Ex16_Luc06_FR.trs	STOP 0.046		STOP 0.046
TRS/TRCSR/Ex16_Luc06_GM.trs	STOP 0.088		STOP 0.087
TRS/TRCSR/Ex16_Luc06_L.trs	STOP 0.020		STOP 0.022
TRS/TRCSR/Ex16_Luc06_Z.trs	STOP 0.044		STOP 0.046
TRS/TRCSR/Ex16_Luc06_iGM.trs	STOP 0.553		STOP 0.973
TRS/TRCSR/Ex18_Luc06_C.trs	YES 0.397 xml	coq	YES 0.125 xml	coq
TRS/TRCSR/Ex18_Luc06_FR.trs	YES 0.022 xml	coq	YES 0.004 xml	coq
TRS/TRCSR/Ex18_Luc06_GM.trs	YES 0.021 xml	coq	YES 0.003 xml	coq
TRS/TRCSR/Ex18_Luc06_L.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/TRCSR/Ex18_Luc06_Z.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/TRCSR/Ex18_Luc06_iGM.trs	YES 0.301 xml	coq	YES 0.169 xml	coq
TRS/TRCSR/Ex1_2_AEL03_C.trs	STOP 78.49		STOP 136.1
TRS/TRCSR/Ex1_2_AEL03_FR.trs	YES 0.599 xml	coq	YES 0.019 xml	coq
TRS/TRCSR/Ex1_2_AEL03_GM.trs	STOP 34.12		STOP 37.07
TRS/TRCSR/Ex1_2_AEL03_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex1_2_AEL03_Z.trs	YES 0.294 xml	coq	YES 0.013 xml	coq
TRS/TRCSR/Ex1_2_AEL03_iGM.trs	STOP 79.58		STOP 88.91
TRS/TRCSR/Ex1_2_Luc02c_C.trs	YES 1.282 xml	coq	YES 0.097 xml	coq
TRS/TRCSR/Ex1_2_Luc02c_FR.trs	YES 0.043 xml	coq	YES 0.004 xml	coq
TRS/TRCSR/Ex1_2_Luc02c_GM.trs	YES 1.313 xml	coq	YES 1.060 xml	coq
TRS/TRCSR/Ex1_2_Luc02c_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex1_2_Luc02c_Z.trs	YES 0.002 xml	coq	YES 0.002 xml	coq
TRS/TRCSR/Ex1_2_Luc02c_iGM.trs	YES 15.70 xml	coq	YES 4.371 xml	coq
TRS/TRCSR/Ex1_GL02a_C.trs	YES 8.931 xml	coq	YES 8.193 xml	coq
TRS/TRCSR/Ex1_GL02a_FR.trs	STOP 12.16		STOP 25.03
TRS/TRCSR/Ex1_GL02a_GM.trs	YES 0.177 xml	coq	YES 0.010 xml	coq
TRS/TRCSR/Ex1_GL02a_L.trs	STOP 0.012		STOP 0.015
TRS/TRCSR/Ex1_GL02a_Z.trs	STOP 50.91		STOP 101.9
TRS/TRCSR/Ex1_GL02a_iGM.trs	YES 5.590 xml	coq	YES 4.707 xml	coq
TRS/TRCSR/Ex1_GM03_C.trs	STOP 53.45		STOP 106.5
TRS/TRCSR/Ex1_GM03_FR.trs	STOP 5.787		STOP 60.73
TRS/TRCSR/Ex1_GM03_GM.trs	STOP 31.07		STOP 39.49
TRS/TRCSR/Ex1_GM03_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex1_GM03_Z.trs	STOP 0.732		STOP 0.709
TRS/TRCSR/Ex1_GM03_iGM.trs	STOP 74.44		STOP 43.64
TRS/TRCSR/Ex1_GM99_C.trs	STOP 50.56		STOP 101.0
TRS/TRCSR/Ex1_GM99_FR.trs	STOP 0.059		STOP 0.113
TRS/TRCSR/Ex1_GM99_GM.trs	STOP 0.201		STOP 0.414
TRS/TRCSR/Ex1_GM99_L.trs	STOP 0.008		STOP 0.011
TRS/TRCSR/Ex1_GM99_Z.trs	STOP 0.059		STOP 0.116
TRS/TRCSR/Ex1_GM99_iGM.trs	STOP 1.019		STOP 2.109
TRS/TRCSR/Ex1_Luc02b_C.trs	STOP 51.88		STOP 73.79
TRS/TRCSR/Ex1_Luc02b_FR.trs	STOP 1.809		STOP 3.205
TRS/TRCSR/Ex1_Luc02b_GM.trs	STOP 7.229		STOP 8.982
TRS/TRCSR/Ex1_Luc02b_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex1_Luc02b_Z.trs	STOP 4.548		YES 0.009 xml	coq
TRS/TRCSR/Ex1_Luc02b_iGM.trs	STOP 51.44		STOP 56.66
TRS/TRCSR/Ex1_Luc04b_C.trs	STOP 51.97		STOP 74.45
TRS/TRCSR/Ex1_Luc04b_FR.trs	STOP 1.121		STOP 1.977
TRS/TRCSR/Ex1_Luc04b_GM.trs	STOP 15.81		YES 6.607 xml	coq
TRS/TRCSR/Ex1_Luc04b_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex1_Luc04b_Z.trs	STOP 0.031		STOP 0.035
TRS/TRCSR/Ex1_Luc04b_iGM.trs	STOP 74.35		STOP 77.06
TRS/TRCSR/Ex1_Zan97_C.trs	YES 0.889 xml	coq	YES 0.719 xml	coq
TRS/TRCSR/Ex1_Zan97_FR.trs	STOP 0.120		STOP 0.253
TRS/TRCSR/Ex1_Zan97_GM.trs	YES 0.025 xml	coq	YES 0.022 xml	coq
TRS/TRCSR/Ex1_Zan97_L.trs	STOP 0.022		STOP 0.044
TRS/TRCSR/Ex1_Zan97_Z.trs	STOP 0.134		STOP 0.244
TRS/TRCSR/Ex1_Zan97_iGM.trs	YES 0.667 xml	coq	YES 0.544 xml	coq
TRS/TRCSR/Ex23_Luc06_C.trs	YES 0.889 xml	coq	YES 0.191 xml	coq
TRS/TRCSR/Ex23_Luc06_FR.trs	YES 0.041 xml	coq	YES 0.006 xml	coq
TRS/TRCSR/Ex23_Luc06_GM.trs	YES 0.040 xml	coq	YES 0.006 xml	coq
TRS/TRCSR/Ex23_Luc06_L.trs	YES 0.000 xml	coq	YES 0.000 xml	coq
TRS/TRCSR/Ex23_Luc06_Z.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/TRCSR/Ex23_Luc06_iGM.trs	YES 0.838 xml	coq	YES 0.270 xml	coq
TRS/TRCSR/Ex24_GM04_C.trs	STOP 50.63		STOP 101.2
TRS/TRCSR/Ex24_GM04_FR.trs	STOP 0.244		STOP 0.447
TRS/TRCSR/Ex24_GM04_GM.trs	STOP 0.136		STOP 0.219
TRS/TRCSR/Ex24_GM04_L.trs	STOP 0.010		STOP 0.009
TRS/TRCSR/Ex24_GM04_Z.trs	STOP 0.232		STOP 0.438
TRS/TRCSR/Ex24_GM04_iGM.trs	STOP 0.832		STOP 1.165
TRS/TRCSR/Ex24_Luc06_C.trs	YES 1.120 xml	coq	YES 0.876 xml	coq
TRS/TRCSR/Ex24_Luc06_FR.trs	STOP 0.120		STOP 0.220
TRS/TRCSR/Ex24_Luc06_GM.trs	STOP 0.170		STOP 0.298
TRS/TRCSR/Ex24_Luc06_L.trs	STOP 0.021		STOP 0.023
TRS/TRCSR/Ex24_Luc06_Z.trs	STOP 0.117		STOP 0.213
TRS/TRCSR/Ex24_Luc06_iGM.trs	STOP 11.36		STOP 19.75
TRS/TRCSR/Ex25_Luc06_C.trs	YES 1.230 xml	coq	YES 0.194 xml	coq
TRS/TRCSR/Ex25_Luc06_FR.trs	YES 0.051 xml	coq	YES 0.054 xml	coq
TRS/TRCSR/Ex25_Luc06_GM.trs	YES 0.036 xml	coq	YES 0.005 xml	coq
TRS/TRCSR/Ex25_Luc06_L.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/TRCSR/Ex25_Luc06_Z.trs	YES 0.045 xml	coq	YES 0.047 xml	coq
TRS/TRCSR/Ex25_Luc06_iGM.trs	YES 0.732 xml	coq	YES 0.417 xml	coq
TRS/TRCSR/Ex26_Luc03b_C.trs	YES 6.866 xml	coq	YES 0.526 xml	coq
TRS/TRCSR/Ex26_Luc03b_FR.trs	STOP 30.26		STOP 56.02
TRS/TRCSR/Ex26_Luc03b_GM.trs	YES 0.436 xml	coq	YES 0.138 xml	coq
TRS/TRCSR/Ex26_Luc03b_L.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/TRCSR/Ex26_Luc03b_Z.trs	STOP 76.76		STOP 153.0
TRS/TRCSR/Ex26_Luc03b_iGM.trs	YES 5.684 xml	coq	YES 4.075 xml	coq
TRS/TRCSR/Ex2_Luc02a_C.trs	YES 7.658 xml	coq	YES 0.873 xml	coq
TRS/TRCSR/Ex2_Luc02a_FR.trs	YES 0.497 xml	coq	YES 0.108 xml	coq
TRS/TRCSR/Ex2_Luc02a_GM.trs	YES 0.618 xml	coq	YES 0.534 xml	coq
TRS/TRCSR/Ex2_Luc02a_L.trs	YES 0.129 xml	coq	YES 0.010 xml	coq
TRS/TRCSR/Ex2_Luc02a_Z.trs	YES 0.295 xml	coq	YES 0.013 xml	coq
TRS/TRCSR/Ex2_Luc02a_iGM.trs	YES 3.819 xml	coq	YES 1.060 xml	coq
TRS/TRCSR/Ex2_Luc03b_C.trs	YES 3.747 xml	coq	YES 0.365 xml	coq
TRS/TRCSR/Ex2_Luc03b_FR.trs	YES 0.281 xml	coq	YES 0.196 xml	coq
TRS/TRCSR/Ex2_Luc03b_GM.trs	YES 0.168 xml	coq	YES 0.102 xml	coq
TRS/TRCSR/Ex2_Luc03b_L.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/TRCSR/Ex2_Luc03b_Z.trs	YES 0.086 xml	coq	YES 0.090 xml	coq
TRS/TRCSR/Ex2_Luc03b_iGM.trs	YES 3.950 xml	coq	YES 1.508 xml	coq
TRS/TRCSR/Ex3_12_Luc96a_C.trs	STOP 48.62		STOP 51.24
TRS/TRCSR/Ex3_12_Luc96a_FR.trs	YES 0.055 xml	coq	YES 0.008 xml	coq
TRS/TRCSR/Ex3_12_Luc96a_GM.trs	STOP 2.189		STOP 2.752
TRS/TRCSR/Ex3_12_Luc96a_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex3_12_Luc96a_Z.trs	YES 0.031 xml	coq	YES 0.005 xml	coq
TRS/TRCSR/Ex3_12_Luc96a_iGM.trs	STOP 51.11		STOP 54.34
TRS/TRCSR/Ex3_2_Luc97_C.trs	STOP 56.07		STOP 83.91
TRS/TRCSR/Ex3_2_Luc97_FR.trs	STOP 197.2		STOP 200.7
TRS/TRCSR/Ex3_2_Luc97_GM.trs	STOP 41.73		STOP 43.92
TRS/TRCSR/Ex3_2_Luc97_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex3_2_Luc97_Z.trs	STOP 47.38		STOP 56.69
TRS/TRCSR/Ex3_2_Luc97_iGM.trs	STOP 22.98		STOP 91.45
TRS/TRCSR/Ex3_3_25_Bor03_C.trs	YES 4.586 xml	coq	YES 0.459 xml	coq
TRS/TRCSR/Ex3_3_25_Bor03_FR.trs	STOP 21.67		STOP 24.53
TRS/TRCSR/Ex3_3_25_Bor03_GM.trs	YES 0.243 xml	coq	YES 0.172 xml	coq
TRS/TRCSR/Ex3_3_25_Bor03_L.trs	YES 0.001 xml	coq	YES 0.002 xml	coq
TRS/TRCSR/Ex3_3_25_Bor03_Z.trs	STOP 0.123		STOP 0.129
TRS/TRCSR/Ex3_3_25_Bor03_iGM.trs	YES 3.069 xml	coq	YES 1.495 xml	coq
TRS/TRCSR/Ex49_GM04_C.trs	YES 7.126 xml	coq	YES 4.196 xml	coq
TRS/TRCSR/Ex49_GM04_FR.trs	STOP 103.1		STOP 177.9
TRS/TRCSR/Ex49_GM04_GM.trs	YES 0.399 xml	coq	YES 0.247 xml	coq
TRS/TRCSR/Ex49_GM04_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex49_GM04_Z.trs	YES 0.267 xml	coq	YES 0.262 xml	coq
TRS/TRCSR/Ex49_GM04_iGM.trs	YES 2.699 xml	coq	YES 1.755 xml	coq
TRS/TRCSR/Ex4_4_Luc96b_C.trs	YES 0.423 xml	coq	YES 0.074 xml	coq
TRS/TRCSR/Ex4_4_Luc96b_FR.trs	STOP 0.550		STOP 1.293
TRS/TRCSR/Ex4_4_Luc96b_GM.trs	YES 0.039 xml	coq	YES 0.042 xml	coq
TRS/TRCSR/Ex4_4_Luc96b_L.trs	YES 0.006 xml	coq	YES 0.003 xml	coq
TRS/TRCSR/Ex4_4_Luc96b_Z.trs	STOP 0.455		STOP 0.924
TRS/TRCSR/Ex4_4_Luc96b_iGM.trs	YES 0.345 xml	coq	YES 0.167 xml	coq
TRS/TRCSR/Ex4_7_15_Bor03_C.trs	YES 5.444 xml	coq	YES 4.081 xml	coq
TRS/TRCSR/Ex4_7_15_Bor03_FR.trs	YES 0.084 xml	coq	YES 0.054 xml	coq
TRS/TRCSR/Ex4_7_15_Bor03_GM.trs	YES 0.172 xml	coq	YES 0.054 xml	coq
TRS/TRCSR/Ex4_7_15_Bor03_L.trs	YES 0.030 xml	coq	YES 0.030 xml	coq
TRS/TRCSR/Ex4_7_15_Bor03_Z.trs	YES 0.041 xml	coq	YES 0.041 xml	coq
TRS/TRCSR/Ex4_7_15_Bor03_iGM.trs	YES 1.560 xml	coq	YES 1.315 xml	coq
TRS/TRCSR/Ex4_7_37_Bor03_C.trs	STOP 54.16		STOP 107.3
TRS/TRCSR/Ex4_7_37_Bor03_FR.trs	STOP 2.510		STOP 7.864
TRS/TRCSR/Ex4_7_37_Bor03_GM.trs	STOP 36.68		STOP 47.77
TRS/TRCSR/Ex4_7_37_Bor03_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex4_7_37_Bor03_Z.trs	STOP 16.00		STOP 25.33
TRS/TRCSR/Ex4_7_37_Bor03_iGM.trs	STOP 53.12		STOP 115.5
TRS/TRCSR/Ex4_7_56_Bor03_C.trs	STOP 32.89		STOP 49.33
TRS/TRCSR/Ex4_7_56_Bor03_FR.trs	YES 0.093 xml	coq	YES 0.007 xml	coq
TRS/TRCSR/Ex4_7_56_Bor03_GM.trs	STOP 2.455		STOP 2.802
TRS/TRCSR/Ex4_7_56_Bor03_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex4_7_56_Bor03_Z.trs	YES 0.026 xml	coq	YES 0.004 xml	coq
TRS/TRCSR/Ex4_7_56_Bor03_iGM.trs	STOP 52.65		STOP 54.42
TRS/TRCSR/Ex4_7_77_Bor03_C.trs	YES 1.928 xml	coq	YES 1.226 xml	coq
TRS/TRCSR/Ex4_7_77_Bor03_FR.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/TRCSR/Ex4_7_77_Bor03_GM.trs	YES 0.029 xml	coq	YES 0.031 xml	coq
TRS/TRCSR/Ex4_7_77_Bor03_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex4_7_77_Bor03_Z.trs	YES 0.001 xml	coq	YES 0.002 xml	coq
TRS/TRCSR/Ex4_7_77_Bor03_iGM.trs	YES 1.385 xml	coq	YES 0.755 xml	coq
TRS/TRCSR/Ex4_DLMMU04_C.trs	STOP 75.30		STOP 138.6
TRS/TRCSR/Ex4_DLMMU04_FR.trs	STOP 30.92		STOP 60.78
TRS/TRCSR/Ex4_DLMMU04_GM.trs	STOP 168.4		STOP 172.0
TRS/TRCSR/Ex4_DLMMU04_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex4_DLMMU04_Z.trs	STOP 63.44		STOP 95.43
TRS/TRCSR/Ex4_DLMMU04_iGM.trs	STOP 61.21		STOP 218.2
TRS/TRCSR/Ex4_Zan97_C.trs	STOP 52.51		STOP 72.72
TRS/TRCSR/Ex4_Zan97_FR.trs	YES 0.122 xml	coq	YES 0.011 xml	coq
TRS/TRCSR/Ex4_Zan97_GM.trs	STOP 6.966		STOP 9.178
TRS/TRCSR/Ex4_Zan97_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex4_Zan97_Z.trs	YES 0.073 xml	coq	YES 0.008 xml	coq
TRS/TRCSR/Ex4_Zan97_iGM.trs	STOP 51.59		STOP 57.43
TRS/TRCSR/Ex5_7_Luc97_C.trs	STOP 78.40		STOP 156.4
TRS/TRCSR/Ex5_7_Luc97_FR.trs	STOP 28.32		STOP 56.76
TRS/TRCSR/Ex5_7_Luc97_GM.trs	STOP 27.98		STOP 55.19
TRS/TRCSR/Ex5_7_Luc97_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex5_7_Luc97_Z.trs	STOP 28.84		STOP 58.22
TRS/TRCSR/Ex5_7_Luc97_iGM.trs	STOP 56.59		T/O
TRS/TRCSR/Ex5_DLMMU04_C.trs	STOP 58.15		STOP 112.0
TRS/TRCSR/Ex5_DLMMU04_FR.trs	STOP 34.79		STOP 40.42
TRS/TRCSR/Ex5_DLMMU04_GM.trs	STOP 24.09		STOP 26.99
TRS/TRCSR/Ex5_DLMMU04_L.trs	STOP 0.001		STOP 0.000
TRS/TRCSR/Ex5_DLMMU04_Z.trs	STOP 10.28		STOP 16.88
TRS/TRCSR/Ex5_DLMMU04_iGM.trs	STOP 146.1		STOP 167.6
TRS/TRCSR/Ex5_Zan97_C.trs	STOP 22.88		STOP 27.82
TRS/TRCSR/Ex5_Zan97_FR.trs	YES 0.048 xml	coq	YES 0.034 xml	coq
TRS/TRCSR/Ex5_Zan97_GM.trs	YES 0.328 xml	coq	YES 0.348 xml	coq
TRS/TRCSR/Ex5_Zan97_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex5_Zan97_Z.trs	YES 0.029 xml	coq	YES 0.030 xml	coq
TRS/TRCSR/Ex5_Zan97_iGM.trs	STOP 19.72		YES 1.088 xml	coq
TRS/TRCSR/Ex6_15_AEL02_C.trs	STOP 79.21		STOP 157.9
TRS/TRCSR/Ex6_15_AEL02_FR.trs	STOP 26.52		STOP 52.82
TRS/TRCSR/Ex6_15_AEL02_GM.trs	STOP 31.73		STOP 60.04
TRS/TRCSR/Ex6_15_AEL02_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex6_15_AEL02_Z.trs	STOP 26.37		STOP 52.58
TRS/TRCSR/Ex6_15_AEL02_iGM.trs	STOP 65.60		STOP 298.7
TRS/TRCSR/Ex6_9_Luc02c_C.trs	YES 2.395 xml	coq	YES 0.227 xml	coq
TRS/TRCSR/Ex6_9_Luc02c_FR.trs	YES 0.605 xml	coq	YES 0.004 xml	coq
TRS/TRCSR/Ex6_9_Luc02c_GM.trs	YES 3.458 xml	coq	YES 1.709 xml	coq
TRS/TRCSR/Ex6_9_Luc02c_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex6_9_Luc02c_Z.trs	YES 0.002 xml	coq	YES 0.001 xml	coq
TRS/TRCSR/Ex6_9_Luc02c_iGM.trs	STOP 51.43		YES 13.99 xml	coq
TRS/TRCSR/Ex6_GM04_C.trs	YES 0.242 xml	coq	YES 0.092 xml	coq
TRS/TRCSR/Ex6_GM04_FR.trs	STOP 0.253		STOP 0.425
TRS/TRCSR/Ex6_GM04_GM.trs	YES 0.002 xml	coq	YES 0.001 xml	coq
TRS/TRCSR/Ex6_GM04_L.trs	YES 0.000 xml	coq	YES 0.000 xml	coq
TRS/TRCSR/Ex6_GM04_Z.trs	STOP 0.250		STOP 0.429
TRS/TRCSR/Ex6_GM04_iGM.trs	YES 0.249 xml	coq	YES 0.110 xml	coq
TRS/TRCSR/Ex6_Luc98_C.trs	YES 1.803 xml	coq	YES 0.264 xml	coq
TRS/TRCSR/Ex6_Luc98_FR.trs	YES 0.108 xml	coq	YES 0.058 xml	coq
TRS/TRCSR/Ex6_Luc98_GM.trs	YES 0.071 xml	coq	YES 0.070 xml	coq
TRS/TRCSR/Ex6_Luc98_L.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/TRCSR/Ex6_Luc98_Z.trs	YES 0.039 xml	coq	YES 0.004 xml	coq
TRS/TRCSR/Ex6_Luc98_iGM.trs	YES 1.288 xml	coq	YES 0.625 xml	coq
TRS/TRCSR/Ex7_BLR02_C.trs	STOP 54.27		STOP 73.53
TRS/TRCSR/Ex7_BLR02_FR.trs	STOP 2.346		STOP 5.142
TRS/TRCSR/Ex7_BLR02_GM.trs	STOP 118.5		STOP 120.5
TRS/TRCSR/Ex7_BLR02_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex7_BLR02_Z.trs	YES 0.111 xml	coq	YES 0.007 xml	coq
TRS/TRCSR/Ex7_BLR02_iGM.trs	STOP 51.93		STOP 61.24
TRS/TRCSR/Ex8_BLR02_C.trs	STOP 53.60		STOP 105.2
TRS/TRCSR/Ex8_BLR02_FR.trs	YES 0.174 xml	coq	YES 0.010 xml	coq
TRS/TRCSR/Ex8_BLR02_GM.trs	STOP 40.43		STOP 41.27
TRS/TRCSR/Ex8_BLR02_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/Ex8_BLR02_Z.trs	YES 0.093 xml	coq	YES 0.007 xml	coq
TRS/TRCSR/Ex8_BLR02_iGM.trs	STOP 53.34		STOP 67.31
TRS/TRCSR/Ex9_BLR02_C.trs	YES 4.501 xml	coq	YES 0.493 xml	coq
TRS/TRCSR/Ex9_BLR02_FR.trs	STOP 6.041		STOP 9.040
TRS/TRCSR/Ex9_BLR02_GM.trs	YES 0.546 xml	coq	YES 0.313 xml	coq
TRS/TRCSR/Ex9_BLR02_L.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/TRCSR/Ex9_BLR02_Z.trs	YES 0.238 xml	coq	YES 0.135 xml	coq
TRS/TRCSR/Ex9_BLR02_iGM.trs	YES 3.497 xml	coq	YES 2.111 xml	coq
TRS/TRCSR/Ex9_Luc04_C.trs	STOP 18.73		STOP 23.54
TRS/TRCSR/Ex9_Luc04_FR.trs	STOP 0.055		STOP 0.092
TRS/TRCSR/Ex9_Luc04_GM.trs	STOP 0.397		STOP 0.752
TRS/TRCSR/Ex9_Luc04_L.trs	STOP 0.020		STOP 0.034
TRS/TRCSR/Ex9_Luc04_Z.trs	STOP 0.045		STOP 0.089
TRS/TRCSR/Ex9_Luc04_iGM.trs	STOP 0.795		STOP 1.606
TRS/TRCSR/Ex9_Luc06_C.trs	YES 0.910 xml	coq	YES 0.779 xml	coq
TRS/TRCSR/Ex9_Luc06_FR.trs	STOP 0.167		STOP 0.339
TRS/TRCSR/Ex9_Luc06_GM.trs	YES 0.041 xml	coq	YES 0.026 xml	coq
TRS/TRCSR/Ex9_Luc06_L.trs	STOP 0.017		STOP 0.018
TRS/TRCSR/Ex9_Luc06_Z.trs	STOP 0.166		STOP 0.340
TRS/TRCSR/Ex9_Luc06_iGM.trs	YES 0.926 xml	coq	YES 0.941 xml	coq
TRS/TRCSR/ExAppendixB_AEL03_C.trs	STOP 96.98		STOP 165.2
TRS/TRCSR/ExAppendixB_AEL03_FR.trs	STOP 40.57		YES 0.018 xml	coq
TRS/TRCSR/ExAppendixB_AEL03_GM.trs	STOP 34.34		STOP 66.86
TRS/TRCSR/ExAppendixB_AEL03_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/ExAppendixB_AEL03_Z.trs	STOP 36.39		YES 0.014 xml	coq
TRS/TRCSR/ExAppendixB_AEL03_iGM.trs	STOP 79.71		T/O
TRS/TRCSR/ExConc_Zan97_C.trs	YES 0.518 xml	coq	YES 0.118 xml	coq
TRS/TRCSR/ExConc_Zan97_FR.trs	YES 0.044 xml	coq	YES 0.004 xml	coq
TRS/TRCSR/ExConc_Zan97_GM.trs	YES 0.021 xml	coq	YES 0.004 xml	coq
TRS/TRCSR/ExConc_Zan97_L.trs	YES 0.000 xml	coq	YES 0.000 xml	coq
TRS/TRCSR/ExConc_Zan97_Z.trs	STOP 0.013		STOP 0.017
TRS/TRCSR/ExConc_Zan97_iGM.trs	YES 0.206 xml	coq	YES 0.082 xml	coq
TRS/TRCSR/ExIntrod_GM01_C.trs	STOP 56.48		STOP 80.12
TRS/TRCSR/ExIntrod_GM01_FR.trs	STOP 10.08		STOP 21.72
TRS/TRCSR/ExIntrod_GM01_GM.trs	STOP 21.54		YES 11.68 xml	coq
TRS/TRCSR/ExIntrod_GM01_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/ExIntrod_GM01_Z.trs	STOP 54.13		STOP 76.58
TRS/TRCSR/ExIntrod_GM01_iGM.trs	STOP 78.23		STOP 114.2
TRS/TRCSR/ExIntrod_GM04_C.trs	STOP 52.71		STOP 103.7
TRS/TRCSR/ExIntrod_GM04_FR.trs	STOP 41.18		STOP 52.44
TRS/TRCSR/ExIntrod_GM04_GM.trs	YES 0.226 xml	coq	YES 0.150 xml	coq
TRS/TRCSR/ExIntrod_GM04_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/ExIntrod_GM04_Z.trs	STOP 79.96		STOP 100.1
TRS/TRCSR/ExIntrod_GM04_iGM.trs	STOP 60.77		STOP 113.9
TRS/TRCSR/ExIntrod_GM99_C.trs	STOP 83.54		STOP 156.0
TRS/TRCSR/ExIntrod_GM99_FR.trs	STOP 187.8		STOP 233.0
TRS/TRCSR/ExIntrod_GM99_GM.trs	STOP 101.1		STOP 132.3
TRS/TRCSR/ExIntrod_GM99_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/ExIntrod_GM99_Z.trs	STOP 141.0		STOP 180.4
TRS/TRCSR/ExIntrod_GM99_iGM.trs	STOP 82.73		STOP 184.2
TRS/TRCSR/ExIntrod_Zan97_C.trs	STOP 59.03		STOP 95.00
TRS/TRCSR/ExIntrod_Zan97_FR.trs	STOP 14.43		STOP 17.36
TRS/TRCSR/ExIntrod_Zan97_GM.trs	STOP 275.3		STOP 287.1
TRS/TRCSR/ExIntrod_Zan97_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/ExIntrod_Zan97_Z.trs	STOP 0.909		STOP 0.955
TRS/TRCSR/ExIntrod_Zan97_iGM.trs	STOP 39.61		STOP 41.29
TRS/TRCSR/ExProp7_Luc06_C.trs	YES 8.898 xml	coq	YES 11.02 xml	coq
TRS/TRCSR/ExProp7_Luc06_FR.trs	YES 0.861 xml	coq	YES 0.839 xml	coq
TRS/TRCSR/ExProp7_Luc06_GM.trs	YES 0.986 xml	coq	YES 1.071 xml	coq
TRS/TRCSR/ExProp7_Luc06_L.trs	YES 0.428 xml	coq	YES 0.472 xml	coq
TRS/TRCSR/ExProp7_Luc06_Z.trs	YES 0.636 xml	coq	YES 0.679 xml	coq
TRS/TRCSR/ExProp7_Luc06_iGM.trs	YES 7.375 xml	coq	YES 5.745 xml	coq
TRS/TRCSR/ExSec11_1_Luc02a_C.trs	YES 9.855 xml	coq	YES 0.649 xml	coq
TRS/TRCSR/ExSec11_1_Luc02a_FR.trs	YES 0.876 xml	coq	YES 0.132 xml	coq
TRS/TRCSR/ExSec11_1_Luc02a_GM.trs	YES 19.01 xml	coq	YES 18.69 xml	coq
TRS/TRCSR/ExSec11_1_Luc02a_L.trs	YES 0.208 xml	coq	YES 0.010 xml	coq
TRS/TRCSR/ExSec11_1_Luc02a_Z.trs	YES 0.678 xml	coq	YES 0.015 xml	coq
TRS/TRCSR/ExSec11_1_Luc02a_iGM.trs	YES 6.013 xml	coq	YES 1.645 xml	coq
TRS/TRCSR/ExSec4_2_DLMMU04_C.trs	STOP 67.20		STOP 122.9
TRS/TRCSR/ExSec4_2_DLMMU04_FR.trs	YES 0.497 xml	coq	YES 0.010 xml	coq
TRS/TRCSR/ExSec4_2_DLMMU04_GM.trs	STOP 33.27		STOP 40.03
TRS/TRCSR/ExSec4_2_DLMMU04_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/ExSec4_2_DLMMU04_Z.trs	YES 0.074 xml	coq	YES 0.007 xml	coq
TRS/TRCSR/ExSec4_2_DLMMU04_iGM.trs	STOP 54.36		STOP 174.9
TRS/TRCSR/LISTUTILITIES_complete-noand_FR.trs	STOP 148.8		STOP 242.1
TRS/TRCSR/LISTUTILITIES_complete-noand_L.trs	STOP 0.003		STOP 0.002
TRS/TRCSR/LISTUTILITIES_complete-noand_Z.trs	STOP 139.9		STOP 233.5
TRS/TRCSR/LISTUTILITIES_complete_C.trs	STOP 109.6		STOP 224.7
TRS/TRCSR/LISTUTILITIES_complete_FR.trs	STOP 118.5		STOP 226.9
TRS/TRCSR/LISTUTILITIES_complete_GM.trs	STOP 149.3		STOP 290.5
TRS/TRCSR/LISTUTILITIES_complete_L.trs	STOP 0.001		STOP 0.001
TRS/TRCSR/LISTUTILITIES_complete_Z.trs	STOP 111.3		STOP 218.3
TRS/TRCSR/LISTUTILITIES_complete_iGM.trs	STOP 121.0		STOP 212.0
TRS/TRCSR/LISTUTILITIES_complete_noand_C.trs	STOP 166.5		T/O
TRS/TRCSR/LISTUTILITIES_complete_noand_GM.trs	STOP 120.2		STOP 183.2
TRS/TRCSR/LISTUTILITIES_complete_noand_iGM.trs	STOP 166.2		T/O
TRS/TRCSR/LISTUTILITIES_nokinds-noand_FR.trs	STOP 52.79		STOP 98.53
TRS/TRCSR/LISTUTILITIES_nokinds-noand_L.trs	STOP 0.001		STOP 0.001
TRS/TRCSR/LISTUTILITIES_nokinds-noand_Z.trs	STOP 55.26		STOP 96.38
TRS/TRCSR/LISTUTILITIES_nokinds_C.trs	STOP 93.63		STOP 184.9
TRS/TRCSR/LISTUTILITIES_nokinds_FR.trs	STOP 114.2		STOP 174.6
TRS/TRCSR/LISTUTILITIES_nokinds_GM.trs	STOP 105.0		STOP 152.0
TRS/TRCSR/LISTUTILITIES_nokinds_L.trs	STOP 0.001		STOP 0.001
TRS/TRCSR/LISTUTILITIES_nokinds_Z.trs	STOP 107.5		STOP 165.6
TRS/TRCSR/LISTUTILITIES_nokinds_iGM.trs	STOP 93.47		STOP 227.0
TRS/TRCSR/LISTUTILITIES_nokinds_noand_C.trs	STOP 96.75		STOP 192.3
TRS/TRCSR/LISTUTILITIES_nokinds_noand_GM.trs	STOP 71.79		STOP 118.2
TRS/TRCSR/LISTUTILITIES_nokinds_noand_iGM.trs	STOP 96.00		STOP 223.6
TRS/TRCSR/LISTUTILITIES_nosorts-noand_FR.trs	STOP 28.45		STOP 56.39
TRS/TRCSR/LISTUTILITIES_nosorts-noand_L.trs	STOP 0.001		STOP 0.000
TRS/TRCSR/LISTUTILITIES_nosorts-noand_Z.trs	STOP 29.48		STOP 58.24
TRS/TRCSR/LISTUTILITIES_nosorts_C.trs	STOP 79.20		STOP 157.7
TRS/TRCSR/LISTUTILITIES_nosorts_FR.trs	STOP 27.04		STOP 54.68
TRS/TRCSR/LISTUTILITIES_nosorts_GM.trs	STOP 35.59		STOP 63.35
TRS/TRCSR/LISTUTILITIES_nosorts_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/LISTUTILITIES_nosorts_Z.trs	STOP 27.23		STOP 56.78
TRS/TRCSR/LISTUTILITIES_nosorts_iGM.trs	STOP 106.4		T/O
TRS/TRCSR/LISTUTILITIES_nosorts_noand_C.trs	STOP 85.98		STOP 169.0
TRS/TRCSR/LISTUTILITIES_nosorts_noand_GM.trs	STOP 52.01		STOP 83.54
TRS/TRCSR/LISTUTILITIES_nosorts_noand_iGM.trs	STOP 84.86		STOP 117.6
TRS/TRCSR/LengthOfFiniteLists_complete-noand_FR.trs	STOP 83.72		STOP 145.4
TRS/TRCSR/LengthOfFiniteLists_complete-noand_L.trs	STOP 0.001		STOP 0.001
TRS/TRCSR/LengthOfFiniteLists_complete-noand_Z.trs	STOP 84.76		STOP 166.2
TRS/TRCSR/LengthOfFiniteLists_complete_C.trs	STOP 89.53		STOP 178.2
TRS/TRCSR/LengthOfFiniteLists_complete_FR.trs	STOP 101.4		STOP 204.3
TRS/TRCSR/LengthOfFiniteLists_complete_GM.trs	YES 7.490 xml	coq	YES 6.045 xml	coq
TRS/TRCSR/LengthOfFiniteLists_complete_L.trs	STOP 0.001		STOP 0.000
TRS/TRCSR/LengthOfFiniteLists_complete_Z.trs	STOP 102.7		STOP 204.4
TRS/TRCSR/LengthOfFiniteLists_complete_iGM.trs	STOP 146.7		STOP 243.8
TRS/TRCSR/LengthOfFiniteLists_complete_noand_C.trs	STOP 87.13		STOP 173.7
TRS/TRCSR/LengthOfFiniteLists_complete_noand_GM.trs	YES 12.47 xml	coq	YES 3.164 xml	coq
TRS/TRCSR/LengthOfFiniteLists_complete_noand_iGM.trs	T/O		T/O
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_FR.trs	STOP 27.13		STOP 54.56
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_Z.trs	STOP 27.22		STOP 53.83
TRS/TRCSR/LengthOfFiniteLists_nokinds_C.trs	STOP 60.97		STOP 115.6
TRS/TRCSR/LengthOfFiniteLists_nokinds_FR.trs	STOP 134.1		STOP 169.3
TRS/TRCSR/LengthOfFiniteLists_nokinds_GM.trs	YES 1.202 xml	coq	YES 0.948 xml	coq
TRS/TRCSR/LengthOfFiniteLists_nokinds_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/LengthOfFiniteLists_nokinds_Z.trs	STOP 129.0		STOP 160.5
TRS/TRCSR/LengthOfFiniteLists_nokinds_iGM.trs	STOP 96.39		STOP 153.1
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_C.trs	STOP 78.37		STOP 156.3
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_GM.trs	YES 2.210 xml	coq	YES 0.752 xml	coq
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_iGM.trs	YES 173.3 xml	coq	YES 170.8 xml	coq
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR.trs	STOP 4.780		STOP 6.696
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_Z.trs	STOP 4.764		STOP 6.631
TRS/TRCSR/LengthOfFiniteLists_nosorts_C.trs	STOP 51.09		STOP 84.10
TRS/TRCSR/LengthOfFiniteLists_nosorts_FR.trs	STOP 0.204		STOP 0.350
TRS/TRCSR/LengthOfFiniteLists_nosorts_GM.trs	STOP 0.515		STOP 0.832
TRS/TRCSR/LengthOfFiniteLists_nosorts_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/LengthOfFiniteLists_nosorts_Z.trs	STOP 0.194		STOP 0.371
TRS/TRCSR/LengthOfFiniteLists_nosorts_iGM.trs	STOP 52.08		STOP 73.14
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_C.trs	STOP 51.69		STOP 102.8
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_GM.trs	STOP 19.06		STOP 27.40
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_iGM.trs	STOP 54.70		STOP 106.0
TRS/TRCSR/MYNAT_complete-noand_FR.trs	YES 230.8 xml	coq	YES 177.7 xml	coq
TRS/TRCSR/MYNAT_complete-noand_L.trs	STOP 0.001		STOP 0.001
TRS/TRCSR/MYNAT_complete-noand_Z.trs	YES 145.1 xml	coq	YES 145.0 xml	coq
TRS/TRCSR/MYNAT_complete_C.trs	STOP 99.20		STOP 195.5
TRS/TRCSR/MYNAT_complete_FR.trs	STOP 117.0		STOP 185.2
TRS/TRCSR/MYNAT_complete_GM.trs	STOP 113.5		STOP 165.5
TRS/TRCSR/MYNAT_complete_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/MYNAT_complete_Z.trs	STOP 114.4		STOP 185.5
TRS/TRCSR/MYNAT_complete_iGM.trs	STOP 97.78		T/O
TRS/TRCSR/MYNAT_complete_noand_C.trs	STOP 89.98		STOP 178.8
TRS/TRCSR/MYNAT_complete_noand_GM.trs	T/O		T/O
TRS/TRCSR/MYNAT_complete_noand_iGM.trs	STOP 87.76		T/O
TRS/TRCSR/MYNAT_nokinds-noand_FR.trs	YES 180.4 xml	coq	YES 129.1 xml	coq
TRS/TRCSR/MYNAT_nokinds-noand_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/MYNAT_nokinds-noand_Z.trs	YES 128.8 xml	coq	YES 128.9 xml	coq
TRS/TRCSR/MYNAT_nokinds_C.trs	STOP 60.60		STOP 116.8
TRS/TRCSR/MYNAT_nokinds_FR.trs	YES 233.3 xml	coq	YES 215.7 xml	coq
TRS/TRCSR/MYNAT_nokinds_GM.trs	T/O		YES 232.3 xml	coq
TRS/TRCSR/MYNAT_nokinds_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/MYNAT_nokinds_Z.trs	YES 186.9 xml	coq	YES 190.0 xml	coq
TRS/TRCSR/MYNAT_nokinds_iGM.trs	STOP 54.64		YES 264.1 xml	coq
TRS/TRCSR/MYNAT_nokinds_noand_C.trs	STOP 78.91		STOP 157.8
TRS/TRCSR/MYNAT_nokinds_noand_GM.trs	T/O		YES 129.1 xml	coq
TRS/TRCSR/MYNAT_nokinds_noand_iGM.trs	STOP 78.96		T/O
TRS/TRCSR/MYNAT_nosorts-noand_FR.trs	YES 44.47 xml	coq	YES 42.04 xml	coq
TRS/TRCSR/MYNAT_nosorts-noand_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/MYNAT_nosorts-noand_Z.trs	YES 42.62 xml	coq	YES 42.37 xml	coq
TRS/TRCSR/MYNAT_nosorts_C.trs	YES 2.098 xml	coq	YES 0.300 xml	coq
TRS/TRCSR/MYNAT_nosorts_FR.trs	YES 0.030 xml	coq	YES 0.007 xml	coq
TRS/TRCSR/MYNAT_nosorts_GM.trs	YES 0.191 xml	coq	YES 0.191 xml	coq
TRS/TRCSR/MYNAT_nosorts_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/MYNAT_nosorts_Z.trs	YES 0.032 xml	coq	YES 0.006 xml	coq
TRS/TRCSR/MYNAT_nosorts_iGM.trs	STOP 33.07		YES 0.409 xml	coq
TRS/TRCSR/MYNAT_nosorts_noand_C.trs	STOP 48.86		STOP 72.10
TRS/TRCSR/MYNAT_nosorts_noand_GM.trs	T/O		T/O
TRS/TRCSR/MYNAT_nosorts_noand_iGM.trs	STOP 53.66		YES 43.08 xml	coq
TRS/TRCSR/OvConsOS_complete-noand_FR.trs	STOP 84.18		STOP 176.4
TRS/TRCSR/OvConsOS_complete-noand_L.trs	STOP 0.001		STOP 0.001
TRS/TRCSR/OvConsOS_complete-noand_Z.trs	STOP 96.72		STOP 188.5
TRS/TRCSR/OvConsOS_complete_C.trs	STOP 130.6		STOP 262.7
TRS/TRCSR/OvConsOS_complete_FR.trs	STOP 115.8		STOP 224.1
TRS/TRCSR/OvConsOS_complete_GM.trs	STOP 106.6		STOP 210.1
TRS/TRCSR/OvConsOS_complete_L.trs	STOP 0.001		STOP 0.001
TRS/TRCSR/OvConsOS_complete_Z.trs	STOP 112.7		STOP 220.6
TRS/TRCSR/OvConsOS_complete_iGM.trs	STOP 242.7		T/O
TRS/TRCSR/OvConsOS_complete_noand_C.trs	STOP 101.0		STOP 198.9
TRS/TRCSR/OvConsOS_complete_noand_GM.trs	YES 229.6 xml	coq	YES 5.142 xml	coq
TRS/TRCSR/OvConsOS_complete_noand_iGM.trs	T/O		T/O
TRS/TRCSR/OvConsOS_nokinds-noand_FR.trs	STOP 29.91		STOP 59.53
TRS/TRCSR/OvConsOS_nokinds-noand_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/OvConsOS_nokinds-noand_Z.trs	STOP 60.41		STOP 88.82
TRS/TRCSR/OvConsOS_nokinds_C.trs	STOP 71.26		STOP 134.1
TRS/TRCSR/OvConsOS_nokinds_FR.trs	STOP 238.6		STOP 283.1
TRS/TRCSR/OvConsOS_nokinds_GM.trs	STOP 81.17		STOP 162.7
TRS/TRCSR/OvConsOS_nokinds_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/OvConsOS_nokinds_Z.trs	STOP 174.3		STOP 218.8
TRS/TRCSR/OvConsOS_nokinds_iGM.trs	STOP 196.0		STOP 262.3
TRS/TRCSR/OvConsOS_nokinds_noand_C.trs	STOP 82.16		STOP 162.7
TRS/TRCSR/OvConsOS_nokinds_noand_GM.trs	YES 87.94 xml	coq	YES 1.319 xml	coq
TRS/TRCSR/OvConsOS_nokinds_noand_iGM.trs	T/O		T/O
TRS/TRCSR/OvConsOS_nosorts-noand_FR.trs	STOP 26.26		STOP 52.24
TRS/TRCSR/OvConsOS_nosorts-noand_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/OvConsOS_nosorts-noand_Z.trs	STOP 26.23		STOP 52.56
TRS/TRCSR/OvConsOS_nosorts_C.trs	STOP 51.78		STOP 92.88
TRS/TRCSR/OvConsOS_nosorts_FR.trs	STOP 0.460		STOP 0.847
TRS/TRCSR/OvConsOS_nosorts_GM.trs	STOP 0.845		STOP 1.461
TRS/TRCSR/OvConsOS_nosorts_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/OvConsOS_nosorts_Z.trs	STOP 0.411		STOP 0.823
TRS/TRCSR/OvConsOS_nosorts_iGM.trs	STOP 52.28		STOP 82.85
TRS/TRCSR/OvConsOS_nosorts_noand_C.trs	STOP 68.25		STOP 121.6
TRS/TRCSR/OvConsOS_nosorts_noand_GM.trs	STOP 26.09		STOP 52.27
TRS/TRCSR/OvConsOS_nosorts_noand_iGM.trs	STOP 86.11		STOP 153.6
TRS/TRCSR/PALINDROME_complete-noand_FR.trs	YES 2.880 xml	coq	YES 2.295 xml	coq
TRS/TRCSR/PALINDROME_complete-noand_L.trs	STOP 26.67		STOP 52.94
TRS/TRCSR/PALINDROME_complete-noand_Z.trs	YES 2.054 xml	coq	YES 1.841 xml	coq
TRS/TRCSR/PALINDROME_complete_C.trs	STOP 85.66		STOP 171.8
TRS/TRCSR/PALINDROME_complete_FR.trs	YES 2.224 xml	coq	YES 1.317 xml	coq
TRS/TRCSR/PALINDROME_complete_GM.trs	YES 10.16 xml	coq	YES 4.687 xml	coq
TRS/TRCSR/PALINDROME_complete_L.trs	STOP 0.000		STOP 0.001
TRS/TRCSR/PALINDROME_complete_Z.trs	YES 1.957 xml	coq	YES 1.275 xml	coq
TRS/TRCSR/PALINDROME_complete_iGM.trs	STOP 74.03		YES 44.27 xml	coq
TRS/TRCSR/PALINDROME_complete_noand_C.trs	STOP 91.26		STOP 179.6
TRS/TRCSR/PALINDROME_complete_noand_GM.trs	YES 26.02 xml	coq	YES 2.639 xml	coq
TRS/TRCSR/PALINDROME_complete_noand_iGM.trs	STOP 65.58		YES 148.4 xml	coq
TRS/TRCSR/PALINDROME_nokinds-noand_FR.trs	YES 0.707 xml	coq	YES 0.441 xml	coq
TRS/TRCSR/PALINDROME_nokinds-noand_L.trs	STOP 25.50		STOP 25.51
TRS/TRCSR/PALINDROME_nokinds-noand_Z.trs	YES 0.510 xml	coq	YES 0.329 xml	coq
TRS/TRCSR/PALINDROME_nokinds_C.trs	YES 4.409 xml	coq	YES 0.513 xml	coq
TRS/TRCSR/PALINDROME_nokinds_FR.trs	YES 0.305 xml	coq	YES 0.218 xml	coq
TRS/TRCSR/PALINDROME_nokinds_GM.trs	YES 0.680 xml	coq	YES 0.490 xml	coq
TRS/TRCSR/PALINDROME_nokinds_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/PALINDROME_nokinds_Z.trs	YES 0.309 xml	coq	YES 0.205 xml	coq
TRS/TRCSR/PALINDROME_nokinds_iGM.trs	STOP 10.35		YES 0.796 xml	coq
TRS/TRCSR/PALINDROME_nokinds_noand_C.trs	YES 21.46 xml	coq	YES 1.229 xml	coq
TRS/TRCSR/PALINDROME_nokinds_noand_GM.trs	YES 2.894 xml	coq	YES 0.503 xml	coq
TRS/TRCSR/PALINDROME_nokinds_noand_iGM.trs	STOP 41.27		YES 9.851 xml	coq
TRS/TRCSR/PALINDROME_nosorts-noand_FR.trs	YES 0.020 xml	coq	YES 0.005 xml	coq
TRS/TRCSR/PALINDROME_nosorts-noand_L.trs	YES 0.024 xml	coq	YES 0.005 xml	coq
TRS/TRCSR/PALINDROME_nosorts-noand_Z.trs	YES 0.023 xml	coq	YES 0.004 xml	coq
TRS/TRCSR/PALINDROME_nosorts_C.trs	YES 1.362 xml	coq	YES 0.204 xml	coq
TRS/TRCSR/PALINDROME_nosorts_FR.trs	YES 0.018 xml	coq	YES 0.004 xml	coq
TRS/TRCSR/PALINDROME_nosorts_GM.trs	YES 0.181 xml	coq	YES 0.164 xml	coq
TRS/TRCSR/PALINDROME_nosorts_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/PALINDROME_nosorts_Z.trs	YES 0.021 xml	coq	YES 0.004 xml	coq
TRS/TRCSR/PALINDROME_nosorts_iGM.trs	STOP 2.195		YES 0.167 xml	coq
TRS/TRCSR/PALINDROME_nosorts_noand_C.trs	YES 1.867 xml	coq	YES 0.241 xml	coq
TRS/TRCSR/PALINDROME_nosorts_noand_GM.trs	YES 0.128 xml	coq	YES 0.094 xml	coq
TRS/TRCSR/PALINDROME_nosorts_noand_iGM.trs	STOP 3.113		YES 0.846 xml	coq
TRS/TRCSR/PEANO_complete-noand_FR.trs	YES 2.439 xml	coq	YES 2.384 xml	coq
TRS/TRCSR/PEANO_complete-noand_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/PEANO_complete-noand_Z.trs	YES 0.501 xml	coq	YES 0.579 xml	coq
TRS/TRCSR/PEANO_complete_C.trs	STOP 111.4		STOP 187.3
TRS/TRCSR/PEANO_complete_FR.trs	YES 0.739 xml	coq	YES 0.556 xml	coq
TRS/TRCSR/PEANO_complete_GM.trs	YES 3.727 xml	coq	YES 2.535 xml	coq
TRS/TRCSR/PEANO_complete_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/PEANO_complete_Z.trs	YES 1.284 xml	coq	YES 1.586 xml	coq
TRS/TRCSR/PEANO_complete_iGM.trs	T/O		YES 11.80 xml	coq
TRS/TRCSR/PEANO_complete_noand_C.trs	STOP 81.40		STOP 163.4
TRS/TRCSR/PEANO_complete_noand_GM.trs	YES 6.074 xml	coq	YES 2.921 xml	coq
TRS/TRCSR/PEANO_complete_noand_iGM.trs	T/O		YES 38.28 xml	coq
TRS/TRCSR/PEANO_nokinds-noand_FR.trs	YES 0.181 xml	coq	YES 0.165 xml	coq
TRS/TRCSR/PEANO_nokinds-noand_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/PEANO_nokinds-noand_Z.trs	YES 0.175 xml	coq	YES 0.158 xml	coq
TRS/TRCSR/PEANO_nokinds_C.trs	STOP 53.56		STOP 98.17
TRS/TRCSR/PEANO_nokinds_FR.trs	YES 0.499 xml	coq	YES 0.627 xml	coq
TRS/TRCSR/PEANO_nokinds_GM.trs	YES 0.965 xml	coq	YES 0.963 xml	coq
TRS/TRCSR/PEANO_nokinds_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/PEANO_nokinds_Z.trs	YES 0.310 xml	coq	YES 0.302 xml	coq
TRS/TRCSR/PEANO_nokinds_iGM.trs	YES 35.10 xml	coq	YES 4.047 xml	coq
TRS/TRCSR/PEANO_nokinds_noand_C.trs	STOP 66.29		STOP 110.8
TRS/TRCSR/PEANO_nokinds_noand_GM.trs	YES 0.779 xml	coq	YES 0.188 xml	coq
TRS/TRCSR/PEANO_nokinds_noand_iGM.trs	YES 9.365 xml	coq	YES 5.502 xml	coq
TRS/TRCSR/PEANO_nosorts-noand_FR.trs	YES 0.046 xml	coq	YES 0.044 xml	coq
TRS/TRCSR/PEANO_nosorts-noand_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/PEANO_nosorts-noand_Z.trs	YES 0.082 xml	coq	YES 0.044 xml	coq
TRS/TRCSR/PEANO_nosorts_C.trs	YES 0.990 xml	coq	YES 0.192 xml	coq
TRS/TRCSR/PEANO_nosorts_FR.trs	YES 0.011 xml	coq	YES 0.004 xml	coq
TRS/TRCSR/PEANO_nosorts_GM.trs	YES 0.182 xml	coq	YES 0.115 xml	coq
TRS/TRCSR/PEANO_nosorts_L.trs	STOP 0.000		STOP 0.000
TRS/TRCSR/PEANO_nosorts_Z.trs	YES 0.010 xml	coq	YES 0.004 xml	coq
TRS/TRCSR/PEANO_nosorts_iGM.trs	YES 0.550 xml	coq	YES 0.149 xml	coq
TRS/TRCSR/PEANO_nosorts_noand_C.trs	YES 2.114 xml	coq	YES 0.287 xml	coq
TRS/TRCSR/PEANO_nosorts_noand_GM.trs	YES 0.148 xml	coq	YES 0.154 xml	coq
TRS/TRCSR/PEANO_nosorts_noand_iGM.trs	YES 0.914 xml	coq	YES 0.248 xml	coq
TRS/Thiemann/div_notCeTermin.trs	STOP 51.19		STOP 24.53
TRS/Thiemann/div_notTermin.trs	STOP 51.31		STOP 20.13
TRS/Thiemann/factorial1.trs	STOP 2.043		STOP 3.689
TRS/Thiemann/factorial2.trs	STOP 6.373		STOP 10.48
TRS/Thiemann/identity.trs	STOP 1.379		STOP 2.385
TRS/Thiemann/logarithm.trs	STOP 92.58		STOP 182.4
TRS/Thiemann/mapHard.trs	STOP 27.17		STOP 52.45
TRS/Thiemann/modulo.trs	STOP 4.009		STOP 6.112
TRS/Thiemann/nonterm.trs	STOP 51.90		STOP 104.8
TRS/Thiemann/quicksort.trs	STOP 51.82		STOP 94.97
TRS/Thiemann/quot.trs	STOP 2.500		STOP 5.889
TRS/Thiemann/sizeChange.trs	STOP 5.149		STOP 11.69
TRS/Thiemann/tower.trs	STOP 1.329		STOP 2.954
TRS/Thiemann/tower_sizeChange.trs	STOP 0.722		STOP 1.557
TRS/Waldmann/jwaprove1.trs	STOP 5.697		STOP 12.51
TRS/Waldmann/jwaprove2.trs	STOP 3.546		STOP 7.952
TRS/Waldmann/jwcime1.trs	YES 0.963 xml	coq	YES 0.473 xml	coq
TRS/Waldmann/jwcime2.trs	STOP 15.72		STOP 22.22
TRS/Waldmann/jwmatchb1.trs	STOP 9.309		STOP 14.40
TRS/Waldmann/jwmatchb2.trs	STOP 11.09		STOP 16.38
TRS/Waldmann/jwno1.trs	STOP 56.73		STOP 67.14
TRS/Waldmann/jwno2.trs	STOP 2.318		STOP 4.347
TRS/Waldmann/jwno3.trs	STOP 7.586		STOP 17.85
TRS/Waldmann/jwno4.trs	STOP 2.379		STOP 3.856
TRS/Waldmann/jwno5.trs	STOP 0.942		STOP 1.821
TRS/Waldmann/jwno6.trs	STOP 2.864		STOP 3.851
TRS/Waldmann/jwno7.trs	STOP 2.292		STOP 4.947
TRS/Waldmann/jwno8.trs	STOP 9.637		STOP 13.67
TRS/Waldmann/jwno9.trs	STOP 18.30		STOP 28.05
TRS/Waldmann/jwteparla1.trs	STOP 23.84		STOP 43.48
TRS/Waldmann/jwteparla2.trs	STOP 22.42		STOP 57.73
TRS/Waldmann/jwtpa1.trs	STOP 58.98		STOP 79.40
TRS/Waldmann/jwtpa2.trs	YES 5.049 xml	coq	YES 5.926 xml	coq
TRS/Waldmann/jwttt.trs	YES 10.38 xml	coq	YES 11.28 xml	coq
TRS/Zantema/jw01.trs	YES 0.735 xml	coq	YES 0.787 xml	coq
TRS/Zantema/jw02.trs	YES 1.027 xml	coq	YES 0.877 xml	coq
TRS/Zantema/jw03.trs	YES 1.177 xml	coq	YES 1.063 xml	coq
TRS/Zantema/jw04.trs	YES 1.104 xml	coq	YES 1.064 xml	coq
TRS/Zantema/jw05.trs	YES 0.896 xml	coq	YES 0.870 xml	coq
TRS/Zantema/jw06.trs	YES 0.782 xml	coq	YES 0.779 xml	coq
TRS/Zantema/jw07.trs	YES 7.108 xml	coq	YES 6.750 xml	coq
TRS/Zantema/jw08.trs	YES 8.686 xml	coq	YES 9.922 xml	coq
TRS/Zantema/jw09.trs	STOP 53.92		STOP 67.83
TRS/Zantema/jw11.trs	YES 4.435 xml	coq	YES 4.077 xml	coq
TRS/Zantema/jw12.trs	YES 4.238 xml	coq	YES 3.973 xml	coq
TRS/Zantema/jw13.trs	YES 2.081 xml	coq	YES 1.856 xml	coq
TRS/Zantema/jw14.trs	YES 1.978 xml	coq	YES 2.366 xml	coq
TRS/Zantema/jw15.trs	YES 9.157 xml	coq	YES 7.778 xml	coq
TRS/Zantema/jw16.trs	YES 4.457 xml	coq	YES 4.862 xml	coq
TRS/Zantema/jw17.trs	YES 4.796 xml	coq	YES 4.256 xml	coq
TRS/Zantema/jw18.trs	YES 1.703 xml	coq	YES 1.453 xml	coq
TRS/Zantema/jw19.trs	YES 3.521 xml	coq	YES 3.101 xml	coq
TRS/Zantema/jw20.trs	YES 12.08 xml	coq	YES 10.93 xml	coq
TRS/Zantema/jw21.trs	YES 2.753 xml	coq	YES 2.712 xml	coq
TRS/Zantema/jw22.trs	YES 3.112 xml	coq	YES 2.701 xml	coq
TRS/Zantema/jw23.trs	YES 2.798 xml	coq	YES 2.822 xml	coq
TRS/Zantema/jw24.trs	YES 4.753 xml	coq	YES 4.983 xml	coq
TRS/Zantema/jw25.trs	YES 5.724 xml	coq	YES 4.810 xml	coq
TRS/Zantema/jw26.trs	YES 3.225 xml	coq	YES 2.893 xml	coq
TRS/Zantema/jw27.trs	YES 2.971 xml	coq	YES 2.914 xml	coq
TRS/Zantema/jw28.trs	YES 3.161 xml	coq	YES 2.953 xml	coq
TRS/Zantema/jw29.trs	YES 9.200 xml	coq	YES 8.374 xml	coq
TRS/Zantema/jw30.trs	YES 3.215 xml	coq	YES 3.157 xml	coq
TRS/Zantema/jw31.trs	YES 1.591 xml	coq	YES 1.717 xml	coq
TRS/Zantema/jw32.trs	YES 4.813 xml	coq	YES 4.412 xml	coq
TRS/Zantema/jw33.trs	YES 4.549 xml	coq	YES 4.270 xml	coq
TRS/Zantema/jw34.trs	YES 11.36 xml	coq	YES 10.23 xml	coq
TRS/Zantema/jw35.trs	YES 2.212 xml	coq	YES 1.810 xml	coq
TRS/Zantema/jw36.trs	YES 2.192 xml	coq	YES 2.085 xml	coq
TRS/Zantema/jw37.trs	YES 3.830 xml	coq	YES 4.254 xml	coq
TRS/Zantema/jw38.trs	YES 4.017 xml	coq	YES 4.058 xml	coq
TRS/Zantema/jw39.trs	YES 8.868 xml	coq	YES 8.664 xml	coq
TRS/Zantema/jw40.trs	STOP 54.25		STOP 68.90
TRS/Zantema/jw41.trs	YES 9.094 xml	coq	YES 9.818 xml	coq
TRS/Zantema/jw42.trs	YES 8.084 xml	coq	YES 8.068 xml	coq
TRS/Zantema/jw43.trs	YES 2.168 xml	coq	YES 2.101 xml	coq
TRS/Zantema/jw44.trs	YES 0.028 xml	coq	YES 0.007 xml	coq
TRS/Zantema/jw47.trs	YES 0.026 xml	coq	YES 0.003 xml	coq
TRS/Zantema/jw50.trs	YES 2.262 xml	coq	YES 1.956 xml	coq
TRS/Zantema/z01.trs	STOP 66.18		STOP 130.1
TRS/Zantema/z02.trs	STOP 0.952		STOP 1.955
TRS/Zantema/z03.trs	STOP 54.52		STOP 61.41
TRS/Zantema/z04.trs	STOP 0.954		STOP 1.763
TRS/Zantema/z05.trs	STOP 0.823		STOP 1.544
TRS/Zantema/z06.trs	STOP 19.25		STOP 38.40
TRS/Zantema/z07.trs	STOP 1.605		STOP 3.045
TRS/Zantema/z08.trs	YES 3.364 xml	coq	YES 3.300 xml	coq
TRS/Zantema/z09.trs	STOP 1.760		STOP 3.394
TRS/Zantema/z10.trs	STOP 1.705		STOP 3.429
TRS/Zantema/z11.trs	STOP 12.92		STOP 33.37
TRS/Zantema/z12.trs	STOP 92.92		STOP 179.8
TRS/Zantema/z13.trs	STOP 0.758		STOP 1.845
TRS/Zantema/z14.trs	STOP 1.495		STOP 3.166
TRS/Zantema/z15.trs	STOP 0.467		STOP 0.973
TRS/Zantema/z16.trs	STOP 1.040		STOP 2.404
TRS/Zantema/z17.trs	STOP 0.508		STOP 0.998
TRS/Zantema/z18.trs	STOP 0.702		STOP 1.679
TRS/Zantema/z19.trs	STOP 4.726		STOP 6.096
TRS/Zantema/z20.trs	STOP 56.53		STOP 81.29
TRS/Zantema/z21.trs	STOP 4.504		STOP 5.585
TRS/Zantema/z22.trs	STOP 52.52		STOP 62.10
TRS/Zantema/z23.trs	STOP 53.33		STOP 81.10
TRS/Zantema/z24.trs	STOP 2.224		STOP 3.267
TRS/Zantema/z25.trs	STOP 0.705		STOP 1.289
TRS/Zantema/z26.trs	YES 69.36 xml	coq	YES 48.04 xml	coq
TRS/Zantema/z27.trs	STOP 0.227		STOP 0.463
TRS/Zantema/z28.trs	STOP 0.496		STOP 1.173
TRS/Zantema/z29.trs	STOP 0.414		YES 0.046 xml	coq
TRS/Zantema/z30.trs	STOP 74.88		STOP 142.9
TRS/Zantema06/beans.trs	STOP 56.38		STOP 111.9
TRS/Zantema06/gcd.trs	YES 0.219 xml	coq	YES 0.105 xml	coq
TRS/Zantema06/gcdMinMax.trs	STOP 34.19		STOP 57.03
TRS/Zantema06/hydra.trs	STOP 13.77		STOP 33.52
TRS/Zantema06/test1.trs	YES 0.200 xml	coq	YES 0.253 xml	coq
TRS/Zantema06/while.trs	STOP 0.238		STOP 0.458
TRS/Zantema06/while2.trs	STOP 0.912		STOP 1.836
TRS/aprove08/id_inc.trs	STOP 2.639		STOP 4.103
TRS/aprove08/log.trs	STOP 37.36		STOP 81.22
TRS/aprove08/parting01_reverse.trs	STOP 54.24		STOP 107.6
TRS/aprove08/parting02_doublelist.trs	STOP 12.76		STOP 37.99
TRS/aprove08/parting03_minsort.trs	STOP 19.91		STOP 60.45
TRS/aprove08/parting04_maxsort_h.trs	STOP 64.54		STOP 128.9
TRS/aprove08/parting05_maxsort.trs	STOP 41.60		STOP 78.10
TRS/aprove08/round.trs	STOP 0.280		STOP 0.244
TRS/aprove08/round_nonterm.trs	STOP 0.293		STOP 0.182
TRS/aprove08/thiemann40_modified.trs	STOP 0.987		STOP 1.470
TRS/currying/AG01/#3.10.trs	STOP 66.43		STOP 132.9
TRS/currying/AG01/#3.13.trs	STOP 66.94		STOP 133.7
TRS/currying/AG01/#3.16.trs	STOP 20.47		STOP 44.95
TRS/currying/AG01/#3.18.trs	STOP 30.94		STOP 70.34
TRS/currying/AG01/#3.2.trs	STOP 31.01		STOP 61.93
TRS/currying/AG01/#3.22.trs	STOP 70.68		STOP 139.3
TRS/currying/AG01/#3.25.trs	STOP 22.86		STOP 46.41
TRS/currying/AG01/#3.27.trs	STOP 25.25		STOP 52.16
TRS/currying/AG01/#3.32.trs	STOP 22.73		STOP 42.59
TRS/currying/AG01/#3.36.trs	STOP 30.30		STOP 58.85
TRS/currying/AG01/#3.38.trs	STOP 35.89		STOP 69.20
TRS/currying/AG01/#3.40.trs	STOP 44.64		STOP 98.41
TRS/currying/AG01/#3.45.trs	STOP 27.31		STOP 57.48
TRS/currying/AG01/#3.48.trs	STOP 65.98		STOP 134.0
TRS/currying/AG01/#3.52.trs	STOP 29.38		STOP 59.77
TRS/currying/AG01/#3.55.trs	STOP 81.63		STOP 177.3
TRS/currying/AG01/#3.57.trs	STOP 97.57		STOP 212.3
TRS/currying/AG01/#3.6.trs	STOP 51.53		STOP 102.4
TRS/currying/AG01/#3.8.trs	STOP 74.39		STOP 144.5
TRS/currying/D33/01.trs	STOP 20.30		STOP 40.13
TRS/currying/D33/02.trs	STOP 20.91		STOP 43.08
TRS/currying/D33/06.trs	STOP 23.26		STOP 50.05
TRS/currying/D33/08.trs	STOP 68.65		STOP 130.2
TRS/currying/D33/11.trs	STOP 67.10		STOP 135.4
TRS/currying/D33/12.trs	STOP 37.21		STOP 72.35
TRS/currying/D33/13.trs	STOP 43.79		STOP 81.13
TRS/currying/D33/17.trs	STOP 26.49		STOP 51.28
TRS/currying/D33/18.trs	STOP 31.50		STOP 62.62
TRS/currying/D33/21.trs	STOP 43.41		STOP 81.89
TRS/currying/D33/29.trs	STOP 32.67		STOP 61.43
TRS/currying/D33/30.trs	STOP 72.11		STOP 145.6
TRS/currying/D33/31.trs	STOP 42.99		STOP 90.29
TRS/currying/D33/33.trs	STOP 75.50		STOP 147.6
TRS/currying/Ste92/hydra.trs	STOP 82.11		STOP 163.2
TRS/currying/Ste92/minsort.trs	STOP 83.08		STOP 175.2
TRS/currying/Ste92/motivation.trs	STOP 32.77		STOP 58.60
TRS/currying/Ste92/perfect.trs	STOP 66.62		STOP 133.6
TRS/currying/Ste92/perfect2.trs	STOP 66.67		STOP 132.8
TRS/higher-order/AProVE_HO/ReverseLastInit.trs	YES 0.421 xml	coq	YES 0.224 xml	coq
TRS/higher-order/AProVE_HO/TakeDropWhile.trs	STOP 47.81		STOP 89.77
TRS/higher-order/AProVE_HO/TypeEx1.trs	YES 1.941 xml	coq	YES 1.839 xml	coq
TRS/higher-order/AProVE_HO/TypeEx3.trs	STOP 102.3		STOP 101.1
TRS/higher-order/AProVE_HO/TypeEx5.trs	STOP 0.096		STOP 0.124
TRS/higher-order/AProVE_HO/mapDivMinus.trs	STOP 14.91		STOP 31.69
TRS/higher-order/AProVE_HO/mapDivMinusHard.trs	STOP 25.37		STOP 49.67
TRS/higher-order/AProVE_HO/nonTermF.trs	STOP 8.622		STOP 16.89
TRS/higher-order/AProVE_HO/termMonTypes.trs	STOP 2.528		STOP 2.339
TRS/higher-order/AotoYam/001.trs	STOP 1.786		STOP 2.115
TRS/higher-order/AotoYam/002.trs	YES 13.29 xml	coq	YES 12.03 xml	coq
TRS/higher-order/AotoYam/003.trs	STOP 17.00		STOP 17.85
TRS/higher-order/AotoYam/004.trs	STOP 7.021		STOP 8.350
TRS/higher-order/AotoYam/005.trs	YES 0.082 xml	coq	YES 0.097 xml	coq
TRS/higher-order/AotoYam/006.trs	STOP 28.33		YES 15.60 xml	coq
TRS/higher-order/AotoYam/007.trs	YES 5.528 xml	coq	YES 5.612 xml	coq
TRS/higher-order/AotoYam/009.trs	YES 3.648 xml	coq	YES 4.274 xml	coq
TRS/higher-order/AotoYam/010.trs	STOP 10.57		STOP 20.60
TRS/higher-order/AotoYam/011.trs	STOP 5.387		STOP 10.09
TRS/higher-order/AotoYam/012.trs	YES 3.571 xml	coq	YES 3.752 xml	coq
TRS/higher-order/AotoYam/013.trs	STOP 12.82		STOP 24.97
TRS/higher-order/AotoYam/014.trs	STOP 12.55		STOP 19.51
TRS/higher-order/AotoYam/015.trs	STOP 32.90		STOP 69.09
TRS/higher-order/AotoYam/016.trs	YES 15.79 xml	coq	YES 15.50 xml	coq
TRS/higher-order/AotoYam/017.trs	YES 0.023 xml	coq	YES 0.026 xml	coq
TRS/higher-order/AotoYam/019.trs	STOP 0.691		STOP 1.457
TRS/higher-order/AotoYam/020.trs	STOP 3.732		STOP 7.060
TRS/higher-order/AotoYam/021.trs	STOP 31.81		STOP 47.08
TRS/higher-order/AotoYam/022.trs	STOP 12.20		YES 3.257 xml	coq
TRS/higher-order/AotoYam/023.trs	YES 0.034 xml	coq	YES 0.033 xml	coq
TRS/higher-order/AotoYam/024.trs	YES 1.465 xml	coq	YES 1.461 xml	coq
TRS/higher-order/AotoYam/025.trs	YES 0.009 xml	coq	YES 0.003 xml	coq
TRS/higher-order/AotoYam/026.trs	STOP 3.477		STOP 7.013
TRS/higher-order/AotoYam/027.trs	YES 9.107 xml	coq	YES 9.344 xml	coq
TRS/higher-order/AotoYam/028.trs	STOP 8.551		STOP 15.96
TRS/higher-order/AotoYam/Ex1SimplyTyped.trs	YES 5.558 xml	coq	YES 5.569 xml	coq
TRS/higher-order/AotoYam/Ex5TermProof.trs	STOP 9.045		STOP 17.54
TRS/higher-order/Bird/BTreeMember.trs	STOP 96.86		YES 1.801 xml	coq
TRS/higher-order/Bird/Ex2_6_1Composition.trs	YES 0.036 xml	coq	YES 0.004 xml	coq
TRS/higher-order/Bird/Ex2_8_1ConstSubstFix.trs	STOP 1.197		STOP 2.356
TRS/higher-order/Bird/Hamming.trs	STOP 66.05		STOP 132.1
TRS/higher-order/Bird/TreeFlatten.trs	STOP 15.43		STOP 33.25
TRS/higher-order/Bird/TreeHeight.trs	STOP 18.86		STOP 33.77
TRS/higher-order/Bird/TreeLevels.trs	STOP 50.52		STOP 96.60
TRS/higher-order/Bird/TreeMap.trs	STOP 14.69		STOP 30.58
TRS/higher-order/Bird/TreeSize.trs	STOP 11.50		STOP 19.55
TRS/higher-order/Kusakari/Ex6_11.trs	YES 3.939 xml	coq	YES 3.498 xml	coq
TRS/higher-order/Kusakari/Ex7_9.trs	STOP 48.86		STOP 101.6
TRS/higher-order/Lifantsev/Ex10Functional.trs	STOP 88.71		STOP 137.6
TRS/higher-order/Lifantsev/Ex2PrimRec.trs	STOP 2.181		STOP 3.789
TRS/higher-order/Lifantsev/Ex3Lists.trs	STOP 14.14		STOP 28.22
TRS/higher-order/Lifantsev/Ex4MapList.trs	YES 1.890 xml	coq	YES 1.762 xml	coq
TRS/higher-order/Lifantsev/Ex5Sorting.trs	STOP 100.0		STOP 160.9
TRS/higher-order/Lifantsev/Ex6Folding.trs	STOP 6.280		STOP 12.19
TRS/higher-order/Lifantsev/Ex7OrdinalRec.trs	STOP 43.41		STOP 96.91
TRS/higher-order/Lifantsev/Ex8Polymorphic.trs	STOP 9.357		STOP 17.63
TRS/higher-order/Lifantsev/Ex9Maps.trs	STOP 111.1		STOP 208.0
TRS/higher-order/ToyamaRTA04/Ex5Folding.trs	STOP 9.276		STOP 13.76
TRS/higher-order/ToyamaRTA04/Ex6Recursor.trs	STOP 7.101		STOP 12.44
TRS/higher-order/ToyamaRTA04/Ex7Sorting.trs	STOP 51.16		STOP 95.16
TRS/nontermin/AG01/#4.12a.trs	STOP 0.084		STOP 0.169
TRS/nontermin/AG01/#4.13.trs	STOP 0.044		STOP 0.074
TRS/nontermin/AG01/#4.14.trs	STOP 0.166		STOP 0.334
TRS/nontermin/AG01/#4.15.trs	STOP 2.792		STOP 4.383
TRS/nontermin/AG01/#4.16.trs	STOP 0.067		STOP 0.141
TRS/nontermin/AG01/#4.17.trs	STOP 36.54		STOP 77.01
TRS/nontermin/AG01/#4.18.trs	STOP 57.19		STOP 110.7
TRS/nontermin/AG01/#4.19.trs	STOP 0.372		STOP 0.740
TRS/nontermin/AG01/#4.2.trs	STOP 0.289		STOP 0.559
TRS/nontermin/AG01/#4.20.trs	YES 0.013 xml	coq	YES 0.013 xml	coq
TRS/nontermin/AG01/#4.20a.trs	YES 0.041 xml	coq	YES 0.031 xml	coq
TRS/nontermin/AG01/#4.21.trs	YES 0.034 xml	coq	YES 0.040 xml	coq
TRS/nontermin/AG01/#4.22.trs	STOP 0.984		YES 0.004 xml	coq
TRS/nontermin/AG01/#4.23.trs	STOP 6.108		YES 0.063 xml	coq
TRS/nontermin/AG01/#4.25.trs	STOP 0.038		STOP 0.039
TRS/nontermin/AG01/#4.26.trs	STOP 0.380		STOP 0.752
TRS/nontermin/AG01/#4.27.trs	YES 2.717 xml	coq	YES 3.080 xml	coq
TRS/nontermin/AG01/#4.28.trs	YES 1.320 xml	coq	YES 0.524 xml	coq
TRS/nontermin/AG01/#4.29.trs	STOP 3.448		STOP 5.615
TRS/nontermin/AG01/#4.3.trs	STOP 0.043		STOP 0.066
TRS/nontermin/AG01/#4.30.trs	STOP 0.955		STOP 1.843
TRS/nontermin/AG01/#4.30a.trs	STOP 5.783		STOP 2.380
TRS/nontermin/AG01/#4.30b.trs	STOP 1.440		STOP 2.298
TRS/nontermin/AG01/#4.30c.trs	STOP 1.816		STOP 2.573
TRS/nontermin/AG01/#4.31.trs	STOP 50.52		STOP 101.1
TRS/nontermin/AG01/#4.32.trs	YES 0.075 xml	coq	YES 0.006 xml	coq
TRS/nontermin/AG01/#4.33.trs	YES 1.680 xml	coq	YES 1.482 xml	coq
TRS/nontermin/AG01/#4.34.trs	YES 0.668 xml	coq	YES 0.104 xml	coq
TRS/nontermin/AG01/#4.35.trs	STOP 67.24		YES 0.967 xml	coq
TRS/nontermin/AG01/#4.36.trs	STOP 54.76		YES 0.347 xml	coq
TRS/nontermin/AG01/#4.37.trs	YES 0.076 xml	coq	YES 0.068 xml	coq
TRS/nontermin/AG01/#4.37a.trs	YES 0.108 xml	coq	YES 0.080 xml	coq
TRS/nontermin/AG01/#4.4.trs	STOP 0.085		STOP 0.156
TRS/nontermin/AG01/#4.7.trs	STOP 4.146		STOP 7.552
TRS/nontermin/CSR/Ex14_AEGL02.trs	STOP 0.121		STOP 0.130
TRS/nontermin/CSR/Ex15_Luc98.trs	STOP 0.235		STOP 0.196
TRS/nontermin/CSR/Ex1_2_AEL03.trs	STOP 0.664		STOP 0.685
TRS/nontermin/CSR/Ex1_2_Luc02c.trs	STOP 0.084		STOP 0.101
TRS/nontermin/CSR/Ex1_GL02a.trs	STOP 0.484		STOP 0.214
TRS/nontermin/CSR/Ex1_GM03.trs	STOP 0.516		STOP 0.615
TRS/nontermin/CSR/Ex1_GM99.trs	STOP 0.035		STOP 0.078
TRS/nontermin/CSR/Ex1_Luc02b.trs	STOP 0.137		STOP 0.195
TRS/nontermin/CSR/Ex1_Zan97.trs	STOP 0.052		STOP 0.114
TRS/nontermin/CSR/Ex24_GM04.trs	STOP 0.035		STOP 0.069
TRS/nontermin/CSR/Ex26_Luc03b.trs	STOP 0.434		STOP 0.438
TRS/nontermin/CSR/Ex2_Luc03b.trs	STOP 0.395		STOP 0.176
TRS/nontermin/CSR/Ex3_12_Luc96a.trs	STOP 0.087		STOP 0.088
TRS/nontermin/CSR/Ex3_2_Luc97.trs	STOP 0.364		STOP 0.283
TRS/nontermin/CSR/Ex3_3_25_Bor03.trs	STOP 0.491		STOP 0.487
TRS/nontermin/CSR/Ex49_GM04.trs	YES 0.141 xml	coq	YES 0.054 xml	coq
TRS/nontermin/CSR/Ex4_4_Luc96b.trs	STOP 0.030		STOP 0.019
TRS/nontermin/CSR/Ex4_7_15_Bor03.trs	STOP 1.023		STOP 1.756
TRS/nontermin/CSR/Ex4_7_37_Bor03.trs	STOP 0.422		STOP 0.399
TRS/nontermin/CSR/Ex4_7_56_Bor03.trs	STOP 0.085		STOP 0.091
TRS/nontermin/CSR/Ex4_7_77_Bor03.trs	STOP 0.010		STOP 0.010
TRS/nontermin/CSR/Ex4_Zan97.trs	STOP 0.154		STOP 0.168
TRS/nontermin/CSR/Ex5_7_Luc97.trs	STOP 1.705		STOP 0.619
TRS/nontermin/CSR/Ex5_Zan97.trs	STOP 0.069		STOP 0.087
TRS/nontermin/CSR/Ex6_15_AEL02.trs	STOP 6.286		STOP 0.678
TRS/nontermin/CSR/Ex6_9_Luc02c.trs	STOP 0.121		STOP 0.126
TRS/nontermin/CSR/Ex6_GM04.trs	STOP 0.011		STOP 0.013
TRS/nontermin/CSR/Ex6_Luc98.trs	STOP 0.143		STOP 0.161
TRS/nontermin/CSR/Ex7_BLR02.trs	STOP 0.168		STOP 0.196
TRS/nontermin/CSR/Ex8_BLR02.trs	STOP 0.512		STOP 0.664
TRS/nontermin/CSR/Ex9_BLR02.trs	STOP 2.535		STOP 4.747
TRS/nontermin/CSR/ExAppendixB_AEL03.trs	STOP 26.46		STOP 0.727
TRS/nontermin/CSR/ExConc_Zan97.trs	STOP 0.013		STOP 0.013
TRS/nontermin/CSR/ExIntrod_GM01.trs	STOP 0.231		STOP 0.026
TRS/nontermin/CSR/ExIntrod_GM04.trs	STOP 0.020		STOP 0.029
TRS/nontermin/CSR/ExIntrod_GM99.trs	STOP 7.281		STOP 8.023
TRS/nontermin/CSR/ExIntrod_Zan97.trs	STOP 0.661		STOP 0.896
TRS/nontermin/HM/n001.trs	STOP 5.021		STOP 10.03
TRS/nontermin/Rubio-inn/bn111.trs	STOP 0.097		STOP 0.220
TRS/nontermin/Rubio-inn/gkg.trs	STOP 0.035		STOP 0.044
TRS/nontermin/Rubio-inn/muladd.trs	STOP 10.77		STOP 21.75
TRS/nontermin/Rubio-inn/test10.trs	STOP 0.282		STOP 0.557
TRS/nontermin/Rubio-inn/test75.trs	STOP 0.101		STOP 0.190
TRS/nontermin/Rubio-inn/test76.trs	STOP 0.223		STOP 0.390
TRS/nontermin/Rubio-inn/test77.trs	STOP 0.213		STOP 0.389
TRS/nontermin/Rubio-inn/test830.trs	YES 0.074 xml	coq	YES 0.036 xml	coq
TRS/nontermin/Rubio-inn/test9.trs	STOP 0.119		STOP 0.240
TRS/nontermin/Rubio-inn/toyama.trs	STOP 0.044		STOP 0.075
TRS/nontermin/TRCSR/ExSec11_1_Luc02a.trs	STOP 0.527		STOP 0.593
TRS/nontermin/cariboo/ex1.trs	STOP 0.013		STOP 0.015
TRS/nontermin/cariboo/ex2.trs	STOP 0.084		STOP 0.104
TRS/nontermin/cariboo/ex3.trs	STOP 0.046		STOP 0.057
TRS/nontermin/cariboo/ex4.trs	STOP 0.065		STOP 0.139
TRS/nontermin/cariboo/ex5.trs	STOP 0.012		STOP 0.015
TRS/nontermin/cariboo/ex6.trs	STOP 0.227		STOP 0.230
TRS/nontermin/cariboo/tricky1.trs	YES 0.077 xml	coq	YES 0.078 xml	coq
TRS/secret05/aprove1.trs	STOP 17.02		STOP 30.27
TRS/secret05/aprove2.trs	STOP 4.516		STOP 6.090
TRS/secret05/aprove3.trs	STOP 31.20		STOP 64.33
TRS/secret05/aprove4.trs	STOP 0.516		STOP 0.960
TRS/secret05/aprove5.trs	STOP 2.687		STOP 5.180
TRS/secret05/cime1.trs	STOP 148.1		YES 173.5 xml	coq
TRS/secret05/cime2.trs	YES 0.959 xml	coq	YES 0.876 xml	coq
TRS/secret05/cime3.trs	STOP 26.41		STOP 52.43
TRS/secret05/cime4.trs	STOP 0.266		STOP 0.532
TRS/secret05/cime5.trs	YES 7.215 xml	coq	YES 8.678 xml	coq
TRS/secret05/matchbox1.trs	STOP 0.146		STOP 0.347
TRS/secret05/matchbox2.trs	YES 0.329 xml	coq	YES 0.352 xml	coq
TRS/secret05/teparla1.trs	STOP 21.09		STOP 31.24
TRS/secret05/teparla2.trs	STOP 6.392		STOP 17.13
TRS/secret05/teparla3.trs	STOP 6.378		STOP 12.87
TRS/secret05/tpa1.trs	STOP 33.78		STOP 70.49
TRS/secret05/tpa2.trs	STOP 8.241		STOP 17.29
TRS/secret05/tpa3.trs	STOP 11.55		STOP 22.34
TRS/secret05/tpa4.trs	STOP 11.00		STOP 21.95
TRS/secret05/tpa5.trs	STOP 6.899		STOP 20.12
TRS/secret05/ttt1.trs	STOP 0.250		STOP 0.427
TRS/secret05/ttt2.trs	STOP 0.234		STOP 0.408
TRS/secret06/aprove/addList.trs	STOP 43.55		STOP 86.84
TRS/secret06/aprove/divExp.trs	STOP 2.230		STOP 4.591
TRS/secret06/aprove/division.trs	STOP 2.636		STOP 4.499
TRS/secret06/aprove/double.trs	STOP 1.576		STOP 3.052
TRS/secret06/aprove/logarithm.trs	STOP 73.71		STOP 145.0
TRS/secret06/aprove/nrOfNodes.trs	STOP 45.61		STOP 109.6
TRS/secret06/aprove/reverse.trs	STOP 3.737		STOP 6.180
TRS/secret06/aprove/sumList.trs	STOP 79.10		STOP 119.7
TRS/secret06/aprove/times.trs	STOP 15.00		STOP 80.82
TRS/secret06/aprove/toList.trs	STOP 94.31		STOP 174.9
TRS/secret06/cime1.trs	STOP 0.845		STOP 1.865
TRS/secret06/jambox/10.trs	YES 4.756 xml	coq	YES 5.331 xml	coq
TRS/secret06/jambox/2.trs	YES 4.775 xml	coq	YES 4.524 xml	coq
TRS/secret06/jambox/3.trs	STOP 52.07		STOP 104.0
TRS/secret06/jambox/4.trs	YES 1.283 xml	coq	YES 1.368 xml	coq
TRS/secret06/jambox/5.trs	STOP 29.25		STOP 44.70
TRS/secret06/jambox/6.trs	YES 25.54 xml	coq	YES 24.73 xml	coq
TRS/secret06/jambox/7.trs	YES 0.172 xml	coq	YES 0.188 xml	coq
TRS/secret06/jambox/8.trs	STOP 84.03		STOP 166.8
TRS/secret06/jambox/9.trs	YES 4.630 xml	coq	YES 4.486 xml	coq
TRS/secret06/matchbox/gen-1.trs	YES 1.558 xml	coq	YES 1.519 xml	coq
TRS/secret06/matchbox/gen-10.trs	YES 2.725 xml	coq	YES 3.080 xml	coq
TRS/secret06/matchbox/gen-14.trs	YES 8.949 xml	coq	YES 4.306 xml	coq
TRS/secret06/matchbox/gen-15.trs	YES 4.629 xml	coq	YES 2.371 xml	coq
TRS/secret06/matchbox/gen-17.trs	YES 0.281 xml	coq	YES 0.348 xml	coq
TRS/secret06/matchbox/gen-18.trs	STOP 1.426		STOP 3.183
TRS/secret06/matchbox/gen-22.trs	YES 8.983 xml	coq	YES 9.390 xml	coq
TRS/secret06/matchbox/gen-25.trs	YES 5.435 xml	coq	YES 5.839 xml	coq
TRS/secret06/matchbox/gen-28.trs	STOP 3.211		STOP 6.120
TRS/secret06/matchbox/gen-9.trs	STOP 2.537		STOP 4.885
TRS/secret06/tpa01.trs	STOP 0.237		STOP 0.277
TRS/secret06/tpa02.trs	STOP 0.247		STOP 0.297
TRS/secret06/tpa03.trs	STOP 0.212		STOP 0.268
TRS/secret06/tpa04.trs	STOP 79.91		STOP 157.5
TRS/secret06/tpa05.trs	STOP 69.83		STOP 142.9
TRS/secret06/tpa06.trs	STOP 76.95		STOP 155.3
TRS/secret06/tpa07.trs	STOP 11.97		STOP 21.08
TRS/secret06/tpa08.trs	STOP 73.71		STOP 159.6
TRS/secret06/tpa09.trs	STOP 66.53		STOP 133.2
TRS/secret06/tpa10.trs	STOP 28.75		STOP 55.65
TRS/secret07/TTT2/1.trs	STOP 7.567		STOP 12.01
TRS/secret07/TTT2/2.trs	STOP 4.327		STOP 7.997
TRS/secret07/TTT2/3.trs	STOP 38.53		STOP 40.00
TRS/secret07/TTT2/4.trs	STOP 5.990		STOP 12.12
TRS/secret07/TTT2/5.trs	STOP 2.629		STOP 2.632
TRS/secret07/TTT2/6.trs	STOP 55.24		STOP 109.1
TRS/secret07/TTT2/7.trs	STOP 77.74		STOP 147.2
TRS/secret07/aprove/aprove01.trs	STOP 26.55		STOP 53.59
TRS/secret07/aprove/aprove02.trs	STOP 25.91		STOP 51.98
TRS/secret07/aprove/aprove03.trs	STOP 89.02		STOP 142.4
TRS/secret07/aprove/aprove04.trs	STOP 33.53		STOP 66.77
TRS/secret07/aprove/aprove05.trs	STOP 25.90		STOP 51.59
TRS/secret07/aprove/aprove06.trs	STOP 27.26		STOP 54.62
TRS/secret07/aprove/aprove07.trs	STOP 25.86		STOP 51.85
TRS/secret07/aprove/aprove08.trs	STOP 44.88		STOP 87.19
TRS/secret07/aprove/aprove09.trs	STOP 52.76		STOP 98.45
TRS/secret07/aprove/aprove10.trs	STOP 44.73		STOP 64.22
TRS/secret07/cime/secret1.trs	YES 0.304 xml	coq	YES 0.020 xml	coq
TRS/secret07/cime/secret2.trs	YES 0.227 xml	coq	YES 0.031 xml	coq
TRS/secret07/cime/secret3.trs	YES 0.153 xml	coq	YES 0.069 xml	coq
TRS/secret07/cime/secret4.trs	YES 0.336 xml	coq	YES 0.102 xml	coq
TRS/secret07/cime/secret5.trs	YES 0.504 xml	coq	YES 0.192 xml	coq
TRS/secret07/others/dj.trs	YES 0.026 xml	coq	YES 0.004 xml	coq
TRS/various/02.trs	STOP 0.038		STOP 0.077
TRS/various/03.trs	STOP 0.104		STOP 0.198
TRS/various/04.trs	STOP 58.27		STOP 101.5
TRS/various/05.trs	STOP 103.7		STOP 148.1
TRS/various/06.trs	YES 0.002 xml	coq	YES 0.002 xml	coq
TRS/various/07.trs	YES 0.001 xml	coq	YES 0.001 xml	coq
TRS/various/08.trs	STOP 41.05		STOP 82.18
TRS/various/09.trs	YES 0.002 xml	coq	YES 0.003 xml	coq
TRS/various/10.trs	YES 7.697 xml	coq	YES 8.455 xml	coq
TRS/various/11.trs	STOP 0.145		STOP 0.293
TRS/various/12.trs	YES 1.153 xml	coq	YES 0.548 xml	coq
TRS/various/13.trs	YES 2.034 xml	coq	YES 1.333 xml	coq
TRS/various/14.trs	YES 84.63 xml	coq	YES 2.119 xml	coq
TRS/various/15.trs	STOP 21.97		STOP 43.97
TRS/various/18.trs	YES 0.045 xml	coq	YES 0.005 xml	coq
TRS/various/19.trs	YES 0.124 xml	coq	YES 0.092 xml	coq
TRS/various/20.trs	STOP 54.28		STOP 108.9
TRS/various/21.trs	YES 0.245 xml	coq	YES 0.174 xml	coq
TRS/various/22.trs	YES 0.039 xml	coq	YES 0.019 xml	coq
TRS/various/23.trs	YES 0.033 xml	coq	YES 0.093 xml	coq
TRS/various/24.trs	YES 0.176 xml	coq	YES 0.090 xml	coq
TRS/various/25.trs	YES 0.014 xml	coq	YES 0.015 xml	coq
TRS/various/26.trs	YES 0.050 xml	coq	YES 0.046 xml	coq
TRS/various/27.trs	YES 0.000 xml	coq	YES 0.001 xml	coq
success number	581	620
Average time	5.47	5.26