Overview of job-results

flexible query (experimental) | view original jobs on star-exec:5377,

Statistics

4443 pairs, 774987.2 / 331790.1 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR OTHER / Nothing
The results are displayed in the following pattern: cpu-time / wallclock-time (complexity-score)
Jobs TRS Stand certi 78965
Solver TTT2 AProVE_JRE2 matchbox2014.07.08
Scores 966 1222 714
TRS_Standard/AG01/#3.1.xml 1.0 / 0.5 s 1.6 / 0.9 s 0.1 / 0.0 s
TRS_Standard/AG01/#3.10.xml 6.9 / 2.2 s 4.6 / 1.7 s 63.9 / 27.8 s
TRS_Standard/AG01/#3.12.xml 1.1 / 0.5 s 1.9 / 0.9 s 1.2 / 0.6 s
TRS_Standard/AG01/#3.13.xml 5.7 / 1.8 s 3.2 / 1.4 s 46.2 / 20.4 s
TRS_Standard/AG01/#3.15.xml 0.7 / 0.4 s 1.1 / 0.6 s 2.0 / 0.9 s
TRS_Standard/AG01/#3.16.xml 0.5 / 0.4 s 1.3 / 0.7 s 0.1 / 0.0 s
TRS_Standard/AG01/#3.17.xml 3.6 / 1.2 s 2.7 / 1.2 s 32.0 / 12.2 s
TRS_Standard/AG01/#3.17a.xml 4.1 / 1.3 s 3.0 / 1.3 s 37.6 / 16.6 s
TRS_Standard/AG01/#3.18.xml 2.0 / 0.9 s 1.9 / 0.9 s 3.7 / 1.5 s
TRS_Standard/AG01/#3.19.xml 158.2 / 59.3 s 2.6 / 1.1 s 4.5 / 2.0 s
TRS_Standard/AG01/#3.2.xml 0.9 / 0.5 s 1.6 / 0.9 s 0.1 / 0.0 s
TRS_Standard/AG01/#3.21.xml 0.7 / 0.4 s 1.5 / 0.8 s 33.2 / 14.4 s
TRS_Standard/AG01/#3.22.xml 1.1 / 0.6 s 1.7 / 0.9 s 136.5 / 61.8 s
TRS_Standard/AG01/#3.23.xml 0.6 / 0.4 s 1.2 / 0.7 s 0.1 / 0.0 s
TRS_Standard/AG01/#3.24.xml 0.6 / 0.4 s 2.0 / 0.9 s 0.1 / 0.0 s
TRS_Standard/AG01/#3.26.xml 1.1 / 0.5 s 25.0 / 6.8 s 0.1 / 0.0 s
TRS_Standard/AG01/#3.29.xml 0.3 / 0.3 s 1.1 / 0.7 s 0.0 / 0.0 s
TRS_Standard/AG01/#3.31.xml 0.5 / 0.4 s 1.2 / 0.7 s 0.0 / 0.0 s
TRS_Standard/AG01/#3.33.xml 0.9 / 0.5 s 1.6 / 0.7 s 0.0 / 0.0 s
TRS_Standard/AG01/#3.35.xml 0.4 / 0.3 s 7.0 / 2.1 s 0.0 / 0.0 s
TRS_Standard/AG01/#3.36.xml 1.0 / 0.5 s 2.8 / 1.3 s 0.1 / 0.1 s
TRS_Standard/AG01/#3.37.xml 0.6 / 0.4 s 1.5 / 0.8 s 0.0 / 0.0 s
TRS_Standard/AG01/#3.38.xml 1.4 / 0.7 s 2.1 / 1.1 s 0.1 / 0.1 s
TRS_Standard/AG01/#3.39.xml 4.2 / 1.4 s 2.2 / 1.0 s 665.4 / 300.0 s
TRS_Standard/AG01/#3.4.xml 1.3 / 0.6 s 1.7 / 0.9 s 1.8 / 0.8 s
TRS_Standard/AG01/#3.40.xml 179.3 / 59.5 s 3.0 / 1.4 s 651.8 / 300.0 s
TRS_Standard/AG01/#3.41.xml 0.7 / 0.4 s 1.4 / 0.8 s 0.1 / 0.1 s
TRS_Standard/AG01/#3.42.xml 1.2 / 0.6 s 1.6 / 0.9 s 0.2 / 0.1 s
TRS_Standard/AG01/#3.47.xml 0.6 / 0.4 s 1.3 / 0.8 s 0.0 / 0.0 s
TRS_Standard/AG01/#3.48.xml 1.1 / 0.6 s 1.4 / 0.8 s 0.1 / 0.0 s
TRS_Standard/AG01/#3.49.xml 0.9 / 0.5 s 1.9 / 0.9 s 3.6 / 1.6 s
TRS_Standard/AG01/#3.5.xml 1.5 / 0.7 s 2.2 / 1.1 s 0.1 / 0.1 s
TRS_Standard/AG01/#3.51.xml 0.9 / 0.5 s 4.0 / 1.4 s 0.0 / 0.0 s
TRS_Standard/AG01/#3.52.xml 0.4 / 0.3 s 1.3 / 0.8 s 0.0 / 0.0 s
TRS_Standard/AG01/#3.53.xml 3.5 / 1.3 s 2.3 / 1.1 s 7.7 / 3.3 s
TRS_Standard/AG01/#3.53a.xml 0.3 / 0.3 s 1.2 / 0.7 s 0.0 / 0.0 s
TRS_Standard/AG01/#3.53b.xml 0.4 / 0.4 s 1.2 / 0.7 s 0.0 / 0.0 s
TRS_Standard/AG01/#3.54.xml 0.6 / 0.4 s 2.6 / 1.2 s 0.1 / 0.0 s
TRS_Standard/AG01/#3.55.xml 3.8 / 1.4 s 3.6 / 1.5 s 25.6 / 11.3 s
TRS_Standard/AG01/#3.56.xml 1.0 / 0.5 s 1.7 / 0.9 s 0.1 / 0.0 s
TRS_Standard/AG01/#3.57.xml 4.4 / 1.6 s 3.0 / 1.4 s 48.4 / 20.1 s
TRS_Standard/AG01/#3.5a.xml 1.8 / 0.8 s 2.2 / 1.1 s 0.1 / 0.1 s
TRS_Standard/AG01/#3.5b.xml 2.1 / 0.8 s 2.7 / 1.2 s 0.2 / 0.1 s
TRS_Standard/AG01/#3.6.xml 2.6 / 1.0 s 2.4 / 1.2 s 0.2 / 0.1 s
TRS_Standard/AG01/#3.6a.xml 1.5 / 0.7 s 2.8 / 1.3 s 0.2 / 0.1 s
TRS_Standard/AG01/#3.6b.xml 2.1 / 0.8 s 2.9 / 1.3 s 0.4 / 0.2 s
TRS_Standard/AG01/#3.7.xml 0.9 / 0.5 s 2.8 / 1.1 s 0.1 / 0.0 s
TRS_Standard/AG01/#3.8a.xml 1.8 / 0.8 s 2.1 / 1.0 s 0.2 / 0.1 s
TRS_Standard/AG01/#3.8b.xml 3.0 / 1.1 s 3.2 / 1.3 s 0.3 / 0.1 s
TRS_Standard/AG01/#4.30c.xml 117.9 / 47.3 s 9.7 / 4.4 s 668.1 / 300.0 s
TRS_Standard/AProVE_04/AAECC-ring.xml 202.7 / 59.3 s 685.1 / 300.0 s 652.6 / 300.0 s
TRS_Standard/AProVE_04/AAECC.xml 83.5 / 41.3 s 46.8 / 19.7 s 631.8 / 300.0 s
TRS_Standard/AProVE_04/IJCAR_1.xml 0.7 / 0.5 s 1.9 / 0.9 s 0.1 / 0.0 s
TRS_Standard/AProVE_04/IJCAR_12.xml 1.2 / 0.6 s 2.5 / 1.2 s 0.2 / 0.1 s
TRS_Standard/AProVE_04/IJCAR_18.xml 1.8 / 0.8 s 3.2 / 1.5 s 661.7 / 300.0 s
TRS_Standard/AProVE_04/IJCAR_26.xml 3.0 / 1.2 s 3.5 / 1.5 s 656.0 / 300.0 s
TRS_Standard/AProVE_04/IJCAR_26a.xml 3.0 / 1.2 s 3.5 / 1.5 s 669.6 / 300.0 s
TRS_Standard/AProVE_04/JFP_Ex31.xml 232.9 / 59.5 s 131.4 / 61.7 s 29.4 / 13.5 s
TRS_Standard/AProVE_04/JFP_Ex51.xml 16.6 / 4.7 s 3.5 / 1.4 s 1.0 / 0.5 s
TRS_Standard/AProVE_04/LPAR_intlist.xml 1.4 / 0.6 s 1.9 / 0.9 s 0.1 / 0.0 s
TRS_Standard/AProVE_04/Liveness6.1.xml 1.7 / 0.7 s 11.9 / 3.5 s 614.6 / 300.0 s
TRS_Standard/AProVE_04/Liveness6.2.xml 1.1 / 0.5 s 3.6 / 1.5 s 1.0 / 0.4 s
TRS_Standard/AProVE_04/Liveness6.3.xml 2.5 / 0.9 s 23.1 / 6.4 s 338.3 / 165.8 s
TRS_Standard/AProVE_04/Liveness6.4.xml 194.3 / 59.4 s 74.8 / 26.5 s 629.1 / 300.0 s
TRS_Standard/AProVE_04/Liveness8.xml 3.4 / 1.2 s 3.5 / 1.5 s 0.4 / 0.2 s
TRS_Standard/AProVE_04/Liveness_WRS.xml 3.6 / 1.2 s 6.9 / 2.3 s 1.4 / 0.7 s
TRS_Standard/AProVE_04/fac.xml 1.6 / 0.7 s 2.9 / 1.3 s 635.9 / 300.0 s
TRS_Standard/AProVE_04/forward_instantiation.xml 171.3 / 59.3 s 1.8 / 1.0 s 3.2 / 1.4 s
TRS_Standard/AProVE_04/forward_instantiation2.xml 172.0 / 59.3 s 1.8 / 1.0 s 3.6 / 1.6 s
TRS_Standard/AProVE_04/improved_usable.xml 0.9 / 0.5 s 1.5 / 0.8 s 0.1 / 0.0 s
TRS_Standard/AProVE_04/improved_usable2.xml 0.7 / 0.4 s 1.4 / 0.8 s 0.1 / 0.0 s
TRS_Standard/AProVE_04/rta1.xml 1.1 / 0.6 s 1.6 / 0.9 s 697.2 / 300.0 s
TRS_Standard/AProVE_04/rta2.xml 0.3 / 0.3 s 1.2 / 0.7 s 0.0 / 0.0 s
TRS_Standard/AProVE_04/rta3.xml 1.2 / 0.6 s 1.4 / 0.9 s 615.3 / 300.0 s
TRS_Standard/AProVE_06/div_notCeTermin.xml 149.1 / 59.3 s 13.9 / 5.9 s 645.1 / 300.0 s
TRS_Standard/AProVE_06/div_notTermin.xml 149.3 / 59.3 s 664.0 / 300.1 s 638.2 / 300.0 s
TRS_Standard/AProVE_06/factorial1.xml 4.9 / 1.6 s 3.0 / 1.3 s 673.4 / 300.0 s
TRS_Standard/AProVE_06/factorial2.xml 171.6 / 59.4 s 5.8 / 2.2 s 650.3 / 300.0 s
TRS_Standard/AProVE_06/identity.xml 162.3 / 59.3 s 3.8 / 1.5 s 655.1 / 300.0 s
TRS_Standard/AProVE_06/logarithm.xml 148.2 / 59.4 s 14.3 / 7.9 s 659.7 / 300.0 s
TRS_Standard/AProVE_06/mapHard.xml 2.8 / 1.1 s 6.2 / 2.3 s 677.3 / 300.0 s
TRS_Standard/AProVE_06/modulo.xml 164.5 / 59.4 s 12.7 / 9.3 s 688.6 / 300.0 s
TRS_Standard/AProVE_06/nonterm.xml 1.1 / 0.6 s 4.4 / 1.7 s 649.1 / 300.0 s
TRS_Standard/AProVE_06/quicksort.xml 150.1 / 59.3 s 5.5 / 2.0 s 669.8 / 300.0 s
TRS_Standard/AProVE_06/quot.xml 8.0 / 13.2 s 7.0 / 3.9 s 659.5 / 300.0 s
TRS_Standard/AProVE_06/sizeChange.xml 1.1 / 0.6 s 1.5 / 0.9 s 693.8 / 300.0 s
TRS_Standard/AProVE_06/tower.xml 5.2 / 1.7 s 3.1 / 1.4 s 657.4 / 300.0 s
TRS_Standard/AProVE_06/tower_sizeChange.xml 18.6 / 7.4 s 30.7 / 14.0 s 627.7 / 300.0 s
TRS_Standard/AProVE_07/kabasci01.xml 56.9 / 15.2 s 18.9 / 5.6 s 639.1 / 300.0 s
TRS_Standard/AProVE_07/kabasci02.xml 46.4 / 6.5 s 7.7 / 2.6 s 652.8 / 300.0 s
TRS_Standard/AProVE_07/kabasci03.xml 9.0 / 2.7 s 5.9 / 2.1 s 708.0 / 300.0 s
TRS_Standard/AProVE_07/kabasci04.xml 2.6 / 1.0 s 2.3 / 1.1 s 647.6 / 300.0 s
TRS_Standard/AProVE_07/kabasci05.xml 5.3 / 1.9 s 3.6 / 1.4 s 680.3 / 300.0 s
TRS_Standard/AProVE_07/kabasci06.xml 2.7 / 1.1 s 2.8 / 1.4 s 697.3 / 300.0 s
TRS_Standard/AProVE_07/otto01.xml 32.8 / 10.1 s 5.7 / 2.2 s 655.4 / 300.0 s
TRS_Standard/AProVE_07/otto02.xml 155.9 / 59.4 s 4.0 / 1.8 s 698.1 / 300.0 s
TRS_Standard/AProVE_07/otto03.xml 155.7 / 59.4 s 2.6 / 1.3 s 615.2 / 300.0 s
TRS_Standard/AProVE_07/otto04.xml 183.3 / 59.3 s 4.5 / 2.0 s 639.3 / 300.0 s
TRS_Standard/AProVE_07/otto05.xml 2.0 / 0.8 s 3.1 / 1.3 s 656.0 / 300.0 s
TRS_Standard/AProVE_07/otto06.xml 178.9 / 59.3 s 8.0 / 2.9 s 641.0 / 300.0 s
TRS_Standard/AProVE_07/otto07.xml 155.3 / 59.4 s 2.7 / 1.3 s 631.8 / 300.0 s
TRS_Standard/AProVE_07/otto08.xml 163.0 / 59.4 s 6.7 / 2.5 s 675.5 / 300.0 s
TRS_Standard/AProVE_07/otto09.xml 160.5 / 59.3 s 8.0 / 3.0 s 635.7 / 300.0 s
TRS_Standard/AProVE_07/otto10.xml 16.8 / 16.4 s 4.7 / 1.8 s 694.3 / 300.0 s
TRS_Standard/AProVE_07/otto11.xml 151.5 / 59.3 s 2.8 / 1.4 s 662.7 / 300.0 s
TRS_Standard/AProVE_07/otto12.xml 172.0 / 59.4 s 7.7 / 2.8 s 643.4 / 300.0 s
TRS_Standard/AProVE_07/otto13.xml 146.3 / 59.3 s 6.9 / 2.6 s 613.7 / 300.0 s
TRS_Standard/AProVE_07/thiemann01.xml 163.5 / 59.4 s 4.8 / 2.0 s 617.9 / 300.0 s
TRS_Standard/AProVE_07/thiemann02.xml 214.0 / 59.4 s 14.2 / 4.4 s 677.1 / 300.0 s
TRS_Standard/AProVE_07/thiemann03.xml 146.2 / 59.3 s 7.2 / 2.5 s 666.9 / 300.0 s
TRS_Standard/AProVE_07/thiemann04.xml 223.8 / 59.4 s 72.1 / 20.5 s 676.4 / 300.0 s
TRS_Standard/AProVE_07/thiemann05.xml 187.9 / 59.3 s 5.6 / 2.1 s 671.1 / 300.0 s
TRS_Standard/AProVE_07/thiemann06.xml 151.3 / 59.4 s 18.3 / 6.1 s 640.7 / 300.0 s
TRS_Standard/AProVE_07/thiemann07.xml 145.3 / 59.3 s 23.7 / 8.6 s 664.3 / 300.0 s
TRS_Standard/AProVE_07/thiemann08.xml 2.4 / 0.9 s 3.1 / 1.3 s 663.0 / 300.0 s
TRS_Standard/AProVE_07/thiemann09.xml 190.0 / 59.5 s 2.7 / 1.2 s 637.0 / 300.0 s
TRS_Standard/AProVE_07/thiemann10.xml 2.5 / 0.9 s 3.2 / 1.4 s 641.1 / 300.0 s
TRS_Standard/AProVE_07/thiemann11.xml 190.6 / 59.4 s 33.7 / 13.1 s 695.0 / 300.0 s
TRS_Standard/AProVE_07/thiemann12.xml 2.8 / 1.0 s 3.3 / 1.4 s 649.3 / 300.0 s
TRS_Standard/AProVE_07/thiemann13.xml 166.7 / 59.4 s 18.5 / 7.1 s 661.7 / 300.0 s
TRS_Standard/AProVE_07/thiemann14.xml 12.7 / 2.1 s 22.3 / 8.8 s 666.9 / 300.0 s
TRS_Standard/AProVE_07/thiemann15.xml 2.1 / 0.8 s 2.9 / 1.3 s 661.7 / 300.0 s
TRS_Standard/AProVE_07/thiemann16.xml 7.8 / 2.4 s 4.0 / 1.6 s 640.1 / 300.0 s
TRS_Standard/AProVE_07/thiemann17.xml 4.8 / 1.6 s 3.7 / 1.5 s 682.5 / 300.0 s
TRS_Standard/AProVE_07/thiemann18.xml 7.0 / 2.2 s 7.5 / 2.5 s 683.8 / 300.0 s
TRS_Standard/AProVE_07/thiemann19.xml 158.6 / 59.4 s 7.6 / 2.9 s 609.6 / 300.0 s
TRS_Standard/AProVE_07/thiemann20.xml 142.1 / 59.3 s 832.1 / 300.0 s 651.2 / 300.0 s
TRS_Standard/AProVE_07/thiemann21.xml 144.2 / 59.3 s 643.4 / 300.0 s 640.3 / 300.0 s
TRS_Standard/AProVE_07/thiemann22.xml 213.1 / 59.4 s 7.1 / 3.0 s 606.8 / 300.0 s
TRS_Standard/AProVE_07/thiemann23.xml 154.9 / 59.5 s 5.6 / 2.2 s 654.9 / 300.0 s
TRS_Standard/AProVE_07/thiemann24.xml 26.7 / 19.9 s 5.1 / 1.9 s 648.2 / 300.0 s
TRS_Standard/AProVE_07/thiemann25.xml 164.7 / 59.5 s 3.8 / 1.7 s 702.4 / 300.0 s
TRS_Standard/AProVE_07/thiemann26.xml 171.7 / 59.3 s 151.8 / 64.1 s 677.1 / 300.0 s
TRS_Standard/AProVE_07/thiemann27.xml 154.3 / 59.3 s 2.5 / 1.3 s 614.6 / 300.0 s
TRS_Standard/AProVE_07/thiemann28.xml 151.9 / 59.5 s 15.2 / 8.5 s 644.9 / 300.0 s
TRS_Standard/AProVE_07/thiemann29.xml 152.7 / 59.3 s 35.5 / 16.3 s 632.0 / 300.0 s
TRS_Standard/AProVE_07/thiemann30.xml 165.5 / 59.4 s 408.7 / 300.0 s 688.3 / 300.0 s
TRS_Standard/AProVE_07/thiemann31.xml 198.9 / 59.4 s 7.6 / 2.7 s 633.0 / 300.0 s
TRS_Standard/AProVE_07/thiemann32.xml 164.9 / 59.3 s 17.2 / 7.4 s 624.0 / 300.0 s
TRS_Standard/AProVE_07/thiemann33.xml 188.0 / 59.4 s 11.1 / 4.5 s 612.2 / 300.0 s
TRS_Standard/AProVE_07/thiemann34.xml 157.9 / 59.4 s 7.0 / 2.5 s 611.4 / 300.0 s
TRS_Standard/AProVE_07/thiemann35.xml 11.6 / 3.5 s 3.9 / 1.7 s 717.1 / 300.0 s
TRS_Standard/AProVE_07/thiemann36.xml 202.1 / 59.4 s 10.5 / 3.7 s 663.8 / 300.0 s
TRS_Standard/AProVE_07/thiemann37.xml 171.1 / 59.4 s 18.3 / 6.0 s 662.5 / 300.0 s
TRS_Standard/AProVE_07/thiemann38.xml 158.1 / 59.3 s 5.3 / 2.0 s 696.6 / 300.0 s
TRS_Standard/AProVE_07/thiemann39.xml 12.5 / 3.7 s 3.3 / 1.5 s 687.0 / 300.0 s
TRS_Standard/AProVE_07/thiemann40.xml 1.3 / 0.6 s 2.6 / 1.1 s 652.4 / 300.0 s
TRS_Standard/AProVE_07/thiemann41.xml 152.7 / 59.3 s 2.8 / 1.3 s 646.0 / 300.0 s
TRS_Standard/AProVE_07/wiehe01.xml 5.3 / 1.8 s 5.0 / 1.8 s 652.7 / 300.0 s
TRS_Standard/AProVE_07/wiehe02.xml 11.8 / 3.7 s 6.7 / 2.3 s 673.6 / 300.0 s
TRS_Standard/AProVE_07/wiehe03.xml 13.6 / 4.2 s 6.9 / 2.3 s 668.3 / 300.0 s
TRS_Standard/AProVE_07/wiehe05.xml 5.2 / 1.8 s 4.8 / 1.8 s 643.8 / 300.0 s
TRS_Standard/AProVE_07/wiehe06.xml 8.6 / 2.6 s 5.8 / 2.0 s 659.7 / 300.0 s
TRS_Standard/AProVE_07/wiehe07.xml 20.4 / 17.1 s 651.1 / 300.1 s 674.0 / 300.0 s
TRS_Standard/AProVE_07/wiehe08.xml 5.8 / 1.9 s 4.8 / 1.8 s 649.0 / 300.0 s
TRS_Standard/AProVE_07/wiehe09.xml 7.5 / 2.4 s 6.1 / 2.1 s 666.1 / 300.0 s
TRS_Standard/AProVE_07/wiehe11.xml 16.5 / 4.9 s 6.7 / 2.3 s 648.4 / 300.0 s
TRS_Standard/AProVE_07/wiehe12.xml 13.0 / 4.0 s 7.7 / 2.6 s 682.6 / 300.0 s
TRS_Standard/AProVE_08/id_inc.xml 4.5 / 2.0 s 3.6 / 1.5 s 613.7 / 300.0 s
TRS_Standard/AProVE_08/log.xml 149.8 / 59.4 s 780.7 / 300.1 s 654.3 / 300.0 s
TRS_Standard/AProVE_08/parting01_reverse.xml 173.9 / 59.3 s 664.9 / 300.1 s 671.7 / 300.0 s
TRS_Standard/AProVE_08/parting02_doublelist.xml 177.0 / 59.5 s 657.7 / 300.1 s 663.5 / 300.0 s
TRS_Standard/AProVE_08/parting03_minsort.xml 177.7 / 59.4 s 702.2 / 300.1 s 635.4 / 300.0 s
TRS_Standard/AProVE_08/parting04_maxsort_h.xml 192.3 / 59.4 s 947.4 / 300.0 s 640.9 / 300.0 s
TRS_Standard/AProVE_08/parting05_maxsort.xml 175.3 / 59.5 s 703.1 / 300.1 s 666.6 / 300.0 s
TRS_Standard/AProVE_08/round.xml 11.8 / 14.7 s 308.7 / 300.0 s 643.7 / 300.0 s
TRS_Standard/AProVE_08/round_nonterm.xml 0.6 / 0.5 s 2.0 / 1.0 s 641.3 / 300.0 s
TRS_Standard/AProVE_08/thiemann40_modified.xml 2.0 / 0.8 s 22.9 / 12.4 s 658.2 / 300.0 s
TRS_Standard/AProVE_09_Inductive/div.xml 168.9 / 59.3 s 670.1 / 300.0 s 605.7 / 300.0 s
TRS_Standard/AProVE_09_Inductive/divhard.xml 173.3 / 59.3 s 657.2 / 300.0 s 634.8 / 300.0 s
TRS_Standard/AProVE_09_Inductive/gcd.xml 171.9 / 59.4 s 673.2 / 300.0 s 644.0 / 300.0 s
TRS_Standard/AProVE_09_Inductive/gcd2.xml 185.1 / 59.3 s 680.2 / 300.1 s 654.0 / 300.0 s
TRS_Standard/AProVE_09_Inductive/gcdhard.xml 188.1 / 59.5 s 672.4 / 300.0 s 670.8 / 300.0 s
TRS_Standard/AProVE_09_Inductive/log.xml 139.6 / 59.4 s 662.1 / 300.1 s 667.0 / 300.0 s
TRS_Standard/AProVE_09_Inductive/maxsort.xml 179.0 / 59.3 s 706.8 / 300.1 s 666.4 / 300.0 s
_Standard/AProVE_09_Inductive/maxsortcondition.xml 172.0 / 59.3 s 716.6 / 300.0 s 666.2 / 300.0 s
TRS_Standard/AProVE_09_Inductive/minsort.xml 190.5 / 59.4 s 751.3 / 300.0 s 664.1 / 300.0 s
TRS_Standard/AProVE_09_Inductive/mod.xml 92.4 / 48.8 s 672.7 / 300.0 s 668.7 / 300.0 s
TRS_Standard/AProVE_09_Inductive/qsort.xml 178.7 / 59.4 s 692.3 / 300.0 s 610.5 / 300.0 s
TRS_Standard/AProVE_09_Inductive/qsortlast.xml 177.6 / 59.4 s 779.1 / 300.0 s 675.7 / 300.0 s
TRS_Standard/AProVE_09_Inductive/qsortmiddle.xml 87.9 / 46.7 s 767.4 / 300.0 s 653.7 / 300.0 s
TRS_Standard/AProVE_09_Inductive/zerolist.xml 158.8 / 59.3 s 392.1 / 300.0 s 657.1 / 300.0 s
TRS_Standard/AProVE_10/Zantema06-03-modified.xml 233.9 / 59.3 s 1110.5 / 300.0 s 605.7 / 300.0 s
TRS_Standard/AProVE_10/andIsNat.xml 132.5 / 59.3 s 44.6 / 18.1 s 613.0 / 300.0 s
TRS_Standard/AProVE_10/challenge_fab.xml 234.6 / 59.3 s 612.6 / 300.0 s 601.5 / 300.0 s
TRS_Standard/AProVE_10/double.xml 137.9 / 59.4 s 34.5 / 11.0 s 601.8 / 300.0 s
TRS_Standard/AProVE_10/downfrom.xml 133.9 / 59.3 s 392.6 / 300.0 s 602.6 / 300.0 s
TRS_Standard/AProVE_10/ex1.xml 144.3 / 59.4 s 22.4 / 11.0 s 609.7 / 300.0 s
TRS_Standard/AProVE_10/ex2.xml 131.0 / 59.4 s 35.8 / 11.0 s 604.3 / 300.0 s
TRS_Standard/AProVE_10/ex3.xml 13.8 / 15.8 s 29.5 / 11.1 s 609.4 / 300.0 s
TRS_Standard/AProVE_10/ex4.xml 146.4 / 59.3 s 37.8 / 13.1 s 645.8 / 300.0 s
TRS_Standard/AProVE_10/ex5.xml 0.3 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/AProVE_10/halfdouble.xml 191.0 / 59.3 s 23.3 / 11.8 s 604.9 / 300.0 s
TRS_Standard/AProVE_10/isList.xml 0.4 / 0.4 s 2.2 / 1.2 s 645.1 / 300.0 s
TRS_Standard/AProVE_10/isNat.xml 175.4 / 59.5 s 20.9 / 10.8 s 601.6 / 300.0 s
TRS_Standard/AProVE_10/scnp.xml 0.4 / 0.3 s 1.2 / 0.7 s 0.1 / 0.0 s
TRS_Standard/AotoYamada_05/001.xml 0.3 / 0.3 s 3.3 / 1.4 s 614.3 / 300.0 s
TRS_Standard/AotoYamada_05/002.xml 0.8 / 0.5 s 1.6 / 0.9 s 0.2 / 0.1 s
TRS_Standard/AotoYamada_05/003.xml 0.3 / 0.3 s 2.9 / 1.3 s 690.8 / 300.0 s
TRS_Standard/AotoYamada_05/004.xml 0.7 / 0.5 s 1.6 / 0.9 s 0.1 / 0.1 s
TRS_Standard/AotoYamada_05/005.xml 0.3 / 0.3 s 1.2 / 0.7 s 6.1 / 2.7 s
TRS_Standard/AotoYamada_05/006.xml 0.8 / 0.5 s 1.6 / 0.8 s 0.1 / 0.1 s
TRS_Standard/AotoYamada_05/007.xml 0.8 / 0.5 s 1.7 / 0.9 s 0.1 / 0.1 s
TRS_Standard/AotoYamada_05/009.xml 1.0 / 0.6 s 1.8 / 0.9 s 0.2 / 0.1 s
TRS_Standard/AotoYamada_05/010.xml 5.9 / 1.9 s 3.0 / 1.5 s 691.0 / 300.0 s
TRS_Standard/AotoYamada_05/011.xml 4.9 / 1.6 s 2.7 / 1.2 s 239.6 / 106.9 s
TRS_Standard/AotoYamada_05/012.xml 1.0 / 0.6 s 1.9 / 0.9 s 0.2 / 0.1 s
TRS_Standard/AotoYamada_05/013.xml 0.9 / 0.5 s 1.9 / 0.9 s 0.2 / 0.1 s
TRS_Standard/AotoYamada_05/014.xml 1.0 / 0.6 s 1.8 / 0.9 s 0.1 / 0.1 s
TRS_Standard/AotoYamada_05/015.xml 0.8 / 0.5 s 1.6 / 0.9 s 0.1 / 0.0 s
TRS_Standard/AotoYamada_05/016.xml 1.0 / 0.6 s 2.0 / 1.0 s 0.3 / 0.2 s
TRS_Standard/AotoYamada_05/017.xml 0.3 / 0.3 s 1.1 / 0.7 s 0.1 / 0.1 s
TRS_Standard/AotoYamada_05/019.xml 0.8 / 0.5 s 1.4 / 0.8 s 646.3 / 300.0 s
TRS_Standard/AotoYamada_05/020.xml 1.4 / 0.7 s 1.7 / 0.9 s 635.1 / 300.0 s
TRS_Standard/AotoYamada_05/021.xml 1.0 / 0.6 s 1.8 / 1.0 s 0.2 / 0.1 s
TRS_Standard/AotoYamada_05/022.xml 0.8 / 0.5 s 1.6 / 0.9 s 0.1 / 0.1 s
TRS_Standard/AotoYamada_05/023.xml 0.3 / 0.3 s 1.1 / 0.6 s 4.7 / 2.0 s
TRS_Standard/AotoYamada_05/024.xml 0.5 / 0.4 s 1.4 / 0.8 s 0.1 / 0.0 s
TRS_Standard/AotoYamada_05/025.xml 0.3 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/AotoYamada_05/026.xml 1.3 / 0.6 s 1.6 / 0.9 s 635.6 / 300.0 s
TRS_Standard/AotoYamada_05/027.xml 0.8 / 0.5 s 1.6 / 0.9 s 0.1 / 0.1 s
TRS_Standard/AotoYamada_05/028.xml 0.7 / 0.5 s 1.7 / 0.9 s 0.1 / 0.1 s
TRS_Standard/AotoYamada_05/Ex1SimplyTyped.xml 0.7 / 0.5 s 1.7 / 0.9 s 183.7 / 81.3 s
TRS_Standard/AotoYamada_05/Ex5TermProof.xml 215.3 / 59.3 s 162.9 / 69.7 s 693.3 / 300.0 s
TRS_Standard/Applicative_05/BTreeMember.xml 1.2 / 0.6 s 2.3 / 1.1 s 0.1 / 0.1 s
TRS_Standard/Applicative_05/Ex10Functional.xml 176.0 / 59.5 s 383.1 / 300.0 s 700.6 / 300.0 s
TRS_Standard/Applicative_05/Ex2PrimRec.xml 191.6 / 59.4 s 375.4 / 300.0 s 694.7 / 300.0 s
TRS_Standard/Applicative_05/Ex2_6_1Composition.xml 0.3 / 0.3 s 1.1 / 0.6 s 0.1 / 0.0 s
S_Standard/Applicative_05/Ex2_8_1ConstSubstFix.xml 5.8 / 1.9 s 45.8 / 16.4 s 690.2 / 300.0 s
TRS_Standard/Applicative_05/Ex3Lists.xml 1.0 / 0.6 s 1.7 / 0.9 s 654.3 / 300.0 s
TRS_Standard/Applicative_05/Ex4MapList.xml 0.6 / 0.4 s 1.6 / 0.8 s 0.1 / 0.0 s
TRS_Standard/Applicative_05/Ex5Folding.xml 212.7 / 59.3 s 449.2 / 300.0 s 668.5 / 300.0 s
TRS_Standard/Applicative_05/Ex5Sorting.xml 221.0 / 59.9 s 456.1 / 300.0 s 703.4 / 300.0 s
TRS_Standard/Applicative_05/Ex6Folding.xml 205.4 / 59.5 s 383.7 / 300.1 s 693.8 / 300.0 s
TRS_Standard/Applicative_05/Ex6Recursor.xml 182.6 / 59.5 s 121.0 / 61.5 s 689.1 / 300.0 s
TRS_Standard/Applicative_05/Ex6_11.xml 1.1 / 0.6 s 1.4 / 0.8 s 0.0 / 0.0 s
TRS_Standard/Applicative_05/Ex7OrdinalRec.xml 225.4 / 59.4 s 548.4 / 300.0 s 695.4 / 300.0 s
TRS_Standard/Applicative_05/Ex7Sorting.xml 227.3 / 60.0 s 440.7 / 300.0 s 700.7 / 300.0 s
TRS_Standard/Applicative_05/Ex7_9.xml 2.0 / 0.9 s 2.6 / 1.2 s 702.1 / 300.0 s
TRS_Standard/Applicative_05/Ex8Polymorphic.xml 0.8 / 0.5 s 1.7 / 1.0 s 646.2 / 300.0 s
TRS_Standard/Applicative_05/Ex9Maps.xml 222.1 / 59.4 s 25.8 / 7.8 s 697.1 / 300.0 s
TRS_Standard/Applicative_05/Hamming.xml 2.5 / 1.1 s 5.1 / 1.9 s 934.9 / 300.0 s
TRS_Standard/Applicative_05/ReverseLastInit.xml 1.7 / 0.7 s 1.3 / 0.7 s 12.2 / 5.3 s
TRS_Standard/Applicative_05/TakeDropWhile.xml 1.0 / 0.6 s 1.7 / 0.9 s 0.2 / 0.1 s
TRS_Standard/Applicative_05/TreeFlatten.xml 1.0 / 0.6 s 1.8 / 0.9 s 0.2 / 0.1 s
TRS_Standard/Applicative_05/TreeHeight.xml 1.2 / 0.6 s 2.1 / 1.0 s 0.2 / 0.1 s
TRS_Standard/Applicative_05/TreeLevels.xml 1.4 / 0.7 s 2.1 / 1.0 s 682.2 / 300.0 s
TRS_Standard/Applicative_05/TreeMap.xml 0.9 / 0.5 s 1.7 / 0.9 s 0.1 / 0.1 s
TRS_Standard/Applicative_05/TreeSize.xml 1.0 / 0.6 s 1.9 / 1.0 s 0.1 / 0.1 s
TRS_Standard/Applicative_05/TypeEx1.xml 2.1 / 0.8 s 2.2 / 1.1 s 0.2 / 0.1 s
TRS_Standard/Applicative_05/TypeEx3.xml 0.3 / 0.3 s 7.4 / 2.6 s 657.9 / 300.0 s
TRS_Standard/Applicative_05/TypeEx5.xml 0.3 / 0.3 s 2.3 / 1.2 s 628.3 / 300.0 s
TRS_Standard/Applicative_05/mapDivMinus.xml 1.4 / 0.7 s 2.0 / 1.1 s 688.2 / 300.0 s
TRS_Standard/Applicative_05/mapDivMinusHard.xml 2.0 / 0.9 s 2.3 / 1.1 s 694.2 / 300.0 s
TRS_Standard/Applicative_05/nonTermF.xml 212.0 / 59.5 s 584.2 / 300.0 s 693.5 / 300.0 s
TRS_Standard/Applicative_05/termMonTypes.xml 1.0 / 0.5 s 7.3 / 2.6 s 614.0 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.10.xml 8.7 / 2.9 s 6.7 / 2.4 s 695.9 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.13.xml 7.8 / 2.7 s 5.0 / 2.1 s 731.1 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.16.xml 1.4 / 0.7 s 2.3 / 1.1 s 695.2 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.18.xml 2.6 / 1.1 s 2.9 / 1.3 s 691.8 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.2.xml 1.9 / 0.9 s 2.5 / 1.2 s 684.0 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.22.xml 2.2 / 1.0 s 2.3 / 1.3 s 697.1 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.25.xml 1.6 / 0.8 s 3.7 / 1.6 s 669.7 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.27.xml 1.1 / 0.6 s 2.0 / 1.0 s 684.4 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.32.xml 1.1 / 0.6 s 2.3 / 1.1 s 668.2 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.36.xml 2.1 / 0.9 s 3.6 / 1.6 s 700.5 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.38.xml 2.7 / 1.1 s 3.4 / 1.5 s 690.0 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.40.xml 179.3 / 59.5 s 4.1 / 1.7 s 719.4 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.45.xml 1.8 / 0.8 s 2.9 / 1.3 s 684.9 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.48.xml 1.9 / 0.9 s 2.2 / 1.2 s 683.2 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.52.xml 1.3 / 0.7 s 2.0 / 1.1 s 680.7 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.55.xml 5.1 / 2.0 s 5.5 / 2.0 s 693.5 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.57.xml 5.6 / 2.0 s 4.3 / 1.8 s 697.7 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.6.xml 2.9 / 1.2 s 3.7 / 1.7 s 699.3 / 300.0 s
TRS_Standard/Applicative_first_order_05/#3.8.xml 2.7 / 1.1 s 3.2 / 1.5 s 696.0 / 300.0 s
TRS_Standard/Applicative_first_order_05/01.xml 1.6 / 0.8 s 2.4 / 1.1 s 674.0 / 300.0 s
TRS_Standard/Applicative_first_order_05/02.xml 1.3 / 0.7 s 2.1 / 1.0 s 695.5 / 300.0 s
TRS_Standard/Applicative_first_order_05/06.xml 1.2 / 0.7 s 2.2 / 1.0 s 671.8 / 300.0 s
TRS_Standard/Applicative_first_order_05/08.xml 1.6 / 0.8 s 2.7 / 1.2 s 721.5 / 300.0 s
TRS_Standard/Applicative_first_order_05/11.xml 3.0 / 1.4 s 3.4 / 1.4 s 668.2 / 300.0 s
TRS_Standard/Applicative_first_order_05/12.xml 1.9 / 0.9 s 2.2 / 1.1 s 695.5 / 300.0 s
TRS_Standard/Applicative_first_order_05/13.xml 15.7 / 15.2 s 26.1 / 12.7 s 720.4 / 300.0 s
TRS_Standard/Applicative_first_order_05/17.xml 1.5 / 0.8 s 2.4 / 1.1 s 686.6 / 300.0 s
TRS_Standard/Applicative_first_order_05/18.xml 1.2 / 0.7 s 2.1 / 1.0 s 678.2 / 300.0 s
TRS_Standard/Applicative_first_order_05/21.xml 1.8 / 0.9 s 2.6 / 1.2 s 686.1 / 300.0 s
TRS_Standard/Applicative_first_order_05/29.xml 1.2 / 0.7 s 2.3 / 1.0 s 675.4 / 300.0 s
TRS_Standard/Applicative_first_order_05/30.xml 213.8 / 60.1 s 1.9 / 1.0 s 700.8 / 300.0 s
TRS_Standard/Applicative_first_order_05/31.xml 21.0 / 6.6 s 3.2 / 1.4 s 690.2 / 300.0 s
TRS_Standard/Applicative_first_order_05/33.xml 183.5 / 59.3 s 876.5 / 300.0 s 679.3 / 300.0 s
TRS_Standard/Applicative_first_order_05/hydra.xml 1.9 / 0.9 s 2.0 / 1.1 s 687.3 / 300.0 s
RS_Standard/Applicative_first_order_05/minsort.xml 188.0 / 59.4 s 684.3 / 300.1 s 694.8 / 300.0 s
Standard/Applicative_first_order_05/motivation.xml 1.7 / 0.8 s 2.4 / 1.1 s 682.9 / 300.0 s
RS_Standard/Applicative_first_order_05/perfect.xml 2.1 / 1.0 s 2.6 / 1.3 s 655.7 / 300.0 s
S_Standard/Applicative_first_order_05/perfect2.xml 2.7 / 1.3 s 3.4 / 1.6 s 696.6 / 300.0 s
TRS_Standard/Beerendonk_07/1.xml 1.2 / 0.6 s 2.0 / 1.0 s 665.0 / 300.0 s
TRS_Standard/Beerendonk_07/10.xml 4.3 / 1.4 s 3.3 / 1.4 s 649.0 / 300.0 s
TRS_Standard/Beerendonk_07/11.xml 172.9 / 59.4 s 5.7 / 2.3 s 652.0 / 300.0 s
TRS_Standard/Beerendonk_07/12.xml 172.6 / 59.4 s 4.9 / 2.1 s 662.2 / 300.0 s
TRS_Standard/Beerendonk_07/13.xml 175.7 / 59.4 s 4.7 / 2.0 s 638.5 / 300.0 s
TRS_Standard/Beerendonk_07/14.xml 174.1 / 59.5 s 4.9 / 2.0 s 668.5 / 300.0 s
TRS_Standard/Beerendonk_07/15.xml 182.3 / 59.5 s 9.8 / 3.4 s 625.5 / 300.0 s
TRS_Standard/Beerendonk_07/16.xml 207.7 / 59.4 s 25.3 / 11.8 s 632.3 / 300.0 s
TRS_Standard/Beerendonk_07/17.xml 202.5 / 59.3 s 27.8 / 12.8 s 626.6 / 300.0 s
TRS_Standard/Beerendonk_07/18.xml 144.5 / 59.3 s 2.7 / 1.3 s 629.4 / 300.0 s
TRS_Standard/Beerendonk_07/19.xml 147.3 / 59.3 s 35.5 / 14.4 s 626.4 / 300.0 s
TRS_Standard/Beerendonk_07/2.xml 1.6 / 0.7 s 2.1 / 1.0 s 683.5 / 300.0 s
TRS_Standard/Beerendonk_07/20.xml 171.8 / 59.4 s 2.2 / 1.1 s 616.8 / 300.0 s
TRS_Standard/Beerendonk_07/21.xml 173.4 / 59.5 s 633.8 / 300.0 s 635.9 / 300.0 s
TRS_Standard/Beerendonk_07/22.xml 2.5 / 0.9 s 3.5 / 1.4 s 644.2 / 300.0 s
TRS_Standard/Beerendonk_07/23.xml 2.7 / 1.0 s 3.3 / 1.4 s 627.6 / 300.0 s
TRS_Standard/Beerendonk_07/24.xml 156.8 / 59.5 s 29.6 / 12.7 s 615.2 / 300.0 s
TRS_Standard/Beerendonk_07/3.xml 163.6 / 59.3 s 2.3 / 1.2 s 679.5 / 300.0 s
TRS_Standard/Beerendonk_07/4.xml 173.3 / 59.3 s 2.1 / 1.1 s 618.0 / 300.0 s
TRS_Standard/Beerendonk_07/5.xml 2.1 / 0.8 s 2.8 / 1.3 s 658.2 / 300.0 s
TRS_Standard/Beerendonk_07/6.xml 1.3 / 0.6 s 2.0 / 1.0 s 667.3 / 300.0 s
TRS_Standard/Beerendonk_07/7.xml 1.5 / 0.7 s 2.1 / 1.0 s 656.0 / 300.0 s
TRS_Standard/Beerendonk_07/8.xml 1.9 / 0.8 s 1.8 / 1.0 s 644.6 / 300.0 s
TRS_Standard/Beerendonk_07/9.xml 2.0 / 0.8 s 3.0 / 1.3 s 645.4 / 300.0 s
TRS_Standard/CiME_04/ack_prolog.xml 0.7 / 0.5 s 1.5 / 0.8 s 0.1 / 0.1 s
TRS_Standard/CiME_04/append-hard.xml 1.3 / 0.6 s 2.4 / 1.1 s 669.2 / 300.0 s
TRS_Standard/CiME_04/append-wrong.xml 1.1 / 0.6 s 3.4 / 1.4 s 662.8 / 300.0 s
TRS_Standard/CiME_04/append.xml 0.6 / 0.4 s 1.3 / 0.8 s 0.0 / 0.0 s
TRS_Standard/CiME_04/big.xml 10.2 / 3.9 s 5.1 / 1.9 s 665.6 / 300.0 s
TRS_Standard/CiME_04/boolean_rings.xml 0.6 / 0.4 s 1.5 / 0.8 s 0.1 / 0.1 s
TRS_Standard/CiME_04/dpqs.xml 0.7 / 0.4 s 2.4 / 1.0 s 0.0 / 0.0 s
TRS_Standard/CiME_04/fact-hard.xml 112.1 / 59.3 s 4.8 / 1.9 s 670.3 / 300.0 s
TRS_Standard/CiME_04/filliatre.xml 3.5 / 1.2 s 3.0 / 1.2 s 17.1 / 7.2 s
TRS_Standard/CiME_04/filliatre2.xml 4.2 / 1.4 s 1.9 / 0.9 s 10.1 / 4.5 s
TRS_Standard/CiME_04/filliatre3.xml 10.6 / 3.1 s 2.7 / 1.3 s 10.8 / 4.8 s
TRS_Standard/CiME_04/intersect.xml 1.7 / 0.8 s 2.1 / 1.0 s 28.5 / 12.4 s
RS_Standard/CiME_04/list-sum-prod-assoc-append.xml 1.4 / 0.7 s 1.8 / 0.9 s 4.4 / 1.9 s
TRS_Standard/CiME_04/list-sum-prod-assoc.xml 1.1 / 0.6 s 1.6 / 0.8 s 3.0 / 1.3 s
dard/CiME_04/list-sum-prod-bin-assoc-distr-app.xml 3.6 / 1.4 s 2.4 / 1.2 s 17.6 / 7.7 s
TRS_Standard/CiME_04/list-sum-prod-bin-assoc.xml 3.4 / 1.3 s 2.0 / 1.0 s 15.9 / 6.4 s
TRS_Standard/CiME_04/list-sum-prod-bin.xml 5.2 / 1.7 s 2.0 / 1.0 s 3.9 / 1.7 s
TRS_Standard/CiME_04/list-sum-prod.xml 1.0 / 0.6 s 1.5 / 0.8 s 0.1 / 0.1 s
TRS_Standard/CiME_04/log2.xml 12.0 / 3.7 s 4.1 / 1.6 s 35.5 / 15.5 s
TRS_Standard/CiME_04/lse.xml 5.0 / 1.8 s 2.3 / 1.1 s 16.6 / 7.4 s
TRS_Standard/CiME_04/maude2.xml 176.6 / 59.4 s 555.5 / 300.0 s 645.5 / 300.0 s
TRS_Standard/CiME_04/mucrl1.xml 5.4 / 2.4 s 7.4 / 3.3 s 16.6 / 7.1 s
TRS_Standard/CiME_04/ternary-hard.xml 4.3 / 1.8 s 2.6 / 1.3 s 25.4 / 10.9 s
TRS_Standard/CiME_04/ternary.xml 4.8 / 1.8 s 2.5 / 1.2 s 8.9 / 3.9 s
TRS_Standard/CiME_04/tree.xml 13.2 / 3.9 s 3.9 / 1.6 s 38.1 / 16.8 s
TRS_Standard/Der95/01.xml 0.5 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Der95/02.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Der95/03.xml 0.6 / 0.4 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Der95/04.xml 0.7 / 0.4 s 1.9 / 0.8 s 0.1 / 0.0 s
TRS_Standard/Der95/06.xml 0.9 / 0.5 s 8.5 / 2.6 s 0.0 / 0.0 s
TRS_Standard/Der95/07.xml 0.9 / 0.5 s 21.2 / 5.7 s 0.1 / 0.0 s
TRS_Standard/Der95/08.xml 0.9 / 0.6 s 1.4 / 0.8 s 0.1 / 0.1 s
TRS_Standard/Der95/09.xml 0.3 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Der95/11.xml 2.0 / 1.0 s 1.9 / 0.9 s 0.4 / 0.2 s
TRS_Standard/Der95/12.xml 1.0 / 0.5 s 1.4 / 0.8 s 0.1 / 0.1 s
TRS_Standard/Der95/13.xml 14.1 / 14.7 s 24.5 / 12.9 s 647.8 / 300.0 s
TRS_Standard/Der95/17.xml 0.6 / 0.4 s 1.1 / 0.6 s 2.7 / 1.2 s
TRS_Standard/Der95/18.xml 0.4 / 0.3 s 1.2 / 0.7 s 0.1 / 0.0 s
TRS_Standard/Der95/20.xml 0.7 / 0.4 s 1.1 / 0.6 s 0.1 / 0.1 s
TRS_Standard/Der95/21.xml 1.0 / 0.5 s 1.5 / 0.9 s 668.5 / 300.0 s
TRS_Standard/Der95/27.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Der95/28.xml 0.5 / 0.4 s 1.2 / 0.7 s 0.1 / 0.0 s
TRS_Standard/Der95/30.xml 0.3 / 0.3 s 654.1 / 300.0 s 16.0 / 7.0 s
TRS_Standard/Der95/31.xml 1.0 / 0.6 s 1.4 / 0.8 s 0.1 / 0.1 s
TRS_Standard/Der95/32.xml 0.7 / 0.5 s 1.8 / 0.9 s 0.1 / 0.1 s
TRS_Standard/Der95/33.xml 180.3 / 59.3 s 926.6 / 300.0 s 615.1 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_1.xml 150.7 / 59.4 s 36.1 / 11.2 s 609.7 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_2.xml 136.9 / 59.3 s 658.5 / 300.0 s 634.1 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_3.xml 137.4 / 59.3 s 649.1 / 300.0 s 635.6 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_4.xml 153.4 / 59.3 s 37.8 / 11.5 s 642.3 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex1_5.xml 158.7 / 59.4 s 37.1 / 11.3 s 649.2 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_1.xml 162.4 / 59.3 s 698.5 / 300.0 s 651.7 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_2.xml 137.5 / 59.4 s 30.3 / 12.2 s 613.1 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_3.xml 152.0 / 59.4 s 691.2 / 300.0 s 630.8 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_4.xml 156.1 / 59.3 s 62.6 / 22.1 s 659.2 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex2_5.xml 157.3 / 59.3 s 63.7 / 22.4 s 660.1 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_1.xml 159.9 / 59.4 s 30.2 / 11.3 s 662.8 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_2.xml 177.4 / 59.3 s 30.1 / 11.3 s 635.0 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_3.xml 182.2 / 59.3 s 31.7 / 11.5 s 667.5 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex3_4.xml 154.7 / 59.4 s 643.4 / 300.0 s 678.7 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_1.xml 158.3 / 59.3 s 20.7 / 11.1 s 659.7 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_2.xml 136.0 / 59.3 s 26.9 / 12.6 s 655.9 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_3.xml 141.7 / 59.4 s 32.5 / 14.8 s 655.4 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex4_4.xml 174.0 / 59.5 s 20.8 / 11.2 s 656.6 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_1.xml 160.7 / 59.3 s 31.8 / 14.5 s 658.0 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_2.xml 192.7 / 59.3 s 28.1 / 13.0 s 644.0 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex5_3.xml 172.2 / 59.3 s 35.4 / 15.3 s 651.2 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex6_1.xml 175.8 / 59.5 s 29.9 / 11.1 s 667.6 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex6_2.xml 164.2 / 59.4 s 31.0 / 11.2 s 645.5 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_1.xml 202.6 / 59.3 s 87.2 / 25.3 s 605.0 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_2.xml 139.3 / 59.4 s 434.6 / 300.0 s 637.8 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_3.xml 234.6 / 59.4 s 660.4 / 300.0 s 603.4 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_4.xml 149.5 / 59.4 s 441.3 / 300.0 s 628.1 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_5.xml 234.4 / 59.4 s 664.8 / 300.1 s 604.1 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_6.xml 234.4 / 59.4 s 666.3 / 300.0 s 606.4 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_7.xml 147.2 / 59.4 s 433.9 / 300.0 s 644.8 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_8.xml 234.5 / 59.4 s 659.2 / 300.0 s 603.5 / 300.0 s
TRS_Standard/EEG_IJCAR_12/emmes-nonloop-ex7_9.xml 147.5 / 59.4 s 439.6 / 300.0 s 624.7 / 300.0 s
TRS_Standard/EEG_IJCAR_12/enger-nonloop-add.xml 146.5 / 59.3 s 36.5 / 12.7 s 605.2 / 300.0 s
RS_Standard/EEG_IJCAR_12/enger-nonloop-addTrue.xml 149.5 / 59.3 s 35.5 / 12.5 s 605.5 / 300.0 s
S_Standard/EEG_IJCAR_12/enger-nonloop-ex_payet.xml 163.9 / 59.4 s 346.2 / 300.0 s 606.6 / 300.0 s
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isDNat.xml 149.9 / 59.3 s 33.9 / 10.9 s 601.7 / 300.0 s
tandard/EEG_IJCAR_12/enger-nonloop-isList-List.xml 174.1 / 59.4 s 686.8 / 300.0 s 602.0 / 300.0 s
TRS_Standard/EEG_IJCAR_12/enger-nonloop-isList.xml 167.6 / 59.4 s 26.8 / 10.9 s 604.2 / 300.0 s
Standard/EEG_IJCAR_12/enger-nonloop-isTrueList.xml 165.6 / 59.5 s 26.3 / 10.9 s 602.5 / 300.0 s
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swapX.xml 166.9 / 59.8 s 34.5 / 11.0 s 602.9 / 300.0 s
TRS_Standard/EEG_IJCAR_12/enger-nonloop-swapXY.xml 156.2 / 59.4 s 34.5 / 11.0 s 609.2 / 300.0 s
RS_Standard/EEG_IJCAR_12/enger-nonloop-swapXY2.xml 157.5 / 59.4 s 28.7 / 10.9 s 609.1 / 300.0 s
_Standard/EEG_IJCAR_12/enger-nonloop-swap_decr.xml 147.2 / 59.3 s 30.3 / 11.3 s 607.2 / 300.0 s
TRS_Standard/EEG_IJCAR_12/enger-nonloop-toOne.xml 192.3 / 59.3 s 31.4 / 11.1 s 604.0 / 300.0 s
_Standard/EEG_IJCAR_12/enger-nonloop-unbounded.xml 146.3 / 59.4 s 31.4 / 11.0 s 609.2 / 300.0 s
S_Standard/EEG_IJCAR_12/enger-nonloop-while-lt.xml 148.7 / 59.4 s 31.4 / 10.9 s 608.9 / 300.0 s
andard/EEG_IJCAR_12/rybalchenko-nonloop-popl08.xml 158.6 / 59.3 s 60.2 / 22.4 s 644.7 / 300.0 s
EG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.xml 181.1 / 59.4 s 956.1 / 300.0 s 636.6 / 300.0 s
dard/EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.xml 175.4 / 59.4 s 36.5 / 11.5 s 650.2 / 300.0 s
TRS_Standard/Endrullis_06/direct.xml 0.6 / 0.4 s 2.7 / 1.2 s 623.9 / 300.0 s
TRS_Standard/Endrullis_06/labeling.xml 174.1 / 59.4 s 19.4 / 7.1 s 96.5 / 42.3 s
TRS_Standard/Endrullis_06/linear1.xml 4.0 / 1.3 s 3.3 / 1.5 s 0.6 / 0.3 s
TRS_Standard/Endrullis_06/linear2.xml 11.2 / 3.3 s 13.1 / 4.0 s 10.0 / 4.3 s
TRS_Standard/Endrullis_06/pair2hard.xml 10.4 / 3.1 s 96.2 / 41.5 s 613.8 / 300.0 s
TRS_Standard/Endrullis_06/pair2simple1.xml 4.4 / 1.4 s 1.3 / 0.8 s 6.6 / 2.9 s
TRS_Standard/Endrullis_06/pair2simple2.xml 40.1 / 25.5 s 2.5 / 1.1 s 12.0 / 5.4 s
TRS_Standard/Endrullis_06/pair3hard.xml 153.8 / 59.3 s 8.6 / 2.9 s 615.3 / 300.0 s
TRS_Standard/Endrullis_06/pair3rotate.xml 4.0 / 1.5 s 3.1 / 1.4 s 629.1 / 300.0 s
TRS_Standard/Endrullis_06/pair3swap.xml 16.0 / 2.6 s 3.3 / 1.4 s 656.3 / 300.0 s
TRS_Standard/Endrullis_06/quadruple1.xml 2.5 / 0.9 s 2.9 / 1.4 s 0.1 / 0.1 s
TRS_Standard/Endrullis_06/quadruple2.xml 0.8 / 0.5 s 17.7 / 9.2 s 0.4 / 0.2 s
TRS_Standard/GTSSK07/cade01.xml 149.4 / 59.3 s 2.6 / 1.3 s 632.5 / 300.0 s
TRS_Standard/GTSSK07/cade03.xml 11.4 / 14.7 s 2.7 / 1.3 s 616.3 / 300.0 s
TRS_Standard/GTSSK07/cade04t.xml 4.7 / 11.9 s 356.0 / 300.0 s 642.9 / 300.0 s
TRS_Standard/GTSSK07/cade05t.xml 155.0 / 59.3 s 4.4 / 1.8 s 620.7 / 300.0 s
TRS_Standard/GTSSK07/cade06.xml 153.9 / 59.5 s 669.9 / 300.1 s 632.0 / 300.0 s
TRS_Standard/GTSSK07/cade07.xml 154.7 / 59.3 s 325.2 / 242.8 s 607.7 / 300.0 s
TRS_Standard/GTSSK07/cade08.xml 149.4 / 59.3 s 677.1 / 300.0 s 633.2 / 300.0 s
TRS_Standard/GTSSK07/cade09.xml 178.5 / 59.3 s 3.4 / 1.6 s 614.0 / 300.0 s
TRS_Standard/GTSSK07/cade10.xml 137.8 / 59.3 s 3.2 / 1.4 s 609.9 / 300.0 s
TRS_Standard/GTSSK07/cade11.xml 143.6 / 59.4 s 2.6 / 1.4 s 616.6 / 300.0 s
TRS_Standard/GTSSK07/cade12t.xml 148.9 / 59.4 s 462.0 / 300.0 s 666.0 / 300.0 s
TRS_Standard/GTSSK07/cade13t.xml 17.9 / 16.4 s 3.6 / 1.6 s 632.2 / 300.0 s
TRS_Standard/GTSSK07/cade14.xml 150.2 / 59.3 s 12.0 / 4.4 s 610.9 / 300.0 s
TRS_Standard/GTSSK07/cade15.xml 198.6 / 59.4 s 11.8 / 4.8 s 664.7 / 300.0 s
TRS_Standard/GTSSK07/cade16.xml 147.4 / 59.3 s 4.0 / 1.7 s 651.5 / 300.0 s
TRS_Standard/GTSSK07/cade17.xml 207.6 / 59.4 s 472.7 / 300.0 s 614.0 / 300.0 s
TRS_Standard/HirokawaMiddeldorp_04/n002.xml 0.3 / 0.3 s 0.9 / 0.6 s 1192.3 / 300.0 s
TRS_Standard/HirokawaMiddeldorp_04/n003.xml 0.3 / 0.3 s 3.1 / 1.2 s 739.6 / 300.0 s
TRS_Standard/HirokawaMiddeldorp_04/n004.xml 0.3 / 0.3 s 3.0 / 1.2 s 633.6 / 300.0 s
TRS_Standard/HirokawaMiddeldorp_04/n005.xml 0.3 / 0.3 s 0.9 / 0.6 s 1195.0 / 300.0 s
TRS_Standard/HirokawaMiddeldorp_04/n006.xml 0.3 / 0.3 s 0.9 / 0.6 s 1193.0 / 300.0 s
TRS_Standard/HirokawaMiddeldorp_04/n007.xml 0.3 / 0.3 s 1.6 / 0.9 s 670.2 / 300.0 s
TRS_Standard/HirokawaMiddeldorp_04/n008.xml 0.3 / 0.3 s 2.8 / 1.1 s 647.2 / 300.0 s
TRS_Standard/HirokawaMiddeldorp_04/t000.xml 3.6 / 1.3 s 2.0 / 0.9 s 11.8 / 5.2 s
TRS_Standard/HirokawaMiddeldorp_04/t001.xml 3.1 / 1.1 s 2.9 / 1.3 s 0.5 / 0.3 s
TRS_Standard/HirokawaMiddeldorp_04/t002.xml 6.2 / 2.3 s 2.3 / 1.1 s 673.0 / 300.0 s
TRS_Standard/HirokawaMiddeldorp_04/t003.xml 1.4 / 0.7 s 2.0 / 1.1 s 0.3 / 0.1 s
TRS_Standard/HirokawaMiddeldorp_04/t004.xml 1.4 / 0.6 s 3.8 / 1.3 s 0.2 / 0.1 s
TRS_Standard/HirokawaMiddeldorp_04/t005.xml 7.9 / 2.9 s 6.4 / 2.5 s 24.9 / 11.1 s
TRS_Standard/HirokawaMiddeldorp_04/t006.xml 0.3 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/HirokawaMiddeldorp_04/t007.xml 0.4 / 0.4 s 1.8 / 0.8 s 0.0 / 0.0 s
TRS_Standard/HirokawaMiddeldorp_04/t008.xml 1.2 / 0.6 s 7.5 / 2.4 s 0.1 / 0.1 s
TRS_Standard/HirokawaMiddeldorp_04/t009.xml 119.5 / 32.1 s 19.4 / 7.8 s 9.2 / 4.2 s
TRS_Standard/HirokawaMiddeldorp_04/t010.xml 0.4 / 0.3 s 1.7 / 0.8 s 0.0 / 0.0 s
TRS_Standard/HirokawaMiddeldorp_04/t011.xml 0.4 / 0.3 s 1.2 / 0.7 s 0.0 / 0.0 s
TRS_Standard/HirokawaMiddeldorp_04/t012.xml 1.2 / 0.7 s 1.7 / 0.9 s 0.2 / 0.1 s
TRS_Standard/HirokawaMiddeldorp_04/t013.xml 0.7 / 0.4 s 2.2 / 1.1 s 0.1 / 0.1 s
TRS_Standard/HirokawaMiddeldorp_04/t014.xml 1.3 / 0.6 s 1.9 / 1.0 s 0.1 / 0.1 s
TRS_Standard/Hydras/goodstein.xml 188.1 / 59.5 s 531.7 / 300.0 s 646.2 / 300.0 s
TRS_Standard/Hydras/hydra_buchholz.xml 205.6 / 59.3 s 529.1 / 300.0 s 664.9 / 300.0 s
TRS_Standard/Hydras/hydra_touzet.xml 162.7 / 59.3 s 657.1 / 300.0 s 627.0 / 300.0 s
TRS_Standard/Hydras/lepper_0.xml 214.7 / 59.3 s 410.8 / 300.0 s 681.0 / 300.0 s
TRS_Standard/Hydras/lepper_1.xml 206.7 / 59.6 s 406.6 / 300.0 s 676.8 / 300.0 s
TRS_Standard/Hydras/lepper_10.xml 217.6 / 61.1 s 707.0 / 300.0 s 751.9 / 300.0 s
TRS_Standard/Hydras/lepper_2.xml 32.4 / 9.0 s 157.9 / 57.6 s 681.2 / 300.0 s
TRS_Standard/Hydras/lepper_3.xml 202.0 / 59.7 s 457.4 / 300.0 s 673.7 / 300.0 s
TRS_Standard/Hydras/lepper_4.xml 200.5 / 59.7 s 497.2 / 300.1 s 680.5 / 300.0 s
TRS_Standard/Hydras/lepper_5.xml 209.5 / 59.7 s 521.0 / 300.0 s 701.7 / 300.0 s
TRS_Standard/Hydras/lepper_6.xml 222.7 / 60.0 s 640.0 / 300.0 s 709.4 / 300.0 s
TRS_Standard/Hydras/lepper_8.xml 266.0 / 60.3 s 815.6 / 300.0 s 743.6 / 300.0 s
TRS_Standard/Hydras/lepper_9.xml 248.3 / 60.6 s 825.4 / 300.0 s 751.7 / 300.0 s
TRS_Standard/Hydras/worm_fixed.xml 150.4 / 59.3 s 907.7 / 300.0 s 671.9 / 300.0 s
TRS_Standard/Hydras/worm_fixed2.xml 192.4 / 59.5 s 929.0 / 300.1 s 618.3 / 300.0 s
TRS_Standard/Hydras/worm_fixed3.xml 194.8 / 59.5 s 927.3 / 300.0 s 618.9 / 300.0 s
TRS_Standard/Hydras/worm_wrong.xml 20.6 / 5.6 s 60.4 / 21.6 s 617.5 / 300.0 s
TRS_Standard/MNZ_10/0.xml 167.6 / 59.3 s 98.4 / 30.2 s 638.6 / 300.0 s
TRS_Standard/MNZ_10/1.xml 19.7 / 5.4 s 53.9 / 15.4 s 635.2 / 300.0 s
TRS_Standard/MNZ_10/2.xml 21.4 / 5.9 s 86.0 / 25.7 s 650.7 / 300.0 s
TRS_Standard/MNZ_10/3.xml 30.1 / 8.1 s 76.0 / 20.8 s 644.2 / 300.0 s
TRS_Standard/MNZ_10/4.xml 186.7 / 59.3 s 608.0 / 300.1 s 654.1 / 300.0 s
TRS_Standard/MNZ_10/5.xml 187.0 / 59.5 s 535.4 / 300.1 s 638.6 / 300.0 s
TRS_Standard/MNZ_10/6.xml 191.3 / 59.3 s 543.8 / 300.0 s 680.9 / 300.0 s
TRS_Standard/MNZ_10/7.xml 197.0 / 59.3 s 494.6 / 300.0 s 640.8 / 300.0 s
TRS_Standard/MNZ_10/8.xml 21.4 / 5.8 s 107.2 / 34.8 s 644.5 / 300.0 s
TRS_Standard/MNZ_10/9.xml 168.1 / 55.5 s 471.8 / 254.4 s 971.4 / 300.0 s
TRS_Standard/MNZ_10/labelled.xml 362.5 / 300.0 s 57.4 / 53.3 s 37.9 / 19.9 s
TRS_Standard/MNZ_10/nrvsq.xml 209.7 / 59.5 s 92.4 / 33.2 s 635.0 / 300.0 s
TRS_Standard/MNZ_10/nvsr.xml 194.4 / 59.3 s 439.9 / 228.8 s 643.9 / 300.0 s
TRS_Standard/Mixed_TRS/1.xml 0.6 / 0.4 s 1.9 / 1.0 s 0.2 / 0.1 s
TRS_Standard/Mixed_TRS/2.xml 0.7 / 0.4 s 2.4 / 1.2 s 21.5 / 9.0 s
TRS_Standard/Mixed_TRS/3.xml 1.1 / 0.5 s 1.9 / 1.0 s 2.6 / 1.1 s
TRS_Standard/Mixed_TRS/4.xml 0.9 / 0.5 s 1.9 / 1.0 s 0.1 / 0.0 s
TRS_Standard/Mixed_TRS/5.xml 0.8 / 0.5 s 1.8 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Mixed_TRS/6.xml 172.5 / 59.3 s 350.5 / 300.0 s 619.5 / 300.0 s
TRS_Standard/Mixed_TRS/7.xml 214.8 / 59.5 s 67.8 / 32.8 s 632.1 / 300.0 s
TRS_Standard/Mixed_TRS/Ex1_Luc04b_GM.xml 3.9 / 1.3 s 4.2 / 1.6 s 0.7 / 0.4 s
TRS_Standard/Mixed_TRS/beans.xml 200.8 / 59.4 s 3.0 / 1.3 s 636.8 / 300.0 s
TRS_Standard/Mixed_TRS/div_hard.xml 16.6 / 5.7 s 401.3 / 300.0 s 649.9 / 300.0 s
TRS_Standard/Mixed_TRS/fossacs.xml 187.5 / 59.3 s 671.4 / 300.1 s 689.8 / 300.0 s
TRS_Standard/Mixed_TRS/gcd.xml 2.3 / 0.9 s 2.2 / 1.1 s 0.2 / 0.1 s
TRS_Standard/Mixed_TRS/gcdMinMax.xml 157.9 / 59.4 s 2.4 / 1.2 s 667.5 / 300.0 s
TRS_Standard/Mixed_TRS/gcd_triple.xml 4.1 / 1.4 s 3.9 / 1.6 s 645.0 / 300.0 s
TRS_Standard/Mixed_TRS/hydra-Zantema06.xml 194.0 / 59.4 s 679.7 / 300.0 s 634.8 / 300.0 s
TRS_Standard/Mixed_TRS/hydra.xml 1.0 / 0.5 s 1.3 / 0.8 s 0.1 / 0.0 s
TRS_Standard/Mixed_TRS/jones1.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.1 / 0.0 s
TRS_Standard/Mixed_TRS/jones2.xml 0.5 / 0.4 s 1.3 / 0.8 s 0.0 / 0.0 s
TRS_Standard/Mixed_TRS/jones4.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Mixed_TRS/jones5.xml 0.4 / 0.3 s 1.3 / 0.7 s 0.0 / 0.0 s
TRS_Standard/Mixed_TRS/jones6.xml 0.7 / 0.4 s 1.4 / 0.7 s 0.1 / 0.0 s
TRS_Standard/Mixed_TRS/minsort.xml 187.5 / 59.5 s 668.2 / 300.0 s 657.0 / 300.0 s
TRS_Standard/Mixed_TRS/motivation.xml 0.8 / 0.5 s 1.6 / 0.8 s 0.0 / 0.0 s
TRS_Standard/Mixed_TRS/perfect.xml 0.9 / 0.5 s 1.5 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Mixed_TRS/perfect2.xml 1.5 / 0.7 s 2.2 / 1.1 s 0.3 / 0.2 s
TRS_Standard/Mixed_TRS/test1.xml 0.4 / 0.3 s 1.7 / 1.0 s 0.1 / 0.1 s
TRS_Standard/Mixed_TRS/while.xml 153.5 / 59.4 s 2.1 / 1.2 s 608.4 / 300.0 s
TRS_Standard/Mixed_TRS/while2.xml 148.2 / 59.3 s 926.1 / 300.0 s 623.0 / 300.0 s
TRS_Standard/Rubio_04/aoto.xml 2.0 / 0.7 s 3.0 / 1.1 s 0.0 / 0.0 s
TRS_Standard/Rubio_04/bintrees.xml 0.6 / 0.4 s 1.1 / 0.6 s 1.3 / 0.6 s
TRS_Standard/Rubio_04/bn122.xml 0.5 / 0.3 s 1.3 / 0.7 s 0.1 / 0.0 s
TRS_Standard/Rubio_04/bn129.xml 0.9 / 0.5 s 1.1 / 0.6 s 0.2 / 0.1 s
TRS_Standard/Rubio_04/division.xml 1.6 / 0.7 s 2.2 / 1.0 s 0.2 / 0.1 s
TRS_Standard/Rubio_04/elimdupl.xml 1.5 / 0.7 s 2.2 / 1.1 s 0.3 / 0.1 s
TRS_Standard/Rubio_04/enno.xml 2.8 / 1.0 s 2.7 / 1.3 s 7.4 / 3.3 s
TRS_Standard/Rubio_04/gcd.xml 2.5 / 1.0 s 2.3 / 1.1 s 0.3 / 0.2 s
TRS_Standard/Rubio_04/gm.xml 1.2 / 0.6 s 1.6 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Rubio_04/gmnp.xml 0.7 / 0.4 s 2.4 / 1.0 s 0.0 / 0.0 s
TRS_Standard/Rubio_04/koen.xml 0.5 / 0.4 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Rubio_04/lescanne.xml 0.6 / 0.4 s 1.1 / 0.6 s 1.9 / 0.8 s
TRS_Standard/Rubio_04/lindau.xml 0.5 / 0.4 s 1.8 / 0.8 s 0.3 / 0.1 s
TRS_Standard/Rubio_04/logarquot.xml 1.8 / 0.8 s 2.1 / 1.0 s 0.1 / 0.1 s
TRS_Standard/Rubio_04/ma96.xml 9.6 / 3.0 s 3.8 / 1.5 s 0.6 / 0.3 s
TRS_Standard/Rubio_04/mfp90b.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Rubio_04/mfp95.xml 0.4 / 0.3 s 1.2 / 0.7 s 0.0 / 0.0 s
TRS_Standard/Rubio_04/nestrec.xml 2.1 / 0.8 s 6.7 / 2.1 s 0.1 / 0.0 s
TRS_Standard/Rubio_04/p266.xml 1.1 / 0.5 s 2.2 / 0.9 s 0.0 / 0.0 s
TRS_Standard/Rubio_04/polo2.xml 1.9 / 0.9 s 1.9 / 0.9 s 0.4 / 0.2 s
TRS_Standard/Rubio_04/prov.xml 0.5 / 0.4 s 1.4 / 0.8 s 0.1 / 0.0 s
TRS_Standard/Rubio_04/quick.xml 4.0 / 1.4 s 3.0 / 1.3 s 35.9 / 15.4 s
TRS_Standard/Rubio_04/quotminus.xml 1.3 / 0.6 s 1.8 / 0.9 s 2.0 / 0.8 s
TRS_Standard/Rubio_04/revlist.xml 2.2 / 0.9 s 2.5 / 1.2 s 0.1 / 0.1 s
TRS_Standard/Rubio_04/selsort.xml 5.9 / 2.0 s 3.6 / 1.5 s 0.6 / 0.3 s
TRS_Standard/Rubio_04/test4.xml 0.6 / 0.4 s 1.7 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Rubio_04/test829.xml 0.6 / 0.4 s 1.4 / 0.7 s 0.0 / 0.0 s
TRS_Standard/Rubio_04/wst99.xml 6.4 / 2.4 s 6.6 / 2.3 s 0.4 / 0.2 s
TRS_Standard/SK90/2.01.xml 0.7 / 0.4 s 1.4 / 0.7 s 0.1 / 0.1 s
TRS_Standard/SK90/2.02.xml 0.5 / 0.4 s 1.1 / 0.6 s 2.7 / 1.2 s
TRS_Standard/SK90/2.03.xml 0.6 / 0.4 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/2.04.xml 0.4 / 0.3 s 1.2 / 0.7 s 0.1 / 0.0 s
TRS_Standard/SK90/2.05.xml 1.1 / 0.6 s 4.2 / 1.7 s 636.2 / 300.0 s
TRS_Standard/SK90/2.06.xml 0.7 / 0.4 s 1.2 / 0.7 s 0.1 / 0.1 s
TRS_Standard/SK90/2.07.xml 0.6 / 0.4 s 1.3 / 0.7 s 0.1 / 0.1 s
TRS_Standard/SK90/2.08.xml 0.9 / 0.5 s 1.4 / 0.8 s 0.1 / 0.1 s
TRS_Standard/SK90/2.09.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/2.10.xml 0.7 / 0.4 s 1.5 / 0.8 s 1.8 / 0.8 s
TRS_Standard/SK90/2.11.xml 0.5 / 0.4 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/2.12.xml 0.8 / 0.5 s 1.4 / 0.8 s 0.1 / 0.1 s
TRS_Standard/SK90/2.13.xml 0.6 / 0.4 s 1.7 / 0.8 s 0.1 / 0.0 s
TRS_Standard/SK90/2.14.xml 0.8 / 0.4 s 1.5 / 0.8 s 0.1 / 0.0 s
TRS_Standard/SK90/2.15.xml 0.5 / 0.4 s 1.3 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/2.16.xml 0.6 / 0.4 s 1.4 / 0.8 s 2.6 / 1.1 s
TRS_Standard/SK90/2.17.xml 0.8 / 0.5 s 1.3 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/2.18.xml 0.5 / 0.4 s 1.3 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/2.19.xml 0.7 / 0.5 s 1.3 / 0.7 s 0.1 / 0.0 s
TRS_Standard/SK90/2.20.xml 0.5 / 0.4 s 1.3 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/2.21.xml 0.5 / 0.4 s 1.3 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/2.22.xml 0.6 / 0.4 s 1.3 / 0.7 s 0.1 / 0.0 s
TRS_Standard/SK90/2.23.xml 0.7 / 0.5 s 1.4 / 0.8 s 2.2 / 1.0 s
TRS_Standard/SK90/2.24.xml 0.5 / 0.4 s 1.2 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/2.25.xml 0.6 / 0.4 s 1.3 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/2.26.xml 1.2 / 0.6 s 1.6 / 0.8 s 0.1 / 0.0 s
TRS_Standard/SK90/2.27.xml 2.0 / 0.9 s 1.5 / 0.8 s 0.1 / 0.0 s
TRS_Standard/SK90/2.28.xml 0.4 / 0.3 s 1.1 / 0.7 s 0.1 / 0.0 s
TRS_Standard/SK90/2.29.xml 0.9 / 0.5 s 1.5 / 0.8 s 0.0 / 0.0 s
TRS_Standard/SK90/2.30.xml 0.7 / 0.4 s 1.5 / 0.8 s 0.0 / 0.0 s
TRS_Standard/SK90/2.31.xml 0.5 / 0.4 s 1.1 / 0.6 s 0.1 / 0.0 s
TRS_Standard/SK90/2.32.xml 0.8 / 0.4 s 1.4 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/2.33.xml 0.6 / 0.4 s 1.1 / 0.6 s 0.1 / 0.1 s
TRS_Standard/SK90/2.34.xml 0.8 / 0.4 s 1.6 / 0.8 s 0.2 / 0.1 s
TRS_Standard/SK90/2.35.xml 0.4 / 0.3 s 1.5 / 0.8 s 0.1 / 0.0 s
TRS_Standard/SK90/2.36.xml 0.5 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/2.37.xml 0.4 / 0.3 s 1.2 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/2.38.xml 0.5 / 0.3 s 1.1 / 0.6 s 0.1 / 0.0 s
TRS_Standard/SK90/2.39.xml 1.1 / 0.5 s 2.4 / 1.0 s 0.1 / 0.0 s
TRS_Standard/SK90/2.40.xml 0.5 / 0.4 s 1.3 / 0.7 s 0.1 / 0.0 s
TRS_Standard/SK90/2.41.xml 0.5 / 0.4 s 1.1 / 0.6 s 0.1 / 0.0 s
TRS_Standard/SK90/2.42.xml 1.8 / 0.7 s 1.8 / 0.8 s 2.0 / 0.9 s
TRS_Standard/SK90/2.43.xml 1.0 / 0.6 s 1.7 / 0.8 s 0.1 / 0.0 s
TRS_Standard/SK90/2.44.xml 1.2 / 0.6 s 1.8 / 1.0 s 0.2 / 0.1 s
TRS_Standard/SK90/2.45.xml 1.6 / 0.9 s 1.7 / 0.9 s 0.1 / 0.0 s
TRS_Standard/SK90/2.46.xml 0.8 / 0.4 s 12.7 / 3.6 s 0.0 / 0.0 s
TRS_Standard/SK90/2.47.xml 0.7 / 0.4 s 9.4 / 2.8 s 0.0 / 0.0 s
TRS_Standard/SK90/2.48.xml 0.9 / 0.4 s 2.4 / 1.0 s 0.0 / 0.0 s
TRS_Standard/SK90/2.49.xml 0.8 / 0.4 s 3.2 / 1.2 s 0.0 / 0.0 s
TRS_Standard/SK90/2.50.xml 0.9 / 0.4 s 9.6 / 2.8 s 0.0 / 0.0 s
TRS_Standard/SK90/2.51.xml 0.5 / 0.4 s 1.3 / 0.7 s 1.9 / 0.9 s
TRS_Standard/SK90/2.52.xml 0.9 / 0.5 s 1.8 / 0.9 s 28.1 / 12.4 s
TRS_Standard/SK90/2.53.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/2.54.xml 0.3 / 0.3 s 1.3 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/2.55.xml 0.4 / 0.3 s 1.2 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/2.56.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/2.57.xml 0.4 / 0.3 s 1.3 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/2.58.xml 0.4 / 0.3 s 1.5 / 0.8 s 0.0 / 0.0 s
TRS_Standard/SK90/2.59.xml 0.4 / 0.4 s 1.1 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/2.60.xml 0.4 / 0.3 s 1.3 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/2.61.xml 1.1 / 0.5 s 1.1 / 0.6 s 0.1 / 0.1 s
TRS_Standard/SK90/4.01.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/4.02.xml 23.5 / 17.1 s 1.7 / 0.8 s 9.5 / 4.3 s
TRS_Standard/SK90/4.03.xml 0.7 / 0.5 s 1.5 / 0.8 s 0.1 / 0.0 s
TRS_Standard/SK90/4.04.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.1 / 0.0 s
TRS_Standard/SK90/4.05.xml 0.5 / 0.4 s 1.3 / 0.7 s 0.1 / 0.0 s
TRS_Standard/SK90/4.06.xml 0.7 / 0.5 s 2.7 / 1.2 s 654.5 / 300.0 s
TRS_Standard/SK90/4.07.xml 0.5 / 0.3 s 1.1 / 0.6 s 0.1 / 0.0 s
TRS_Standard/SK90/4.08.xml 0.3 / 0.3 s 1.2 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/4.09.xml 0.6 / 0.4 s 1.4 / 0.8 s 3.2 / 1.4 s
TRS_Standard/SK90/4.10.xml 0.6 / 0.4 s 1.4 / 0.8 s 0.1 / 0.1 s
TRS_Standard/SK90/4.11.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/4.12.xml 0.5 / 0.4 s 1.4 / 0.7 s 1.1 / 0.5 s
TRS_Standard/SK90/4.13.xml 1.1 / 0.6 s 1.5 / 0.8 s 0.2 / 0.1 s
TRS_Standard/SK90/4.14.xml 0.8 / 0.5 s 1.5 / 0.8 s 0.1 / 0.1 s
TRS_Standard/SK90/4.15.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/4.16.xml 0.7 / 0.4 s 1.5 / 0.8 s 0.1 / 0.0 s
TRS_Standard/SK90/4.17.xml 0.9 / 0.5 s 2.6 / 1.3 s 0.1 / 0.1 s
TRS_Standard/SK90/4.18.xml 0.7 / 0.4 s 1.4 / 0.8 s 0.0 / 0.0 s
TRS_Standard/SK90/4.19.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.1 / 0.0 s
TRS_Standard/SK90/4.20.xml 0.6 / 0.4 s 1.4 / 0.8 s 0.1 / 0.0 s
TRS_Standard/SK90/4.21.xml 0.7 / 0.4 s 1.4 / 0.8 s 0.1 / 0.1 s
TRS_Standard/SK90/4.22.xml 0.6 / 0.4 s 1.4 / 0.8 s 0.1 / 0.1 s
TRS_Standard/SK90/4.23.xml 0.6 / 0.4 s 1.3 / 0.7 s 0.1 / 0.1 s
TRS_Standard/SK90/4.24.xml 2.2 / 0.9 s 2.2 / 1.1 s 0.9 / 0.4 s
TRS_Standard/SK90/4.25.xml 0.6 / 0.4 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/4.26.xml 1.0 / 0.5 s 2.0 / 0.9 s 1.8 / 0.8 s
TRS_Standard/SK90/4.27.xml 1.3 / 0.6 s 1.9 / 0.9 s 0.1 / 0.0 s
TRS_Standard/SK90/4.28.xml 1.4 / 0.7 s 1.7 / 0.9 s 0.1 / 0.0 s
TRS_Standard/SK90/4.29.xml 0.7 / 0.4 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/4.30.xml 1.2 / 0.6 s 2.3 / 1.1 s 6.8 / 3.0 s
TRS_Standard/SK90/4.31.xml 1.5 / 0.7 s 1.4 / 0.8 s 0.1 / 0.0 s
TRS_Standard/SK90/4.32.xml 10.1 / 2.9 s 24.1 / 6.7 s 28.4 / 7.2 s
TRS_Standard/SK90/4.33.xml 0.8 / 0.4 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/4.34.xml 0.5 / 0.4 s 0.9 / 0.6 s 1196.4 / 300.0 s
TRS_Standard/SK90/4.35.xml 0.7 / 0.4 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/4.36.xml 0.8 / 0.4 s 1.5 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/4.37.xml 0.7 / 0.4 s 1.2 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/4.38.xml 0.5 / 0.4 s 1.1 / 0.6 s 0.1 / 0.1 s
TRS_Standard/SK90/4.39.xml 0.4 / 0.3 s 1.2 / 0.7 s 0.1 / 0.0 s
TRS_Standard/SK90/4.40.xml 203.2 / 59.3 s 11.8 / 4.2 s 673.5 / 300.0 s
TRS_Standard/SK90/4.41.xml 0.6 / 0.4 s 1.5 / 0.8 s 0.0 / 0.0 s
TRS_Standard/SK90/4.42.xml 0.6 / 0.4 s 1.4 / 0.8 s 644.4 / 300.0 s
TRS_Standard/SK90/4.43.xml 1.1 / 0.5 s 1.6 / 0.8 s 0.2 / 0.1 s
TRS_Standard/SK90/4.44.xml 0.4 / 0.3 s 1.4 / 0.7 s 0.1 / 0.0 s
TRS_Standard/SK90/4.45.xml 0.3 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/4.46.xml 0.4 / 0.3 s 1.0 / 0.6 s 0.0 / 0.0 s
TRS_Standard/SK90/4.47.xml 0.7 / 0.4 s 2.7 / 1.2 s 0.0 / 0.0 s
TRS_Standard/SK90/4.48.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.1 / 0.0 s
TRS_Standard/SK90/4.49.xml 0.3 / 0.3 s 2.2 / 1.1 s 675.6 / 300.0 s
TRS_Standard/SK90/4.50.xml 0.3 / 0.3 s 1.1 / 0.7 s 1.1 / 0.5 s
TRS_Standard/SK90/4.51.xml 0.6 / 0.4 s 1.7 / 0.9 s 0.1 / 0.1 s
TRS_Standard/SK90/4.52.xml 0.9 / 0.5 s 1.1 / 0.6 s 0.1 / 0.1 s
TRS_Standard/SK90/4.53.xml 0.8 / 0.5 s 1.4 / 0.8 s 0.1 / 0.1 s
TRS_Standard/SK90/4.54.xml 0.9 / 0.5 s 6.5 / 2.4 s 614.1 / 300.0 s
TRS_Standard/SK90/4.55.xml 0.6 / 10.4 s 1.3 / 0.8 s 0.4 / 0.2 s
TRS_Standard/SK90/4.56.xml 0.4 / 0.3 s 1.1 / 0.7 s 0.0 / 0.0 s
TRS_Standard/SK90/4.57.xml 0.8 / 0.5 s 1.4 / 0.8 s 0.0 / 0.0 s
TRS_Standard/SK90/4.59.xml 1.3 / 0.7 s 1.7 / 0.9 s 0.2 / 0.1 s
TRS_Standard/SK90/4.60.xml 2.0 / 0.9 s 2.0 / 1.0 s 0.1 / 0.1 s
TRS_Standard/SK90/4.61.xml 5.2 / 1.8 s 2.8 / 1.3 s 3.8 / 1.7 s
TRS_Standard/Secret_05_TRS/aprove1.xml 2.4 / 1.0 s 3.8 / 1.7 s 686.8 / 300.0 s
TRS_Standard/Secret_05_TRS/aprove2.xml 61.8 / 31.6 s 7.1 / 2.6 s 626.8 / 300.0 s
TRS_Standard/Secret_05_TRS/aprove3.xml 176.5 / 59.3 s 6.2 / 2.3 s 636.9 / 300.0 s
TRS_Standard/Secret_05_TRS/aprove4.xml 198.0 / 59.5 s 4.0 / 1.7 s 643.5 / 300.0 s
TRS_Standard/Secret_05_TRS/aprove5.xml 171.6 / 59.4 s 3.5 / 1.5 s 642.2 / 300.0 s
TRS_Standard/Secret_05_TRS/cime1.xml 234.4 / 59.6 s 887.4 / 300.0 s 642.0 / 300.0 s
TRS_Standard/Secret_05_TRS/cime2.xml 206.9 / 59.4 s 27.0 / 13.0 s 644.9 / 300.0 s
TRS_Standard/Secret_05_TRS/cime3.xml 177.6 / 59.3 s 670.3 / 300.0 s 629.3 / 300.0 s
TRS_Standard/Secret_05_TRS/cime4.xml 179.8 / 59.4 s 1.7 / 1.0 s 651.1 / 300.0 s
TRS_Standard/Secret_05_TRS/cime5.xml 77.2 / 20.2 s 18.6 / 5.7 s 652.4 / 300.0 s
TRS_Standard/Secret_05_TRS/matchbox1.xml 165.8 / 59.3 s 2.8 / 1.3 s 7.4 / 3.3 s
TRS_Standard/Secret_05_TRS/matchbox2.xml 0.8 / 0.5 s 1.7 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Secret_05_TRS/teparla1.xml 125.2 / 59.3 s 1.6 / 0.9 s 626.0 / 300.0 s
TRS_Standard/Secret_05_TRS/teparla2.xml 39.2 / 23.8 s 7.5 / 2.7 s 259.9 / 113.0 s
TRS_Standard/Secret_05_TRS/teparla3.xml 30.4 / 20.1 s 312.0 / 300.0 s 616.0 / 287.0 s
TRS_Standard/Secret_05_TRS/tpa1.xml 158.6 / 59.4 s 2.5 / 1.2 s 673.2 / 300.0 s
TRS_Standard/Secret_05_TRS/tpa2.xml 3.5 / 1.3 s 2.5 / 1.1 s 0.5 / 0.2 s
TRS_Standard/Secret_05_TRS/tpa3.xml 197.6 / 59.4 s 394.2 / 300.0 s 672.9 / 300.0 s
TRS_Standard/Secret_05_TRS/tpa4.xml 198.5 / 59.3 s 414.4 / 300.0 s 683.0 / 300.0 s
TRS_Standard/Secret_05_TRS/tpa5.xml 174.6 / 59.3 s 644.3 / 300.0 s 680.6 / 300.0 s
TRS_Standard/Secret_05_TRS/ttt1.xml 1.2 / 0.6 s 2.6 / 1.2 s 686.9 / 300.0 s
TRS_Standard/Secret_05_TRS/ttt2.xml 0.7 / 0.4 s 2.0 / 1.1 s 666.1 / 300.0 s
TRS_Standard/Secret_06_TRS/10.xml 9.5 / 2.7 s 11.3 / 3.9 s 0.6 / 0.3 s
TRS_Standard/Secret_06_TRS/2.xml 1.3 / 0.7 s 34.4 / 11.9 s 603.9 / 300.0 s
TRS_Standard/Secret_06_TRS/3.xml 205.0 / 59.4 s 790.5 / 300.0 s 606.1 / 300.0 s
TRS_Standard/Secret_06_TRS/4.xml 3.1 / 1.1 s 3.9 / 1.5 s 0.6 / 0.3 s
TRS_Standard/Secret_06_TRS/5.xml 5.5 / 1.8 s 3.1 / 1.4 s 0.2 / 0.1 s
TRS_Standard/Secret_06_TRS/6.xml 0.7 / 0.4 s 6.7 / 2.4 s 1.3 / 0.6 s
TRS_Standard/Secret_06_TRS/7.xml 0.8 / 0.4 s 5.0 / 1.8 s 0.1 / 0.1 s
TRS_Standard/Secret_06_TRS/8.xml 0.6 / 0.4 s 1.9 / 1.0 s 0.2 / 0.1 s
TRS_Standard/Secret_06_TRS/9.xml 0.7 / 0.4 s 3.6 / 1.5 s 0.3 / 0.1 s
TRS_Standard/Secret_06_TRS/addList.xml 166.7 / 59.3 s 10.1 / 3.7 s 682.9 / 300.0 s
TRS_Standard/Secret_06_TRS/cime1.xml 184.5 / 59.3 s 392.8 / 300.0 s 670.1 / 300.0 s
TRS_Standard/Secret_06_TRS/divExp.xml 2.0 / 10.9 s 2.8 / 1.3 s 662.0 / 300.0 s
TRS_Standard/Secret_06_TRS/division.xml 31.1 / 19.8 s 7.1 / 2.7 s 629.9 / 300.0 s
TRS_Standard/Secret_06_TRS/double.xml 16.8 / 15.6 s 4.1 / 1.6 s 612.5 / 300.0 s
TRS_Standard/Secret_06_TRS/gen-1.xml 1.1 / 0.5 s 4.6 / 1.8 s 0.2 / 0.1 s
TRS_Standard/Secret_06_TRS/gen-10.xml 6.5 / 2.0 s 3.4 / 1.5 s 0.4 / 0.2 s
TRS_Standard/Secret_06_TRS/gen-14.xml 3.8 / 1.3 s 3.0 / 1.3 s 2.9 / 1.3 s
TRS_Standard/Secret_06_TRS/gen-15.xml 5.1 / 1.6 s 2.6 / 1.2 s 0.7 / 0.3 s
TRS_Standard/Secret_06_TRS/gen-17.xml 1.8 / 0.9 s 1.5 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Secret_06_TRS/gen-18.xml 3.8 / 1.3 s 25.0 / 12.5 s 0.4 / 0.2 s
TRS_Standard/Secret_06_TRS/gen-22.xml 8.0 / 2.4 s 4.5 / 1.7 s 498.4 / 225.8 s
TRS_Standard/Secret_06_TRS/gen-25.xml 13.9 / 3.9 s 30.3 / 13.8 s 0.6 / 0.3 s
TRS_Standard/Secret_06_TRS/gen-28.xml 6.9 / 2.0 s 29.5 / 13.9 s 0.8 / 0.3 s
TRS_Standard/Secret_06_TRS/gen-9.xml 4.9 / 1.6 s 3.2 / 1.3 s 0.5 / 0.2 s
TRS_Standard/Secret_06_TRS/logarithm.xml 122.9 / 52.5 s 654.4 / 300.0 s 661.2 / 300.0 s
TRS_Standard/Secret_06_TRS/nrOfNodes.xml 149.4 / 59.3 s 6.8 / 3.5 s 669.8 / 300.0 s
TRS_Standard/Secret_06_TRS/reverse.xml 3.2 / 1.2 s 4.6 / 1.9 s 661.6 / 300.0 s
TRS_Standard/Secret_06_TRS/sumList.xml 208.5 / 59.4 s 6.9 / 3.0 s 787.2 / 300.0 s
TRS_Standard/Secret_06_TRS/times.xml 168.0 / 59.4 s 484.7 / 300.0 s 707.8 / 300.0 s
TRS_Standard/Secret_06_TRS/toList.xml 144.8 / 59.4 s 14.5 / 5.5 s 671.2 / 300.0 s
TRS_Standard/Secret_06_TRS/tpa01.xml 10.2 / 12.0 s 5.1 / 2.0 s 50.4 / 22.6 s
TRS_Standard/Secret_06_TRS/tpa02.xml 5.0 / 12.0 s 14.9 / 6.7 s 63.9 / 28.8 s
TRS_Standard/Secret_06_TRS/tpa03.xml 5.1 / 12.0 s 12.9 / 7.1 s 63.7 / 29.0 s
TRS_Standard/Secret_06_TRS/tpa04.xml 192.3 / 59.3 s 699.1 / 300.1 s 642.1 / 300.0 s
TRS_Standard/Secret_06_TRS/tpa05.xml 196.1 / 59.5 s 445.4 / 300.1 s 657.6 / 300.0 s
TRS_Standard/Secret_06_TRS/tpa06.xml 177.3 / 59.5 s 922.6 / 300.1 s 660.7 / 300.0 s
TRS_Standard/Secret_06_TRS/tpa07.xml 190.3 / 59.4 s 447.3 / 300.0 s 661.5 / 300.0 s
TRS_Standard/Secret_06_TRS/tpa08.xml 169.1 / 59.3 s 446.1 / 300.0 s 661.7 / 300.0 s
TRS_Standard/Secret_06_TRS/tpa09.xml 216.3 / 59.5 s 461.3 / 300.0 s 651.7 / 300.0 s
TRS_Standard/Secret_06_TRS/tpa10.xml 32.8 / 9.7 s 3.2 / 1.4 s 662.3 / 300.0 s
TRS_Standard/Secret_07_TRS/1.xml 183.5 / 59.3 s 383.2 / 300.0 s 603.0 / 300.0 s
TRS_Standard/Secret_07_TRS/2.xml 158.3 / 59.3 s 681.6 / 300.0 s 666.7 / 300.0 s
TRS_Standard/Secret_07_TRS/3.xml 191.4 / 59.4 s 55.1 / 18.9 s 693.7 / 300.0 s
TRS_Standard/Secret_07_TRS/4.xml 183.8 / 59.3 s 364.1 / 300.0 s 604.8 / 300.0 s
TRS_Standard/Secret_07_TRS/5.xml 233.6 / 59.5 s 51.3 / 17.9 s 494.4 / 228.5 s
TRS_Standard/Secret_07_TRS/7.xml 165.8 / 59.3 s 417.6 / 148.6 s 667.3 / 300.0 s
TRS_Standard/Secret_07_TRS/aprove01.xml 152.7 / 59.3 s 1062.4 / 300.1 s 672.5 / 300.0 s
TRS_Standard/Secret_07_TRS/aprove02.xml 171.4 / 59.3 s 511.5 / 300.0 s 651.2 / 300.0 s
TRS_Standard/Secret_07_TRS/aprove03.xml 144.8 / 59.5 s 662.8 / 300.0 s 673.8 / 300.0 s
TRS_Standard/Secret_07_TRS/aprove04.xml 150.7 / 59.3 s 518.0 / 300.1 s 648.7 / 300.0 s
TRS_Standard/Secret_07_TRS/aprove05.xml 166.8 / 59.4 s 683.5 / 300.0 s 684.9 / 300.0 s
TRS_Standard/Secret_07_TRS/aprove06.xml 149.5 / 59.5 s 955.0 / 300.0 s 668.0 / 300.0 s
TRS_Standard/Secret_07_TRS/aprove07.xml 150.9 / 59.3 s 740.6 / 300.0 s 673.9 / 300.0 s
TRS_Standard/Secret_07_TRS/aprove08.xml 182.8 / 59.4 s 400.7 / 300.0 s 664.1 / 300.0 s
TRS_Standard/Secret_07_TRS/aprove09.xml 176.2 / 59.3 s 873.0 / 300.1 s 643.1 / 300.0 s
TRS_Standard/Secret_07_TRS/aprove10.xml 159.3 / 59.3 s 701.5 / 300.0 s 696.0 / 300.0 s
TRS_Standard/Secret_07_TRS/secret1.xml 2.2 / 1.1 s 2.0 / 1.0 s 0.5 / 0.3 s
TRS_Standard/Secret_07_TRS/secret2.xml 1.3 / 0.7 s 1.5 / 0.9 s 61.6 / 27.4 s
TRS_Standard/Secret_07_TRS/secret3.xml 1.5 / 0.7 s 1.6 / 0.9 s 22.2 / 9.7 s
TRS_Standard/Secret_07_TRS/secret4.xml 2.0 / 0.9 s 1.7 / 0.9 s 54.0 / 24.2 s
TRS_Standard/Secret_07_TRS/secret5.xml 3.8 / 1.4 s 2.7 / 1.2 s 0.3 / 0.1 s
TRS_Standard/Strategy_removed_AG01/#4.12a.xml 0.5 / 0.4 s 1.8 / 1.0 s 685.8 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.13.xml 196.5 / 59.3 s 4.7 / 2.0 s 680.5 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.14.xml 0.5 / 0.4 s 2.0 / 1.0 s 618.2 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.15.xml 0.9 / 0.5 s 2.2 / 1.1 s 665.9 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.16.xml 0.4 / 0.3 s 2.1 / 1.1 s 639.0 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.17.xml 2.4 / 1.4 s 2.4 / 1.3 s 642.1 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.18.xml 0.5 / 0.4 s 0.9 / 0.6 s 1196.4 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.19.xml 12.1 / 14.0 s 442.3 / 300.0 s 675.0 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.2.xml 0.4 / 0.4 s 2.5 / 1.2 s 631.2 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.20.xml 0.3 / 0.3 s 1.8 / 0.8 s 0.0 / 0.0 s
TRS_Standard/Strategy_removed_AG01/#4.20a.xml 0.4 / 0.3 s 2.1 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Strategy_removed_AG01/#4.21.xml 0.4 / 0.3 s 2.0 / 0.9 s 0.0 / 0.0 s
TRS_Standard/Strategy_removed_AG01/#4.22.xml 0.5 / 0.4 s 1.3 / 0.8 s 0.0 / 0.0 s
TRS_Standard/Strategy_removed_AG01/#4.23.xml 1.2 / 0.6 s 1.9 / 0.9 s 3.9 / 1.7 s
TRS_Standard/Strategy_removed_AG01/#4.25.xml 0.9 / 10.5 s 1.2 / 0.8 s 0.9 / 0.4 s
TRS_Standard/Strategy_removed_AG01/#4.26.xml 1.3 / 0.6 s 2.4 / 1.1 s 661.0 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.27.xml 1.2 / 0.6 s 1.5 / 0.9 s 0.2 / 0.1 s
TRS_Standard/Strategy_removed_AG01/#4.28.xml 1.2 / 0.6 s 4.5 / 1.5 s 0.2 / 0.1 s
TRS_Standard/Strategy_removed_AG01/#4.29.xml 3.3 / 1.2 s 3.0 / 1.4 s 617.0 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.3.xml 175.0 / 59.3 s 1.6 / 0.9 s 704.2 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.30.xml 181.9 / 59.3 s 5.0 / 2.3 s 663.8 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.30a.xml 5.4 / 2.0 s 2.2 / 1.1 s 654.6 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.30b.xml 26.6 / 8.2 s 8.5 / 4.8 s 654.6 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.30c.xml 76.2 / 32.3 s 11.7 / 6.3 s 674.4 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.32.xml 0.7 / 0.4 s 1.3 / 0.8 s 0.0 / 0.0 s
TRS_Standard/Strategy_removed_AG01/#4.33.xml 3.0 / 1.3 s 2.0 / 1.0 s 0.2 / 0.1 s
TRS_Standard/Strategy_removed_AG01/#4.34.xml 0.9 / 0.5 s 1.8 / 1.0 s 0.1 / 0.1 s
TRS_Standard/Strategy_removed_AG01/#4.35.xml 6.1 / 2.1 s 3.8 / 1.5 s 1.2 / 0.5 s
TRS_Standard/Strategy_removed_AG01/#4.36.xml 4.4 / 1.5 s 3.9 / 1.5 s 0.5 / 0.3 s
TRS_Standard/Strategy_removed_AG01/#4.37.xml 0.6 / 0.4 s 1.5 / 0.8 s 0.1 / 0.0 s
TRS_Standard/Strategy_removed_AG01/#4.37a.xml 0.9 / 0.5 s 1.7 / 0.9 s 0.1 / 0.1 s
TRS_Standard/Strategy_removed_AG01/#4.4.xml 0.6 / 0.4 s 1.8 / 1.0 s 663.0 / 300.0 s
TRS_Standard/Strategy_removed_AG01/#4.7.xml 2.2 / 1.3 s 2.1 / 1.1 s 630.1 / 300.0 s
S_Standard/Strategy_removed_CSR_05/Ex14_AEGL02.xml 0.3 / 0.3 s 3.5 / 1.6 s 638.8 / 300.0 s
RS_Standard/Strategy_removed_CSR_05/Ex15_Luc98.xml 0.3 / 0.3 s 4.3 / 1.8 s 663.3 / 300.0 s
S_Standard/Strategy_removed_CSR_05/Ex1_2_AEL03.xml 0.3 / 0.3 s 3.9 / 1.8 s 684.6 / 300.0 s
_Standard/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 0.3 / 0.3 s 3.4 / 1.6 s 689.9 / 300.0 s
TRS_Standard/Strategy_removed_CSR_05/Ex1_GL02a.xml 0.3 / 0.3 s 3.8 / 1.7 s 677.2 / 300.0 s
TRS_Standard/Strategy_removed_CSR_05/Ex1_GM03.xml 0.3 / 0.3 s 1.9 / 1.0 s 674.3 / 300.0 s
TRS_Standard/Strategy_removed_CSR_05/Ex1_GM99.xml 0.5 / 0.4 s 1.6 / 0.9 s 679.4 / 300.0 s
RS_Standard/Strategy_removed_CSR_05/Ex1_Luc02b.xml 0.3 / 0.3 s 4.3 / 1.8 s 681.9 / 300.0 s
TRS_Standard/Strategy_removed_CSR_05/Ex1_Zan97.xml 0.5 / 0.4 s 3.0 / 1.2 s 660.5 / 300.0 s
TRS_Standard/Strategy_removed_CSR_05/Ex24_GM04.xml 0.8 / 10.4 s 1.9 / 1.0 s 673.0 / 300.0 s
S_Standard/Strategy_removed_CSR_05/Ex26_Luc03b.xml 0.3 / 0.3 s 4.4 / 1.8 s 681.7 / 300.0 s
RS_Standard/Strategy_removed_CSR_05/Ex2_Luc03b.xml 0.3 / 0.3 s 4.1 / 1.7 s 689.1 / 300.0 s
Standard/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 0.3 / 0.3 s 3.4 / 1.6 s 710.9 / 300.0 s
S_Standard/Strategy_removed_CSR_05/Ex3_2_Luc97.xml 0.3 / 0.3 s 4.3 / 1.8 s 669.0 / 300.0 s
tandard/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 0.3 / 0.3 s 5.0 / 1.9 s 693.2 / 300.0 s
TRS_Standard/Strategy_removed_CSR_05/Ex49_GM04.xml 1.3 / 0.6 s 1.5 / 0.8 s 0.1 / 0.1 s
_Standard/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 0.3 / 0.3 s 1.8 / 1.0 s 697.5 / 300.0 s
tandard/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 0.5 / 0.4 s 4.0 / 1.9 s 609.0 / 300.0 s
tandard/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 0.3 / 0.3 s 4.3 / 1.8 s 683.0 / 300.0 s
tandard/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 0.3 / 0.3 s 3.5 / 1.6 s 688.2 / 300.0 s
tandard/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 0.3 / 0.3 s 2.6 / 1.2 s 851.9 / 300.0 s
TRS_Standard/Strategy_removed_CSR_05/Ex4_Zan97.xml 0.3 / 0.3 s 2.8 / 1.3 s 676.9 / 300.0 s
S_Standard/Strategy_removed_CSR_05/Ex5_7_Luc97.xml 0.3 / 0.3 s 3.8 / 1.8 s 689.7 / 300.0 s
TRS_Standard/Strategy_removed_CSR_05/Ex5_Zan97.xml 0.3 / 0.3 s 3.5 / 1.7 s 729.0 / 300.0 s
_Standard/Strategy_removed_CSR_05/Ex6_15_AEL02.xml 0.3 / 0.3 s 4.2 / 1.9 s 687.8 / 300.0 s
_Standard/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 0.3 / 0.3 s 3.4 / 1.6 s 689.9 / 300.0 s
TRS_Standard/Strategy_removed_CSR_05/Ex6_GM04.xml 0.3 / 0.3 s 3.6 / 1.3 s 881.8 / 300.0 s
TRS_Standard/Strategy_removed_CSR_05/Ex6_Luc98.xml 0.3 / 0.3 s 3.5 / 1.6 s 662.4 / 300.0 s
TRS_Standard/Strategy_removed_CSR_05/Ex7_BLR02.xml 0.3 / 0.3 s 4.2 / 1.8 s 694.1 / 300.0 s
TRS_Standard/Strategy_removed_CSR_05/Ex8_BLR02.xml 0.3 / 0.3 s 2.0 / 1.0 s 677.2 / 300.0 s
TRS_Standard/Strategy_removed_CSR_05/Ex9_BLR02.xml 0.3 / 0.3 s 4.2 / 1.8 s 689.7 / 300.0 s
dard/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 0.3 / 0.3 s 4.6 / 1.9 s 676.6 / 300.0 s
_Standard/Strategy_removed_CSR_05/ExConc_Zan97.xml 0.3 / 0.3 s 0.9 / 0.6 s 1192.8 / 300.0 s
Standard/Strategy_removed_CSR_05/ExIntrod_GM01.xml 0.3 / 0.3 s 3.4 / 1.5 s 941.5 / 300.0 s
Standard/Strategy_removed_CSR_05/ExIntrod_GM04.xml 0.3 / 0.3 s 3.2 / 1.4 s 962.3 / 300.0 s
Standard/Strategy_removed_CSR_05/ExIntrod_GM99.xml 0.3 / 0.3 s 5.1 / 1.9 s 692.1 / 300.0 s
tandard/Strategy_removed_CSR_05/ExIntrod_Zan97.xml 0.3 / 0.3 s 3.8 / 1.7 s 668.3 / 300.0 s
ard/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml 0.3 / 0.3 s 4.4 / 1.8 s 683.8 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/bn111.xml 4.5 / 11.8 s 24.8 / 13.0 s 618.6 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/ex1.xml 0.3 / 0.3 s 7.2 / 2.3 s 678.4 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/ex2.xml 0.3 / 0.3 s 3.5 / 1.6 s 663.8 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/ex3.xml 0.3 / 0.3 s 3.5 / 1.3 s 684.2 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/ex4.xml 0.6 / 0.4 s 64.2 / 16.7 s 675.0 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/ex5.xml 0.3 / 0.3 s 2.9 / 1.1 s 683.8 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/ex6.xml 1.0 / 0.5 s 2.4 / 1.2 s 640.8 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/gkg.xml 0.5 / 0.4 s 1.7 / 1.0 s 668.4 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/muladd.xml 0.5 / 0.4 s 1.9 / 1.0 s 688.3 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/n001.xml 0.7 / 0.4 s 0.9 / 0.6 s 1195.6 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/test10.xml 0.8 / 0.5 s 11.5 / 7.8 s 653.9 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/test75.xml 0.6 / 0.4 s 1.8 / 1.0 s 704.3 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/test76.xml 168.9 / 59.3 s 5.5 / 2.3 s 683.9 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/test77.xml 170.4 / 59.3 s 9.9 / 5.9 s 683.5 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/test830.xml 0.7 / 0.4 s 2.0 / 1.0 s 0.1 / 0.0 s
TRS_Standard/Strategy_removed_mixed_05/test9.xml 0.5 / 0.4 s 2.1 / 1.1 s 681.8 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/toyama.xml 171.9 / 59.4 s 1.6 / 0.9 s 694.4 / 300.0 s
TRS_Standard/Strategy_removed_mixed_05/tricky1.xml 0.7 / 0.5 s 1.3 / 0.8 s 0.0 / 0.0 s
TRS_Standard/TCT_12/polycounter-10.xml 0.7 / 0.4 s 2.9 / 1.7 s 0.7 / 0.3 s
TRS_Standard/TCT_12/polycounter-5.xml 0.5 / 0.3 s 1.6 / 0.8 s 0.2 / 0.1 s
TRS_Standard/TCT_12/recursion-10.xml 1.5 / 0.8 s 2.0 / 1.0 s 0.2 / 0.1 s
TRS_Standard/TCT_12/recursion-5.xml 0.9 / 0.5 s 1.7 / 0.8 s 0.1 / 0.1 s
TRS_Standard/TCT_12/sat.xml 1.2 / 0.6 s 1.9 / 0.9 s 0.1 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_C.xml 22.9 / 6.5 s 90.8 / 32.1 s 4.9 / 2.1 s
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_FR.xml 197.9 / 59.4 s 16.2 / 8.4 s 658.6 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_GM.xml 2.0 / 0.9 s 2.3 / 1.1 s 0.1 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_L.xml 0.5 / 0.4 s 3.9 / 1.4 s 731.9 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex14_AEGL02_Z.xml 2.6 / 1.0 s 7.2 / 3.0 s 647.0 / 300.0 s
RS_Standard/Transformed_CSR_04/Ex14_AEGL02_iGM.xml 8.4 / 2.8 s 9.0 / 3.0 s 1.3 / 0.6 s
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_C.xml 233.5 / 59.5 s 830.0 / 300.1 s 25.8 / 11.8 s
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_FR.xml 0.6 / 0.4 s 2.9 / 1.4 s 675.8 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_GM.xml 1.7 / 0.7 s 670.9 / 300.0 s 629.7 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_L.xml 0.4 / 0.3 s 4.4 / 1.5 s 654.9 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex14_Luc06_iGM.xml 233.1 / 59.5 s 896.2 / 300.0 s 602.9 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_C.xml 2.0 / 0.8 s 22.9 / 6.4 s 2.3 / 0.9 s
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_FR.xml 0.7 / 0.4 s 4.4 / 1.4 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_GM.xml 0.5 / 0.4 s 4.2 / 1.4 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_L.xml 0.3 / 0.3 s 2.2 / 0.9 s 712.1 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_Z.xml 0.6 / 0.4 s 2.7 / 1.0 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex15_Luc06_iGM.xml 0.9 / 0.5 s 12.4 / 3.7 s 0.1 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_C.xml 11.8 / 3.9 s 8.2 / 2.7 s 12.7 / 5.7 s
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_FR.xml 9.8 / 3.0 s 10.5 / 3.4 s 0.7 / 0.4 s
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_GM.xml 1.7 / 0.7 s 2.1 / 0.9 s 0.7 / 0.3 s
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_Z.xml 1.7 / 0.8 s 1.8 / 1.0 s 0.2 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex15_Luc98_iGM.xml 15.8 / 5.3 s 15.2 / 4.8 s 4.7 / 2.1 s
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_C.xml 239.7 / 59.5 s 91.5 / 32.3 s 10.3 / 4.7 s
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_FR.xml 0.4 / 0.4 s 1.4 / 0.8 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_GM.xml 0.5 / 0.4 s 1.7 / 0.9 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_L.xml 0.3 / 0.3 s 3.1 / 1.2 s 760.9 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex16_Luc06_iGM.xml 32.5 / 21.2 s 5.8 / 2.2 s 9.4 / 4.0 s
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_C.xml 1.8 / 0.7 s 26.8 / 7.5 s 0.2 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_FR.xml 0.5 / 0.4 s 3.5 / 1.3 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_GM.xml 0.5 / 0.4 s 3.7 / 1.3 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_L.xml 0.3 / 0.3 s 1.0 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_Z.xml 0.4 / 0.3 s 1.4 / 0.7 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex18_Luc06_iGM.xml 0.8 / 0.5 s 17.4 / 5.1 s 0.2 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_C.xml 234.8 / 59.5 s 902.3 / 300.0 s 624.4 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_FR.xml 1.5 / 0.7 s 1.9 / 1.0 s 0.3 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_GM.xml 186.2 / 59.5 s 135.0 / 36.0 s 38.1 / 17.2 s
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex1_2_AEL03_Z.xml 1.3 / 0.7 s 1.8 / 0.9 s 0.2 / 0.1 s
RS_Standard/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml 173.5 / 59.6 s 88.9 / 24.9 s 53.2 / 23.5 s
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_C.xml 2.8 / 1.0 s 2.9 / 1.3 s 0.5 / 0.3 s
RS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml 0.7 / 0.5 s 1.4 / 0.8 s 0.1 / 0.0 s
RS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 3.3 / 1.2 s 6.7 / 2.3 s 0.2 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml 0.5 / 0.4 s 1.4 / 0.7 s 0.0 / 0.0 s
S_Standard/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml 3.1 / 1.2 s 11.9 / 3.8 s 1.4 / 0.6 s
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_C.xml 38.5 / 10.4 s 17.3 / 5.2 s 82.4 / 38.6 s
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_FR.xml 235.0 / 59.5 s 363.0 / 116.8 s 602.8 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_GM.xml 1.1 / 0.6 s 1.8 / 0.9 s 0.1 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_L.xml 0.3 / 0.3 s 2.7 / 1.2 s 824.4 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_Z.xml 233.2 / 59.4 s 38.7 / 14.4 s 602.8 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_GL02a_iGM.xml 18.5 / 5.5 s 9.3 / 3.1 s 4.0 / 1.8 s
TRS_Standard/Transformed_CSR_04/Ex1_GM03_C.xml 234.3 / 59.5 s 889.7 / 300.1 s 609.4 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_GM03_FR.xml 167.3 / 59.5 s 690.6 / 300.0 s 653.7 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_GM03_GM.xml 243.6 / 59.4 s 1174.6 / 300.1 s 639.9 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_GM03_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex1_GM03_Z.xml 0.3 / 0.3 s 2.0 / 1.1 s 670.0 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_GM03_iGM.xml 170.3 / 59.5 s 814.7 / 300.1 s 612.9 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_GM99_C.xml 233.3 / 59.5 s 99.3 / 35.7 s 27.7 / 12.7 s
TRS_Standard/Transformed_CSR_04/Ex1_GM99_FR.xml 0.5 / 0.4 s 1.6 / 0.9 s 696.8 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_GM99_GM.xml 170.6 / 59.3 s 5.7 / 2.1 s 643.5 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_GM99_L.xml 0.3 / 0.3 s 3.7 / 1.4 s 676.1 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_GM99_iGM.xml 142.8 / 59.3 s 12.2 / 5.4 s 625.8 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_C.xml 234.4 / 59.5 s 872.0 / 300.0 s 619.3 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_FR.xml 5.5 / 1.8 s 2.4 / 1.1 s 2.5 / 1.1 s
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_GM.xml 193.0 / 59.5 s 887.2 / 300.1 s 608.9 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_Z.xml 0.9 / 0.5 s 1.6 / 0.8 s 2.0 / 0.9 s
TRS_Standard/Transformed_CSR_04/Ex1_Luc02b_iGM.xml 233.3 / 59.4 s 686.2 / 300.0 s 621.1 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_C.xml 9.8 / 3.0 s 6.1 / 2.1 s 608.6 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_FR.xml 1.6 / 0.9 s 10.3 / 3.7 s 668.0 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_GM.xml 7.0 / 2.2 s 5.0 / 1.8 s 0.8 / 0.4 s
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_Z.xml 0.3 / 0.3 s 4.0 / 1.5 s 923.5 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_Luc04b_iGM.xml 23.6 / 6.6 s 11.9 / 3.8 s 13.0 / 5.1 s
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_C.xml 2.2 / 0.8 s 19.5 / 5.4 s 0.9 / 0.4 s
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_FR.xml 0.9 / 0.6 s 5.2 / 1.7 s 668.5 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_GM.xml 0.5 / 0.3 s 2.4 / 1.0 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_L.xml 0.4 / 0.3 s 3.0 / 1.1 s 715.0 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex1_Zan97_iGM.xml 1.1 / 0.5 s 4.3 / 1.5 s 0.2 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_C.xml 4.0 / 1.4 s 20.9 / 5.8 s 0.3 / 0.2 s
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_FR.xml 1.1 / 0.6 s 5.3 / 1.7 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_GM.xml 0.8 / 0.5 s 5.5 / 1.8 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_L.xml 0.3 / 0.3 s 1.0 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_Z.xml 0.4 / 0.3 s 1.6 / 0.7 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex23_Luc06_iGM.xml 1.0 / 0.5 s 6.2 / 1.9 s 0.2 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex24_GM04_C.xml 233.9 / 59.4 s 817.1 / 300.0 s 602.8 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex24_GM04_FR.xml 3.0 / 11.3 s 210.0 / 169.8 s 651.3 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex24_GM04_GM.xml 0.9 / 10.5 s 38.4 / 25.7 s 687.6 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex24_GM04_L.xml 0.3 / 0.3 s 4.0 / 1.4 s 744.7 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex24_GM04_Z.xml 1.8 / 0.8 s 22.1 / 12.2 s 677.1 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex24_GM04_iGM.xml 47.4 / 28.6 s 649.4 / 300.0 s 663.7 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_C.xml 3.5 / 1.3 s 65.8 / 25.9 s 30.1 / 13.5 s
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_FR.xml 0.5 / 0.4 s 2.0 / 1.1 s 689.1 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_GM.xml 0.8 / 0.5 s 2.5 / 1.1 s 656.6 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_L.xml 0.3 / 0.3 s 4.4 / 1.5 s 733.6 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex24_Luc06_iGM.xml 232.9 / 59.4 s 11.6 / 4.7 s 612.9 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_C.xml 21.5 / 5.8 s 48.0 / 13.1 s 0.7 / 0.2 s
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_FR.xml 4.9 / 1.5 s 16.7 / 4.6 s 0.2 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_GM.xml 2.7 / 0.9 s 10.6 / 3.0 s 0.1 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_L.xml 0.3 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_Z.xml 2.5 / 0.9 s 3.0 / 1.1 s 0.1 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex25_Luc06_iGM.xml 22.7 / 6.1 s 54.2 / 14.7 s 1.0 / 0.3 s
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_C.xml 17.8 / 6.0 s 10.2 / 3.3 s 16.9 / 7.7 s
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_FR.xml 192.8 / 59.4 s 12.6 / 3.9 s 9.6 / 4.3 s
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_GM.xml 9.8 / 3.0 s 3.9 / 1.5 s 1.5 / 0.7 s
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_L.xml 0.8 / 0.5 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex26_Luc03b_Z.xml 7.8 / 2.4 s 6.6 / 2.3 s 4.4 / 2.0 s
RS_Standard/Transformed_CSR_04/Ex26_Luc03b_iGM.xml 29.7 / 9.6 s 19.5 / 5.9 s 8.3 / 3.7 s
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_C.xml 234.7 / 59.5 s 9.6 / 3.1 s 16.8 / 7.7 s
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_FR.xml 3.7 / 1.3 s 2.7 / 1.2 s 0.3 / 0.2 s
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_GM.xml 198.9 / 59.4 s 6.0 / 2.1 s 16.5 / 7.5 s
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_L.xml 0.8 / 0.5 s 1.4 / 0.8 s 0.1 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_Z.xml 1.2 / 0.6 s 1.7 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex2_Luc02a_iGM.xml 234.3 / 59.6 s 14.1 / 4.4 s 20.9 / 9.3 s
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_C.xml 9.5 / 3.3 s 8.0 / 2.8 s 9.4 / 4.2 s
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_FR.xml 15.7 / 4.5 s 4.5 / 1.8 s 0.8 / 0.4 s
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_GM.xml 15.2 / 4.3 s 4.2 / 1.6 s 0.8 / 0.4 s
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_L.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_Z.xml 1.1 / 0.5 s 2.4 / 1.0 s 0.1 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex2_Luc03b_iGM.xml 15.5 / 4.9 s 7.8 / 2.7 s 3.5 / 1.6 s
RS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_C.xml 233.9 / 59.5 s 901.4 / 300.0 s 610.7 / 300.0 s
S_Standard/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml 0.6 / 0.4 s 1.4 / 0.8 s 1.1 / 0.5 s
S_Standard/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 192.3 / 59.4 s 879.5 / 300.0 s 605.2 / 300.0 s
RS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
RS_Standard/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 0.6 / 0.4 s 1.4 / 0.8 s 1.0 / 0.4 s
_Standard/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml 234.1 / 59.4 s 850.0 / 300.1 s 622.5 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_C.xml 234.2 / 59.4 s 884.5 / 300.1 s 621.2 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_FR.xml 162.4 / 59.4 s 490.8 / 300.1 s 636.6 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_GM.xml 173.0 / 59.4 s 654.1 / 300.0 s 633.3 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex3_2_Luc97_Z.xml 151.0 / 59.4 s 568.1 / 300.1 s 639.5 / 300.0 s
RS_Standard/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml 233.7 / 59.5 s 708.2 / 300.0 s 613.2 / 300.0 s
S_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml 12.2 / 4.0 s 7.6 / 2.7 s 16.6 / 7.6 s
_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml 194.3 / 59.4 s 69.6 / 24.2 s 623.0 / 300.0 s
_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 18.7 / 5.2 s 3.6 / 1.5 s 1.5 / 0.7 s
S_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 0.6 / 0.4 s 1.1 / 0.6 s 0.0 / 0.0 s
S_Standard/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml 0.3 / 0.3 s 3.4 / 1.5 s 694.0 / 300.0 s
Standard/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml 7.6 / 3.1 s 8.3 / 2.9 s 5.2 / 2.3 s
TRS_Standard/Transformed_CSR_04/Ex49_GM04_C.xml 41.1 / 11.0 s 8.1 / 2.6 s 24.3 / 11.2 s
TRS_Standard/Transformed_CSR_04/Ex49_GM04_FR.xml 24.1 / 6.7 s 12.3 / 3.9 s 2.0 / 0.9 s
TRS_Standard/Transformed_CSR_04/Ex49_GM04_GM.xml 19.3 / 5.4 s 3.3 / 1.4 s 0.7 / 0.3 s
TRS_Standard/Transformed_CSR_04/Ex49_GM04_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex49_GM04_Z.xml 2.2 / 1.0 s 2.4 / 1.1 s 0.3 / 0.2 s
TRS_Standard/Transformed_CSR_04/Ex49_GM04_iGM.xml 24.2 / 7.2 s 13.4 / 4.3 s 3.3 / 1.5 s
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_C.xml 2.2 / 0.8 s 1.7 / 0.8 s 0.3 / 0.1 s
RS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml 1.2 / 0.6 s 8.8 / 3.1 s 621.8 / 300.0 s
RS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 2.2 / 0.9 s 2.4 / 1.1 s 0.2 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_L.xml 0.6 / 0.4 s 1.0 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 0.5 / 0.4 s 2.7 / 1.2 s 628.5 / 300.0 s
S_Standard/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml 1.6 / 0.7 s 2.1 / 1.0 s 0.2 / 0.1 s
S_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml 14.3 / 4.0 s 35.7 / 13.3 s 9.0 / 4.2 s
_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml 0.9 / 0.5 s 2.4 / 1.1 s 0.1 / 0.1 s
_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 1.3 / 0.6 s 2.3 / 1.1 s 0.2 / 0.1 s
S_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 0.4 / 0.3 s 1.4 / 0.7 s 0.0 / 0.0 s
S_Standard/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 0.5 / 0.4 s 1.7 / 0.9 s 0.1 / 0.0 s
Standard/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml 3.1 / 1.1 s 6.8 / 2.5 s 0.9 / 0.4 s
S_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml 234.6 / 59.4 s 892.0 / 300.1 s 612.0 / 300.0 s
_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml 5.7 / 1.9 s 2.6 / 1.2 s 3.7 / 1.6 s
_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 201.3 / 59.5 s 905.9 / 300.1 s 635.6 / 300.0 s
S_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
S_Standard/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 1.8 / 0.8 s 1.9 / 1.0 s 3.0 / 1.3 s
Standard/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml 208.0 / 59.5 s 748.6 / 300.0 s 614.8 / 300.0 s
S_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml 234.1 / 59.5 s 899.1 / 300.1 s 611.0 / 300.0 s
_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml 0.6 / 0.4 s 1.4 / 0.8 s 0.1 / 0.1 s
_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 7.4 / 2.3 s 12.4 / 4.0 s 0.5 / 0.3 s
S_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
S_Standard/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 0.5 / 0.4 s 1.3 / 0.7 s 0.1 / 0.0 s
Standard/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml 19.8 / 5.7 s 16.4 / 5.1 s 1.9 / 0.9 s
S_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 3.5 / 1.2 s 3.2 / 1.4 s 13.2 / 6.0 s
_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 0.7 / 0.4 s 1.1 / 0.6 s 0.1 / 0.1 s
S_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
Standard/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml 1.4 / 0.6 s 2.3 / 1.0 s 0.5 / 0.2 s
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_C.xml 235.2 / 59.6 s 918.0 / 300.1 s 633.1 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_FR.xml 8.2 / 2.6 s 41.8 / 11.8 s 642.9 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_GM.xml 233.5 / 59.5 s 39.0 / 10.8 s 8.4 / 3.8 s
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex4_DLMMU04_Z.xml 7.7 / 2.5 s 41.0 / 11.6 s 643.7 / 300.0 s
RS_Standard/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml 234.1 / 60.0 s 89.2 / 25.2 s 46.0 / 19.6 s
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_C.xml 234.2 / 59.5 s 886.2 / 300.0 s 612.4 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_FR.xml 0.8 / 0.5 s 1.5 / 0.8 s 1.5 / 0.7 s
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_GM.xml 194.8 / 59.5 s 1163.3 / 300.1 s 617.9 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_Z.xml 0.7 / 0.5 s 1.5 / 0.8 s 1.3 / 0.6 s
TRS_Standard/Transformed_CSR_04/Ex4_Zan97_iGM.xml 234.0 / 59.5 s 721.5 / 300.0 s 614.6 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_C.xml 235.3 / 59.6 s 910.9 / 300.0 s 611.4 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_FR.xml 162.6 / 59.4 s 1157.3 / 300.0 s 676.9 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_GM.xml 196.5 / 59.5 s 1155.3 / 300.1 s 633.4 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex5_7_Luc97_Z.xml 154.7 / 59.3 s 1156.9 / 300.0 s 675.4 / 300.0 s
RS_Standard/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml 234.7 / 59.6 s 727.5 / 300.0 s 630.6 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_C.xml 235.0 / 59.5 s 18.3 / 5.5 s 619.2 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_FR.xml 149.7 / 59.4 s 26.1 / 10.4 s 647.4 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_GM.xml 22.2 / 6.1 s 8.6 / 2.8 s 2.6 / 1.2 s
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex5_DLMMU04_Z.xml 4.2 / 1.3 s 6.6 / 2.3 s 835.4 / 300.0 s
RS_Standard/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml 162.4 / 43.9 s 24.0 / 7.4 s 16.6 / 7.2 s
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_C.xml 7.1 / 2.2 s 4.3 / 1.7 s 45.2 / 20.6 s
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_FR.xml 0.8 / 0.5 s 1.8 / 0.9 s 0.1 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_GM.xml 1.4 / 0.6 s 2.1 / 0.9 s 0.4 / 0.2 s
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_Z.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex5_Zan97_iGM.xml 2.6 / 0.9 s 4.2 / 1.6 s 1.0 / 0.5 s
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_C.xml 235.3 / 59.6 s 890.1 / 300.1 s 620.0 / 300.0 s
RS_Standard/Transformed_CSR_04/Ex6_15_AEL02_FR.xml 148.2 / 59.5 s 771.9 / 300.0 s 675.2 / 300.0 s
RS_Standard/Transformed_CSR_04/Ex6_15_AEL02_GM.xml 207.7 / 59.6 s 1182.9 / 300.0 s 629.0 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_L.xml 0.3 / 0.3 s 0.8 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_Z.xml 32.1 / 10.6 s 28.3 / 9.3 s 670.0 / 300.0 s
S_Standard/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml 234.8 / 59.6 s 765.9 / 300.1 s 682.8 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_C.xml 4.3 / 1.4 s 2.1 / 0.9 s 0.8 / 0.4 s
RS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 0.8 / 0.5 s 1.4 / 0.8 s 0.1 / 0.0 s
RS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 7.0 / 2.2 s 6.7 / 2.3 s 0.5 / 0.2 s
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 1.3 / 0.7 s 1.3 / 0.7 s 0.0 / 0.0 s
S_Standard/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml 43.3 / 11.7 s 23.0 / 6.9 s 4.3 / 1.9 s
TRS_Standard/Transformed_CSR_04/Ex6_GM04_C.xml 2.1 / 0.8 s 18.4 / 5.3 s 0.2 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex6_GM04_FR.xml 1.0 / 0.6 s 6.0 / 1.9 s 649.1 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex6_GM04_GM.xml 0.4 / 0.3 s 2.4 / 0.9 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex6_GM04_L.xml 0.3 / 0.3 s 1.0 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex6_GM04_iGM.xml 1.0 / 0.5 s 4.0 / 1.4 s 0.2 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_C.xml 8.0 / 2.7 s 5.5 / 2.0 s 6.0 / 2.7 s
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_FR.xml 3.6 / 1.3 s 3.1 / 1.3 s 0.2 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_GM.xml 8.6 / 2.6 s 2.8 / 1.2 s 0.3 / 0.2 s
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_L.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_Z.xml 0.6 / 0.4 s 1.7 / 0.8 s 0.1 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex6_Luc98_iGM.xml 3.4 / 1.4 s 5.2 / 2.1 s 1.1 / 0.5 s
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_C.xml 234.6 / 59.5 s 857.5 / 300.0 s 622.6 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_FR.xml 4.7 / 1.6 s 2.6 / 1.2 s 2.8 / 1.2 s
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_GM.xml 194.1 / 59.5 s 761.0 / 300.0 s 634.6 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_Z.xml 1.0 / 0.6 s 1.6 / 0.8 s 2.1 / 0.9 s
TRS_Standard/Transformed_CSR_04/Ex7_BLR02_iGM.xml 234.1 / 59.5 s 680.4 / 300.0 s 612.4 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_C.xml 234.5 / 59.5 s 839.0 / 300.0 s 622.6 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_FR.xml 1.0 / 0.6 s 1.6 / 0.8 s 2.6 / 1.2 s
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_GM.xml 192.4 / 59.5 s 1140.5 / 300.1 s 610.0 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_Z.xml 0.9 / 0.6 s 1.4 / 0.8 s 1.9 / 0.8 s
TRS_Standard/Transformed_CSR_04/Ex8_BLR02_iGM.xml 233.8 / 59.5 s 746.1 / 300.1 s 648.5 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_C.xml 17.2 / 5.2 s 8.5 / 2.8 s 18.5 / 8.3 s
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_FR.xml 11.0 / 3.3 s 12.9 / 4.1 s 0.5 / 0.3 s
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_GM.xml 10.9 / 3.3 s 3.7 / 1.5 s 1.7 / 0.8 s
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_L.xml 0.6 / 0.4 s 1.1 / 0.7 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_Z.xml 4.3 / 1.6 s 2.9 / 1.3 s 0.2 / 0.1 s
TRS_Standard/Transformed_CSR_04/Ex9_BLR02_iGM.xml 26.4 / 7.9 s 12.4 / 4.0 s 4.4 / 2.0 s
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_C.xml 232.7 / 59.5 s 904.0 / 300.0 s 185.4 / 90.9 s
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_FR.xml 0.5 / 0.4 s 1.6 / 0.9 s 694.5 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_GM.xml 154.2 / 59.4 s 7.6 / 2.7 s 645.7 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_L.xml 0.5 / 0.4 s 1.7 / 1.0 s 647.2 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex9_Luc04_iGM.xml 144.9 / 59.3 s 276.4 / 107.3 s 616.4 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_C.xml 2.8 / 1.0 s 43.1 / 18.1 s 29.5 / 13.5 s
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_FR.xml 1.2 / 0.7 s 1.8 / 1.0 s 675.1 / 300.0 s
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_GM.xml 0.5 / 0.4 s 1.8 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Transformed_CSR_04/Ex9_Luc06_iGM.xml 3.1 / 1.2 s 2.9 / 1.3 s 0.3 / 0.2 s
tandard/Transformed_CSR_04/ExAppendixB_AEL03_C.xml 267.8 / 59.6 s 891.1 / 300.0 s 628.8 / 300.0 s
andard/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml 1.5 / 0.8 s 2.0 / 1.0 s 10.2 / 4.5 s
andard/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 216.3 / 59.5 s 138.7 / 37.2 s 71.7 / 32.8 s
tandard/Transformed_CSR_04/ExAppendixB_AEL03_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
tandard/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 1.5 / 0.7 s 2.0 / 1.0 s 9.8 / 4.3 s
ndard/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml 172.5 / 59.4 s 131.4 / 40.7 s 141.6 / 64.7 s
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_C.xml 4.2 / 1.3 s 32.9 / 9.1 s 0.5 / 0.2 s
RS_Standard/Transformed_CSR_04/ExConc_Zan97_FR.xml 5.8 / 1.8 s 9.1 / 2.7 s 0.1 / 0.0 s
RS_Standard/Transformed_CSR_04/ExConc_Zan97_GM.xml 4.2 / 1.3 s 9.0 / 2.6 s 0.1 / 0.0 s
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_L.xml 0.3 / 0.3 s 1.0 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Transformed_CSR_04/ExConc_Zan97_Z.xml 0.3 / 0.3 s 0.9 / 0.6 s 1193.9 / 300.0 s
S_Standard/Transformed_CSR_04/ExConc_Zan97_iGM.xml 8.5 / 2.4 s 36.1 / 9.8 s 0.4 / 0.1 s
RS_Standard/Transformed_CSR_04/ExIntrod_GM01_C.xml 13.5 / 3.9 s 9.2 / 2.9 s 612.4 / 300.0 s
S_Standard/Transformed_CSR_04/ExIntrod_GM01_FR.xml 4.4 / 1.7 s 21.6 / 9.3 s 692.3 / 300.0 s
S_Standard/Transformed_CSR_04/ExIntrod_GM01_GM.xml 7.2 / 2.2 s 5.2 / 1.9 s 1.6 / 0.7 s
RS_Standard/Transformed_CSR_04/ExIntrod_GM01_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
RS_Standard/Transformed_CSR_04/ExIntrod_GM01_Z.xml 3.8 / 1.5 s 14.9 / 7.9 s 661.4 / 300.0 s
_Standard/Transformed_CSR_04/ExIntrod_GM01_iGM.xml 7.1 / 2.4 s 15.6 / 4.9 s 34.0 / 15.1 s
RS_Standard/Transformed_CSR_04/ExIntrod_GM04_C.xml 21.3 / 5.8 s 8.1 / 2.6 s 603.9 / 300.0 s
S_Standard/Transformed_CSR_04/ExIntrod_GM04_FR.xml 119.5 / 36.4 s 23.9 / 10.1 s 706.8 / 300.0 s
S_Standard/Transformed_CSR_04/ExIntrod_GM04_GM.xml 1.4 / 0.6 s 3.4 / 1.4 s 0.5 / 0.2 s
RS_Standard/Transformed_CSR_04/ExIntrod_GM04_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
RS_Standard/Transformed_CSR_04/ExIntrod_GM04_Z.xml 5.4 / 1.9 s 19.1 / 8.6 s 659.0 / 300.0 s
_Standard/Transformed_CSR_04/ExIntrod_GM04_iGM.xml 17.5 / 5.0 s 13.9 / 4.4 s 5.1 / 2.3 s
RS_Standard/Transformed_CSR_04/ExIntrod_GM99_C.xml 235.2 / 59.6 s 910.0 / 300.1 s 626.0 / 300.0 s
S_Standard/Transformed_CSR_04/ExIntrod_GM99_FR.xml 233.9 / 59.4 s 882.2 / 300.0 s 675.7 / 300.0 s
S_Standard/Transformed_CSR_04/ExIntrod_GM99_GM.xml 200.0 / 59.4 s 82.9 / 22.2 s 36.0 / 16.0 s
RS_Standard/Transformed_CSR_04/ExIntrod_GM99_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
RS_Standard/Transformed_CSR_04/ExIntrod_GM99_Z.xml 3.0 / 1.4 s 13.1 / 5.0 s 675.6 / 300.0 s
_Standard/Transformed_CSR_04/ExIntrod_GM99_iGM.xml 234.0 / 59.5 s 802.7 / 300.0 s 72.3 / 30.7 s
S_Standard/Transformed_CSR_04/ExIntrod_Zan97_C.xml 234.7 / 59.5 s 862.0 / 300.0 s 620.1 / 300.0 s
_Standard/Transformed_CSR_04/ExIntrod_Zan97_FR.xml 183.8 / 59.4 s 428.2 / 300.0 s 647.0 / 300.0 s
_Standard/Transformed_CSR_04/ExIntrod_Zan97_GM.xml 157.7 / 59.3 s 812.4 / 300.0 s 622.8 / 300.0 s
S_Standard/Transformed_CSR_04/ExIntrod_Zan97_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
S_Standard/Transformed_CSR_04/ExIntrod_Zan97_Z.xml 0.3 / 0.3 s 4.0 / 1.7 s 666.1 / 300.0 s
Standard/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml 151.6 / 59.5 s 830.5 / 300.1 s 613.6 / 300.0 s
RS_Standard/Transformed_CSR_04/ExProp7_Luc06_C.xml 13.4 / 3.8 s 33.5 / 12.7 s 2.6 / 1.1 s
S_Standard/Transformed_CSR_04/ExProp7_Luc06_FR.xml 1.1 / 0.6 s 2.3 / 1.1 s 0.2 / 0.1 s
S_Standard/Transformed_CSR_04/ExProp7_Luc06_GM.xml 1.6 / 0.7 s 2.4 / 1.1 s 0.6 / 0.3 s
RS_Standard/Transformed_CSR_04/ExProp7_Luc06_L.xml 0.5 / 0.4 s 1.4 / 0.7 s 0.1 / 0.1 s
RS_Standard/Transformed_CSR_04/ExProp7_Luc06_Z.xml 0.7 / 0.4 s 1.8 / 0.9 s 0.1 / 0.1 s
_Standard/Transformed_CSR_04/ExProp7_Luc06_iGM.xml 3.6 / 1.2 s 11.5 / 3.6 s 1.8 / 0.8 s
Standard/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml 234.4 / 59.5 s 12.5 / 3.9 s 20.8 / 9.6 s
tandard/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml 8.4 / 2.6 s 2.7 / 1.2 s 0.3 / 0.2 s
tandard/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 205.0 / 59.4 s 6.2 / 2.2 s 24.4 / 10.9 s
Standard/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml 1.0 / 0.6 s 1.5 / 0.8 s 0.1 / 0.1 s
Standard/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml 1.3 / 0.7 s 1.8 / 0.9 s 0.1 / 0.1 s
andard/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml 234.6 / 59.6 s 17.6 / 5.4 s 31.8 / 13.3 s
Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml 235.3 / 59.6 s 901.5 / 300.0 s 643.0 / 300.0 s
tandard/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml 1.6 / 0.9 s 1.7 / 0.9 s 4.5 / 2.0 s
tandard/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 200.3 / 59.5 s 702.2 / 300.0 s 639.9 / 300.0 s
Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
Standard/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 1.4 / 0.9 s 1.9 / 0.9 s 4.2 / 1.9 s
andard/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml 234.5 / 59.5 s 822.9 / 300.1 s 646.3 / 300.0 s
sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml 256.4 / 59.8 s 865.4 / 300.1 s 648.1 / 300.0 s
nsformed_CSR_04/LISTUTILITIES_complete-noand_L.xml 0.4 / 0.4 s 1.1 / 0.7 s 0.1 / 0.1 s
nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml 234.1 / 59.8 s 879.2 / 300.0 s 646.0 / 300.0 s
rd/Transformed_CSR_04/LISTUTILITIES_complete_C.xml 231.7 / 60.0 s 766.4 / 300.0 s 654.5 / 300.0 s
d/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml 234.3 / 59.7 s 858.9 / 300.0 s 673.2 / 300.0 s
d/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 232.8 / 59.7 s 597.1 / 300.0 s 665.9 / 300.0 s
rd/Transformed_CSR_04/LISTUTILITIES_complete_L.xml 0.3 / 0.3 s 1.0 / 0.6 s 0.0 / 0.0 s
rd/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml 234.6 / 59.7 s 807.0 / 300.0 s 661.3 / 300.0 s
/Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml 225.0 / 60.0 s 650.9 / 300.1 s 739.3 / 300.0 s
nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml 134.3 / 60.5 s 314.2 / 300.0 s 739.2 / 300.0 s
sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 213.3 / 59.9 s 572.3 / 300.0 s 729.8 / 300.0 s
formed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml 141.3 / 60.7 s 706.2 / 300.1 s 740.3 / 300.0 s
nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml 234.1 / 59.6 s 769.7 / 300.0 s 662.0 / 300.0 s
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml 0.3 / 0.3 s 1.0 / 0.6 s 0.0 / 0.0 s
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml 235.0 / 59.6 s 783.5 / 300.0 s 656.1 / 300.0 s
ard/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml 235.0 / 59.8 s 785.5 / 300.1 s 677.7 / 300.0 s
rd/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml 234.3 / 59.6 s 972.8 / 300.0 s 651.1 / 300.0 s
rd/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 234.4 / 59.6 s 707.8 / 300.0 s 664.3 / 300.0 s
ard/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml 0.3 / 0.3 s 0.9 / 0.6 s 0.0 / 0.0 s
ard/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml 234.6 / 59.6 s 997.9 / 300.0 s 652.6 / 300.0 s
d/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml 233.9 / 59.8 s 691.5 / 300.0 s 727.1 / 300.0 s
ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml 232.5 / 59.9 s 763.1 / 300.0 s 657.7 / 300.0 s
nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 233.5 / 59.7 s 591.7 / 300.0 s 670.2 / 300.0 s
sformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml 230.6 / 60.1 s 680.3 / 300.0 s 743.0 / 300.0 s
nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml 4.5 / 1.7 s 3.7 / 1.7 s 16.4 / 7.3 s
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml 0.3 / 0.3 s 0.9 / 0.6 s 0.0 / 0.0 s
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 3.8 / 1.7 s 4.3 / 1.8 s 16.1 / 7.2 s
ard/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml 235.2 / 59.6 s 898.8 / 300.1 s 629.1 / 300.0 s
rd/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml 2.6 / 1.0 s 2.6 / 1.2 s 4.9 / 2.2 s
rd/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 208.3 / 59.5 s 774.2 / 300.0 s 615.6 / 300.0 s
ard/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
ard/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 1.8 / 0.9 s 2.0 / 1.0 s 4.5 / 2.0 s
d/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml 234.6 / 59.6 s 723.5 / 300.0 s 647.1 / 300.0 s
ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml 234.4 / 59.7 s 855.2 / 300.0 s 662.2 / 300.0 s
nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 234.0 / 59.6 s 567.9 / 300.0 s 662.2 / 300.0 s
sformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml 233.5 / 59.8 s 658.0 / 300.0 s 731.2 / 300.0 s
d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml 235.0 / 59.6 s 833.6 / 300.0 s 622.0 / 300.0 s
ed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 0.3 / 0.3 s 0.9 / 0.6 s 0.0 / 0.0 s
ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml 234.9 / 59.5 s 818.4 / 300.0 s 621.7 / 300.0 s
nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml 235.2 / 59.6 s 872.4 / 300.1 s 631.0 / 300.0 s
sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml 235.0 / 59.5 s 1131.5 / 300.0 s 637.2 / 300.0 s
sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 121.1 / 35.0 s 21.0 / 6.4 s 18.7 / 8.3 s
nsformed_CSR_04/LengthOfFiniteLists_complete_L.xml 0.3 / 0.3 s 0.9 / 0.6 s 0.0 / 0.0 s
nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml 235.2 / 59.6 s 1073.2 / 300.0 s 636.2 / 300.0 s
formed_CSR_04/LengthOfFiniteLists_complete_iGM.xml 232.7 / 59.7 s 803.1 / 300.0 s 679.2 / 300.0 s
ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml 234.6 / 59.7 s 840.9 / 300.0 s 665.3 / 300.0 s
d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 183.2 / 56.5 s 25.4 / 7.7 s 13.6 / 6.2 s
_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml 232.5 / 59.8 s 377.5 / 165.6 s 730.7 / 300.0 s
ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml 158.9 / 59.4 s 112.1 / 29.4 s 651.8 / 300.0 s
med_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml 157.0 / 59.4 s 57.9 / 15.5 s 651.9 / 300.0 s
ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml 235.4 / 59.6 s 859.7 / 300.1 s 612.5 / 300.0 s
nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml 234.5 / 59.5 s 84.4 / 23.7 s 606.2 / 300.0 s
nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 15.0 / 4.2 s 4.7 / 1.7 s 3.7 / 1.7 s
ansformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml 234.5 / 59.5 s 84.6 / 24.2 s 604.5 / 300.0 s
sformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml 234.7 / 59.5 s 175.2 / 63.8 s 609.0 / 300.0 s
med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml 235.3 / 59.6 s 895.6 / 300.1 s 613.5 / 300.0 s
ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 12.4 / 3.6 s 9.5 / 3.0 s 2.5 / 1.2 s
d_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml 233.9 / 60.5 s 62.0 / 19.3 s 56.7 / 24.3 s
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 1.2 / 0.6 s 4.1 / 1.6 s 651.1 / 300.0 s
med_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml 235.2 / 59.5 s 784.5 / 300.1 s 607.8 / 300.0 s
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 1.7 / 1.2 s 2.8 / 1.3 s 645.8 / 300.0 s
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 2.9 / 1.3 s 3.6 / 1.6 s 629.3 / 300.0 s
ansformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
sformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml 30.9 / 8.2 s 32.5 / 10.7 s 607.5 / 300.0 s
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 235.0 / 59.5 s 832.7 / 300.0 s 604.5 / 300.0 s
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 4.1 / 1.4 s 10.8 / 3.6 s 627.3 / 300.0 s
d_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml 234.8 / 59.6 s 766.1 / 300.0 s 604.6 / 300.0 s
ard/Transformed_CSR_04/MYNAT_complete-noand_FR.xml 234.8 / 59.6 s 37.8 / 11.2 s 584.9 / 285.3 s
dard/Transformed_CSR_04/MYNAT_complete-noand_L.xml 0.3 / 0.3 s 0.9 / 0.6 s 0.0 / 0.0 s
dard/Transformed_CSR_04/MYNAT_complete-noand_Z.xml 234.9 / 59.6 s 36.5 / 11.6 s 572.7 / 280.0 s
S_Standard/Transformed_CSR_04/MYNAT_complete_C.xml 235.4 / 59.7 s 13.5 / 4.4 s 113.5 / 52.6 s
_Standard/Transformed_CSR_04/MYNAT_complete_FR.xml 234.0 / 59.5 s 3.4 / 1.4 s 88.5 / 41.3 s
_Standard/Transformed_CSR_04/MYNAT_complete_GM.xml 228.6 / 59.6 s 4.3 / 1.7 s 147.7 / 68.4 s
S_Standard/Transformed_CSR_04/MYNAT_complete_L.xml 0.3 / 0.3 s 0.8 / 0.6 s 0.0 / 0.0 s
S_Standard/Transformed_CSR_04/MYNAT_complete_Z.xml 234.2 / 59.5 s 3.1 / 1.3 s 126.1 / 59.4 s
Standard/Transformed_CSR_04/MYNAT_complete_iGM.xml 228.9 / 59.5 s 8.2 / 2.8 s 427.5 / 191.3 s
dard/Transformed_CSR_04/MYNAT_complete_noand_C.xml 234.2 / 59.8 s 790.6 / 300.1 s 649.6 / 300.0 s
ard/Transformed_CSR_04/MYNAT_complete_noand_GM.xml 236.3 / 59.6 s 31.8 / 9.6 s 624.3 / 300.0 s
rd/Transformed_CSR_04/MYNAT_complete_noand_iGM.xml 232.5 / 60.0 s 684.5 / 279.3 s 733.5 / 300.0 s
dard/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml 165.5 / 59.5 s 8.6 / 2.9 s 64.5 / 30.3 s
ndard/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml 0.3 / 0.3 s 0.8 / 0.6 s 0.0 / 0.0 s
ndard/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml 160.1 / 59.5 s 8.6 / 2.8 s 61.9 / 29.3 s
RS_Standard/Transformed_CSR_04/MYNAT_nokinds_C.xml 235.2 / 59.6 s 4.7 / 1.8 s 40.3 / 17.8 s
S_Standard/Transformed_CSR_04/MYNAT_nokinds_FR.xml 161.9 / 59.4 s 2.4 / 1.1 s 42.5 / 19.9 s
S_Standard/Transformed_CSR_04/MYNAT_nokinds_GM.xml 170.9 / 59.4 s 2.7 / 1.2 s 55.2 / 26.0 s
RS_Standard/Transformed_CSR_04/MYNAT_nokinds_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
RS_Standard/Transformed_CSR_04/MYNAT_nokinds_Z.xml 161.0 / 59.3 s 2.2 / 1.0 s 33.0 / 15.0 s
_Standard/Transformed_CSR_04/MYNAT_nokinds_iGM.xml 166.0 / 59.5 s 4.8 / 1.8 s 103.8 / 46.6 s
ndard/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml 235.2 / 59.6 s 900.5 / 300.0 s 631.3 / 300.0 s
dard/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 185.7 / 59.6 s 12.9 / 4.2 s 99.6 / 47.3 s
ard/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml 193.8 / 59.5 s 76.1 / 22.0 s 238.1 / 111.3 s
dard/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 1.7 / 0.8 s 2.0 / 0.9 s 6.7 / 2.9 s
ndard/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
RS_Standard/Transformed_CSR_04/MYNAT_nosorts_C.xml 234.0 / 59.5 s 3.7 / 1.6 s 8.0 / 3.6 s
S_Standard/Transformed_CSR_04/MYNAT_nosorts_FR.xml 0.5 / 0.4 s 1.3 / 0.7 s 0.0 / 0.0 s
S_Standard/Transformed_CSR_04/MYNAT_nosorts_GM.xml 170.3 / 59.4 s 1.8 / 0.9 s 9.3 / 4.2 s
RS_Standard/Transformed_CSR_04/MYNAT_nosorts_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
_Standard/Transformed_CSR_04/MYNAT_nosorts_iGM.xml 234.2 / 59.4 s 3.2 / 1.4 s 10.0 / 4.5 s
ndard/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml 235.1 / 59.6 s 6.4 / 2.4 s 617.0 / 300.0 s
dard/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 150.7 / 59.5 s 2.6 / 1.2 s 29.0 / 13.8 s
ard/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml 156.9 / 59.6 s 6.4 / 2.3 s 69.5 / 32.7 s
/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml 235.1 / 59.6 s 337.5 / 87.9 s 663.0 / 300.0 s
d/Transformed_CSR_04/OvConsOS_complete-noand_L.xml 0.3 / 0.3 s 1.0 / 0.6 s 0.0 / 0.0 s
d/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml 235.3 / 59.6 s 376.8 / 100.3 s 662.2 / 300.0 s
tandard/Transformed_CSR_04/OvConsOS_complete_C.xml 235.1 / 59.7 s 851.3 / 300.0 s 689.3 / 300.0 s
andard/Transformed_CSR_04/OvConsOS_complete_FR.xml 234.1 / 59.5 s 1138.7 / 300.1 s 653.0 / 300.0 s
andard/Transformed_CSR_04/OvConsOS_complete_GM.xml 234.8 / 59.7 s 887.3 / 300.0 s 667.1 / 300.0 s
tandard/Transformed_CSR_04/OvConsOS_complete_L.xml 0.3 / 0.3 s 0.9 / 0.6 s 0.0 / 0.0 s
tandard/Transformed_CSR_04/OvConsOS_complete_Z.xml 234.3 / 59.6 s 541.0 / 300.0 s 642.9 / 300.0 s
ndard/Transformed_CSR_04/OvConsOS_complete_iGM.xml 232.7 / 59.7 s 766.9 / 300.0 s 725.1 / 300.0 s
d/Transformed_CSR_04/OvConsOS_complete_noand_C.xml 232.0 / 59.9 s 775.4 / 300.0 s 649.4 / 300.0 s
/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 234.0 / 59.7 s 38.9 / 12.2 s 53.8 / 23.8 s
Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml 228.0 / 60.0 s 724.3 / 300.0 s 744.4 / 300.0 s
d/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml 233.1 / 59.4 s 184.3 / 64.9 s 641.3 / 300.0 s
rd/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml 0.3 / 0.3 s 0.9 / 0.6 s 0.0 / 0.0 s
rd/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml 189.5 / 59.4 s 150.6 / 57.8 s 645.3 / 300.0 s
Standard/Transformed_CSR_04/OvConsOS_nokinds_C.xml 235.4 / 59.6 s 907.5 / 300.1 s 634.1 / 300.0 s
tandard/Transformed_CSR_04/OvConsOS_nokinds_FR.xml 233.0 / 59.5 s 326.8 / 84.9 s 629.7 / 300.0 s
tandard/Transformed_CSR_04/OvConsOS_nokinds_GM.xml 233.7 / 59.5 s 795.6 / 300.1 s 625.3 / 300.0 s
Standard/Transformed_CSR_04/OvConsOS_nokinds_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
Standard/Transformed_CSR_04/OvConsOS_nokinds_Z.xml 233.6 / 59.5 s 362.0 / 100.8 s 614.0 / 300.0 s
andard/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml 233.9 / 59.6 s 864.2 / 300.1 s 643.9 / 300.0 s
rd/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml 235.4 / 59.7 s 882.0 / 300.1 s 661.6 / 300.0 s
d/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 84.5 / 23.1 s 17.5 / 5.4 s 6.7 / 3.1 s
/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml 233.0 / 59.6 s 142.6 / 54.0 s 341.3 / 143.5 s
d/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 210.5 / 59.4 s 14.5 / 5.6 s 625.2 / 300.0 s
rd/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
rd/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 79.4 / 23.0 s 11.2 / 4.3 s 633.6 / 300.0 s
Standard/Transformed_CSR_04/OvConsOS_nosorts_C.xml 235.2 / 59.6 s 857.1 / 300.0 s 605.7 / 300.0 s
tandard/Transformed_CSR_04/OvConsOS_nosorts_FR.xml 2.6 / 1.3 s 4.0 / 1.6 s 650.4 / 300.0 s
tandard/Transformed_CSR_04/OvConsOS_nosorts_GM.xml 4.0 / 1.3 s 11.1 / 5.0 s 618.5 / 300.0 s
Standard/Transformed_CSR_04/OvConsOS_nosorts_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
Standard/Transformed_CSR_04/OvConsOS_nosorts_Z.xml 3.6 / 1.3 s 3.9 / 1.6 s 664.9 / 300.0 s
andard/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml 236.2 / 59.5 s 69.8 / 20.5 s 615.5 / 300.0 s
rd/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml 237.4 / 59.5 s 913.9 / 300.1 s 637.2 / 300.0 s
d/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 149.7 / 59.4 s 40.9 / 13.0 s 647.9 / 300.0 s
/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml 234.3 / 59.6 s 872.8 / 300.0 s 654.3 / 300.0 s
ransformed_CSR_04/PALINDROME_complete-noand_FR.xml 32.9 / 9.3 s 4.3 / 1.7 s 180.9 / 85.1 s
Transformed_CSR_04/PALINDROME_complete-noand_L.xml 0.3 / 0.3 s 78.8 / 23.8 s 612.8 / 300.0 s
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml 39.2 / 10.7 s 4.4 / 1.7 s 170.9 / 80.1 s
ndard/Transformed_CSR_04/PALINDROME_complete_C.xml 235.2 / 59.7 s 16.6 / 5.5 s 128.0 / 59.8 s
dard/Transformed_CSR_04/PALINDROME_complete_FR.xml 73.5 / 19.4 s 3.8 / 1.5 s 80.3 / 36.7 s
dard/Transformed_CSR_04/PALINDROME_complete_GM.xml 208.9 / 63.8 s 5.9 / 2.2 s 163.5 / 75.1 s
ndard/Transformed_CSR_04/PALINDROME_complete_L.xml 0.3 / 0.3 s 0.9 / 0.6 s 0.0 / 0.0 s
ndard/Transformed_CSR_04/PALINDROME_complete_Z.xml 26.5 / 7.6 s 3.7 / 1.5 s 70.8 / 32.2 s
ard/Transformed_CSR_04/PALINDROME_complete_iGM.xml 233.4 / 59.8 s 7.6 / 2.7 s 661.1 / 282.6 s
Transformed_CSR_04/PALINDROME_complete_noand_C.xml 234.3 / 59.9 s 22.5 / 7.3 s 459.3 / 217.5 s
ransformed_CSR_04/PALINDROME_complete_noand_GM.xml 152.9 / 58.7 s 10.3 / 3.6 s 334.9 / 153.7 s
ansformed_CSR_04/PALINDROME_complete_noand_iGM.xml 230.8 / 59.9 s 20.7 / 6.9 s 736.5 / 300.0 s
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml 5.9 / 1.9 s 1.7 / 0.8 s 10.9 / 4.9 s
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml 0.3 / 0.3 s 22.2 / 9.4 s 680.0 / 300.0 s
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml 4.1 / 1.4 s 2.2 / 0.9 s 10.4 / 4.7 s
andard/Transformed_CSR_04/PALINDROME_nokinds_C.xml 14.7 / 4.4 s 8.6 / 2.8 s 16.0 / 7.3 s
ndard/Transformed_CSR_04/PALINDROME_nokinds_FR.xml 3.4 / 1.2 s 1.4 / 0.7 s 8.4 / 3.8 s
ndard/Transformed_CSR_04/PALINDROME_nokinds_GM.xml 5.2 / 1.6 s 1.5 / 0.7 s 13.2 / 6.0 s
andard/Transformed_CSR_04/PALINDROME_nokinds_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
andard/Transformed_CSR_04/PALINDROME_nokinds_Z.xml 3.5 / 1.2 s 1.5 / 0.7 s 8.8 / 4.0 s
dard/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml 14.9 / 4.9 s 5.2 / 1.8 s 26.0 / 11.6 s
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml 73.0 / 33.9 s 15.9 / 4.8 s 51.8 / 24.2 s
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml 25.4 / 7.3 s 2.7 / 1.1 s 35.5 / 15.9 s
ransformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml 180.6 / 100.0 s 17.9 / 5.3 s 121.0 / 52.6 s
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml 0.6 / 0.4 s 1.1 / 0.6 s 0.1 / 0.0 s
/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml 0.8 / 0.4 s 1.1 / 0.6 s 0.1 / 0.0 s
andard/Transformed_CSR_04/PALINDROME_nosorts_C.xml 7.6 / 2.3 s 3.9 / 1.5 s 5.9 / 2.6 s
ndard/Transformed_CSR_04/PALINDROME_nosorts_FR.xml 0.7 / 0.4 s 1.1 / 0.6 s 0.1 / 0.0 s
ndard/Transformed_CSR_04/PALINDROME_nosorts_GM.xml 1.3 / 0.6 s 1.2 / 0.7 s 4.5 / 2.1 s
andard/Transformed_CSR_04/PALINDROME_nosorts_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
dard/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml 3.9 / 1.3 s 3.1 / 1.3 s 7.2 / 3.1 s
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 9.9 / 2.9 s 5.3 / 1.9 s 6.6 / 3.0 s
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml 2.8 / 1.0 s 1.1 / 0.7 s 4.8 / 2.1 s
ransformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml 3.6 / 1.2 s 3.1 / 1.3 s 7.9 / 3.5 s
ard/Transformed_CSR_04/PEANO_complete-noand_FR.xml 33.0 / 9.0 s 14.5 / 4.4 s 46.1 / 20.5 s
dard/Transformed_CSR_04/PEANO_complete-noand_L.xml 0.3 / 0.3 s 0.8 / 0.6 s 0.0 / 0.0 s
dard/Transformed_CSR_04/PEANO_complete-noand_Z.xml 33.3 / 9.0 s 13.1 / 4.0 s 45.1 / 19.8 s
S_Standard/Transformed_CSR_04/PEANO_complete_C.xml 235.2 / 59.6 s 6.7 / 2.4 s 47.0 / 21.7 s
_Standard/Transformed_CSR_04/PEANO_complete_FR.xml 67.0 / 17.5 s 2.7 / 1.2 s 35.1 / 15.4 s
_Standard/Transformed_CSR_04/PEANO_complete_GM.xml 37.4 / 10.9 s 3.4 / 1.4 s 35.4 / 15.7 s
S_Standard/Transformed_CSR_04/PEANO_complete_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
S_Standard/Transformed_CSR_04/PEANO_complete_Z.xml 11.8 / 3.5 s 2.6 / 1.1 s 32.1 / 14.0 s
Standard/Transformed_CSR_04/PEANO_complete_iGM.xml 232.8 / 60.2 s 5.1 / 1.9 s 119.3 / 51.3 s
dard/Transformed_CSR_04/PEANO_complete_noand_C.xml 235.2 / 59.7 s 879.6 / 300.0 s 650.9 / 300.0 s
ard/Transformed_CSR_04/PEANO_complete_noand_GM.xml 62.1 / 17.2 s 9.9 / 3.4 s 61.9 / 26.9 s
rd/Transformed_CSR_04/PEANO_complete_noand_iGM.xml 257.8 / 59.7 s 169.1 / 69.0 s 488.1 / 208.5 s
dard/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml 18.4 / 5.2 s 4.9 / 1.9 s 10.3 / 4.4 s
ndard/Transformed_CSR_04/PEANO_nokinds-noand_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
ndard/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml 16.6 / 4.7 s 5.2 / 1.9 s 9.0 / 3.9 s
RS_Standard/Transformed_CSR_04/PEANO_nokinds_C.xml 234.5 / 59.5 s 5.4 / 1.9 s 17.3 / 7.9 s
S_Standard/Transformed_CSR_04/PEANO_nokinds_FR.xml 4.9 / 1.6 s 1.9 / 0.9 s 9.5 / 4.2 s
S_Standard/Transformed_CSR_04/PEANO_nokinds_GM.xml 27.0 / 7.6 s 2.1 / 1.0 s 6.6 / 2.9 s
RS_Standard/Transformed_CSR_04/PEANO_nokinds_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
RS_Standard/Transformed_CSR_04/PEANO_nokinds_Z.xml 7.2 / 2.2 s 1.9 / 0.9 s 7.9 / 3.4 s
_Standard/Transformed_CSR_04/PEANO_nokinds_iGM.xml 49.2 / 13.9 s 3.2 / 1.3 s 33.2 / 14.7 s
ndard/Transformed_CSR_04/PEANO_nokinds_noand_C.xml 234.5 / 59.4 s 897.2 / 300.1 s 612.7 / 300.0 s
dard/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 12.3 / 3.6 s 4.3 / 1.7 s 8.2 / 3.6 s
ard/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml 124.4 / 34.7 s 27.1 / 8.4 s 48.1 / 21.1 s
dard/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 0.8 / 0.4 s 1.1 / 0.6 s 1.9 / 0.8 s
ndard/Transformed_CSR_04/PEANO_nosorts-noand_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
RS_Standard/Transformed_CSR_04/PEANO_nosorts_C.xml 4.9 / 1.6 s 3.6 / 1.4 s 5.0 / 2.2 s
S_Standard/Transformed_CSR_04/PEANO_nosorts_FR.xml 0.5 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
S_Standard/Transformed_CSR_04/PEANO_nosorts_GM.xml 1.2 / 0.6 s 1.1 / 0.6 s 1.9 / 0.9 s
RS_Standard/Transformed_CSR_04/PEANO_nosorts_L.xml 0.3 / 0.3 s 0.8 / 0.5 s 0.0 / 0.0 s
_Standard/Transformed_CSR_04/PEANO_nosorts_iGM.xml 1.5 / 0.6 s 3.2 / 1.3 s 5.0 / 2.2 s
ndard/Transformed_CSR_04/PEANO_nosorts_noand_C.xml 5.8 / 1.9 s 4.9 / 1.8 s 624.8 / 300.0 s
dard/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 1.3 / 0.6 s 1.2 / 0.7 s 4.1 / 1.9 s
ard/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml 4.3 / 1.4 s 4.6 / 1.7 s 13.8 / 6.1 s
TRS_Standard/Various_04/02.xml 0.4 / 0.3 s 1.2 / 0.7 s 662.5 / 300.0 s
TRS_Standard/Various_04/03.xml 0.4 / 0.3 s 1.2 / 0.7 s 678.7 / 300.0 s
TRS_Standard/Various_04/04.xml 175.5 / 59.3 s 647.1 / 300.0 s 1018.4 / 300.0 s
TRS_Standard/Various_04/05.xml 169.6 / 59.3 s 646.9 / 300.1 s 1020.5 / 300.0 s
TRS_Standard/Various_04/06.xml 0.5 / 0.4 s 1.7 / 0.8 s 0.0 / 0.0 s
TRS_Standard/Various_04/07.xml 0.3 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Various_04/08.xml 171.2 / 59.4 s 668.5 / 300.0 s 933.3 / 300.0 s
TRS_Standard/Various_04/09.xml 0.6 / 0.4 s 1.7 / 0.8 s 0.0 / 0.0 s
TRS_Standard/Various_04/10.xml 4.6 / 1.6 s 3.1 / 1.4 s 25.7 / 11.3 s
TRS_Standard/Various_04/11.xml 180.5 / 59.3 s 1.8 / 1.0 s 3.1 / 1.3 s
TRS_Standard/Various_04/12.xml 4.5 / 1.5 s 1.7 / 0.9 s 5.8 / 2.5 s
TRS_Standard/Various_04/13.xml 6.0 / 2.0 s 2.1 / 1.1 s 9.5 / 4.1 s
TRS_Standard/Various_04/14.xml 13.3 / 4.2 s 9.6 / 3.1 s 61.8 / 27.4 s
TRS_Standard/Various_04/15.xml 1.0 / 0.6 s 5.1 / 1.7 s 652.7 / 300.0 s
TRS_Standard/Various_04/18.xml 0.6 / 0.4 s 1.1 / 0.6 s 0.2 / 0.1 s
TRS_Standard/Various_04/19.xml 1.2 / 0.6 s 1.1 / 0.7 s 686.9 / 300.0 s
TRS_Standard/Various_04/21.xml 2.0 / 0.8 s 1.2 / 0.7 s 28.8 / 12.5 s
TRS_Standard/Various_04/22.xml 0.5 / 0.4 s 1.2 / 0.7 s 0.1 / 0.0 s
TRS_Standard/Various_04/23.xml 0.7 / 0.4 s 1.4 / 0.7 s 0.1 / 0.0 s
TRS_Standard/Various_04/24.xml 1.5 / 0.6 s 2.0 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Various_04/25.xml 0.4 / 0.3 s 1.2 / 0.7 s 0.0 / 0.0 s
TRS_Standard/Various_04/26.xml 0.6 / 0.4 s 1.6 / 0.9 s 0.1 / 0.1 s
TRS_Standard/Various_04/27.xml 0.3 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Waldmann_06/jwaprove1.xml 156.9 / 59.3 s 14.7 / 4.7 s 21.3 / 9.5 s
TRS_Standard/Waldmann_06/jwaprove2.xml 187.6 / 59.3 s 15.5 / 4.8 s 37.9 / 16.7 s
TRS_Standard/Waldmann_06/jwcime1.xml 86.3 / 47.4 s 7.5 / 2.6 s 52.4 / 23.0 s
TRS_Standard/Waldmann_06/jwcime2.xml 7.2 / 12.6 s 3.1 / 1.4 s 44.4 / 19.6 s
TRS_Standard/Waldmann_06/jwmatchb1.xml 3.1 / 1.0 s 26.5 / 12.9 s 0.1 / 0.1 s
TRS_Standard/Waldmann_06/jwmatchb2.xml 2.5 / 0.9 s 28.3 / 13.4 s 0.2 / 0.1 s
TRS_Standard/Waldmann_06/jwno1.xml 0.9 / 0.5 s 4.4 / 1.8 s 678.8 / 300.0 s
TRS_Standard/Waldmann_06/jwno2.xml 10.8 / 13.9 s 432.7 / 300.0 s 626.1 / 300.0 s
TRS_Standard/Waldmann_06/jwno3.xml 154.9 / 59.3 s 386.3 / 300.0 s 655.5 / 300.0 s
TRS_Standard/Waldmann_06/jwno4.xml 0.7 / 0.5 s 3.4 / 1.5 s 630.1 / 300.0 s
TRS_Standard/Waldmann_06/jwno5.xml 11.2 / 13.7 s 389.7 / 300.0 s 618.9 / 300.0 s
TRS_Standard/Waldmann_06/jwno6.xml 0.8 / 0.5 s 3.4 / 1.5 s 632.0 / 300.0 s
TRS_Standard/Waldmann_06/jwno7.xml 13.0 / 14.2 s 389.5 / 300.0 s 624.9 / 300.0 s
TRS_Standard/Waldmann_06/jwno8.xml 14.0 / 15.2 s 620.9 / 300.0 s 642.8 / 300.0 s
TRS_Standard/Waldmann_06/jwno9.xml 0.8 / 0.5 s 4.9 / 1.9 s 647.1 / 300.0 s
TRS_Standard/Waldmann_06/jwteparla1.xml 13.0 / 15.2 s 3.3 / 1.4 s 23.8 / 10.6 s
TRS_Standard/Waldmann_06/jwteparla2.xml 144.3 / 59.3 s 9.2 / 3.0 s 24.8 / 11.0 s
TRS_Standard/Waldmann_06/jwtpa1.xml 169.7 / 59.4 s 12.1 / 3.9 s 77.3 / 34.5 s
TRS_Standard/Waldmann_06/jwtpa2.xml 3.5 / 1.2 s 3.6 / 1.5 s 45.1 / 19.9 s
TRS_Standard/Waldmann_06/jwttt.xml 3.4 / 1.2 s 3.1 / 1.3 s 94.0 / 41.9 s
TRS_Standard/Zantema_05/jw01.xml 0.8 / 0.5 s 1.6 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Zantema_05/jw02.xml 1.0 / 0.5 s 1.8 / 1.0 s 0.1 / 0.1 s
TRS_Standard/Zantema_05/jw03.xml 0.7 / 0.4 s 1.6 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Zantema_05/jw04.xml 0.4 / 0.3 s 1.8 / 0.9 s 0.1 / 0.1 s
TRS_Standard/Zantema_05/jw05.xml 2.0 / 0.8 s 4.1 / 1.7 s 0.1 / 0.1 s
TRS_Standard/Zantema_05/jw06.xml 0.4 / 0.3 s 1.7 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Zantema_05/jw07.xml 0.9 / 0.5 s 1.7 / 0.9 s 0.3 / 0.2 s
TRS_Standard/Zantema_05/jw08.xml 1.1 / 0.6 s 1.8 / 1.0 s 28.8 / 12.8 s
TRS_Standard/Zantema_05/jw09.xml 4.1 / 1.4 s 1.7 / 0.9 s 0.1 / 0.1 s
TRS_Standard/Zantema_05/jw11.xml 0.7 / 0.4 s 1.3 / 0.8 s 11.6 / 5.1 s
TRS_Standard/Zantema_05/jw12.xml 0.8 / 0.5 s 1.3 / 0.8 s 14.3 / 5.9 s
TRS_Standard/Zantema_05/jw13.xml 0.6 / 0.4 s 1.7 / 0.9 s 0.3 / 0.1 s
TRS_Standard/Zantema_05/jw14.xml 0.5 / 0.4 s 1.2 / 0.7 s 0.0 / 0.0 s
TRS_Standard/Zantema_05/jw15.xml 0.8 / 0.5 s 1.7 / 0.9 s 25.1 / 11.0 s
TRS_Standard/Zantema_05/jw16.xml 0.9 / 0.5 s 1.6 / 0.9 s 0.1 / 0.1 s
TRS_Standard/Zantema_05/jw17.xml 1.0 / 0.5 s 1.9 / 1.0 s 0.2 / 0.1 s
TRS_Standard/Zantema_05/jw18.xml 0.9 / 0.5 s 1.6 / 0.9 s 0.1 / 0.1 s
TRS_Standard/Zantema_05/jw19.xml 2.0 / 0.8 s 1.4 / 0.8 s 0.3 / 0.2 s
TRS_Standard/Zantema_05/jw20.xml 0.8 / 0.5 s 1.7 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Zantema_05/jw21.xml 0.9 / 0.5 s 1.7 / 0.9 s 0.1 / 0.1 s
TRS_Standard/Zantema_05/jw22.xml 0.9 / 0.5 s 1.9 / 1.0 s 0.1 / 0.1 s
TRS_Standard/Zantema_05/jw23.xml 0.8 / 0.5 s 1.7 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Zantema_05/jw24.xml 0.9 / 0.5 s 1.7 / 0.9 s 0.1 / 0.1 s
TRS_Standard/Zantema_05/jw25.xml 0.5 / 0.4 s 1.9 / 1.0 s 0.1 / 0.0 s
TRS_Standard/Zantema_05/jw26.xml 0.5 / 0.4 s 1.9 / 1.0 s 0.1 / 0.0 s
TRS_Standard/Zantema_05/jw27.xml 2.3 / 0.9 s 3.9 / 1.6 s 0.1 / 0.0 s
TRS_Standard/Zantema_05/jw28.xml 0.4 / 0.3 s 1.7 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Zantema_05/jw29.xml 0.4 / 0.3 s 1.8 / 0.9 s 0.1 / 0.0 s
TRS_Standard/Zantema_05/jw30.xml 2.8 / 1.0 s 5.3 / 2.0 s 0.6 / 0.3 s
TRS_Standard/Zantema_05/jw31.xml 0.4 / 0.3 s 1.8 / 0.9 s 0.1 / 0.1 s
TRS_Standard/Zantema_05/jw32.xml 2.1 / 0.8 s 4.8 / 1.8 s 0.1 / 0.1 s
TRS_Standard/Zantema_05/jw33.xml 0.4 / 0.3 s 1.8 / 0.9 s 0.1 / 0.1 s
TRS_Standard/Zantema_05/jw34.xml 1.9 / 0.8 s 4.8 / 1.8 s 25.5 / 11.2 s
TRS_Standard/Zantema_05/jw35.xml 0.4 / 0.4 s 1.3 / 0.7 s 0.0 / 0.0 s
TRS_Standard/Zantema_05/jw36.xml 1.3 / 0.6 s 1.8 / 0.9 s 0.2 / 0.1 s
TRS_Standard/Zantema_05/jw37.xml 4.3 / 1.4 s 6.1 / 2.3 s 11.9 / 5.3 s
TRS_Standard/Zantema_05/jw38.xml 0.7 / 0.4 s 1.3 / 0.8 s 14.7 / 6.1 s
TRS_Standard/Zantema_05/jw39.xml 1.0 / 0.5 s 1.9 / 1.0 s 0.1 / 0.1 s
TRS_Standard/Zantema_05/jw40.xml 1.0 / 0.5 s 1.7 / 0.9 s 0.2 / 0.1 s
TRS_Standard/Zantema_05/jw41.xml 4.2 / 1.4 s 6.7 / 2.4 s 28.1 / 12.5 s
TRS_Standard/Zantema_05/jw42.xml 0.8 / 0.5 s 1.7 / 0.9 s 0.3 / 0.2 s
TRS_Standard/Zantema_05/jw43.xml 0.3 / 0.3 s 1.4 / 0.8 s 0.0 / 0.0 s
TRS_Standard/Zantema_05/jw44.xml 0.6 / 0.4 s 1.2 / 0.7 s 0.1 / 0.0 s
TRS_Standard/Zantema_05/jw47.xml 0.3 / 0.3 s 1.1 / 0.6 s 0.1 / 0.0 s
TRS_Standard/Zantema_05/jw50.xml 0.4 / 0.3 s 1.1 / 0.6 s 0.0 / 0.0 s
TRS_Standard/Zantema_05/z01.xml 186.6 / 54.2 s 181.3 / 61.8 s 630.3 / 300.0 s
TRS_Standard/Zantema_05/z02.xml 8.5 / 13.2 s 5.5 / 2.1 s 8.5 / 3.7 s
TRS_Standard/Zantema_05/z03.xml 0.7 / 0.4 s 5.3 / 2.0 s 0.5 / 0.2 s
TRS_Standard/Zantema_05/z04.xml 0.5 / 0.4 s 1.3 / 0.8 s 0.0 / 0.0 s
TRS_Standard/Zantema_05/z05.xml 3.7 / 1.3 s 10.9 / 3.7 s 602.1 / 300.0 s
TRS_Standard/Zantema_05/z06.xml 2.3 / 0.9 s 1.5 / 0.8 s 47.8 / 20.5 s
TRS_Standard/Zantema_05/z07.xml 1.0 / 0.5 s 3.1 / 1.4 s 14.2 / 6.1 s
TRS_Standard/Zantema_05/z08.xml 0.6 / 0.4 s 3.5 / 1.5 s 0.2 / 0.1 s
TRS_Standard/Zantema_05/z09.xml 193.6 / 59.5 s 374.6 / 300.0 s 692.7 / 300.0 s
TRS_Standard/Zantema_05/z10.xml 196.3 / 59.4 s 379.9 / 300.0 s 648.9 / 300.0 s
TRS_Standard/Zantema_05/z11.xml 2.0 / 0.9 s 2.5 / 1.1 s 659.3 / 300.0 s
TRS_Standard/Zantema_05/z12.xml 123.4 / 59.3 s 573.2 / 300.0 s 625.5 / 300.0 s
TRS_Standard/Zantema_05/z13.xml 83.5 / 48.0 s 502.9 / 300.0 s 618.2 / 300.0 s
TRS_Standard/Zantema_05/z14.xml 109.2 / 59.3 s 846.7 / 300.1 s 615.9 / 300.0 s
TRS_Standard/Zantema_05/z15.xml 86.1 / 50.4 s 538.5 / 300.1 s 610.9 / 300.0 s
TRS_Standard/Zantema_05/z16.xml 109.3 / 59.3 s 858.3 / 300.0 s 613.4 / 300.0 s
TRS_Standard/Zantema_05/z17.xml 111.7 / 59.3 s 530.9 / 300.0 s 604.2 / 300.0 s
TRS_Standard/Zantema_05/z18.xml 85.0 / 49.9 s 540.9 / 300.0 s 612.9 / 300.0 s
TRS_Standard/Zantema_05/z19.xml 112.4 / 59.3 s 28.8 / 14.0 s 105.7 / 48.7 s
TRS_Standard/Zantema_05/z20.xml 99.0 / 34.5 s 653.0 / 300.0 s 617.8 / 300.0 s
TRS_Standard/Zantema_05/z21.xml 168.4 / 59.3 s 34.3 / 16.0 s 610.6 / 300.0 s
TRS_Standard/Zantema_05/z22.xml 147.1 / 59.3 s 34.4 / 15.1 s 620.4 / 300.0 s
TRS_Standard/Zantema_05/z23.xml 153.3 / 59.3 s 535.7 / 300.1 s 609.0 / 300.0 s
TRS_Standard/Zantema_05/z24.xml 117.3 / 59.3 s 523.3 / 300.0 s 611.2 / 300.0 s
TRS_Standard/Zantema_05/z25.xml 0.9 / 0.5 s 1.6 / 0.8 s 34.8 / 16.5 s
TRS_Standard/Zantema_05/z26.xml 1.2 / 0.6 s 6.7 / 2.4 s 0.5 / 0.2 s
TRS_Standard/Zantema_05/z27.xml 1.3 / 10.6 s 24.3 / 13.0 s 23.4 / 10.4 s
TRS_Standard/Zantema_05/z28.xml 167.8 / 59.3 s 3.4 / 1.5 s 8.0 / 3.6 s
TRS_Standard/Zantema_05/z29.xml 2.3 / 0.9 s 1.7 / 0.9 s 690.4 / 300.0 s
TRS_Standard/Zantema_05/z30.xml 234.2 / 59.4 s 445.7 / 300.0 s 702.7 / 300.0 s