Overview of job-results

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

Statistics

820 pairs, 274225.6 / 145649.5 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 Relat 40768
Solver NaTT 1.3 TTT2 matchbox2015-07-26.1 AProVE 2015
Scores 17 24 32 88
SRS_Relative/ICFP_2010_relative/107220.xml . 393.9 / 300.0 . 131.9 / 62.0 . 591.1 / 300.0 . 421.8 / 300.0
SRS_Relative/ICFP_2010_relative/107236.xml . 189.4 / 300.0 . 176.9 / 61.9 . 1003.5 / 300.0 . 494.2 / 300.1
SRS_Relative/ICFP_2010_relative/123759.xml . 291.8 / 300.0 . 184.1 / 60.4 . 902.2 / 300.0 . 422.8 / 300.0
SRS_Relative/ICFP_2010_relative/124211.xml . 299.0 / 300.0 . 181.9 / 60.4 . 700.1 / 300.0 . 487.3 / 300.1
SRS_Relative/ICFP_2010_relative/124269.xml . 293.5 / 300.0 . 85.3 / 61.8 . 763.5 / 300.0 . 563.9 / 300.0
SRS_Relative/ICFP_2010_relative/124791.xml . 300.7 / 300.1 . 159.0 / 61.6 . 645.4 / 300.0 . 455.9 / 300.1
SRS_Relative/ICFP_2010_relative/127538.xml . 364.1 / 300.1 . 133.9 / 60.8 . 823.0 / 300.0 YES 75.0 / 36.8
SRS_Relative/ICFP_2010_relative/128056.xml . 433.5 / 300.0 . 85.7 / 62.4 . 735.7 / 300.0 . 584.5 / 300.1
SRS_Relative/ICFP_2010_relative/128182.xml . 203.6 / 300.0 . 75.4 / 64.3 . 792.3 / 300.0 YES 58.9 / 19.3
SRS_Relative/ICFP_2010_relative/128280.xml . 431.1 / 300.0 . 113.4 / 60.9 . 881.8 / 300.0 YES 61.5 / 23.6
SRS_Relative/ICFP_2010_relative/128430.xml . 430.4 / 300.0 . 183.6 / 60.7 . 957.0 / 300.0 YES 58.5 / 19.9
SRS_Relative/ICFP_2010_relative/128486.xml . 406.9 / 300.0 . 138.4 / 61.1 . 1039.6 / 300.0 YES 56.2 / 18.1
SRS_Relative/ICFP_2010_relative/128515.xml . 246.4 / 300.0 . 92.0 / 64.5 . 789.0 / 300.0 YES 74.2 / 23.5
SRS_Relative/ICFP_2010_relative/128550.xml . 405.2 / 300.0 . 130.7 / 61.9 . 833.8 / 300.0 YES 60.0 / 32.0
SRS_Relative/ICFP_2010_relative/128620.xml . 388.0 / 300.0 . 121.3 / 60.8 . 776.9 / 300.0 YES 63.1 / 21.1
SRS_Relative/ICFP_2010_relative/128691.xml . 184.3 / 300.0 . 94.9 / 62.9 . 921.0 / 300.0 YES 69.7 / 33.3
SRS_Relative/ICFP_2010_relative/131633.xml . 195.3 / 300.0 . 87.8 / 62.5 . 864.0 / 300.0 . 508.0 / 300.0
SRS_Relative/ICFP_2010_relative/131982.xml . 240.9 / 300.0 . 158.6 / 60.4 . 873.2 / 300.0 . 371.2 / 300.1
SRS_Relative/ICFP_2010_relative/132235.xml . 179.7 / 300.0 . 124.3 / 60.4 . 786.5 / 300.0 . 389.6 / 300.1
SRS_Relative/ICFP_2010_relative/132478.xml . 431.7 / 300.0 . 112.5 / 63.0 . 881.4 / 300.0 YES 61.9 / 23.1
SRS_Relative/ICFP_2010_relative/132540.xml . 312.7 / 300.0 . 185.5 / 60.7 . 734.1 / 300.0 YES 69.6 / 21.9
SRS_Relative/ICFP_2010_relative/132622.xml . 428.9 / 300.0 . 152.2 / 60.9 . 954.3 / 300.0 YES 70.9 / 22.9
SRS_Relative/ICFP_2010_relative/132720.xml . 290.3 / 300.0 . 175.5 / 60.8 . 740.9 / 300.0 YES 61.7 / 20.5
SRS_Relative/ICFP_2010_relative/132738.xml . 428.3 / 300.0 . 120.8 / 61.9 . 935.6 / 300.0 YES 52.5 / 17.5
SRS_Relative/ICFP_2010_relative/132782.xml . 409.1 / 300.0 . 183.8 / 60.7 . 851.7 / 300.0 YES 51.1 / 28.2
SRS_Relative/ICFP_2010_relative/132833.xml . 384.8 / 300.0 . 160.1 / 60.8 . 647.3 / 300.0 YES 71.8 / 22.8
SRS_Relative/ICFP_2010_relative/132864.xml . 190.9 / 300.0 . 126.9 / 62.8 . 631.3 / 300.0 YES 65.3 / 49.8
SRS_Relative/ICFP_2010_relative/132920.xml . 176.8 / 300.1 . 86.5 / 63.0 . 991.2 / 300.0 YES 60.8 / 31.7
SRS_Relative/ICFP_2010_relative/132957.xml . 368.0 / 300.0 . 184.6 / 60.7 . 774.4 / 300.0 YES 56.0 / 32.0
SRS_Relative/ICFP_2010_relative/132969.xml . 265.9 / 300.0 . 88.8 / 62.2 . 663.8 / 300.0 . 507.6 / 300.1
SRS_Relative/ICFP_2010_relative/133010.xml . 230.7 / 300.0 . 83.8 / 63.5 . 741.0 / 300.0 YES 71.2 / 35.0
SRS_Relative/ICFP_2010_relative/133159.xml . 153.3 / 300.0 . 82.7 / 62.7 . 862.5 / 300.0 . 381.4 / 300.1
SRS_Relative/ICFP_2010_relative/133486.xml . 193.3 / 300.0 . 126.9 / 60.4 . 1018.6 / 300.0 . 529.6 / 300.0
SRS_Relative/ICFP_2010_relative/133881.xml . 302.7 / 300.0 . 96.7 / 61.8 . 799.3 / 300.0 . 415.5 / 300.1
SRS_Relative/ICFP_2010_relative/134918.xml . 206.4 / 300.0 . 83.1 / 61.5 . 736.5 / 300.0 . 437.8 / 300.1
SRS_Relative/ICFP_2010_relative/135115.xml . 288.3 / 300.0 . 179.2 / 60.5 . 955.7 / 300.0 . 454.1 / 300.0
SRS_Relative/ICFP_2010_relative/135328.xml . 180.7 / 300.0 . 115.7 / 62.1 . 868.9 / 300.0 . 565.2 / 300.0
SRS_Relative/ICFP_2010_relative/135604.xml . 300.9 / 300.0 . 158.0 / 60.4 . 780.1 / 300.0 . 475.7 / 300.1
SRS_Relative/ICFP_2010_relative/135652.xml . 168.3 / 300.0 . 180.6 / 60.4 . 1014.8 / 300.0 . 506.9 / 300.0
SRS_Relative/ICFP_2010_relative/135782.xml . 187.0 / 300.0 . 183.8 / 60.4 . 978.6 / 300.0 . 391.0 / 300.1
SRS_Relative/ICFP_2010_relative/135936.xml . 329.9 / 300.0 . 183.4 / 60.4 . 1027.8 / 300.0 . 463.2 / 300.1
SRS_Relative/ICFP_2010_relative/136051.xml . 264.1 / 300.0 . 102.1 / 65.2 . 973.7 / 300.0 . 448.2 / 300.1
SRS_Relative/ICFP_2010_relative/136562.xml . 237.7 / 300.0 . 124.6 / 60.6 . 581.0 / 300.0 . 543.8 / 300.1
SRS_Relative/ICFP_2010_relative/136623.xml . 260.1 / 300.0 . 121.8 / 60.7 . 734.8 / 300.0 . 490.3 / 300.1
SRS_Relative/ICFP_2010_relative/137404.xml . 257.7 / 300.1 . 87.0 / 62.4 . 771.8 / 300.0 . 469.4 / 300.1
SRS_Relative/ICFP_2010_relative/137809.xml . 194.9 / 300.0 . 117.4 / 61.9 . 886.9 / 300.0 . 432.8 / 300.0
SRS_Relative/ICFP_2010_relative/138194.xml . 172.6 / 300.1 . 182.0 / 60.4 . 797.3 / 300.0 . 440.3 / 300.1
SRS_Relative/ICFP_2010_relative/138269.xml . 233.1 / 300.1 . 102.8 / 61.1 . 621.7 / 300.0 . 439.6 / 300.1
SRS_Relative/ICFP_2010_relative/138330.xml . 241.3 / 300.0 . 100.9 / 63.1 . 750.9 / 300.0 . 370.8 / 300.0
SRS_Relative/ICFP_2010_relative/138477.xml . 328.9 / 300.0 . 120.4 / 61.1 . 800.5 / 300.0 . 555.6 / 300.1
SRS_Relative/ICFP_2010_relative/138993.xml . 267.9 / 300.1 . 184.3 / 60.7 . 816.5 / 300.0 YES 67.1 / 21.6
SRS_Relative/ICFP_2010_relative/139004.xml . 337.3 / 300.0 . 184.1 / 60.7 . 798.8 / 300.0 YES 60.0 / 20.0
SRS_Relative/ICFP_2010_relative/139018.xml . 335.5 / 300.0 . 183.7 / 61.2 . 597.1 / 300.0 YES 57.5 / 33.8
SRS_Relative/ICFP_2010_relative/139025.xml . 195.5 / 300.0 . 183.8 / 60.7 . 860.7 / 300.0 YES 59.8 / 22.2
SRS_Relative/ICFP_2010_relative/139036.xml . 367.0 / 300.0 . 116.4 / 61.1 . 690.6 / 300.0 YES 61.7 / 34.2
SRS_Relative/ICFP_2010_relative/139100.xml . 127.9 / 300.0 . 89.6 / 62.4 . 607.3 / 300.0 YES 62.4 / 20.5
SRS_Relative/ICFP_2010_relative/139163.xml . 323.2 / 300.0 . 67.9 / 64.7 . 715.1 / 300.0 YES 83.9 / 26.5
SRS_Relative/ICFP_2010_relative/139167.xml . 384.6 / 300.1 . 183.7 / 60.7 . 924.9 / 300.1 YES 64.9 / 20.0
SRS_Relative/ICFP_2010_relative/139174.xml . 234.1 / 300.0 . 145.8 / 60.7 . 784.5 / 300.0 YES 47.2 / 28.0
SRS_Relative/ICFP_2010_relative/139180.xml . 392.4 / 300.1 . 174.8 / 60.7 . 616.8 / 300.0 YES 70.0 / 22.5
SRS_Relative/ICFP_2010_relative/139185.xml . 331.6 / 300.0 . 186.8 / 60.7 . 963.2 / 300.0 YES 58.2 / 18.7
SRS_Relative/ICFP_2010_relative/139190.xml . 231.0 / 300.0 . 183.6 / 60.7 . 863.9 / 300.0 YES 60.2 / 19.7
SRS_Relative/ICFP_2010_relative/139214.xml . 377.2 / 300.0 . 184.4 / 60.7 . 808.5 / 300.0 YES 54.0 / 31.1
SRS_Relative/ICFP_2010_relative/139236.xml . 411.5 / 300.0 . 85.4 / 63.3 . 996.2 / 300.0 YES 54.0 / 16.9
SRS_Relative/ICFP_2010_relative/139256.xml . 417.0 / 300.0 . 94.0 / 62.9 . 666.8 / 300.0 YES 71.4 / 23.2
SRS_Relative/ICFP_2010_relative/139282.xml . 244.2 / 300.0 . 188.6 / 60.7 . 881.2 / 300.0 YES 63.4 / 52.8
SRS_Relative/ICFP_2010_relative/139310.xml . 430.0 / 300.0 . 83.3 / 63.5 . 996.9 / 300.0 YES 61.8 / 34.8
SRS_Relative/ICFP_2010_relative/139378.xml . 366.6 / 300.0 . 114.2 / 60.8 . 946.6 / 300.0 YES 70.2 / 26.3
SRS_Relative/ICFP_2010_relative/140287.xml . 202.7 / 300.0 . 185.2 / 60.7 . 646.7 / 300.0 . 466.0 / 300.0
SRS_Relative/ICFP_2010_relative/140318.xml . 387.3 / 300.0 . 84.8 / 62.5 . 1034.8 / 300.0 YES 58.6 / 33.5
SRS_Relative/ICFP_2010_relative/140359.xml . 367.5 / 300.0 . 88.4 / 62.6 . 905.6 / 300.0 YES 53.7 / 38.4
SRS_Relative/ICFP_2010_relative/140631.xml . 270.7 / 300.0 . 122.3 / 61.5 . 601.0 / 300.0 . 501.5 / 300.0
SRS_Relative/ICFP_2010_relative/140639.xml . 335.1 / 300.0 . 139.0 / 60.9 . 853.9 / 300.0 . 558.1 / 300.1
SRS_Relative/ICFP_2010_relative/140649.xml . 251.8 / 300.1 . 117.9 / 62.6 . 765.3 / 300.0 . 535.0 / 300.0
SRS_Relative/ICFP_2010_relative/140654.xml . 175.4 / 300.1 . 85.2 / 61.9 . 864.3 / 300.0 . 583.7 / 300.1
SRS_Relative/ICFP_2010_relative/140659.xml . 161.3 / 300.0 . 149.5 / 60.4 . 1011.7 / 300.0 . 641.4 / 300.1
SRS_Relative/ICFP_2010_relative/140664.xml . 325.3 / 300.1 . 181.2 / 60.3 . 1008.9 / 300.0 . 593.5 / 300.1
SRS_Relative/ICFP_2010_relative/142142.xml . 320.0 / 300.0 . 185.2 / 60.3 . 995.9 / 300.0 . 426.4 / 300.0
SRS_Relative/ICFP_2010_relative/142146.xml . 281.3 / 300.0 . 109.8 / 62.0 . 871.3 / 300.0 YES 71.9 / 26.3
SRS_Relative/ICFP_2010_relative/142150.xml . 331.4 / 300.0 . 183.6 / 60.3 . 650.5 / 300.0 . 384.9 / 300.0
SRS_Relative/ICFP_2010_relative/142157.xml . 168.5 / 300.0 . 84.9 / 62.6 . 682.1 / 300.1 . 544.0 / 300.0
SRS_Relative/ICFP_2010_relative/3268.xml . 235.4 / 274.1 . 151.1 / 61.0 . 926.4 / 300.0 . 478.3 / 300.1
SRS_Relative/ICFP_2010_relative/3336.xml . 8.3 / 8.3 . 132.7 / 59.4 . 623.7 / 300.0 . 0.5 / 1.2
SRS_Relative/ICFP_2010_relative/3385.xml . 62.7 / 95.4 . 70.4 / 62.1 . 676.8 / 300.0 . 301.0 / 300.1
SRS_Relative/ICFP_2010_relative/3450.xml . 185.8 / 300.0 . 82.2 / 60.2 . 981.0 / 300.0 . 438.8 / 300.1
SRS_Relative/ICFP_2010_relative/3467.xml . 271.5 / 300.0 . 187.2 / 59.9 . 1007.2 / 300.0 . 426.1 / 300.0
SRS_Relative/ICFP_2010_relative/3498.xml . 330.2 / 300.0 . 86.4 / 60.1 . 777.1 / 300.0 . 501.5 / 300.0
SRS_Relative/ICFP_2010_relative/3533.xml . 315.6 / 300.0 . 147.8 / 59.6 . 789.2 / 300.0 . 472.4 / 300.1
SRS_Relative/ICFP_2010_relative/3562.xml . 354.5 / 300.0 . 114.0 / 60.0 . 868.2 / 300.0 . 441.9 / 300.0
SRS_Relative/ICFP_2010_relative/3589.xml . 178.9 / 300.1 . 192.2 / 60.0 . 641.0 / 300.0 . 365.6 / 300.0
SRS_Relative/ICFP_2010_relative/3633.xml . 240.1 / 300.0 . 82.9 / 59.6 . 984.9 / 300.0 . 460.4 / 300.0
SRS_Relative/ICFP_2010_relative/3680.xml . 290.3 / 300.0 . 189.7 / 64.5 . 580.3 / 300.0 YES 186.8 / 59.1
SRS_Relative/ICFP_2010_relative/3705.xml . 288.3 / 300.0 . 116.9 / 60.6 . 674.7 / 300.0 . 413.1 / 300.0
SRS_Relative/ICFP_2010_relative/3729.xml . 337.0 / 300.0 . 194.5 / 60.0 . 646.2 / 300.0 . 469.4 / 300.0
SRS_Relative/ICFP_2010_relative/3746.xml . 390.6 / 300.0 . 80.9 / 60.5 . 812.1 / 300.0 . 477.8 / 300.1
SRS_Relative/ICFP_2010_relative/3762.xml . 299.9 / 300.0 . 81.2 / 60.4 . 1002.8 / 300.0 . 428.5 / 300.0
SRS_Relative/ICFP_2010_relative/3770.xml . 411.9 / 300.0 . 174.3 / 59.9 . 737.1 / 300.0 . 452.8 / 300.1
SRS_Relative/ICFP_2010_relative/3786.xml . 431.1 / 300.0 . 180.4 / 60.2 . 769.8 / 300.0 . 446.4 / 300.0
SRS_Relative/ICFP_2010_relative/3817.xml . 292.9 / 300.0 . 116.5 / 60.2 . 891.5 / 300.0 . 394.1 / 300.0
SRS_Relative/ICFP_2010_relative/3831.xml . 138.0 / 300.0 . 167.6 / 60.6 . 1036.2 / 300.0 YES 126.7 / 39.3
SRS_Relative/ICFP_2010_relative/3842.xml . 384.0 / 300.0 . 168.1 / 59.9 . 761.4 / 300.0 . 455.3 / 300.0
SRS_Relative/ICFP_2010_relative/3856.xml . 300.4 / 300.0 . 198.9 / 60.1 . 849.8 / 300.0 YES 152.1 / 59.4
SRS_Relative/ICFP_2010_relative/3861.xml . 235.3 / 300.0 . 206.9 / 60.1 . 739.5 / 300.0 . 396.9 / 300.1
SRS_Relative/ICFP_2010_relative/3865.xml . 256.6 / 300.0 . 107.6 / 60.3 . 691.6 / 300.0 . 451.0 / 300.1
SRS_Relative/ICFP_2010_relative/3916.xml . 31.7 / 54.9 . 116.4 / 59.6 . 739.2 / 300.0 . 0.5 / 2.3
SRS_Relative/ICFP_2010_relative/3930.xml . 108.7 / 300.0 . 193.5 / 59.9 . 1027.6 / 300.0 . 423.4 / 300.0
SRS_Relative/ICFP_2010_relative/3939.xml . 417.2 / 300.0 . 127.0 / 59.7 . 905.0 / 300.0 . 413.9 / 300.0
SRS_Relative/ICFP_2010_relative/3989.xml . 293.1 / 300.0 . 79.6 / 60.8 . 1003.5 / 300.0 . 455.0 / 300.1
SRS_Relative/ICFP_2010_relative/3995.xml . 261.5 / 300.0 . 83.6 / 60.5 . 985.9 / 300.1 . 428.5 / 300.1
SRS_Relative/ICFP_2010_relative/4002.xml . 267.0 / 300.0 . 111.7 / 59.7 . 767.8 / 300.0 . 391.4 / 300.0
SRS_Relative/ICFP_2010_relative/4017.xml . 322.6 / 300.0 . 115.8 / 60.1 . 767.0 / 300.0 . 435.2 / 300.0
SRS_Relative/ICFP_2010_relative/4029.xml . 168.1 / 300.0 . 113.6 / 59.6 . 882.7 / 300.0 . 423.0 / 300.0
SRS_Relative/ICFP_2010_relative/4036.xml . 359.5 / 300.0 . 99.8 / 60.8 . 891.3 / 300.0 YES 176.5 / 53.7
SRS_Relative/ICFP_2010_relative/4046.xml . 31.5 / 34.4 . 98.2 / 60.8 . 845.8 / 300.0 . 0.4 / 1.9
SRS_Relative/ICFP_2010_relative/4051.xml . 195.7 / 300.0 . 90.9 / 60.3 . 1057.4 / 300.0 YES 224.5 / 97.8
SRS_Relative/ICFP_2010_relative/4057.xml . 268.8 / 300.0 . 195.0 / 60.8 . 635.7 / 300.0 . 420.3 / 300.1
SRS_Relative/ICFP_2010_relative/4074.xml . 216.3 / 300.0 . 198.6 / 59.9 . 826.7 / 300.0 . 432.0 / 300.1
SRS_Relative/ICFP_2010_relative/4106.xml . 272.2 / 300.0 . 84.2 / 60.4 . 775.5 / 300.0 . 374.6 / 300.0
SRS_Relative/ICFP_2010_relative/41378.xml . 351.2 / 300.0 . 141.6 / 71.7 . 861.0 / 300.0 . 470.2 / 300.1
SRS_Relative/ICFP_2010_relative/4141.xml . 333.8 / 300.0 . 110.7 / 60.6 . 1049.0 / 300.0 . 479.9 / 300.0
SRS_Relative/ICFP_2010_relative/4157.xml . 240.5 / 300.0 . 112.4 / 60.4 . 993.8 / 300.0 . 468.4 / 300.1
SRS_Relative/ICFP_2010_relative/4181.xml . 252.4 / 300.0 . 145.1 / 60.8 . 616.4 / 300.0 YES 254.7 / 96.1
SRS_Relative/ICFP_2010_relative/4200.xml . 153.5 / 300.0 . 198.6 / 60.0 . 827.1 / 300.0 . 494.3 / 300.0
SRS_Relative/ICFP_2010_relative/4248.xml . 443.3 / 300.0 . 194.0 / 60.0 . 829.5 / 300.0 . 457.4 / 300.0
SRS_Relative/ICFP_2010_relative/4282.xml . 422.9 / 300.0 . 182.8 / 60.5 . 751.2 / 300.0 . 471.3 / 300.0
SRS_Relative/ICFP_2010_relative/4374.xml . 179.9 / 300.0 . 194.0 / 59.9 . 789.6 / 300.0 . 487.4 / 300.0
SRS_Relative/ICFP_2010_relative/4412.xml . 127.2 / 300.0 . 78.5 / 59.9 . 550.3 / 300.1 YES 183.4 / 55.9
SRS_Relative/ICFP_2010_relative/4484.xml . 217.5 / 300.0 . 100.0 / 59.7 . 841.1 / 300.0 . 392.0 / 300.0
SRS_Relative/ICFP_2010_relative/4487.xml . 236.0 / 300.0 . 146.5 / 60.6 . 785.9 / 300.0 . 437.6 / 300.1
SRS_Relative/ICFP_2010_relative/4816.xml . 300.3 / 300.0 . 194.3 / 60.0 . 805.1 / 300.0 YES 290.1 / 94.3
SRS_Relative/ICFP_2010_relative/4819.xml . 204.6 / 300.1 . 199.5 / 60.0 . 757.8 / 300.0 YES 111.9 / 41.0
SRS_Relative/ICFP_2010_relative/4824.xml . 198.3 / 300.1 . 80.7 / 60.5 . 996.5 / 300.0 . 573.7 / 300.1
SRS_Relative/ICFP_2010_relative/4827.xml . 334.8 / 300.0 . 191.0 / 59.9 . 829.0 / 300.0 . 465.8 / 300.0
SRS_Relative/ICFP_2010_relative/4840.xml . 260.2 / 300.0 . 193.9 / 60.0 . 888.3 / 300.0 . 458.5 / 300.1
SRS_Relative/ICFP_2010_relative/4847.xml . 322.5 / 300.0 . 170.7 / 60.1 . 766.8 / 300.1 . 438.7 / 300.1
SRS_Relative/ICFP_2010_relative/4854.xml . 309.6 / 300.0 . 104.1 / 60.4 . 702.8 / 300.0 . 498.1 / 300.1
SRS_Relative/ICFP_2010_relative/4893.xml . 226.3 / 300.1 . 156.3 / 60.9 . 1052.5 / 300.0 . 585.0 / 300.1
SRS_Relative/ICFP_2010_relative/4920.xml . 381.7 / 300.0 . 193.9 / 60.0 . 690.8 / 300.0 . 468.6 / 300.0
SRS_Relative/ICFP_2010_relative/4934.xml . 214.0 / 300.0 . 195.4 / 60.0 . 977.1 / 300.0 . 489.6 / 300.1
SRS_Relative/ICFP_2010_relative/4938.xml . 308.8 / 300.0 . 142.0 / 59.7 . 858.0 / 300.0 . 493.3 / 300.0
SRS_Relative/ICFP_2010_relative/4943.xml . 387.2 / 300.0 . 145.0 / 59.7 . 875.4 / 300.0 . 421.6 / 300.0
SRS_Relative/ICFP_2010_relative/4953.xml . 152.1 / 300.0 . 86.1 / 59.6 . 1017.0 / 300.0 . 466.1 / 300.0
SRS_Relative/ICFP_2010_relative/4964.xml . 342.7 / 300.0 . 93.3 / 60.5 . 619.6 / 300.0 . 437.2 / 300.0
SRS_Relative/ICFP_2010_relative/4970.xml . 20.9 / 25.9 . 125.2 / 59.5 . 807.0 / 300.0 . 0.4 / 0.3
SRS_Relative/ICFP_2010_relative/4979.xml . 374.1 / 300.0 . 169.6 / 60.0 . 741.4 / 300.0 . 457.9 / 300.1
SRS_Relative/ICFP_2010_relative/4991.xml . 348.0 / 300.0 . 185.0 / 60.1 . 1028.5 / 300.0 . 410.3 / 300.0
SRS_Relative/ICFP_2010_relative/5011.xml . 31.0 / 69.4 . 72.6 / 60.4 . 1058.8 / 300.0 . 0.4 / 0.7
SRS_Relative/ICFP_2010_relative/5076.xml . 375.6 / 300.0 . 113.6 / 60.2 . 779.2 / 300.0 . 317.4 / 300.0
SRS_Relative/ICFP_2010_relative/5109.xml . 134.6 / 300.1 . 202.9 / 59.9 . 793.0 / 300.0 YES 123.4 / 41.9
SRS_Relative/ICFP_2010_relative/5130.xml . 282.8 / 300.1 . 198.6 / 60.0 . 1035.7 / 300.0 YES 155.1 / 70.9
SRS_Relative/ICFP_2010_relative/54097.xml . 417.0 / 300.0 . 156.1 / 72.7 . 900.7 / 300.0 . 348.7 / 300.1
SRS_Relative/ICFP_2010_relative/63142.xml . 163.9 / 300.0 . 181.2 / 59.7 . 1007.4 / 300.0 . 533.9 / 300.0
SRS_Relative/ICFP_2010_relative/64160.xml . 303.6 / 300.0 . 183.2 / 59.7 . 1029.8 / 300.0 . 525.9 / 300.1
SRS_Relative/ICFP_2010_relative/88143.xml . 266.9 / 300.0 . 157.7 / 61.0 . 677.7 / 300.0 YES 59.4 / 32.2
SRS_Relative/ICFP_2010_relative/88172.xml . 313.4 / 300.0 . 182.2 / 60.0 . 998.3 / 300.1 . 517.2 / 300.0
SRS_Relative/ICFP_2010_relative/91242.xml . 429.9 / 300.0 . 121.1 / 60.7 . 978.4 / 300.1 . 445.7 / 300.1
SRS_Relative/ICFP_2010_relative/97888.xml . 221.6 / 300.0 . 187.9 / 62.8 . 841.3 / 300.0 . 474.6 / 300.1
SRS_Relative/ICFP_2010_relative/97901.xml . 223.4 / 300.1 . 185.2 / 63.2 . 745.1 / 300.0 . 417.4 / 300.1
SRS_Relative/ICFP_2010_relative/97917.xml . 335.1 / 300.0 . 87.1 / 66.9 . 648.8 / 300.0 . 469.1 / 300.1
SRS_Relative/ICFP_2010_relative/97929.xml . 311.3 / 300.0 . 100.5 / 65.2 . 659.1 / 300.0 . 378.0 / 300.0
SRS_Relative/Mixed_relative_SRS/dup02.xml YES 3.6 / 3.6 . 168.6 / 60.1 YES 161.0 / 70.8 YES 60.3 / 19.9
SRS_Relative/Mixed_relative_SRS/dup03.xml YES 1.7 / 3.7 . 102.0 / 59.8 YES 19.5 / 6.3 YES 62.5 / 20.2
SRS_Relative/Mixed_relative_SRS/dup04.xml . 0.1 / 0.7 . 193.1 / 59.4 YES 136.2 / 57.4 YES 246.1 / 83.7
SRS_Relative/Mixed_relative_SRS/un01.xml . 0.0 / 0.3 . 147.1 / 59.6 . 939.3 / 300.1 YES 39.1 / 11.8
SRS_Relative/Mixed_relative_SRS/un03.xml . 2.4 / 5.0 . 182.2 / 60.4 YES 287.4 / 102.0 . 441.0 / 300.1
SRS_Relative/Mixed_relative_SRS/zr01.xml YES 0.0 / 0.0 YES 6.1 / 2.7 YES 7.4 / 3.0 YES 7.2 / 3.2
SRS_Relative/Mixed_relative_SRS/zr02.xml YES 0.0 / 0.3 YES 16.7 / 5.0 YES 14.3 / 6.7 YES 15.0 / 18.8
SRS_Relative/Mixed_relative_SRS/zr02new.xml YES 0.0 / 0.7 YES 25.3 / 7.0 YES 26.1 / 7.2 YES 15.1 / 21.9
SRS_Relative/Mixed_relative_SRS/zr03.xml YES 0.0 / 0.2 YES 2.7 / 1.7 YES 2.7 / 0.9 YES 3.6 / 2.7
SRS_Relative/Mixed_relative_SRS/zr04.xml YES 0.0 / 0.3 . 169.8 / 59.5 YES 42.8 / 37.1 YES 30.4 / 27.5
SRS_Relative/Mixed_relative_SRS/zr04new.xml YES 0.0 / 0.8 . 106.0 / 60.1 YES 36.9 / 11.4 YES 30.8 / 15.0
SRS_Relative/Mixed_relative_SRS/zr05.xml YES 0.0 / 0.2 YES 4.0 / 2.1 YES 8.5 / 7.7 YES 5.3 / 2.4
SRS_Relative/Mixed_relative_SRS/zr06.xml YES 0.0 / 0.1 YES 3.8 / 1.2 YES 10.0 / 7.3 YES 8.4 / 13.2
SRS_Relative/Mixed_relative_SRS/zr07.xml YES 0.0 / 0.1 YES 11.4 / 2.6 YES 9.2 / 2.4 YES 14.5 / 18.5
SRS_Relative/Mixed_relative_SRS/zr08.xml YES 0.0 / 0.0 YES 5.8 / 5.3 YES 4.3 / 1.5 YES 10.7 / 12.8
SRS_Relative/Mixed_relative_SRS/zr09.xml YES 0.0 / 0.4 YES 7.1 / 3.7 YES 8.1 / 4.3 YES 9.3 / 14.8
SRS_Relative/Mixed_relative_SRS/zr10.xml . 0.0 / 0.5 . 173.4 / 59.7 YES 23.6 / 15.2 YES 22.6 / 8.9
SRS_Relative/Mixed_relative_SRS/zr11.xml . 0.0 / 0.2 YES 11.3 / 3.3 YES 18.4 / 13.1 YES 19.4 / 24.9
SRS_Relative/Mixed_relative_SRS/zr12.xml YES 0.0 / 0.0 YES 8.4 / 2.5 YES 9.7 / 3.9 YES 9.6 / 5.2
SRS_Relative/Mixed_relative_SRS/zr13.xml . 0.0 / 0.2 NO 2.6 / 1.0 . 876.0 / 300.0 NO 2.8 / 2.9
SRS_Relative/Waldmann_06_relative/r1.xml . 0.0 / 0.6 . 125.7 / 59.3 . 759.6 / 300.1 . 0.2 / 0.9
SRS_Relative/Waldmann_06_relative/r10.xml . 0.0 / 0.2 . 180.5 / 60.3 . 975.2 / 300.1 YES 486.2 / 191.3
SRS_Relative/Waldmann_06_relative/r2.xml . 0.0 / 0.3 YES 19.3 / 5.8 . 619.5 / 300.1 . 0.2 / 0.2
SRS_Relative/Waldmann_06_relative/r3.xml . 0.0 / 0.1 YES 3.6 / 1.3 YES 85.7 / 27.5 YES 46.2 / 15.7
SRS_Relative/Waldmann_06_relative/r4.xml . 0.0 / 0.3 . 182.5 / 59.7 . 1000.7 / 300.1 . 710.5 / 300.1
SRS_Relative/Waldmann_06_relative/r5.xml . 0.0 / 0.1 YES 16.8 / 4.4 YES 69.8 / 21.5 YES 36.0 / 12.3
SRS_Relative/Waldmann_06_relative/r6.xml . 0.0 / 0.5 YES 8.0 / 3.4 YES 14.6 / 4.8 YES 15.9 / 6.2
SRS_Relative/Waldmann_06_relative/r7.xml . 0.0 / 0.1 YES 5.5 / 1.7 YES 14.1 / 12.1 YES 4.4 / 4.5
SRS_Relative/Waldmann_06_relative/r8.xml . 0.0 / 0.2 YES 11.7 / 3.2 YES 209.3 / 63.3 YES 32.0 / 23.1
SRS_Relative/Waldmann_06_relative/r9.xml . 0.0 / 0.3 YES 2.6 / 1.8 YES 49.1 / 16.1 YES 34.2 / 12.3
SRS_Relative/Waldmann_06_relative/rbeans.xml . 0.0 / 0.2 . 94.0 / 59.3 . 824.1 / 300.0 . 0.3 / 1.0
SRS_Relative/Zantema_06_relative/cars.xml . 0.0 / 0.1 . 108.1 / 60.0 . 837.1 / 300.0 . 968.8 / 300.1
SRS_Relative/Zantema_06_relative/rel01.xml YES 0.0 / 0.1 YES 6.8 / 3.0 YES 7.0 / 5.1 YES 7.9 / 5.0
SRS_Relative/Zantema_06_relative/rel02.xml . 0.0 / 0.5 . 183.0 / 59.3 YES 630.6 / 206.2 YES 22.7 / 21.3
SRS_Relative/Zantema_06_relative/rel03.xml . 0.0 / 0.1 . 184.7 / 59.7 . 745.2 / 300.0 . 821.0 / 300.1
SRS_Relative/Zantema_06_relative/rel04.xml . 0.0 / 0.2 YES 23.5 / 6.7 YES 24.3 / 8.8 YES 23.0 / 15.7
SRS_Relative/Zantema_06_relative/rel05.xml . 0.0 / 0.1 YES 13.2 / 4.4 YES 15.3 / 9.6 YES 22.2 / 25.0
SRS_Relative/Zantema_06_relative/rel06.xml YES 0.0 / 0.1 . 136.6 / 59.8 . 932.8 / 300.0 YES 41.9 / 21.0
SRS_Relative/Zantema_06_relative/rel07.xml . 0.0 / 0.2 . 181.3 / 61.9 . 704.9 / 300.2 . 866.7 / 300.1
SRS_Relative/Zantema_06_relative/rel08.xml . 1.0 / 1.0 . 200.4 / 59.4 YES 12.1 / 9.0 YES 13.3 / 11.8
SRS_Relative/Zantema_06_relative/rel09.xml . 0.0 / 0.6 . 148.5 / 59.9 YES 81.6 / 42.3 YES 43.5 / 19.5
SRS_Relative/Zantema_06_relative/rel10.xml . 0.0 / 1.1 YES 15.8 / 4.2 YES 42.1 / 16.8 YES 54.2 / 22.7
SRS_Relative/Zantema_06_relative/rel11.xml . 0.0 / 0.1 . 181.1 / 59.7 . 789.1 / 300.1 . 854.5 / 300.1
SRS_Relative/Zantema_06_relative/rel12.xml . 0.0 / 0.1 . 127.3 / 59.7 . 730.6 / 300.1 . 643.9 / 300.1
SRS_Relative/Zantema_06_relative/rel13.xml YES 0.0 / 0.1 YES 20.7 / 5.8 YES 21.4 / 14.4 YES 13.8 / 15.6