Overview of job-results

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

Statistics

2630 pairs, 950125.9 / 453572.0 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR BOUNDS OTHER NOTHING
The results are displayed in the following pattern: result | cpu-time/wallclock-time in seconds | complexity-score
Jobs Cycles 2015-08-05 01.11
Solver matchbox2015-07-26.1 cycsrs-29-07-2015.5
Scores 646 422
SRS_Standard/Bouchare_06/01.xml YES 96.9 / 49.3 YES 50.4 / 48.6
SRS_Standard/Bouchare_06/02.xml YES 47.9 / 25.2 YES 51.1 / 56.6
SRS_Standard/Bouchare_06/03.xml NO 1.2 / 0.7 NO 0.0 / 0.1
SRS_Standard/Bouchare_06/04.xml YES 57.2 / 17.3 YES 30.4 / 54.3
SRS_Standard/Bouchare_06/05.xml YES 45.9 / 13.7 YES 58.9 / 61.0
SRS_Standard/Bouchare_06/06.xml NO 0.6 / 0.6 NO 0.0 / 0.5
SRS_Standard/Bouchare_06/07.xml NO 0.6 / 0.8 NO 0.0 / 0.0
SRS_Standard/Bouchare_06/08.xml NO 0.3 / 0.1 NO 0.0 / 0.1
SRS_Standard/Bouchare_06/09.xml NO 0.6 / 0.2 NO 0.0 / 0.0
SRS_Standard/Bouchare_06/10.xml NO 0.3 / 0.6 NO 0.0 / 0.5
SRS_Standard/Bouchare_06/11.xml YES 145.7 / 73.4 YES 77.0 / 65.6
SRS_Standard/Bouchare_06/12.xml YES 66.4 / 26.9 YES 69.7 / 55.5
SRS_Standard/Bouchare_06/13.xml NO 1.2 / 0.4 NO 0.0 / 0.0
SRS_Standard/Bouchare_06/14.xml YES 37.2 / 11.2 YES 36.5 / 60.3
SRS_Standard/Bouchare_06/15.xml YES 13.2 / 3.3 YES 33.5 / 52.9
SRS_Standard/Bouchare_06/16.xml YES 45.1 / 14.3 YES 36.9 / 50.9
SRS_Standard/Bouchare_06/17.xml YES 62.5 / 22.3 YES 51.6 / 58.8
SRS_Standard/Bouchare_06/18.xml NO 0.8 / 0.2 NO 0.0 / 0.0
SRS_Standard/Gebhardt_06/01.xml NO 0.7 / 0.7 NO 0.0 / 0.0
SRS_Standard/Gebhardt_06/02.xml NO 0.4 / 0.1 NO 0.0 / 0.2
SRS_Standard/Gebhardt_06/03.xml NO 0.8 / 0.6 NO 0.0 / 0.1
SRS_Standard/Gebhardt_06/04.xml NO 0.2 / 0.1 NO 0.0 / 0.0
SRS_Standard/Gebhardt_06/05.xml NO 0.4 / 0.1 NO 0.0 / 0.2
SRS_Standard/Gebhardt_06/06.xml NO 0.6 / 1.1 NO 0.0 / 0.5
SRS_Standard/Gebhardt_06/07.xml NO 0.3 / 0.1 NO 0.0 / 0.0
SRS_Standard/Gebhardt_06/08.xml NO 0.4 / 0.1 NO 0.0 / 0.0
SRS_Standard/Gebhardt_06/09.xml NO 1.3 / 0.3 NO 0.0 / 0.0
SRS_Standard/Gebhardt_06/10.xml NO 0.5 / 0.5 NO 0.0 / 0.0
SRS_Standard/Gebhardt_06/11.xml NO 0.1 / 0.0 NO 0.0 / 0.0
SRS_Standard/Gebhardt_06/12.xml NO 1.7 / 0.7 NO 0.0 / 0.0
SRS_Standard/Gebhardt_06/13.xml NO 0.1 / 0.1 NO 0.0 / 0.0
SRS_Standard/Gebhardt_06/14.xml NO 0.5 / 0.4 NO 0.0 / 0.0
SRS_Standard/Gebhardt_06/15.xml NO 0.3 / 0.1 NO 0.0 / 0.2
SRS_Standard/Gebhardt_06/16.xml NO 1.6 / 1.2 NO 0.0 / 0.5
SRS_Standard/Gebhardt_06/17.xml NO 0.2 / 0.1 NO 0.0 / 0.0
SRS_Standard/Gebhardt_06/18.xml NO 1.0 / 0.3 NO 0.0 / 0.0
SRS_Standard/Gebhardt_06/19.xml NO 0.6 / 0.2 . 585.6 / 300.0
SRS_Standard/Gebhardt_06/20.xml NO 0.3 / 0.1 NO 0.0 / 0.1
SRS_Standard/ICFP_2010/107193.xml . 625.8 / 300.0 . 468.9 / 300.1
SRS_Standard/ICFP_2010/107220.xml . 714.4 / 300.0 . 376.6 / 300.0
SRS_Standard/ICFP_2010/107236.xml . 611.4 / 300.0 . 384.0 / 300.1
SRS_Standard/ICFP_2010/123759.xml . 734.5 / 300.1 . 464.1 / 300.1
SRS_Standard/ICFP_2010/124211.xml . 619.2 / 300.0 . 648.7 / 300.0
SRS_Standard/ICFP_2010/124269.xml . 1046.8 / 300.0 . 647.4 / 300.0
SRS_Standard/ICFP_2010/124791.xml . 474.9 / 300.1 . 379.3 / 300.1
SRS_Standard/ICFP_2010/127538.xml . 797.4 / 300.0 . 303.8 / 300.1
SRS_Standard/ICFP_2010/128056.xml . 860.3 / 300.0 . 665.3 / 300.1
SRS_Standard/ICFP_2010/128182.xml . 852.5 / 300.0 . 390.8 / 300.1
SRS_Standard/ICFP_2010/128280.xml . 1027.5 / 300.0 . 499.1 / 300.1
SRS_Standard/ICFP_2010/128430.xml . 7.6 / 2.0 . 1.7 / 1.8
SRS_Standard/ICFP_2010/128486.xml . 443.0 / 300.0 . 486.2 / 300.1
SRS_Standard/ICFP_2010/128515.xml . 1060.1 / 300.0 . 633.2 / 300.1
SRS_Standard/ICFP_2010/128550.xml . 633.5 / 300.0 . 424.2 / 300.1
SRS_Standard/ICFP_2010/128620.xml . 633.3 / 300.0 . 557.2 / 300.0
SRS_Standard/ICFP_2010/128691.xml . 854.3 / 300.0 . 660.5 / 300.1
SRS_Standard/ICFP_2010/130161.xml . 1006.7 / 300.0 . 355.4 / 300.0
SRS_Standard/ICFP_2010/130304.xml . 611.7 / 300.0 . 664.8 / 300.1
SRS_Standard/ICFP_2010/130472.xml . 920.5 / 300.0 . 432.5 / 300.1
SRS_Standard/ICFP_2010/130962.xml . 1001.2 / 300.0 . 352.0 / 300.0
SRS_Standard/ICFP_2010/131633.xml . 455.4 / 300.0 . 464.9 / 300.0
SRS_Standard/ICFP_2010/131982.xml . 720.4 / 300.0 . 638.8 / 300.0
SRS_Standard/ICFP_2010/132235.xml . 1064.0 / 300.0 . 649.9 / 300.1
SRS_Standard/ICFP_2010/132478.xml . 739.7 / 300.0 . 305.6 / 300.1
SRS_Standard/ICFP_2010/132540.xml . 624.1 / 300.0 . 645.4 / 300.1
SRS_Standard/ICFP_2010/132611.xml . 840.2 / 300.0 . 603.3 / 300.1
SRS_Standard/ICFP_2010/132622.xml . 598.3 / 300.0 . 663.8 / 300.1
SRS_Standard/ICFP_2010/132720.xml . 963.3 / 300.0 . 478.6 / 300.1
SRS_Standard/ICFP_2010/132738.xml . 615.8 / 300.1 . 382.8 / 300.1
SRS_Standard/ICFP_2010/132782.xml . 675.8 / 300.0 . 365.1 / 300.1
SRS_Standard/ICFP_2010/132833.xml . 623.8 / 300.0 . 526.7 / 300.1
SRS_Standard/ICFP_2010/132848.xml . 598.9 / 300.0 . 472.1 / 300.1
SRS_Standard/ICFP_2010/132864.xml . 830.5 / 300.0 . 421.5 / 300.1
SRS_Standard/ICFP_2010/132920.xml . 23.6 / 6.0 . 5.5 / 5.5
SRS_Standard/ICFP_2010/132957.xml . 878.0 / 300.0 . 647.1 / 300.1
SRS_Standard/ICFP_2010/132969.xml . 1048.7 / 300.0 . 461.3 / 300.1
SRS_Standard/ICFP_2010/133010.xml . 838.2 / 300.0 . 352.4 / 300.0
SRS_Standard/ICFP_2010/133079.xml . 715.0 / 300.0 . 535.1 / 300.1
SRS_Standard/ICFP_2010/133159.xml . 799.0 / 300.0 . 375.6 / 300.1
SRS_Standard/ICFP_2010/133236.xml . 829.4 / 300.0 . 658.2 / 300.1
SRS_Standard/ICFP_2010/133432.xml . 658.4 / 300.1 . 362.6 / 300.1
SRS_Standard/ICFP_2010/133486.xml . 601.6 / 300.0 . 659.5 / 300.1
SRS_Standard/ICFP_2010/133532.xml . 685.4 / 300.0 . 528.6 / 300.1
SRS_Standard/ICFP_2010/133827.xml . 770.1 / 300.0 . 689.4 / 300.0
SRS_Standard/ICFP_2010/133881.xml . 606.9 / 300.0 . 653.5 / 300.1
SRS_Standard/ICFP_2010/134918.xml . 587.3 / 300.0 . 502.5 / 300.1
SRS_Standard/ICFP_2010/135115.xml . 861.4 / 300.0 . 380.2 / 300.1
SRS_Standard/ICFP_2010/135328.xml . 46.5 / 11.8 . 14.5 / 13.6
SRS_Standard/ICFP_2010/135410.xml . 594.9 / 300.0 . 554.4 / 300.1
SRS_Standard/ICFP_2010/135505.xml . 1050.5 / 300.0 . 345.0 / 300.1
SRS_Standard/ICFP_2010/135601.xml . 673.3 / 300.0 . 416.9 / 300.1
SRS_Standard/ICFP_2010/135604.xml . 475.9 / 300.0 . 361.8 / 300.0
SRS_Standard/ICFP_2010/135652.xml . 725.1 / 300.0 . 363.5 / 300.0
SRS_Standard/ICFP_2010/135659.xml . 731.8 / 300.0 . 454.6 / 300.1
SRS_Standard/ICFP_2010/135714.xml . 1036.1 / 300.0 . 465.4 / 300.1
SRS_Standard/ICFP_2010/135782.xml . 707.6 / 300.0 . 516.6 / 300.1
SRS_Standard/ICFP_2010/135936.xml . 860.0 / 300.0 . 437.0 / 300.1
SRS_Standard/ICFP_2010/136051.xml . 750.4 / 300.0 . 425.5 / 300.1
SRS_Standard/ICFP_2010/136280.xml . 707.4 / 300.0 . 405.4 / 300.0
SRS_Standard/ICFP_2010/136323.xml . 835.9 / 300.0 . 655.3 / 300.0
SRS_Standard/ICFP_2010/136354.xml . 625.2 / 300.0 . 357.2 / 300.0
SRS_Standard/ICFP_2010/136463.xml . 770.7 / 300.0 . 475.4 / 300.0
SRS_Standard/ICFP_2010/136497.xml . 871.2 / 300.0 . 511.7 / 300.1
SRS_Standard/ICFP_2010/136534.xml . 781.9 / 300.1 . 346.9 / 300.1
SRS_Standard/ICFP_2010/136562.xml . 996.8 / 300.0 . 458.4 / 300.0
SRS_Standard/ICFP_2010/136571.xml . 832.7 / 300.0 . 522.0 / 300.1
SRS_Standard/ICFP_2010/136601.xml . 661.4 / 300.0 . 418.0 / 300.0
SRS_Standard/ICFP_2010/136623.xml . 848.3 / 300.0 . 508.7 / 300.1
SRS_Standard/ICFP_2010/136693.xml . 701.7 / 300.0 . 363.7 / 300.1
SRS_Standard/ICFP_2010/136934.xml . 907.4 / 300.0 . 386.8 / 300.0
SRS_Standard/ICFP_2010/137087.xml . 1044.4 / 300.0 . 412.9 / 300.1
SRS_Standard/ICFP_2010/137136.xml . 654.0 / 300.0 . 465.7 / 300.1
SRS_Standard/ICFP_2010/137316.xml . 697.9 / 300.0 . 661.2 / 300.1
SRS_Standard/ICFP_2010/137404.xml . 906.4 / 300.0 . 384.7 / 300.1
SRS_Standard/ICFP_2010/137621.xml . 635.9 / 300.0 . 329.3 / 300.1
SRS_Standard/ICFP_2010/137623.xml . 682.9 / 300.0 . 458.2 / 300.0
SRS_Standard/ICFP_2010/137715.xml . 1188.3 / 300.0 . 473.0 / 300.0
SRS_Standard/ICFP_2010/137799.xml . 776.0 / 300.0 . 421.7 / 300.1
SRS_Standard/ICFP_2010/137809.xml . 630.1 / 300.0 . 545.0 / 300.1
SRS_Standard/ICFP_2010/137956.xml . 1129.9 / 300.0 . 726.9 / 300.0
SRS_Standard/ICFP_2010/138089.xml . 1056.1 / 300.0 . 497.4 / 300.1
SRS_Standard/ICFP_2010/138142.xml . 682.6 / 300.0 . 707.3 / 300.1
SRS_Standard/ICFP_2010/138194.xml . 429.5 / 300.0 . 651.6 / 300.1
SRS_Standard/ICFP_2010/138254.xml . 868.5 / 300.0 . 520.9 / 300.1
SRS_Standard/ICFP_2010/138269.xml . 604.8 / 300.0 . 362.1 / 300.0
SRS_Standard/ICFP_2010/138330.xml . 845.8 / 300.0 . 507.2 / 300.1
SRS_Standard/ICFP_2010/138468.xml . 598.1 / 300.0 . 596.5 / 300.1
SRS_Standard/ICFP_2010/138477.xml . 605.9 / 300.0 . 1.0 / 2.1
SRS_Standard/ICFP_2010/138993.xml . 834.2 / 300.0 . 399.6 / 300.0
SRS_Standard/ICFP_2010/139004.xml . 764.3 / 300.0 . 324.1 / 300.0
SRS_Standard/ICFP_2010/139018.xml . 982.3 / 300.0 . 391.6 / 300.1
SRS_Standard/ICFP_2010/139025.xml . 838.6 / 300.0 . 568.2 / 300.1
SRS_Standard/ICFP_2010/139036.xml . 833.3 / 300.0 . 357.6 / 300.1
SRS_Standard/ICFP_2010/139100.xml . 606.3 / 300.0 . 239.6 / 300.1
SRS_Standard/ICFP_2010/139163.xml . 24.4 / 6.2 . 5.7 / 5.7
SRS_Standard/ICFP_2010/139167.xml . 861.2 / 300.0 . 659.7 / 300.0
SRS_Standard/ICFP_2010/139174.xml . 660.3 / 300.0 . 531.0 / 300.1
SRS_Standard/ICFP_2010/139180.xml . 1025.4 / 300.0 . 367.6 / 300.0
SRS_Standard/ICFP_2010/139185.xml . 884.9 / 300.0 . 300.2 / 300.1
SRS_Standard/ICFP_2010/139190.xml . 781.1 / 300.0 . 356.4 / 300.1
SRS_Standard/ICFP_2010/139214.xml . 562.0 / 300.0 . 363.3 / 300.0
SRS_Standard/ICFP_2010/139236.xml . 831.6 / 300.1 . 347.9 / 300.1
SRS_Standard/ICFP_2010/139256.xml . 824.4 / 300.0 . 348.4 / 300.1
SRS_Standard/ICFP_2010/139282.xml . 601.5 / 300.1 . 421.4 / 300.1
SRS_Standard/ICFP_2010/139310.xml . 606.1 / 300.0 . 607.8 / 300.0
SRS_Standard/ICFP_2010/139378.xml . 646.1 / 300.0 . 431.5 / 300.1
SRS_Standard/ICFP_2010/140287.xml . 981.9 / 300.0 . 419.2 / 300.0
SRS_Standard/ICFP_2010/140318.xml . 843.3 / 300.0 . 407.9 / 300.1
SRS_Standard/ICFP_2010/140359.xml . 922.8 / 300.0 . 667.3 / 300.1
SRS_Standard/ICFP_2010/140631.xml . 1014.7 / 300.0 . 352.6 / 300.1
SRS_Standard/ICFP_2010/140639.xml . 46.9 / 11.8 . 11.8 / 11.8
SRS_Standard/ICFP_2010/140654.xml . 1041.0 / 300.0 . 645.8 / 300.1
SRS_Standard/ICFP_2010/140659.xml . 612.6 / 300.0 . 386.0 / 300.0
SRS_Standard/ICFP_2010/140664.xml . 1021.7 / 300.0 . 507.2 / 300.1
SRS_Standard/ICFP_2010/142142.xml . 940.0 / 300.0 . 0.3 / 0.8
SRS_Standard/ICFP_2010/142146.xml . 635.9 / 300.0 . 429.1 / 300.0
SRS_Standard/ICFP_2010/142150.xml . 769.1 / 300.0 . 561.3 / 300.1
SRS_Standard/ICFP_2010/142157.xml . 597.5 / 300.0 . 433.5 / 300.0
SRS_Standard/ICFP_2010/147437.xml . 706.4 / 300.0 . 900.0 / 300.1
SRS_Standard/ICFP_2010/148543.xml . 862.7 / 300.0 . 336.3 / 300.1
SRS_Standard/ICFP_2010/149251.xml . 851.7 / 300.0 . 828.8 / 300.0
SRS_Standard/ICFP_2010/149277.xml . 657.3 / 300.0 . 887.3 / 300.0
SRS_Standard/ICFP_2010/149297.xml . 855.0 / 300.0 . 489.3 / 300.0
SRS_Standard/ICFP_2010/149319.xml . 785.3 / 300.0 . 653.1 / 300.0
SRS_Standard/ICFP_2010/149361.xml . 855.0 / 300.0 . 722.2 / 300.0
SRS_Standard/ICFP_2010/149415.xml . 772.0 / 300.0 . 919.6 / 300.1
SRS_Standard/ICFP_2010/149633.xml . 833.7 / 300.0 . 588.8 / 300.1
SRS_Standard/ICFP_2010/149713.xml . 929.9 / 300.0 . 499.6 / 300.0
SRS_Standard/ICFP_2010/149849.xml . 825.7 / 300.0 . 842.6 / 300.1
SRS_Standard/ICFP_2010/149915.xml . 840.5 / 300.0 . 529.0 / 300.1
SRS_Standard/ICFP_2010/150067.xml . 794.2 / 300.0 . 583.1 / 300.0
SRS_Standard/ICFP_2010/150188.xml . 749.2 / 300.0 . 904.4 / 300.1
SRS_Standard/ICFP_2010/150258.xml . 854.7 / 300.0 . 505.7 / 300.1
SRS_Standard/ICFP_2010/150468.xml . 826.0 / 300.0 . 618.4 / 300.0
SRS_Standard/ICFP_2010/150630.xml . 783.7 / 300.0 . 684.2 / 300.1
SRS_Standard/ICFP_2010/150725.xml . 576.5 / 300.0 . 598.7 / 300.1
SRS_Standard/ICFP_2010/150815.xml . 688.8 / 300.0 . 909.0 / 300.1
SRS_Standard/ICFP_2010/150839.xml . 812.1 / 300.0 . 850.5 / 300.1
SRS_Standard/ICFP_2010/150877.xml . 804.6 / 300.0 . 720.0 / 300.1
SRS_Standard/ICFP_2010/151247.xml . 837.0 / 300.0 . 553.1 / 300.0
SRS_Standard/ICFP_2010/152694.xml . 832.0 / 300.0 . 309.0 / 300.1
SRS_Standard/ICFP_2010/152786.xml . 568.9 / 300.0 . 323.2 / 300.1
SRS_Standard/ICFP_2010/152865.xml . 18.8 / 4.8 . 5.3 / 5.3
SRS_Standard/ICFP_2010/152949.xml . 637.0 / 300.0 . 564.0 / 300.0
SRS_Standard/ICFP_2010/153034.xml . 949.6 / 300.0 . 605.5 / 300.1
SRS_Standard/ICFP_2010/153090.xml . 834.8 / 300.0 . 350.8 / 300.1
SRS_Standard/ICFP_2010/153170.xml . 646.0 / 300.0 . 342.5 / 300.1
SRS_Standard/ICFP_2010/153243.xml . 833.4 / 300.0 . 434.1 / 300.1
SRS_Standard/ICFP_2010/153288.xml . 852.1 / 300.0 . 523.7 / 300.1
SRS_Standard/ICFP_2010/153371.xml . 723.2 / 300.0 . 444.9 / 300.1
SRS_Standard/ICFP_2010/153444.xml . 724.6 / 300.0 . 612.1 / 300.1
SRS_Standard/ICFP_2010/157150.xml . 756.1 / 300.0 . 499.9 / 300.1
SRS_Standard/ICFP_2010/157161.xml . 835.7 / 300.0 . 563.6 / 300.0
SRS_Standard/ICFP_2010/157275.xml . 793.1 / 300.0 . 445.2 / 300.1
SRS_Standard/ICFP_2010/157388.xml . 860.3 / 300.0 . 421.4 / 300.1
SRS_Standard/ICFP_2010/157436.xml . 826.5 / 300.1 . 486.8 / 300.1
SRS_Standard/ICFP_2010/157466.xml . 702.5 / 300.0 . 353.4 / 300.0
SRS_Standard/ICFP_2010/157593.xml . 40.0 / 10.5 . 0.7 / 0.7
SRS_Standard/ICFP_2010/157603.xml . 836.0 / 300.0 . 662.2 / 300.1
SRS_Standard/ICFP_2010/157713.xml . 605.2 / 300.0 . 355.4 / 300.1
SRS_Standard/ICFP_2010/158152.xml . 580.0 / 300.0 . 442.9 / 300.1
SRS_Standard/ICFP_2010/158208.xml . 640.5 / 300.0 . 474.6 / 300.1
SRS_Standard/ICFP_2010/158342.xml . 681.5 / 300.0 . 655.9 / 300.0
SRS_Standard/ICFP_2010/158477.xml . 883.6 / 300.0 . 399.5 / 300.2
SRS_Standard/ICFP_2010/158620.xml . 843.5 / 300.0 . 426.3 / 300.0
SRS_Standard/ICFP_2010/159731.xml . 656.5 / 300.0 . 390.0 / 300.1
SRS_Standard/ICFP_2010/160068.xml . 598.4 / 300.0 . 581.1 / 300.1
SRS_Standard/ICFP_2010/160210.xml . 822.4 / 300.0 . 502.0 / 300.1
SRS_Standard/ICFP_2010/160234.xml . 640.8 / 300.0 . 508.6 / 300.1
SRS_Standard/ICFP_2010/160254.xml . 948.8 / 300.0 . 487.9 / 300.1
SRS_Standard/ICFP_2010/160263.xml . 46.1 / 11.6 . 11.5 / 11.5
SRS_Standard/ICFP_2010/160324.xml . 992.0 / 300.0 . 443.8 / 300.1
SRS_Standard/ICFP_2010/160364.xml . 1010.6 / 300.0 . 457.0 / 300.0
SRS_Standard/ICFP_2010/160398.xml . 855.5 / 300.0 . 520.0 / 300.1
SRS_Standard/ICFP_2010/160427.xml . 862.3 / 300.1 . 639.1 / 300.1
SRS_Standard/ICFP_2010/160462.xml . 1000.2 / 300.0 . 392.3 / 300.1
SRS_Standard/ICFP_2010/160475.xml . 622.1 / 300.0 . 365.0 / 300.1
SRS_Standard/ICFP_2010/160660.xml . 1005.3 / 300.0 . 665.1 / 300.1
SRS_Standard/ICFP_2010/161519.xml . 590.6 / 300.0 . 667.6 / 300.1
SRS_Standard/ICFP_2010/161533.xml . 770.0 / 300.0 . 407.0 / 300.1
SRS_Standard/ICFP_2010/161593.xml . 884.3 / 300.0 . 663.8 / 300.1
SRS_Standard/ICFP_2010/161864.xml . 590.3 / 300.0 . 1.4 / 1.5
SRS_Standard/ICFP_2010/161917.xml . 638.5 / 300.0 . 477.7 / 300.1
SRS_Standard/ICFP_2010/161930.xml . 635.3 / 300.0 . 549.4 / 300.0
SRS_Standard/ICFP_2010/162016.xml . 822.7 / 300.0 . 454.3 / 300.0
SRS_Standard/ICFP_2010/162075.xml . 844.5 / 300.1 . 514.6 / 300.0
SRS_Standard/ICFP_2010/162095.xml . 967.7 / 300.0 . 371.0 / 300.1
SRS_Standard/ICFP_2010/162244.xml . 633.1 / 300.0 . 610.9 / 300.1
SRS_Standard/ICFP_2010/165713.xml . 684.8 / 300.0 . 373.2 / 300.0
SRS_Standard/ICFP_2010/165755.xml . 823.2 / 300.0 . 631.0 / 300.1
SRS_Standard/ICFP_2010/165904.xml . 542.0 / 300.1 . 432.7 / 300.1
SRS_Standard/ICFP_2010/165936.xml . 1015.6 / 300.0 . 389.7 / 300.1
SRS_Standard/ICFP_2010/165975.xml . 573.6 / 300.0 . 645.2 / 300.1
SRS_Standard/ICFP_2010/166001.xml . 626.1 / 300.0 . 270.5 / 300.0
SRS_Standard/ICFP_2010/166465.xml . 623.6 / 300.0 . 529.9 / 300.0
SRS_Standard/ICFP_2010/166493.xml . 844.6 / 300.0 . 525.6 / 300.1
SRS_Standard/ICFP_2010/166558.xml . 834.7 / 300.0 . 354.8 / 300.0
SRS_Standard/ICFP_2010/166848.xml . 597.6 / 300.0 . 606.1 / 300.0
SRS_Standard/ICFP_2010/167041.xml . 875.2 / 300.0 . 427.8 / 300.0
SRS_Standard/ICFP_2010/167087.xml . 829.6 / 300.0 . 480.4 / 300.1
SRS_Standard/ICFP_2010/167240.xml . 739.9 / 300.0 . 489.5 / 300.1
SRS_Standard/ICFP_2010/167294.xml . 1056.6 / 300.0 . 404.6 / 300.1
SRS_Standard/ICFP_2010/167310.xml . 844.0 / 300.0 . 449.6 / 300.0
SRS_Standard/ICFP_2010/167391.xml . 1028.3 / 300.0 . 735.0 / 300.0
SRS_Standard/ICFP_2010/167433.xml . 617.4 / 300.0 . 340.7 / 300.1
SRS_Standard/ICFP_2010/167452.xml . 751.2 / 300.0 . 345.1 / 300.0
SRS_Standard/ICFP_2010/167526.xml . 1043.4 / 300.0 . 597.8 / 300.1
SRS_Standard/ICFP_2010/167636.xml . 1039.2 / 300.0 . 617.5 / 300.1
SRS_Standard/ICFP_2010/167742.xml . 810.6 / 300.0 . 450.1 / 300.1
SRS_Standard/ICFP_2010/180915.xml . 758.7 / 300.0 . 280.7 / 300.1
SRS_Standard/ICFP_2010/182946.xml . 614.2 / 300.0 . 407.2 / 300.1
SRS_Standard/ICFP_2010/183803.xml . 606.1 / 300.0 . 312.3 / 300.1
SRS_Standard/ICFP_2010/184957.xml . 843.9 / 300.1 . 463.8 / 300.0
SRS_Standard/ICFP_2010/185453.xml . 849.4 / 300.0 . 671.2 / 300.1
SRS_Standard/ICFP_2010/185628.xml . 697.6 / 300.0 . 371.5 / 300.1
SRS_Standard/ICFP_2010/186023.xml . 888.7 / 300.0 . 354.7 / 300.1
SRS_Standard/ICFP_2010/186222.xml . 829.5 / 300.0 . 331.2 / 300.0
SRS_Standard/ICFP_2010/186333.xml . 881.2 / 300.0 . 424.8 / 300.1
SRS_Standard/ICFP_2010/186617.xml . 932.3 / 300.0 . 354.4 / 300.1
SRS_Standard/ICFP_2010/186775.xml . 825.3 / 300.0 . 409.2 / 300.1
SRS_Standard/ICFP_2010/186810.xml . 798.5 / 300.0 . 417.3 / 300.0
SRS_Standard/ICFP_2010/186919.xml . 752.6 / 300.0 . 500.4 / 300.1
SRS_Standard/ICFP_2010/186973.xml . 947.8 / 300.0 . 644.1 / 300.1
SRS_Standard/ICFP_2010/187254.xml . 951.2 / 300.0 . 650.4 / 300.0
SRS_Standard/ICFP_2010/187837.xml . 641.9 / 300.0 . 590.6 / 300.1
SRS_Standard/ICFP_2010/188004.xml . 776.6 / 300.0 . 293.4 / 300.1
SRS_Standard/ICFP_2010/188238.xml . 694.1 / 300.0 . 641.1 / 300.1
SRS_Standard/ICFP_2010/188261.xml . 674.2 / 300.0 . 257.2 / 300.1
SRS_Standard/ICFP_2010/188296.xml . 829.9 / 300.1 . 347.2 / 300.0
SRS_Standard/ICFP_2010/188674.xml . 604.0 / 300.0 . 347.0 / 300.1
SRS_Standard/ICFP_2010/188696.xml . 611.8 / 300.0 . 507.9 / 300.0
SRS_Standard/ICFP_2010/211471.xml . 786.1 / 300.1 . 519.3 / 300.1
SRS_Standard/ICFP_2010/211639.xml . 597.7 / 300.0 . 537.3 / 300.0
SRS_Standard/ICFP_2010/211857.xml . 765.7 / 300.0 . 559.3 / 300.1
SRS_Standard/ICFP_2010/211915.xml . 666.4 / 300.0 . 332.4 / 300.0
SRS_Standard/ICFP_2010/211960.xml . 732.3 / 300.0 . 390.5 / 300.1
SRS_Standard/ICFP_2010/211978.xml . 818.3 / 300.0 . 386.9 / 300.1
SRS_Standard/ICFP_2010/212026.xml . 690.3 / 300.0 . 342.5 / 300.1
SRS_Standard/ICFP_2010/212037.xml . 733.4 / 300.0 . 395.1 / 300.1
SRS_Standard/ICFP_2010/212043.xml . 810.5 / 300.0 . 375.9 / 300.0
SRS_Standard/ICFP_2010/212062.xml . 740.4 / 300.0 . 305.9 / 300.0
SRS_Standard/ICFP_2010/212094.xml . 881.3 / 300.0 . 350.9 / 300.0
SRS_Standard/ICFP_2010/212117.xml . 604.5 / 300.0 . 373.1 / 300.1
SRS_Standard/ICFP_2010/212189.xml YES 812.0 / 300.0 . 598.8 / 300.1
SRS_Standard/ICFP_2010/212263.xml . 613.2 / 300.0 . 352.2 / 300.1
SRS_Standard/ICFP_2010/212308.xml . 725.4 / 300.1 . 501.7 / 300.0
SRS_Standard/ICFP_2010/212364.xml . 625.4 / 300.0 . 365.7 / 300.0
SRS_Standard/ICFP_2010/212421.xml . 846.3 / 300.1 . 668.4 / 300.1
SRS_Standard/ICFP_2010/212480.xml . 592.1 / 300.0 . 574.7 / 300.1
SRS_Standard/ICFP_2010/212534.xml . 921.6 / 300.0 . 475.0 / 300.1
SRS_Standard/ICFP_2010/212612.xml . 769.9 / 300.0 . 496.5 / 300.0
SRS_Standard/ICFP_2010/212693.xml . 46.3 / 11.7 . 0.0 / 0.0
SRS_Standard/ICFP_2010/212774.xml . 627.0 / 300.0 . 461.6 / 300.0
SRS_Standard/ICFP_2010/212795.xml . 842.7 / 300.0 . 409.0 / 300.0
SRS_Standard/ICFP_2010/212892.xml . 912.9 / 300.0 . 411.2 / 300.1
SRS_Standard/ICFP_2010/213051.xml . 804.4 / 300.0 . 491.5 / 300.1
SRS_Standard/ICFP_2010/213147.xml . 760.7 / 300.0 . 584.2 / 300.1
SRS_Standard/ICFP_2010/213218.xml . 766.7 / 300.1 . 367.1 / 300.0
SRS_Standard/ICFP_2010/213281.xml . 844.1 / 300.0 . 601.4 / 300.1
SRS_Standard/ICFP_2010/213407.xml . 766.8 / 300.0 . 388.7 / 300.0
SRS_Standard/ICFP_2010/213437.xml . 694.9 / 300.0 . 489.6 / 300.1
SRS_Standard/ICFP_2010/213537.xml . 646.3 / 300.0 . 511.5 / 300.1
SRS_Standard/ICFP_2010/213560.xml . 607.7 / 300.0 . 611.0 / 300.1
SRS_Standard/ICFP_2010/213611.xml . 861.8 / 300.0 . 723.3 / 300.1
SRS_Standard/ICFP_2010/213719.xml . 916.5 / 300.0 . 471.8 / 300.1
SRS_Standard/ICFP_2010/213865.xml . 614.2 / 300.0 . 371.2 / 300.0
SRS_Standard/ICFP_2010/214011.xml . 864.2 / 300.0 . 363.9 / 300.0
SRS_Standard/ICFP_2010/214091.xml . 624.1 / 300.0 . 367.3 / 300.1
SRS_Standard/ICFP_2010/214169.xml . 998.5 / 300.0 . 595.2 / 300.1
SRS_Standard/ICFP_2010/214183.xml . 774.5 / 300.0 . 381.6 / 300.0
SRS_Standard/ICFP_2010/214261.xml . 653.8 / 300.0 . 521.7 / 300.1
SRS_Standard/ICFP_2010/214320.xml . 826.4 / 300.1 . 364.2 / 300.0
SRS_Standard/ICFP_2010/230780.xml . 836.4 / 300.0 . 414.5 / 300.0
SRS_Standard/ICFP_2010/230819.xml . 824.6 / 300.0 . 536.7 / 300.0
SRS_Standard/ICFP_2010/230948.xml . 1042.0 / 300.0 . 747.0 / 300.1
SRS_Standard/ICFP_2010/231043.xml . 1037.0 / 300.0 . 707.0 / 300.1
SRS_Standard/ICFP_2010/231149.xml . 766.1 / 300.0 . 730.5 / 300.1
SRS_Standard/ICFP_2010/231230.xml . 759.2 / 300.0 . 552.1 / 300.1
SRS_Standard/ICFP_2010/231300.xml . 47.4 / 12.0 . 11.8 / 11.8
SRS_Standard/ICFP_2010/231378.xml . 735.8 / 300.0 . 717.1 / 300.1
SRS_Standard/ICFP_2010/231480.xml . 816.6 / 300.0 . 869.6 / 300.1
SRS_Standard/ICFP_2010/231604.xml . 774.0 / 300.0 . 616.2 / 300.0
SRS_Standard/ICFP_2010/24100.xml . 837.0 / 300.0 . 362.7 / 300.1
SRS_Standard/ICFP_2010/246924.xml . 867.1 / 300.0 . 740.0 / 300.1
SRS_Standard/ICFP_2010/247020.xml . 765.7 / 300.0 . 718.2 / 300.1
SRS_Standard/ICFP_2010/247254.xml . 616.0 / 300.0 . 919.8 / 300.1
SRS_Standard/ICFP_2010/247504.xml . 825.2 / 300.0 . 567.5 / 279.3
SRS_Standard/ICFP_2010/247906.xml . 865.1 / 300.0 . 714.8 / 300.1
SRS_Standard/ICFP_2010/247992.xml . 838.5 / 300.0 . 512.6 / 300.1
SRS_Standard/ICFP_2010/248060.xml . 1063.1 / 300.0 . 532.2 / 300.0
SRS_Standard/ICFP_2010/249386.xml . 882.2 / 300.0 . 742.6 / 300.0
SRS_Standard/ICFP_2010/249459.xml . 875.4 / 300.0 . 893.6 / 300.0
SRS_Standard/ICFP_2010/249663.xml . 1041.5 / 300.0 . 758.0 / 300.0
SRS_Standard/ICFP_2010/25192.xml YES 39.0 / 12.2 YES 38.7 / 50.6
SRS_Standard/ICFP_2010/25388.xml . 971.3 / 300.0 . 507.4 / 300.1
SRS_Standard/ICFP_2010/25395.xml . 607.9 / 300.0 . 364.9 / 300.0
SRS_Standard/ICFP_2010/25409.xml . 837.6 / 300.0 . 366.0 / 300.1
SRS_Standard/ICFP_2010/25416.xml . 847.5 / 300.0 . 436.2 / 300.0
SRS_Standard/ICFP_2010/25422.xml . 46.9 / 11.8 . 14.7 / 13.4
SRS_Standard/ICFP_2010/254704.xml . 883.2 / 300.0 . 499.1 / 300.1
SRS_Standard/ICFP_2010/25711.xml . 835.0 / 300.0 . 543.8 / 300.1
SRS_Standard/ICFP_2010/25726.xml . 1002.2 / 300.0 . 451.8 / 300.1
SRS_Standard/ICFP_2010/25731.xml . 742.7 / 300.0 . 427.9 / 300.0
SRS_Standard/ICFP_2010/25734.xml . 604.0 / 300.0 . 559.9 / 300.1
SRS_Standard/ICFP_2010/25736.xml . 645.8 / 300.0 . 655.3 / 300.1
SRS_Standard/ICFP_2010/25743.xml . 1062.7 / 300.0 . 564.7 / 300.1
SRS_Standard/ICFP_2010/25775.xml . 1059.6 / 300.0 . 537.3 / 300.1
SRS_Standard/ICFP_2010/25808.xml . 724.9 / 300.0 . 549.3 / 300.1
SRS_Standard/ICFP_2010/25849.xml . 605.9 / 300.0 . 589.3 / 300.0
SRS_Standard/ICFP_2010/259405.xml . 865.1 / 300.0 . 604.7 / 300.0
SRS_Standard/ICFP_2010/259625.xml . 920.9 / 300.0 . 464.2 / 300.1
SRS_Standard/ICFP_2010/26069.xml . 830.0 / 300.0 . 394.9 / 300.1
SRS_Standard/ICFP_2010/26103.xml . 916.7 / 300.0 . 221.6 / 186.0
SRS_Standard/ICFP_2010/26105.xml . 606.5 / 300.0 . 388.9 / 300.1
SRS_Standard/ICFP_2010/26110.xml . 636.2 / 300.0 . 528.6 / 300.1
SRS_Standard/ICFP_2010/26116.xml . 1064.1 / 300.0 . 344.0 / 300.1
SRS_Standard/ICFP_2010/26123.xml . 640.5 / 300.1 . 483.0 / 300.1
SRS_Standard/ICFP_2010/26127.xml . 898.3 / 300.0 . 664.1 / 300.0
SRS_Standard/ICFP_2010/26130.xml . 1075.7 / 300.0 . 566.1 / 300.1
SRS_Standard/ICFP_2010/26132.xml . 940.9 / 300.0 . 368.4 / 300.1
SRS_Standard/ICFP_2010/26186.xml . 858.5 / 300.0 . 460.9 / 300.1
SRS_Standard/ICFP_2010/26226.xml . 965.4 / 300.0 . 584.5 / 300.1
SRS_Standard/ICFP_2010/26291.xml . 745.5 / 300.0 . 185.6 / 199.5
SRS_Standard/ICFP_2010/262998.xml . 820.2 / 300.0 . 907.3 / 300.1
SRS_Standard/ICFP_2010/263745.xml . 642.0 / 300.0 . 503.2 / 300.0
SRS_Standard/ICFP_2010/264033.xml YES 408.6 / 173.4 . 220.3 / 204.8
SRS_Standard/ICFP_2010/264370.xml YES 268.1 / 91.4 YES 38.1 / 111.6
SRS_Standard/ICFP_2010/264405.xml YES 106.6 / 32.3 YES 11.5 / 21.6
SRS_Standard/ICFP_2010/26683.xml . 894.5 / 300.0 . 130.3 / 164.3
SRS_Standard/ICFP_2010/26741.xml . 756.3 / 300.0 . 463.6 / 300.1
SRS_Standard/ICFP_2010/26845.xml . 16.3 / 5.0 . 5.2 / 5.2
SRS_Standard/ICFP_2010/26862.xml . 1191.2 / 300.0 . 735.4 / 300.0
SRS_Standard/ICFP_2010/26871.xml . 13.8 / 3.5 . 3.6 / 3.6
SRS_Standard/ICFP_2010/26875.xml . 831.9 / 300.0 . 448.2 / 300.1
SRS_Standard/ICFP_2010/26879.xml . 605.4 / 300.0 . 421.1 / 300.0
SRS_Standard/ICFP_2010/26882.xml . 841.2 / 300.0 . 503.8 / 300.1
SRS_Standard/ICFP_2010/26886.xml . 963.5 / 300.0 . 1.4 / 1.4
SRS_Standard/ICFP_2010/26896.xml . 842.0 / 300.0 . 594.2 / 300.1
SRS_Standard/ICFP_2010/26903.xml . 493.4 / 300.0 . 451.7 / 300.0
SRS_Standard/ICFP_2010/26910.xml . 757.2 / 300.0 . 464.5 / 300.1
SRS_Standard/ICFP_2010/26916.xml . 638.9 / 300.0 . 537.2 / 300.0
SRS_Standard/ICFP_2010/26919.xml . 615.7 / 300.0 . 578.6 / 300.1
SRS_Standard/ICFP_2010/26923.xml . 778.0 / 300.0 . 479.1 / 300.1
SRS_Standard/ICFP_2010/26927.xml . 836.6 / 300.1 . 395.3 / 300.1
SRS_Standard/ICFP_2010/26931.xml . 986.5 / 300.0 . 595.2 / 300.1
SRS_Standard/ICFP_2010/26933.xml . 779.4 / 300.0 . 554.6 / 300.1
SRS_Standard/ICFP_2010/26940.xml . 845.3 / 300.0 . 403.9 / 300.0
SRS_Standard/ICFP_2010/26943.xml . 603.3 / 300.0 . 394.9 / 300.1
SRS_Standard/ICFP_2010/26946.xml . 940.0 / 300.0 . 490.2 / 300.1
SRS_Standard/ICFP_2010/26949.xml . 697.0 / 300.0 . 358.6 / 300.0
SRS_Standard/ICFP_2010/26951.xml . 634.5 / 300.0 . 306.3 / 300.0
SRS_Standard/ICFP_2010/26954.xml . 527.3 / 300.0 . 482.6 / 300.1
SRS_Standard/ICFP_2010/26957.xml . 698.6 / 300.0 . 557.6 / 300.1
SRS_Standard/ICFP_2010/26960.xml . 934.0 / 300.0 . 454.1 / 300.1
SRS_Standard/ICFP_2010/26965.xml . 838.8 / 300.0 . 370.7 / 300.1
SRS_Standard/ICFP_2010/26969.xml . 779.0 / 300.0 . 635.7 / 300.0
SRS_Standard/ICFP_2010/26972.xml . 899.1 / 300.0 . 563.2 / 300.1
SRS_Standard/ICFP_2010/26974.xml . 44.5 / 11.3 . 11.2 / 11.2
SRS_Standard/ICFP_2010/26976.xml . 975.0 / 300.1 . 425.1 / 300.1
SRS_Standard/ICFP_2010/26978.xml . 821.8 / 300.0 . 1.1 / 3.3
SRS_Standard/ICFP_2010/26980.xml . 759.6 / 300.0 . 648.2 / 300.1
SRS_Standard/ICFP_2010/26986.xml . 1059.0 / 300.0 . 475.3 / 300.1
SRS_Standard/ICFP_2010/26993.xml . 587.7 / 300.0 . 539.1 / 300.1
SRS_Standard/ICFP_2010/26998.xml . 839.5 / 300.0 . 562.7 / 300.0
SRS_Standard/ICFP_2010/27001.xml . 17.3 / 5.3 . 5.3 / 5.3
SRS_Standard/ICFP_2010/27003.xml . 846.7 / 300.0 . 627.4 / 300.1
SRS_Standard/ICFP_2010/27006.xml . 820.7 / 300.1 . 703.1 / 300.1
SRS_Standard/ICFP_2010/27009.xml . 615.9 / 300.0 . 381.7 / 300.0
SRS_Standard/ICFP_2010/27013.xml . 659.7 / 300.0 . 348.3 / 300.1
SRS_Standard/ICFP_2010/27015.xml . 862.8 / 300.0 . 882.4 / 300.1
SRS_Standard/ICFP_2010/27019.xml . 796.0 / 300.0 . 341.8 / 300.1
SRS_Standard/ICFP_2010/27023.xml . 695.8 / 300.0 . 361.4 / 300.1
SRS_Standard/ICFP_2010/27026.xml . 920.7 / 300.0 . 608.9 / 300.0
SRS_Standard/ICFP_2010/27028.xml . 995.9 / 300.0 . 598.1 / 300.0
SRS_Standard/ICFP_2010/27030.xml . 895.5 / 300.0 . 483.6 / 300.1
SRS_Standard/ICFP_2010/27034.xml . 605.7 / 300.0 . 551.7 / 300.1
SRS_Standard/ICFP_2010/27036.xml . 920.5 / 300.0 . 537.5 / 300.1
SRS_Standard/ICFP_2010/27039.xml . 767.8 / 300.0 . 374.5 / 300.1
SRS_Standard/ICFP_2010/27131.xml . 874.7 / 300.1 . 531.2 / 300.1
SRS_Standard/ICFP_2010/27134.xml . 738.2 / 300.0 . 388.9 / 300.0
SRS_Standard/ICFP_2010/27213.xml . 863.5 / 300.1 . 183.2 / 90.3
SRS_Standard/ICFP_2010/27235.xml . 1007.7 / 300.0 . 621.2 / 300.1
SRS_Standard/ICFP_2010/27280.xml . 888.8 / 300.0 . 553.7 / 300.1
SRS_Standard/ICFP_2010/28293.xml . 857.0 / 300.1 . 544.0 / 300.1
SRS_Standard/ICFP_2010/28464.xml . 642.7 / 300.0 . 533.4 / 300.1
SRS_Standard/ICFP_2010/28643.xml . 759.2 / 300.0 . 505.8 / 300.0
SRS_Standard/ICFP_2010/28838.xml . 677.5 / 300.0 . 858.7 / 300.1
SRS_Standard/ICFP_2010/29415.xml . 853.2 / 300.0 . 346.8 / 300.0
SRS_Standard/ICFP_2010/3268.xml . 603.9 / 300.0 . 295.7 / 224.6
SRS_Standard/ICFP_2010/3336.xml YES 438.8 / 216.3 . 393.9 / 300.1
SRS_Standard/ICFP_2010/3385.xml . 833.5 / 300.0 . 409.0 / 300.1
SRS_Standard/ICFP_2010/3450.xml . 1051.9 / 300.0 . 456.9 / 300.1
SRS_Standard/ICFP_2010/3467.xml . 871.1 / 300.0 . 441.6 / 300.1
SRS_Standard/ICFP_2010/3498.xml . 702.5 / 300.0 . 541.8 / 300.1
SRS_Standard/ICFP_2010/3533.xml . 710.9 / 300.0 . 576.7 / 300.0
SRS_Standard/ICFP_2010/3562.xml . 653.7 / 300.0 . 630.6 / 300.1
SRS_Standard/ICFP_2010/3589.xml . 642.0 / 300.0 . 412.7 / 300.0
SRS_Standard/ICFP_2010/3633.xml . 591.6 / 300.0 . 450.6 / 300.1
SRS_Standard/ICFP_2010/3680.xml . 833.4 / 300.0 . 548.1 / 300.1
SRS_Standard/ICFP_2010/3705.xml . 1031.5 / 300.0 . 664.3 / 300.0
SRS_Standard/ICFP_2010/3729.xml . 764.9 / 300.0 . 529.1 / 300.0
SRS_Standard/ICFP_2010/3746.xml . 593.7 / 300.0 . 285.9 / 255.3
SRS_Standard/ICFP_2010/3762.xml . 868.4 / 300.0 . 350.1 / 300.0
SRS_Standard/ICFP_2010/3770.xml YES 618.1 / 300.0 . 460.3 / 300.1
SRS_Standard/ICFP_2010/3786.xml . 592.5 / 300.0 . 344.0 / 300.1
SRS_Standard/ICFP_2010/3817.xml . 611.4 / 300.0 . 372.6 / 300.0
SRS_Standard/ICFP_2010/3831.xml . 996.3 / 300.0 . 580.0 / 300.1
SRS_Standard/ICFP_2010/3842.xml . 608.4 / 300.0 . 251.2 / 300.0
SRS_Standard/ICFP_2010/3856.xml . 604.7 / 300.0 . 363.8 / 300.0
SRS_Standard/ICFP_2010/3861.xml . 649.1 / 300.0 . 425.5 / 300.1
SRS_Standard/ICFP_2010/3865.xml . 748.0 / 300.0 . 609.7 / 300.1
SRS_Standard/ICFP_2010/3916.xml . 896.0 / 300.0 . 406.6 / 300.1
SRS_Standard/ICFP_2010/3927.xml . 863.6 / 300.0 . 500.2 / 300.1
SRS_Standard/ICFP_2010/3930.xml . 959.2 / 300.0 . 457.2 / 300.1
SRS_Standard/ICFP_2010/3939.xml . 591.3 / 300.0 . 374.9 / 300.1
SRS_Standard/ICFP_2010/39830.xml . 1061.5 / 300.0 . 377.2 / 300.0
SRS_Standard/ICFP_2010/39849.xml . 697.1 / 300.0 . 387.4 / 300.1
SRS_Standard/ICFP_2010/3989.xml . 859.4 / 300.0 . 466.5 / 300.1
SRS_Standard/ICFP_2010/3995.xml . 623.1 / 300.0 . 361.2 / 300.0
SRS_Standard/ICFP_2010/4002.xml . 891.0 / 300.0 . 541.9 / 300.2
SRS_Standard/ICFP_2010/40033.xml . 820.5 / 300.0 . 344.3 / 300.1
SRS_Standard/ICFP_2010/40093.xml . 807.8 / 300.1 . 415.3 / 300.0
SRS_Standard/ICFP_2010/4017.xml . 672.6 / 300.0 . 442.2 / 300.1
SRS_Standard/ICFP_2010/4029.xml . 1044.1 / 300.0 . 667.8 / 300.1
SRS_Standard/ICFP_2010/4036.xml . 908.3 / 300.0 . 558.0 / 300.1
SRS_Standard/ICFP_2010/4046.xml YES 401.6 / 179.3 . 373.4 / 300.0
SRS_Standard/ICFP_2010/4051.xml . 878.6 / 300.0 . 367.3 / 300.1
SRS_Standard/ICFP_2010/40540.xml . 896.0 / 300.0 . 390.5 / 300.0
SRS_Standard/ICFP_2010/4057.xml . 807.8 / 300.0 . 414.5 / 300.0
SRS_Standard/ICFP_2010/40708.xml . 888.6 / 300.0 . 520.2 / 300.1
SRS_Standard/ICFP_2010/4074.xml . 730.7 / 300.0 . 373.7 / 300.1
SRS_Standard/ICFP_2010/40976.xml . 1000.2 / 300.0 . 1.8 / 4.3
SRS_Standard/ICFP_2010/4106.xml . 628.4 / 300.0 . 454.2 / 300.1
SRS_Standard/ICFP_2010/41378.xml . 870.6 / 300.0 . 809.4 / 300.0
SRS_Standard/ICFP_2010/4141.xml . 628.3 / 300.0 . 460.9 / 300.0
SRS_Standard/ICFP_2010/41427.xml . 45.5 / 11.5 . 0.1 / 0.1
SRS_Standard/ICFP_2010/4157.xml . 702.1 / 300.0 . 337.7 / 300.1
SRS_Standard/ICFP_2010/41688.xml . 922.0 / 300.1 . 280.8 / 300.1
SRS_Standard/ICFP_2010/4181.xml . 594.7 / 300.0 . 493.9 / 300.1
SRS_Standard/ICFP_2010/41838.xml . 657.1 / 300.0 . 472.2 / 300.1
SRS_Standard/ICFP_2010/41843.xml . 1050.8 / 300.0 . 489.9 / 300.1
SRS_Standard/ICFP_2010/41865.xml . 862.7 / 300.0 . 422.3 / 300.0
SRS_Standard/ICFP_2010/4200.xml . 835.7 / 300.0 . 651.2 / 300.0
SRS_Standard/ICFP_2010/4206.xml . 803.3 / 300.1 . 337.0 / 300.1
SRS_Standard/ICFP_2010/42170.xml . 628.8 / 300.0 . 623.7 / 300.1
SRS_Standard/ICFP_2010/42321.xml . 795.4 / 300.0 . 544.6 / 300.0
SRS_Standard/ICFP_2010/42466.xml . 786.1 / 300.0 . 613.7 / 300.1
SRS_Standard/ICFP_2010/4248.xml . 838.1 / 300.0 . 397.1 / 300.0
SRS_Standard/ICFP_2010/42683.xml . 635.5 / 300.0 . 667.1 / 300.1
SRS_Standard/ICFP_2010/4282.xml . 940.6 / 300.0 . 634.1 / 300.1
SRS_Standard/ICFP_2010/4314.xml . 22.0 / 5.6 . 5.3 / 5.3
SRS_Standard/ICFP_2010/43266.xml . 9.7 / 3.2 . 6.4 / 5.2
SRS_Standard/ICFP_2010/43603.xml . 636.1 / 300.0 . 749.2 / 300.0
SRS_Standard/ICFP_2010/43621.xml . 835.1 / 300.0 . 599.0 / 300.0
SRS_Standard/ICFP_2010/43650.xml . 681.9 / 300.0 . 732.3 / 300.1
SRS_Standard/ICFP_2010/4374.xml . 6.8 / 3.5 . 365.6 / 300.1
SRS_Standard/ICFP_2010/43987.xml . 838.9 / 300.0 . 540.0 / 300.1
SRS_Standard/ICFP_2010/4412.xml . 764.8 / 300.0 . 595.6 / 300.1
SRS_Standard/ICFP_2010/44332.xml . 843.4 / 300.0 . 356.8 / 300.1
SRS_Standard/ICFP_2010/4484.xml . 724.8 / 300.0 . 703.4 / 300.0
SRS_Standard/ICFP_2010/4487.xml . 840.4 / 300.0 . 521.6 / 300.1
SRS_Standard/ICFP_2010/45720.xml . 636.2 / 300.0 . 363.9 / 300.1
SRS_Standard/ICFP_2010/45757.xml . 712.9 / 300.0 . 235.9 / 300.1
SRS_Standard/ICFP_2010/45970.xml . 897.6 / 300.0 . 576.9 / 300.1
SRS_Standard/ICFP_2010/4816.xml . 746.4 / 300.0 . 535.3 / 300.0
SRS_Standard/ICFP_2010/4819.xml . 985.8 / 300.0 . 564.0 / 300.1
SRS_Standard/ICFP_2010/4824.xml . 754.2 / 300.0 . 0.1 / 0.2
SRS_Standard/ICFP_2010/48262.xml . 865.2 / 300.0 . 671.3 / 300.0
SRS_Standard/ICFP_2010/48267.xml . 793.9 / 300.0 . 402.7 / 300.1
SRS_Standard/ICFP_2010/4827.xml . 684.8 / 300.0 . 361.1 / 300.1
SRS_Standard/ICFP_2010/48328.xml . 838.0 / 300.0 . 453.9 / 300.0
SRS_Standard/ICFP_2010/48374.xml . 648.7 / 300.0 . 644.4 / 300.1
SRS_Standard/ICFP_2010/4840.xml . 661.5 / 300.0 . 368.7 / 300.0
SRS_Standard/ICFP_2010/4847.xml . 618.7 / 300.0 . 540.5 / 300.1
SRS_Standard/ICFP_2010/4854.xml . 603.6 / 300.0 . 653.3 / 300.1
SRS_Standard/ICFP_2010/48686.xml . 974.1 / 300.0 . 496.2 / 300.0
SRS_Standard/ICFP_2010/4893.xml . 690.0 / 300.0 . 456.2 / 300.0
SRS_Standard/ICFP_2010/4920.xml . 824.7 / 300.0 . 415.9 / 300.0
SRS_Standard/ICFP_2010/4934.xml . 849.5 / 300.1 . 0.1 / 0.4
SRS_Standard/ICFP_2010/4938.xml . 842.8 / 300.0 . 360.8 / 300.1
SRS_Standard/ICFP_2010/4943.xml . 820.4 / 300.0 . 544.4 / 300.1
SRS_Standard/ICFP_2010/4953.xml . 681.2 / 300.1 . 393.7 / 300.1
SRS_Standard/ICFP_2010/4964.xml . 604.8 / 300.0 . 670.4 / 300.1
SRS_Standard/ICFP_2010/4970.xml . 622.6 / 300.0 . 407.7 / 260.0
SRS_Standard/ICFP_2010/4979.xml . 805.5 / 300.0 . 409.7 / 300.0
SRS_Standard/ICFP_2010/4991.xml . 603.3 / 300.0 . 389.2 / 300.1
SRS_Standard/ICFP_2010/5011.xml . 863.5 / 300.0 . 369.2 / 300.0
SRS_Standard/ICFP_2010/5076.xml . 865.6 / 300.0 . 378.0 / 300.1
SRS_Standard/ICFP_2010/50904.xml . 806.8 / 300.0 . 452.7 / 300.1
SRS_Standard/ICFP_2010/5109.xml . 958.2 / 300.0 . 521.0 / 300.1
SRS_Standard/ICFP_2010/5130.xml . 924.0 / 300.0 . 565.8 / 300.0
SRS_Standard/ICFP_2010/51424.xml . 837.5 / 300.0 . 509.5 / 300.0
SRS_Standard/ICFP_2010/51577.xml . 598.1 / 300.0 . 497.5 / 300.1
SRS_Standard/ICFP_2010/51842.xml . 590.0 / 300.0 . 905.1 / 300.1
SRS_Standard/ICFP_2010/53216.xml . 604.0 / 300.0 . 504.8 / 300.0
SRS_Standard/ICFP_2010/54097.xml . 966.0 / 300.0 . 571.4 / 300.1
SRS_Standard/ICFP_2010/54532.xml YES 805.1 / 237.5 YES 105.9 / 65.9
SRS_Standard/ICFP_2010/54622.xml . 676.4 / 300.0 YES 94.7 / 83.4
SRS_Standard/ICFP_2010/56144.xml . 694.3 / 300.0 . 715.6 / 300.1
SRS_Standard/ICFP_2010/57132.xml . 732.5 / 300.0 . 670.6 / 300.1
SRS_Standard/ICFP_2010/57278.xml . 861.6 / 300.0 . 657.3 / 300.1
SRS_Standard/ICFP_2010/57355.xml . 833.7 / 300.0 . 456.4 / 300.1
SRS_Standard/ICFP_2010/57453.xml . 768.2 / 300.0 . 477.8 / 300.1
SRS_Standard/ICFP_2010/57799.xml . 607.6 / 300.0 . 488.4 / 300.1
SRS_Standard/ICFP_2010/57852.xml . 594.2 / 300.0 . 537.4 / 300.0
SRS_Standard/ICFP_2010/58125.xml . 685.1 / 300.0 . 568.3 / 300.1
SRS_Standard/ICFP_2010/58194.xml . 874.3 / 300.0 . 356.7 / 300.1
SRS_Standard/ICFP_2010/58221.xml . 746.1 / 300.0 . 625.1 / 300.1
SRS_Standard/ICFP_2010/58301.xml . 726.3 / 300.0 . 520.3 / 300.0
SRS_Standard/ICFP_2010/63142.xml YES 873.4 / 300.0 . 473.9 / 300.1
SRS_Standard/ICFP_2010/64160.xml . 871.9 / 300.0 . 358.5 / 300.1
SRS_Standard/ICFP_2010/65081.xml . 886.2 / 300.1 . 373.2 / 300.1
SRS_Standard/ICFP_2010/68322.xml . 801.5 / 300.0 . 430.2 / 300.1
SRS_Standard/ICFP_2010/68535.xml . 615.9 / 300.0 . 452.1 / 300.0
SRS_Standard/ICFP_2010/68989.xml . 844.2 / 300.1 . 462.5 / 300.1
SRS_Standard/ICFP_2010/81452.xml . 834.4 / 300.0 . 522.4 / 300.1
SRS_Standard/ICFP_2010/84886.xml . 963.6 / 300.0 . 677.1 / 300.1
SRS_Standard/ICFP_2010/84977.xml . 809.7 / 300.0 . 385.2 / 300.1
SRS_Standard/ICFP_2010/85039.xml . 817.5 / 300.0 . 377.1 / 300.1
SRS_Standard/ICFP_2010/85079.xml . 39.3 / 11.9 . 4.9 / 4.9
SRS_Standard/ICFP_2010/85267.xml . 904.4 / 300.0 . 422.2 / 300.1
SRS_Standard/ICFP_2010/85294.xml . 842.9 / 300.0 . 367.4 / 300.1
SRS_Standard/ICFP_2010/85345.xml . 848.5 / 300.0 . 393.0 / 300.0
SRS_Standard/ICFP_2010/85380.xml . 923.3 / 300.0 . 381.0 / 300.1
SRS_Standard/ICFP_2010/85477.xml . 722.3 / 300.0 . 388.1 / 300.1
SRS_Standard/ICFP_2010/85590.xml . 870.5 / 300.0 . 377.7 / 300.0
SRS_Standard/ICFP_2010/85650.xml . 675.7 / 300.0 . 370.4 / 300.1
SRS_Standard/ICFP_2010/85675.xml . 829.4 / 300.0 YES 83.3 / 89.5
SRS_Standard/ICFP_2010/85721.xml . 721.4 / 300.0 . 660.5 / 300.1
SRS_Standard/ICFP_2010/85749.xml . 714.7 / 300.0 . 435.3 / 300.1
SRS_Standard/ICFP_2010/85782.xml . 862.1 / 300.0 . 489.1 / 300.1
SRS_Standard/ICFP_2010/85834.xml . 685.6 / 300.0 . 610.9 / 300.1
SRS_Standard/ICFP_2010/85874.xml . 734.4 / 300.0 . 621.6 / 300.1
SRS_Standard/ICFP_2010/85920.xml . 1022.5 / 300.0 . 522.3 / 300.1
SRS_Standard/ICFP_2010/86025.xml . 745.6 / 300.0 . 361.0 / 300.1
SRS_Standard/ICFP_2010/86052.xml . 853.0 / 300.0 . 373.4 / 300.0
SRS_Standard/ICFP_2010/86452.xml . 616.8 / 300.0 . 355.9 / 300.0
SRS_Standard/ICFP_2010/86499.xml . 844.1 / 300.0 . 444.2 / 300.1
SRS_Standard/ICFP_2010/86526.xml . 684.5 / 300.0 . 379.5 / 300.1
SRS_Standard/ICFP_2010/86559.xml . 1084.7 / 300.0 . 399.3 / 300.2
SRS_Standard/ICFP_2010/86577.xml . 738.1 / 300.0 . 379.9 / 300.0
SRS_Standard/ICFP_2010/86617.xml . 796.0 / 300.0 . 383.4 / 300.1
SRS_Standard/ICFP_2010/86636.xml . 626.9 / 300.0 . 368.0 / 300.1
SRS_Standard/ICFP_2010/86745.xml . 652.6 / 300.0 . 315.2 / 300.2
SRS_Standard/ICFP_2010/86816.xml . 625.1 / 300.0 . 330.1 / 300.1
SRS_Standard/ICFP_2010/86857.xml . 872.6 / 300.0 . 363.1 / 300.1
SRS_Standard/ICFP_2010/88143.xml . 812.7 / 300.0 . 534.2 / 300.1
SRS_Standard/ICFP_2010/88156.xml . 948.9 / 300.0 . 493.6 / 300.1
SRS_Standard/ICFP_2010/88172.xml . 21.3 / 5.4 . 5.7 / 5.8
SRS_Standard/ICFP_2010/88183.xml . 24.5 / 6.2 . 5.2 / 5.3
SRS_Standard/ICFP_2010/88208.xml . 1166.5 / 300.0 . 451.5 / 300.1
SRS_Standard/ICFP_2010/88283.xml . 820.7 / 300.0 . 387.7 / 300.0
SRS_Standard/ICFP_2010/91210.xml . 781.5 / 300.0 . 626.2 / 300.1
SRS_Standard/ICFP_2010/91218.xml . 42.0 / 10.9 . 14.2 / 12.7
SRS_Standard/ICFP_2010/91233.xml . 701.6 / 300.0 . 359.5 / 300.0
SRS_Standard/ICFP_2010/91242.xml . 680.7 / 300.0 . 634.8 / 300.1
SRS_Standard/ICFP_2010/91254.xml . 883.1 / 300.0 . 443.8 / 300.1
SRS_Standard/ICFP_2010/95858.xml . 842.3 / 300.0 . 368.3 / 300.0
SRS_Standard/ICFP_2010/95899.xml . 724.6 / 300.0 . 370.9 / 300.1
SRS_Standard/ICFP_2010/95952.xml . 720.7 / 300.0 . 458.7 / 300.1
SRS_Standard/ICFP_2010/95978.xml . 782.1 / 300.0 . 356.9 / 300.0
SRS_Standard/ICFP_2010/96029.xml . 598.2 / 300.0 . 671.1 / 300.1
SRS_Standard/ICFP_2010/96065.xml . 832.1 / 300.0 . 377.2 / 300.0
SRS_Standard/ICFP_2010/96086.xml YES 678.9 / 207.0 YES 62.7 / 57.6
SRS_Standard/ICFP_2010/96104.xml . 935.1 / 300.0 . 476.3 / 300.1
SRS_Standard/ICFP_2010/96119.xml . 600.5 / 300.0 . 407.9 / 300.0
SRS_Standard/ICFP_2010/96156.xml . 592.6 / 300.0 . 366.6 / 300.1
SRS_Standard/ICFP_2010/96176.xml . 606.9 / 300.0 . 531.3 / 300.1
SRS_Standard/ICFP_2010/96198.xml . 883.4 / 300.0 . 423.6 / 300.1
SRS_Standard/ICFP_2010/96224.xml . 760.5 / 300.0 YES 62.7 / 69.3
SRS_Standard/ICFP_2010/96239.xml . 872.2 / 300.0 . 368.8 / 300.1
SRS_Standard/ICFP_2010/96256.xml . 670.0 / 300.0 . 373.8 / 300.0
SRS_Standard/ICFP_2010/96274.xml . 635.8 / 300.0 . 650.7 / 300.1
SRS_Standard/ICFP_2010/96289.xml . 768.2 / 300.1 . 553.9 / 300.1
SRS_Standard/ICFP_2010/96302.xml . 794.6 / 300.1 . 371.0 / 300.1
SRS_Standard/ICFP_2010/96334.xml . 616.5 / 300.0 . 277.3 / 300.0
SRS_Standard/ICFP_2010/96370.xml . 919.5 / 300.0 . 639.7 / 300.0
SRS_Standard/ICFP_2010/96403.xml . 879.0 / 300.0 . 460.9 / 300.1
SRS_Standard/ICFP_2010/96417.xml . 859.8 / 300.0 . 393.3 / 300.1
SRS_Standard/ICFP_2010/96438.xml . 853.4 / 300.0 . 474.3 / 300.0
SRS_Standard/ICFP_2010/96464.xml . 47.4 / 11.9 . 0.4 / 0.4
SRS_Standard/ICFP_2010/96485.xml . 619.0 / 300.0 YES 56.6 / 56.7
SRS_Standard/ICFP_2010/96523.xml . 579.6 / 300.0 . 507.6 / 300.0
SRS_Standard/ICFP_2010/96563.xml . 852.3 / 300.0 . 367.8 / 300.1
SRS_Standard/ICFP_2010/96612.xml . 603.4 / 300.0 . 400.1 / 300.1
SRS_Standard/ICFP_2010/96642.xml . 744.8 / 300.0 . 358.8 / 300.1
SRS_Standard/ICFP_2010/96673.xml . 636.8 / 300.0 . 630.4 / 300.1
SRS_Standard/ICFP_2010/97885.xml . 39.8 / 11.9 . 0.0 / 0.0
SRS_Standard/ICFP_2010/97888.xml . 877.2 / 300.0 . 425.9 / 300.1
SRS_Standard/ICFP_2010/97901.xml . 636.0 / 300.0 . 473.0 / 300.1
SRS_Standard/ICFP_2010/97917.xml . 580.5 / 300.0 . 443.5 / 300.1
SRS_Standard/ICFP_2010/97929.xml . 611.1 / 300.0 . 388.3 / 300.1
SRS_Standard/ICFP_2010/98362.xml . 790.0 / 300.0 . 515.5 / 300.0
SRS_Standard/ICFP_2010/98623.xml . 7.7 / 2.0 . 0.0 / 0.0
SRS_Standard/Mixed_SRS/01-oppelt08.xml NO 0.3 / 0.1 NO 0.0 / 0.1
SRS_Standard/Mixed_SRS/01.xml NO 1.0 / 0.9 NO 0.0 / 0.5
SRS_Standard/Mixed_SRS/02-oppelt08.xml . 868.9 / 300.0 . 407.0 / 300.1
SRS_Standard/Mixed_SRS/02.xml NO 0.9 / 0.9 NO 0.0 / 0.1
SRS_Standard/Mixed_SRS/03-oppelt08.xml . 945.3 / 300.0 . 376.7 / 300.1
SRS_Standard/Mixed_SRS/03.xml NO 0.7 / 0.7 NO 0.0 / 0.0
SRS_Standard/Mixed_SRS/04-oppelt08.xml . 1090.0 / 300.0 NO 64.0 / 69.0
SRS_Standard/Mixed_SRS/04.xml NO 0.2 / 0.1 NO 0.0 / 0.0
SRS_Standard/Mixed_SRS/05-oppelt08.xml NO 0.6 / 0.2 NO 0.0 / 0.0
SRS_Standard/Mixed_SRS/05.xml NO 0.2 / 0.1 . 736.0 / 300.1
SRS_Standard/Mixed_SRS/06-oppelt08.xml NO 0.3 / 0.1 NO 0.0 / 0.0
SRS_Standard/Mixed_SRS/06.xml NO 0.4 / 0.3 . 592.7 / 300.1
SRS_Standard/Mixed_SRS/07-oppelt08.xml NO 1.2 / 0.9 NO 0.0 / 0.0
SRS_Standard/Mixed_SRS/07.xml NO 0.1 / 0.0 . 459.9 / 300.1
SRS_Standard/Mixed_SRS/08-oppelt08.xml NO 0.4 / 0.1 NO 59.5 / 54.7
SRS_Standard/Mixed_SRS/08.xml NO 0.1 / 0.0 . 627.0 / 300.1
SRS_Standard/Mixed_SRS/09.xml NO 0.3 / 0.1 . 560.0 / 300.1
SRS_Standard/Mixed_SRS/1.xml NO 4.1 / 1.0 NO 43.3 / 55.3
SRS_Standard/Mixed_SRS/2.xml NO 0.5 / 0.1 NO 0.0 / 0.0
SRS_Standard/Mixed_SRS/3.xml YES 29.4 / 9.6 YES 48.4 / 47.2
SRS_Standard/Mixed_SRS/4.xml NO 0.6 / 0.2 . 303.3 / 300.0
SRS_Standard/Mixed_SRS/s6.xml NO 4.5 / 1.1 NO 0.0 / 0.0
SRS_Standard/Mixed_SRS/touzet.xml NO 0.5 / 0.6 NO 75.3 / 68.2
SRS_Standard/Mixed_SRS/turing_add.xml NO 4.5 / 3.6 NO 0.0 / 0.4
SRS_Standard/Mixed_SRS/turing_copy.xml NO 4.2 / 2.0 NO 0.0 / 0.0
SRS_Standard/Mixed_SRS/turing_mult.xml NO 0.3 / 0.1 NO 0.0 / 0.0
SRS_Standard/Secret_05_SRS/aprove1.xml NO 3.5 / 2.7 NO 0.0 / 0.1
SRS_Standard/Secret_05_SRS/aprove2.xml NO 1.2 / 1.0 NO 0.0 / 0.1
SRS_Standard/Secret_05_SRS/aprove3.xml NO 2.8 / 0.9 NO 0.0 / 0.0
SRS_Standard/Secret_05_SRS/aprove4.xml NO 0.3 / 0.1 NO 9.6 / 23.6
SRS_Standard/Secret_05_SRS/aprove5.xml NO 2.4 / 1.4 . 431.0 / 300.1
SRS_Standard/Secret_05_SRS/jambox1.xml NO 0.4 / 0.1 . 343.2 / 300.0
SRS_Standard/Secret_05_SRS/jambox2.xml . 891.0 / 300.0 . 616.3 / 300.1
SRS_Standard/Secret_05_SRS/jambox3.xml . 1152.1 / 300.0 . 335.1 / 300.1
SRS_Standard/Secret_05_SRS/jambox4.xml YES 340.9 / 88.6 . 464.3 / 300.1
SRS_Standard/Secret_05_SRS/jambox5.xml . 920.3 / 300.0 . 488.4 / 300.1
SRS_Standard/Secret_05_SRS/matchbox1.xml NO 0.7 / 0.4 NO 0.0 / 0.1
SRS_Standard/Secret_05_SRS/matchbox2.xml YES 147.5 / 41.0 . 385.1 / 300.0
SRS_Standard/Secret_05_SRS/torpa1.xml . 715.5 / 300.0 . 483.3 / 300.1
SRS_Standard/Secret_05_SRS/torpa2.xml NO 0.3 / 0.2 NO 0.0 / 0.1
SRS_Standard/Secret_05_SRS/torpa3.xml YES 162.9 / 48.3 YES 61.0 / 54.1
SRS_Standard/Secret_05_SRS/torpa4.xml NO 1.0 / 0.3 NO 0.0 / 0.0
SRS_Standard/Secret_06_SRS/1-matchbox.xml NO 0.2 / 0.1 . 523.3 / 300.1
SRS_Standard/Secret_06_SRS/1.xml . 962.5 / 300.1 . 567.5 / 300.1
SRS_Standard/Secret_06_SRS/10.xml NO 0.4 / 0.1 . 550.4 / 300.1
SRS_Standard/Secret_06_SRS/2-matchbox.xml YES 87.0 / 25.9 YES 129.6 / 73.3
SRS_Standard/Secret_06_SRS/2.xml . 844.3 / 300.0 . 518.7 / 300.1
SRS_Standard/Secret_06_SRS/3-matchbox.xml NO 0.7 / 0.3 NO 0.0 / 0.0
SRS_Standard/Secret_06_SRS/3.xml . 891.2 / 300.0 . 569.9 / 300.1
SRS_Standard/Secret_06_SRS/5-matchbox.xml NO 1.2 / 1.1 . 623.5 / 300.1
SRS_Standard/Secret_06_SRS/5.xml . 551.2 / 300.0 . 480.4 / 300.1
SRS_Standard/Secret_06_SRS/6.xml NO 0.5 / 0.2 NO 0.0 / 0.0
SRS_Standard/Secret_06_SRS/7.xml NO 0.4 / 0.1 . 488.0 / 300.2
SRS_Standard/Secret_06_SRS/8.xml NO 0.1 / 0.0 NO 0.0 / 0.0
SRS_Standard/Secret_06_SRS/9.xml NO 0.5 / 0.2 . 406.6 / 300.2
SRS_Standard/Secret_06_SRS/aprove00.xml NO 16.2 / 8.2 . 445.5 / 300.1
SRS_Standard/Secret_06_SRS/aprove01.xml NO 3.0 / 0.8 NO 0.0 / 0.0
SRS_Standard/Secret_06_SRS/aprove02.xml NO 2.8 / 0.7 . 369.0 / 300.1
SRS_Standard/Secret_06_SRS/aprove03.xml NO 5.9 / 1.6 . 469.9 / 300.1
SRS_Standard/Secret_06_SRS/aprove04.xml NO 3.4 / 2.2 . 623.9 / 300.0
SRS_Standard/Secret_06_SRS/aprove05.xml NO 5.5 / 1.7 . 234.8 / 300.0
SRS_Standard/Secret_06_SRS/aprove06.xml NO 8.3 / 3.2 . 327.1 / 300.1
SRS_Standard/Secret_06_SRS/aprove07.xml . 1181.7 / 300.0 . 643.8 / 300.0
SRS_Standard/Secret_06_SRS/aprove08.xml NO 4.7 / 1.9 . 366.8 / 300.1
SRS_Standard/Secret_06_SRS/aprove09.xml NO 1.4 / 0.4 . 338.0 / 300.0
SRS_Standard/Secret_06_SRS/multum1.xml NO 0.3 / 0.1 NO 257.7 / 198.9
SRS_Standard/Secret_06_SRS/multum2.xml NO 0.4 / 0.1 . 406.1 / 300.0
SRS_Standard/Secret_06_SRS/multum3.xml NO 1.8 / 1.3 . 288.3 / 300.1
SRS_Standard/Secret_06_SRS/multum4.xml YES 120.1 / 34.1 . 394.1 / 300.1
SRS_Standard/Secret_06_SRS/multum5.xml NO 0.4 / 0.4 NO 0.0 / 0.0
SRS_Standard/Secret_06_SRS/multum6.xml NO 0.8 / 0.2 NO 0.0 / 0.0
SRS_Standard/Secret_06_SRS/secr1.xml NO 0.4 / 0.1 NO 102.4 / 113.6
SRS_Standard/Secret_06_SRS/secr10.xml NO 0.5 / 0.1 NO 0.0 / 0.0
SRS_Standard/Secret_06_SRS/secr2.xml NO 1.7 / 1.6 NO 171.9 / 196.4
SRS_Standard/Secret_06_SRS/secr3.xml NO 0.6 / 0.2 NO 0.0 / 0.0
SRS_Standard/Secret_06_SRS/secr4.xml NO 3.1 / 1.0 . 525.6 / 300.1
SRS_Standard/Secret_06_SRS/secr5.xml NO 11.2 / 3.6 . 575.0 / 300.1
SRS_Standard/Secret_06_SRS/secr6.xml NO 6.8 / 2.6 . 0.0 / 0.1
SRS_Standard/Secret_06_SRS/secr7.xml NO 1.4 / 0.6 NO 0.0 / 0.0
SRS_Standard/Secret_06_SRS/secr8.xml NO 0.6 / 0.2 . 410.8 / 300.0
SRS_Standard/Secret_06_SRS/secr9.xml NO 8.8 / 6.8 . 748.5 / 300.1
SRS_Standard/Secret_07_SRS/dj.xml NO 0.8 / 1.1 NO 31.8 / 63.7
SRS_Standard/Secret_07_SRS/num-514.xml NO 11.5 / 9.3 . 555.3 / 300.1
SRS_Standard/Secret_07_SRS/num-515.xml NO 3.6 / 1.4 NO 80.2 / 56.6
SRS_Standard/Secret_07_SRS/num-518.xml NO 125.8 / 83.1 . 547.1 / 300.1
SRS_Standard/Secret_07_SRS/num-519.xml NO 4.8 / 1.2 NO 67.3 / 52.9
SRS_Standard/Secret_07_SRS/num-520.xml NO 984.4 / 250.6 . 746.9 / 300.1
SRS_Standard/Secret_07_SRS/num-521.xml NO 4.7 / 2.9 . 542.2 / 300.1
SRS_Standard/Secret_07_SRS/num-525.xml NO 7.6 / 1.9 NO 112.8 / 66.3
SRS_Standard/Secret_07_SRS/num-527.xml NO 6.3 / 1.6 . 470.6 / 300.1
SRS_Standard/Secret_07_SRS/num-530.xml NO 0.6 / 0.4 NO 70.4 / 53.2
SRS_Standard/Secret_07_SRS/num-539.xml NO 6.0 / 4.3 NO 29.0 / 53.4
SRS_Standard/Secret_07_SRS/x01.xml NO 0.7 / 0.2 NO 23.4 / 23.4
SRS_Standard/Secret_07_SRS/x02.xml NO 8.0 / 2.1 . 1063.5 / 296.3
SRS_Standard/Secret_07_SRS/x03.xml NO 0.5 / 0.3 NO 0.0 / 0.5
SRS_Standard/Secret_07_SRS/x04.xml NO 20.9 / 5.3 . 409.1 / 300.0
SRS_Standard/Secret_07_SRS/x05.xml NO 1.6 / 1.6 . 592.0 / 300.1
SRS_Standard/Secret_07_SRS/x06.xml NO 3.4 / 2.8 . 738.2 / 300.1
SRS_Standard/Secret_07_SRS/x07.xml NO 1.7 / 0.4 NO 204.5 / 146.8
SRS_Standard/Secret_07_SRS/x08.xml NO 0.3 / 0.1 . 630.3 / 300.1
SRS_Standard/Secret_07_SRS/x09.xml NO 1.4 / 0.4 NO 120.2 / 192.8
SRS_Standard/Secret_07_SRS/x10.xml NO 0.5 / 0.1 NO 0.0 / 0.0
SRS_Standard/Trafo_06/dup01.xml NO 12.3 / 3.1 NO 0.1 / 0.1
SRS_Standard/Trafo_06/dup05.xml NO 1.0 / 0.3 NO 117.7 / 121.2
SRS_Standard/Trafo_06/dup06.xml NO 0.5 / 0.5 . 578.2 / 300.1
SRS_Standard/Trafo_06/dup07.xml NO 0.8 / 0.3 . 630.7 / 300.1
SRS_Standard/Trafo_06/dup08.xml NO 0.5 / 0.2 . 398.0 / 300.1
SRS_Standard/Trafo_06/dup09.xml NO 1.7 / 0.5 NO 0.0 / 0.0
SRS_Standard/Trafo_06/dup10.xml NO 151.6 / 75.4 . 547.8 / 300.0
SRS_Standard/Trafo_06/dup11.xml NO 785.5 / 300.0 . 514.7 / 300.1
SRS_Standard/Trafo_06/dup12.xml NO 3.4 / 1.1 NO 5.2 / 5.3
SRS_Standard/Trafo_06/dup13.xml NO 1.5 / 1.0 . 430.9 / 300.1
SRS_Standard/Trafo_06/dup14.xml NO 1.8 / 1.8 . 421.2 / 300.0
SRS_Standard/Trafo_06/dup15.xml NO 1.4 / 0.5 NO 0.0 / 0.1
SRS_Standard/Trafo_06/dup16.xml . 907.1 / 300.0 YES 181.9 / 166.0
SRS_Standard/Trafo_06/dup17.xml NO 0.8 / 0.3 NO 0.0 / 0.1
SRS_Standard/Trafo_06/hom01.xml NO 0.8 / 0.2 . 744.8 / 300.1
SRS_Standard/Trafo_06/hom02.xml NO 0.7 / 0.2 NO 0.0 / 0.0
SRS_Standard/Trafo_06/hom03.xml NO 0.8 / 0.8 . 652.7 / 300.1
SRS_Standard/Trafo_06/un02.xml NO 1.4 / 0.4 . 250.6 / 188.2
SRS_Standard/Trafo_06/un04.xml NO 25.5 / 6.4 NO 101.9 / 62.6
SRS_Standard/Trafo_06/un05.xml NO 0.9 / 0.3 NO 0.0 / 0.0
SRS_Standard/Trafo_06/un06.xml NO 1.1 / 1.1 NO 0.0 / 0.0
SRS_Standard/Trafo_06/un07.xml NO 2.3 / 1.9 NO 0.0 / 0.0
SRS_Standard/Trafo_06/un08.xml NO 1.5 / 1.0 . 750.4 / 300.1
SRS_Standard/Trafo_06/un09.xml NO 1.7 / 0.7 . 402.3 / 300.0
SRS_Standard/Trafo_06/un10.xml NO 0.4 / 0.1 . 330.0 / 300.1
SRS_Standard/Trafo_06/un11.xml NO 0.5 / 0.2 . 488.4 / 300.1
SRS_Standard/Trafo_06/un12.xml NO 2.8 / 1.8 . 428.6 / 300.0
SRS_Standard/Trafo_06/un13.xml NO 0.7 / 0.2 . 420.5 / 300.1
SRS_Standard/Trafo_06/un14.xml NO 2.2 / 1.7 NO 0.0 / 0.0
SRS_Standard/Trafo_06/un15.xml NO 0.3 / 0.1 NO 0.0 / 0.0
SRS_Standard/Trafo_06/un16.xml NO 0.2 / 0.1 NO 0.0 / 0.0
SRS_Standard/Trafo_06/un17.xml NO 0.8 / 0.3 . 497.1 / 300.1
SRS_Standard/Trafo_06/un18.xml NO 1.9 / 0.6 NO 8.7 / 8.7
SRS_Standard/Waldmann_06_SRS/e.xml YES 604.1 / 290.3 . 436.4 / 300.1
SRS_Standard/Waldmann_06_SRS/jw1.xml NO 0.7 / 0.2 NO 0.0 / 0.0
SRS_Standard/Waldmann_06_SRS/jw3.xml NO 0.7 / 0.3 NO 0.0 / 0.0
SRS_Standard/Waldmann_06_SRS/jw4.xml NO 0.1 / 0.1 . 581.5 / 300.1
SRS_Standard/Waldmann_06_SRS/jw5.xml NO 1.0 / 0.3 . 471.3 / 300.1
SRS_Standard/Waldmann_06_SRS/pi.xml NO 0.7 / 0.4 NO 0.0 / 0.1
SRS_Standard/Waldmann_06_SRS/sym-1.xml YES 56.6 / 16.7 YES 49.8 / 47.6
SRS_Standard/Waldmann_06_SRS/sym-2.xml YES 96.0 / 29.3 YES 88.0 / 63.8
SRS_Standard/Waldmann_06_SRS/sym-4.xml YES 245.6 / 116.0 YES 48.7 / 47.4
SRS_Standard/Waldmann_06_SRS/sym-5.xml NO 0.6 / 0.2 NO 0.0 / 0.0
SRS_Standard/Waldmann_06_SRS/sym-6.xml NO 0.4 / 0.1 . 456.0 / 300.1
SRS_Standard/Waldmann_06_SRS/uni-1.xml YES 37.6 / 14.9 YES 19.6 / 65.1
SRS_Standard/Waldmann_06_SRS/uni-2.xml NO 0.3 / 0.1 NO 49.3 / 47.3
SRS_Standard/Waldmann_06_SRS/uni-3.xml NO 0.7 / 0.2 NO 71.1 / 54.1
SRS_Standard/Waldmann_06_SRS/uni-4.xml NO 0.2 / 0.1 NO 39.6 / 55.7
SRS_Standard/Waldmann_06_SRS/uni-5.xml NO 0.7 / 0.2 . 598.5 / 300.1
SRS_Standard/Waldmann_06_SRS/uni-6.xml NO 3.0 / 0.8 NO 64.9 / 64.5
SRS_Standard/Waldmann_06_SRS/uni-7.xml NO 17.2 / 13.4 . 726.7 / 300.1
SRS_Standard/Waldmann_06_SRS/z086-variant.xml NO 1.3 / 1.2 . 744.4 / 300.1
ndard/Waldmann_07_size11/size-11-alpha-2-num-1.xml NO 0.8 / 0.6 . 553.7 / 300.1
ndard/Waldmann_07_size11/size-11-alpha-2-num-2.xml . 983.5 / 300.0 . 517.4 / 300.1
ndard/Waldmann_07_size11/size-11-alpha-2-num-3.xml NO 0.2 / 0.1 . 433.1 / 300.1
ndard/Waldmann_07_size11/size-11-alpha-2-num-4.xml NO 0.8 / 0.8 . 749.8 / 300.1
ndard/Waldmann_07_size11/size-11-alpha-3-num-1.xml NO 0.9 / 1.0 . 605.2 / 300.1
dard/Waldmann_07_size11/size-11-alpha-3-num-10.xml NO 0.3 / 0.1 . 727.2 / 300.2
dard/Waldmann_07_size11/size-11-alpha-3-num-11.xml NO 0.1 / 0.0 . 440.4 / 300.0
dard/Waldmann_07_size11/size-11-alpha-3-num-12.xml NO 0.3 / 0.1 NO 0.0 / 0.1
dard/Waldmann_07_size11/size-11-alpha-3-num-13.xml NO 0.1 / 0.0 . 779.6 / 300.1
dard/Waldmann_07_size11/size-11-alpha-3-num-14.xml NO 0.4 / 0.1 . 522.3 / 300.0
dard/Waldmann_07_size11/size-11-alpha-3-num-15.xml NO 4.5 / 1.1 NO 50.8 / 64.5
dard/Waldmann_07_size11/size-11-alpha-3-num-16.xml . 884.2 / 300.0 . 0.0 / 0.1
dard/Waldmann_07_size11/size-11-alpha-3-num-17.xml NO 0.5 / 0.1 NO 0.0 / 0.2
dard/Waldmann_07_size11/size-11-alpha-3-num-18.xml NO 1.2 / 0.4 NO 0.0 / 0.0
dard/Waldmann_07_size11/size-11-alpha-3-num-19.xml NO 1.8 / 1.0 NO 0.0 / 0.0
ndard/Waldmann_07_size11/size-11-alpha-3-num-2.xml NO 0.5 / 0.1 . 318.9 / 300.1
dard/Waldmann_07_size11/size-11-alpha-3-num-20.xml NO 0.7 / 0.3 NO 0.0 / 0.0
dard/Waldmann_07_size11/size-11-alpha-3-num-21.xml NO 0.9 / 0.6 NO 0.0 / 0.4
ndard/Waldmann_07_size11/size-11-alpha-3-num-3.xml NO 2.5 / 2.2 NO 0.0 / 0.3
ndard/Waldmann_07_size11/size-11-alpha-3-num-4.xml NO 1.8 / 0.6 . 599.6 / 300.1
ndard/Waldmann_07_size11/size-11-alpha-3-num-5.xml . 969.8 / 300.0 . 581.3 / 300.1
ndard/Waldmann_07_size11/size-11-alpha-3-num-6.xml NO 0.4 / 0.1 . 680.3 / 300.1
ndard/Waldmann_07_size11/size-11-alpha-3-num-7.xml NO 0.5 / 0.2 . 611.0 / 300.1
ndard/Waldmann_07_size11/size-11-alpha-3-num-8.xml NO 0.4 / 0.3 . 690.7 / 300.1
ndard/Waldmann_07_size11/size-11-alpha-3-num-9.xml NO 0.4 / 0.3 . 733.1 / 283.0
ndard/Waldmann_07_size12/size-12-alpha-2-num-1.xml NO 0.2 / 0.1 NO 0.0 / 0.0
dard/Waldmann_07_size12/size-12-alpha-2-num-10.xml . 7.7 / 4.0 . 3.1 / 2.2
dard/Waldmann_07_size12/size-12-alpha-2-num-11.xml NO 207.1 / 70.4 . 690.3 / 300.1
dard/Waldmann_07_size12/size-12-alpha-2-num-12.xml NO 7.0 / 2.2 . 379.7 / 300.1
dard/Waldmann_07_size12/size-12-alpha-2-num-13.xml NO 0.1 / 0.1 NO 113.9 / 173.0
dard/Waldmann_07_size12/size-12-alpha-2-num-14.xml NO 0.4 / 0.1 NO 140.3 / 160.4
dard/Waldmann_07_size12/size-12-alpha-2-num-15.xml NO 0.6 / 0.2 NO 0.4 / 0.4
dard/Waldmann_07_size12/size-12-alpha-2-num-16.xml NO 0.1 / 0.0 . 0.0 / 0.0
dard/Waldmann_07_size12/size-12-alpha-2-num-17.xml NO 0.1 / 0.1 . 645.8 / 300.1
dard/Waldmann_07_size12/size-12-alpha-2-num-18.xml NO 0.3 / 0.1 . 556.4 / 300.1
dard/Waldmann_07_size12/size-12-alpha-2-num-19.xml NO 1.3 / 0.7 NO 0.0 / 0.1
ndard/Waldmann_07_size12/size-12-alpha-2-num-2.xml NO 0.2 / 0.2 NO 104.2 / 128.0
dard/Waldmann_07_size12/size-12-alpha-2-num-20.xml NO 1.0 / 0.7 NO 0.0 / 0.0
dard/Waldmann_07_size12/size-12-alpha-2-num-21.xml NO 0.4 / 0.1 NO 147.7 / 173.2
dard/Waldmann_07_size12/size-12-alpha-2-num-22.xml NO 0.5 / 0.2 NO 0.0 / 0.5
ndard/Waldmann_07_size12/size-12-alpha-2-num-3.xml NO 0.1 / 0.1 NO 0.0 / 0.0
ndard/Waldmann_07_size12/size-12-alpha-2-num-4.xml . 997.0 / 300.0 . 540.9 / 300.1
ndard/Waldmann_07_size12/size-12-alpha-2-num-5.xml . 1101.0 / 300.0 . 560.9 / 300.1
ndard/Waldmann_07_size12/size-12-alpha-2-num-6.xml NO 0.3 / 0.1 . 0.0 / 0.1
ndard/Waldmann_07_size12/size-12-alpha-2-num-7.xml NO 2.1 / 0.6 NO 0.0 / 0.0
ndard/Waldmann_07_size12/size-12-alpha-2-num-8.xml . 993.6 / 300.1 . 560.3 / 300.4
ndard/Waldmann_07_size12/size-12-alpha-3-num-1.xml NO 1.3 / 1.0 NO 0.0 / 0.3
dard/Waldmann_07_size12/size-12-alpha-3-num-10.xml NO 0.3 / 0.4 NO 164.4 / 155.3
ard/Waldmann_07_size12/size-12-alpha-3-num-100.xml NO 0.7 / 0.2 NO 50.0 / 50.8
ard/Waldmann_07_size12/size-12-alpha-3-num-101.xml NO 0.2 / 0.1 NO 84.4 / 59.0
ard/Waldmann_07_size12/size-12-alpha-3-num-104.xml . 14.6 / 3.7 . 3.5 / 3.6
ard/Waldmann_07_size12/size-12-alpha-3-num-105.xml NO 0.3 / 0.1 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-106.xml NO 0.9 / 0.9 NO 0.0 / 0.2
ard/Waldmann_07_size12/size-12-alpha-3-num-107.xml NO 0.3 / 0.1 . 741.9 / 300.2
ard/Waldmann_07_size12/size-12-alpha-3-num-108.xml NO 0.7 / 0.7 . 926.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-109.xml NO 0.1 / 0.0 . 606.4 / 300.3
dard/Waldmann_07_size12/size-12-alpha-3-num-11.xml NO 0.6 / 0.2 NO 91.7 / 61.8
ard/Waldmann_07_size12/size-12-alpha-3-num-110.xml NO 0.4 / 0.1 . 528.0 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-111.xml NO 0.5 / 0.2 . 611.8 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-112.xml NO 0.4 / 0.1 . 454.1 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-113.xml NO 0.2 / 0.1 . 447.6 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-114.xml NO 0.5 / 1.1 . 505.1 / 300.2
ard/Waldmann_07_size12/size-12-alpha-3-num-120.xml NO 29.6 / 8.5 . 380.6 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-121.xml NO 0.6 / 0.6 . 310.1 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-122.xml NO 0.1 / 0.1 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-123.xml NO 0.3 / 0.2 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-124.xml NO 0.7 / 0.6 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-125.xml . 761.3 / 300.0 . 466.6 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-126.xml NO 0.2 / 0.2 NO 0.0 / 0.3
ard/Waldmann_07_size12/size-12-alpha-3-num-127.xml NO 1.5 / 1.0 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-128.xml NO 0.3 / 0.1 . 570.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-129.xml NO 0.8 / 0.9 NO 31.4 / 59.3
dard/Waldmann_07_size12/size-12-alpha-3-num-13.xml NO 0.2 / 0.1 . 765.4 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-131.xml NO 0.4 / 0.3 . 444.9 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-132.xml NO 1.6 / 0.5 . 567.4 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-133.xml NO 1.1 / 0.4 . 651.1 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-134.xml NO 1.5 / 0.7 . 0.0 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-135.xml NO 0.4 / 0.1 NO 0.0 / 0.4
dard/Waldmann_07_size12/size-12-alpha-3-num-14.xml NO 0.8 / 0.7 . 375.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-140.xml NO 1.9 / 0.7 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-146.xml NO 1.9 / 0.6 NO 3.7 / 2.1
ard/Waldmann_07_size12/size-12-alpha-3-num-149.xml NO 0.6 / 0.2 NO 0.0 / 0.0
dard/Waldmann_07_size12/size-12-alpha-3-num-15.xml NO 0.4 / 0.1 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-152.xml NO 1.6 / 0.4 NO 23.3 / 23.3
ard/Waldmann_07_size12/size-12-alpha-3-num-158.xml NO 0.5 / 0.2 NO 22.7 / 53.7
ard/Waldmann_07_size12/size-12-alpha-3-num-159.xml NO 0.8 / 0.3 NO 0.0 / 0.1
dard/Waldmann_07_size12/size-12-alpha-3-num-16.xml NO 0.4 / 0.3 . 423.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-160.xml NO 1.6 / 0.4 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-163.xml NO 0.9 / 0.5 NO 112.0 / 151.8
ard/Waldmann_07_size12/size-12-alpha-3-num-164.xml NO 0.4 / 0.1 NO 130.0 / 52.9
ard/Waldmann_07_size12/size-12-alpha-3-num-165.xml NO 11.4 / 10.3 NO 0.1 / 0.2
ard/Waldmann_07_size12/size-12-alpha-3-num-168.xml NO 6.3 / 4.9 NO 0.1 / 0.5
dard/Waldmann_07_size12/size-12-alpha-3-num-17.xml NO 1.0 / 0.3 . 576.6 / 300.3
ard/Waldmann_07_size12/size-12-alpha-3-num-170.xml NO 1.7 / 1.0 NO 338.2 / 152.1
ard/Waldmann_07_size12/size-12-alpha-3-num-174.xml . 888.5 / 300.0 . 963.0 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-176.xml NO 8.3 / 4.2 NO 0.2 / 0.5
ard/Waldmann_07_size12/size-12-alpha-3-num-177.xml NO 3.0 / 1.6 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-178.xml NO 0.5 / 0.3 NO 0.0 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-179.xml NO 0.9 / 0.5 NO 38.3 / 53.4
ard/Waldmann_07_size12/size-12-alpha-3-num-180.xml NO 0.8 / 0.3 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-181.xml NO 0.7 / 0.5 NO 0.0 / 0.3
ard/Waldmann_07_size12/size-12-alpha-3-num-186.xml NO 0.3 / 0.2 NO 55.0 / 72.7
dard/Waldmann_07_size12/size-12-alpha-3-num-19.xml NO 0.2 / 0.1 NO 0.0 / 0.4
ard/Waldmann_07_size12/size-12-alpha-3-num-190.xml NO 1.9 / 0.8 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-191.xml NO 1.2 / 0.3 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-194.xml NO 0.8 / 0.5 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-195.xml NO 3.5 / 1.4 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-198.xml . 1058.3 / 300.0 . 596.0 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-199.xml NO 5.2 / 1.6 . 620.2 / 300.1
dard/Waldmann_07_size12/size-12-alpha-3-num-20.xml NO 0.6 / 0.2 NO 24.9 / 70.1
ard/Waldmann_07_size12/size-12-alpha-3-num-200.xml NO 1.0 / 0.3 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-201.xml NO 0.8 / 0.3 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-202.xml NO 1.0 / 0.8 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-203.xml NO 1.6 / 0.9 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-204.xml NO 0.7 / 0.2 NO 0.0 / 0.4
ard/Waldmann_07_size12/size-12-alpha-3-num-206.xml NO 5.8 / 2.8 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-207.xml NO 1.1 / 0.4 NO 75.8 / 67.2
ard/Waldmann_07_size12/size-12-alpha-3-num-209.xml NO 45.0 / 25.4 NO 0.0 / 0.3
dard/Waldmann_07_size12/size-12-alpha-3-num-21.xml NO 0.4 / 0.2 . 585.5 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-210.xml NO 5.9 / 3.7 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-211.xml NO 1.6 / 1.1 . 513.2 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-213.xml NO 1.8 / 0.6 NO 0.0 / 0.2
ard/Waldmann_07_size12/size-12-alpha-3-num-215.xml NO 0.8 / 0.3 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-217.xml NO 0.5 / 0.1 NO 0.0 / 0.2
ard/Waldmann_07_size12/size-12-alpha-3-num-219.xml NO 2.2 / 1.2 NO 0.0 / 0.1
dard/Waldmann_07_size12/size-12-alpha-3-num-22.xml NO 0.6 / 0.3 NO 55.1 / 66.3
ard/Waldmann_07_size12/size-12-alpha-3-num-220.xml NO 4.0 / 2.1 NO 0.0 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-221.xml NO 1.2 / 0.4 NO 0.0 / 0.3
ard/Waldmann_07_size12/size-12-alpha-3-num-222.xml NO 0.5 / 0.3 NO 33.9 / 34.5
ard/Waldmann_07_size12/size-12-alpha-3-num-223.xml NO 0.4 / 0.2 NO 0.0 / 0.3
ard/Waldmann_07_size12/size-12-alpha-3-num-224.xml NO 0.5 / 0.2 . 618.0 / 300.2
ard/Waldmann_07_size12/size-12-alpha-3-num-225.xml NO 0.6 / 0.5 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-226.xml NO 1.6 / 0.9 NO 3.0 / 6.1
ard/Waldmann_07_size12/size-12-alpha-3-num-227.xml NO 0.4 / 0.2 NO 55.1 / 52.1
dard/Waldmann_07_size12/size-12-alpha-3-num-23.xml NO 0.7 / 0.2 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-231.xml NO 0.4 / 0.1 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-232.xml NO 0.3 / 0.3 . 676.8 / 300.2
ard/Waldmann_07_size12/size-12-alpha-3-num-233.xml NO 0.3 / 0.1 . 11.8 / 11.8
ard/Waldmann_07_size12/size-12-alpha-3-num-236.xml . 992.2 / 300.0 . 401.2 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-237.xml . 1102.8 / 300.0 . 590.2 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-238.xml NO 0.7 / 0.2 . 523.7 / 300.2
ard/Waldmann_07_size12/size-12-alpha-3-num-239.xml NO 1.0 / 0.4 NO 0.0 / 0.2
ard/Waldmann_07_size12/size-12-alpha-3-num-241.xml NO 0.2 / 0.1 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-243.xml NO 1.2 / 0.4 NO 0.0 / 0.2
ard/Waldmann_07_size12/size-12-alpha-3-num-247.xml NO 58.5 / 15.8 . 853.5 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-248.xml NO 284.8 / 126.3 . 607.0 / 300.3
ard/Waldmann_07_size12/size-12-alpha-3-num-249.xml NO 0.5 / 0.1 . 10.9 / 10.9
ard/Waldmann_07_size12/size-12-alpha-3-num-255.xml NO 2.5 / 0.6 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-257.xml NO 5.5 / 1.7 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-260.xml NO 6.2 / 2.4 NO 50.6 / 48.6
ard/Waldmann_07_size12/size-12-alpha-3-num-263.xml NO 0.7 / 0.3 . 673.6 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-265.xml NO 0.8 / 0.7 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-267.xml NO 1.2 / 1.8 . 787.3 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-270.xml NO 2.7 / 1.7 . 816.7 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-271.xml NO 0.3 / 0.1 . 0.5 / 0.5
ard/Waldmann_07_size12/size-12-alpha-3-num-272.xml NO 0.8 / 0.2 . 544.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-273.xml NO 0.7 / 0.4 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-274.xml NO 0.2 / 0.1 . 603.5 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-275.xml NO 0.5 / 0.6 NO 0.0 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-279.xml NO 1.3 / 1.2 NO 0.0 / 0.5
ard/Waldmann_07_size12/size-12-alpha-3-num-281.xml NO 0.5 / 0.2 NO 0.0 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-282.xml NO 0.9 / 0.3 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-283.xml NO 1.1 / 0.6 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-284.xml NO 0.3 / 0.1 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-285.xml NO 1.3 / 0.9 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-286.xml NO 1.2 / 0.8 . 549.7 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-287.xml NO 1.0 / 0.5 NO 87.2 / 83.7
ard/Waldmann_07_size12/size-12-alpha-3-num-288.xml NO 1.0 / 0.9 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-289.xml NO 0.3 / 0.1 . 554.7 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-291.xml NO 0.6 / 0.2 . 787.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-292.xml NO 0.3 / 0.1 . 526.3 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-293.xml NO 0.1 / 0.0 NO 0.0 / 0.4
ard/Waldmann_07_size12/size-12-alpha-3-num-294.xml NO 1.2 / 0.5 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-296.xml NO 1.9 / 1.8 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-297.xml NO 0.6 / 0.2 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-298.xml NO 0.5 / 0.3 NO 132.2 / 184.2
ard/Waldmann_07_size12/size-12-alpha-3-num-299.xml NO 1.0 / 0.7 NO 0.0 / 0.1
ndard/Waldmann_07_size12/size-12-alpha-3-num-3.xml NO 0.8 / 0.3 NO 0.0 / 0.0
dard/Waldmann_07_size12/size-12-alpha-3-num-30.xml NO 0.4 / 0.1 NO 0.7 / 0.7
ard/Waldmann_07_size12/size-12-alpha-3-num-300.xml NO 0.9 / 0.9 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-301.xml NO 1.0 / 1.0 NO 0.0 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-303.xml NO 0.6 / 0.2 NO 165.4 / 171.3
ard/Waldmann_07_size12/size-12-alpha-3-num-304.xml NO 0.4 / 0.3 NO 148.6 / 183.9
ard/Waldmann_07_size12/size-12-alpha-3-num-309.xml . 775.8 / 300.1 . 406.8 / 300.1
dard/Waldmann_07_size12/size-12-alpha-3-num-31.xml NO 0.9 / 0.3 NO 0.0 / 0.3
dard/Waldmann_07_size12/size-12-alpha-3-num-32.xml . 961.5 / 300.0 . 711.3 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-327.xml NO 0.7 / 0.7 . 427.5 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-328.xml NO 0.1 / 0.1 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-330.xml NO 0.3 / 0.3 NO 0.0 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-335.xml NO 0.2 / 0.1 . 0.0 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-337.xml NO 0.9 / 0.8 NO 0.0 / 0.5
ard/Waldmann_07_size12/size-12-alpha-3-num-338.xml . 833.3 / 300.0 . 0.0 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-339.xml NO 886.6 / 249.6 . 452.2 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-340.xml . 1051.8 / 300.0 . 537.1 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-341.xml NO 1.8 / 1.2 . 693.0 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-343.xml NO 1.6 / 1.2 NO 0.0 / 0.3
ard/Waldmann_07_size12/size-12-alpha-3-num-345.xml NO 0.2 / 0.1 . 511.4 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-346.xml NO 0.4 / 0.1 . 544.2 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-347.xml NO 0.2 / 0.2 . 599.6 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-348.xml NO 0.4 / 0.2 . 521.3 / 300.1
dard/Waldmann_07_size12/size-12-alpha-3-num-35.xml . 768.7 / 300.0 . 0.0 / 0.2
ard/Waldmann_07_size12/size-12-alpha-3-num-350.xml NO 9.0 / 5.0 NO 0.2 / 0.5
ard/Waldmann_07_size12/size-12-alpha-3-num-351.xml NO 1.1 / 0.9 NO 0.1 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-352.xml NO 0.5 / 0.1 NO 29.1 / 40.6
ard/Waldmann_07_size12/size-12-alpha-3-num-353.xml NO 0.4 / 0.3 NO 54.9 / 49.1
ard/Waldmann_07_size12/size-12-alpha-3-num-354.xml NO 1.6 / 1.0 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-355.xml . 674.0 / 300.0 . 465.6 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-356.xml . 908.4 / 300.0 . 524.9 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-359.xml NO 4.4 / 1.4 . 515.6 / 300.2
ard/Waldmann_07_size12/size-12-alpha-3-num-360.xml NO 0.2 / 0.1 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-361.xml . 885.5 / 300.0 . 652.0 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-362.xml NO 313.6 / 126.6 . 635.2 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-363.xml . 785.5 / 300.0 . 562.6 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-366.xml NO 1.4 / 0.5 . 592.9 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-367.xml NO 0.1 / 0.0 . 439.9 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-368.xml NO 0.3 / 0.1 NO 55.6 / 56.0
ard/Waldmann_07_size12/size-12-alpha-3-num-369.xml . 861.8 / 300.0 . 494.7 / 300.3
ard/Waldmann_07_size12/size-12-alpha-3-num-373.xml NO 0.3 / 0.1 NO 54.9 / 67.7
ard/Waldmann_07_size12/size-12-alpha-3-num-374.xml NO 0.2 / 0.1 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-375.xml NO 0.7 / 0.7 . 5.4 / 5.5
ard/Waldmann_07_size12/size-12-alpha-3-num-376.xml NO 0.3 / 0.1 . 11.0 / 11.0
ard/Waldmann_07_size12/size-12-alpha-3-num-377.xml NO 0.2 / 0.1 . 641.1 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-378.xml NO 0.5 / 0.2 NO 3.3 / 3.3
ard/Waldmann_07_size12/size-12-alpha-3-num-382.xml . 718.3 / 300.0 . 489.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-383.xml . 907.8 / 300.0 . 581.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-384.xml . 767.4 / 300.0 . 459.9 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-385.xml NO 356.4 / 117.1 . 451.2 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-386.xml . 959.9 / 300.0 . 365.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-389.xml NO 0.1 / 0.1 . 505.3 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-391.xml NO 1.2 / 0.8 . 513.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-392.xml NO 0.3 / 0.1 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-395.xml NO 0.3 / 0.1 . 321.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-396.xml NO 0.4 / 0.1 . 430.9 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-399.xml NO 0.1 / 0.0 NO 0.0 / 0.0
ndard/Waldmann_07_size12/size-12-alpha-3-num-4.xml NO 0.2 / 0.1 NO 0.0 / 0.0
dard/Waldmann_07_size12/size-12-alpha-3-num-40.xml NO 0.5 / 0.2 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-400.xml . 852.8 / 300.0 . 0.0 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-401.xml . 794.0 / 300.0 . 328.6 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-402.xml . 749.0 / 300.1 . 455.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-403.xml . 768.9 / 300.0 . 629.4 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-406.xml . 947.3 / 300.0 . 386.5 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-408.xml . 862.9 / 300.0 . 701.2 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-409.xml . 774.7 / 300.0 . 476.4 / 300.1
dard/Waldmann_07_size12/size-12-alpha-3-num-41.xml NO 0.9 / 0.3 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-410.xml . 1016.5 / 300.0 . 527.9 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-412.xml NO 1.0 / 0.6 . 461.4 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-413.xml NO 0.2 / 0.1 . 436.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-414.xml NO 0.1 / 0.0 . 494.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-415.xml NO 0.4 / 0.1 . 590.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-416.xml NO 0.3 / 0.1 . 1.8 / 1.8
ard/Waldmann_07_size12/size-12-alpha-3-num-417.xml NO 0.7 / 0.6 . 529.6 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-418.xml NO 0.2 / 0.1 . 0.0 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-427.xml NO 0.2 / 0.2 . 522.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-429.xml NO 0.6 / 0.6 NO 28.8 / 28.8
ard/Waldmann_07_size12/size-12-alpha-3-num-430.xml NO 0.6 / 0.2 NO 137.8 / 81.6
ard/Waldmann_07_size12/size-12-alpha-3-num-431.xml NO 0.9 / 0.8 NO 0.1 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-434.xml NO 1.0 / 0.3 NO 0.1 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-435.xml NO 0.6 / 0.2 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-436.xml NO 0.5 / 0.2 . 718.3 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-437.xml NO 0.1 / 0.0 . 718.4 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-438.xml NO 0.3 / 0.2 . 759.2 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-439.xml NO 0.7 / 0.3 NO 0.0 / 0.1
dard/Waldmann_07_size12/size-12-alpha-3-num-44.xml NO 0.3 / 0.2 NO 0.0 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-441.xml NO 0.7 / 0.2 . 467.2 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-443.xml NO 0.4 / 0.5 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-446.xml NO 0.1 / 0.1 . 552.5 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-448.xml NO 0.4 / 0.1 NO 106.7 / 170.9
dard/Waldmann_07_size12/size-12-alpha-3-num-45.xml NO 0.9 / 0.3 NO 0.3 / 0.3
ard/Waldmann_07_size12/size-12-alpha-3-num-450.xml NO 1.0 / 0.8 NO 96.2 / 60.8
ard/Waldmann_07_size12/size-12-alpha-3-num-451.xml . 968.1 / 300.0 . 608.7 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-452.xml . 959.5 / 300.0 . 874.1 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-453.xml NO 0.2 / 0.2 . 821.0 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-454.xml NO 1.0 / 0.9 . 503.0 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-455.xml NO 0.1 / 0.2 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-456.xml NO 0.3 / 0.1 . 486.6 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-460.xml NO 0.2 / 0.1 . 11.8 / 11.8
ard/Waldmann_07_size12/size-12-alpha-3-num-461.xml NO 0.2 / 0.1 . 595.2 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-462.xml NO 0.7 / 0.7 . 727.0 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-465.xml NO 0.2 / 0.2 . 855.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-467.xml NO 1.4 / 1.0 . 771.3 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-468.xml NO 0.4 / 0.1 . 1.8 / 1.8
ard/Waldmann_07_size12/size-12-alpha-3-num-469.xml . 792.3 / 300.1 . 562.1 / 300.1
dard/Waldmann_07_size12/size-12-alpha-3-num-47.xml NO 0.3 / 0.2 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-470.xml NO 0.4 / 0.2 . 790.6 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-472.xml . 1025.0 / 300.0 . 411.0 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-473.xml NO 1.2 / 1.0 NO 0.0 / 0.2
ard/Waldmann_07_size12/size-12-alpha-3-num-474.xml NO 39.9 / 11.1 . 491.1 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-475.xml NO 77.5 / 22.2 . 495.7 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-476.xml NO 0.4 / 0.3 NO 0.0 / 0.3
ard/Waldmann_07_size12/size-12-alpha-3-num-477.xml . 888.9 / 300.0 . 864.0 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-478.xml . 948.0 / 300.0 . 733.5 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-479.xml NO 0.9 / 0.7 NO 0.1 / 0.4
dard/Waldmann_07_size12/size-12-alpha-3-num-48.xml NO 0.2 / 0.2 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-480.xml NO 0.4 / 0.1 NO 0.2 / 0.5
ard/Waldmann_07_size12/size-12-alpha-3-num-482.xml NO 0.4 / 0.1 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-484.xml NO 1.5 / 1.0 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-485.xml NO 0.4 / 0.1 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-487.xml NO 0.3 / 0.1 . 715.3 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-488.xml NO 1.9 / 0.9 NO 38.7 / 56.8
ard/Waldmann_07_size12/size-12-alpha-3-num-489.xml NO 1.9 / 1.3 . 708.5 / 300.1
dard/Waldmann_07_size12/size-12-alpha-3-num-49.xml NO 0.7 / 0.7 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-491.xml NO 36.9 / 10.6 NO 102.5 / 70.0
ard/Waldmann_07_size12/size-12-alpha-3-num-492.xml NO 582.1 / 239.7 . 483.9 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-493.xml NO 73.6 / 37.4 . 618.9 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-494.xml NO 0.8 / 1.0 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-495.xml NO 0.7 / 0.2 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-497.xml NO 3.9 / 1.1 NO 75.1 / 54.9
ard/Waldmann_07_size12/size-12-alpha-3-num-498.xml NO 0.3 / 0.3 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-499.xml NO 0.1 / 0.1 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-502.xml NO 0.5 / 0.2 . 626.3 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-503.xml NO 0.3 / 0.1 . 453.9 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-506.xml NO 1.1 / 0.9 . 468.7 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-507.xml NO 0.6 / 0.2 . 537.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-508.xml NO 0.9 / 0.6 NO 0.0 / 0.0
dard/Waldmann_07_size12/size-12-alpha-3-num-51.xml NO 0.7 / 0.2 . 543.4 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-511.xml NO 7.7 / 1.9 NO 86.1 / 60.4
dard/Waldmann_07_size12/size-12-alpha-3-num-52.xml NO 0.6 / 0.6 . 763.3 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-522.xml NO 111.2 / 30.7 . 505.6 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-526.xml NO 0.3 / 0.1 NO 0.0 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-532.xml NO 0.4 / 0.6 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-535.xml NO 0.3 / 0.1 . 546.4 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-536.xml NO 0.6 / 0.5 . 5.8 / 5.8
ard/Waldmann_07_size12/size-12-alpha-3-num-540.xml NO 0.8 / 0.8 NO 0.0 / 0.1
ard/Waldmann_07_size12/size-12-alpha-3-num-541.xml NO 1.0 / 0.9 NO 185.6 / 157.8
ard/Waldmann_07_size12/size-12-alpha-3-num-543.xml NO 1.0 / 0.9 . 626.1 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-545.xml NO 0.5 / 0.7 NO 0.0 / 0.3
ard/Waldmann_07_size12/size-12-alpha-3-num-546.xml NO 0.2 / 0.1 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-547.xml NO 0.7 / 0.3 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-548.xml NO 0.5 / 0.2 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-549.xml NO 1.0 / 0.8 NO 0.0 / 0.5
ard/Waldmann_07_size12/size-12-alpha-3-num-550.xml NO 0.4 / 0.3 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-551.xml NO 0.7 / 0.4 NO 0.0 / 0.4
ard/Waldmann_07_size12/size-12-alpha-3-num-552.xml NO 0.6 / 0.2 NO 0.0 / 0.5
ard/Waldmann_07_size12/size-12-alpha-3-num-553.xml NO 0.3 / 0.1 NO 110.7 / 100.0
ard/Waldmann_07_size12/size-12-alpha-3-num-556.xml NO 0.3 / 0.1 NO 236.6 / 119.5
ard/Waldmann_07_size12/size-12-alpha-3-num-558.xml NO 0.6 / 0.2 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-559.xml NO 0.2 / 0.0 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-560.xml . 848.0 / 300.0 . 421.0 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-561.xml . 737.9 / 300.0 . 545.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-563.xml NO 0.4 / 0.4 NO 0.0 / 0.5
ard/Waldmann_07_size12/size-12-alpha-3-num-564.xml NO 0.4 / 0.1 . 10.7 / 10.7
ard/Waldmann_07_size12/size-12-alpha-3-num-565.xml NO 0.4 / 0.4 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-566.xml NO 0.2 / 0.1 NO 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-568.xml NO 0.2 / 0.5 NO 0.0 / 0.0
dard/Waldmann_07_size12/size-12-alpha-3-num-57.xml NO 0.7 / 0.7 . 558.6 / 271.9
dard/Waldmann_07_size12/size-12-alpha-3-num-59.xml NO 0.6 / 0.2 . 731.9 / 300.1
dard/Waldmann_07_size12/size-12-alpha-3-num-61.xml NO 0.3 / 0.3 NO 34.4 / 35.1
dard/Waldmann_07_size12/size-12-alpha-3-num-64.xml NO 0.4 / 0.2 . 801.4 / 300.1
dard/Waldmann_07_size12/size-12-alpha-3-num-65.xml . 712.6 / 300.0 . 704.9 / 300.1
dard/Waldmann_07_size12/size-12-alpha-3-num-66.xml NO 0.3 / 0.1 . 667.6 / 300.1
dard/Waldmann_07_size12/size-12-alpha-3-num-67.xml NO 0.7 / 0.2 NO 232.2 / 111.3
ndard/Waldmann_07_size12/size-12-alpha-3-num-7.xml NO 1.0 / 0.9 NO 0.0 / 0.1
dard/Waldmann_07_size12/size-12-alpha-3-num-70.xml NO 2.6 / 2.2 NO 0.2 / 0.2
dard/Waldmann_07_size12/size-12-alpha-3-num-71.xml NO 0.7 / 0.2 . 11.7 / 11.7
dard/Waldmann_07_size12/size-12-alpha-3-num-72.xml NO 1.5 / 0.6 . 749.7 / 300.2
dard/Waldmann_07_size12/size-12-alpha-3-num-74.xml NO 0.5 / 0.5 NO 0.0 / 0.0
dard/Waldmann_07_size12/size-12-alpha-3-num-76.xml NO 0.6 / 0.4 . 739.5 / 300.1
dard/Waldmann_07_size12/size-12-alpha-3-num-82.xml NO 0.4 / 0.3 . 815.5 / 300.2
dard/Waldmann_07_size12/size-12-alpha-3-num-83.xml NO 0.6 / 0.5 NO 0.0 / 0.1
dard/Waldmann_07_size12/size-12-alpha-3-num-84.xml NO 3.3 / 2.1 . 499.8 / 300.1
dard/Waldmann_07_size12/size-12-alpha-3-num-85.xml . 881.1 / 300.1 . 932.9 / 300.1
dard/Waldmann_07_size12/size-12-alpha-3-num-86.xml NO 1.7 / 0.8 NO 0.0 / 0.1
dard/Waldmann_07_size12/size-12-alpha-3-num-88.xml NO 0.8 / 0.8 . 542.6 / 300.2
ndard/Waldmann_07_size12/size-12-alpha-3-num-9.xml NO 0.5 / 0.2 . 525.6 / 300.1
dard/Waldmann_07_size12/size-12-alpha-3-num-90.xml NO 0.4 / 0.1 NO 84.2 / 182.3
dard/Waldmann_07_size12/size-12-alpha-3-num-91.xml NO 0.3 / 0.2 NO 0.0 / 0.2
dard/Waldmann_07_size12/size-12-alpha-3-num-92.xml NO 1.4 / 1.1 NO 0.0 / 0.4
dard/Waldmann_07_size12/size-12-alpha-3-num-94.xml NO 0.5 / 0.3 NO 0.0 / 0.0
dard/Waldmann_07_size12/size-12-alpha-3-num-95.xml NO 0.7 / 0.3 NO 0.0 / 0.0
dard/Waldmann_07_size12/size-12-alpha-3-num-98.xml NO 0.4 / 0.1 NO 0.0 / 0.0
dard/Waldmann_07_size12/size-12-alpha-3-num-99.xml NO 0.4 / 0.8 NO 25.0 / 50.9
SRS_Standard/Zantema_04/syracuse.xml NO 1.7 / 0.7 NO 0.0 / 0.3
SRS_Standard/Zantema_04/z001.xml . 906.1 / 300.0 . 439.0 / 300.0
SRS_Standard/Zantema_04/z002.xml YES 26.4 / 7.8 . 0.0 / 0.1
SRS_Standard/Zantema_04/z003.xml . 44.4 / 11.5 YES 3.5 / 3.4
SRS_Standard/Zantema_04/z004.xml YES 109.6 / 31.5 . 432.4 / 300.1
SRS_Standard/Zantema_04/z005.xml YES 343.7 / 98.4 . 436.1 / 300.4
SRS_Standard/Zantema_04/z006.xml NO 1.0 / 0.7 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z007.xml NO 1.1 / 0.9 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z008.xml NO 0.4 / 0.1 NO 0.0 / 0.2
SRS_Standard/Zantema_04/z009.xml NO 0.2 / 0.1 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z010.xml NO 1.6 / 1.8 . 593.3 / 300.1
SRS_Standard/Zantema_04/z011.xml NO 0.2 / 0.1 . 593.6 / 300.1
SRS_Standard/Zantema_04/z012.xml NO 0.3 / 0.1 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z013.xml NO 0.5 / 0.1 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z014.xml NO 0.4 / 0.3 . 502.5 / 300.0
SRS_Standard/Zantema_04/z015.xml NO 0.3 / 0.1 . 0.0 / 0.0
SRS_Standard/Zantema_04/z017.xml NO 0.5 / 0.2 NO 94.2 / 154.5
SRS_Standard/Zantema_04/z018.xml NO 0.9 / 0.9 . 6.0 / 6.0
SRS_Standard/Zantema_04/z019.xml NO 0.9 / 0.4 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z020.xml NO 0.1 / 0.0 . 460.1 / 300.1
SRS_Standard/Zantema_04/z021.xml NO 0.3 / 0.2 . 439.4 / 300.1
SRS_Standard/Zantema_04/z022.xml NO 0.2 / 0.1 NO 154.9 / 150.9
SRS_Standard/Zantema_04/z023.xml NO 0.2 / 0.1 . 537.9 / 300.1
SRS_Standard/Zantema_04/z024.xml YES 495.8 / 244.7 YES 35.2 / 56.1
SRS_Standard/Zantema_04/z025.xml NO 0.3 / 0.1 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z026.xml NO 0.4 / 0.1 NO 0.0 / 0.2
SRS_Standard/Zantema_04/z027.xml . 795.6 / 300.1 . 507.7 / 300.1
SRS_Standard/Zantema_04/z028.xml NO 0.5 / 0.1 . 373.9 / 300.0
SRS_Standard/Zantema_04/z029.xml . 792.9 / 300.0 . 392.6 / 300.1
SRS_Standard/Zantema_04/z030.xml . 966.3 / 300.0 . 452.6 / 300.1
SRS_Standard/Zantema_04/z031.xml . 47.1 / 12.0 . 0.0 / 0.0
SRS_Standard/Zantema_04/z032.xml . 852.8 / 300.0 . 445.0 / 300.1
SRS_Standard/Zantema_04/z033.xml . 8.1 / 2.1 . 3.7 / 3.7
SRS_Standard/Zantema_04/z034.xml NO 0.3 / 0.1 . 665.2 / 300.1
SRS_Standard/Zantema_04/z035.xml NO 0.2 / 0.1 . 11.7 / 11.7
SRS_Standard/Zantema_04/z036.xml . 830.5 / 300.0 . 394.7 / 300.1
SRS_Standard/Zantema_04/z037.xml . 954.4 / 300.0 . 434.1 / 300.0
SRS_Standard/Zantema_04/z038.xml . 833.9 / 300.0 . 533.5 / 300.1
SRS_Standard/Zantema_04/z039.xml . 876.8 / 300.1 . 478.6 / 300.1
SRS_Standard/Zantema_04/z040.xml . 766.4 / 300.0 . 446.7 / 300.0
SRS_Standard/Zantema_04/z041.xml NO 0.3 / 0.1 . 391.2 / 300.1
SRS_Standard/Zantema_04/z042.xml NO 0.8 / 0.9 . 6.0 / 6.0
SRS_Standard/Zantema_04/z043.xml . 738.6 / 300.0 . 364.5 / 300.1
SRS_Standard/Zantema_04/z044.xml NO 0.3 / 0.1 NO 48.2 / 47.0
SRS_Standard/Zantema_04/z045.xml . 43.1 / 11.0 . 11.5 / 11.6
SRS_Standard/Zantema_04/z046.xml NO 0.4 / 0.1 NO 48.2 / 47.0
SRS_Standard/Zantema_04/z047.xml YES 315.3 / 134.9 YES 251.1 / 226.5
SRS_Standard/Zantema_04/z048.xml . 45.6 / 11.6 . 2.3 / 2.3
SRS_Standard/Zantema_04/z049.xml YES 104.9 / 51.5 YES 15.9 / 29.9
SRS_Standard/Zantema_04/z050.xml YES 32.7 / 17.1 . 0.0 / 0.1
SRS_Standard/Zantema_04/z051.xml YES 75.6 / 21.7 YES 172.0 / 198.1
SRS_Standard/Zantema_04/z052.xml YES 71.8 / 19.9 YES 44.6 / 92.2
SRS_Standard/Zantema_04/z053.xml . 23.1 / 5.9 . 6.6 / 6.6
SRS_Standard/Zantema_04/z054.xml . 896.6 / 300.0 . 674.8 / 300.0
SRS_Standard/Zantema_04/z055.xml YES 32.8 / 16.1 YES 60.7 / 67.5
SRS_Standard/Zantema_04/z056.xml . 47.1 / 12.0 . 1.9 / 1.9
SRS_Standard/Zantema_04/z057.xml YES 239.0 / 104.6 YES 465.5 / 249.4
SRS_Standard/Zantema_04/z058.xml YES 99.4 / 26.3 YES 338.6 / 261.2
SRS_Standard/Zantema_04/z059.xml YES 141.8 / 40.1 YES 232.5 / 192.2
SRS_Standard/Zantema_04/z060.xml . 12.8 / 3.3 YES 326.6 / 211.4
SRS_Standard/Zantema_04/z061.xml YES 19.7 / 6.1 YES 43.5 / 47.5
SRS_Standard/Zantema_04/z062.xml YES 12.4 / 3.6 YES 33.6 / 47.9
SRS_Standard/Zantema_04/z063.xml YES 19.7 / 5.7 YES 26.1 / 54.6
SRS_Standard/Zantema_04/z064.xml YES 114.8 / 80.0 YES 263.0 / 182.3
SRS_Standard/Zantema_04/z065.xml NO 0.8 / 0.3 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z066.xml NO 1.9 / 0.8 NO 0.0 / 0.3
SRS_Standard/Zantema_04/z067.xml NO 1.2 / 0.5 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z068.xml NO 13.3 / 6.7 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z069.xml NO 71.3 / 21.4 . 547.1 / 300.1
SRS_Standard/Zantema_04/z070.xml NO 357.7 / 121.0 . 425.9 / 300.0
SRS_Standard/Zantema_04/z071.xml NO 1.1 / 0.5 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z072.xml NO 0.6 / 0.6 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z073.xml NO 0.3 / 0.1 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z074.xml NO 1.1 / 0.4 NO 0.0 / 0.3
SRS_Standard/Zantema_04/z075.xml NO 0.6 / 0.2 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z076.xml NO 0.2 / 0.1 . 1.9 / 1.9
SRS_Standard/Zantema_04/z077.xml NO 0.8 / 0.5 . 2.0 / 2.0
SRS_Standard/Zantema_04/z078.xml NO 0.9 / 0.7 . 581.8 / 300.1
SRS_Standard/Zantema_04/z079.xml NO 1.5 / 1.0 . 575.8 / 300.1
SRS_Standard/Zantema_04/z080.xml NO 1.2 / 0.4 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z081.xml NO 0.2 / 0.2 NO 0.0 / 0.3
SRS_Standard/Zantema_04/z082.xml NO 1.0 / 0.3 . 398.0 / 300.1
SRS_Standard/Zantema_04/z083.xml NO 1.7 / 0.6 NO 1.8 / 1.8
SRS_Standard/Zantema_04/z084.xml NO 0.3 / 0.4 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z085.xml YES 5.2 / 1.5 . 5.3 / 5.3
SRS_Standard/Zantema_04/z086.xml NO 0.6 / 0.3 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z087.xml NO 0.4 / 0.5 NO 151.7 / 154.2
SRS_Standard/Zantema_04/z088.xml NO 0.4 / 0.1 . 5.1 / 5.1
SRS_Standard/Zantema_04/z089.xml NO 0.3 / 0.1 . 681.7 / 300.1
SRS_Standard/Zantema_04/z090.xml NO 1.4 / 1.0 NO 182.9 / 179.7
SRS_Standard/Zantema_04/z091.xml NO 2.1 / 0.6 NO 75.0 / 124.1
SRS_Standard/Zantema_04/z092.xml NO 1.2 / 0.4 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z093.xml NO 1.6 / 1.1 NO 0.0 / 0.3
SRS_Standard/Zantema_04/z094.xml NO 0.7 / 0.7 NO 82.8 / 167.8
SRS_Standard/Zantema_04/z095.xml . 21.8 / 5.5 . 0.3 / 0.7
SRS_Standard/Zantema_04/z096.xml NO 0.9 / 0.7 NO 46.3 / 47.2
SRS_Standard/Zantema_04/z097.xml . 906.3 / 300.1 . 283.1 / 300.0
SRS_Standard/Zantema_04/z098.xml . 47.8 / 12.2 . 0.7 / 0.7
SRS_Standard/Zantema_04/z100.xml NO 1.2 / 0.4 NO 76.7 / 173.6
SRS_Standard/Zantema_04/z101.xml . 22.4 / 5.7 . 6.2 / 6.2
SRS_Standard/Zantema_04/z102.xml YES 117.6 / 32.8 YES 48.1 / 47.3
SRS_Standard/Zantema_04/z103.xml NO 0.5 / 0.2 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z104.xml . 883.9 / 300.0 YES 28.3 / 57.4
SRS_Standard/Zantema_04/z105.xml NO 0.8 / 0.3 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z106.xml NO 1.0 / 0.9 NO 10.7 / 10.7
SRS_Standard/Zantema_04/z107.xml . 979.5 / 300.0 YES 151.5 / 150.6
SRS_Standard/Zantema_04/z108.xml YES 136.5 / 68.2 YES 49.3 / 48.1
SRS_Standard/Zantema_04/z109.xml YES 80.0 / 34.9 YES 48.9 / 47.3
SRS_Standard/Zantema_04/z110.xml NO 0.8 / 0.3 NO 0.0 / 0.1
SRS_Standard/Zantema_04/z111.xml NO 0.5 / 0.2 NO 0.0 / 0.1
SRS_Standard/Zantema_04/z112.xml YES 159.5 / 46.7 YES 106.6 / 159.5
SRS_Standard/Zantema_04/z113.xml NO 1.3 / 0.3 NO 0.0 / 0.2
SRS_Standard/Zantema_04/z114.xml NO 0.3 / 0.1 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z115.xml NO 1.2 / 1.0 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z116.xml YES 36.0 / 9.1 YES 24.6 / 49.3
SRS_Standard/Zantema_04/z117.xml NO 0.2 / 0.1 . 531.1 / 300.1
SRS_Standard/Zantema_04/z118.xml YES 79.9 / 22.1 YES 49.6 / 51.7
SRS_Standard/Zantema_04/z119.xml NO 1.8 / 1.2 NO 198.6 / 167.7
SRS_Standard/Zantema_04/z120.xml NO 0.5 / 0.2 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z121.xml NO 1.3 / 0.4 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z122.xml YES 191.2 / 72.2 YES 37.7 / 58.4
SRS_Standard/Zantema_04/z123.xml NO 0.4 / 0.1 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z124.xml NO 1.5 / 0.5 NO 0.0 / 0.0
SRS_Standard/Zantema_04/z125.xml NO 1.0 / 0.3 NO 115.5 / 157.7
SRS_Standard/Zantema_04/z126.xml YES 29.0 / 14.7 YES 41.1 / 52.5
SRS_Standard/Zantema_04/z127.xml NO 1.0 / 1.1 NO 0.0 / 0.1
SRS_Standard/Zantema_04/z128.xml NO 0.6 / 0.9 NO 0.0 / 0.0
SRS_Standard/Zantema_06/01.xml NO 0.2 / 0.2 NO 0.0 / 0.0
SRS_Standard/Zantema_06/02.xml NO 0.3 / 0.1 NO 53.6 / 169.5
SRS_Standard/Zantema_06/03.xml NO 0.1 / 0.1 NO 0.0 / 0.0
SRS_Standard/Zantema_06/04.xml NO 0.8 / 0.6 NO 0.0 / 0.1
SRS_Standard/Zantema_06/05.xml NO 1.7 / 1.2 NO 0.0 / 0.0
SRS_Standard/Zantema_06/06.xml NO 0.7 / 0.7 NO 236.6 / 192.9
SRS_Standard/Zantema_06/07.xml NO 0.3 / 0.2 . 678.6 / 300.1
SRS_Standard/Zantema_06/08.xml NO 0.2 / 0.1 . 540.3 / 300.1
SRS_Standard/Zantema_06/09.xml NO 0.5 / 0.3 NO 0.0 / 0.0
SRS_Standard/Zantema_06/10.xml NO 1.9 / 1.2 NO 0.0 / 0.4
SRS_Standard/Zantema_06/11.xml NO 1.1 / 0.5 NO 0.0 / 0.0
SRS_Standard/Zantema_06/12.xml NO 1.4 / 1.3 NO 0.0 / 0.2
SRS_Standard/Zantema_06/13.xml NO 5.3 / 3.8 NO 0.0 / 0.3
SRS_Standard/Zantema_06/14.xml NO 0.4 / 0.1 . 0.0 / 0.1
SRS_Standard/Zantema_06/15.xml . 615.7 / 300.0 . 320.2 / 300.1
SRS_Standard/Zantema_06/16.xml YES 297.2 / 211.7 YES 118.2 / 119.5
SRS_Standard/Zantema_06/17.xml YES 324.5 / 99.5 YES 108.3 / 106.4
SRS_Standard/Zantema_06/18.xml YES 445.9 / 135.4 . 480.4 / 300.1
SRS_Standard/Zantema_06/abc.xml NO 0.5 / 0.1 NO 0.0 / 0.4
SRS_Standard/Zantema_06/beans1.xml NO 1.5 / 0.4 NO 0.0 / 0.6
SRS_Standard/Zantema_06/beans2.xml NO 0.6 / 0.5 NO 0.0 / 0.0
SRS_Standard/Zantema_06/beans3.xml NO 1.5 / 1.0 NO 0.0 / 0.1
SRS_Standard/Zantema_06/beans4.xml NO 0.9 / 0.2 NO 0.0 / 0.0
SRS_Standard/Zantema_06/beans5.xml NO 0.7 / 0.6 NO 0.0 / 0.1
SRS_Standard/Zantema_06/beans6.xml NO 1.2 / 0.4 NO 0.0 / 0.0
SRS_Standard/Zantema_06/beans7.xml NO 0.8 / 0.2 NO 0.0 / 0.0
SRS_Standard/Zantema_06/loop1.xml NO 0.4 / 0.1 NO 27.8 / 51.4
SRS_Standard/Zantema_06/loop2.xml NO 0.8 / 0.3 NO 22.3 / 49.2
SRS_Standard/Zantema_06/while1.xml NO 0.4 / 0.3 NO 0.0 / 0.0
SRS_Standard/Zantema_06/while2.xml NO 0.2 / 0.2 NO 0.0 / 0.0