Termination Competition 2018: TRS Standard Certified30038

Job info CSV
benchmark AProVE certified ttt2-1.17+nonreach ttt2-1.17+nonreach-cert
TRS_Standard/AG01/#3.49.xml 5160736 YES 3.94/1.76 (CERTIFIED 0.0) YES 2.88/1.00 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.19.xml 5160737 YES 4.65/2.01 (CERTIFIED 0.0) YES 5.28/1.79 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.56.xml 5160738 YES 4.04/1.74 (CERTIFIED 0.0) YES 4.53/1.42 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.18.xml 5160739 YES 4.33/1.94 (CERTIFIED 0.0) YES 4.05/1.37 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.6.xml 5160740 YES 4.76/2.04 (CERTIFIED 0.0) YES 4.48/1.50 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.35.xml 5160741 YES 7.16/2.57 (CERTIFIED 0.0) YES 0.56/0.39 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.53.xml 5160742 YES 4.26/1.92 (CERTIFIED 0.0) YES 12.02/3.67 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.55.xml 5160743 YES 5.28/2.10 (CERTIFIED 0.0) YES 10.92/3.18 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.52.xml 5160744 YES 3.78/1.75 (CERTIFIED 0.0) YES 1.51/0.65 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.47.xml 5160745 YES 3.44/1.63 (CERTIFIED 0.0) YES 1.20/0.56 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.10.xml 5160746 YES 6.40/2.41 (CERTIFIED 0.0) YES 15.60/4.49 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.4.xml 5160747 YES 4.18/1.80 (CERTIFIED 0.0) YES 4.12/1.38 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.6b.xml 5160748 YES 4.89/2.07 (CERTIFIED 0.0) YES 7.22/2.18 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.22.xml 5160749 YES 4.14/1.84 (CERTIFIED 0.0) YES 3.68/1.29 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.57.xml 5160750 run script error [out] YES 12.47/3.50 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.53b.xml 5160751 YES 3.63/1.74 (CERTIFIED 0.0) YES 1.54/0.67 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.53a.xml 5160752 YES 3.39/1.61 (CERTIFIED 0.0) YES 1.03/0.52 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.12.xml 5160753 YES 4.09/1.77 (CERTIFIED 0.0) YES 5.19/1.67 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.39.xml 5160754 YES 4.28/2.02 (CERTIFIED 0.0) YES 7.14/2.13 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.23.xml 5160755 YES 3.56/1.66 (CERTIFIED 0.0) YES 1.35/0.61 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.15.xml 5160756 YES 3.43/1.55 (CERTIFIED 0.0) YES 0.57/0.40 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.40.xml 5160757 YES 4.79/2.17 (CERTIFIED 0.0) MAYBE 132.27/42.35
TRS_Standard/AG01/#3.5a.xml 5160758 YES 4.29/1.96 (CERTIFIED 0.0) run script error [out]
TRS_Standard/AG01/#3.13.xml 5160759 YES 5.64/2.31 (CERTIFIED 0.0) YES 12.79/3.61 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.17.xml 5160760 YES 4.90/2.00 (CERTIFIED 0.0) YES 6.81/1.99 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.29.xml 5160761 YES 3.40/1.66 (CERTIFIED 0.0) YES 0.61/0.41 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.41.xml 5160762 YES 3.60/2.05 (CERTIFIED 0.0) YES 1.67/0.69 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.8a.xml 5160763 YES 4.32/1.90 (CERTIFIED 0.0) YES 4.54/1.43 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.2.xml 5160764 YES 4.04/1.90 (CERTIFIED 0.0) YES 2.92/1.07 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.51.xml 5160765 YES 4.11/1.75 (CERTIFIED 0.0) YES 4.71/1.53 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.36.xml 5160766 YES 4.64/1.93 (CERTIFIED 0.0) YES 3.06/1.03 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.48.xml 5160767 YES 3.63/1.70 (CERTIFIED 0.0) YES 3.85/1.32 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.16.xml 5160768 YES 3.60/1.72 (CERTIFIED 0.0) YES 2.22/0.86 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.1.xml 5160769 YES 3.82/1.71 (CERTIFIED 0.0) YES 2.64/0.96 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.6a.xml 5160770 YES 4.85/2.04 (CERTIFIED 0.0) YES 4.88/1.58 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.26.xml 5160771 YES 8.54/3.02 (CERTIFIED 0.0) YES 1.53/0.64 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.7.xml 5160772 YES 4.95/2.10 (CERTIFIED 0.0) YES 0.60/0.42 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.5b.xml 5160773 YES 5.00/2.81 (CERTIFIED 0.0) YES 5.38/1.69 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.5.xml 5160774 YES 4.47/1.88 (CERTIFIED 0.0) YES 4.04/1.35 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.38.xml 5160775 YES 4.62/1.98 (CERTIFIED 0.0) YES 3.65/1.29 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.31.xml 5160776 YES 3.70/1.77 (CERTIFIED 0.0) YES 1.02/0.50 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.33.xml 5160777 YES 3.63/1.62 (CERTIFIED 0.0) YES 7.19/2.07 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.24.xml 5160778 YES 3.80/1.63 (CERTIFIED 0.0) YES 1.02/0.52 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.42.xml 5160779 YES 3.85/1.80 (CERTIFIED 0.0) YES 5.13/1.60 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.37.xml 5160780 YES 3.86/1.84 (CERTIFIED 0.0) YES 1.62/0.68 (CERTIFIED 0.0)
TRS_Standard/AG01/#4.30c.xml 5160781 YES 10.25/4.80 (CERTIFIED 0.1) MAYBE 89.74/42.34
TRS_Standard/AG01/#3.54.xml 5160782 YES 5.37/2.42 (CERTIFIED 0.0) YES 2.42/0.89 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.17a.xml 5160783 YES 4.86/2.08 (CERTIFIED 0.0) YES 10.31/2.87 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.8b.xml 5160784 YES 5.15/2.12 (CERTIFIED 0.0) YES 6.92/2.19 (CERTIFIED 0.0)
TRS_Standard/AG01/#3.21.xml 5160785 YES 3.85/1.82 (CERTIFIED 0.0) YES 1.79/0.73 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/nonTermF.xml 5161122 timeout (wallclock) [out] NO 0.42/0.37 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/TreeLevels.xml 5161123 YES 4.31/1.91 (CERTIFIED 0.0) YES 6.30/2.01 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/Ex2_6_1Composition.xml 5161124 YES 3.72/1.71 (CERTIFIED 0.0) YES 0.50/0.38 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/Ex7Sorting.xml 5161125 MAYBE 688.51/300.51 MAYBE 54.01/16.87
TRS_Standard/Applicative_05/Ex2_8_1ConstSubstFix.xml 5161126 NO 36.32/13.49 (CERTIFIED 0.1) NO 0.46/0.37 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/Ex6Recursor.xml 5161127 YES 119.48/60.47 (CERTIFIED 0.1) MAYBE 19.04/7.34
TRS_Standard/Applicative_05/Ex7_9.xml 5161128 YES 4.76/2.07 (CERTIFIED 0.0) MAYBE 16.63/7.36
TRS_Standard/Applicative_05/TypeEx5.xml 5161129 NO 4.48/2.07 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/Ex8Polymorphic.xml 5161130 YES 3.98/1.80 (CERTIFIED 0.0) YES 2.98/1.07 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/TreeFlatten.xml 5161131 YES 4.08/1.78 (CERTIFIED 0.0) YES 4.45/1.46 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/Ex3Lists.xml 5161132 YES 3.94/1.74 (CERTIFIED 0.0) YES 4.96/1.64 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/TypeEx1.xml 5161133 YES 4.50/1.90 (CERTIFIED 0.0) YES 3.29/1.12 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/Ex10Functional.xml 5161134 timeout (wallclock) [out] MAYBE 41.97/13.39
TRS_Standard/Applicative_05/ReverseLastInit.xml 5161135 YES 3.79/1.76 (CERTIFIED 0.0) YES 1.79/0.72 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/Ex9Maps.xml 5161136 YES 19.98/6.14 (CERTIFIED 0.1) MAYBE 62.41/20.92
TRS_Standard/Applicative_05/TakeDropWhile.xml 5161137 YES 3.92/1.76 (CERTIFIED 0.0) YES 4.03/1.40 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/Ex2PrimRec.xml 5161138 timeout (wallclock) [out] MAYBE 31.77/11.19
TRS_Standard/Applicative_05/TypeEx3.xml 5161139 NO 8.51/2.97 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/Ex4MapList.xml 5161140 YES 4.02/1.84 (CERTIFIED 0.0) YES 2.65/0.97 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/Ex7OrdinalRec.xml 5161141 MAYBE 543.03/291.57 MAYBE 38.43/13.01
TRS_Standard/Applicative_05/Ex5Sorting.xml 5161142 timeout (wallclock) [out] MAYBE 54.22/16.76
TRS_Standard/Applicative_05/mapDivMinusHard.xml 5161143 YES 4.95/2.06 (CERTIFIED 0.0) MAYBE 120.54/42.36
TRS_Standard/Applicative_05/Hamming.xml 5161144 NO 6.44/2.48 (CERTIFIED 0.0) NO 0.51/0.43 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/TreeMap.xml 5161145 YES 3.83/1.81 (CERTIFIED 0.0) YES 3.06/1.10 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/BTreeMember.xml 5161146 YES 4.31/1.84 (CERTIFIED 0.0) YES 4.84/1.56 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/Ex6Folding.xml 5161147 MAYBE 382.53/291.49 MAYBE 25.26/7.38
TRS_Standard/Applicative_05/Ex5Folding.xml 5161148 MAYBE 447.22/291.53 MAYBE 26.76/7.73
TRS_Standard/Applicative_05/termMonTypes.xml 5161149 NO 8.09/3.05 (CERTIFIED 0.0) NO 0.41/0.37 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/TreeSize.xml 5161150 YES 4.01/1.79 (CERTIFIED 0.0) YES 4.26/1.42 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/TreeHeight.xml 5161151 YES 4.27/1.84 (CERTIFIED 0.0) YES 4.79/1.64 (CERTIFIED 0.0)
TRS_Standard/Applicative_05/mapDivMinus.xml 5161152 YES 4.24/1.85 (CERTIFIED 0.0) MAYBE 16.84/7.35
TRS_Standard/Applicative_05/Ex6_11.xml 5161153 YES 3.69/1.68 (CERTIFIED 0.0) YES 5.12/1.92 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/026.xml 5162172 YES 3.93/1.76 (CERTIFIED 0.0) YES 2.73/1.01 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/002.xml 5162173 YES 4.19/1.91 (CERTIFIED 0.0) YES 3.26/1.17 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/022.xml 5162174 YES 4.02/1.83 (CERTIFIED 0.0) YES 2.59/0.98 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/003.xml 5162175 NO 5.27/2.07 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/Ex5TermProof.xml 5162176 YES 156.48/71.79 (CERTIFIED 0.2) MAYBE 26.24/7.49
TRS_Standard/AotoYamada_05/015.xml 5162177 YES 3.86/1.77 (CERTIFIED 0.0) YES 3.49/1.22 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/010.xml 5162178 YES 5.17/2.24 (CERTIFIED 0.0) MAYBE 31.73/9.90
TRS_Standard/AotoYamada_05/024.xml 5162179 YES 3.81/1.78 (CERTIFIED 0.0) YES 2.17/0.86 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/021.xml 5162180 YES 4.11/1.86 (CERTIFIED 0.0) YES 4.66/1.57 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/017.xml 5162181 YES 3.46/1.63 (CERTIFIED 0.0) YES 0.48/0.37 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/012.xml 5162182 YES 4.20/1.78 (CERTIFIED 0.0) YES 3.53/1.21 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/005.xml 5162183 YES 3.62/1.64 (CERTIFIED 0.0) YES 0.49/0.38 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/011.xml 5162184 YES 4.97/2.06 (CERTIFIED 0.0) MAYBE 34.03/11.65
TRS_Standard/AotoYamada_05/001.xml 5162185 NO 4.97/2.04 (CERTIFIED 0.0) NO 0.30/0.31 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/027.xml 5162186 YES 3.81/1.76 (CERTIFIED 0.0) YES 3.40/1.17 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/Ex1SimplyTyped.xml 5162187 YES 3.93/1.77 (CERTIFIED 0.0) YES 3.10/1.11 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/006.xml 5162188 YES 3.90/1.79 (CERTIFIED 0.0) YES 3.14/1.14 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/025.xml 5162189 YES 3.65/1.70 (CERTIFIED 0.0) YES 0.52/0.38 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/004.xml 5162190 YES 3.75/1.82 (CERTIFIED 0.0) YES 3.22/1.14 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/020.xml 5162191 YES 4.02/1.85 (CERTIFIED 0.0) YES 4.13/1.42 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/014.xml 5162192 YES 4.08/1.86 (CERTIFIED 0.0) YES 4.42/1.47 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/009.xml 5162193 YES 3.91/1.80 (CERTIFIED 0.0) YES 3.09/1.10 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/028.xml 5162194 YES 3.60/1.90 (CERTIFIED 0.0) YES 2.85/1.09 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/019.xml 5162195 YES 3.72/1.73 (CERTIFIED 0.0) YES 1.81/0.74 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/013.xml 5162196 YES 4.04/1.81 (CERTIFIED 0.0) YES 3.69/1.28 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/007.xml 5162197 YES 3.57/1.74 (CERTIFIED 0.0) YES 3.18/1.14 (CERTIFIED 0.0)
TRS_Standard/AotoYamada_05/016.xml 5162198 YES 4.17/1.85 (CERTIFIED 0.0) run script error [out]
TRS_Standard/AotoYamada_05/023.xml 5162199 YES 3.57/1.63 (CERTIFIED 0.0) YES 0.49/0.37 (CERTIFIED 0.0)
TRS_Standard/AProVE_09_Inductive/zerolist.xml 5162200 MAYBE 382.53/291.49 MAYBE 14.03/7.33
TRS_Standard/AProVE_09_Inductive/log.xml 5162201 MAYBE 641.41/291.75 MAYBE 107.12/42.33
TRS_Standard/AProVE_09_Inductive/maxsort.xml 5162202 MAYBE 690.48/292.59 MAYBE 66.99/21.17
TRS_Standard/AProVE_09_Inductive/qsortlast.xml 5162203 MAYBE 757.00/291.52 MAYBE 124.47/42.36
TRS_Standard/AProVE_09_Inductive/qsort.xml 5162204 MAYBE 667.82/291.51 MAYBE 83.11/25.92
TRS_Standard/AProVE_09_Inductive/qsortmiddle.xml 5162205 MAYBE 744.67/291.54 MAYBE 132.72/42.37
TRS_Standard/AProVE_09_Inductive/minsort.xml 5162206 MAYBE 724.81/291.51 MAYBE 60.89/19.75
TRS_Standard/AProVE_09_Inductive/gcd2.xml 5162207 MAYBE 666.10/291.51 MAYBE 49.01/17.88
TRS_Standard/AProVE_09_Inductive/maxsortcondition.xml 5162208 MAYBE 704.48/291.52 MAYBE 47.42/16.69
TRS_Standard/AProVE_09_Inductive/div.xml 5162209 MAYBE 658.77/291.50 MAYBE 28.96/9.18
TRS_Standard/AProVE_09_Inductive/mod.xml 5162210 MAYBE 665.74/292.60 MAYBE 34.45/11.00
TRS_Standard/AProVE_09_Inductive/divhard.xml 5162211 MAYBE 655.67/292.61 MAYBE 32.16/10.41
TRS_Standard/AProVE_09_Inductive/gcd.xml 5162212 MAYBE 660.28/292.09 MAYBE 25.32/7.51
TRS_Standard/AProVE_09_Inductive/gcdhard.xml 5162213 MAYBE 658.74/291.56 MAYBE 45.87/13.77
TRS_Standard/AProVE_08/log.xml 5161829 MAYBE 1084.33/293.16 MAYBE 124.59/42.34
TRS_Standard/AProVE_08/round_nonterm.xml 5161830 NO 4.43/1.86 (CERTIFIED 0.0) NO 0.62/0.41 (CERTIFIED 0.0)
TRS_Standard/AProVE_08/parting05_maxsort.xml 5161831 MAYBE 693.43/292.64 MAYBE 71.76/22.70
TRS_Standard/AProVE_08/parting03_minsort.xml 5161832 MAYBE 680.87/291.50 MAYBE 57.94/17.37
TRS_Standard/AProVE_08/parting04_maxsort_h.xml 5161833 MAYBE 916.12/292.70 MAYBE 129.52/42.35
TRS_Standard/AProVE_08/thiemann40_modified.xml 5161834 YES 27.77/13.52 (CERTIFIED 0.0) YES 4.75/1.62 (CERTIFIED 0.0)
TRS_Standard/AProVE_08/parting01_reverse.xml 5161835 MAYBE 652.05/292.07 MAYBE 58.46/19.13
TRS_Standard/AProVE_08/round.xml 5161836 MAYBE 306.09/291.45 MAYBE 15.59/7.33
TRS_Standard/AProVE_08/id_inc.xml 5161837 YES 5.50/2.14 (CERTIFIED 0.0) YES 24.64/6.47 (CERTIFIED 0.0)
TRS_Standard/AProVE_08/parting02_doublelist.xml 5161838 MAYBE 649.80/292.83 MAYBE 57.91/18.09
TRS_Standard/Beerendonk_07/12.xml 5161982 YES 5.93/4.52 (CERTIFIED 0.0) MAYBE 21.23/7.34
TRS_Standard/Beerendonk_07/10.xml 5161983 YES 5.56/2.34 (CERTIFIED 0.0) YES 8.57/2.54 (CERTIFIED 0.0)
TRS_Standard/Beerendonk_07/14.xml 5161984 YES 5.72/2.39 (CERTIFIED 0.0) MAYBE 14.47/7.33
TRS_Standard/Beerendonk_07/13.xml 5161985 YES 6.03/2.55 (CERTIFIED 0.0) MAYBE 26.08/7.33
TRS_Standard/Beerendonk_07/3.xml 5161986 YES 4.37/2.02 (CERTIFIED 0.0) MAYBE 15.31/7.35
TRS_Standard/Beerendonk_07/20.xml 5161987 YES 4.29/1.92 (CERTIFIED 0.0) MAYBE 43.46/12.83
TRS_Standard/Beerendonk_07/7.xml 5161988 YES 4.36/2.32 (CERTIFIED 0.0) YES 3.56/1.19 (CERTIFIED 0.0)
TRS_Standard/Beerendonk_07/1.xml 5161989 YES 4.17/1.87 (CERTIFIED 0.0) YES 2.79/1.00 (CERTIFIED 0.0)
TRS_Standard/Beerendonk_07/17.xml 5161990 YES 22.78/12.81 (CERTIFIED 0.1) MAYBE 105.59/42.35
TRS_Standard/Beerendonk_07/23.xml 5161991 YES 5.87/2.25 (CERTIFIED 0.0) YES 5.49/1.69 (CERTIFIED 0.0)
TRS_Standard/Beerendonk_07/19.xml 5161992 YES 32.40/14.40 (CERTIFIED 0.1) MAYBE 120.50/42.35
TRS_Standard/Beerendonk_07/16.xml 5161993 YES 20.36/11.73 (CERTIFIED 0.0) MAYBE 61.28/18.62
TRS_Standard/Beerendonk_07/5.xml 5161994 YES 4.84/2.06 (CERTIFIED 0.0) YES 5.37/1.69 (CERTIFIED 0.0)
TRS_Standard/Beerendonk_07/11.xml 5161995 YES 6.82/2.84 (CERTIFIED 0.0) MAYBE 22.27/7.34
TRS_Standard/Beerendonk_07/2.xml 5161996 YES 4.38/1.98 (CERTIFIED 0.0) YES 3.00/1.05 (CERTIFIED 0.0)
TRS_Standard/Beerendonk_07/8.xml 5161997 YES 4.05/1.93 (CERTIFIED 0.0) YES 4.20/1.41 (CERTIFIED 0.0)
TRS_Standard/Beerendonk_07/18.xml 5161998 YES 4.80/2.04 (CERTIFIED 0.1) MAYBE 115.97/42.34
TRS_Standard/Beerendonk_07/6.xml 5161999 YES 4.30/1.85 (CERTIFIED 0.0) YES 3.24/1.12 (CERTIFIED 0.0)
TRS_Standard/Beerendonk_07/21.xml 5162000 MAYBE 621.28/291.56 MAYBE 51.73/15.51
TRS_Standard/Beerendonk_07/9.xml 5162001 YES 4.75/2.01 (CERTIFIED 0.0) YES 4.46/1.49 (CERTIFIED 0.0)
TRS_Standard/Beerendonk_07/4.xml 5162002 YES 4.42/2.04 (CERTIFIED 0.0) MAYBE 10.90/7.34
TRS_Standard/Beerendonk_07/24.xml 5162003 YES 26.35/11.40 (CERTIFIED 1.0) MAYBE 125.29/42.35
TRS_Standard/Beerendonk_07/15.xml 5162004 YES 10.62/4.30 (CERTIFIED 0.0) MAYBE 60.45/20.69
TRS_Standard/Beerendonk_07/22.xml 5162005 YES 5.38/2.18 (CERTIFIED 0.0) YES 5.20/1.63 (CERTIFIED 0.0)
TRS_Standard/AProVE_10/isNat.xml 5162055 NO 21.67/12.67 (CERTIFIED 0.0) MAYBE 14.05/7.32
TRS_Standard/AProVE_10/ex3.xml 5162056 NO 35.10/11.94 (CERTIFIED 0.0) MAYBE 29.29/10.66
TRS_Standard/AProVE_10/halfdouble.xml 5162057 NO 25.76/13.04 (CERTIFIED 0.1) MAYBE 131.07/42.34
TRS_Standard/AProVE_10/isList.xml 5162058 NO 4.40/1.98 (CERTIFIED 0.0) NO 0.43/0.36 (CERTIFIED 0.0)
TRS_Standard/AProVE_10/scnp.xml 5162059 YES 3.38/1.63 (CERTIFIED 0.0) YES 0.73/0.44 (CERTIFIED 0.0)
TRS_Standard/AProVE_10/downfrom.xml 5162060 MAYBE 389.79/291.46 MAYBE 102.06/42.34
TRS_Standard/AProVE_10/ex5.xml 5162061 YES 3.22/1.51 (CERTIFIED 0.0) YES 0.47/0.37 (CERTIFIED 0.0)
TRS_Standard/AProVE_10/andIsNat.xml 5162062 NO 45.96/18.09 (CERTIFIED 0.1) MAYBE 95.32/42.33
TRS_Standard/AProVE_10/ex1.xml 5162063 NO 25.25/11.87 (CERTIFIED 0.0) MAYBE 24.82/8.53
TRS_Standard/AProVE_10/challenge_fab.xml 5162064 MAYBE 628.57/291.48 MAYBE 131.01/42.33
TRS_Standard/AProVE_10/double.xml 5162065 NO 37.42/11.82 (CERTIFIED 0.0) MAYBE 15.76/7.32
TRS_Standard/AProVE_10/Zantema06-03-modified.xml 5162066 timeout (wallclock) [out] MAYBE 142.00/42.33
TRS_Standard/AProVE_10/ex2.xml 5162067 NO 38.27/12.33 (CERTIFIED 0.0) MAYBE 88.57/42.33
TRS_Standard/AProVE_10/ex4.xml 5162068 NO 40.22/14.34 (CERTIFIED 0.0) MAYBE 39.94/12.63
TRS_Standard/AProVE_04/Liveness_WRS.xml 5161154 YES 7.22/2.62 (CERTIFIED 0.0) YES 7.31/2.14 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/IJCAR_1.xml 5161155 YES 4.12/1.83 (CERTIFIED 0.0) YES 2.44/0.90 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/IJCAR_18.xml 5161156 YES 5.25/2.13 (CERTIFIED 0.0) YES 9.37/2.83 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/AAECC-ring.xml 5161157 timeout (wallclock) [out] MAYBE 143.01/42.40
TRS_Standard/AProVE_04/AAECC.xml 5161158 YES 55.74/19.93 (CERTIFIED 0.1) MAYBE 97.33/27.64
TRS_Standard/AProVE_04/forward_instantiation2.xml 5161159 YES 3.91/1.88 (CERTIFIED 0.0) YES 0.98/0.52 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/JFP_Ex51.xml 5161160 YES 5.48/2.20 (CERTIFIED 0.0) YES 24.42/6.73 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/IJCAR_12.xml 5161161 YES 4.70/2.04 (CERTIFIED 0.0) YES 4.76/1.57 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/rta1.xml 5161162 YES 4.14/1.90 (CERTIFIED 0.0) YES 5.07/1.66 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/IJCAR_26.xml 5161163 YES 5.64/2.26 (CERTIFIED 0.0) YES 11.57/3.40 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/LPAR_intlist.xml 5161164 YES 4.25/1.81 (CERTIFIED 0.0) YES 4.06/1.31 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/IJCAR_26a.xml 5161165 YES 5.42/2.12 (CERTIFIED 0.0) YES 11.85/3.47 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/Liveness8.xml 5161166 YES 5.09/3.51 (CERTIFIED 0.0) YES 4.00/1.29 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/Liveness6.3.xml 5161167 YES 10.50/3.87 (CERTIFIED 0.0) YES 9.81/2.77 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/fac.xml 5161168 YES 5.41/2.29 (CERTIFIED 0.0) YES 4.63/1.55 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/Liveness6.4.xml 5161169 YES 79.14/24.88 (CERTIFIED 0.1) MAYBE 144.65/42.34
TRS_Standard/AProVE_04/improved_usable2.xml 5161170 YES 3.76/1.75 (CERTIFIED 0.0) YES 1.32/0.61 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/Liveness6.1.xml 5161171 YES 12.61/5.21 (CERTIFIED 0.0) YES 2.03/0.79 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/Liveness6.2.xml 5161172 YES 6.13/2.51 (CERTIFIED 0.0) YES 3.02/1.04 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/rta2.xml 5161173 YES 3.18/1.52 (CERTIFIED 0.0) YES 0.65/0.41 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/JFP_Ex31.xml 5161174 YES 133.30/59.53 (CERTIFIED 0.1) MAYBE 144.68/42.34
TRS_Standard/AProVE_04/improved_usable.xml 5161175 YES 3.89/1.69 (CERTIFIED 0.0) YES 1.47/0.66 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/rta3.xml 5161176 YES 3.62/2.12 (CERTIFIED 0.0) YES 2.48/0.94 (CERTIFIED 0.0)
TRS_Standard/AProVE_04/forward_instantiation.xml 5161177 YES 3.77/1.78 (CERTIFIED 0.0) YES 0.87/0.50 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/01.xml 5161042 YES 4.47/1.89 (CERTIFIED 0.0) YES 5.13/1.74 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/12.xml 5161043 YES 4.67/1.99 (CERTIFIED 0.0) YES 7.51/2.37 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/06.xml 5161044 YES 4.55/1.95 (CERTIFIED 0.0) YES 4.65/1.53 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/#3.18.xml 5161045 YES 5.24/2.14 (CERTIFIED 0.0) MAYBE 25.97/8.03
TRS_Standard/Applicative_first_order_05/#3.6.xml 5161046 YES 5.87/2.33 (CERTIFIED 0.0) MAYBE 24.53/7.37
TRS_Standard/Applicative_first_order_05/#3.55.xml 5161047 YES 6.59/2.65 (CERTIFIED 0.0) MAYBE 27.30/7.80
TRS_Standard/Applicative_first_order_05/motivation.xml 5161048 YES 4.69/2.03 (CERTIFIED 0.0) YES 5.25/1.71 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/02.xml 5161049 YES 4.31/1.88 (CERTIFIED 0.0) YES 4.57/1.56 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/#3.52.xml 5161050 YES 4.57/2.02 (CERTIFIED 0.0) YES 5.44/1.77 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/#3.10.xml 5161051 YES 7.81/2.92 (CERTIFIED 0.0) MAYBE 65.26/20.67
TRS_Standard/Applicative_first_order_05/#3.22.xml 5161052 YES 4.65/1.99 (CERTIFIED 0.0) MAYBE 21.04/7.37
TRS_Standard/Applicative_first_order_05/#3.57.xml 5161053 YES 6.02/2.39 (CERTIFIED 0.0) MAYBE 31.29/8.85
TRS_Standard/Applicative_first_order_05/13.xml 5161054 YES 27.03/13.32 (CERTIFIED 0.0) MAYBE 24.81/7.36
TRS_Standard/Applicative_first_order_05/#3.8.xml 5161055 YES 5.24/2.76 (CERTIFIED 0.0) MAYBE 47.89/17.07
TRS_Standard/Applicative_first_order_05/hydra.xml 5161056 YES 4.63/1.93 (CERTIFIED 0.0) YES 6.91/2.17 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/minsort.xml 5161057 MAYBE 680.41/291.74 run script error [out]
TRS_Standard/Applicative_first_order_05/#3.45.xml 5161058 YES 4.63/2.21 (CERTIFIED 0.0) YES 6.74/2.08 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/17.xml 5161059 YES 4.44/1.87 (CERTIFIED 0.0) YES 7.38/2.27 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/08.xml 5161060 YES 4.39/1.93 (CERTIFIED 0.0) YES 6.09/1.96 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/29.xml 5161061 YES 4.62/2.02 (CERTIFIED 0.0) YES 5.96/1.96 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/#3.27.xml 5161062 YES 4.21/1.91 (CERTIFIED 0.0) YES 4.99/1.62 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/#3.40.xml 5161063 YES 5.62/2.21 (CERTIFIED 0.0) MAYBE 131.73/42.38
TRS_Standard/Applicative_first_order_05/#3.13.xml 5161064 YES 6.83/2.72 (CERTIFIED 0.0) MAYBE 26.85/7.47
TRS_Standard/Applicative_first_order_05/33.xml 5161065 MAYBE 897.64/291.52 MAYBE 133.65/42.38
TRS_Standard/Applicative_first_order_05/11.xml 5161066 YES 5.30/2.14 (CERTIFIED 0.0) YES 11.75/3.86 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/#3.2.xml 5161067 YES 4.82/2.94 (CERTIFIED 0.0) MAYBE 15.60/7.37
TRS_Standard/Applicative_first_order_05/#3.36.xml 5161068 run script error [out] MAYBE 18.55/7.36
TRS_Standard/Applicative_first_order_05/#3.32.xml 5161069 YES 4.48/1.97 (CERTIFIED 0.0) run script error [out]
TRS_Standard/Applicative_first_order_05/#3.48.xml 5161070 YES 4.47/1.96 (CERTIFIED 0.0) YES 7.69/2.47 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/#3.16.xml 5161071 YES 4.90/1.95 (CERTIFIED 0.0) YES 7.15/2.27 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/18.xml 5161072 YES 4.32/1.94 (CERTIFIED 0.0) YES 4.97/1.60 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/#3.38.xml 5161073 YES 5.48/4.89 (CERTIFIED 0.0) MAYBE 26.34/7.78
TRS_Standard/Applicative_first_order_05/21.xml 5161074 YES 4.92/2.04 (CERTIFIED 0.0) MAYBE 14.99/7.35
TRS_Standard/Applicative_first_order_05/#3.25.xml 5161075 YES 5.68/2.30 (CERTIFIED 0.0) MAYBE 15.81/7.35
TRS_Standard/Applicative_first_order_05/31.xml 5161076 YES 5.40/2.17 (CERTIFIED 0.0) MAYBE 31.78/10.02
TRS_Standard/Applicative_first_order_05/30.xml 5161077 YES 4.04/1.82 (CERTIFIED 0.0) YES 8.97/2.74 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/perfect.xml 5161078 YES 5.15/2.13 (CERTIFIED 0.0) YES 15.35/4.62 (CERTIFIED 0.0)
TRS_Standard/Applicative_first_order_05/perfect2.xml 5161079 YES 5.58/2.26 (CERTIFIED 0.0) MAYBE 135.27/42.39
TRS_Standard/AProVE_07/thiemann14.xml 5162085 YES 25.73/8.92 (CERTIFIED 0.0) YES 10.81/3.32 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/otto06.xml 5162086 YES 8.47/3.21 (CERTIFIED 0.1) MAYBE 37.89/13.59
TRS_Standard/AProVE_07/kabasci06.xml 5162087 YES 4.79/2.07 (CERTIFIED 0.0) MAYBE 120.80/42.36
TRS_Standard/AProVE_07/thiemann01.xml 5162088 YES 6.14/2.64 (CERTIFIED 0.0) MAYBE 19.27/7.34
TRS_Standard/AProVE_07/thiemann31.xml 5162089 YES 8.40/3.20 (CERTIFIED 0.0) MAYBE 49.86/16.33
TRS_Standard/AProVE_07/thiemann21.xml 5162090 MAYBE 684.45/291.52 MAYBE 105.56/42.36
TRS_Standard/AProVE_07/thiemann25.xml 5162091 YES 5.67/2.34 (CERTIFIED 0.0) MAYBE 30.59/11.03
TRS_Standard/AProVE_07/thiemann05.xml 5162092 YES 6.71/2.54 (CERTIFIED 0.0) MAYBE 25.50/7.68
TRS_Standard/AProVE_07/thiemann03.xml 5162093 YES 7.70/2.80 (CERTIFIED 0.0) MAYBE 111.19/42.34
TRS_Standard/AProVE_07/thiemann39.xml 5162094 YES 5.53/2.17 (CERTIFIED 0.0) MAYBE 90.69/29.11
TRS_Standard/AProVE_07/thiemann34.xml 5162095 YES 8.33/3.12 (CERTIFIED 0.0) MAYBE 40.64/15.20
TRS_Standard/AProVE_07/thiemann26.xml 5162096 NO 135.61/57.45 (CERTIFIED 0.0) MAYBE 39.56/13.20
TRS_Standard/AProVE_07/wiehe03.xml 5162097 YES 7.85/2.86 (CERTIFIED 0.0) YES 26.36/7.38 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/otto03.xml 5162098 YES 4.53/2.00 (CERTIFIED 0.0) MAYBE 24.29/8.28
TRS_Standard/AProVE_07/thiemann10.xml 5162099 YES 5.18/2.08 (CERTIFIED 0.0) YES 5.90/1.86 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/thiemann30.xml 5162100 MAYBE 400.12/291.53 MAYBE 23.93/7.37
TRS_Standard/AProVE_07/otto04.xml 5162101 YES 6.60/2.61 (CERTIFIED 0.0) MAYBE 34.37/12.18
TRS_Standard/AProVE_07/otto05.xml 5162102 YES 5.11/2.07 (CERTIFIED 0.0) YES 5.20/1.67 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/thiemann40.xml 5162103 YES 4.51/1.98 (CERTIFIED 0.0) YES 2.83/0.99 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/thiemann17.xml 5162104 YES 6.26/2.36 (CERTIFIED 0.0) YES 9.08/2.66 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/kabasci05.xml 5162105 YES 5.51/2.27 (CERTIFIED 0.0) YES 16.43/5.30 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/otto08.xml 5162106 YES 7.60/3.24 (CERTIFIED 0.0) MAYBE 18.36/7.35
TRS_Standard/AProVE_07/thiemann18.xml 5162107 YES 7.32/2.65 (CERTIFIED 0.0) YES 13.15/3.73 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/wiehe01.xml 5162108 run script error [out] YES 11.57/3.49 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/wiehe11.xml 5162109 YES 7.43/2.71 (CERTIFIED 0.0) YES 28.57/8.78 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/kabasci02.xml 5162110 YES 7.79/2.80 (CERTIFIED 0.0) YES 21.71/6.09 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/thiemann36.xml 5162111 YES 10.07/4.38 (CERTIFIED 0.1) MAYBE 50.83/16.88
TRS_Standard/AProVE_07/thiemann29.xml 5162112 YES 40.61/19.19 (CERTIFIED 0.1) MAYBE 118.60/42.34
TRS_Standard/AProVE_07/thiemann37.xml 5162113 YES 15.02/5.27 (CERTIFIED 0.3) MAYBE 38.08/13.81
TRS_Standard/AProVE_07/wiehe08.xml 5162114 YES 6.65/2.48 (CERTIFIED 0.0) YES 18.70/6.53 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/thiemann04.xml 5162115 YES 67.08/19.08 (CERTIFIED 0.2) MAYBE 69.82/25.27
TRS_Standard/AProVE_07/otto02.xml 5162116 YES 6.18/2.38 (CERTIFIED 0.0) MAYBE 29.46/10.46
TRS_Standard/AProVE_07/thiemann38.xml 5162117 YES 7.10/2.76 (CERTIFIED 0.0) MAYBE 40.64/15.10
TRS_Standard/AProVE_07/thiemann41.xml 5162118 YES 5.01/3.10 (CERTIFIED 0.0) MAYBE 27.67/9.72
TRS_Standard/AProVE_07/thiemann27.xml 5162119 YES 4.78/2.04 (CERTIFIED 0.0) MAYBE 23.90/8.09
TRS_Standard/AProVE_07/otto07.xml 5162120 YES 4.82/2.13 (CERTIFIED 0.0) MAYBE 24.60/8.50
TRS_Standard/AProVE_07/otto01.xml 5162121 YES 6.98/2.67 (CERTIFIED 0.1) MAYBE 53.88/18.53
TRS_Standard/AProVE_07/kabasci03.xml 5162122 run script error [out] YES 16.84/4.69 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/thiemann23.xml 5162123 YES 6.73/2.69 (CERTIFIED 0.0) MAYBE 29.87/10.68
TRS_Standard/AProVE_07/thiemann07.xml 5162124 YES 25.71/9.02 (CERTIFIED 0.0) MAYBE 115.68/42.35
TRS_Standard/AProVE_07/thiemann32.xml 5162125 YES 14.84/6.94 (CERTIFIED 0.1) MAYBE 130.57/42.35
TRS_Standard/AProVE_07/thiemann19.xml 5162126 YES 8.44/3.29 (CERTIFIED 0.0) MAYBE 42.56/15.84
TRS_Standard/AProVE_07/otto12.xml 5162127 YES 7.94/3.01 (CERTIFIED 0.0) MAYBE 37.27/13.29
TRS_Standard/AProVE_07/thiemann09.xml 5162128 YES 5.06/2.16 (CERTIFIED 0.0) MAYBE 37.63/12.88
TRS_Standard/AProVE_07/wiehe06.xml 5162129 YES 6.61/2.48 (CERTIFIED 0.0) YES 13.85/3.99 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/otto11.xml 5162130 YES 5.25/2.10 (CERTIFIED 0.0) MAYBE 26.12/8.99
TRS_Standard/AProVE_07/kabasci01.xml 5162131 YES 17.08/5.36 (CERTIFIED 0.1) YES 45.71/12.23 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/thiemann16.xml 5162132 YES 6.25/2.46 (CERTIFIED 0.0) YES 14.71/4.27 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/thiemann11.xml 5162133 YES 37.25/14.30 (CERTIFIED 0.0) MAYBE 131.77/42.34
TRS_Standard/AProVE_07/wiehe02.xml 5162134 YES 7.08/2.59 (CERTIFIED 0.0) YES 21.19/5.91 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/thiemann22.xml 5162135 YES 7.72/3.61 (CERTIFIED 0.0) MAYBE 131.40/42.33
TRS_Standard/AProVE_07/thiemann35.xml 5162136 YES 6.26/2.44 (CERTIFIED 0.0) MAYBE 61.00/19.98
TRS_Standard/AProVE_07/thiemann20.xml 5162137 MAYBE 805.47/291.49 MAYBE 102.83/42.33
TRS_Standard/AProVE_07/thiemann15.xml 5162138 YES 5.09/2.03 (CERTIFIED 0.0) run script error [out]
TRS_Standard/AProVE_07/wiehe09.xml 5162139 YES 6.73/2.52 (CERTIFIED 0.0) YES 13.60/3.95 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/wiehe05.xml 5162140 run script error [out] YES 14.30/4.24 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/wiehe12.xml 5162141 YES 7.94/2.84 (CERTIFIED 0.0) YES 27.86/7.62 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/thiemann28.xml 5162142 NO 15.55/7.93 (CERTIFIED 0.0) MAYBE 33.97/10.90
TRS_Standard/AProVE_07/kabasci04.xml 5162143 YES 4.79/2.10 (CERTIFIED 0.0) YES 9.12/2.77 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/thiemann13.xml 5162144 YES 20.61/7.64 (CERTIFIED 0.0) MAYBE 131.80/42.35
TRS_Standard/AProVE_07/thiemann06.xml 5162145 YES 20.68/6.44 (CERTIFIED 0.1) MAYBE 113.40/42.35
TRS_Standard/AProVE_07/otto10.xml 5162146 YES 6.38/2.45 (CERTIFIED 0.0) MAYBE 38.48/13.90
TRS_Standard/AProVE_07/thiemann12.xml 5162147 YES 5.21/2.10 (CERTIFIED 0.0) YES 6.48/2.01 (CERTIFIED 0.0)
TRS_Standard/AProVE_07/otto09.xml 5162148 YES 8.78/3.69 (CERTIFIED 0.0) MAYBE 17.97/7.34
TRS_Standard/AProVE_07/otto13.xml 5162149 YES 8.04/7.70 (CERTIFIED 0.2) MAYBE 43.77/16.36
TRS_Standard/AProVE_07/thiemann33.xml 5162150 YES 10.03/4.55 (CERTIFIED 0.1) MAYBE 32.67/11.51
TRS_Standard/AProVE_07/wiehe07.xml 5162151 MAYBE 882.26/296.55 MAYBE 29.89/8.49
TRS_Standard/AProVE_07/thiemann24.xml 5162152 YES 6.06/2.41 (CERTIFIED 0.0) MAYBE 34.32/12.24
TRS_Standard/AProVE_07/thiemann02.xml 5162153 YES 12.90/4.63 (CERTIFIED 0.1) MAYBE 89.57/29.98
TRS_Standard/AProVE_07/thiemann08.xml 5162154 YES 4.98/2.04 (CERTIFIED 0.0) YES 5.41/1.79 (CERTIFIED 0.0)
TRS_Standard/AProVE_06/nonterm.xml 5160976 NO 6.03/2.38 (CERTIFIED 0.0) NO 0.56/0.40 (CERTIFIED 0.0)
TRS_Standard/AProVE_06/modulo.xml 5160977 YES 14.39/10.33 (CERTIFIED 0.0) MAYBE 17.53/7.34
TRS_Standard/AProVE_06/div_notTermin.xml 5160978 MAYBE 651.51/291.52 MAYBE 127.01/42.35
TRS_Standard/AProVE_06/tower.xml 5160979 YES 5.06/2.08 (CERTIFIED 0.0) YES 9.62/2.80 (CERTIFIED 0.0)
TRS_Standard/AProVE_06/mapHard.xml 5160980 YES 7.76/2.80 (CERTIFIED 0.0) MAYBE 131.72/42.36
TRS_Standard/AProVE_06/tower_sizeChange.xml 5160981 YES 33.64/14.63 (CERTIFIED 0.0) MAYBE 53.82/21.90
TRS_Standard/AProVE_06/identity.xml 5160982 YES 5.81/2.49 (CERTIFIED 0.0) MAYBE 133.06/42.34
TRS_Standard/AProVE_06/logarithm.xml 5160983 YES 14.82/8.36 (CERTIFIED 0.0) MAYBE 127.94/42.35
TRS_Standard/AProVE_06/factorial1.xml 5160984 YES 5.14/2.03 (CERTIFIED 0.0) YES 9.10/2.70 (CERTIFIED 0.0)
TRS_Standard/AProVE_06/quot.xml 5160985 YES 9.38/8.81 (CERTIFIED 0.0) MAYBE 16.06/7.33
TRS_Standard/AProVE_06/factorial2.xml 5160986 YES 6.15/2.44 (CERTIFIED 0.0) MAYBE 27.57/8.68
TRS_Standard/AProVE_06/div_notCeTermin.xml 5160987 YES 13.54/5.72 (CERTIFIED 0.0) MAYBE 126.62/42.35
TRS_Standard/AProVE_06/quicksort.xml 5160988 YES 7.06/2.63 (CERTIFIED 0.0) YES 22.43/6.08 (CERTIFIED 0.0)
TRS_Standard/AProVE_06/sizeChange.xml 5160989 YES 3.90/1.83 (CERTIFIED 0.0) YES 2.83/1.04 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/t005.xml 5161749 YES 8.12/2.90 (CERTIFIED 0.1) YES 17.18/5.27 (CERTIFIED 0.1)
TRS_Standard/HirokawaMiddeldorp_04/t003.xml 5161750 YES 4.35/1.91 (CERTIFIED 0.0) YES 5.86/1.94 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/t011.xml 5161751 YES 3.52/1.64 (CERTIFIED 0.0) YES 0.92/0.49 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/t008.xml 5161752 YES 7.83/2.72 (CERTIFIED 0.0) YES 3.53/1.16 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/n006.xml 5161753 NO 3.21/1.55 (CERTIFIED 0.0) NO 0.30/0.31 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/n005.xml 5161754 NO 3.05/1.45 (CERTIFIED 0.0) NO 0.30/0.30 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/t004.xml 5161755 YES 7.48/2.60 (CERTIFIED 0.0) YES 4.97/1.51 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/n007.xml 5161756 NO 3.85/1.82 (CERTIFIED 0.0) NO 0.30/0.31 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/t013.xml 5161757 YES 4.37/1.95 (CERTIFIED 0.0) YES 4.22/1.35 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/t002.xml 5161758 YES 4.47/1.92 (CERTIFIED 0.0) MAYBE 13.49/7.33
TRS_Standard/HirokawaMiddeldorp_04/n002.xml 5161759 NO 3.30/1.57 (CERTIFIED 0.0) NO 0.30/0.30 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/t006.xml 5161760 YES 3.28/1.51 (CERTIFIED 0.0) YES 0.51/0.38 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/t001.xml 5161761 YES 4.64/2.10 (CERTIFIED 0.0) YES 8.61/2.62 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/t010.xml 5161762 YES 4.10/1.75 (CERTIFIED 0.0) YES 0.65/0.45 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/t007.xml 5161763 YES 4.00/1.76 (CERTIFIED 0.0) YES 0.62/0.43 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/t014.xml 5161764 YES 4.23/1.88 (CERTIFIED 0.0) YES 4.31/1.44 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/n003.xml 5161765 NO 5.89/2.30 (CERTIFIED 0.0) NO 0.30/0.31 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/t012.xml 5161766 YES 4.16/1.87 (CERTIFIED 0.0) YES 2.86/0.99 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/n004.xml 5161767 NO 6.45/2.36 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/t009.xml 5161768 YES 16.97/7.52 (CERTIFIED 0.1) MAYBE 144.14/42.43
TRS_Standard/HirokawaMiddeldorp_04/n008.xml 5161769 NO 5.50/2.28 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/HirokawaMiddeldorp_04/t000.xml 5161770 YES 4.23/1.79 (CERTIFIED 0.0) YES 1.40/0.66 (CERTIFIED 0.0)
TRS_Standard/GTSSK07/cade01.xml 5162069 YES 4.80/2.09 (CERTIFIED 0.0) MAYBE 25.24/8.85
TRS_Standard/GTSSK07/cade11.xml 5162070 YES 4.53/2.09 (CERTIFIED 0.0) MAYBE 31.75/11.49
TRS_Standard/GTSSK07/cade14.xml 5162071 YES 10.49/5.50 (CERTIFIED 0.2) MAYBE 35.75/13.11
TRS_Standard/GTSSK07/cade16.xml 5162072 YES 4.99/2.26 (CERTIFIED 0.0) MAYBE 33.64/12.19
TRS_Standard/GTSSK07/cade12t.xml 5162073 timeout (wallclock) [out] MAYBE 122.67/42.34
TRS_Standard/GTSSK07/cade09.xml 5162074 YES 4.84/2.15 (CERTIFIED 0.0) MAYBE 130.88/42.34
TRS_Standard/GTSSK07/cade10.xml 5162075 YES 5.02/2.14 (CERTIFIED 0.0) MAYBE 101.03/42.33
TRS_Standard/GTSSK07/cade06.xml 5162076 MAYBE 655.58/291.51 MAYBE 31.74/11.30
TRS_Standard/GTSSK07/cade03.xml 5162077 YES 4.96/2.20 (CERTIFIED 0.0) MAYBE 24.47/8.38
TRS_Standard/GTSSK07/cade04t.xml 5162078 MAYBE 345.99/291.56 MAYBE 12.64/7.33
TRS_Standard/GTSSK07/cade13t.xml 5162079 YES 5.33/2.24 (CERTIFIED 0.0) MAYBE 18.51/7.34
TRS_Standard/GTSSK07/cade05t.xml 5162080 YES 5.76/2.47 (CERTIFIED 0.1) MAYBE 65.64/21.72
TRS_Standard/GTSSK07/cade17.xml 5162081 timeout (wallclock) [out] MAYBE 132.63/42.34
TRS_Standard/GTSSK07/cade08.xml 5162082 MAYBE 661.92/291.88 MAYBE 32.00/11.38
TRS_Standard/GTSSK07/cade07.xml 5162083 MAYBE 334.53/242.30 MAYBE 31.98/11.10
TRS_Standard/GTSSK07/cade15.xml 5162084 YES 13.63/5.70 (CERTIFIED 0.1) MAYBE 60.76/20.26
TRS_Standard/Mixed_TRS/while2.xml 5161013 timeout (wallclock) [out] MAYBE 122.24/42.33
TRS_Standard/Mixed_TRS/motivation.xml 5161014 YES 3.84/1.72 (CERTIFIED 0.0) YES 2.16/0.82 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/jones1.xml 5161015 YES 3.38/1.57 (CERTIFIED 0.0) YES 0.53/0.38 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/jones5.xml 5161016 run script error [out] YES 0.71/0.43 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/beans.xml 5161017 YES 4.59/1.99 (CERTIFIED 0.0) MAYBE 144.50/42.34
TRS_Standard/Mixed_TRS/3.xml 5161018 YES 3.97/1.90 (CERTIFIED 0.0) YES 1.38/0.63 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/7.xml 5161019 YES 66.44/35.07 (CERTIFIED 0.1) MAYBE 43.32/16.13
TRS_Standard/Mixed_TRS/1.xml 5161020 YES 4.20/1.89 (CERTIFIED 0.0) YES 1.73/0.80 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/hydra.xml 5161021 YES 3.71/1.66 (CERTIFIED 0.0) YES 2.18/0.82 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/minsort.xml 5161022 MAYBE 657.95/291.52 MAYBE 46.74/15.62
TRS_Standard/Mixed_TRS/while.xml 5161023 YES 4.27/1.93 (CERTIFIED 0.0) MAYBE 17.48/7.33
TRS_Standard/Mixed_TRS/jones4.xml 5161024 YES 3.62/1.71 (CERTIFIED 0.0) YES 0.48/0.37 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/gcdMinMax.xml 5161025 YES 4.80/1.99 (CERTIFIED 0.0) MAYBE 70.46/23.03
TRS_Standard/Mixed_TRS/Ex1_Luc04b_GM.xml 5161026 YES 6.24/2.83 (CERTIFIED 0.0) YES 20.75/5.69 (CERTIFIED 0.1)
TRS_Standard/Mixed_TRS/hydra-Zantema06.xml 5161027 MAYBE 666.11/291.50 MAYBE 128.86/42.34
TRS_Standard/Mixed_TRS/5.xml 5161028 YES 3.83/1.76 (CERTIFIED 0.0) YES 0.93/0.53 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/jones2.xml 5161029 YES 3.54/1.67 (CERTIFIED 0.0) YES 2.16/0.80 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/2.xml 5161030 YES 4.27/1.91 (CERTIFIED 0.0) YES 2.88/1.03 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/div_hard.xml 5161031 MAYBE 547.55/291.50 MAYBE 20.49/7.34
TRS_Standard/Mixed_TRS/jones6.xml 5161032 YES 3.62/1.73 (CERTIFIED 0.0) YES 1.68/0.68 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/test1.xml 5161033 YES 3.80/1.84 (CERTIFIED 0.0) YES 1.24/0.58 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/6.xml 5161034 MAYBE 340.05/291.49 MAYBE 21.72/7.32
TRS_Standard/Mixed_TRS/fossacs.xml 5161035 MAYBE 669.85/291.48 run script error [out]
TRS_Standard/Mixed_TRS/sigma.xml 5161036 timeout (wallclock) [out] MAYBE 31.58/10.09
TRS_Standard/Mixed_TRS/gcd.xml 5161037 YES 4.61/1.97 (CERTIFIED 0.0) YES 6.80/2.09 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/4.xml 5161038 YES 4.31/1.99 (CERTIFIED 0.0) YES 1.43/0.77 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/perfect.xml 5161039 YES 3.87/1.78 (CERTIFIED 0.0) YES 3.86/1.38 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/gcd_triple.xml 5161040 YES 5.98/2.40 (CERTIFIED 0.0) YES 11.28/3.31 (CERTIFIED 0.0)
TRS_Standard/Mixed_TRS/perfect2.xml 5161041 YES 4.62/1.95 (CERTIFIED 0.0) YES 6.21/1.97 (CERTIFIED 0.0)
TRS_Standard/Hydras/lepper_8.xml 5162155 MAYBE 1065.33/297.60 MAYBE 148.60/43.20
TRS_Standard/Hydras/worm_wrong.xml 5162156 YES 55.04/20.12 (CERTIFIED 0.0) YES 25.05/8.15 (CERTIFIED 0.0)
TRS_Standard/Hydras/lepper_4.xml 5162157 MAYBE 1019.03/300.09 MAYBE 137.59/42.52
TRS_Standard/Hydras/lepper_2.xml 5162158 NO 154.83/53.38 (CERTIFIED 0.0) MAYBE 120.43/42.40
TRS_Standard/Hydras/worm_fixed2.xml 5162159 timeout (wallclock) [out] MAYBE 131.12/42.34
TRS_Standard/Hydras/hydra_touzet.xml 5162160 MAYBE 646.17/292.25 MAYBE 82.05/27.16
TRS_Standard/Hydras/hydra_buchholz.xml 5162161 timeout (wallclock) [out] MAYBE 40.13/12.98
TRS_Standard/Hydras/lepper_0.xml 5162162 timeout (wallclock) [out] MAYBE 81.51/28.09
TRS_Standard/Hydras/lepper_5.xml 5162163 timeout (wallclock) [out] MAYBE 146.68/42.63
TRS_Standard/Hydras/lepper_9.xml 5162164 timeout (wallclock) [out] MAYBE 147.33/43.50
TRS_Standard/Hydras/worm_fixed.xml 5162165 MAYBE 886.86/291.55 MAYBE 55.44/17.58
TRS_Standard/Hydras/worm_fixed3.xml 5162166 timeout (wallclock) [out] MAYBE 131.81/42.35
TRS_Standard/Hydras/lepper_6.xml 5162167 timeout (wallclock) [out] MAYBE 147.44/42.76
TRS_Standard/Hydras/lepper_10.xml 5162168 timeout (wallclock) [out] MAYBE 144.94/43.87
TRS_Standard/Hydras/goodstein.xml 5162169 timeout (wallclock) [out] MAYBE 90.21/28.60
TRS_Standard/Hydras/lepper_3.xml 5162170 NO 572.91/180.66 (CERTIFIED 0.1) MAYBE 130.63/42.46
TRS_Standard/Hydras/lepper_1.xml 5162171 timeout (wallclock) [out] MAYBE 92.95/29.90
TRS_Standard/Der95/03.xml 5161190 YES 3.39/1.52 (CERTIFIED 0.0) YES 0.85/0.47 (CERTIFIED 0.0)
TRS_Standard/Der95/01.xml 5161191 YES 3.47/1.60 (CERTIFIED 0.0) YES 0.48/0.38 (CERTIFIED 0.0)
TRS_Standard/Der95/12.xml 5161192 YES 3.75/1.70 (CERTIFIED 0.0) YES 3.42/1.21 (CERTIFIED 0.0)
TRS_Standard/Der95/27.xml 5161193 run script error [out] YES 0.57/0.40 (CERTIFIED 0.0)
TRS_Standard/Der95/06.xml 5161194 YES 6.28/2.42 (CERTIFIED 0.0) YES 1.35/0.59 (CERTIFIED 0.0)
TRS_Standard/Der95/02.xml 5161195 YES 3.52/1.59 (CERTIFIED 0.0) YES 0.46/0.37 (CERTIFIED 0.0)
TRS_Standard/Der95/13.xml 5161196 YES 27.65/13.15 (CERTIFIED 0.0) MAYBE 27.43/8.35
TRS_Standard/Der95/20.xml 5161197 YES 3.59/1.65 (CERTIFIED 0.0) YES 0.55/0.40 (CERTIFIED 0.0)
TRS_Standard/Der95/04.xml 5161198 YES 4.40/1.83 (CERTIFIED 0.0) YES 0.85/0.48 (CERTIFIED 0.0)
TRS_Standard/Der95/17.xml 5161199 YES 3.35/1.54 (CERTIFIED 0.0) YES 0.50/0.38 (CERTIFIED 0.0)
TRS_Standard/Der95/08.xml 5161200 YES 3.70/1.69 (CERTIFIED 0.0) YES 17.24/5.49 (CERTIFIED 0.0)
TRS_Standard/Der95/28.xml 5161201 YES 3.55/1.68 (CERTIFIED 0.0) YES 1.99/0.78 (CERTIFIED 0.0)
TRS_Standard/Der95/09.xml 5161202 YES 3.01/1.51 (CERTIFIED 0.0) YES 0.49/0.37 (CERTIFIED 0.0)
TRS_Standard/Der95/33.xml 5161203 MAYBE 911.02/292.43 MAYBE 133.06/42.33
TRS_Standard/Der95/11.xml 5161204 YES 4.10/1.79 (CERTIFIED 0.0) YES 17.37/5.57 (CERTIFIED 0.0)
TRS_Standard/Der95/07.xml 5161205 YES 10.68/3.48 (CERTIFIED 0.0) YES 0.96/0.50 (CERTIFIED 0.0)
TRS_Standard/Der95/18.xml 5161206 YES 3.54/1.69 (CERTIFIED 0.0) YES 1.59/0.68 (CERTIFIED 0.0)
TRS_Standard/Der95/21.xml 5161207 YES 3.77/1.72 (CERTIFIED 0.0) YES 3.20/1.13 (CERTIFIED 0.0)
TRS_Standard/Der95/31.xml 5161208 YES 3.78/1.77 (CERTIFIED 0.0) YES 2.97/1.03 (CERTIFIED 0.0)
TRS_Standard/Der95/30.xml 5161209 timeout (wallclock) [out] YES 3.64/1.19 (CERTIFIED 0.0)
TRS_Standard/Der95/32.xml 5161210 YES 3.82/1.75 (CERTIFIED 0.0) YES 3.42/1.19 (CERTIFIED 0.0)
TRS_Standard/CiME_04/filliatre2.xml 5161771 YES 4.18/1.79 (CERTIFIED 0.0) YES 7.71/2.24 (CERTIFIED 0.0)
TRS_Standard/CiME_04/tree.xml 5161772 YES 5.33/2.14 (CERTIFIED 0.0) YES 31.00/8.28 (CERTIFIED 0.0)
TRS_Standard/CiME_04/boolean_rings.xml 5161773 YES 3.83/1.76 (CERTIFIED 0.0) YES 2.43/0.90 (CERTIFIED 0.0)
TRS_Standard/CiME_04/intersect.xml 5161774 YES 4.48/2.15 (CERTIFIED 0.0) YES 7.63/2.32 (CERTIFIED 0.0)
TRS_Standard/CiME_04/append-hard.xml 5161775 YES 4.40/1.96 (CERTIFIED 0.0) YES 2.75/0.96 (CERTIFIED 0.0)
TRS_Standard/CiME_04/ack_prolog.xml 5161776 YES 3.76/1.80 (CERTIFIED 0.0) YES 2.97/1.07 (CERTIFIED 0.0)
TRS_Standard/CiME_04/ternary-hard.xml 5161777 YES 4.91/5.34 (CERTIFIED 0.0) YES 13.84/4.15 (CERTIFIED 0.0)
TRS_Standard/CiME_04/filliatre.xml 5161778 YES 5.48/2.13 (CERTIFIED 0.0) YES 6.75/1.99 (CERTIFIED 0.0)
TRS_Standard/CiME_04/append.xml 5161779 YES 3.67/1.71 (CERTIFIED 0.0) YES 2.30/0.88 (CERTIFIED 0.0)
TRS_Standard/CiME_04/fact-hard.xml 5161780 YES 6.38/3.44 (CERTIFIED 0.0) MAYBE 93.21/42.34
TRS_Standard/CiME_04/list-sum-prod-bin-assoc.xml 5161781 YES 4.22/1.87 (CERTIFIED 0.0) YES 9.87/2.94 (CERTIFIED 0.0)
TRS_Standard/CiME_04/list-sum-prod-assoc-append.xml 5161782 YES 3.70/1.75 (CERTIFIED 0.0) YES 8.71/2.80 (CERTIFIED 0.0)
TRS_Standard/CiME_04/dpqs.xml 5161783 YES 4.40/1.81 (CERTIFIED 0.0) YES 1.23/0.57 (CERTIFIED 0.0)
TRS_Standard/CiME_04/ternary.xml 5161784 YES 5.03/2.02 (CERTIFIED 0.0) YES 12.89/3.71 (CERTIFIED 0.0)
TRS_Standard/CiME_04/filliatre3.xml 5161785 YES 4.46/2.00 (CERTIFIED 0.0) YES 14.27/3.97 (CERTIFIED 0.0)
TRS_Standard/CiME_04/list-sum-prod.xml 5161786 YES 3.83/1.80 (CERTIFIED 0.0) YES 9.92/3.72 (CERTIFIED 0.0)
TRS_Standard/CiME_04/lse.xml 5161787 YES 4.69/1.98 (CERTIFIED 0.0) YES 12.23/3.54 (CERTIFIED 0.0)
TRS_Standard/CiME_04/mucrl1.xml 5161788 YES 7.61/3.31 (CERTIFIED 0.1) YES 29.12/8.34 (CERTIFIED 0.1)
TRS_Standard/CiME_04/maude2.xml 5161789 timeout (wallclock) [out] MAYBE 51.68/18.53
TRS_Standard/CiME_04/log2.xml 5161790 YES 6.04/3.54 (CERTIFIED 0.0) YES 28.58/7.65 (CERTIFIED 0.1)
TRS_Standard/CiME_04/append-wrong.xml 5161791 NO 5.50/2.21 (CERTIFIED 0.0) NO 0.60/0.48 (CERTIFIED 0.0)
TRS_Standard/CiME_04/list-sum-prod-assoc.xml 5161792 YES 4.04/1.83 (CERTIFIED 0.0) YES 7.00/2.14 (CERTIFIED 0.0)
TRS_Standard/CiME_04/list-sum-prod-bin.xml 5161793 YES 4.17/1.83 (CERTIFIED 0.0) YES 9.89/2.91 (CERTIFIED 0.0)
TRS_Standard/CiME_04/big.xml 5161794 YES 6.24/2.45 (CERTIFIED 0.0) YES 29.72/8.71 (CERTIFIED 0.0)
TRS_Standard/CiME_04/list-sum-prod-bin-assoc-distr-app.xml 5161795 YES 4.73/2.02 (CERTIFIED 0.0) YES 15.93/4.60 (CERTIFIED 0.0)
TRS_Standard/Endrullis_06/linear1.xml 5161178 YES 4.56/2.10 (CERTIFIED 0.0) YES 2.68/0.94 (CERTIFIED 0.0)
TRS_Standard/Endrullis_06/linear2.xml 5161179 YES 12.89/4.17 (CERTIFIED 0.0) YES 30.89/8.36 (CERTIFIED 0.0)
TRS_Standard/Endrullis_06/pair3hard.xml 5161180 YES 9.47/3.47 (CERTIFIED 0.0) MAYBE 101.50/42.34
TRS_Standard/Endrullis_06/pair3rotate.xml 5161181 YES 4.90/2.08 (CERTIFIED 0.0) YES 24.55/6.44 (CERTIFIED 0.0)
TRS_Standard/Endrullis_06/pair2simple2.xml 5161182 YES 4.49/1.97 (CERTIFIED 0.0) MAYBE 63.96/21.59
TRS_Standard/Endrullis_06/pair2hard.xml 5161183 YES 90.05/38.41 (CERTIFIED 0.0) YES 22.58/7.03 (CERTIFIED 0.0)
TRS_Standard/Endrullis_06/direct.xml 5161184 YES 4.68/2.72 (CERTIFIED 0.0) YES 1.53/0.64 (CERTIFIED 0.0)
TRS_Standard/Endrullis_06/pair2simple1.xml 5161185 YES 3.66/1.68 (CERTIFIED 0.0) YES 6.75/2.03 (CERTIFIED 0.0)
TRS_Standard/Endrullis_06/labeling.xml 5161186 YES 15.81/5.28 (CERTIFIED 0.2) MAYBE 5.46/2.08
TRS_Standard/Endrullis_06/quadruple2.xml 5161187 YES 18.51/9.91 (CERTIFIED 0.1) YES 1.83/0.71 (CERTIFIED 0.0)
TRS_Standard/Endrullis_06/pair3swap.xml 5161188 YES 5.39/2.11 (CERTIFIED 0.0) YES 22.95/6.74 (CERTIFIED 0.0)
TRS_Standard/Endrullis_06/quadruple1.xml 5161189 YES 4.69/2.20 (CERTIFIED 0.0) YES 20.84/5.49 (CERTIFIED 0.0)
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_5.xml 5162006 MAYBE 651.79/291.50 MAYBE 132.12/42.34
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swap_decr.xml 5162007 NO 32.57/12.07 (CERTIFIED 0.0) MAYBE 29.65/10.54
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex6_1.xml 5162008 NO 31.88/11.90 (CERTIFIED 0.0) MAYBE 14.44/7.33
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_1.xml 5162009 NO 23.37/12.23 (CERTIFIED 0.0) MAYBE 18.56/7.33
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isList-List.xml 5162010 MAYBE 669.73/291.46 MAYBE 15.80/7.33
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isDNat.xml 5162011 NO 36.59/11.79 (CERTIFIED 0.0) MAYBE 27.27/9.80
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_4.xml 5162012 NO 67.29/22.92 (CERTIFIED 0.1) MAYBE 39.00/14.44
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_5.xml 5162013 NO 70.09/24.14 (CERTIFIED 0.1) MAYBE 45.73/15.14
TRS_Standard/EEG_IJCAR_12/enger-nonloop-add.xml 5162014 NO 29.07/12.85 (CERTIFIED 0.0) MAYBE 38.89/12.35
TRS_Standard/EEG_IJCAR_12/rybalchenko-nonloop-popl08.xml 5162015 run script error [out] MAYBE 131.06/42.37
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_2.xml 5162016 MAYBE 428.30/291.47 MAYBE 111.34/42.34
TRS_Standard/EEG_IJCAR_12/enger-nonloop-toOne.xml 5162017 NO 37.10/12.48 (CERTIFIED 0.0) MAYBE 130.53/42.33
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_2.xml 5162018 MAYBE 640.97/291.49 MAYBE 98.66/42.33
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_1.xml 5162019 run script error [out] MAYBE 36.13/11.53
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_4.xml 5162020 MAYBE 630.01/291.50 MAYBE 33.16/11.98
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_5.xml 5162021 NO 39.84/12.52 (CERTIFIED 0.0) MAYBE 17.38/7.33
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_1.xml 5162022 MAYBE 684.56/291.46 MAYBE 39.55/13.58
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isTrueList.xml 5162023 NO 29.64/11.70 (CERTIFIED 0.0) MAYBE 22.83/7.67
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_1.xml 5162024 MAYBE 426.20/291.47 MAYBE 130.75/42.33
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_2.xml 5162025 NO 36.61/12.94 (CERTIFIED 0.1) MAYBE 95.29/42.33
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_4.xml 5162026 MAYBE 425.96/291.47 MAYBE 119.19/42.34
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_4.xml 5162027 NO 22.87/12.43 (CERTIFIED 0.0) MAYBE 18.76/7.34
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_6.xml 5162028 MAYBE 658.12/291.52 MAYBE 132.04/42.34
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_2.xml 5162029 NO 30.40/13.33 (CERTIFIED 0.0) MAYBE 89.37/42.34
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isList.xml 5162030 NO 28.97/11.78 (CERTIFIED 0.0) MAYBE 18.79/7.34
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_3.xml 5162031 MAYBE 647.29/292.07 MAYBE 131.58/42.34
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swapXY.xml 5162032 NO 38.39/12.18 (CERTIFIED 0.0) run script error [out]
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_1.xml 5162033 NO 35.59/15.65 (CERTIFIED 0.0) MAYBE 115.97/42.34
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_1.xml 5162034 NO 36.71/12.39 (CERTIFIED 0.0) MAYBE 24.43/7.33
TRS_Standard/EEG_IJCAR_12/enger-nonloop-addTrue.xml 5162035 NO 33.87/13.00 (CERTIFIED 0.0) MAYBE 40.79/12.51
TRS_Standard/EEG_IJCAR_12/enger-nonloop-while-lt.xml 5162036 NO 37.03/11.76 (CERTIFIED 0.0) MAYBE 19.92/7.33
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_2.xml 5162037 NO 32.67/12.57 (CERTIFIED 0.0) MAYBE 12.55/7.33
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_9.xml 5162038 MAYBE 431.46/291.49 MAYBE 117.14/42.35
TRS_Standard/EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.xml 5162039 NO 35.21/12.46 (CERTIFIED 0.0) MAYBE 128.28/42.35
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swapXY2.xml 5162040 NO 29.60/11.83 (CERTIFIED 0.0) MAYBE 17.12/7.34
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_7.xml 5162041 MAYBE 429.93/291.48 MAYBE 119.20/42.33
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_4.xml 5162042 NO 38.73/12.23 (CERTIFIED 0.0) MAYBE 16.26/7.33
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_3.xml 5162043 NO 38.32/16.27 (CERTIFIED 0.0) MAYBE 27.13/7.50
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex6_2.xml 5162044 NO 33.42/11.95 (CERTIFIED 0.0) MAYBE 22.40/7.34
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_2.xml 5162045 NO 31.68/13.62 (CERTIFIED 0.0) MAYBE 131.18/42.34
TRS_Standard/EEG_IJCAR_12/enger-nonloop-ex_payet.xml 5162046 MAYBE 339.72/291.48 MAYBE 29.81/8.91
TRS_Standard/EEG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.xml 5162047 MAYBE 930.60/292.25 MAYBE 128.48/42.35
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swapX.xml 5162048 NO 37.64/12.30 (CERTIFIED 0.0) MAYBE 25.59/8.85
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_3.xml 5162049 NO 36.32/15.44 (CERTIFIED 0.1) MAYBE 91.42/42.34
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_3.xml 5162050 MAYBE 640.11/291.48 MAYBE 98.69/42.35
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_3.xml 5162051 NO 33.62/12.41 (CERTIFIED 0.0) MAYBE 19.06/7.33
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_8.xml 5162052 MAYBE 637.21/291.49 MAYBE 131.64/42.33
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_3.xml 5162053 MAYBE 679.81/292.25 MAYBE 25.13/8.36
TRS_Standard/EEG_IJCAR_12/enger-nonloop-unbounded.xml 5162054 NO 36.92/12.11 (CERTIFIED 0.0) MAYBE 30.47/11.09
TRS_Standard/SK90/2.49.xml 5160855 YES 4.87/2.01 (CERTIFIED 0.0) YES 1.19/0.57 (CERTIFIED 0.0)
TRS_Standard/SK90/4.03.xml 5160856 YES 3.85/1.83 (CERTIFIED 0.0) YES 3.07/1.06 (CERTIFIED 0.0)
TRS_Standard/SK90/2.60.xml 5160857 YES 3.49/1.57 (CERTIFIED 0.0) YES 0.66/0.41 (CERTIFIED 0.0)
TRS_Standard/SK90/4.12.xml 5160858 YES 3.64/1.67 (CERTIFIED 0.0) YES 1.61/0.66 (CERTIFIED 0.0)
TRS_Standard/SK90/2.45.xml 5160859 YES 4.01/1.85 (CERTIFIED 0.0) YES 14.85/5.31 (CERTIFIED 0.0)
TRS_Standard/SK90/2.15.xml 5160860 YES 3.62/1.64 (CERTIFIED 0.0) YES 1.53/0.65 (CERTIFIED 0.0)
TRS_Standard/SK90/4.44.xml 5160861 YES 3.44/2.66 (CERTIFIED 0.0) YES 1.36/0.62 (CERTIFIED 0.0)
TRS_Standard/SK90/4.39.xml 5160862 YES 3.37/1.54 (CERTIFIED 0.0) YES 0.89/0.47 (CERTIFIED 0.0)
TRS_Standard/SK90/2.40.xml 5160863 YES 3.78/1.69 (CERTIFIED 0.0) YES 1.92/0.76 (CERTIFIED 0.0)
TRS_Standard/SK90/4.41.xml 5160864 YES 3.71/1.82 (CERTIFIED 0.0) YES 1.15/0.56 (CERTIFIED 0.0)
TRS_Standard/SK90/2.47.xml 5160865 YES 5.83/2.30 (CERTIFIED 0.0) YES 0.85/0.46 (CERTIFIED 0.0)
TRS_Standard/SK90/4.37.xml 5160866 YES 3.63/1.60 (CERTIFIED 0.0) YES 0.93/0.49 (CERTIFIED 0.0)
TRS_Standard/SK90/4.50.xml 5160867 YES 3.49/1.63 (CERTIFIED 0.0) YES 0.50/0.37 (CERTIFIED 0.0)
TRS_Standard/SK90/4.19.xml 5160868 run script error [out] YES 0.52/0.39 (CERTIFIED 0.0)
TRS_Standard/SK90/2.22.xml 5160869 YES 3.64/2.08 (CERTIFIED 0.0) YES 3.09/1.11 (CERTIFIED 0.0)
TRS_Standard/SK90/2.08.xml 5160870 YES 3.58/1.65 (CERTIFIED 0.0) YES 3.26/1.12 (CERTIFIED 0.0)
TRS_Standard/SK90/4.10.xml 5160871 YES 3.77/1.67 (CERTIFIED 0.0) YES 2.40/0.90 (CERTIFIED 0.0)
TRS_Standard/SK90/4.26.xml 5160872 YES 4.29/1.82 (CERTIFIED 0.0) YES 5.07/1.57 (CERTIFIED 0.0)
TRS_Standard/SK90/2.59.xml 5160873 YES 3.47/1.69 (CERTIFIED 0.0) YES 2.05/0.84 (CERTIFIED 0.0)
TRS_Standard/SK90/2.27.xml 5160874 YES 3.66/1.71 (CERTIFIED 0.0) YES 3.71/1.22 (CERTIFIED 0.0)
TRS_Standard/SK90/4.57.xml 5160875 YES 3.95/1.76 (CERTIFIED 0.0) YES 2.58/0.99 (CERTIFIED 0.0)
TRS_Standard/SK90/2.57.xml 5160876 YES 3.39/1.57 (CERTIFIED 0.0) YES 0.83/0.45 (CERTIFIED 0.0)
TRS_Standard/SK90/4.60.xml 5160877 YES 4.01/1.81 (CERTIFIED 0.0) YES 5.92/2.09 (CERTIFIED 0.0)
TRS_Standard/SK90/2.31.xml 5160878 YES 3.30/1.53 (CERTIFIED 0.0) YES 0.47/0.37 (CERTIFIED 0.0)
TRS_Standard/SK90/2.46.xml 5160879 YES 10.82/3.49 (CERTIFIED 0.0) YES 0.77/0.44 (CERTIFIED 0.0)
TRS_Standard/SK90/4.28.xml 5160880 YES 4.38/1.93 (CERTIFIED 0.0) YES 9.75/3.28 (CERTIFIED 0.0)
TRS_Standard/SK90/4.46.xml 5160881 YES 3.17/1.49 (CERTIFIED 0.0) run script error [out]
TRS_Standard/SK90/2.52.xml 5160882 YES 4.09/1.90 (CERTIFIED 0.0) YES 5.33/1.75 (CERTIFIED 0.0)
TRS_Standard/SK90/2.03.xml 5160883 YES 3.32/1.60 (CERTIFIED 0.0) YES 0.61/0.41 (CERTIFIED 0.0)
TRS_Standard/SK90/2.33.xml 5160884 run script error [out] YES 0.52/0.38 (CERTIFIED 0.0)
TRS_Standard/SK90/4.14.xml 5160885 YES 3.86/1.77 (CERTIFIED 0.0) YES 4.31/1.43 (CERTIFIED 0.0)
TRS_Standard/SK90/4.20.xml 5160886 YES 3.92/1.71 (CERTIFIED 0.0) YES 2.23/0.87 (CERTIFIED 0.0)
TRS_Standard/SK90/4.13.xml 5160887 YES 3.77/1.73 (CERTIFIED 0.0) YES 3.39/1.23 (CERTIFIED 0.0)
TRS_Standard/SK90/4.11.xml 5160888 YES 3.45/1.61 (CERTIFIED 0.0) YES 0.47/0.37 (CERTIFIED 0.0)
TRS_Standard/SK90/4.53.xml 5160889 YES 3.41/1.65 (CERTIFIED 0.0) YES 17.47/5.51 (CERTIFIED 0.0)
TRS_Standard/SK90/2.38.xml 5160890 YES 3.63/1.60 (CERTIFIED 0.0) YES 0.54/0.39 (CERTIFIED 0.0)
TRS_Standard/SK90/4.06.xml 5160891 NO 4.91/2.23 (CERTIFIED 0.0) NO 0.41/0.36 (CERTIFIED 0.0)
TRS_Standard/SK90/2.25.xml 5160892 YES 3.55/1.65 (CERTIFIED 0.0) YES 2.74/0.97 (CERTIFIED 0.0)
TRS_Standard/SK90/2.12.xml 5160893 YES 3.77/1.68 (CERTIFIED 0.0) YES 3.75/1.31 (CERTIFIED 0.0)
TRS_Standard/SK90/4.54.xml 5160894 NO 7.06/2.65 (CERTIFIED 0.0) NO 0.46/0.38 (CERTIFIED 0.0)
TRS_Standard/SK90/2.50.xml 5160895 YES 5.95/2.35 (CERTIFIED 0.0) YES 1.11/0.55 (CERTIFIED 0.0)
TRS_Standard/SK90/4.34.xml 5160896 NO 3.21/1.56 (CERTIFIED 0.0) NO 1.63/0.67 (CERTIFIED 0.0)
TRS_Standard/SK90/4.47.xml 5160897 YES 4.75/2.09 (CERTIFIED 0.0) YES 1.68/0.71 (CERTIFIED 0.0)
TRS_Standard/SK90/4.52.xml 5160898 YES 3.11/1.51 (CERTIFIED 0.0) YES 0.51/0.39 (CERTIFIED 0.0)
TRS_Standard/SK90/2.07.xml 5160899 YES 3.50/1.65 (CERTIFIED 0.0) YES 2.82/1.00 (CERTIFIED 0.0)
TRS_Standard/SK90/2.42.xml 5160900 YES 4.01/1.84 (CERTIFIED 0.0) YES 2.81/0.98 (CERTIFIED 0.0)
TRS_Standard/SK90/2.09.xml 5160901 YES 3.39/1.63 (CERTIFIED 0.0) YES 0.50/0.38 (CERTIFIED 0.0)
TRS_Standard/SK90/4.48.xml 5160902 YES 3.38/1.52 (CERTIFIED 0.0) YES 0.47/0.38 (CERTIFIED 0.0)
TRS_Standard/SK90/2.17.xml 5160903 YES 3.71/1.74 (CERTIFIED 0.0) YES 1.42/0.62 (CERTIFIED 0.0)
TRS_Standard/SK90/2.06.xml 5160904 run script error [out] YES 2.17/0.82 (CERTIFIED 0.0)
TRS_Standard/SK90/4.30.xml 5160905 YES 4.66/1.94 (CERTIFIED 0.0) YES 6.27/1.85 (CERTIFIED 0.0)
TRS_Standard/SK90/2.39.xml 5160906 YES 4.44/1.90 (CERTIFIED 0.0) YES 2.55/0.92 (CERTIFIED 0.0)
TRS_Standard/SK90/2.35.xml 5160907 YES 3.78/1.78 (CERTIFIED 0.0) YES 1.82/0.73 (CERTIFIED 0.0)
TRS_Standard/SK90/4.01.xml 5160908 YES 3.37/1.61 (CERTIFIED 0.0) YES 0.44/0.36 (CERTIFIED 0.0)
TRS_Standard/SK90/2.29.xml 5160909 YES 3.91/2.35 (CERTIFIED 0.0) YES 4.06/1.45 (CERTIFIED 0.0)
TRS_Standard/SK90/4.02.xml 5160910 YES 3.80/2.29 (CERTIFIED 0.0) MAYBE 67.16/26.34
TRS_Standard/SK90/4.27.xml 5160911 YES 4.30/1.94 (CERTIFIED 0.0) YES 4.40/1.40 (CERTIFIED 0.0)
TRS_Standard/SK90/4.61.xml 5160912 run script error [out] YES 12.84/3.78 (CERTIFIED 0.0)
TRS_Standard/SK90/4.49.xml 5160913 NO 4.44/2.01 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/SK90/4.09.xml 5160914 YES 3.54/1.68 (CERTIFIED 0.0) YES 3.02/1.03 (CERTIFIED 0.0)
TRS_Standard/SK90/4.29.xml 5160915 YES 3.52/1.56 (CERTIFIED 0.0) YES 0.54/0.39 (CERTIFIED 0.0)
TRS_Standard/SK90/2.37.xml 5160916 YES 3.43/1.62 (CERTIFIED 0.0) YES 0.70/0.43 (CERTIFIED 0.0)
TRS_Standard/SK90/4.07.xml 5160917 YES 3.35/1.60 (CERTIFIED 0.0) YES 0.45/0.37 (CERTIFIED 0.0)
TRS_Standard/SK90/4.45.xml 5160918 YES 3.31/1.51 (CERTIFIED 0.0) YES 0.52/0.38 (CERTIFIED 0.0)
TRS_Standard/SK90/2.54.xml 5160919 YES 3.61/1.63 (CERTIFIED 0.0) YES 0.96/0.49 (CERTIFIED 0.0)
TRS_Standard/SK90/2.32.xml 5160920 YES 3.94/1.80 (CERTIFIED 0.0) YES 1.98/0.78 (CERTIFIED 0.0)
TRS_Standard/SK90/4.16.xml 5160921 YES 3.76/1.71 (CERTIFIED 0.0) YES 1.90/0.75 (CERTIFIED 0.0)
TRS_Standard/SK90/4.55.xml 5160922 run script error [out] YES 0.82/0.48 (CERTIFIED 0.0)
TRS_Standard/SK90/4.31.xml 5160923 YES 3.89/1.72 (CERTIFIED 0.0) YES 3.70/1.24 (CERTIFIED 0.0)
TRS_Standard/SK90/4.08.xml 5160924 YES 3.65/1.63 (CERTIFIED 0.0) YES 1.15/0.55 (CERTIFIED 0.0)
TRS_Standard/SK90/2.13.xml 5160925 YES 4.07/1.82 (CERTIFIED 0.0) YES 2.98/1.03 (CERTIFIED 0.0)
TRS_Standard/SK90/4.18.xml 5160926 YES 3.81/1.69 (CERTIFIED 0.0) YES 2.27/0.89 (CERTIFIED 0.0)
TRS_Standard/SK90/2.20.xml 5160927 YES 3.44/1.65 (CERTIFIED 0.0) YES 1.70/0.69 (CERTIFIED 0.0)
TRS_Standard/SK90/2.55.xml 5160928 YES 3.61/1.64 (CERTIFIED 0.0) YES 1.01/0.51 (CERTIFIED 0.0)
TRS_Standard/SK90/4.05.xml 5160929 YES 3.57/3.71 (CERTIFIED 0.0) YES 2.10/0.83 (CERTIFIED 0.0)
TRS_Standard/SK90/2.05.xml 5160930 NO 6.09/2.33 (CERTIFIED 0.0) NO 0.42/0.38 (CERTIFIED 0.0)
TRS_Standard/SK90/4.21.xml 5160931 YES 3.76/1.78 (CERTIFIED 0.0) YES 2.98/1.07 (CERTIFIED 0.0)
TRS_Standard/SK90/4.36.xml 5160932 YES 3.41/1.55 (CERTIFIED 0.0) YES 1.48/0.63 (CERTIFIED 0.0)
TRS_Standard/SK90/4.22.xml 5160933 YES 3.75/1.69 (CERTIFIED 0.0) YES 3.06/1.12 (CERTIFIED 0.0)
TRS_Standard/SK90/2.56.xml 5160934 YES 3.54/1.69 (CERTIFIED 0.0) YES 0.43/0.36 (CERTIFIED 0.0)
TRS_Standard/SK90/4.43.xml 5160935 YES 3.78/1.68 (CERTIFIED 0.0) YES 4.98/1.54 (CERTIFIED 0.0)
TRS_Standard/SK90/4.32.xml 5160936 YES 26.31/7.47 (CERTIFIED 0.0) YES 10.63/2.93 (CERTIFIED 0.0)
TRS_Standard/SK90/2.44.xml 5160937 YES 4.10/1.81 (CERTIFIED 0.0) YES 5.11/1.57 (CERTIFIED 0.0)
TRS_Standard/SK90/4.25.xml 5160938 YES 3.54/2.53 (CERTIFIED 0.0) YES 0.50/0.37 (CERTIFIED 0.0)
TRS_Standard/SK90/2.43.xml 5160939 YES 3.98/1.72 (CERTIFIED 0.0) YES 4.73/1.51 (CERTIFIED 0.0)
TRS_Standard/SK90/2.58.xml 5160940 YES 3.76/1.65 (CERTIFIED 0.0) YES 1.24/0.58 (CERTIFIED 0.0)
TRS_Standard/SK90/2.48.xml 5160941 YES 4.36/1.77 (CERTIFIED 0.0) YES 0.82/0.46 (CERTIFIED 0.0)
TRS_Standard/SK90/4.17.xml 5160942 YES 5.60/2.51 (CERTIFIED 0.0) YES 1.29/0.58 (CERTIFIED 0.0)
TRS_Standard/SK90/2.24.xml 5160943 YES 3.39/1.54 (CERTIFIED 0.0) YES 1.63/0.67 (CERTIFIED 0.0)
TRS_Standard/SK90/2.16.xml 5160944 YES 3.69/1.77 (CERTIFIED 0.0) YES 3.31/1.21 (CERTIFIED 0.0)
TRS_Standard/SK90/4.15.xml 5160945 YES 3.37/1.60 (CERTIFIED 0.0) YES 0.51/0.38 (CERTIFIED 0.0)
TRS_Standard/SK90/2.41.xml 5160946 YES 3.36/1.53 (CERTIFIED 0.0) YES 0.46/0.37 (CERTIFIED 0.0)
TRS_Standard/SK90/2.51.xml 5160947 YES 3.55/1.63 (CERTIFIED 0.0) YES 1.66/0.70 (CERTIFIED 0.0)
TRS_Standard/SK90/4.24.xml 5160948 YES 4.43/1.92 (CERTIFIED 0.0) YES 3.76/1.28 (CERTIFIED 0.0)
TRS_Standard/SK90/4.04.xml 5160949 YES 3.57/2.08 (CERTIFIED 0.0) YES 0.49/0.42 (CERTIFIED 0.0)
TRS_Standard/SK90/2.28.xml 5160950 YES 3.46/1.62 (CERTIFIED 0.0) YES 0.79/0.45 (CERTIFIED 0.0)
TRS_Standard/SK90/2.01.xml 5160951 YES 3.64/1.68 (CERTIFIED 0.0) YES 2.30/0.85 (CERTIFIED 0.0)
TRS_Standard/SK90/2.23.xml 5160952 YES 3.87/1.79 (CERTIFIED 0.0) YES 4.03/1.35 (CERTIFIED 0.0)
TRS_Standard/SK90/4.38.xml 5160953 YES 3.62/1.59 (CERTIFIED 0.0) YES 0.47/0.37 (CERTIFIED 0.0)
TRS_Standard/SK90/4.42.xml 5160954 YES 3.92/1.79 (CERTIFIED 0.0) YES 2.42/0.91 (CERTIFIED 0.0)
TRS_Standard/SK90/2.53.xml 5160955 YES 3.56/1.59 (CERTIFIED 0.0) YES 0.54/0.38 (CERTIFIED 0.0)
TRS_Standard/SK90/2.21.xml 5160956 YES 3.59/1.63 (CERTIFIED 0.0) YES 1.96/0.78 (CERTIFIED 0.0)
TRS_Standard/SK90/4.40.xml 5160957 NO 9.94/3.66 (CERTIFIED 0.0) NO 0.51/0.39 (CERTIFIED 0.0)
TRS_Standard/SK90/2.61.xml 5160958 YES 3.80/2.19 (CERTIFIED 0.0) YES 0.64/0.45 (CERTIFIED 0.0)
TRS_Standard/SK90/2.19.xml 5160959 YES 3.67/1.76 (CERTIFIED 0.0) YES 3.63/1.35 (CERTIFIED 0.0)
TRS_Standard/SK90/2.11.xml 5160960 YES 3.48/1.60 (CERTIFIED 0.0) YES 0.55/0.39 (CERTIFIED 0.0)
TRS_Standard/SK90/2.10.xml 5160961 YES 3.49/1.67 (CERTIFIED 0.0) YES 3.11/1.06 (CERTIFIED 0.0)
TRS_Standard/SK90/4.23.xml 5160962 YES 3.55/1.63 (CERTIFIED 0.0) YES 2.22/0.84 (CERTIFIED 0.0)
TRS_Standard/SK90/4.51.xml 5160963 YES 3.99/1.82 (CERTIFIED 0.0) YES 1.52/0.67 (CERTIFIED 0.0)
TRS_Standard/SK90/2.26.xml 5160964 YES 3.64/1.69 (CERTIFIED 0.0) YES 5.58/1.84 (CERTIFIED 0.0)
TRS_Standard/SK90/4.33.xml 5160965 YES 3.48/1.64 (CERTIFIED 0.0) YES 1.11/0.54 (CERTIFIED 0.0)
TRS_Standard/SK90/4.56.xml 5160966 YES 3.63/1.69 (CERTIFIED 0.0) YES 0.51/0.38 (CERTIFIED 0.0)
TRS_Standard/SK90/2.30.xml 5160967 YES 3.97/1.71 (CERTIFIED 0.0) YES 1.90/0.77 (CERTIFIED 0.0)
TRS_Standard/SK90/2.04.xml 5160968 YES 3.35/1.54 (CERTIFIED 0.0) YES 1.46/0.62 (CERTIFIED 0.0)
TRS_Standard/SK90/2.14.xml 5160969 YES 3.64/1.64 (CERTIFIED 0.0) YES 1.25/0.58 (CERTIFIED 0.0)
TRS_Standard/SK90/2.36.xml 5160970 YES 3.36/1.54 (CERTIFIED 0.0) YES 0.49/0.38 (CERTIFIED 0.0)
TRS_Standard/SK90/2.02.xml 5160971 YES 3.33/1.55 (CERTIFIED 0.0) YES 0.54/0.39 (CERTIFIED 0.0)
TRS_Standard/SK90/2.18.xml 5160972 YES 3.65/1.65 (CERTIFIED 0.0) YES 2.10/0.81 (CERTIFIED 0.0)
TRS_Standard/SK90/4.35.xml 5160973 YES 3.45/1.57 (CERTIFIED 0.0) YES 1.05/0.52 (CERTIFIED 0.0)
TRS_Standard/SK90/2.34.xml 5160974 YES 3.76/1.77 (CERTIFIED 0.0) YES 1.65/0.69 (CERTIFIED 0.0)
TRS_Standard/SK90/4.59.xml 5160975 YES 3.90/1.80 (CERTIFIED 0.0) YES 5.92/1.85 (CERTIFIED 0.0)
TRS_Standard/Secret_07_TRS/aprove07.xml 5161961 timeout (wallclock) [out] MAYBE 26.81/8.99
TRS_Standard/Secret_07_TRS/secret3.xml 5161962 YES 3.96/1.83 (CERTIFIED 0.0) YES 5.40/1.74 (CERTIFIED 0.0)
TRS_Standard/Secret_07_TRS/aprove04.xml 5161963 timeout (wallclock) [out] MAYBE 55.85/18.87
TRS_Standard/Secret_07_TRS/3.xml 5161964 YES 48.55/17.50 (CERTIFIED 0.0) MAYBE 133.15/42.35
TRS_Standard/Secret_07_TRS/7.xml 5161965 NO 348.17/120.10 (CERTIFIED 0.0) MAYBE 113.96/42.33
TRS_Standard/Secret_07_TRS/aprove02.xml 5161966 timeout (wallclock) [out] MAYBE 43.98/15.59
TRS_Standard/Secret_07_TRS/1.xml 5161967 MAYBE 358.75/291.48 MAYBE 45.15/14.88
TRS_Standard/Secret_07_TRS/aprove10.xml 5161968 MAYBE 691.97/292.58 MAYBE 101.11/27.95
TRS_Standard/Secret_07_TRS/aprove08.xml 5161969 MAYBE 401.19/291.51 MAYBE 35.02/11.88
TRS_Standard/Secret_07_TRS/secret2.xml 5161970 YES 3.91/1.84 (CERTIFIED 0.0) YES 6.34/2.04 (CERTIFIED 0.0)
TRS_Standard/Secret_07_TRS/aprove09.xml 5161971 MAYBE 1123.95/293.64 MAYBE 52.15/19.92
TRS_Standard/Secret_07_TRS/aprove01.xml 5161972 MAYBE 1149.94/291.52 run script error [out]
TRS_Standard/Secret_07_TRS/5.xml 5161973 YES 48.71/17.86 (CERTIFIED 0.0) MAYBE 145.20/42.34
TRS_Standard/Secret_07_TRS/aprove06.xml 5161974 MAYBE 995.84/292.86 MAYBE 133.85/42.37
TRS_Standard/Secret_07_TRS/aprove03.xml 5161975 timeout (wallclock) [out] MAYBE 124.50/42.37
TRS_Standard/Secret_07_TRS/2.xml 5161976 timeout (wallclock) [out] run script error [out]
TRS_Standard/Secret_07_TRS/secret5.xml 5161977 YES 4.99/2.12 (CERTIFIED 0.0) YES 22.52/7.39 (CERTIFIED 0.0)
TRS_Standard/Secret_07_TRS/secret4.xml 5161978 YES 4.27/1.81 (CERTIFIED 0.0) YES 7.75/2.43 (CERTIFIED 0.0)
TRS_Standard/Secret_07_TRS/4.xml 5161979 MAYBE 340.48/291.50 MAYBE 88.19/32.83
TRS_Standard/Secret_07_TRS/aprove05.xml 5161980 timeout (wallclock) [out] MAYBE 33.19/11.80
TRS_Standard/Secret_07_TRS/secret1.xml 5161981 YES 4.43/1.87 (CERTIFIED 0.0) YES 19.51/5.95 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex8_BLR02.xml 5161080 NO 4.24/1.87 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 5161081 NO 3.85/1.78 (CERTIFIED 0.0) NO 0.30/0.36 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 5161082 NO 4.91/2.61 (CERTIFIED 0.0) NO 0.30/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex6_GM04.xml 5161083 NO 5.54/2.24 (CERTIFIED 0.0) NO 0.30/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 5161084 NO 6.20/2.45 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex1_Zan97.xml 5161085 NO 11.27/3.62 (CERTIFIED 0.0) NO 0.48/0.37 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 5161086 NO 6.56/2.58 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex1_GM03.xml 5161087 NO 3.98/1.84 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex7_BLR02.xml 5161088 NO 6.61/2.58 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex6_15_AEL02.xml 5161089 NO 6.93/2.73 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/ExIntrod_GM99.xml 5161090 NO 7.31/2.72 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 5161091 NO 6.77/2.70 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex3_2_Luc97.xml 5161092 NO 6.56/2.56 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex1_GM99.xml 5161093 NO 3.89/1.80 (CERTIFIED 0.0) NO 0.45/0.37 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex15_Luc98.xml 5161094 NO 6.84/3.33 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex4_Zan97.xml 5161095 NO 5.15/2.19 (CERTIFIED 0.0) run script error [out]
TRS_Standard/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 5161096 NO 6.91/2.61 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex5_7_Luc97.xml 5161097 NO 6.24/2.59 (CERTIFIED 0.0) NO 0.32/0.33 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex14_AEGL02.xml 5161098 NO 6.44/2.57 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex49_GM04.xml 5161099 YES 3.83/1.76 (CERTIFIED 0.0) YES 3.71/1.32 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex6_Luc98.xml 5161100 NO 6.69/2.62 (CERTIFIED 0.0) run script error [out]
TRS_Standard/Strategy_removed_CSR_05/ExConc_Zan97.xml 5161101 NO 3.13/1.46 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/ExIntrod_GM01.xml 5161102 NO 5.80/2.34 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/ExIntrod_GM04.xml 5161103 NO 5.42/2.25 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 5161104 NO 6.50/2.56 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex2_Luc03b.xml 5161105 NO 6.41/3.22 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex1_GL02a.xml 5161106 NO 6.47/2.55 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex26_Luc03b.xml 5161107 NO 6.70/2.64 (CERTIFIED 0.0) run script error [out]
TRS_Standard/Strategy_removed_CSR_05/Ex9_BLR02.xml 5161108 NO 6.54/2.54 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex24_GM04.xml 5161109 NO 3.81/1.85 (CERTIFIED 0.0) MAYBE 1.04/0.53
TRS_Standard/Strategy_removed_CSR_05/Ex5_Zan97.xml 5161110 NO 5.98/2.52 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 5161111 NO 6.64/2.59 (CERTIFIED 0.0) NO 0.54/0.39 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex1_Luc02b.xml 5161112 NO 6.46/2.55 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 5161113 NO 6.03/2.38 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 5161114 NO 6.46/2.60 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/ExIntrod_Zan97.xml 5161115 NO 6.14/2.53 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_CSR_05/Ex1_2_AEL03.xml 5161116 NO 6.62/2.61 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.4.xml 5161796 NO 4.02/1.81 (CERTIFIED 0.0) NO 0.42/0.36 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.19.xml 5161797 MAYBE 827.30/299.30 MAYBE 20.78/7.33
TRS_Standard/Strategy_removed_AG01/#4.18.xml 5161798 NO 3.05/1.49 (CERTIFIED 0.0) NO 1.81/0.71 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.13.xml 5161799 NO 5.58/2.38 (CERTIFIED 0.0) MAYBE 7.99/7.32
TRS_Standard/Strategy_removed_AG01/#4.27.xml 5161800 YES 3.82/1.75 (CERTIFIED 0.0) YES 4.24/1.39 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.17.xml 5161801 NO 4.58/2.13 (CERTIFIED 0.0) NO 0.48/0.38 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.22.xml 5161802 YES 3.72/2.37 (CERTIFIED 0.0) YES 1.81/0.75 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.36.xml 5161803 YES 6.23/2.43 (CERTIFIED 0.0) YES 10.07/3.07 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.37.xml 5161804 YES 3.80/1.71 (CERTIFIED 0.0) YES 1.83/0.73 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.20a.xml 5161805 YES 4.32/1.78 (CERTIFIED 0.0) YES 0.94/0.51 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.30b.xml 5161806 YES 9.21/5.22 (CERTIFIED 0.0) MAYBE 31.57/8.80
TRS_Standard/Strategy_removed_AG01/#4.33.xml 5161807 run script error [out] YES 5.13/1.58 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.26.xml 5161808 YES 4.37/1.94 (CERTIFIED 0.0) YES 3.44/1.17 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.35.xml 5161809 YES 5.43/2.12 (CERTIFIED 0.0) YES 13.47/4.04 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.16.xml 5161810 NO 4.09/1.98 (CERTIFIED 0.0) NO 0.55/0.40 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.15.xml 5161811 NO 4.46/1.91 (CERTIFIED 0.0) NO 0.57/0.41 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.14.xml 5161812 NO 3.98/1.83 (CERTIFIED 0.0) NO 0.40/0.36 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.23.xml 5161813 YES 4.27/1.89 (CERTIFIED 0.0) YES 3.32/1.13 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.32.xml 5161814 YES 3.67/1.69 (CERTIFIED 0.0) YES 1.91/0.75 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.28.xml 5161815 YES 6.53/2.46 (CERTIFIED 0.0) YES 3.22/1.08 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.25.xml 5161816 YES 3.73/1.65 (CERTIFIED 0.0) MAYBE 1.17/0.58
TRS_Standard/Strategy_removed_AG01/#4.21.xml 5161817 YES 4.05/1.76 (CERTIFIED 0.0) YES 1.24/0.57 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.30a.xml 5161818 YES 4.24/1.89 (CERTIFIED 0.0) MAYBE 12.64/7.34
TRS_Standard/Strategy_removed_AG01/#4.3.xml 5161819 NO 3.89/1.79 (CERTIFIED 0.0) MAYBE 8.10/7.33
TRS_Standard/Strategy_removed_AG01/#4.20.xml 5161820 YES 4.46/1.91 (CERTIFIED 0.0) YES 0.62/0.42 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.30.xml 5161821 YES 6.66/3.03 (CERTIFIED 0.0) MAYBE 20.82/7.33
TRS_Standard/Strategy_removed_AG01/#4.29.xml 5161822 YES 4.98/2.09 (CERTIFIED 0.0) YES 7.51/2.23 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.34.xml 5161823 YES 4.14/1.83 (CERTIFIED 0.0) YES 6.04/1.82 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.37a.xml 5161824 YES 3.93/1.75 (CERTIFIED 0.0) YES 2.06/0.86 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.30c.xml 5161825 YES 12.31/6.67 (CERTIFIED 0.1) MAYBE 61.73/22.10
TRS_Standard/Strategy_removed_AG01/#4.2.xml 5161826 NO 4.54/2.12 (CERTIFIED 0.0) NO 0.45/0.37 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.12a.xml 5161827 NO 4.15/1.82 (CERTIFIED 0.0) NO 0.43/0.37 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_AG01/#4.7.xml 5161828 NO 3.94/1.93 (CERTIFIED 0.0) NO 0.42/0.36 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/lindau.xml 5161839 YES 3.71/1.69 (CERTIFIED 0.0) YES 1.17/0.55 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/division.xml 5161840 YES 4.40/1.87 (CERTIFIED 0.0) YES 4.69/1.47 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/gmnp.xml 5161841 YES 3.61/1.62 (CERTIFIED 0.0) YES 1.88/0.76 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/gm.xml 5161842 YES 3.79/1.71 (CERTIFIED 0.0) YES 3.03/1.07 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/selsort.xml 5161843 YES 5.60/2.28 (CERTIFIED 0.0) YES 11.18/3.33 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/enno.xml 5161844 YES 4.98/2.13 (CERTIFIED 0.0) YES 6.48/2.02 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/bn129.xml 5161845 run script error [out] YES 0.52/0.38 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/quotminus.xml 5161846 YES 4.07/1.84 (CERTIFIED 0.0) YES 4.41/1.46 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/prov.xml 5161847 YES 3.54/1.69 (CERTIFIED 0.0) YES 1.45/0.69 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/p266.xml 5161848 YES 3.54/1.58 (CERTIFIED 0.0) YES 3.93/1.26 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/bintrees.xml 5161849 YES 3.83/1.74 (CERTIFIED 0.0) YES 0.49/0.38 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/nestrec.xml 5161850 YES 6.81/2.59 (CERTIFIED 0.0) YES 2.73/0.95 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/ma96.xml 5161851 YES 5.54/2.25 (CERTIFIED 0.0) YES 14.70/4.37 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/logarquot.xml 5161852 YES 3.94/1.80 (CERTIFIED 0.0) YES 4.97/1.66 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/test829.xml 5161853 YES 3.65/1.68 (CERTIFIED 0.0) YES 1.48/0.63 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/elimdupl.xml 5161854 YES 4.48/1.99 (CERTIFIED 0.0) YES 4.45/1.47 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/koen.xml 5161855 YES 3.18/1.53 (CERTIFIED 0.0) YES 0.44/0.37 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/mfp90b.xml 5161856 YES 3.28/1.58 (CERTIFIED 0.0) YES 0.43/0.36 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/polo2.xml 5161857 YES 4.01/1.78 (CERTIFIED 0.0) run script error [out]
TRS_Standard/Rubio_04/mfp95.xml 5161858 YES 3.41/1.54 (CERTIFIED 0.0) YES 0.76/0.44 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/gcd.xml 5161859 YES 4.69/2.03 (CERTIFIED 0.0) YES 4.39/1.49 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/test4.xml 5161860 YES 4.15/1.90 (CERTIFIED 0.0) YES 0.99/0.52 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/lescanne.xml 5161861 YES 3.50/1.63 (CERTIFIED 0.0) YES 0.51/0.38 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/aoto.xml 5161862 YES 4.39/1.77 (CERTIFIED 0.0) YES 2.54/0.90 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/bn122.xml 5161863 YES 3.58/1.63 (CERTIFIED 0.0) YES 1.74/0.69 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/revlist.xml 5161864 YES 4.80/2.14 (CERTIFIED 0.0) YES 4.13/1.37 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/quick.xml 5161865 YES 5.39/2.21 (CERTIFIED 0.0) YES 9.95/2.95 (CERTIFIED 0.0)
TRS_Standard/Rubio_04/wst99.xml 5161866 YES 8.38/3.01 (CERTIFIED 0.0) YES 20.24/5.73 (CERTIFIED 0.0)
TRS_Standard/MNZ_10/0.xml 5160786 YES 91.02/27.28 (CERTIFIED 0.1) YES 90.37/23.17 (CERTIFIED 0.0)
TRS_Standard/MNZ_10/3.xml 5160787 YES 71.95/20.27 (CERTIFIED 0.1) YES 35.54/9.42 (CERTIFIED 0.0)
TRS_Standard/MNZ_10/7.xml 5160788 MAYBE 473.70/291.53 MAYBE 131.41/42.34
TRS_Standard/MNZ_10/1.xml 5160789 YES 47.31/17.02 (CERTIFIED 0.1) YES 23.18/6.28 (CERTIFIED 0.0)
TRS_Standard/MNZ_10/5.xml 5160790 timeout (wallclock) [out] MAYBE 131.62/42.35
TRS_Standard/MNZ_10/nrvsq.xml 5160791 YES 91.60/31.23 (CERTIFIED 0.0) MAYBE 134.20/42.42
TRS_Standard/MNZ_10/2.xml 5160792 run script error [out] YES 26.03/6.96 (CERTIFIED 0.0)
TRS_Standard/MNZ_10/8.xml 5160793 YES 92.55/29.48 (CERTIFIED 0.1) YES 31.75/8.46 (CERTIFIED 0.0)
TRS_Standard/MNZ_10/nvsr.xml 5160794 YES 409.50/205.81 (CERTIFIED 0.1) MAYBE 131.87/42.34
TRS_Standard/MNZ_10/labelled.xml 5160795 YES 47.16/40.79 (CERTIFIED 4.1) MAYBE 125.98/47.00
TRS_Standard/MNZ_10/6.xml 5160796 timeout (wallclock) [out] MAYBE 131.54/42.35
TRS_Standard/MNZ_10/9.xml 5160797 YES 436.79/235.30 (CERTIFIED 0.2) MAYBE 131.45/42.35
TRS_Standard/MNZ_10/4.xml 5160798 MAYBE 589.51/292.52 MAYBE 131.64/42.35
TRS_Standard/Secret_06_TRS/gen-25.xml 5160815 YES 38.56/16.35 (CERTIFIED 0.0) YES 17.39/4.78 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/10.xml 5160816 YES 11.41/3.98 (CERTIFIED 0.0) YES 6.86/3.06 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/division.xml 5160817 YES 8.21/3.39 (CERTIFIED 0.0) MAYBE 24.37/7.33
TRS_Standard/Secret_06_TRS/gen-28.xml 5160818 YES 29.52/14.26 (CERTIFIED 0.0) YES 3.49/1.25 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/cime1.xml 5160819 MAYBE 799.56/294.36 MAYBE 46.41/16.84
TRS_Standard/Secret_06_TRS/tpa10.xml 5160820 YES 5.12/2.20 (CERTIFIED 0.0) MAYBE 70.73/25.45
TRS_Standard/Secret_06_TRS/3.xml 5160821 MAYBE 768.11/291.50 MAYBE 131.89/42.34
TRS_Standard/Secret_06_TRS/7.xml 5160822 YES 6.64/2.59 (CERTIFIED 0.0) YES 2.53/0.90 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/tpa07.xml 5160823 MAYBE 440.69/291.51 MAYBE 50.55/18.04
TRS_Standard/Secret_06_TRS/gen-9.xml 5160824 YES 5.05/2.15 (CERTIFIED 0.0) YES 6.37/1.95 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/tpa02.xml 5160825 MAYBE 15.51/5.69 MAYBE 12.16/7.32
TRS_Standard/Secret_06_TRS/tpa04.xml 5160826 MAYBE 688.30/292.26 MAYBE 130.04/42.34
TRS_Standard/Secret_06_TRS/tpa09.xml 5160827 MAYBE 536.35/291.58 MAYBE 48.07/15.89
TRS_Standard/Secret_06_TRS/gen-17.xml 5160828 YES 3.92/1.74 (CERTIFIED 0.0) YES 21.24/5.60 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/toList.xml 5160829 YES 13.78/5.62 (CERTIFIED 0.1) MAYBE 105.05/42.35
TRS_Standard/Secret_06_TRS/reverse.xml 5160830 YES 6.26/2.50 (CERTIFIED 0.0) YES 9.19/2.99 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/gen-18.xml 5160831 YES 26.98/13.11 (CERTIFIED 0.0) YES 14.31/5.28 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/5.xml 5160832 YES 4.52/1.99 (CERTIFIED 0.0) YES 24.64/7.12 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/tpa06.xml 5160833 MAYBE 904.08/291.55 MAYBE 135.54/42.35
TRS_Standard/Secret_06_TRS/times.xml 5160834 timeout (wallclock) [out] MAYBE 35.57/11.77
TRS_Standard/Secret_06_TRS/logarithm.xml 5160835 MAYBE 643.23/292.72 MAYBE 128.19/42.35
TRS_Standard/Secret_06_TRS/tpa01.xml 5160836 MAYBE 6.08/2.53 MAYBE 6.09/2.29
TRS_Standard/Secret_06_TRS/2.xml 5160837 YES 34.35/12.01 (CERTIFIED 0.0) YES 5.29/1.60 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/double.xml 5160838 YES 5.80/2.27 (CERTIFIED 0.0) MAYBE 27.96/8.42
TRS_Standard/Secret_06_TRS/gen-22.xml 5160839 YES 5.90/2.39 (CERTIFIED 0.0) YES 12.52/3.55 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/nrOfNodes.xml 5160840 YES 8.93/4.26 (CERTIFIED 0.0) MAYBE 51.05/16.95
TRS_Standard/Secret_06_TRS/8.xml 5160841 run script error [out] YES 2.32/0.86 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/divExp.xml 5160842 YES 4.40/2.00 (CERTIFIED 0.0) MAYBE 10.83/7.41
TRS_Standard/Secret_06_TRS/gen-10.xml 5160843 YES 5.63/2.21 (CERTIFIED 0.0) YES 3.33/1.19 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/tpa03.xml 5160844 MAYBE 17.89/8.31 MAYBE 12.21/7.32
TRS_Standard/Secret_06_TRS/tpa05.xml 5160845 run script error [out] MAYBE 62.61/23.58
TRS_Standard/Secret_06_TRS/gen-15.xml 5160846 YES 4.95/2.02 (CERTIFIED 0.0) YES 8.63/2.58 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/6.xml 5160847 YES 7.09/2.82 (CERTIFIED 0.0) YES 1.73/0.70 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/9.xml 5160848 YES 5.49/2.71 (CERTIFIED 0.0) YES 2.70/0.95 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/4.xml 5160849 YES 5.34/2.23 (CERTIFIED 0.0) YES 2.19/0.82 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/sumList.xml 5160850 YES 7.97/3.59 (CERTIFIED 0.0) YES 23.81/6.45 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/tpa08.xml 5160851 run script error [out] MAYBE 55.85/19.42
TRS_Standard/Secret_06_TRS/addList.xml 5160852 YES 10.07/4.86 (CERTIFIED 0.0) YES 35.51/9.56 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/gen-1.xml 5160853 YES 5.20/2.16 (CERTIFIED 0.0) YES 2.48/0.90 (CERTIFIED 0.0)
TRS_Standard/Secret_06_TRS/gen-14.xml 5160854 YES 4.96/2.06 (CERTIFIED 0.0) YES 8.71/2.66 (CERTIFIED 0.0)
TRS_Standard/Secret_05_TRS/teparla2.xml 5161727 YES 8.80/3.15 (CERTIFIED 0.0) MAYBE 58.52/18.08
TRS_Standard/Secret_05_TRS/tpa4.xml 5161728 MAYBE 413.87/291.55 run script error [out]
TRS_Standard/Secret_05_TRS/tpa2.xml 5161729 YES 4.71/2.40 (CERTIFIED 0.0) YES 5.51/1.68 (CERTIFIED 0.0)
TRS_Standard/Secret_05_TRS/cime1.xml 5161730 timeout (wallclock) [out] run script error [out]
TRS_Standard/Secret_05_TRS/aprove2.xml 5161731 YES 7.98/3.19 (CERTIFIED 0.0) MAYBE 39.00/13.27
TRS_Standard/Secret_05_TRS/cime2.xml 5161732 YES 30.97/13.86 (CERTIFIED 0.0) MAYBE 37.75/12.07
TRS_Standard/Secret_05_TRS/matchbox1.xml 5161733 YES 4.70/2.08 (CERTIFIED 0.0) MAYBE 4.12/1.70
TRS_Standard/Secret_05_TRS/aprove3.xml 5161734 YES 7.78/2.95 (CERTIFIED 0.0) MAYBE 28.32/9.51
TRS_Standard/Secret_05_TRS/aprove1.xml 5161735 YES 6.18/2.40 (CERTIFIED 0.0) MAYBE 128.73/42.35
TRS_Standard/Secret_05_TRS/teparla1.xml 5161736 YES 3.84/1.78 (CERTIFIED 0.0) MAYBE 118.38/42.33
TRS_Standard/Secret_05_TRS/tpa5.xml 5161737 MAYBE 642.50/291.50 MAYBE 129.11/42.34
TRS_Standard/Secret_05_TRS/tpa3.xml 5161738 MAYBE 386.86/292.49 MAYBE 43.92/16.11
TRS_Standard/Secret_05_TRS/cime5.xml 5161739 YES 17.71/5.55 (CERTIFIED 0.0) YES 34.13/9.09 (CERTIFIED 0.0)
TRS_Standard/Secret_05_TRS/ttt1.xml 5161740 NO 4.67/1.93 (CERTIFIED 0.0) NO 1.12/0.54 (CERTIFIED 0.0)
TRS_Standard/Secret_05_TRS/teparla3.xml 5161741 MAYBE 303.50/291.46 MAYBE 42.65/16.00
TRS_Standard/Secret_05_TRS/aprove4.xml 5161742 YES 5.41/2.34 (CERTIFIED 0.0) MAYBE 29.73/10.46
TRS_Standard/Secret_05_TRS/tpa1.xml 5161743 YES 4.39/1.94 (CERTIFIED 0.0) MAYBE 70.21/23.14
TRS_Standard/Secret_05_TRS/aprove5.xml 5161744 YES 5.21/2.13 (CERTIFIED 0.0) MAYBE 26.62/7.66
TRS_Standard/Secret_05_TRS/ttt2.xml 5161745 NO 4.09/1.95 (CERTIFIED 0.0) NO 0.41/0.36 (CERTIFIED 0.0)
TRS_Standard/Secret_05_TRS/cime3.xml 5161746 MAYBE 932.41/294.72 MAYBE 80.68/28.87
TRS_Standard/Secret_05_TRS/matchbox2.xml 5161747 YES 3.96/1.79 (CERTIFIED 0.0) YES 1.53/0.75 (CERTIFIED 0.0)
TRS_Standard/Secret_05_TRS/cime4.xml 5161748 NO 4.07/1.82 (CERTIFIED 0.0) MAYBE 2.00/0.87
TRS_Standard/Zantema_05/jw44.xml 5161867 YES 3.62/2.16 (CERTIFIED 0.0) YES 0.87/0.46 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw33.xml 5161868 YES 3.87/1.79 (CERTIFIED 0.0) YES 1.52/0.73 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw34.xml 5161869 YES 6.43/2.53 (CERTIFIED 0.0) YES 1.19/0.61 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z22.xml 5161870 YES 35.98/15.71 (CERTIFIED 0.0) MAYBE 130.66/42.33
TRS_Standard/Zantema_05/z16.xml 5161871 MAYBE 864.94/292.55 MAYBE 103.04/42.33
TRS_Standard/Zantema_05/z30.xml 5161872 MAYBE 544.30/295.78 YES 10.54/4.10 (CERTIFIED 0.1)
TRS_Standard/Zantema_05/jw27.xml 5161873 YES 5.53/2.46 (CERTIFIED 0.0) YES 1.83/0.92 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z28.xml 5161874 YES 5.48/2.31 (CERTIFIED 0.0) MAYBE 45.90/13.36
TRS_Standard/Zantema_05/jw01.xml 5161875 YES 3.82/1.73 (CERTIFIED 0.0) YES 1.48/0.74 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw02.xml 5161876 YES 3.93/1.89 (CERTIFIED 0.0) YES 2.53/1.28 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw12.xml 5161877 YES 3.64/1.68 (CERTIFIED 0.0) YES 2.49/1.01 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw32.xml 5161878 YES 5.65/2.61 (CERTIFIED 0.0) YES 1.58/0.76 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw08.xml 5161879 YES 4.07/3.73 (CERTIFIED 0.0) YES 1.81/0.93 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z19.xml 5161880 YES 36.14/17.80 (CERTIFIED 0.0) MAYBE 90.51/42.34
TRS_Standard/Zantema_05/z06.xml 5161881 YES 3.98/1.81 (CERTIFIED 0.0) YES 2.69/0.97 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw38.xml 5161882 YES 3.67/1.72 (CERTIFIED 0.0) YES 1.68/0.75 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z11.xml 5161883 YES 4.44/1.99 (CERTIFIED 0.0) MAYBE 15.58/7.33
TRS_Standard/Zantema_05/jw39.xml 5161884 YES 4.12/1.86 (CERTIFIED 0.0) YES 1.81/0.79 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw05.xml 5161885 YES 5.41/2.35 (CERTIFIED 0.0) YES 2.08/0.98 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw06.xml 5161886 YES 3.92/1.84 (CERTIFIED 0.0) YES 1.30/0.71 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z05.xml 5161887 YES 12.52/4.19 (CERTIFIED 0.0) MAYBE 36.05/10.21
TRS_Standard/Zantema_05/jw15.xml 5161888 YES 3.85/1.75 (CERTIFIED 0.0) YES 1.14/0.61 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw16.xml 5161889 YES 3.83/1.73 (CERTIFIED 0.0) YES 1.45/0.77 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw11.xml 5161890 YES 3.67/1.74 (CERTIFIED 0.0) run script error [out]
TRS_Standard/Zantema_05/z29.xml 5161891 YES 4.20/1.88 (CERTIFIED 0.0) YES 5.68/1.72 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw26.xml 5161892 YES 4.00/1.86 (CERTIFIED 0.0) YES 1.12/0.59 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z02.xml 5161893 run script error [out] YES 2.34/0.92 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z09.xml 5161894 MAYBE 372.50/291.50 MAYBE 26.63/8.12
TRS_Standard/Zantema_05/jw47.xml 5161895 YES 3.47/1.60 (CERTIFIED 0.0) YES 0.56/0.39 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw31.xml 5161896 YES 3.95/2.60 (CERTIFIED 0.0) YES 1.43/0.69 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z08.xml 5161897 YES 5.76/2.38 (CERTIFIED 0.0) YES 2.69/0.97 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw09.xml 5161898 YES 3.89/1.84 (CERTIFIED 0.0) YES 1.24/0.61 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw22.xml 5161899 YES 3.82/1.82 (CERTIFIED 0.0) YES 1.97/0.99 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z21.xml 5161900 YES 39.59/16.63 (CERTIFIED 0.0) MAYBE 135.65/42.34
TRS_Standard/Zantema_05/jw50.xml 5161901 YES 3.70/1.70 (CERTIFIED 0.0) YES 0.56/0.40 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z07.xml 5161902 YES 5.36/2.20 (CERTIFIED 0.0) MAYBE 11.27/7.33
TRS_Standard/Zantema_05/z03.xml 5161903 YES 7.39/2.77 (CERTIFIED 0.0) MAYBE 11.95/7.33
TRS_Standard/Zantema_05/jw25.xml 5161904 YES 4.11/1.87 (CERTIFIED 0.0) YES 1.13/0.60 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw20.xml 5161905 YES 3.80/1.71 (CERTIFIED 0.0) YES 1.11/0.61 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw13.xml 5161906 YES 3.94/1.78 (CERTIFIED 0.0) YES 1.56/0.67 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z10.xml 5161907 timeout (wallclock) [out] MAYBE 39.55/13.83
TRS_Standard/Zantema_05/jw42.xml 5161908 YES 3.92/1.80 (CERTIFIED 0.0) YES 1.27/0.68 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw29.xml 5161909 YES 4.01/1.81 (CERTIFIED 0.0) YES 1.08/0.60 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw07.xml 5161910 YES 3.80/1.76 (CERTIFIED 0.0) YES 1.58/0.78 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw41.xml 5161911 YES 7.78/3.19 (CERTIFIED 0.0) YES 1.87/0.90 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw35.xml 5161912 YES 3.64/1.73 (CERTIFIED 0.0) YES 1.06/0.52 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z13.xml 5161913 timeout (wallclock) [out] MAYBE 92.23/32.48
TRS_Standard/Zantema_05/z20.xml 5161914 MAYBE 636.42/291.95 MAYBE 73.66/22.80
TRS_Standard/Zantema_05/z17.xml 5161915 MAYBE 581.57/297.11 MAYBE 123.84/42.33
TRS_Standard/Zantema_05/jw43.xml 5161916 YES 3.73/1.74 (CERTIFIED 0.0) YES 0.59/0.40 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z26.xml 5161917 YES 7.75/2.89 (CERTIFIED 0.0) YES 1.56/0.65 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z01.xml 5161918 YES 194.62/63.93 (CERTIFIED 0.0) YES 5.73/2.04 (CERTIFIED 0.1)
TRS_Standard/Zantema_05/jw24.xml 5161919 YES 3.90/1.76 (CERTIFIED 0.0) YES 1.27/0.65 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z27.xml 5161920 YES 26.78/13.45 (CERTIFIED 0.0) MAYBE 9.40/7.33
TRS_Standard/Zantema_05/jw28.xml 5161921 YES 3.57/1.70 (CERTIFIED 0.0) YES 1.33/0.69 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw03.xml 5161922 YES 3.83/2.86 (CERTIFIED 0.0) YES 1.05/0.58 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw23.xml 5161923 YES 3.72/1.72 (CERTIFIED 0.0) YES 1.25/0.64 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw19.xml 5161924 YES 3.74/1.78 (CERTIFIED 0.0) YES 1.44/0.70 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw18.xml 5161925 YES 3.96/1.81 (CERTIFIED 0.0) YES 1.34/0.67 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw37.xml 5161926 YES 7.22/3.31 (CERTIFIED 0.0) YES 2.41/0.95 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw40.xml 5161927 YES 3.84/1.78 (CERTIFIED 0.0) YES 1.27/0.66 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z04.xml 5161928 YES 3.56/1.65 (CERTIFIED 0.0) YES 1.41/0.63 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw30.xml 5161929 YES 7.01/5.08 (CERTIFIED 0.0) YES 1.39/0.69 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw14.xml 5161930 YES 3.56/1.66 (CERTIFIED 0.0) YES 0.95/0.49 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z23.xml 5161931 MAYBE 626.86/299.93 MAYBE 144.48/42.34
TRS_Standard/Zantema_05/jw36.xml 5161932 YES 3.96/1.77 (CERTIFIED 0.0) YES 2.00/0.78 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw04.xml 5161933 YES 4.04/1.93 (CERTIFIED 0.0) YES 1.08/0.58 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z12.xml 5161934 timeout (wallclock) [out] MAYBE 124.33/42.33
TRS_Standard/Zantema_05/z15.xml 5161935 MAYBE 725.97/295.47 MAYBE 99.69/42.34
TRS_Standard/Zantema_05/z14.xml 5161936 MAYBE 811.58/291.50 MAYBE 101.67/42.33
TRS_Standard/Zantema_05/z24.xml 5161937 MAYBE 726.96/294.96 MAYBE 126.49/42.35
TRS_Standard/Zantema_05/z25.xml 5161938 YES 3.80/1.68 (CERTIFIED 0.0) MAYBE 34.26/11.41
TRS_Standard/Zantema_05/jw21.xml 5161939 YES 3.96/1.82 (CERTIFIED 0.0) YES 1.48/0.79 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/jw17.xml 5161940 run script error [out] YES 2.04/0.95 (CERTIFIED 0.0)
TRS_Standard/Zantema_05/z18.xml 5161941 MAYBE 561.03/293.78 MAYBE 100.01/42.33
TRS_Standard/Waldmann_06/jwtpa2.xml 5162214 YES 5.67/2.18 (CERTIFIED 0.0) YES 6.34/1.94 (CERTIFIED 0.0)
TRS_Standard/Waldmann_06/jwno4.xml 5162215 NO 5.49/2.61 (CERTIFIED 0.0) NO 0.43/0.37 (CERTIFIED 0.0)
TRS_Standard/Waldmann_06/jwno2.xml 5162216 MAYBE 429.06/291.49 MAYBE 21.87/7.32
TRS_Standard/Waldmann_06/jwteparla2.xml 5162217 YES 9.49/3.91 (CERTIFIED 0.0) MAYBE 23.67/7.33
TRS_Standard/Waldmann_06/jwmatchb2.xml 5162218 YES 27.59/13.93 (CERTIFIED 0.0) YES 3.00/1.10 (CERTIFIED 0.0)
TRS_Standard/Waldmann_06/jwaprove1.xml 5162219 YES 13.26/4.41 (CERTIFIED 0.0) MAYBE 124.37/42.34
TRS_Standard/Waldmann_06/jwtpa1.xml 5162220 YES 13.44/4.30 (CERTIFIED 0.0) YES 1.98/0.79 (CERTIFIED 0.0)
TRS_Standard/Waldmann_06/jwno6.xml 5162221 NO 4.92/2.16 (CERTIFIED 0.0) NO 0.48/0.38 (CERTIFIED 0.0)
TRS_Standard/Waldmann_06/jwno9.xml 5162222 NO 6.17/2.50 (CERTIFIED 0.0) NO 0.52/0.40 (CERTIFIED 0.0)
TRS_Standard/Waldmann_06/jwno7.xml 5162223 MAYBE 385.27/291.48 MAYBE 25.25/7.32
TRS_Standard/Waldmann_06/jwcime2.xml 5162224 YES 4.73/2.10 (CERTIFIED 0.0) YES 2.00/0.83 (CERTIFIED 0.0)
TRS_Standard/Waldmann_06/jwno5.xml 5162225 MAYBE 385.61/291.48 MAYBE 20.66/7.33
TRS_Standard/Waldmann_06/jwno3.xml 5162226 MAYBE 379.98/291.48 MAYBE 27.50/7.91
TRS_Standard/Waldmann_06/jwaprove2.xml 5162227 YES 13.42/4.46 (CERTIFIED 0.0) MAYBE 126.67/42.33
TRS_Standard/Waldmann_06/jwmatchb1.xml 5162228 YES 33.98/18.13 (CERTIFIED 0.0) run script error [out]
TRS_Standard/Waldmann_06/jwcime1.xml 5162229 YES 9.24/3.39 (CERTIFIED 0.0) MAYBE 38.55/11.33
TRS_Standard/Waldmann_06/jwttt.xml 5162230 YES 5.00/2.19 (CERTIFIED 0.0) YES 5.82/1.75 (CERTIFIED 0.0)
TRS_Standard/Waldmann_06/jwno8.xml 5162231 MAYBE 606.58/291.49 MAYBE 24.43/7.37
TRS_Standard/Waldmann_06/jwteparla1.xml 5162232 YES 4.94/2.09 (CERTIFIED 0.0) MAYBE 18.49/7.32
TRS_Standard/Waldmann_06/jwno1.xml 5162233 NO 5.81/2.48 (CERTIFIED 0.0) NO 0.56/0.40 (CERTIFIED 0.0)
TRS_Standard/Zantema_15/delta.xml 5160799 MAYBE 354.83/292.44 MAYBE 11.32/7.33
TRS_Standard/Zantema_15/ex08.xml 5160800 MAYBE 1158.84/291.48 MAYBE 144.63/42.33
TRS_Standard/Zantema_15/ex07.xml 5160801 MAYBE 607.23/291.45 MAYBE 144.41/42.33
TRS_Standard/Zantema_15/ex13.xml 5160802 MAYBE 320.45/291.86 MAYBE 23.35/7.58
TRS_Standard/Zantema_15/ex06.xml 5160803 timeout (wallclock) [out] MAYBE 234.06/67.38
TRS_Standard/Zantema_15/ex12.xml 5160804 MAYBE 613.63/291.45 MAYBE 19.55/7.32
TRS_Standard/Zantema_15/ex14.xml 5160805 MAYBE 619.38/291.46 MAYBE 8.59/7.32
TRS_Standard/Zantema_15/ex11.xml 5160806 MAYBE 337.70/291.79 MAYBE 17.13/7.33
TRS_Standard/Zantema_15/ex01.xml 5160807 NO 5.32/2.07 (CERTIFIED 0.0) MAYBE 233.14/67.35
TRS_Standard/Zantema_15/ex05.xml 5160808 timeout (wallclock) [out] MAYBE 130.48/42.33
TRS_Standard/Zantema_15/ex09.xml 5160809 MAYBE 611.36/291.81 MAYBE 144.63/42.33
TRS_Standard/Zantema_15/ex04.xml 5160810 NO 17.02/5.11 (CERTIFIED 0.0) MAYBE 232.44/67.34
TRS_Standard/Zantema_15/ex03.xml 5160811 timeout (cpu) [out] MAYBE 233.44/67.35
TRS_Standard/Zantema_15/ex02.xml 5160812 MAYBE 1162.91/291.83 MAYBE 233.22/67.35
TRS_Standard/Zantema_15/ex10.xml 5160813 MAYBE 599.34/291.44 run script error [out]
TRS_Standard/Zantema_15/s.xml 5160814 MAYBE 387.81/291.49 MAYBE 14.95/7.33
TRS_Standard/TCT_12/recursion-10.xml 5161117 YES 4.41/1.84 (CERTIFIED 0.0) YES 10.88/3.33 (CERTIFIED 0.0)
TRS_Standard/TCT_12/polycounter-10.xml 5161118 YES 5.14/2.46 (CERTIFIED 0.0) YES 2.46/1.07 (CERTIFIED 0.0)
TRS_Standard/TCT_12/recursion-5.xml 5161119 YES 3.71/1.71 (CERTIFIED 0.0) YES 5.70/1.86 (CERTIFIED 0.0)
TRS_Standard/TCT_12/polycounter-5.xml 5161120 YES 3.99/1.83 (CERTIFIED 0.0) YES 1.27/0.57 (CERTIFIED 0.0)
TRS_Standard/TCT_12/sat.xml 5161121 YES 3.96/1.79 (CERTIFIED 0.0) YES 6.63/2.06 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_mixed_05/ex3.xml 5161942 NO 10.17/3.33 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_mixed_05/test9.xml 5161943 NO 4.25/1.89 (CERTIFIED 0.0) NO 0.52/0.39 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_mixed_05/gkg.xml 5161944 NO 3.98/1.86 (CERTIFIED 0.0) NO 0.41/0.36 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_mixed_05/toyama.xml 5161945 NO 3.83/1.72 (CERTIFIED 0.0) MAYBE 7.98/7.33
TRS_Standard/Strategy_removed_mixed_05/test10.xml 5161946 NO 13.00/8.49 (CERTIFIED 0.0) NO 0.43/0.36 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_mixed_05/test77.xml 5161947 NO 14.19/5.66 (CERTIFIED 0.0) MAYBE 11.38/7.33
TRS_Standard/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml 5161948 NO 6.63/2.69 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_mixed_05/n001.xml 5161949 NO 3.19/1.51 (CERTIFIED 0.0) NO 2.31/0.84 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_mixed_05/ex5.xml 5161950 NO 6.30/2.31 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_mixed_05/test75.xml 5161951 NO 4.14/1.91 (CERTIFIED 0.0) run script error [out]
TRS_Standard/Strategy_removed_mixed_05/ex6.xml 5161952 NO 4.63/2.05 (CERTIFIED 0.0) NO 0.43/0.36 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_mixed_05/ex1.xml 5161953 NO 8.59/2.99 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_mixed_05/muladd.xml 5161954 NO 4.21/1.85 (CERTIFIED 0.0) NO 0.43/0.37 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_mixed_05/test830.xml 5161955 YES 3.84/1.84 (CERTIFIED 0.0) YES 1.85/0.74 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_mixed_05/bn111.xml 5161956 YES 27.50/13.63 (CERTIFIED 0.0) run script error [out]
TRS_Standard/Strategy_removed_mixed_05/tricky1.xml 5161957 YES 3.68/1.85 (CERTIFIED 0.0) YES 2.20/0.88 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_mixed_05/ex2.xml 5161958 NO 6.15/2.45 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Strategy_removed_mixed_05/test76.xml 5161959 NO 6.49/2.55 (CERTIFIED 0.0) MAYBE 11.41/7.33
TRS_Standard/Strategy_removed_mixed_05/ex4.xml 5161960 NO 15.57/4.64 (CERTIFIED 0.0) NO 0.46/0.38 (CERTIFIED 0.0)
TRS_Standard/Various_04/05.xml 5160990 MAYBE 641.41/292.32 MAYBE 10.81/7.34
TRS_Standard/Various_04/03.xml 5160991 YES 3.47/4.54 (CERTIFIED 0.0) YES 0.83/0.49 (CERTIFIED 0.0)
TRS_Standard/Various_04/12.xml 5160992 YES 3.94/1.79 (CERTIFIED 0.0) YES 8.71/2.59 (CERTIFIED 0.0)
TRS_Standard/Various_04/10.xml 5160993 YES 5.12/2.16 (CERTIFIED 0.0) YES 14.41/4.14 (CERTIFIED 0.0)
TRS_Standard/Various_04/27.xml 5160994 YES 3.31/1.53 (CERTIFIED 0.0) YES 0.48/0.38 (CERTIFIED 0.0)
TRS_Standard/Various_04/06.xml 5160995 YES 4.12/1.81 (CERTIFIED 0.0) run script error [out]
TRS_Standard/Various_04/02.xml 5160996 YES 3.77/1.72 (CERTIFIED 0.0) YES 0.53/0.38 (CERTIFIED 0.0)
TRS_Standard/Various_04/14.xml 5160997 YES 9.07/3.58 (CERTIFIED 0.1) YES 30.37/8.16 (CERTIFIED 0.1)
TRS_Standard/Various_04/13.xml 5160998 YES 4.01/1.85 (CERTIFIED 0.0) YES 11.90/3.43 (CERTIFIED 0.0)
TRS_Standard/Various_04/25.xml 5160999 YES 3.52/1.66 (CERTIFIED 0.0) YES 0.60/0.42 (CERTIFIED 0.0)
TRS_Standard/Various_04/04.xml 5161000 MAYBE 766.97/292.79 MAYBE 11.27/7.36
TRS_Standard/Various_04/08.xml 5161001 MAYBE 898.76/300.30 MAYBE 15.26/7.36
TRS_Standard/Various_04/23.xml 5161002 YES 3.77/1.74 (CERTIFIED 0.0) YES 2.87/1.00 (CERTIFIED 0.0)
TRS_Standard/Various_04/19.xml 5161003 YES 3.71/1.72 (CERTIFIED 0.0) run script error [out]
TRS_Standard/Various_04/09.xml 5161004 YES 4.19/1.82 (CERTIFIED 0.0) YES 0.98/0.50 (CERTIFIED 0.0)
TRS_Standard/Various_04/11.xml 5161005 YES 3.98/1.87 (CERTIFIED 0.0) MAYBE 9.50/7.33
TRS_Standard/Various_04/07.xml 5161006 YES 3.90/1.73 (CERTIFIED 0.0) YES 0.40/0.35 (CERTIFIED 0.0)
TRS_Standard/Various_04/18.xml 5161007 YES 3.57/1.65 (CERTIFIED 0.0) YES 0.55/0.41 (CERTIFIED 0.0)
TRS_Standard/Various_04/21.xml 5161008 YES 3.81/1.69 (CERTIFIED 0.0) YES 0.63/0.44 (CERTIFIED 0.0)
TRS_Standard/Various_04/24.xml 5161009 YES 4.23/1.80 (CERTIFIED 0.0) YES 5.29/1.59 (CERTIFIED 0.0)
TRS_Standard/Various_04/26.xml 5161010 YES 3.85/1.73 (CERTIFIED 0.0) YES 1.88/0.76 (CERTIFIED 0.0)
TRS_Standard/Various_04/15.xml 5161011 YES 6.40/2.44 (CERTIFIED 0.0) YES 14.28/5.52 (CERTIFIED 0.0)
TRS_Standard/Various_04/22.xml 5161012 YES 3.52/1.64 (CERTIFIED 0.0) YES 1.65/0.70 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_L.xml 5161211 NO 3.17/1.47 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_GM.xml 5161212 NO 13.27/6.17 (CERTIFIED 0.0) NO 0.69/0.44 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml 5161213 YES 8.17/2.94 (CERTIFIED 0.0) MAYBE 145.39/42.39
TRS_Standard/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml 5161214 NO 883.20/240.28 (CERTIFIED 0.2) MAYBE 147.01/42.43
TRS_Standard/Transformed_CSR_04/MYNAT_complete_GM.xml 5161215 YES 6.45/2.62 (CERTIFIED 0.0) MAYBE 144.66/42.40
TRS_Standard/Transformed_CSR_04/ExIntrod_GM04_GM.xml 5161216 YES 5.77/2.29 (CERTIFIED 0.0) YES 14.56/4.06 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_Z.xml 5161217 YES 5.47/2.06 (CERTIFIED 0.0) YES 1.08/0.53 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_C.xml 5161218 YES 12.51/4.36 (CERTIFIED 0.1) YES 47.38/13.43 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml 5161219 YES 6.46/2.80 (CERTIFIED 0.0) YES 19.16/5.19 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 5161220 YES 4.58/1.95 (CERTIFIED 0.0) YES 4.11/1.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_FR.xml 5161221 NO 8.16/2.82 (CERTIFIED 0.0) NO 0.43/0.37 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_complete_iGM.xml 5161222 YES 8.76/3.16 (CERTIFIED 0.0) MAYBE 147.68/42.46
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_FR.xml 5161223 YES 4.03/1.86 (CERTIFIED 0.0) YES 22.15/6.04 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_C.xml 5161224 YES 15.04/4.57 (CERTIFIED 0.0) YES 0.89/0.49 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_iGM.xml 5161225 NO 271.43/106.67 (CERTIFIED 0.0) MAYBE 108.04/42.33
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_C.xml 5161226 YES 65.39/25.60 (CERTIFIED 0.1) YES 29.38/7.71 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_FR.xml 5161227 NO 4.03/1.85 (CERTIFIED 0.0) NO 0.40/0.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_Z.xml 5161228 YES 3.73/1.71 (CERTIFIED 0.0) YES 6.48/2.04 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml 5161229 YES 10.51/3.54 (CERTIFIED 0.0) YES 10.42/2.94 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml 5161230 timeout (wallclock) [out] MAYBE 145.63/42.40
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_GM.xml 5161231 NO 4.43/1.90 (CERTIFIED 0.0) NO 0.46/0.38 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExProp7_Luc06_iGM.xml 5161232 YES 11.03/3.83 (CERTIFIED 0.0) YES 12.76/3.53 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 5161233 run script error [out] YES 0.80/0.49 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_FR.xml 5161234 YES 6.26/2.38 (CERTIFIED 0.0) YES 0.66/0.42 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml 5161235 timeout (wallclock) [out] MAYBE 147.57/42.44
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 5161236 YES 14.03/4.62 (CERTIFIED 0.0) MAYBE 138.58/42.38
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_FR.xml 5161237 run script error [out] YES 10.54/3.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml 5161238 YES 4.17/1.89 (CERTIFIED 0.0) YES 8.60/2.48 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExProp7_Luc06_GM.xml 5161239 YES 4.78/2.05 (CERTIFIED 0.0) YES 5.00/1.57 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_FR.xml 5161240 NO 5.04/2.22 (CERTIFIED 0.0) NO 0.48/0.37 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_C.xml 5161241 MAYBE 875.18/291.57 MAYBE 144.77/42.34
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml 5161242 timeout (wallclock) [out] run script error [out]
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml 5161243 MAYBE 956.72/297.38 MAYBE 145.55/42.42
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_C.xml 5161244 YES 10.94/3.93 (CERTIFIED 0.0) YES 1.99/0.77 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex24_GM04_GM.xml 5161245 NO 35.39/23.00 (CERTIFIED 0.0) MAYBE 8.75/7.33
TRS_Standard/Transformed_CSR_04/PEANO_complete-noand_Z.xml 5161246 YES 25.13/7.88 (CERTIFIED 0.0) YES 63.81/16.88 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_GM.xml 5161247 timeout (wallclock) [out] MAYBE 133.86/42.34
TRS_Standard/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 5161248 YES 4.39/1.95 (CERTIFIED 0.0) YES 14.62/5.84 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_C.xml 5161249 YES 8.23/2.80 (CERTIFIED 0.1) YES 28.56/7.92 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml 5161250 MAYBE 742.80/292.32 MAYBE 145.93/42.43
TRS_Standard/Transformed_CSR_04/Ex1_GM99_iGM.xml 5161251 NO 11.82/5.29 (CERTIFIED 0.0) MAYBE 111.59/42.34
TRS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 5161252 MAYBE 857.68/292.48 MAYBE 129.42/42.34
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_Z.xml 5161253 MAYBE 562.31/291.92 MAYBE 125.46/42.36
TRS_Standard/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 5161254 YES 3.32/1.54 (CERTIFIED 0.0) YES 0.67/0.42 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml 5161255 YES 70.04/20.37 (CERTIFIED 0.2) run script error [out]
TRS_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml 5161256 NO 3.05/1.46 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_C.xml 5161257 YES 125.12/39.43 (CERTIFIED 0.0) YES 49.64/12.95 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 5161258 NO 5.54/2.33 (CERTIFIED 0.0) NO 0.50/0.39 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 5161259 NO 2.99/1.75 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml 5161260 NO 354.74/90.50 (CERTIFIED 0.2) MAYBE 148.62/42.44
TRS_Standard/Transformed_CSR_04/PALINDROME_complete-noand_L.xml 5161261 NO 78.71/22.91 (CERTIFIED 0.0) NO 0.34/0.34 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_L.xml 5161262 NO 3.86/1.76 (CERTIFIED 0.0) NO 0.42/0.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml 5161263 YES 426.27/168.94 (CERTIFIED 1.2) MAYBE 147.33/42.59
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 5161264 NO 3.09/1.46 (CERTIFIED 0.0) NO 0.33/0.34 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_complete_L.xml 5161265 NO 3.04/1.49 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_FR.xml 5161266 YES 11.78/3.92 (CERTIFIED 0.0) YES 1.27/0.59 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_L.xml 5161267 run script error [out] NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 5161268 YES 3.85/2.05 (CERTIFIED 0.0) YES 4.52/1.63 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_C.xml 5161269 timeout (wallclock) [out] MAYBE 146.05/42.42
TRS_Standard/Transformed_CSR_04/MYNAT_complete_Z.xml 5161270 YES 5.23/2.25 (CERTIFIED 0.0) MAYBE 140.93/42.38
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml 5161271 YES 6.15/2.55 (CERTIFIED 0.0) YES 20.27/6.18 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml 5161272 YES 16.79/5.84 (CERTIFIED 0.1) MAYBE 146.11/42.67
TRS_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 5161273 NO 3.05/1.46 (CERTIFIED 0.0) NO 0.30/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml 5161274 YES 3.29/1.54 (CERTIFIED 0.0) YES 0.55/0.39 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml 5161275 MAYBE 709.15/292.93 MAYBE 147.24/42.52
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_GM.xml 5161276 YES 5.78/2.68 (CERTIFIED 0.0) YES 24.78/6.78 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml 5161277 timeout (wallclock) [out] MAYBE 90.74/43.42
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 5161278 timeout (wallclock) [out] MAYBE 145.27/42.36
TRS_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 5161279 YES 4.00/1.82 (CERTIFIED 0.0) YES 1.24/0.62 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_FR.xml 5161280 YES 3.40/1.63 (CERTIFIED 0.0) YES 0.45/0.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_L.xml 5161281 NO 3.05/1.47 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_Z.xml 5161282 YES 4.10/1.81 (CERTIFIED 0.0) YES 15.31/5.59 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_C.xml 5161283 timeout (wallclock) [out] MAYBE 146.49/42.41
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml 5161284 MAYBE 842.84/292.07 MAYBE 148.07/42.43
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_L.xml 5161285 NO 3.24/1.48 (CERTIFIED 0.0) NO 0.32/0.33 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml 5161286 YES 7.26/2.80 (CERTIFIED 0.0) YES 12.96/3.69 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 5161287 YES 6.64/2.44 (CERTIFIED 0.0) YES 26.28/7.11 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml 5161288 YES 4.22/1.81 (CERTIFIED 0.0) YES 19.96/5.74 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_FR.xml 5161289 YES 5.30/2.20 (CERTIFIED 0.0) YES 96.20/25.32 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_GM.xml 5161290 YES 4.45/1.84 (CERTIFIED 0.0) YES 6.04/1.80 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml 5161291 timeout (wallclock) [out] MAYBE 144.86/42.38
TRS_Standard/Transformed_CSR_04/MYNAT_complete-noand_Z.xml 5161292 YES 46.28/12.93 (CERTIFIED 0.1) MAYBE 145.75/42.40
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_FR.xml 5161293 YES 3.70/1.65 (CERTIFIED 0.0) YES 2.37/0.91 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_GM.xml 5161294 MAYBE 1110.08/292.03 MAYBE 132.92/42.35
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_L.xml 5161295 YES 3.17/1.50 (CERTIFIED 0.0) YES 0.47/0.37 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_iGM.xml 5161296 YES 38.30/10.56 (CERTIFIED 0.0) YES 16.99/4.56 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml 5161297 YES 3.48/1.66 (CERTIFIED 0.0) YES 1.73/0.72 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_iGM.xml 5161298 YES 11.99/4.01 (CERTIFIED 0.0) YES 24.70/6.74 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/ExIntrod_GM01_L.xml 5161299 NO 3.20/1.47 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml 5161300 MAYBE 834.87/292.70 MAYBE 143.76/42.35
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_Z.xml 5161301 YES 3.97/1.82 (CERTIFIED 0.0) YES 17.42/5.71 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_FR.xml 5161302 YES 13.11/4.33 (CERTIFIED 0.0) MAYBE 141.88/42.36
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_FR.xml 5161303 NO 6.18/2.38 (CERTIFIED 0.0) NO 0.45/0.37 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 5161304 YES 171.78/45.77 (CERTIFIED 0.2) MAYBE 139.25/42.37
TRS_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 5161305 timeout (wallclock) [out] MAYBE 136.37/42.36
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_L.xml 5161306 NO 6.02/2.23 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_GM03_Z.xml 5161307 NO 4.48/2.00 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_Z.xml 5161308 NO 3.16/1.73 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex49_GM04_iGM.xml 5161309 YES 11.09/3.71 (CERTIFIED 0.0) YES 27.16/7.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 5161310 YES 37.31/11.92 (CERTIFIED 0.2) MAYBE 147.43/42.50
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_iGM.xml 5161311 NO 10.73/4.67 (CERTIFIED 0.0) MAYBE 144.90/42.34
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_iGM.xml 5161312 timeout (wallclock) [out] run script error [out]
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_L.xml 5161313 NO 3.07/1.46 (CERTIFIED 0.0) NO 0.32/0.33 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_FR.xml 5161314 timeout (wallclock) [out] MAYBE 116.22/42.36
TRS_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 5161315 YES 3.76/1.69 (CERTIFIED 0.0) YES 0.43/0.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_C.xml 5161316 YES 7.89/2.87 (CERTIFIED 0.0) YES 26.99/7.34 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_L.xml 5161317 NO 9.15/3.04 (CERTIFIED 0.0) NO 0.45/0.38 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_GM03_GM.xml 5161318 timeout (wallclock) [out] MAYBE 133.40/42.37
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_C.xml 5161319 timeout (wallclock) [out] MAYBE 145.53/42.38
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_FR.xml 5161320 MAYBE 1161.83/292.39 MAYBE 126.04/42.37
TRS_Standard/Transformed_CSR_04/ExIntrod_GM99_FR.xml 5161321 MAYBE 860.98/291.55 MAYBE 144.58/42.35
TRS_Standard/Transformed_CSR_04/ExIntrod_GM99_C.xml 5161322 MAYBE 1006.39/297.68 MAYBE 145.75/42.41
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_L.xml 5161323 NO 4.63/2.02 (CERTIFIED 0.0) NO 0.31/0.35 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_C.xml 5161324 YES 6.29/2.35 (CERTIFIED 0.0) YES 16.01/4.35 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_FR.xml 5161325 YES 3.99/1.74 (CERTIFIED 0.0) YES 2.38/0.89 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_GM.xml 5161326 YES 3.85/1.73 (CERTIFIED 0.0) YES 1.38/0.62 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_FR.xml 5161327 NO 4.08/1.84 (CERTIFIED 0.0) NO 0.41/0.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_iGM.xml 5161328 MAYBE 895.18/291.95 MAYBE 147.24/42.51
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml 5161329 MAYBE 823.05/293.67 MAYBE 148.03/42.47
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml 5161330 YES 185.33/58.59 (CERTIFIED 0.4) MAYBE 147.36/42.49
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_Z.xml 5161331 YES 5.96/2.34 (CERTIFIED 0.0) YES 50.67/13.55 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_C.xml 5161332 timeout (wallclock) [out] MAYBE 144.87/42.35
TRS_Standard/Transformed_CSR_04/Ex1_GM99_FR.xml 5161333 NO 4.00/1.86 (CERTIFIED 0.0) NO 0.56/0.40 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_iGM.xml 5161334 YES 11.11/3.79 (CERTIFIED 0.0) YES 24.56/6.61 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/ExIntrod_Zan97_L.xml 5161335 NO 3.14/1.51 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml 5161336 MAYBE 859.61/291.60 MAYBE 143.62/42.39
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml 5161337 YES 18.70/5.83 (CERTIFIED 0.0) run script error [out]
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_L.xml 5161338 NO 3.05/1.48 (CERTIFIED 0.0) run script error [out]
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_FR.xml 5161339 NO 351.33/89.29 (CERTIFIED 0.1) MAYBE 142.46/42.38
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 5161340 YES 8.61/3.15 (CERTIFIED 0.0) YES 16.82/4.86 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 5161341 YES 3.81/1.78 (CERTIFIED 0.0) YES 15.57/5.50 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex49_GM04_Z.xml 5161342 YES 4.35/1.95 (CERTIFIED 0.0) YES 5.84/1.91 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml 5161343 MAYBE 708.77/292.33 MAYBE 146.13/42.73
TRS_Standard/Transformed_CSR_04/ExIntrod_GM99_L.xml 5161344 NO 3.25/1.57 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_Z.xml 5161345 YES 19.00/8.74 (CERTIFIED 0.0) YES 31.37/9.30 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_C.xml 5161346 YES 5.99/5.55 (CERTIFIED 0.0) YES 23.99/6.45 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/ExProp7_Luc06_FR.xml 5161347 YES 4.56/1.89 (CERTIFIED 0.0) YES 2.35/0.87 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_complete_noand_GM.xml 5161348 YES 10.36/3.63 (CERTIFIED 0.1) YES 88.99/24.52 (CERTIFIED 0.2)
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_L.xml 5161349 NO 5.35/2.08 (CERTIFIED 0.0) NO 0.30/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml 5161350 NO 3.09/1.49 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml 5161351 MAYBE 955.32/293.19 MAYBE 148.89/42.49
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_L.xml 5161352 YES 3.65/1.67 (CERTIFIED 0.0) YES 4.04/1.35 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml 5161353 MAYBE 1128.17/292.73 MAYBE 145.16/42.39
TRS_Standard/Transformed_CSR_04/Ex1_GM03_FR.xml 5161354 MAYBE 681.13/291.51 run script error [out]
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_Z.xml 5161355 YES 3.72/1.60 (CERTIFIED 0.0) YES 0.44/0.37 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml 5161356 YES 5.57/2.40 (CERTIFIED 0.0) YES 62.16/16.13 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/PEANO_complete-noand_L.xml 5161357 NO 3.07/1.49 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml 5161358 MAYBE 806.47/291.83 MAYBE 148.32/42.53
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_GM.xml 5161359 MAYBE 1156.09/292.59 MAYBE 141.27/42.38
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_C.xml 5161360 YES 12.96/4.53 (CERTIFIED 0.1) MAYBE 145.34/42.40
TRS_Standard/Transformed_CSR_04/ExIntrod_GM04_Z.xml 5161361 NO 22.30/9.37 (CERTIFIED 0.0) NO 3.33/1.11 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex24_GM04_Z.xml 5161362 NO 25.31/13.20 (CERTIFIED 0.0) NO 2.91/1.01 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml 5161363 YES 5.02/2.03 (CERTIFIED 0.0) YES 20.67/5.60 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_noand_C.xml 5161364 MAYBE 1023.42/296.81 MAYBE 145.56/42.39
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_Z.xml 5161365 NO 366.92/93.89 (CERTIFIED 0.1) MAYBE 142.81/42.37
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_L.xml 5161366 NO 3.11/1.54 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_L.xml 5161367 YES 3.41/1.54 (CERTIFIED 0.0) YES 0.43/0.35 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_GM.xml 5161368 MAYBE 834.13/292.53 MAYBE 145.30/42.37
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_L.xml 5161369 NO 3.12/1.54 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml 5161370 MAYBE 667.27/292.42 MAYBE 146.03/42.78
TRS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml 5161371 YES 3.70/1.71 (CERTIFIED 0.0) YES 4.57/1.64 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml 5161372 timeout (wallclock) [out] MAYBE 145.18/42.39
TRS_Standard/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml 5161373 YES 5.76/2.44 (CERTIFIED 0.0) YES 79.21/20.43 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_GM.xml 5161374 YES 3.96/1.78 (CERTIFIED 0.0) YES 7.28/2.33 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_GM.xml 5161375 YES 3.51/1.64 (CERTIFIED 0.0) YES 0.61/0.42 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExIntrod_Zan97_FR.xml 5161376 timeout (wallclock) [out] MAYBE 131.55/42.35
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml 5161377 YES 9.13/3.05 (CERTIFIED 0.0) MAYBE 135.49/42.36
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_L.xml 5161378 NO 8.31/2.83 (CERTIFIED 0.0) NO 0.44/0.37 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExIntrod_GM01_Z.xml 5161379 NO 16.99/10.82 (CERTIFIED 0.0) NO 0.76/0.45 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_C.xml 5161380 YES 10.39/3.91 (CERTIFIED 0.1) YES 29.26/7.85 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml 5161381 MAYBE 1029.51/292.91 MAYBE 146.61/42.42
TRS_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 5161382 YES 5.27/2.11 (CERTIFIED 0.0) run script error [out]
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_Z.xml 5161383 NO 52.36/18.96 (CERTIFIED 0.1) MAYBE 140.48/42.35
TRS_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 5161384 YES 15.69/4.83 (CERTIFIED 0.0) YES 10.79/3.22 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml 5161385 YES 14.29/4.63 (CERTIFIED 0.0) YES 30.99/8.49 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_Z.xml 5161386 NO 27.21/9.68 (CERTIFIED 0.0) MAYBE 106.40/42.38
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_GM.xml 5161387 YES 8.07/2.90 (CERTIFIED 0.0) MAYBE 136.48/42.36
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_L.xml 5161388 YES 3.18/1.57 (CERTIFIED 0.0) YES 0.74/0.43 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_L.xml 5161389 NO 3.05/1.55 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml 5161390 YES 18.72/5.97 (CERTIFIED 0.1) YES 105.71/28.02 (CERTIFIED 0.2)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 5161391 YES 6.02/2.41 (CERTIFIED 0.0) YES 18.97/5.69 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_complete-noand_FR.xml 5161392 YES 15.88/4.95 (CERTIFIED 0.1) YES 66.88/17.90 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 5161393 YES 3.42/1.60 (CERTIFIED 0.0) YES 0.42/0.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_GM.xml 5161394 YES 4.99/2.01 (CERTIFIED 0.0) MAYBE 136.52/42.37
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml 5161395 MAYBE 1132.87/294.64 MAYBE 144.92/42.39
TRS_Standard/Transformed_CSR_04/Ex1_GM99_GM.xml 5161396 NO 5.78/2.28 (CERTIFIED 0.0) MAYBE 25.41/7.75
TRS_Standard/Transformed_CSR_04/PEANO_nokinds-noand_L.xml 5161397 NO 2.94/1.49 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml 5161398 NO 3.18/1.49 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 5161399 YES 4.65/1.96 (CERTIFIED 0.0) MAYBE 133.21/42.35
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml 5161400 YES 82.46/22.60 (CERTIFIED 0.1) YES 134.48/37.74 (CERTIFIED 0.2)
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_C.xml 5161401 YES 8.86/3.08 (CERTIFIED 0.1) YES 28.02/7.81 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_C.xml 5161402 YES 13.21/4.59 (CERTIFIED 0.1) YES 55.96/14.68 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 5161403 MAYBE 617.82/291.81 MAYBE 148.23/42.50
TRS_Standard/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 5161404 YES 7.72/2.82 (CERTIFIED 0.0) MAYBE 139.90/42.35
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml 5161405 NO 71.52/21.58 (CERTIFIED 0.1) MAYBE 144.89/42.36
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_iGM.xml 5161406 YES 16.43/5.13 (CERTIFIED 0.1) YES 28.49/8.03 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_L.xml 5161407 NO 3.17/1.49 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 5161408 MAYBE 1066.35/291.81 MAYBE 142.21/42.37
TRS_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml 5161409 YES 4.42/1.91 (CERTIFIED 0.0) YES 4.44/1.44 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_FR.xml 5161410 YES 4.53/1.91 (CERTIFIED 0.0) MAYBE 134.12/42.36
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_GM.xml 5161411 YES 6.32/2.35 (CERTIFIED 0.0) YES 12.94/3.62 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_C.xml 5161412 YES 4.12/1.77 (CERTIFIED 0.0) YES 10.07/2.84 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_complete-noand_L.xml 5161413 NO 3.19/1.52 (CERTIFIED 0.0) NO 0.34/0.34 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_GM.xml 5161414 MAYBE 1002.15/292.95 MAYBE 140.20/42.34
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_L.xml 5161415 YES 3.23/1.51 (CERTIFIED 0.0) YES 0.41/0.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_FR.xml 5161416 YES 3.63/1.67 (CERTIFIED 0.0) YES 0.67/0.44 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_GM03_iGM.xml 5161417 MAYBE 806.98/291.76 MAYBE 142.56/42.38
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 5161418 YES 4.38/1.87 (CERTIFIED 0.0) YES 13.55/5.53 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 5161419 NO 4.72/1.99 (CERTIFIED 0.0) NO 0.41/0.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_iGM.xml 5161420 YES 6.50/2.55 (CERTIFIED 0.0) YES 19.66/5.30 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_iGM.xml 5161421 YES 12.52/3.96 (CERTIFIED 0.0) YES 6.21/1.88 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml 5161422 run script error [out] MAYBE 98.27/43.31
TRS_Standard/Transformed_CSR_04/Ex24_GM04_C.xml 5161423 timeout (wallclock) [out] MAYBE 144.93/42.34
TRS_Standard/Transformed_CSR_04/PEANO_nosorts-noand_L.xml 5161424 NO 3.05/1.52 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_L.xml 5161425 NO 3.09/1.48 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_GM.xml 5161426 YES 8.25/3.07 (CERTIFIED 0.0) YES 13.06/3.79 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_FR.xml 5161427 YES 4.33/1.89 (CERTIFIED 0.0) YES 7.98/2.48 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 5161428 NO 4.75/2.20 (CERTIFIED 0.0) NO 0.59/0.41 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_C.xml 5161429 YES 8.58/3.08 (CERTIFIED 0.1) YES 28.68/8.01 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml 5161430 NO 3.05/1.48 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_GM03_C.xml 5161431 MAYBE 960.42/291.58 MAYBE 145.24/42.38
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_GM.xml 5161432 YES 3.76/1.70 (CERTIFIED 0.0) YES 1.17/0.55 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_C.xml 5161433 YES 5.56/2.19 (CERTIFIED 0.0) YES 26.11/6.95 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml 5161434 NO 2.98/1.47 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml 5161435 YES 4.07/1.84 (CERTIFIED 0.0) YES 8.36/2.50 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml 5161436 YES 3.84/1.70 (CERTIFIED 0.0) YES 5.67/1.81 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_complete_iGM.xml 5161437 YES 7.06/2.60 (CERTIFIED 0.0) MAYBE 145.18/42.41
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_Z.xml 5161438 NO 5.93/2.33 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_GM.xml 5161439 YES 4.07/1.79 (CERTIFIED 0.0) YES 2.27/0.85 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml 5161440 timeout (wallclock) [out] run script error [out]
TRS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_C.xml 5161441 timeout (wallclock) [out] MAYBE 145.07/42.36
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_L.xml 5161442 YES 3.10/1.52 (CERTIFIED 0.0) YES 0.43/0.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_L.xml 5161443 NO 2.96/1.49 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml 5161444 YES 3.74/1.69 (CERTIFIED 0.0) YES 5.04/1.74 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_C.xml 5161445 MAYBE 791.81/292.19 MAYBE 147.61/42.77
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_GM.xml 5161446 YES 6.62/2.43 (CERTIFIED 0.0) YES 1.29/0.59 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_C.xml 5161447 MAYBE 967.81/293.24 MAYBE 145.30/42.37
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_L.xml 5161448 NO 3.20/1.56 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_Z.xml 5161449 YES 5.00/2.05 (CERTIFIED 0.0) YES 0.93/0.50 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml 5161450 MAYBE 809.55/294.19 MAYBE 148.56/42.71
TRS_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 5161451 YES 4.08/1.82 (CERTIFIED 0.0) YES 13.92/5.82 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml 5161452 NO 923.18/292.84 (CERTIFIED 0.1) MAYBE 145.84/42.40
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml 5161453 MAYBE 1027.04/296.38 MAYBE 145.76/42.41
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_Z.xml 5161454 YES 5.14/2.39 (CERTIFIED 0.0) YES 18.67/5.96 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExIntrod_GM04_iGM.xml 5161455 YES 10.92/3.82 (CERTIFIED 0.1) YES 26.89/7.24 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml 5161456 YES 15.65/7.24 (CERTIFIED 0.1) MAYBE 147.14/42.47
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_C.xml 5161457 MAYBE 980.31/293.56 MAYBE 145.13/42.37
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_GM.xml 5161458 YES 4.74/2.02 (CERTIFIED 0.0) YES 6.04/1.97 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex6_GM04_C.xml 5161459 YES 10.28/3.51 (CERTIFIED 0.0) YES 4.48/1.41 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex49_GM04_FR.xml 5161460 YES 11.18/4.33 (CERTIFIED 0.0) YES 38.79/11.01 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_Z.xml 5161461 YES 3.92/1.86 (CERTIFIED 0.0) YES 24.78/6.82 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 5161462 NO 42.27/14.23 (CERTIFIED 0.1) MAYBE 142.87/42.37
TRS_Standard/Transformed_CSR_04/ExIntrod_GM04_C.xml 5161463 YES 7.14/2.76 (CERTIFIED 0.1) YES 27.19/7.43 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml 5161464 YES 23.68/7.33 (CERTIFIED 0.1) YES 109.58/29.04 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_C.xml 5161465 MAYBE 1031.70/291.73 MAYBE 146.29/42.43
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 5161466 YES 3.63/1.69 (CERTIFIED 0.0) YES 5.13/1.57 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_L.xml 5161467 NO 7.50/2.61 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 5161468 YES 4.04/1.76 (CERTIFIED 0.0) YES 4.30/1.41 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml 5161469 NO 5.40/2.31 (CERTIFIED 0.0) NO 0.32/0.33 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_L.xml 5161470 YES 2.94/1.55 (CERTIFIED 0.0) YES 0.44/0.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_Z.xml 5161471 YES 3.82/1.74 (CERTIFIED 0.0) YES 17.27/5.70 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExProp7_Luc06_Z.xml 5161472 YES 4.04/1.81 (CERTIFIED 0.0) YES 1.32/0.63 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_C.xml 5161473 timeout (wallclock) [out] MAYBE 149.21/42.51
TRS_Standard/Transformed_CSR_04/ExAppendixB_AEL03_L.xml 5161474 NO 2.88/1.48 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_L.xml 5161475 NO 3.13/1.49 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml 5161476 YES 74.01/20.82 (CERTIFIED 0.2) MAYBE 146.55/42.44
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml 5161477 NO 22.24/8.93 (CERTIFIED 0.0) MAYBE 144.32/42.36
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_FR.xml 5161478 MAYBE 1160.02/293.25 MAYBE 147.59/42.41
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_noand_C.xml 5161479 YES 6.50/2.41 (CERTIFIED 0.0) YES 27.39/7.46 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_GM.xml 5161480 YES 4.43/1.81 (CERTIFIED 0.0) YES 0.46/0.37 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_GM.xml 5161481 YES 8.64/3.03 (CERTIFIED 0.1) YES 46.52/12.27 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex6_GM04_iGM.xml 5161482 YES 6.07/2.30 (CERTIFIED 0.0) YES 2.47/0.89 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_iGM.xml 5161483 YES 5.20/2.31 (CERTIFIED 0.0) YES 4.63/1.45 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_C.xml 5161484 timeout (wallclock) [out] MAYBE 145.23/42.38
TRS_Standard/Transformed_CSR_04/Ex24_GM04_L.xml 5161485 NO 10.31/3.33 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml 5161486 YES 10.29/3.41 (CERTIFIED 0.0) MAYBE 135.41/42.37
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_FR.xml 5161487 YES 9.90/3.42 (CERTIFIED 0.0) YES 5.98/1.76 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml 5161488 MAYBE 753.37/292.13 MAYBE 145.52/42.77
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_iGM.xml 5161489 YES 5.29/2.14 (CERTIFIED 0.0) YES 67.64/18.20 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml 5161490 YES 3.25/1.59 (CERTIFIED 0.0) YES 0.59/0.40 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_FR.xml 5161491 NO 327.09/107.60 (CERTIFIED 0.1) MAYBE 134.22/42.36
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml 5161492 timeout (wallclock) [out] MAYBE 147.75/42.57
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 5161493 NO 12.37/4.38 (CERTIFIED 0.0) MAYBE 63.53/20.98
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml 5161494 MAYBE 835.50/291.85 MAYBE 147.84/42.43
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_FR.xml 5161495 YES 4.11/1.81 (CERTIFIED 0.0) YES 1.63/0.69 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExIntrod_GM01_FR.xml 5161496 NO 23.66/8.96 (CERTIFIED 0.0) NO 2.30/0.84 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_L.xml 5161497 YES 3.15/1.49 (CERTIFIED 0.0) YES 0.41/0.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_iGM.xml 5161498 YES 7.30/2.65 (CERTIFIED 0.0) MAYBE 144.95/42.40
TRS_Standard/Transformed_CSR_04/MYNAT_complete-noand_FR.xml 5161499 YES 50.89/14.84 (CERTIFIED 0.1) MAYBE 146.02/42.40
TRS_Standard/Transformed_CSR_04/ExIntrod_GM99_iGM.xml 5161500 MAYBE 804.37/291.75 MAYBE 144.65/42.39
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_GM.xml 5161501 YES 3.55/1.64 (CERTIFIED 0.0) YES 0.60/0.40 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_FR.xml 5161502 YES 10.09/3.46 (CERTIFIED 0.0) YES 25.33/8.01 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_C.xml 5161503 YES 7.66/2.94 (CERTIFIED 0.0) YES 24.24/6.51 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_C.xml 5161504 YES 44.53/18.48 (CERTIFIED 0.0) YES 5.16/1.60 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_L.xml 5161505 NO 2.99/1.46 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_Z.xml 5161506 YES 4.16/1.79 (CERTIFIED 0.0) YES 6.71/2.13 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 5161507 YES 4.09/2.11 (CERTIFIED 0.0) YES 13.32/4.76 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_noand_C.xml 5161508 MAYBE 769.49/292.05 MAYBE 147.75/42.73
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 5161509 NO 6.08/2.51 (CERTIFIED 0.0) NO 0.59/0.41 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_GM.xml 5161510 YES 4.12/1.78 (CERTIFIED 0.0) MAYBE 131.56/42.34
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml 5161511 NO 201.29/60.93 (CERTIFIED 0.0) NO 0.32/0.33 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml 5161512 YES 146.05/43.86 (CERTIFIED 0.2) MAYBE 145.35/42.42
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_L.xml 5161513 NO 2.99/1.50 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExIntrod_GM01_GM.xml 5161514 run script error [out] YES 23.10/6.21 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml 5161515 YES 171.53/63.56 (CERTIFIED 0.2) MAYBE 145.19/42.39
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_iGM.xml 5161516 YES 10.95/3.58 (CERTIFIED 0.0) YES 1.68/0.67 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 5161517 MAYBE 682.94/291.81 MAYBE 147.45/42.43
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_FR.xml 5161518 YES 4.59/1.91 (CERTIFIED 0.0) YES 16.99/6.45 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml 5161519 YES 4.45/1.93 (CERTIFIED 0.0) YES 5.08/1.57 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_L.xml 5161520 NO 3.21/1.48 (CERTIFIED 0.0) NO 0.32/0.33 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml 5161521 NO 933.43/293.65 (CERTIFIED 0.1) MAYBE 145.75/42.40
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_iGM.xml 5161522 YES 6.92/2.82 (CERTIFIED 0.0) MAYBE 32.66/10.07
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_FR.xml 5161523 YES 4.74/2.09 (CERTIFIED 0.0) YES 13.35/4.03 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml 5161524 timeout (wallclock) [out] MAYBE 148.89/42.58
TRS_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml 5161525 YES 9.00/3.07 (CERTIFIED 0.1) YES 29.07/8.20 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_GM.xml 5161526 YES 9.24/3.03 (CERTIFIED 0.0) YES 5.30/1.60 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_iGM.xml 5161527 YES 7.92/2.88 (CERTIFIED 0.0) YES 24.33/6.65 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/PEANO_complete_noand_C.xml 5161528 timeout (wallclock) [out] MAYBE 148.37/42.49
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_C.xml 5161529 YES 5.80/2.25 (CERTIFIED 0.0) MAYBE 145.16/42.38
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 5161530 YES 3.57/1.64 (CERTIFIED 0.0) YES 0.66/0.43 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml 5161531 YES 11.27/3.91 (CERTIFIED 0.1) YES 30.22/8.16 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml 5161532 timeout (wallclock) [out] MAYBE 148.64/42.46
TRS_Standard/Transformed_CSR_04/ExIntrod_Zan97_GM.xml 5161533 MAYBE 791.53/291.58 run script error [out]
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_FR.xml 5161534 run script error [out] YES 9.14/3.39 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_GM.xml 5161535 YES 7.26/2.57 (CERTIFIED 0.0) YES 2.42/0.90 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_complete_noand_C.xml 5161536 MAYBE 758.88/291.86 MAYBE 147.97/42.61
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_GM.xml 5161537 MAYBE 972.20/292.95 MAYBE 147.48/42.42
TRS_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 5161538 YES 5.77/2.30 (CERTIFIED 0.0) YES 29.84/8.18 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex49_GM04_C.xml 5161539 YES 9.20/3.19 (CERTIFIED 0.0) YES 28.06/7.59 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml 5161540 timeout (wallclock) [out] MAYBE 148.47/42.57
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 5161541 timeout (wallclock) [out] MAYBE 135.15/42.77
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_L.xml 5161542 NO 3.14/1.47 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_Z.xml 5161543 NO 7.74/3.02 (CERTIFIED 0.0) NO 1.78/0.71 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_complete-noand_L.xml 5161544 NO 3.14/1.55 (CERTIFIED 0.0) NO 0.36/0.37 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_GM99_C.xml 5161545 YES 104.50/36.03 (CERTIFIED 0.1) MAYBE 144.83/42.35
TRS_Standard/Transformed_CSR_04/ExIntrod_GM99_GM.xml 5161546 YES 86.18/22.60 (CERTIFIED 0.1) YES 45.48/12.32 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_noand_C.xml 5161547 YES 25.67/8.71 (CERTIFIED 0.3) YES 71.69/21.28 (CERTIFIED 0.3)
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_iGM.xml 5161548 YES 23.12/6.66 (CERTIFIED 0.0) YES 13.90/3.76 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_GM.xml 5161549 YES 4.37/1.89 (CERTIFIED 0.0) YES 28.30/7.76 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_L.xml 5161550 NO 3.15/1.56 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_L.xml 5161551 NO 3.13/1.49 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_Z.xml 5161552 MAYBE 1160.91/293.11 MAYBE 118.27/42.37
TRS_Standard/Transformed_CSR_04/Ex1_GM99_L.xml 5161553 NO 7.08/3.16 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_FR.xml 5161554 YES 3.73/1.68 (CERTIFIED 0.0) YES 5.55/1.88 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_FR.xml 5161555 NO 4.08/1.85 (CERTIFIED 0.0) NO 0.46/0.38 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 5161556 YES 13.78/4.57 (CERTIFIED 0.1) YES 99.03/26.18 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml 5161557 YES 4.82/2.08 (CERTIFIED 0.0) YES 11.31/3.69 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_Z.xml 5161558 YES 4.07/1.74 (CERTIFIED 0.0) YES 1.42/0.63 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_FR.xml 5161559 MAYBE 473.83/291.61 MAYBE 128.38/42.35
TRS_Standard/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml 5161560 YES 4.65/2.01 (CERTIFIED 0.0) YES 15.65/4.43 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex6_GM04_GM.xml 5161561 YES 4.26/1.77 (CERTIFIED 0.0) YES 0.54/0.39 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_C.xml 5161562 YES 80.43/27.15 (CERTIFIED 0.1) MAYBE 144.83/42.34
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_GM.xml 5161563 YES 5.21/2.22 (CERTIFIED 0.0) YES 9.34/2.84 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml 5161564 YES 15.97/4.99 (CERTIFIED 0.1) YES 46.76/17.94 (CERTIFIED 0.2)
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_C.xml 5161565 YES 10.21/3.52 (CERTIFIED 0.0) YES 1.83/0.73 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml 5161566 YES 6.98/2.67 (CERTIFIED 0.0) YES 22.00/5.97 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml 5161567 MAYBE 831.06/292.89 MAYBE 145.51/42.41
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_L.xml 5161568 NO 3.04/1.53 (CERTIFIED 0.0) NO 0.30/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_GM.xml 5161569 timeout (wallclock) [out] MAYBE 12.54/7.33
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 5161570 MAYBE 599.93/292.36 MAYBE 148.43/42.54
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 5161571 YES 8.29/3.03 (CERTIFIED 0.0) YES 7.76/2.41 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExProp7_Luc06_C.xml 5161572 YES 146.88/42.07 (CERTIFIED 0.0) YES 24.74/6.69 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_C.xml 5161573 timeout (wallclock) [out] MAYBE 145.00/42.36
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_GM.xml 5161574 YES 6.39/4.74 (CERTIFIED 0.0) YES 31.58/9.87 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_Z.xml 5161575 YES 3.82/1.77 (CERTIFIED 0.0) YES 3.74/1.21 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml 5161576 MAYBE 709.80/292.75 MAYBE 144.63/42.38
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_C.xml 5161577 YES 18.54/5.49 (CERTIFIED 0.0) YES 1.59/0.67 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExIntrod_GM01_iGM.xml 5161578 YES 11.12/3.94 (CERTIFIED 0.1) YES 27.06/7.34 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml 5161579 YES 3.39/1.64 (CERTIFIED 0.0) YES 0.70/0.44 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml 5161580 YES 68.67/19.51 (CERTIFIED 0.0) YES 19.83/5.32 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml 5161581 YES 4.29/1.81 (CERTIFIED 0.0) YES 2.62/0.94 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_FR.xml 5161582 YES 6.58/2.54 (CERTIFIED 0.0) YES 20.86/6.02 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_GM.xml 5161583 NO 6.80/2.60 (CERTIFIED 0.0) MAYBE 37.92/11.48
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml 5161584 NO 74.36/21.57 (CERTIFIED 0.1) MAYBE 144.82/42.36
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml 5161585 NO 3.09/1.57 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_iGM.xml 5161586 YES 7.03/2.51 (CERTIFIED 0.0) YES 3.60/1.20 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 5161587 YES 7.07/2.64 (CERTIFIED 0.0) YES 48.47/14.52 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml 5161588 YES 86.06/23.74 (CERTIFIED 0.1) MAYBE 145.66/42.41
TRS_Standard/Transformed_CSR_04/ExIntrod_GM01_C.xml 5161589 YES 8.16/2.94 (CERTIFIED 0.1) YES 28.10/7.73 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 5161590 NO 9.44/3.43 (CERTIFIED 0.0) NO 6.57/2.05 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 5161591 MAYBE 843.55/292.90 MAYBE 142.26/42.37
TRS_Standard/Transformed_CSR_04/ExProp7_Luc06_L.xml 5161592 YES 3.53/1.57 (CERTIFIED 0.0) YES 1.04/0.56 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_C.xml 5161593 YES 9.85/3.46 (CERTIFIED 0.1) YES 30.38/9.16 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_iGM.xml 5161594 YES 9.53/3.31 (CERTIFIED 0.0) YES 26.53/7.16 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_GM.xml 5161595 YES 8.08/2.90 (CERTIFIED 0.0) YES 97.71/27.76 (CERTIFIED 0.2)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml 5161596 MAYBE 938.28/291.92 MAYBE 148.14/42.48
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_FR.xml 5161597 YES 7.45/2.61 (CERTIFIED 0.0) YES 0.54/0.39 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml 5161598 YES 12.55/4.11 (CERTIFIED 0.1) YES 57.53/30.30 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 5161599 YES 4.11/1.79 (CERTIFIED 0.0) YES 17.57/5.56 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_complete_noand_iGM.xml 5161600 YES 186.82/63.04 (CERTIFIED 0.5) MAYBE 147.13/42.48
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_GM.xml 5161601 YES 164.41/44.25 (CERTIFIED 0.2) MAYBE 137.70/42.38
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_L.xml 5161602 NO 5.96/2.22 (CERTIFIED 0.0) NO 0.42/0.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_complete_GM.xml 5161603 YES 5.16/2.08 (CERTIFIED 0.0) YES 50.74/14.38 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml 5161604 YES 12.23/4.13 (CERTIFIED 0.0) YES 29.47/8.61 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_iGM.xml 5161605 MAYBE 725.87/291.66 MAYBE 144.57/42.36
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_C.xml 5161606 YES 5.48/2.19 (CERTIFIED 0.0) YES 23.85/6.44 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/OvConsOS_complete_Z.xml 5161607 timeout (wallclock) [out] run script error [out]
TRS_Standard/Transformed_CSR_04/Ex24_GM04_FR.xml 5161608 MAYBE 175.58/136.35 MAYBE 10.91/7.33
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_iGM.xml 5161609 YES 5.78/2.26 (CERTIFIED 0.0) YES 15.84/4.35 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_Z.xml 5161610 YES 3.35/1.61 (CERTIFIED 0.0) YES 0.43/0.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml 5161611 MAYBE 880.92/292.77 MAYBE 144.75/42.35
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 5161612 YES 9.07/3.09 (CERTIFIED 0.1) YES 34.30/9.13 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml 5161613 NO 2.96/1.48 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml 5161614 MAYBE 653.51/291.84 MAYBE 147.07/42.56
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml 5161615 MAYBE 746.17/291.72 MAYBE 145.04/42.41
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml 5161616 NO 119.85/31.75 (CERTIFIED 0.1) MAYBE 143.47/42.36
TRS_Standard/Transformed_CSR_04/MYNAT_complete_L.xml 5161617 NO 3.12/1.57 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_Z.xml 5161618 NO 5.95/2.31 (CERTIFIED 0.0) NO 0.45/0.37 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex6_GM04_FR.xml 5161619 NO 7.25/2.68 (CERTIFIED 0.0) NO 0.53/0.40 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_GM.xml 5161620 YES 7.15/2.56 (CERTIFIED 0.0) YES 1.56/0.66 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete_L.xml 5161621 NO 3.21/1.54 (CERTIFIED 0.0) NO 0.37/0.37 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_Z.xml 5161622 YES 3.63/1.67 (CERTIFIED 0.0) YES 16.64/5.58 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex49_GM04_GM.xml 5161623 YES 6.24/2.49 (CERTIFIED 0.0) YES 29.49/8.65 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_L.xml 5161624 NO 3.01/1.61 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_C.xml 5161625 YES 21.62/7.12 (CERTIFIED 0.0) YES 1.19/0.57 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_FR.xml 5161626 NO 10.66/3.56 (CERTIFIED 0.0) NO 0.64/0.42 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_iGM.xml 5161627 MAYBE 787.66/291.69 MAYBE 144.74/42.37
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_Z.xml 5161628 YES 3.70/1.71 (CERTIFIED 0.0) YES 8.02/2.77 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_complete_Z.xml 5161629 YES 4.54/1.90 (CERTIFIED 0.0) YES 49.04/13.87 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 5161630 YES 3.48/1.85 (CERTIFIED 0.0) YES 0.53/0.39 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_C.xml 5161631 YES 5.39/2.17 (CERTIFIED 0.0) YES 6.05/1.81 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_iGM.xml 5161632 YES 9.39/3.24 (CERTIFIED 0.0) YES 21.91/5.92 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml 5161633 MAYBE 746.23/292.82 MAYBE 144.47/42.39
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml 5161634 YES 5.08/2.13 (CERTIFIED 0.0) YES 15.69/4.28 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml 5161635 timeout (wallclock) [out] MAYBE 144.83/42.35
TRS_Standard/Transformed_CSR_04/Ex1_GM03_L.xml 5161636 NO 3.18/1.48 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_C.xml 5161637 YES 15.11/4.57 (CERTIFIED 0.0) YES 2.43/0.89 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml 5161638 YES 3.96/1.79 (CERTIFIED 0.0) YES 7.35/2.21 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_L.xml 5161639 NO 3.01/1.83 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_Z.xml 5161640 NO 49.73/13.50 (CERTIFIED 0.1) NO 4.91/1.52 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 5161641 YES 20.77/6.51 (CERTIFIED 0.1) MAYBE 147.77/42.45
TRS_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml 5161642 NO 3.14/1.54 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_Z.xml 5161643 NO 8.00/2.90 (CERTIFIED 0.0) NO 0.43/0.38 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PALINDROME_nosorts_FR.xml 5161644 YES 3.47/1.61 (CERTIFIED 0.0) YES 0.47/0.37 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml 5161645 MAYBE 812.52/291.64 MAYBE 145.01/42.36
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml 5161646 NO 7.80/2.86 (CERTIFIED 0.0) NO 0.60/0.41 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_GM.xml 5161647 YES 4.52/1.94 (CERTIFIED 0.0) YES 3.28/1.11 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex6_GM04_L.xml 5161648 YES 3.22/1.56 (CERTIFIED 0.0) YES 0.41/0.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml 5161649 NO 3.18/1.53 (CERTIFIED 0.0) NO 0.40/0.40 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExIntrod_GM99_Z.xml 5161650 NO 15.01/5.67 (CERTIFIED 0.0) NO 0.62/0.42 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_iGM.xml 5161651 MAYBE 686.39/292.52 MAYBE 144.56/42.37
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml 5161652 NO 2.97/1.47 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_GM.xml 5161653 YES 12.50/4.00 (CERTIFIED 0.0) YES 9.50/2.66 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 5161654 YES 20.67/6.28 (CERTIFIED 0.1) MAYBE 145.62/42.40
TRS_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml 5161655 YES 10.02/3.50 (CERTIFIED 0.0) YES 25.86/7.05 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExIntrod_Zan97_Z.xml 5161656 NO 6.48/2.58 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_nosorts_iGM.xml 5161657 YES 5.26/2.22 (CERTIFIED 0.0) YES 12.54/3.47 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_Z.xml 5161658 YES 4.32/1.91 (CERTIFIED 0.0) MAYBE 133.37/42.35
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_C.xml 5161659 YES 9.05/3.42 (CERTIFIED 0.1) YES 27.28/7.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_C.xml 5161660 timeout (wallclock) [out] MAYBE 145.33/42.39
TRS_Standard/Transformed_CSR_04/MYNAT_complete_noand_iGM.xml 5161661 YES 770.58/278.07 (CERTIFIED 1.3) MAYBE 147.60/42.64
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml 5161662 YES 5.25/2.10 (CERTIFIED 0.0) YES 2.59/0.94 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml 5161663 NO 3.41/1.59 (CERTIFIED 0.0) NO 0.36/0.36 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_iGM.xml 5161664 YES 5.17/2.08 (CERTIFIED 0.0) YES 17.96/6.11 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_C.xml 5161665 MAYBE 1025.33/293.55 MAYBE 147.81/42.44
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_FR.xml 5161666 NO 22.90/9.33 (CERTIFIED 0.0) MAYBE 52.37/16.63
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_C.xml 5161667 YES 6.84/2.65 (CERTIFIED 0.0) MAYBE 146.11/42.40
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml 5161668 YES 7.46/2.66 (CERTIFIED 0.0) YES 5.37/1.65 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml 5161669 timeout (wallclock) [out] MAYBE 148.49/42.47
TRS_Standard/Transformed_CSR_04/ExIntrod_Zan97_C.xml 5161670 MAYBE 961.94/292.97 MAYBE 145.37/42.38
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_L.xml 5161671 NO 3.07/1.45 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml 5161672 NO 2.87/1.46 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex49_GM04_L.xml 5161673 NO 3.22/1.55 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_GM.xml 5161674 MAYBE 764.81/291.59 MAYBE 134.43/42.36
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 5161675 MAYBE 816.28/292.03 MAYBE 148.43/42.44
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml 5161676 YES 4.76/1.99 (CERTIFIED 0.0) YES 12.74/4.14 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_L.xml 5161677 YES 3.39/1.53 (CERTIFIED 0.0) YES 0.49/0.43 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_FR.xml 5161678 NO 48.57/13.46 (CERTIFIED 0.1) NO 4.09/1.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_Z.xml 5161679 YES 4.63/1.96 (CERTIFIED 0.0) YES 4.18/1.33 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_FR.xml 5161680 YES 5.17/2.09 (CERTIFIED 0.0) YES 11.25/3.47 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml 5161681 MAYBE 949.06/298.00 MAYBE 145.21/42.41
TRS_Standard/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml 5161682 YES 6.78/2.46 (CERTIFIED 0.0) YES 26.90/7.33 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_FR.xml 5161683 YES 12.54/4.58 (CERTIFIED 0.0) YES 20.71/7.21 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_complete_noand_GM.xml 5161684 YES 35.19/11.68 (CERTIFIED 0.1) MAYBE 147.58/42.46
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml 5161685 NO 3.06/1.49 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml 5161686 NO 2.82/2.51 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml 5161687 MAYBE 1132.26/293.59 MAYBE 147.56/42.41
TRS_Standard/Transformed_CSR_04/ExAppendixB_AEL03_C.xml 5161688 MAYBE 1033.28/293.37 MAYBE 147.40/42.43
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml 5161689 NO 58.39/16.35 (CERTIFIED 0.1) MAYBE 141.22/42.36
TRS_Standard/Transformed_CSR_04/PALINDROME_complete_iGM.xml 5161690 YES 10.66/3.55 (CERTIFIED 0.1) YES 101.16/27.57 (CERTIFIED 0.4)
TRS_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml 5161691 YES 3.60/1.66 (CERTIFIED 0.0) YES 4.24/1.55 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_C.xml 5161692 YES 4.62/2.20 (CERTIFIED 0.0) YES 18.45/4.97 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/PEANO_complete_C.xml 5161693 YES 8.44/3.11 (CERTIFIED 0.1) MAYBE 146.40/42.41
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_GM.xml 5161694 timeout (wallclock) [out] MAYBE 142.97/42.39
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml 5161695 NO 3.12/1.50 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 5161696 NO 13.20/4.97 (CERTIFIED 0.0) MAYBE 66.99/20.52
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml 5161697 timeout (wallclock) [out] MAYBE 147.56/42.44
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_FR.xml 5161698 YES 9.11/3.03 (CERTIFIED 0.0) YES 3.34/1.11 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExIntrod_GM04_L.xml 5161699 NO 3.02/1.47 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_iGM.xml 5161700 YES 10.97/3.69 (CERTIFIED 0.0) YES 30.40/8.25 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_GM.xml 5161701 YES 44.00/12.11 (CERTIFIED 0.1) YES 110.81/28.59 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/PEANO_complete_FR.xml 5161702 YES 4.77/2.02 (CERTIFIED 0.0) YES 63.99/17.73 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_FR.xml 5161703 NO 25.34/10.46 (CERTIFIED 0.0) MAYBE 139.56/42.35
TRS_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 5161704 YES 3.37/1.67 (CERTIFIED 0.0) run script error [out]
TRS_Standard/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml 5161705 NO 3.16/1.55 (CERTIFIED 0.0) NO 0.33/0.34 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_Z.xml 5161706 YES 3.37/2.23 (CERTIFIED 0.0) YES 0.43/0.37 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExIntrod_GM04_FR.xml 5161707 NO 25.76/10.25 (CERTIFIED 0.0) MAYBE 144.16/42.34
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_GM.xml 5161708 MAYBE 915.40/293.77 MAYBE 132.65/42.34
TRS_Standard/Transformed_CSR_04/Ex24_GM04_iGM.xml 5161709 MAYBE 878.52/292.51 MAYBE 37.55/12.49
TRS_Standard/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 5161710 YES 6.29/2.36 (CERTIFIED 0.0) YES 19.08/5.20 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_C.xml 5161711 timeout (wallclock) [out] MAYBE 145.94/42.41
TRS_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml 5161712 NO 61.97/21.04 (CERTIFIED 0.1) MAYBE 137.90/42.35
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_L.xml 5161713 YES 3.30/1.53 (CERTIFIED 0.0) YES 0.59/0.41 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_iGM.xml 5161714 MAYBE 667.44/291.57 MAYBE 144.87/42.38
TRS_Standard/Transformed_CSR_04/MYNAT_complete_C.xml 5161715 YES 13.43/4.74 (CERTIFIED 0.1) MAYBE 149.08/42.49
TRS_Standard/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml 5161716 MAYBE 1138.14/292.97 MAYBE 146.51/42.41
TRS_Standard/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml 5161717 YES 7.24/2.67 (CERTIFIED 0.0) YES 31.74/8.67 (CERTIFIED 0.1)
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_iGM.xml 5161718 YES 7.13/3.23 (CERTIFIED 0.0) YES 3.03/1.05 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_L.xml 5161719 NO 3.13/1.55 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml 5161720 timeout (wallclock) [out] MAYBE 147.03/42.43
TRS_Standard/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml 5161721 NO 63.82/18.82 (CERTIFIED 0.1) MAYBE 145.09/42.37
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml 5161722 timeout (wallclock) [out] MAYBE 145.54/42.43
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_iGM.xml 5161723 YES 14.05/4.63 (CERTIFIED 0.0) YES 27.82/7.75 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml 5161724 YES 8.18/3.06 (CERTIFIED 0.0) MAYBE 143.77/42.40
TRS_Standard/Transformed_CSR_04/MYNAT_nokinds_L.xml 5161725 NO 3.14/1.48 (CERTIFIED 0.0) NO 0.31/0.32 (CERTIFIED 0.0)
TRS_Standard/Transformed_CSR_04/MYNAT_complete_FR.xml 5161726 YES 5.41/2.17 (CERTIFIED 0.0) MAYBE 142.28/42.38
1200 925