Overview of job-results

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

Statistics

10486 pairs, 1666958.3 / 824051.3 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR BOUNDS OTHER NOTHING
The results are displayed in the following pattern: result | cpu-time/wallclock-time in seconds | complexity-score
Jobs TRS_Standard 2015-08-05 01.04
Solver Wanda NaTT 1.3 TTT2 matchbox2015-07-26.1 AutoNon 1.21 AProVE 2015 muterm 5.17
Scores 636 1023 989 524 228 1310 834
TRS_Standard/AG01/#3.1.xml YES 0.0 / 0.4 YES 0.0 / 0.2 YES 1.8 / 1.7 YES 5.6 / 5.7 . 485.8 / 300.1 YES 2.9 / 5.6 YES 0.0 / 0.0
TRS_Standard/AG01/#3.10.xml YES 0.4 / 0.4 YES 0.0 / 0.1 YES 10.0 / 5.9 YES 222.6 / 115.5 . 1000.5 / 300.0 YES 5.8 / 2.9 YES 0.1 / 0.1
TRS_Standard/AG01/#3.12.xml YES 0.1 / 0.1 YES 0.0 / 0.0 YES 1.4 / 0.6 YES 7.2 / 3.4 . 2.6 / 1.9 YES 3.7 / 7.2 YES 0.0 / 0.6
TRS_Standard/AG01/#3.13.xml YES 0.3 / 1.1 YES 0.0 / 0.1 YES 8.8 / 5.5 YES 84.2 / 46.5 . 8.8 / 8.2 YES 5.3 / 6.7 YES 0.1 / 0.3
TRS_Standard/AG01/#3.15.xml YES 0.0 / 0.2 YES 0.0 / 0.1 YES 1.1 / 1.0 YES 5.1 / 4.1 . 1.9 / 0.8 YES 2.5 / 1.7 YES 0.0 / 0.4
TRS_Standard/AG01/#3.16.xml YES 0.1 / 0.2 YES 0.0 / 0.5 YES 0.7 / 0.9 . 942.3 / 300.1 . 2.0 / 2.3 YES 2.7 / 1.9 YES 0.0 / 0.0
TRS_Standard/AG01/#3.17.xml YES 0.2 / 1.2 YES 0.0 / 0.2 YES 3.6 / 1.3 YES 35.4 / 21.7 . 7.0 / 6.3 YES 4.3 / 2.3 YES 0.0 / 0.0
TRS_Standard/AG01/#3.17a.xml YES 0.3 / 0.9 YES 0.0 / 0.1 YES 3.5 / 3.5 YES 47.0 / 30.9 . 6.4 / 6.3 YES 4.6 / 2.8 YES 0.0 / 0.1
TRS_Standard/AG01/#3.18.xml YES 0.1 / 0.1 YES 0.0 / 0.0 YES 4.6 / 1.4 . 742.0 / 300.1 . 703.5 / 300.1 YES 3.0 / 1.8 YES 0.0 / 0.2
TRS_Standard/AG01/#3.19.xml YES 0.5 / 0.6 YES 0.0 / 0.2 . 176.6 / 59.5 . 781.4 / 300.1 . 644.1 / 300.1 YES 4.4 / 6.0 . 192.8 / 300.1
TRS_Standard/AG01/#3.2.xml YES 0.1 / 1.0 YES 0.0 / 0.2 YES 2.1 / 1.8 YES 4.8 / 1.6 . 510.2 / 300.1 YES 2.9 / 3.4 YES 0.0 / 0.0
TRS_Standard/AG01/#3.21.xml YES 0.1 / 0.1 YES 0.0 / 0.0 YES 1.6 / 2.1 YES 16.1 / 11.2 . 506.3 / 300.1 YES 2.7 / 1.7 YES 0.1 / 1.0
TRS_Standard/AG01/#3.22.xml YES 0.1 / 1.1 YES 0.0 / 0.0 YES 3.6 / 3.6 . 746.1 / 300.0 . 843.6 / 300.1 YES 2.9 / 1.9 YES 0.3 / 1.7
TRS_Standard/AG01/#3.23.xml YES 0.0 / 0.4 YES 0.0 / 0.3 YES 1.2 / 1.2 YES 1.0 / 0.3 . 543.0 / 300.1 YES 2.4 / 1.6 YES 0.0 / 0.4
TRS_Standard/AG01/#3.24.xml YES 0.0 / 0.7 YES 0.0 / 0.0 YES 1.0 / 0.7 YES 4.6 / 4.2 . 1.7 / 2.8 YES 2.6 / 4.5 YES 0.0 / 0.0
TRS_Standard/AG01/#3.26.xml YES 0.0 / 0.1 YES 0.0 / 0.2 YES 1.1 / 0.5 YES 0.9 / 0.2 . 1.3 / 1.9 YES 17.0 / 15.2 YES 0.0 / 0.0
TRS_Standard/AG01/#3.29.xml YES 0.0 / 0.0 YES 0.0 / 0.2 YES 0.5 / 1.7 YES 2.2 / 2.0 . 1.0 / 0.4 YES 2.4 / 1.7 YES 0.0 / 0.3
TRS_Standard/AG01/#3.31.xml YES 0.0 / 0.4 YES 0.0 / 0.3 YES 0.7 / 1.4 YES 1.4 / 0.5 . 1.6 / 2.7 YES 2.7 / 5.6 YES 0.0 / 0.3
TRS_Standard/AG01/#3.33.xml YES 0.1 / 0.1 YES 0.0 / 0.3 YES 0.8 / 0.9 YES 1.0 / 0.8 . 2.0 / 3.0 YES 2.3 / 1.6 YES 0.0 / 0.2
TRS_Standard/AG01/#3.35.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 0.6 / 0.4 YES 1.2 / 0.7 . 1.5 / 0.6 YES 2.5 / 1.7 YES 0.0 / 0.0
TRS_Standard/AG01/#3.36.xml YES 0.1 / 1.0 YES 0.0 / 0.1 YES 1.2 / 0.6 YES 7.7 / 6.1 . 2.1 / 4.0 YES 4.3 / 7.1 YES 0.0 / 0.5
TRS_Standard/AG01/#3.37.xml YES 0.1 / 0.1 YES 0.0 / 0.0 YES 0.7 / 0.4 YES 4.5 / 2.7 . 2.1 / 3.1 YES 3.2 / 6.7 YES 0.0 / 0.0
TRS_Standard/AG01/#3.38.xml YES 0.1 / 0.1 YES 0.0 / 0.2 YES 2.2 / 2.3 YES 10.8 / 7.9 . 528.8 / 300.1 YES 3.5 / 2.0 YES 0.0 / 0.0
TRS_Standard/AG01/#3.39.xml . 0.5 / 2.3 YES 0.0 / 0.6 YES 6.1 / 1.8 YES 88.6 / 40.2 . 620.5 / 300.1 YES 3.7 / 7.4 YES 0.7 / 2.7
TRS_Standard/AG01/#3.4.xml YES 0.1 / 0.2 YES 0.0 / 0.0 YES 1.6 / 1.7 YES 10.2 / 4.9 . 455.9 / 300.0 YES 3.0 / 1.8 YES 0.0 / 0.0
TRS_Standard/AG01/#3.40.xml . 1.0 / 2.7 . 0.1 / 0.6 YES 18.0 / 9.4 YES 500.2 / 139.8 . 700.6 / 300.1 YES 4.5 / 2.9 YES 1.7 / 8.0
TRS_Standard/AG01/#3.41.xml . 0.1 / 1.5 YES 0.0 / 0.3 YES 0.8 / 0.5 YES 4.5 / 2.9 . 1.5 / 0.7 YES 2.9 / 6.4 YES 0.0 / 0.1
TRS_Standard/AG01/#3.42.xml . 0.1 / 0.6 YES 0.0 / 0.3 YES 1.8 / 1.9 YES 16.9 / 16.1 . 639.1 / 300.1 YES 3.0 / 7.3 YES 0.0 / 0.9
TRS_Standard/AG01/#3.47.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 0.7 / 0.4 YES 3.9 / 2.0 . 1.5 / 1.4 YES 2.5 / 1.7 YES 0.0 / 0.0
TRS_Standard/AG01/#3.48.xml YES 0.1 / 0.7 YES 0.0 / 0.3 YES 2.0 / 2.1 YES 6.2 / 1.6 . 576.0 / 300.1 YES 2.8 / 6.4 YES 0.0 / 0.2
TRS_Standard/AG01/#3.49.xml YES 0.1 / 0.2 YES 0.0 / 0.1 YES 1.7 / 2.6 YES 18.7 / 11.4 . 2.0 / 0.8 YES 3.0 / 1.9 YES 0.0 / 0.7
TRS_Standard/AG01/#3.5.xml YES 0.1 / 0.9 YES 0.0 / 0.0 YES 3.8 / 2.2 YES 29.8 / 17.8 . 864.4 / 300.1 YES 4.0 / 7.8 YES 0.0 / 0.5
TRS_Standard/AG01/#3.51.xml YES 0.1 / 0.1 YES 0.0 / 0.1 YES 1.1 / 1.3 YES 2.1 / 0.7 . 2.4 / 3.1 YES 2.8 / 5.3 YES 0.0 / 0.2
TRS_Standard/AG01/#3.52.xml YES 0.0 / 0.3 YES 0.0 / 0.0 YES 0.6 / 1.3 YES 1.5 / 1.0 . 378.2 / 300.1 YES 2.9 / 11.2 YES 0.0 / 0.0
TRS_Standard/AG01/#3.53.xml YES 0.3 / 1.4 YES 0.0 / 0.1 YES 3.7 / 2.9 YES 66.4 / 20.3 . 668.9 / 300.1 YES 3.7 / 2.2 YES 0.0 / 0.1
TRS_Standard/AG01/#3.53a.xml YES 0.0 / 0.2 YES 0.0 / 0.1 YES 0.4 / 0.9 YES 1.8 / 2.7 . 1.5 / 0.8 YES 2.8 / 4.7 YES 0.0 / 0.0
TRS_Standard/AG01/#3.53b.xml YES 0.0 / 0.0 YES 0.0 / 0.3 YES 0.7 / 1.4 YES 2.8 / 2.7 . 667.9 / 300.1 YES 2.8 / 4.9 YES 0.0 / 0.0
TRS_Standard/AG01/#3.54.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 0.8 / 0.4 YES 4.1 / 1.4 . 2.1 / 2.9 YES 4.3 / 6.6 YES 0.0 / 0.0
TRS_Standard/AG01/#3.55.xml YES 0.3 / 0.6 YES 0.0 / 0.4 YES 4.8 / 3.3 . 855.0 / 300.0 . 591.7 / 300.0 YES 5.4 / 3.6 YES 0.1 / 0.1
TRS_Standard/AG01/#3.56.xml YES 0.1 / 1.3 YES 0.0 / 0.0 YES 1.5 / 0.7 YES 7.9 / 2.4 . 2.0 / 1.0 YES 3.0 / 1.8 YES 0.0 / 0.3
TRS_Standard/AG01/#3.57.xml YES 0.3 / 0.3 YES 0.0 / 0.2 YES 6.4 / 2.1 YES 98.2 / 53.3 . 818.2 / 300.0 YES 4.6 / 2.5 YES 0.1 / 1.2
TRS_Standard/AG01/#3.5a.xml YES 0.1 / 0.2 YES 0.0 / 0.4 YES 4.3 / 2.2 YES 32.1 / 19.4 . 665.5 / 300.1 YES 4.0 / 6.9 YES 0.0 / 0.1
TRS_Standard/AG01/#3.5b.xml YES 0.1 / 0.1 YES 0.0 / 0.3 YES 3.0 / 2.2 YES 38.1 / 23.1 . 687.0 / 300.1 YES 4.3 / 5.3 YES 0.0 / 0.0
TRS_Standard/AG01/#3.6.xml YES 0.1 / 0.2 YES 0.0 / 0.1 YES 3.0 / 2.4 YES 23.0 / 7.9 . 504.3 / 300.1 YES 4.1 / 9.9 YES 0.0 / 0.0
TRS_Standard/AG01/#3.6a.xml YES 0.1 / 0.1 YES 0.0 / 0.1 YES 3.9 / 2.2 YES 20.0 / 6.3 . 469.6 / 300.1 YES 4.1 / 5.3 YES 0.0 / 0.3
TRS_Standard/AG01/#3.6b.xml YES 0.1 / 0.4 YES 0.0 / 0.1 YES 3.8 / 1.4 YES 37.8 / 20.9 . 693.2 / 300.1 YES 4.1 / 2.2 YES 0.0 / 0.5
TRS_Standard/AG01/#3.7.xml YES 0.0 / 0.2 YES 0.0 / 0.3 YES 1.3 / 1.5 YES 5.7 / 4.5 . 1.9 / 0.7 YES 4.2 / 7.4 YES 0.0 / 0.0
TRS_Standard/AG01/#3.8a.xml YES 0.1 / 0.5 YES 0.0 / 0.2 YES 3.7 / 3.5 YES 11.3 / 3.6 . 672.1 / 300.1 YES 3.3 / 2.1 YES 0.0 / 0.6
TRS_Standard/AG01/#3.8b.xml YES 0.2 / 1.0 YES 0.0 / 0.2 YES 4.7 / 1.6 YES 28.4 / 15.6 . 749.0 / 300.1 YES 4.2 / 2.1 YES 0.1 / 1.0
TRS_Standard/AG01/#4.30c.xml . 3.4 / 4.1 . 0.0 / 0.5 . 109.7 / 60.0 YES 331.6 / 162.7 . 800.8 / 300.1 YES 13.8 / 6.4 YES 3.5 / 17.4
TRS_Standard/AProVE_04/AAECC-ring.xml . 62.7 / 81.0 . 12.1 / 11.9 . 169.7 / 59.4 . 642.5 / 300.1 . 755.9 / 300.1 YES 170.0 / 111.7 . 299.9 / 300.0
TRS_Standard/AProVE_04/AAECC.xml . 5.4 / 5.5 . 1.2 / 1.2 . 137.7 / 59.6 . 846.4 / 300.1 . 940.5 / 300.1 YES 62.6 / 40.8 . 175.4 / 300.0
TRS_Standard/AProVE_04/IJCAR_1.xml YES 0.1 / 0.6 YES 0.0 / 0.1 YES 1.4 / 0.7 YES 46.0 / 13.0 . 677.6 / 300.1 YES 3.0 / 1.9 YES 0.0 / 0.0
TRS_Standard/AProVE_04/IJCAR_12.xml YES 0.1 / 0.2 YES 0.0 / 0.1 YES 1.9 / 2.1 . 637.9 / 300.0 . 790.6 / 300.0 YES 3.9 / 5.5 YES 0.0 / 0.4
TRS_Standard/AProVE_04/IJCAR_18.xml YES 0.2 / 1.2 YES 0.0 / 0.1 YES 2.7 / 1.1 . 814.6 / 300.1 . 1013.4 / 300.0 YES 4.5 / 8.3 YES 0.0 / 0.1
TRS_Standard/AProVE_04/IJCAR_26.xml . 0.6 / 0.7 YES 0.0 / 0.1 YES 6.9 / 2.4 . 927.7 / 300.1 . 783.7 / 300.0 YES 5.2 / 2.7 YES 0.1 / 0.2
TRS_Standard/AProVE_04/IJCAR_26a.xml . 0.5 / 0.7 YES 0.0 / 0.5 YES 6.6 / 2.3 . 895.1 / 300.0 . 826.4 / 300.1 YES 4.6 / 4.3 YES 0.1 / 0.1
TRS_Standard/AProVE_04/JFP_Ex31.xml . 0.4 / 2.1 . 1.5 / 4.1 . 159.6 / 60.2 . 1018.9 / 300.1 . 686.2 / 300.1 YES 139.2 / 171.2 . 211.6 / 300.0
TRS_Standard/AProVE_04/JFP_Ex51.xml YES 0.3 / 0.4 YES 0.0 / 0.1 YES 21.6 / 8.8 YES 69.1 / 41.3 . 733.6 / 300.0 YES 4.9 / 2.5 YES 0.1 / 0.5
TRS_Standard/AProVE_04/LPAR_intlist.xml YES 0.1 / 0.1 YES 0.0 / 0.3 YES 1.7 / 0.8 YES 39.0 / 11.8 . 2.7 / 1.2 YES 3.3 / 2.4 YES 0.0 / 0.0
TRS_Standard/AProVE_04/Liveness6.1.xml . 0.2 / 0.2 YES 0.0 / 0.1 YES 2.9 / 2.7 YES 839.0 / 240.7 . 2.9 / 2.2 YES 25.2 / 8.9 . 142.8 / 300.0
TRS_Standard/AProVE_04/Liveness6.2.xml . 0.2 / 1.6 YES 0.0 / 0.3 YES 1.2 / 1.6 YES 41.6 / 21.3 . 2.7 / 6.0 YES 3.1 / 1.9 YES 3.7 / 5.0
TRS_Standard/AProVE_04/Liveness6.3.xml . 0.4 / 3.3 YES 0.0 / 0.2 YES 6.2 / 4.8 . 1062.8 / 300.0 . 3.6 / 3.7 YES 26.8 / 28.4 . 131.1 / 300.0
TRS_Standard/AProVE_04/Liveness6.4.xml . 0.6 / 0.6 . 0.0 / 0.3 . 207.2 / 59.4 . 743.1 / 300.0 . 712.0 / 300.1 YES 83.9 / 85.4 . 300.0 / 300.0
TRS_Standard/AProVE_04/Liveness8.xml YES 0.4 / 0.8 YES 0.0 / 0.2 YES 5.3 / 3.2 YES 107.0 / 78.8 . 5.8 / 3.1 YES 5.2 / 8.2 YES 0.1 / 0.1
TRS_Standard/AProVE_04/Liveness_WRS.xml . 2.2 / 2.3 YES 4.8 / 9.8 YES 3.2 / 1.2 YES 42.3 / 13.2 . 5.1 / 6.8 YES 10.9 / 8.7 . 172.7 / 300.0
TRS_Standard/AProVE_04/fac.xml . 0.1 / 0.2 YES 0.0 / 0.1 YES 2.9 / 2.2 . 594.9 / 300.1 . 750.1 / 300.1 YES 4.4 / 7.3 YES 0.2 / 0.2
TRS_Standard/AProVE_04/forward_instantiation.xml . 0.1 / 0.6 . 0.0 / 0.2 YES 0.8 / 1.3 YES 10.5 / 3.4 . 763.6 / 300.1 YES 3.0 / 2.0 YES 0.1 / 1.9
TRS_Standard/AProVE_04/forward_instantiation2.xml . 0.1 / 0.1 . 0.0 / 0.2 YES 0.8 / 0.4 YES 11.8 / 6.1 . 783.6 / 300.1 YES 2.9 / 1.9 YES 0.2 / 0.3
TRS_Standard/AProVE_04/improved_usable.xml YES 0.0 / 0.2 YES 0.0 / 0.3 YES 1.3 / 1.6 YES 6.5 / 4.5 . 620.7 / 300.1 YES 2.6 / 1.9 YES 0.1 / 0.8
TRS_Standard/AProVE_04/improved_usable2.xml YES 0.0 / 0.2 YES 0.0 / 0.5 YES 1.4 / 1.4 YES 6.7 / 6.1 . 496.1 / 300.1 YES 2.8 / 5.7 YES 0.0 / 0.3
TRS_Standard/AProVE_04/rta1.xml YES 0.1 / 0.1 YES 0.0 / 0.1 YES 2.4 / 1.0 . 781.0 / 300.0 . 561.4 / 300.1 YES 2.7 / 4.2 YES 0.0 / 0.0
TRS_Standard/AProVE_04/rta2.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.6 / 1.1 YES 1.4 / 0.8 . 1.3 / 0.6 YES 2.3 / 1.6 YES 0.0 / 1.0
TRS_Standard/AProVE_04/rta3.xml YES 0.1 / 0.1 YES 0.0 / 0.1 YES 1.9 / 0.9 . 962.4 / 300.0 . 914.1 / 300.1 YES 2.9 / 4.6 . 19.8 / 78.4
TRS_Standard/AProVE_06/div_notCeTermin.xml . 0.8 / 0.8 . 0.0 / 0.5 . 206.3 / 59.4 . 788.9 / 300.1 . 985.2 / 300.1 YES 22.8 / 28.2 . 135.2 / 300.1
TRS_Standard/AProVE_06/div_notTermin.xml . 0.7 / 1.1 . 0.0 / 0.5 . 156.6 / 59.8 . 657.4 / 300.1 . 1011.6 / 300.1 . 566.3 / 300.1 . 179.5 / 300.0
TRS_Standard/AProVE_06/factorial1.xml . 0.3 / 0.3 YES 0.0 / 0.1 YES 5.9 / 3.6 . 715.7 / 300.0 . 422.7 / 300.1 YES 4.1 / 2.3 . 133.8 / 300.0
TRS_Standard/AProVE_06/factorial2.xml . 0.4 / 0.4 . 0.0 / 0.3 . 93.4 / 60.0 . 1040.8 / 300.0 . 705.8 / 300.1 YES 7.4 / 8.4 . 1.4 / 8.9
TRS_Standard/AProVE_06/identity.xml . 0.2 / 0.3 YES 0.0 / 0.4 . 136.5 / 59.4 . 615.8 / 300.0 . 670.6 / 300.1 YES 5.3 / 3.4 YES 0.3 / 1.0
TRS_Standard/AProVE_06/logarithm.xml . 2.3 / 5.5 . 0.5 / 2.9 . 113.3 / 59.8 . 1008.0 / 300.0 . 955.1 / 300.1 YES 20.9 / 18.6 . 166.2 / 300.0
TRS_Standard/AProVE_06/mapHard.xml . 13.0 / 13.1 YES 0.0 / 1.1 YES 4.2 / 1.5 . 699.5 / 300.0 . 701.5 / 300.1 YES 7.8 / 3.7 . 13.0 / 17.5
TRS_Standard/AProVE_06/modulo.xml . 0.3 / 0.3 . 0.0 / 0.1 . 17.4 / 11.3 . 660.7 / 300.0 . 574.6 / 300.1 YES 5.6 / 9.7 . 1.6 / 7.3
TRS_Standard/AProVE_06/nonterm.xml . 1.2 / 3.2 . 0.2 / 1.2 NO 1.8 / 2.3 . 790.4 / 300.1 . 547.3 / 300.1 NO 5.6 / 2.8 . 249.0 / 300.1
TRS_Standard/AProVE_06/quicksort.xml . 0.9 / 1.7 YES 0.0 / 0.1 . 209.0 / 59.4 . 991.5 / 300.1 . 1011.8 / 300.0 YES 6.7 / 3.8 YES 0.5 / 0.5
TRS_Standard/AProVE_06/quot.xml . 0.5 / 0.6 . 0.0 / 0.1 . 141.4 / 51.0 . 595.5 / 300.1 . 1161.0 / 300.1 YES 9.1 / 4.9 . 1.1 / 1.2
TRS_Standard/AProVE_06/sizeChange.xml . 0.7 / 2.3 . 0.1 / 0.9 YES 2.0 / 1.6 . 603.0 / 300.0 . 604.6 / 300.1 YES 2.8 / 4.2 YES 1.4 / 5.7
TRS_Standard/AProVE_06/tower.xml . 0.3 / 0.3 YES 0.0 / 0.1 YES 7.8 / 2.3 . 664.4 / 300.1 . 880.8 / 300.1 YES 5.1 / 6.2 . 196.5 / 300.0
TRS_Standard/AProVE_06/tower_sizeChange.xml . 0.5 / 0.5 YES 0.0 / 0.1 YES 78.3 / 53.7 . 1082.8 / 300.0 . 439.7 / 300.0 YES 41.5 / 40.3 . 211.3 / 300.1
TRS_Standard/AProVE_07/kabasci01.xml . 1.4 / 2.2 YES 1.2 / 3.1 YES 87.0 / 38.7 YES 698.5 / 273.4 . 876.5 / 300.0 YES 19.7 / 6.7 . 172.7 / 300.1
TRS_Standard/AProVE_07/kabasci02.xml . 1.1 / 1.2 YES 0.0 / 0.4 YES 34.5 / 10.0 . 725.5 / 300.1 . 694.7 / 300.1 YES 8.1 / 9.1 . 176.3 / 300.1
TRS_Standard/AProVE_07/kabasci03.xml . 22.3 / 22.3 YES 0.1 / 0.4 YES 12.8 / 7.3 YES 493.6 / 219.9 . 880.1 / 300.1 YES 7.0 / 3.2 . 144.3 / 300.0
TRS_Standard/AProVE_07/kabasci04.xml YES 0.1 / 1.1 YES 0.0 / 0.3 YES 4.2 / 2.6 . 598.3 / 300.0 . 966.0 / 300.1 YES 3.7 / 2.1 YES 0.5 / 1.5
TRS_Standard/AProVE_07/kabasci05.xml . 0.6 / 0.7 YES 0.0 / 0.1 YES 7.7 / 5.7 . 798.7 / 300.0 . 598.2 / 300.1 YES 5.2 / 5.6 . 1.9 / 2.0
TRS_Standard/AProVE_07/kabasci06.xml . 14.7 / 19.5 YES 0.0 / 0.2 YES 4.6 / 6.0 . 1061.6 / 300.0 . 770.8 / 300.1 YES 4.9 / 5.5 . 5.7 / 18.0
TRS_Standard/AProVE_07/otto01.xml . 54.8 / 59.5 YES 0.0 / 0.2 YES 4.3 / 1.9 . 634.1 / 300.1 . 832.7 / 300.1 YES 8.5 / 12.7 . 181.8 / 300.0
TRS_Standard/AProVE_07/otto02.xml . 0.6 / 1.5 . 0.0 / 0.6 . 131.5 / 59.4 . 886.5 / 300.1 . 773.3 / 300.1 YES 5.8 / 7.0 . 89.3 / 132.8
TRS_Standard/AProVE_07/otto03.xml . 0.2 / 0.3 . 0.0 / 0.1 . 18.9 / 10.5 . 1072.3 / 300.0 . 828.0 / 300.1 YES 4.1 / 2.4 . 30.8 / 31.4
TRS_Standard/AProVE_07/otto04.xml . 1.5 / 2.9 . 0.0 / 0.9 . 134.1 / 59.8 . 607.5 / 300.1 . 794.6 / 300.0 YES 7.0 / 3.4 . 146.1 / 300.0
TRS_Standard/AProVE_07/otto05.xml . 0.2 / 0.5 YES 0.0 / 0.1 YES 3.6 / 2.7 . 819.3 / 300.1 . 978.3 / 300.1 YES 4.1 / 2.3 YES 0.1 / 0.8
TRS_Standard/AProVE_07/otto06.xml . 0.7 / 0.8 . 0.1 / 0.8 . 108.7 / 60.0 . 616.0 / 300.1 . 561.7 / 300.0 YES 14.1 / 19.8 . 131.7 / 300.0
TRS_Standard/AProVE_07/otto07.xml . 0.2 / 0.9 . 0.0 / 0.4 . 30.1 / 10.4 . 658.6 / 300.1 . 791.9 / 300.1 YES 4.6 / 8.5 . 28.7 / 29.3
TRS_Standard/AProVE_07/otto08.xml . 0.6 / 0.6 . 0.0 / 0.8 . 102.3 / 60.0 . 700.1 / 300.1 . 752.8 / 300.0 YES 12.7 / 20.3 . 136.1 / 195.2
TRS_Standard/AProVE_07/otto09.xml . 0.6 / 0.6 . 0.0 / 0.8 . 97.0 / 59.6 . 723.6 / 300.0 . 791.7 / 300.1 YES 9.8 / 4.6 . 136.8 / 144.7
TRS_Standard/AProVE_07/otto10.xml . 2.3 / 2.3 . 0.1 / 0.3 . 190.1 / 50.7 . 770.1 / 300.1 . 684.0 / 300.0 YES 8.4 / 14.1 . 261.7 / 300.1
TRS_Standard/AProVE_07/otto11.xml . 0.2 / 0.2 . 0.0 / 0.6 . 120.7 / 59.9 . 1060.1 / 300.1 . 823.3 / 300.1 YES 4.8 / 7.5 . 1.6 / 2.1
TRS_Standard/AProVE_07/otto12.xml . 0.4 / 1.6 . 0.0 / 0.2 . 96.1 / 60.2 . 637.2 / 300.1 . 894.7 / 300.1 YES 9.4 / 4.1 . 30.6 / 64.5
TRS_Standard/AProVE_07/otto13.xml . 1.3 / 2.0 . 0.0 / 0.2 . 214.9 / 59.4 . 675.1 / 300.1 . 737.0 / 300.1 YES 19.2 / 31.1 . 209.9 / 300.0
TRS_Standard/AProVE_07/thiemann01.xml . 0.5 / 1.2 . 0.0 / 0.2 . 130.9 / 59.4 . 787.9 / 300.1 . 924.1 / 300.1 YES 3.9 / 2.3 . 109.3 / 231.3
TRS_Standard/AProVE_07/thiemann02.xml . 2.8 / 6.9 . 0.1 / 0.6 . 206.8 / 59.4 . 1066.8 / 300.1 . 672.5 / 300.0 YES 22.1 / 22.7 . 180.7 / 300.1
TRS_Standard/AProVE_07/thiemann03.xml . 0.6 / 1.8 . 0.0 / 0.3 . 146.7 / 59.5 . 652.0 / 300.0 . 776.5 / 300.1 YES 9.4 / 4.1 YES 0.8 / 0.8
TRS_Standard/AProVE_07/thiemann04.xml . 5.5 / 10.5 . 0.5 / 1.7 . 117.2 / 60.0 . 822.4 / 300.0 . 991.0 / 300.1 YES 46.7 / 38.4 . 199.8 / 300.1
TRS_Standard/AProVE_07/thiemann05.xml . 0.4 / 0.4 . 0.0 / 0.4 . 94.4 / 59.7 . 490.6 / 300.1 . 757.6 / 300.1 YES 9.4 / 5.4 . 299.9 / 300.0
TRS_Standard/AProVE_07/thiemann06.xml . 6.9 / 6.9 . 0.0 / 0.4 . 119.7 / 60.2 . 778.1 / 300.1 . 749.5 / 300.0 YES 18.0 / 6.5 . 142.7 / 300.1
TRS_Standard/AProVE_07/thiemann07.xml . 1.0 / 1.0 YES 0.0 / 0.9 . 155.3 / 60.0 . 703.8 / 300.0 . 1035.8 / 300.1 YES 37.6 / 35.8 . 268.2 / 300.0
TRS_Standard/AProVE_07/thiemann08.xml . 0.2 / 0.3 YES 0.0 / 0.9 YES 4.0 / 1.3 . 616.1 / 300.1 . 560.3 / 300.1 YES 4.6 / 2.4 YES 0.1 / 0.1
TRS_Standard/AProVE_07/thiemann09.xml . 0.8 / 2.5 YES 0.0 / 0.5 . 228.2 / 59.4 . 754.9 / 300.1 . 793.5 / 300.1 YES 3.7 / 5.6 . 209.0 / 300.0
TRS_Standard/AProVE_07/thiemann10.xml . 0.2 / 0.2 YES 0.0 / 0.1 YES 3.5 / 1.2 . 889.5 / 300.1 . 553.0 / 300.1 YES 4.4 / 2.6 YES 0.1 / 0.1
TRS_Standard/AProVE_07/thiemann11.xml . 1.4 / 1.4 . 0.9 / 1.8 . 235.3 / 59.5 . 936.5 / 300.0 . 712.8 / 300.0 YES 49.4 / 51.5 . 177.9 / 300.0
TRS_Standard/AProVE_07/thiemann12.xml . 0.3 / 1.0 YES 0.0 / 0.1 YES 3.6 / 1.2 . 804.6 / 300.0 . 575.3 / 300.1 YES 4.8 / 5.2 YES 0.1 / 0.1
TRS_Standard/AProVE_07/thiemann13.xml . 2.7 / 7.0 . 0.6 / 1.5 . 127.9 / 60.0 . 590.8 / 300.1 . 617.9 / 300.1 YES 30.8 / 30.1 . 235.4 / 300.1
TRS_Standard/AProVE_07/thiemann14.xml . 0.5 / 1.8 YES 0.0 / 0.5 YES 15.7 / 4.7 . 897.6 / 300.0 . 1016.4 / 300.1 YES 34.9 / 20.0 . 160.6 / 300.1
TRS_Standard/AProVE_07/thiemann15.xml . 0.2 / 0.2 YES 0.0 / 0.3 YES 3.4 / 3.5 . 637.0 / 300.1 . 443.1 / 300.1 YES 4.8 / 9.4 YES 0.1 / 0.7
TRS_Standard/AProVE_07/thiemann16.xml . 0.9 / 1.5 YES 0.0 / 0.1 YES 14.2 / 4.3 . 1068.3 / 300.0 . 700.1 / 300.1 YES 5.4 / 2.7 YES 3.6 / 10.6
TRS_Standard/AProVE_07/thiemann17.xml . 0.7 / 2.7 YES 0.0 / 0.8 . 133.9 / 60.3 . 765.1 / 300.1 . 703.7 / 300.1 YES 5.0 / 2.6 YES 3.2 / 5.7
TRS_Standard/AProVE_07/thiemann18.xml . 1.0 / 1.0 YES 0.1 / 0.4 YES 10.0 / 5.0 . 591.8 / 300.1 . 657.8 / 300.1 YES 9.4 / 13.4 . 0.1 / 0.1
TRS_Standard/AProVE_07/thiemann19.xml . 0.3 / 1.0 . 0.0 / 0.2 YES 64.5 / 41.3 . 700.5 / 300.0 . 919.0 / 300.1 YES 12.1 / 18.5 . 236.1 / 300.0
TRS_Standard/AProVE_07/thiemann20.xml . 0.2 / 0.3 . 0.0 / 0.2 . 139.8 / 59.6 . 880.0 / 300.0 . 961.5 / 300.1 . 548.0 / 300.0 . 296.4 / 300.0
TRS_Standard/AProVE_07/thiemann21.xml . 1.2 / 1.3 . 0.0 / 0.3 . 186.5 / 59.9 . 665.4 / 300.0 . 614.3 / 300.1 . 553.6 / 300.0 . 138.6 / 300.0
TRS_Standard/AProVE_07/thiemann22.xml . 0.6 / 1.8 . 0.3 / 1.4 . 177.3 / 59.6 . 775.5 / 300.1 . 558.4 / 300.1 YES 9.2 / 14.9 . 76.8 / 77.4
TRS_Standard/AProVE_07/thiemann23.xml . 0.6 / 3.2 . 0.0 / 0.6 YES 42.4 / 18.7 . 660.5 / 300.1 . 496.4 / 300.1 YES 7.5 / 14.5 . 300.1 / 300.0
TRS_Standard/AProVE_07/thiemann24.xml . 0.3 / 0.3 . 0.0 / 0.2 . 202.6 / 59.4 . 860.0 / 300.1 . 895.4 / 300.1 YES 8.7 / 14.1 . 26.3 / 75.5
TRS_Standard/AProVE_07/thiemann25.xml . 0.3 / 2.1 . 0.0 / 0.2 . 198.6 / 59.3 . 1055.8 / 300.0 . 697.0 / 300.0 YES 5.1 / 2.6 . 50.0 / 50.7
TRS_Standard/AProVE_07/thiemann26.xml . 0.5 / 0.6 . 0.0 / 0.7 . 198.9 / 59.4 . 598.9 / 300.1 . 816.9 / 300.0 NO 170.0 / 123.6 . 1.6 / 1.7
TRS_Standard/AProVE_07/thiemann27.xml . 0.1 / 0.2 . 0.0 / 0.1 . 37.5 / 10.4 . 802.3 / 300.0 . 556.5 / 300.1 YES 3.9 / 2.4 . 26.1 / 26.7
TRS_Standard/AProVE_07/thiemann28.xml . 0.5 / 1.4 . 0.0 / 0.2 . 173.5 / 59.4 . 748.5 / 300.1 . 632.0 / 300.1 NO 17.5 / 10.3 . 0.9 / 4.0
TRS_Standard/AProVE_07/thiemann29.xml . 2.2 / 4.9 . 0.3 / 1.6 . 130.3 / 60.0 . 735.1 / 300.1 . 614.3 / 300.0 YES 50.2 / 44.7 . 181.5 / 300.1
TRS_Standard/AProVE_07/thiemann30.xml . 0.9 / 0.9 . 0.6 / 2.3 . 203.5 / 59.4 . 791.6 / 300.0 . 714.5 / 300.0 . 264.6 / 300.0 . 39.2 / 41.0
TRS_Standard/AProVE_07/thiemann31.xml . 1.6 / 5.3 . 0.0 / 0.6 . 85.6 / 61.9 . 1030.3 / 300.0 . 804.5 / 300.0 YES 11.6 / 15.4 . 214.3 / 300.0
TRS_Standard/AProVE_07/thiemann32.xml . 0.6 / 0.6 . 0.0 / 0.9 . 209.1 / 59.4 . 1051.5 / 300.0 . 531.6 / 300.1 YES 29.9 / 37.5 . 229.8 / 300.0
TRS_Standard/AProVE_07/thiemann33.xml . 0.5 / 1.9 . 0.0 / 0.1 . 127.8 / 59.7 . 770.8 / 300.1 . 961.5 / 300.1 YES 30.9 / 18.5 . 189.9 / 300.0
TRS_Standard/AProVE_07/thiemann34.xml . 0.4 / 0.4 . 0.0 / 0.3 . 183.1 / 59.3 . 895.5 / 300.1 . 860.6 / 300.1 YES 15.0 / 6.7 . 212.7 / 300.1
TRS_Standard/AProVE_07/thiemann35.xml . 247.2 / 300.0 YES 0.0 / 0.5 YES 13.9 / 6.2 . 645.5 / 300.0 . 723.9 / 300.0 YES 6.3 / 9.3 . 299.8 / 300.0
TRS_Standard/AProVE_07/thiemann36.xml . 2.0 / 2.1 . 0.7 / 1.8 . 111.3 / 60.2 . 803.5 / 300.0 . 774.3 / 300.0 YES 13.5 / 14.7 . 275.5 / 300.0
TRS_Standard/AProVE_07/thiemann37.xml . 230.9 / 230.8 . 0.1 / 1.0 . 223.5 / 59.3 . 772.8 / 300.1 . 578.5 / 300.1 YES 30.4 / 33.6 . 141.5 / 300.0
TRS_Standard/AProVE_07/thiemann38.xml . 0.5 / 1.8 . 0.0 / 0.3 . 159.2 / 59.5 . 694.3 / 300.0 . 638.0 / 300.1 YES 7.5 / 3.2 . 131.3 / 300.1
TRS_Standard/AProVE_07/thiemann39.xml . 15.0 / 15.0 YES 0.0 / 0.1 YES 20.1 / 5.9 . 659.7 / 300.0 . 886.1 / 300.1 YES 5.2 / 2.7 . 203.5 / 300.0
TRS_Standard/AProVE_07/thiemann40.xml . 0.1 / 0.1 YES 0.0 / 0.2 YES 1.9 / 0.7 . 909.9 / 300.0 . 997.3 / 300.1 YES 3.6 / 2.0 YES 0.0 / 0.6
TRS_Standard/AProVE_07/thiemann41.xml . 0.3 / 1.8 . 0.0 / 0.2 . 89.7 / 60.0 . 707.4 / 300.0 . 833.6 / 300.1 YES 4.5 / 2.3 . 42.7 / 123.9
TRS_Standard/AProVE_07/wiehe01.xml . 3.5 / 10.0 YES 0.0 / 0.3 YES 8.4 / 2.7 . 923.5 / 300.1 . 878.2 / 300.1 YES 7.4 / 9.0 . 214.1 / 300.0
TRS_Standard/AProVE_07/wiehe02.xml . 3.9 / 8.5 YES 0.0 / 0.3 YES 17.6 / 7.4 . 1096.6 / 300.0 . 568.7 / 300.1 YES 9.0 / 12.7 . 294.4 / 300.0
TRS_Standard/AProVE_07/wiehe03.xml . 4.0 / 6.8 YES 0.0 / 0.2 YES 16.3 / 9.5 . 819.0 / 300.1 . 786.4 / 300.0 YES 9.5 / 14.2 . 270.2 / 300.0
TRS_Standard/AProVE_07/wiehe05.xml . 3.4 / 3.5 YES 0.0 / 0.1 YES 8.2 / 2.6 . 674.6 / 300.1 . 1006.2 / 300.1 YES 7.2 / 14.5 . 172.9 / 300.0
TRS_Standard/AProVE_07/wiehe06.xml . 3.6 / 3.6 YES 0.0 / 0.1 YES 12.1 / 7.1 . 1053.2 / 300.1 . 918.5 / 300.1 YES 7.9 / 14.4 . 268.5 / 300.0
TRS_Standard/AProVE_07/wiehe07.xml . 2.8 / 2.8 . 0.6 / 1.2 . 195.0 / 59.4 . 992.9 / 300.1 . 1021.8 / 300.1 YES 64.4 / 45.4 . 182.3 / 300.0
TRS_Standard/AProVE_07/wiehe08.xml . 3.5 / 3.5 YES 0.0 / 0.2 YES 9.4 / 3.1 . 958.0 / 300.0 . 507.2 / 300.1 YES 6.8 / 4.0 . 288.1 / 300.0
TRS_Standard/AProVE_07/wiehe09.xml . 3.7 / 4.9 YES 0.0 / 0.2 YES 13.2 / 6.1 . 644.2 / 300.0 . 637.0 / 300.1 YES 7.1 / 3.3 . 299.9 / 300.0
TRS_Standard/AProVE_07/wiehe11.xml . 4.1 / 4.1 YES 0.0 / 0.2 YES 22.7 / 12.3 . 950.9 / 300.0 . 749.2 / 300.1 YES 8.6 / 12.4 . 291.6 / 300.0
TRS_Standard/AProVE_07/wiehe12.xml . 144.2 / 300.0 YES 0.0 / 0.2 YES 20.0 / 6.2 . 879.5 / 300.0 . 1025.8 / 300.1 YES 10.3 / 15.0 . 137.5 / 300.1
TRS_Standard/AProVE_08/id_inc.xml . 0.3 / 1.2 . 0.0 / 0.2 YES 8.3 / 2.8 YES 93.5 / 52.5 . 724.6 / 300.1 YES 5.3 / 7.9 . 0.0 / 0.0
TRS_Standard/AProVE_08/log.xml . 1.2 / 1.2 . 0.1 / 0.6 . 117.0 / 60.1 . 598.2 / 300.0 . 974.9 / 300.1 YES 9.5 / 13.8 . 1.8 / 11.0
TRS_Standard/AProVE_08/parting01_reverse.xml . 0.6 / 0.6 . 0.0 / 0.2 . 128.8 / 59.8 . 1056.0 / 300.0 . 639.8 / 300.1 YES 9.8 / 15.0 . 283.4 / 300.0
TRS_Standard/AProVE_08/parting02_doublelist.xml . 0.5 / 0.6 . 0.0 / 0.4 . 109.5 / 59.9 . 1047.5 / 300.0 . 608.6 / 300.1 YES 15.2 / 8.7 . 215.3 / 300.0
TRS_Standard/AProVE_08/parting03_minsort.xml . 0.5 / 0.5 . 0.0 / 0.2 . 220.1 / 59.4 . 790.7 / 300.1 . 1062.6 / 300.0 YES 11.7 / 4.5 . 149.2 / 300.0
TRS_Standard/AProVE_08/parting04_maxsort_h.xml . 0.9 / 1.1 . 0.1 / 0.8 . 118.6 / 60.0 . 613.1 / 300.1 . 491.0 / 300.0 YES 18.6 / 7.6 . 218.0 / 300.1
TRS_Standard/AProVE_08/parting05_maxsort.xml . 0.8 / 1.9 . 0.0 / 0.2 . 214.4 / 59.4 . 707.6 / 300.0 . 970.5 / 300.1 YES 18.5 / 7.0 . 166.7 / 300.0
TRS_Standard/AProVE_08/round.xml . 0.1 / 0.1 . 0.0 / 0.1 . 34.4 / 10.4 . 846.2 / 300.1 . 734.1 / 300.1 YES 3.7 / 2.0 . 0.1 / 0.1
TRS_Standard/AProVE_08/round_nonterm.xml . 0.1 / 0.1 . 0.0 / 0.1 NO 1.4 / 2.0 . 640.0 / 300.1 . 446.0 / 300.1 NO 3.8 / 6.7 . 0.2 / 2.3
TRS_Standard/AProVE_08/thiemann40_modified.xml . 0.2 / 0.8 YES 0.0 / 0.3 YES 2.9 / 2.7 . 869.8 / 300.1 . 666.8 / 300.1 YES 32.2 / 34.2 YES 1.3 / 1.6
TRS_Standard/AProVE_09_Inductive/div.xml . 0.4 / 2.9 . 0.0 / 0.3 . 101.7 / 59.6 . 624.2 / 300.1 . 841.9 / 300.1 YES 35.3 / 14.6 . 72.6 / 116.0
TRS_Standard/AProVE_09_Inductive/divhard.xml . 0.3 / 0.8 . 0.0 / 0.3 . 189.8 / 59.4 . 1056.6 / 300.1 . 517.8 / 300.1 . 429.8 / 300.1 . 39.4 / 41.8
TRS_Standard/AProVE_09_Inductive/gcd.xml . 0.3 / 0.9 . 0.0 / 0.5 . 98.2 / 60.3 . 764.2 / 300.1 . 981.0 / 300.1 YES 40.6 / 16.0 . 179.8 / 300.1
TRS_Standard/AProVE_09_Inductive/gcd2.xml . 0.7 / 1.3 . 0.0 / 0.9 . 188.3 / 59.4 . 622.6 / 300.1 . 878.1 / 300.0 YES 76.5 / 42.5 . 166.7 / 205.8
TRS_Standard/AProVE_09_Inductive/gcdhard.xml . 0.9 / 2.1 . 0.0 / 0.2 . 220.1 / 59.4 . 863.4 / 300.1 . 576.7 / 300.0 . 492.3 / 300.1 . 151.5 / 300.1
TRS_Standard/AProVE_09_Inductive/log.xml . 0.3 / 0.9 . 0.0 / 0.7 . 101.3 / 60.0 . 747.0 / 300.1 . 630.6 / 300.1 . 283.3 / 300.1 . 140.3 / 300.0
TRS_Standard/AProVE_09_Inductive/maxsort.xml . 0.7 / 0.7 . 0.0 / 0.2 . 134.4 / 59.9 . 994.2 / 300.0 . 604.6 / 300.1 YES 17.3 / 7.3 . 147.7 / 300.1
_Standard/AProVE_09_Inductive/maxsortcondition.xml . 0.4 / 1.1 . 0.1 / 0.3 . 106.1 / 59.9 . 609.3 / 300.0 . 848.0 / 300.0 YES 13.9 / 5.2 . 172.0 / 300.0
TRS_Standard/AProVE_09_Inductive/minsort.xml . 0.8 / 0.8 . 0.0 / 0.3 . 204.5 / 59.7 . 888.7 / 300.1 . 818.2 / 300.1 YES 18.1 / 7.5 . 169.5 / 300.0
TRS_Standard/AProVE_09_Inductive/mod.xml . 0.4 / 0.4 . 0.0 / 0.2 . 38.3 / 10.4 . 621.3 / 300.1 . 964.0 / 300.1 YES 29.0 / 14.5 . 58.0 / 59.6
TRS_Standard/AProVE_09_Inductive/qsort.xml . 1.0 / 2.9 . 0.4 / 2.4 . 150.3 / 60.0 . 656.8 / 300.1 . 739.9 / 300.1 YES 28.1 / 17.6 . 129.1 / 300.1
TRS_Standard/AProVE_09_Inductive/qsortlast.xml . 13.9 / 14.0 . 0.1 / 0.4 . 163.3 / 59.6 . 702.6 / 300.0 . 1030.9 / 300.1 . 415.8 / 300.1 . 238.5 / 300.0
TRS_Standard/AProVE_09_Inductive/qsortmiddle.xml . 225.4 / 300.0 . 0.1 / 0.5 . 114.8 / 60.0 . 682.9 / 300.1 . 829.8 / 300.1 YES 100.8 / 48.8 . 135.4 / 300.0
TRS_Standard/AProVE_09_Inductive/zerolist.xml . 0.3 / 2.1 . 0.0 / 1.0 . 20.0 / 10.9 . 787.0 / 300.1 . 630.2 / 300.1 YES 5.7 / 11.3 . 67.9 / 300.1
TRS_Standard/AProVE_10/Zantema06-03-modified.xml . 0.4 / 1.7 . 0.0 / 0.3 . 204.4 / 59.4 . 905.1 / 300.1 . 469.9 / 300.1 . 772.2 / 300.0 . 300.0 / 300.0
TRS_Standard/AProVE_10/andIsNat.xml . 0.2 / 2.5 . 0.0 / 0.5 . 198.5 / 59.3 . 864.9 / 300.0 NO 7.6 / 4.9 NO 42.8 / 21.9 . 147.0 / 300.0
TRS_Standard/AProVE_10/challenge_fab.xml . 0.3 / 0.3 . 0.0 / 0.5 . 131.3 / 60.3 . 896.0 / 300.0 NO 23.8 / 7.5 . 264.1 / 300.1 . 136.9 / 300.1
TRS_Standard/AProVE_10/double.xml . 0.1 / 0.2 . 0.0 / 0.1 . 82.8 / 59.5 . 847.2 / 300.1 NO 2.3 / 1.8 NO 16.3 / 14.2 . 152.0 / 300.0
TRS_Standard/AProVE_10/downfrom.xml . 0.1 / 0.2 . 0.0 / 0.7 . 204.0 / 59.3 . 845.5 / 300.1 NO 5.5 / 4.6 . 256.2 / 300.0 . 224.4 / 300.1
TRS_Standard/AProVE_10/ex1.xml . 0.1 / 0.1 . 0.0 / 0.1 . 145.1 / 59.5 . 611.3 / 300.0 . 485.6 / 300.1 NO 16.6 / 13.1 . 16.6 / 25.9
TRS_Standard/AProVE_10/ex2.xml . 0.2 / 0.8 . 0.0 / 0.3 . 97.0 / 59.8 . 1062.8 / 300.1 NO 4.4 / 3.9 NO 16.9 / 16.1 . 260.4 / 300.0
TRS_Standard/AProVE_10/ex3.xml . 0.1 / 0.2 . 0.1 / 0.7 . 108.4 / 59.7 . 1077.2 / 300.1 NO 5.0 / 2.5 NO 14.2 / 15.1 . 246.8 / 300.0
TRS_Standard/AProVE_10/ex4.xml . 0.3 / 1.6 . 0.0 / 0.1 . 187.9 / 59.4 . 740.1 / 300.1 NO 84.4 / 40.0 NO 32.1 / 18.3 . 252.5 / 300.0
TRS_Standard/AProVE_10/ex5.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.4 / 0.9 YES 1.0 / 0.6 . 0.7 / 3.3 YES 2.3 / 1.5 YES 0.0 / 0.0
TRS_Standard/AProVE_10/halfdouble.xml . 0.4 / 1.5 . 0.0 / 0.2 . 207.1 / 60.0 . 1068.6 / 300.0 . 431.3 / 300.1 NO 20.2 / 15.6 . 218.8 / 300.0
TRS_Standard/AProVE_10/isList.xml . 0.1 / 1.0 NO 0.0 / 0.1 NO 1.1 / 0.5 . 598.2 / 300.0 NO 2.4 / 0.8 NO 4.3 / 5.2 . 0.1 / 0.1
TRS_Standard/AProVE_10/isNat.xml . 0.1 / 0.8 . 0.0 / 0.3 . 81.1 / 59.7 . 774.7 / 300.1 NO 2.0 / 0.8 NO 22.4 / 11.8 . 2.9 / 18.4
TRS_Standard/AProVE_10/scnp.xml YES 0.0 / 0.1 YES 0.0 / 0.1 YES 0.6 / 1.4 YES 6.5 / 5.2 . 2.1 / 2.6 YES 2.4 / 1.6 YES 0.0 / 0.1
TRS_Standard/AotoYamada_05/001.xml . 0.5 / 2.4 NO 0.0 / 0.4 NO 0.3 / 0.3 . 1040.3 / 300.1 NO 1.8 / 2.1 NO 4.1 / 7.8 NO 24.0 / 70.2
TRS_Standard/AotoYamada_05/002.xml . 11.4 / 17.5 YES 0.0 / 0.0 YES 1.0 / 0.5 YES 19.4 / 8.1 . 578.5 / 300.1 YES 2.9 / 1.9 YES 0.0 / 0.3
TRS_Standard/AotoYamada_05/003.xml . 13.7 / 21.8 NO 0.0 / 0.1 NO 0.3 / 0.3 . 986.8 / 300.0 NO 27.6 / 7.4 NO 4.7 / 5.5 NO 1.4 / 1.4
TRS_Standard/AotoYamada_05/004.xml YES 1.0 / 3.1 YES 0.0 / 0.1 YES 0.9 / 0.5 . 739.0 / 300.1 . 2.5 / 3.3 YES 2.9 / 1.8 . 0.4 / 3.3
TRS_Standard/AotoYamada_05/005.xml YES 0.0 / 0.5 YES 0.0 / 0.0 YES 0.3 / 0.8 YES 4.8 / 1.6 . 2.5 / 2.0 YES 2.6 / 4.7 YES 0.0 / 0.1
TRS_Standard/AotoYamada_05/006.xml YES 12.8 / 19.3 YES 0.0 / 0.5 YES 1.2 / 0.8 . 927.0 / 300.0 . 3.1 / 3.3 YES 3.3 / 6.7 YES 0.0 / 0.1
TRS_Standard/AotoYamada_05/007.xml YES 0.9 / 1.0 YES 0.0 / 0.3 YES 1.2 / 1.6 . 805.7 / 300.0 . 2.5 / 3.5 YES 3.1 / 4.6 YES 0.1 / 0.7
TRS_Standard/AotoYamada_05/009.xml YES 1.2 / 4.1 YES 0.0 / 0.6 YES 1.2 / 1.7 YES 18.1 / 5.7 . 3.3 / 3.2 YES 3.6 / 5.9 YES 0.0 / 0.4
TRS_Standard/AotoYamada_05/010.xml YES 1.5 / 6.2 YES 0.0 / 0.6 YES 8.3 / 4.9 . 824.7 / 300.1 . 875.6 / 300.1 YES 51.5 / 21.3 . 1.3 / 2.7
TRS_Standard/AotoYamada_05/011.xml YES 0.9 / 0.9 YES 0.0 / 0.2 YES 10.9 / 6.7 . 992.6 / 300.1 . 3.6 / 5.0 YES 58.4 / 23.0 YES 0.4 / 0.4
TRS_Standard/AotoYamada_05/012.xml YES 1.1 / 1.2 YES 0.0 / 0.1 YES 1.2 / 0.6 YES 15.5 / 7.7 . 2.4 / 0.9 YES 3.1 / 5.2 YES 0.0 / 0.2
TRS_Standard/AotoYamada_05/013.xml . 4.7 / 6.0 YES 0.0 / 0.5 YES 1.3 / 2.3 . 868.7 / 300.0 . 3.0 / 4.3 YES 3.5 / 2.2 . 0.5 / 0.6
TRS_Standard/AotoYamada_05/014.xml YES 1.5 / 1.6 YES 0.0 / 0.1 YES 1.3 / 0.8 . 601.0 / 300.1 . 3.3 / 3.8 YES 3.6 / 4.8 . 0.9 / 5.3
TRS_Standard/AotoYamada_05/015.xml . 178.8 / 188.3 YES 0.0 / 0.1 YES 1.1 / 0.6 . 614.3 / 300.0 . 577.5 / 300.1 YES 3.1 / 6.4 YES 0.0 / 0.2
TRS_Standard/AotoYamada_05/016.xml . 13.8 / 19.8 YES 0.0 / 0.3 YES 1.2 / 0.9 YES 46.2 / 26.5 . 1048.4 / 300.1 YES 3.9 / 7.8 YES 0.0 / 0.2
TRS_Standard/AotoYamada_05/017.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.3 / 0.8 YES 1.4 / 0.7 . 0.9 / 0.9 YES 2.4 / 4.1 YES 0.0 / 0.4
TRS_Standard/AotoYamada_05/019.xml . 0.2 / 1.2 YES 0.0 / 0.0 YES 1.7 / 0.9 . 813.3 / 300.1 . 907.5 / 300.1 YES 2.5 / 3.4 YES 0.0 / 0.0
TRS_Standard/AotoYamada_05/020.xml . 0.6 / 0.6 YES 0.0 / 0.3 YES 2.2 / 2.5 . 699.7 / 300.1 . 568.3 / 300.1 YES 2.9 / 1.8 . 0.6 / 0.6
TRS_Standard/AotoYamada_05/021.xml YES 2.8 / 2.9 YES 0.0 / 0.4 YES 1.3 / 0.6 . 823.6 / 300.1 . 510.4 / 300.1 YES 3.4 / 7.1 . 1.3 / 5.3
TRS_Standard/AotoYamada_05/022.xml YES 2.4 / 2.4 YES 0.0 / 0.0 YES 1.0 / 0.5 . 636.2 / 300.1 . 2.6 / 1.2 YES 3.1 / 1.9 YES 0.0 / 0.0
TRS_Standard/AotoYamada_05/023.xml YES 0.0 / 0.1 YES 0.0 / 0.1 YES 0.3 / 0.3 YES 3.4 / 2.8 . 2.2 / 0.9 YES 2.8 / 5.2 YES 0.0 / 0.5
TRS_Standard/AotoYamada_05/024.xml YES 0.8 / 0.8 YES 0.0 / 0.2 YES 0.7 / 0.4 YES 4.0 / 1.1 . 1.6 / 1.9 YES 2.7 / 2.9 YES 0.0 / 0.0
TRS_Standard/AotoYamada_05/025.xml YES 0.0 / 0.3 YES 0.0 / 0.0 YES 0.3 / 1.2 YES 1.0 / 1.9 . 0.4 / 0.6 YES 2.4 / 1.6 YES 0.0 / 0.2
TRS_Standard/AotoYamada_05/026.xml . 1.2 / 2.0 YES 0.0 / 0.0 YES 2.1 / 0.9 . 846.5 / 300.0 . 503.5 / 300.0 YES 3.1 / 4.1 YES 0.0 / 0.0
TRS_Standard/AotoYamada_05/027.xml YES 1.4 / 1.4 YES 0.0 / 0.1 YES 1.2 / 1.5 . 788.5 / 300.1 . 2.6 / 2.0 YES 3.4 / 5.8 YES 0.1 / 0.3
TRS_Standard/AotoYamada_05/028.xml . 3.9 / 6.3 YES 0.0 / 0.2 YES 1.1 / 1.5 YES 12.4 / 10.5 . 2.9 / 3.1 YES 2.8 / 3.6 YES 0.0 / 0.0
TRS_Standard/AotoYamada_05/Ex1SimplyTyped.xml YES 1.0 / 1.0 YES 0.0 / 0.1 YES 1.2 / 1.6 . 695.5 / 300.1 . 760.6 / 300.1 YES 3.3 / 6.8 YES 0.1 / 1.0
TRS_Standard/AotoYamada_05/Ex5TermProof.xml . 2.8 / 3.2 . 0.0 / 0.2 . 108.2 / 59.9 . 1074.5 / 300.0 . 751.7 / 300.1 . 283.7 / 300.1 . 163.1 / 300.0
TRS_Standard/Applicative_05/BTreeMember.xml YES 0.5 / 1.3 YES 0.0 / 0.4 YES 1.6 / 0.8 . 803.8 / 300.0 . 659.9 / 300.1 YES 3.5 / 2.1 . 0.1 / 0.1
TRS_Standard/Applicative_05/Ex10Functional.xml . 13.1 / 35.1 . 0.1 / 0.4 . 207.0 / 59.4 . 904.4 / 300.0 . 1128.0 / 300.1 . 249.4 / 300.1 . 32.9 / 44.1
TRS_Standard/Applicative_05/Ex2PrimRec.xml . 1.0 / 2.4 . 0.6 / 1.3 . 165.9 / 59.8 . 656.2 / 300.1 . 621.9 / 300.1 . 198.8 / 300.1 . 0.9 / 5.6
TRS_Standard/Applicative_05/Ex2_6_1Composition.xml YES 0.0 / 0.0 YES 0.0 / 0.1 YES 0.3 / 0.3 YES 1.9 / 0.6 . 1.2 / 0.5 YES 2.5 / 4.3 YES 0.0 / 0.0
S_Standard/Applicative_05/Ex2_8_1ConstSubstFix.xml . 0.3 / 0.3 . 0.0 / 0.1 NO 9.8 / 5.7 . 689.6 / 300.0 NO 8.6 / 3.0 NO 16.7 / 11.9 . 131.3 / 300.0
TRS_Standard/Applicative_05/Ex3Lists.xml . 3.5 / 3.6 YES 0.0 / 0.3 YES 1.4 / 2.1 . 878.9 / 300.1 . 3.1 / 2.4 YES 3.3 / 5.2 . 0.9 / 3.1
TRS_Standard/Applicative_05/Ex4MapList.xml YES 0.6 / 0.6 YES 0.0 / 0.3 YES 0.9 / 1.9 . 736.9 / 300.0 . 498.1 / 300.1 YES 2.9 / 6.2 YES 0.2 / 1.8
TRS_Standard/Applicative_05/Ex5Folding.xml . 1.7 / 3.9 . 0.1 / 0.2 . 134.8 / 60.3 . 725.7 / 300.1 . 815.2 / 300.1 . 228.4 / 300.0 . 241.5 / 300.0
TRS_Standard/Applicative_05/Ex5Sorting.xml . 156.9 / 300.0 . 0.4 / 1.6 . 156.8 / 60.0 . 716.6 / 300.1 . 753.6 / 300.0 . 283.6 / 300.1 . 157.7 / 300.0
TRS_Standard/Applicative_05/Ex6Folding.xml . 1.4 / 1.6 . 0.0 / 0.6 . 101.9 / 59.8 . 703.8 / 300.0 . 572.2 / 300.1 . 373.7 / 300.0 . 9.0 / 24.1
TRS_Standard/Applicative_05/Ex6Recursor.xml . 2.2 / 2.2 . 0.0 / 0.1 . 110.4 / 59.5 . 619.0 / 300.0 . 536.3 / 300.1 . 324.2 / 300.1 . 134.7 / 300.0
TRS_Standard/Applicative_05/Ex6_11.xml YES 1.0 / 1.6 YES 0.0 / 0.2 YES 1.5 / 2.3 . 635.5 / 300.1 . 978.7 / 300.1 YES 2.6 / 1.7 YES 0.0 / 0.0
TRS_Standard/Applicative_05/Ex7OrdinalRec.xml . 12.3 / 29.9 . 0.1 / 1.0 . 146.9 / 59.7 . 797.7 / 300.1 . 800.0 / 300.1 . 273.1 / 300.1 . 166.5 / 300.0
TRS_Standard/Applicative_05/Ex7Sorting.xml . 300.1 / 300.0 . 0.1 / 0.5 . 215.9 / 59.4 . 1075.0 / 300.0 . 785.1 / 300.0 . 312.6 / 300.0 . 296.9 / 300.0
TRS_Standard/Applicative_05/Ex7_9.xml . 164.4 / 300.0 YES 0.0 / 0.2 YES 3.0 / 1.2 . 777.3 / 300.0 . 813.3 / 300.0 YES 4.1 / 2.2 . 96.9 / 209.9
TRS_Standard/Applicative_05/Ex8Polymorphic.xml . 2.3 / 2.3 YES 0.0 / 0.2 YES 1.3 / 1.9 . 849.1 / 300.0 . 590.8 / 300.1 YES 3.3 / 5.9 YES 0.0 / 0.0
TRS_Standard/Applicative_05/Ex9Maps.xml . 71.7 / 162.6 YES 0.1 / 0.7 . 124.8 / 59.6 . 598.0 / 300.1 . 4.3 / 4.4 YES 31.4 / 25.1 . 214.2 / 300.0
TRS_Standard/Applicative_05/Hamming.xml . 300.1 / 300.0 NO 0.2 / 1.1 NO 2.8 / 2.3 . 293.9 / 300.1 NO 212.8 / 134.5 NO 7.5 / 10.8 . 289.0 / 300.0
TRS_Standard/Applicative_05/ReverseLastInit.xml YES 0.1 / 0.2 YES 0.0 / 0.2 YES 3.0 / 2.6 YES 15.7 / 9.3 . 4.8 / 5.4 YES 2.6 / 1.6 YES 0.0 / 0.3
TRS_Standard/Applicative_05/TakeDropWhile.xml . 36.3 / 44.4 YES 0.0 / 0.1 YES 1.4 / 0.7 . 852.5 / 300.0 . 3.1 / 2.6 YES 3.0 / 1.9 YES 0.0 / 0.0
TRS_Standard/Applicative_05/TreeFlatten.xml . 5.0 / 5.0 YES 0.0 / 0.3 YES 1.3 / 0.6 . 752.9 / 300.0 . 3.4 / 3.2 YES 3.5 / 2.0 . 0.5 / 0.7
TRS_Standard/Applicative_05/TreeHeight.xml . 5.8 / 10.5 YES 0.0 / 0.1 YES 1.6 / 0.7 . 802.7 / 300.1 . 756.6 / 300.1 YES 3.3 / 2.0 YES 0.0 / 0.2
TRS_Standard/Applicative_05/TreeLevels.xml . 36.8 / 88.4 YES 0.0 / 0.1 YES 1.8 / 0.8 . 621.4 / 300.0 . 3.3 / 1.2 YES 4.3 / 6.8 . 1.3 / 3.1
TRS_Standard/Applicative_05/TreeMap.xml . 8.5 / 19.6 YES 0.0 / 0.1 YES 1.2 / 0.6 . 1059.1 / 300.1 . 2.9 / 3.1 YES 3.0 / 1.9 YES 0.0 / 0.0
TRS_Standard/Applicative_05/TreeSize.xml . 5.5 / 13.4 YES 0.0 / 0.4 YES 1.4 / 1.7 . 710.4 / 300.1 . 3.0 / 3.6 YES 3.5 / 6.6 . 0.5 / 3.8
TRS_Standard/Applicative_05/TypeEx1.xml YES 0.3 / 0.9 YES 0.0 / 0.1 YES 3.1 / 2.2 YES 6.5 / 2.2 . 577.6 / 300.1 YES 2.8 / 5.2 YES 0.0 / 0.0
TRS_Standard/Applicative_05/TypeEx3.xml . 4.2 / 4.3 NO 0.1 / 0.4 NO 0.3 / 0.8 . 1014.5 / 300.0 NO 11.0 / 9.4 NO 12.6 / 16.2 NO 0.0 / 0.3
TRS_Standard/Applicative_05/TypeEx5.xml . 0.0 / 0.4 NO 0.0 / 0.2 NO 0.3 / 0.7 . 792.9 / 300.1 NO 2.1 / 1.7 NO 3.8 / 2.3 NO 0.2 / 0.2
TRS_Standard/Applicative_05/mapDivMinus.xml . 5.3 / 10.7 YES 0.0 / 0.1 YES 2.2 / 2.1 . 773.9 / 300.1 . 994.5 / 300.1 YES 3.4 / 2.0 . 3.8 / 12.7
TRS_Standard/Applicative_05/mapDivMinusHard.xml . 7.9 / 7.9 YES 0.0 / 0.8 YES 3.9 / 3.1 . 658.7 / 300.0 . 988.1 / 300.1 YES 4.2 / 7.9 . 16.9 / 34.4
TRS_Standard/Applicative_05/nonTermF.xml . 2.5 / 2.5 . 0.1 / 0.7 . 192.3 / 59.4 . 767.3 / 300.1 . 536.2 / 300.1 NO 16.0 / 18.4 . 222.0 / 300.0
TRS_Standard/Applicative_05/termMonTypes.xml . 0.7 / 2.0 . 0.0 / 0.8 NO 1.3 / 2.1 . 668.4 / 300.0 NO 164.1 / 55.9 NO 6.6 / 3.3 . 199.7 / 300.1
TRS_Standard/Applicative_first_order_05/#3.10.xml . 134.1 / 300.0 YES 0.1 / 0.5 YES 12.8 / 3.7 . 820.9 / 300.1 . 593.4 / 300.1 YES 10.6 / 11.0 . 231.1 / 300.0
TRS_Standard/Applicative_first_order_05/#3.13.xml . 300.1 / 300.0 YES 0.1 / 1.0 YES 10.4 / 6.6 . 747.1 / 300.1 . 14.2 / 14.0 YES 8.5 / 13.7 . 142.2 / 300.0
TRS_Standard/Applicative_first_order_05/#3.16.xml . 3.8 / 3.8 YES 0.0 / 0.4 YES 1.5 / 2.2 . 752.9 / 300.0 . 3.2 / 1.2 YES 3.9 / 4.0 . 1.1 / 4.7
TRS_Standard/Applicative_first_order_05/#3.18.xml . 6.9 / 7.0 YES 0.0 / 0.1 YES 5.3 / 1.7 . 1059.3 / 300.0 . 803.0 / 300.1 YES 4.3 / 2.4 . 50.8 / 96.7
TRS_Standard/Applicative_first_order_05/#3.2.xml . 6.4 / 9.6 YES 0.0 / 0.1 YES 2.7 / 2.9 . 1057.3 / 300.0 . 604.4 / 300.1 YES 4.2 / 2.2 . 5.3 / 5.5
TRS_Standard/Applicative_first_order_05/#3.22.xml . 151.0 / 300.0 YES 0.0 / 0.3 YES 3.5 / 1.4 . 643.2 / 300.0 . 687.6 / 300.0 YES 4.0 / 2.3 . 229.0 / 300.0
TRS_Standard/Applicative_first_order_05/#3.25.xml . 3.5 / 8.3 YES 0.0 / 0.4 YES 2.8 / 2.2 . 995.3 / 300.0 . 3.9 / 3.7 YES 5.0 / 9.2 . 2.9 / 9.9
TRS_Standard/Applicative_first_order_05/#3.27.xml . 4.4 / 5.5 YES 0.1 / 1.5 YES 1.4 / 0.7 . 979.6 / 300.0 . 3.5 / 3.6 YES 4.1 / 5.8 YES 0.0 / 0.0
TRS_Standard/Applicative_first_order_05/#3.32.xml . 3.2 / 3.2 YES 0.0 / 0.5 YES 1.4 / 2.3 . 674.2 / 300.1 . 2.7 / 1.0 YES 3.8 / 7.9 YES 0.0 / 0.2
TRS_Standard/Applicative_first_order_05/#3.36.xml . 14.3 / 13.1 YES 0.0 / 0.3 YES 7.3 / 2.4 . 730.6 / 300.1 . 660.9 / 300.0 YES 6.6 / 11.8 . 177.0 / 300.0
TRS_Standard/Applicative_first_order_05/#3.38.xml . 8.4 / 24.2 YES 0.0 / 0.6 YES 3.8 / 3.4 . 1067.0 / 300.0 . 723.7 / 300.1 YES 5.2 / 8.1 . 4.3 / 17.4
TRS_Standard/Applicative_first_order_05/#3.40.xml . 123.6 / 240.4 . 2.4 / 4.3 YES 47.9 / 17.8 . 746.7 / 300.1 . 561.3 / 300.1 YES 6.2 / 3.1 . 299.6 / 300.0
TRS_Standard/Applicative_first_order_05/#3.45.xml . 4.6 / 13.2 YES 0.0 / 0.1 YES 2.8 / 1.1 . 654.9 / 300.1 . 4.3 / 5.2 YES 4.4 / 6.8 YES 0.0 / 0.4
TRS_Standard/Applicative_first_order_05/#3.48.xml . 190.5 / 300.0 YES 0.0 / 0.4 YES 3.2 / 1.3 . 656.5 / 300.1 . 675.7 / 300.1 YES 3.6 / 2.1 YES 0.0 / 0.1
TRS_Standard/Applicative_first_order_05/#3.52.xml . 3.8 / 3.8 YES 0.0 / 0.2 YES 1.5 / 1.9 . 1050.2 / 300.0 . 789.0 / 300.0 YES 3.6 / 2.6 YES 0.0 / 0.0
TRS_Standard/Applicative_first_order_05/#3.55.xml . 158.6 / 251.8 YES 0.1 / 0.2 YES 5.8 / 4.6 . 634.5 / 300.0 . 647.1 / 300.0 YES 7.8 / 3.6 . 137.7 / 300.1
TRS_Standard/Applicative_first_order_05/#3.57.xml . 51.7 / 51.6 YES 0.0 / 0.3 YES 8.7 / 2.7 . 835.4 / 300.1 . 758.9 / 300.1 YES 7.6 / 3.4 . 70.7 / 97.5
TRS_Standard/Applicative_first_order_05/#3.6.xml . 23.1 / 25.5 YES 0.0 / 0.1 YES 3.2 / 3.3 . 758.1 / 300.0 . 433.6 / 300.1 YES 6.9 / 5.7 . 66.8 / 67.3
TRS_Standard/Applicative_first_order_05/#3.8.xml . 14.0 / 25.4 YES 0.0 / 0.3 YES 3.8 / 3.8 . 673.4 / 300.1 . 891.3 / 300.0 YES 4.9 / 2.5 . 22.0 / 34.4
TRS_Standard/Applicative_first_order_05/01.xml . 3.7 / 4.0 YES 0.0 / 0.3 YES 1.8 / 1.9 . 628.9 / 300.0 . 4.2 / 4.1 YES 4.3 / 6.8 YES 0.0 / 0.1
TRS_Standard/Applicative_first_order_05/02.xml . 3.7 / 3.8 YES 0.0 / 0.3 YES 1.9 / 1.1 . 809.5 / 300.0 . 4.1 / 1.7 YES 4.2 / 6.3 YES 0.0 / 0.0
TRS_Standard/Applicative_first_order_05/06.xml . 3.3 / 3.4 YES 0.0 / 0.1 YES 1.5 / 0.7 . 811.4 / 300.1 . 2.7 / 1.3 YES 3.5 / 2.0 YES 0.0 / 0.0
TRS_Standard/Applicative_first_order_05/08.xml . 23.7 / 50.7 YES 0.0 / 0.5 YES 2.0 / 0.9 . 745.1 / 300.0 . 722.4 / 300.1 YES 4.0 / 2.2 YES 0.0 / 0.2
TRS_Standard/Applicative_first_order_05/11.xml . 222.1 / 300.0 YES 0.0 / 0.5 YES 3.3 / 1.5 . 656.3 / 300.0 . 998.7 / 300.0 YES 6.1 / 3.1 YES 0.1 / 0.1
TRS_Standard/Applicative_first_order_05/12.xml . 8.2 / 19.0 YES 0.0 / 0.1 YES 2.7 / 2.8 . 619.2 / 300.0 . 677.4 / 300.1 YES 4.0 / 6.2 . 1.6 / 1.7
TRS_Standard/Applicative_first_order_05/13.xml . 7.0 / 7.1 . 0.3 / 2.2 . 137.7 / 59.6 . 780.3 / 300.1 . 5.4 / 5.2 YES 31.7 / 17.6 . 3.6 / 10.8
TRS_Standard/Applicative_first_order_05/17.xml . 8.1 / 9.7 YES 0.0 / 0.4 YES 2.1 / 2.0 . 735.3 / 300.1 . 3.9 / 2.1 YES 3.9 / 2.2 . 0.8 / 3.7
TRS_Standard/Applicative_first_order_05/18.xml . 5.6 / 5.6 YES 0.0 / 0.2 YES 1.4 / 1.9 . 709.1 / 300.1 . 4.1 / 3.8 YES 3.8 / 6.0 YES 0.0 / 0.0
TRS_Standard/Applicative_first_order_05/21.xml . 7.3 / 9.0 YES 0.0 / 0.4 YES 3.2 / 1.1 . 809.4 / 300.1 . 857.2 / 300.1 YES 4.0 / 2.2 . 3.1 / 11.7
TRS_Standard/Applicative_first_order_05/29.xml . 6.7 / 14.7 YES 0.0 / 0.4 YES 1.7 / 1.8 . 962.5 / 300.1 . 785.9 / 300.1 YES 5.0 / 8.3 . 7.7 / 15.6
TRS_Standard/Applicative_first_order_05/30.xml . 57.0 / 70.3 YES 0.1 / 0.4 . 115.4 / 59.9 . 602.5 / 300.1 . 786.1 / 300.0 YES 6.7 / 9.6 . 299.9 / 300.0
TRS_Standard/Applicative_first_order_05/31.xml . 9.5 / 20.6 YES 0.0 / 0.3 YES 180.9 / 51.6 . 783.0 / 300.0 . 707.5 / 300.0 YES 4.3 / 2.3 . 2.2 / 6.8
TRS_Standard/Applicative_first_order_05/33.xml . 169.3 / 300.0 . 0.1 / 0.9 . 161.8 / 59.4 . 743.2 / 300.0 . 674.9 / 300.1 . 388.5 / 300.1 . 165.4 / 300.1
TRS_Standard/Applicative_first_order_05/hydra.xml . 16.1 / 16.1 YES 0.0 / 0.1 YES 3.0 / 1.2 . 713.7 / 300.0 . 4.4 / 4.2 YES 4.1 / 2.3 . 5.2 / 13.3
RS_Standard/Applicative_first_order_05/minsort.xml . 228.8 / 300.0 . 0.1 / 0.8 . 130.2 / 60.4 . 608.7 / 300.0 . 790.1 / 300.1 . 439.7 / 300.1 . 245.8 / 300.0
Standard/Applicative_first_order_05/motivation.xml . 3.5 / 4.7 YES 0.0 / 0.1 YES 2.6 / 1.1 . 641.3 / 300.1 . 661.2 / 300.1 YES 3.9 / 2.7 YES 0.0 / 0.0
RS_Standard/Applicative_first_order_05/perfect.xml . 253.5 / 300.0 YES 0.0 / 0.4 YES 2.8 / 1.2 . 793.3 / 300.0 . 687.3 / 300.1 YES 4.6 / 2.4 . 201.7 / 300.0
S_Standard/Applicative_first_order_05/perfect2.xml . 162.6 / 300.0 YES 0.0 / 0.6 YES 2.3 / 2.1 . 791.2 / 300.0 . 703.4 / 300.0 YES 6.6 / 10.4 . 211.3 / 300.0
TRS_Standard/Beerendonk_07/1.xml . 0.1 / 0.1 YES 0.0 / 0.1 YES 2.2 / 2.5 . 962.9 / 300.0 . 604.1 / 300.1 YES 3.3 / 2.1 YES 0.0 / 0.1
TRS_Standard/Beerendonk_07/10.xml . 1.3 / 1.4 YES 0.0 / 0.2 YES 7.0 / 5.1 . 707.0 / 300.0 . 645.2 / 300.1 YES 4.8 / 2.7 YES 0.1 / 2.1
TRS_Standard/Beerendonk_07/11.xml . 0.6 / 0.7 . 0.0 / 0.8 . 194.4 / 59.3 . 787.2 / 300.1 . 885.0 / 300.1 YES 9.9 / 15.5 . 32.1 / 76.3
TRS_Standard/Beerendonk_07/12.xml . 0.3 / 1.8 . 0.0 / 0.7 . 96.5 / 59.5 . 606.6 / 300.0 . 559.6 / 300.1 YES 6.6 / 3.0 . 25.4 / 75.7
TRS_Standard/Beerendonk_07/13.xml . 0.3 / 0.3 . 0.0 / 0.1 . 191.4 / 59.3 . 736.0 / 300.1 . 494.4 / 300.1 YES 6.1 / 2.9 . 23.5 / 24.4
TRS_Standard/Beerendonk_07/14.xml . 0.3 / 1.1 . 0.0 / 0.1 . 125.4 / 59.7 . 615.8 / 300.1 . 639.6 / 300.1 YES 7.0 / 3.5 . 16.1 / 74.1
TRS_Standard/Beerendonk_07/15.xml . 1.6 / 3.5 . 0.6 / 1.5 . 148.1 / 60.0 . 725.2 / 300.1 . 937.4 / 300.1 YES 14.5 / 15.4 YES 59.7 / 158.0
TRS_Standard/Beerendonk_07/16.xml . 0.9 / 2.0 . 0.0 / 0.8 . 184.3 / 59.4 . 751.1 / 300.1 . 665.3 / 300.0 YES 32.1 / 17.4 YES 67.0 / 143.9
TRS_Standard/Beerendonk_07/17.xml . 3.4 / 3.5 . 0.3 / 1.0 . 161.2 / 59.5 . 747.4 / 300.0 . 702.6 / 300.0 YES 42.4 / 63.2 YES 118.6 / 230.2
TRS_Standard/Beerendonk_07/18.xml . 6.3 / 15.0 . 0.7 / 3.2 . 121.7 / 60.5 . 694.8 / 300.1 . 781.4 / 300.1 YES 5.0 / 10.5 . 174.4 / 300.0
TRS_Standard/Beerendonk_07/19.xml . 2.4 / 5.0 . 1.0 / 1.0 . 189.9 / 59.9 . 766.7 / 300.0 . 935.5 / 300.0 YES 20.5 / 17.6 . 185.9 / 300.1
TRS_Standard/Beerendonk_07/2.xml . 0.2 / 0.3 YES 0.0 / 0.1 YES 2.8 / 1.7 . 597.6 / 300.1 . 491.1 / 300.1 YES 3.7 / 7.5 YES 0.0 / 0.0
TRS_Standard/Beerendonk_07/20.xml . 5.4 / 10.9 . 0.3 / 1.1 . 177.7 / 59.5 . 850.4 / 300.1 . 544.8 / 300.1 YES 4.1 / 3.3 . 131.8 / 300.1
TRS_Standard/Beerendonk_07/21.xml . 2.0 / 2.2 . 0.0 / 1.1 . 198.0 / 59.4 . 717.3 / 300.0 . 996.3 / 300.0 . 282.6 / 300.1 . 143.2 / 300.1
TRS_Standard/Beerendonk_07/22.xml . 0.6 / 1.9 YES 0.0 / 0.1 YES 4.2 / 3.2 . 691.5 / 300.1 . 1016.4 / 300.1 YES 6.2 / 11.1 YES 0.1 / 1.7
TRS_Standard/Beerendonk_07/23.xml . 0.4 / 0.4 YES 0.0 / 0.1 YES 4.9 / 1.7 . 662.2 / 300.1 . 991.6 / 300.0 YES 4.7 / 5.7 YES 0.1 / 0.3
TRS_Standard/Beerendonk_07/24.xml . 3.5 / 3.6 . 1.5 / 1.6 . 126.1 / 60.1 . 863.5 / 300.1 . 616.0 / 300.1 YES 56.0 / 28.4 YES 49.7 / 74.5
TRS_Standard/Beerendonk_07/3.xml . 0.1 / 0.3 . 0.0 / 0.1 . 30.0 / 10.8 . 713.8 / 300.0 . 422.4 / 300.1 YES 3.6 / 2.2 . 298.6 / 300.0
TRS_Standard/Beerendonk_07/4.xml . 0.1 / 0.1 . 0.0 / 0.1 . 84.3 / 59.8 . 649.2 / 300.0 . 577.3 / 300.1 YES 6.8 / 2.2 . 2.0 / 12.1
TRS_Standard/Beerendonk_07/5.xml . 2.0 / 2.1 YES 0.0 / 0.1 YES 3.2 / 1.2 . 684.5 / 300.1 . 642.0 / 300.1 YES 6.4 / 11.5 YES 0.1 / 0.1
TRS_Standard/Beerendonk_07/6.xml . 0.1 / 1.0 YES 0.0 / 0.4 YES 2.3 / 2.2 . 813.7 / 300.1 . 529.3 / 300.1 YES 3.5 / 7.1 YES 0.0 / 1.0
TRS_Standard/Beerendonk_07/7.xml . 0.2 / 0.2 YES 0.0 / 0.1 YES 2.3 / 1.9 . 560.1 / 300.0 . 649.9 / 300.1 YES 3.4 / 5.4 YES 0.0 / 0.1
TRS_Standard/Beerendonk_07/8.xml . 4.7 / 4.7 YES 0.0 / 0.4 YES 3.3 / 3.3 . 825.5 / 300.0 . 559.3 / 300.1 YES 3.1 / 1.9 YES 0.1 / 0.1
TRS_Standard/Beerendonk_07/9.xml . 2.0 / 4.4 YES 0.0 / 0.1 YES 3.6 / 3.1 . 714.9 / 300.1 . 971.4 / 300.1 YES 4.7 / 4.8 YES 0.1 / 0.6
TRS_Standard/CiME_04/ack_prolog.xml YES 0.1 / 0.8 YES 0.0 / 0.3 YES 0.9 / 0.5 YES 8.9 / 4.5 . 722.0 / 300.1 YES 2.7 / 2.3 YES 0.0 / 0.0
TRS_Standard/CiME_04/append-hard.xml . 0.1 / 0.1 YES 0.0 / 0.2 YES 2.2 / 0.9 . 635.3 / 300.1 . 580.5 / 300.1 YES 3.6 / 2.1 YES 0.0 / 0.0
TRS_Standard/CiME_04/append-wrong.xml . 0.2 / 1.2 . 0.0 / 0.5 NO 1.4 / 0.9 . 734.7 / 300.1 NO 9.9 / 3.4 NO 5.7 / 12.3 . 2.7 / 10.0
TRS_Standard/CiME_04/append.xml YES 0.1 / 0.4 YES 0.0 / 0.2 YES 0.7 / 1.1 YES 1.8 / 1.1 . 611.5 / 300.1 YES 3.0 / 11.1 YES 0.0 / 0.0
TRS_Standard/CiME_04/big.xml YES 1.4 / 5.2 YES 0.0 / 0.5 YES 17.6 / 5.8 . 722.6 / 300.1 . 707.1 / 300.1 YES 7.1 / 11.1 YES 0.4 / 3.2
TRS_Standard/CiME_04/boolean_rings.xml YES 0.1 / 0.4 YES 0.0 / 0.0 YES 0.8 / 0.4 YES 4.2 / 1.4 . 1.8 / 1.0 YES 3.1 / 6.1 YES 0.0 / 0.0
TRS_Standard/CiME_04/dpqs.xml YES 0.0 / 0.1 YES 0.0 / 0.2 YES 0.8 / 0.6 YES 0.7 / 0.3 . 1.9 / 1.5 YES 3.2 / 7.7 YES 0.0 / 0.0
TRS_Standard/CiME_04/fact-hard.xml . 0.3 / 0.3 . 0.0 / 0.4 . 88.2 / 51.3 . 665.0 / 300.0 . 456.9 / 300.0 YES 6.4 / 7.3 . 0.1 / 0.1
TRS_Standard/CiME_04/filliatre.xml YES 0.2 / 0.2 YES 0.0 / 0.2 YES 5.3 / 3.4 YES 31.2 / 9.6 . 5.2 / 3.4 YES 4.5 / 2.2 YES 0.1 / 0.1
TRS_Standard/CiME_04/filliatre2.xml YES 0.3 / 0.3 YES 0.0 / 0.3 YES 3.8 / 1.3 YES 25.3 / 9.2 . 5.7 / 2.3 YES 3.5 / 5.5 YES 0.1 / 0.1
TRS_Standard/CiME_04/filliatre3.xml YES 0.3 / 0.8 YES 0.0 / 0.3 YES 8.4 / 5.1 YES 31.5 / 8.7 . 568.8 / 300.1 YES 4.7 / 6.6 YES 0.1 / 0.5
TRS_Standard/CiME_04/intersect.xml YES 0.2 / 1.8 YES 0.0 / 0.1 YES 2.8 / 1.0 . 1058.8 / 300.0 . 4.5 / 1.4 YES 3.5 / 2.9 YES 0.1 / 0.1
RS_Standard/CiME_04/list-sum-prod-assoc-append.xml YES 0.5 / 0.5 YES 0.0 / 0.1 YES 1.8 / 0.8 . 858.9 / 300.1 . 3.9 / 2.8 YES 3.1 / 1.8 YES 0.0 / 0.0
TRS_Standard/CiME_04/list-sum-prod-assoc.xml YES 0.2 / 0.2 YES 0.0 / 0.3 YES 1.6 / 0.7 . 1188.1 / 300.0 . 3.3 / 5.1 YES 3.2 / 7.1 YES 0.0 / 0.3
dard/CiME_04/list-sum-prod-bin-assoc-distr-app.xml YES 0.3 / 1.3 YES 0.0 / 0.4 YES 8.1 / 4.5 . 739.4 / 300.1 . 5.1 / 2.1 YES 3.6 / 2.1 YES 0.2 / 2.3
TRS_Standard/CiME_04/list-sum-prod-bin-assoc.xml YES 0.2 / 0.2 YES 0.0 / 0.1 YES 7.4 / 2.2 . 817.3 / 300.0 . 4.0 / 2.9 YES 3.2 / 1.9 YES 0.2 / 0.2
TRS_Standard/CiME_04/list-sum-prod-bin.xml YES 0.1 / 0.2 YES 0.0 / 0.2 YES 3.2 / 2.2 . 595.8 / 300.1 . 3.2 / 3.5 YES 3.6 / 4.9 YES 0.1 / 1.3
TRS_Standard/CiME_04/list-sum-prod.xml YES 0.1 / 0.4 YES 0.0 / 0.3 YES 1.3 / 2.0 . 747.0 / 300.1 . 2.9 / 3.4 YES 3.1 / 6.2 YES 0.0 / 0.0
TRS_Standard/CiME_04/log2.xml YES 0.5 / 0.6 YES 0.0 / 0.6 YES 15.7 / 4.4 YES 160.1 / 45.2 . 1005.8 / 300.1 YES 5.3 / 2.7 YES 0.3 / 2.7
TRS_Standard/CiME_04/lse.xml YES 0.5 / 1.4 YES 0.0 / 0.1 YES 6.9 / 2.6 . 1005.7 / 300.1 . 4.6 / 1.9 YES 3.9 / 6.4 YES 26.2 / 75.3
TRS_Standard/CiME_04/maude2.xml . 0.7 / 0.7 . 0.0 / 0.8 . 106.5 / 60.3 . 765.0 / 300.1 . 736.4 / 300.0 . 464.8 / 300.1 . 1.8 / 1.9
TRS_Standard/CiME_04/mucrl1.xml YES 116.9 / 131.1 YES 0.1 / 0.7 YES 2.6 / 3.1 . 632.0 / 300.0 . 635.0 / 300.1 YES 10.8 / 5.6 YES 0.3 / 1.0
TRS_Standard/CiME_04/ternary-hard.xml YES 0.3 / 0.7 YES 0.0 / 0.1 YES 8.0 / 5.1 . 616.1 / 300.1 . 633.7 / 300.1 YES 4.0 / 2.2 YES 0.6 / 0.7
TRS_Standard/CiME_04/ternary.xml YES 0.3 / 1.0 YES 0.0 / 0.1 YES 8.5 / 2.6 . 830.3 / 300.0 . 633.9 / 300.1 YES 4.0 / 7.2 YES 0.6 / 6.3
TRS_Standard/CiME_04/tree.xml YES 0.8 / 2.2 YES 0.0 / 0.4 YES 9.2 / 3.0 YES 701.1 / 243.3 . 517.3 / 300.1 YES 5.2 / 2.6 YES 0.2 / 0.2
TRS_Standard/Der95/01.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.5 / 0.3 YES 0.1 / 0.2 . 2.5 / 3.0 YES 2.6 / 4.7 YES 0.0 / 0.1
TRS_Standard/Der95/02.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 0.6 / 0.4 YES 0.2 / 0.2 . 1.0 / 2.0 YES 2.6 / 6.8 YES 0.0 / 0.2
TRS_Standard/Der95/03.xml YES 0.0 / 0.0 YES 0.0 / 0.1 YES 0.6 / 1.1 YES 0.1 / 0.3 . 0.9 / 0.4 YES 3.4 / 6.0 YES 0.0 / 0.0
TRS_Standard/Der95/04.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.7 / 0.4 YES 1.0 / 0.5 . 1.0 / 1.4 YES 5.1 / 9.2 YES 0.0 / 0.1
TRS_Standard/Der95/06.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 1.1 / 1.1 YES 1.6 / 2.1 . 1.4 / 2.1 YES 2.6 / 1.6 YES 0.0 / 0.0
TRS_Standard/Der95/07.xml YES 0.0 / 0.0 YES 0.0 / 0.2 YES 0.8 / 1.8 YES 4.0 / 4.6 . 1.3 / 0.5 YES 7.1 / 6.8 YES 0.0 / 0.3
TRS_Standard/Der95/08.xml YES 0.1 / 0.2 YES 0.0 / 0.0 YES 1.3 / 1.9 . 613.4 / 300.0 . 579.6 / 300.1 YES 2.6 / 1.7 YES 0.0 / 0.0
TRS_Standard/Der95/09.xml YES 0.0 / 0.0 YES 0.0 / 0.1 YES 0.3 / 1.2 YES 1.5 / 0.4 . 1.1 / 0.5 YES 2.5 / 1.6 YES 0.0 / 0.1
TRS_Standard/Der95/11.xml YES 0.4 / 1.1 YES 0.0 / 0.1 YES 1.8 / 2.1 . 1049.4 / 300.0 . 784.4 / 300.1 YES 3.4 / 5.8 YES 0.0 / 0.2
TRS_Standard/Der95/12.xml YES 0.2 / 0.3 YES 0.0 / 0.4 YES 1.5 / 0.7 . 933.4 / 300.1 . 611.3 / 300.1 YES 2.8 / 5.7 YES 0.0 / 0.1
TRS_Standard/Der95/13.xml YES 0.1 / 0.2 . 0.0 / 0.4 . 140.5 / 50.6 . 577.6 / 300.0 . 2.3 / 1.8 YES 30.9 / 16.9 YES 0.4 / 1.0
TRS_Standard/Der95/17.xml YES 0.0 / 0.1 YES 0.0 / 0.3 YES 0.8 / 1.4 YES 10.8 / 7.9 . 2.6 / 3.6 YES 2.5 / 1.8 YES 0.0 / 0.1
TRS_Standard/Der95/18.xml YES 0.0 / 0.0 YES 0.0 / 0.3 YES 0.5 / 0.4 YES 1.5 / 0.5 . 1.5 / 2.2 YES 2.7 / 1.9 YES 0.0 / 0.0
TRS_Standard/Der95/20.xml YES 0.1 / 0.8 YES 0.0 / 0.1 YES 0.8 / 1.2 YES 3.4 / 1.1 . 2.1 / 2.2 YES 2.7 / 4.9 YES 0.2 / 0.2
TRS_Standard/Der95/21.xml . 0.1 / 0.2 YES 0.0 / 0.3 YES 2.2 / 1.9 . 1045.7 / 300.0 . 471.7 / 300.1 YES 2.7 / 1.7 YES 0.0 / 0.2
TRS_Standard/Der95/27.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.4 / 0.3 YES 0.9 / 0.3 . 1.8 / 0.6 YES 2.4 / 1.8 YES 0.0 / 0.0
TRS_Standard/Der95/28.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 0.6 / 0.4 . 765.2 / 300.1 . 2.7 / 2.1 YES 2.4 / 4.2 YES 0.0 / 0.0
TRS_Standard/Der95/30.xml YES 0.1 / 0.2 YES 0.1 / 0.4 YES 0.3 / 0.8 . 772.7 / 300.1 . 699.8 / 300.1 YES 2.5 / 1.7 . 2.2 / 14.8
TRS_Standard/Der95/31.xml YES 0.1 / 0.1 YES 0.0 / 0.2 YES 1.9 / 0.8 . 1079.5 / 300.0 . 464.5 / 300.1 YES 2.9 / 7.0 YES 0.0 / 0.0
TRS_Standard/Der95/32.xml YES 0.1 / 0.4 YES 0.0 / 0.0 YES 0.9 / 1.5 YES 25.3 / 16.5 . 913.8 / 300.0 YES 3.2 / 5.7 YES 0.0 / 0.0
TRS_Standard/Der95/33.xml . 0.7 / 0.7 . 0.1 / 0.4 . 188.7 / 50.8 . 633.0 / 300.0 . 456.4 / 300.1 . 641.7 / 300.1 . 65.4 / 300.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_1.xml . 0.2 / 0.3 . 0.0 / 0.4 . 151.6 / 59.4 . 775.3 / 300.1 . 901.8 / 300.1 NO 13.0 / 15.5 . 218.8 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_2.xml . 0.4 / 0.5 . 0.0 / 0.2 . 201.6 / 59.4 . 667.2 / 300.0 . 406.1 / 300.1 . 314.6 / 300.1 . 292.0 / 300.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_3.xml . 0.3 / 0.5 . 0.0 / 0.2 . 103.5 / 59.7 . 618.0 / 300.0 . 738.7 / 300.1 . 307.1 / 300.1 . 225.5 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_4.xml . 0.3 / 1.3 . 0.0 / 0.3 . 176.6 / 60.1 . 698.9 / 300.1 . 674.4 / 300.1 NO 11.1 / 18.6 . 151.5 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_5.xml . 0.3 / 0.3 . 0.0 / 0.2 . 163.7 / 59.4 . 856.3 / 300.0 . 452.3 / 300.1 NO 34.2 / 12.5 . 169.4 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_1.xml . 0.2 / 0.3 . 0.0 / 0.7 . 93.7 / 59.7 . 618.7 / 300.1 . 559.7 / 300.1 . 500.2 / 300.0 . 187.1 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_2.xml . 0.2 / 0.9 . 0.0 / 0.1 . 99.5 / 59.8 . 888.5 / 300.1 . 506.1 / 300.1 NO 20.2 / 12.9 . 140.9 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_3.xml . 0.2 / 0.4 . 0.0 / 0.1 . 111.0 / 59.4 . 618.0 / 300.0 . 621.0 / 300.1 . 342.5 / 300.0 . 136.3 / 144.2
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_4.xml . 0.3 / 0.7 . 0.0 / 0.1 . 191.2 / 60.0 . 591.3 / 300.0 . 832.7 / 300.1 NO 41.3 / 39.3 . 140.7 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_5.xml . 0.3 / 0.3 . 0.0 / 0.4 . 210.8 / 59.4 . 880.5 / 300.1 . 730.1 / 300.1 NO 57.3 / 24.6 . 133.9 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_1.xml . 0.2 / 0.3 . 0.0 / 0.3 . 104.3 / 60.0 . 799.6 / 300.1 NO 4.8 / 4.5 NO 32.9 / 12.5 . 219.0 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_2.xml . 0.2 / 1.0 . 0.0 / 0.1 . 102.6 / 59.4 . 748.7 / 300.0 NO 5.2 / 1.5 NO 14.6 / 13.8 . 2.2 / 23.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_3.xml . 0.3 / 0.3 . 0.0 / 0.4 . 180.7 / 59.9 . 657.6 / 300.0 NO 8.2 / 2.3 NO 35.4 / 13.0 . 2.5 / 2.8
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_4.xml . 0.3 / 1.5 . 0.0 / 0.4 . 90.4 / 60.1 . 740.5 / 300.1 NO 10.5 / 7.4 . 638.3 / 300.0 . 2.5 / 2.8
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_1.xml . 0.3 / 0.4 . 0.0 / 0.1 . 189.5 / 59.4 . 833.7 / 300.1 . 649.8 / 300.1 NO 21.6 / 12.1 . 15.8 / 17.7
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_2.xml . 0.4 / 0.6 . 0.0 / 0.6 . 198.6 / 59.4 . 727.2 / 300.0 . 865.8 / 300.1 NO 20.2 / 27.3 . 160.1 / 176.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_3.xml . 0.5 / 0.5 . 0.0 / 0.6 . 175.5 / 59.4 . 926.8 / 300.0 . 545.1 / 300.1 NO 21.2 / 21.3 . 62.3 / 133.9
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_4.xml . 0.3 / 0.4 . 0.0 / 0.4 . 129.4 / 60.2 . 1036.2 / 300.0 . 509.8 / 300.1 NO 19.0 / 13.0 . 14.7 / 35.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_1.xml . 0.9 / 0.9 . 0.0 / 0.2 . 189.8 / 59.5 . 733.4 / 300.1 . 554.6 / 300.1 NO 25.7 / 28.6 . 141.5 / 300.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_2.xml . 2.0 / 2.1 . 0.0 / 0.9 . 116.6 / 60.4 . 681.6 / 300.0 . 734.7 / 300.1 NO 19.1 / 22.2 . 233.0 / 300.1
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_3.xml . 0.5 / 0.5 . 0.0 / 0.2 . 154.6 / 59.9 . 766.6 / 300.0 . 427.6 / 300.1 NO 26.2 / 28.2 . 57.8 / 89.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex6_1.xml . 0.2 / 0.2 . 0.0 / 0.1 . 112.4 / 59.6 . 682.2 / 300.0 NO 7.3 / 2.6 NO 25.4 / 13.1 . 99.2 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex6_2.xml . 0.3 / 2.0 . 0.0 / 0.8 . 194.8 / 59.3 . 694.2 / 300.1 NO 9.7 / 3.4 NO 11.8 / 16.8 . 106.2 / 174.6
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_1.xml . 0.7 / 2.5 . 0.0 / 0.6 . 159.6 / 59.4 . 1069.3 / 300.0 . 620.1 / 300.1 NO 55.8 / 53.5 . 165.9 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_2.xml . 2.6 / 2.7 . 0.0 / 0.4 . 112.1 / 59.4 . 856.3 / 300.1 . 462.6 / 300.1 NO 97.3 / 44.1 . 177.4 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_3.xml . 4.0 / 6.0 . 1.3 / 4.0 . 218.9 / 59.4 . 768.8 / 300.1 . 765.2 / 300.2 . 615.9 / 300.1 . 148.1 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_4.xml . 5.9 / 3.4 . 0.0 / 1.1 . 131.7 / 59.6 . 587.5 / 300.0 . 525.8 / 300.1 NO 121.7 / 40.4 . 288.8 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_5.xml . 4.0 / 10.0 . 2.1 / 4.7 . 134.5 / 60.4 . 781.6 / 300.0 . 893.5 / 300.1 . 334.6 / 300.1 . 171.8 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_6.xml . 4.9 / 13.9 . 1.9 / 5.1 . 167.3 / 59.8 . 597.3 / 300.1 . 519.4 / 300.1 . 327.6 / 300.0 . 210.0 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_7.xml . 2.6 / 2.6 . 0.0 / 0.8 . 120.0 / 59.7 . 781.6 / 300.1 . 528.0 / 300.1 NO 103.0 / 36.9 . 156.4 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_8.xml . 3.9 / 4.0 . 1.1 / 1.1 . 173.8 / 59.7 . 756.1 / 300.1 . 691.7 / 300.1 . 430.3 / 300.0 . 263.4 / 300.0
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_9.xml . 3.1 / 6.7 . 0.3 / 1.2 . 134.6 / 60.4 . 881.9 / 300.0 . 578.0 / 300.1 NO 97.7 / 78.5 . 296.6 / 300.0
TRS_Standard/EEG_IJCAR_12/enger-nonloop-add.xml . 0.3 / 2.1 . 0.0 / 0.1 . 138.4 / 59.7 . 682.2 / 300.0 NO 34.0 / 20.0 NO 38.1 / 14.8 . 299.7 / 300.0
RS_Standard/EEG_IJCAR_12/enger-nonloop-addTrue.xml . 0.3 / 1.9 . 0.0 / 0.2 . 129.6 / 59.8 . 759.8 / 300.0 NO 71.7 / 22.0 NO 32.4 / 19.3 . 285.1 / 300.0
S_Standard/EEG_IJCAR_12/enger-nonloop-ex_payet.xml . 0.9 / 2.5 . 0.0 / 0.7 . 194.3 / 59.4 . 783.7 / 300.1 NO 114.9 / 35.4 . 249.3 / 300.0 . 55.8 / 104.7
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isDNat.xml . 0.1 / 1.2 . 0.0 / 0.3 . 188.3 / 300.0 . 1025.1 / 300.0 NO 1.8 / 2.3 NO 32.4 / 11.9 . 181.1 / 300.0
tandard/EEG_IJCAR_12/enger-nonloop-isList-List.xml . 0.1 / 1.1 . 0.0 / 0.1 . 162.7 / 59.3 . 1057.8 / 300.0 NO 2.3 / 0.9 . 324.6 / 300.0 . 22.2 / 22.4
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isList.xml . 0.1 / 1.4 . 0.0 / 0.1 . 98.3 / 60.1 . 954.0 / 300.1 NO 2.0 / 2.8 NO 10.2 / 17.5 . 2.9 / 3.8
Standard/EEG_IJCAR_12/enger-nonloop-isTrueList.xml . 0.1 / 1.0 . 0.0 / 0.1 . 202.8 / 59.3 . 826.4 / 300.1 NO 1.8 / 1.9 NO 27.8 / 11.8 . 3.6 / 21.3
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swapX.xml . 0.1 / 0.9 . 0.0 / 0.1 . 84.0 / 60.1 . 911.1 / 300.1 NO 2.1 / 0.9 NO 28.7 / 17.2 . 11.3 / 31.9
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swapXY.xml . 0.1 / 0.2 . 0.0 / 0.6 . 118.9 / 59.4 . 669.6 / 300.1 NO 5.2 / 4.4 NO 16.0 / 16.1 . 42.6 / 120.6
RS_Standard/EEG_IJCAR_12/enger-nonloop-swapXY2.xml . 0.1 / 0.6 . 0.0 / 0.6 . 190.0 / 59.4 . 981.5 / 300.1 NO 4.6 / 4.4 NO 29.5 / 11.7 . 5.2 / 35.4
_Standard/EEG_IJCAR_12/enger-nonloop-swap_decr.xml . 0.2 / 0.2 . 0.0 / 0.1 . 87.0 / 59.9 . 677.4 / 300.1 NO 4.1 / 2.3 NO 9.3 / 23.5 . 5.5 / 7.0
TRS_Standard/EEG_IJCAR_12/enger-nonloop-toOne.xml . 0.6 / 0.7 . 0.0 / 0.3 . 115.0 / 59.8 . 589.8 / 300.1 NO 7.7 / 5.4 NO 37.0 / 12.5 . 102.4 / 102.6
_Standard/EEG_IJCAR_12/enger-nonloop-unbounded.xml . 0.2 / 1.9 . 0.0 / 0.5 . 199.6 / 59.3 . 993.6 / 300.1 . 915.8 / 300.1 NO 31.3 / 11.8 . 45.8 / 96.2
S_Standard/EEG_IJCAR_12/enger-nonloop-while-lt.xml . 0.2 / 1.0 . 0.0 / 0.4 . 215.9 / 59.4 . 669.3 / 300.0 . 470.8 / 300.1 NO 13.6 / 14.6 . 49.1 / 79.8
andard/EEG_IJCAR_12/rybalchenko-nonloop-popl08.xml . 1.1 / 1.2 . 0.0 / 0.4 . 199.1 / 59.4 . 586.8 / 300.1 . 803.0 / 300.1 NO 44.7 / 38.9 . 6.2 / 8.0
EG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.xml . 5.3 / 9.1 . 0.3 / 1.1 . 170.3 / 59.9 . 924.4 / 300.1 . 652.4 / 300.1 . 463.5 / 300.0 . 166.4 / 300.0
dard/EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.xml . 6.9 / 11.8 . 0.0 / 0.3 . 158.7 / 60.0 . 790.0 / 300.1 NO 129.1 / 83.2 NO 13.6 / 17.6 . 260.8 / 300.0
TRS_Standard/Endrullis_06/direct.xml . 1.1 / 2.5 YES 0.0 / 0.7 YES 0.8 / 1.2 YES 8.7 / 2.9 . 725.7 / 300.1 YES 3.8 / 5.0 YES 0.0 / 0.1
TRS_Standard/Endrullis_06/labeling.xml . 0.1 / 0.2 . 0.0 / 0.5 . 172.5 / 59.4 . 892.1 / 300.1 . 746.5 / 300.0 YES 21.6 / 9.0 . 113.5 / 135.8
TRS_Standard/Endrullis_06/linear1.xml . 0.7 / 3.0 YES 0.0 / 0.3 YES 5.6 / 1.8 YES 16.4 / 10.0 . 467.5 / 300.1 YES 5.2 / 10.2 . 0.1 / 0.1
TRS_Standard/Endrullis_06/linear2.xml . 11.9 / 11.9 . 1.2 / 2.7 YES 11.6 / 5.7 YES 96.2 / 35.1 . 976.5 / 300.1 YES 14.6 / 5.9 . 187.7 / 300.0
TRS_Standard/Endrullis_06/pair2hard.xml . 0.5 / 0.5 . 0.0 / 0.3 YES 17.7 / 5.3 YES 22.3 / 14.8 . 557.7 / 300.1 YES 105.8 / 64.6 . 101.5 / 220.5
TRS_Standard/Endrullis_06/pair2simple1.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 1.5 / 0.6 YES 7.1 / 3.5 . 569.7 / 300.1 YES 2.9 / 6.4 YES 1.7 / 4.3
TRS_Standard/Endrullis_06/pair2simple2.xml YES 0.1 / 0.1 YES 0.0 / 0.1 . 180.1 / 59.3 YES 283.3 / 138.5 . 643.2 / 300.1 YES 4.0 / 6.9 . 140.0 / 300.0
TRS_Standard/Endrullis_06/pair3hard.xml . 0.2 / 0.2 . 0.0 / 0.2 . 113.9 / 59.7 . 612.5 / 300.0 . 659.0 / 300.0 YES 12.1 / 17.0 . 149.6 / 300.0
TRS_Standard/Endrullis_06/pair3rotate.xml YES 0.7 / 0.7 YES 0.0 / 0.0 YES 6.9 / 2.1 YES 9.1 / 2.4 . 1006.8 / 300.0 YES 4.4 / 2.6 YES 0.0 / 0.1
TRS_Standard/Endrullis_06/pair3swap.xml . 1.4 / 4.0 . 0.1 / 0.6 YES 16.8 / 5.1 YES 32.6 / 15.9 . 792.5 / 300.1 YES 4.6 / 6.6 YES 0.1 / 0.3
TRS_Standard/Endrullis_06/quadruple1.xml . 3.6 / 3.7 YES 0.0 / 0.9 YES 2.0 / 2.0 YES 31.8 / 18.4 . 763.6 / 300.1 YES 4.1 / 2.6 . 241.7 / 300.0
TRS_Standard/Endrullis_06/quadruple2.xml . 1.8 / 1.8 . 0.1 / 0.9 YES 12.0 / 6.9 YES 34.7 / 16.9 . 707.7 / 300.0 YES 25.2 / 30.5 . 283.6 / 300.0
TRS_Standard/GTSSK07/cade01.xml . 0.2 / 1.0 . 0.0 / 0.1 . 16.5 / 11.5 . 688.8 / 300.0 . 521.9 / 300.1 YES 4.0 / 2.3 . 1.7 / 1.9
TRS_Standard/GTSSK07/cade03.xml . 0.2 / 2.8 . 0.0 / 0.7 . 16.7 / 11.4 . 814.7 / 300.1 . 957.5 / 300.1 YES 4.1 / 2.4 . 6.4 / 10.3
TRS_Standard/GTSSK07/cade04t.xml . 0.2 / 2.1 . 0.0 / 0.2 . 40.4 / 10.4 . 697.3 / 300.1 . 719.3 / 300.1 . 292.0 / 300.0 . 140.8 / 300.1
TRS_Standard/GTSSK07/cade05t.xml . 0.2 / 0.5 . 0.0 / 0.4 . 146.1 / 59.5 . 725.8 / 300.1 . 808.1 / 300.1 YES 5.8 / 6.4 . 293.4 / 300.0
TRS_Standard/GTSSK07/cade06.xml . 0.3 / 0.4 . 0.0 / 0.5 . 149.9 / 59.5 . 636.1 / 300.0 . 972.8 / 300.1 YES 6.8 / 3.3 . 299.9 / 300.0
TRS_Standard/GTSSK07/cade07.xml . 0.4 / 0.7 . 0.0 / 0.2 . 34.3 / 10.4 . 591.3 / 300.0 . 870.4 / 300.1 YES 10.7 / 18.3 . 17.9 / 43.6
TRS_Standard/GTSSK07/cade08.xml . 0.7 / 1.3 . 0.0 / 0.1 . 196.4 / 59.3 . 621.3 / 300.0 . 898.2 / 300.1 . 746.0 / 300.1 . 150.7 / 300.1
TRS_Standard/GTSSK07/cade09.xml . 0.4 / 0.4 . 0.1 / 1.3 . 214.8 / 59.4 . 812.3 / 300.1 . 917.5 / 300.1 YES 5.4 / 11.3 . 183.5 / 300.1
TRS_Standard/GTSSK07/cade10.xml . 0.3 / 3.8 . 0.0 / 0.2 . 139.1 / 59.8 . 784.3 / 300.0 . 552.9 / 300.0 YES 4.9 / 6.9 . 299.8 / 300.0
TRS_Standard/GTSSK07/cade11.xml . 0.3 / 1.5 . 0.0 / 0.3 . 119.2 / 59.7 . 782.7 / 300.0 . 684.8 / 300.1 YES 4.4 / 8.5 . 212.2 / 300.0
TRS_Standard/GTSSK07/cade12t.xml . 10.5 / 10.5 . 0.0 / 0.6 . 203.2 / 59.5 . 709.4 / 300.1 . 700.9 / 300.1 . 386.7 / 300.0 . 216.4 / 300.0
TRS_Standard/GTSSK07/cade13t.xml . 0.3 / 0.8 . 0.0 / 0.2 . 196.7 / 59.4 . 686.3 / 300.0 . 773.4 / 300.1 YES 5.5 / 2.8 . 154.0 / 166.6
TRS_Standard/GTSSK07/cade14.xml . 0.4 / 0.4 . 0.0 / 0.2 . 127.9 / 59.6 . 803.3 / 300.1 . 835.2 / 300.1 YES 14.2 / 8.6 . 169.0 / 300.1
TRS_Standard/GTSSK07/cade15.xml . 0.6 / 0.6 . 0.2 / 1.5 . 216.4 / 59.4 . 865.1 / 300.1 . 733.8 / 300.0 YES 14.1 / 6.1 . 171.6 / 300.1
TRS_Standard/GTSSK07/cade16.xml . 0.2 / 0.3 . 0.0 / 0.1 . 138.2 / 59.4 . 1018.6 / 300.0 . 950.4 / 300.1 YES 5.4 / 2.7 . 40.0 / 67.4
TRS_Standard/GTSSK07/cade17.xml . 0.8 / 2.3 . 0.0 / 0.4 . 192.7 / 59.6 . 912.0 / 300.1 . 718.1 / 300.1 . 440.4 / 300.1 . 257.2 / 300.0
TRS_Standard/HirokawaMiddeldorp_04/n002.xml . 0.0 / 0.4 NO 0.0 / 0.2 NO 0.3 / 0.6 . 635.8 / 300.1 NO 0.3 / 0.4 NO 2.2 / 3.8 . 0.2 / 0.2
TRS_Standard/HirokawaMiddeldorp_04/n003.xml . 0.0 / 0.4 NO 0.0 / 0.4 NO 0.3 / 0.3 . 819.7 / 300.1 NO 0.5 / 0.4 NO 5.3 / 6.5 NO 0.1 / 0.1
TRS_Standard/HirokawaMiddeldorp_04/n004.xml . 0.0 / 0.3 NO 0.0 / 0.3 NO 0.3 / 0.3 . 771.3 / 300.1 NO 0.5 / 1.3 NO 11.3 / 13.4 NO 0.0 / 0.0
TRS_Standard/HirokawaMiddeldorp_04/n005.xml . 0.0 / 0.0 NO 0.0 / 0.7 NO 0.3 / 0.8 . 628.6 / 300.0 NO 1.2 / 0.6 NO 2.4 / 5.8 NO 0.1 / 0.1
TRS_Standard/HirokawaMiddeldorp_04/n006.xml . 0.0 / 0.1 NO 0.0 / 0.4 NO 0.3 / 0.5 . 623.3 / 300.0 NO 1.1 / 0.5 NO 2.4 / 4.5 NO 0.4 / 0.4
TRS_Standard/HirokawaMiddeldorp_04/n007.xml . 0.0 / 0.1 NO 0.0 / 0.1 NO 0.3 / 0.3 . 851.2 / 300.0 NO 1.6 / 0.7 NO 2.8 / 2.0 NO 0.0 / 0.0
TRS_Standard/HirokawaMiddeldorp_04/n008.xml . 0.0 / 0.6 NO 0.0 / 0.0 NO 0.3 / 0.7 . 773.8 / 300.0 NO 0.7 / 1.5 NO 7.6 / 4.6 NO 0.0 / 0.0
TRS_Standard/HirokawaMiddeldorp_04/t000.xml YES 0.5 / 2.2 YES 0.0 / 0.2 YES 6.1 / 4.5 YES 35.1 / 13.3 . 14.2 / 4.7 YES 3.2 / 1.8 . 0.1 / 0.1
TRS_Standard/HirokawaMiddeldorp_04/t001.xml . 1.9 / 4.5 YES 0.0 / 0.4 YES 5.3 / 3.4 YES 57.8 / 16.5 . 766.7 / 300.1 YES 4.4 / 4.1 YES 0.1 / 0.9
TRS_Standard/HirokawaMiddeldorp_04/t002.xml . 0.4 / 1.0 . 0.1 / 0.6 YES 117.9 / 52.5 . 601.6 / 300.0 . 753.5 / 300.1 YES 4.5 / 5.7 YES 0.1 / 0.1
TRS_Standard/HirokawaMiddeldorp_04/t003.xml YES 0.1 / 0.8 YES 0.0 / 0.1 YES 2.4 / 0.9 YES 72.1 / 39.6 . 638.8 / 300.0 YES 3.8 / 5.3 YES 0.0 / 0.0
TRS_Standard/HirokawaMiddeldorp_04/t004.xml . 0.1 / 0.2 YES 0.0 / 0.0 YES 2.6 / 1.8 YES 16.4 / 16.9 . 486.2 / 300.0 YES 2.5 / 1.6 . 0.0 / 0.1
TRS_Standard/HirokawaMiddeldorp_04/t005.xml YES 1.2 / 2.2 YES 0.0 / 0.3 YES 11.2 / 3.8 . 899.9 / 300.0 . 10.1 / 9.3 YES 9.5 / 12.8 YES 0.3 / 1.6
TRS_Standard/HirokawaMiddeldorp_04/t006.xml YES 0.0 / 0.2 YES 0.0 / 0.0 YES 0.4 / 0.3 YES 0.9 / 0.7 . 0.6 / 0.7 YES 2.4 / 1.6 YES 0.0 / 0.0
TRS_Standard/HirokawaMiddeldorp_04/t007.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.5 / 0.4 YES 0.3 / 0.1 . 1.1 / 2.2 YES 5.1 / 2.5 YES 0.0 / 0.1
TRS_Standard/HirokawaMiddeldorp_04/t008.xml . 0.1 / 1.0 YES 0.0 / 0.0 YES 1.2 / 0.5 YES 8.4 / 2.3 . 2.0 / 0.9 YES 9.6 / 3.5 YES 0.0 / 0.4
TRS_Standard/HirokawaMiddeldorp_04/t009.xml . 172.0 / 197.4 YES 3.3 / 4.1 . 24.2 / 11.3 . 672.4 / 300.1 . 377.1 / 138.5 YES 24.1 / 23.6 . 169.2 / 300.1
TRS_Standard/HirokawaMiddeldorp_04/t010.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.4 / 0.9 YES 0.5 / 0.5 . 1.5 / 0.5 YES 5.6 / 6.2 YES 0.0 / 0.0
TRS_Standard/HirokawaMiddeldorp_04/t011.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 0.5 / 0.3 YES 1.9 / 1.1 . 1.2 / 1.6 YES 2.8 / 6.7 YES 0.0 / 0.1
TRS_Standard/HirokawaMiddeldorp_04/t012.xml YES 0.1 / 1.3 YES 0.0 / 0.2 YES 2.1 / 2.5 YES 12.7 / 7.5 . 1.8 / 3.0 YES 2.8 / 1.7 YES 0.2 / 2.0
TRS_Standard/HirokawaMiddeldorp_04/t013.xml YES 0.1 / 0.1 YES 0.0 / 0.1 YES 0.9 / 1.5 YES 13.3 / 7.4 . 2.3 / 1.3 YES 3.6 / 7.9 YES 0.0 / 0.1
TRS_Standard/HirokawaMiddeldorp_04/t014.xml YES 0.1 / 0.7 YES 0.0 / 0.0 YES 2.1 / 2.3 YES 30.4 / 18.4 . 662.6 / 300.1 YES 3.0 / 1.9 YES 0.0 / 0.4
TRS_Standard/Hydras/goodstein.xml . 0.8 / 3.0 . 0.6 / 2.6 YES 59.0 / 30.3 . 1061.0 / 300.0 . 635.9 / 300.1 . 410.6 / 300.1 . 197.6 / 300.1
TRS_Standard/Hydras/hydra_buchholz.xml . 0.7 / 1.6 . 0.1 / 0.2 . 207.2 / 59.4 . 627.2 / 300.1 . 657.9 / 300.0 . 312.4 / 300.0 . 36.2 / 81.8
TRS_Standard/Hydras/hydra_touzet.xml . 0.5 / 0.6 . 0.1 / 1.0 YES 87.4 / 23.6 . 845.9 / 300.1 . 596.6 / 300.0 . 495.1 / 300.1 . 152.4 / 300.0
TRS_Standard/Hydras/lepper_0.xml . 0.4 / 0.4 . 0.1 / 0.7 . 119.2 / 59.7 . 977.3 / 300.1 . 719.7 / 300.1 . 338.2 / 300.0 . 116.2 / 300.0
TRS_Standard/Hydras/lepper_1.xml . 1.0 / 1.0 . 0.8 / 1.7 . 129.3 / 60.3 . 730.3 / 300.0 . 658.1 / 300.1 . 258.1 / 300.1 . 300.0 / 300.0
TRS_Standard/Hydras/lepper_10.xml . 154.1 / 300.0 . 165.6 / 300.1 . 167.7 / 61.4 . 586.6 / 300.0 . 315.6 / 300.0 . 543.5 / 300.0 . 188.4 / 300.0
TRS_Standard/Hydras/lepper_2.xml . 3.0 / 5.1 . 1.8 / 1.6 NO 57.8 / 16.6 . 813.1 / 300.0 . 951.4 / 300.1 NO 183.8 / 73.8 . 182.1 / 300.1
TRS_Standard/Hydras/lepper_3.xml . 6.2 / 6.2 . 6.2 / 9.5 . 148.1 / 60.9 . 667.0 / 300.0 . 838.0 / 300.0 . 347.4 / 300.0 . 192.6 / 300.0
TRS_Standard/Hydras/lepper_4.xml . 18.8 / 41.6 . 9.4 / 8.7 . 209.6 / 59.9 . 588.8 / 300.0 . 601.8 / 300.0 . 494.4 / 300.0 . 132.3 / 300.0
TRS_Standard/Hydras/lepper_5.xml . 39.5 / 91.2 . 19.9 / 41.7 . 140.5 / 60.7 . 983.0 / 300.0 . 906.3 / 300.0 . 476.9 / 300.1 . 298.9 / 300.0
TRS_Standard/Hydras/lepper_6.xml . 117.2 / 212.1 . 44.1 / 77.3 . 128.1 / 61.3 . 733.8 / 300.0 . 684.0 / 300.1 . 516.3 / 300.1 . 136.5 / 300.0
TRS_Standard/Hydras/lepper_8.xml . 226.0 / 300.0 . 218.7 / 221.4 . 216.8 / 60.2 . 720.3 / 300.0 . 191.3 / 300.0 . 806.0 / 300.0 . 141.3 / 300.0
TRS_Standard/Hydras/lepper_9.xml . 178.8 / 300.0 . 219.2 / 270.0 . 162.2 / 61.6 . 971.1 / 300.0 . 217.9 / 300.0 . 353.8 / 300.0 . 228.7 / 300.1
TRS_Standard/Hydras/worm_fixed.xml . 0.6 / 0.6 . 0.1 / 0.2 YES 40.8 / 21.6 . 610.1 / 300.0 . 634.2 / 300.0 . 566.6 / 300.1 . 133.7 / 300.0
TRS_Standard/Hydras/worm_fixed2.xml . 0.7 / 2.3 . 0.1 / 0.5 YES 64.5 / 18.6 . 617.5 / 300.0 . 727.8 / 300.0 . 361.9 / 300.0 . 228.9 / 300.0
TRS_Standard/Hydras/worm_fixed3.xml . 0.7 / 1.5 . 0.1 / 0.3 . 214.8 / 59.5 . 790.1 / 300.1 . 765.8 / 300.0 . 376.1 / 300.1 . 212.7 / 300.1
TRS_Standard/Hydras/worm_wrong.xml . 0.8 / 0.8 . 0.4 / 1.2 YES 32.9 / 9.3 YES 113.6 / 65.1 . 997.1 / 300.1 YES 71.4 / 70.9 . 247.0 / 300.0
TRS_Standard/MNZ_10/0.xml . 1.0 / 1.1 . 0.7 / 1.7 YES 16.7 / 8.5 . 748.5 / 300.0 . 628.6 / 300.1 YES 90.9 / 94.2 YES 18.1 / 27.9
TRS_Standard/MNZ_10/1.xml . 0.8 / 0.8 . 0.1 / 0.9 YES 15.9 / 4.4 YES 43.5 / 11.1 . 1026.0 / 300.1 YES 50.2 / 47.3 . 169.5 / 300.0
TRS_Standard/MNZ_10/2.xml . 1.0 / 2.5 . 1.0 / 2.6 YES 20.1 / 6.7 YES 70.3 / 24.5 . 611.4 / 300.1 YES 80.9 / 71.7 . 0.0 / 0.1
TRS_Standard/MNZ_10/3.xml . 1.2 / 3.5 . 1.1 / 2.0 YES 24.8 / 6.7 YES 130.5 / 69.3 . 438.7 / 300.1 YES 70.1 / 48.5 . 300.0 / 300.0
TRS_Standard/MNZ_10/4.xml . 1.4 / 1.5 . 1.3 / 1.2 YES 52.4 / 24.3 YES 305.1 / 118.4 . 670.8 / 300.1 . 633.4 / 300.0 . 257.5 / 300.0
TRS_Standard/MNZ_10/5.xml . 1.6 / 1.6 . 1.8 / 1.8 YES 33.7 / 9.6 YES 267.8 / 177.3 . 663.3 / 300.1 . 489.4 / 300.1 . 142.4 / 300.0
TRS_Standard/MNZ_10/6.xml . 1.8 / 1.8 . 2.5 / 5.7 YES 73.7 / 33.6 YES 169.1 / 50.0 . 563.9 / 300.0 . 307.4 / 300.0 . 251.1 / 300.0
TRS_Standard/MNZ_10/7.xml . 1.3 / 3.0 . 0.1 / 0.9 YES 28.1 / 12.8 YES 71.9 / 20.0 . 960.6 / 300.1 . 277.4 / 300.1 . 150.1 / 300.0
TRS_Standard/MNZ_10/8.xml . 1.3 / 3.7 . 0.9 / 1.9 YES 36.0 / 14.4 YES 91.4 / 39.8 . 782.4 / 300.1 YES 271.6 / 270.4 . 0.2 / 0.2
TRS_Standard/MNZ_10/9.xml . 1.5 / 4.1 . 1.4 / 1.4 YES 45.9 / 15.2 YES 130.2 / 40.7 . 961.5 / 300.1 . 336.9 / 300.0 . 167.1 / 300.0
TRS_Standard/MNZ_10/labelled.xml . 263.7 / 300.0 YES 76.3 / 108.1 . 116.6 / 68.8 . 1014.6 / 300.0 . 693.8 / 300.0 YES 56.1 / 30.1 . 131.7 / 281.7
TRS_Standard/MNZ_10/nrvsq.xml . 2.1 / 2.1 . 2.1 / 2.1 . 132.2 / 59.7 . 627.6 / 300.0 . 968.8 / 300.1 YES 81.8 / 32.9 . 138.4 / 300.0
TRS_Standard/MNZ_10/nvsr.xml . 1.1 / 1.1 . 1.0 / 1.1 . 72.3 / 59.9 . 625.8 / 300.0 . 507.3 / 300.1 YES 262.6 / 280.4 . 228.3 / 300.0
TRS_Standard/Mixed_TRS/1.xml . 0.8 / 0.9 YES 0.0 / 0.1 YES 2.0 / 5.0 YES 4.0 / 3.9 . 735.6 / 300.0 YES 3.5 / 5.5 YES 0.1 / 0.1
TRS_Standard/Mixed_TRS/2.xml . 1.0 / 2.9 YES 0.0 / 0.2 YES 0.9 / 1.6 YES 4.1 / 1.4 . 373.9 / 300.1 YES 3.9 / 3.3 YES 0.4 / 0.4
TRS_Standard/Mixed_TRS/3.xml . 0.7 / 2.4 YES 0.0 / 0.3 YES 1.0 / 0.5 YES 6.6 / 6.3 . 545.4 / 300.0 YES 3.5 / 3.2 YES 0.0 / 0.5
TRS_Standard/Mixed_TRS/4.xml . 0.7 / 0.8 YES 0.0 / 0.7 YES 1.4 / 1.1 YES 2.5 / 1.3 . 494.9 / 300.1 YES 3.7 / 10.6 YES 0.1 / 0.3
TRS_Standard/Mixed_TRS/5.xml . 0.1 / 0.2 YES 0.0 / 0.5 YES 0.8 / 1.5 YES 2.7 / 2.9 . 667.8 / 300.1 YES 3.3 / 7.7 YES 0.0 / 0.0
TRS_Standard/Mixed_TRS/6.xml . 0.2 / 1.7 . 0.0 / 0.1 . 87.2 / 60.0 . 1052.5 / 300.0 NO 1.8 / 0.9 . 261.2 / 300.1 . 20.0 / 91.3
TRS_Standard/Mixed_TRS/7.xml . 0.4 / 1.9 . 0.1 / 0.3 . 196.1 / 59.4 . 789.7 / 300.0 . 998.8 / 300.1 . 273.7 / 300.1 . 1.5 / 4.7
TRS_Standard/Mixed_TRS/Ex1_Luc04b_GM.xml YES 0.5 / 1.4 YES 0.0 / 0.1 YES 9.6 / 4.3 . 585.4 / 300.1 . 6.5 / 2.7 YES 6.9 / 16.5 YES 0.6 / 3.7
TRS_Standard/Mixed_TRS/beans.xml . 1.3 / 3.1 YES 0.1 / 0.9 . 139.9 / 60.0 . 614.3 / 300.0 . 831.4 / 300.0 YES 4.5 / 5.6 YES 3.1 / 9.4
TRS_Standard/Mixed_TRS/div_hard.xml . 0.5 / 1.5 . 0.0 / 0.1 YES 124.7 / 56.9 . 689.7 / 300.0 . 496.0 / 300.1 . 239.9 / 300.1 . 0.4 / 0.5
TRS_Standard/Mixed_TRS/fossacs.xml . 0.3 / 1.7 . 0.0 / 0.2 . 110.9 / 60.0 . 715.3 / 300.0 . 703.4 / 300.0 . 529.5 / 300.0 . 0.6 / 1.1
TRS_Standard/Mixed_TRS/gcd.xml YES 0.1 / 0.5 YES 0.0 / 0.2 YES 3.4 / 2.6 YES 23.9 / 12.9 . 588.3 / 300.1 YES 4.6 / 8.4 YES 0.0 / 0.4
TRS_Standard/Mixed_TRS/gcdMinMax.xml . 2.0 / 2.0 . 0.0 / 0.2 . 196.4 / 59.4 . 755.9 / 300.1 . 575.9 / 300.1 YES 4.0 / 2.4 . 255.6 / 300.0
TRS_Standard/Mixed_TRS/gcd_triple.xml YES 0.2 / 0.6 . 0.3 / 1.4 YES 5.6 / 3.6 YES 145.4 / 63.0 . 528.4 / 300.1 YES 5.2 / 2.7 YES 0.1 / 0.1
TRS_Standard/Mixed_TRS/hydra-Zantema06.xml . 0.7 / 0.8 . 0.1 / 0.2 . 141.5 / 59.5 . 699.4 / 300.1 . 463.7 / 300.1 . 412.6 / 300.1 . 48.5 / 300.1
TRS_Standard/Mixed_TRS/hydra.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 2.1 / 1.7 YES 2.2 / 0.6 . 1.6 / 0.9 YES 2.5 / 1.7 YES 0.0 / 0.3
TRS_Standard/Mixed_TRS/jones1.xml YES 0.0 / 0.4 YES 0.0 / 0.0 YES 0.5 / 0.4 YES 2.3 / 3.6 . 2.2 / 0.9 YES 2.5 / 3.3 YES 0.0 / 0.1
TRS_Standard/Mixed_TRS/jones2.xml YES 0.0 / 0.1 YES 0.0 / 0.4 YES 0.8 / 1.1 YES 7.1 / 6.9 . 2.3 / 2.9 YES 2.9 / 3.1 YES 0.0 / 0.0
TRS_Standard/Mixed_TRS/jones4.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.5 / 0.4 YES 2.6 / 1.5 . 1.4 / 0.8 YES 2.3 / 3.6 YES 0.0 / 0.1
TRS_Standard/Mixed_TRS/jones5.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.4 / 0.3 YES 2.0 / 0.5 . 1.6 / 0.6 YES 2.6 / 2.5 YES 0.0 / 0.0
TRS_Standard/Mixed_TRS/jones6.xml YES 0.0 / 0.2 YES 0.0 / 0.2 YES 0.9 / 1.5 YES 7.2 / 5.5 . 2.2 / 0.9 YES 3.0 / 4.8 YES 0.0 / 0.0
TRS_Standard/Mixed_TRS/minsort.xml . 0.6 / 1.4 . 0.0 / 0.5 . 208.0 / 59.3 . 950.0 / 300.1 . 920.8 / 300.1 . 407.8 / 300.0 . 282.9 / 300.0
TRS_Standard/Mixed_TRS/motivation.xml YES 0.0 / 0.1 YES 0.0 / 0.1 YES 0.7 / 0.4 YES 1.9 / 1.9 . 1.9 / 0.9 YES 2.7 / 1.9 YES 0.0 / 0.0
TRS_Standard/Mixed_TRS/perfect.xml YES 0.1 / 0.4 YES 0.0 / 0.3 YES 1.4 / 2.4 YES 15.0 / 7.7 . 689.8 / 300.0 YES 3.0 / 5.8 YES 0.0 / 0.2
TRS_Standard/Mixed_TRS/perfect2.xml YES 0.1 / 0.2 YES 0.0 / 0.1 YES 2.1 / 1.4 YES 39.6 / 13.1 . 696.6 / 300.0 YES 3.6 / 3.8 YES 0.0 / 0.0
TRS_Standard/Mixed_TRS/sigma.xml . 0.3 / 1.0 YES 0.0 / 0.1 . 120.5 / 59.3 . 627.8 / 300.1 . 626.1 / 300.1 YES 11.5 / 14.4 . 18.0 / 69.3
TRS_Standard/Mixed_TRS/test1.xml . 0.1 / 0.5 YES 0.0 / 0.1 YES 0.4 / 0.3 YES 3.8 / 5.9 . 1.2 / 2.5 YES 3.3 / 8.9 YES 0.1 / 0.9
TRS_Standard/Mixed_TRS/while.xml . 0.1 / 0.2 . 0.0 / 0.1 . 15.1 / 11.1 . 889.7 / 300.1 . 453.7 / 300.1 YES 3.4 / 5.4 . 4.8 / 17.4
TRS_Standard/Mixed_TRS/while2.xml . 0.5 / 1.9 . 0.5 / 1.2 . 201.7 / 59.4 . 745.5 / 300.0 . 625.0 / 300.0 . 483.1 / 300.1 . 189.3 / 300.0
TRS_Standard/Rubio_04/aoto.xml YES 0.1 / 1.0 YES 0.0 / 0.3 YES 1.0 / 1.2 YES 0.9 / 0.9 . 1.4 / 0.6 YES 3.0 / 4.7 YES 0.0 / 0.6
TRS_Standard/Rubio_04/bintrees.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.6 / 1.1 YES 8.8 / 5.2 . 3.0 / 2.0 YES 2.5 / 1.8 YES 0.0 / 0.0
TRS_Standard/Rubio_04/bn122.xml YES 0.0 / 0.3 YES 0.0 / 0.2 YES 0.6 / 0.4 YES 4.3 / 3.5 . 1.8 / 1.5 YES 2.9 / 6.8 YES 0.0 / 0.4
TRS_Standard/Rubio_04/bn129.xml YES 0.1 / 1.2 YES 0.0 / 0.0 YES 1.5 / 0.8 YES 13.2 / 8.2 . 548.2 / 300.1 YES 2.4 / 4.1 YES 0.1 / 0.1
TRS_Standard/Rubio_04/division.xml YES 0.1 / 0.1 YES 0.0 / 0.2 YES 2.3 / 0.9 YES 22.8 / 11.8 . 457.8 / 300.1 YES 4.0 / 6.6 YES 0.0 / 0.0
TRS_Standard/Rubio_04/elimdupl.xml YES 0.1 / 0.1 YES 0.0 / 0.1 YES 2.7 / 1.1 YES 21.1 / 14.9 . 670.1 / 300.1 YES 3.7 / 5.1 . 0.6 / 0.7
TRS_Standard/Rubio_04/enno.xml YES 0.2 / 0.5 YES 0.0 / 0.5 YES 6.5 / 1.9 YES 51.8 / 31.7 . 592.8 / 300.0 YES 4.3 / 2.3 YES 0.1 / 0.7
TRS_Standard/Rubio_04/gcd.xml YES 0.1 / 0.4 YES 0.0 / 0.2 YES 4.8 / 2.1 YES 22.1 / 8.5 . 638.1 / 300.1 YES 3.9 / 9.1 YES 0.0 / 0.1
TRS_Standard/Rubio_04/gm.xml YES 0.1 / 0.6 YES 0.0 / 0.0 YES 1.5 / 0.6 YES 4.2 / 1.1 . 962.1 / 300.1 YES 2.7 / 1.7 YES 0.0 / 0.2
TRS_Standard/Rubio_04/gmnp.xml YES 0.0 / 0.2 YES 0.0 / 0.0 YES 0.7 / 0.4 YES 3.2 / 1.4 . 1.9 / 4.0 YES 2.3 / 1.5 YES 0.0 / 0.0
TRS_Standard/Rubio_04/koen.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 0.8 / 1.4 YES 4.3 / 3.2 . 1.8 / 1.1 YES 2.8 / 4.5 YES 0.0 / 0.0
TRS_Standard/Rubio_04/lescanne.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 1.0 / 1.3 YES 13.1 / 9.1 . 1.8 / 1.4 YES 2.4 / 1.6 YES 0.0 / 0.1
TRS_Standard/Rubio_04/lindau.xml YES 0.1 / 0.4 YES 0.0 / 0.2 YES 0.8 / 1.3 YES 7.3 / 3.1 . 1.4 / 1.8 YES 3.1 / 5.6 YES 0.0 / 0.1
TRS_Standard/Rubio_04/logarquot.xml YES 0.1 / 0.2 YES 0.0 / 0.3 YES 3.0 / 2.7 YES 10.4 / 5.2 . 551.1 / 300.1 YES 3.5 / 5.4 YES 0.0 / 0.6
TRS_Standard/Rubio_04/ma96.xml YES 0.4 / 1.3 YES 0.0 / 0.1 YES 7.8 / 4.8 . 832.8 / 300.1 . 943.6 / 300.0 YES 5.2 / 6.3 . 0.2 / 0.2
TRS_Standard/Rubio_04/mfp90b.xml YES 0.0 / 0.0 YES 0.0 / 0.4 YES 0.5 / 0.5 YES 1.3 / 0.4 . 1.5 / 0.8 YES 2.3 / 1.5 YES 0.0 / 0.1
TRS_Standard/Rubio_04/mfp95.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.4 / 0.3 YES 0.5 / 0.6 . 0.8 / 0.9 YES 2.6 / 4.1 YES 0.0 / 0.0
TRS_Standard/Rubio_04/nestrec.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 1.2 / 0.6 YES 1.4 / 1.2 . 1.2 / 1.2 YES 2.5 / 3.7 YES 0.0 / 0.0
TRS_Standard/Rubio_04/p266.xml YES 0.0 / 0.1 YES 0.0 / 0.2 YES 1.0 / 1.2 YES 0.8 / 0.6 . 2.2 / 2.9 YES 2.4 / 1.5 YES 0.0 / 0.2
TRS_Standard/Rubio_04/polo2.xml YES 0.3 / 0.4 YES 0.0 / 0.1 YES 1.6 / 2.0 . 818.0 / 300.1 . 457.9 / 300.1 YES 3.5 / 4.4 YES 0.0 / 0.1
TRS_Standard/Rubio_04/prov.xml YES 0.0 / 0.3 YES 0.0 / 0.3 YES 0.7 / 1.2 YES 4.1 / 3.7 . 367.2 / 300.1 YES 2.7 / 3.2 YES 0.0 / 0.0
TRS_Standard/Rubio_04/quick.xml YES 0.2 / 0.2 YES 0.0 / 0.3 YES 4.0 / 2.7 . 621.6 / 300.0 . 665.3 / 300.1 YES 5.2 / 9.0 YES 0.1 / 0.1
TRS_Standard/Rubio_04/quotminus.xml YES 0.1 / 0.1 YES 0.0 / 0.0 YES 1.8 / 1.8 YES 13.7 / 3.5 . 770.4 / 300.1 YES 3.0 / 5.0 YES 0.0 / 0.0
TRS_Standard/Rubio_04/revlist.xml YES 0.1 / 1.3 YES 0.0 / 0.1 YES 3.1 / 2.7 YES 15.9 / 11.6 . 807.7 / 300.1 YES 3.3 / 1.9 YES 0.0 / 0.3
TRS_Standard/Rubio_04/selsort.xml YES 0.4 / 0.4 YES 0.0 / 0.1 YES 6.9 / 4.1 . 716.3 / 300.1 . 739.1 / 300.0 YES 5.1 / 2.7 YES 0.1 / 0.8
TRS_Standard/Rubio_04/test4.xml YES 0.0 / 0.1 YES 0.0 / 0.5 YES 0.9 / 0.6 YES 4.4 / 1.5 . 1.5 / 3.7 YES 2.8 / 4.1 YES 0.0 / 0.0
TRS_Standard/Rubio_04/test829.xml YES 0.0 / 0.4 YES 0.0 / 0.0 YES 0.8 / 1.2 YES 2.1 / 0.7 . 1.5 / 0.5 YES 3.1 / 5.5 YES 0.0 / 0.0
TRS_Standard/Rubio_04/wst99.xml YES 0.4 / 1.6 YES 0.0 / 0.1 YES 3.4 / 2.7 YES 39.3 / 12.0 . 775.8 / 300.0 YES 11.3 / 16.0 YES 0.3 / 1.8
TRS_Standard/SK90/2.01.xml YES 0.0 / 0.4 YES 0.0 / 0.0 YES 1.3 / 1.6 YES 14.8 / 9.3 . 2.5 / 2.0 YES 2.7 / 1.7 YES 0.0 / 0.2
TRS_Standard/SK90/2.02.xml YES 0.0 / 0.0 YES 0.0 / 0.1 YES 0.7 / 1.5 YES 15.7 / 6.8 . 2.0 / 1.1 YES 2.7 / 3.4 YES 0.1 / 0.1
TRS_Standard/SK90/2.03.xml YES 0.0 / 0.4 YES 0.0 / 0.0 YES 0.6 / 0.4 YES 4.2 / 1.8 . 1.6 / 0.7 YES 2.4 / 1.6 YES 0.0 / 0.0
TRS_Standard/SK90/2.04.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.6 / 1.7 YES 4.6 / 4.4 . 1.4 / 1.8 YES 3.0 / 5.0 YES 0.0 / 0.0
TRS_Standard/SK90/2.05.xml . 0.5 / 1.6 NO 0.1 / 0.8 NO 1.6 / 1.8 . 1025.9 / 300.1 . 718.6 / 300.1 NO 8.0 / 12.9 . 74.8 / 300.1
TRS_Standard/SK90/2.06.xml YES 0.0 / 0.4 YES 0.0 / 0.0 YES 0.8 / 0.9 YES 19.1 / 10.7 . 2.5 / 1.9 YES 2.5 / 1.7 YES 0.0 / 0.0
TRS_Standard/SK90/2.07.xml YES 0.1 / 0.5 YES 0.0 / 0.1 YES 1.0 / 1.4 . 769.7 / 300.1 . 1.9 / 1.3 YES 2.5 / 1.6 YES 0.0 / 0.2
TRS_Standard/SK90/2.08.xml YES 0.1 / 0.1 YES 0.0 / 0.0 YES 0.9 / 1.7 YES 11.1 / 3.6 . 2.2 / 1.6 YES 2.6 / 1.7 YES 0.0 / 0.1
TRS_Standard/SK90/2.09.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.4 / 1.4 YES 2.0 / 1.0 . 1.8 / 2.4 YES 2.3 / 1.6 YES 0.0 / 0.2
TRS_Standard/SK90/2.10.xml YES 0.0 / 0.4 YES 0.0 / 0.2 YES 1.5 / 1.4 YES 10.1 / 3.3 . 2.4 / 1.2 YES 2.8 / 2.7 YES 0.0 / 0.1
TRS_Standard/SK90/2.11.xml YES 0.0 / 0.3 YES 0.0 / 0.0 YES 0.5 / 0.4 YES 4.2 / 1.4 . 1.4 / 0.7 YES 2.6 / 4.9 YES 0.0 / 0.0
TRS_Standard/SK90/2.12.xml YES 0.2 / 1.5 YES 0.0 / 0.0 YES 1.2 / 2.2 . 849.9 / 300.1 . 3.0 / 4.4 YES 2.7 / 1.7 YES 0.0 / 0.0
TRS_Standard/SK90/2.13.xml YES 0.0 / 0.0 YES 0.0 / 0.2 YES 1.0 / 2.0 YES 4.2 / 1.6 . 2.7 / 3.0 YES 2.9 / 1.7 YES 0.0 / 0.0
TRS_Standard/SK90/2.14.xml YES 0.1 / 0.4 YES 0.0 / 0.0 YES 1.0 / 0.5 YES 16.3 / 9.4 . 2.7 / 4.5 YES 2.7 / 4.9 YES 0.0 / 0.1
TRS_Standard/SK90/2.15.xml YES 0.0 / 0.2 YES 0.0 / 0.0 YES 0.6 / 0.4 YES 2.1 / 2.0 . 2.0 / 3.7 YES 2.8 / 4.4 YES 0.0 / 0.0
TRS_Standard/SK90/2.16.xml YES 0.1 / 0.1 YES 0.0 / 0.0 YES 0.8 / 0.5 . 859.7 / 300.0 . 721.9 / 300.1 YES 3.1 / 5.6 YES 0.0 / 0.0
TRS_Standard/SK90/2.17.xml YES 0.1 / 0.5 YES 0.0 / 0.0 YES 1.0 / 1.6 YES 4.1 / 1.3 . 1.6 / 2.1 YES 2.5 / 1.7 YES 0.0 / 0.0
TRS_Standard/SK90/2.18.xml YES 0.1 / 0.1 YES 0.0 / 0.1 YES 0.5 / 0.4 . 722.7 / 300.1 . 409.2 / 300.0 YES 2.6 / 1.7 YES 0.0 / 0.2
TRS_Standard/SK90/2.19.xml YES 0.1 / 0.3 YES 0.0 / 0.2 YES 1.0 / 2.4 . 670.4 / 300.0 . 468.9 / 300.1 YES 3.0 / 4.8 YES 0.0 / 0.0
TRS_Standard/SK90/2.20.xml YES 0.0 / 0.5 YES 0.0 / 0.2 YES 0.7 / 1.5 YES 2.1 / 0.7 . 1.5 / 0.7 YES 2.7 / 4.7 YES 0.0 / 0.0
TRS_Standard/SK90/2.21.xml YES 0.1 / 0.4 YES 0.0 / 0.3 YES 0.6 / 0.4 YES 2.3 / 1.0 . 1.8 / 0.8 YES 2.7 / 1.7 YES 0.0 / 0.2
TRS_Standard/SK90/2.22.xml YES 0.1 / 0.7 YES 0.0 / 0.2 YES 0.7 / 0.4 YES 14.9 / 9.1 . 687.0 / 300.1 YES 2.7 / 2.8 YES 0.0 / 0.0
TRS_Standard/SK90/2.23.xml YES 0.3 / 1.4 YES 0.0 / 0.2 YES 1.0 / 1.3 . 694.8 / 300.1 . 972.6 / 300.1 YES 3.0 / 3.6 YES 0.0 / 0.1
TRS_Standard/SK90/2.24.xml YES 0.0 / 0.0 YES 0.0 / 0.2 YES 0.6 / 0.5 YES 2.0 / 0.7 . 1.4 / 0.6 YES 2.6 / 5.3 YES 0.0 / 0.2
TRS_Standard/SK90/2.25.xml YES 0.1 / 0.1 YES 0.0 / 0.5 YES 0.9 / 1.2 . 759.2 / 300.0 . 442.3 / 300.1 YES 3.0 / 7.3 YES 0.0 / 0.3
TRS_Standard/SK90/2.26.xml YES 0.1 / 0.1 YES 0.0 / 0.1 YES 1.8 / 1.9 . 668.7 / 300.1 . 878.2 / 300.1 YES 3.2 / 5.5 YES 0.0 / 0.0
TRS_Standard/SK90/2.27.xml YES 0.1 / 1.2 YES 0.0 / 0.2 YES 2.1 / 1.8 . 656.2 / 300.0 . 3.0 / 2.2 YES 3.1 / 4.1 YES 0.0 / 0.1
TRS_Standard/SK90/2.28.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.4 / 0.3 YES 2.1 / 2.5 . 0.7 / 0.8 YES 2.4 / 1.6 YES 0.0 / 0.2
TRS_Standard/SK90/2.29.xml YES 0.1 / 0.2 YES 0.0 / 0.2 YES 1.2 / 0.6 YES 5.8 / 1.8 . 578.8 / 300.1 YES 2.9 / 1.7 YES 0.0 / 0.2
TRS_Standard/SK90/2.30.xml YES 0.0 / 0.0 YES 0.0 / 0.2 YES 0.8 / 1.4 YES 1.0 / 0.8 . 0.8 / 1.7 YES 3.4 / 5.3 YES 0.0 / 0.2
TRS_Standard/SK90/2.31.xml YES 0.0 / 0.0 YES 0.0 / 0.1 YES 1.4 / 2.2 YES 12.5 / 9.9 . 2.0 / 0.9 YES 2.4 / 1.6 YES 0.0 / 0.2
TRS_Standard/SK90/2.32.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 1.0 / 0.6 YES 0.3 / 0.1 . 2.2 / 0.9 YES 2.7 / 1.8 YES 0.0 / 0.2
TRS_Standard/SK90/2.33.xml YES 0.0 / 0.2 YES 0.0 / 0.1 YES 0.7 / 1.2 YES 3.0 / 1.2 . 2.1 / 2.6 YES 2.7 / 6.2 YES 0.0 / 0.0
TRS_Standard/SK90/2.34.xml YES 0.0 / 0.4 YES 0.0 / 0.0 YES 1.0 / 1.4 YES 7.7 / 5.0 . 3.2 / 3.0 YES 3.4 / 5.7 YES 0.0 / 0.2
TRS_Standard/SK90/2.35.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 0.7 / 1.5 YES 3.1 / 2.6 . 1.8 / 1.5 YES 3.1 / 5.1 YES 0.0 / 0.0
TRS_Standard/SK90/2.36.xml YES 0.0 / 0.2 YES 0.0 / 0.0 YES 0.5 / 0.4 YES 5.7 / 5.1 . 1.7 / 0.9 YES 2.3 / 1.5 YES 0.0 / 0.0
TRS_Standard/SK90/2.37.xml YES 0.0 / 0.2 YES 0.0 / 0.0 YES 0.4 / 0.3 YES 1.9 / 2.1 . 0.7 / 0.9 YES 2.5 / 1.7 YES 0.0 / 0.0
TRS_Standard/SK90/2.38.xml YES 0.0 / 0.4 YES 0.0 / 0.1 YES 0.6 / 1.4 YES 1.6 / 0.6 . 1.6 / 0.7 YES 2.4 / 1.6 YES 0.0 / 0.2
TRS_Standard/SK90/2.39.xml YES 0.0 / 0.1 YES 0.0 / 0.3 YES 1.3 / 1.9 YES 6.9 / 3.3 . 2.0 / 5.7 YES 3.4 / 5.6 YES 0.0 / 0.0
TRS_Standard/SK90/2.40.xml YES 0.2 / 0.7 YES 0.0 / 0.0 YES 0.7 / 0.4 YES 2.4 / 0.8 . 1.6 / 1.3 YES 2.8 / 6.0 YES 0.0 / 0.0
TRS_Standard/SK90/2.41.xml YES 0.0 / 0.5 YES 0.0 / 0.5 YES 0.9 / 1.3 YES 11.5 / 3.7 . 2.4 / 1.1 YES 2.8 / 3.0 YES 0.0 / 0.3
TRS_Standard/SK90/2.42.xml YES 0.1 / 0.9 YES 0.0 / 0.1 YES 2.4 / 0.9 YES 21.4 / 6.8 . 3.7 / 2.6 YES 3.4 / 5.1 YES 0.0 / 0.3
TRS_Standard/SK90/2.43.xml YES 0.2 / 0.2 YES 0.0 / 0.3 YES 1.7 / 1.8 YES 14.7 / 7.8 . 1049.7 / 300.0 YES 3.0 / 1.8 YES 0.0 / 0.0
TRS_Standard/SK90/2.44.xml YES 0.1 / 0.1 YES 0.0 / 0.4 YES 1.6 / 0.8 YES 15.0 / 9.8 . 3.1 / 1.2 YES 3.6 / 6.8 YES 0.0 / 0.2
TRS_Standard/SK90/2.45.xml YES 0.3 / 1.0 YES 0.0 / 0.3 YES 1.7 / 1.9 YES 3.7 / 1.2 . 639.4 / 300.0 YES 3.1 / 1.9 YES 0.0 / 0.0
TRS_Standard/SK90/2.46.xml YES 0.0 / 0.5 YES 0.0 / 0.0 YES 0.8 / 0.4 YES 1.8 / 1.1 . 1.9 / 0.8 YES 10.8 / 12.8 YES 0.0 / 0.1
TRS_Standard/SK90/2.47.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.7 / 0.4 YES 0.6 / 0.4 . 1.0 / 0.4 YES 2.5 / 1.6 YES 0.0 / 0.1
TRS_Standard/SK90/2.48.xml YES 0.0 / 0.3 YES 0.0 / 0.0 YES 0.7 / 0.8 YES 0.7 / 0.8 . 1.6 / 1.9 YES 3.0 / 6.3 YES 0.0 / 0.0
TRS_Standard/SK90/2.49.xml YES 0.0 / 0.2 YES 0.0 / 0.0 YES 0.6 / 1.4 YES 0.6 / 0.5 . 1.8 / 0.8 YES 2.4 / 1.6 YES 0.0 / 0.3
TRS_Standard/SK90/2.50.xml YES 0.0 / 0.4 YES 0.0 / 0.2 YES 0.8 / 1.1 YES 1.3 / 0.4 . 1.0 / 2.1 YES 2.8 / 4.1 YES 0.0 / 0.0
TRS_Standard/SK90/2.51.xml YES 0.1 / 0.3 YES 0.0 / 0.0 YES 0.6 / 0.4 . 621.3 / 300.1 . 731.0 / 300.1 YES 2.6 / 1.7 YES 0.0 / 0.0
TRS_Standard/SK90/2.52.xml YES 0.5 / 1.4 YES 0.0 / 0.3 YES 1.3 / 1.7 . 970.1 / 300.0 . 482.8 / 300.1 YES 3.0 / 1.8 YES 0.0 / 0.0
TRS_Standard/SK90/2.53.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.5 / 0.4 YES 3.6 / 3.3 . 1.3 / 2.3 YES 2.3 / 1.5 YES 0.0 / 0.0
TRS_Standard/SK90/2.54.xml YES 0.0 / 0.0 YES 0.0 / 0.1 YES 0.5 / 0.3 YES 1.4 / 1.8 . 1.1 / 0.8 YES 2.8 / 2.2 YES 0.0 / 0.0
TRS_Standard/SK90/2.55.xml YES 0.0 / 0.2 YES 0.0 / 0.2 YES 0.7 / 1.0 YES 1.7 / 0.6 . 1.5 / 0.6 YES 2.8 / 6.7 YES 0.0 / 0.2
TRS_Standard/SK90/2.56.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.4 / 0.3 YES 0.3 / 0.1 . 0.9 / 1.8 YES 2.7 / 6.6 YES 0.0 / 0.3
TRS_Standard/SK90/2.57.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.6 / 1.0 YES 0.1 / 0.1 . 1.2 / 0.8 YES 2.8 / 2.6 YES 0.0 / 0.2
TRS_Standard/SK90/2.58.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 0.5 / 0.4 YES 0.7 / 0.5 . 1.7 / 0.7 YES 2.7 / 3.3 YES 0.0 / 0.0
TRS_Standard/SK90/2.59.xml YES 0.0 / 0.1 YES 0.0 / 0.3 YES 0.6 / 0.4 YES 1.6 / 1.7 . 2.0 / 300.1 YES 2.7 / 5.6 YES 0.0 / 0.1
TRS_Standard/SK90/2.60.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 0.4 / 1.9 YES 0.8 / 0.4 . 0.8 / 0.9 YES 2.5 / 1.6 YES 0.0 / 0.2
TRS_Standard/SK90/2.61.xml YES 0.0 / 0.0 YES 0.0 / 0.2 YES 1.3 / 2.3 YES 15.6 / 4.9 . 5.4 / 2.2 YES 2.6 / 2.1 YES 0.0 / 0.1
TRS_Standard/SK90/4.01.xml YES 0.0 / 0.3 YES 0.0 / 0.0 YES 0.5 / 1.5 YES 0.4 / 0.1 . 2.1 / 0.9 YES 2.4 / 1.6 YES 0.0 / 0.1
TRS_Standard/SK90/4.02.xml YES 0.2 / 0.2 YES 0.0 / 0.1 YES 2.5 / 0.9 . 857.6 / 300.1 . 575.8 / 300.1 YES 3.3 / 5.2 YES 2.7 / 12.8
TRS_Standard/SK90/4.03.xml YES 0.1 / 0.5 YES 0.0 / 0.2 YES 1.0 / 1.8 . 624.2 / 300.1 . 2.0 / 2.7 YES 3.2 / 6.7 YES 0.0 / 0.9
TRS_Standard/SK90/4.04.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.5 / 1.0 YES 2.9 / 2.2 . 1.5 / 0.6 YES 2.5 / 1.7 YES 0.0 / 0.0
TRS_Standard/SK90/4.05.xml YES 0.1 / 0.6 YES 0.0 / 0.0 YES 0.7 / 1.6 . 593.8 / 300.0 . 2.0 / 2.4 YES 2.8 / 5.3 YES 0.0 / 0.0
TRS_Standard/SK90/4.06.xml . 0.1 / 0.1 NO 0.6 / 1.5 NO 1.4 / 2.4 . 946.7 / 300.0 NO 8.4 / 6.9 NO 4.3 / 8.5 NO 0.3 / 0.4
TRS_Standard/SK90/4.07.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.5 / 0.4 YES 1.9 / 1.0 . 2.4 / 1.0 YES 2.4 / 1.8 YES 0.0 / 0.2
TRS_Standard/SK90/4.08.xml YES 0.0 / 0.4 YES 0.0 / 0.0 YES 0.4 / 0.4 YES 3.1 / 1.1 . 1.2 / 1.7 YES 2.5 / 1.6 YES 0.0 / 0.2
TRS_Standard/SK90/4.09.xml YES 0.1 / 0.1 YES 0.0 / 0.2 YES 0.8 / 0.5 . 840.1 / 300.0 . 2.3 / 1.0 YES 2.6 / 1.7 YES 0.0 / 0.0
TRS_Standard/SK90/4.10.xml YES 0.1 / 0.2 YES 0.0 / 0.2 YES 1.0 / 1.4 . 721.2 / 300.0 . 3.9 / 3.3 YES 2.8 / 2.3 YES 0.0 / 0.1
TRS_Standard/SK90/4.11.xml YES 0.0 / 0.4 YES 0.0 / 0.1 YES 0.5 / 0.3 YES 3.2 / 1.1 . 1.5 / 2.4 YES 2.4 / 1.5 YES 0.0 / 0.3
TRS_Standard/SK90/4.12.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.5 / 0.3 YES 1.2 / 0.3 . 1.6 / 0.5 YES 2.6 / 2.3 YES 0.0 / 0.2
TRS_Standard/SK90/4.13.xml . 0.1 / 1.0 YES 0.0 / 0.0 YES 1.5 / 1.9 YES 9.5 / 10.6 . 562.9 / 300.1 YES 3.1 / 5.9 YES 0.0 / 0.0
TRS_Standard/SK90/4.14.xml YES 0.2 / 0.8 YES 0.0 / 0.4 YES 1.3 / 0.9 . 793.0 / 300.1 . 2.6 / 2.6 YES 3.2 / 4.7 . 300.1 / 300.0
TRS_Standard/SK90/4.15.xml YES 0.0 / 0.0 YES 0.0 / 0.1 YES 0.5 / 0.4 YES 1.9 / 2.3 . 0.8 / 1.5 YES 2.3 / 1.5 YES 0.0 / 0.3
TRS_Standard/SK90/4.16.xml YES 0.0 / 0.3 YES 0.0 / 0.3 YES 0.9 / 1.9 YES 2.0 / 0.7 . 1.6 / 5.4 YES 2.7 / 1.7 YES 0.0 / 0.0
TRS_Standard/SK90/4.17.xml . 0.1 / 0.1 YES 0.0 / 0.2 YES 1.0 / 0.5 YES 8.3 / 13.7 . 1006.6 / 300.1 YES 3.6 / 5.0 YES 0.2 / 0.2
TRS_Standard/SK90/4.18.xml YES 0.0 / 0.0 YES 0.0 / 0.1 YES 1.0 / 0.5 YES 0.9 / 0.5 . 432.9 / 300.1 YES 2.6 / 1.7 YES 0.0 / 0.2
TRS_Standard/SK90/4.19.xml YES 0.0 / 0.4 YES 0.0 / 0.1 YES 0.4 / 0.3 YES 3.3 / 2.7 . 1.2 / 1.7 YES 2.3 / 1.6 YES 0.0 / 0.5
TRS_Standard/SK90/4.20.xml YES 0.3 / 1.1 YES 0.0 / 0.1 YES 0.8 / 0.5 YES 2.6 / 1.3 . 2.1 / 2.7 YES 2.7 / 1.7 YES 0.0 / 0.0
TRS_Standard/SK90/4.21.xml YES 0.2 / 1.2 YES 0.0 / 0.3 YES 0.9 / 0.5 . 1070.3 / 300.0 . 2.5 / 2.9 YES 3.0 / 5.4 YES 0.0 / 0.1
TRS_Standard/SK90/4.22.xml YES 0.1 / 0.3 YES 0.0 / 0.0 YES 1.0 / 1.5 . 1052.9 / 300.1 . 479.5 / 300.1 YES 2.9 / 4.9 YES 0.0 / 0.2
TRS_Standard/SK90/4.23.xml YES 0.2 / 0.2 YES 0.0 / 0.0 YES 0.8 / 0.5 . 864.5 / 300.0 . 3.2 / 3.3 YES 2.5 / 1.6 YES 0.0 / 0.2
TRS_Standard/SK90/4.24.xml YES 0.1 / 0.1 YES 0.0 / 0.0 YES 4.6 / 2.9 . 760.5 / 300.1 . 784.9 / 300.1 YES 3.3 / 4.2 . 251.4 / 300.0
TRS_Standard/SK90/4.25.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 0.9 / 1.3 YES 2.3 / 2.2 . 1.8 / 0.8 YES 2.3 / 1.5 YES 0.0 / 0.0
TRS_Standard/SK90/4.26.xml YES 0.0 / 0.4 YES 0.0 / 0.3 YES 2.4 / 1.5 YES 6.0 / 2.8 . 2.5 / 3.7 YES 3.9 / 2.5 YES 0.0 / 0.2
TRS_Standard/SK90/4.27.xml YES 0.1 / 0.1 YES 0.0 / 0.5 YES 1.5 / 2.0 YES 33.6 / 21.0 . 2.8 / 1.3 YES 3.1 / 1.8 YES 0.0 / 0.0
TRS_Standard/SK90/4.28.xml YES 0.3 / 0.8 YES 0.0 / 0.1 YES 2.0 / 2.0 YES 31.2 / 21.4 . 2.6 / 3.0 YES 3.0 / 1.8 YES 0.0 / 0.3
TRS_Standard/SK90/4.29.xml YES 0.1 / 0.1 YES 0.0 / 0.0 YES 0.8 / 0.5 YES 3.1 / 1.1 . 2.2 / 2.5 YES 2.6 / 5.2 YES 0.0 / 0.0
TRS_Standard/SK90/4.30.xml YES 0.1 / 0.2 YES 0.0 / 0.2 YES 2.8 / 3.6 YES 24.4 / 11.7 . 2.7 / 1.7 YES 4.1 / 7.5 YES 0.0 / 0.0
TRS_Standard/SK90/4.31.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 1.7 / 0.7 YES 8.3 / 4.0 . 666.0 / 300.1 YES 3.0 / 7.0 YES 0.0 / 0.4
TRS_Standard/SK90/4.32.xml YES 0.1 / 0.1 YES 0.0 / 0.2 YES 6.3 / 3.3 . 804.0 / 300.1 . 2.7 / 5.6 YES 25.5 / 18.6 YES 5.9 / 15.8
TRS_Standard/SK90/4.33.xml YES 0.0 / 0.2 YES 0.0 / 0.1 YES 0.7 / 0.4 YES 0.8 / 0.3 . 1.1 / 1.7 YES 2.4 / 1.6 YES 0.0 / 0.4
TRS_Standard/SK90/4.34.xml . 0.1 / 0.8 NO 0.0 / 0.1 NO 0.7 / 0.4 . 822.4 / 300.0 NO 1.9 / 1.0 NO 2.3 / 5.1 . 230.5 / 300.0
TRS_Standard/SK90/4.35.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.6 / 0.4 YES 0.1 / 0.3 . 1.3 / 1.7 YES 2.8 / 4.5 YES 0.0 / 0.3
TRS_Standard/SK90/4.36.xml YES 0.0 / 0.0 YES 0.0 / 0.1 YES 0.8 / 1.6 YES 0.3 / 0.5 . 1.3 / 1.9 YES 2.2 / 1.5 YES 0.0 / 0.0
TRS_Standard/SK90/4.37.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.8 / 0.5 YES 0.3 / 0.2 . 0.8 / 2.4 YES 2.9 / 4.7 YES 0.0 / 0.1
TRS_Standard/SK90/4.38.xml YES 0.0 / 0.0 YES 0.0 / 0.2 YES 0.7 / 0.8 YES 2.2 / 0.7 . 1.5 / 0.6 YES 2.9 / 6.1 YES 0.0 / 0.0
TRS_Standard/SK90/4.39.xml YES 0.0 / 0.0 YES 0.0 / 0.2 YES 0.5 / 0.3 YES 1.6 / 0.9 . 1.1 / 2.0 YES 2.4 / 1.6 YES 0.0 / 0.0
TRS_Standard/SK90/4.40.xml . 0.2 / 0.2 . 1.7 / 1.9 . 135.3 / 59.6 . 799.1 / 300.0 NO 22.7 / 6.8 NO 9.1 / 14.0 . 0.6 / 0.7
TRS_Standard/SK90/4.41.xml YES 0.0 / 0.3 YES 0.0 / 0.0 YES 1.0 / 0.5 YES 2.1 / 2.1 . 510.1 / 300.0 YES 2.7 / 1.7 YES 0.0 / 0.1
TRS_Standard/SK90/4.42.xml YES 0.1 / 0.3 YES 0.0 / 0.1 YES 0.9 / 1.0 . 672.1 / 300.1 . 563.0 / 300.1 YES 3.1 / 5.1 YES 0.0 / 0.0
TRS_Standard/SK90/4.43.xml YES 0.1 / 0.8 YES 0.0 / 0.2 YES 1.6 / 1.7 YES 17.0 / 5.2 . 3.2 / 2.0 YES 3.2 / 3.1 YES 0.0 / 0.4
TRS_Standard/SK90/4.44.xml YES 0.0 / 0.8 YES 0.0 / 0.0 YES 0.5 / 1.0 YES 1.7 / 1.0 . 1.4 / 1.6 YES 2.4 / 1.5 YES 0.0 / 0.0
TRS_Standard/SK90/4.45.xml YES 0.0 / 0.0 YES 0.0 / 0.0 YES 0.4 / 0.3 YES 1.0 / 0.3 . 1.2 / 0.6 YES 2.4 / 1.6 YES 0.0 / 0.3
TRS_Standard/SK90/4.46.xml YES 0.0 / 0.4 YES 0.0 / 0.0 YES 0.5 / 1.6 YES 0.5 / 0.5 . 0.7 / 1.1 YES 2.6 / 4.0 YES 0.0 / 0.0
TRS_Standard/SK90/4.47.xml YES 0.1 / 0.7 YES 0.0 / 0.1 YES 0.8 / 1.2 YES 1.3 / 0.9 . 2.1 / 3.1 YES 4.4 / 9.0 YES 0.0 / 0.2
TRS_Standard/SK90/4.48.xml YES 0.0 / 0.0 YES 0.0 / 0.1 YES 0.5 / 1.3 YES 4.9 / 4.0 . 2.2 / 2.1 YES 2.9 / 5.4 YES 0.0 / 0.0
TRS_Standard/SK90/4.49.xml . 0.2 / 0.7 NO 0.0 / 0.1 NO 0.3 / 0.3 . 1063.9 / 300.1 NO 88.3 / 28.0 NO 3.9 / 2.3 NO 0.0 / 0.0
TRS_Standard/SK90/4.50.xml . 0.0 / 0.5 . 0.0 / 0.4 YES 0.4 / 1.3 YES 3.7 / 1.2 . 802.6 / 300.1 YES 2.4 / 1.6 YES 0.0 / 0.0
TRS_Standard/SK90/4.51.xml YES 0.1 / 0.3 YES 0.0 / 0.0 YES 0.7 / 0.4 YES 4.1 / 1.7 . 1.8 / 1.0 YES 3.0 / 5.5 YES 0.0 / 0.0
TRS_Standard/SK90/4.52.xml YES 0.0 / 0.3 YES 0.0 / 0.2 YES 1.3 / 1.8 YES 11.6 / 3.8 . 3.1 / 3.0 YES 2.8 / 5.9 YES 0.0 / 0.1
TRS_Standard/SK90/4.53.xml YES 0.1 / 0.1 YES 0.0 / 0.0 YES 1.0 / 1.2 . 975.1 / 300.0 . 766.0 / 300.1 YES 2.9 / 7.5 YES 0.0 / 0.3
TRS_Standard/SK90/4.54.xml . 0.6 / 1.6 . 0.0 / 0.7 NO 1.3 / 1.6 . 709.9 / 300.1 NO 2.4 / 0.9 NO 12.0 / 16.6 . 225.0 / 300.0
TRS_Standard/SK90/4.55.xml . 0.0 / 1.4 . 0.0 / 0.0 YES 0.6 / 0.4 YES 3.1 / 1.1 . 1.0 / 0.6 YES 2.8 / 6.8 YES 0.1 / 1.5
TRS_Standard/SK90/4.56.xml YES 0.0 / 0.0 YES 0.0 / 0.1 YES 0.5 / 1.1 YES 0.6 / 0.4 . 1.5 / 3.4 YES 2.9 / 4.0 YES 0.0 / 0.0
TRS_Standard/SK90/4.57.xml YES 0.1 / 0.3 YES 0.0 / 0.0 YES 1.1 / 1.2 YES 1.2 / 0.7 . 1057.4 / 300.1 YES 2.9 / 6.5 YES 0.0 / 0.3
TRS_Standard/SK90/4.59.xml YES 0.1 / 0.3 YES 0.0 / 0.1 YES 1.9 / 2.0 YES 31.4 / 18.1 . 527.8 / 300.1 YES 3.2 / 2.0 YES 0.0 / 0.1
TRS_Standard/SK90/4.60.xml YES 0.1 / 0.1 YES 0.0 / 0.1 YES 2.9 / 2.9 YES 24.5 / 13.9 . 490.1 / 300.1 YES 3.3 / 2.0 YES 0.0 / 0.6
TRS_Standard/SK90/4.61.xml . 0.7 / 0.8 YES 0.0 / 0.1 YES 4.5 / 3.5 . 938.8 / 300.0 . 809.1 / 300.1 YES 5.2 / 10.6 YES 10.7 / 21.3
TRS_Standard/Secret_05_TRS/aprove1.xml . 6.2 / 15.9 YES 0.0 / 0.4 YES 4.5 / 1.6 . 860.1 / 300.0 . 763.3 / 300.1 YES 11.1 / 12.9 . 11.3 / 15.7
TRS_Standard/Secret_05_TRS/aprove2.xml . 0.3 / 0.4 . 0.0 / 0.4 . 80.8 / 60.1 . 618.1 / 300.0 . 543.6 / 300.1 YES 9.9 / 4.5 . 82.6 / 93.3
TRS_Standard/Secret_05_TRS/aprove3.xml . 1.7 / 1.7 YES 0.0 / 0.3 . 175.9 / 59.4 . 872.1 / 300.1 . 575.0 / 300.0 YES 10.9 / 16.3 . 223.2 / 300.1
TRS_Standard/Secret_05_TRS/aprove4.xml . 0.2 / 0.2 . 0.0 / 0.1 . 152.9 / 59.8 . 670.1 / 300.1 . 589.3 / 300.1 YES 5.5 / 7.3 . 1.3 / 14.1
TRS_Standard/Secret_05_TRS/aprove5.xml . 0.5 / 2.4 . 0.0 / 0.8 YES 7.9 / 5.8 YES 653.8 / 300.0 . 517.2 / 300.1 YES 4.6 / 2.5 . 172.3 / 300.1
TRS_Standard/Secret_05_TRS/cime1.xml YES 20.7 / 41.3 YES 5.1 / 4.5 . 219.7 / 59.6 . 837.2 / 300.0 . 4.4 / 1.4 YES 49.4 / 36.7 . 228.2 / 300.0
TRS_Standard/Secret_05_TRS/cime2.xml YES 0.7 / 2.1 YES 0.0 / 0.1 . 169.4 / 59.3 . 1052.3 / 300.1 . 2.5 / 2.8 YES 47.0 / 20.7 YES 3.2 / 21.2
TRS_Standard/Secret_05_TRS/cime3.xml . 1.0 / 3.1 . 0.2 / 1.7 . 106.5 / 60.4 . 1006.2 / 300.1 . 989.9 / 300.1 . 482.3 / 300.1 . 173.8 / 300.1
TRS_Standard/Secret_05_TRS/cime4.xml . 0.1 / 1.1 . 0.0 / 0.4 . 64.2 / 59.9 . 1130.1 / 300.0 . 531.6 / 300.1 NO 3.3 / 6.7 . 0.1 / 0.1
TRS_Standard/Secret_05_TRS/cime5.xml YES 3.2 / 8.3 YES 5.7 / 5.0 YES 136.2 / 48.1 YES 551.6 / 159.1 . 618.3 / 300.0 YES 20.3 / 7.6 YES 2.8 / 6.8
TRS_Standard/Secret_05_TRS/matchbox1.xml . 0.1 / 0.1 . 0.0 / 0.7 YES 2.6 / 1.9 . 963.9 / 300.0 . 774.2 / 300.1 YES 4.0 / 3.8 YES 0.3 / 3.0
TRS_Standard/Secret_05_TRS/matchbox2.xml . 0.2 / 0.5 YES 0.5 / 1.2 YES 1.1 / 1.6 YES 3.7 / 4.1 . 470.1 / 300.1 YES 3.2 / 2.8 YES 0.1 / 1.1
TRS_Standard/Secret_05_TRS/teparla1.xml . 1.8 / 4.0 . 0.7 / 2.2 YES 1.6 / 1.4 . 849.3 / 300.0 . 2.1 / 300.1 YES 3.0 / 5.4 YES 1.0 / 1.0
TRS_Standard/Secret_05_TRS/teparla2.xml . 1.3 / 3.4 . 0.1 / 0.2 YES 31.8 / 13.5 . 698.4 / 300.0 . 1.9 / 300.0 YES 8.9 / 3.6 . 1.7 / 1.8
TRS_Standard/Secret_05_TRS/teparla3.xml . 0.7 / 3.1 . 0.0 / 0.4 YES 4.3 / 1.5 . 633.0 / 300.1 . 1.8 / 300.0 YES 17.6 / 7.2 . 1.6 / 1.7
TRS_Standard/Secret_05_TRS/tpa1.xml . 2.1 / 6.2 . 0.0 / 0.6 . 118.4 / 59.5 . 787.8 / 300.1 . 652.9 / 300.1 YES 4.8 / 9.9 . 300.0 / 300.0
TRS_Standard/Secret_05_TRS/tpa2.xml . 0.4 / 0.5 YES 0.0 / 0.1 YES 5.9 / 1.8 YES 49.7 / 26.0 . 444.9 / 300.1 YES 4.9 / 13.6 YES 0.1 / 0.3
TRS_Standard/Secret_05_TRS/tpa3.xml . 0.9 / 2.2 . 0.0 / 0.1 . 191.3 / 59.4 . 752.4 / 300.1 . 968.7 / 300.1 . 214.7 / 300.1 . 162.4 / 300.1
TRS_Standard/Secret_05_TRS/tpa4.xml . 0.6 / 1.4 . 0.0 / 0.2 . 194.7 / 59.4 . 640.5 / 300.1 . 483.6 / 300.1 . 317.0 / 300.1 . 239.9 / 300.0
TRS_Standard/Secret_05_TRS/tpa5.xml . 0.4 / 0.5 . 0.1 / 0.3 . 118.9 / 60.0 . 616.0 / 300.0 . 863.4 / 300.1 . 396.2 / 300.0 . 3.0 / 7.2
TRS_Standard/Secret_05_TRS/ttt1.xml . 0.1 / 0.1 . 0.0 / 0.4 NO 1.6 / 1.3 . 808.6 / 300.1 . 680.0 / 300.1 NO 4.5 / 9.4 . 0.4 / 2.6
TRS_Standard/Secret_05_TRS/ttt2.xml . 0.1 / 1.4 NO 0.0 / 0.5 NO 0.9 / 0.5 . 788.3 / 300.1 NO 1.4 / 1.9 NO 4.2 / 9.8 NO 0.1 / 0.2
TRS_Standard/Secret_06_TRS/10.xml . 0.4 / 1.6 . 0.0 / 0.4 YES 2.8 / 2.2 YES 32.1 / 22.3 . 443.8 / 300.1 YES 11.1 / 4.7 . 135.9 / 300.0
TRS_Standard/Secret_06_TRS/2.xml . 0.7 / 0.7 . 0.0 / 0.3 YES 1.9 / 1.6 YES 57.9 / 33.8 . 2.1 / 1.0 YES 42.7 / 42.9 . 173.4 / 300.1
TRS_Standard/Secret_06_TRS/3.xml . 11.8 / 19.3 . 0.0 / 1.1 . 189.6 / 59.5 . 1072.0 / 300.0 . 659.1 / 300.1 . 567.0 / 300.0 . 6.8 / 7.8
TRS_Standard/Secret_06_TRS/4.xml . 0.3 / 1.3 YES 0.0 / 0.8 YES 4.8 / 1.6 YES 6.6 / 2.2 . 448.2 / 300.1 YES 5.0 / 2.6 . 26.0 / 26.6
TRS_Standard/Secret_06_TRS/5.xml . 0.4 / 0.4 . 0.0 / 0.5 YES 8.6 / 5.6 YES 7.6 / 3.4 . 533.3 / 300.1 YES 5.0 / 9.7 . 152.0 / 300.0
TRS_Standard/Secret_06_TRS/6.xml . 1.2 / 1.2 YES 0.7 / 1.6 YES 1.0 / 1.4 YES 31.2 / 17.0 . 2.0 / 1.0 YES 20.3 / 11.5 YES 36.3 / 54.1
TRS_Standard/Secret_06_TRS/7.xml YES 0.1 / 0.2 YES 0.0 / 0.0 YES 0.9 / 1.1 YES 9.6 / 3.2 . 2.0 / 0.8 YES 6.5 / 7.1 YES 0.5 / 1.4
TRS_Standard/Secret_06_TRS/8.xml . 0.7 / 1.7 YES 0.0 / 0.4 YES 0.7 / 0.4 YES 8.0 / 2.1 . 2.2 / 3.2 YES 3.5 / 6.1 YES 0.1 / 0.1
TRS_Standard/Secret_06_TRS/9.xml . 0.3 / 0.3 YES 0.0 / 1.1 YES 0.8 / 1.2 YES 20.2 / 13.2 . 575.5 / 300.1 YES 5.0 / 2.6 YES 15.2 / 33.4
TRS_Standard/Secret_06_TRS/addList.xml . 5.0 / 5.1 YES 0.0 / 1.0 . 213.1 / 59.4 . 624.4 / 300.1 . 579.9 / 300.1 YES 15.2 / 22.2 . 286.2 / 300.0
TRS_Standard/Secret_06_TRS/cime1.xml . 0.5 / 0.6 . 0.0 / 0.2 . 216.6 / 59.4 . 652.8 / 300.1 . 469.2 / 300.1 . 312.7 / 300.1 . 30.0 / 31.5
TRS_Standard/Secret_06_TRS/divExp.xml . 0.3 / 1.8 . 0.0 / 0.4 . 165.3 / 51.0 YES 475.1 / 214.3 . 713.9 / 300.1 YES 4.2 / 8.2 YES 0.2 / 1.7
TRS_Standard/Secret_06_TRS/division.xml . 0.3 / 0.4 . 0.0 / 0.2 . 98.6 / 59.8 . 616.1 / 300.0 . 874.3 / 300.1 YES 10.1 / 14.0 . 189.7 / 300.0
TRS_Standard/Secret_06_TRS/double.xml . 0.5 / 0.9 . 0.0 / 0.2 . 86.3 / 53.4 . 783.6 / 300.1 . 707.2 / 300.1 YES 7.2 / 13.3 . 25.8 / 229.9
TRS_Standard/Secret_06_TRS/gen-1.xml . 0.3 / 1.0 YES 0.0 / 0.0 YES 1.4 / 2.0 YES 18.6 / 12.1 . 1.8 / 2.1 YES 7.3 / 12.9 YES 0.1 / 0.5
TRS_Standard/Secret_06_TRS/gen-10.xml . 1.4 / 5.2 YES 0.0 / 0.2 YES 2.3 / 2.7 YES 14.8 / 12.9 . 907.2 / 300.1 YES 4.1 / 7.9 . 166.8 / 300.0
TRS_Standard/Secret_06_TRS/gen-14.xml . 0.4 / 1.2 YES 0.0 / 0.7 YES 7.0 / 2.3 YES 42.9 / 21.0 . 922.0 / 300.0 YES 4.8 / 7.9 . 205.6 / 300.1
TRS_Standard/Secret_06_TRS/gen-15.xml . 0.3 / 1.7 YES 0.0 / 0.4 YES 7.7 / 3.7 YES 8.5 / 5.7 . 654.6 / 300.1 YES 3.6 / 2.1 YES 0.3 / 2.3
TRS_Standard/Secret_06_TRS/gen-17.xml YES 0.2 / 0.2 YES 0.0 / 0.1 YES 3.0 / 2.9 YES 14.9 / 11.0 . 817.2 / 300.1 YES 3.3 / 6.1 YES 0.1 / 0.1
TRS_Standard/Secret_06_TRS/gen-18.xml . 0.3 / 0.4 YES 0.0 / 0.1 YES 6.3 / 1.9 YES 9.3 / 10.5 . 521.0 / 300.1 YES 31.2 / 16.7 . 1.2 / 5.6
TRS_Standard/Secret_06_TRS/gen-22.xml . 0.8 / 1.2 YES 0.2 / 0.5 YES 10.0 / 5.8 YES 33.9 / 9.1 . 731.2 / 300.0 YES 6.8 / 12.6 YES 151.8 / 215.0
TRS_Standard/Secret_06_TRS/gen-25.xml . 0.5 / 1.6 . 0.1 / 0.8 YES 10.4 / 4.9 YES 26.3 / 13.0 . 867.2 / 300.1 YES 42.5 / 29.7 . 299.9 / 300.0
TRS_Standard/Secret_06_TRS/gen-28.xml YES 0.1 / 0.1 . 0.0 / 0.2 YES 11.0 / 3.1 YES 11.6 / 3.1 . 1014.4 / 300.1 YES 38.1 / 29.7 . 62.2 / 62.4
TRS_Standard/Secret_06_TRS/gen-9.xml . 0.8 / 2.2 YES 0.1 / 0.1 YES 6.4 / 3.9 YES 20.6 / 7.5 . 768.5 / 300.1 YES 4.5 / 2.5 YES 0.3 / 0.3
TRS_Standard/Secret_06_TRS/logarithm.xml . 1.1 / 1.2 YES 0.0 / 0.1 YES 104.3 / 58.0 . 661.2 / 300.0 . 642.8 / 300.1 YES 14.3 / 25.3 . 24.3 / 53.5
TRS_Standard/Secret_06_TRS/nrOfNodes.xml . 3.2 / 8.4 . 0.0 / 0.2 . 114.4 / 60.3 . 936.6 / 300.0 . 549.6 / 300.1 YES 11.0 / 17.2 . 283.5 / 300.0
TRS_Standard/Secret_06_TRS/reverse.xml . 0.3 / 0.3 YES 0.0 / 0.6 YES 5.1 / 2.0 . 951.4 / 300.1 . 817.6 / 300.1 YES 6.2 / 3.0 . 299.9 / 300.0
TRS_Standard/Secret_06_TRS/sumList.xml . 0.8 / 2.0 YES 0.0 / 0.2 . 153.3 / 60.2 . 606.7 / 300.1 . 877.9 / 300.1 YES 13.6 / 21.6 . 299.9 / 300.0
TRS_Standard/Secret_06_TRS/times.xml . 0.7 / 2.8 . 0.0 / 0.6 . 220.6 / 59.3 . 799.2 / 300.1 . 870.2 / 300.0 YES 8.2 / 3.8 . 8.2 / 9.0
TRS_Standard/Secret_06_TRS/toList.xml . 22.9 / 23.0 . 0.0 / 0.3 . 113.1 / 60.2 . 781.5 / 300.1 . 568.6 / 300.0 YES 26.3 / 12.4 . 291.2 / 300.1
TRS_Standard/Secret_06_TRS/tpa01.xml . 0.1 / 0.6 . 0.0 / 0.1 YES 2.9 / 3.1 . 599.8 / 300.1 . 1.6 / 300.0 YES 6.5 / 7.0 . 0.6 / 6.5
TRS_Standard/Secret_06_TRS/tpa02.xml . 0.1 / 0.1 . 0.0 / 0.1 . 139.9 / 50.9 . 861.9 / 300.1 . 1.8 / 300.0 YES 7.0 / 3.3 . 3.4 / 3.9
TRS_Standard/Secret_06_TRS/tpa03.xml . 0.1 / 0.6 . 0.0 / 0.4 . 129.6 / 50.8 . 656.7 / 300.1 . 2.0 / 300.0 YES 27.7 / 30.1 . 2.9 / 3.3
TRS_Standard/Secret_06_TRS/tpa04.xml . 14.5 / 14.5 . 0.0 / 0.4 . 204.6 / 59.4 . 753.8 / 300.1 . 907.1 / 300.1 . 548.0 / 300.1 . 215.5 / 300.0
TRS_Standard/Secret_06_TRS/tpa05.xml . 24.4 / 24.5 . 0.0 / 0.6 . 213.5 / 59.4 . 949.6 / 300.1 . 604.6 / 300.1 . 409.3 / 300.0 . 300.1 / 300.0
TRS_Standard/Secret_06_TRS/tpa06.xml . 109.8 / 156.1 . 0.5 / 1.5 . 213.9 / 59.6 . 896.1 / 300.1 . 742.6 / 300.1 YES 8.0 / 13.7 . 200.8 / 300.1
TRS_Standard/Secret_06_TRS/tpa07.xml . 4.6 / 7.6 . 0.0 / 0.4 . 128.4 / 59.4 . 1009.2 / 300.1 . 425.5 / 300.0 . 244.9 / 300.0 . 244.7 / 300.0
TRS_Standard/Secret_06_TRS/tpa08.xml . 75.7 / 167.1 . 0.0 / 0.5 . 100.8 / 60.1 . 826.0 / 300.1 . 762.5 / 300.1 . 251.1 / 300.0 . 165.4 / 300.0
TRS_Standard/Secret_06_TRS/tpa09.xml . 244.3 / 300.0 . 0.0 / 0.2 . 197.9 / 59.4 . 970.0 / 300.1 . 594.7 / 300.1 . 378.4 / 300.0 . 0.1 / 0.1
TRS_Standard/Secret_06_TRS/tpa10.xml . 21.1 / 21.1 . 0.0 / 0.3 YES 182.8 / 53.9 . 936.9 / 300.1 . 520.7 / 300.1 YES 4.7 / 2.4 . 192.7 / 300.0
TRS_Standard/Secret_07_TRS/1.xml . 0.3 / 2.0 . 0.0 / 0.2 YES 4.4 / 2.9 . 986.7 / 300.1 . 713.5 / 300.1 YES 65.1 / 32.5 . 288.7 / 300.0
TRS_Standard/Secret_07_TRS/2.xml . 2.0 / 2.0 . 0.0 / 0.6 YES 15.4 / 5.2 . 732.8 / 300.1 . 666.0 / 300.1 YES 124.4 / 76.6 . 169.1 / 300.0
TRS_Standard/Secret_07_TRS/3.xml . 5.3 / 10.5 . 0.0 / 0.2 . 218.0 / 59.5 . 688.1 / 300.0 . 595.4 / 300.1 YES 55.4 / 20.7 . 283.4 / 300.0
TRS_Standard/Secret_07_TRS/4.xml . 0.3 / 0.4 . 0.1 / 1.0 YES 12.6 / 8.1 . 751.8 / 300.1 . 454.9 / 300.1 YES 30.6 / 11.5 . 108.8 / 300.1
TRS_Standard/Secret_07_TRS/5.xml . 22.6 / 22.7 . 1.0 / 3.1 YES 15.4 / 4.8 . 991.2 / 300.0 . 534.3 / 300.1 YES 63.9 / 61.4 . 265.7 / 300.1
TRS_Standard/Secret_07_TRS/7.xml . 6.6 / 6.7 . 1.3 / 1.0 . 122.4 / 60.3 . 631.2 / 300.1 . 601.6 / 300.1 YES 272.2 / 247.9 . 297.7 / 300.0
TRS_Standard/Secret_07_TRS/aprove01.xml . 0.8 / 0.9 . 0.0 / 0.5 . 99.1 / 59.9 . 939.2 / 300.1 . 918.9 / 300.1 YES 19.9 / 26.6 . 217.6 / 300.0
TRS_Standard/Secret_07_TRS/aprove02.xml . 0.5 / 1.5 . 0.0 / 0.9 . 101.5 / 60.0 . 672.5 / 300.1 . 576.0 / 300.0 YES 14.4 / 24.3 . 1.6 / 1.8
TRS_Standard/Secret_07_TRS/aprove03.xml . 3.0 / 3.0 . 0.1 / 0.9 . 119.9 / 60.3 . 744.6 / 300.1 . 590.6 / 300.1 . 550.1 / 300.1 . 20.1 / 60.0
TRS_Standard/Secret_07_TRS/aprove04.xml . 0.7 / 0.8 . 0.0 / 0.5 . 210.0 / 59.5 . 820.5 / 300.1 . 745.2 / 300.0 YES 14.5 / 6.1 . 5.0 / 11.8
TRS_Standard/Secret_07_TRS/aprove05.xml . 0.5 / 1.5 . 0.6 / 1.6 . 130.9 / 59.8 . 858.5 / 300.1 . 997.5 / 300.0 YES 10.0 / 16.0 . 2.6 / 7.4
TRS_Standard/Secret_07_TRS/aprove06.xml . 0.8 / 1.8 . 0.0 / 0.8 . 156.6 / 60.4 . 1044.6 / 300.0 . 544.3 / 300.1 YES 21.5 / 10.3 . 32.9 / 85.5
TRS_Standard/Secret_07_TRS/aprove07.xml . 0.5 / 0.5 . 0.5 / 1.3 . 213.7 / 59.4 . 1009.8 / 300.0 . 732.2 / 300.1 YES 8.2 / 13.1 . 1.7 / 1.9
TRS_Standard/Secret_07_TRS/aprove08.xml . 2.7 / 6.0 . 0.1 / 0.9 . 145.9 / 59.8 . 719.0 / 300.1 . 742.5 / 300.1 YES 17.2 / 7.2 . 101.1 / 108.1
TRS_Standard/Secret_07_TRS/aprove09.xml . 0.5 / 1.0 . 0.0 / 0.6 . 194.1 / 59.4 . 728.0 / 300.1 . 803.6 / 300.0 YES 16.6 / 15.0 . 14.2 / 33.8
TRS_Standard/Secret_07_TRS/aprove10.xml . 1.4 / 1.5 . 0.0 / 0.6 . 213.3 / 59.4 . 623.3 / 300.1 . 959.6 / 300.1 YES 43.8 / 42.5 . 101.2 / 136.2
TRS_Standard/Secret_07_TRS/secret1.xml YES 0.5 / 1.3 YES 0.0 / 0.0 YES 1.8 / 2.0 . 612.5 / 300.0 . 607.5 / 300.1 YES 3.7 / 6.0 YES 0.0 / 0.3
TRS_Standard/Secret_07_TRS/secret2.xml YES 0.6 / 0.6 YES 0.0 / 0.2 YES 1.6 / 1.7 . 691.2 / 300.1 . 641.0 / 300.1 YES 2.8 / 4.6 YES 0.0 / 0.0
TRS_Standard/Secret_07_TRS/secret3.xml YES 0.3 / 0.3 YES 0.0 / 0.4 YES 2.9 / 1.7 . 1028.8 / 300.1 . 969.5 / 300.0 YES 2.8 / 1.9 YES 0.0 / 0.0
TRS_Standard/Secret_07_TRS/secret4.xml YES 0.6 / 0.7 YES 0.0 / 0.4 YES 2.8 / 3.1 . 761.7 / 300.0 . 809.9 / 300.1 YES 3.4 / 7.0 YES 0.0 / 0.3
TRS_Standard/Secret_07_TRS/secret5.xml YES 0.3 / 2.4 YES 0.0 / 0.3 YES 6.7 / 4.3 . 717.7 / 300.1 . 539.5 / 300.1 YES 4.2 / 8.8 YES 0.1 / 0.6
TRS_Standard/Strategy_removed_AG01/#4.12a.xml . 0.1 / 0.1 . 0.0 / 0.7 NO 0.6 / 0.4 . 706.8 / 300.1 . 552.2 / 300.1 NO 3.5 / 5.4 . 0.1 / 0.1
TRS_Standard/Strategy_removed_AG01/#4.13.xml . 0.0 / 0.2 . 0.0 / 0.1 . 129.0 / 59.4 . 945.8 / 300.1 . 904.2 / 300.1 NO 6.1 / 2.9 . 0.1 / 2.3
TRS_Standard/Strategy_removed_AG01/#4.14.xml . 0.1 / 0.2 NO 0.0 / 0.6 NO 1.0 / 0.5 . 819.7 / 300.1 NO 2.3 / 2.7 NO 3.3 / 2.2 . 0.2 / 0.3
TRS_Standard/Strategy_removed_AG01/#4.15.xml . 0.5 / 0.6 NO 0.0 / 0.1 NO 0.8 / 1.9 . 1137.9 / 300.1 NO 98.9 / 30.1 NO 3.5 / 2.1 . 0.6 / 0.7
TRS_Standard/Strategy_removed_AG01/#4.16.xml . 0.1 / 1.0 NO 0.0 / 0.1 NO 1.0 / 0.5 . 806.9 / 300.1 NO 2.3 / 0.7 NO 3.8 / 8.8 NO 0.1 / 1.5
TRS_Standard/Strategy_removed_AG01/#4.17.xml . 0.9 / 1.2 . 0.0 / 0.1 NO 3.4 / 1.5 . 874.7 / 300.0 NO 6.0 / 5.9 NO 4.1 / 7.3 . 3.6 / 12.3
TRS_Standard/Strategy_removed_AG01/#4.18.xml . 0.2 / 0.8 . 0.0 / 0.1 NO 0.6 / 0.4 . 774.1 / 300.1 NO 3.5 / 4.5 NO 2.3 / 1.5 . 140.1 / 300.0
TRS_Standard/Strategy_removed_AG01/#4.19.xml . 0.2 / 0.2 . 0.0 / 0.7 . 114.7 / 52.6 . 1062.6 / 300.0 . 512.0 / 300.1 . 439.7 / 300.0 . 233.3 / 300.0
TRS_Standard/Strategy_removed_AG01/#4.2.xml . 0.1 / 1.4 . 0.0 / 0.6 NO 1.2 / 1.4 . 750.1 / 300.1 . 502.4 / 300.1 NO 4.3 / 10.6 . 0.9 / 6.1
TRS_Standard/Strategy_removed_AG01/#4.20.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 0.4 / 0.3 YES 0.5 / 0.4 . 1.3 / 2.0 YES 2.4 / 1.7 YES 0.0 / 0.3
TRS_Standard/Strategy_removed_AG01/#4.20a.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 0.6 / 1.2 YES 2.3 / 0.8 . 1.7 / 0.9 YES 2.7 / 2.2 YES 0.0 / 0.0
TRS_Standard/Strategy_removed_AG01/#4.21.xml YES 0.0 / 0.1 YES 0.0 / 0.2 YES 0.5 / 0.9 YES 0.6 / 0.6 . 2.1 / 1.0 YES 2.3 / 1.5 YES 0.0 / 0.3
TRS_Standard/Strategy_removed_AG01/#4.22.xml YES 0.0 / 0.1 YES 0.0 / 0.0 YES 0.8 / 1.3 YES 16.5 / 5.3 . 748.1 / 300.1 YES 2.6 / 1.7 YES 0.0 / 0.2
TRS_Standard/Strategy_removed_AG01/#4.23.xml YES 0.1 / 0.6 YES 0.0 / 0.3 YES 1.5 / 2.5 YES 89.0 / 30.3 . 655.5 / 300.1 YES 3.1 / 2.0 YES 0.0 / 0.0
TRS_Standard/Strategy_removed_AG01/#4.25.xml . 0.0 / 0.4 . 0.0 / 0.3 . 124.7 / 50.4 . 701.5 / 300.1 . 1.2 / 2.3 YES 2.7 / 5.0 YES 0.1 / 1.3
TRS_Standard/Strategy_removed_AG01/#4.26.xml . 0.1 / 0.2 YES 0.0 / 0.1 YES 2.1 / 2.5 . 875.8 / 300.1 . 821.5 / 300.1 YES 4.1 / 7.5 YES 0.1 / 0.6
TRS_Standard/Strategy_removed_AG01/#4.27.xml . 0.2 / 0.3 YES 0.0 / 0.2 YES 2.1 / 3.0 YES 14.6 / 11.0 . 466.8 / 300.1 YES 2.8 / 1.8 YES 0.0 / 0.7
TRS_Standard/Strategy_removed_AG01/#4.28.xml . 0.1 / 0.3 YES 0.0 / 0.2 YES 2.5 / 2.5 YES 10.3 / 9.1 . 1.7 / 0.9 YES 2.7 / 2.3 YES 0.0 / 0.6
TRS_Standard/Strategy_removed_AG01/#4.29.xml . 0.5 / 0.6 YES 0.0 / 0.2 YES 6.0 / 3.5 . 634.6 / 300.1 . 602.5 / 300.0 YES 5.5 / 12.3 YES 0.1 / 1.0
TRS_Standard/Strategy_removed_AG01/#4.3.xml . 0.0 / 0.3 . 0.0 / 0.5 . 92.1 / 59.4 . 885.4 / 300.1 . 421.7 / 300.1