Data shown here is incomplete. This page will refresh with updates pulled from star-exec.

Overview of job-results

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

Statistics

2992 of 2996 pairs, 84794.0 / 28525.2 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 Stand certi 80084
Solver AProVE standard f065806 ttt2-v1.16
Scores 1182 937
TRS_Standard/AG01/#3.1.xml YES 3.9 / 1.7 YES 1.9 / 0.7
TRS_Standard/AG01/#3.10.xml YES 6.2 / 2.7 YES 14.5 / 4.8
TRS_Standard/AG01/#3.12.xml YES 3.5 / 1.7 YES 4.7 / 1.4
TRS_Standard/AG01/#3.13.xml YES 6.0 / 2.3 YES 13.3 / 4.0
TRS_Standard/AG01/#3.15.xml YES 3.2 / 1.5 YES 0.4 / 0.3
TRS_Standard/AG01/#3.16.xml YES 3.6 / 1.6 YES 2.2 / 0.8
TRS_Standard/AG01/#3.17.xml YES 4.6 / 1.9 YES 6.5 / 1.8
TRS_Standard/AG01/#3.17a.xml YES 5.2 / 3.3 YES 6.9 / 2.0
TRS_Standard/AG01/#3.18.xml YES 4.1 / 1.9 YES 4.1 / 1.5
TRS_Standard/AG01/#3.19.xml YES 4.5 / 1.9 YES 5.4 / 1.9
TRS_Standard/AG01/#3.2.xml YES 3.5 / 1.6 YES 2.8 / 0.9
TRS_Standard/AG01/#3.21.xml YES 4.2 / 3.7 YES 1.7 / 0.7
TRS_Standard/AG01/#3.22.xml YES 3.6 / 2.0 YES 3.7 / 1.4
TRS_Standard/AG01/#3.23.xml YES 3.3 / 1.5 YES 1.0 / 0.4
TRS_Standard/AG01/#3.24.xml YES 4.0 / 1.9 YES 1.0 / 0.5
TRS_Standard/AG01/#3.26.xml YES 17.8 / 5.6 YES 1.2 / 0.5
TRS_Standard/AG01/#3.29.xml YES 3.3 / 1.7 YES 0.5 / 0.3
TRS_Standard/AG01/#3.31.xml YES 3.3 / 1.5 YES 0.7 / 0.3
TRS_Standard/AG01/#3.33.xml YES 3.7 / 1.9 YES 6.4 / 1.8
TRS_Standard/AG01/#3.35.xml YES 9.0 / 3.2 YES 0.4 / 0.3
TRS_Standard/AG01/#3.36.xml YES 5.3 / 3.2 YES 2.7 / 0.9
TRS_Standard/AG01/#3.37.xml YES 3.2 / 1.6 YES 1.3 / 0.5
TRS_Standard/AG01/#3.38.xml YES 3.8 / 1.7 YES 3.8 / 1.6
TRS_Standard/AG01/#3.39.xml YES 4.7 / 2.0 YES 6.6 / 2.0
TRS_Standard/AG01/#3.4.xml YES 3.9 / 2.3 YES 4.0 / 1.4
TRS_Standard/AG01/#3.40.xml YES 5.3 / 2.1 . 113.9 / 29.3
TRS_Standard/AG01/#3.41.xml YES 3.7 / 1.8 YES 1.6 / 0.6
TRS_Standard/AG01/#3.42.xml YES 3.5 / 1.9 YES 5.5 / 1.8
TRS_Standard/AG01/#3.47.xml YES 3.3 / 1.6 YES 1.3 / 0.6
TRS_Standard/AG01/#3.48.xml YES 3.4 / 1.7 YES 3.2 / 1.0
TRS_Standard/AG01/#3.49.xml YES 3.8 / 1.7 YES 2.6 / 0.9
TRS_Standard/AG01/#3.5.xml YES 4.7 / 2.0 YES 3.9 / 1.2
TRS_Standard/AG01/#3.51.xml YES 4.2 / 2.1 YES 2.4 / 0.9
TRS_Standard/AG01/#3.52.xml YES 3.1 / 1.5 YES 1.3 / 0.6
TRS_Standard/AG01/#3.53.xml YES 4.7 / 2.3 YES 11.8 / 3.6
TRS_Standard/AG01/#3.53a.xml YES 3.2 / 1.5 YES 0.9 / 0.5
TRS_Standard/AG01/#3.53b.xml YES 3.3 / 1.6 YES 1.4 / 0.5
TRS_Standard/AG01/#3.54.xml YES 5.6 / 2.3 YES 1.7 / 0.6
TRS_Standard/AG01/#3.55.xml YES 5.5 / 2.2 YES 10.8 / 3.0
TRS_Standard/AG01/#3.56.xml YES 3.6 / 1.7 YES 4.0 / 1.3
TRS_Standard/AG01/#3.57.xml YES 5.0 / 2.2 YES 13.6 / 5.1
TRS_Standard/AG01/#3.5a.xml YES 4.4 / 1.9 YES 3.8 / 1.2
TRS_Standard/AG01/#3.5b.xml YES 5.6 / 2.2 YES 5.5 / 1.9
TRS_Standard/AG01/#3.6.xml YES 4.0 / 1.8 YES 3.9 / 1.2
TRS_Standard/AG01/#3.6a.xml YES 4.3 / 1.9 YES 3.9 / 1.3
TRS_Standard/AG01/#3.6b.xml YES 4.4 / 1.9 YES 6.6 / 2.3
TRS_Standard/AG01/#3.7.xml YES 7.7 / 3.7 YES 0.4 / 0.3
TRS_Standard/AG01/#3.8a.xml YES 4.4 / 2.1 YES 4.9 / 2.0
TRS_Standard/AG01/#3.8b.xml YES 5.4 / 2.4 YES 17.2 / 3.5
TRS_Standard/AG01/#4.30c.xml YES 12.2 / 8.0 . 78.0 / 29.3
TRS_Standard/AProVE_04/AAECC-ring.xml . 80.4 / 29.5 . 114.0 / 29.5
TRS_Standard/AProVE_04/AAECC.xml YES 61.7 / 24.1 . 90.1 / 24.8
TRS_Standard/AProVE_04/IJCAR_1.xml YES 4.0 / 2.0 YES 2.8 / 1.4
TRS_Standard/AProVE_04/IJCAR_12.xml YES 5.0 / 2.4 YES 4.6 / 1.6
TRS_Standard/AProVE_04/IJCAR_18.xml YES 6.4 / 8.8 YES 9.8 / 3.2
TRS_Standard/AProVE_04/IJCAR_26.xml YES 5.7 / 2.4 YES 12.4 / 3.7
TRS_Standard/AProVE_04/IJCAR_26a.xml YES 6.2 / 2.8 YES 27.3 / 5.5
TRS_Standard/AProVE_04/JFP_Ex31.xml . 76.0 / 29.9 . 114.8 / 29.4
TRS_Standard/AProVE_04/JFP_Ex51.xml YES 5.6 / 2.5 YES 25.9 / 7.9
TRS_Standard/AProVE_04/LPAR_intlist.xml YES 4.2 / 2.5 YES 3.6 / 1.5
TRS_Standard/AProVE_04/Liveness6.1.xml YES 14.0 / 5.6 YES 2.9 / 0.9
TRS_Standard/AProVE_04/Liveness6.2.xml YES 6.4 / 3.2 YES 2.9 / 1.1
TRS_Standard/AProVE_04/Liveness6.3.xml YES 12.7 / 4.2 YES 8.2 / 2.3
TRS_Standard/AProVE_04/Liveness6.4.xml . 60.3 / 30.1 . 92.5 / 29.4
TRS_Standard/AProVE_04/Liveness8.xml YES 5.6 / 2.6 YES 3.8 / 1.1
TRS_Standard/AProVE_04/Liveness_WRS.xml YES 9.7 / 6.8 YES 7.4 / 2.4
TRS_Standard/AProVE_04/fac.xml YES 6.4 / 2.8 YES 4.7 / 1.6
TRS_Standard/AProVE_04/forward_instantiation.xml YES 4.1 / 1.9 YES 0.7 / 0.4
TRS_Standard/AProVE_04/forward_instantiation2.xml YES 4.3 / 3.1 YES 0.8 / 0.5
TRS_Standard/AProVE_04/improved_usable.xml YES 3.4 / 1.6 YES 1.5 / 0.6
TRS_Standard/AProVE_04/improved_usable2.xml YES 3.6 / 2.4 YES 1.3 / 0.7
TRS_Standard/AProVE_04/rta1.xml YES 4.0 / 2.0 YES 4.6 / 1.4
TRS_Standard/AProVE_04/rta2.xml YES 3.2 / 1.5 YES 0.8 / 0.4
TRS_Standard/AProVE_04/rta3.xml YES 3.7 / 1.7 YES 2.3 / 1.1
TRS_Standard/AProVE_06/div_notCeTermin.xml YES 14.6 / 6.1 . 89.6 / 29.3
TRS_Standard/AProVE_06/div_notTermin.xml . 82.3 / 29.4 . 107.3 / 29.3
TRS_Standard/AProVE_06/factorial1.xml YES 4.9 / 2.1 YES 9.1 / 2.7
TRS_Standard/AProVE_06/factorial2.xml YES 7.6 / 2.7 . 27.2 / 8.5
TRS_Standard/AProVE_06/identity.xml YES 5.4 / 2.1 . 111.7 / 29.3
TRS_Standard/AProVE_06/logarithm.xml YES 16.6 / 9.8 . 111.1 / 29.3
TRS_Standard/AProVE_06/mapHard.xml YES 8.5 / 3.2 . 114.0 / 29.3
TRS_Standard/AProVE_06/modulo.xml YES 14.8 / 10.2 . 17.3 / 7.2
TRS_Standard/AProVE_06/nonterm.xml NO 6.8 / 3.7 NO 0.3 / 0.3
TRS_Standard/AProVE_06/quicksort.xml YES 9.8 / 3.9 YES 24.6 / 7.4
TRS_Standard/AProVE_06/quot.xml YES 9.3 / 5.0 . 16.3 / 7.2
TRS_Standard/AProVE_06/sizeChange.xml YES 3.7 / 1.7 YES 2.9 / 1.0
TRS_Standard/AProVE_06/tower.xml YES 5.6 / 7.1 YES 10.1 / 2.9
TRS_Standard/AProVE_06/tower_sizeChange.xml YES 41.3 / 19.5 . 53.1 / 21.5
TRS_Standard/AProVE_07/kabasci01.xml YES 43.8 / 13.0 YES 45.2 / 12.1
TRS_Standard/AProVE_07/kabasci02.xml YES 7.8 / 2.8 YES 20.6 / 5.8
TRS_Standard/AProVE_07/kabasci03.xml YES 8.0 / 2.8 YES 16.9 / 6.0
TRS_Standard/AProVE_07/kabasci04.xml YES 4.6 / 2.0 YES 8.4 / 2.5
TRS_Standard/AProVE_07/kabasci05.xml YES 5.8 / 2.6 YES 16.9 / 5.6
TRS_Standard/AProVE_07/kabasci06.xml YES 4.7 / 2.0 . 106.3 / 29.3
TRS_Standard/AProVE_07/otto01.xml YES 8.1 / 3.0 . 53.5 / 21.9
TRS_Standard/AProVE_07/otto02.xml YES 6.2 / 2.5 . 29.2 / 10.5
TRS_Standard/AProVE_07/otto03.xml YES 5.5 / 5.3 . 23.9 / 8.2
TRS_Standard/AProVE_07/otto04.xml YES 7.3 / 4.3 . 34.0 / 12.1
TRS_Standard/AProVE_07/otto05.xml YES 5.4 / 6.0 YES 5.3 / 2.9
TRS_Standard/AProVE_07/otto06.xml YES 9.3 / 3.3 . 36.0 / 15.1
TRS_Standard/AProVE_07/otto07.xml YES 4.6 / 2.2 . 25.8 / 8.9
TRS_Standard/AProVE_07/otto08.xml YES 8.6 / 4.0 . 23.2 / 7.2
TRS_Standard/AProVE_07/otto09.xml YES 9.3 / 4.0 . 17.4 / 7.2
TRS_Standard/AProVE_07/otto10.xml YES 6.5 / 2.6 . 38.9 / 16.7
TRS_Standard/AProVE_07/otto11.xml YES 5.4 / 2.2 . 25.5 / 8.8
TRS_Standard/AProVE_07/otto12.xml YES 8.5 / 3.1 . 37.0 / 13.1
TRS_Standard/AProVE_07/otto13.xml YES 18.5 / 5.1 . 42.7 / 16.0
TRS_Standard/AProVE_07/thiemann01.xml YES 12.2 / 2.7 . 19.3 / 7.2
TRS_Standard/AProVE_07/thiemann02.xml YES 18.8 / 11.9 . 88.5 / 29.3
TRS_Standard/AProVE_07/thiemann03.xml YES 8.6 / 4.0 . 89.4 / 29.2
TRS_Standard/AProVE_07/thiemann04.xml YES 68.4 / 19.5 . 73.6 / 26.2
TRS_Standard/AProVE_07/thiemann05.xml YES 7.0 / 2.6 . 25.1 / 7.6
TRS_Standard/AProVE_07/thiemann06.xml YES 22.1 / 7.0 . 81.5 / 29.3
TRS_Standard/AProVE_07/thiemann07.xml YES 29.6 / 10.6 . 100.0 / 29.3
TRS_Standard/AProVE_07/thiemann08.xml YES 6.0 / 2.7 YES 5.0 / 1.6
TRS_Standard/AProVE_07/thiemann09.xml YES 4.6 / 1.9 . 40.7 / 14.3
TRS_Standard/AProVE_07/thiemann10.xml YES 5.5 / 2.5 YES 5.5 / 1.7
TRS_Standard/AProVE_07/thiemann11.xml YES 40.2 / 14.3 . 102.3 / 29.3
TRS_Standard/AProVE_07/thiemann12.xml YES 11.9 / 2.3 YES 5.6 / 1.7
TRS_Standard/AProVE_07/thiemann13.xml YES 22.5 / 9.2 . 114.7 / 29.3
TRS_Standard/AProVE_07/thiemann14.xml YES 28.3 / 13.6 YES 11.5 / 3.6
TRS_Standard/AProVE_07/thiemann15.xml YES 5.8 / 4.6 YES 5.0 / 2.0
TRS_Standard/AProVE_07/thiemann16.xml YES 6.6 / 2.5 YES 13.9 / 4.0
TRS_Standard/AProVE_07/thiemann17.xml YES 6.9 / 3.0 YES 8.2 / 2.4
TRS_Standard/AProVE_07/thiemann18.xml YES 9.7 / 3.8 YES 17.8 / 6.3
TRS_Standard/AProVE_07/thiemann19.xml YES 8.6 / 3.8 . 42.3 / 15.4
TRS_Standard/AProVE_07/thiemann20.xml . 80.2 / 29.6 . 88.7 / 29.2
TRS_Standard/AProVE_07/thiemann21.xml . 70.3 / 29.6 . 83.9 / 29.3
TRS_Standard/AProVE_07/thiemann22.xml YES 8.1 / 3.9 . 114.9 / 29.3
TRS_Standard/AProVE_07/thiemann23.xml YES 6.8 / 2.7 . 29.3 / 10.9
TRS_Standard/AProVE_07/thiemann24.xml YES 6.5 / 2.6 . 34.1 / 12.0
TRS_Standard/AProVE_07/thiemann25.xml YES 6.5 / 7.3 . 30.5 / 10.8
TRS_Standard/AProVE_07/thiemann26.xml . 75.0 / 29.4 . 42.1 / 14.5
TRS_Standard/AProVE_07/thiemann27.xml YES 5.0 / 2.1 . 23.8 / 7.9
TRS_Standard/AProVE_07/thiemann28.xml NO 15.0 / 7.6 . 33.7 / 12.4
TRS_Standard/AProVE_07/thiemann29.xml YES 43.3 / 20.3 . 105.1 / 29.3
TRS_Standard/AProVE_07/thiemann30.xml . 83.1 / 29.5 . 22.7 / 7.2
TRS_Standard/AProVE_07/thiemann31.xml YES 9.5 / 4.0 . 50.2 / 17.2
TRS_Standard/AProVE_07/thiemann32.xml YES 19.7 / 8.8 . 113.7 / 29.3
TRS_Standard/AProVE_07/thiemann33.xml YES 12.2 / 4.7 . 33.6 / 11.9
TRS_Standard/AProVE_07/thiemann34.xml YES 9.7 / 4.3 . 40.0 / 14.9
TRS_Standard/AProVE_07/thiemann35.xml YES 6.6 / 2.4 . 60.7 / 20.0
TRS_Standard/AProVE_07/thiemann36.xml YES 10.8 / 5.0 . 53.0 / 17.5
TRS_Standard/AProVE_07/thiemann37.xml YES 16.1 / 5.5 . 37.9 / 13.9
TRS_Standard/AProVE_07/thiemann38.xml YES 7.4 / 2.8 . 37.8 / 16.9
TRS_Standard/AProVE_07/thiemann39.xml YES 6.1 / 3.6 . 85.3 / 29.3
TRS_Standard/AProVE_07/thiemann40.xml YES 4.7 / 1.9 YES 2.8 / 0.9
TRS_Standard/AProVE_07/thiemann41.xml YES 5.2 / 2.2 . 27.0 / 9.5
TRS_Standard/AProVE_07/wiehe01.xml YES 8.1 / 2.8 YES 9.9 / 2.9
TRS_Standard/AProVE_07/wiehe02.xml YES 9.2 / 3.9 YES 21.6 / 6.7
TRS_Standard/AProVE_07/wiehe03.xml YES 7.9 / 2.8 YES 24.0 / 8.1
TRS_Standard/AProVE_07/wiehe05.xml YES 7.8 / 2.9 YES 16.0 / 6.3
TRS_Standard/AProVE_07/wiehe06.xml YES 7.6 / 2.7 YES 14.6 / 4.2
TRS_Standard/AProVE_07/wiehe07.xml . 74.5 / 30.1 . 29.6 / 8.5
TRS_Standard/AProVE_07/wiehe08.xml YES 7.6 / 2.8 YES 18.4 / 7.0
TRS_Standard/AProVE_07/wiehe09.xml YES 8.8 / 4.8 YES 14.0 / 4.5
TRS_Standard/AProVE_07/wiehe11.xml YES 9.0 / 3.6 YES 27.0 / 8.3
TRS_Standard/AProVE_07/wiehe12.xml YES 9.7 / 3.9 YES 27.5 / 7.5
TRS_Standard/AProVE_08/id_inc.xml YES 5.9 / 2.2 YES 24.4 / 6.4
TRS_Standard/AProVE_08/log.xml . 98.2 / 29.5 . 116.4 / 29.3
TRS_Standard/AProVE_08/parting01_reverse.xml . 77.2 / 29.4 . 59.4 / 19.5
TRS_Standard/AProVE_08/parting02_doublelist.xml . 64.9 / 30.1 . 64.2 / 22.3
TRS_Standard/AProVE_08/parting03_minsort.xml . 89.1 / 29.5 . 59.7 / 18.1
TRS_Standard/AProVE_08/parting04_maxsort_h.xml . 65.1 / 30.1 . 108.8 / 29.3
TRS_Standard/AProVE_08/parting05_maxsort.xml . 90.5 / 29.4 . 70.0 / 22.2
TRS_Standard/AProVE_08/round.xml . 84.5 / 29.4 . 15.6 / 7.2
TRS_Standard/AProVE_08/round_nonterm.xml NO 4.4 / 2.2 NO 0.5 / 0.3
TRS_Standard/AProVE_08/thiemann40_modified.xml YES 27.3 / 13.2 YES 5.7 / 2.6
TRS_Standard/AProVE_09_Inductive/div.xml . 78.5 / 29.4 . 31.8 / 13.8
TRS_Standard/AProVE_09_Inductive/divhard.xml . 82.6 / 30.1 . 31.3 / 10.2
TRS_Standard/AProVE_09_Inductive/gcd.xml . 76.1 / 30.0 . 24.2 / 7.6
TRS_Standard/AProVE_09_Inductive/gcd2.xml . 76.3 / 29.4 . 48.9 / 21.0
TRS_Standard/AProVE_09_Inductive/gcdhard.xml . 83.4 / 29.5 . 45.0 / 13.5
TRS_Standard/AProVE_09_Inductive/log.xml . 72.6 / 29.5 . 93.8 / 29.3
TRS_Standard/AProVE_09_Inductive/maxsort.xml . 90.4 / 29.4 . 68.8 / 21.9
_Standard/AProVE_09_Inductive/maxsortcondition.xml . 89.1 / 29.7 . 47.3 / 16.7
TRS_Standard/AProVE_09_Inductive/minsort.xml . 92.7 / 29.8 . 62.0 / 22.6
TRS_Standard/AProVE_09_Inductive/mod.xml . 68.5 / 29.5 . 34.3 / 11.3
TRS_Standard/AProVE_09_Inductive/qsort.xml . 80.8 / 29.9 . 90.8 / 27.6
TRS_Standard/AProVE_09_Inductive/qsortlast.xml . 85.1 / 29.4 . 109.9 / 29.3
TRS_Standard/AProVE_09_Inductive/qsortmiddle.xml . 76.6 / 29.9 . 87.0 / 29.4
TRS_Standard/AProVE_09_Inductive/zerolist.xml . 73.8 / 30.0 . 13.9 / 7.2
TRS_Standard/AProVE_10/Zantema06-03-modified.xml . 110.7 / 29.6 . 76.5 / 29.7
TRS_Standard/AProVE_10/andIsNat.xml NO 55.9 / 23.0 . 81.5 / 29.2
TRS_Standard/AProVE_10/challenge_fab.xml . 57.7 / 29.4 . 114.8 / 29.3
TRS_Standard/AProVE_10/double.xml NO 26.6 / 12.6 . 15.3 / 7.2
TRS_Standard/AProVE_10/downfrom.xml . 81.7 / 29.4 . 87.9 / 29.2
TRS_Standard/AProVE_10/ex1.xml NO 24.4 / 11.8 . 26.7 / 9.9
TRS_Standard/AProVE_10/ex2.xml NO 33.3 / 12.4 . 66.6 / 29.3
TRS_Standard/AProVE_10/ex3.xml NO 38.2 / 12.2 . 29.4 / 11.1
TRS_Standard/AProVE_10/ex4.xml NO 80.2 / 16.0 . 39.3 / 16.2
TRS_Standard/AProVE_10/ex5.xml YES 3.3 / 2.1 YES 0.4 / 0.3
TRS_Standard/AProVE_10/halfdouble.xml NO 27.1 / 12.9 . 114.5 / 29.3
TRS_Standard/AProVE_10/isList.xml NO 4.4 / 2.1 NO 0.3 / 0.3
TRS_Standard/AProVE_10/isNat.xml NO 23.1 / 11.7 . 14.4 / 7.2
TRS_Standard/AProVE_10/scnp.xml YES 3.5 / 2.1 YES 0.6 / 0.3
TRS_Standard/AotoYamada_05/001.xml NO 5.7 / 2.2 NO 0.2 / 0.2
TRS_Standard/AotoYamada_05/002.xml YES 4.0 / 1.9 YES 2.9 / 1.3
TRS_Standard/AotoYamada_05/003.xml NO 6.1 / 4.5 NO 0.2 / 0.2
TRS_Standard/AotoYamada_05/004.xml YES 3.8 / 1.7 YES 2.8 / 0.9
TRS_Standard/AotoYamada_05/005.xml YES 3.9 / 1.6 YES 0.4 / 0.3
TRS_Standard/AotoYamada_05/006.xml YES 3.6 / 1.7 YES 3.0 / 1.0
TRS_Standard/AotoYamada_05/007.xml YES 3.8 / 1.7 YES 3.5 / 1.5
TRS_Standard/AotoYamada_05/009.xml YES 4.1 / 2.0 YES 2.9 / 1.1
TRS_Standard/AotoYamada_05/010.xml YES 5.6 / 2.2 . 30.7 / 10.6
TRS_Standard/AotoYamada_05/011.xml YES 5.6 / 2.7 . 33.1 / 11.1
TRS_Standard/AotoYamada_05/012.xml YES 4.0 / 5.8 YES 3.0 / 1.2
TRS_Standard/AotoYamada_05/013.xml YES 4.1 / 1.7 YES 3.4 / 1.1
TRS_Standard/AotoYamada_05/014.xml YES 3.9 / 1.7 YES 5.6 / 2.1
TRS_Standard/AotoYamada_05/015.xml YES 4.0 / 1.7 YES 3.1 / 1.0
TRS_Standard/AotoYamada_05/016.xml YES 4.5 / 1.9 YES 4.1 / 1.3
TRS_Standard/AotoYamada_05/017.xml YES 3.9 / 2.6 YES 0.4 / 0.3
TRS_Standard/AotoYamada_05/019.xml YES 3.6 / 1.9 YES 1.7 / 0.8
TRS_Standard/AotoYamada_05/020.xml YES 4.2 / 2.8 YES 3.8 / 1.3
TRS_Standard/AotoYamada_05/021.xml YES 4.1 / 1.8 YES 5.2 / 2.3
TRS_Standard/AotoYamada_05/022.xml YES 4.0 / 1.7 YES 2.5 / 0.9
TRS_Standard/AotoYamada_05/023.xml YES 3.3 / 1.5 YES 0.3 / 0.3
TRS_Standard/AotoYamada_05/024.xml YES 3.8 / 2.2 YES 2.1 / 0.7
TRS_Standard/AotoYamada_05/025.xml YES 3.5 / 1.7 YES 0.4 / 0.3
TRS_Standard/AotoYamada_05/026.xml YES 3.8 / 2.0 YES 2.3 / 0.8
TRS_Standard/AotoYamada_05/027.xml YES 4.0 / 1.8 YES 3.1 / 1.0
TRS_Standard/AotoYamada_05/028.xml YES 3.8 / 1.9 YES 3.0 / 1.3
TRS_Standard/AotoYamada_05/Ex1SimplyTyped.xml YES 3.3 / 1.6 YES 2.9 / 1.0
TRS_Standard/AotoYamada_05/Ex5TermProof.xml . 81.8 / 29.9 . 25.1 / 8.4
TRS_Standard/Applicative_05/BTreeMember.xml YES 3.9 / 1.9 YES 4.6 / 1.5
TRS_Standard/Applicative_05/Ex10Functional.xml . 56.5 / 30.1 . 42.6 / 13.8
TRS_Standard/Applicative_05/Ex2PrimRec.xml . 53.7 / 30.1 . 31.6 / 11.1
TRS_Standard/Applicative_05/Ex2_6_1Composition.xml YES 3.6 / 1.6 YES 0.5 / 0.3
S_Standard/Applicative_05/Ex2_8_1ConstSubstFix.xml NO 50.0 / 22.9 NO 0.3 / 0.3
TRS_Standard/Applicative_05/Ex3Lists.xml YES 3.6 / 2.1 YES 4.2 / 1.4
TRS_Standard/Applicative_05/Ex4MapList.xml YES 7.0 / 1.6 YES 2.3 / 1.0
TRS_Standard/Applicative_05/Ex5Folding.xml . 65.4 / 30.1 . 26.4 / 9.4
TRS_Standard/Applicative_05/Ex5Sorting.xml . 72.5 / 30.1 . 53.8 / 16.6
TRS_Standard/Applicative_05/Ex6Folding.xml . 69.9 / 29.4 . 27.7 / 8.2
TRS_Standard/Applicative_05/Ex6Recursor.xml . 77.8 / 29.4 . 18.4 / 7.2
TRS_Standard/Applicative_05/Ex6_11.xml YES 3.7 / 1.9 YES 5.4 / 2.4
TRS_Standard/Applicative_05/Ex7OrdinalRec.xml . 72.6 / 29.5 . 37.6 / 12.7
TRS_Standard/Applicative_05/Ex7Sorting.xml . 71.9 / 30.1 . 51.0 / 22.1
TRS_Standard/Applicative_05/Ex7_9.xml YES 5.6 / 2.4 . 16.3 / 7.2
TRS_Standard/Applicative_05/Ex8Polymorphic.xml YES 3.9 / 1.7 YES 2.7 / 0.9
TRS_Standard/Applicative_05/Ex9Maps.xml YES 31.1 / 9.1 . 60.6 / 21.4
TRS_Standard/Applicative_05/Hamming.xml NO 7.4 / 3.2 NO 0.6 / 0.4
TRS_Standard/Applicative_05/ReverseLastInit.xml YES 3.5 / 1.6 YES 1.2 / 0.5
TRS_Standard/Applicative_05/TakeDropWhile.xml YES 4.5 / 2.5 YES 3.5 / 1.2
TRS_Standard/Applicative_05/TreeFlatten.xml YES 4.2 / 1.9 YES 4.0 / 1.3
TRS_Standard/Applicative_05/TreeHeight.xml YES 4.4 / 1.9 YES 5.2 / 2.1
TRS_Standard/Applicative_05/TreeLevels.xml YES 4.3 / 1.8 YES 6.7 / 2.3
TRS_Standard/Applicative_05/TreeMap.xml YES 4.1 / 2.4 YES 2.9 / 1.0
TRS_Standard/Applicative_05/TreeSize.xml YES 4.0 / 1.7 YES 4.7 / 1.9
TRS_Standard/Applicative_05/TypeEx1.xml YES 3.9 / 1.7 YES 3.4 / 1.2
TRS_Standard/Applicative_05/TypeEx3.xml NO 10.4 / 5.5 NO 0.2 / 0.2
TRS_Standard/Applicative_05/TypeEx5.xml NO 4.0 / 1.9 NO 0.2 / 0.2
TRS_Standard/Applicative_05/mapDivMinus.xml YES 4.0 / 4.5 . 16.8 / 7.2
TRS_Standard/Applicative_05/mapDivMinusHard.xml YES 5.3 / 4.9 . 94.4 / 29.3
TRS_Standard/Applicative_05/nonTermF.xml . 87.7 / 29.5 NO 0.4 / 0.3
TRS_Standard/Applicative_05/termMonTypes.xml NO 8.5 / 3.0 NO 0.5 / 0.3
TRS_Standard/Applicative_first_order_05/#3.10.xml YES 10.2 / 10.4 . 67.2 / 23.0
TRS_Standard/Applicative_first_order_05/#3.13.xml YES 8.2 / 3.0 . 26.5 / 7.5
TRS_Standard/Applicative_first_order_05/#3.16.xml YES 4.4 / 2.2 YES 8.0 / 2.9
TRS_Standard/Applicative_first_order_05/#3.18.xml YES 5.2 / 2.5 . 30.8 / 11.2
TRS_Standard/Applicative_first_order_05/#3.2.xml YES 5.6 / 3.1 . 15.2 / 7.2
TRS_Standard/Applicative_first_order_05/#3.22.xml YES 4.9 / 2.0 . 18.9 / 7.3
TRS_Standard/Applicative_first_order_05/#3.25.xml YES 7.0 / 2.7 . 16.4 / 7.2
TRS_Standard/Applicative_first_order_05/#3.27.xml YES 4.0 / 1.8 YES 5.4 / 1.9
TRS_Standard/Applicative_first_order_05/#3.32.xml YES 4.4 / 2.1 YES 3.8 / 1.3
TRS_Standard/Applicative_first_order_05/#3.36.xml YES 6.1 / 2.3 . 18.4 / 7.3
TRS_Standard/Applicative_first_order_05/#3.38.xml YES 5.4 / 3.8 . 25.8 / 10.6
TRS_Standard/Applicative_first_order_05/#3.40.xml YES 6.1 / 4.8 . 97.2 / 29.4
TRS_Standard/Applicative_first_order_05/#3.45.xml YES 4.9 / 2.0 YES 14.0 / 2.4
TRS_Standard/Applicative_first_order_05/#3.48.xml YES 4.5 / 2.2 YES 7.8 / 2.9
TRS_Standard/Applicative_first_order_05/#3.52.xml YES 4.4 / 1.9 YES 5.1 / 1.9
TRS_Standard/Applicative_first_order_05/#3.55.xml YES 7.4 / 3.3 . 26.0 / 7.4
TRS_Standard/Applicative_first_order_05/#3.57.xml YES 6.9 / 3.5 . 30.4 / 8.5
TRS_Standard/Applicative_first_order_05/#3.6.xml YES 6.1 / 2.8 . 23.6 / 7.8
TRS_Standard/Applicative_first_order_05/#3.8.xml YES 5.0 / 4.5 . 46.6 / 16.6
TRS_Standard/Applicative_first_order_05/01.xml YES 4.4 / 1.8 YES 5.9 / 1.9
TRS_Standard/Applicative_first_order_05/02.xml YES 4.4 / 2.1 YES 4.3 / 1.4
TRS_Standard/Applicative_first_order_05/06.xml YES 4.6 / 3.8 YES 5.2 / 2.1
TRS_Standard/Applicative_first_order_05/08.xml YES 4.6 / 1.9 YES 5.7 / 1.9
TRS_Standard/Applicative_first_order_05/11.xml YES 4.9 / 2.0 YES 11.5 / 3.8
TRS_Standard/Applicative_first_order_05/12.xml YES 4.3 / 1.8 YES 7.8 / 3.0
TRS_Standard/Applicative_first_order_05/13.xml YES 32.8 / 14.5 . 23.3 / 9.7
TRS_Standard/Applicative_first_order_05/17.xml YES 4.2 / 2.6 YES 8.2 / 3.2
TRS_Standard/Applicative_first_order_05/18.xml YES 4.0 / 1.8 YES 9.1 / 1.6
TRS_Standard/Applicative_first_order_05/21.xml YES 5.1 / 3.0 . 15.0 / 7.3
TRS_Standard/Applicative_first_order_05/29.xml YES 4.2 / 2.1 YES 5.9 / 1.9
TRS_Standard/Applicative_first_order_05/30.xml YES 3.8 / 1.8 YES 10.5 / 3.9
TRS_Standard/Applicative_first_order_05/31.xml YES 6.0 / 2.3 . 30.0 / 10.1
TRS_Standard/Applicative_first_order_05/33.xml . 89.1 / 29.5 . 86.2 / 29.4
TRS_Standard/Applicative_first_order_05/hydra.xml YES 4.5 / 2.3 YES 6.9 / 2.1
RS_Standard/Applicative_first_order_05/minsort.xml . 85.5 / 29.5 . 51.0 / 16.7
Standard/Applicative_first_order_05/motivation.xml YES 4.5 / 2.0 YES 5.5 / 1.9
RS_Standard/Applicative_first_order_05/perfect.xml YES 5.0 / 2.0 YES 19.2 / 5.5
S_Standard/Applicative_first_order_05/perfect2.xml YES 5.8 / 2.3 . 114.0 / 29.3
TRS_Standard/Beerendonk_07/1.xml YES 5.0 / 2.4 YES 2.7 / 0.9
TRS_Standard/Beerendonk_07/10.xml YES 6.0 / 2.6 YES 8.2 / 2.3
TRS_Standard/Beerendonk_07/11.xml YES 7.6 / 3.5 . 20.9 / 8.1
TRS_Standard/Beerendonk_07/12.xml YES 6.4 / 2.9 . 21.8 / 7.2
TRS_Standard/Beerendonk_07/13.xml YES 6.2 / 2.7 . 23.1 / 7.2
TRS_Standard/Beerendonk_07/14.xml YES 5.9 / 2.5 . 14.2 / 7.2
TRS_Standard/Beerendonk_07/15.xml YES 12.1 / 4.4 . 60.3 / 20.7
TRS_Standard/Beerendonk_07/16.xml YES 24.3 / 12.6 . 60.3 / 18.4
TRS_Standard/Beerendonk_07/17.xml YES 33.2 / 14.3 . 91.2 / 29.3
TRS_Standard/Beerendonk_07/18.xml YES 4.9 / 2.0 . 69.0 / 29.3
TRS_Standard/Beerendonk_07/19.xml YES 42.3 / 19.8 . 106.7 / 29.3
TRS_Standard/Beerendonk_07/2.xml YES 4.4 / 2.0 YES 3.2 / 1.0
TRS_Standard/Beerendonk_07/20.xml YES 4.2 / 1.9 . 42.6 / 12.6
TRS_Standard/Beerendonk_07/21.xml . 64.2 / 30.0 . 50.7 / 15.5
TRS_Standard/Beerendonk_07/22.xml YES 5.8 / 2.2 YES 4.8 / 1.4
TRS_Standard/Beerendonk_07/23.xml YES 5.6 / 2.2 YES 5.4 / 1.7
TRS_Standard/Beerendonk_07/24.xml YES 39.9 / 23.2 . 84.5 / 29.3
TRS_Standard/Beerendonk_07/3.xml YES 4.7 / 2.3 . 15.0 / 7.2
TRS_Standard/Beerendonk_07/4.xml YES 4.3 / 1.9 . 10.8 / 7.2
TRS_Standard/Beerendonk_07/5.xml YES 5.0 / 3.2 YES 4.1 / 1.3
TRS_Standard/Beerendonk_07/6.xml YES 4.6 / 2.0 YES 2.7 / 1.0
TRS_Standard/Beerendonk_07/7.xml YES 4.3 / 1.9 YES 3.2 / 1.1
TRS_Standard/Beerendonk_07/8.xml YES 4.1 / 1.7 YES 4.9 / 1.9
TRS_Standard/Beerendonk_07/9.xml YES 5.1 / 7.6 YES 4.3 / 1.4
TRS_Standard/CiME_04/ack_prolog.xml YES 3.5 / 1.6 YES 2.9 / 1.0
TRS_Standard/CiME_04/append-hard.xml YES 3.9 / 1.8 YES 2.5 / 0.9
TRS_Standard/CiME_04/append-wrong.xml NO 10.8 / 2.3 NO 0.5 / 0.3
TRS_Standard/CiME_04/append.xml YES 3.2 / 1.7 YES 1.9 / 0.8
TRS_Standard/CiME_04/big.xml YES 6.0 / 2.4 YES 33.5 / 10.9
TRS_Standard/CiME_04/boolean_rings.xml YES 3.4 / 1.6 YES 2.3 / 0.9
TRS_Standard/CiME_04/dpqs.xml YES 4.3 / 1.8 YES 3.2 / 1.0
TRS_Standard/CiME_04/fact-hard.xml YES 6.5 / 4.1 . 77.2 / 29.3
TRS_Standard/CiME_04/filliatre.xml YES 5.0 / 2.9 YES 7.6 / 2.5
TRS_Standard/CiME_04/filliatre2.xml YES 7.5 / 1.6 YES 9.0 / 2.5
TRS_Standard/CiME_04/filliatre3.xml YES 4.5 / 1.9 YES 13.6 / 3.8
TRS_Standard/CiME_04/intersect.xml YES 4.0 / 1.8 YES 6.5 / 1.9
RS_Standard/CiME_04/list-sum-prod-assoc-append.xml YES 4.1 / 2.0 YES 8.2 / 2.5
TRS_Standard/CiME_04/list-sum-prod-assoc.xml YES 3.9 / 1.8 YES 8.2 / 3.8
dard/CiME_04/list-sum-prod-bin-assoc-distr-app.xml YES 5.0 / 2.3 YES 17.3 / 5.8
TRS_Standard/CiME_04/list-sum-prod-bin-assoc.xml YES 4.6 / 2.3 YES 10.1 / 3.3
TRS_Standard/CiME_04/list-sum-prod-bin.xml YES 4.0 / 1.8 YES 11.7 / 5.0
TRS_Standard/CiME_04/list-sum-prod.xml YES 3.9 / 1.7 YES 9.2 / 3.5
TRS_Standard/CiME_04/log2.xml YES 5.6 / 2.1 YES 26.1 / 7.1
TRS_Standard/CiME_04/lse.xml YES 4.5 / 1.9 YES 12.7 / 4.4
TRS_Standard/CiME_04/maude2.xml . 106.2 / 29.4 . 55.7 / 19.8
TRS_Standard/CiME_04/mucrl1.xml YES 8.7 / 5.1 YES 26.7 / 7.5
TRS_Standard/CiME_04/ternary-hard.xml YES 4.7 / 1.9 YES 13.7 / 4.2
TRS_Standard/CiME_04/ternary.xml YES 4.7 / 2.0 YES 13.2 / 4.4
TRS_Standard/CiME_04/tree.xml YES 5.5 / 2.2 YES 32.1 / 9.9
TRS_Standard/Der95/01.xml YES 3.6 / 1.6 YES 0.4 / 0.3
TRS_Standard/Der95/02.xml YES 3.6 / 1.9 YES 0.3 / 0.2
TRS_Standard/Der95/03.xml YES 3.6 / 1.5 YES 0.7 / 0.4
TRS_Standard/Der95/04.xml YES 7.3 / 2.5 YES 0.8 / 0.4
TRS_Standard/Der95/06.xml YES 11.4 / 4.6 YES 1.3 / 0.5
TRS_Standard/Der95/07.xml YES 17.3 / 8.0 YES 0.7 / 0.3
TRS_Standard/Der95/08.xml YES 3.8 / 1.7 YES 16.3 / 5.4
TRS_Standard/Der95/09.xml YES 3.2 / 2.1 YES 0.4 / 0.3
TRS_Standard/Der95/11.xml YES 4.0 / 1.8 YES 12.4 / 5.6
TRS_Standard/Der95/12.xml YES 3.7 / 1.6 YES 3.6 / 1.3
TRS_Standard/Der95/13.xml YES 30.6 / 13.8 . 26.9 / 8.1
TRS_Standard/Der95/17.xml YES 3.4 / 1.7 YES 0.4 / 0.3
TRS_Standard/Der95/18.xml YES 3.2 / 1.6 YES 1.4 / 0.6
TRS_Standard/Der95/20.xml YES 3.3 / 1.9 YES 0.6 / 0.4
TRS_Standard/Der95/21.xml YES 7.1 / 1.8 YES 2.9 / 1.0
TRS_Standard/Der95/27.xml YES 3.5 / 1.8 YES 0.4 / 0.3
TRS_Standard/Der95/28.xml YES 3.7 / 1.9 YES 1.8 / 0.9
TRS_Standard/Der95/30.xml . 80.0 / 29.4 YES 3.5 / 1.2
TRS_Standard/Der95/31.xml YES 3.7 / 1.9 YES 3.0 / 1.1
TRS_Standard/Der95/32.xml YES 3.7 / 2.0 YES 3.5 / 1.2
TRS_Standard/Der95/33.xml . 102.0 / 29.6 . 115.0 / 29.3
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_1.xml NO 38.4 / 12.1 . 36.0 / 11.7
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_2.xml . 51.2 / 30.1 . 85.0 / 29.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_3.xml . 81.1 / 29.4 . 81.2 / 29.3
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_4.xml NO 38.9 / 12.2 . 15.9 / 7.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_5.xml NO 38.4 / 12.1 . 17.5 / 7.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_1.xml . 93.7 / 29.4 . 43.8 / 17.5
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_2.xml NO 36.2 / 12.8 . 80.2 / 29.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_3.xml . 81.0 / 29.5 . 25.2 / 8.3
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_4.xml NO 71.0 / 23.7 . 51.5 / 19.3
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_5.xml NO 68.9 / 23.5 . 45.6 / 15.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_1.xml NO 34.8 / 12.1 . 24.6 / 7.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_2.xml NO 31.7 / 12.5 . 12.5 / 7.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_3.xml NO 36.0 / 12.7 . 19.6 / 7.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_4.xml . 80.6 / 29.6 . 34.1 / 12.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_1.xml NO 23.9 / 12.4 . 19.0 / 7.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_2.xml NO 29.7 / 13.7 . 75.3 / 29.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_3.xml NO 35.8 / 17.1 . 80.6 / 29.3
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_4.xml NO 23.1 / 12.1 . 18.4 / 7.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_1.xml NO 34.0 / 15.7 . 83.6 / 29.3
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_2.xml NO 34.0 / 13.9 . 114.6 / 29.3
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_3.xml NO 35.2 / 16.6 . 26.3 / 7.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex6_1.xml NO 31.2 / 12.3 . 13.7 / 7.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex6_2.xml NO 28.7 / 13.1 . 21.3 / 7.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_1.xml . 44.6 / 30.0 . 71.8 / 29.7
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_2.xml . 97.1 / 29.4 . 86.1 / 29.3
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_3.xml . 76.9 / 29.6 . 114.9 / 29.4
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_4.xml . 105.9 / 29.5 . 103.8 / 29.3
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_5.xml . 79.7 / 29.6 . 114.9 / 29.4
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_6.xml . 70.9 / 29.6 . 94.4 / 29.4
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_7.xml . 74.7 / 30.0 . 103.9 / 29.3
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_8.xml . 72.4 / 29.6 . 115.1 / 29.4
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_9.xml . 67.7 / 29.7 . 95.0 / 29.3
TRS_Standard/EEG_IJCAR_12/enger-nonloop-add.xml NO 37.6 / 13.2 . 39.2 / 12.6
RS_Standard/EEG_IJCAR_12/enger-nonloop-addTrue.xml NO 37.3 / 13.2 . 39.6 / 12.1
S_Standard/EEG_IJCAR_12/enger-nonloop-ex_payet.xml . 72.1 / 29.5 . 26.7 / 8.5
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isDNat.xml NO 36.3 / 11.8 . 27.2 / 9.7
tandard/EEG_IJCAR_12/enger-nonloop-isList-List.xml . 67.8 / 30.1 . 16.3 / 7.2
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isList.xml NO 28.7 / 11.9 . 20.1 / 7.2
Standard/EEG_IJCAR_12/enger-nonloop-isTrueList.xml NO 27.0 / 13.2 . 23.6 / 8.2
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swapX.xml NO 36.9 / 11.8 . 25.4 / 8.7
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swapXY.xml NO 37.3 / 11.8 . 19.1 / 7.2
RS_Standard/EEG_IJCAR_12/enger-nonloop-swapXY2.xml NO 29.9 / 11.7 . 16.8 / 7.2
_Standard/EEG_IJCAR_12/enger-nonloop-swap_decr.xml NO 34.0 / 12.0 . 29.7 / 11.1
TRS_Standard/EEG_IJCAR_12/enger-nonloop-toOne.xml NO 35.1 / 11.9 . 114.8 / 29.3
_Standard/EEG_IJCAR_12/enger-nonloop-unbounded.xml NO 38.2 / 11.9 . 30.6 / 12.7
S_Standard/EEG_IJCAR_12/enger-nonloop-while-lt.xml NO 37.1 / 11.7 . 19.4 / 7.2
andard/EEG_IJCAR_12/rybalchenko-nonloop-popl08.xml NO 64.6 / 23.4 . 70.2 / 29.7
EG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.xml . 84.2 / 29.5 . 112.1 / 29.3
dard/EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.xml NO 22.6 / 17.4 . 77.3 / 29.7
TRS_Standard/Endrullis_06/direct.xml YES 5.1 / 7.6 YES 1.8 / 0.6
TRS_Standard/Endrullis_06/labeling.xml YES 18.1 / 7.8 . 5.1 / 1.9
TRS_Standard/Endrullis_06/linear1.xml YES 5.7 / 2.8 YES 2.6 / 1.0
TRS_Standard/Endrullis_06/linear2.xml YES 16.2 / 7.3 YES 29.4 / 7.9
TRS_Standard/Endrullis_06/pair2hard.xml . 69.0 / 29.4 YES 23.4 / 7.1
TRS_Standard/Endrullis_06/pair2simple1.xml YES 3.3 / 6.1 YES 6.1 / 1.8
TRS_Standard/Endrullis_06/pair2simple2.xml YES 4.8 / 2.4 . 69.7 / 26.2
TRS_Standard/Endrullis_06/pair3hard.xml YES 10.7 / 3.7 . 87.9 / 29.2
TRS_Standard/Endrullis_06/pair3rotate.xml YES 5.0 / 2.0 YES 21.1 / 6.4
TRS_Standard/Endrullis_06/pair3swap.xml YES 5.5 / 2.5 YES 22.4 / 6.5
TRS_Standard/Endrullis_06/quadruple1.xml YES 5.0 / 2.3 YES 18.3 / 5.5
TRS_Standard/Endrullis_06/quadruple2.xml YES 20.0 / 10.4 YES 1.6 / 0.6
TRS_Standard/GTSSK07/cade01.xml YES 4.9 / 2.1 . 25.2 / 8.7
TRS_Standard/GTSSK07/cade03.xml YES 4.6 / 2.3 . 24.2 / 8.2
TRS_Standard/GTSSK07/cade04t.xml . 80.6 / 29.4 . 12.4 / 7.2
TRS_Standard/GTSSK07/cade05t.xml YES 5.7 / 2.8 . 71.0 / 22.9
TRS_Standard/GTSSK07/cade06.xml . 81.8 / 30.1 . 30.9 / 11.6
TRS_Standard/GTSSK07/cade07.xml . 80.8 / 29.6 . 32.0 / 11.1
TRS_Standard/GTSSK07/cade08.xml . 93.7 / 29.4 . 31.3 / 11.9
TRS_Standard/GTSSK07/cade09.xml YES 4.6 / 2.2 . 79.3 / 29.3
TRS_Standard/GTSSK07/cade10.xml YES 4.8 / 2.1 . 86.1 / 29.2
TRS_Standard/GTSSK07/cade11.xml YES 4.8 / 2.1 . 31.4 / 11.9
TRS_Standard/GTSSK07/cade12t.xml . 71.8 / 29.4 . 107.5 / 29.3
TRS_Standard/GTSSK07/cade13t.xml YES 5.7 / 2.3 . 17.5 / 7.6
TRS_Standard/GTSSK07/cade14.xml YES 11.2 / 5.2 . 35.5 / 13.2
TRS_Standard/GTSSK07/cade15.xml YES 14.8 / 5.9 . 58.8 / 19.9
TRS_Standard/GTSSK07/cade16.xml YES 5.4 / 2.3 . 33.6 / 12.2
TRS_Standard/GTSSK07/cade17.xml . 64.5 / 29.5 . 113.8 / 29.4
TRS_Standard/HirokawaMiddeldorp_04/n002.xml NO 2.6 / 1.4 NO 0.2 / 0.2
TRS_Standard/HirokawaMiddeldorp_04/n003.xml NO 6.9 / 3.5 NO 0.2 / 0.2
TRS_Standard/HirokawaMiddeldorp_04/n004.xml NO 7.2 / 3.1 NO 0.2 / 0.2
TRS_Standard/HirokawaMiddeldorp_04/n005.xml NO 2.9 / 1.6 NO 0.2 / 0.2
TRS_Standard/HirokawaMiddeldorp_04/n006.xml NO 2.9 / 1.4 NO 0.2 / 0.2
TRS_Standard/HirokawaMiddeldorp_04/n007.xml NO 4.3 / 2.1 NO 0.2 / 0.2
TRS_Standard/HirokawaMiddeldorp_04/n008.xml NO 9.9 / 3.3 NO 0.2 / 0.2
TRS_Standard/HirokawaMiddeldorp_04/t000.xml YES 4.9 / 2.3 YES 1.4 / 0.6
TRS_Standard/HirokawaMiddeldorp_04/t001.xml YES 5.4 / 2.7 YES 8.0 / 2.3
TRS_Standard/HirokawaMiddeldorp_04/t002.xml YES 4.6 / 1.9 . 13.1 / 7.2
TRS_Standard/HirokawaMiddeldorp_04/t003.xml YES 5.0 / 2.0 YES 6.3 / 1.9
TRS_Standard/HirokawaMiddeldorp_04/t004.xml YES 12.9 / 6.0 YES 4.8 / 1.4
TRS_Standard/HirokawaMiddeldorp_04/t005.xml YES 9.1 / 3.2 YES 15.2 / 5.2
TRS_Standard/HirokawaMiddeldorp_04/t006.xml YES 2.8 / 1.5 YES 0.4 / 0.3
TRS_Standard/HirokawaMiddeldorp_04/t007.xml YES 5.8 / 2.7 YES 0.4 / 0.3
TRS_Standard/HirokawaMiddeldorp_04/t008.xml YES 7.9 / 3.5 YES 2.6 / 1.1
TRS_Standard/HirokawaMiddeldorp_04/t009.xml YES 22.5 / 14.5 . 103.6 / 29.5
TRS_Standard/HirokawaMiddeldorp_04/t010.xml YES 5.1 / 3.0 YES 0.5 / 0.3
TRS_Standard/HirokawaMiddeldorp_04/t011.xml YES 3.3 / 1.6 YES 0.8 / 0.4
TRS_Standard/HirokawaMiddeldorp_04/t012.xml YES 3.6 / 1.8 YES 5.2 / 0.9
TRS_Standard/HirokawaMiddeldorp_04/t013.xml YES 4.4 / 2.2 YES 3.4 / 1.0
TRS_Standard/HirokawaMiddeldorp_04/t014.xml YES 4.5 / 2.2 YES 3.9 / 1.3
TRS_Standard/Hydras/goodstein.xml . 85.9 / 29.4 . 83.7 / 29.0
TRS_Standard/Hydras/hydra_buchholz.xml . 92.0 / 29.5 . 38.3 / 12.5
TRS_Standard/Hydras/hydra_touzet.xml . 49.6 / 30.1 . 81.5 / 26.8
TRS_Standard/Hydras/lepper_0.xml . 72.2 / 29.8 . 81.8 / 28.7
TRS_Standard/Hydras/lepper_1.xml . 81.1 / 29.4 . 92.1 / 29.3
TRS_Standard/Hydras/lepper_10.xml . 48.1 / 30.1 . 110.1 / 30.3
TRS_Standard/Hydras/lepper_2.xml . 55.9 / 30.0 . 99.1 / 29.3
TRS_Standard/Hydras/lepper_3.xml . 91.4 / 30.1 . 107.7 / 29.4
TRS_Standard/Hydras/lepper_4.xml . 83.3 / 29.9 . 112.5 / 29.4
TRS_Standard/Hydras/lepper_5.xml . 68.1 / 30.1 not finished
TRS_Standard/Hydras/lepper_6.xml . 94.7 / 29.7 . 103.5 / 30.0
TRS_Standard/Hydras/lepper_8.xml . 104.3 / 30.0 . 114.5 / 30.2
TRS_Standard/Hydras/lepper_9.xml . 108.7 / 30.0 . 113.2 / 30.2
TRS_Standard/Hydras/worm_fixed.xml . 73.9 / 29.6 . 55.1 / 17.3
TRS_Standard/Hydras/worm_fixed2.xml . 81.2 / 29.7 . 107.3 / 29.3
TRS_Standard/Hydras/worm_fixed3.xml . 95.5 / 29.4 . 109.4 / 29.3
TRS_Standard/Hydras/worm_wrong.xml YES 64.4 / 22.0 YES 25.3 / 8.6
TRS_Standard/MNZ_10/0.xml . 63.8 / 30.0 . 103.3 / 29.3
TRS_Standard/MNZ_10/1.xml YES 55.5 / 16.2 YES 19.9 / 6.1
TRS_Standard/MNZ_10/2.xml YES 87.0 / 24.5 YES 27.7 / 8.5
TRS_Standard/MNZ_10/3.xml YES 90.2 / 25.6 YES 34.8 / 9.2
TRS_Standard/MNZ_10/4.xml . 91.0 / 29.4 . 114.3 / 29.3
TRS_Standard/MNZ_10/5.xml . 103.3 / 29.6 . 114.5 / 29.3
TRS_Standard/MNZ_10/6.xml . 92.2 / 29.6 . 112.7 / 29.4
TRS_Standard/MNZ_10/7.xml . 71.1 / 30.1 . 114.7 / 29.4
TRS_Standard/MNZ_10/8.xml . 73.3 / 30.1 YES 26.8 / 7.1
TRS_Standard/MNZ_10/9.xml . 99.2 / 29.5 . 113.9 / 29.3
TRS_Standard/MNZ_10/labelled.xml . 37.5 / 30.1 . 86.6 / 30.1
TRS_Standard/MNZ_10/nrvsq.xml . 44.5 / 30.1 . 103.8 / 29.5
TRS_Standard/MNZ_10/nvsr.xml . 79.0 / 29.4 . 114.3 / 29.4
TRS_Standard/Mixed_TRS/1.xml YES 4.8 / 2.1 YES 1.5 / 0.7
TRS_Standard/Mixed_TRS/2.xml YES 4.3 / 1.9 YES 2.6 / 0.9
TRS_Standard/Mixed_TRS/3.xml YES 4.7 / 2.4 YES 1.2 / 0.5
TRS_Standard/Mixed_TRS/4.xml YES 4.5 / 2.2 YES 1.4 / 0.8
TRS_Standard/Mixed_TRS/5.xml YES 3.9 / 1.7 YES 0.8 / 0.4
TRS_Standard/Mixed_TRS/6.xml . 68.4 / 29.4 . 21.5 / 7.2
TRS_Standard/Mixed_TRS/7.xml . 68.7 / 29.4 . 42.7 / 16.0
TRS_Standard/Mixed_TRS/Ex1_Luc04b_GM.xml YES 5.9 / 2.2 YES 11.5 / 3.2
TRS_Standard/Mixed_TRS/beans.xml YES 5.6 / 2.2 . 115.2 / 29.3
TRS_Standard/Mixed_TRS/div_hard.xml . 84.0 / 29.6 . 40.1 / 7.2
TRS_Standard/Mixed_TRS/fossacs.xml . 73.6 / 29.4 . 67.9 / 29.3
TRS_Standard/Mixed_TRS/gcd.xml YES 4.4 / 1.9 YES 12.3 / 3.6
TRS_Standard/Mixed_TRS/gcdMinMax.xml YES 5.2 / 2.6 . 70.4 / 23.8
TRS_Standard/Mixed_TRS/gcd_triple.xml YES 6.6 / 2.6 YES 11.4 / 3.1
TRS_Standard/Mixed_TRS/hydra-Zantema06.xml . 88.2 / 29.6 . 112.1 / 29.3
TRS_Standard/Mixed_TRS/hydra.xml YES 3.1 / 1.6 YES 2.0 / 0.8
TRS_Standard/Mixed_TRS/jones1.xml YES 3.4 / 1.7 YES 0.4 / 0.3
TRS_Standard/Mixed_TRS/jones2.xml YES 3.6 / 1.6 YES 0.8 / 0.4
TRS_Standard/Mixed_TRS/jones4.xml YES 3.1 / 1.5 YES 0.5 / 0.4
TRS_Standard/Mixed_TRS/jones5.xml YES 3.6 / 2.3 YES 0.8 / 0.4
TRS_Standard/Mixed_TRS/jones6.xml YES 3.4 / 1.5 YES 1.5 / 0.5
TRS_Standard/Mixed_TRS/minsort.xml . 86.1 / 29.4 . 46.2 / 15.6
TRS_Standard/Mixed_TRS/motivation.xml YES 3.8 / 1.7 YES 1.7 / 0.6
TRS_Standard/Mixed_TRS/perfect.xml YES 3.3 / 1.9 YES 3.6 / 1.3
TRS_Standard/Mixed_TRS/perfect2.xml YES 4.4 / 4.7 YES 5.2 / 1.6
TRS_Standard/Mixed_TRS/sigma.xml . 61.2 / 29.4 . 30.6 / 9.7
TRS_Standard/Mixed_TRS/test1.xml YES 4.3 / 1.8 YES 0.9 / 0.4
TRS_Standard/Mixed_TRS/while.xml YES 4.1 / 1.9 . 18.5 / 7.2
TRS_Standard/Mixed_TRS/while2.xml . 89.2 / 29.4 . 94.0 / 29.3
TRS_Standard/Rubio_04/aoto.xml YES 4.2 / 1.7 YES 2.3 / 0.8
TRS_Standard/Rubio_04/bintrees.xml YES 3.0 / 1.5 YES 0.4 / 0.3
TRS_Standard/Rubio_04/bn122.xml YES 3.4 / 1.7 YES 1.3 / 0.6
TRS_Standard/Rubio_04/bn129.xml YES 3.2 / 2.9 YES 0.4 / 0.3
TRS_Standard/Rubio_04/division.xml YES 4.8 / 2.3 YES 4.7 / 1.6
TRS_Standard/Rubio_04/elimdupl.xml YES 4.9 / 2.4 YES 4.8 / 1.7
TRS_Standard/Rubio_04/enno.xml YES 5.6 / 2.5 YES 7.0 / 2.1
TRS_Standard/Rubio_04/gcd.xml YES 4.3 / 2.0 YES 7.7 / 2.4
TRS_Standard/Rubio_04/gm.xml YES 3.9 / 1.9 YES 3.3 / 1.2
TRS_Standard/Rubio_04/gmnp.xml YES 8.3 / 1.8 YES 1.6 / 1.1
TRS_Standard/Rubio_04/koen.xml YES 3.3 / 1.5 YES 0.3 / 0.2
TRS_Standard/Rubio_04/lescanne.xml YES 3.5 / 1.8 YES 0.5 / 0.3
TRS_Standard/Rubio_04/lindau.xml YES 3.3 / 1.5 YES 0.9 / 0.4
TRS_Standard/Rubio_04/logarquot.xml YES 4.0 / 1.8 YES 4.3 / 1.3
TRS_Standard/Rubio_04/ma96.xml YES 12.8 / 8.5 YES 15.9 / 4.8
TRS_Standard/Rubio_04/mfp90b.xml YES 3.5 / 1.5 YES 0.3 / 0.2
TRS_Standard/Rubio_04/mfp95.xml YES 3.1 / 1.7 YES 1.0 / 0.4
TRS_Standard/Rubio_04/nestrec.xml YES 19.3 / 7.9 YES 2.1 / 0.7
TRS_Standard/Rubio_04/p266.xml YES 3.6 / 1.9 YES 4.2 / 1.2
TRS_Standard/Rubio_04/polo2.xml YES 3.8 / 2.4 YES 14.3 / 5.6
TRS_Standard/Rubio_04/prov.xml YES 3.3 / 3.2 YES 1.3 / 0.5
TRS_Standard/Rubio_04/quick.xml YES 5.3 / 2.1 YES 8.7 / 2.6
TRS_Standard/Rubio_04/quotminus.xml YES 4.0 / 2.0 YES 3.6 / 1.1
TRS_Standard/Rubio_04/revlist.xml YES 5.0 / 2.1 YES 4.6 / 1.8
TRS_Standard/Rubio_04/selsort.xml YES 5.8 / 2.3 YES 12.3 / 3.5
TRS_Standard/Rubio_04/test4.xml YES 3.5 / 1.7 YES 0.8 / 0.4
TRS_Standard/Rubio_04/test829.xml YES 3.6 / 2.2 YES 2.1 / 1.0
TRS_Standard/Rubio_04/wst99.xml YES 7.6 / 2.8 YES 17.7 / 5.7
TRS_Standard/SK90/2.01.xml YES 3.5 / 1.5 YES 2.5 / 0.8
TRS_Standard/SK90/2.02.xml YES 3.7 / 1.6 YES 0.4 / 0.3
TRS_Standard/SK90/2.03.xml YES 3.2 / 1.5 YES 0.5 / 0.3
TRS_Standard/SK90/2.04.xml YES 3.3 / 1.5 YES 1.2 / 0.5
TRS_Standard/SK90/2.05.xml NO 6.9 / 3.9 NO 0.3 / 0.3
TRS_Standard/SK90/2.06.xml YES 4.0 / 2.5 YES 2.0 / 0.9
TRS_Standard/SK90/2.07.xml YES 3.3 / 1.5 YES 2.5 / 1.0
TRS_Standard/SK90/2.08.xml YES 3.3 / 1.6 YES 3.8 / 1.6
TRS_Standard/SK90/2.09.xml YES 3.3 / 1.6 YES 0.5 / 0.3
TRS_Standard/SK90/2.10.xml YES 3.8 / 2.3 YES 1.9 / 0.7
TRS_Standard/SK90/2.11.xml YES 3.9 / 1.9 YES 0.5 / 0.4
TRS_Standard/SK90/2.12.xml YES 3.6 / 1.7 YES 3.9 / 1.4
TRS_Standard/SK90/2.13.xml YES 3.7 / 2.6 YES 2.7 / 0.9
TRS_Standard/SK90/2.14.xml YES 3.7 / 1.7 YES 1.6 / 0.6
TRS_Standard/SK90/2.15.xml YES 3.6 / 1.8 YES 1.1 / 0.5
TRS_Standard/SK90/2.16.xml YES 3.5 / 1.6 YES 2.8 / 1.0
TRS_Standard/SK90/2.17.xml YES 3.5 / 2.3 YES 1.0 / 0.4
TRS_Standard/SK90/2.18.xml YES 3.3 / 1.5 YES 1.7 / 0.6
TRS_Standard/SK90/2.19.xml YES 3.2 / 1.5 YES 3.7 / 1.3
TRS_Standard/SK90/2.20.xml YES 3.5 / 1.6 YES 1.4 / 0.5
TRS_Standard/SK90/2.21.xml YES 3.1 / 1.6 YES 1.6 / 0.7
TRS_Standard/SK90/2.22.xml YES 3.7 / 1.6 YES 2.3 / 0.8
TRS_Standard/SK90/2.23.xml YES 3.5 / 1.6 YES 3.6 / 1.1
TRS_Standard/SK90/2.24.xml YES 3.3 / 1.6 YES 1.4 / 0.7
TRS_Standard/SK90/2.25.xml YES 3.2 / 1.6 YES 2.6 / 0.9
TRS_Standard/SK90/2.26.xml YES 4.2 / 2.5 YES 6.3 / 2.5
TRS_Standard/SK90/2.27.xml YES 3.7 / 1.6 YES 3.3 / 1.1
TRS_Standard/SK90/2.28.xml YES 3.5 / 1.7 YES 0.9 / 0.5
TRS_Standard/SK90/2.29.xml YES 3.6 / 1.6 YES 3.6 / 1.1
TRS_Standard/SK90/2.30.xml YES 3.9 / 1.6 YES 1.9 / 0.7
TRS_Standard/SK90/2.31.xml YES 3.2 / 1.5 YES 0.5 / 0.3
TRS_Standard/SK90/2.32.xml YES 3.8 / 2.6 YES 2.8 / 1.0
TRS_Standard/SK90/2.33.xml YES 3.3 / 1.5 YES 0.4 / 0.3
TRS_Standard/SK90/2.34.xml YES 3.6 / 1.9 YES 1.4 / 0.6
TRS_Standard/SK90/2.35.xml YES 3.2 / 1.5 YES 2.1 / 0.8
TRS_Standard/SK90/2.36.xml YES 3.6 / 6.6 YES 0.5 / 0.4
TRS_Standard/SK90/2.37.xml YES 3.4 / 1.7 YES 0.5 / 0.3
TRS_Standard/SK90/2.38.xml YES 3.2 / 1.5 YES 0.4 / 0.3
TRS_Standard/SK90/2.39.xml YES 3.6 / 1.7 YES 2.7 / 0.9
TRS_Standard/SK90/2.40.xml YES 3.4 / 1.6 YES 2.0 / 0.9
TRS_Standard/SK90/2.41.xml YES 3.5 / 1.5 YES 0.5 / 0.3
TRS_Standard/SK90/2.42.xml YES 3.9 / 1.7 YES 3.0 / 0.9
TRS_Standard/SK90/2.43.xml YES 3.4 / 1.6 YES 4.7 / 1.5
TRS_Standard/SK90/2.44.xml YES 3.7 / 1.7 YES 6.1 / 1.9
TRS_Standard/SK90/2.45.xml YES 3.6 / 1.7 YES 14.7 / 5.5
TRS_Standard/SK90/2.46.xml YES 11.2 / 3.6 YES 0.6 / 0.3
TRS_Standard/SK90/2.47.xml YES 8.9 / 3.6 YES 0.8 / 0.4
TRS_Standard/SK90/2.48.xml YES 4.3 / 1.7 YES 0.7 / 0.4
TRS_Standard/SK90/2.49.xml YES 5.6 / 2.3 YES 0.9 / 0.4
TRS_Standard/SK90/2.50.xml YES 9.6 / 4.0 YES 0.9 / 0.4
TRS_Standard/SK90/2.51.xml YES 3.2 / 2.0 YES 1.6 / 0.6
TRS_Standard/SK90/2.52.xml YES 3.9 / 1.7 YES 5.6 / 2.2
TRS_Standard/SK90/2.53.xml YES 3.4 / 1.7 YES 0.3 / 0.3
TRS_Standard/SK90/2.54.xml YES 3.5 / 1.8 YES 0.6 / 0.3
TRS_Standard/SK90/2.55.xml YES 3.3 / 1.6 YES 0.5 / 0.3
TRS_Standard/SK90/2.56.xml YES 3.1 / 1.5 YES 0.4 / 0.3
TRS_Standard/SK90/2.57.xml YES 3.2 / 1.5 YES 0.8 / 0.4
TRS_Standard/SK90/2.58.xml YES 3.5 / 1.6 YES 1.3 / 0.6
TRS_Standard/SK90/2.59.xml YES 3.4 / 1.8 YES 1.6 / 0.7
TRS_Standard/SK90/2.60.xml YES 3.6 / 1.6 YES 0.5 / 0.3
TRS_Standard/SK90/2.61.xml YES 3.5 / 1.5 YES 0.5 / 0.3
TRS_Standard/SK90/4.01.xml YES 3.5 / 1.8 YES 0.3 / 0.3
TRS_Standard/SK90/4.02.xml YES 3.8 / 1.9 . 62.5 / 26.9
TRS_Standard/SK90/4.03.xml YES 6.8 / 1.6 YES 3.4 / 1.1
TRS_Standard/SK90/4.04.xml YES 2.8 / 1.5 YES 0.4 / 0.3
TRS_Standard/SK90/4.05.xml YES 3.4 / 1.6 YES 1.7 / 0.7
TRS_Standard/SK90/4.06.xml NO 4.9 / 2.4 NO 0.5 / 0.3
TRS_Standard/SK90/4.07.xml YES 3.4 / 1.5 YES 0.4 / 0.3
TRS_Standard/SK90/4.08.xml YES 3.0 / 1.5 YES 0.9 / 0.4
TRS_Standard/SK90/4.09.xml YES 3.4 / 1.6 YES 2.9 / 1.3
TRS_Standard/SK90/4.10.xml YES 3.5 / 1.5 YES 2.2 / 0.9
TRS_Standard/SK90/4.11.xml YES 2.8 / 1.5 YES 0.5 / 0.8
TRS_Standard/SK90/4.12.xml YES 3.9 / 3.2 YES 1.1 / 0.4
TRS_Standard/SK90/4.13.xml YES 3.7 / 2.1 YES 3.6 / 1.4
TRS_Standard/SK90/4.14.xml YES 3.8 / 1.9 YES 4.4 / 1.3
TRS_Standard/SK90/4.15.xml YES 3.4 / 5.1 YES 0.5 / 0.3
TRS_Standard/SK90/4.16.xml YES 3.5 / 1.6 YES 2.6 / 0.9
TRS_Standard/SK90/4.17.xml YES 5.4 / 2.6 YES 1.5 / 0.7
TRS_Standard/SK90/4.18.xml YES 3.6 / 1.9 YES 2.1 / 0.7
TRS_Standard/SK90/4.19.xml YES 3.2 / 1.5 YES 0.5 / 0.7
TRS_Standard/SK90/4.20.xml YES 3.8 / 1.6 YES 2.0 / 0.8
TRS_Standard/SK90/4.21.xml YES 3.8 / 1.6 YES 2.9 / 1.1
TRS_Standard/SK90/4.22.xml YES 3.5 / 1.8 YES 2.8 / 1.2
TRS_Standard/SK90/4.23.xml YES 3.1 / 1.6 YES 2.3 / 0.9
TRS_Standard/SK90/4.24.xml YES 3.8 / 1.8 YES 3.4 / 1.2
TRS_Standard/SK90/4.25.xml YES 3.5 / 1.6 YES 0.4 / 0.3
TRS_Standard/SK90/4.26.xml YES 4.1 / 1.8 YES 5.0 / 1.5
TRS_Standard/SK90/4.27.xml YES 3.7 / 1.7 YES 4.0 / 1.2
TRS_Standard/SK90/4.28.xml YES 4.3 / 2.9 YES 10.8 / 4.1
TRS_Standard/SK90/4.29.xml YES 2.9 / 1.5 YES 0.4 / 0.3
TRS_Standard/SK90/4.30.xml YES 4.3 / 2.0 YES 5.6 / 1.6
TRS_Standard/SK90/4.31.xml YES 3.4 / 1.6 YES 4.0 / 1.2
TRS_Standard/SK90/4.32.xml YES 26.1 / 8.1 YES 9.3 / 2.5
TRS_Standard/SK90/4.33.xml YES 3.4 / 1.5 YES 0.7 / 0.3
TRS_Standard/SK90/4.34.xml NO 3.3 / 1.4 NO 1.6 / 0.6
TRS_Standard/SK90/4.35.xml YES 3.6 / 1.8 YES 0.9 / 0.5
TRS_Standard/SK90/4.36.xml YES 3.6 / 1.8 YES 1.2 / 0.5
TRS_Standard/SK90/4.37.xml YES 3.5 / 1.6 YES 0.7 / 0.4
TRS_Standard/SK90/4.38.xml YES 3.5 / 5.8 YES 0.4 / 0.3
TRS_Standard/SK90/4.39.xml YES 3.5 / 1.5 YES 0.9 / 0.4
TRS_Standard/SK90/4.40.xml NO 10.9 / 3.6 NO 0.3 / 0.2
TRS_Standard/SK90/4.41.xml YES 3.7 / 1.8 YES 1.0 / 0.5
TRS_Standard/SK90/4.42.xml YES 3.6 / 1.9 YES 2.2 / 0.8
TRS_Standard/SK90/4.43.xml YES 3.6 / 1.8 YES 5.1 / 1.7
TRS_Standard/SK90/4.44.xml YES 3.4 / 1.5 YES 1.5 / 0.8
TRS_Standard/SK90/4.45.xml YES 3.6 / 1.6 YES 0.4 / 0.3
TRS_Standard/SK90/4.46.xml YES 3.6 / 1.5 YES 0.3 / 0.3
TRS_Standard/SK90/4.47.xml YES 4.8 / 2.3 YES 1.6 / 0.7
TRS_Standard/SK90/4.48.xml YES 3.7 / 4.8 YES 0.4 / 0.3
TRS_Standard/SK90/4.49.xml NO 3.8 / 1.9 NO 0.2 / 0.2
TRS_Standard/SK90/4.50.xml YES 3.5 / 1.6 YES 0.4 / 0.3
TRS_Standard/SK90/4.51.xml YES 3.6 / 1.8 YES 1.4 / 0.6
TRS_Standard/SK90/4.52.xml YES 3.1 / 1.5 YES 0.4 / 0.3
TRS_Standard/SK90/4.53.xml YES 3.2 / 1.6 YES 17.2 / 5.4
TRS_Standard/SK90/4.54.xml NO 7.4 / 2.8 NO 0.3 / 0.3
TRS_Standard/SK90/4.55.xml YES 2.9 / 1.5 YES 0.6 / 0.3
TRS_Standard/SK90/4.56.xml YES 3.5 / 1.6 YES 0.4 / 0.3
TRS_Standard/SK90/4.57.xml YES 4.0 / 1.9 YES 2.6 / 1.6
TRS_Standard/SK90/4.59.xml YES 3.7 / 1.9 YES 5.8 / 1.8
TRS_Standard/SK90/4.60.xml YES 4.5 / 2.0 YES 7.1 / 2.3
TRS_Standard/SK90/4.61.xml YES 5.4 / 2.1 YES 14.1 / 4.6
TRS_Standard/Secret_05_TRS/aprove1.xml YES 6.9 / 3.1 . 112.9 / 29.3
TRS_Standard/Secret_05_TRS/aprove2.xml YES 8.6 / 3.3 . 39.3 / 13.5
TRS_Standard/Secret_05_TRS/aprove3.xml YES 8.7 / 3.7 . 29.5 / 10.8
TRS_Standard/Secret_05_TRS/aprove4.xml YES 5.2 / 2.3 . 34.4 / 13.2
TRS_Standard/Secret_05_TRS/aprove5.xml YES 5.9 / 2.4 . 26.7 / 9.0
TRS_Standard/Secret_05_TRS/cime1.xml . 66.2 / 30.1 . 113.0 / 29.6
TRS_Standard/Secret_05_TRS/cime2.xml YES 33.3 / 14.4 . 38.9 / 12.6
TRS_Standard/Secret_05_TRS/cime3.xml . 82.7 / 29.4 . 80.8 / 29.4
TRS_Standard/Secret_05_TRS/cime4.xml NO 3.7 / 1.9 . 1.8 / 0.7
TRS_Standard/Secret_05_TRS/cime5.xml YES 19.6 / 6.1 YES 32.7 / 8.8
TRS_Standard/Secret_05_TRS/matchbox1.xml YES 5.3 / 5.0 . 4.0 / 1.5
TRS_Standard/Secret_05_TRS/matchbox2.xml YES 4.2 / 7.2 YES 1.4 / 0.6
TRS_Standard/Secret_05_TRS/teparla1.xml YES 3.5 / 1.6 . 101.5 / 29.2
TRS_Standard/Secret_05_TRS/teparla2.xml YES 10.8 / 3.6 . 57.7 / 17.7
TRS_Standard/Secret_05_TRS/teparla3.xml not finished . 42.9 / 16.2
TRS_Standard/Secret_05_TRS/tpa1.xml YES 4.8 / 2.3 . 78.8 / 29.3
TRS_Standard/Secret_05_TRS/tpa2.xml YES 4.6 / 2.2 YES 4.9 / 1.5
TRS_Standard/Secret_05_TRS/tpa3.xml . 78.5 / 29.5 . 43.9 / 16.1
TRS_Standard/Secret_05_TRS/tpa4.xml . 78.4 / 29.6 . 56.4 / 19.1
TRS_Standard/Secret_05_TRS/tpa5.xml . 61.0 / 29.6 . 111.7 / 29.3
TRS_Standard/Secret_05_TRS/ttt1.xml NO 4.9 / 2.0 NO 1.2 / 0.5
TRS_Standard/Secret_05_TRS/ttt2.xml NO 4.5 / 2.3 NO 0.4 / 0.3
TRS_Standard/Secret_06_TRS/10.xml YES 12.1 / 4.2 YES 6.2 / 3.0
TRS_Standard/Secret_06_TRS/2.xml YES 33.6 / 12.3 YES 6.1 / 2.6
TRS_Standard/Secret_06_TRS/3.xml . 61.3 / 29.6 . 114.3 / 29.3
TRS_Standard/Secret_06_TRS/4.xml YES 5.4 / 2.4 YES 1.6 / 0.7
TRS_Standard/Secret_06_TRS/5.xml YES 4.8 / 2.1 YES 24.8 / 7.2
TRS_Standard/Secret_06_TRS/6.xml YES 7.8 / 3.1 YES 1.7 / 0.7
TRS_Standard/Secret_06_TRS/7.xml YES 9.6 / 10.5 YES 3.3 / 1.2
TRS_Standard/Secret_06_TRS/8.xml YES 3.8 / 2.7 YES 1.9 / 0.8
TRS_Standard/Secret_06_TRS/9.xml YES 5.5 / 2.6 YES 1.9 / 0.9
TRS_Standard/Secret_06_TRS/addList.xml YES 10.6 / 4.2 YES 37.5 / 9.7
TRS_Standard/Secret_06_TRS/cime1.xml . 89.1 / 29.4 . 47.3 / 17.3
TRS_Standard/Secret_06_TRS/divExp.xml YES 4.8 / 2.1 . 10.7 / 7.2
TRS_Standard/Secret_06_TRS/division.xml YES 8.4 / 3.6 . 24.5 / 7.2
TRS_Standard/Secret_06_TRS/double.xml YES 6.1 / 2.6 . 27.4 / 8.1
TRS_Standard/Secret_06_TRS/gen-1.xml YES 4.7 / 2.1 YES 2.4 / 0.8
TRS_Standard/Secret_06_TRS/gen-10.xml YES 5.7 / 2.7 YES 3.1 / 1.1
TRS_Standard/Secret_06_TRS/gen-14.xml YES 4.9 / 2.4 YES 8.2 / 2.3
TRS_Standard/Secret_06_TRS/gen-15.xml YES 4.5 / 2.9 YES 8.9 / 2.6
TRS_Standard/Secret_06_TRS/gen-17.xml YES 3.6 / 1.7 YES 24.9 / 5.7
TRS_Standard/Secret_06_TRS/gen-18.xml . 38.3 / 30.1 YES 16.1 / 6.8
TRS_Standard/Secret_06_TRS/gen-22.xml YES 6.8 / 2.6 YES 12.4 / 3.4
TRS_Standard/Secret_06_TRS/gen-25.xml YES 40.1 / 16.8 YES 17.6 / 5.3
TRS_Standard/Secret_06_TRS/gen-28.xml YES 35.0 / 17.1 YES 11.3 / 3.1
TRS_Standard/Secret_06_TRS/gen-9.xml YES 6.0 / 3.2 YES 6.2 / 3.5
TRS_Standard/Secret_06_TRS/logarithm.xml . 68.9 / 29.4 . 111.6 / 29.3
TRS_Standard/Secret_06_TRS/nrOfNodes.xml YES 9.8 / 11.8 . 50.9 / 18.7
TRS_Standard/Secret_06_TRS/reverse.xml YES 6.7 / 2.7 YES 9.3 / 3.0
TRS_Standard/Secret_06_TRS/sumList.xml YES 9.0 / 4.4 YES 21.3 / 5.7
TRS_Standard/Secret_06_TRS/times.xml . 91.2 / 30.1 . 34.8 / 11.4
TRS_Standard/Secret_06_TRS/toList.xml YES 17.8 / 9.5 . 78.5 / 29.3
TRS_Standard/Secret_06_TRS/tpa01.xml . 7.2 / 3.2 . 5.4 / 2.0
TRS_Standard/Secret_06_TRS/tpa02.xml . 17.4 / 5.7 . 12.3 / 7.2
TRS_Standard/Secret_06_TRS/tpa03.xml . 19.3 / 11.7 . 12.3 / 7.2
TRS_Standard/Secret_06_TRS/tpa04.xml . 67.7 / 30.1 . 99.7 / 29.3
TRS_Standard/Secret_06_TRS/tpa05.xml . 81.1 / 29.6 . 64.8 / 26.2
TRS_Standard/Secret_06_TRS/tpa06.xml . 64.0 / 30.1 . 114.2 / 29.3
TRS_Standard/Secret_06_TRS/tpa07.xml . 43.4 / 30.1 . 49.4 / 19.1
TRS_Standard/Secret_06_TRS/tpa08.xml . 63.9 / 30.1 . 49.2 / 23.1
TRS_Standard/Secret_06_TRS/tpa09.xml . 66.9 / 30.0 . 50.0 / 17.7
TRS_Standard/Secret_06_TRS/tpa10.xml YES 5.4 / 2.1 . 71.7 / 27.6
TRS_Standard/Secret_07_TRS/1.xml . 102.5 / 29.4 . 46.6 / 15.2
TRS_Standard/Secret_07_TRS/2.xml . 87.4 / 29.8 . 73.0 / 23.4
TRS_Standard/Secret_07_TRS/3.xml YES 67.4 / 27.3 . 95.9 / 29.3
TRS_Standard/Secret_07_TRS/4.xml . 83.5 / 29.4 . 78.1 / 29.3
TRS_Standard/Secret_07_TRS/5.xml YES 49.5 / 18.7 . 115.5 / 29.4
TRS_Standard/Secret_07_TRS/7.xml . 79.5 / 29.4 . 98.9 / 29.2
TRS_Standard/Secret_07_TRS/aprove01.xml . 103.7 / 29.5 . 83.8 / 29.5
TRS_Standard/Secret_07_TRS/aprove02.xml . 109.6 / 29.8 . 43.9 / 15.4
TRS_Standard/Secret_07_TRS/aprove03.xml . 80.1 / 29.4 . 83.8 / 29.4
TRS_Standard/Secret_07_TRS/aprove04.xml . 104.0 / 29.5 . 60.0 / 19.8
TRS_Standard/Secret_07_TRS/aprove05.xml . 76.0 / 30.1 . 33.6 / 11.9
TRS_Standard/Secret_07_TRS/aprove06.xml . 86.1 / 30.1 . 114.7 / 29.4
TRS_Standard/Secret_07_TRS/aprove07.xml . 63.0 / 29.9 . 26.2 / 8.9
TRS_Standard/Secret_07_TRS/aprove08.xml . 73.7 / 29.7 . 38.2 / 13.0
TRS_Standard/Secret_07_TRS/aprove09.xml . 91.6 / 29.9 . 55.3 / 22.3
TRS_Standard/Secret_07_TRS/aprove10.xml . 86.3 / 29.5 . 108.4 / 29.3
TRS_Standard/Secret_07_TRS/secret1.xml YES 4.2 / 1.8 YES 18.1 / 5.8
TRS_Standard/Secret_07_TRS/secret2.xml YES 3.8 / 1.7 YES 7.5 / 2.7
TRS_Standard/Secret_07_TRS/secret3.xml YES 3.5 / 1.7 YES 5.7 / 1.7
TRS_Standard/Secret_07_TRS/secret4.xml YES 3.9 / 1.8 YES 7.1 / 2.2
TRS_Standard/Secret_07_TRS/secret5.xml YES 5.1 / 2.6 YES 22.3 / 7.2
TRS_Standard/Strategy_removed_AG01/#4.12a.xml NO 4.1 / 1.8 NO 0.4 / 0.3
TRS_Standard/Strategy_removed_AG01/#4.13.xml NO 6.5 / 11.6 . 7.9 / 7.2
TRS_Standard/Strategy_removed_AG01/#4.14.xml NO 4.3 / 1.8 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_AG01/#4.15.xml NO 4.5 / 7.8 NO 0.3 / 0.3
TRS_Standard/Strategy_removed_AG01/#4.16.xml NO 4.3 / 2.3 NO 0.3 / 0.2
TRS_Standard/Strategy_removed_AG01/#4.17.xml NO 4.5 / 2.1 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_AG01/#4.18.xml NO 2.8 / 1.6 NO 1.9 / 0.7
TRS_Standard/Strategy_removed_AG01/#4.19.xml . 63.2 / 30.1 . 20.9 / 7.2
TRS_Standard/Strategy_removed_AG01/#4.2.xml NO 4.7 / 2.1 NO 0.4 / 0.3
TRS_Standard/Strategy_removed_AG01/#4.20.xml YES 5.4 / 2.2 YES 0.6 / 0.6
TRS_Standard/Strategy_removed_AG01/#4.20a.xml YES 5.8 / 2.6 YES 0.9 / 0.5
TRS_Standard/Strategy_removed_AG01/#4.21.xml YES 6.1 / 2.8 YES 0.8 / 0.4
TRS_Standard/Strategy_removed_AG01/#4.22.xml YES 3.5 / 1.6 YES 1.6 / 0.6
TRS_Standard/Strategy_removed_AG01/#4.23.xml YES 4.0 / 2.0 YES 5.5 / 1.1
TRS_Standard/Strategy_removed_AG01/#4.25.xml YES 3.6 / 1.6 . 1.0 / 0.5
TRS_Standard/Strategy_removed_AG01/#4.26.xml YES 4.6 / 2.2 YES 3.2 / 1.6
TRS_Standard/Strategy_removed_AG01/#4.27.xml YES 3.8 / 2.5 YES 4.3 / 1.4
TRS_Standard/Strategy_removed_AG01/#4.28.xml YES 9.9 / 4.1 YES 4.2 / 1.5
TRS_Standard/Strategy_removed_AG01/#4.29.xml YES 5.3 / 2.1 YES 7.5 / 2.1
TRS_Standard/Strategy_removed_AG01/#4.3.xml NO 3.8 / 2.0 . 8.0 / 7.2
TRS_Standard/Strategy_removed_AG01/#4.30.xml YES 7.2 / 3.1 . 41.5 / 10.3
TRS_Standard/Strategy_removed_AG01/#4.30a.xml YES 4.6 / 2.3 . 10.6 / 7.6
TRS_Standard/Strategy_removed_AG01/#4.30b.xml YES 9.1 / 5.4 . 29.9 / 8.9
TRS_Standard/Strategy_removed_AG01/#4.30c.xml YES 12.7 / 6.8 . 60.4 / 21.9
TRS_Standard/Strategy_removed_AG01/#4.32.xml YES 3.3 / 1.6 YES 1.5 / 0.6
TRS_Standard/Strategy_removed_AG01/#4.33.xml YES 4.3 / 2.2 YES 4.2 / 1.3
TRS_Standard/Strategy_removed_AG01/#4.34.xml YES 3.9 / 1.7 YES 4.3 / 1.6
TRS_Standard/Strategy_removed_AG01/#4.35.xml YES 6.5 / 2.9 YES 12.8 / 3.6
TRS_Standard/Strategy_removed_AG01/#4.36.xml YES 7.1 / 4.0 YES 10.8 / 5.6
TRS_Standard/Strategy_removed_AG01/#4.37.xml YES 3.6 / 1.6 YES 1.1 / 0.5
TRS_Standard/Strategy_removed_AG01/#4.37a.xml YES 3.3 / 1.7 YES 2.3 / 0.8
TRS_Standard/Strategy_removed_AG01/#4.4.xml NO 3.5 / 1.9 NO 0.3 / 0.3
TRS_Standard/Strategy_removed_AG01/#4.7.xml NO 4.5 / 2.2 NO 0.4 / 0.3
S_Standard/Strategy_removed_CSR_05/Ex14_AEGL02.xml NO 7.0 / 3.9 NO 0.2 / 0.2
RS_Standard/Strategy_removed_CSR_05/Ex15_Luc98.xml NO 6.5 / 2.7 NO 0.2 / 0.2
S_Standard/Strategy_removed_CSR_05/Ex1_2_AEL03.xml NO 7.0 / 2.6 NO 0.2 / 0.2
_Standard/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml NO 7.2 / 2.8 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_CSR_05/Ex1_GL02a.xml NO 7.2 / 2.9 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_CSR_05/Ex1_GM03.xml NO 4.1 / 1.8 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_CSR_05/Ex1_GM99.xml NO 4.1 / 2.8 NO 0.4 / 0.3
RS_Standard/Strategy_removed_CSR_05/Ex1_Luc02b.xml NO 7.0 / 4.8 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_CSR_05/Ex1_Zan97.xml NO 15.2 / 4.6 NO 0.3 / 0.3
TRS_Standard/Strategy_removed_CSR_05/Ex24_GM04.xml NO 3.6 / 1.9 . 0.9 / 0.4
S_Standard/Strategy_removed_CSR_05/Ex26_Luc03b.xml NO 7.4 / 3.2 NO 0.2 / 0.2
RS_Standard/Strategy_removed_CSR_05/Ex2_Luc03b.xml NO 6.9 / 2.7 NO 0.2 / 0.2
Standard/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml NO 7.2 / 2.7 NO 0.2 / 0.2
S_Standard/Strategy_removed_CSR_05/Ex3_2_Luc97.xml NO 7.5 / 3.3 NO 0.2 / 0.2
tandard/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml NO 8.4 / 3.0 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_CSR_05/Ex49_GM04.xml YES 3.4 / 1.8 YES 4.2 / 1.3
_Standard/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml NO 4.3 / 2.9 NO 0.2 / 0.2
tandard/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml NO 7.6 / 2.8 NO 0.3 / 0.3
tandard/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml NO 6.4 / 3.6 NO 0.2 / 0.2
tandard/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml NO 6.1 / 3.2 NO 0.2 / 0.2
tandard/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml NO 5.2 / 2.2 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_CSR_05/Ex4_Zan97.xml NO 6.0 / 2.3 NO 0.2 / 0.2
S_Standard/Strategy_removed_CSR_05/Ex5_7_Luc97.xml NO 7.0 / 2.7 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_CSR_05/Ex5_Zan97.xml NO 6.0 / 2.8 NO 0.2 / 0.2
_Standard/Strategy_removed_CSR_05/Ex6_15_AEL02.xml NO 7.3 / 2.8 NO 0.2 / 0.2
_Standard/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml NO 7.0 / 2.5 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_CSR_05/Ex6_GM04.xml NO 7.0 / 3.1 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_CSR_05/Ex6_Luc98.xml NO 7.2 / 2.7 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_CSR_05/Ex7_BLR02.xml NO 7.3 / 2.7 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_CSR_05/Ex8_BLR02.xml NO 4.6 / 2.9 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_CSR_05/Ex9_BLR02.xml NO 8.4 / 4.9 NO 0.2 / 0.2
dard/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml NO 7.2 / 3.7 NO 0.2 / 0.2
_Standard/Strategy_removed_CSR_05/ExConc_Zan97.xml NO 3.0 / 1.4 NO 0.2 / 0.3
Standard/Strategy_removed_CSR_05/ExIntrod_GM01.xml NO 6.8 / 2.4 NO 0.2 / 0.2
Standard/Strategy_removed_CSR_05/ExIntrod_GM04.xml NO 5.6 / 2.4 NO 0.2 / 0.2
Standard/Strategy_removed_CSR_05/ExIntrod_GM99.xml NO 8.4 / 3.5 NO 0.2 / 0.2
tandard/Strategy_removed_CSR_05/ExIntrod_Zan97.xml NO 7.2 / 3.4 NO 0.2 / 0.2
ard/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml NO 7.6 / 3.3 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_mixed_05/bn111.xml . 41.1 / 30.1 . 11.6 / 7.2
TRS_Standard/Strategy_removed_mixed_05/ex1.xml NO 13.0 / 5.4 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_mixed_05/ex2.xml NO 6.8 / 2.6 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_mixed_05/ex3.xml NO 9.7 / 3.4 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_mixed_05/ex4.xml NO 12.1 / 4.8 NO 0.3 / 0.2
TRS_Standard/Strategy_removed_mixed_05/ex5.xml NO 8.5 / 3.8 NO 0.2 / 0.2
TRS_Standard/Strategy_removed_mixed_05/ex6.xml NO 5.2 / 2.3 NO 0.4 / 0.3
TRS_Standard/Strategy_removed_mixed_05/gkg.xml NO 4.2 / 1.8 NO 0.3 / 0.3
TRS_Standard/Strategy_removed_mixed_05/muladd.xml NO 3.9 / 1.8 NO 0.3 / 0.3
TRS_Standard/Strategy_removed_mixed_05/n001.xml NO 3.0 / 1.4 NO 1.7 / 0.6
TRS_Standard/Strategy_removed_mixed_05/test10.xml NO 15.3 / 13.0 NO 0.4 / 0.3
TRS_Standard/Strategy_removed_mixed_05/test75.xml NO 4.2 / 6.5 NO 0.4 / 0.3
TRS_Standard/Strategy_removed_mixed_05/test76.xml NO 6.8 / 2.5 . 10.8 / 7.2
TRS_Standard/Strategy_removed_mixed_05/test77.xml NO 15.0 / 8.1 . 11.9 / 7.2
TRS_Standard/Strategy_removed_mixed_05/test830.xml YES 3.7 / 1.7 YES 1.9 / 0.7
TRS_Standard/Strategy_removed_mixed_05/test9.xml NO 5.3 / 3.1 NO 0.3 / 0.3
TRS_Standard/Strategy_removed_mixed_05/toyama.xml NO 3.9 / 1.8 . 7.8 / 7.2
TRS_Standard/Strategy_removed_mixed_05/tricky1.xml YES 6.8 / 1.9 YES 2.6 / 1.0
TRS_Standard/TCT_12/polycounter-10.xml YES 5.8 / 8.2 YES 2.1 / 1.2
TRS_Standard/TCT_12/polycounter-5.xml YES 3.5 / 1.8 YES 1.2 / 0.5
TRS_Standard/TCT_12/recursion-10.xml YES 3.9 / 1.8 YES 11.7 / 4.1
TRS_Standard/TCT_12/recursion-5.xml YES 4.0 / 2.0 YES 4.9 / 1.6
TRS_Standard/TCT_12/sat.xml YES 4.5 / 2.1 YES 6.0 / 1.9
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_C.xml . 82.9 / 29.6 YES 47.2 / 15.3
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_FR.xml NO 18.9 / 14.5 . 48.0 / 26.6
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_GM.xml YES 3.9 / 1.9 YES 6.6 / 2.1
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_L.xml NO 15.4 / 5.9 NO 0.3 / 0.3
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_Z.xml NO 10.3 / 3.7 NO 2.2 / 0.7
RS_Standard/Transformed_CSR_04/Ex14_AEGL02_iGM.xml YES 8.8 / 3.8 YES 7.4 / 2.3
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_C.xml . 71.0 / 29.5 . 103.6 / 29.4
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_FR.xml NO 5.4 / 2.5 NO 0.5 / 0.3
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_GM.xml . 95.6 / 30.1 . 13.2 / 7.2
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_L.xml NO 7.0 / 2.5 NO 0.4 / 0.3
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_iGM.xml . 85.7 / 29.5 . 117.3 / 29.4
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_C.xml YES 12.8 / 4.4 YES 1.4 / 0.5
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_FR.xml YES 7.7 / 2.7 YES 1.1 / 0.4
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_GM.xml YES 7.5 / 2.8 YES 1.2 / 0.5
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_L.xml NO 5.9 / 2.2 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_Z.xml YES 5.2 / 2.1 YES 0.7 / 0.4
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_iGM.xml . 15.6 / 6.1 YES 4.4 / 1.3
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_C.xml YES 10.3 / 3.6 YES 24.5 / 7.6
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_FR.xml YES 10.6 / 3.6 YES 25.7 / 7.8
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_GM.xml YES 4.0 / 1.7 YES 5.6 / 1.6
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_L.xml NO 3.0 / 1.6 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_Z.xml YES 3.8 / 1.7 YES 13.7 / 5.5
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_iGM.xml YES 14.2 / 4.6 YES 27.2 / 7.3
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_C.xml YES 91.1 / 29.5 . 115.4 / 29.3
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_FR.xml YES 3.4 / 1.6 YES 0.6 / 0.3
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_GM.xml YES 3.7 / 2.0 YES 1.0 / 0.4
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_L.xml NO 8.7 / 2.9 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_iGM.xml YES 7.4 / 2.9 . 32.3 / 10.0
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_C.xml YES 11.3 / 3.8 YES 1.3 / 0.5
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_FR.xml YES 8.5 / 3.4 YES 0.4 / 0.3
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_GM.xml YES 8.6 / 3.3 YES 1.1 / 0.5
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_L.xml YES 2.9 / 1.4 YES 0.3 / 0.3
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_Z.xml YES 3.0 / 1.5 YES 0.4 / 0.3
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_iGM.xml YES 11.2 / 3.7 YES 3.2 / 1.0
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_C.xml . 92.0 / 29.5 . 115.7 / 29.6
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_FR.xml YES 3.9 / 1.8 YES 7.7 / 2.3
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_GM.xml . 109.5 / 29.6 . 103.8 / 29.5
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_L.xml NO 2.8 / 1.4 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_Z.xml YES 4.1 / 1.8 YES 6.7 / 2.5
RS_Standard/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml YES 99.8 / 26.9 . 114.9 / 29.4
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_C.xml YES 4.9 / 2.5 YES 8.5 / 2.4
RS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml YES 3.6 / 1.6 YES 4.5 / 1.5
RS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml YES 6.6 / 2.4 YES 7.2 / 2.4
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_L.xml NO 2.9 / 1.7 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml YES 3.8 / 1.6 YES 1.1 / 0.5
S_Standard/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml YES 13.3 / 4.2 YES 15.1 / 4.2
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_C.xml YES 44.3 / 12.6 YES 53.0 / 13.9
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_FR.xml . 82.2 / 29.7 . 102.9 / 29.4
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_GM.xml YES 3.5 / 1.7 YES 7.4 / 2.4
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_L.xml NO 5.5 / 2.2 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_Z.xml NO 72.0 / 22.9 . 111.1 / 29.3
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_iGM.xml YES 9.6 / 3.3 YES 22.1 / 6.9
TRS_Standard/Transformed_CSR_04/Ex1_GM03_C.xml . 93.0 / 29.5 . 101.4 / 29.5
TRS_Standard/Transformed_CSR_04/Ex1_GM03_FR.xml . 73.9 / 29.5 . 113.6 / 29.3
TRS_Standard/Transformed_CSR_04/Ex1_GM03_GM.xml . 108.7 / 29.4 . 102.1 / 29.4
TRS_Standard/Transformed_CSR_04/Ex1_GM03_L.xml NO 3.2 / 1.5 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex1_GM03_Z.xml NO 4.7 / 1.9 NO 0.2 / 0.3
TRS_Standard/Transformed_CSR_04/Ex1_GM03_iGM.xml . 91.8 / 29.7 . 103.5 / 29.5
TRS_Standard/Transformed_CSR_04/Ex1_GM99_C.xml . 48.1 / 30.1 . 102.8 / 29.4
TRS_Standard/Transformed_CSR_04/Ex1_GM99_FR.xml NO 3.5 / 1.7 NO 0.4 / 0.3
TRS_Standard/Transformed_CSR_04/Ex1_GM99_GM.xml NO 6.5 / 2.6 . 28.4 / 10.2
TRS_Standard/Transformed_CSR_04/Ex1_GM99_L.xml NO 9.6 / 5.4 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex1_GM99_iGM.xml NO 14.0 / 6.6 . 96.9 / 29.2
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_C.xml . 109.7 / 30.1 . 115.6 / 29.4
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_FR.xml YES 5.0 / 2.8 YES 17.2 / 6.6
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_GM.xml . 95.7 / 29.5 . 112.1 / 29.4
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_L.xml NO 2.7 / 1.4 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_Z.xml YES 3.4 / 1.6 YES 16.2 / 5.5
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_iGM.xml . 74.3 / 30.1 . 114.3 / 29.4
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_C.xml YES 18.6 / 6.6 YES 26.5 / 7.2
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_FR.xml NO 12.2 / 4.8 NO 0.4 / 0.3
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_GM.xml YES 6.9 / 2.7 YES 12.2 / 3.4
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_L.xml NO 2.5 / 1.4 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_Z.xml NO 6.8 / 2.5 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_iGM.xml YES 11.9 / 4.0 YES 29.7 / 8.3
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_C.xml YES 15.8 / 5.2 YES 2.1 / 0.9
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_FR.xml NO 19.9 / 6.2 NO 0.4 / 0.3
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_GM.xml YES 5.2 / 2.4 YES 0.4 / 0.3
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_L.xml NO 7.1 / 2.5 NO 0.3 / 0.2
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_iGM.xml YES 7.7 / 3.0 YES 3.7 / 1.4
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_C.xml YES 23.1 / 8.5 YES 1.6 / 0.7
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_FR.xml YES 20.2 / 3.5 YES 0.5 / 0.3
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_GM.xml YES 7.7 / 3.3 YES 3.3 / 1.2
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_L.xml YES 3.1 / 1.4 YES 0.3 / 0.2
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_Z.xml YES 3.5 / 1.6 YES 0.3 / 0.2
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_iGM.xml YES 11.9 / 4.0 YES 6.3 / 2.6
TRS_Standard/Transformed_CSR_04/Ex24_GM04_C.xml . 82.4 / 29.7 . 103.7 / 29.4
TRS_Standard/Transformed_CSR_04/Ex24_GM04_FR.xml . 52.7 / 29.7 . 8.6 / 7.6
TRS_Standard/Transformed_CSR_04/Ex24_GM04_GM.xml NO 39.9 / 26.0 . 8.5 / 7.2
TRS_Standard/Transformed_CSR_04/Ex24_GM04_L.xml NO 6.7 / 3.1 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex24_GM04_Z.xml NO 35.3 / 18.1 NO 2.7 / 0.9
TRS_Standard/Transformed_CSR_04/Ex24_GM04_iGM.xml . 88.1 / 29.5 . 37.9 / 12.7
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_C.xml . 75.2 / 30.0 YES 21.5 / 9.4
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_FR.xml NO 4.8 / 2.0 NO 0.3 / 0.3
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_GM.xml NO 4.7 / 2.0 NO 0.6 / 0.5
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_L.xml NO 7.9 / 2.8 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_iGM.xml NO 10.0 / 4.5 . 115.2 / 29.4
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_C.xml YES 32.7 / 9.6 YES 1.0 / 0.4
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_FR.xml YES 29.7 / 8.7 YES 5.8 / 1.7
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_GM.xml YES 15.3 / 5.1 YES 10.1 / 3.0
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_L.xml YES 2.8 / 1.6 YES 0.3 / 0.3
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_Z.xml YES 7.7 / 2.7 YES 0.6 / 0.3
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_iGM.xml YES 38.5 / 17.9 YES 16.8 / 4.5
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_C.xml YES 21.3 / 6.8 YES 28.2 / 7.7
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_FR.xml YES 14.5 / 5.6 . 101.2 / 29.4
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_GM.xml YES 6.9 / 3.3 YES 38.0 / 11.4
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_L.xml YES 3.1 / 1.5 YES 0.4 / 0.3
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_Z.xml YES 8.6 / 3.0 YES 27.3 / 8.2
RS_Standard/Transformed_CSR_04/Ex26_Luc03b_iGM.xml YES 18.6 / 5.7 YES 34.3 / 10.3
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_C.xml YES 13.6 / 7.3 YES 22.5 / 10.3
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_FR.xml YES 5.4 / 2.1 YES 10.0 / 2.9
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_GM.xml YES 8.6 / 3.7 . 113.0 / 29.3
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_L.xml YES 3.4 / 1.6 YES 5.0 / 2.1
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_Z.xml YES 3.9 / 1.7 YES 6.2 / 1.9
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_iGM.xml YES 14.1 / 4.5 YES 23.1 / 10.3
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_C.xml YES 17.0 / 9.8 YES 26.1 / 6.9
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_FR.xml YES 7.4 / 2.7 YES 23.6 / 7.5
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_GM.xml YES 29.5 / 4.6 YES 19.6 / 5.3
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_L.xml YES 3.4 / 1.6 YES 0.4 / 0.3
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_Z.xml YES 5.0 / 2.4 YES 3.9 / 1.1
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_iGM.xml YES 10.2 / 3.4 YES 27.6 / 7.6
RS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_C.xml . 73.0 / 30.0 . 114.7 / 29.4
S_Standard/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml YES 3.4 / 1.8 YES 5.2 / 2.2
S_Standard/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml . 67.5 / 29.4 . 100.7 / 29.3
RS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_L.xml NO 3.3 / 2.0 NO 0.2 / 0.2
RS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml YES 3.3 / 1.5 YES 15.2 / 5.4
_Standard/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml . 71.4 / 29.8 . 114.8 / 29.4
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_C.xml . 49.0 / 30.1 . 95.2 / 29.5
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_FR.xml . 93.0 / 29.6 . 111.1 / 29.3
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_GM.xml . 109.8 / 30.1 . 108.8 / 29.3
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_L.xml NO 3.1 / 1.4 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_Z.xml . 90.8 / 29.7 . 107.3 / 29.3
RS_Standard/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml . 76.8 / 30.1 . 95.7 / 29.6
S_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml YES 11.0 / 4.4 YES 28.4 / 8.0
_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml . 67.7 / 30.1 . 107.6 / 29.3
_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml YES 7.2 / 7.1 YES 28.2 / 7.8
S_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml YES 3.2 / 1.7 YES 0.3 / 0.3
S_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml NO 6.6 / 2.5 NO 0.2 / 0.2
Standard/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml YES 10.8 / 3.8 YES 25.5 / 8.5
TRS_Standard/Transformed_CSR_04/Ex49_GM04_C.xml YES 8.6 / 3.1 YES 25.0 / 8.3
TRS_Standard/Transformed_CSR_04/Ex49_GM04_FR.xml YES 14.9 / 7.5 YES 37.5 / 11.5
TRS_Standard/Transformed_CSR_04/Ex49_GM04_GM.xml YES 5.1 / 2.2 YES 14.4 / 4.6
TRS_Standard/Transformed_CSR_04/Ex49_GM04_L.xml NO 2.6 / 1.4 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex49_GM04_Z.xml YES 4.6 / 2.3 YES 6.4 / 1.8
TRS_Standard/Transformed_CSR_04/Ex49_GM04_iGM.xml YES 13.8 / 5.4 YES 21.1 / 7.7
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_C.xml YES 3.2 / 1.5 YES 10.8 / 3.3
RS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml NO 9.4 / 4.3 NO 0.4 / 0.3
RS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml YES 4.5 / 3.6 YES 13.7 / 5.4
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_L.xml YES 2.9 / 1.4 YES 0.6 / 0.3
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml NO 5.2 / 2.4 NO 0.4 / 0.3
S_Standard/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml YES 4.5 / 2.0 YES 6.4 / 2.1
S_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml REJECTED-YES 94.5 / 30.1 YES 22.4 / 6.9
_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml YES 4.0 / 1.8 YES 5.2 / 1.8
_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml YES 4.5 / 2.1 YES 3.4 / 1.0
S_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml YES 3.4 / 1.5 YES 0.7 / 0.4
S_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml YES 3.9 / 1.8 YES 1.1 / 0.5
Standard/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml YES 8.3 / 4.3 YES 21.0 / 5.7
S_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml . 90.8 / 30.1 . 115.7 / 29.6
_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml YES 5.0 / 2.1 YES 13.4 / 4.2
_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml . 60.1 / 30.1 . 132.0 / 29.4
S_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml NO 2.7 / 1.4 NO 0.2 / 0.2
S_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml YES 4.0 / 1.7 YES 14.3 / 6.0
Standard/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml . 52.5 / 30.1 . 103.5 / 29.6
S_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml . 86.5 / 29.5 . 93.7 / 29.5
_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml YES 3.5 / 1.8 YES 4.1 / 1.4
_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml YES 19.1 / 5.8 YES 9.9 / 3.2
S_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml NO 2.9 / 1.8 NO 0.2 / 0.2
S_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml YES 3.1 / 1.5 YES 16.1 / 5.5
Standard/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml YES 18.8 / 9.2 YES 34.7 / 9.5
S_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml YES 5.2 / 2.5 YES 10.6 / 3.1
_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml YES 3.3 / 1.5 YES 0.3 / 0.3
_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml YES 3.3 / 1.5 YES 0.5 / 0.3
S_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml NO 3.2 / 1.7 NO 0.2 / 0.2
Standard/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml YES 4.2 / 2.1 YES 4.7 / 1.4
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_C.xml . 106.3 / 29.6 . 115.1 / 29.5
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_FR.xml NO 48.4 / 14.0 NO 4.6 / 1.3
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_GM.xml YES 36.3 / 12.5 . 103.3 / 29.6
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_L.xml NO 3.3 / 1.4 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_Z.xml NO 53.6 / 15.0 NO 4.7 / 1.4
RS_Standard/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml . 90.7 / 30.0 . 115.3 / 29.5
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_C.xml . 81.8 / 29.7 . 102.9 / 29.5
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_FR.xml YES 3.9 / 1.6 YES 5.4 / 1.9
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_GM.xml . 90.1 / 29.7 . 104.1 / 29.3
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_L.xml NO 2.9 / 1.4 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_Z.xml YES 3.7 / 2.0 YES 14.3 / 5.8
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_iGM.xml . 85.9 / 30.0 . 92.9 / 29.5
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_C.xml . 106.6 / 29.9 . 115.8 / 29.6
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_FR.xml . 112.0 / 30.0 . 89.8 / 29.3
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_GM.xml . 111.9 / 29.8 . 98.6 / 29.4
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_L.xml NO 2.9 / 1.4 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_Z.xml . 112.6 / 29.6 . 100.0 / 29.3
RS_Standard/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml . 103.7 / 29.5 . 114.8 / 29.5
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_C.xml YES 15.7 / 6.1 . 104.5 / 29.7
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_FR.xml NO 29.0 / 11.1 . 113.0 / 29.3
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_GM.xml YES 10.1 / 3.5 YES 23.6 / 6.3
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_L.xml NO 3.2 / 1.5 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_Z.xml NO 9.4 / 3.2 NO 0.4 / 0.3
RS_Standard/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml YES 26.0 / 9.4 YES 94.9 / 26.0
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_C.xml YES 7.0 / 3.8 YES 15.8 / 4.3
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_FR.xml YES 3.9 / 2.8 YES 1.7 / 0.7
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_GM.xml YES 3.9 / 2.2 YES 2.8 / 0.9
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_L.xml NO 3.4 / 1.7 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_Z.xml YES 3.6 / 1.6 YES 0.4 / 0.3
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_iGM.xml YES 6.0 / 2.4 YES 16.0 / 4.9
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_C.xml . 60.2 / 30.1 . 115.6 / 29.6
RS_Standard/Transformed_CSR_04/Ex6_15_AEL02_FR.xml NO 70.1 / 30.1 . 78.9 / 29.3
RS_Standard/Transformed_CSR_04/Ex6_15_AEL02_GM.xml . 112.7 / 29.7 . 114.9 / 29.4
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_L.xml NO 2.7 / 1.4 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_Z.xml NO 28.6 / 11.6 . 83.6 / 29.3
S_Standard/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml . 104.2 / 29.5 . 114.7 / 29.5
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_C.xml YES 4.5 / 2.1 YES 16.7 / 4.5
RS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml YES 4.0 / 1.7 YES 4.2 / 1.5
RS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml YES 10.3 / 3.4 YES 16.3 / 4.6
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_L.xml NO 3.0 / 1.6 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml YES 3.3 / 1.7 YES 5.1 / 1.7
S_Standard/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml YES 28.0 / 8.2 YES 23.9 / 6.3
TRS_Standard/Transformed_CSR_04/Ex6_GM04_C.xml YES 22.1 / 3.8 YES 4.4 / 1.3
TRS_Standard/Transformed_CSR_04/Ex6_GM04_FR.xml NO 13.9 / 7.0 NO 0.3 / 0.2
TRS_Standard/Transformed_CSR_04/Ex6_GM04_GM.xml YES 4.2 / 3.7 YES 0.4 / 0.3
TRS_Standard/Transformed_CSR_04/Ex6_GM04_L.xml YES 3.6 / 1.8 YES 0.3 / 0.2
TRS_Standard/Transformed_CSR_04/Ex6_GM04_iGM.xml YES 8.2 / 3.1 YES 5.1 / 1.5
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_C.xml YES 25.4 / 7.8 YES 17.3 / 5.2
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_FR.xml YES 5.4 / 3.5 YES 6.9 / 2.5
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_GM.xml YES 8.8 / 2.2 YES 7.8 / 2.4
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_L.xml YES 3.5 / 1.9 YES 0.3 / 0.2
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_Z.xml YES 3.8 / 1.7 YES 3.8 / 1.1
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_iGM.xml YES 8.0 / 2.8 YES 16.1 / 5.2
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_C.xml . 111.0 / 30.1 . 95.9 / 29.5
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_FR.xml YES 5.6 / 2.6 YES 10.9 / 3.4
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_GM.xml . 91.6 / 30.0 . 113.6 / 29.3
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_L.xml NO 3.2 / 1.7 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_Z.xml YES 3.6 / 1.6 YES 14.8 / 6.0
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_iGM.xml . 106.3 / 30.6 . 94.2 / 29.6
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_C.xml . 103.0 / 29.6 . 115.6 / 29.5
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_FR.xml YES 6.8 / 1.6 YES 8.7 / 3.2
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_GM.xml . 93.5 / 29.9 . 114.1 / 29.4
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_L.xml NO 2.7 / 1.5 NO 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_Z.xml YES 4.3 / 2.7 YES 7.4 / 2.5
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_iGM.xml . 91.5 / 29.5 . 115.0 / 29.5
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_C.xml YES 10.4 / 3.5 YES 19.6 / 10.6
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_FR.xml YES 16.8 / 6.5 YES 19.5 / 6.8
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_GM.xml YES 10.6 / 3.4 YES 21.3 / 7.8
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_L.xml YES 3.7 / 5.4 YES 0.4 / 0.3
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_Z.xml YES 5.2 / 2.9 YES 18.1 / 5.8
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_iGM.xml YES 12.0 / 3.9 YES 29.6 / 8.2
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_C.xml . 89.7 / 29.5 . 115.0 / 29.4
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_FR.xml NO 4.1 / 2.0 NO 0.4 / 0.3
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_GM.xml NO 7.4 / 2.7 . 38.3 / 11.4
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_L.xml NO 3.8 / 1.8 NO 0.3 / 0.3
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_iGM.xml . 74.7 / 29.4 . 94.9 / 29.2
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_C.xml YES 52.7 / 24.9 YES 7.6 / 2.2
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_FR.xml NO 4.4 / 2.2 NO 0.4 / 0.3
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_GM.xml YES 3.5 / 1.6 YES 1.1 / 0.7
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_iGM.xml YES 5.3 / 2.1 YES 5.5 / 1.6
tandard/Transformed_CSR_04/ExAppendixB_AEL03_C.xml . 87.6 / 30.1 . 105.4 / 29.7
andard/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml YES 4.0 / 1.9 YES 8.2 / 2.5
andard/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml . 109.3 / 29.6 . 113.7 / 29.5
tandard/Transformed_CSR_04/ExAppendixB_AEL03_L.xml NO 3.0 / 1.4 NO 0.2 / 0.2
tandard/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml YES 4.4 / 1.8 YES 13.9 / 5.6
ndard/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml . 92.2 / 29.8 . 104.4 / 29.6
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_C.xml YES 27.6 / 13.2 YES 0.8 / 0.4
RS_Standard/Transformed_CSR_04/ExConc_Zan97_FR.xml YES 10.8 / 3.5 YES 3.2 / 1.1
RS_Standard/Transformed_CSR_04/ExConc_Zan97_GM.xml YES 12.2 / 4.6 YES 4.3 / 1.4
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_L.xml YES 3.0 / 1.9 YES 0.2 / 0.2
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_Z.xml NO 2.8 / 1.4 NO 0.2 / 0.2
S_Standard/Transformed_CSR_04/ExConc_Zan97_iGM.xml YES 28.4 / 10.4 YES 11.2 / 3.0
RS_Standard/Transformed_CSR_04/ExIntrod_GM01_C.xml YES 9.4 / 3.2 YES 31.7 / 9.3
S_Standard/Transformed_CSR_04/ExIntrod_GM01_FR.xml NO 29.6 / 12.2 NO 2.4 / 0.8
S_Standard/Transformed_CSR_04/ExIntrod_GM01_GM.xml YES 7.8 / 2.7 YES 43.3 / 5.9
RS_Standard/Transformed_CSR_04/ExIntrod_GM01_L.xml NO 2.9 / 1.4 NO 0.2 / 0.2
RS_Standard/Transformed_CSR_04/ExIntrod_GM01_Z.xml NO 17.3 / 9.0 NO 0.6 / 0.3
_Standard/Transformed_CSR_04/ExIntrod_GM01_iGM.xml YES 15.6 / 6.4 YES 30.8 / 8.7
RS_Standard/Transformed_CSR_04/ExIntrod_GM04_C.xml YES 9.5 / 3.9 YES 27.0 / 7.4
S_Standard/Transformed_CSR_04/ExIntrod_GM04_FR.xml NO 42.1 / 18.5 . 114.9 / 29.4
S_Standard/Transformed_CSR_04/ExIntrod_GM04_GM.xml YES 5.6 / 2.4 YES 4.8 / 1.6
RS_Standard/Transformed_CSR_04/ExIntrod_GM04_L.xml NO 2.8 / 1.6 NO 0.2 / 0.2
RS_Standard/Transformed_CSR_04/ExIntrod_GM04_Z.xml NO 28.5 / 15.9 NO 3.1 / 1.0
_Standard/Transformed_CSR_04/ExIntrod_GM04_iGM.xml YES 10.9 / 3.7 YES 29.9 / 8.2
RS_Standard/Transformed_CSR_04/ExIntrod_GM99_C.xml . 75.1 / 30.1 . 115.2 / 29.5
S_Standard/Transformed_CSR_04/ExIntrod_GM99_FR.xml . 78.2 / 29.5 . 114.8 / 29.4
S_Standard/Transformed_CSR_04/ExIntrod_GM99_GM.xml YES 90.6 / 24.2 YES 43.8 / 11.9
RS_Standard/Transformed_CSR_04/ExIntrod_GM99_L.xml NO 2.8 / 1.4 NO 0.2 / 0.2
RS_Standard/Transformed_CSR_04/ExIntrod_GM99_Z.xml NO 19.6 / 6.3 NO 0.3 / 0.3
_Standard/Transformed_CSR_04/ExIntrod_GM99_iGM.xml . 100.0 / 29.5 . 103.5 / 29.5
S_Standard/Transformed_CSR_04/ExIntrod_Zan97_C.xml . 55.8 / 30.1 . 114.8 / 29.4
_Standard/Transformed_CSR_04/ExIntrod_Zan97_FR.xml . 67.7 / 29.4 . 114.1 / 29.3
_Standard/Transformed_CSR_04/ExIntrod_Zan97_GM.xml . 88.5 / 30.1 . 114.1 / 29.3
S_Standard/Transformed_CSR_04/ExIntrod_Zan97_L.xml NO 2.8 / 1.9 NO 0.2 / 0.2
S_Standard/Transformed_CSR_04/ExIntrod_Zan97_Z.xml NO 7.7 / 4.2 NO 0.2 / 0.2
Standard/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml . 84.2 / 29.8 . 114.7 / 29.4
RS_Standard/Transformed_CSR_04/ExProp7_Luc06_C.xml YES 29.2 / 8.8 YES 24.3 / 6.6
S_Standard/Transformed_CSR_04/ExProp7_Luc06_FR.xml YES 4.3 / 1.8 YES 1.9 / 0.7
S_Standard/Transformed_CSR_04/ExProp7_Luc06_GM.xml YES 4.5 / 2.3 YES 4.0 / 1.4
RS_Standard/Transformed_CSR_04/ExProp7_Luc06_L.xml YES 3.4 / 1.7 YES 0.8 / 0.4
RS_Standard/Transformed_CSR_04/ExProp7_Luc06_Z.xml YES 4.2 / 2.1 YES 1.7 / 0.7
_Standard/Transformed_CSR_04/ExProp7_Luc06_iGM.xml YES 13.2 / 4.4 YES 21.4 / 5.7
Standard/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml YES 16.9 / 5.4 YES 29.2 / 8.0
tandard/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml YES 5.7 / 2.2 YES 26.2 / 3.7
tandard/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml YES 9.3 / 4.1 . 115.1 / 29.4
Standard/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml YES 3.6 / 1.6 YES 6.1 / 2.2
Standard/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml YES 3.7 / 1.7 YES 6.9 / 2.1
andard/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml YES 19.1 / 5.9 YES 30.9 / 10.3
Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml . 104.3 / 29.7 . 123.8 / 37.4
tandard/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml YES 4.1 / 1.8 YES 18.8 / 5.5
tandard/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml . 87.9 / 29.8 . 101.1 / 29.6
Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml NO 3.2 / 4.6 NO 0.2 / 0.2
Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml YES 3.7 / 1.7 YES 17.2 / 5.4
andard/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml . 106.2 / 29.6 . 105.0 / 29.5
sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml . 104.7 / 29.6 . 114.8 / 29.8
nsformed_CSR_04/LISTUTILITIES_complete-noand_L.xml NO 2.9 / 1.4 NO 0.3 / 0.3
nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml . 70.7 / 30.1 . 114.7 / 29.9
rd/Transformed_CSR_04/LISTUTILITIES_complete_C.xml . 40.8 / 30.1 . 114.4 / 30.1
d/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml . 101.7 / 29.8 . 105.9 / 29.8
d/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml . 58.2 / 30.1 . 114.7 / 29.9
rd/Transformed_CSR_04/LISTUTILITIES_complete_L.xml NO 3.4 / 1.7 NO 0.3 / 0.3
rd/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml . 69.4 / 30.1 . 115.5 / 29.8
/Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml . 79.0 / 30.1 . 104.7 / 30.1
nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml . 52.1 / 30.1 . 65.6 / 30.1
sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml . 100.0 / 30.1 . 86.4 / 30.2
formed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml . 49.2 / 30.1 . 70.9 / 30.1
nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml . 93.6 / 29.6 . 115.7 / 29.7
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml NO 3.3 / 1.5 NO 0.3 / 0.3
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml . 87.5 / 29.8 . 105.4 / 29.8
ard/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml . 90.2 / 30.0 . 116.1 / 30.0
rd/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml . 96.8 / 30.1 . 115.7 / 29.7
rd/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml . 71.2 / 30.1 . 105.9 / 29.7
ard/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml NO 2.8 / 1.4 NO 0.2 / 0.2
ard/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml . 98.1 / 30.8 . 97.9 / 29.8
d/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml . 85.9 / 30.0 . 122.2 / 47.8
ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml . 62.3 / 30.1 . 114.7 / 30.0
nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml . 84.0 / 29.9 . 106.6 / 29.9
sformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml . 98.0 / 29.8 . 105.0 / 30.1
nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml YES 6.4 / 2.5 YES 25.4 / 6.0
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml NO 2.6 / 1.4 NO 0.2 / 0.2
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml YES 6.6 / 2.6 YES 17.2 / 5.6
ard/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml . 105.9 / 29.7 . 115.5 / 29.6
rd/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml YES 5.3 / 3.4 YES 12.2 / 6.5
rd/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml . 107.5 / 30.1 . 93.6 / 29.5
ard/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml NO 3.0 / 1.4 NO 0.2 / 0.2
ard/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml YES 4.4 / 2.2 YES 14.5 / 5.5
d/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml . 83.8 / 29.7 . 114.9 / 29.6
ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml . 90.3 / 30.1 . 96.8 / 30.0
nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml . 69.4 / 30.1 . 117.5 / 29.6
sformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml . 102.7 / 29.6 . 104.8 / 29.8
d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml . 99.4 / 30.1 . 123.5 / 41.6
ed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml NO 2.7 / 1.4 NO 0.2 / 0.2
ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml . 97.4 / 29.9 . 103.9 / 29.6
nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml . 86.2 / 30.0 . 115.7 / 29.9
sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml . 111.7 / 30.1 . 115.4 / 29.5
sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml YES 19.7 / 6.2 . 115.4 / 29.6
nsformed_CSR_04/LengthOfFiniteLists_complete_L.xml NO 3.2 / 1.7 NO 0.2 / 0.2
nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml . 113.7 / 29.9 . 111.8 / 29.6
formed_CSR_04/LengthOfFiniteLists_complete_iGM.xml . 85.2 / 29.9 . 83.2 / 30.2
ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml . 96.6 / 29.6 . 106.0 / 30.0
d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml YES 26.6 / 7.9 . 105.0 / 29.8
_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml . 102.8 / 30.1 . 93.5 / 29.8
ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml . 106.8 / 29.6 . 114.8 / 29.3
med_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml NO 3.0 / 1.4 NO 0.2 / 0.4
med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml NO 59.3 / 17.1 . 114.3 / 29.3
ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml . 72.1 / 30.1 . 115.8 / 29.5
nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml . 71.9 / 30.1 . 107.3 / 29.5
nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml YES 8.9 / 5.5 YES 20.3 / 5.6
ansformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml NO 3.1 / 1.6 NO 0.2 / 0.2
ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml NO 71.9 / 21.7 . 124.1 / 29.5
sformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml . 100.7 / 29.5 . 119.3 / 29.5
med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml . 103.9 / 29.6 . 115.2 / 29.7
ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml YES 9.7 / 4.0 YES 29.3 / 7.9
d_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml YES 66.7 / 22.6 . 115.5 / 29.6
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml NO 6.5 / 3.2 NO 0.5 / 0.3
med_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml NO 2.9 / 1.4 NO 0.2 / 0.2
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml . 96.1 / 30.1 . 114.9 / 29.4
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml NO 4.9 / 2.0 NO 0.4 / 0.3
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml NO 5.1 / 2.3 NO 0.4 / 0.8
ansformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml NO 3.0 / 1.4 NO 0.2 / 0.3
sformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml NO 27.4 / 10.3 . 114.6 / 29.3
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml . 87.5 / 29.8 . 115.1 / 29.4
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml NO 9.6 / 3.5 NO 7.7 / 2.2
d_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml . 87.5 / 29.7 . 114.7 / 29.5
ard/Transformed_CSR_04/MYNAT_complete-noand_FR.xml YES 52.7 / 17.9 . 107.8 / 29.7
dard/Transformed_CSR_04/MYNAT_complete-noand_L.xml NO 3.6 / 2.4 NO 0.2 / 0.2
dard/Transformed_CSR_04/MYNAT_complete-noand_Z.xml YES 34.3 / 10.8 . 115.8 / 29.6
S_Standard/Transformed_CSR_04/MYNAT_complete_C.xml YES 18.8 / 5.8 . 105.6 / 29.9
_Standard/Transformed_CSR_04/MYNAT_complete_FR.xml YES 5.1 / 2.3 . 113.0 / 29.6
_Standard/Transformed_CSR_04/MYNAT_complete_GM.xml YES 6.1 / 2.8 . 105.1 / 29.6
S_Standard/Transformed_CSR_04/MYNAT_complete_L.xml NO 2.9 / 1.6 NO 0.2 / 0.2
S_Standard/Transformed_CSR_04/MYNAT_complete_Z.xml YES 9.1 / 2.0 . 121.4 / 44.4
Standard/Transformed_CSR_04/MYNAT_complete_iGM.xml YES 10.6 / 3.5 . 106.1 / 29.6
dard/Transformed_CSR_04/MYNAT_complete_noand_C.xml . 93.8 / 29.7 . 96.6 / 30.0
ard/Transformed_CSR_04/MYNAT_complete_noand_GM.xml YES 37.8 / 12.6 . 100.6 / 29.8
rd/Transformed_CSR_04/MYNAT_complete_noand_iGM.xml . 110.0 / 29.7 . 114.4 / 29.8
dard/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml YES 14.7 / 5.5 . 86.4 / 29.4
ndard/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml NO 3.0 / 1.4 NO 0.2 / 0.2
ndard/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml YES 13.7 / 4.4 . 113.6 / 29.5
RS_Standard/Transformed_CSR_04/MYNAT_nokinds_C.xml YES 7.5 / 2.9 . 95.8 / 29.6
S_Standard/Transformed_CSR_04/MYNAT_nokinds_FR.xml YES 4.0 / 1.8 . 114.2 / 29.3
S_Standard/Transformed_CSR_04/MYNAT_nokinds_GM.xml YES 5.0 / 2.1 . 113.2 / 29.5
RS_Standard/Transformed_CSR_04/MYNAT_nokinds_L.xml NO 2.7 / 1.4 NO 0.2 / 0.2
RS_Standard/Transformed_CSR_04/MYNAT_nokinds_Z.xml YES 4.6 / 2.1 . 114.8 / 29.4
_Standard/Transformed_CSR_04/MYNAT_nokinds_iGM.xml YES 7.3 / 3.1 . 104.8 / 29.6
ndard/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml . 104.8 / 29.6 . 104.2 / 29.8
dard/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml YES 14.1 / 4.5 . 113.1 / 29.5
ard/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml YES 97.7 / 26.6 . 105.5 / 29.7
dard/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml YES 4.2 / 2.0 YES 4.2 / 1.5
ndard/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml NO 3.0 / 2.1 NO 0.2 / 0.2
RS_Standard/Transformed_CSR_04/MYNAT_nosorts_C.xml YES 5.4 / 2.2 YES 26.3 / 7.0
S_Standard/Transformed_CSR_04/MYNAT_nosorts_FR.xml YES 3.6 / 1.6 YES 1.7 / 0.7
S_Standard/Transformed_CSR_04/MYNAT_nosorts_GM.xml YES 3.6 / 1.7 . 114.6 / 29.3
RS_Standard/Transformed_CSR_04/MYNAT_nosorts_L.xml NO 2.8 / 1.4 NO 0.2 / 0.2
_Standard/Transformed_CSR_04/MYNAT_nosorts_iGM.xml YES 5.1 / 2.0 YES 17.8 / 6.0
ndard/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml YES 7.5 / 2.8 . 103.2 / 29.5
dard/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml YES 4.7 / 2.2 . 96.0 / 29.5
ard/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml YES 9.0 / 3.7 . 114.9 / 29.7
/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml . 112.9 / 30.1 . 106.7 / 29.8
d/Transformed_CSR_04/OvConsOS_complete-noand_L.xml NO 2.7 / 1.4 NO 0.3 / 0.3
d/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml . 95.6 / 30.0 . 115.9 / 29.8
tandard/Transformed_CSR_04/OvConsOS_complete_C.xml . 84.8 / 29.9 . 96.8 / 30.0
andard/Transformed_CSR_04/OvConsOS_complete_FR.xml not finished . 115.7 / 29.6
andard/Transformed_CSR_04/OvConsOS_complete_GM.xml . 73.8 / 30.1 . 104.6 / 29.7
tandard/Transformed_CSR_04/OvConsOS_complete_L.xml NO 3.0 / 1.6 NO 0.2 / 0.2
tandard/Transformed_CSR_04/OvConsOS_complete_Z.xml . 100.8 / 30.1 . 105.0 / 29.7
ndard/Transformed_CSR_04/OvConsOS_complete_iGM.xml . 101.1 / 29.7 . 95.4 / 29.8
d/Transformed_CSR_04/OvConsOS_complete_noand_C.xml . 39.2 / 30.1 . 104.9 / 30.0
/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml YES 40.1 / 14.6 . 118.1 / 29.8
Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml . 97.9 / 29.7 . 103.9 / 30.1
d/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml . 114.5 / 30.1 . 114.2 / 29.4
rd/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml NO 2.8 / 1.4 NO 0.2 / 0.2
rd/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml . 97.6 / 30.0 . 113.2 / 29.5
Standard/Transformed_CSR_04/OvConsOS_nokinds_C.xml . 106.8 / 29.7 . 115.7 / 29.6
tandard/Transformed_CSR_04/OvConsOS_nokinds_FR.xml . 108.3 / 29.9 . 116.8 / 29.4
tandard/Transformed_CSR_04/OvConsOS_nokinds_GM.xml . 90.0 / 29.5 . 115.9 / 29.5
Standard/Transformed_CSR_04/OvConsOS_nokinds_L.xml NO 2.8 / 1.4 NO 0.2 / 0.2
Standard/Transformed_CSR_04/OvConsOS_nokinds_Z.xml . 114.6 / 29.7 . 113.2 / 29.5
andard/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml . 93.1 / 29.8 . 95.7 / 29.6
rd/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml . 101.3 / 29.6 . 105.6 / 29.9
d/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml YES 20.6 / 8.3 YES 91.9 / 24.4
/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml . 87.4 / 29.9 . 105.0 / 29.6
d/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml NO 17.5 / 6.9 . 57.8 / 19.5
rd/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml NO 2.8 / 1.4 NO 0.2 / 0.2
rd/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml NO 13.2 / 4.3 . 62.7 / 20.8
Standard/Transformed_CSR_04/OvConsOS_nosorts_C.xml . 88.8 / 30.0 . 115.3 / 29.5
tandard/Transformed_CSR_04/OvConsOS_nosorts_FR.xml NO 5.4 / 2.2 NO 0.4 / 0.3
tandard/Transformed_CSR_04/OvConsOS_nosorts_GM.xml NO 14.7 / 10.9 NO 0.4 / 0.3
Standard/Transformed_CSR_04/OvConsOS_nosorts_L.xml NO 3.0 / 1.6 NO 0.2 / 0.2
Standard/Transformed_CSR_04/OvConsOS_nosorts_Z.xml NO 6.2 / 2.5 NO 0.4 / 0.3
andard/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml NO 76.2 / 22.6 . 115.3 / 29.4
rd/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml . 103.1 / 29.5 . 115.0 / 29.5
d/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml NO 47.4 / 17.6 . 98.4 / 29.3
/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml . 101.3 / 29.5 . 95.9 / 29.6
ransformed_CSR_04/PALINDROME_complete-noand_FR.xml YES 5.8 / 2.4 YES 78.5 / 20.3
Transformed_CSR_04/PALINDROME_complete-noand_L.xml NO 87.7 / 25.6 NO 0.3 / 0.3
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml YES 5.9 / 2.9 YES 60.4 / 15.7
ndard/Transformed_CSR_04/PALINDROME_complete_C.xml YES 18.3 / 6.1 YES 45.3 / 13.0
dard/Transformed_CSR_04/PALINDROME_complete_FR.xml YES 5.0 / 2.1 YES 85.3 / 27.3
dard/Transformed_CSR_04/PALINDROME_complete_GM.xml YES 8.2 / 2.9 YES 96.1 / 27.5
ndard/Transformed_CSR_04/PALINDROME_complete_L.xml NO 3.0 / 1.5 NO 0.2 / 0.3
ndard/Transformed_CSR_04/PALINDROME_complete_Z.xml YES 5.6 / 3.3 YES 44.7 / 14.6
ard/Transformed_CSR_04/PALINDROME_complete_iGM.xml YES 11.3 / 3.8 . 108.2 / 29.4
Transformed_CSR_04/PALINDROME_complete_noand_C.xml YES 29.7 / 10.5 YES 66.1 / 19.5
ransformed_CSR_04/PALINDROME_complete_noand_GM.xml YES 19.9 / 9.3 . 114.3 / 29.6
ansformed_CSR_04/PALINDROME_complete_noand_iGM.xml YES 22.1 / 6.7 . 114.4 / 29.8
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml YES 4.7 / 1.9 YES 3.1 / 1.0
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml NO 36.5 / 11.9 NO 0.2 / 0.2
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml YES 4.6 / 1.9 YES 3.3 / 1.2
andard/Transformed_CSR_04/PALINDROME_nokinds_C.xml YES 8.9 / 3.1 YES 25.6 / 8.1
ndard/Transformed_CSR_04/PALINDROME_nokinds_FR.xml YES 7.3 / 1.9 YES 1.3 / 0.5
ndard/Transformed_CSR_04/PALINDROME_nokinds_GM.xml YES 3.9 / 1.8 YES 1.6 / 0.7
andard/Transformed_CSR_04/PALINDROME_nokinds_L.xml NO 3.1 / 1.5 NO 0.2 / 0.2
andard/Transformed_CSR_04/PALINDROME_nokinds_Z.xml YES 7.8 / 1.6 YES 1.3 / 0.5
dard/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml YES 7.1 / 2.6 YES 28.0 / 7.9
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml YES 12.4 / 4.0 YES 34.4 / 9.5
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml YES 7.4 / 2.7 YES 8.9 / 2.5
ransformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml YES 18.1 / 5.4 . 58.0 / 30.0
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml YES 3.1 / 1.5 YES 0.6 / 0.4
/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml YES 3.2 / 2.3 YES 0.5 / 0.3
andard/Transformed_CSR_04/PALINDROME_nosorts_C.xml YES 5.6 / 3.2 YES 19.7 / 7.0
ndard/Transformed_CSR_04/PALINDROME_nosorts_FR.xml YES 3.6 / 1.6 YES 0.3 / 0.3
ndard/Transformed_CSR_04/PALINDROME_nosorts_GM.xml YES 3.3 / 1.6 YES 0.5 / 0.3
andard/Transformed_CSR_04/PALINDROME_nosorts_L.xml NO 3.0 / 2.1 NO 0.2 / 0.2
dard/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml YES 5.0 / 2.0 YES 19.3 / 5.2
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml YES 6.2 / 2.8 YES 23.7 / 7.3
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml YES 4.1 / 1.9 YES 0.5 / 0.3
ransformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml YES 5.0 / 3.8 YES 15.3 / 4.3
ard/Transformed_CSR_04/PEANO_complete-noand_FR.xml YES 16.2 / 5.3 YES 66.7 / 19.9
dard/Transformed_CSR_04/PEANO_complete-noand_L.xml NO 3.1 / 1.7 NO 0.2 / 0.2
dard/Transformed_CSR_04/PEANO_complete-noand_Z.xml YES 15.5 / 6.1 YES 72.8 / 19.5
S_Standard/Transformed_CSR_04/PEANO_complete_C.xml YES 9.9 / 4.3 . 83.7 / 30.1
_Standard/Transformed_CSR_04/PEANO_complete_FR.xml YES 4.5 / 1.9 YES 50.9 / 17.4
_Standard/Transformed_CSR_04/PEANO_complete_GM.xml YES 6.2 / 2.4 YES 48.6 / 13.8
S_Standard/Transformed_CSR_04/PEANO_complete_L.xml NO 3.0 / 1.4 NO 0.2 / 0.2
S_Standard/Transformed_CSR_04/PEANO_complete_Z.xml YES 4.3 / 2.5 YES 50.4 / 14.3
Standard/Transformed_CSR_04/PEANO_complete_iGM.xml YES 8.7 / 3.0 . 115.9 / 29.5
dard/Transformed_CSR_04/PEANO_complete_noand_C.xml . 88.2 / 30.1 . 106.0 / 29.8
ard/Transformed_CSR_04/PEANO_complete_noand_GM.xml YES 11.0 / 4.6 YES 89.6 / 26.8
rd/Transformed_CSR_04/PEANO_complete_noand_iGM.xml . 96.0 / 30.0 . 105.7 / 29.7
dard/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml YES 6.9 / 2.7 YES 37.8 / 12.4
ndard/Transformed_CSR_04/PEANO_nokinds-noand_L.xml NO 2.8 / 1.7 NO 0.2 / 0.2
ndard/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml YES 7.9 / 3.3 YES 15.4 / 5.3
RS_Standard/Transformed_CSR_04/PEANO_nokinds_C.xml YES 6.0 / 2.4 . 94.8 / 29.5
S_Standard/Transformed_CSR_04/PEANO_nokinds_FR.xml YES 3.9 / 1.7 YES 22.6 / 6.8
S_Standard/Transformed_CSR_04/PEANO_nokinds_GM.xml YES 4.2 / 1.9 YES 40.8 / 11.1
RS_Standard/Transformed_CSR_04/PEANO_nokinds_L.xml NO 2.8 / 1.4 NO 0.2 / 0.2
RS_Standard/Transformed_CSR_04/PEANO_nokinds_Z.xml YES 4.0 / 2.0 YES 20.6 / 5.7
_Standard/Transformed_CSR_04/PEANO_nokinds_iGM.xml YES 5.4 / 2.2 YES 89.1 / 23.9
ndard/Transformed_CSR_04/PEANO_nokinds_noand_C.xml . 90.2 / 30.1 . 115.8 / 29.6
dard/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml YES 7.6 / 2.7 YES 46.5 / 14.2
ard/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml YES 44.6 / 16.7 . 114.9 / 29.6
dard/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml YES 3.6 / 1.6 YES 0.4 / 0.3
ndard/Transformed_CSR_04/PEANO_nosorts-noand_L.xml NO 2.8 / 1.6 NO 0.2 / 0.2
RS_Standard/Transformed_CSR_04/PEANO_nosorts_C.xml YES 5.8 / 2.5 YES 21.6 / 6.7
S_Standard/Transformed_CSR_04/PEANO_nosorts_FR.xml YES 3.2 / 1.5 YES 0.5 / 0.3
S_Standard/Transformed_CSR_04/PEANO_nosorts_GM.xml YES 4.1 / 2.5 YES 0.5 / 0.3
RS_Standard/Transformed_CSR_04/PEANO_nosorts_L.xml NO 3.1 / 1.4 NO 0.2 / 0.2
_Standard/Transformed_CSR_04/PEANO_nosorts_iGM.xml YES 5.2 / 2.4 YES 11.6 / 6.1
ndard/Transformed_CSR_04/PEANO_nosorts_noand_C.xml YES 7.3 / 2.6 YES 26.7 / 7.2
dard/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml YES 3.2 / 1.5 YES 0.4 / 0.3
ard/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml YES 6.5 / 2.8 YES 18.3 / 4.9
TRS_Standard/Various_04/02.xml YES 3.2 / 1.7 YES 0.4 / 0.3
TRS_Standard/Various_04/03.xml YES 3.7 / 2.3 YES 0.8 / 0.4
TRS_Standard/Various_04/04.xml . 65.9 / 30.1 . 11.1 / 7.2
TRS_Standard/Various_04/05.xml . 61.9 / 30.1 . 10.7 / 7.3
TRS_Standard/Various_04/06.xml YES 3.6 / 1.6 YES 0.8 / 0.4
TRS_Standard/Various_04/07.xml YES 3.5 / 1.6 YES 0.3 / 0.2
TRS_Standard/Various_04/08.xml . 72.5 / 30.0 . 14.8 / 7.3
TRS_Standard/Various_04/09.xml YES 3.8 / 1.8 YES 0.8 / 0.4
TRS_Standard/Various_04/10.xml YES 5.4 / 2.5 YES 16.1 / 7.0
TRS_Standard/Various_04/11.xml YES 4.0 / 1.9 . 9.5 / 7.2
TRS_Standard/Various_04/12.xml YES 4.1 / 2.6 YES 10.1 / 2.9
TRS_Standard/Various_04/13.xml YES 3.9 / 1.8 YES 12.4 / 4.6
TRS_Standard/Various_04/14.xml YES 9.7 / 3.4 YES 24.8 / 8.8
TRS_Standard/Various_04/15.xml YES 9.4 / 3.3 YES 14.0 / 5.4
TRS_Standard/Various_04/18.xml YES 3.5 / 1.6 YES 0.5 / 0.3
TRS_Standard/Various_04/19.xml YES 3.7 / 1.9 YES 0.4 / 0.3
TRS_Standard/Various_04/21.xml YES 3.6 / 1.6 YES 0.6 / 0.3
TRS_Standard/Various_04/22.xml YES 3.3 / 1.6 YES 1.6 / 0.8
TRS_Standard/Various_04/23.xml YES 3.6 / 1.6 YES 2.4 / 0.8
TRS_Standard/Various_04/24.xml YES 4.6 / 2.2 YES 6.0 / 1.7
TRS_Standard/Various_04/25.xml YES 3.4 / 1.6 YES 0.5 / 0.3
TRS_Standard/Various_04/26.xml YES 3.2 / 1.6 YES 1.1 / 0.5
TRS_Standard/Various_04/27.xml YES 3.4 / 2.2 YES 0.3 / 0.3
TRS_Standard/Waldmann_06/jwaprove1.xml YES 16.2 / 5.0 . 104.1 / 29.2
TRS_Standard/Waldmann_06/jwaprove2.xml YES 15.4 / 4.9 . 108.0 / 29.2
TRS_Standard/Waldmann_06/jwcime1.xml YES 11.4 / 3.8 . 36.3 / 10.4
TRS_Standard/Waldmann_06/jwcime2.xml YES 5.9 / 7.7 YES 2.1 / 1.1
TRS_Standard/Waldmann_06/jwmatchb1.xml YES 28.0 / 13.6 YES 4.1 / 2.9
TRS_Standard/Waldmann_06/jwmatchb2.xml YES 31.8 / 14.6 YES 2.8 / 1.1
TRS_Standard/Waldmann_06/jwno1.xml NO 7.2 / 2.6 NO 0.4 / 0.3
TRS_Standard/Waldmann_06/jwno2.xml . 66.8 / 29.7 . 20.7 / 7.2
TRS_Standard/Waldmann_06/jwno3.xml . 69.4 / 29.7 . 28.5 / 9.7
TRS_Standard/Waldmann_06/jwno4.xml NO 6.0 / 2.8 NO 0.3 / 0.2
TRS_Standard/Waldmann_06/jwno5.xml . 71.5 / 29.6 . 21.3 / 7.2
TRS_Standard/Waldmann_06/jwno6.xml NO 6.2 / 3.0 NO 0.3 / 0.3
TRS_Standard/Waldmann_06/jwno7.xml . 81.3 / 29.4 . 27.0 / 9.0
TRS_Standard/Waldmann_06/jwno8.xml . 81.2 / 30.0 . 24.4 / 7.4
TRS_Standard/Waldmann_06/jwno9.xml NO 7.5 / 3.3 NO 0.4 / 0.3
TRS_Standard/Waldmann_06/jwteparla1.xml YES 4.9 / 2.4 . 18.2 / 7.2
TRS_Standard/Waldmann_06/jwteparla2.xml YES 10.5 / 3.5 . 23.9 / 7.2
TRS_Standard/Waldmann_06/jwtpa1.xml YES 18.7 / 9.6 YES 1.9 / 0.7
TRS_Standard/Waldmann_06/jwtpa2.xml YES 5.6 / 2.3 YES 5.9 / 1.7
TRS_Standard/Waldmann_06/jwttt.xml YES 4.7 / 2.1 YES 6.6 / 2.9
TRS_Standard/Zantema_05/jw01.xml YES 4.0 / 2.2 YES 1.5 / 0.8
TRS_Standard/Zantema_05/jw02.xml YES 4.4 / 7.0 YES 2.3 / 1.1
TRS_Standard/Zantema_05/jw03.xml YES 3.8 / 2.0 YES 0.7 / 0.4
TRS_Standard/Zantema_05/jw04.xml YES 4.3 / 1.7 YES 0.9 / 0.5
TRS_Standard/Zantema_05/jw05.xml YES 6.4 / 3.8 YES 2.2 / 0.9
TRS_Standard/Zantema_05/jw06.xml YES 4.0 / 1.8 YES 1.2 / 0.7
TRS_Standard/Zantema_05/jw07.xml YES 3.8 / 1.7 YES 1.3 / 0.6
TRS_Standard/Zantema_05/jw08.xml YES 4.8 / 2.8 YES 1.9 / 0.9
TRS_Standard/Zantema_05/jw09.xml YES 3.2 / 1.7 YES 1.0 / 0.5
TRS_Standard/Zantema_05/jw11.xml YES 3.5 / 1.8 YES 1.8 / 0.8
TRS_Standard/Zantema_05/jw12.xml YES 3.4 / 1.9 YES 2.3 / 0.9
TRS_Standard/Zantema_05/jw13.xml YES 3.6 / 1.6 YES 1.6 / 0.8
TRS_Standard/Zantema_05/jw14.xml YES 3.5 / 1.7 YES 0.8 / 0.4
TRS_Standard/Zantema_05/jw15.xml YES 3.5 / 1.7 YES 1.0 / 0.5
TRS_Standard/Zantema_05/jw16.xml YES 3.8 / 1.7 YES 1.4 / 1.0
TRS_Standard/Zantema_05/jw17.xml YES 4.5 / 2.2 YES 1.8 / 0.8
TRS_Standard/Zantema_05/jw18.xml YES 3.6 / 1.7 YES 1.0 / 0.5
TRS_Standard/Zantema_05/jw19.xml YES 4.0 / 2.4 YES 1.4 / 0.8
TRS_Standard/Zantema_05/jw20.xml YES 3.5 / 1.7 YES 0.9 / 0.5
TRS_Standard/Zantema_05/jw21.xml YES 3.4 / 1.6 YES 1.5 / 0.7
TRS_Standard/Zantema_05/jw22.xml YES 4.2 / 1.8 YES 1.9 / 0.9
TRS_Standard/Zantema_05/jw23.xml YES 4.1 / 2.1 YES 1.1 / 0.7
TRS_Standard/Zantema_05/jw24.xml YES 3.8 / 1.6 YES 0.9 / 0.5
TRS_Standard/Zantema_05/jw25.xml YES 3.9 / 2.0 YES 1.0 / 0.6
TRS_Standard/Zantema_05/jw26.xml YES 4.1 / 1.8 YES 1.1 / 0.6
TRS_Standard/Zantema_05/jw27.xml YES 6.0 / 2.5 YES 1.8 / 0.9
TRS_Standard/Zantema_05/jw28.xml YES 4.0 / 2.2 YES 1.2 / 0.5
TRS_Standard/Zantema_05/jw29.xml YES 3.7 / 1.7 YES 1.0 / 0.5
TRS_Standard/Zantema_05/jw30.xml YES 7.6 / 3.4 YES 1.1 / 0.5
TRS_Standard/Zantema_05/jw31.xml YES 3.7 / 1.9 YES 1.1 / 0.6
TRS_Standard/Zantema_05/jw32.xml YES 6.5 / 3.1 YES 1.6 / 0.8
TRS_Standard/Zantema_05/jw33.xml YES 4.2 / 3.7 YES 1.3 / 0.7
TRS_Standard/Zantema_05/jw34.xml YES 7.0 / 2.8 YES 1.0 / 0.5
TRS_Standard/Zantema_05/jw35.xml YES 3.3 / 1.5 YES 0.9 / 0.4
TRS_Standard/Zantema_05/jw36.xml YES 7.0 / 1.7 YES 1.8 / 0.8
TRS_Standard/Zantema_05/jw37.xml YES 7.9 / 3.2 YES 2.1 / 0.9
TRS_Standard/Zantema_05/jw38.xml YES 3.9 / 1.8 YES 1.6 / 0.6
TRS_Standard/Zantema_05/jw39.xml YES 4.2 / 2.1 YES 1.5 / 0.6
TRS_Standard/Zantema_05/jw40.xml YES 3.8 / 1.7 YES 1.2 / 0.5
TRS_Standard/Zantema_05/jw41.xml YES 9.5 / 11.5 YES 1.9 / 0.9
TRS_Standard/Zantema_05/jw42.xml YES 3.8 / 2.3 YES 1.3 / 0.6
TRS_Standard/Zantema_05/jw43.xml YES 3.0 / 1.6 YES 0.5 / 0.3
TRS_Standard/Zantema_05/jw44.xml YES 3.5 / 1.6 YES 0.9 / 0.4
TRS_Standard/Zantema_05/jw47.xml YES 3.4 / 1.6 YES 0.4 / 0.3
TRS_Standard/Zantema_05/jw50.xml YES 3.2 / 1.7 YES 0.4 / 0.3
TRS_Standard/Zantema_05/z01.xml . 76.6 / 29.5 YES 6.0 / 4.2
TRS_Standard/Zantema_05/z02.xml YES 7.6 / 2.8 YES 2.2 / 0.8
TRS_Standard/Zantema_05/z03.xml YES 8.6 / 2.9 . 12.0 / 7.2
TRS_Standard/Zantema_05/z04.xml YES 3.6 / 1.6 YES 1.2 / 0.5
TRS_Standard/Zantema_05/z05.xml YES 14.5 / 7.1 . 71.1 / 12.5
TRS_Standard/Zantema_05/z06.xml YES 3.5 / 1.7 YES 2.3 / 0.8
TRS_Standard/Zantema_05/z07.xml YES 6.4 / 2.6 . 11.1 / 7.2
TRS_Standard/Zantema_05/z08.xml YES 6.4 / 2.8 YES 2.9 / 1.0
TRS_Standard/Zantema_05/z09.xml . 53.8 / 30.0 . 26.2 / 8.0
TRS_Standard/Zantema_05/z10.xml . 57.7 / 29.8 . 36.7 / 14.2
TRS_Standard/Zantema_05/z11.xml YES 3.8 / 2.0 . 15.2 / 7.2
TRS_Standard/Zantema_05/z12.xml . 91.5 / 29.4 . 81.0 / 29.3
TRS_Standard/Zantema_05/z13.xml . 85.9 / 29.7 . 70.7 / 29.3
TRS_Standard/Zantema_05/z14.xml . 84.1 / 29.4 . 78.2 / 29.2
TRS_Standard/Zantema_05/z15.xml . 47.5 / 30.1 . 81.4 / 29.2
TRS_Standard/Zantema_05/z16.xml . 82.1 / 29.4 . 89.2 / 29.2
TRS_Standard/Zantema_05/z17.xml . 60.8 / 30.2 . 100.9 / 29.2
TRS_Standard/Zantema_05/z18.xml . 69.5 / 29.5 . 81.0 / 29.2
TRS_Standard/Zantema_05/z19.xml YES 33.5 / 15.3 . 75.3 / 29.2
TRS_Standard/Zantema_05/z20.xml . 69.1 / 29.4 . 73.4 / 22.9
TRS_Standard/Zantema_05/z21.xml YES 41.1 / 17.1 . 109.9 / 29.3
TRS_Standard/Zantema_05/z22.xml YES 45.3 / 20.1 . 106.8 / 29.2
TRS_Standard/Zantema_05/z23.xml . 59.5 / 30.0 . 115.2 / 29.3
TRS_Standard/Zantema_05/z24.xml . 82.0 / 30.0 . 105.2 / 29.2
TRS_Standard/Zantema_05/z25.xml YES 4.1 / 6.1 . 30.6 / 18.3
TRS_Standard/Zantema_05/z26.xml YES 7.5 / 3.1 YES 1.7 / 0.6
TRS_Standard/Zantema_05/z27.xml YES 33.9 / 17.2 . 9.2 / 7.2
TRS_Standard/Zantema_05/z28.xml YES 5.1 / 2.2 . 48.5 / 16.1
TRS_Standard/Zantema_05/z29.xml YES 3.9 / 2.0 YES 4.0 / 1.2
TRS_Standard/Zantema_05/z30.xml . 94.6 / 29.5 YES 11.2 / 4.2
TRS_Standard/Zantema_15/delta.xml . 48.7 / 29.4 . 10.9 / 7.2
TRS_Standard/Zantema_15/ex01.xml NO 4.5 / 1.9 . 112.0 / 30.2
TRS_Standard/Zantema_15/ex02.xml . 111.5 / 29.7 . 107.2 / 30.3
TRS_Standard/Zantema_15/ex03.xml . 109.5 / 29.6 . 118.1 / 30.2
TRS_Standard/Zantema_15/ex04.xml NO 11.8 / 4.9 . 106.1 / 30.4
TRS_Standard/Zantema_15/ex05.xml . 91.5 / 29.8 . 114.9 / 29.3
TRS_Standard/Zantema_15/ex06.xml . 114.0 / 30.1 . 111.3 / 30.1
TRS_Standard/Zantema_15/ex07.xml . 79.9 / 30.0 . 92.3 / 29.4
TRS_Standard/Zantema_15/ex08.xml . 106.3 / 29.5 . 115.1 / 29.3
TRS_Standard/Zantema_15/ex09.xml . 79.3 / 29.6 . 114.8 / 29.3
TRS_Standard/Zantema_15/ex10.xml not finished . 75.2 / 29.2
TRS_Standard/Zantema_15/ex11.xml . 73.7 / 29.4 . 16.7 / 7.2
TRS_Standard/Zantema_15/ex12.xml . 85.3 / 29.6 . 17.9 / 7.3
TRS_Standard/Zantema_15/ex13.xml . 56.8 / 29.4 . 23.4 / 9.6
TRS_Standard/Zantema_15/ex14.xml . 95.4 / 30.0 . 8.5 / 7.2
TRS_Standard/Zantema_15/s.xml . 69.6 / 30.1 . 14.7 / 7.2