Overview of job-results

flexible query (experimental) | consistency check | view original jobs on star-exec:10256,

Statistics

2996 pairs, 251319.4 / 124453.7 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR BOUNDS OTHER NOTHING
The results are displayed in the following pattern: result | cpu-time/wallclock-time in seconds | complexity-score
Jobs TRS_Standard 2015-08-05 00.54
Solver TTT2 AProVE certified TRS Standard
Scores 962 1223
TRS_Standard/AG01/#3.1.xml YES 0.9 / 0.6 YES 2.8 / 1.9
TRS_Standard/AG01/#3.10.xml YES 7.3 / 3.3 YES 6.1 / 3.1
TRS_Standard/AG01/#3.12.xml YES 1.3 / 1.5 YES 3.3 / 2.3
TRS_Standard/AG01/#3.13.xml YES 4.1 / 1.7 YES 4.7 / 3.4
TRS_Standard/AG01/#3.15.xml YES 0.7 / 0.5 YES 2.3 / 1.6
TRS_Standard/AG01/#3.16.xml YES 0.6 / 1.2 YES 2.4 / 1.6
TRS_Standard/AG01/#3.17.xml YES 2.9 / 1.3 YES 4.3 / 2.5
TRS_Standard/AG01/#3.17a.xml YES 4.4 / 3.0 YES 4.8 / 2.7
TRS_Standard/AG01/#3.18.xml YES 2.0 / 1.3 YES 3.1 / 2.4
TRS_Standard/AG01/#3.19.xml . 98.2 / 59.8 YES 3.7 / 2.1
TRS_Standard/AG01/#3.2.xml YES 1.1 / 0.7 YES 2.9 / 2.8
TRS_Standard/AG01/#3.21.xml YES 0.8 / 0.5 YES 2.5 / 1.6
TRS_Standard/AG01/#3.22.xml YES 1.3 / 0.8 YES 2.9 / 2.3
TRS_Standard/AG01/#3.23.xml YES 0.6 / 0.4 YES 2.5 / 2.6
TRS_Standard/AG01/#3.24.xml YES 0.6 / 0.4 YES 3.1 / 2.9
TRS_Standard/AG01/#3.26.xml YES 0.9 / 1.1 YES 14.6 / 8.1
TRS_Standard/AG01/#3.29.xml YES 0.4 / 0.3 YES 2.5 / 1.8
TRS_Standard/AG01/#3.31.xml YES 0.5 / 0.4 YES 2.4 / 1.7
TRS_Standard/AG01/#3.33.xml YES 0.7 / 0.5 YES 3.3 / 2.5
TRS_Standard/AG01/#3.35.xml YES 0.4 / 0.5 YES 6.5 / 3.9
TRS_Standard/AG01/#3.36.xml YES 1.0 / 0.9 YES 3.9 / 2.5
TRS_Standard/AG01/#3.37.xml YES 0.6 / 0.4 YES 2.8 / 2.6
TRS_Standard/AG01/#3.38.xml YES 1.9 / 1.1 YES 3.3 / 2.2
TRS_Standard/AG01/#3.39.xml YES 4.1 / 1.5 YES 3.3 / 2.0
TRS_Standard/AG01/#3.4.xml YES 1.3 / 1.3 YES 3.3 / 3.5
TRS_Standard/AG01/#3.40.xml . 175.6 / 59.5 YES 4.7 / 6.9
TRS_Standard/AG01/#3.41.xml YES 0.9 / 0.7 YES 2.6 / 2.4
TRS_Standard/AG01/#3.42.xml YES 1.1 / 0.7 YES 2.7 / 1.8
TRS_Standard/AG01/#3.47.xml YES 0.6 / 0.4 YES 2.6 / 2.8
TRS_Standard/AG01/#3.48.xml YES 1.1 / 0.7 YES 2.7 / 1.9
TRS_Standard/AG01/#3.49.xml YES 0.8 / 0.5 YES 3.0 / 2.0
TRS_Standard/AG01/#3.5.xml YES 1.3 / 0.8 YES 3.2 / 2.0
TRS_Standard/AG01/#3.51.xml YES 0.8 / 0.5 YES 4.9 / 3.2
TRS_Standard/AG01/#3.52.xml YES 0.5 / 0.4 YES 2.6 / 2.9
TRS_Standard/AG01/#3.53.xml YES 3.2 / 2.6 YES 3.4 / 2.0
TRS_Standard/AG01/#3.53a.xml YES 0.4 / 0.3 YES 2.6 / 2.5
TRS_Standard/AG01/#3.53b.xml YES 0.5 / 0.4 YES 2.7 / 2.0
TRS_Standard/AG01/#3.54.xml YES 0.6 / 0.4 YES 4.0 / 5.7
TRS_Standard/AG01/#3.55.xml YES 3.9 / 1.8 YES 5.3 / 6.5
TRS_Standard/AG01/#3.56.xml YES 1.1 / 0.5 YES 2.9 / 1.9
TRS_Standard/AG01/#3.57.xml YES 4.9 / 2.2 YES 4.4 / 2.4
TRS_Standard/AG01/#3.5a.xml YES 1.7 / 0.8 YES 3.4 / 2.1
TRS_Standard/AG01/#3.5b.xml YES 1.8 / 0.8 YES 4.4 / 4.1
TRS_Standard/AG01/#3.6.xml YES 1.7 / 1.0 YES 3.9 / 3.0
TRS_Standard/AG01/#3.6a.xml YES 1.6 / 0.8 YES 4.5 / 14.7
TRS_Standard/AG01/#3.6b.xml YES 2.8 / 1.6 YES 4.4 / 2.7
TRS_Standard/AG01/#3.7.xml YES 0.8 / 0.5 YES 3.8 / 1.9
TRS_Standard/AG01/#3.8a.xml YES 1.8 / 1.8 YES 3.2 / 1.9
TRS_Standard/AG01/#3.8b.xml YES 3.8 / 1.9 YES 4.6 / 3.5
TRS_Standard/AG01/#4.30c.xml . 125.6 / 59.3 YES 12.4 / 6.0
TRS_Standard/AProVE_04/AAECC-ring.xml . 202.3 / 51.6 . 591.7 / 300.0
TRS_Standard/AProVE_04/AAECC.xml . 65.6 / 51.4 YES 51.3 / 22.6
TRS_Standard/AProVE_04/IJCAR_1.xml YES 0.8 / 0.5 YES 3.3 / 2.1
TRS_Standard/AProVE_04/IJCAR_12.xml YES 1.3 / 0.8 YES 3.9 / 3.6
TRS_Standard/AProVE_04/IJCAR_18.xml YES 1.9 / 1.2 YES 4.7 / 3.8
TRS_Standard/AProVE_04/IJCAR_26.xml YES 3.3 / 3.6 YES 4.9 / 4.0
TRS_Standard/AProVE_04/IJCAR_26a.xml YES 3.1 / 1.4 YES 5.0 / 2.7
TRS_Standard/AProVE_04/JFP_Ex31.xml YES 129.9 / 39.8 YES 138.9 / 84.2
TRS_Standard/AProVE_04/JFP_Ex51.xml YES 11.9 / 7.3 YES 4.5 / 2.4
TRS_Standard/AProVE_04/LPAR_intlist.xml YES 1.4 / 0.9 YES 3.6 / 2.8
TRS_Standard/AProVE_04/Liveness6.1.xml YES 1.5 / 0.7 YES 15.6 / 12.2
TRS_Standard/AProVE_04/Liveness6.2.xml YES 1.1 / 1.4 YES 4.6 / 2.8
TRS_Standard/AProVE_04/Liveness6.3.xml YES 2.3 / 1.2 YES 25.5 / 10.4
TRS_Standard/AProVE_04/Liveness6.4.xml . 182.3 / 59.4 YES 90.7 / 42.2
TRS_Standard/AProVE_04/Liveness8.xml YES 2.9 / 1.4 YES 5.2 / 9.2
TRS_Standard/AProVE_04/Liveness_WRS.xml YES 3.3 / 2.7 YES 8.8 / 6.2
TRS_Standard/AProVE_04/fac.xml YES 1.6 / 0.9 YES 4.3 / 2.4
TRS_Standard/AProVE_04/forward_instantiation.xml . 107.1 / 59.3 YES 3.2 / 6.2
TRS_Standard/AProVE_04/forward_instantiation2.xml . 56.8 / 59.7 YES 3.2 / 2.7
TRS_Standard/AProVE_04/improved_usable.xml YES 1.0 / 1.0 YES 2.8 / 1.9
TRS_Standard/AProVE_04/improved_usable2.xml YES 0.7 / 0.5 YES 2.6 / 2.6
TRS_Standard/AProVE_04/rta1.xml YES 1.4 / 0.7 YES 3.0 / 2.2
TRS_Standard/AProVE_04/rta2.xml YES 0.4 / 0.4 YES 2.3 / 1.7
TRS_Standard/AProVE_04/rta3.xml YES 1.0 / 0.8 YES 2.7 / 2.1
TRS_Standard/AProVE_06/div_notCeTermin.xml . 135.1 / 59.3 YES 15.2 / 6.8
TRS_Standard/AProVE_06/div_notTermin.xml . 120.2 / 59.4 . 402.9 / 300.1
TRS_Standard/AProVE_06/factorial1.xml YES 4.6 / 4.3 YES 4.7 / 3.6
TRS_Standard/AProVE_06/factorial2.xml . 156.1 / 59.4 YES 7.2 / 10.0
TRS_Standard/AProVE_06/identity.xml . 140.7 / 59.4 YES 5.2 / 4.3
TRS_Standard/AProVE_06/logarithm.xml . 131.3 / 59.5 YES 17.0 / 12.4
TRS_Standard/AProVE_06/mapHard.xml YES 2.9 / 1.6 YES 9.3 / 8.3
TRS_Standard/AProVE_06/modulo.xml . 139.0 / 59.6 YES 15.7 / 14.6
TRS_Standard/AProVE_06/nonterm.xml NO 1.1 / 0.6 NO 5.4 / 2.7
TRS_Standard/AProVE_06/quicksort.xml . 131.8 / 59.4 YES 8.0 / 4.5
TRS_Standard/AProVE_06/quot.xml . 7.8 / 10.3 YES 8.7 / 5.9
TRS_Standard/AProVE_06/sizeChange.xml YES 1.3 / 1.2 YES 3.0 / 5.4
TRS_Standard/AProVE_06/tower.xml YES 5.0 / 1.6 YES 4.7 / 3.2
TRS_Standard/AProVE_06/tower_sizeChange.xml YES 11.8 / 11.0 YES 34.6 / 16.0
TRS_Standard/AProVE_07/kabasci01.xml YES 57.0 / 19.5 YES 21.0 / 7.8
TRS_Standard/AProVE_07/kabasci02.xml YES 24.4 / 8.6 YES 7.4 / 3.4
TRS_Standard/AProVE_07/kabasci03.xml YES 10.3 / 3.9 YES 7.2 / 3.7
TRS_Standard/AProVE_07/kabasci04.xml YES 2.9 / 2.7 YES 4.1 / 3.7
TRS_Standard/AProVE_07/kabasci05.xml YES 4.9 / 2.0 YES 5.7 / 4.9
TRS_Standard/AProVE_07/kabasci06.xml YES 3.2 / 2.6 YES 3.6 / 2.1
TRS_Standard/AProVE_07/otto01.xml YES 30.4 / 15.9 YES 7.1 / 5.2
TRS_Standard/AProVE_07/otto02.xml . 115.0 / 59.4 YES 5.6 / 5.7
TRS_Standard/AProVE_07/otto03.xml . 140.8 / 59.4 YES 4.0 / 4.6
TRS_Standard/AProVE_07/otto04.xml . 171.3 / 59.3 YES 5.7 / 3.4
TRS_Standard/AProVE_07/otto05.xml YES 2.4 / 1.5 YES 4.4 / 2.4
TRS_Standard/AProVE_07/otto06.xml . 133.7 / 59.5 YES 8.9 / 4.0
TRS_Standard/AProVE_07/otto07.xml . 129.2 / 59.4 YES 3.7 / 2.5
TRS_Standard/AProVE_07/otto08.xml . 154.2 / 59.6 YES 8.0 / 3.4
TRS_Standard/AProVE_07/otto09.xml . 144.9 / 59.4 YES 9.6 / 4.5
TRS_Standard/AProVE_07/otto10.xml . 16.4 / 10.3 YES 6.4 / 4.6
TRS_Standard/AProVE_07/otto11.xml . 116.8 / 59.4 YES 4.6 / 3.0
TRS_Standard/AProVE_07/otto12.xml . 163.8 / 59.5 YES 9.1 / 6.4
TRS_Standard/AProVE_07/otto13.xml . 126.0 / 59.4 YES 8.8 / 3.7
TRS_Standard/AProVE_07/thiemann01.xml . 151.5 / 59.3 YES 6.6 / 3.7
TRS_Standard/AProVE_07/thiemann02.xml . 159.0 / 59.6 YES 17.0 / 6.6
TRS_Standard/AProVE_07/thiemann03.xml . 110.0 / 59.4 YES 9.6 / 5.7
TRS_Standard/AProVE_07/thiemann04.xml . 140.0 / 59.5 YES 80.2 / 27.3
TRS_Standard/AProVE_07/thiemann05.xml . 143.2 / 59.5 YES 7.4 / 7.9
TRS_Standard/AProVE_07/thiemann06.xml . 143.7 / 59.4 YES 25.5 / 29.7
TRS_Standard/AProVE_07/thiemann07.xml . 149.8 / 59.4 YES 23.8 / 11.0
TRS_Standard/AProVE_07/thiemann08.xml YES 2.9 / 1.8 YES 5.5 / 6.8
TRS_Standard/AProVE_07/thiemann09.xml . 139.5 / 59.5 YES 3.6 / 2.1
TRS_Standard/AProVE_07/thiemann10.xml YES 2.6 / 1.3 YES 4.7 / 3.0
TRS_Standard/AProVE_07/thiemann11.xml . 151.1 / 59.5 YES 35.6 / 14.0
TRS_Standard/AProVE_07/thiemann12.xml YES 2.5 / 1.0 YES 5.1 / 5.5
TRS_Standard/AProVE_07/thiemann13.xml . 131.1 / 59.8 YES 18.5 / 9.8
TRS_Standard/AProVE_07/thiemann14.xml . 58.5 / 60.1 YES 34.4 / 32.3
TRS_Standard/AProVE_07/thiemann15.xml YES 2.0 / 0.9 YES 4.4 / 3.3
TRS_Standard/AProVE_07/thiemann16.xml YES 5.6 / 2.7 YES 5.8 / 5.5
TRS_Standard/AProVE_07/thiemann17.xml YES 4.8 / 2.4 YES 5.4 / 5.7
TRS_Standard/AProVE_07/thiemann18.xml YES 6.9 / 2.5 YES 9.1 / 11.7
TRS_Standard/AProVE_07/thiemann19.xml . 142.2 / 59.4 YES 9.5 / 4.3
TRS_Standard/AProVE_07/thiemann20.xml . 113.8 / 59.3 . 657.5 / 300.1
TRS_Standard/AProVE_07/thiemann21.xml . 72.3 / 60.2 . 406.2 / 300.1
TRS_Standard/AProVE_07/thiemann22.xml . 173.1 / 59.4 YES 9.1 / 5.4
TRS_Standard/AProVE_07/thiemann23.xml . 150.1 / 59.5 YES 7.4 / 4.6
TRS_Standard/AProVE_07/thiemann24.xml . 26.2 / 10.3 YES 6.9 / 10.6
TRS_Standard/AProVE_07/thiemann25.xml . 123.2 / 59.4 YES 5.2 / 4.0
TRS_Standard/AProVE_07/thiemann26.xml . 147.3 / 59.3 NO 164.2 / 79.9
TRS_Standard/AProVE_07/thiemann27.xml . 129.8 / 59.5 YES 4.0 / 3.0
TRS_Standard/AProVE_07/thiemann28.xml . 114.2 / 59.5 NO 24.0 / 14.4
TRS_Standard/AProVE_07/thiemann29.xml . 134.4 / 59.5 YES 40.0 / 22.3
TRS_Standard/AProVE_07/thiemann30.xml . 130.2 / 59.7 . 377.2 / 300.0
TRS_Standard/AProVE_07/thiemann31.xml . 123.7 / 60.1 YES 8.8 / 3.9
TRS_Standard/AProVE_07/thiemann32.xml . 135.0 / 59.5 YES 19.1 / 8.6
TRS_Standard/AProVE_07/thiemann33.xml . 146.6 / 59.4 YES 13.1 / 5.7
TRS_Standard/AProVE_07/thiemann34.xml . 152.6 / 59.4 YES 8.5 / 6.0
TRS_Standard/AProVE_07/thiemann35.xml YES 12.1 / 4.0 YES 5.5 / 2.8
TRS_Standard/AProVE_07/thiemann36.xml . 127.1 / 59.6 YES 12.2 / 5.1
TRS_Standard/AProVE_07/thiemann37.xml . 147.5 / 59.5 YES 22.4 / 11.2
TRS_Standard/AProVE_07/thiemann38.xml . 149.0 / 59.4 YES 7.8 / 6.3
TRS_Standard/AProVE_07/thiemann39.xml YES 12.9 / 4.2 YES 5.5 / 4.6
TRS_Standard/AProVE_07/thiemann40.xml YES 1.4 / 0.8 YES 3.8 / 2.1
TRS_Standard/AProVE_07/thiemann41.xml . 144.2 / 59.4 YES 4.0 / 2.3
TRS_Standard/AProVE_07/wiehe01.xml YES 5.0 / 1.9 YES 7.6 / 6.8
TRS_Standard/AProVE_07/wiehe02.xml YES 11.8 / 5.6 YES 8.3 / 5.5
TRS_Standard/AProVE_07/wiehe03.xml YES 13.8 / 5.2 YES 9.0 / 12.3
TRS_Standard/AProVE_07/wiehe05.xml YES 5.6 / 2.3 YES 7.1 / 4.4
TRS_Standard/AProVE_07/wiehe06.xml YES 8.2 / 3.6 YES 8.1 / 4.0
TRS_Standard/AProVE_07/wiehe07.xml . 22.7 / 12.4 . 512.5 / 300.1
TRS_Standard/AProVE_07/wiehe08.xml YES 6.9 / 3.0 YES 7.4 / 6.3
TRS_Standard/AProVE_07/wiehe09.xml YES 8.8 / 2.7 YES 7.2 / 3.1
TRS_Standard/AProVE_07/wiehe11.xml YES 14.7 / 5.1 YES 10.1 / 13.8
TRS_Standard/AProVE_07/wiehe12.xml YES 12.9 / 5.0 YES 9.3 / 4.2
TRS_Standard/AProVE_08/id_inc.xml YES 4.3 / 3.8 YES 5.0 / 4.4
TRS_Standard/AProVE_08/log.xml . 124.4 / 59.4 . 560.9 / 300.0
TRS_Standard/AProVE_08/parting01_reverse.xml . 137.1 / 59.5 . 588.9 / 300.1
TRS_Standard/AProVE_08/parting02_doublelist.xml . 46.6 / 60.6 . 578.6 / 300.1
TRS_Standard/AProVE_08/parting03_minsort.xml . 113.1 / 59.4 . 442.2 / 300.1
TRS_Standard/AProVE_08/parting04_maxsort_h.xml . 131.3 / 59.7 . 726.3 / 300.0
TRS_Standard/AProVE_08/parting05_maxsort.xml . 152.4 / 59.5 . 553.6 / 300.1
TRS_Standard/AProVE_08/round.xml . 13.5 / 10.3 . 274.7 / 300.1
TRS_Standard/AProVE_08/round_nonterm.xml NO 1.1 / 0.7 NO 3.1 / 2.2
TRS_Standard/AProVE_08/thiemann40_modified.xml YES 1.9 / 1.1 YES 31.1 / 24.3
TRS_Standard/AProVE_09_Inductive/div.xml . 90.9 / 59.6 . 482.9 / 300.1
TRS_Standard/AProVE_09_Inductive/divhard.xml . 162.7 / 59.5 . 577.7 / 300.0
TRS_Standard/AProVE_09_Inductive/gcd.xml . 164.5 / 59.3 . 521.6 / 300.1
TRS_Standard/AProVE_09_Inductive/gcd2.xml . 126.2 / 59.6 . 570.1 / 300.1
TRS_Standard/AProVE_09_Inductive/gcdhard.xml . 123.1 / 59.4 . 628.3 / 300.1
TRS_Standard/AProVE_09_Inductive/log.xml . 134.9 / 59.4 . 541.0 / 300.1
TRS_Standard/AProVE_09_Inductive/maxsort.xml . 113.4 / 59.4 . 627.5 / 300.0
_Standard/AProVE_09_Inductive/maxsortcondition.xml . 105.4 / 59.7 . 673.1 / 300.0
TRS_Standard/AProVE_09_Inductive/minsort.xml . 153.8 / 59.4 . 678.3 / 300.1
TRS_Standard/AProVE_09_Inductive/mod.xml . 100.9 / 52.5 . 506.7 / 300.1
TRS_Standard/AProVE_09_Inductive/qsort.xml . 144.0 / 59.6 . 595.8 / 300.1
TRS_Standard/AProVE_09_Inductive/qsortlast.xml . 109.7 / 59.4 . 655.5 / 300.0
TRS_Standard/AProVE_09_Inductive/qsortmiddle.xml . 66.2 / 51.5 . 674.1 / 300.0
TRS_Standard/AProVE_09_Inductive/zerolist.xml . 127.6 / 59.3 . 303.0 / 300.0
TRS_Standard/AProVE_10/Zantema06-03-modified.xml . 191.7 / 59.4 . 819.5 / 300.1
TRS_Standard/AProVE_10/andIsNat.xml . 75.1 / 59.4 NO 52.9 / 22.3
TRS_Standard/AProVE_10/challenge_fab.xml . 174.5 / 59.4 . 557.2 / 300.0
TRS_Standard/AProVE_10/double.xml . 127.8 / 59.4 NO 21.4 / 14.0
TRS_Standard/AProVE_10/downfrom.xml . 131.3 / 59.3 . 316.8 / 300.0
TRS_Standard/AProVE_10/ex1.xml . 131.5 / 59.4 NO 23.3 / 12.8
TRS_Standard/AProVE_10/ex2.xml . 90.8 / 60.3 NO 10.1 / 21.8
TRS_Standard/AProVE_10/ex3.xml . 10.4 / 11.3 NO 30.3 / 12.0
TRS_Standard/AProVE_10/ex4.xml . 125.5 / 59.4 NO 40.8 / 16.0
TRS_Standard/AProVE_10/ex5.xml YES 0.4 / 0.5 YES 2.4 / 1.5
TRS_Standard/AProVE_10/halfdouble.xml . 162.6 / 59.4 NO 23.9 / 12.8
TRS_Standard/AProVE_10/isList.xml NO 0.4 / 0.4 NO 3.3 / 2.1
TRS_Standard/AProVE_10/isNat.xml . 121.8 / 59.4 NO 10.4 / 15.9
TRS_Standard/AProVE_10/scnp.xml YES 0.4 / 0.3 YES 2.5 / 1.8
TRS_Standard/AotoYamada_05/001.xml NO 0.3 / 0.3 NO 4.9 / 3.7
TRS_Standard/AotoYamada_05/002.xml YES 0.8 / 0.5 YES 3.0 / 2.4
TRS_Standard/AotoYamada_05/003.xml NO 0.3 / 0.3 NO 4.0 / 4.1
TRS_Standard/AotoYamada_05/004.xml YES 0.7 / 0.5 YES 2.9 / 1.7
TRS_Standard/AotoYamada_05/005.xml YES 0.3 / 0.3 YES 2.2 / 1.5
TRS_Standard/AotoYamada_05/006.xml YES 0.8 / 0.5 YES 3.0 / 1.9
TRS_Standard/AotoYamada_05/007.xml YES 0.9 / 1.5 YES 2.7 / 1.7
TRS_Standard/AotoYamada_05/009.xml YES 1.0 / 0.6 YES 2.9 / 1.8
TRS_Standard/AotoYamada_05/010.xml YES 5.9 / 3.8 YES 4.7 / 3.0
TRS_Standard/AotoYamada_05/011.xml YES 7.3 / 4.4 YES 4.1 / 3.8
TRS_Standard/AotoYamada_05/012.xml YES 1.1 / 0.8 YES 3.5 / 7.2
TRS_Standard/AotoYamada_05/013.xml YES 1.0 / 0.6 YES 3.3 / 3.3
TRS_Standard/AotoYamada_05/014.xml YES 0.9 / 0.6 YES 3.4 / 3.1
TRS_Standard/AotoYamada_05/015.xml YES 0.9 / 0.7 YES 2.8 / 2.0
TRS_Standard/AotoYamada_05/016.xml YES 1.0 / 0.5 YES 3.4 / 2.5
TRS_Standard/AotoYamada_05/017.xml YES 0.3 / 0.3 YES 2.5 / 2.4
TRS_Standard/AotoYamada_05/019.xml YES 1.2 / 0.7 YES 2.7 / 1.9
TRS_Standard/AotoYamada_05/020.xml YES 1.4 / 0.8 YES 3.0 / 5.0
TRS_Standard/AotoYamada_05/021.xml YES 1.1 / 0.7 YES 3.2 / 3.4
TRS_Standard/AotoYamada_05/022.xml YES 0.9 / 0.6 YES 2.8 / 3.9
TRS_Standard/AotoYamada_05/023.xml YES 0.3 / 0.3 YES 2.5 / 1.7
TRS_Standard/AotoYamada_05/024.xml YES 0.7 / 0.5 YES 2.8 / 2.7
TRS_Standard/AotoYamada_05/025.xml YES 0.3 / 0.3 YES 2.4 / 1.7
TRS_Standard/AotoYamada_05/026.xml YES 0.9 / 1.6 YES 2.9 / 5.1
TRS_Standard/AotoYamada_05/027.xml YES 0.8 / 0.6 YES 3.1 / 2.8
TRS_Standard/AotoYamada_05/028.xml YES 0.8 / 0.6 YES 2.8 / 2.1
TRS_Standard/AotoYamada_05/Ex1SimplyTyped.xml YES 0.8 / 0.6 YES 3.0 / 2.8
TRS_Standard/AotoYamada_05/Ex5TermProof.xml . 131.1 / 59.8 YES 167.5 / 75.0
TRS_Standard/Applicative_05/BTreeMember.xml YES 1.3 / 0.8 YES 3.4 / 2.1
TRS_Standard/Applicative_05/Ex10Functional.xml . 138.8 / 59.4 . 362.7 / 300.0
TRS_Standard/Applicative_05/Ex2PrimRec.xml . 148.5 / 59.4 . 349.6 / 300.1
TRS_Standard/Applicative_05/Ex2_6_1Composition.xml YES 0.3 / 0.3 YES 2.3 / 3.2
S_Standard/Applicative_05/Ex2_8_1ConstSubstFix.xml NO 6.3 / 3.1 NO 43.3 / 27.6
TRS_Standard/Applicative_05/Ex3Lists.xml YES 1.0 / 0.9 YES 2.9 / 1.8
TRS_Standard/Applicative_05/Ex4MapList.xml YES 0.6 / 0.5 YES 3.3 / 2.3
TRS_Standard/Applicative_05/Ex5Folding.xml . 187.0 / 59.5 . 374.8 / 300.1
TRS_Standard/Applicative_05/Ex5Sorting.xml . 199.6 / 59.6 . 415.0 / 300.0
TRS_Standard/Applicative_05/Ex6Folding.xml . 188.2 / 59.4 . 351.4 / 300.0
TRS_Standard/Applicative_05/Ex6Recursor.xml . 168.2 / 59.4 YES 127.4 / 125.5
TRS_Standard/Applicative_05/Ex6_11.xml YES 1.0 / 0.6 YES 2.4 / 1.6
TRS_Standard/Applicative_05/Ex7OrdinalRec.xml . 172.7 / 59.4 . 470.0 / 300.0
TRS_Standard/Applicative_05/Ex7Sorting.xml . 197.5 / 59.6 . 399.2 / 300.1
TRS_Standard/Applicative_05/Ex7_9.xml YES 2.3 / 1.5 YES 3.9 / 2.8
TRS_Standard/Applicative_05/Ex8Polymorphic.xml YES 0.9 / 0.6 YES 2.8 / 1.8
TRS_Standard/Applicative_05/Ex9Maps.xml . 146.8 / 59.5 YES 31.5 / 18.8
TRS_Standard/Applicative_05/Hamming.xml NO 2.4 / 1.4 NO 7.0 / 4.5
TRS_Standard/Applicative_05/ReverseLastInit.xml YES 1.5 / 1.5 YES 2.6 / 4.0
TRS_Standard/Applicative_05/TakeDropWhile.xml YES 1.1 / 0.6 YES 3.2 / 2.2
TRS_Standard/Applicative_05/TreeFlatten.xml YES 1.0 / 1.8 YES 3.3 / 3.6
TRS_Standard/Applicative_05/TreeHeight.xml YES 1.3 / 0.8 YES 3.6 / 2.1
TRS_Standard/Applicative_05/TreeLevels.xml YES 1.6 / 1.6 YES 3.1 / 1.8
TRS_Standard/Applicative_05/TreeMap.xml YES 1.2 / 1.3 YES 2.9 / 2.0
TRS_Standard/Applicative_05/TreeSize.xml YES 1.1 / 0.7 YES 3.2 / 2.0
TRS_Standard/Applicative_05/TypeEx1.xml YES 2.3 / 1.2 YES 3.3 / 2.8
TRS_Standard/Applicative_05/TypeEx3.xml NO 0.3 / 0.3 NO 9.1 / 21.5
TRS_Standard/Applicative_05/TypeEx5.xml NO 0.3 / 0.4 NO 3.5 / 2.7
TRS_Standard/Applicative_05/mapDivMinus.xml YES 1.5 / 1.4 YES 3.2 / 5.2
TRS_Standard/Applicative_05/mapDivMinusHard.xml YES 2.2 / 1.2 YES 3.8 / 2.2
TRS_Standard/Applicative_05/nonTermF.xml . 146.3 / 59.5 . 542.9 / 300.1
TRS_Standard/Applicative_05/termMonTypes.xml NO 0.8 / 0.5 NO 9.5 / 12.8
TRS_Standard/Applicative_first_order_05/#3.10.xml YES 7.9 / 3.8 YES 8.9 / 11.6
TRS_Standard/Applicative_first_order_05/#3.13.xml YES 8.4 / 3.5 YES 7.5 / 4.0
TRS_Standard/Applicative_first_order_05/#3.16.xml YES 1.5 / 0.9 YES 3.9 / 5.8
TRS_Standard/Applicative_first_order_05/#3.18.xml YES 4.4 / 2.2 YES 4.2 / 4.4
TRS_Standard/Applicative_first_order_05/#3.2.xml YES 1.9 / 1.0 YES 4.0 / 4.3
TRS_Standard/Applicative_first_order_05/#3.22.xml YES 2.3 / 1.2 YES 3.9 / 3.9
TRS_Standard/Applicative_first_order_05/#3.25.xml YES 1.6 / 0.8 YES 5.8 / 3.7
TRS_Standard/Applicative_first_order_05/#3.27.xml YES 1.2 / 0.7 YES 3.4 / 2.1
TRS_Standard/Applicative_first_order_05/#3.32.xml YES 1.1 / 0.6 YES 3.9 / 5.2
TRS_Standard/Applicative_first_order_05/#3.36.xml YES 2.5 / 1.2 YES 5.0 / 2.6
TRS_Standard/Applicative_first_order_05/#3.38.xml YES 3.0 / 1.4 YES 4.4 / 2.4
TRS_Standard/Applicative_first_order_05/#3.40.xml . 144.6 / 59.6 YES 5.8 / 3.7
TRS_Standard/Applicative_first_order_05/#3.45.xml YES 1.9 / 2.3 YES 4.4 / 13.4
TRS_Standard/Applicative_first_order_05/#3.48.xml YES 2.1 / 1.1 YES 3.7 / 2.5
TRS_Standard/Applicative_first_order_05/#3.52.xml YES 1.4 / 1.5 YES 3.0 / 2.0
TRS_Standard/Applicative_first_order_05/#3.55.xml YES 5.3 / 2.2 YES 7.2 / 8.0
TRS_Standard/Applicative_first_order_05/#3.57.xml YES 5.5 / 3.4 YES 5.9 / 3.1
TRS_Standard/Applicative_first_order_05/#3.6.xml YES 2.9 / 1.7 YES 5.0 / 3.8
TRS_Standard/Applicative_first_order_05/#3.8.xml YES 2.8 / 1.4 YES 4.0 / 2.1
TRS_Standard/Applicative_first_order_05/01.xml YES 1.5 / 0.9 YES 3.6 / 2.3
TRS_Standard/Applicative_first_order_05/02.xml YES 1.4 / 0.8 YES 3.8 / 4.5
TRS_Standard/Applicative_first_order_05/06.xml YES 1.3 / 0.8 YES 3.5 / 2.0
TRS_Standard/Applicative_first_order_05/08.xml YES 1.8 / 1.5 YES 3.9 / 2.4
TRS_Standard/Applicative_first_order_05/11.xml YES 1.9 / 2.3 YES 4.7 / 2.5
TRS_Standard/Applicative_first_order_05/12.xml YES 1.9 / 1.0 YES 3.3 / 4.9
TRS_Standard/Applicative_first_order_05/13.xml . 15.2 / 10.3 YES 37.3 / 31.1
TRS_Standard/Applicative_first_order_05/17.xml YES 1.5 / 0.9 YES 3.7 / 3.6
TRS_Standard/Applicative_first_order_05/18.xml YES 1.3 / 0.7 YES 3.4 / 2.2
TRS_Standard/Applicative_first_order_05/21.xml YES 1.6 / 3.8 YES 3.9 / 2.3
TRS_Standard/Applicative_first_order_05/29.xml YES 1.3 / 0.9 YES 3.8 / 2.2
TRS_Standard/Applicative_first_order_05/30.xml . 199.1 / 60.0 YES 3.4 / 3.2
TRS_Standard/Applicative_first_order_05/31.xml YES 21.5 / 7.3 YES 4.8 / 2.9
TRS_Standard/Applicative_first_order_05/33.xml . 164.2 / 50.9 . 617.7 / 300.0
TRS_Standard/Applicative_first_order_05/hydra.xml YES 2.1 / 1.5 YES 3.7 / 3.4
RS_Standard/Applicative_first_order_05/minsort.xml . 138.3 / 59.6 . 643.9 / 300.1
Standard/Applicative_first_order_05/motivation.xml YES 1.7 / 2.8 YES 3.8 / 2.9
RS_Standard/Applicative_first_order_05/perfect.xml YES 2.2 / 1.3 YES 3.9 / 2.4
S_Standard/Applicative_first_order_05/perfect2.xml YES 2.9 / 1.4 YES 4.9 / 3.7
TRS_Standard/Beerendonk_07/1.xml YES 1.3 / 0.6 YES 3.3 / 2.5
TRS_Standard/Beerendonk_07/10.xml YES 4.1 / 2.9 YES 4.8 / 2.5
TRS_Standard/Beerendonk_07/11.xml . 102.2 / 60.2 YES 8.1 / 7.0
TRS_Standard/Beerendonk_07/12.xml . 160.2 / 59.3 YES 7.1 / 6.6
TRS_Standard/Beerendonk_07/13.xml . 160.6 / 59.4 YES 6.1 / 3.0
TRS_Standard/Beerendonk_07/14.xml . 90.1 / 59.5 YES 6.1 / 8.8
TRS_Standard/Beerendonk_07/15.xml . 132.2 / 59.4 YES 12.1 / 8.5
TRS_Standard/Beerendonk_07/16.xml . 165.5 / 59.3 YES 35.4 / 25.5
TRS_Standard/Beerendonk_07/17.xml . 211.4 / 59.3 YES 29.0 / 15.4
TRS_Standard/Beerendonk_07/18.xml . 132.1 / 59.3 YES 4.5 / 2.5
TRS_Standard/Beerendonk_07/19.xml . 140.6 / 59.5 YES 43.5 / 24.6
TRS_Standard/Beerendonk_07/2.xml YES 1.5 / 2.3 YES 3.2 / 2.2
TRS_Standard/Beerendonk_07/20.xml . 143.5 / 59.5 YES 3.2 / 1.9
TRS_Standard/Beerendonk_07/21.xml . 128.3 / 59.5 . 524.4 / 300.1
TRS_Standard/Beerendonk_07/22.xml YES 2.3 / 1.0 YES 5.3 / 4.6
TRS_Standard/Beerendonk_07/23.xml YES 2.9 / 1.2 YES 5.3 / 4.5
TRS_Standard/Beerendonk_07/24.xml . 147.3 / 59.3 YES 36.2 / 16.6
TRS_Standard/Beerendonk_07/3.xml . 110.9 / 59.4 YES 3.7 / 4.0
TRS_Standard/Beerendonk_07/4.xml . 114.7 / 59.5 YES 3.5 / 3.2
TRS_Standard/Beerendonk_07/5.xml YES 2.3 / 1.0 YES 4.2 / 2.4
TRS_Standard/Beerendonk_07/6.xml YES 1.2 / 0.8 YES 3.3 / 2.7
TRS_Standard/Beerendonk_07/7.xml YES 1.5 / 0.6 YES 3.4 / 4.5
TRS_Standard/Beerendonk_07/8.xml YES 2.1 / 1.6 YES 3.2 / 4.5
TRS_Standard/Beerendonk_07/9.xml YES 1.9 / 1.1 YES 4.1 / 2.3
TRS_Standard/CiME_04/ack_prolog.xml YES 0.8 / 0.6 YES 3.1 / 3.4
TRS_Standard/CiME_04/append-hard.xml YES 1.3 / 0.6 YES 3.6 / 2.4
TRS_Standard/CiME_04/append-wrong.xml NO 1.0 / 0.6 NO 4.7 / 2.6
TRS_Standard/CiME_04/append.xml YES 0.5 / 0.4 YES 2.5 / 1.7
TRS_Standard/CiME_04/big.xml YES 8.3 / 3.5 YES 12.9 / 3.2
TRS_Standard/CiME_04/boolean_rings.xml YES 0.7 / 0.5 YES 2.9 / 2.7
TRS_Standard/CiME_04/dpqs.xml YES 0.6 / 0.4 YES 3.5 / 2.3
TRS_Standard/CiME_04/fact-hard.xml . 74.4 / 50.9 YES 6.0 / 3.0
TRS_Standard/CiME_04/filliatre.xml YES 8.9 / 6.3 YES 5.8 / 7.3
TRS_Standard/CiME_04/filliatre2.xml YES 11.2 / 7.1 YES 3.0 / 2.0
TRS_Standard/CiME_04/filliatre3.xml YES 19.1 / 5.9 YES 3.7 / 2.1
TRS_Standard/CiME_04/intersect.xml YES 1.9 / 1.2 YES 3.3 / 1.9
RS_Standard/CiME_04/list-sum-prod-assoc-append.xml YES 1.3 / 2.2 YES 3.0 / 1.9
TRS_Standard/CiME_04/list-sum-prod-assoc.xml YES 1.3 / 1.0 YES 2.7 / 1.8
dard/CiME_04/list-sum-prod-bin-assoc-distr-app.xml YES 4.4 / 3.2 YES 4.2 / 3.1
TRS_Standard/CiME_04/list-sum-prod-bin-assoc.xml YES 3.7 / 1.5 YES 3.2 / 2.0
TRS_Standard/CiME_04/list-sum-prod-bin.xml YES 4.4 / 1.7 YES 3.2 / 2.4
TRS_Standard/CiME_04/list-sum-prod.xml YES 1.1 / 1.1 YES 2.8 / 1.9
TRS_Standard/CiME_04/log2.xml YES 11.4 / 4.9 YES 5.6 / 3.2
TRS_Standard/CiME_04/lse.xml YES 5.0 / 2.5 YES 4.0 / 4.8
TRS_Standard/CiME_04/maude2.xml . 134.0 / 59.5 . 526.8 / 300.1
TRS_Standard/CiME_04/mucrl1.xml YES 3.8 / 2.9 YES 9.8 / 6.1
TRS_Standard/CiME_04/ternary-hard.xml YES 5.7 / 2.4 YES 4.2 / 6.3
TRS_Standard/CiME_04/ternary.xml YES 5.2 / 2.4 YES 4.1 / 3.6
TRS_Standard/CiME_04/tree.xml YES 11.5 / 3.7 YES 5.2 / 2.4
TRS_Standard/Der95/01.xml YES 0.6 / 0.5 YES 2.3 / 1.6
TRS_Standard/Der95/02.xml YES 0.4 / 0.3 YES 2.2 / 1.5
TRS_Standard/Der95/03.xml YES 0.6 / 0.5 YES 2.6 / 2.8
TRS_Standard/Der95/04.xml YES 0.7 / 0.4 YES 4.5 / 3.6
TRS_Standard/Der95/06.xml YES 1.0 / 0.7 YES 11.2 / 4.5
TRS_Standard/Der95/07.xml YES 0.8 / 0.5 YES 18.9 / 8.9
TRS_Standard/Der95/08.xml YES 0.9 / 0.7 YES 2.8 / 2.8
TRS_Standard/Der95/09.xml YES 0.3 / 0.3 YES 2.3 / 1.7
TRS_Standard/Der95/11.xml YES 2.1 / 1.4 YES 3.4 / 2.3
TRS_Standard/Der95/12.xml YES 0.9 / 0.6 YES 2.8 / 2.6
TRS_Standard/Der95/13.xml . 12.4 / 10.5 YES 30.3 / 20.1
TRS_Standard/Der95/17.xml YES 0.5 / 0.4 YES 2.6 / 3.7
TRS_Standard/Der95/18.xml YES 0.5 / 0.5 YES 2.5 / 1.8
TRS_Standard/Der95/20.xml YES 0.7 / 0.4 YES 2.3 / 1.6
TRS_Standard/Der95/21.xml YES 1.3 / 0.7 YES 2.9 / 3.3
TRS_Standard/Der95/27.xml YES 0.4 / 0.4 YES 2.4 / 1.7
TRS_Standard/Der95/28.xml YES 0.5 / 0.4 YES 2.5 / 2.2
TRS_Standard/Der95/30.xml YES 0.3 / 0.3 . 448.9 / 300.1
TRS_Standard/Der95/31.xml YES 1.0 / 0.7 YES 2.6 / 1.8
TRS_Standard/Der95/32.xml YES 0.8 / 0.6 YES 3.0 / 2.2
TRS_Standard/Der95/33.xml . 148.2 / 50.8 . 740.7 / 300.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_1.xml . 111.0 / 59.8 NO 37.3 / 12.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_2.xml . 117.8 / 59.3 . 556.6 / 300.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_3.xml . 116.4 / 59.3 . 439.3 / 300.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_4.xml . 126.3 / 59.5 NO 27.8 / 14.9
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_5.xml . 121.0 / 59.4 NO 34.1 / 14.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_1.xml . 161.0 / 59.3 . 632.3 / 300.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_2.xml . 99.1 / 59.4 NO 32.4 / 15.9
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_3.xml . 116.1 / 59.4 . 538.4 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_4.xml . 117.2 / 59.4 NO 55.5 / 33.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_5.xml . 140.5 / 59.3 NO 66.8 / 26.4
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_1.xml . 149.6 / 59.3 NO 29.0 / 12.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_2.xml . 121.6 / 59.6 NO 30.2 / 12.5
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_3.xml . 141.1 / 59.5 NO 28.9 / 12.9
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_4.xml . 140.7 / 59.5 . 596.9 / 300.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_1.xml . 42.1 / 59.8 NO 19.6 / 12.5
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_2.xml . 121.2 / 59.4 NO 21.2 / 24.8
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_3.xml . 130.9 / 59.3 NO 26.5 / 18.6
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_4.xml . 105.4 / 59.5 NO 21.5 / 13.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_1.xml . 159.6 / 59.4 NO 32.1 / 16.3
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_2.xml . 117.8 / 59.8 NO 20.1 / 25.9
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_3.xml . 154.9 / 59.4 NO 37.7 / 17.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex6_1.xml . 114.0 / 59.7 NO 24.2 / 12.4
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex6_2.xml . 156.8 / 59.5 NO 32.0 / 12.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_1.xml . 164.8 / 59.3 NO 92.6 / 33.4
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_2.xml . 133.8 / 59.5 . 362.6 / 300.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_3.xml . 170.6 / 59.8 . 507.8 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_4.xml . 127.2 / 59.5 . 404.4 / 300.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_5.xml . 201.7 / 59.4 . 580.5 / 300.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_6.xml . 165.1 / 59.5 . 571.8 / 300.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_7.xml . 128.4 / 59.5 . 344.3 / 300.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_8.xml . 214.7 / 59.3 . 467.4 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_9.xml . 117.6 / 59.6 . 320.9 / 300.1
TRS_Standard/EEG_IJCAR_12/enger-nonloop-add.xml . 104.5 / 59.4 NO 17.4 / 23.0
RS_Standard/EEG_IJCAR_12/enger-nonloop-addTrue.xml . 126.3 / 59.3 NO 36.1 / 14.2
S_Standard/EEG_IJCAR_12/enger-nonloop-ex_payet.xml . 135.8 / 59.5 . 316.1 / 300.0
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isDNat.xml . 94.4 / 59.7 NO 24.7 / 16.3
tandard/EEG_IJCAR_12/enger-nonloop-isList-List.xml . 181.7 / 59.5 . 581.4 / 300.0
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isList.xml . 132.8 / 59.4 NO 27.2 / 11.8
Standard/EEG_IJCAR_12/enger-nonloop-isTrueList.xml . 129.0 / 59.4 NO 25.7 / 11.9
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swapX.xml . 125.1 / 59.5 NO 33.0 / 12.0
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swapXY.xml . 119.5 / 59.4 NO 35.5 / 11.9
RS_Standard/EEG_IJCAR_12/enger-nonloop-swapXY2.xml . 130.6 / 59.4 NO 26.1 / 12.7
_Standard/EEG_IJCAR_12/enger-nonloop-swap_decr.xml . 97.0 / 59.3 NO 25.8 / 12.6
TRS_Standard/EEG_IJCAR_12/enger-nonloop-toOne.xml . 144.7 / 59.9 NO 24.4 / 13.2
_Standard/EEG_IJCAR_12/enger-nonloop-unbounded.xml . 139.7 / 59.4 NO 27.2 / 12.4
S_Standard/EEG_IJCAR_12/enger-nonloop-while-lt.xml . 132.6 / 59.4 NO 31.3 / 11.9
andard/EEG_IJCAR_12/rybalchenko-nonloop-popl08.xml . 130.6 / 59.4 NO 48.3 / 32.5
EG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.xml . 146.7 / 59.6 . 711.2 / 300.1
dard/EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.xml . 148.2 / 59.4 NO 24.7 / 13.7
TRS_Standard/Endrullis_06/direct.xml YES 0.7 / 0.9 YES 4.2 / 3.2
TRS_Standard/Endrullis_06/labeling.xml . 95.5 / 59.4 YES 23.9 / 11.6
TRS_Standard/Endrullis_06/linear1.xml YES 4.2 / 2.3 YES 5.1 / 5.3
TRS_Standard/Endrullis_06/linear2.xml YES 11.9 / 4.4 YES 16.8 / 17.4
TRS_Standard/Endrullis_06/pair2hard.xml YES 11.5 / 5.4 YES 105.9 / 60.5
TRS_Standard/Endrullis_06/pair2simple1.xml YES 4.2 / 1.9 YES 2.6 / 2.9
TRS_Standard/Endrullis_06/pair2simple2.xml . 47.7 / 32.5 YES 3.4 / 1.9
TRS_Standard/Endrullis_06/pair3hard.xml . 131.2 / 59.4 YES 10.0 / 3.9
TRS_Standard/Endrullis_06/pair3rotate.xml YES 4.1 / 1.7 YES 5.1 / 9.1
TRS_Standard/Endrullis_06/pair3swap.xml YES 8.4 / 3.6 YES 4.5 / 2.4
TRS_Standard/Endrullis_06/quadruple1.xml YES 3.3 / 2.1 YES 4.1 / 6.0
TRS_Standard/Endrullis_06/quadruple2.xml YES 0.9 / 0.5 YES 19.4 / 10.9
TRS_Standard/GTSSK07/cade01.xml . 104.1 / 60.0 YES 4.0 / 6.7
TRS_Standard/GTSSK07/cade03.xml . 11.6 / 10.3 YES 4.0 / 3.4
TRS_Standard/GTSSK07/cade04t.xml . 5.4 / 10.3 . 287.3 / 300.0
TRS_Standard/GTSSK07/cade05t.xml . 66.4 / 59.5 YES 6.1 / 5.4
TRS_Standard/GTSSK07/cade06.xml . 148.6 / 59.4 . 590.5 / 300.1
TRS_Standard/GTSSK07/cade07.xml . 147.4 / 59.3 . 369.6 / 300.0
TRS_Standard/GTSSK07/cade08.xml . 130.9 / 59.4 . 482.7 / 300.1
TRS_Standard/GTSSK07/cade09.xml . 124.2 / 59.4 YES 4.7 / 4.0
TRS_Standard/GTSSK07/cade10.xml . 135.0 / 59.3 YES 4.3 / 2.4
TRS_Standard/GTSSK07/cade11.xml . 66.2 / 60.1 YES 3.8 / 2.7
TRS_Standard/GTSSK07/cade12t.xml . 119.8 / 59.5 . 425.3 / 300.0
TRS_Standard/GTSSK07/cade13t.xml . 18.3 / 10.3 YES 5.3 / 3.2
TRS_Standard/GTSSK07/cade14.xml . 134.1 / 59.3 YES 13.2 / 7.2
TRS_Standard/GTSSK07/cade15.xml . 73.6 / 59.9 YES 13.5 / 6.0
TRS_Standard/GTSSK07/cade16.xml . 109.1 / 59.4 YES 5.0 / 3.0
TRS_Standard/GTSSK07/cade17.xml . 160.4 / 59.5 . 406.3 / 300.1
TRS_Standard/HirokawaMiddeldorp_04/n002.xml NO 0.3 / 0.7 NO 2.3 / 2.4
TRS_Standard/HirokawaMiddeldorp_04/n003.xml NO 0.3 / 0.3 NO 4.8 / 2.6
TRS_Standard/HirokawaMiddeldorp_04/n004.xml NO 0.3 / 0.3 NO 4.4 / 2.7
TRS_Standard/HirokawaMiddeldorp_04/n005.xml NO 0.3 / 0.6 NO 2.2 / 1.7
TRS_Standard/HirokawaMiddeldorp_04/n006.xml NO 0.3 / 1.0 NO 2.1 / 1.5
TRS_Standard/HirokawaMiddeldorp_04/n007.xml NO 0.3 / 0.3 NO 2.6 / 1.9
TRS_Standard/HirokawaMiddeldorp_04/n008.xml NO 0.3 / 0.3 NO 5.5 / 4.3
TRS_Standard/HirokawaMiddeldorp_04/t000.xml YES 2.9 / 1.4 YES 3.1 / 1.9
TRS_Standard/HirokawaMiddeldorp_04/t001.xml YES 3.2 / 1.3 YES 4.1 / 2.2
TRS_Standard/HirokawaMiddeldorp_04/t002.xml YES 7.1 / 3.3 YES 3.7 / 3.1
TRS_Standard/HirokawaMiddeldorp_04/t003.xml YES 1.5 / 0.8 YES 3.6 / 2.7
TRS_Standard/HirokawaMiddeldorp_04/t004.xml YES 1.3 / 0.7 YES 4.9 / 4.3
TRS_Standard/HirokawaMiddeldorp_04/t005.xml YES 8.4 / 3.5 YES 9.1 / 3.9
TRS_Standard/HirokawaMiddeldorp_04/t006.xml YES 0.3 / 0.3 YES 2.4 / 1.7
TRS_Standard/HirokawaMiddeldorp_04/t007.xml YES 0.4 / 0.4 YES 4.3 / 6.4
TRS_Standard/HirokawaMiddeldorp_04/t008.xml YES 1.0 / 0.8 YES 5.5 / 2.7
TRS_Standard/HirokawaMiddeldorp_04/t009.xml YES 130.0 / 38.8 YES 23.2 / 12.5
TRS_Standard/HirokawaMiddeldorp_04/t010.xml YES 0.4 / 0.3 YES 3.2 / 2.2
TRS_Standard/HirokawaMiddeldorp_04/t011.xml YES 0.4 / 0.7 YES 2.5 / 5.2
TRS_Standard/HirokawaMiddeldorp_04/t012.xml YES 1.3 / 0.8 YES 3.0 / 2.6
TRS_Standard/HirokawaMiddeldorp_04/t013.xml YES 0.6 / 0.4 YES 3.2 / 1.9
TRS_Standard/HirokawaMiddeldorp_04/t014.xml YES 1.5 / 0.8 YES 3.2 / 3.4
TRS_Standard/Hydras/goodstein.xml . 167.4 / 59.4 . 527.5 / 300.0
TRS_Standard/Hydras/hydra_buchholz.xml . 150.2 / 59.5 . 463.2 / 300.0
TRS_Standard/Hydras/hydra_touzet.xml . 96.3 / 59.4 . 575.8 / 300.0
TRS_Standard/Hydras/lepper_0.xml . 158.5 / 59.4 . 389.1 / 300.1
TRS_Standard/Hydras/lepper_1.xml . 163.2 / 59.4 . 400.4 / 300.0
TRS_Standard/Hydras/lepper_10.xml . 173.2 / 61.3 . 598.1 / 300.1
TRS_Standard/Hydras/lepper_2.xml NO 30.4 / 12.6 NO 166.0 / 78.5
TRS_Standard/Hydras/lepper_3.xml . 166.6 / 59.5 . 423.2 / 300.1
TRS_Standard/Hydras/lepper_4.xml . 100.7 / 60.1 . 495.9 / 300.0
TRS_Standard/Hydras/lepper_5.xml . 151.5 / 60.7 . 500.5 / 300.0
TRS_Standard/Hydras/lepper_6.xml . 154.4 / 60.2 . 622.5 / 300.0
TRS_Standard/Hydras/lepper_8.xml . 102.7 / 62.5 . 656.0 / 300.1
TRS_Standard/Hydras/lepper_9.xml . 157.0 / 61.5 . 486.6 / 300.1
TRS_Standard/Hydras/worm_fixed.xml . 126.6 / 59.4 . 710.4 / 300.0
TRS_Standard/Hydras/worm_fixed2.xml . 76.7 / 60.0 . 741.5 / 300.0
TRS_Standard/Hydras/worm_fixed3.xml . 132.3 / 59.5 . 737.9 / 300.0
TRS_Standard/Hydras/worm_wrong.xml YES 22.5 / 7.3 YES 63.2 / 34.9
TRS_Standard/MNZ_10/0.xml . 140.9 / 59.3 YES 109.7 / 66.8
TRS_Standard/MNZ_10/1.xml YES 20.9 / 10.8 YES 55.5 / 29.1
TRS_Standard/MNZ_10/2.xml YES 23.2 / 8.1 YES 94.0 / 52.1
TRS_Standard/MNZ_10/3.xml YES 27.9 / 10.9 YES 81.4 / 31.3
TRS_Standard/MNZ_10/4.xml . 131.7 / 59.4 . 573.3 / 300.1
TRS_Standard/MNZ_10/5.xml . 160.9 / 59.5 . 236.5 / 300.0
TRS_Standard/MNZ_10/6.xml . 170.9 / 59.4 . 400.0 / 300.1
TRS_Standard/MNZ_10/7.xml YES 125.5 / 52.1 . 492.2 / 300.0
TRS_Standard/MNZ_10/8.xml YES 21.9 / 9.8 YES 113.4 / 57.3
TRS_Standard/MNZ_10/9.xml . 112.2 / 59.5 . 473.3 / 300.0
TRS_Standard/MNZ_10/labelled.xml . 327.8 / 300.0 YES 64.2 / 73.4
TRS_Standard/MNZ_10/nrvsq.xml . 195.6 / 59.5 YES 95.5 / 42.4
TRS_Standard/MNZ_10/nvsr.xml . 146.8 / 59.5 YES 430.5 / 244.3
TRS_Standard/Mixed_TRS/1.xml YES 0.8 / 0.5 YES 3.1 / 1.9
TRS_Standard/Mixed_TRS/2.xml YES 0.6 / 0.4 YES 4.1 / 2.8
TRS_Standard/Mixed_TRS/3.xml YES 1.3 / 0.7 YES 3.0 / 1.9
TRS_Standard/Mixed_TRS/4.xml YES 0.8 / 0.6 YES 3.1 / 2.1
TRS_Standard/Mixed_TRS/5.xml YES 0.7 / 0.4 YES 2.9 / 2.2
TRS_Standard/Mixed_TRS/6.xml . 141.4 / 60.8 . 275.7 / 300.0
TRS_Standard/Mixed_TRS/7.xml . 144.7 / 59.5 YES 69.6 / 34.7
TRS_Standard/Mixed_TRS/Ex1_Luc04b_GM.xml YES 12.4 / 7.2 YES 5.3 / 2.6
TRS_Standard/Mixed_TRS/beans.xml . 138.6 / 59.7 YES 4.9 / 4.6
TRS_Standard/Mixed_TRS/div_hard.xml YES 16.9 / 6.2 . 198.2 / 300.0
TRS_Standard/Mixed_TRS/fossacs.xml . 156.7 / 59.3 . 496.5 / 300.1
TRS_Standard/Mixed_TRS/gcd.xml YES 2.3 / 1.1 YES 3.3 / 2.0
TRS_Standard/Mixed_TRS/gcdMinMax.xml . 139.3 / 59.5 YES 3.8 / 2.5
TRS_Standard/Mixed_TRS/gcd_triple.xml YES 4.4 / 2.3 YES 5.8 / 4.9
TRS_Standard/Mixed_TRS/hydra-Zantema06.xml . 116.5 / 59.4 . 470.7 / 300.0
TRS_Standard/Mixed_TRS/hydra.xml YES 0.6 / 0.4 YES 2.6 / 1.9
TRS_Standard/Mixed_TRS/jones1.xml YES 0.4 / 0.3 YES 2.3 / 1.6
TRS_Standard/Mixed_TRS/jones2.xml YES 0.5 / 0.4 YES 2.7 / 1.8
TRS_Standard/Mixed_TRS/jones4.xml YES 0.4 / 0.7 YES 2.3 / 1.8
TRS_Standard/Mixed_TRS/jones5.xml YES 0.5 / 0.4 YES 2.7 / 4.4
TRS_Standard/Mixed_TRS/jones6.xml YES 0.5 / 0.4 YES 2.6 / 2.1
TRS_Standard/Mixed_TRS/minsort.xml . 176.1 / 59.3 . 530.5 / 300.1
TRS_Standard/Mixed_TRS/motivation.xml YES 0.7 / 0.5 YES 2.8 / 2.3
TRS_Standard/Mixed_TRS/perfect.xml YES 1.0 / 0.8 YES 2.8 / 1.9
TRS_Standard/Mixed_TRS/perfect2.xml YES 1.7 / 1.1 YES 3.7 / 5.6
TRS_Standard/Mixed_TRS/sigma.xml . 155.7 / 59.5 . 329.5 / 300.1
TRS_Standard/Mixed_TRS/test1.xml YES 0.4 / 0.3 YES 2.8 / 1.9
TRS_Standard/Mixed_TRS/while.xml . 103.4 / 59.5 YES 3.4 / 2.3
TRS_Standard/Mixed_TRS/while2.xml . 130.9 / 59.3 . 449.5 / 300.0
TRS_Standard/Rubio_04/aoto.xml YES 1.3 / 0.8 YES 3.8 / 2.1
TRS_Standard/Rubio_04/bintrees.xml YES 0.6 / 0.5 YES 2.3 / 1.5
TRS_Standard/Rubio_04/bn122.xml YES 0.6 / 1.0 YES 2.5 / 1.6
TRS_Standard/Rubio_04/bn129.xml YES 1.0 / 0.7 YES 2.2 / 1.5
TRS_Standard/Rubio_04/division.xml YES 1.4 / 1.0 YES 3.5 / 2.1
TRS_Standard/Rubio_04/elimdupl.xml YES 1.9 / 1.1 YES 3.4 / 2.4
TRS_Standard/Rubio_04/enno.xml YES 3.0 / 2.5 YES 4.3 / 8.3
TRS_Standard/Rubio_04/gcd.xml YES 1.9 / 0.9 YES 4.1 / 3.8
TRS_Standard/Rubio_04/gm.xml YES 1.0 / 0.6 YES 2.8 / 2.3
TRS_Standard/Rubio_04/gmnp.xml YES 0.6 / 0.4 YES 3.5 / 2.7
TRS_Standard/Rubio_04/koen.xml YES 0.6 / 0.6 YES 2.8 / 7.1
TRS_Standard/Rubio_04/lescanne.xml YES 0.7 / 0.8 YES 2.2 / 1.6
TRS_Standard/Rubio_04/lindau.xml YES 0.6 / 1.8 YES 2.7 / 1.7
TRS_Standard/Rubio_04/logarquot.xml YES 2.0 / 1.1 YES 3.2 / 2.1
TRS_Standard/Rubio_04/ma96.xml YES 5.7 / 4.0 YES 6.1 / 6.3
TRS_Standard/Rubio_04/mfp90b.xml YES 0.4 / 0.8 YES 2.3 / 2.0
TRS_Standard/Rubio_04/mfp95.xml YES 0.5 / 0.4 YES 2.5 / 2.4
TRS_Standard/Rubio_04/nestrec.xml YES 2.2 / 1.3 YES 6.5 / 12.1
TRS_Standard/Rubio_04/p266.xml YES 1.1 / 0.5 YES 3.5 / 2.4
TRS_Standard/Rubio_04/polo2.xml YES 2.0 / 1.1 YES 3.4 / 2.6
TRS_Standard/Rubio_04/prov.xml YES 0.5 / 0.6 YES 2.5 / 1.7
TRS_Standard/Rubio_04/quick.xml YES 3.6 / 1.5 YES 4.4 / 2.8
TRS_Standard/Rubio_04/quotminus.xml YES 1.3 / 0.9 YES 3.1 / 3.2
TRS_Standard/Rubio_04/revlist.xml YES 2.3 / 1.4 YES 3.6 / 2.1
TRS_Standard/Rubio_04/selsort.xml YES 5.5 / 2.0 YES 5.3 / 3.0
TRS_Standard/Rubio_04/test4.xml YES 0.6 / 0.8 YES 2.8 / 1.8
TRS_Standard/Rubio_04/test829.xml YES 0.6 / 0.5 YES 2.6 / 1.7
TRS_Standard/Rubio_04/wst99.xml YES 6.6 / 3.8 YES 10.1 / 4.3
TRS_Standard/SK90/2.01.xml YES 0.7 / 0.4 YES 2.5 / 1.6
TRS_Standard/SK90/2.02.xml YES 0.5 / 0.4 YES 2.6 / 1.9
TRS_Standard/SK90/2.03.xml YES 0.5 / 0.4 YES 2.2 / 1.5
TRS_Standard/SK90/2.04.xml YES 0.4 / 0.3 YES 2.4 / 1.6
TRS_Standard/SK90/2.05.xml NO 0.9 / 1.3 NO 5.5 / 4.7
TRS_Standard/SK90/2.06.xml YES 0.6 / 0.5 YES 2.6 / 2.6
TRS_Standard/SK90/2.07.xml YES 0.7 / 0.5 YES 2.6 / 2.1
TRS_Standard/SK90/2.08.xml YES 1.0 / 0.6 YES 2.9 / 3.0
TRS_Standard/SK90/2.09.xml YES 0.4 / 0.3 YES 2.2 / 1.6
TRS_Standard/SK90/2.10.xml YES 0.7 / 0.5 YES 2.6 / 1.6
TRS_Standard/SK90/2.11.xml YES 0.4 / 0.3 YES 2.2 / 1.5
TRS_Standard/SK90/2.12.xml YES 0.8 / 0.7 YES 2.7 / 1.7
TRS_Standard/SK90/2.13.xml YES 0.6 / 0.4 YES 2.9 / 1.8
TRS_Standard/SK90/2.14.xml YES 0.8 / 0.4 YES 2.8 / 6.6
TRS_Standard/SK90/2.15.xml YES 0.5 / 0.5 YES 2.3 / 4.0
TRS_Standard/SK90/2.16.xml YES 0.8 / 0.8 YES 2.9 / 2.9
TRS_Standard/SK90/2.17.xml YES 0.9 / 0.7 YES 2.5 / 1.8
TRS_Standard/SK90/2.18.xml YES 0.5 / 0.5 YES 2.4 / 1.7
TRS_Standard/SK90/2.19.xml YES 0.7 / 0.5 YES 2.4 / 1.7
TRS_Standard/SK90/2.20.xml YES 0.5 / 0.4 YES 2.7 / 1.9
TRS_Standard/SK90/2.21.xml YES 0.5 / 0.5 YES 2.5 / 1.8
TRS_Standard/SK90/2.22.xml YES 0.7 / 0.8 YES 2.8 / 2.8
TRS_Standard/SK90/2.23.xml YES 0.7 / 0.5 YES 2.7 / 1.9
TRS_Standard/SK90/2.24.xml YES 0.5 / 0.4 YES 2.4 / 1.7
TRS_Standard/SK90/2.25.xml YES 0.6 / 0.4 YES 2.4 / 1.6
TRS_Standard/SK90/2.26.xml YES 1.3 / 0.9 YES 2.8 / 2.0
TRS_Standard/SK90/2.27.xml YES 2.0 / 1.0 YES 2.9 / 3.9
TRS_Standard/SK90/2.28.xml YES 0.4 / 0.3 YES 2.7 / 2.7
TRS_Standard/SK90/2.29.xml YES 1.1 / 1.0 YES 2.7 / 1.8
TRS_Standard/SK90/2.30.xml YES 0.7 / 0.4 YES 2.9 / 1.8
TRS_Standard/SK90/2.31.xml YES 0.7 / 0.5 YES 2.6 / 4.0
TRS_Standard/SK90/2.32.xml YES 0.7 / 0.5 YES 2.5 / 1.6
TRS_Standard/SK90/2.33.xml YES 0.5 / 0.4 YES 2.4 / 2.0
TRS_Standard/SK90/2.34.xml YES 0.8 / 0.8 YES 3.1 / 4.9
TRS_Standard/SK90/2.35.xml YES 0.4 / 0.3 YES 2.7 / 2.7
TRS_Standard/SK90/2.36.xml YES 0.5 / 0.4 YES 2.3 / 1.7
TRS_Standard/SK90/2.37.xml YES 0.4 / 0.3 YES 2.5 / 2.4
TRS_Standard/SK90/2.38.xml YES 0.5 / 0.4 YES 2.3 / 2.1
TRS_Standard/SK90/2.39.xml YES 0.8 / 0.5 YES 4.0 / 8.7
TRS_Standard/SK90/2.40.xml YES 0.6 / 0.4 YES 2.7 / 2.0
TRS_Standard/SK90/2.41.xml YES 0.4 / 0.4 YES 2.5 / 1.7
TRS_Standard/SK90/2.42.xml YES 1.6 / 0.8 YES 2.9 / 1.9
TRS_Standard/SK90/2.43.xml YES 1.2 / 0.7 YES 3.1 / 1.9
TRS_Standard/SK90/2.44.xml YES 1.2 / 0.7 YES 3.3 / 4.1
TRS_Standard/SK90/2.45.xml YES 1.9 / 1.1 YES 3.1 / 2.9
TRS_Standard/SK90/2.46.xml YES 0.8 / 0.5 YES 16.0 / 11.1
TRS_Standard/SK90/2.47.xml YES 0.7 / 2.1 YES 5.8 / 5.0
TRS_Standard/SK90/2.48.xml YES 0.6 / 0.4 YES 4.1 / 3.0
TRS_Standard/SK90/2.49.xml YES 0.8 / 0.5 YES 4.2 / 3.0
TRS_Standard/SK90/2.50.xml YES 0.9 / 0.4 YES 9.0 / 4.4
TRS_Standard/SK90/2.51.xml YES 0.5 / 0.4 YES 2.5 / 1.6
TRS_Standard/SK90/2.52.xml YES 1.0 / 0.6 YES 3.0 / 2.2
TRS_Standard/SK90/2.53.xml YES 0.4 / 0.3 YES 2.3 / 1.6
TRS_Standard/SK90/2.54.xml YES 0.3 / 0.3 YES 2.7 / 2.6
TRS_Standard/SK90/2.55.xml YES 0.4 / 0.4 YES 2.8 / 2.2
TRS_Standard/SK90/2.56.xml YES 0.4 / 0.3 YES 2.5 / 1.8
TRS_Standard/SK90/2.57.xml YES 0.5 / 0.4 YES 2.7 / 2.1
TRS_Standard/SK90/2.58.xml YES 0.5 / 0.4 YES 2.7 / 2.3
TRS_Standard/SK90/2.59.xml YES 0.5 / 0.5 YES 2.5 / 2.9
TRS_Standard/SK90/2.60.xml YES 0.4 / 0.3 YES 2.4 / 1.7
TRS_Standard/SK90/2.61.xml YES 0.9 / 0.5 YES 2.2 / 1.5
TRS_Standard/SK90/4.01.xml YES 0.4 / 0.6 YES 2.5 / 4.1
TRS_Standard/SK90/4.02.xml . 21.0 / 10.5 YES 3.2 / 2.2
TRS_Standard/SK90/4.03.xml YES 0.8 / 0.6 YES 3.0 / 2.6
TRS_Standard/SK90/4.04.xml YES 0.4 / 0.3 YES 2.6 / 4.4
TRS_Standard/SK90/4.05.xml YES 0.5 / 0.4 YES 2.8 / 2.7
TRS_Standard/SK90/4.06.xml NO 1.0 / 0.7 NO 3.8 / 3.4
TRS_Standard/SK90/4.07.xml YES 0.5 / 0.4 YES 2.5 / 1.9
TRS_Standard/SK90/4.08.xml YES 0.4 / 0.4 YES 2.4 / 1.7
TRS_Standard/SK90/4.09.xml YES 0.6 / 0.5 YES 2.8 / 1.9
TRS_Standard/SK90/4.10.xml YES 0.6 / 0.5 YES 2.8 / 2.3
TRS_Standard/SK90/4.11.xml YES 0.5 / 0.4 YES 2.6 / 2.1
TRS_Standard/SK90/4.12.xml YES 0.5 / 0.9 YES 2.6 / 2.1
TRS_Standard/SK90/4.13.xml YES 1.3 / 0.8 YES 2.7 / 1.8
TRS_Standard/SK90/4.14.xml YES 0.9 / 0.6 YES 3.3 / 3.2
TRS_Standard/SK90/4.15.xml YES 0.4 / 0.4 YES 2.5 / 2.4
TRS_Standard/SK90/4.16.xml YES 0.7 / 0.8 YES 2.9 / 6.7
TRS_Standard/SK90/4.17.xml YES 0.9 / 0.5 YES 3.6 / 2.7
TRS_Standard/SK90/4.18.xml YES 0.8 / 0.5 YES 2.6 / 1.8
TRS_Standard/SK90/4.19.xml YES 0.4 / 0.6 YES 2.3 / 1.6
TRS_Standard/SK90/4.20.xml YES 0.6 / 0.5 YES 3.1 / 3.6
TRS_Standard/SK90/4.21.xml YES 0.7 / 0.5 YES 2.6 / 1.7
TRS_Standard/SK90/4.22.xml YES 0.7 / 0.5 YES 2.7 / 2.2
TRS_Standard/SK90/4.23.xml YES 0.6 / 0.4 YES 2.6 / 2.1
TRS_Standard/SK90/4.24.xml YES 2.8 / 1.1 YES 3.4 / 2.0
TRS_Standard/SK90/4.25.xml YES 0.6 / 0.6 YES 2.6 / 2.1
TRS_Standard/SK90/4.26.xml YES 1.1 / 0.8 YES 3.2 / 2.0
TRS_Standard/SK90/4.27.xml YES 1.4 / 0.8 YES 3.6 / 4.1
TRS_Standard/SK90/4.28.xml YES 1.4 / 0.8 YES 3.0 / 2.0
TRS_Standard/SK90/4.29.xml YES 0.7 / 0.5 YES 2.5 / 2.0
TRS_Standard/SK90/4.30.xml YES 1.1 / 0.6 YES 3.7 / 2.0
TRS_Standard/SK90/4.31.xml YES 1.6 / 0.7 YES 2.9 / 5.9
TRS_Standard/SK90/4.32.xml YES 8.7 / 2.5 YES 24.3 / 11.2
TRS_Standard/SK90/4.33.xml YES 0.8 / 0.5 YES 2.4 / 1.7
TRS_Standard/SK90/4.34.xml NO 0.6 / 0.5 NO 2.1 / 1.5
TRS_Standard/SK90/4.35.xml YES 0.6 / 0.4 YES 2.6 / 2.0
TRS_Standard/SK90/4.36.xml YES 0.8 / 0.5 YES 2.7 / 2.5
TRS_Standard/SK90/4.37.xml YES 0.7 / 0.5 YES 2.8 / 1.8
TRS_Standard/SK90/4.38.xml YES 0.5 / 0.3 YES 2.2 / 1.6
TRS_Standard/SK90/4.39.xml YES 0.4 / 0.3 YES 2.5 / 1.7
TRS_Standard/SK90/4.40.xml . 176.6 / 59.5 NO 13.2 / 5.2
TRS_Standard/SK90/4.41.xml YES 0.7 / 0.5 YES 2.8 / 8.1
TRS_Standard/SK90/4.42.xml YES 0.6 / 0.5 YES 2.7 / 1.8
TRS_Standard/SK90/4.43.xml YES 1.8 / 1.7 YES 2.7 / 1.6
TRS_Standard/SK90/4.44.xml YES 0.6 / 0.5 YES 2.5 / 1.6
TRS_Standard/SK90/4.45.xml YES 0.3 / 0.3 YES 2.6 / 2.3
TRS_Standard/SK90/4.46.xml YES 0.4 / 1.1 YES 2.3 / 1.6
TRS_Standard/SK90/4.47.xml YES 0.8 / 0.5 YES 3.9 / 2.1
TRS_Standard/SK90/4.48.xml YES 0.4 / 0.3 YES 2.4 / 2.0
TRS_Standard/SK90/4.49.xml NO 0.3 / 0.4 NO 3.7 / 4.1
TRS_Standard/SK90/4.50.xml YES 0.4 / 0.4 YES 2.5 / 2.0
TRS_Standard/SK90/4.51.xml YES 0.6 / 1.7 YES 3.1 / 2.9
TRS_Standard/SK90/4.52.xml YES 0.8 / 0.5 YES 2.3 / 1.5
TRS_Standard/SK90/4.53.xml YES 0.8 / 0.6 YES 2.6 / 3.7
TRS_Standard/SK90/4.54.xml NO 1.0 / 0.6 NO 8.1 / 3.4
TRS_Standard/SK90/4.55.xml . 0.6 / 11.0 YES 2.4 / 1.8
TRS_Standard/SK90/4.56.xml YES 0.5 / 0.4 YES 2.3 / 1.5
TRS_Standard/SK90/4.57.xml YES 0.8 / 0.6 YES 2.5 / 1.7
TRS_Standard/SK90/4.59.xml YES 1.4 / 0.8 YES 3.1 / 2.5
TRS_Standard/SK90/4.60.xml YES 2.0 / 1.0 YES 3.3 / 4.7
TRS_Standard/SK90/4.61.xml YES 4.8 / 2.5 YES 4.9 / 4.3
TRS_Standard/Secret_05_TRS/aprove1.xml YES 3.1 / 1.7 YES 5.7 / 4.8
TRS_Standard/Secret_05_TRS/aprove2.xml . 65.9 / 31.5 YES 9.3 / 7.5
TRS_Standard/Secret_05_TRS/aprove3.xml . 141.2 / 59.4 YES 8.4 / 12.4
TRS_Standard/Secret_05_TRS/aprove4.xml . 146.6 / 59.5 YES 5.6 / 3.7
TRS_Standard/Secret_05_TRS/aprove5.xml . 151.8 / 59.4 YES 5.4 / 4.9
TRS_Standard/Secret_05_TRS/cime1.xml . 184.5 / 59.5 . 676.6 / 300.0
TRS_Standard/Secret_05_TRS/cime2.xml . 122.9 / 59.8 YES 29.1 / 17.4
TRS_Standard/Secret_05_TRS/cime3.xml . 127.9 / 59.5 . 504.9 / 300.0
TRS_Standard/Secret_05_TRS/cime4.xml . 119.4 / 59.3 NO 2.9 / 3.7
TRS_Standard/Secret_05_TRS/cime5.xml YES 73.9 / 21.8 YES 23.0 / 11.4
TRS_Standard/Secret_05_TRS/matchbox1.xml . 71.6 / 59.7 YES 4.7 / 7.7
TRS_Standard/Secret_05_TRS/matchbox2.xml YES 0.8 / 0.5 YES 2.9 / 2.1
TRS_Standard/Secret_05_TRS/teparla1.xml . 64.1 / 55.9 YES 3.0 / 2.7
TRS_Standard/Secret_05_TRS/teparla2.xml . 37.9 / 33.1 YES 9.3 / 3.6
TRS_Standard/Secret_05_TRS/teparla3.xml . 21.3 / 14.2 . 300.7 / 300.0
TRS_Standard/Secret_05_TRS/tpa1.xml . 148.4 / 59.6 YES 3.6 / 2.2
TRS_Standard/Secret_05_TRS/tpa2.xml YES 3.8 / 1.8 YES 4.6 / 3.7
TRS_Standard/Secret_05_TRS/tpa3.xml . 181.9 / 59.3 . 355.1 / 300.1
TRS_Standard/Secret_05_TRS/tpa4.xml . 136.3 / 59.3 . 378.1 / 300.0
TRS_Standard/Secret_05_TRS/tpa5.xml . 127.7 / 59.5 . 563.0 / 300.0
TRS_Standard/Secret_05_TRS/ttt1.xml NO 1.1 / 0.8 NO 4.0 / 2.7
TRS_Standard/Secret_05_TRS/ttt2.xml NO 0.5 / 0.4 NO 3.2 / 3.2
TRS_Standard/Secret_06_TRS/10.xml YES 7.4 / 3.5 YES 16.4 / 24.2
TRS_Standard/Secret_06_TRS/2.xml YES 1.4 / 1.0 YES 38.8 / 28.0
TRS_Standard/Secret_06_TRS/3.xml . 175.2 / 59.4 . 762.3 / 300.0
TRS_Standard/Secret_06_TRS/4.xml YES 3.3 / 1.4 YES 5.2 / 3.1
TRS_Standard/Secret_06_TRS/5.xml YES 6.4 / 3.1 YES 4.2 / 3.0
TRS_Standard/Secret_06_TRS/6.xml YES 0.7 / 0.6 YES 7.8 / 3.2
TRS_Standard/Secret_06_TRS/7.xml YES 0.8 / 1.1 YES 7.6 / 6.2
TRS_Standard/Secret_06_TRS/8.xml YES 0.6 / 0.4 YES 3.2 / 2.6
TRS_Standard/Secret_06_TRS/9.xml YES 0.9 / 0.5 YES 5.7 / 4.8
TRS_Standard/Secret_06_TRS/addList.xml . 161.7 / 59.4 YES 12.7 / 5.6
TRS_Standard/Secret_06_TRS/cime1.xml . 157.7 / 59.5 . 331.2 / 300.0
TRS_Standard/Secret_06_TRS/divExp.xml . 2.5 / 10.3 YES 4.1 / 2.4
TRS_Standard/Secret_06_TRS/division.xml . 32.0 / 11.2 YES 8.2 / 3.9
TRS_Standard/Secret_06_TRS/double.xml . 16.7 / 10.3 YES 6.1 / 12.4
TRS_Standard/Secret_06_TRS/gen-1.xml YES 1.1 / 0.6 YES 6.5 / 5.0
TRS_Standard/Secret_06_TRS/gen-10.xml YES 6.3 / 2.2 YES 5.5 / 2.8
TRS_Standard/Secret_06_TRS/gen-14.xml YES 3.6 / 1.4 YES 4.2 / 2.5
TRS_Standard/Secret_06_TRS/gen-15.xml YES 4.2 / 1.5 YES 4.2 / 4.2
TRS_Standard/Secret_06_TRS/gen-17.xml YES 1.6 / 2.2 YES 2.7 / 1.9
TRS_Standard/Secret_06_TRS/gen-18.xml YES 4.1 / 2.7 YES 28.4 / 16.3
TRS_Standard/Secret_06_TRS/gen-22.xml YES 7.8 / 2.6 YES 5.7 / 2.9
TRS_Standard/Secret_06_TRS/gen-25.xml YES 12.2 / 4.3 YES 30.5 / 16.2
TRS_Standard/Secret_06_TRS/gen-28.xml YES 6.9 / 2.4 YES 31.5 / 15.6
TRS_Standard/Secret_06_TRS/gen-9.xml YES 4.7 / 4.1 YES 4.8 / 4.2
TRS_Standard/Secret_06_TRS/logarithm.xml YES 116.6 / 53.8 . 615.1 / 300.0
TRS_Standard/Secret_06_TRS/nrOfNodes.xml . 102.2 / 59.4 YES 9.2 / 5.8
TRS_Standard/Secret_06_TRS/reverse.xml YES 3.5 / 1.5 YES 7.4 / 11.4
TRS_Standard/Secret_06_TRS/sumList.xml . 179.8 / 59.6 YES 8.8 / 4.5
TRS_Standard/Secret_06_TRS/times.xml . 134.1 / 59.4 . 433.4 / 300.2
TRS_Standard/Secret_06_TRS/toList.xml . 123.0 / 59.6 YES 15.9 / 6.4
TRS_Standard/Secret_06_TRS/tpa01.xml . 3.6 / 10.3 . 7.3 / 11.9
TRS_Standard/Secret_06_TRS/tpa02.xml . 5.3 / 10.8 . 17.7 / 10.3
TRS_Standard/Secret_06_TRS/tpa03.xml . 6.1 / 10.3 . 15.3 / 15.0
TRS_Standard/Secret_06_TRS/tpa04.xml . 144.5 / 59.4 . 569.0 / 300.0
TRS_Standard/Secret_06_TRS/tpa05.xml . 150.8 / 59.4 . 385.4 / 300.0
TRS_Standard/Secret_06_TRS/tpa06.xml . 159.6 / 59.7 . 820.2 / 300.1
TRS_Standard/Secret_06_TRS/tpa07.xml . 147.1 / 59.3 . 418.6 / 300.0
TRS_Standard/Secret_06_TRS/tpa08.xml . 138.3 / 59.4 . 438.0 / 300.0
TRS_Standard/Secret_06_TRS/tpa09.xml . 168.1 / 59.4 . 434.4 / 300.1
TRS_Standard/Secret_06_TRS/tpa10.xml YES 27.2 / 12.8 YES 4.8 / 3.6
TRS_Standard/Secret_07_TRS/1.xml . 142.3 / 59.4 . 346.1 / 300.1
TRS_Standard/Secret_07_TRS/2.xml . 120.0 / 59.4 . 576.6 / 300.0
TRS_Standard/Secret_07_TRS/3.xml . 94.6 / 60.0 YES 64.2 / 38.9
TRS_Standard/Secret_07_TRS/4.xml . 177.1 / 59.3 . 360.5 / 300.1
TRS_Standard/Secret_07_TRS/5.xml . 166.6 / 59.6 YES 54.9 / 27.1
TRS_Standard/Secret_07_TRS/7.xml . 140.1 / 59.3 NO 433.6 / 193.9
TRS_Standard/Secret_07_TRS/aprove01.xml . 117.8 / 59.5 . 892.8 / 300.1
TRS_Standard/Secret_07_TRS/aprove02.xml . 128.1 / 60.1 . 449.7 / 300.0
TRS_Standard/Secret_07_TRS/aprove03.xml . 105.1 / 59.5 . 525.7 / 300.1
TRS_Standard/Secret_07_TRS/aprove04.xml . 124.1 / 59.4 . 489.9 / 300.1
TRS_Standard/Secret_07_TRS/aprove05.xml . 144.3 / 59.4 . 536.0 / 300.1
TRS_Standard/Secret_07_TRS/aprove06.xml . 129.0 / 59.4 . 720.5 / 300.0
TRS_Standard/Secret_07_TRS/aprove07.xml . 112.1 / 59.4 . 640.0 / 300.0
TRS_Standard/Secret_07_TRS/aprove08.xml . 168.8 / 59.5 . 357.6 / 300.1
TRS_Standard/Secret_07_TRS/aprove09.xml . 153.7 / 59.4 . 699.1 / 300.0
TRS_Standard/Secret_07_TRS/aprove10.xml . 125.4 / 59.3 . 597.1 / 300.0
TRS_Standard/Secret_07_TRS/secret1.xml YES 2.2 / 1.1 YES 3.5 / 12.6
TRS_Standard/Secret_07_TRS/secret2.xml YES 1.4 / 0.9 YES 3.0 / 6.3
TRS_Standard/Secret_07_TRS/secret3.xml YES 1.7 / 1.1 YES 2.7 / 1.8
TRS_Standard/Secret_07_TRS/secret4.xml YES 2.2 / 1.4 YES 3.6 / 3.5
TRS_Standard/Secret_07_TRS/secret5.xml YES 11.1 / 3.7 YES 4.2 / 3.7
TRS_Standard/Strategy_removed_AG01/#4.12a.xml NO 0.5 / 0.4 NO 3.0 / 1.9
TRS_Standard/Strategy_removed_AG01/#4.13.xml . 153.8 / 59.4 NO 6.5 / 5.2
TRS_Standard/Strategy_removed_AG01/#4.14.xml NO 0.7 / 0.5 NO 3.3 / 5.6
TRS_Standard/Strategy_removed_AG01/#4.15.xml NO 1.0 / 1.4 NO 3.5 / 3.4
TRS_Standard/Strategy_removed_AG01/#4.16.xml NO 0.7 / 0.7 NO 3.5 / 4.0
TRS_Standard/Strategy_removed_AG01/#4.17.xml NO 2.1 / 1.3 NO 3.9 / 8.4
TRS_Standard/Strategy_removed_AG01/#4.18.xml NO 0.7 / 0.4 NO 2.1 / 1.5
TRS_Standard/Strategy_removed_AG01/#4.19.xml . 9.9 / 11.2 . 404.1 / 300.1
TRS_Standard/Strategy_removed_AG01/#4.2.xml NO 0.5 / 0.4 NO 3.5 / 2.1
TRS_Standard/Strategy_removed_AG01/#4.20.xml YES 0.4 / 0.3 YES 2.9 / 1.7
TRS_Standard/Strategy_removed_AG01/#4.20a.xml YES 0.5 / 0.9 YES 3.7 / 3.2
TRS_Standard/Strategy_removed_AG01/#4.21.xml YES 0.4 / 0.3 YES 3.2 / 2.2
TRS_Standard/Strategy_removed_AG01/#4.22.xml YES 0.5 / 0.5 YES 2.4 / 2.7
TRS_Standard/Strategy_removed_AG01/#4.23.xml YES 1.4 / 0.8 YES 3.3 / 4.6
TRS_Standard/Strategy_removed_AG01/#4.25.xml . 0.7 / 10.3 YES 2.7 / 4.0
TRS_Standard/Strategy_removed_AG01/#4.26.xml YES 1.3 / 0.7 YES 3.6 / 2.2
TRS_Standard/Strategy_removed_AG01/#4.27.xml YES 1.3 / 0.9 YES 2.7 / 2.4
TRS_Standard/Strategy_removed_AG01/#4.28.xml YES 1.0 / 0.7 YES 9.4 / 5.6
TRS_Standard/Strategy_removed_AG01/#4.29.xml YES 4.0 / 1.5 YES 5.0 / 4.6
TRS_Standard/Strategy_removed_AG01/#4.3.xml . 150.8 / 59.5 NO 2.7 / 1.8
TRS_Standard/Strategy_removed_AG01/#4.30.xml . 144.7 / 59.5 YES 6.8 / 4.1
TRS_Standard/Strategy_removed_AG01/#4.30a.xml YES 6.5 / 3.0 YES 3.8 / 6.7
TRS_Standard/Strategy_removed_AG01/#4.30b.xml YES 27.7 / 14.4 YES 9.6 / 6.6
TRS_Standard/Strategy_removed_AG01/#4.30c.xml YES 86.6 / 38.3 YES 13.0 / 7.1
TRS_Standard/Strategy_removed_AG01/#4.32.xml YES 0.7 / 0.4 YES 2.7 / 2.3
TRS_Standard/Strategy_removed_AG01/#4.33.xml YES 2.4 / 1.2 YES 3.4 / 2.3
TRS_Standard/Strategy_removed_AG01/#4.34.xml YES 0.9 / 0.6 YES 3.1 / 2.1
TRS_Standard/Strategy_removed_AG01/#4.35.xml YES 5.8 / 2.6 YES 5.5 / 3.6
TRS_Standard/Strategy_removed_AG01/#4.36.xml YES 4.3 / 1.9 YES 5.1 / 2.5
TRS_Standard/Strategy_removed_AG01/#4.37.xml YES 0.6 / 0.5 YES 3.0 / 2.9
TRS_Standard/Strategy_removed_AG01/#4.37a.xml YES 0.9 / 0.8 YES 2.8 / 2.3
TRS_Standard/Strategy_removed_AG01/#4.4.xml NO 0.7 / 0.5 NO 3.2 / 3.1
TRS_Standard/Strategy_removed_AG01/#4.7.xml NO 2.5 / 1.4 NO 3.2 / 2.0
S_Standard/Strategy_removed_CSR_05/Ex14_AEGL02.xml NO 0.3 / 0.3 NO 4.9 / 2.8
RS_Standard/Strategy_removed_CSR_05/Ex15_Luc98.xml NO 0.3 / 0.3 NO 5.4 / 2.9
S_Standard/Strategy_removed_CSR_05/Ex1_2_AEL03.xml NO 0.3 / 0.3 NO 5.3 / 5.7
_Standard/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml NO 0.3 / 0.3 NO 4.7 / 4.8
TRS_Standard/Strategy_removed_CSR_05/Ex1_GL02a.xml NO 0.3 / 0.3 NO 5.3 / 2.7
TRS_Standard/Strategy_removed_CSR_05/Ex1_GM03.xml NO 0.3 / 0.4 NO 3.2 / 2.2
TRS_Standard/Strategy_removed_CSR_05/Ex1_GM99.xml NO 0.5 / 0.4 NO 2.5 / 1.7
RS_Standard/Strategy_removed_CSR_05/Ex1_Luc02b.xml NO 0.3 / 0.3 NO 5.2 / 3.6
TRS_Standard/Strategy_removed_CSR_05/Ex1_Zan97.xml NO 0.5 / 0.6 NO 3.2 / 1.8
TRS_Standard/Strategy_removed_CSR_05/Ex24_GM04.xml . 0.6 / 10.3 NO 3.5 / 7.6
S_Standard/Strategy_removed_CSR_05/Ex26_Luc03b.xml NO 0.3 / 0.3 NO 5.4 / 8.7
RS_Standard/Strategy_removed_CSR_05/Ex2_Luc03b.xml NO 0.3 / 0.3 NO 5.6 / 2.9
Standard/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml NO 0.3 / 0.3 NO 4.9 / 3.4
S_Standard/Strategy_removed_CSR_05/Ex3_2_Luc97.xml NO 0.3 / 0.3 NO 4.9 / 2.4
tandard/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml NO 0.3 / 0.3 NO 6.0 / 3.0
TRS_Standard/Strategy_removed_CSR_05/Ex49_GM04.xml YES 1.2 / 0.6 YES 2.8 / 1.9
_Standard/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml NO 0.3 / 0.3 NO 2.9 / 1.9
tandard/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml NO 0.7 / 0.5 NO 5.2 / 2.8
tandard/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml NO 0.3 / 0.3 NO 5.1 / 3.3
tandard/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml NO 0.3 / 1.5 NO 4.4 / 2.3
tandard/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml NO 0.3 / 0.3 NO 3.7 / 2.2
TRS_Standard/Strategy_removed_CSR_05/Ex4_Zan97.xml NO 0.3 / 0.4 NO 4.4 / 5.0
S_Standard/Strategy_removed_CSR_05/Ex5_7_Luc97.xml NO 0.3 / 0.3 NO 4.9 / 2.6
TRS_Standard/Strategy_removed_CSR_05/Ex5_Zan97.xml NO 0.3 / 0.3 NO 4.3 / 2.4
_Standard/Strategy_removed_CSR_05/Ex6_15_AEL02.xml NO 0.3 / 0.3 NO 5.5 / 2.8
_Standard/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml NO 0.3 / 0.3 NO 5.0 / 11.4
TRS_Standard/Strategy_removed_CSR_05/Ex6_GM04.xml NO 0.3 / 0.3 NO 3.9 / 2.0
TRS_Standard/Strategy_removed_CSR_05/Ex6_Luc98.xml NO 0.3 / 0.3 NO 4.9 / 2.7
TRS_Standard/Strategy_removed_CSR_05/Ex7_BLR02.xml NO 0.3 / 0.3 NO 5.3 / 3.8
TRS_Standard/Strategy_removed_CSR_05/Ex8_BLR02.xml NO 0.3 / 0.3 NO 3.3 / 3.0
TRS_Standard/Strategy_removed_CSR_05/Ex9_BLR02.xml NO 0.3 / 0.4 NO 5.3 / 2.7
dard/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml NO 0.3 / 0.4 NO 5.6 / 4.1
_Standard/Strategy_removed_CSR_05/ExConc_Zan97.xml NO 0.3 / 0.3 NO 2.3 / 2.8
Standard/Strategy_removed_CSR_05/ExIntrod_GM01.xml NO 0.3 / 0.3 NO 4.6 / 2.3
Standard/Strategy_removed_CSR_05/ExIntrod_GM04.xml NO 0.3 / 0.6 NO 4.6 / 2.6
Standard/Strategy_removed_CSR_05/ExIntrod_GM99.xml NO 0.3 / 0.7 NO 6.8 / 4.6
tandard/Strategy_removed_CSR_05/ExIntrod_Zan97.xml NO 0.3 / 0.3 NO 6.7 / 3.9
ard/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml NO 0.3 / 0.3 NO 6.2 / 5.2
TRS_Standard/Strategy_removed_mixed_05/bn111.xml . 4.7 / 10.3 YES 27.9 / 15.9
TRS_Standard/Strategy_removed_mixed_05/ex1.xml NO 0.3 / 0.3 NO 6.3 / 3.8
TRS_Standard/Strategy_removed_mixed_05/ex2.xml NO 0.3 / 0.3 NO 4.6 / 3.5
TRS_Standard/Strategy_removed_mixed_05/ex3.xml NO 0.3 / 0.3 NO 6.9 / 10.6
TRS_Standard/Strategy_removed_mixed_05/ex4.xml NO 0.7 / 0.6 NO 4.9 / 2.9
TRS_Standard/Strategy_removed_mixed_05/ex5.xml NO 0.3 / 0.3 NO 5.0 / 3.1
TRS_Standard/Strategy_removed_mixed_05/ex6.xml NO 1.0 / 0.5 NO 3.8 / 3.1
TRS_Standard/Strategy_removed_mixed_05/gkg.xml NO 0.6 / 0.4 NO 2.8 / 2.0
TRS_Standard/Strategy_removed_mixed_05/muladd.xml NO 0.7 / 0.5 NO 2.9 / 1.9
TRS_Standard/Strategy_removed_mixed_05/n001.xml NO 0.8 / 0.5 NO 2.3 / 1.7
TRS_Standard/Strategy_removed_mixed_05/test10.xml NO 1.2 / 1.0 NO 13.9 / 12.5
TRS_Standard/Strategy_removed_mixed_05/test75.xml NO 0.6 / 0.4 NO 3.1 / 2.6
TRS_Standard/Strategy_removed_mixed_05/test76.xml . 121.9 / 59.6 NO 6.8 / 3.6
TRS_Standard/Strategy_removed_mixed_05/test77.xml . 116.2 / 59.4 NO 11.5 / 8.1
TRS_Standard/Strategy_removed_mixed_05/test830.xml YES 0.5 / 0.4 YES 2.9 / 2.3
TRS_Standard/Strategy_removed_mixed_05/test9.xml NO 0.5 / 0.4 NO 3.4 / 3.1
TRS_Standard/Strategy_removed_mixed_05/toyama.xml . 117.4 / 60.0 NO 2.6 / 1.7
TRS_Standard/Strategy_removed_mixed_05/tricky1.xml YES 0.7 / 0.5 YES 2.5 / 1.7
TRS_Standard/TCT_12/polycounter-10.xml YES 0.7 / 1.1 YES 4.5 / 3.7
TRS_Standard/TCT_12/polycounter-5.xml YES 0.4 / 0.4 YES 2.6 / 1.7
TRS_Standard/TCT_12/recursion-10.xml YES 1.6 / 0.8 YES 3.5 / 3.2
TRS_Standard/TCT_12/recursion-5.xml YES 1.0 / 0.9 YES 3.2 / 3.8
TRS_Standard/TCT_12/sat.xml YES 1.3 / 1.2 YES 3.5 / 3.2
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_C.xml YES 20.2 / 6.8 YES 97.4 / 52.0
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_FR.xml . 139.6 / 59.6 NO 19.3 / 12.3
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_GM.xml YES 2.1 / 1.2 YES 3.9 / 3.7
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_L.xml NO 0.4 / 0.3 NO 8.0 / 12.8
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_Z.xml NO 2.2 / 0.9 NO 9.2 / 7.4
RS_Standard/Transformed_CSR_04/Ex14_AEGL02_iGM.xml YES 18.3 / 6.1 YES 12.7 / 6.7
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_C.xml . 172.3 / 59.4 . 578.0 / 300.1
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_FR.xml NO 0.6 / 0.6 NO 4.4 / 2.9
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_GM.xml NO 1.5 / 0.7 . 564.2 / 300.0
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_L.xml NO 0.4 / 0.3 NO 4.6 / 2.2
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_iGM.xml . 220.1 / 59.5 . 743.5 / 300.0
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_C.xml YES 2.4 / 1.2 YES 23.9 / 27.1
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_FR.xml YES 0.7 / 0.4 YES 5.8 / 2.4
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_GM.xml YES 0.5 / 0.5 YES 8.9 / 13.0
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_L.xml NO 0.3 / 0.3 NO 3.4 / 1.9
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_Z.xml YES 0.6 / 0.9 YES 5.8 / 9.0
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_iGM.xml YES 0.9 / 0.5 YES 16.0 / 9.1
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_C.xml YES 10.6 / 5.2 YES 9.7 / 4.2
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_FR.xml YES 9.8 / 5.8 YES 12.6 / 6.3
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_GM.xml YES 1.6 / 0.7 YES 3.3 / 1.9
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_L.xml NO 0.3 / 0.3 NO 2.2 / 1.6
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_Z.xml YES 1.7 / 0.9 YES 3.1 / 2.6
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_iGM.xml YES 20.2 / 6.9 YES 9.8 / 6.0
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_C.xml . 128.3 / 59.6 YES 97.1 / 57.2
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_FR.xml YES 0.4 / 0.3 YES 2.4 / 1.6
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_GM.xml YES 0.7 / 0.5 YES 3.0 / 1.9
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_L.xml NO 0.3 / 0.3 NO 6.5 / 8.7
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_iGM.xml . 26.0 / 20.4 YES 8.7 / 8.9
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_C.xml YES 1.8 / 2.5 YES 25.3 / 19.6
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_FR.xml YES 0.6 / 0.5 YES 6.1 / 3.2
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_GM.xml YES 0.5 / 0.7 YES 4.5 / 2.3
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_L.xml YES 0.3 / 0.4 YES 2.2 / 1.5
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_Z.xml YES 0.4 / 1.0 YES 2.7 / 2.2
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_iGM.xml YES 0.9 / 1.0 YES 16.3 / 10.1
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_C.xml . 170.1 / 60.0 . 705.1 / 300.0
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_FR.xml YES 1.5 / 1.9 YES 3.7 / 2.6
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_GM.xml . 112.8 / 59.6 YES 137.5 / 65.5
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_L.xml NO 0.3 / 0.3 NO 2.4 / 2.3
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_Z.xml YES 1.3 / 0.7 YES 3.0 / 1.9
RS_Standard/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml . 173.1 / 59.5 YES 91.0 / 30.2
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_C.xml YES 2.7 / 2.3 YES 4.3 / 3.0
RS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml YES 0.9 / 2.1 YES 3.0 / 4.2
RS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml YES 2.9 / 1.3 YES 7.3 / 3.7
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_L.xml NO 0.3 / 0.3 NO 2.1 / 1.8
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml YES 0.6 / 1.6 YES 2.9 / 7.5
S_Standard/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml YES 2.8 / 1.4 YES 14.2 / 5.2
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_C.xml YES 36.4 / 16.1 YES 20.5 / 7.7
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_FR.xml . 172.9 / 59.5 NO 368.7 / 186.4
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_GM.xml YES 1.1 / 0.6 YES 3.3 / 2.0
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_L.xml NO 0.3 / 0.3 NO 3.7 / 2.3
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_Z.xml . 195.1 / 59.5 NO 42.1 / 22.0
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_iGM.xml YES 13.9 / 5.4 YES 17.6 / 9.0
TRS_Standard/Transformed_CSR_04/Ex1_GM03_C.xml . 192.6 / 59.7 . 743.4 / 300.0
TRS_Standard/Transformed_CSR_04/Ex1_GM03_FR.xml . 90.8 / 60.2 . 584.0 / 300.0
TRS_Standard/Transformed_CSR_04/Ex1_GM03_GM.xml . 139.9 / 59.4 . 866.4 / 300.1
TRS_Standard/Transformed_CSR_04/Ex1_GM03_L.xml NO 0.3 / 0.3 NO 2.2 / 2.4
TRS_Standard/Transformed_CSR_04/Ex1_GM03_Z.xml NO 0.3 / 0.3 NO 3.1 / 1.9
TRS_Standard/Transformed_CSR_04/Ex1_GM03_iGM.xml . 132.8 / 59.8 . 759.2 / 300.1
TRS_Standard/Transformed_CSR_04/Ex1_GM99_C.xml . 196.8 / 59.5 YES 105.8 / 55.5
TRS_Standard/Transformed_CSR_04/Ex1_GM99_FR.xml NO 0.6 / 0.5 NO 2.7 / 1.8
TRS_Standard/Transformed_CSR_04/Ex1_GM99_GM.xml . 115.4 / 59.4 NO 7.2 / 4.4
TRS_Standard/Transformed_CSR_04/Ex1_GM99_L.xml NO 0.3 / 0.3 NO 4.7 / 2.5
TRS_Standard/Transformed_CSR_04/Ex1_GM99_iGM.xml . 116.6 / 59.4 NO 21.4 / 20.8
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_C.xml . 148.1 / 59.7 . 684.2 / 300.1
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_FR.xml YES 5.5 / 4.9 YES 4.8 / 2.6
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_GM.xml . 218.2 / 59.5 . 599.9 / 300.0
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_L.xml NO 0.3 / 0.3 NO 2.2 / 1.6
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_Z.xml YES 0.9 / 2.2 YES 3.3 / 3.3
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_iGM.xml . 171.3 / 59.5 . 674.1 / 300.0
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_C.xml . 171.5 / 59.7 YES 8.0 / 3.1
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_FR.xml NO 2.2 / 1.9 NO 13.5 / 9.8
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_GM.xml YES 6.8 / 2.1 YES 7.9 / 13.3
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_L.xml NO 0.3 / 0.3 NO 2.0 / 2.0
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_Z.xml NO 0.3 / 0.3 NO 5.3 / 3.2
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_iGM.xml YES 21.1 / 8.8 YES 11.4 / 18.3
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_C.xml YES 2.0 / 0.9 YES 29.5 / 10.7
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_FR.xml NO 1.1 / 0.7 NO 7.5 / 3.7
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_GM.xml YES 0.5 / 0.8 YES 3.5 / 1.8
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_L.xml NO 0.5 / 0.4 NO 9.1 / 7.8
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_iGM.xml YES 1.1 / 2.0 YES 4.4 / 2.8
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_C.xml YES 3.5 / 1.4 YES 28.2 / 14.4
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_FR.xml YES 1.0 / 0.9 YES 7.4 / 8.2
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_GM.xml YES 0.6 / 0.7 YES 5.6 / 4.4
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_L.xml YES 0.3 / 0.3 YES 2.5 / 2.6
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_Z.xml YES 0.4 / 0.3 YES 2.8 / 1.7
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_iGM.xml YES 1.0 / 0.7 YES 12.0 / 7.3
TRS_Standard/Transformed_CSR_04/Ex24_GM04_C.xml . 176.1 / 59.7 . 622.5 / 300.1
TRS_Standard/Transformed_CSR_04/Ex24_GM04_FR.xml . 3.2 / 10.6 . 217.5 / 183.9
TRS_Standard/Transformed_CSR_04/Ex24_GM04_GM.xml . 0.9 / 10.3 NO 39.7 / 27.2
TRS_Standard/Transformed_CSR_04/Ex24_GM04_L.xml NO 0.3 / 0.3 NO 6.5 / 3.9
TRS_Standard/Transformed_CSR_04/Ex24_GM04_Z.xml NO 2.0 / 0.9 NO 23.2 / 13.7
TRS_Standard/Transformed_CSR_04/Ex24_GM04_iGM.xml . 57.3 / 25.3 . 523.4 / 300.1
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_C.xml YES 13.0 / 5.2 YES 68.6 / 44.1
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_FR.xml NO 0.7 / 0.5 NO 3.1 / 2.0
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_GM.xml NO 0.8 / 0.5 NO 3.9 / 6.3
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_L.xml NO 0.3 / 0.3 NO 4.0 / 2.0
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_iGM.xml . 192.8 / 59.5 NO 12.5 / 5.6
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_C.xml YES 21.8 / 7.9 YES 25.2 / 18.2
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_FR.xml YES 7.9 / 4.3 YES 20.8 / 15.5
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_GM.xml YES 2.8 / 1.1 YES 13.6 / 8.5
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_L.xml YES 0.4 / 0.4 YES 2.6 / 6.2
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_Z.xml YES 2.1 / 1.1 YES 4.0 / 3.3
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_iGM.xml YES 11.8 / 4.7 YES 71.2 / 28.6
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_C.xml YES 19.5 / 7.6 YES 13.9 / 5.6
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_FR.xml . 151.8 / 59.4 YES 15.1 / 10.6
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_GM.xml YES 10.1 / 3.7 YES 5.8 / 3.4
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_L.xml YES 0.7 / 0.7 YES 2.4 / 1.6
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_Z.xml YES 8.1 / 4.9 YES 10.1 / 15.5
RS_Standard/Transformed_CSR_04/Ex26_Luc03b_iGM.xml YES 28.3 / 9.2 YES 20.1 / 14.3
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_C.xml . 180.8 / 59.6 YES 12.7 / 17.1
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_FR.xml YES 8.7 / 3.3 YES 3.9 / 3.0
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_GM.xml . 182.3 / 59.5 YES 7.2 / 3.9
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_L.xml YES 0.8 / 0.6 YES 2.5 / 1.6
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_Z.xml YES 1.2 / 0.8 YES 3.2 / 4.4
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_iGM.xml . 197.9 / 59.6 YES 16.2 / 8.4
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_C.xml YES 10.3 / 4.7 YES 11.5 / 10.4
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_FR.xml YES 15.1 / 5.3 YES 6.8 / 6.1
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_GM.xml YES 4.7 / 4.5 YES 7.5 / 5.0
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_L.xml YES 0.4 / 0.3 YES 2.7 / 2.1
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_Z.xml YES 1.1 / 1.1 YES 4.0 / 6.6
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_iGM.xml YES 10.9 / 5.0 YES 9.6 / 3.7
RS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_C.xml . 162.7 / 60.0 . 569.0 / 300.1
S_Standard/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml YES 0.6 / 0.5 YES 2.4 / 1.6
S_Standard/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml . 136.9 / 59.5 . 687.9 / 300.0
RS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_L.xml NO 0.3 / 0.3 NO 2.3 / 5.4
RS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml YES 0.6 / 0.4 YES 2.5 / 1.6
_Standard/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml . 144.4 / 59.5 . 771.0 / 300.1
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_C.xml . 137.2 / 59.6 . 618.6 / 300.1
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_FR.xml . 113.0 / 59.7 . 392.9 / 300.0
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_GM.xml . 132.3 / 59.4 . 575.8 / 300.1
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_L.xml NO 0.3 / 0.6 NO 2.1 / 1.5
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_Z.xml . 187.4 / 59.5 . 396.5 / 300.0
RS_Standard/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml . 110.1 / 59.8 . 531.4 / 300.1
S_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml YES 11.1 / 4.2 YES 10.7 / 11.0
_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml . 149.9 / 59.5 NO 76.9 / 51.5
_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml YES 18.6 / 8.0 YES 5.1 / 2.6
S_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml YES 0.5 / 0.4 YES 2.2 / 1.6
S_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml NO 0.3 / 0.3 NO 4.2 / 2.3
Standard/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml YES 8.2 / 3.9 YES 13.2 / 5.9
TRS_Standard/Transformed_CSR_04/Ex49_GM04_C.xml YES 37.0 / 18.1 YES 9.6 / 7.5
TRS_Standard/Transformed_CSR_04/Ex49_GM04_FR.xml . 96.9 / 59.5 YES 14.4 / 8.0
TRS_Standard/Transformed_CSR_04/Ex49_GM04_GM.xml YES 18.9 / 6.7 YES 5.1 / 5.7
TRS_Standard/Transformed_CSR_04/Ex49_GM04_L.xml NO 0.3 / 0.3 NO 2.2 / 2.1
TRS_Standard/Transformed_CSR_04/Ex49_GM04_Z.xml YES 2.5 / 4.2 YES 4.1 / 4.1
TRS_Standard/Transformed_CSR_04/Ex49_GM04_iGM.xml YES 23.3 / 10.9 YES 15.8 / 5.6
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_C.xml YES 1.9 / 1.8 YES 3.1 / 1.9
RS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml NO 1.0 / 0.8 NO 11.1 / 6.1
RS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml YES 2.0 / 0.9 YES 3.9 / 3.7
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_L.xml YES 0.9 / 1.0 YES 2.1 / 1.5
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml NO 0.8 / 0.6 NO 3.8 / 2.5
S_Standard/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml YES 1.6 / 0.8 YES 3.4 / 2.5
S_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml YES 16.3 / 5.6 YES 43.9 / 29.5
_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml YES 0.7 / 0.5 YES 3.4 / 2.1
_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml YES 1.0 / 0.6 YES 3.5 / 2.0
S_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml YES 0.4 / 0.4 YES 2.6 / 1.8
S_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml YES 0.6 / 0.7 YES 3.1 / 2.2
Standard/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml YES 8.6 / 5.4 YES 8.9 / 10.2
S_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml . 189.6 / 59.5 . 800.9 / 300.1
_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml YES 7.9 / 3.4 YES 4.3 / 3.0
_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml . 138.1 / 59.6 . 629.3 / 300.1
S_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml NO 0.3 / 0.4 NO 2.3 / 1.8
S_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml YES 2.1 / 1.2 YES 3.1 / 2.4
Standard/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml . 190.2 / 59.6 . 658.0 / 300.0
S_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml . 163.3 / 59.6 . 711.8 / 300.1
_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml YES 0.7 / 0.5 YES 2.6 / 2.3
_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml YES 5.8 / 2.1 YES 15.7 / 5.5
S_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml NO 0.3 / 0.3 NO 2.3 / 2.1
S_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml YES 0.6 / 0.4 YES 2.9 / 2.5
Standard/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml YES 20.5 / 8.8 YES 19.1 / 9.9
S_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml YES 3.3 / 1.2 YES 5.7 / 10.1
_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml YES 0.4 / 0.4 YES 2.7 / 2.5
_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml YES 0.8 / 0.5 YES 2.6 / 1.9
S_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml NO 0.3 / 0.3 NO 2.3 / 1.6
Standard/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml YES 1.2 / 2.1 YES 3.3 / 1.8
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_C.xml . 170.2 / 59.8 . 708.7 / 300.1
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_FR.xml NO 7.4 / 3.3 NO 46.3 / 17.6
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_GM.xml . 190.0 / 59.5 YES 43.8 / 40.6
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_L.xml NO 0.3 / 0.6 NO 2.0 / 1.5
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_Z.xml NO 8.2 / 3.5 NO 44.7 / 16.1
RS_Standard/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml . 135.2 / 59.6 YES 84.5 / 40.2
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_C.xml . 170.0 / 59.6 . 601.3 / 300.0
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_FR.xml YES 0.8 / 0.5 YES 2.7 / 1.7
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_GM.xml . 173.3 / 59.4 . 963.2 / 300.1
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_L.xml NO 0.3 / 0.3 NO 2.3 / 2.8
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_Z.xml YES 0.7 / 0.5 YES 2.7 / 1.7
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_iGM.xml . 167.4 / 59.5 . 648.1 / 300.0
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_C.xml . 168.3 / 59.9 . 858.5 / 300.1
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_FR.xml . 146.0 / 59.4 . 858.4 / 300.0
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_GM.xml . 175.7 / 59.6 . 842.7 / 300.0
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_L.xml NO 0.3 / 0.3 NO 2.2 / 1.6
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_Z.xml . 127.1 / 59.7 . 774.5 / 300.0
RS_Standard/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml . 174.5 / 59.8 . 687.2 / 300.1
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_C.xml . 177.8 / 59.7 YES 19.3 / 15.4
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_FR.xml . 137.9 / 59.8 NO 34.4 / 41.2
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_GM.xml YES 29.2 / 10.3 YES 12.1 / 9.6
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_L.xml NO 0.3 / 0.5 NO 2.3 / 2.0
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_Z.xml NO 2.0 / 2.2 NO 10.1 / 7.5
RS_Standard/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml YES 185.0 / 57.2 YES 24.5 / 12.2
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_C.xml YES 6.7 / 3.1 YES 5.8 / 5.3
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_FR.xml YES 0.7 / 1.9 YES 2.9 / 2.5
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_GM.xml YES 1.3 / 0.6 YES 3.3 / 1.9
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_L.xml NO 0.3 / 0.3 NO 2.2 / 6.0
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_Z.xml YES 0.4 / 0.6 YES 2.2 / 1.5
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_iGM.xml YES 2.4 / 3.4 YES 5.8 / 3.5
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_C.xml . 168.0 / 59.7 . 717.5 / 300.1
RS_Standard/Transformed_CSR_04/Ex6_15_AEL02_FR.xml . 107.2 / 59.6 . 535.1 / 300.1
RS_Standard/Transformed_CSR_04/Ex6_15_AEL02_GM.xml . 198.2 / 59.5 . 1113.4 / 300.0
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_L.xml NO 0.3 / 0.3 NO 2.1 / 1.6
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_Z.xml NO 33.0 / 13.4 NO 20.6 / 16.3
S_Standard/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml . 185.1 / 59.6 . 683.9 / 300.0
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_C.xml YES 2.4 / 1.6 YES 3.4 / 2.4
RS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml YES 0.9 / 0.6 YES 2.7 / 1.8
RS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml YES 6.0 / 3.8 YES 9.4 / 5.8
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_L.xml NO 0.3 / 0.3 NO 2.0 / 2.0
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml YES 0.8 / 2.2 YES 2.7 / 1.9
S_Standard/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml YES 75.5 / 36.3 YES 34.4 / 24.3
TRS_Standard/Transformed_CSR_04/Ex6_GM04_C.xml YES 1.8 / 0.8 YES 19.6 / 18.5
TRS_Standard/Transformed_CSR_04/Ex6_GM04_FR.xml NO 1.1 / 0.9 NO 12.6 / 17.2
TRS_Standard/Transformed_CSR_04/Ex6_GM04_GM.xml YES 0.4 / 0.4 YES 3.8 / 7.5
TRS_Standard/Transformed_CSR_04/Ex6_GM04_L.xml YES 0.3 / 0.5 YES 2.5 / 5.5
TRS_Standard/Transformed_CSR_04/Ex6_GM04_iGM.xml YES 1.2 / 0.7 YES 4.8 / 2.8
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_C.xml YES 7.5 / 2.7 YES 7.2 / 3.0
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_FR.xml YES 3.8 / 2.8 YES 4.6 / 3.6
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_GM.xml YES 6.8 / 4.1 YES 4.6 / 6.6
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_L.xml YES 0.7 / 1.0 YES 2.3 / 1.6
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_Z.xml YES 0.6 / 0.4 YES 3.2 / 2.1
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_iGM.xml YES 7.5 / 4.0 YES 6.4 / 3.2
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_C.xml . 151.2 / 59.6 . 603.9 / 300.1
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_FR.xml YES 3.0 / 1.4 YES 5.2 / 3.2
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_GM.xml . 134.0 / 59.7 . 643.9 / 300.1
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_L.xml NO 0.3 / 0.3 NO 2.2 / 2.2
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_Z.xml YES 1.1 / 0.8 YES 2.7 / 1.7
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_iGM.xml . 166.1 / 59.6 . 662.1 / 300.1
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_C.xml . 209.1 / 59.5 . 638.4 / 300.1
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_FR.xml YES 1.0 / 0.9 YES 2.8 / 1.8
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_GM.xml . 118.8 / 59.5 . 816.7 / 300.0
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_L.xml NO 0.3 / 0.3 NO 2.2 / 2.1
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_Z.xml YES 1.0 / 0.6 YES 2.6 / 1.8
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_iGM.xml . 142.7 / 59.7 . 638.7 / 300.1
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_C.xml YES 17.4 / 6.2 YES 11.1 / 5.6
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_FR.xml YES 12.0 / 5.1 YES 16.6 / 10.9
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_GM.xml YES 12.6 / 4.1 YES 6.2 / 4.0
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_L.xml YES 0.6 / 0.5 YES 2.2 / 1.5
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_Z.xml YES 3.8 / 2.2 YES 4.7 / 4.0
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_iGM.xml YES 40.8 / 16.5 YES 16.6 / 11.9
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_C.xml . 151.1 / 59.6 . 685.6 / 300.1
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_FR.xml NO 0.6 / 1.1 NO 2.6 / 1.7
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_GM.xml . 126.0 / 59.4 NO 9.6 / 7.8
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_L.xml NO 0.5 / 0.5 NO 3.0 / 2.0
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_iGM.xml . 140.6 / 59.3 NO 285.1 / 155.0
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_C.xml YES 2.2 / 1.0 YES 48.1 / 21.1
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_FR.xml NO 1.1 / 0.8 NO 3.0 / 2.4
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_GM.xml YES 0.5 / 0.4 YES 3.0 / 1.7
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_iGM.xml YES 2.9 / 1.5 YES 4.6 / 3.8
tandard/Transformed_CSR_04/ExAppendixB_AEL03_C.xml . 185.7 / 59.6 . 860.4 / 300.1
andard/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml YES 1.5 / 0.7 YES 3.5 / 5.8
andard/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml . 192.5 / 59.6 YES 141.0 / 77.1
tandard/Transformed_CSR_04/ExAppendixB_AEL03_L.xml NO 0.3 / 0.3 NO 2.3 / 2.7
tandard/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml YES 1.5 / 1.0 YES 3.2 / 2.1
ndard/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml . 141.6 / 59.5 YES 139.6 / 66.1
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_C.xml YES 4.3 / 1.6 YES 34.5 / 13.5
RS_Standard/Transformed_CSR_04/ExConc_Zan97_FR.xml YES 1.5 / 0.6 YES 8.6 / 4.4
RS_Standard/Transformed_CSR_04/ExConc_Zan97_GM.xml YES 2.0 / 1.0 YES 14.5 / 19.5
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_L.xml YES 0.3 / 0.3 YES 2.2 / 1.6
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_Z.xml NO 0.3 / 0.3 NO 2.0 / 1.5
S_Standard/Transformed_CSR_04/ExConc_Zan97_iGM.xml YES 9.9 / 4.9 YES 34.5 / 16.6
RS_Standard/Transformed_CSR_04/ExIntrod_GM01_C.xml . 142.7 / 59.6 YES 13.1 / 10.0
S_Standard/Transformed_CSR_04/ExIntrod_GM01_FR.xml NO 4.4 / 1.8 NO 28.3 / 16.4
S_Standard/Transformed_CSR_04/ExIntrod_GM01_GM.xml YES 11.0 / 4.7 YES 9.0 / 15.0
RS_Standard/Transformed_CSR_04/ExIntrod_GM01_L.xml NO 0.3 / 0.3 NO 2.2 / 1.7
RS_Standard/Transformed_CSR_04/ExIntrod_GM01_Z.xml NO 3.3 / 1.4 NO 19.6 / 22.3
_Standard/Transformed_CSR_04/ExIntrod_GM01_iGM.xml YES 57.6 / 20.3 YES 17.8 / 9.5
RS_Standard/Transformed_CSR_04/ExIntrod_GM04_C.xml YES 11.5 / 5.1 YES 10.3 / 5.3
S_Standard/Transformed_CSR_04/ExIntrod_GM04_FR.xml NO 133.7 / 44.4 NO 26.2 / 12.6
S_Standard/Transformed_CSR_04/ExIntrod_GM04_GM.xml YES 1.4 / 0.8 YES 4.5 / 2.4
RS_Standard/Transformed_CSR_04/ExIntrod_GM04_L.xml NO 0.3 / 0.3 NO 2.3 / 1.7
RS_Standard/Transformed_CSR_04/ExIntrod_GM04_Z.xml NO 2.9 / 3.4 NO 20.2 / 10.0
_Standard/Transformed_CSR_04/ExIntrod_GM04_iGM.xml YES 6.5 / 2.7 YES 18.2 / 13.1
RS_Standard/Transformed_CSR_04/ExIntrod_GM99_C.xml . 166.6 / 59.5 . 591.5 / 300.2
S_Standard/Transformed_CSR_04/ExIntrod_GM99_FR.xml . 195.5 / 59.5 . 545.1 / 300.1
S_Standard/Transformed_CSR_04/ExIntrod_GM99_GM.xml . 142.6 / 59.6 YES 82.4 / 31.3
RS_Standard/Transformed_CSR_04/ExIntrod_GM99_L.xml NO 0.3 / 0.3 NO 2.2 / 1.7
RS_Standard/Transformed_CSR_04/ExIntrod_GM99_Z.xml NO 2.8 / 1.4 NO 13.8 / 9.3
_Standard/Transformed_CSR_04/ExIntrod_GM99_iGM.xml . 147.4 / 59.6 . 682.0 / 300.0
S_Standard/Transformed_CSR_04/ExIntrod_Zan97_C.xml . 137.7 / 60.3 . 598.9 / 300.1
_Standard/Transformed_CSR_04/ExIntrod_Zan97_FR.xml . 142.6 / 59.9 . 388.2 / 300.1
_Standard/Transformed_CSR_04/ExIntrod_Zan97_GM.xml . 122.4 / 59.9 . 593.5 / 300.1
S_Standard/Transformed_CSR_04/ExIntrod_Zan97_L.xml NO 0.3 / 0.3 NO 2.1 / 1.5
S_Standard/Transformed_CSR_04/ExIntrod_Zan97_Z.xml NO 0.3 / 0.6 NO 5.5 / 2.8
Standard/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml . 141.0 / 59.6 . 613.1 / 300.1
RS_Standard/Transformed_CSR_04/ExProp7_Luc06_C.xml YES 18.4 / 7.1 YES 31.2 / 18.7
S_Standard/Transformed_CSR_04/ExProp7_Luc06_FR.xml YES 0.7 / 0.5 YES 3.3 / 2.0
S_Standard/Transformed_CSR_04/ExProp7_Luc06_GM.xml YES 1.4 / 0.7 YES 4.4 / 2.6
RS_Standard/Transformed_CSR_04/ExProp7_Luc06_L.xml YES 0.5 / 1.8 YES 2.9 / 2.7
RS_Standard/Transformed_CSR_04/ExProp7_Luc06_Z.xml YES 0.6 / 0.6 YES 3.2 / 3.0
_Standard/Transformed_CSR_04/ExProp7_Luc06_iGM.xml YES 7.5 / 2.8 YES 13.5 / 16.5
Standard/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml . 253.7 / 59.7 YES 16.4 / 6.6
tandard/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml YES 7.4 / 2.5 YES 3.9 / 2.2
tandard/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml . 138.0 / 59.5 YES 8.4 / 8.4
Standard/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml YES 1.1 / 1.6 YES 2.8 / 3.2
Standard/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml YES 1.4 / 1.0 YES 3.5 / 8.7
andard/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml . 121.8 / 59.7 YES 19.5 / 7.9
Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml . 170.9 / 59.8 . 852.8 / 300.0
tandard/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml YES 1.8 / 1.3 YES 3.0 / 1.9
tandard/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml . 183.2 / 59.5 . 614.9 / 300.0
Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml NO 0.3 / 0.3 NO 2.3 / 1.6
Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml YES 1.3 / 1.5 YES 3.1 / 1.9
andard/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml . 202.8 / 59.6 . 630.6 / 300.1
sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml . 164.0 / 60.7 . 591.5 / 300.0
nsformed_CSR_04/LISTUTILITIES_complete-noand_L.xml NO 0.4 / 0.4 NO 2.3 / 1.6
nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml . 175.9 / 60.0 . 718.1 / 300.0
rd/Transformed_CSR_04/LISTUTILITIES_complete_C.xml . 168.4 / 60.3 . 545.5 / 300.0
d/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml . 208.9 / 59.8 . 640.9 / 300.0
d/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml . 142.0 / 60.1 . 437.6 / 300.0
rd/Transformed_CSR_04/LISTUTILITIES_complete_L.xml NO 0.3 / 0.3 NO 2.4 / 2.4
rd/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml . 191.5 / 59.7 . 730.7 / 300.1
/Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml . 204.8 / 60.1 . 516.5 / 300.0
nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml . 68.1 / 60.9 . 300.5 / 300.0
sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml . 178.1 / 60.6 . 495.8 / 300.0
formed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml . 140.0 / 60.7 . 491.6 / 300.1
nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml . 182.8 / 59.8 . 576.9 / 300.0
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml NO 0.3 / 0.3 NO 2.5 / 2.8
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml . 173.6 / 59.7 . 710.9 / 300.0
ard/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml . 180.8 / 59.9 . 581.0 / 300.0
rd/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml . 140.3 / 59.9 . 906.6 / 300.0
rd/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml . 196.8 / 59.6 . 618.4 / 300.0
ard/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml NO 0.3 / 1.1 NO 2.4 / 2.5
ard/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml . 178.9 / 59.7 . 831.3 / 300.1
d/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml . 209.3 / 60.0 . 461.1 / 300.1
ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml . 189.1 / 60.1 . 701.6 / 300.0
nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml . 146.6 / 59.9 . 549.0 / 300.0
sformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml . 193.2 / 60.1 . 526.9 / 300.0
nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml YES 4.2 / 2.4 YES 5.9 / 4.9
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml NO 0.3 / 0.3 NO 2.0 / 1.5
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml YES 3.0 / 3.4 YES 5.2 / 2.8
ard/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml . 116.9 / 60.5 . 668.1 / 300.1
rd/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml YES 2.4 / 1.6 YES 3.8 / 2.2
rd/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml . 125.7 / 60.3 . 680.7 / 300.1
ard/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml NO 0.3 / 0.3 NO 2.2 / 1.7
ard/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml YES 2.0 / 1.0 YES 3.0 / 1.9
d/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml . 163.7 / 59.7 . 604.8 / 300.0
ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml . 140.4 / 60.3 . 683.8 / 300.1
nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml . 199.8 / 59.7 . 466.4 / 300.0
sformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml . 184.3 / 61.2 . 566.7 / 300.0
d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml . 143.7 / 59.7 . 723.0 / 300.0
ed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml NO 0.3 / 0.3 NO 2.2 / 2.0
ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml . 196.9 / 59.7 . 753.2 / 300.0
nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml . 184.2 / 59.7 . 704.6 / 300.0
sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml . 211.1 / 59.7 . 706.8 / 300.0
sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml YES 84.5 / 30.1 YES 26.9 / 16.4
nsformed_CSR_04/LengthOfFiniteLists_complete_L.xml NO 0.3 / 0.3 NO 2.0 / 1.5
nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml . 214.5 / 59.7 . 887.5 / 300.0
formed_CSR_04/LengthOfFiniteLists_complete_iGM.xml . 183.2 / 59.8 . 573.1 / 300.0
ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml . 133.9 / 60.0 . 665.0 / 300.1
d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml YES 178.6 / 69.2 YES 28.6 / 20.3
_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml . 199.2 / 59.8 YES 419.6 / 230.1
ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml . 134.7 / 59.4 NO 109.6 / 62.4
med_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml NO 0.3 / 0.6 NO 2.2 / 1.7
med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml . 134.4 / 59.4 NO 74.4 / 42.9
ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml . 176.7 / 59.6 . 606.8 / 300.1
nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml . 129.8 / 60.1 NO 85.5 / 66.3
nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml YES 40.3 / 16.5 YES 8.4 / 13.0
ansformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml NO 0.3 / 0.9 NO 2.3 / 4.6
ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml . 179.7 / 59.6 NO 80.1 / 38.3
sformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml . 164.0 / 59.6 YES 186.1 / 102.6
med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml . 171.1 / 59.9 . 725.7 / 300.0
ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml YES 40.9 / 16.5 YES 10.6 / 4.7
d_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml . 199.0 / 59.7 YES 73.8 / 25.0
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml NO 1.2 / 1.2 NO 5.6 / 4.7
med_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml NO 0.3 / 0.3 NO 2.3 / 5.3
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml . 153.3 / 59.8 . 752.0 / 300.1
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml NO 1.8 / 1.6 NO 4.2 / 3.0
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml NO 1.7 / 2.6 NO 4.7 / 11.2
ansformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml NO 0.3 / 0.3 NO 2.0 / 1.4
sformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml NO 13.1 / 4.1 NO 42.1 / 20.4
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml . 200.6 / 59.5 . 563.6 / 300.1
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml NO 6.3 / 4.0 NO 12.5 / 13.0
d_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml . 199.4 / 59.6 . 706.7 / 300.1
ard/Transformed_CSR_04/MYNAT_complete-noand_FR.xml . 183.7 / 59.7 YES 48.2 / 15.7
dard/Transformed_CSR_04/MYNAT_complete-noand_L.xml NO 0.3 / 1.0 NO 2.2 / 2.3
dard/Transformed_CSR_04/MYNAT_complete-noand_Z.xml . 196.2 / 59.7 YES 49.3 / 17.4
S_Standard/Transformed_CSR_04/MYNAT_complete_C.xml . 177.4 / 59.7 YES 18.3 / 10.0
_Standard/Transformed_CSR_04/MYNAT_complete_FR.xml . 212.4 / 59.5 YES 4.8 / 2.9
_Standard/Transformed_CSR_04/MYNAT_complete_GM.xml . 167.5 / 59.7 YES 6.2 / 4.3
S_Standard/Transformed_CSR_04/MYNAT_complete_L.xml NO 0.3 / 0.3 NO 2.2 / 2.0
S_Standard/Transformed_CSR_04/MYNAT_complete_Z.xml . 192.1 / 59.6 YES 5.1 / 6.3
Standard/Transformed_CSR_04/MYNAT_complete_iGM.xml . 207.2 / 59.6 YES 10.0 / 4.5
dard/Transformed_CSR_04/MYNAT_complete_noand_C.xml . 207.0 / 59.8 . 562.1 / 300.0
ard/Transformed_CSR_04/MYNAT_complete_noand_GM.xml . 218.2 / 59.7 YES 36.1 / 17.4
rd/Transformed_CSR_04/MYNAT_complete_noand_iGM.xml . 205.2 / 60.0 . 646.8 / 300.0
dard/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml . 148.9 / 59.6 YES 11.7 / 7.1
ndard/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml NO 0.3 / 0.3 NO 2.3 / 2.7
ndard/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml . 136.4 / 59.4 YES 10.7 / 3.9
RS_Standard/Transformed_CSR_04/MYNAT_nokinds_C.xml . 154.6 / 59.9 YES 6.2 / 3.0
S_Standard/Transformed_CSR_04/MYNAT_nokinds_FR.xml . 101.7 / 60.3 YES 4.1 / 9.2
S_Standard/Transformed_CSR_04/MYNAT_nokinds_GM.xml . 121.7 / 59.5 YES 4.4 / 8.2
RS_Standard/Transformed_CSR_04/MYNAT_nokinds_L.xml NO 0.3 / 0.3 NO 2.2 / 1.8
RS_Standard/Transformed_CSR_04/MYNAT_nokinds_Z.xml . 120.2 / 59.7 YES 3.9 / 3.6
_Standard/Transformed_CSR_04/MYNAT_nokinds_iGM.xml . 143.3 / 59.6 YES 7.2 / 11.2
ndard/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml . 225.1 / 59.7 . 664.1 / 300.0
dard/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml . 171.7 / 59.7 YES 17.0 / 8.4
ard/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml . 140.7 / 59.7 YES 82.7 / 49.0
dard/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml YES 1.9 / 2.2 YES 3.3 / 5.8
ndard/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml NO 0.3 / 0.3 NO 2.2 / 1.6
RS_Standard/Transformed_CSR_04/MYNAT_nosorts_C.xml . 153.4 / 59.6 YES 5.1 / 2.4
S_Standard/Transformed_CSR_04/MYNAT_nosorts_FR.xml YES 0.5 / 0.5 YES 2.3 / 1.6
S_Standard/Transformed_CSR_04/MYNAT_nosorts_GM.xml . 140.2 / 59.5 YES 3.0 / 1.8
RS_Standard/Transformed_CSR_04/MYNAT_nosorts_L.xml NO 0.3 / 0.3 NO 2.2 / 1.9
_Standard/Transformed_CSR_04/MYNAT_nosorts_iGM.xml . 148.5 / 59.5 YES 5.2 / 2.8
ndard/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml . 215.9 / 59.7 YES 8.0 / 3.4
dard/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml . 113.4 / 59.6 YES 3.8 / 2.5
ard/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml . 126.7 / 59.6 YES 9.2 / 4.2
/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml . 183.5 / 59.9 NO 339.2 / 113.2
d/Transformed_CSR_04/OvConsOS_complete-noand_L.xml NO 0.3 / 0.3 NO 2.4 / 1.7
d/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml . 175.8 / 59.6 NO 369.0 / 138.2
tandard/Transformed_CSR_04/OvConsOS_complete_C.xml . 201.1 / 59.7 . 822.0 / 300.0
andard/Transformed_CSR_04/OvConsOS_complete_FR.xml . 180.6 / 60.0 . 908.7 / 300.0
andard/Transformed_CSR_04/OvConsOS_complete_GM.xml . 149.8 / 60.6 . 667.6 / 300.1
tandard/Transformed_CSR_04/OvConsOS_complete_L.xml NO 0.3 / 0.4 NO 2.2 / 1.8
tandard/Transformed_CSR_04/OvConsOS_complete_Z.xml . 193.2 / 59.6 . 712.5 / 300.1
ndard/Transformed_CSR_04/OvConsOS_complete_iGM.xml . 162.6 / 59.6 . 504.7 / 300.1
d/Transformed_CSR_04/OvConsOS_complete_noand_C.xml . 167.3 / 60.3 . 693.8 / 300.0
/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml . 202.5 / 60.1 YES 46.5 / 24.4
Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml . 190.6 / 60.0 . 706.9 / 300.0
d/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml . 187.4 / 59.5 NO 202.5 / 97.6
rd/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml NO 0.3 / 0.4 NO 2.1 / 1.5
rd/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml . 181.8 / 59.4 NO 173.3 / 85.8
Standard/Transformed_CSR_04/OvConsOS_nokinds_C.xml . 161.0 / 59.7 . 600.3 / 300.1
tandard/Transformed_CSR_04/OvConsOS_nokinds_FR.xml . 147.2 / 59.8 NO 361.0 / 111.0
tandard/Transformed_CSR_04/OvConsOS_nokinds_GM.xml . 195.2 / 59.4 . 653.4 / 300.1
Standard/Transformed_CSR_04/OvConsOS_nokinds_L.xml NO 0.3 / 0.3 NO 2.3 / 4.6
Standard/Transformed_CSR_04/OvConsOS_nokinds_Z.xml . 169.2 / 59.4 NO 373.5 / 154.4
andard/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml . 172.4 / 59.8 . 736.0 / 300.1
rd/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml . 198.0 / 59.7 . 806.6 / 300.1
d/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml YES 84.7 / 31.5 YES 20.3 / 7.8
/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml . 206.7 / 59.7 YES 152.7 / 108.0
d/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml . 126.0 / 59.4 NO 17.2 / 10.1
rd/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml NO 0.3 / 0.3 NO 2.1 / 1.5
rd/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml NO 85.2 / 42.2 NO 13.3 / 6.9
Standard/Transformed_CSR_04/OvConsOS_nosorts_C.xml . 155.0 / 59.5 . 625.2 / 300.1
tandard/Transformed_CSR_04/OvConsOS_nosorts_FR.xml NO 2.5 / 1.5 NO 5.8 / 3.0
tandard/Transformed_CSR_04/OvConsOS_nosorts_GM.xml NO 3.9 / 1.5 NO 12.5 / 6.0
Standard/Transformed_CSR_04/OvConsOS_nosorts_L.xml NO 0.3 / 0.3 NO 2.4 / 1.8
Standard/Transformed_CSR_04/OvConsOS_nosorts_Z.xml NO 3.0 / 1.6 NO 5.2 / 2.7
andard/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml . 171.4 / 59.5 NO 74.1 / 25.5
rd/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml . 192.7 / 59.6 . 847.5 / 300.1
d/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml . 108.5 / 59.5 NO 50.3 / 18.2
/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml . 210.5 / 59.7 . 512.4 / 300.0
ransformed_CSR_04/PALINDROME_complete-noand_FR.xml YES 33.5 / 12.9 YES 5.8 / 2.9
Transformed_CSR_04/PALINDROME_complete-noand_L.xml NO 0.3 / 0.3 NO 85.6 / 36.4
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml YES 39.1 / 13.1 YES 5.7 / 2.6
ndard/Transformed_CSR_04/PALINDROME_complete_C.xml . 182.0 / 60.3 YES 21.0 / 8.4
dard/Transformed_CSR_04/PALINDROME_complete_FR.xml YES 87.7 / 24.3 YES 5.4 / 3.4
dard/Transformed_CSR_04/PALINDROME_complete_GM.xml . 163.4 / 60.7 YES 8.9 / 4.7
ndard/Transformed_CSR_04/PALINDROME_complete_L.xml NO 0.3 / 0.5 NO 2.4 / 2.5
ndard/Transformed_CSR_04/PALINDROME_complete_Z.xml YES 23.3 / 9.5 YES 5.6 / 8.5
ard/Transformed_CSR_04/PALINDROME_complete_iGM.xml . 184.9 / 59.7 YES 9.7 / 4.3
Transformed_CSR_04/PALINDROME_complete_noand_C.xml . 172.2 / 59.9 YES 26.4 / 15.2
ransformed_CSR_04/PALINDROME_complete_noand_GM.xml YES 142.8 / 63.1 YES 14.7 / 18.8
ansformed_CSR_04/PALINDROME_complete_noand_iGM.xml . 162.8 / 60.1 YES 24.7 / 13.7
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml YES 5.3 / 2.2 YES 2.9 / 2.0
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml NO 0.3 / 0.3 NO 24.3 / 13.4
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml YES 1.7 / 2.0 YES 3.1 / 2.2
andard/Transformed_CSR_04/PALINDROME_nokinds_C.xml YES 13.7 / 5.5 YES 12.2 / 8.3
ndard/Transformed_CSR_04/PALINDROME_nokinds_FR.xml YES 3.2 / 1.9 YES 3.2 / 7.0
ndard/Transformed_CSR_04/PALINDROME_nokinds_GM.xml YES 4.9 / 1.8 YES 2.9 / 4.7
andard/Transformed_CSR_04/PALINDROME_nokinds_L.xml NO 0.3 / 0.3 NO 2.3 / 5.6
andard/Transformed_CSR_04/PALINDROME_nokinds_Z.xml YES 3.2 / 1.4 YES 3.0 / 3.3
dard/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml YES 14.0 / 7.6 YES 7.0 / 3.4
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml YES 70.0 / 34.9 YES 18.0 / 8.8
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml YES 31.1 / 12.3 YES 4.0 / 4.3
ransformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml YES 174.5 / 109.3 YES 46.5 / 12.0
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml YES 0.6 / 0.4 YES 2.6 / 3.5
/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml YES 0.7 / 0.5 YES 2.6 / 1.8
andard/Transformed_CSR_04/PALINDROME_nosorts_C.xml YES 8.8 / 3.1 YES 6.1 / 6.8
ndard/Transformed_CSR_04/PALINDROME_nosorts_FR.xml YES 0.8 / 1.6 YES 2.4 / 2.1
ndard/Transformed_CSR_04/PALINDROME_nosorts_GM.xml YES 1.1 / 0.6 YES 2.4 / 1.9
andard/Transformed_CSR_04/PALINDROME_nosorts_L.xml NO 0.3 / 0.3 NO 2.3 / 4.3
dard/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml YES 4.3 / 2.5 YES 5.3 / 8.8
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml YES 9.0 / 3.4 YES 8.3 / 9.6
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml YES 2.0 / 1.9 YES 2.6 / 1.9
ransformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml YES 4.8 / 2.6 YES 5.3 / 11.7
ard/Transformed_CSR_04/PEANO_complete-noand_FR.xml YES 30.1 / 13.7 YES 18.0 / 10.2
dard/Transformed_CSR_04/PEANO_complete-noand_L.xml NO 0.3 / 0.3 NO 2.1 / 1.5
dard/Transformed_CSR_04/PEANO_complete-noand_Z.xml YES 31.3 / 9.4 YES 17.9 / 10.8
S_Standard/Transformed_CSR_04/PEANO_complete_C.xml . 158.0 / 59.6 YES 9.1 / 5.9
_Standard/Transformed_CSR_04/PEANO_complete_FR.xml YES 66.5 / 25.8 YES 4.8 / 3.1
_Standard/Transformed_CSR_04/PEANO_complete_GM.xml YES 51.0 / 20.0 YES 4.8 / 5.0
S_Standard/Transformed_CSR_04/PEANO_complete_L.xml NO 0.3 / 0.3 NO 2.4 / 1.8
S_Standard/Transformed_CSR_04/PEANO_complete_Z.xml YES 12.4 / 5.0 YES 4.6 / 2.8
Standard/Transformed_CSR_04/PEANO_complete_iGM.xml . 193.4 / 59.6 YES 6.7 / 3.1
dard/Transformed_CSR_04/PEANO_complete_noand_C.xml . 142.9 / 59.9 . 646.2 / 300.1
ard/Transformed_CSR_04/PEANO_complete_noand_GM.xml YES 52.1 / 16.3 YES 14.4 / 10.4
rd/Transformed_CSR_04/PEANO_complete_noand_iGM.xml . 167.4 / 60.0 YES 184.9 / 116.4
dard/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml YES 5.6 / 2.5 YES 7.2 / 3.4
ndard/Transformed_CSR_04/PEANO_nokinds-noand_L.xml NO 0.3 / 0.3 NO 2.3 / 5.4
ndard/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml YES 16.3 / 5.1 YES 6.6 / 2.8
RS_Standard/Transformed_CSR_04/PEANO_nokinds_C.xml . 199.8 / 59.6 YES 6.4 / 2.7
S_Standard/Transformed_CSR_04/PEANO_nokinds_FR.xml YES 16.6 / 4.7 YES 2.9 / 1.8
S_Standard/Transformed_CSR_04/PEANO_nokinds_GM.xml YES 21.5 / 7.4 YES 3.5 / 3.2
RS_Standard/Transformed_CSR_04/PEANO_nokinds_L.xml NO 0.3 / 0.3 NO 2.2 / 1.7
RS_Standard/Transformed_CSR_04/PEANO_nokinds_Z.xml YES 4.6 / 1.9 YES 3.2 / 2.0
_Standard/Transformed_CSR_04/PEANO_nokinds_iGM.xml YES 30.7 / 10.3 YES 5.0 / 4.4
ndard/Transformed_CSR_04/PEANO_nokinds_noand_C.xml . 171.6 / 59.7 . 839.2 / 300.1
dard/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml YES 12.7 / 5.0 YES 7.4 / 5.6
ard/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml YES 119.7 / 57.1 YES 33.6 / 12.6
dard/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml YES 0.7 / 0.4 YES 2.6 / 3.4
ndard/Transformed_CSR_04/PEANO_nosorts-noand_L.xml NO 0.3 / 0.3 NO 2.1 / 1.5
RS_Standard/Transformed_CSR_04/PEANO_nosorts_C.xml YES 4.3 / 1.8 YES 5.7 / 2.8
S_Standard/Transformed_CSR_04/PEANO_nosorts_FR.xml YES 0.4 / 0.4 YES 2.6 / 2.5
S_Standard/Transformed_CSR_04/PEANO_nosorts_GM.xml YES 1.0 / 0.6 YES 2.5 / 1.8
RS_Standard/Transformed_CSR_04/PEANO_nosorts_L.xml NO 0.3 / 0.3 NO 2.2 / 1.6
_Standard/Transformed_CSR_04/PEANO_nosorts_iGM.xml YES 1.4 / 0.6 YES 5.4 / 9.6
ndard/Transformed_CSR_04/PEANO_nosorts_noand_C.xml YES 6.5 / 4.3 YES 6.9 / 3.5
dard/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml YES 1.7 / 1.0 YES 2.6 / 5.1
ard/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml YES 3.6 / 1.5 YES 7.2 / 4.4
TRS_Standard/Various_04/02.xml YES 0.4 / 0.4 YES 2.3 / 1.7
TRS_Standard/Various_04/03.xml YES 0.4 / 1.3 YES 2.5 / 3.9
TRS_Standard/Various_04/04.xml . 139.5 / 59.4 . 537.5 / 300.0
TRS_Standard/Various_04/05.xml . 156.6 / 59.3 . 536.0 / 300.0
TRS_Standard/Various_04/06.xml YES 0.5 / 0.4 YES 3.0 / 1.8
TRS_Standard/Various_04/07.xml YES 0.4 / 0.6 YES 2.5 / 4.3
TRS_Standard/Various_04/08.xml . 166.0 / 59.3 . 545.6 / 300.1
TRS_Standard/Various_04/09.xml YES 0.5 / 0.4 YES 3.1 / 2.8
TRS_Standard/Various_04/10.xml YES 4.1 / 1.6 YES 5.1 / 7.9
TRS_Standard/Various_04/11.xml . 163.3 / 59.4 YES 3.1 / 2.8
TRS_Standard/Various_04/12.xml YES 4.2 / 2.2 YES 2.8 / 1.8
TRS_Standard/Various_04/13.xml YES 6.0 / 1.9 YES 3.5 / 2.8
TRS_Standard/Various_04/14.xml YES 12.8 / 4.5 YES 12.3 / 5.8
TRS_Standard/Various_04/15.xml YES 1.3 / 1.6 YES 8.8 / 3.9
TRS_Standard/Various_04/18.xml YES 0.5 / 0.4 YES 2.4 / 1.6
TRS_Standard/Various_04/19.xml YES 1.4 / 1.1 YES 2.4 / 1.8
TRS_Standard/Various_04/21.xml YES 2.2 / 1.2 YES 2.4 / 1.7
TRS_Standard/Various_04/22.xml YES 0.6 / 1.7 YES 2.3 / 1.6
TRS_Standard/Various_04/23.xml YES 0.6 / 0.4 YES 2.8 / 2.0
TRS_Standard/Various_04/24.xml YES 1.4 / 0.7 YES 3.5 / 2.4
TRS_Standard/Various_04/25.xml YES 0.4 / 0.4 YES 2.3 / 1.6
TRS_Standard/Various_04/26.xml YES 0.6 / 0.4 YES 2.7 / 1.7
TRS_Standard/Various_04/27.xml YES 0.3 / 0.3 YES 2.6 / 2.4
TRS_Standard/Waldmann_06/jwaprove1.xml . 149.1 / 50.5 YES 19.1 / 22.3
TRS_Standard/Waldmann_06/jwaprove2.xml . 178.2 / 59.3 YES 21.5 / 11.2
TRS_Standard/Waldmann_06/jwcime1.xml . 105.7 / 50.5 YES 15.2 / 12.2
TRS_Standard/Waldmann_06/jwcime2.xml . 7.0 / 10.3 YES 4.4 / 4.6
TRS_Standard/Waldmann_06/jwmatchb1.xml YES 2.8 / 2.4 YES 27.4 / 13.8
TRS_Standard/Waldmann_06/jwmatchb2.xml YES 2.4 / 2.0 YES 32.1 / 18.5
TRS_Standard/Waldmann_06/jwno1.xml NO 0.7 / 0.8 NO 6.0 / 3.9
TRS_Standard/Waldmann_06/jwno2.xml . 10.9 / 10.5 . 434.1 / 300.0
TRS_Standard/Waldmann_06/jwno3.xml . 119.8 / 59.4 . 349.9 / 300.0
TRS_Standard/Waldmann_06/jwno4.xml NO 0.9 / 0.5 NO 4.7 / 3.1
TRS_Standard/Waldmann_06/jwno5.xml . 11.2 / 10.3 . 355.9 / 300.0
TRS_Standard/Waldmann_06/jwno6.xml NO 1.0 / 0.6 NO 5.6 / 7.7
TRS_Standard/Waldmann_06/jwno7.xml . 13.4 / 10.3 . 379.0 / 300.0
TRS_Standard/Waldmann_06/jwno8.xml . 27.1 / 10.4 . 517.1 / 300.0
TRS_Standard/Waldmann_06/jwno9.xml NO 0.7 / 1.4 NO 6.3 / 3.3
TRS_Standard/Waldmann_06/jwteparla1.xml . 14.6 / 10.3 YES 4.8 / 2.6
TRS_Standard/Waldmann_06/jwteparla2.xml . 78.3 / 60.0 YES 10.4 / 4.4
TRS_Standard/Waldmann_06/jwtpa1.xml . 155.9 / 59.4 YES 16.2 / 10.4
TRS_Standard/Waldmann_06/jwtpa2.xml YES 2.7 / 3.0 YES 4.4 / 2.2
TRS_Standard/Waldmann_06/jwttt.xml YES 3.4 / 1.4 YES 4.6 / 3.7
TRS_Standard/Zantema_05/jw01.xml YES 0.8 / 0.5 YES 2.9 / 1.9
TRS_Standard/Zantema_05/jw02.xml YES 0.9 / 0.6 YES 3.2 / 3.0
TRS_Standard/Zantema_05/jw03.xml YES 0.7 / 0.5 YES 2.6 / 1.7
TRS_Standard/Zantema_05/jw04.xml YES 0.4 / 1.0 YES 2.9 / 1.8
TRS_Standard/Zantema_05/jw05.xml YES 1.7 / 1.7 YES 5.6 / 4.3
TRS_Standard/Zantema_05/jw06.xml YES 0.3 / 0.3 YES 2.9 / 2.0
TRS_Standard/Zantema_05/jw07.xml YES 0.8 / 0.6 YES 2.7 / 2.0
TRS_Standard/Zantema_05/jw08.xml YES 0.9 / 1.5 YES 3.0 / 2.1
TRS_Standard/Zantema_05/jw09.xml YES 4.5 / 1.9 YES 3.0 / 2.1
TRS_Standard/Zantema_05/jw11.xml YES 0.8 / 0.7 YES 2.8 / 2.5
TRS_Standard/Zantema_05/jw12.xml YES 0.9 / 1.0 YES 2.7 / 2.5
TRS_Standard/Zantema_05/jw13.xml YES 0.6 / 0.4 YES 2.8 / 1.7
TRS_Standard/Zantema_05/jw14.xml YES 0.5 / 0.4 YES 2.5 / 2.2
TRS_Standard/Zantema_05/jw15.xml YES 0.8 / 0.5 YES 3.1 / 4.9
TRS_Standard/Zantema_05/jw16.xml YES 0.9 / 0.7 YES 3.0 / 2.4
TRS_Standard/Zantema_05/jw17.xml YES 0.9 / 0.5 YES 3.6 / 7.1
TRS_Standard/Zantema_05/jw18.xml YES 0.8 / 0.5 YES 2.6 / 1.7
TRS_Standard/Zantema_05/jw19.xml YES 1.8 / 1.0 YES 2.5 / 1.7
TRS_Standard/Zantema_05/jw20.xml YES 0.8 / 0.6 YES 3.0 / 2.5
TRS_Standard/Zantema_05/jw21.xml YES 0.9 / 0.7 YES 2.9 / 4.3
TRS_Standard/Zantema_05/jw22.xml YES 0.8 / 0.5 YES 2.8 / 1.8
TRS_Standard/Zantema_05/jw23.xml YES 0.8 / 0.6 YES 2.7 / 1.7
TRS_Standard/Zantema_05/jw24.xml YES 0.9 / 0.6 YES 5.8 / 2.1
TRS_Standard/Zantema_05/jw25.xml YES 0.6 / 0.4 YES 2.9 / 2.0
TRS_Standard/Zantema_05/jw26.xml YES 0.6 / 0.4 YES 2.9 / 1.7
TRS_Standard/Zantema_05/jw27.xml YES 2.1 / 0.9 YES 5.6 / 3.3
TRS_Standard/Zantema_05/jw28.xml YES 0.4 / 0.3 YES 3.1 / 2.2
TRS_Standard/Zantema_05/jw29.xml YES 0.6 / 0.5 YES 2.8 / 1.8
TRS_Standard/Zantema_05/jw30.xml YES 2.5 / 1.3 YES 7.0 / 3.3
TRS_Standard/Zantema_05/jw31.xml YES 0.4 / 0.3 YES 2.8 / 1.8
TRS_Standard/Zantema_05/jw32.xml YES 1.8 / 1.2 YES 5.6 / 2.6
TRS_Standard/Zantema_05/jw33.xml YES 0.4 / 0.3 YES 2.9 / 2.1
TRS_Standard/Zantema_05/jw34.xml YES 1.6 / 0.7 YES 7.2 / 11.8
TRS_Standard/Zantema_05/jw35.xml YES 0.4 / 0.3 YES 2.3 / 1.6
TRS_Standard/Zantema_05/jw36.xml YES 1.2 / 0.8 YES 2.8 / 1.8
TRS_Standard/Zantema_05/jw37.xml YES 4.1 / 1.5 YES 8.0 / 4.7
TRS_Standard/Zantema_05/jw38.xml YES 0.9 / 0.6 YES 2.8 / 6.6
TRS_Standard/Zantema_05/jw39.xml YES 0.8 / 0.5 YES 3.4 / 2.6
TRS_Standard/Zantema_05/jw40.xml YES 0.9 / 0.5 YES 3.1 / 2.0
TRS_Standard/Zantema_05/jw41.xml YES 4.1 / 1.9 YES 8.2 / 5.5
TRS_Standard/Zantema_05/jw42.xml YES 0.9 / 0.5 YES 2.7 / 2.0
TRS_Standard/Zantema_05/jw43.xml YES 0.3 / 0.3 YES 2.7 / 2.3
TRS_Standard/Zantema_05/jw44.xml YES 0.6 / 1.2 YES 2.6 / 2.2
TRS_Standard/Zantema_05/jw47.xml YES 0.3 / 0.3 YES 2.4 / 1.6
TRS_Standard/Zantema_05/jw50.xml YES 0.4 / 0.4 YES 2.2 / 1.5
TRS_Standard/Zantema_05/z01.xml YES 143.4 / 56.2 YES 184.9 / 94.1
TRS_Standard/Zantema_05/z02.xml . 8.3 / 10.3 YES 7.9 / 4.8
TRS_Standard/Zantema_05/z03.xml YES 0.6 / 0.7 YES 6.2 / 3.1
TRS_Standard/Zantema_05/z04.xml YES 0.6 / 0.4 YES 2.5 / 1.8
TRS_Standard/Zantema_05/z05.xml YES 4.4 / 1.8 YES 14.5 / 8.0
TRS_Standard/Zantema_05/z06.xml YES 2.6 / 1.4 YES 2.6 / 1.8
TRS_Standard/Zantema_05/z07.xml YES 0.9 / 0.6 YES 4.0 / 2.5
TRS_Standard/Zantema_05/z08.xml YES 0.7 / 0.4 YES 4.6 / 2.6
TRS_Standard/Zantema_05/z09.xml . 153.0 / 59.4 . 324.4 / 300.1
TRS_Standard/Zantema_05/z10.xml . 157.3 / 59.5 . 358.8 / 300.1
TRS_Standard/Zantema_05/z11.xml YES 2.3 / 1.8 YES 4.2 / 3.9
TRS_Standard/Zantema_05/z12.xml . 89.9 / 51.7 . 376.5 / 300.0
TRS_Standard/Zantema_05/z13.xml . 97.8 / 50.8 . 452.6 / 300.1
TRS_Standard/Zantema_05/z14.xml . 81.5 / 51.5 . 623.7 / 300.1
TRS_Standard/Zantema_05/z15.xml . 96.5 / 47.6 . 437.7 / 300.0
TRS_Standard/Zantema_05/z16.xml . 100.2 / 51.3 . 724.0 / 300.0
TRS_Standard/Zantema_05/z17.xml . 74.1 / 51.6 . 425.4 / 300.0
TRS_Standard/Zantema_05/z18.xml . 84.5 / 51.5 . 403.6 / 300.1
TRS_Standard/Zantema_05/z19.xml . 95.6 / 51.3 YES 32.0 / 16.6
TRS_Standard/Zantema_05/z20.xml . 81.8 / 36.2 . 439.6 / 300.0
TRS_Standard/Zantema_05/z21.xml . 134.8 / 51.1 YES 41.1 / 23.8
TRS_Standard/Zantema_05/z22.xml . 112.4 / 51.6 YES 37.7 / 27.9
TRS_Standard/Zantema_05/z23.xml . 140.5 / 51.5 . 391.0 / 300.1
TRS_Standard/Zantema_05/z24.xml . 106.9 / 51.5 . 448.4 / 300.1
TRS_Standard/Zantema_05/z25.xml YES 0.5 / 0.4 YES 3.0 / 4.7
TRS_Standard/Zantema_05/z26.xml YES 1.1 / 1.0 YES 7.8 / 3.2
TRS_Standard/Zantema_05/z27.xml . 1.5 / 10.3 YES 29.0 / 19.7
TRS_Standard/Zantema_05/z28.xml . 128.2 / 59.5 YES 4.6 / 2.3
TRS_Standard/Zantema_05/z29.xml YES 2.4 / 1.0 YES 2.9 / 2.0
TRS_Standard/Zantema_05/z30.xml . 138.4 / 59.6 . 350.6 / 300.1
TRS_Standard/Zantema_15/delta.xml . 86.7 / 59.9 . 330.7 / 300.1
TRS_Standard/Zantema_15/ex01.xml . 230.0 / 59.8 NO 8.1 / 4.1
TRS_Standard/Zantema_15/ex02.xml . 216.6 / 60.2 . 1024.0 / 300.1
TRS_Standard/Zantema_15/ex03.xml . 202.9 / 60.1 . 927.6 / 300.1
TRS_Standard/Zantema_15/ex04.xml . 208.9 / 59.8 NO 45.6 / 19.7
TRS_Standard/Zantema_15/ex05.xml . 178.2 / 59.4 . 404.1 / 300.1
TRS_Standard/Zantema_15/ex06.xml . 215.6 / 60.3 . 961.8 / 300.1
TRS_Standard/Zantema_15/ex07.xml . 178.9 / 59.4 . 559.1 / 300.1
TRS_Standard/Zantema_15/ex08.xml . 105.3 / 59.5 . 841.9 / 300.1
TRS_Standard/Zantema_15/ex09.xml . 211.5 / 59.4 . 425.7 / 300.0
TRS_Standard/Zantema_15/ex10.xml . 119.2 / 59.5 . 590.0 / 300.0
TRS_Standard/Zantema_15/ex11.xml . 6.8 / 10.3 . 320.0 / 300.0
TRS_Standard/Zantema_15/ex12.xml . 6.2 / 10.9 . 558.6 / 300.0
TRS_Standard/Zantema_15/ex13.xml . 13.1 / 10.3 . 288.0 / 300.0
TRS_Standard/Zantema_15/ex14.xml . 1.3 / 10.5 . 522.5 / 300.0
TRS_Standard/Zantema_15/s.xml . 112.4 / 59.6 . 349.0 / 300.1