Overview of job-results

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

Statistics

7890 pairs, 2570235.3 / 1324912.6 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 SRS Stand 37813
Solver NaTT 1.3 TTT2 matchbox2015-07-26.1 AutoNon 1.21 AProVE 2015 muterm 5.17
Scores 202 598 365 58 832 135
SRS_Standard/Bouchare_06/01.xml . 0.1 / 1.8 YES 24.0 / 16.3 YES 32.7 / 16.2 . 941.5 / 300.1 YES 16.8 / 6.4 . 192.2 / 300.1
SRS_Standard/Bouchare_06/02.xml YES 0.0 / 0.1 YES 3.0 / 1.1 YES 6.6 / 3.6 . 2.0 / 0.8 YES 18.4 / 10.8 . 299.3 / 300.0
SRS_Standard/Bouchare_06/03.xml . 0.0 / 0.1 YES 25.0 / 7.7 . 765.1 / 300.1 . 922.3 / 300.1 YES 31.1 / 12.3 . 251.5 / 300.0
SRS_Standard/Bouchare_06/04.xml . 0.0 / 0.2 YES 35.4 / 9.8 YES 44.0 / 24.2 . 710.5 / 300.1 YES 7.4 / 3.1 . 222.7 / 300.1
SRS_Standard/Bouchare_06/05.xml . 0.0 / 0.4 YES 50.6 / 9.8 YES 123.2 / 67.1 . 842.0 / 300.1 YES 52.2 / 17.9 . 248.1 / 300.0
SRS_Standard/Bouchare_06/06.xml . 0.0 / 0.5 YES 29.9 / 10.2 YES 16.2 / 4.2 . 934.1 / 300.1 YES 37.7 / 13.4 . 142.3 / 300.1
SRS_Standard/Bouchare_06/07.xml YES 0.0 / 0.7 YES 29.7 / 8.4 YES 15.4 / 11.8 . 624.5 / 300.1 YES 31.3 / 25.0 YES 2.0 / 2.1
SRS_Standard/Bouchare_06/08.xml . 0.0 / 0.2 NO 0.6 / 0.4 . 779.6 / 300.0 . 549.3 / 300.1 NO 2.7 / 5.5 . 232.9 / 300.1
SRS_Standard/Bouchare_06/09.xml . 0.0 / 0.1 NO 0.7 / 1.1 . 867.3 / 300.0 NO 256.6 / 79.3 NO 2.7 / 1.9 . 259.8 / 300.0
SRS_Standard/Bouchare_06/10.xml . 0.0 / 0.2 YES 47.2 / 13.3 YES 115.5 / 32.1 . 624.4 / 300.1 YES 60.8 / 20.9 . 136.0 / 300.1
SRS_Standard/Bouchare_06/11.xml . 0.0 / 0.3 YES 18.9 / 16.5 YES 239.0 / 108.4 . 766.3 / 300.1 YES 73.5 / 44.5 . 247.9 / 300.0
SRS_Standard/Bouchare_06/12.xml . 0.0 / 0.1 YES 30.3 / 8.1 YES 148.4 / 77.8 . 426.2 / 300.1 YES 44.7 / 29.1 . 238.8 / 300.0
SRS_Standard/Bouchare_06/13.xml . 0.0 / 0.4 YES 38.5 / 10.9 YES 243.8 / 88.1 . 956.5 / 300.1 YES 35.1 / 34.0 . 242.3 / 300.0
SRS_Standard/Bouchare_06/14.xml . 0.0 / 0.1 YES 34.6 / 9.7 . 785.0 / 300.1 . 721.6 / 300.1 YES 14.3 / 7.4 . 236.9 / 300.0
SRS_Standard/Bouchare_06/15.xml . 0.0 / 0.1 YES 50.8 / 15.0 YES 368.9 / 133.7 . 673.4 / 300.1 YES 8.9 / 4.9 . 251.2 / 300.0
SRS_Standard/Bouchare_06/16.xml . 0.0 / 0.1 YES 27.2 / 7.7 YES 143.0 / 76.5 . 546.8 / 300.1 YES 5.4 / 8.8 . 169.0 / 300.0
SRS_Standard/Bouchare_06/17.xml . 0.0 / 0.4 YES 21.9 / 10.2 . 1057.9 / 300.1 . 594.5 / 300.1 YES 8.0 / 3.5 . 155.3 / 300.0
SRS_Standard/Bouchare_06/18.xml . 0.0 / 0.2 YES 29.9 / 12.0 YES 194.4 / 70.6 . 590.8 / 300.1 YES 46.0 / 15.9 . 201.0 / 300.0
SRS_Standard/Gebhardt_06/01.xml . 0.0 / 0.3 . 224.2 / 59.9 . 816.6 / 300.1 . 424.8 / 300.1 . 831.9 / 300.1 . 284.2 / 300.0
SRS_Standard/Gebhardt_06/02.xml . 0.0 / 0.4 . 178.9 / 60.0 . 910.5 / 300.1 . 627.1 / 300.1 . 944.2 / 300.1 . 299.8 / 300.0
SRS_Standard/Gebhardt_06/03.xml . 0.4 / 1.1 . 223.6 / 59.8 . 613.7 / 300.1 . 627.1 / 300.1 NO 28.0 / 20.7 . 276.1 / 300.0
SRS_Standard/Gebhardt_06/04.xml . 0.0 / 0.5 . 164.6 / 60.8 . 712.4 / 300.1 . 407.6 / 300.1 YES 50.0 / 16.6 . 228.2 / 300.0
SRS_Standard/Gebhardt_06/05.xml . 0.0 / 0.4 . 196.6 / 59.9 . 755.8 / 300.0 . 647.5 / 300.1 NO 51.1 / 31.8 . 216.2 / 300.1
SRS_Standard/Gebhardt_06/06.xml . 0.0 / 0.3 . 205.9 / 59.8 . 862.7 / 300.0 . 397.0 / 300.1 . 621.2 / 300.1 . 304.7 / 300.0
SRS_Standard/Gebhardt_06/07.xml . 0.3 / 1.6 . 204.7 / 60.2 . 627.6 / 300.1 . 597.2 / 300.0 YES 52.5 / 22.5 . 221.3 / 300.1
SRS_Standard/Gebhardt_06/08.xml . 0.4 / 3.6 . 168.4 / 60.8 . 806.5 / 300.1 . 522.0 / 300.1 NO 10.4 / 13.0 . 237.4 / 300.0
SRS_Standard/Gebhardt_06/09.xml . 0.0 / 0.3 YES 79.1 / 21.4 . 718.1 / 300.0 . 564.7 / 300.1 YES 256.1 / 100.4 . 230.2 / 300.0
SRS_Standard/Gebhardt_06/10.xml . 0.0 / 0.7 . 170.6 / 60.5 . 1066.3 / 300.1 . 974.0 / 300.1 . 858.1 / 300.1 . 137.7 / 300.0
SRS_Standard/Gebhardt_06/11.xml . 0.0 / 0.5 YES 70.2 / 22.5 . 1035.7 / 300.0 . 820.4 / 300.1 YES 31.6 / 16.5 . 266.7 / 300.1
SRS_Standard/Gebhardt_06/12.xml . 0.0 / 0.4 . 209.1 / 60.1 . 602.6 / 300.1 . 811.6 / 300.1 NO 63.8 / 20.5 . 220.6 / 300.1
SRS_Standard/Gebhardt_06/13.xml . 0.0 / 0.4 . 179.7 / 60.6 . 986.8 / 300.0 . 938.2 / 300.1 . 940.6 / 300.1 . 192.9 / 300.1
SRS_Standard/Gebhardt_06/14.xml . 0.0 / 0.4 YES 157.3 / 42.2 . 787.9 / 300.1 . 590.1 / 300.1 YES 29.3 / 43.8 . 289.9 / 300.1
SRS_Standard/Gebhardt_06/15.xml . 0.4 / 1.6 . 172.5 / 60.4 . 850.1 / 300.1 . 846.3 / 300.1 NO 88.4 / 27.9 . 299.6 / 300.0
SRS_Standard/Gebhardt_06/16.xml . 0.0 / 0.4 . 219.9 / 59.8 . 804.5 / 300.0 . 443.2 / 300.1 YES 36.9 / 54.5 . 138.8 / 300.0
SRS_Standard/Gebhardt_06/17.xml . 0.4 / 1.1 . 188.1 / 60.4 . 1065.2 / 300.1 . 428.4 / 300.1 YES 47.9 / 26.7 . 299.6 / 300.0
SRS_Standard/Gebhardt_06/18.xml . 0.0 / 0.3 . 172.1 / 59.7 . 863.5 / 300.0 . 588.9 / 300.1 YES 282.2 / 145.6 . 190.9 / 300.0
SRS_Standard/Gebhardt_06/19.xml . 0.5 / 1.8 . 215.7 / 60.0 . 746.0 / 300.1 . 564.6 / 300.1 . 965.8 / 300.1 . 299.5 / 300.0
SRS_Standard/Gebhardt_06/20.xml . 0.7 / 1.9 . 227.4 / 59.9 . 794.0 / 300.1 . 700.7 / 300.1 . 1076.9 / 300.1 . 254.6 / 300.0
SRS_Standard/ICFP_2010/107193.xml . 437.9 / 300.0 . 55.5 / 76.5 . 712.9 / 300.0 . 793.0 / 300.1 . 613.3 / 300.1 . 301.7 / 300.0
SRS_Standard/ICFP_2010/107220.xml . 446.7 / 300.0 . 133.6 / 61.5 . 811.1 / 300.0 . 956.7 / 300.0 . 563.7 / 300.1 . 301.5 / 300.0
SRS_Standard/ICFP_2010/107236.xml . 313.6 / 300.0 . 90.5 / 63.5 . 747.2 / 300.0 . 854.0 / 300.1 . 659.6 / 300.1 . 228.1 / 300.1
SRS_Standard/ICFP_2010/123759.xml . 335.2 / 300.0 . 129.4 / 60.4 . 1007.6 / 300.0 . 1016.2 / 300.1 . 481.2 / 300.1 . 163.7 / 300.0
SRS_Standard/ICFP_2010/124211.xml . 270.1 / 300.0 . 129.9 / 60.4 . 911.8 / 300.0 . 634.5 / 300.0 . 646.5 / 300.1 . 254.3 / 300.0
SRS_Standard/ICFP_2010/124269.xml . 329.7 / 300.0 . 96.8 / 60.8 . 718.4 / 300.0 . 1025.3 / 300.1 . 531.0 / 300.1 . 149.7 / 300.0
SRS_Standard/ICFP_2010/124791.xml . 195.5 / 300.0 . 129.0 / 61.3 . 973.2 / 300.0 . 996.1 / 300.1 . 494.7 / 300.1 . 156.3 / 300.0
SRS_Standard/ICFP_2010/127538.xml . 293.8 / 300.0 . 102.9 / 63.0 . 604.8 / 300.0 . 763.6 / 300.1 YES 67.5 / 36.7 . 195.1 / 300.0
SRS_Standard/ICFP_2010/128056.xml . 337.8 / 300.0 . 62.4 / 62.5 . 695.5 / 300.0 . 988.8 / 300.1 . 626.8 / 300.0 . 228.9 / 300.0
SRS_Standard/ICFP_2010/128182.xml . 299.2 / 300.1 . 102.1 / 60.9 . 570.4 / 300.0 . 1014.7 / 300.1 YES 51.0 / 28.7 . 300.8 / 300.0
SRS_Standard/ICFP_2010/128280.xml . 252.6 / 300.1 . 129.3 / 60.7 . 602.1 / 300.0 . 794.7 / 300.1 YES 58.8 / 40.2 . 269.3 / 300.0
SRS_Standard/ICFP_2010/128430.xml . 432.3 / 300.0 . 84.3 / 62.7 . 648.1 / 300.0 . 827.4 / 300.1 YES 59.8 / 22.2 . 149.6 / 300.1
SRS_Standard/ICFP_2010/128486.xml . 200.4 / 300.0 . 57.2 / 63.2 . 875.1 / 300.0 . 630.9 / 300.1 YES 60.0 / 47.1 . 196.4 / 300.1
SRS_Standard/ICFP_2010/128515.xml . 229.8 / 300.1 . 74.4 / 61.0 . 620.5 / 300.0 . 933.2 / 300.1 YES 68.0 / 21.7 . 263.3 / 300.1
SRS_Standard/ICFP_2010/128550.xml . 269.2 / 300.0 . 88.4 / 61.7 . 852.5 / 300.0 . 651.2 / 300.0 YES 65.2 / 36.9 . 249.5 / 300.0
SRS_Standard/ICFP_2010/128620.xml . 270.4 / 300.0 . 129.4 / 60.7 . 633.7 / 300.0 . 979.7 / 300.1 YES 64.3 / 20.4 . 298.9 / 300.0
SRS_Standard/ICFP_2010/128691.xml . 172.5 / 300.1 . 55.3 / 62.1 . 809.5 / 300.0 . 697.8 / 300.1 YES 65.5 / 21.1 . 195.3 / 300.0
SRS_Standard/ICFP_2010/130161.xml . 359.9 / 300.0 . 130.4 / 61.4 . 582.3 / 300.0 . 905.0 / 300.0 . 633.7 / 300.0 . 261.6 / 300.1
SRS_Standard/ICFP_2010/130304.xml . 391.7 / 300.0 . 131.0 / 61.4 . 681.3 / 300.0 . 531.0 / 300.0 . 559.0 / 300.1 . 267.8 / 300.0
SRS_Standard/ICFP_2010/130472.xml . 356.1 / 300.0 . 73.8 / 62.2 . 628.9 / 300.0 . 770.7 / 300.0 . 512.3 / 300.0 . 241.0 / 300.1
SRS_Standard/ICFP_2010/130962.xml . 447.3 / 300.0 . 130.1 / 61.4 . 737.9 / 300.1 . 894.4 / 300.0 YES 207.5 / 101.1 . 297.8 / 300.0
SRS_Standard/ICFP_2010/131633.xml . 171.1 / 300.0 . 79.7 / 62.3 . 670.0 / 300.0 . 812.2 / 300.1 . 372.7 / 300.0 . 298.5 / 300.0
SRS_Standard/ICFP_2010/131982.xml . 335.2 / 300.0 . 72.7 / 60.5 . 564.5 / 300.0 . 536.8 / 300.1 . 452.7 / 300.1 . 298.4 / 300.0
SRS_Standard/ICFP_2010/132235.xml . 299.4 / 300.0 . 130.9 / 60.4 . 974.5 / 300.0 . 799.3 / 300.0 . 403.2 / 300.1 . 300.4 / 300.0
SRS_Standard/ICFP_2010/132478.xml . 222.9 / 300.0 . 129.9 / 60.7 . 629.4 / 300.0 . 949.5 / 300.1 YES 66.9 / 25.0 . 218.1 / 300.1
SRS_Standard/ICFP_2010/132540.xml . 373.3 / 300.0 . 127.7 / 60.7 . 977.9 / 300.0 . 1083.1 / 300.1 YES 52.5 / 27.5 . 214.8 / 300.1
SRS_Standard/ICFP_2010/132611.xml YES 34.1 / 31.5 . 126.2 / 60.4 . 974.9 / 300.0 . 755.8 / 300.0 YES 36.7 / 12.2 . 189.4 / 300.0
SRS_Standard/ICFP_2010/132622.xml . 296.9 / 300.0 . 75.0 / 61.2 . 745.3 / 300.0 . 759.2 / 300.1 YES 67.7 / 22.0 . 287.7 / 300.1
SRS_Standard/ICFP_2010/132720.xml . 434.5 / 300.0 . 131.2 / 60.7 . 968.5 / 300.0 . 999.5 / 300.0 YES 54.3 / 42.5 . 136.5 / 300.1
SRS_Standard/ICFP_2010/132738.xml . 377.9 / 300.0 . 129.5 / 60.7 . 949.1 / 300.0 . 1019.6 / 300.1 YES 60.8 / 37.7 . 300.8 / 300.0
SRS_Standard/ICFP_2010/132782.xml . 360.9 / 300.0 . 129.8 / 60.8 . 680.3 / 300.0 . 672.4 / 300.1 YES 54.7 / 17.6 . 301.0 / 300.1
SRS_Standard/ICFP_2010/132833.xml . 314.2 / 300.0 . 60.1 / 62.6 . 931.3 / 300.0 . 949.7 / 300.1 YES 69.4 / 22.3 . 299.7 / 300.0
SRS_Standard/ICFP_2010/132848.xml . 448.9 / 300.0 . 100.1 / 61.5 . 612.9 / 300.0 . 576.4 / 300.1 . 599.8 / 300.1 . 251.5 / 300.1
SRS_Standard/ICFP_2010/132864.xml . 432.0 / 300.0 . 88.4 / 62.8 . 944.6 / 300.0 . 728.0 / 300.1 YES 60.2 / 20.6 . 280.6 / 300.0
SRS_Standard/ICFP_2010/132920.xml . 393.7 / 300.0 . 61.7 / 64.4 . 735.1 / 300.0 . 801.9 / 300.0 YES 56.6 / 35.8 . 264.9 / 300.0
SRS_Standard/ICFP_2010/132957.xml . 434.8 / 300.0 . 129.7 / 60.7 . 729.2 / 300.0 . 608.7 / 300.1 YES 62.4 / 20.2 . 300.5 / 300.0
SRS_Standard/ICFP_2010/132969.xml . 280.0 / 300.0 . 74.3 / 61.0 . 607.3 / 300.0 . 941.6 / 300.1 . 535.5 / 300.1 . 183.7 / 300.0
SRS_Standard/ICFP_2010/133010.xml . 123.8 / 300.1 . 71.0 / 61.0 . 720.9 / 300.0 . 701.1 / 300.1 YES 66.5 / 23.2 . 300.0 / 300.1
SRS_Standard/ICFP_2010/133079.xml . 244.4 / 300.0 . 129.3 / 61.4 . 735.7 / 300.0 . 713.3 / 300.0 . 564.5 / 300.1 . 271.1 / 300.0
SRS_Standard/ICFP_2010/133159.xml . 275.7 / 300.1 . 75.6 / 60.6 . 991.1 / 300.0 . 641.9 / 300.1 . 443.9 / 300.0 . 231.2 / 300.0
SRS_Standard/ICFP_2010/133236.xml . 255.6 / 300.0 . 130.2 / 61.4 . 927.0 / 300.1 . 737.7 / 300.0 . 605.3 / 300.1 . 295.2 / 300.1
SRS_Standard/ICFP_2010/133432.xml . 449.8 / 300.0 . 74.7 / 61.9 . 687.6 / 300.0 . 1053.5 / 300.1 . 432.3 / 300.0 . 259.5 / 300.0
SRS_Standard/ICFP_2010/133486.xml . 249.6 / 300.0 . 120.7 / 60.4 . 787.5 / 300.0 . 900.9 / 300.1 . 421.8 / 300.0 . 299.7 / 300.1
SRS_Standard/ICFP_2010/133532.xml . 254.3 / 300.0 . 133.9 / 61.4 . 911.0 / 300.0 . 908.7 / 300.0 . 640.4 / 300.0 . 301.1 / 300.0
SRS_Standard/ICFP_2010/133827.xml YES 8.3 / 29.5 . 107.0 / 60.4 . 780.5 / 300.0 . 1023.1 / 300.1 YES 29.2 / 9.0 . 253.5 / 300.0
SRS_Standard/ICFP_2010/133881.xml . 327.3 / 300.0 . 72.7 / 60.5 . 579.8 / 300.0 . 747.9 / 300.1 . 489.3 / 300.1 . 261.8 / 300.0
SRS_Standard/ICFP_2010/134918.xml . 326.9 / 300.0 . 79.8 / 61.8 . 735.3 / 300.1 . 867.8 / 300.1 . 531.9 / 300.0 . 205.6 / 300.0
SRS_Standard/ICFP_2010/135115.xml . 333.1 / 300.0 . 103.4 / 61.9 . 1022.5 / 300.0 . 684.9 / 300.1 . 493.4 / 300.0 . 273.4 / 300.0
SRS_Standard/ICFP_2010/135328.xml . 252.9 / 300.0 . 38.2 / 64.7 . 899.1 / 300.0 . 1027.6 / 300.1 . 455.3 / 300.1 . 177.4 / 300.1
SRS_Standard/ICFP_2010/135410.xml . 319.6 / 300.0 . 131.3 / 61.4 . 775.2 / 300.0 . 720.4 / 300.0 . 648.3 / 300.0 . 290.6 / 300.0
SRS_Standard/ICFP_2010/135505.xml . 323.6 / 300.0 . 130.6 / 61.4 . 631.2 / 300.1 . 804.8 / 300.0 . 559.0 / 300.0 . 233.1 / 300.1
SRS_Standard/ICFP_2010/135601.xml . 252.8 / 300.0 . 66.4 / 65.5 . 826.5 / 300.0 . 924.1 / 300.1 . 509.9 / 300.1 . 301.6 / 300.0
SRS_Standard/ICFP_2010/135604.xml . 175.2 / 300.0 . 58.8 / 62.8 . 704.3 / 300.0 . 738.1 / 300.1 . 528.4 / 300.1 . 289.6 / 300.1
SRS_Standard/ICFP_2010/135652.xml . 327.8 / 300.0 . 129.9 / 60.4 . 808.0 / 300.0 . 1024.5 / 300.1 . 416.4 / 300.1 . 225.6 / 300.0
SRS_Standard/ICFP_2010/135659.xml . 250.3 / 300.0 . 130.1 / 61.4 . 888.7 / 300.0 . 851.1 / 300.1 YES 496.0 / 224.1 . 230.3 / 300.1
SRS_Standard/ICFP_2010/135714.xml . 375.1 / 300.0 . 127.6 / 61.4 . 688.9 / 300.0 . 1012.8 / 300.0 . 600.2 / 300.1 . 264.5 / 300.0
SRS_Standard/ICFP_2010/135782.xml . 294.8 / 300.0 . 128.6 / 60.4 . 693.1 / 300.0 . 897.4 / 300.1 . 363.2 / 300.1 . 210.8 / 300.1
SRS_Standard/ICFP_2010/135936.xml . 262.9 / 300.0 . 129.0 / 60.4 . 730.4 / 300.0 . 713.4 / 300.1 . 442.2 / 300.1 . 278.8 / 300.0
SRS_Standard/ICFP_2010/136051.xml . 242.6 / 300.1 . 89.1 / 62.1 . 838.8 / 300.0 . 562.1 / 300.1 . 419.1 / 300.0 . 259.6 / 300.1
SRS_Standard/ICFP_2010/136280.xml . 448.8 / 300.0 . 130.5 / 61.4 . 719.6 / 300.0 . 881.7 / 300.0 . 615.0 / 300.1 . 298.4 / 300.1
SRS_Standard/ICFP_2010/136323.xml . 373.6 / 300.0 . 130.6 / 61.4 . 703.9 / 300.0 . 742.3 / 300.1 . 581.3 / 300.0 . 201.9 / 300.1
SRS_Standard/ICFP_2010/136354.xml . 275.8 / 300.0 . 79.3 / 61.9 . 755.3 / 300.0 . 1019.1 / 300.1 . 627.0 / 300.1 . 301.5 / 300.0
SRS_Standard/ICFP_2010/136463.xml . 407.5 / 300.0 . 78.7 / 61.6 . 925.5 / 300.0 . 833.9 / 300.1 . 501.1 / 300.1 . 293.8 / 300.0
SRS_Standard/ICFP_2010/136497.xml . 346.8 / 300.0 . 134.9 / 61.4 . 939.0 / 300.1 . 1000.5 / 300.1 . 660.1 / 300.1 . 238.9 / 300.1
SRS_Standard/ICFP_2010/136534.xml . 224.2 / 300.0 . 90.3 / 61.5 . 901.5 / 300.0 . 1033.6 / 300.0 . 614.6 / 300.1 . 168.8 / 300.1
SRS_Standard/ICFP_2010/136562.xml . 333.9 / 300.0 . 130.0 / 60.4 . 650.1 / 300.1 . 1076.7 / 300.1 . 564.2 / 300.1 . 223.9 / 300.0
SRS_Standard/ICFP_2010/136571.xml . 448.6 / 300.0 . 76.2 / 64.2 . 894.5 / 300.0 . 790.1 / 300.0 . 483.1 / 300.1 . 260.7 / 300.0
SRS_Standard/ICFP_2010/136601.xml . 399.8 / 300.1 . 131.1 / 61.4 . 662.5 / 300.0 . 707.0 / 300.0 . 555.7 / 300.0 . 238.4 / 300.0
SRS_Standard/ICFP_2010/136623.xml . 309.5 / 300.0 . 93.1 / 63.2 . 861.9 / 300.0 . 722.9 / 300.1 . 430.9 / 300.0 . 166.9 / 300.0
SRS_Standard/ICFP_2010/136693.xml . 446.9 / 300.0 . 130.7 / 61.4 . 887.0 / 300.0 . 1018.4 / 300.0 . 603.5 / 300.1 . 300.9 / 300.0
SRS_Standard/ICFP_2010/136934.xml . 444.5 / 300.0 . 123.6 / 61.4 . 787.3 / 300.0 . 890.2 / 300.0 . 605.0 / 300.0 . 298.2 / 300.1
SRS_Standard/ICFP_2010/137087.xml . 368.9 / 300.0 . 131.6 / 61.4 . 798.0 / 300.0 . 956.0 / 300.0 . 532.3 / 300.1 . 259.6 / 300.0
SRS_Standard/ICFP_2010/137136.xml . 204.2 / 300.0 . 114.7 / 61.4 . 615.5 / 300.0 . 861.3 / 300.0 . 569.1 / 300.0 . 301.0 / 300.0
SRS_Standard/ICFP_2010/137316.xml . 273.3 / 300.0 . 112.3 / 64.3 . 652.6 / 300.0 . 949.9 / 300.0 . 624.2 / 300.0 . 301.1 / 300.0
SRS_Standard/ICFP_2010/137404.xml . 328.8 / 300.0 . 129.7 / 60.3 . 1001.7 / 300.0 . 544.8 / 300.1 . 474.0 / 300.1 . 167.4 / 300.0
SRS_Standard/ICFP_2010/137621.xml . 274.9 / 300.0 . 80.3 / 66.2 . 739.5 / 300.0 . 885.0 / 300.0 . 529.7 / 300.0 . 290.6 / 300.0
SRS_Standard/ICFP_2010/137623.xml YES 1.2 / 2.8 . 129.5 / 60.4 . 799.9 / 300.0 . 980.6 / 300.1 YES 37.0 / 14.1 . 294.2 / 300.1
SRS_Standard/ICFP_2010/137715.xml . 441.2 / 300.0 . 130.3 / 61.4 . 716.2 / 300.0 . 720.5 / 300.1 . 629.4 / 300.1 . 157.4 / 300.1
SRS_Standard/ICFP_2010/137799.xml . 321.8 / 300.0 . 79.6 / 61.5 . 818.7 / 300.0 . 629.9 / 300.1 . 603.7 / 300.0 . 300.8 / 300.0
SRS_Standard/ICFP_2010/137809.xml . 178.8 / 300.0 . 129.9 / 60.4 . 668.9 / 300.1 . 1012.9 / 300.0 . 370.1 / 300.1 . 201.5 / 300.0
SRS_Standard/ICFP_2010/137956.xml . 253.7 / 300.0 . 92.0 / 63.3 . 579.8 / 300.0 . 1015.5 / 300.0 . 430.8 / 300.1 . 254.6 / 300.1
SRS_Standard/ICFP_2010/138089.xml . 333.4 / 300.0 . 91.8 / 66.0 . 800.9 / 300.0 . 1065.2 / 300.0 . 571.5 / 300.0 . 278.1 / 300.0
SRS_Standard/ICFP_2010/138142.xml YES 8.6 / 7.2 . 129.0 / 60.4 . 1052.0 / 300.0 . 1025.9 / 300.1 YES 40.0 / 12.4 . 233.7 / 300.1
SRS_Standard/ICFP_2010/138194.xml . 271.4 / 300.0 . 88.7 / 61.9 . 608.0 / 300.0 . 711.0 / 300.1 . 419.2 / 300.1 . 251.1 / 300.0
SRS_Standard/ICFP_2010/138254.xml YES 17.3 / 23.6 . 121.6 / 60.4 . 1003.9 / 300.0 . 725.6 / 300.1 YES 37.7 / 19.7 . 235.8 / 300.1
SRS_Standard/ICFP_2010/138269.xml . 335.7 / 300.0 . 117.2 / 61.4 . 623.5 / 300.0 . 881.1 / 300.0 . 419.8 / 300.1 . 224.4 / 300.1
SRS_Standard/ICFP_2010/138330.xml . 331.7 / 300.1 . 109.1 / 60.5 . 980.0 / 300.0 . 818.1 / 300.1 . 610.1 / 300.1 . 300.2 / 300.0
SRS_Standard/ICFP_2010/138468.xml . 449.6 / 300.0 . 58.2 / 66.2 . 688.8 / 300.0 . 610.3 / 300.0 YES 65.9 / 20.8 . 301.5 / 300.0
SRS_Standard/ICFP_2010/138477.xml . 232.9 / 300.0 . 129.1 / 60.4 . 1021.4 / 300.0 . 765.6 / 300.1 . 560.4 / 300.1 . 135.1 / 300.0
SRS_Standard/ICFP_2010/138993.xml . 432.7 / 300.0 . 94.6 / 60.8 . 946.3 / 300.0 . 560.1 / 300.0 YES 51.0 / 36.6 . 229.8 / 300.1
SRS_Standard/ICFP_2010/139004.xml . 433.6 / 300.0 . 43.9 / 63.8 . 752.0 / 300.0 . 833.0 / 300.1 YES 68.8 / 21.2 . 153.7 / 300.1
SRS_Standard/ICFP_2010/139018.xml . 264.7 / 300.0 . 131.5 / 60.7 . 943.6 / 300.0 . 875.3 / 300.1 YES 59.1 / 43.3 . 193.2 / 300.1
SRS_Standard/ICFP_2010/139025.xml . 327.8 / 300.0 . 130.3 / 60.7 . 916.0 / 300.0 . 1013.0 / 300.1 YES 53.3 / 31.4 . 235.9 / 300.0
SRS_Standard/ICFP_2010/139036.xml . 251.2 / 300.0 . 129.4 / 60.7 . 840.5 / 300.0 . 785.5 / 300.1 YES 57.2 / 18.4 . 270.6 / 300.1
SRS_Standard/ICFP_2010/139100.xml . 256.4 / 300.1 . 111.6 / 60.7 . 821.7 / 300.0 . 807.2 / 300.1 YES 60.2 / 32.5 . 300.7 / 300.0
SRS_Standard/ICFP_2010/139163.xml . 428.2 / 300.0 . 123.4 / 60.7 . 821.9 / 300.0 . 806.8 / 300.1 YES 80.1 / 52.3 . 256.6 / 300.0
SRS_Standard/ICFP_2010/139167.xml . 432.4 / 300.0 . 79.7 / 61.1 . 950.1 / 300.0 . 1017.0 / 300.1 YES 63.1 / 44.9 . 310.5 / 300.0
SRS_Standard/ICFP_2010/139174.xml . 210.6 / 300.0 . 130.8 / 62.5 . 759.1 / 300.0 . 974.3 / 300.1 YES 53.9 / 44.2 . 194.6 / 300.1
SRS_Standard/ICFP_2010/139180.xml . 432.4 / 300.0 . 129.4 / 60.7 . 865.2 / 300.0 . 1022.3 / 300.1 YES 77.0 / 23.7 . 179.4 / 300.1
SRS_Standard/ICFP_2010/139185.xml . 433.8 / 300.0 . 130.1 / 60.7 . 980.2 / 300.0 . 708.1 / 300.1 YES 51.4 / 27.4 . 138.1 / 300.1
SRS_Standard/ICFP_2010/139190.xml . 432.1 / 300.0 . 129.8 / 60.7 . 807.1 / 300.0 . 1008.0 / 300.1 YES 48.2 / 16.2 . 273.7 / 300.0
SRS_Standard/ICFP_2010/139214.xml . 298.1 / 300.0 . 119.2 / 60.7 . 756.7 / 300.0 . 948.7 / 300.1 YES 64.0 / 45.3 . 300.6 / 300.0
SRS_Standard/ICFP_2010/139236.xml . 286.3 / 300.0 . 129.4 / 60.7 . 976.2 / 300.0 . 1009.0 / 300.2 YES 55.5 / 29.0 . 178.3 / 300.0
SRS_Standard/ICFP_2010/139256.xml . 260.2 / 300.0 . 56.3 / 62.8 . 563.3 / 300.0 . 985.4 / 300.1 YES 70.6 / 60.2 . 234.2 / 300.1
SRS_Standard/ICFP_2010/139282.xml . 382.9 / 300.0 . 93.9 / 62.2 . 947.3 / 300.0 . 757.9 / 300.1 YES 65.8 / 21.0 . 222.3 / 300.1
SRS_Standard/ICFP_2010/139310.xml . 223.3 / 300.1 . 60.3 / 63.4 . 749.4 / 300.0 . 725.6 / 300.1 YES 56.3 / 18.6 . 251.1 / 300.0
SRS_Standard/ICFP_2010/139378.xml . 264.0 / 300.0 . 57.5 / 62.5 . 607.6 / 300.0 . 514.6 / 300.1 YES 61.5 / 37.0 . 139.3 / 300.0
SRS_Standard/ICFP_2010/140287.xml . 368.9 / 300.0 . 129.4 / 60.7 . 979.9 / 300.0 . 1069.2 / 300.1 . 565.1 / 300.1 . 266.1 / 300.1
SRS_Standard/ICFP_2010/140318.xml . 201.1 / 300.0 . 93.4 / 75.3 . 579.6 / 300.1 . 998.4 / 300.0 YES 55.4 / 30.6 . 248.0 / 300.0
SRS_Standard/ICFP_2010/140359.xml . 430.3 / 300.0 . 129.3 / 60.7 . 972.1 / 300.0 . 1032.4 / 300.0 YES 55.3 / 28.8 . 291.4 / 300.1
SRS_Standard/ICFP_2010/140631.xml . 146.0 / 300.0 . 128.7 / 59.7 . 1047.5 / 300.0 . 939.5 / 300.0 . 638.3 / 300.0 . 288.6 / 300.0
SRS_Standard/ICFP_2010/140639.xml . 234.9 / 300.1 . 129.1 / 59.9 . 585.8 / 300.0 . 824.6 / 300.1 YES 49.0 / 19.1 . 285.8 / 300.1
SRS_Standard/ICFP_2010/140654.xml . 275.3 / 300.0 . 206.6 / 60.0 . 725.3 / 300.0 . 627.5 / 300.1 YES 70.2 / 21.3 . 276.9 / 300.1
SRS_Standard/ICFP_2010/140659.xml . 324.1 / 300.0 . 87.9 / 60.8 . 756.0 / 300.0 . 985.2 / 300.1 . 662.5 / 300.0 . 157.9 / 300.0
SRS_Standard/ICFP_2010/140664.xml . 269.7 / 300.0 . 87.4 / 60.5 . 601.9 / 300.0 . 989.0 / 300.1 . 497.6 / 300.1 . 294.6 / 300.0
SRS_Standard/ICFP_2010/142142.xml . 220.6 / 300.0 . 129.0 / 59.8 . 1066.0 / 300.0 . 952.8 / 300.0 YES 46.1 / 34.6 . 300.8 / 300.0
SRS_Standard/ICFP_2010/142146.xml . 232.4 / 300.0 . 129.7 / 60.2 . 646.1 / 300.0 . 526.6 / 300.1 YES 64.0 / 20.8 . 206.5 / 300.1
SRS_Standard/ICFP_2010/142150.xml . 228.8 / 300.0 . 60.8 / 61.0 . 628.0 / 300.0 . 660.0 / 300.1 . 634.9 / 300.1 . 292.1 / 300.1
SRS_Standard/ICFP_2010/142157.xml . 322.3 / 300.0 . 129.5 / 59.9 . 923.0 / 300.0 . 951.0 / 300.1 . 592.6 / 300.1 . 203.4 / 300.1
SRS_Standard/ICFP_2010/147437.xml . 446.3 / 300.0 . 133.6 / 64.5 . 661.4 / 300.0 . 667.0 / 300.1 . 555.6 / 300.0 . 145.7 / 300.0
SRS_Standard/ICFP_2010/148543.xml . 303.1 / 300.0 . 97.6 / 66.7 . 700.0 / 300.0 . 992.8 / 300.0 . 526.9 / 300.0 . 272.4 / 300.0
SRS_Standard/ICFP_2010/149251.xml . 346.9 / 300.0 . 71.4 / 71.8 . 716.3 / 300.0 . 767.5 / 300.1 . 584.5 / 300.1 . 220.9 / 300.1
SRS_Standard/ICFP_2010/149277.xml . 443.2 / 300.0 . 64.7 / 64.7 . 756.5 / 300.0 . 861.8 / 300.0 . 608.9 / 300.1 . 247.8 / 300.0
SRS_Standard/ICFP_2010/149297.xml . 247.9 / 300.0 . 101.8 / 65.3 . 961.0 / 300.0 . 638.6 / 300.1 . 648.9 / 300.1 . 185.2 / 300.0
SRS_Standard/ICFP_2010/149319.xml . 309.1 / 300.0 . 120.8 / 64.0 . 759.3 / 300.0 . 655.4 / 300.1 . 434.3 / 300.1 . 269.3 / 300.0
SRS_Standard/ICFP_2010/149361.xml . 277.4 / 300.0 . 134.2 / 64.4 . 916.3 / 300.0 . 831.8 / 300.0 . 723.2 / 300.1 . 201.2 / 300.0
SRS_Standard/ICFP_2010/149415.xml . 442.5 / 300.0 . 133.3 / 64.5 . 929.7 / 300.0 . 594.5 / 300.0 . 548.8 / 300.1 . 291.8 / 300.0
SRS_Standard/ICFP_2010/149633.xml . 280.4 / 300.0 . 105.7 / 64.2 . 864.4 / 300.0 . 722.1 / 300.0 . 515.2 / 300.0 . 255.4 / 300.0
SRS_Standard/ICFP_2010/149713.xml . 303.7 / 300.0 . 133.6 / 64.6 . 705.8 / 300.0 . 749.7 / 300.1 . 667.7 / 300.1 . 287.7 / 300.0
SRS_Standard/ICFP_2010/149849.xml . 399.4 / 300.1 . 112.4 / 65.3 . 792.0 / 300.0 . 951.8 / 300.1 . 553.8 / 300.1 . 169.2 / 300.0
SRS_Standard/ICFP_2010/149915.xml . 334.2 / 300.0 . 133.2 / 64.4 . 921.9 / 300.0 . 675.4 / 300.0 . 566.1 / 300.1 . 316.5 / 300.0
SRS_Standard/ICFP_2010/150067.xml . 440.8 / 300.0 . 83.7 / 67.9 . 916.6 / 300.0 . 1003.9 / 300.0 . 459.4 / 300.0 . 301.5 / 300.0
SRS_Standard/ICFP_2010/150188.xml . 446.4 / 300.0 . 82.8 / 69.8 . 657.1 / 300.0 . 899.6 / 300.1 . 493.4 / 300.1 . 301.6 / 300.0
SRS_Standard/ICFP_2010/150258.xml . 195.5 / 300.0 . 133.9 / 64.6 . 941.5 / 300.0 . 969.1 / 300.0 . 422.6 / 300.1 . 244.1 / 300.0
SRS_Standard/ICFP_2010/150468.xml . 298.8 / 300.0 . 109.6 / 65.0 . 823.7 / 300.0 . 626.2 / 300.0 . 624.4 / 300.1 . 269.5 / 300.0
SRS_Standard/ICFP_2010/150630.xml . 248.9 / 300.0 . 134.0 / 64.4 . 907.0 / 300.0 . 1014.1 / 300.0 . 467.5 / 300.1 . 297.8 / 300.0
SRS_Standard/ICFP_2010/150725.xml . 454.9 / 300.0 . 102.0 / 64.6 . 849.2 / 300.1 . 965.3 / 300.0 . 568.0 / 300.1 . 233.7 / 300.1
SRS_Standard/ICFP_2010/150815.xml . 335.0 / 300.1 . 90.6 / 68.6 . 873.9 / 300.0 . 622.3 / 300.1 . 485.4 / 300.1 . 254.9 / 300.0
SRS_Standard/ICFP_2010/150839.xml . 284.9 / 300.0 . 78.7 / 63.8 . 930.3 / 300.0 . 1044.0 / 300.1 . 607.6 / 300.0 . 244.1 / 300.1
SRS_Standard/ICFP_2010/150877.xml . 347.3 / 300.0 . 133.3 / 64.1 . 955.0 / 300.0 . 1036.6 / 300.0 . 775.9 / 300.0 . 260.2 / 300.0
SRS_Standard/ICFP_2010/151247.xml . 376.8 / 300.0 . 134.3 / 65.0 . 950.5 / 300.0 . 1049.3 / 300.0 . 637.7 / 300.0 . 296.7 / 300.0
SRS_Standard/ICFP_2010/152694.xml . 252.4 / 300.0 . 87.1 / 61.5 . 668.7 / 300.0 . 739.5 / 300.0 . 552.3 / 300.1 . 263.9 / 300.0
SRS_Standard/ICFP_2010/152786.xml . 444.2 / 300.0 . 89.5 / 61.5 . 949.6 / 300.0 . 703.2 / 300.1 . 588.1 / 300.0 . 209.7 / 300.1
SRS_Standard/ICFP_2010/152865.xml . 447.1 / 300.0 . 129.9 / 61.5 . 804.9 / 300.0 . 627.0 / 300.1 . 637.8 / 300.0 . 181.0 / 300.0
SRS_Standard/ICFP_2010/152949.xml . 372.7 / 300.1 . 78.8 / 61.5 . 836.3 / 300.0 . 711.3 / 300.0 . 586.7 / 300.0 . 171.2 / 300.0
SRS_Standard/ICFP_2010/153034.xml . 321.2 / 300.0 . 130.6 / 61.4 . 629.8 / 300.0 . 912.3 / 300.0 . 575.1 / 300.1 . 283.9 / 300.1
SRS_Standard/ICFP_2010/153090.xml . 256.2 / 300.0 . 64.4 / 65.6 . 656.8 / 300.0 . 710.8 / 300.0 YES 73.9 / 36.5 . 247.1 / 300.0
SRS_Standard/ICFP_2010/153170.xml . 207.8 / 300.0 . 125.0 / 64.0 . 762.6 / 300.0 . 705.8 / 300.1 . 617.9 / 300.1 . 301.0 / 300.0
SRS_Standard/ICFP_2010/153243.xml . 214.3 / 300.0 . 124.4 / 61.4 . 860.0 / 300.0 . 962.9 / 300.0 . 560.1 / 300.0 . 301.0 / 300.0
SRS_Standard/ICFP_2010/153288.xml . 426.5 / 300.1 . 124.2 / 61.4 . 722.1 / 300.0 . 566.0 / 300.1 YES 195.0 / 94.8 . 241.7 / 300.0
SRS_Standard/ICFP_2010/153371.xml . 238.7 / 300.0 . 130.6 / 61.4 . 648.5 / 300.0 . 669.4 / 300.0 . 468.9 / 300.0 . 233.4 / 300.1
SRS_Standard/ICFP_2010/153444.xml . 337.1 / 300.0 . 104.8 / 61.7 . 764.2 / 300.0 . 938.5 / 300.0 . 455.4 / 300.1 . 294.0 / 300.0
SRS_Standard/ICFP_2010/157150.xml YES 108.4 / 204.0 . 62.2 / 61.2 . 708.5 / 300.0 . 46.5 / 15.4 YES 241.4 / 107.8 . 313.8 / 300.0
SRS_Standard/ICFP_2010/157161.xml . 289.1 / 300.0 . 113.3 / 60.1 . 1052.3 / 300.0 . 695.8 / 300.1 . 643.5 / 300.1 . 244.7 / 300.0
SRS_Standard/ICFP_2010/157275.xml . 374.6 / 300.1 . 124.4 / 61.4 . 734.7 / 300.0 . 773.8 / 300.1 YES 85.7 / 47.5 . 228.7 / 300.0
SRS_Standard/ICFP_2010/157388.xml . 266.9 / 300.0 . 220.7 / 60.1 . 1005.4 / 300.0 . 419.9 / 300.1 YES 126.1 / 56.1 . 299.1 / 300.0
SRS_Standard/ICFP_2010/157436.xml . 122.7 / 168.1 . 198.0 / 61.1 . 1054.1 / 300.0 . 584.6 / 300.1 YES 683.4 / 248.0 . 190.5 / 300.1
SRS_Standard/ICFP_2010/157466.xml . 338.8 / 300.0 . 130.5 / 61.4 . 954.5 / 300.0 . 974.3 / 300.1 . 628.0 / 300.0 . 300.7 / 300.0
SRS_Standard/ICFP_2010/157593.xml YES 33.0 / 53.2 . 227.8 / 60.8 . 881.8 / 300.0 . 57.8 / 19.2 YES 83.2 / 28.2 YES 6.5 / 10.9
SRS_Standard/ICFP_2010/157603.xml . 355.3 / 300.0 . 90.2 / 62.4 . 722.5 / 300.0 . 709.6 / 300.1 . 514.5 / 300.0 . 299.5 / 300.1
SRS_Standard/ICFP_2010/157713.xml . 364.4 / 300.0 . 90.2 / 63.4 . 944.7 / 300.0 . 784.7 / 300.1 . 638.7 / 300.1 . 226.2 / 300.0
SRS_Standard/ICFP_2010/158152.xml YES 117.9 / 148.0 . 191.9 / 62.0 . 596.5 / 300.0 . 698.4 / 300.1 . 658.9 / 300.0 . 299.9 / 300.0
SRS_Standard/ICFP_2010/158208.xml . 270.3 / 300.1 . 130.1 / 61.5 . 603.9 / 300.0 . 689.3 / 300.0 . 534.7 / 300.0 . 252.4 / 300.1
SRS_Standard/ICFP_2010/158342.xml . 324.8 / 300.0 . 130.3 / 61.4 . 737.2 / 300.0 . 1020.5 / 300.1 . 490.4 / 300.0 . 301.0 / 300.0
SRS_Standard/ICFP_2010/158477.xml . 411.7 / 300.0 . 130.5 / 61.4 . 742.8 / 300.0 . 717.1 / 300.0 . 519.9 / 300.1 . 130.7 / 300.1
SRS_Standard/ICFP_2010/158620.xml . 294.5 / 300.0 . 107.6 / 61.4 . 707.0 / 300.0 . 879.7 / 300.1 YES 66.9 / 33.4 . 300.0 / 300.0
SRS_Standard/ICFP_2010/159731.xml YES 7.8 / 7.8 YES 14.5 / 4.3 . 671.3 / 300.0 . 16.7 / 6.0 YES 163.4 / 50.5 . 297.2 / 300.0
SRS_Standard/ICFP_2010/160068.xml . 313.9 / 300.1 . 65.0 / 64.7 . 671.5 / 300.1 . 1005.8 / 300.1 . 575.1 / 300.0 . 231.2 / 300.1
SRS_Standard/ICFP_2010/160210.xml . 448.3 / 300.0 . 131.9 / 62.4 . 697.8 / 300.0 . 793.2 / 300.1 . 546.0 / 300.1 . 175.7 / 300.0
SRS_Standard/ICFP_2010/160234.xml YES 27.0 / 27.0 . 183.8 / 60.3 . 657.7 / 300.0 . 58.4 / 18.8 YES 62.6 / 32.6 YES 13.9 / 17.2
SRS_Standard/ICFP_2010/160254.xml . 429.3 / 300.0 . 74.5 / 64.8 . 830.7 / 300.0 . 868.0 / 300.0 . 637.2 / 300.0 . 301.3 / 300.0
SRS_Standard/ICFP_2010/160263.xml YES 16.5 / 40.8 YES 70.6 / 29.0 YES 578.3 / 180.8 . 40.7 / 22.4 YES 92.1 / 29.4 . 215.1 / 300.0
SRS_Standard/ICFP_2010/160324.xml . 301.6 / 300.0 . 62.3 / 65.4 . 932.2 / 300.0 . 730.0 / 300.0 . 474.4 / 300.1 . 251.1 / 300.0
SRS_Standard/ICFP_2010/160364.xml . 446.6 / 300.0 . 131.4 / 62.5 . 620.7 / 300.0 . 776.2 / 300.1 . 481.0 / 300.1 . 301.3 / 300.0
SRS_Standard/ICFP_2010/160398.xml . 431.0 / 300.0 . 77.9 / 65.5 . 860.2 / 300.0 . 1008.5 / 300.1 . 582.0 / 300.1 . 301.2 / 300.1
SRS_Standard/ICFP_2010/160427.xml . 447.8 / 300.0 . 65.7 / 65.3 . 949.1 / 300.0 . 658.2 / 300.0 . 584.8 / 300.1 . 262.4 / 300.0
SRS_Standard/ICFP_2010/160462.xml . 425.5 / 300.0 . 98.0 / 65.5 . 590.0 / 300.0 . 643.7 / 300.1 . 475.1 / 300.0 . 298.2 / 300.0
SRS_Standard/ICFP_2010/160475.xml . 282.2 / 300.0 . 131.3 / 62.1 . 769.1 / 300.0 . 508.2 / 300.1 . 490.4 / 300.1 . 290.9 / 300.0
SRS_Standard/ICFP_2010/160660.xml . 444.2 / 300.0 . 74.5 / 62.1 . 615.9 / 300.0 . 980.9 / 300.0 . 442.9 / 300.0 . 233.3 / 300.1
SRS_Standard/ICFP_2010/161519.xml . 303.5 / 300.0 . 124.4 / 62.4 . 726.5 / 300.0 . 615.8 / 300.0 YES 182.1 / 83.9 . 275.3 / 300.0
SRS_Standard/ICFP_2010/161533.xml . 265.8 / 300.0 . 130.9 / 62.4 . 740.0 / 300.0 . 937.8 / 300.0 . 539.4 / 300.1 . 224.6 / 300.0
SRS_Standard/ICFP_2010/161593.xml . 218.7 / 300.0 . 110.2 / 63.1 . 926.8 / 300.0 . 638.8 / 300.1 . 611.8 / 300.1 . 237.9 / 300.0
SRS_Standard/ICFP_2010/161864.xml . 444.7 / 300.0 . 130.7 / 61.4 . 731.8 / 300.0 . 870.7 / 300.1 . 586.1 / 300.0 . 248.0 / 300.0
SRS_Standard/ICFP_2010/161917.xml . 364.7 / 300.0 . 63.9 / 62.8 . 719.1 / 300.0 . 720.7 / 300.0 . 501.1 / 300.0 . 221.4 / 300.1
SRS_Standard/ICFP_2010/161930.xml . 432.1 / 300.0 . 62.0 / 64.3 . 903.2 / 300.0 . 1034.6 / 300.1 YES 74.6 / 23.3 . 136.7 / 300.0
SRS_Standard/ICFP_2010/162016.xml . 214.3 / 300.0 . 131.1 / 61.9 . 683.6 / 300.0 . 981.4 / 300.0 . 646.0 / 300.0 . 240.6 / 300.1
SRS_Standard/ICFP_2010/162075.xml . 291.9 / 300.1 . 80.3 / 67.0 . 614.0 / 300.0 . 1039.3 / 300.1 . 610.1 / 300.1 . 153.4 / 300.1
SRS_Standard/ICFP_2010/162095.xml . 211.9 / 300.0 . 91.6 / 62.7 . 987.6 / 300.0 . 881.0 / 300.1 . 615.9 / 300.0 . 267.4 / 300.0
SRS_Standard/ICFP_2010/162244.xml . 447.8 / 300.0 . 72.9 / 63.1 . 611.6 / 300.0 . 635.4 / 300.0 . 452.9 / 300.1 . 280.7 / 300.1
SRS_Standard/ICFP_2010/165713.xml . 426.3 / 300.0 . 130.8 / 61.6 . 831.2 / 300.0 . 623.8 / 300.0 . 525.5 / 300.1 . 250.0 / 300.1
SRS_Standard/ICFP_2010/165755.xml . 358.4 / 300.0 . 92.9 / 61.7 . 827.5 / 300.0 . 1019.8 / 300.1 . 453.1 / 300.0 . 301.2 / 300.0
SRS_Standard/ICFP_2010/165904.xml . 443.8 / 300.0 . 90.0 / 62.4 . 959.4 / 300.0 . 984.3 / 300.0 . 554.5 / 300.1 . 301.5 / 300.0
SRS_Standard/ICFP_2010/165936.xml . 442.6 / 300.0 . 131.7 / 61.9 . 928.9 / 300.0 . 830.7 / 300.1 . 562.3 / 300.0 . 250.5 / 300.0
SRS_Standard/ICFP_2010/165975.xml . 447.9 / 300.0 . 131.1 / 62.0 . 908.6 / 300.0 . 1052.5 / 300.1 . 531.4 / 300.1 . 261.5 / 300.0
SRS_Standard/ICFP_2010/166001.xml . 346.6 / 300.1 . 129.0 / 62.6 . 911.4 / 300.0 . 956.2 / 300.0 . 518.3 / 300.0 . 223.4 / 300.0
SRS_Standard/ICFP_2010/166465.xml . 284.6 / 300.0 . 131.2 / 61.6 . 924.9 / 300.0 . 720.0 / 300.1 . 620.8 / 300.1 . 265.3 / 300.0
SRS_Standard/ICFP_2010/166493.xml . 279.8 / 300.0 . 91.7 / 63.6 . 828.5 / 300.0 . 742.2 / 300.1 . 551.0 / 300.0 . 258.3 / 300.1
SRS_Standard/ICFP_2010/166558.xml . 450.1 / 300.0 . 131.2 / 62.1 . 729.6 / 300.0 . 881.2 / 300.0 . 663.8 / 300.1 . 219.1 / 300.1
SRS_Standard/ICFP_2010/166848.xml . 342.7 / 300.0 . 131.2 / 62.0 . 923.2 / 300.0 . 640.1 / 300.1 . 605.9 / 300.1 . 301.5 / 300.0
SRS_Standard/ICFP_2010/167041.xml . 194.1 / 300.0 . 79.0 / 62.1 . 637.9 / 300.1 . 667.5 / 300.0 . 615.5 / 300.0 . 233.1 / 300.0
SRS_Standard/ICFP_2010/167087.xml . 249.2 / 300.0 . 131.3 / 62.1 . 628.6 / 300.0 . 983.2 / 300.0 . 341.2 / 300.1 . 301.5 / 300.0
SRS_Standard/ICFP_2010/167240.xml . 286.3 / 300.1 . 110.8 / 61.8 . 770.1 / 300.0 . 692.9 / 300.0 . 481.9 / 300.1 . 234.9 / 300.0
SRS_Standard/ICFP_2010/167294.xml . 208.7 / 300.0 . 122.9 / 62.0 . 747.3 / 300.0 . 574.1 / 300.0 . 605.7 / 300.1 . 287.4 / 300.0
SRS_Standard/ICFP_2010/167310.xml . 200.8 / 300.1 . 61.8 / 64.3 . 939.5 / 300.0 . 986.0 / 300.1 . 601.6 / 300.0 . 179.2 / 300.0
SRS_Standard/ICFP_2010/167391.xml . 423.6 / 300.1 . 89.4 / 65.6 . 930.9 / 300.0 . 877.2 / 300.0 YES 183.2 / 82.9 . 291.4 / 300.1
SRS_Standard/ICFP_2010/167433.xml . 433.7 / 300.0 . 131.7 / 62.1 . 810.2 / 300.0 . 547.4 / 300.0 . 549.3 / 300.0 . 257.0 / 300.0
SRS_Standard/ICFP_2010/167452.xml . 449.9 / 300.0 . 131.3 / 62.0 . 718.9 / 300.0 . 719.3 / 300.0 . 471.7 / 300.1 . 200.7 / 300.0
SRS_Standard/ICFP_2010/167526.xml . 310.2 / 300.0 . 93.2 / 63.6 . 934.9 / 300.0 . 1027.7 / 300.1 . 540.5 / 300.0 . 298.5 / 300.0
SRS_Standard/ICFP_2010/167636.xml . 363.0 / 300.0 . 77.6 / 62.8 . 628.5 / 300.1 . 938.0 / 300.1 YES 139.8 / 36.7 . 301.2 / 300.0
SRS_Standard/ICFP_2010/167742.xml . 439.4 / 300.0 . 85.2 / 63.8 . 682.4 / 300.0 . 794.0 / 300.0 YES 74.8 / 23.1 . 192.3 / 300.1
SRS_Standard/ICFP_2010/180915.xml . 284.9 / 300.1 . 81.8 / 62.0 . 813.1 / 300.0 . 612.8 / 300.1 . 707.1 / 300.0 . 221.0 / 300.0
SRS_Standard/ICFP_2010/182946.xml . 358.2 / 300.0 . 60.1 / 65.2 . 926.9 / 300.0 . 958.2 / 300.1 . 676.6 / 300.1 . 300.9 / 300.0
SRS_Standard/ICFP_2010/183803.xml . 228.7 / 300.1 . 81.7 / 62.3 . 652.9 / 300.0 . 616.7 / 300.1 . 567.0 / 300.1 . 198.3 / 300.1
SRS_Standard/ICFP_2010/184957.xml . 375.9 / 300.0 . 85.2 / 65.7 . 652.7 / 300.1 . 570.0 / 300.2 . 625.2 / 300.1 . 245.1 / 300.0
SRS_Standard/ICFP_2010/185453.xml . 200.1 / 300.0 . 79.8 / 62.4 . 607.1 / 300.0 . 667.4 / 300.1 . 667.7 / 300.1 . 234.4 / 300.0
SRS_Standard/ICFP_2010/185628.xml . 341.5 / 300.0 . 66.8 / 67.0 . 756.3 / 300.0 . 837.1 / 300.1 . 470.7 / 300.0 . 212.5 / 300.0
SRS_Standard/ICFP_2010/186023.xml YES 3.9 / 3.5 . 90.4 / 62.8 . 724.3 / 300.0 . 41.4 / 15.1 YES 50.0 / 16.1 . 219.1 / 300.0
SRS_Standard/ICFP_2010/186222.xml . 308.6 / 300.0 . 131.1 / 61.8 . 919.3 / 300.0 . 951.3 / 300.1 . 695.0 / 300.1 . 165.5 / 300.0
SRS_Standard/ICFP_2010/186333.xml . 226.2 / 300.0 . 80.7 / 62.5 . 851.1 / 300.0 . 863.6 / 300.0 . 530.4 / 300.0 . 286.4 / 300.0
SRS_Standard/ICFP_2010/186617.xml . 306.6 / 300.0 . 132.0 / 61.8 . 713.8 / 300.0 . 964.5 / 300.1 . 547.1 / 300.1 . 289.9 / 300.1
SRS_Standard/ICFP_2010/186775.xml . 350.7 / 300.0 . 87.1 / 63.3 . 881.9 / 300.0 . 885.4 / 300.1 . 641.2 / 300.1 . 247.1 / 300.0
SRS_Standard/ICFP_2010/186810.xml . 370.1 / 300.0 . 131.1 / 61.8 . 603.7 / 300.0 . 571.5 / 300.0 . 463.6 / 300.1 . 241.3 / 300.0
SRS_Standard/ICFP_2010/186919.xml . 284.2 / 300.0 . 77.1 / 62.9 . 673.6 / 300.1 . 851.6 / 300.1 . 481.6 / 300.0 . 159.8 / 300.1
SRS_Standard/ICFP_2010/186973.xml . 375.7 / 300.0 . 62.2 / 78.5 . 923.7 / 300.0 . 621.6 / 300.1 . 556.0 / 300.1 . 259.2 / 300.0
SRS_Standard/ICFP_2010/187254.xml YES 3.5 / 3.2 . 74.8 / 62.4 . 864.9 / 300.0 . 52.2 / 16.6 YES 59.4 / 19.0 . 291.0 / 300.0
SRS_Standard/ICFP_2010/187837.xml . 197.9 / 300.0 . 149.8 / 62.2 . 623.0 / 300.0 . 987.7 / 300.1 . 721.5 / 300.1 . 229.9 / 300.1
SRS_Standard/ICFP_2010/188004.xml . 374.6 / 300.0 . 103.0 / 61.9 . 776.2 / 300.0 . 999.3 / 300.1 . 508.3 / 300.0 . 219.7 / 300.1
SRS_Standard/ICFP_2010/188238.xml . 221.9 / 300.0 . 65.3 / 63.7 . 666.9 / 300.0 . 703.9 / 300.1 . 658.4 / 300.1 . 164.8 / 300.1
SRS_Standard/ICFP_2010/188261.xml . 375.7 / 300.0 . 77.5 / 64.1 . 668.8 / 300.0 . 975.8 / 300.1 . 644.5 / 300.0 . 297.0 / 300.1
SRS_Standard/ICFP_2010/188296.xml . 246.2 / 300.0 . 130.1 / 62.0 . 767.4 / 300.0 . 502.7 / 300.1 . 550.6 / 300.1 . 268.5 / 300.0
SRS_Standard/ICFP_2010/188674.xml YES 32.6 / 33.7 . 131.1 / 61.8 . 883.1 / 300.0 . 940.7 / 300.1 YES 56.8 / 23.9 . 275.4 / 300.1
SRS_Standard/ICFP_2010/188696.xml . 373.1 / 300.0 . 85.8 / 62.2 . 931.4 / 300.0 . 1059.8 / 300.1 . 628.1 / 300.1 . 300.9 / 300.0
SRS_Standard/ICFP_2010/211471.xml . 0.0 / 0.0 . 215.6 / 64.1 . 654.7 / 300.0 . 0.2 / 0.7 YES 9.2 / 11.6 . 0.0 / 0.0
SRS_Standard/ICFP_2010/211639.xml . 0.0 / 0.0 . 192.5 / 66.9 . 917.4 / 300.0 . 0.2 / 0.1 YES 22.4 / 9.4 . 0.0 / 0.0
SRS_Standard/ICFP_2010/211857.xml YES 2.4 / 6.3 YES 51.3 / 19.5 YES 217.2 / 85.5 . 11.2 / 4.4 YES 42.9 / 23.5 YES 0.7 / 3.4
SRS_Standard/ICFP_2010/211915.xml YES 13.1 / 30.3 . 230.1 / 60.7 . 948.5 / 300.0 . 685.7 / 300.1 YES 95.3 / 50.7 . 215.5 / 300.0
SRS_Standard/ICFP_2010/211960.xml YES 40.5 / 40.5 . 208.9 / 61.5 . 919.4 / 300.0 . 25.8 / 11.4 YES 142.0 / 40.5 . 279.3 / 300.0
SRS_Standard/ICFP_2010/211978.xml YES 12.5 / 12.6 . 229.8 / 61.0 YES 468.4 / 231.1 . 22.7 / 11.6 YES 22.5 / 7.3 YES 0.0 / 0.1
SRS_Standard/ICFP_2010/212026.xml YES 67.4 / 74.6 . 188.0 / 61.4 . 880.9 / 300.0 . 921.9 / 300.1 YES 237.3 / 92.1 . 159.4 / 300.1
SRS_Standard/ICFP_2010/212037.xml YES 30.5 / 47.4 . 207.4 / 61.2 . 690.4 / 300.0 . 901.1 / 300.1 YES 187.2 / 62.8 . 206.3 / 300.0
SRS_Standard/ICFP_2010/212043.xml YES 21.7 / 37.0 YES 12.7 / 3.5 . 791.5 / 300.1 . 893.2 / 300.1 YES 144.5 / 69.1 . 272.8 / 300.0
SRS_Standard/ICFP_2010/212062.xml YES 15.6 / 20.0 YES 32.9 / 9.6 YES 452.9 / 194.8 . 23.0 / 11.0 YES 15.3 / 13.3 YES 1.7 / 1.7
SRS_Standard/ICFP_2010/212094.xml YES 8.1 / 10.3 . 218.3 / 61.2 . 1025.9 / 300.0 . 17.5 / 6.5 YES 107.2 / 30.3 . 299.8 / 300.0
SRS_Standard/ICFP_2010/212117.xml YES 17.5 / 17.0 . 232.6 / 60.6 . 800.8 / 300.0 . 18.8 / 19.3 YES 62.4 / 37.7 . 299.8 / 300.0
SRS_Standard/ICFP_2010/212189.xml YES 18.6 / 38.9 . 299.9 / 61.1 YES 523.0 / 212.0 . 12.1 / 12.8 YES 528.2 / 158.3 . 171.6 / 300.0
SRS_Standard/ICFP_2010/212263.xml YES 34.3 / 33.8 YES 8.1 / 2.5 . 749.4 / 300.0 . 23.4 / 21.1 YES 22.8 / 14.8 . 234.3 / 300.1
SRS_Standard/ICFP_2010/212308.xml YES 106.6 / 157.0 . 229.7 / 60.9 . 1059.7 / 300.0 . 501.4 / 300.1 YES 170.1 / 56.3 . 144.6 / 300.0
SRS_Standard/ICFP_2010/212364.xml . 24.9 / 29.3 . 236.5 / 60.5 . 1041.3 / 300.0 . 31.8 / 22.5 . 640.9 / 300.1 . 244.6 / 300.0
SRS_Standard/ICFP_2010/212421.xml YES 16.5 / 19.2 YES 13.6 / 4.0 YES 597.6 / 207.3 . 15.0 / 7.5 YES 135.1 / 41.6 . 226.4 / 300.0
SRS_Standard/ICFP_2010/212480.xml YES 18.2 / 40.8 YES 228.4 / 160.6 . 907.4 / 300.0 . 18.2 / 11.0 YES 60.8 / 27.1 . 295.4 / 300.0
SRS_Standard/ICFP_2010/212534.xml YES 21.7 / 21.7 . 187.7 / 60.8 . 963.6 / 300.0 . 28.0 / 8.6 YES 108.3 / 47.6 YES 11.7 / 28.9
SRS_Standard/ICFP_2010/212612.xml . 25.5 / 25.2 . 185.9 / 60.8 . 672.7 / 300.0 . 639.8 / 300.1 YES 152.6 / 45.8 . 299.8 / 300.0
SRS_Standard/ICFP_2010/212693.xml YES 5.6 / 14.2 YES 148.1 / 80.6 . 654.0 / 300.0 . 16.1 / 16.6 YES 12.5 / 14.2 . 132.3 / 300.0
SRS_Standard/ICFP_2010/212774.xml YES 4.5 / 9.2 YES 9.8 / 3.0 . 807.6 / 300.0 . 19.2 / 6.9 YES 23.6 / 8.4 . 173.2 / 300.1
SRS_Standard/ICFP_2010/212795.xml YES 31.3 / 57.8 . 229.4 / 60.8 . 772.3 / 300.0 . 776.8 / 300.1 YES 703.1 / 269.3 . 165.2 / 300.0
SRS_Standard/ICFP_2010/212892.xml YES 6.1 / 8.2 YES 224.9 / 66.5 . 735.0 / 300.0 . 18.8 / 13.6 YES 107.4 / 33.1 . 199.9 / 300.0
SRS_Standard/ICFP_2010/213051.xml YES 50.5 / 79.0 . 262.3 / 70.2 YES 306.8 / 154.3 . 14.6 / 10.5 YES 122.4 / 36.6 YES 7.7 / 12.7
SRS_Standard/ICFP_2010/213147.xml YES 101.3 / 103.8 YES 203.6 / 59.7 . 1081.5 / 300.0 . 948.8 / 300.1 YES 143.3 / 45.0 . 297.6 / 300.0
SRS_Standard/ICFP_2010/213218.xml YES 15.7 / 15.7 YES 25.9 / 14.3 YES 488.8 / 138.8 . 21.2 / 7.6 YES 31.1 / 18.8 YES 0.0 / 0.0
SRS_Standard/ICFP_2010/213281.xml YES 8.9 / 9.0 YES 13.7 / 4.0 . 1046.9 / 300.0 . 15.0 / 9.6 YES 60.4 / 17.8 YES 1.1 / 1.1
SRS_Standard/ICFP_2010/213407.xml YES 9.1 / 9.1 YES 13.4 / 3.4 YES 677.6 / 263.6 . 13.8 / 11.7 YES 47.5 / 26.8 . 197.4 / 300.1
SRS_Standard/ICFP_2010/213437.xml YES 17.2 / 16.6 YES 123.2 / 53.7 . 779.8 / 300.1 . 83.6 / 51.8 YES 148.9 / 45.8 . 234.1 / 300.0
SRS_Standard/ICFP_2010/213537.xml YES 70.5 / 78.2 . 230.2 / 60.8 . 677.3 / 300.0 . 44.5 / 14.6 YES 178.4 / 54.5 YES 21.1 / 21.2
SRS_Standard/ICFP_2010/213560.xml YES 199.4 / 224.6 YES 13.9 / 4.0 . 942.4 / 300.0 . 971.9 / 300.1 YES 157.4 / 59.9 . 297.8 / 300.0
SRS_Standard/ICFP_2010/213611.xml . 0.0 / 0.0 . 137.3 / 68.3 . 749.5 / 300.0 . 0.1 / 0.1 YES 16.4 / 5.8 . 0.0 / 0.0
SRS_Standard/ICFP_2010/213719.xml YES 42.0 / 40.8 . 228.6 / 61.1 . 860.5 / 300.0 . 639.9 / 300.0 . 752.1 / 300.1 . 207.2 / 300.0
SRS_Standard/ICFP_2010/213865.xml YES 61.8 / 93.3 . 230.5 / 60.0 . 609.8 / 300.0 . 634.3 / 300.1 YES 110.6 / 49.0 . 299.1 / 300.0
SRS_Standard/ICFP_2010/214011.xml YES 11.1 / 15.6 YES 51.8 / 18.7 . 798.3 / 300.0 . 578.2 / 300.1 YES 59.9 / 23.3 . 255.3 / 300.0
SRS_Standard/ICFP_2010/214091.xml YES 10.9 / 11.0 YES 12.6 / 3.8 . 849.5 / 300.1 . 143.8 / 106.1 YES 16.4 / 6.2 YES 0.0 / 0.0
SRS_Standard/ICFP_2010/214169.xml YES 8.5 / 8.6 . 229.4 / 60.8 . 1057.3 / 300.0 . 15.3 / 5.5 YES 106.8 / 50.8 . 198.6 / 300.0
SRS_Standard/ICFP_2010/214183.xml YES 136.5 / 149.7 . 207.2 / 61.2 . 659.5 / 300.0 . 751.0 / 300.1 YES 109.0 / 32.4 . 292.3 / 300.0
SRS_Standard/ICFP_2010/214261.xml . 272.3 / 300.0 . 200.3 / 61.6 . 1026.0 / 300.0 . 40.4 / 18.9 YES 148.8 / 44.7 . 245.2 / 300.0
SRS_Standard/ICFP_2010/214320.xml YES 11.8 / 11.6 YES 200.4 / 111.2 . 665.1 / 300.0 . 817.7 / 300.1 YES 47.2 / 22.8 YES 0.4 / 0.4
SRS_Standard/ICFP_2010/230780.xml . 0.0 / 0.0 . 98.5 / 80.3 . 937.1 / 300.0 . 0.2 / 2.7 YES 19.2 / 7.0 . 0.0 / 0.0
SRS_Standard/ICFP_2010/230819.xml . 0.0 / 0.0 . 192.8 / 64.1 . 631.9 / 300.1 . 0.2 / 0.1 YES 10.8 / 11.1 . 0.0 / 0.0
SRS_Standard/ICFP_2010/230948.xml . 0.0 / 0.0 . 58.8 / 68.5 . 864.5 / 300.0 . 0.2 / 0.2 YES 19.6 / 6.1 . 0.0 / 0.2
SRS_Standard/ICFP_2010/231043.xml . 0.0 / 0.0 . 140.8 / 71.6 . 824.5 / 300.0 . 0.2 / 0.8 YES 20.9 / 7.0 . 0.0 / 0.0
SRS_Standard/ICFP_2010/231149.xml . 0.0 / 0.0 . 78.2 / 62.7 . 697.6 / 300.0 . 0.2 / 0.1 YES 15.3 / 5.8 . 0.0 / 0.2
SRS_Standard/ICFP_2010/231230.xml . 0.0 / 0.0 . 118.4 / 78.3 . 729.1 / 300.0 . 0.2 / 0.1 YES 23.8 / 16.0 . 0.0 / 0.0
SRS_Standard/ICFP_2010/231300.xml . 0.0 / 0.1 . 133.4 / 64.3 . 630.2 / 300.0 . 0.2 / 1.3 YES 18.9 / 8.0 . 0.0 / 0.0
SRS_Standard/ICFP_2010/231378.xml . 0.0 / 0.0 . 132.6 / 69.4 . 951.9 / 300.0 . 0.2 / 0.2 YES 16.9 / 6.3 . 0.0 / 0.0
SRS_Standard/ICFP_2010/231480.xml . 0.0 / 0.0 . 142.6 / 73.4 . 938.8 / 300.1 . 0.2 / 1.3 YES 20.5 / 15.4 . 0.0 / 0.0
SRS_Standard/ICFP_2010/231604.xml . 0.0 / 0.0 . 145.9 / 76.6 . 923.2 / 300.0 . 0.1 / 0.1 YES 25.5 / 16.9 . 300.0 / 300.0
SRS_Standard/ICFP_2010/24100.xml . 261.2 / 300.0 . 190.4 / 61.1 . 731.7 / 300.0 . 225.0 / 77.1 . 869.3 / 300.2 . 300.0 / 300.0
SRS_Standard/ICFP_2010/246924.xml . 0.0 / 0.0 . 85.4 / 73.9 . 807.8 / 300.0 . 0.2 / 0.1 YES 20.9 / 6.9 . 0.0 / 0.0
SRS_Standard/ICFP_2010/247020.xml . 0.0 / 0.0 . 101.9 / 83.5 . 581.7 / 300.1 . 0.1 / 0.1 YES 19.7 / 7.0 . 0.0 / 0.2
SRS_Standard/ICFP_2010/247254.xml . 0.0 / 0.0 . 89.2 / 75.8 . 857.7 / 300.0 . 0.2 / 0.3 YES 26.0 / 9.0 . 0.0 / 0.0
SRS_Standard/ICFP_2010/247504.xml . 0.0 / 0.0 . 76.9 / 70.6 . 746.0 / 300.1 . 0.1 / 0.1 YES 17.0 / 6.0 . 0.0 / 0.3
SRS_Standard/ICFP_2010/247906.xml . 0.0 / 0.1 . 131.3 / 69.6 . 636.8 / 300.0 . 0.2 / 0.5 YES 89.2 / 27.0 . 0.0 / 0.0
SRS_Standard/ICFP_2010/247992.xml . 0.0 / 0.0 . 49.3 / 92.5 . 875.8 / 300.0 . 0.2 / 1.5 YES 16.0 / 10.7 . 0.0 / 0.0
SRS_Standard/ICFP_2010/248060.xml . 0.0 / 0.0 . 93.0 / 66.9 . 624.3 / 300.0 . 0.2 / 0.2 YES 16.2 / 10.2 . 0.0 / 0.0
SRS_Standard/ICFP_2010/249386.xml . 0.0 / 0.0 . 130.9 / 65.2 . 861.4 / 300.0 . 0.1 / 0.1 YES 25.7 / 16.2 . 0.0 / 0.0
SRS_Standard/ICFP_2010/249459.xml . 0.0 / 0.2 . 191.5 / 72.4 . 946.7 / 300.0 . 0.2 / 0.1 YES 15.9 / 15.8 . 0.0 / 0.0
SRS_Standard/ICFP_2010/249663.xml . 0.0 / 0.0 . 131.9 / 90.5 . 865.8 / 300.0 . 0.2 / 0.2 YES 23.3 / 7.7 . 0.0 / 0.2
SRS_Standard/ICFP_2010/25192.xml YES 0.0 / 0.0 YES 0.7 / 0.4 YES 8.5 / 6.3 . 2.7 / 1.1 YES 2.6 / 1.6 YES 0.0 / 0.0
SRS_Standard/ICFP_2010/25388.xml . 246.2 / 300.0 . 128.9 / 73.7 . 942.0 / 300.0 . 784.3 / 300.1 . 621.4 / 300.1 . 297.9 / 300.0
SRS_Standard/ICFP_2010/25395.xml . 251.7 / 300.0 . 129.8 / 60.6 . 663.1 / 300.0 . 1008.5 / 300.1 . 731.8 / 300.0 . 169.7 / 300.1
SRS_Standard/ICFP_2010/25409.xml . 265.3 / 300.0 . 81.9 / 62.2 . 994.7 / 300.0 . 1001.3 / 300.1 . 870.2 / 300.1 . 296.9 / 300.0
SRS_Standard/ICFP_2010/25416.xml . 250.0 / 300.0 . 129.7 / 60.6 . 750.9 / 300.0 . 691.2 / 300.1 . 858.4 / 300.1 . 229.8 / 300.0
SRS_Standard/ICFP_2010/25422.xml . 330.4 / 300.0 . 129.4 / 60.4 . 955.1 / 300.0 . 787.7 / 300.1 . 611.7 / 300.0 . 226.0 / 300.1
SRS_Standard/ICFP_2010/254704.xml . 276.2 / 300.0 . 171.5 / 81.8 . 932.8 / 300.0 . 1042.0 / 300.1 . 880.5 / 300.0 . 300.1 / 300.1
SRS_Standard/ICFP_2010/25711.xml . 255.7 / 300.0 . 129.4 / 60.7 . 1012.6 / 300.0 . 741.2 / 300.0 . 577.6 / 300.1 . 298.2 / 300.0
SRS_Standard/ICFP_2010/25726.xml . 338.8 / 300.0 . 129.4 / 60.5 . 819.0 / 300.0 . 954.9 / 300.1 . 889.3 / 300.1 . 299.7 / 300.0
SRS_Standard/ICFP_2010/25731.xml YES 1.1 / 1.7 YES 1.6 / 2.0 YES 9.7 / 4.8 . 810.2 / 300.1 YES 2.8 / 1.7 . 201.0 / 300.1
SRS_Standard/ICFP_2010/25734.xml . 302.4 / 300.0 . 129.7 / 60.6 . 777.8 / 300.0 . 861.7 / 300.1 . 663.4 / 300.1 . 298.5 / 300.0
SRS_Standard/ICFP_2010/25736.xml . 448.9 / 300.0 . 115.7 / 61.5 . 769.0 / 300.0 . 1007.2 / 300.1 . 595.5 / 300.1 . 275.9 / 300.0
SRS_Standard/ICFP_2010/25743.xml . 374.7 / 300.0 . 71.8 / 60.8 . 751.9 / 300.0 . 849.4 / 300.1 . 735.2 / 300.1 . 250.4 / 300.0
SRS_Standard/ICFP_2010/25775.xml . 374.2 / 300.0 . 52.7 / 60.7 . 1028.4 / 300.0 . 919.0 / 300.0 . 802.8 / 300.1 . 293.0 / 300.0
SRS_Standard/ICFP_2010/25808.xml . 359.9 / 300.0 . 95.7 / 61.1 . 908.1 / 300.0 . 1001.4 / 300.0 . 644.1 / 300.1 . 289.6 / 300.0
SRS_Standard/ICFP_2010/25849.xml . 447.1 / 300.0 . 75.6 / 61.0 . 1024.9 / 300.0 . 1075.4 / 300.1 . 686.3 / 300.1 . 222.7 / 300.0
SRS_Standard/ICFP_2010/259405.xml . 199.2 / 300.0 . 235.6 / 75.3 . 928.7 / 300.0 . 905.2 / 300.1 YES 64.5 / 31.6 . 236.8 / 300.0
SRS_Standard/ICFP_2010/259625.xml . 448.3 / 300.0 . 140.1 / 83.9 . 912.9 / 300.0 . 817.5 / 300.0 YES 65.3 / 21.9 . 256.1 / 300.0
SRS_Standard/ICFP_2010/26069.xml YES 24.1 / 30.6 YES 3.9 / 1.2 YES 15.6 / 7.0 . 778.0 / 300.1 . 490.9 / 300.0 . 300.1 / 300.0
SRS_Standard/ICFP_2010/26103.xml YES 166.8 / 125.6 YES 4.0 / 1.4 YES 26.7 / 12.6 . 786.4 / 300.1 YES 70.3 / 43.2 . 285.2 / 300.0
SRS_Standard/ICFP_2010/26105.xml . 385.9 / 300.1 . 127.1 / 60.4 . 903.4 / 300.0 . 679.2 / 300.1 . 795.6 / 300.0 . 240.0 / 300.1
SRS_Standard/ICFP_2010/26110.xml . 233.8 / 300.1 . 55.2 / 63.2 . 814.6 / 300.0 . 675.8 / 300.1 . 789.5 / 300.1 . 219.9 / 300.0
SRS_Standard/ICFP_2010/26116.xml . 338.5 / 300.1 . 73.7 / 60.6 . 800.5 / 300.0 . 693.7 / 300.1 . 749.5 / 300.1 . 297.0 / 300.1
SRS_Standard/ICFP_2010/26123.xml . 431.8 / 300.1 YES 5.3 / 1.7 YES 58.8 / 31.6 . 644.9 / 300.1 . 567.1 / 300.1 . 228.9 / 300.1
SRS_Standard/ICFP_2010/26127.xml . 417.3 / 300.0 . 129.5 / 60.7 . 835.0 / 300.0 . 907.8 / 300.1 . 592.9 / 300.1 . 207.4 / 300.1
SRS_Standard/ICFP_2010/26130.xml . 322.4 / 300.0 YES 5.9 / 1.9 YES 31.5 / 10.0 . 401.5 / 300.1 . 514.0 / 300.0 . 299.5 / 300.0
SRS_Standard/ICFP_2010/26132.xml . 447.2 / 300.0 . 104.7 / 61.1 . 985.4 / 300.0 . 917.7 / 300.1 . 821.8 / 300.0 . 298.4 / 300.0
SRS_Standard/ICFP_2010/26186.xml . 391.3 / 300.0 YES 8.1 / 2.6 YES 56.9 / 17.0 . 582.9 / 300.1 YES 94.5 / 67.0 . 274.1 / 300.0
SRS_Standard/ICFP_2010/26226.xml . 400.5 / 300.1 YES 11.8 / 2.6 YES 38.2 / 11.6 . 923.7 / 300.1 . 561.8 / 300.1 . 299.9 / 300.0
SRS_Standard/ICFP_2010/26291.xml . 373.6 / 300.0 YES 9.8 / 4.3 YES 87.4 / 41.6 . 961.9 / 300.1 . 488.3 / 300.0 . 262.0 / 300.0
SRS_Standard/ICFP_2010/262998.xml . 231.0 / 300.0 . 138.4 / 76.6 . 811.2 / 300.0 . 760.0 / 300.0 YES 48.8 / 15.5 . 251.5 / 300.0
SRS_Standard/ICFP_2010/263745.xml . 282.3 / 300.0 . 81.3 / 73.7 . 725.7 / 300.1 . 711.1 / 300.1 YES 83.1 / 25.6 . 197.7 / 300.0
SRS_Standard/ICFP_2010/264033.xml YES 0.0 / 0.5 . 173.7 / 61.2 . 621.6 / 300.0 . 6.9 / 3.3 YES 46.8 / 13.7 . 133.9 / 300.0
SRS_Standard/ICFP_2010/264370.xml YES 1.1 / 1.2 YES 0.6 / 1.1 YES 0.3 / 0.1 . 3.7 / 1.6 YES 2.7 / 1.7 YES 0.0 / 0.3
SRS_Standard/ICFP_2010/264405.xml YES 0.0 / 0.3 YES 0.7 / 0.4 YES 1.4 / 0.6 . 3.7 / 3.1 YES 2.6 / 1.6 YES 0.0 / 0.0
SRS_Standard/ICFP_2010/26683.xml . 423.0 / 300.0 YES 11.5 / 5.0 YES 114.0 / 34.8 . 577.8 / 300.1 . 569.9 / 300.1 . 268.6 / 300.0
SRS_Standard/ICFP_2010/26741.xml . 445.4 / 300.0 . 61.7 / 63.3 . 698.5 / 300.0 . 996.5 / 300.1 . 554.2 / 300.1 . 140.0 / 300.0
SRS_Standard/ICFP_2010/26845.xml . 418.0 / 300.2 . 127.7 / 60.6 . 950.1 / 300.0 . 890.8 / 300.1 . 809.3 / 300.0 . 234.6 / 300.1
SRS_Standard/ICFP_2010/26862.xml . 259.9 / 300.0 . 129.6 / 60.5 . 937.1 / 300.0 . 753.7 / 300.1 . 704.5 / 300.1 . 218.8 / 300.1
SRS_Standard/ICFP_2010/26871.xml . 318.3 / 300.0 . 96.5 / 62.4 . 1023.2 / 300.0 . 748.8 / 300.1 . 866.1 / 300.0 . 220.3 / 300.0
SRS_Standard/ICFP_2010/26875.xml . 213.9 / 300.0 . 56.7 / 63.1 . 981.9 / 300.0 . 887.5 / 300.1 . 892.1 / 300.2 . 297.9 / 300.0
SRS_Standard/ICFP_2010/26879.xml . 187.7 / 300.0 . 73.5 / 60.6 . 968.0 / 300.0 . 616.8 / 300.2 . 569.2 / 300.2 . 204.2 / 300.1
SRS_Standard/ICFP_2010/26882.xml . 369.3 / 300.0 . 110.5 / 62.7 . 1015.4 / 300.0 . 751.3 / 300.1 . 555.6 / 300.1 . 205.9 / 300.0
SRS_Standard/ICFP_2010/26886.xml . 277.3 / 300.1 . 44.0 / 61.7 . 660.0 / 300.0 . 637.3 / 300.1 . 858.3 / 300.1 . 300.5 / 300.0
SRS_Standard/ICFP_2010/26896.xml . 419.0 / 300.0 . 102.6 / 60.7 . 1077.9 / 300.0 . 1039.7 / 300.1 . 932.5 / 300.0 . 298.6 / 300.0
SRS_Standard/ICFP_2010/26903.xml . 218.8 / 300.0 . 70.1 / 60.7 . 887.7 / 300.0 . 693.7 / 300.1 . 736.3 / 300.1 . 298.7 / 300.0
SRS_Standard/ICFP_2010/26910.xml . 261.7 / 300.1 . 78.5 / 62.6 . 993.1 / 300.0 . 1006.0 / 300.1 . 600.4 / 300.1 . 286.3 / 300.1
SRS_Standard/ICFP_2010/26916.xml . 266.4 / 300.0 . 42.6 / 65.5 . 851.7 / 300.0 . 863.8 / 300.1 . 956.4 / 300.0 . 239.5 / 300.0
SRS_Standard/ICFP_2010/26919.xml . 268.8 / 300.0 . 129.9 / 60.7 . 777.9 / 300.0 . 725.5 / 300.1 . 649.1 / 300.0 . 188.6 / 300.0
SRS_Standard/ICFP_2010/26923.xml . 356.7 / 300.0 . 62.8 / 62.1 . 896.5 / 300.0 . 859.4 / 300.0 . 751.6 / 300.1 . 226.2 / 300.0
SRS_Standard/ICFP_2010/26927.xml . 412.2 / 300.0 . 127.1 / 60.7 . 597.0 / 300.0 . 600.4 / 300.1 . 802.9 / 300.1 . 228.6 / 300.1
SRS_Standard/ICFP_2010/26931.xml . 269.9 / 300.0 . 91.1 / 62.3 . 981.1 / 300.0 . 574.3 / 300.0 . 905.1 / 300.0 . 255.4 / 300.1
SRS_Standard/ICFP_2010/26933.xml . 229.7 / 300.1 . 129.7 / 60.6 . 956.0 / 300.0 . 884.4 / 300.0 . 859.9 / 300.1 . 271.9 / 300.1
SRS_Standard/ICFP_2010/26940.xml . 358.8 / 300.0 . 129.7 / 60.6 . 788.6 / 300.0 . 771.4 / 300.1 . 849.8 / 300.1 . 298.8 / 300.0
SRS_Standard/ICFP_2010/26943.xml . 336.3 / 300.0 . 129.5 / 60.5 . 1004.9 / 300.0 . 886.9 / 300.1 . 745.4 / 300.1 . 298.2 / 300.0
SRS_Standard/ICFP_2010/26946.xml . 232.6 / 300.0 . 86.9 / 60.8 . 524.7 / 300.1 . 818.3 / 300.1 . 794.5 / 300.1 . 247.4 / 300.0
SRS_Standard/ICFP_2010/26949.xml . 441.1 / 300.0 . 87.2 / 61.5 . 998.4 / 300.0 . 979.3 / 300.1 . 926.7 / 300.0 . 278.4 / 300.1
SRS_Standard/ICFP_2010/26951.xml . 394.4 / 300.0 . 129.6 / 60.5 . 770.9 / 300.0 . 690.7 / 300.1 . 730.6 / 300.1 . 149.5 / 300.1
SRS_Standard/ICFP_2010/26954.xml . 194.5 / 300.0 . 129.9 / 60.5 . 642.9 / 300.0 . 851.2 / 300.1 . 966.5 / 300.0 . 299.2 / 300.0
SRS_Standard/ICFP_2010/26957.xml . 338.0 / 300.0 . 75.9 / 61.1 . 1027.8 / 300.0 . 828.5 / 300.1 . 995.6 / 300.1 . 247.4 / 300.0
SRS_Standard/ICFP_2010/26960.xml . 388.4 / 300.0 . 105.9 / 60.7 . 794.1 / 300.0 . 641.3 / 300.1 . 845.3 / 300.1 . 300.3 / 300.0
SRS_Standard/ICFP_2010/26965.xml . 211.4 / 300.1 . 73.8 / 60.6 . 696.9 / 300.0 . 718.2 / 300.0 . 586.8 / 300.0 . 298.4 / 300.0
SRS_Standard/ICFP_2010/26969.xml . 293.6 / 300.0 . 55.5 / 61.6 . 841.3 / 300.0 . 772.0 / 300.1 . 639.8 / 300.1 . 209.7 / 300.0
SRS_Standard/ICFP_2010/26972.xml . 449.7 / 300.0 . 66.6 / 63.3 . 706.1 / 300.0 . 1027.5 / 300.1 . 783.1 / 300.1 . 283.5 / 300.1
SRS_Standard/ICFP_2010/26974.xml . 352.9 / 300.0 . 124.1 / 60.6 . 714.2 / 300.0 . 584.0 / 300.1 . 665.7 / 300.1 . 293.3 / 300.0
SRS_Standard/ICFP_2010/26976.xml . 450.3 / 300.0 . 74.1 / 60.8 . 972.7 / 300.0 . 897.8 / 300.1 . 765.5 / 300.1 . 174.2 / 300.0
SRS_Standard/ICFP_2010/26978.xml . 446.3 / 300.0 . 129.9 / 60.4 . 551.6 / 300.0 . 1030.5 / 300.1 . 938.4 / 300.0 . 138.2 / 300.1
SRS_Standard/ICFP_2010/26980.xml . 440.8 / 300.0 . 77.9 / 62.1 . 958.3 / 300.0 . 783.8 / 300.1 . 926.8 / 300.1 . 240.6 / 300.0
SRS_Standard/ICFP_2010/26986.xml . 228.0 / 300.0 . 130.1 / 60.6 . 750.8 / 300.0 . 769.0 / 300.1 . 571.4 / 300.0 . 154.4 / 300.1
SRS_Standard/ICFP_2010/26993.xml . 429.7 / 300.0 . 67.3 / 60.7 . 553.8 / 300.0 . 786.3 / 300.0 . 909.3 / 300.2 . 214.9 / 300.0
SRS_Standard/ICFP_2010/26998.xml . 216.8 / 300.0 . 89.1 / 75.7 . 811.3 / 300.0 . 753.1 / 300.1 . 484.3 / 300.1 . 220.1 / 300.1
SRS_Standard/ICFP_2010/27001.xml . 409.6 / 300.0 . 129.7 / 60.6 . 992.7 / 300.0 . 727.7 / 300.1 . 604.2 / 300.1 . 243.4 / 300.1
SRS_Standard/ICFP_2010/27003.xml . 399.9 / 300.1 . 130.0 / 60.6 . 994.3 / 300.0 . 728.3 / 300.1 . 934.0 / 300.0 . 214.3 / 300.0
SRS_Standard/ICFP_2010/27006.xml . 365.8 / 300.0 . 64.6 / 63.2 . 961.3 / 300.0 . 837.6 / 300.1 . 750.8 / 300.1 . 276.7 / 300.0
SRS_Standard/ICFP_2010/27009.xml . 270.6 / 300.0 . 72.5 / 60.7 . 763.9 / 300.0 . 707.8 / 300.1 . 784.5 / 300.1 . 201.4 / 300.1
SRS_Standard/ICFP_2010/27013.xml . 227.4 / 300.0 . 129.9 / 60.5 . 740.7 / 300.0 . 842.0 / 300.1 . 869.1 / 300.0 . 296.9 / 300.0
SRS_Standard/ICFP_2010/27015.xml . 389.1 / 300.1 . 76.4 / 60.7 . 996.6 / 300.0 . 981.6 / 300.1 . 761.4 / 300.1 . 239.6 / 300.0
SRS_Standard/ICFP_2010/27019.xml . 439.0 / 300.0 . 84.6 / 61.7 . 1016.0 / 300.0 . 796.1 / 300.1 . 732.7 / 300.0 . 152.1 / 300.0
SRS_Standard/ICFP_2010/27023.xml . 445.6 / 300.0 . 88.7 / 61.2 . 618.6 / 300.0 . 606.5 / 300.1 . 649.4 / 300.1 . 184.0 / 300.1
SRS_Standard/ICFP_2010/27026.xml . 446.4 / 300.0 . 85.5 / 61.3 . 752.2 / 300.0 . 1017.6 / 300.1 . 621.6 / 300.0 . 187.3 / 300.1
SRS_Standard/ICFP_2010/27028.xml . 365.3 / 300.0 . 129.2 / 60.5 . 1027.3 / 300.0 . 1094.9 / 300.1 . 631.5 / 300.0 . 242.1 / 300.1
SRS_Standard/ICFP_2010/27030.xml . 289.7 / 300.0 YES 14.7 / 4.4 YES 144.6 / 64.5 . 574.6 / 300.1 . 495.3 / 300.0 . 269.9 / 300.0
SRS_Standard/ICFP_2010/27034.xml . 326.6 / 300.1 . 129.4 / 60.6 . 754.6 / 300.0 . 984.3 / 300.1 . 831.8 / 300.1 . 179.2 / 300.0
SRS_Standard/ICFP_2010/27036.xml . 434.7 / 300.0 . 116.5 / 60.7 . 658.3 / 300.0 . 620.5 / 300.1 . 647.6 / 300.1 . 294.9 / 300.0
SRS_Standard/ICFP_2010/27039.xml . 134.3 / 300.0 . 126.9 / 60.8 . 682.7 / 300.0 . 819.4 / 300.1 . 750.6 / 300.1 . 293.2 / 300.1
SRS_Standard/ICFP_2010/27131.xml . 445.4 / 300.0 YES 39.4 / 15.1 YES 127.9 / 85.3 . 791.0 / 300.1 . 490.9 / 300.0 . 233.0 / 300.1
SRS_Standard/ICFP_2010/27134.xml . 447.4 / 300.0 YES 41.8 / 14.8 YES 169.7 / 49.3 . 476.5 / 300.1 . 566.5 / 300.0 . 262.3 / 300.0
SRS_Standard/ICFP_2010/27213.xml . 301.4 / 300.0 YES 122.3 / 25.1 YES 201.6 / 62.5 . 597.7 / 300.1 . 498.9 / 300.0 . 188.4 / 300.0
SRS_Standard/ICFP_2010/27235.xml . 207.2 / 300.0 YES 81.3 / 27.7 YES 157.8 / 56.9 . 570.5 / 300.1 . 548.5 / 300.0 . 298.6 / 300.0
SRS_Standard/ICFP_2010/27280.xml . 267.9 / 300.1 YES 113.9 / 36.6 YES 162.6 / 47.1 . 970.7 / 300.1 . 435.3 / 300.0 . 226.1 / 300.1
SRS_Standard/ICFP_2010/28293.xml . 452.0 / 300.0 YES 129.0 / 35.1 YES 201.1 / 79.7 . 996.2 / 300.1 . 583.5 / 300.0 . 254.6 / 300.0
SRS_Standard/ICFP_2010/28464.xml . 254.2 / 300.0 YES 96.8 / 35.5 YES 453.8 / 228.2 . 931.2 / 300.1 . 461.0 / 300.1 . 151.9 / 300.0
SRS_Standard/ICFP_2010/28643.xml . 449.1 / 300.0 YES 101.9 / 33.4 YES 405.2 / 136.9 . 770.3 / 300.1 . 605.4 / 300.1 . 299.8 / 300.0
SRS_Standard/ICFP_2010/28838.xml . 351.8 / 300.0 YES 141.0 / 38.6 YES 483.8 / 192.5 . 437.5 / 300.1 . 478.5 / 300.0 . 299.8 / 300.0
SRS_Standard/ICFP_2010/29415.xml . 295.6 / 300.0 . 133.5 / 64.4 . 641.3 / 300.0 . 816.3 / 300.0 YES 100.0 / 30.8 . 170.9 / 300.0
SRS_Standard/ICFP_2010/3268.xml YES 4.1 / 4.3 YES 5.8 / 2.1 YES 896.3 / 254.7 . 6.7 / 2.7 YES 107.0 / 32.2 . 264.9 / 300.0
SRS_Standard/ICFP_2010/3336.xml YES 7.1 / 9.2 YES 7.8 / 3.9 YES 337.0 / 167.6 . 7.4 / 2.7 YES 64.5 / 19.8 YES 3.6 / 3.7
SRS_Standard/ICFP_2010/3385.xml YES 4.4 / 4.4 YES 8.4 / 2.5 . 833.5 / 300.0 . 11.7 / 4.1 YES 163.0 / 75.3 . 166.0 / 300.1
SRS_Standard/ICFP_2010/3450.xml . 424.3 / 300.0 . 215.3 / 60.8 . 1009.5 / 300.0 . 524.1 / 300.1 . 457.0 / 300.1 . 283.1 / 300.0
SRS_Standard/ICFP_2010/3467.xml . 282.2 / 300.1 . 216.9 / 61.1 . 933.9 / 300.0 . 993.9 / 300.1 . 596.5 / 300.1 . 197.1 / 300.0
SRS_Standard/ICFP_2010/3498.xml . 421.3 / 300.0 . 142.9 / 61.2 . 701.6 / 300.0 . 790.9 / 300.1 . 625.4 / 300.0 . 152.8 / 300.0
SRS_Standard/ICFP_2010/3533.xml . 252.8 / 300.0 . 180.6 / 61.6 . 841.9 / 300.0 . 517.8 / 300.1 . 573.3 / 300.1 . 129.5 / 300.1
SRS_Standard/ICFP_2010/3562.xml . 340.7 / 300.0 . 238.4 / 61.0 . 827.1 / 300.0 . 647.9 / 300.1 . 538.0 / 300.1 . 301.4 / 300.0
SRS_Standard/ICFP_2010/3589.xml . 272.1 / 300.0 . 167.4 / 62.0 . 672.1 / 300.0 . 446.1 / 300.0 . 589.6 / 300.0 . 257.3 / 300.0
SRS_Standard/ICFP_2010/3633.xml . 279.8 / 300.0 . 200.2 / 60.9 . 610.2 / 300.0 . 981.4 / 300.1 . 572.1 / 300.0 . 300.0 / 300.0
SRS_Standard/ICFP_2010/3680.xml . 219.1 / 300.0 . 210.1 / 61.2 . 806.7 / 300.0 . 622.0 / 300.1 . 545.0 / 300.0 . 257.8 / 300.0
SRS_Standard/ICFP_2010/3705.xml . 392.2 / 300.0 . 178.5 / 62.0 . 867.2 / 300.0 . 528.8 / 300.0 . 527.4 / 300.0 . 228.6 / 300.1
SRS_Standard/ICFP_2010/3729.xml . 415.4 / 300.0 . 208.9 / 60.8 . 755.4 / 300.0 . 432.8 / 300.0 . 513.6 / 300.0 . 225.5 / 300.0
SRS_Standard/ICFP_2010/3746.xml YES 7.4 / 8.6 . 182.6 / 61.0 . 935.6 / 300.0 . 14.0 / 9.1 YES 50.9 / 15.0 . 271.5 / 300.1
SRS_Standard/ICFP_2010/3762.xml . 433.1 / 300.0 . 221.7 / 60.8 . 1028.3 / 300.0 . 555.2 / 300.1 . 589.4 / 300.1 . 170.8 / 300.1
SRS_Standard/ICFP_2010/3770.xml YES 36.8 / 43.7 YES 6.1 / 2.9 . 616.3 / 300.0 . 16.7 / 6.1 YES 208.9 / 64.9 . 238.6 / 300.1
SRS_Standard/ICFP_2010/3786.xml . 146.3 / 300.0 . 229.6 / 61.1 . 700.3 / 300.0 . 699.2 / 300.1 . 491.6 / 300.0 . 299.9 / 300.0
SRS_Standard/ICFP_2010/3817.xml . 300.4 / 300.0 . 194.2 / 60.9 . 932.9 / 300.0 . 614.3 / 300.1 . 652.0 / 300.1 . 288.4 / 300.1
SRS_Standard/ICFP_2010/3831.xml . 398.3 / 300.0 . 213.0 / 61.0 . 1022.1 / 300.0 . 477.1 / 300.1 . 577.0 / 300.1 . 300.0 / 300.0
SRS_Standard/ICFP_2010/3842.xml . 215.0 / 300.0 . 109.3 / 62.3 . 779.5 / 300.0 . 423.6 / 300.0 . 493.6 / 300.0 . 151.5 / 300.0
SRS_Standard/ICFP_2010/3856.xml . 273.9 / 300.0 . 192.0 / 60.9 . 904.5 / 300.1 . 815.5 / 300.1 . 579.4 / 300.0 . 299.9 / 300.0
SRS_Standard/ICFP_2010/3861.xml . 256.2 / 300.0 . 211.5 / 60.9 . 615.8 / 300.0 . 747.5 / 300.1 . 542.8 / 300.0 . 237.5 / 300.1
SRS_Standard/ICFP_2010/3865.xml . 395.1 / 300.0 . 221.0 / 60.9 . 713.8 / 300.0 . 732.4 / 300.1 . 643.1 / 300.0 . 164.6 / 300.1
SRS_Standard/ICFP_2010/3916.xml . 322.7 / 300.0 . 170.0 / 61.5 . 929.0 / 300.0 . 438.6 / 300.0 . 435.7 / 300.1 . 241.6 / 300.0
SRS_Standard/ICFP_2010/3927.xml . 419.0 / 300.0 . 142.5 / 72.9 . 614.1 / 300.0 . 900.7 / 300.0 . 832.6 / 300.0 . 234.7 / 300.0
SRS_Standard/ICFP_2010/3930.xml . 266.6 / 300.0 . 185.0 / 62.2 . 789.8 / 300.0 . 1008.5 / 300.1 . 555.5 / 300.1 . 300.3 / 300.0
SRS_Standard/ICFP_2010/3939.xml . 425.2 / 300.0 . 215.1 / 61.0 . 801.4 / 300.0 . 866.4 / 300.1 . 561.3 / 300.1 . 300.2 / 300.0
SRS_Standard/ICFP_2010/39830.xml . 346.2 / 300.0 . 69.1 / 62.4 . 755.9 / 300.0 . 570.3 / 300.0 . 475.3 / 300.1 . 230.9 / 300.1
SRS_Standard/ICFP_2010/39849.xml YES 43.1 / 51.9 . 227.7 / 60.4 . 1015.1 / 300.0 . 34.9 / 11.7 YES 151.5 / 50.3 . 250.9 / 300.0
SRS_Standard/ICFP_2010/3989.xml . 381.5 / 300.0 . 193.5 / 62.3 . 708.2 / 300.0 . 793.4 / 300.1 . 551.0 / 300.1 . 206.6 / 300.0
SRS_Standard/ICFP_2010/3995.xml . 247.8 / 300.0 . 173.0 / 61.6 . 676.5 / 300.0 . 682.6 / 300.1 . 490.4 / 300.0 . 245.0 / 300.0
SRS_Standard/ICFP_2010/4002.xml . 336.3 / 300.0 YES 5.8 / 2.5 . 1057.7 / 300.0 . 540.7 / 300.1 YES 92.1 / 34.1 . 243.1 / 300.0
SRS_Standard/ICFP_2010/40033.xml . 446.3 / 300.0 . 130.6 / 61.4 . 1094.8 / 300.0 . 835.1 / 300.0 . 529.8 / 300.0 . 193.0 / 300.0
SRS_Standard/ICFP_2010/40093.xml . 413.4 / 300.0 YES 3.1 / 1.1 YES 27.2 / 7.7 . 586.4 / 300.1 . 589.9 / 300.0 . 286.2 / 300.0
SRS_Standard/ICFP_2010/4017.xml . 363.7 / 300.0 . 206.3 / 61.3 . 1066.9 / 300.0 . 949.6 / 300.1 . 457.5 / 300.0 . 300.1 / 300.1
SRS_Standard/ICFP_2010/4029.xml . 335.3 / 300.0 . 204.6 / 61.4 . 756.2 / 300.0 . 1024.1 / 300.1 . 583.6 / 300.1 . 252.3 / 300.1
SRS_Standard/ICFP_2010/4036.xml . 386.9 / 300.1 . 212.6 / 60.7 . 916.6 / 300.0 . 827.9 / 300.1 . 526.3 / 300.1 . 232.5 / 300.0
SRS_Standard/ICFP_2010/4046.xml YES 6.5 / 12.4 YES 3.1 / 1.5 YES 96.3 / 27.3 . 9.4 / 3.5 YES 15.1 / 5.9 . 247.6 / 300.0
SRS_Standard/ICFP_2010/4051.xml . 339.2 / 300.1 . 170.4 / 62.2 . 616.2 / 300.1 . 952.8 / 300.1 . 569.0 / 300.1 . 299.9 / 300.0
SRS_Standard/ICFP_2010/40540.xml . 427.6 / 300.0 . 130.5 / 61.4 . 671.0 / 300.0 . 588.5 / 300.0 YES 88.6 / 26.7 . 249.9 / 300.0
SRS_Standard/ICFP_2010/4057.xml . 394.9 / 300.0 . 159.6 / 62.0 . 606.9 / 300.0 . 1020.2 / 300.1 . 604.0 / 300.1 . 122.5 / 300.1
SRS_Standard/ICFP_2010/40708.xml . 195.8 / 300.0 YES 3.4 / 1.3 YES 95.6 / 28.1 . 807.8 / 300.1 . 425.9 / 300.0 . 282.3 / 300.1
SRS_Standard/ICFP_2010/4074.xml . 320.3 / 300.0 . 209.4 / 60.9 . 945.2 / 300.0 . 885.5 / 300.1 . 611.8 / 300.1 . 255.2 / 300.1
SRS_Standard/ICFP_2010/40976.xml . 402.1 / 300.0 . 54.9 / 64.7 . 732.3 / 300.0 . 991.8 / 300.0 YES 106.7 / 32.1 . 210.5 / 300.1
SRS_Standard/ICFP_2010/4106.xml . 251.8 / 300.0 . 229.9 / 60.7 . 612.6 / 300.0 . 909.9 / 300.1 . 802.8 / 300.1 . 216.0 / 300.0
SRS_Standard/ICFP_2010/41378.xml . 445.9 / 300.0 . 139.3 / 117.3 . 600.5 / 300.0 . 761.9 / 300.0 . 532.8 / 300.0 . 206.3 / 300.0
SRS_Standard/ICFP_2010/4141.xml . 257.9 / 300.0 . 201.0 / 61.0 . 1054.5 / 300.0 . 878.3 / 300.1 . 767.2 / 300.1 . 141.9 / 300.1
SRS_Standard/ICFP_2010/41427.xml . 317.1 / 300.0 . 60.6 / 64.7 . 732.7 / 300.0 . 715.1 / 300.0 . 524.8 / 300.0 . 87.6 / 300.1
SRS_Standard/ICFP_2010/4157.xml . 171.4 / 300.0 . 191.8 / 61.2 . 937.1 / 300.0 . 745.3 / 300.1 . 489.0 / 300.1 . 270.4 / 300.0
SRS_Standard/ICFP_2010/41688.xml . 354.9 / 300.0 . 85.0 / 62.9 . 850.7 / 300.0 . 842.7 / 300.0 . 452.6 / 300.0 . 194.6 / 300.1
SRS_Standard/ICFP_2010/4181.xml YES 1.2 / 1.6 . 211.1 / 60.5 . 589.1 / 300.0 . 45.0 / 13.4 YES 14.2 / 5.5 . 319.8 / 300.0
SRS_Standard/ICFP_2010/41838.xml . 219.8 / 300.0 . 230.0 / 60.8 . 1042.2 / 300.0 . 808.6 / 300.1 . 719.5 / 300.0 . 200.7 / 300.0
SRS_Standard/ICFP_2010/41843.xml . 300.4 / 300.0 . 243.0 / 60.9 . 1040.8 / 300.0 . 501.6 / 300.1 . 593.7 / 300.1 . 184.4 / 300.0
SRS_Standard/ICFP_2010/41865.xml . 449.3 / 300.0 . 90.1 / 63.0 . 663.6 / 300.0 . 672.5 / 300.1 . 473.2 / 300.1 . 297.0 / 300.0
SRS_Standard/ICFP_2010/4200.xml . 395.0 / 300.0 . 193.5 / 61.6 . 901.4 / 300.0 . 920.0 / 300.1 . 517.6 / 300.0 . 297.5 / 300.0
SRS_Standard/ICFP_2010/4206.xml . 382.7 / 300.0 . 71.6 / 78.2 . 883.8 / 300.0 . 745.7 / 300.0 . 479.6 / 300.1 . 155.6 / 300.0
SRS_Standard/ICFP_2010/42170.xml . 212.5 / 300.0 . 125.7 / 61.7 . 945.0 / 300.0 . 859.4 / 300.1 . 575.8 / 300.1 . 257.9 / 300.0
SRS_Standard/ICFP_2010/42321.xml . 329.0 / 300.0 . 73.5 / 62.9 . 731.2 / 300.0 . 822.6 / 300.0 YES 68.4 / 21.1 . 191.4 / 300.1
SRS_Standard/ICFP_2010/42466.xml . 448.2 / 300.0 . 130.6 / 61.4 . 635.5 / 300.0 . 835.8 / 300.0 . 608.9 / 300.1 . 278.6 / 300.0
SRS_Standard/ICFP_2010/4248.xml YES 175.3 / 175.0 . 213.9 / 60.9 . 1010.4 / 300.0 . 48.2 / 15.1 . 555.2 / 300.0 . 188.8 / 300.0
SRS_Standard/ICFP_2010/42683.xml . 353.2 / 300.0 . 127.7 / 61.8 . 601.6 / 300.0 . 736.0 / 300.1 YES 69.0 / 34.7 . 300.9 / 300.0
SRS_Standard/ICFP_2010/4282.xml . 209.2 / 300.0 . 151.8 / 63.4 . 807.1 / 300.0 . 928.7 / 300.1 . 589.4 / 300.1 . 305.9 / 300.0
SRS_Standard/ICFP_2010/4314.xml YES 163.1 / 206.5 . 225.9 / 60.9 . 917.3 / 300.0 . 39.8 / 27.1 . 700.0 / 300.0 . 186.0 / 300.0
SRS_Standard/ICFP_2010/43266.xml . 252.3 / 300.0 . 90.6 / 61.5 . 743.9 / 300.0 . 937.5 / 300.0 . 490.9 / 300.1 . 299.2 / 300.0
SRS_Standard/ICFP_2010/43603.xml . 289.9 / 300.0 . 140.1 / 70.8 . 703.4 / 300.0 . 970.1 / 300.0 . 672.5 / 300.1 . 232.9 / 300.0
SRS_Standard/ICFP_2010/43621.xml . 448.8 / 300.0 . 100.1 / 62.4 . 789.3 / 300.0 . 1049.2 / 300.1 . 701.3 / 300.0 . 231.4 / 300.0
SRS_Standard/ICFP_2010/43650.xml . 369.6 / 300.0 . 140.4 / 71.1 . 929.7 / 300.0 . 924.1 / 300.0 . 705.9 / 300.0 . 254.3 / 300.0
SRS_Standard/ICFP_2010/4374.xml . 122.6 / 300.1 . 209.0 / 61.1 . 835.9 / 300.0 . 736.1 / 300.1 . 608.7 / 300.0 . 207.4 / 300.0
SRS_Standard/ICFP_2010/43987.xml . 439.9 / 300.0 . 130.9 / 61.4 . 868.4 / 300.0 . 1015.3 / 300.0 . 606.0 / 300.1 . 266.8 / 300.1
SRS_Standard/ICFP_2010/4412.xml . 252.2 / 300.1 . 174.8 / 63.3 . 1037.2 / 300.0 . 956.4 / 300.1 . 657.6 / 300.1 . 190.8 / 300.1
SRS_Standard/ICFP_2010/44332.xml . 437.0 / 300.0 . 89.0 / 62.1 . 935.9 / 300.0 . 720.5 / 300.0 YES 73.6 / 25.0 . 168.4 / 300.1
SRS_Standard/ICFP_2010/4484.xml . 436.8 / 300.0 . 164.3 / 61.7 . 662.6 / 300.0 . 414.7 / 300.1 . 659.0 / 300.0 . 299.8 / 300.1
SRS_Standard/ICFP_2010/4487.xml . 335.0 / 300.0 . 180.6 / 61.7 . 749.5 / 300.0 . 573.3 / 300.0 . 521.1 / 300.1 . 282.1 / 300.0
SRS_Standard/ICFP_2010/45720.xml . 270.8 / 261.5 . 225.1 / 61.1 . 1017.5 / 300.0 . 933.5 / 300.1 . 578.4 / 300.1 . 270.9 / 300.0
SRS_Standard/ICFP_2010/45757.xml . 246.6 / 300.0 . 212.2 / 61.6 . 1059.6 / 300.0 . 923.0 / 300.1 . 430.3 / 300.1 . 142.8 / 300.1
SRS_Standard/ICFP_2010/45970.xml . 248.4 / 300.0 . 117.1 / 62.5 . 987.9 / 300.0 . 760.0 / 300.1 . 585.9 / 300.1 . 301.3 / 300.0
SRS_Standard/ICFP_2010/4816.xml . 284.3 / 300.0 . 210.4 / 61.0 . 1059.0 / 300.0 . 531.7 / 300.1 . 595.9 / 300.0 . 298.8 / 300.0
SRS_Standard/ICFP_2010/4819.xml . 395.9 / 300.0 . 213.3 / 61.7 . 715.7 / 300.0 . 613.6 / 300.1 . 585.4 / 300.0 . 257.1 / 300.1
SRS_Standard/ICFP_2010/4824.xml YES 128.6 / 131.7 . 193.2 / 61.8 . 761.5 / 300.0 . 317.6 / 300.1 . 495.2 / 300.1 . 148.7 / 300.1
SRS_Standard/ICFP_2010/48262.xml . 299.7 / 300.0 . 214.9 / 60.2 . 693.7 / 300.0 . 977.0 / 300.1 . 474.9 / 300.0 . 249.8 / 300.0
SRS_Standard/ICFP_2010/48267.xml . 185.5 / 300.0 . 176.0 / 60.6 . 506.3 / 300.0 . 902.6 / 300.1 . 673.4 / 300.1 . 272.1 / 300.0
SRS_Standard/ICFP_2010/4827.xml . 296.8 / 300.0 . 220.8 / 61.0 . 828.7 / 300.0 . 926.6 / 300.1 . 575.0 / 300.1 . 167.1 / 300.0
SRS_Standard/ICFP_2010/48328.xml . 260.8 / 300.0 . 114.8 / 60.3 . 606.0 / 300.0 . 1038.0 / 300.1 . 590.0 / 300.0 . 299.7 / 300.1
SRS_Standard/ICFP_2010/48374.xml . 300.3 / 300.0 . 190.0 / 60.2 . 615.5 / 300.0 . 739.5 / 300.1 . 548.7 / 300.1 . 271.0 / 300.0
SRS_Standard/ICFP_2010/4840.xml YES 25.7 / 25.7 . 234.2 / 61.0 . 873.5 / 300.0 . 32.9 / 10.4 YES 677.1 / 296.1 . 276.0 / 300.0
SRS_Standard/ICFP_2010/4847.xml . 421.1 / 300.0 . 135.4 / 61.8 . 1055.7 / 300.0 . 905.5 / 300.1 . 534.3 / 300.0 . 194.9 / 300.0
SRS_Standard/ICFP_2010/4854.xml . 338.9 / 300.0 . 211.8 / 60.8 . 836.0 / 300.0 . 524.6 / 300.1 . 562.7 / 300.0 . 300.4 / 300.0
SRS_Standard/ICFP_2010/48686.xml . 278.1 / 300.0 . 69.3 / 67.2 . 585.9 / 300.0 . 639.1 / 300.0 . 495.9 / 300.0 . 177.0 / 300.0
SRS_Standard/ICFP_2010/4893.xml . 232.0 / 300.0 . 175.7 / 61.7 . 623.1 / 300.0 . 829.8 / 300.1 . 521.4 / 300.1 . 300.0 / 300.0
SRS_Standard/ICFP_2010/4920.xml . 369.2 / 300.0 . 188.9 / 61.3 . 998.8 / 300.0 . 560.4 / 300.1 . 490.3 / 300.1 . 176.3 / 300.0
SRS_Standard/ICFP_2010/4934.xml . 251.3 / 300.1 . 179.6 / 61.4 . 912.7 / 300.0 . 908.5 / 300.1 . 505.3 / 300.1 . 172.2 / 300.1
SRS_Standard/ICFP_2010/4938.xml . 296.8 / 300.1 . 47.9 / 60.2 . 1045.1 / 300.0 . 668.4 / 300.1 . 550.5 / 300.1 . 200.7 / 300.1
SRS_Standard/ICFP_2010/4943.xml . 438.0 / 300.0 . 227.2 / 61.0 . 681.2 / 300.0 . 704.2 / 300.1 . 663.2 / 300.1 . 140.4 / 300.1
SRS_Standard/ICFP_2010/4953.xml . 190.8 / 300.0 . 144.8 / 62.0 . 886.7 / 300.0 . 665.4 / 300.1 . 556.2 / 300.1 . 231.5 / 300.1
SRS_Standard/ICFP_2010/4964.xml . 238.8 / 300.1 . 215.5 / 60.9 . 879.9 / 300.0 . 655.0 / 300.1 . 572.5 / 300.0 . 294.8 / 300.0
SRS_Standard/ICFP_2010/4970.xml YES 217.1 / 202.8 YES 13.1 / 3.8 . 918.0 / 300.1 . 16.0 / 9.1 . 641.4 / 300.0 . 216.7 / 300.0
SRS_Standard/ICFP_2010/4979.xml . 370.8 / 300.0 . 233.9 / 60.8 . 947.2 / 300.0 . 432.6 / 300.1 . 617.1 / 300.0 . 134.2 / 300.0
SRS_Standard/ICFP_2010/4991.xml . 419.8 / 300.0 . 225.7 / 61.0 . 821.5 / 300.0 . 658.5 / 300.1 . 574.2 / 300.0 . 220.1 / 300.1
SRS_Standard/ICFP_2010/5011.xml . 264.6 / 300.0 YES 12.5 / 3.6 . 833.7 / 300.0 . 889.4 / 300.1 . 598.0 / 300.1 . 235.6 / 300.0
SRS_Standard/ICFP_2010/5076.xml . 348.1 / 300.0 . 192.3 / 61.1 . 888.2 / 300.0 . 73.8 / 36.8 . 592.2 / 300.1 . 296.4 / 300.0
SRS_Standard/ICFP_2010/50904.xml . 261.6 / 300.0 . 131.2 / 62.1 . 938.9 / 300.0 . 576.7 / 300.0 . 542.6 / 300.1 . 250.5 / 300.0
SRS_Standard/ICFP_2010/5109.xml . 262.9 / 300.0 . 217.4 / 61.0 . 952.3 / 300.0 . 1027.7 / 300.1 . 632.6 / 300.0 . 297.2 / 300.1
SRS_Standard/ICFP_2010/5130.xml . 310.4 / 300.0 . 218.8 / 60.9 . 626.4 / 300.0 . 666.7 / 300.1 . 457.2 / 300.1 . 249.4 / 300.0
SRS_Standard/ICFP_2010/51424.xml . 444.7 / 300.0 . 139.8 / 70.9 . 856.5 / 300.0 . 646.7 / 300.0 . 664.0 / 300.1 . 247.8 / 300.0
SRS_Standard/ICFP_2010/51577.xml . 362.1 / 300.0 . 140.1 / 70.9 . 938.0 / 300.0 . 995.3 / 300.0 . 535.0 / 300.0 . 301.0 / 300.0
SRS_Standard/ICFP_2010/51842.xml . 355.6 / 300.0 . 75.5 / 79.7 . 920.6 / 300.0 . 943.9 / 300.0 . 736.0 / 300.1 . 162.7 / 300.0
SRS_Standard/ICFP_2010/53216.xml . 445.7 / 300.0 . 98.6 / 77.5 . 922.0 / 300.0 . 699.3 / 300.0 . 598.3 / 300.0 . 168.2 / 300.0
SRS_Standard/ICFP_2010/54097.xml . 369.5 / 300.0 . 82.9 / 76.0 . 987.3 / 300.0 . 1015.6 / 300.1 . 564.4 / 300.0 . 297.9 / 300.0
SRS_Standard/ICFP_2010/54532.xml . 0.0 / 0.0 YES 21.3 / 18.1 YES 24.1 / 11.9 . 0.2 / 0.1 YES 11.3 / 14.1 . 0.0 / 0.0
SRS_Standard/ICFP_2010/54622.xml . 0.0 / 0.0 YES 21.4 / 21.8 YES 18.0 / 8.4 . 0.1 / 0.1 YES 8.8 / 6.0 . 0.0 / 0.0
SRS_Standard/ICFP_2010/56144.xml . 297.9 / 300.0 . 130.8 / 61.5 . 830.1 / 300.0 . 602.5 / 300.0 YES 81.2 / 23.6 . 301.1 / 300.0
SRS_Standard/ICFP_2010/57132.xml . 366.3 / 300.0 . 212.7 / 61.1 . 1034.6 / 300.0 . 804.0 / 300.1 . 530.9 / 300.1 . 175.8 / 300.1
SRS_Standard/ICFP_2010/57278.xml . 300.3 / 300.0 . 157.2 / 60.3 . 1028.5 / 300.0 . 495.2 / 300.1 . 503.6 / 300.2 . 301.4 / 300.1
SRS_Standard/ICFP_2010/57355.xml YES 66.4 / 67.8 . 225.8 / 60.1 . 958.7 / 300.1 . 917.2 / 300.1 . 739.4 / 300.0 . 184.1 / 300.0
SRS_Standard/ICFP_2010/57453.xml . 184.7 / 300.0 . 152.5 / 61.1 . 408.7 / 300.1 . 965.6 / 300.1 . 563.8 / 300.1 . 276.4 / 300.0
SRS_Standard/ICFP_2010/57799.xml YES 106.2 / 203.2 . 219.6 / 59.8 . 687.1 / 300.0 . 433.9 / 300.0 YES 169.0 / 49.3 YES 26.7 / 77.0
SRS_Standard/ICFP_2010/57852.xml . 449.2 / 300.0 . 133.5 / 64.6 . 603.2 / 300.0 . 1006.4 / 300.0 YES 107.7 / 34.1 . 151.7 / 300.0
SRS_Standard/ICFP_2010/58125.xml . 369.6 / 300.0 . 134.5 / 64.6 . 830.0 / 300.0 . 1053.2 / 300.0 . 534.4 / 300.1 . 177.7 / 300.0
SRS_Standard/ICFP_2010/58194.xml . 137.8 / 134.6 . 261.5 / 61.4 . 1060.1 / 300.0 . 681.4 / 300.1 . 529.6 / 300.0 . 271.1 / 300.0
SRS_Standard/ICFP_2010/58221.xml . 354.7 / 300.0 . 174.5 / 61.4 . 773.6 / 300.0 . 1026.7 / 300.1 . 576.8 / 300.0 . 244.5 / 300.0
SRS_Standard/ICFP_2010/58301.xml YES 39.8 / 51.1 . 171.0 / 61.1 . 785.0 / 300.0 . 89.2 / 29.3 YES 128.1 / 58.6 YES 30.5 / 31.1
SRS_Standard/ICFP_2010/63142.xml . 348.6 / 300.0 . 170.1 / 61.6 . 1030.0 / 300.0 . 651.3 / 300.1 YES 24.1 / 8.7 . 244.7 / 300.1
SRS_Standard/ICFP_2010/64160.xml . 441.6 / 300.0 YES 4.9 / 1.7 . 781.9 / 300.0 . 999.9 / 300.1 . 637.3 / 300.1 . 299.4 / 300.0
SRS_Standard/ICFP_2010/65081.xml YES 0.0 / 0.4 YES 10.4 / 3.1 . 614.9 / 300.0 . 1053.7 / 300.1 YES 13.3 / 5.0 . 300.4 / 300.0
SRS_Standard/ICFP_2010/68322.xml . 272.9 / 300.1 . 204.5 / 61.9 . 984.2 / 300.0 . 542.2 / 300.1 . 499.8 / 300.1 . 148.7 / 300.0
SRS_Standard/ICFP_2010/68535.xml . 244.7 / 300.0 . 235.1 / 61.0 . 740.8 / 300.0 . 73.7 / 27.3 YES 296.6 / 110.4 . 239.4 / 300.0
SRS_Standard/ICFP_2010/68989.xml YES 39.2 / 32.1 . 225.6 / 61.1 . 905.6 / 300.0 . 52.7 / 17.7 YES 25.1 / 15.3 . 186.1 / 300.0
SRS_Standard/ICFP_2010/81452.xml . 337.5 / 300.0 . 228.7 / 61.0 . 916.6 / 300.0 . 950.6 / 300.1 . 609.2 / 300.1 . 298.6 / 300.1
SRS_Standard/ICFP_2010/84886.xml . 377.7 / 300.0 . 275.7 / 60.8 . 651.7 / 300.0 . 631.7 / 300.1 . 625.4 / 300.1 . 191.2 / 300.0
SRS_Standard/ICFP_2010/84977.xml . 366.2 / 300.0 . 177.1 / 62.3 . 1040.8 / 300.0 . 901.6 / 300.1 . 537.1 / 300.0 . 252.6 / 300.0
SRS_Standard/ICFP_2010/85039.xml . 315.7 / 300.0 . 126.8 / 62.5 . 929.8 / 300.0 . 630.5 / 300.1 . 615.2 / 300.1 . 253.8 / 300.1
SRS_Standard/ICFP_2010/85079.xml . 344.2 / 300.0 . 125.3 / 62.8 . 711.9 / 300.0 . 502.3 / 300.1 YES 296.9 / 102.0 . 243.7 / 300.1
SRS_Standard/ICFP_2010/85267.xml . 250.6 / 300.0 . 217.0 / 61.2 . 956.0 / 300.1 . 897.4 / 300.1 . 634.0 / 300.0 . 194.2 / 300.1
SRS_Standard/ICFP_2010/85294.xml . 258.5 / 300.1 . 184.3 / 62.7 . 823.8 / 300.0 . 666.9 / 300.1 . 571.7 / 300.0 . 265.3 / 300.0
SRS_Standard/ICFP_2010/85345.xml . 213.5 / 300.0 . 150.2 / 61.8 . 821.9 / 300.0 . 962.9 / 300.1 . 542.6 / 300.1 . 300.3 / 300.0
SRS_Standard/ICFP_2010/85380.xml . 348.5 / 300.0 . 226.7 / 60.8 . 778.6 / 300.0 . 568.6 / 300.1 . 614.5 / 300.1 . 268.9 / 300.0
SRS_Standard/ICFP_2010/85477.xml . 225.8 / 300.0 . 186.8 / 62.1 . 720.3 / 300.0 . 897.4 / 300.1 YES 145.6 / 43.8 . 297.5 / 300.1
SRS_Standard/ICFP_2010/85590.xml . 324.2 / 300.0 . 209.0 / 61.3 . 765.8 / 300.0 . 958.4 / 300.1 . 649.9 / 300.1 . 175.9 / 300.1
SRS_Standard/ICFP_2010/85650.xml . 234.8 / 300.0 . 247.3 / 61.1 . 964.8 / 300.0 . 52.6 / 17.3 YES 93.0 / 26.4 . 262.7 / 300.1
SRS_Standard/ICFP_2010/85675.xml YES 1.1 / 1.0 . 225.1 / 60.9 . 761.1 / 300.0 . 53.1 / 15.3 YES 14.7 / 5.2 . 286.9 / 300.0
SRS_Standard/ICFP_2010/85721.xml . 303.7 / 300.0 . 174.2 / 62.4 . 776.7 / 300.0 . 1020.3 / 300.1 . 578.5 / 300.0 . 138.2 / 300.1
SRS_Standard/ICFP_2010/85749.xml YES 0.0 / 0.8 . 225.2 / 61.0 . 1039.3 / 300.0 . 1019.2 / 300.1 YES 12.2 / 7.5 . 300.2 / 300.0
SRS_Standard/ICFP_2010/85782.xml . 179.3 / 300.0 . 222.3 / 60.8 . 954.4 / 300.0 . 860.3 / 300.1 . 541.1 / 300.1 . 255.9 / 300.0
SRS_Standard/ICFP_2010/85834.xml YES 122.0 / 103.6 . 207.9 / 61.4 . 1015.9 / 300.0 . 611.6 / 300.1 YES 17.1 / 5.9 . 300.1 / 300.0
SRS_Standard/ICFP_2010/85874.xml . 322.9 / 300.0 . 288.7 / 61.4 . 903.7 / 300.0 . 509.8 / 300.1 . 710.2 / 300.1 . 285.3 / 300.0
SRS_Standard/ICFP_2010/85920.xml . 294.1 / 300.0 . 240.8 / 61.2 . 1079.1 / 300.0 . 942.4 / 300.1 . 558.8 / 300.0 . 238.0 / 300.0
SRS_Standard/ICFP_2010/86025.xml . 231.7 / 300.0 . 212.7 / 61.3 . 1057.8 / 300.0 . 670.0 / 300.1 . 500.9 / 300.1 . 298.9 / 300.0
SRS_Standard/ICFP_2010/86052.xml . 189.7 / 300.0 . 206.6 / 62.2 . 1054.7 / 300.0 . 924.3 / 300.2 . 505.1 / 300.0 . 190.0 / 300.1
SRS_Standard/ICFP_2010/86452.xml . 310.1 / 300.0 . 180.1 / 61.5 . 1024.4 / 300.0 . 939.3 / 300.1 . 481.3 / 300.1 . 241.8 / 300.0
SRS_Standard/ICFP_2010/86499.xml . 195.1 / 300.0 . 227.4 / 61.2 . 855.2 / 300.0 . 834.4 / 300.1 . 593.0 / 300.0 . 295.2 / 300.0
SRS_Standard/ICFP_2010/86526.xml . 349.9 / 300.0 . 172.8 / 61.5 . 1058.0 / 300.0 . 677.8 / 300.1 . 694.5 / 300.1 . 151.9 / 300.0
SRS_Standard/ICFP_2010/86559.xml YES 106.5 / 162.0 YES 2.8 / 1.6 . 594.8 / 300.0 . 48.8 / 16.0 YES 15.3 / 6.9 . 300.0 / 300.0
SRS_Standard/ICFP_2010/86577.xml . 163.7 / 300.1 . 183.1 / 61.4 . 988.8 / 300.1 . 841.1 / 300.1 . 642.0 / 300.1 . 299.5 / 300.0
SRS_Standard/ICFP_2010/86617.xml . 327.8 / 300.0 . 192.7 / 61.2 . 931.4 / 300.1 . 487.3 / 300.1 . 553.4 / 300.0 . 224.7 / 300.0
SRS_Standard/ICFP_2010/86636.xml . 267.0 / 300.0 . 223.8 / 61.9 . 1013.0 / 300.0 . 745.1 / 300.1 . 616.9 / 300.1 . 300.3 / 300.0
SRS_Standard/ICFP_2010/86745.xml YES 163.3 / 166.4 . 162.0 / 62.8 . 637.5 / 300.1 . 586.4 / 300.1 YES 21.8 / 7.7 . 249.0 / 300.0
SRS_Standard/ICFP_2010/86816.xml . 212.4 / 300.0 . 211.6 / 61.2 . 878.7 / 300.0 . 929.1 / 300.1 . 618.5 / 300.1 . 300.1 / 300.0
SRS_Standard/ICFP_2010/86857.xml . 354.9 / 300.0 . 181.0 / 61.6 . 662.9 / 300.0 . 723.1 / 300.1 . 765.3 / 300.0 . 271.7 / 300.0
SRS_Standard/ICFP_2010/88143.xml . 312.5 / 300.0 . 72.5 / 61.6 . 1002.3 / 300.0 . 990.3 / 300.1 YES 54.3 / 28.3 . 259.2 / 300.1
SRS_Standard/ICFP_2010/88156.xml . 310.0 / 300.0 . 174.8 / 60.2 . 1011.5 / 300.0 . 1017.4 / 300.1 YES 59.5 / 19.4 . 143.5 / 300.0
SRS_Standard/ICFP_2010/88172.xml . 229.9 / 300.0 . 140.6 / 60.5 . 638.6 / 300.0 . 614.3 / 300.1 . 630.5 / 300.0 . 292.7 / 300.1
SRS_Standard/ICFP_2010/88183.xml . 235.9 / 300.0 . 179.0 / 60.2 . 703.7 / 300.0 . 671.3 / 300.1 . 519.1 / 300.0 . 186.6 / 300.1
SRS_Standard/ICFP_2010/88208.xml . 307.9 / 300.0 . 77.6 / 60.3 . 837.5 / 300.0 . 907.4 / 300.1 YES 37.1 / 21.9 . 238.9 / 300.0
SRS_Standard/ICFP_2010/88283.xml . 274.9 / 300.0 . 147.7 / 60.9 . 732.8 / 300.0 . 598.0 / 300.1 . 626.0 / 300.1 . 173.7 / 300.1
SRS_Standard/ICFP_2010/91210.xml . 334.1 / 300.0 . 126.2 / 61.1 . 611.7 / 300.0 . 727.0 / 300.1 YES 50.1 / 20.4 . 299.7 / 300.0
SRS_Standard/ICFP_2010/91218.xml . 265.8 / 300.0 . 124.5 / 60.7 . 961.7 / 300.0 . 789.3 / 300.1 . 619.7 / 300.1 . 288.9 / 300.1
SRS_Standard/ICFP_2010/91233.xml . 440.5 / 300.0 . 126.2 / 60.7 . 638.6 / 300.0 . 983.2 / 300.1 YES 54.3 / 28.6 . 174.5 / 300.1
SRS_Standard/ICFP_2010/91242.xml . 275.6 / 300.0 . 104.9 / 60.7 . 712.3 / 300.0 . 490.2 / 300.1 . 478.5 / 300.1 . 184.6 / 300.1
SRS_Standard/ICFP_2010/91254.xml . 307.6 / 300.0 . 129.3 / 60.7 . 935.0 / 300.0 . 573.6 / 300.1 . 597.1 / 300.0 . 140.4 / 300.0
SRS_Standard/ICFP_2010/95858.xml . 344.5 / 300.0 . 225.4 / 61.1 . 694.5 / 300.0 . 680.5 / 300.1 . 628.2 / 300.1 . 300.2 / 300.0
SRS_Standard/ICFP_2010/95899.xml . 344.0 / 300.0 . 182.8 / 61.1 . 800.9 / 300.0 . 627.6 / 300.1 . 567.6 / 300.0 . 240.7 / 300.0
SRS_Standard/ICFP_2010/95952.xml . 333.6 / 300.0 . 163.0 / 62.6 . 1056.5 / 300.0 . 987.3 / 300.1 . 663.3 / 300.0 . 265.4 / 300.0
SRS_Standard/ICFP_2010/95978.xml . 346.7 / 300.1 . 218.8 / 61.6 . 868.5 / 300.0 . 916.6 / 300.1 . 541.1 / 300.0 . 165.0 / 300.0
SRS_Standard/ICFP_2010/96029.xml . 281.3 / 300.1 . 191.7 / 61.9 . 596.3 / 300.0 . 745.3 / 300.1 . 568.2 / 300.1 . 200.6 / 300.1
SRS_Standard/ICFP_2010/96065.xml . 352.6 / 300.0 . 226.3 / 61.2 . 656.8 / 300.0 . 626.1 / 300.1 . 557.2 / 300.0 . 205.1 / 300.0
SRS_Standard/ICFP_2010/96086.xml YES 0.0 / 0.2 YES 2.0 / 0.9 . 591.3 / 300.0 . 14.8 / 9.1 YES 14.0 / 5.1 YES 181.8 / 183.9
SRS_Standard/ICFP_2010/96104.xml . 358.6 / 300.0 . 216.2 / 61.6 . 622.0 / 300.0 . 534.0 / 300.1 . 510.7 / 300.0 . 300.1 / 300.1
SRS_Standard/ICFP_2010/96119.xml . 345.7 / 300.0 . 227.6 / 61.2 . 1065.5 / 300.0 . 600.8 / 300.1 . 571.9 / 300.0 . 152.6 / 300.1
SRS_Standard/ICFP_2010/96156.xml . 342.7 / 300.0 . 230.8 / 60.9 . 1020.0 / 300.0 . 698.1 / 300.1 . 599.6 / 300.1 . 269.3 / 300.0
SRS_Standard/ICFP_2010/96176.xml YES 265.4 / 255.8 . 234.0 / 60.9 . 915.9 / 300.0 . 669.6 / 300.1 . 782.7 / 300.1 . 275.9 / 300.1
SRS_Standard/ICFP_2010/96198.xml . 201.1 / 300.0 . 227.8 / 61.0 . 1052.4 / 300.0 . 848.8 / 300.1 . 613.6 / 300.0 . 299.8 / 300.1
SRS_Standard/ICFP_2010/96224.xml YES 4.9 / 8.5 YES 2.2 / 2.3 . 998.9 / 300.0 . 47.7 / 15.0 YES 13.0 / 12.6 . 137.4 / 300.0
SRS_Standard/ICFP_2010/96239.xml . 259.4 / 300.0 . 229.4 / 60.9 . 1056.0 / 300.0 . 566.5 / 300.1 . 651.9 / 300.0 . 297.9 / 300.1
SRS_Standard/ICFP_2010/96256.xml . 335.8 / 300.0 . 177.0 / 62.3 . 814.4 / 300.0 . 673.5 / 300.1 . 615.6 / 300.0 . 218.2 / 300.1
SRS_Standard/ICFP_2010/96274.xml YES 0.0 / 0.2 . 325.4 / 61.0 . 1020.3 / 300.0 . 39.0 / 11.9 YES 13.9 / 9.5 . 195.1 / 300.0
SRS_Standard/ICFP_2010/96289.xml . 205.2 / 300.1 . 192.5 / 61.7 . 506.9 / 300.0 . 639.0 / 300.1 . 530.3 / 300.1 . 280.9 / 300.0
SRS_Standard/ICFP_2010/96302.xml . 310.8 / 300.0 . 227.3 / 60.9 . 641.1 / 300.0 . 1009.6 / 300.1 . 537.8 / 300.0 . 260.2 / 300.0
SRS_Standard/ICFP_2010/96334.xml . 251.7 / 300.1 . 227.8 / 61.5 . 756.3 / 300.0 . 907.2 / 300.1 . 571.1 / 300.0 . 294.6 / 300.0
SRS_Standard/ICFP_2010/96370.xml . 251.6 / 300.0 . 326.7 / 61.0 . 1043.8 / 300.0 . 53.7 / 16.7 YES 90.7 / 42.1 . 300.3 / 300.0
SRS_Standard/ICFP_2010/96403.xml . 237.4 / 300.0 . 135.2 / 61.4 . 1041.5 / 300.0 . 901.7 / 300.1 . 600.0 / 300.1 . 253.7 / 300.0
SRS_Standard/ICFP_2010/96417.xml . 318.9 / 300.0 . 187.7 / 61.9 . 1042.6 / 300.0 . 669.4 / 300.1 . 525.5 / 300.0 . 203.3 / 300.0
SRS_Standard/ICFP_2010/96438.xml . 331.0 / 300.0 . 248.9 / 60.8 . 814.1 / 300.0 . 950.6 / 300.1 YES 339.5 / 107.6 . 259.9 / 300.1
SRS_Standard/ICFP_2010/96464.xml YES 124.0 / 118.1 . 227.4 / 61.2 . 769.3 / 300.0 . 49.5 / 15.5 YES 139.8 / 47.0 . 301.4 / 300.0
SRS_Standard/ICFP_2010/96485.xml YES 0.0 / 0.0 . 212.0 / 62.2 . 617.9 / 300.0 . 794.2 / 300.1 YES 10.8 / 5.3 . 236.4 / 300.0
SRS_Standard/ICFP_2010/96523.xml . 319.6 / 300.0 YES 13.4 / 4.0 . 1027.2 / 300.0 . 579.5 / 300.1 . 577.6 / 300.1 . 298.1 / 300.0
SRS_Standard/ICFP_2010/96563.xml YES 149.1 / 133.8 . 187.0 / 61.2 . 616.6 / 300.0 . 52.1 / 17.6 YES 22.4 / 6.9 . 301.0 / 300.1
SRS_Standard/ICFP_2010/96612.xml . 253.1 / 300.0 . 226.3 / 61.0 . 1059.8 / 300.0 . 797.5 / 300.1 . 609.7 / 300.0 . 199.8 / 300.0
SRS_Standard/ICFP_2010/96642.xml . 306.5 / 300.0 . 222.6 / 60.9 . 1004.0 / 300.0 . 56.2 / 22.4 YES 122.1 / 37.0 . 283.6 / 300.0
SRS_Standard/ICFP_2010/96673.xml . 345.9 / 300.0 . 187.7 / 61.8 . 984.8 / 300.0 . 947.6 / 300.1 . 605.9 / 300.0 . 300.2 / 300.0
SRS_Standard/ICFP_2010/97885.xml . 444.0 / 300.0 . 72.8 / 68.0 . 673.6 / 300.0 . 596.7 / 300.1 . 433.4 / 300.0 . 104.6 / 300.1
SRS_Standard/ICFP_2010/97888.xml . 319.5 / 300.0 . 82.0 / 65.0 . 595.8 / 300.0 . 743.1 / 300.1 . 653.2 / 300.1 . 227.2 / 300.1
SRS_Standard/ICFP_2010/97901.xml . 450.7 / 300.0 . 129.7 / 60.9 . 662.2 / 300.0 . 1035.3 / 300.1 . 567.9 / 300.0 . 301.0 / 300.0
SRS_Standard/ICFP_2010/97917.xml . 289.9 / 300.0 . 131.7 / 62.6 . 702.4 / 300.0 . 952.5 / 300.0 . 507.8 / 300.1 . 274.6 / 300.1
SRS_Standard/ICFP_2010/97929.xml . 447.9 / 300.0 . 70.2 / 63.6 . 980.1 / 300.0 . 1061.2 / 300.0 . 796.5 / 300.1 . 291.2 / 300.0
SRS_Standard/ICFP_2010/98362.xml . 278.8 / 300.0 . 217.0 / 61.2 . 634.3 / 300.0 . 77.4 / 31.8 YES 150.0 / 59.2 . 299.3 / 300.1
SRS_Standard/ICFP_2010/98623.xml . 347.8 / 300.0 . 69.3 / 63.6 . 525.5 / 300.0 . 775.4 / 300.1 YES 74.6 / 33.7 . 192.6 / 300.0
SRS_Standard/Mixed_SRS/01-oppelt08.xml . 0.7 / 1.4 . 184.7 / 60.2 . 707.6 / 300.1 NO 28.0 / 25.7 NO 40.0 / 53.9 . 299.4 / 300.0
SRS_Standard/Mixed_SRS/01.xml . 0.0 / 0.6 . 164.0 / 62.5 . 1063.0 / 300.0 . 607.6 / 300.1 YES 46.5 / 15.9 . 216.0 / 300.1
SRS_Standard/Mixed_SRS/02-oppelt08.xml . 0.0 / 0.2 . 221.7 / 59.8 . 882.8 / 300.1 NO 8.8 / 9.7 NO 81.9 / 38.6 . 273.1 / 300.0
SRS_Standard/Mixed_SRS/02.xml . 0.0 / 0.5 . 208.9 / 60.1 . 724.4 / 300.1 . 925.2 / 300.1 YES 36.3 / 19.2 . 214.5 / 300.0
SRS_Standard/Mixed_SRS/03-oppelt08.xml . 0.0 / 0.2 . 193.6 / 59.9 . 1044.4 / 300.0 NO 7.2 / 5.7 NO 95.0 / 28.1 . 0.4 / 0.5
SRS_Standard/Mixed_SRS/03.xml . 0.0 / 0.7 . 162.0 / 60.6 . 826.9 / 300.1 . 492.2 / 300.1 YES 54.3 / 32.1 YES 3.6 / 10.1
SRS_Standard/Mixed_SRS/04-oppelt08.xml . 0.0 / 0.7 . 223.1 / 59.7 . 1055.1 / 300.0 NO 6.8 / 4.2 NO 41.8 / 32.7 . 299.5 / 300.0
SRS_Standard/Mixed_SRS/04.xml . 0.0 / 0.4 YES 85.8 / 26.5 . 688.2 / 300.0 . 605.1 / 300.1 YES 83.9 / 51.9 . 299.4 / 300.0
SRS_Standard/Mixed_SRS/05-oppelt08.xml . 0.2 / 1.8 . 225.0 / 60.0 . 816.1 / 300.1 NO 12.5 / 25.9 NO 26.7 / 16.4 . 236.6 / 300.1
SRS_Standard/Mixed_SRS/05.xml . 0.0 / 0.6 . 177.7 / 61.3 . 907.8 / 300.1 . 956.6 / 300.1 YES 47.8 / 35.2 . 155.0 / 300.1
SRS_Standard/Mixed_SRS/06-oppelt08.xml . 0.0 / 0.1 . 204.8 / 59.6 . 796.9 / 300.1 NO 10.8 / 17.8 NO 3.7 / 1.9 . 138.7 / 300.1
SRS_Standard/Mixed_SRS/06.xml . 0.0 / 0.2 YES 34.2 / 9.2 YES 201.2 / 70.8 . 948.9 / 300.1 YES 53.8 / 53.9 . 299.9 / 300.0
SRS_Standard/Mixed_SRS/07-oppelt08.xml . 0.0 / 0.2 . 236.5 / 59.9 . 809.8 / 300.1 NO 22.8 / 27.1 NO 7.1 / 3.7 . 130.8 / 300.0
SRS_Standard/Mixed_SRS/07.xml . 0.0 / 0.4 YES 35.0 / 9.5 YES 765.3 / 300.1 . 595.4 / 300.1 YES 39.5 / 32.7 . 2.7 / 3.1
SRS_Standard/Mixed_SRS/08-oppelt08.xml . 0.5 / 1.6 . 268.7 / 60.9 . 589.9 / 300.0 NO 16.3 / 27.2 NO 18.9 / 6.2 . 130.7 / 300.1
SRS_Standard/Mixed_SRS/08.xml . 0.0 / 0.4 . 216.7 / 59.6 . 717.4 / 300.1 . 654.7 / 300.1 YES 230.1 / 125.0 . 202.5 / 300.1
SRS_Standard/Mixed_SRS/09.xml . 0.0 / 0.2 YES 21.8 / 6.8 YES 26.6 / 12.4 . 949.0 / 300.1 YES 31.2 / 15.4 . 171.2 / 300.0
SRS_Standard/Mixed_SRS/1.xml . 0.0 / 0.1 NO 1.3 / 1.6 . 598.6 / 300.1 NO 6.2 / 6.6 NO 11.1 / 11.5 . 158.6 / 300.1
SRS_Standard/Mixed_SRS/2.xml . 0.0 / 0.2 YES 110.7 / 30.3 . 606.5 / 300.0 . 424.8 / 300.1 YES 40.2 / 16.1 . 212.3 / 300.0
SRS_Standard/Mixed_SRS/3.xml YES 0.0 / 0.1 YES 2.6 / 1.6 YES 4.8 / 4.4 . 2.0 / 0.9 YES 3.0 / 1.8 YES 0.0 / 0.1
SRS_Standard/Mixed_SRS/4.xml . 1.6 / 1.6 . 183.6 / 60.9 . 865.7 / 300.1 . 763.3 / 300.1 . 416.0 / 300.0 . 185.3 / 300.0
SRS_Standard/Mixed_SRS/s6.xml YES 0.0 / 0.1 YES 20.7 / 6.0 YES 127.4 / 37.3 . 10.1 / 16.5 YES 19.9 / 7.3 YES 0.0 / 0.0
SRS_Standard/Mixed_SRS/touzet.xml . 0.0 / 0.1 YES 1.3 / 2.9 YES 110.1 / 29.9 . 705.6 / 300.1 YES 21.3 / 7.9 . 285.9 / 300.0
SRS_Standard/Mixed_SRS/turing_add.xml YES 0.0 / 0.1 YES 1.5 / 1.9 YES 43.5 / 13.9 . 2.4 / 1.1 YES 17.7 / 6.6 YES 0.1 / 0.1
SRS_Standard/Mixed_SRS/turing_copy.xml . 5.7 / 10.9 NO 0.3 / 0.9 . 722.3 / 300.1 NO 31.6 / 49.8 NO 2.3 / 1.5 NO 0.0 / 0.0
SRS_Standard/Mixed_SRS/turing_mult.xml . 8.4 / 20.0 NO 0.6 / 0.4 . 868.3 / 300.1 NO 67.4 / 43.8 NO 3.1 / 4.7 . 296.2 / 300.0
SRS_Standard/Secret_05_SRS/aprove1.xml . 0.0 / 0.6 YES 41.8 / 12.3 . 1043.7 / 300.0 . 939.7 / 300.1 YES 47.5 / 33.9 . 113.1 / 300.1
SRS_Standard/Secret_05_SRS/aprove2.xml . 0.0 / 0.8 YES 11.6 / 4.9 YES 189.9 / 55.3 . 435.7 / 300.1 YES 39.5 / 14.0 . 281.6 / 300.0
SRS_Standard/Secret_05_SRS/aprove3.xml . 0.0 / 0.2 YES 62.8 / 16.5 . 619.4 / 300.1 . 371.9 / 300.1 YES 40.6 / 22.5 . 140.7 / 300.1
SRS_Standard/Secret_05_SRS/aprove4.xml . 0.4 / 1.2 YES 61.0 / 20.0 . 720.4 / 300.1 . 952.6 / 300.1 YES 62.5 / 42.6 . 298.3 / 300.0
SRS_Standard/Secret_05_SRS/aprove5.xml . 0.5 / 3.6 YES 38.7 / 17.5 YES 286.0 / 143.7 . 781.7 / 300.1 YES 57.3 / 28.6 YES 31.1 / 75.7
SRS_Standard/Secret_05_SRS/jambox1.xml . 0.0 / 0.9 . 165.0 / 60.8 . 951.2 / 300.0 . 439.5 / 300.1 YES 57.5 / 39.0 . 245.9 / 300.0
SRS_Standard/Secret_05_SRS/jambox2.xml . 0.0 / 0.7 . 178.6 / 60.6 . 581.1 / 300.1 . 591.5 / 300.1 . 1082.5 / 300.3 . 146.2 / 300.1
SRS_Standard/Secret_05_SRS/jambox3.xml . 0.0 / 0.8 . 193.1 / 60.8 . 493.1 / 300.0 . 968.3 / 300.1 YES 130.0 / 62.0 . 236.1 / 300.0
SRS_Standard/Secret_05_SRS/jambox4.xml . 0.0 / 0.2 YES 4.4 / 2.9 YES 437.0 / 124.6 . 958.0 / 300.1 YES 3.7 / 4.8 . 225.5 / 300.0
SRS_Standard/Secret_05_SRS/jambox5.xml . 0.0 / 0.6 YES 10.8 / 3.2 . 1048.1 / 300.1 . 628.8 / 300.1 YES 85.0 / 49.8 . 299.5 / 300.0
SRS_Standard/Secret_05_SRS/matchbox1.xml YES 1.1 / 1.1 YES 10.2 / 3.1 YES 78.7 / 32.3 . 4.0 / 2.5 YES 37.6 / 18.3 YES 11.3 / 44.6
SRS_Standard/Secret_05_SRS/matchbox2.xml YES 0.1 / 0.9 YES 5.6 / 1.8 YES 62.0 / 22.4 . 3.1 / 5.6 YES 2.9 / 2.4 YES 3.4 / 6.9
SRS_Standard/Secret_05_SRS/torpa1.xml . 0.0 / 0.3 YES 3.4 / 1.2 YES 6.2 / 3.8 . 2.7 / 1.3 YES 3.3 / 2.2 YES 1.7 / 1.9
SRS_Standard/Secret_05_SRS/torpa2.xml . 0.0 / 0.1 YES 66.6 / 18.1 . 627.9 / 300.0 . 391.6 / 300.1 YES 41.8 / 14.6 . 142.7 / 300.1
SRS_Standard/Secret_05_SRS/torpa3.xml YES 0.0 / 0.5 YES 9.0 / 2.7 YES 5.9 / 1.8 . 2.1 / 2.5 YES 20.9 / 7.7 YES 3.3 / 28.5
SRS_Standard/Secret_05_SRS/torpa4.xml YES 0.0 / 1.0 YES 14.9 / 8.3 . 956.4 / 300.0 . 4.7 / 6.3 YES 22.1 / 8.0 . 236.5 / 300.0
SRS_Standard/Secret_06_SRS/1-matchbox.xml . 0.1 / 0.3 . 179.0 / 60.2 . 776.2 / 300.0 . 930.7 / 300.1 NO 387.0 / 98.6 . 233.9 / 300.1
SRS_Standard/Secret_06_SRS/1.xml . 0.0 / 0.3 . 191.5 / 60.5 . 788.6 / 300.1 . 553.3 / 300.1 . 956.9 / 300.0 . 139.3 / 300.0
SRS_Standard/Secret_06_SRS/10.xml . 0.0 / 0.2 YES 16.2 / 8.1 YES 135.0 / 62.3 . 659.3 / 300.1 YES 32.4 / 9.4 . 104.6 / 300.0
SRS_Standard/Secret_06_SRS/2-matchbox.xml YES 1.1 / 1.2 . 189.8 / 60.3 YES 89.0 / 26.5 . 536.5 / 300.1 YES 355.5 / 142.6 . 166.3 / 300.0
SRS_Standard/Secret_06_SRS/2.xml . 0.0 / 0.6 YES 102.2 / 27.0 . 942.6 / 300.1 . 597.3 / 300.1 YES 61.5 / 20.3 . 268.5 / 300.0
SRS_Standard/Secret_06_SRS/3-matchbox.xml YES 1.2 / 1.7 YES 12.5 / 8.0 YES 57.2 / 17.7 . 3.5 / 1.6 YES 97.2 / 31.3 YES 40.4 / 41.3
SRS_Standard/Secret_06_SRS/3.xml . 0.0 / 0.5 YES 7.9 / 4.5 . 800.5 / 300.1 . 946.0 / 300.1 YES 399.2 / 175.4 . 153.0 / 300.0
SRS_Standard/Secret_06_SRS/5-matchbox.xml . 0.0 / 0.3 YES 5.9 / 3.2 YES 15.8 / 5.0 . 563.0 / 300.1 YES 30.5 / 21.9 . 293.7 / 300.0
SRS_Standard/Secret_06_SRS/5.xml . 0.0 / 0.3 . 171.7 / 60.7 YES 216.6 / 65.4 . 907.5 / 300.1 YES 98.6 / 45.7 . 260.0 / 300.0
SRS_Standard/Secret_06_SRS/6.xml . 0.9 / 2.0 YES 19.3 / 12.3 YES 12.1 / 3.8 . 624.9 / 300.1 YES 33.1 / 18.8 . 253.4 / 300.1
SRS_Standard/Secret_06_SRS/7.xml . 0.0 / 0.2 YES 23.2 / 6.1 YES 32.2 / 9.6 . 497.0 / 300.1 YES 34.0 / 10.5 . 138.7 / 300.1
SRS_Standard/Secret_06_SRS/8.xml . 0.5 / 1.1 YES 8.6 / 2.7 YES 75.2 / 22.3 . 2.7 / 1.3 YES 71.3 / 35.3 YES 14.3 / 19.3
SRS_Standard/Secret_06_SRS/9.xml . 0.0 / 0.6 YES 45.3 / 12.5 YES 30.5 / 15.2 . 689.0 / 300.1 YES 25.9 / 14.8 . 168.1 / 300.0
SRS_Standard/Secret_06_SRS/aprove00.xml YES 0.5 / 1.1 YES 4.6 / 1.8 YES 29.1 / 15.0 . 830.0 / 300.1 YES 28.2 / 10.7 YES 0.1 / 0.1
SRS_Standard/Secret_06_SRS/aprove01.xml . 0.8 / 2.3 YES 9.2 / 2.7 YES 909.5 / 263.3 . 554.7 / 300.0 YES 53.8 / 19.1 . 299.7 / 300.0
SRS_Standard/Secret_06_SRS/aprove02.xml . 21.6 / 36.8 YES 7.0 / 4.7 . 820.4 / 300.1 . 1000.4 / 300.1 YES 20.9 / 7.7 . 163.4 / 300.0
SRS_Standard/Secret_06_SRS/aprove03.xml . 339.2 / 256.6 YES 20.0 / 8.7 . 600.7 / 300.1 . 567.2 / 300.0 YES 21.7 / 20.5 . 300.1 / 300.0
SRS_Standard/Secret_06_SRS/aprove04.xml . 440.7 / 300.0 YES 23.9 / 6.9 . 790.7 / 300.0 . 972.5 / 300.1 YES 49.8 / 18.2 . 149.4 / 300.0
SRS_Standard/Secret_06_SRS/aprove05.xml . 448.0 / 300.0 YES 21.3 / 9.9 . 905.5 / 300.1 . 784.1 / 300.1 YES 35.0 / 12.7 . 299.7 / 300.1
SRS_Standard/Secret_06_SRS/aprove06.xml . 439.3 / 300.0 YES 23.5 / 12.7 . 711.7 / 300.0 . 922.9 / 300.1 YES 44.6 / 15.3 YES 0.2 / 0.2
SRS_Standard/Secret_06_SRS/aprove07.xml . 429.9 / 300.0 YES 7.3 / 3.1 . 996.6 / 300.1 . 539.6 / 300.1 YES 35.7 / 32.2 . 197.1 / 300.1
SRS_Standard/Secret_06_SRS/aprove08.xml . 3.4 / 2.9 YES 4.0 / 1.2 . 750.0 / 300.1 . 445.8 / 300.1 YES 23.2 / 19.4 YES 0.8 / 0.8
SRS_Standard/Secret_06_SRS/aprove09.xml . 0.1 / 0.7 YES 2.2 / 1.8 YES 452.2 / 159.7 . 695.8 / 300.1 YES 21.9 / 6.6 YES 0.1 / 0.4
SRS_Standard/Secret_06_SRS/multum1.xml . 0.0 / 0.4 YES 79.4 / 26.6 YES 13.1 / 4.2 . 695.8 / 300.1 YES 179.6 / 51.4 YES 0.4 / 1.7
SRS_Standard/Secret_06_SRS/multum2.xml . 0.0 / 1.0 YES 7.2 / 3.9 YES 233.5 / 87.3 . 578.5 / 300.1 YES 103.7 / 33.0 . 293.3 / 300.0
SRS_Standard/Secret_06_SRS/multum3.xml . 0.0 / 0.2 YES 45.0 / 14.9 YES 67.8 / 22.7 . 807.1 / 300.1 YES 32.7 / 21.0 . 236.6 / 300.0
SRS_Standard/Secret_06_SRS/multum4.xml . 25.4 / 47.5 YES 1.0 / 0.5 YES 73.5 / 23.3 . 611.1 / 300.1 YES 2.9 / 3.1 . 248.2 / 300.0
SRS_Standard/Secret_06_SRS/multum5.xml . 0.0 / 0.3 YES 6.2 / 1.8 YES 77.7 / 33.2 . 707.2 / 300.1 YES 45.5 / 21.6 . 167.1 / 300.1
SRS_Standard/Secret_06_SRS/multum6.xml . 1.0 / 3.8 YES 33.0 / 13.4 YES 39.0 / 20.0 . 572.4 / 300.1 YES 54.8 / 17.4 . 204.7 / 300.1
SRS_Standard/Secret_06_SRS/secr1.xml . 0.0 / 0.1 YES 1.2 / 1.3 YES 185.6 / 146.7 . 475.1 / 300.1 YES 33.7 / 12.4 . 192.2 / 300.0
SRS_Standard/Secret_06_SRS/secr10.xml . 0.0 / 0.5 YES 32.0 / 13.4 YES 104.8 / 54.1 . 722.4 / 300.1 YES 46.8 / 16.5 . 219.3 / 300.0
SRS_Standard/Secret_06_SRS/secr2.xml . 0.0 / 0.1 YES 2.5 / 5.8 YES 455.6 / 214.6 . 436.6 / 300.1 YES 28.7 / 25.8 . 289.0 / 300.0
SRS_Standard/Secret_06_SRS/secr3.xml . 0.0 / 0.7 YES 78.2 / 21.0 . 674.4 / 300.1 . 598.8 / 300.1 YES 23.8 / 14.6 . 257.2 / 300.0
SRS_Standard/Secret_06_SRS/secr4.xml YES 0.0 / 0.5 YES 31.2 / 11.4 . 923.5 / 300.0 . 907.3 / 300.1 YES 69.9 / 27.4 . 126.6 / 300.0
SRS_Standard/Secret_06_SRS/secr5.xml . 0.0 / 0.4 . 191.9 / 60.4 . 924.8 / 300.0 . 723.5 / 300.1 YES 249.2 / 123.5 . 295.7 / 300.0
SRS_Standard/Secret_06_SRS/secr6.xml . 0.1 / 0.8 YES 28.3 / 12.6 YES 376.6 / 113.1 . 640.5 / 300.1 YES 63.4 / 20.9 . 204.9 / 300.0
SRS_Standard/Secret_06_SRS/secr7.xml . 0.0 / 0.1 YES 22.2 / 9.3 YES 128.8 / 73.6 . 431.3 / 300.1 YES 41.1 / 22.6 . 252.2 / 300.0
SRS_Standard/Secret_06_SRS/secr8.xml . 0.0 / 0.3 YES 40.3 / 11.2 YES 26.1 / 8.4 . 461.3 / 300.2 YES 56.7 / 41.0 . 180.3 / 300.1
SRS_Standard/Secret_06_SRS/secr9.xml . 0.0 / 0.9 YES 51.4 / 18.9 YES 114.9 / 34.3 . 950.8 / 300.1 YES 63.3 / 21.7 . 236.1 / 300.0
SRS_Standard/Secret_07_SRS/dj.xml YES 0.0 / 0.1 YES 0.7 / 0.6 YES 6.5 / 3.1 . 2.1 / 0.9 YES 21.0 / 11.5 YES 0.0 / 0.0
SRS_Standard/Secret_07_SRS/num-514.xml . 0.0 / 0.4 . 218.4 / 60.1 . 955.0 / 300.1 . 746.3 / 300.1 NO 1066.5 / 291.1 . 192.2 / 300.1
SRS_Standard/Secret_07_SRS/num-515.xml . 0.0 / 0.1 . 227.4 / 59.7 . 742.3 / 300.1 . 596.8 / 300.1 NO 78.3 / 42.6 . 300.1 / 300.0
SRS_Standard/Secret_07_SRS/num-518.xml . 0.0 / 0.2 . 224.8 / 59.9 . 1063.0 / 300.0 . 934.9 / 300.1 . 1079.2 / 300.1 . 300.0 / 300.0
SRS_Standard/Secret_07_SRS/num-519.xml . 0.0 / 0.6 . 189.4 / 59.8 . 1068.6 / 300.1 . 601.2 / 300.1 NO 14.6 / 13.2 . 138.3 / 300.0
SRS_Standard/Secret_07_SRS/num-520.xml . 0.0 / 0.1 . 212.9 / 59.8 . 490.7 / 300.1 . 481.2 / 300.1 . 726.9 / 300.1 . 127.8 / 300.0
SRS_Standard/Secret_07_SRS/num-521.xml . 0.0 / 0.7 . 241.0 / 59.8 . 825.3 / 300.0 NO 54.0 / 20.8 NO 689.3 / 190.5 . 135.8 / 300.0
SRS_Standard/Secret_07_SRS/num-525.xml . 0.0 / 0.4 NO 5.1 / 5.0 . 833.1 / 300.1 NO 441.9 / 171.8 NO 102.0 / 50.7 . 233.4 / 300.0
SRS_Standard/Secret_07_SRS/num-527.xml . 0.0 / 0.5 . 202.0 / 60.1 . 1030.0 / 300.0 NO 388.1 / 193.5 NO 252.0 / 113.8 . 168.1 / 300.1
SRS_Standard/Secret_07_SRS/num-530.xml . 0.2 / 1.3 . 199.2 / 59.8 . 790.8 / 300.1 NO 6.6 / 2.9 NO 17.8 / 15.6 . 295.4 / 300.0
SRS_Standard/Secret_07_SRS/num-539.xml . 0.0 / 0.2 NO 1.4 / 1.0 . 803.2 / 300.1 . 384.6 / 300.1 NO 10.0 / 11.9 . 300.0 / 300.0
SRS_Standard/Secret_07_SRS/x01.xml . 0.0 / 0.4 YES 79.4 / 22.2 . 787.0 / 300.0 . 733.7 / 300.1 YES 25.0 / 14.9 . 8.7 / 9.2
SRS_Standard/Secret_07_SRS/x02.xml . 0.0 / 0.6 YES 27.9 / 10.3 YES 42.2 / 25.1 . 952.3 / 300.1 YES 253.8 / 74.6 . 42.0 / 118.4
SRS_Standard/Secret_07_SRS/x03.xml . 0.0 / 0.1 YES 27.2 / 7.7 . 1066.3 / 300.0 . 918.1 / 300.1 YES 28.1 / 12.9 . 213.5 / 300.1
SRS_Standard/Secret_07_SRS/x04.xml . 0.0 / 0.5 YES 67.6 / 26.4 YES 187.3 / 94.8 . 947.1 / 300.1 YES 94.9 / 41.4 . 188.9 / 300.0
SRS_Standard/Secret_07_SRS/x05.xml . 0.0 / 0.3 YES 27.6 / 7.4 . 816.5 / 300.1 . 407.6 / 300.1 YES 36.9 / 25.5 . 50.0 / 100.4
SRS_Standard/Secret_07_SRS/x06.xml . 0.0 / 0.4 YES 115.2 / 30.9 . 1052.3 / 300.0 . 950.2 / 300.1 YES 55.4 / 35.0 . 43.4 / 44.4
SRS_Standard/Secret_07_SRS/x07.xml . 0.0 / 0.5 YES 82.6 / 26.7 . 839.2 / 300.1 . 595.4 / 300.1 . 757.8 / 300.1 . 142.3 / 300.1
SRS_Standard/Secret_07_SRS/x08.xml . 0.4 / 1.4 YES 140.8 / 38.1 . 898.8 / 300.0 . 521.0 / 300.1 YES 78.2 / 30.8 . 238.5 / 300.0
SRS_Standard/Secret_07_SRS/x09.xml . 0.1 / 0.3 . 207.0 / 59.8 . 914.5 / 300.0 . 551.9 / 300.1 YES 199.5 / 62.4 . 284.4 / 300.0
SRS_Standard/Secret_07_SRS/x10.xml . 0.0 / 0.2 YES 84.8 / 25.4 YES 995.2 / 290.6 . 593.0 / 300.1 YES 67.1 / 49.3 . 32.6 / 36.8
SRS_Standard/Trafo_06/dup01.xml YES 0.0 / 0.3 YES 31.1 / 9.6 YES 759.7 / 275.3 . 14.4 / 4.5 YES 56.8 / 42.4 YES 0.2 / 0.3
SRS_Standard/Trafo_06/dup05.xml YES 5.8 / 9.6 YES 7.2 / 2.3 YES 78.4 / 35.6 . 657.8 / 300.1 YES 41.5 / 14.2 . 209.3 / 300.0
SRS_Standard/Trafo_06/dup06.xml YES 0.0 / 0.4 YES 24.9 / 9.7 YES 39.6 / 18.2 . 411.1 / 300.1 YES 37.7 / 35.6 . 241.4 / 300.1
SRS_Standard/Trafo_06/dup07.xml . 1.3 / 4.1 YES 43.9 / 11.8 YES 26.9 / 13.9 . 578.7 / 300.1 YES 56.9 / 18.7 . 180.5 / 300.1
SRS_Standard/Trafo_06/dup08.xml YES 9.5 / 17.2 YES 49.5 / 18.5 YES 73.8 / 38.9 . 933.7 / 300.1 YES 109.4 / 53.7 . 300.0 / 300.0
SRS_Standard/Trafo_06/dup09.xml . 0.0 / 0.0 YES 1.7 / 0.7 YES 14.0 / 3.6 . 426.8 / 300.2 YES 72.9 / 20.8 YES 0.3 / 0.3
SRS_Standard/Trafo_06/dup10.xml . 149.8 / 125.8 YES 63.7 / 18.8 . 1057.5 / 300.1 . 934.6 / 300.1 . 553.6 / 300.1 . 254.9 / 300.0
SRS_Standard/Trafo_06/dup11.xml YES 104.2 / 116.2 YES 89.7 / 30.2 . 894.4 / 300.0 . 705.8 / 301.1 YES 95.6 / 29.8 . 248.5 / 300.0
SRS_Standard/Trafo_06/dup12.xml . 3.2 / 3.2 YES 18.3 / 5.4 YES 318.3 / 114.7 . 469.1 / 300.0 YES 267.5 / 78.8 . 273.2 / 300.0
SRS_Standard/Trafo_06/dup13.xml . 4.4 / 7.2 YES 9.5 / 4.0 YES 117.6 / 57.0 . 937.6 / 300.1 YES 296.1 / 110.2 . 220.0 / 300.0
SRS_Standard/Trafo_06/dup14.xml . 2.8 / 2.7 YES 38.6 / 13.1 YES 32.0 / 14.6 . 9.1 / 10.9 YES 71.2 / 23.2 . 143.2 / 300.1
SRS_Standard/Trafo_06/dup15.xml YES 0.0 / 0.2 YES 4.7 / 1.5 YES 43.5 / 13.3 . 2.3 / 2.0 YES 71.5 / 23.3 YES 1.0 / 7.7
SRS_Standard/Trafo_06/dup16.xml YES 0.0 / 0.4 YES 41.1 / 17.8 . 985.6 / 300.1 . 479.9 / 300.1 YES 4.9 / 5.1 . 132.0 / 300.0
SRS_Standard/Trafo_06/dup17.xml YES 0.0 / 0.2 YES 6.0 / 3.2 YES 68.6 / 23.0 . 2.2 / 1.0 YES 61.5 / 20.2 . 202.3 / 300.1
SRS_Standard/Trafo_06/hom01.xml . 1.9 / 3.5 YES 10.3 / 4.5 YES 49.6 / 23.8 . 3.4 / 2.4 YES 54.9 / 17.6 . 274.6 / 300.0
SRS_Standard/Trafo_06/hom02.xml YES 0.0 / 0.1 YES 2.9 / 1.0 YES 4.6 / 1.4 . 2.7 / 1.4 YES 22.3 / 18.4 YES 0.1 / 0.2
SRS_Standard/Trafo_06/hom03.xml . 11.2 / 17.3 YES 57.5 / 14.7 YES 58.6 / 15.6 . 920.4 / 300.1 YES 2.4 / 1.5 YES 3.5 / 3.5
SRS_Standard/Trafo_06/un02.xml . 133.7 / 97.7 . 210.7 / 60.5 . 767.9 / 300.1 . 532.0 / 300.1 . 387.8 / 300.0 . 140.8 / 300.0
SRS_Standard/Trafo_06/un04.xml . 0.0 / 0.9 . 206.9 / 60.7 . 879.5 / 300.0 . 475.3 / 300.1 NO 50.8 / 17.0 . 198.3 / 300.0
SRS_Standard/Trafo_06/un05.xml . 0.0 / 0.4 . 170.2 / 60.3 . 652.7 / 300.0 . 864.3 / 300.1 YES 39.9 / 30.3 . 210.0 / 300.0
SRS_Standard/Trafo_06/un06.xml YES 0.0 / 0.7 YES 117.2 / 22.0 YES 73.0 / 30.4 . 877.4 / 300.1 YES 58.6 / 36.8 . 219.5 / 300.0
SRS_Standard/Trafo_06/un07.xml . 0.4 / 4.0 YES 29.2 / 12.5 YES 47.2 / 14.4 . 965.2 / 300.1 YES 39.0 / 16.4 . 297.2 / 300.0
SRS_Standard/Trafo_06/un08.xml . 0.0 / 0.5 YES 196.5 / 58.4 YES 62.6 / 26.3 . 587.6 / 300.1 YES 57.8 / 35.9 . 300.1 / 300.0
SRS_Standard/Trafo_06/un09.xml . 1.0 / 1.0 YES 53.9 / 15.0 . 889.7 / 300.1 . 404.1 / 300.0 YES 105.3 / 50.7 . 206.5 / 300.0
SRS_Standard/Trafo_06/un10.xml . 4.0 / 6.9 YES 56.3 / 21.0 YES 54.5 / 16.2 . 413.1 / 300.1 . 386.6 / 300.1 . 300.0 / 300.0
SRS_Standard/Trafo_06/un11.xml . 1.6 / 4.4 . 224.0 / 60.0 . 1052.7 / 300.1 . 777.4 / 300.1 . 530.4 / 300.1 . 258.9 / 300.0
SRS_Standard/Trafo_06/un12.xml . 3.7 / 4.9 . 165.5 / 60.8 . 798.9 / 300.1 . 571.1 / 300.1 YES 2.8 / 1.7 . 200.4 / 300.0
SRS_Standard/Trafo_06/un13.xml . 3.5 / 4.2 . 210.0 / 61.4 . 930.5 / 300.1 . 778.5 / 300.1 . 357.9 / 300.0 . 185.5 / 300.0
SRS_Standard/Trafo_06/un14.xml . 2.4 / 3.8 YES 82.8 / 22.1 YES 46.2 / 12.3 . 6.0 / 3.5 YES 599.7 / 288.0 . 236.0 / 300.0
SRS_Standard/Trafo_06/un15.xml . 3.1 / 3.2 . 183.2 / 60.7 . 703.6 / 300.0 . 903.3 / 300.1 . 676.9 / 300.1 . 261.6 / 300.1
SRS_Standard/Trafo_06/un16.xml . 2.1 / 5.7 . 229.3 / 60.0 . 842.4 / 300.1 NO 19.8 / 14.3 . 644.8 / 300.1 . 144.9 / 300.0
SRS_Standard/Trafo_06/un17.xml . 0.8 / 3.0 . 189.4 / 60.4 . 741.7 / 300.0 . 500.8 / 300.1 YES 232.7 / 69.7 . 218.0 / 300.0
SRS_Standard/Trafo_06/un18.xml . 0.8 / 1.8 . 191.5 / 60.9 YES 186.3 / 86.6 . 3.8 / 5.5 . 566.8 / 300.0 . 214.9 / 300.0
SRS_Standard/Waldmann_06_SRS/e.xml YES 1.5 / 1.5 YES 30.8 / 8.7 YES 330.7 / 166.2 . 4.6 / 2.0 YES 101.4 / 63.4 YES 240.5 / 275.9
SRS_Standard/Waldmann_06_SRS/jw1.xml . 0.0 / 0.5 YES 50.6 / 13.9 . 838.4 / 300.1 . 933.5 / 300.1 YES 29.2 / 29.0 . 107.0 / 300.1
SRS_Standard/Waldmann_06_SRS/jw3.xml . 0.0 / 0.3 . 226.0 / 60.3 . 772.3 / 300.1 . 590.9 / 300.1 YES 38.1 / 13.6 . 153.3 / 300.0
SRS_Standard/Waldmann_06_SRS/jw4.xml . 0.8 / 1.1 YES 58.7 / 18.5 YES 90.6 / 29.9 . 483.5 / 300.1 YES 359.8 / 129.2 . 228.1 / 300.1
SRS_Standard/Waldmann_06_SRS/jw5.xml . 1.2 / 1.3 . 225.9 / 60.2 . 765.8 / 300.0 . 624.5 / 300.1 . 809.0 / 300.0 . 193.0 / 300.0
SRS_Standard/Waldmann_06_SRS/pi.xml YES 1.0 / 1.1 YES 17.1 / 4.9 YES 76.7 / 22.8 . 4.3 / 3.1 YES 56.5 / 19.1 YES 35.8 / 103.8
SRS_Standard/Waldmann_06_SRS/sym-1.xml . 0.0 / 0.3 YES 26.7 / 7.6 YES 72.3 / 33.4 . 966.0 / 300.1 YES 10.5 / 12.5 . 283.9 / 300.1
SRS_Standard/Waldmann_06_SRS/sym-2.xml . 0.0 / 0.7 YES 92.8 / 25.2 . 850.3 / 300.1 . 822.7 / 300.1 YES 83.4 / 27.3 . 217.6 / 300.0
SRS_Standard/Waldmann_06_SRS/sym-4.xml . 0.6 / 0.7 YES 30.5 / 8.7 YES 80.9 / 39.6 . 949.4 / 300.1 YES 11.7 / 12.5 . 251.2 / 300.0
SRS_Standard/Waldmann_06_SRS/sym-5.xml . 0.0 / 0.4 . 179.3 / 60.0 . 835.3 / 300.0 . 603.3 / 300.1 YES 331.2 / 119.1 . 269.4 / 300.0
SRS_Standard/Waldmann_06_SRS/sym-6.xml . 0.0 / 0.2 YES 167.2 / 48.7 . 769.3 / 300.1 . 570.7 / 300.1 YES 185.7 / 79.5 . 246.1 / 300.1
SRS_Standard/Waldmann_06_SRS/uni-1.xml . 0.0 / 1.2 YES 25.3 / 9.3 YES 310.0 / 101.1 . 624.6 / 300.1 YES 11.0 / 4.5 . 232.7 / 300.0
SRS_Standard/Waldmann_06_SRS/uni-2.xml . 0.0 / 0.8 NO 1.1 / 1.3 . 785.9 / 300.0 . 426.9 / 300.1 NO 4.3 / 6.1 . 281.8 / 300.0
SRS_Standard/Waldmann_06_SRS/uni-3.xml . 0.0 / 0.8 . 186.4 / 60.0 . 723.3 / 300.0 . 461.4 / 300.1 NO 9.8 / 9.4 . 299.4 / 300.0
SRS_Standard/Waldmann_06_SRS/uni-4.xml . 0.2 / 1.7 NO 2.0 / 2.9 . 1032.5 / 300.1 . 949.2 / 300.1 NO 3.5 / 5.1 . 249.2 / 300.0
SRS_Standard/Waldmann_06_SRS/uni-5.xml . 0.0 / 0.6 YES 80.4 / 21.8 YES 84.7 / 25.8 . 937.5 / 300.1 YES 32.6 / 25.7 . 150.0 / 182.3
SRS_Standard/Waldmann_06_SRS/uni-6.xml . 0.8 / 5.9 . 173.1 / 60.8 . 1058.0 / 300.0 . 578.0 / 300.1 NO 29.4 / 16.2 . 263.2 / 300.0
SRS_Standard/Waldmann_06_SRS/uni-7.xml . 1.6 / 1.7 . 192.5 / 60.4 . 1056.7 / 300.0 . 588.3 / 300.1 . 1101.8 / 300.1 . 213.3 / 300.1
SRS_Standard/Waldmann_06_SRS/z086-variant.xml . 0.0 / 0.4 YES 223.7 / 58.4 YES 134.0 / 64.4 . 611.5 / 300.1 YES 74.5 / 24.5 . 291.2 / 300.0
ndard/Waldmann_07_size11/size-11-alpha-2-num-1.xml . 0.0 / 0.5 YES 100.0 / 29.0 . 688.2 / 300.0 . 454.3 / 300.0 YES 56.7 / 19.2 . 244.7 / 300.0
ndard/Waldmann_07_size11/size-11-alpha-2-num-2.xml . 0.0 / 0.2 . 206.9 / 59.9 . 731.3 / 300.1 . 691.6 / 300.1 YES 61.9 / 37.1 . 274.5 / 300.0
ndard/Waldmann_07_size11/size-11-alpha-2-num-3.xml . 0.0 / 1.2 YES 47.6 / 13.1 . 722.4 / 300.1 . 604.7 / 300.1 YES 40.6 / 24.5 . 139.2 / 300.1
ndard/Waldmann_07_size11/size-11-alpha-2-num-4.xml . 0.0 / 0.2 YES 39.6 / 11.0 YES 224.8 / 71.3 . 932.4 / 300.1 YES 47.0 / 30.4 . 142.2 / 300.0
ndard/Waldmann_07_size11/size-11-alpha-3-num-1.xml . 0.0 / 0.1 . 200.4 / 59.9 . 800.5 / 300.1 . 972.1 / 300.1 NO 126.8 / 37.4 . 220.1 / 300.0
dard/Waldmann_07_size11/size-11-alpha-3-num-10.xml . 0.0 / 0.9 YES 23.8 / 11.1 YES 275.1 / 136.2 . 948.9 / 300.1 YES 33.9 / 11.7 . 5.1 / 11.7
dard/Waldmann_07_size11/size-11-alpha-3-num-11.xml . 0.0 / 0.1 YES 26.6 / 7.1 YES 390.8 / 110.2 . 645.4 / 300.1 YES 20.9 / 17.2 . 2.8 / 5.2
dard/Waldmann_07_size11/size-11-alpha-3-num-12.xml . 0.0 / 0.1 YES 26.9 / 9.9 YES 66.5 / 37.4 . 441.5 / 300.1 YES 44.2 / 15.0 . 167.6 / 300.1
dard/Waldmann_07_size11/size-11-alpha-3-num-13.xml . 0.0 / 0.1 YES 31.0 / 8.1 . 1019.9 / 300.1 . 619.9 / 300.1 YES 31.8 / 28.2 . 1.4 / 7.0
dard/Waldmann_07_size11/size-11-alpha-3-num-14.xml . 0.0 / 0.1 YES 26.5 / 7.0 . 1054.6 / 300.1 . 913.6 / 300.1 YES 41.6 / 21.0 . 6.4 / 23.3
dard/Waldmann_07_size11/size-11-alpha-3-num-15.xml . 0.0 / 0.2 NO 7.3 / 4.0 . 616.8 / 300.1 . 443.6 / 300.1 NO 19.7 / 21.2 . 300.1 / 300.0
dard/Waldmann_07_size11/size-11-alpha-3-num-16.xml . 0.0 / 0.1 YES 36.6 / 10.5 YES 15.3 / 7.6 . 709.4 / 300.1 YES 8.9 / 7.1 . 241.9 / 300.0
dard/Waldmann_07_size11/size-11-alpha-3-num-17.xml . 0.0 / 0.1 YES 30.0 / 8.5 YES 443.1 / 209.7 . 431.0 / 300.1 YES 18.1 / 13.3 . 1.1 / 5.6
dard/Waldmann_07_size11/size-11-alpha-3-num-18.xml . 0.0 / 0.1 . 130.3 / 59.7 . 1051.8 / 300.0 . 819.7 / 300.1 NO 8.1 / 10.2 . 138.5 / 300.0
dard/Waldmann_07_size11/size-11-alpha-3-num-19.xml . 0.0 / 0.1 YES 23.3 / 6.3 . 907.0 / 300.1 . 562.3 / 300.0 YES 25.7 / 9.1 . 232.7 / 300.0
ndard/Waldmann_07_size11/size-11-alpha-3-num-2.xml . 0.0 / 0.1 YES 95.9 / 30.7 . 839.1 / 300.1 . 586.5 / 300.2 YES 41.2 / 13.9 . 6.6 / 16.7
dard/Waldmann_07_size11/size-11-alpha-3-num-20.xml . 0.0 / 0.1 YES 20.9 / 6.1 YES 299.3 / 86.0 . 603.4 / 300.1 YES 19.0 / 13.8 . 114.4 / 300.0
dard/Waldmann_07_size11/size-11-alpha-3-num-21.xml . 0.0 / 0.2 . 197.0 / 59.3 . 1088.1 / 300.1 . 609.0 / 300.1 NO 14.2 / 5.5 . 8.4 / 13.3
ndard/Waldmann_07_size11/size-11-alpha-3-num-3.xml . 0.0 / 0.3 YES 20.7 / 9.0 YES 274.6 / 157.9 . 600.7 / 300.1 YES 41.7 / 22.8 . 300.0 / 300.0
ndard/Waldmann_07_size11/size-11-alpha-3-num-4.xml . 0.0 / 0.2 . 217.5 / 59.8 . 992.7 / 300.1 . 315.6 / 300.1 . 600.5 / 300.1 . 26.6 / 35.6
ndard/Waldmann_07_size11/size-11-alpha-3-num-5.xml . 0.0 / 0.3 YES 36.7 / 14.4 . 926.6 / 300.1 . 505.4 / 300.1 YES 29.7 / 16.3 . 3.3 / 3.4
ndard/Waldmann_07_size11/size-11-alpha-3-num-6.xml . 0.0 / 0.1 YES 17.2 / 7.9 YES 259.6 / 74.5 . 681.0 / 300.1 YES 39.3 / 28.2 . 230.5 / 300.0
ndard/Waldmann_07_size11/size-11-alpha-3-num-7.xml . 0.0 / 0.6 YES 18.1 / 7.3 YES 431.6 / 123.3 . 828.7 / 300.1 YES 40.6 / 16.2 . 249.9 / 300.0
ndard/Waldmann_07_size11/size-11-alpha-3-num-8.xml . 0.0 / 0.1 YES 26.1 / 7.5 YES 56.0 / 16.4 . 952.9 / 300.1 YES 38.1 / 25.1 . 227.8 / 300.0
ndard/Waldmann_07_size11/size-11-alpha-3-num-9.xml . 0.0 / 0.1 YES 22.9 / 8.5 YES 364.3 / 109.3 . 448.6 / 300.1 YES 30.8 / 11.1 . 129.6 / 300.0
ndard/Waldmann_07_size12/size-12-alpha-2-num-1.xml . 0.0 / 0.3 YES 20.2 / 9.2 . 910.8 / 300.0 . 593.9 / 300.1 YES 34.4 / 22.3 . 195.6 / 300.0
dard/Waldmann_07_size12/size-12-alpha-2-num-10.xml . 0.0 / 0.6 . 212.4 / 60.1 . 731.9 / 300.0 . 935.8 / 300.1 . 963.0 / 300.1 . 241.4 / 300.0
dard/Waldmann_07_size12/size-12-alpha-2-num-11.xml . 0.0 / 0.7 . 208.7 / 60.1 . 797.6 / 300.0 . 933.8 / 300.1 . 1068.2 / 300.1 . 234.4 / 300.0
dard/Waldmann_07_size12/size-12-alpha-2-num-12.xml . 0.0 / 0.4 . 196.8 / 59.8 . 608.5 / 300.0 NO 45.3 / 35.5 . 748.4 / 300.2 . 272.7 / 300.0
dard/Waldmann_07_size12/size-12-alpha-2-num-13.xml . 0.0 / 0.3 YES 101.3 / 27.4 . 803.4 / 300.0 . 711.1 / 300.1 YES 52.7 / 18.7 . 209.5 / 300.1
dard/Waldmann_07_size12/size-12-alpha-2-num-14.xml . 0.0 / 0.7 YES 112.9 / 41.1 . 1030.7 / 300.1 . 736.0 / 300.0 YES 42.2 / 14.4 . 300.1 / 300.0
dard/Waldmann_07_size12/size-12-alpha-2-num-15.xml . 0.0 / 0.3 YES 43.1 / 12.4 YES 452.2 / 196.2 . 938.8 / 300.1 YES 19.8 / 9.0 . 299.2 / 300.0
dard/Waldmann_07_size12/size-12-alpha-2-num-16.xml . 0.0 / 0.1 YES 24.6 / 7.0 YES 171.3 / 89.4 . 739.0 / 300.1 YES 57.4 / 23.0 . 253.4 / 300.0
dard/Waldmann_07_size12/size-12-alpha-2-num-17.xml . 0.1 / 0.8 . 216.6 / 59.7 . 679.7 / 300.0 NO 236.5 / 99.6 . 915.3 / 300.1 . 179.6 / 300.0
dard/Waldmann_07_size12/size-12-alpha-2-num-18.xml . 0.2 / 0.6 . 218.2 / 59.6 . 730.2 / 300.0 . 953.3 / 300.1 . 1048.1 / 300.0 . 300.1 / 300.0
dard/Waldmann_07_size12/size-12-alpha-2-num-19.xml . 0.0 / 0.1 YES 49.7 / 16.9 . 957.2 / 300.0 . 516.8 / 300.1 YES 43.5 / 14.9 . 238.9 / 300.0
ndard/Waldmann_07_size12/size-12-alpha-2-num-2.xml . 0.0 / 0.1 YES 22.4 / 10.3 . 1002.9 / 300.0 . 456.3 / 300.1 YES 56.1 / 35.8 . 226.0 / 300.0
dard/Waldmann_07_size12/size-12-alpha-2-num-20.xml . 0.0 / 0.1 . 218.8 / 59.5 . 847.6 / 300.0 . 669.9 / 300.1 NO 257.7 / 108.9 . 250.1 / 300.0
dard/Waldmann_07_size12/size-12-alpha-2-num-21.xml . 0.0 / 0.5 YES 24.6 / 7.1 YES 106.3 / 56.9 . 615.2 / 300.1 YES 46.9 / 16.1 . 290.5 / 300.0
dard/Waldmann_07_size12/size-12-alpha-2-num-22.xml . 0.0 / 0.5 YES 26.4 / 9.3 YES 181.9 / 52.8 . 587.9 / 300.1 YES 26.4 / 19.6 . 149.7 / 300.0
ndard/Waldmann_07_size12/size-12-alpha-2-num-3.xml . 0.0 / 0.1 YES 29.6 / 8.3 . 860.8 / 300.1 . 901.8 / 300.1 YES 33.7 / 11.1 . 275.5 / 300.0
ndard/Waldmann_07_size12/size-12-alpha-2-num-4.xml . 0.0 / 0.2 YES 112.8 / 35.0 YES 46.2 / 14.0 . 814.8 / 300.1 YES 42.5 / 28.4 . 296.8 / 300.0
ndard/Waldmann_07_size12/size-12-alpha-2-num-5.xml . 0.0 / 0.3 YES 155.3 / 40.8 . 1059.8 / 300.0 . 779.8 / 300.1 YES 36.5 / 25.1 . 234.2 / 300.0
ndard/Waldmann_07_size12/size-12-alpha-2-num-6.xml . 0.0 / 0.2 YES 122.0 / 43.7 . 647.7 / 300.1 . 915.2 / 300.1 YES 31.3 / 25.7 . 218.5 / 300.0
ndard/Waldmann_07_size12/size-12-alpha-2-num-7.xml . 0.0 / 0.2 . 178.0 / 60.2 . 865.5 / 300.1 . 730.2 / 300.1 . 1134.6 / 300.1 . 296.8 / 300.0
ndard/Waldmann_07_size12/size-12-alpha-2-num-8.xml . 0.0 / 0.1 . 189.9 / 60.0 YES 134.6 / 35.8 . 708.3 / 300.1 YES 36.6 / 23.9 . 248.4 / 300.0
ndard/Waldmann_07_size12/size-12-alpha-3-num-1.xml . 0.0 / 0.2 YES 28.8 / 8.0 YES 609.7 / 183.2 . 972.0 / 300.1 YES 42.6 / 36.3 . 9.6 / 9.9
dard/Waldmann_07_size12/size-12-alpha-3-num-10.xml . 0.1 / 0.2 YES 23.2 / 7.2 YES 15.1 / 8.0 . 889.8 / 300.1 YES 33.5 / 15.9 . 193.0 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-100.xml . 0.0 / 0.1 . 163.9 / 60.4 . 695.3 / 300.0 NO 5.7 / 2.1 NO 12.1 / 4.8 . 270.9 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-101.xml . 0.0 / 0.4 . 189.4 / 59.9 . 1062.2 / 300.0 NO 603.6 / 289.3 NO 18.6 / 6.6 . 142.8 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-104.xml . 0.0 / 0.1 YES 32.8 / 9.2 . 796.4 / 300.0 . 466.0 / 300.1 YES 44.7 / 15.5 . 300.0 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-105.xml . 0.0 / 0.5 YES 93.9 / 33.4 . 1062.0 / 300.0 . 868.8 / 300.1 YES 38.2 / 19.9 . 243.7 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-106.xml . 0.0 / 0.4 YES 53.9 / 14.8 . 654.1 / 300.1 . 472.1 / 300.1 YES 40.2 / 14.5 . 300.1 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-107.xml . 0.0 / 0.1 YES 38.6 / 10.0 YES 292.5 / 111.7 . 617.8 / 300.1 YES 38.8 / 13.4 . 5.0 / 5.0
ard/Waldmann_07_size12/size-12-alpha-3-num-108.xml . 0.0 / 0.5 YES 16.6 / 13.0 YES 383.6 / 185.2 . 859.6 / 300.1 YES 39.5 / 32.5 . 5.1 / 5.2
ard/Waldmann_07_size12/size-12-alpha-3-num-109.xml . 0.0 / 0.1 YES 32.8 / 9.1 YES 133.6 / 44.9 . 959.7 / 300.1 YES 50.0 / 17.1 . 282.0 / 300.0
dard/Waldmann_07_size12/size-12-alpha-3-num-11.xml . 0.0 / 0.6 . 155.5 / 59.9 . 1062.7 / 300.0 NO 101.2 / 57.1 NO 63.3 / 25.8 . 273.1 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-110.xml . 0.0 / 0.7 YES 17.9 / 7.8 YES 189.8 / 80.5 . 626.2 / 300.1 YES 48.6 / 19.1 . 220.1 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-111.xml . 0.0 / 0.2 YES 37.9 / 10.7 YES 178.7 / 88.2 . 795.1 / 300.1 YES 58.5 / 20.1 . 300.0 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-112.xml . 0.6 / 0.7 YES 37.9 / 10.8 YES 170.9 / 49.8 . 850.1 / 300.1 YES 44.7 / 28.2 . 238.6 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-113.xml . 0.1 / 0.2 YES 26.1 / 6.9 YES 326.9 / 141.3 . 422.2 / 300.1 YES 35.9 / 11.1 . 247.6 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-114.xml . 0.1 / 0.1 YES 87.5 / 23.7 . 805.0 / 300.1 . 1012.6 / 300.1 YES 78.5 / 26.3 . 155.5 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-120.xml . 0.0 / 0.1 . 150.4 / 60.7 . 1046.4 / 300.0 NO 242.4 / 105.9 . 786.0 / 300.0 . 1.4 / 1.5
ard/Waldmann_07_size12/size-12-alpha-3-num-121.xml . 0.1 / 0.2 YES 62.4 / 31.2 . 1091.2 / 300.1 . 559.9 / 300.1 YES 67.0 / 22.1 . 225.5 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-122.xml . 0.0 / 0.2 YES 102.6 / 27.9 . 1057.6 / 300.0 . 536.1 / 300.1 YES 70.6 / 24.1 . 133.2 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-123.xml . 0.0 / 0.3 YES 54.5 / 23.0 . 870.5 / 300.0 . 441.0 / 300.1 YES 81.7 / 47.5 . 203.5 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-124.xml . 0.0 / 0.2 YES 165.4 / 56.0 . 735.3 / 300.0 . 727.0 / 300.1 YES 31.1 / 25.0 . 243.8 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-125.xml . 0.0 / 0.1 YES 42.9 / 9.6 YES 501.7 / 152.1 . 944.5 / 300.1 YES 44.9 / 35.1 . 240.9 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-126.xml . 0.0 / 0.2 YES 33.1 / 9.2 YES 414.5 / 165.0 . 903.9 / 300.1 YES 28.6 / 15.8 . 275.3 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-127.xml . 0.0 / 0.3 . 245.0 / 60.0 . 995.7 / 300.1 NO 4.7 / 3.6 NO 102.4 / 32.1 . 0.9 / 1.0
ard/Waldmann_07_size12/size-12-alpha-3-num-128.xml . 0.0 / 0.1 YES 90.9 / 27.0 . 1132.3 / 300.0 . 969.2 / 300.1 YES 48.5 / 16.5 . 12.7 / 12.8
ard/Waldmann_07_size12/size-12-alpha-3-num-129.xml . 0.0 / 0.1 NO 19.7 / 3.9 . 997.5 / 300.1 . 981.4 / 300.1 NO 10.1 / 4.2 . 248.2 / 300.0
dard/Waldmann_07_size12/size-12-alpha-3-num-13.xml . 0.0 / 0.5 YES 21.1 / 6.2 . 783.2 / 300.0 . 478.4 / 300.1 YES 37.6 / 25.7 . 170.3 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-131.xml . 0.0 / 0.1 YES 23.9 / 6.8 . 606.8 / 300.1 . 524.9 / 300.1 YES 45.3 / 15.6 . 252.4 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-132.xml . 0.0 / 0.6 YES 177.7 / 47.5 . 1083.1 / 300.1 . 468.4 / 300.1 YES 35.6 / 12.8 . 174.1 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-133.xml . 0.0 / 0.6 YES 45.8 / 11.8 . 713.2 / 300.0 . 929.4 / 300.1 YES 50.0 / 34.6 . 290.4 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-134.xml . 0.0 / 0.1 YES 18.8 / 7.5 YES 119.3 / 34.8 . 954.7 / 300.1 YES 28.6 / 18.2 . 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-135.xml . 0.0 / 0.4 . 211.9 / 60.0 . 886.8 / 300.0 . 1035.1 / 300.1 NO 80.5 / 21.9 . 300.0 / 300.0
dard/Waldmann_07_size12/size-12-alpha-3-num-14.xml . 0.0 / 0.3 YES 19.0 / 9.4 YES 608.9 / 246.8 . 923.6 / 300.1 YES 38.1 / 27.1 . 2.8 / 6.3
ard/Waldmann_07_size12/size-12-alpha-3-num-140.xml . 0.0 / 0.1 NO 1.2 / 0.6 . 1055.6 / 300.1 NO 6.5 / 2.0 NO 3.6 / 2.0 . 136.4 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-146.xml . 0.0 / 0.1 NO 1.1 / 0.8 . 900.3 / 300.0 NO 4.0 / 5.1 NO 3.2 / 5.5 . 298.8 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-149.xml . 0.0 / 0.6 YES 19.6 / 8.0 YES 146.6 / 62.1 . 830.3 / 300.1 YES 23.8 / 18.8 . 254.7 / 300.0
dard/Waldmann_07_size12/size-12-alpha-3-num-15.xml . 0.0 / 0.1 YES 23.5 / 6.4 YES 255.9 / 76.9 . 837.8 / 300.1 YES 50.7 / 17.1 . 281.2 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-152.xml . 0.0 / 0.5 YES 25.4 / 9.9 . 710.7 / 300.0 . 1057.5 / 300.1 YES 48.0 / 36.5 . 291.0 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-158.xml . 0.0 / 0.1 NO 1.3 / 1.0 . 1029.9 / 300.1 NO 1.8 / 0.9 NO 3.0 / 1.8 . 296.0 / 300.1
ard/Waldmann_07_size12/size-12-alpha-3-num-159.xml . 0.0 / 0.1 NO 1.2 / 0.8 . 697.1 / 300.0 NO 2.6 / 2.7 NO 3.2 / 5.9 . 299.8 / 300.0
dard/Waldmann_07_size12/size-12-alpha-3-num-16.xml . 0.0 / 0.1 YES 27.9 / 6.9 YES 276.1 / 130.4 . 1074.4 / 300.1 YES 36.5 / 12.3 . 249.9 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-160.xml . 0.0 / 0.1 NO 4.7 / 5.5 . 466.1 / 300.2 NO 2.2 / 2.9 NO 3.6 / 4.5 . 0.8 / 0.8
ard/Waldmann_07_size12/size-12-alpha-3-num-163.xml . 0.0 / 0.1 YES 30.4 / 9.1 YES 585.5 / 177.5 . 972.4 / 300.1 YES 16.2 / 15.3 . 3.0 / 3.1
ard/Waldmann_07_size12/size-12-alpha-3-num-164.xml . 0.0 / 0.1 YES 18.5 / 8.4 YES 35.9 / 9.2 . 493.9 / 300.1 YES 56.6 / 35.7 . 0.0 / 0.0
ard/Waldmann_07_size12/size-12-alpha-3-num-165.xml . 0.0 / 0.4 YES 23.4 / 7.3 YES 175.1 / 50.4 . 905.6 / 300.1 YES 36.6 / 25.2 . 1.2 / 7.9
ard/Waldmann_07_size12/size-12-alpha-3-num-168.xml . 0.0 / 0.3 YES 34.5 / 9.1 . 1044.4 / 300.0 . 573.8 / 300.1 YES 41.6 / 29.5 . 220.3 / 300.0
dard/Waldmann_07_size12/size-12-alpha-3-num-17.xml . 0.0 / 0.1 YES 26.3 / 7.5 YES 348.3 / 125.0 . 537.3 / 300.1 YES 31.0 / 17.4 . 237.9 / 300.0
ard/Waldmann_07_size12/size-12-alpha-3-num-170.xml