Overview of job-results

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

Statistics

5260 pairs, 1078452.9 / 683824.1 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR OTHER / Nothing
The results are displayed in the following pattern: cpu-time / wallclock-time (complexity-score)
Jobs SRS Stand 37909
Solver NaTT TTT2 mu-term 5.13 AProVE_JRE2
Scores 204 607 139 839
SRS_Standard/Bouchare_06/01.xml 0.0 / 0.2 s 36.7 / 9.6 s 299.9 / 300.0 s 6.2 / 1.9 s
SRS_Standard/Bouchare_06/02.xml 0.0 / 0.1 s 3.1 / 1.0 s 299.2 / 300.0 s 6.8 / 2.1 s
SRS_Standard/Bouchare_06/03.xml 0.0 / 0.2 s 27.6 / 7.2 s 299.9 / 300.0 s 38.0 / 10.1 s
SRS_Standard/Bouchare_06/04.xml 0.0 / 0.2 s 38.8 / 9.8 s 299.9 / 300.0 s 5.3 / 1.7 s
SRS_Standard/Bouchare_06/05.xml 0.0 / 0.1 s 36.1 / 9.4 s 300.0 / 300.0 s 48.1 / 12.8 s
SRS_Standard/Bouchare_06/06.xml 0.0 / 0.5 s 32.3 / 8.4 s 299.9 / 300.0 s 32.3 / 8.9 s
SRS_Standard/Bouchare_06/07.xml 0.0 / 0.1 s 31.0 / 8.1 s 2.0 / 2.1 s 52.4 / 14.0 s
SRS_Standard/Bouchare_06/08.xml 0.0 / 0.2 s 0.7 / 0.4 s 298.5 / 300.1 s 1.5 / 0.7 s
SRS_Standard/Bouchare_06/09.xml 0.0 / 0.1 s 0.9 / 0.5 s 299.8 / 300.0 s 1.8 / 0.8 s
SRS_Standard/Bouchare_06/10.xml 0.0 / 0.2 s 50.2 / 13.0 s 299.8 / 300.0 s 73.0 / 19.3 s
SRS_Standard/Bouchare_06/11.xml 0.0 / 0.1 s 33.3 / 8.7 s 300.0 / 300.0 s 66.1 / 17.4 s
SRS_Standard/Bouchare_06/12.xml 0.0 / 0.1 s 30.7 / 8.0 s 300.0 / 300.0 s 56.7 / 15.1 s
SRS_Standard/Bouchare_06/13.xml 0.0 / 0.2 s 39.9 / 10.3 s 299.9 / 300.0 s 35.8 / 9.6 s
SRS_Standard/Bouchare_06/14.xml 0.0 / 0.1 s 37.3 / 9.7 s 300.0 / 300.0 s 8.2 / 2.4 s
SRS_Standard/Bouchare_06/15.xml 0.0 / 0.1 s 53.4 / 13.8 s 299.8 / 300.0 s 7.5 / 2.3 s
SRS_Standard/Bouchare_06/16.xml 0.0 / 0.1 s 29.0 / 7.6 s 299.9 / 300.0 s 7.3 / 1.3 s
SRS_Standard/Bouchare_06/17.xml 0.0 / 0.1 s 30.4 / 7.9 s 300.0 / 300.0 s 7.0 / 2.1 s
SRS_Standard/Bouchare_06/18.xml 0.0 / 0.2 s 38.2 / 9.9 s 299.9 / 300.0 s 37.0 / 9.9 s
SRS_Standard/Gebhardt_06/01.xml 0.0 / 0.2 s 235.5 / 59.8 s 299.7 / 300.0 s 1198.8 / 300.1 s
SRS_Standard/Gebhardt_06/02.xml 0.0 / 0.2 s 257.7 / 59.7 s 305.8 / 300.0 s 1190.5 / 300.1 s
SRS_Standard/Gebhardt_06/03.xml 0.0 / 0.3 s 235.3 / 59.8 s 300.1 / 300.0 s 48.4 / 12.8 s
SRS_Standard/Gebhardt_06/04.xml 0.0 / 0.5 s 235.2 / 59.7 s 299.8 / 300.0 s 55.1 / 14.6 s
SRS_Standard/Gebhardt_06/05.xml 0.0 / 0.3 s 235.4 / 59.8 s 302.4 / 300.0 s 71.9 / 18.7 s
SRS_Standard/Gebhardt_06/06.xml 0.0 / 0.2 s 273.9 / 59.7 s 299.5 / 300.0 s 1200.3 / 296.0 s
SRS_Standard/Gebhardt_06/07.xml 0.0 / 0.3 s 240.0 / 59.7 s 300.0 / 300.0 s 44.2 / 11.8 s
SRS_Standard/Gebhardt_06/08.xml 0.0 / 0.3 s 235.2 / 59.7 s 300.1 / 300.1 s 46.5 / 12.3 s
SRS_Standard/Gebhardt_06/09.xml 0.0 / 0.2 s 81.2 / 20.5 s 218.8 / 218.9 s 263.4 / 66.1 s
SRS_Standard/Gebhardt_06/10.xml 0.0 / 0.3 s 239.5 / 59.8 s 299.9 / 300.0 s 1188.5 / 300.1 s
SRS_Standard/Gebhardt_06/11.xml 0.0 / 0.4 s 75.0 / 19.2 s 299.9 / 300.1 s 39.1 / 10.4 s
SRS_Standard/Gebhardt_06/12.xml 0.0 / 0.3 s 236.2 / 59.8 s 299.9 / 300.0 s 69.7 / 18.1 s
SRS_Standard/Gebhardt_06/13.xml 0.0 / 0.3 s 240.4 / 60.0 s 299.9 / 300.0 s 1200.3 / 298.6 s
SRS_Standard/Gebhardt_06/14.xml 0.0 / 0.2 s 160.3 / 40.8 s 299.6 / 300.0 s 44.0 / 11.7 s
SRS_Standard/Gebhardt_06/15.xml 0.0 / 0.3 s 235.2 / 59.8 s 299.8 / 300.0 s 89.4 / 23.1 s
SRS_Standard/Gebhardt_06/16.xml 0.0 / 0.3 s 248.2 / 59.8 s 299.6 / 300.0 s 34.2 / 9.2 s
SRS_Standard/Gebhardt_06/17.xml 0.0 / 0.3 s 239.0 / 59.8 s 299.9 / 300.0 s 49.5 / 13.1 s
SRS_Standard/Gebhardt_06/18.xml 0.0 / 0.3 s 240.9 / 59.8 s 299.8 / 300.0 s 315.1 / 76.2 s
SRS_Standard/Gebhardt_06/19.xml 0.0 / 0.6 s 239.5 / 59.9 s 299.8 / 300.0 s 1197.0 / 300.1 s
SRS_Standard/Gebhardt_06/20.xml 0.0 / 0.7 s 235.4 / 59.8 s 299.8 / 300.0 s 1197.1 / 300.1 s
SRS_Standard/ICFP_2010/107193.xml 440.9 / 300.0 s 132.1 / 61.9 s 301.6 / 300.0 s 618.2 / 300.0 s
SRS_Standard/ICFP_2010/107220.xml 419.2 / 300.0 s 131.8 / 61.6 s 301.3 / 300.0 s 623.7 / 300.0 s
SRS_Standard/ICFP_2010/107236.xml 302.9 / 300.0 s 132.0 / 61.8 s 301.5 / 300.0 s 649.5 / 300.1 s
SRS_Standard/ICFP_2010/123759.xml 437.9 / 300.0 s 130.7 / 60.4 s 295.6 / 300.0 s 547.8 / 300.0 s
SRS_Standard/ICFP_2010/124211.xml 300.7 / 300.0 s 130.6 / 60.4 s 298.6 / 300.0 s 569.0 / 300.0 s
SRS_Standard/ICFP_2010/124269.xml 417.4 / 300.0 s 130.7 / 60.4 s 298.6 / 300.0 s 563.8 / 300.1 s
SRS_Standard/ICFP_2010/124791.xml 419.6 / 300.0 s 130.6 / 60.4 s 298.6 / 300.0 s 577.7 / 300.0 s
SRS_Standard/ICFP_2010/127538.xml 300.1 / 300.0 s 130.9 / 60.7 s 300.4 / 300.0 s 78.1 / 20.2 s
SRS_Standard/ICFP_2010/128056.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.5 / 300.0 s 687.8 / 300.0 s
SRS_Standard/ICFP_2010/128182.xml 300.1 / 300.0 s 130.9 / 60.7 s 300.4 / 300.0 s 57.7 / 15.1 s
SRS_Standard/ICFP_2010/128280.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.5 / 300.0 s 63.4 / 16.5 s
SRS_Standard/ICFP_2010/128430.xml 300.1 / 300.0 s 130.9 / 60.7 s 300.4 / 300.0 s 64.3 / 16.7 s
SRS_Standard/ICFP_2010/128486.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.3 / 300.0 s 58.3 / 15.2 s
SRS_Standard/ICFP_2010/128515.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.6 / 300.0 s 65.0 / 16.8 s
SRS_Standard/ICFP_2010/128550.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.5 / 300.0 s 68.4 / 17.8 s
SRS_Standard/ICFP_2010/128620.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.5 / 300.0 s 67.4 / 17.4 s
SRS_Standard/ICFP_2010/128691.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.3 / 300.0 s 64.2 / 16.7 s
SRS_Standard/ICFP_2010/130161.xml 300.1 / 300.0 s 131.7 / 61.5 s 300.9 / 300.0 s 630.0 / 300.1 s
SRS_Standard/ICFP_2010/130304.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.1 / 300.0 s 592.3 / 300.0 s
SRS_Standard/ICFP_2010/130472.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.1 / 300.0 s 620.1 / 300.0 s
SRS_Standard/ICFP_2010/130962.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.0 / 300.0 s 203.6 / 51.7 s
SRS_Standard/ICFP_2010/131633.xml 329.9 / 300.0 s 130.7 / 60.4 s 298.7 / 300.0 s 513.5 / 300.0 s
SRS_Standard/ICFP_2010/131982.xml 438.9 / 300.0 s 130.7 / 60.4 s 297.6 / 300.0 s 519.8 / 300.0 s
SRS_Standard/ICFP_2010/132235.xml 302.0 / 300.0 s 130.6 / 60.4 s 300.3 / 300.0 s 567.7 / 300.0 s
SRS_Standard/ICFP_2010/132478.xml 300.0 / 300.0 s 131.0 / 60.7 s 300.3 / 300.0 s 65.2 / 16.9 s
SRS_Standard/ICFP_2010/132540.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.3 / 300.0 s 66.1 / 17.2 s
SRS_Standard/ICFP_2010/132611.xml 300.1 / 300.0 s 130.7 / 60.4 s 300.4 / 300.0 s 34.8 / 9.2 s
SRS_Standard/ICFP_2010/132622.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.5 / 300.0 s 67.6 / 17.5 s
SRS_Standard/ICFP_2010/132720.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.3 / 300.0 s 58.2 / 15.2 s
SRS_Standard/ICFP_2010/132738.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.5 / 300.0 s 62.9 / 16.4 s
SRS_Standard/ICFP_2010/132782.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.5 / 300.0 s 64.4 / 16.7 s
SRS_Standard/ICFP_2010/132833.xml 300.0 / 300.0 s 131.0 / 60.7 s 300.5 / 300.0 s 65.6 / 17.0 s
SRS_Standard/ICFP_2010/132848.xml 300.1 / 300.0 s 139.3 / 61.5 s 301.0 / 300.0 s 638.0 / 300.1 s
SRS_Standard/ICFP_2010/132864.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.4 / 300.0 s 65.2 / 16.9 s
SRS_Standard/ICFP_2010/132920.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.4 / 300.0 s 61.0 / 15.8 s
SRS_Standard/ICFP_2010/132957.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.5 / 300.0 s 65.9 / 17.1 s
SRS_Standard/ICFP_2010/132969.xml 421.3 / 300.0 s 130.6 / 60.4 s 298.6 / 300.0 s 554.9 / 300.0 s
SRS_Standard/ICFP_2010/133010.xml 300.0 / 300.0 s 131.0 / 60.7 s 300.4 / 300.0 s 67.8 / 17.6 s
SRS_Standard/ICFP_2010/133079.xml 300.1 / 300.0 s 131.8 / 61.5 s 300.9 / 300.0 s 623.8 / 300.1 s
SRS_Standard/ICFP_2010/133159.xml 411.9 / 300.0 s 130.6 / 60.4 s 298.8 / 300.0 s 581.0 / 300.1 s
SRS_Standard/ICFP_2010/133236.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.0 / 300.0 s 614.1 / 300.1 s
SRS_Standard/ICFP_2010/133432.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.0 / 300.0 s 585.8 / 300.0 s
SRS_Standard/ICFP_2010/133486.xml 362.8 / 300.0 s 130.7 / 60.4 s 298.7 / 300.0 s 566.4 / 300.1 s
SRS_Standard/ICFP_2010/133532.xml 300.1 / 300.0 s 132.3 / 61.5 s 301.0 / 300.0 s 626.4 / 300.0 s
SRS_Standard/ICFP_2010/133827.xml 216.8 / 216.8 s 130.6 / 60.4 s 298.7 / 300.0 s 35.6 / 9.4 s
SRS_Standard/ICFP_2010/133881.xml 443.1 / 300.0 s 130.7 / 60.4 s 311.3 / 300.0 s 588.2 / 300.0 s
SRS_Standard/ICFP_2010/134918.xml 301.2 / 300.0 s 130.6 / 60.4 s 298.6 / 300.0 s 591.7 / 300.0 s
SRS_Standard/ICFP_2010/135115.xml 301.8 / 300.0 s 130.7 / 60.4 s 298.5 / 300.0 s 552.7 / 300.0 s
SRS_Standard/ICFP_2010/135328.xml 301.0 / 300.0 s 130.7 / 60.4 s 300.4 / 300.0 s 636.8 / 300.0 s
SRS_Standard/ICFP_2010/135410.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.0 / 300.0 s 664.0 / 300.0 s
SRS_Standard/ICFP_2010/135505.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.0 / 300.0 s 648.7 / 300.1 s
SRS_Standard/ICFP_2010/135601.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.6 / 300.0 s 634.3 / 300.1 s
SRS_Standard/ICFP_2010/135604.xml 383.8 / 300.0 s 130.6 / 60.4 s 298.5 / 300.0 s 519.8 / 300.0 s
SRS_Standard/ICFP_2010/135652.xml 300.1 / 300.0 s 130.6 / 60.4 s 298.7 / 300.0 s 577.6 / 300.0 s
SRS_Standard/ICFP_2010/135659.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.7 / 300.0 s 389.7 / 105.1 s
SRS_Standard/ICFP_2010/135714.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.1 / 300.0 s 590.4 / 300.0 s
SRS_Standard/ICFP_2010/135782.xml 444.2 / 300.0 s 130.7 / 60.4 s 298.8 / 300.0 s 561.8 / 300.0 s
SRS_Standard/ICFP_2010/135936.xml 350.3 / 300.0 s 130.6 / 60.4 s 298.6 / 300.0 s 579.0 / 300.0 s
SRS_Standard/ICFP_2010/136051.xml 304.3 / 300.0 s 130.6 / 60.4 s 298.7 / 300.0 s 514.2 / 300.1 s
SRS_Standard/ICFP_2010/136280.xml 300.0 / 300.0 s 132.3 / 61.5 s 301.0 / 300.0 s 705.9 / 300.0 s
SRS_Standard/ICFP_2010/136323.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.0 / 300.0 s 611.9 / 300.0 s
SRS_Standard/ICFP_2010/136354.xml 406.0 / 300.0 s 131.7 / 61.5 s 300.9 / 300.0 s 612.7 / 300.0 s
SRS_Standard/ICFP_2010/136463.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.0 / 300.0 s 618.2 / 300.1 s
SRS_Standard/ICFP_2010/136497.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.6 / 300.0 s 683.9 / 300.1 s
SRS_Standard/ICFP_2010/136534.xml 300.1 / 300.0 s 131.8 / 61.5 s 300.7 / 300.0 s 715.3 / 300.0 s
SRS_Standard/ICFP_2010/136562.xml 422.7 / 300.0 s 130.6 / 60.4 s 298.4 / 300.0 s 574.4 / 300.0 s
SRS_Standard/ICFP_2010/136571.xml 300.0 / 300.0 s 131.8 / 61.5 s 301.0 / 300.0 s 604.0 / 300.1 s
SRS_Standard/ICFP_2010/136601.xml 300.1 / 300.0 s 131.7 / 61.5 s 299.1 / 300.0 s 661.8 / 300.1 s
SRS_Standard/ICFP_2010/136623.xml 423.3 / 300.0 s 130.6 / 60.4 s 298.7 / 300.0 s 549.4 / 300.0 s
SRS_Standard/ICFP_2010/136693.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.1 / 300.0 s 590.6 / 300.0 s
SRS_Standard/ICFP_2010/136934.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.0 / 300.0 s 587.6 / 300.1 s
SRS_Standard/ICFP_2010/137087.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.0 / 300.0 s 633.2 / 300.0 s
SRS_Standard/ICFP_2010/137136.xml 300.0 / 300.0 s 131.7 / 61.4 s 301.0 / 300.0 s 617.5 / 300.1 s
SRS_Standard/ICFP_2010/137316.xml 300.1 / 300.0 s 131.8 / 61.5 s 300.9 / 300.0 s 622.7 / 300.0 s
SRS_Standard/ICFP_2010/137404.xml 300.5 / 300.0 s 130.6 / 60.4 s 298.5 / 300.0 s 569.9 / 300.1 s
SRS_Standard/ICFP_2010/137621.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.0 / 300.0 s 593.4 / 300.1 s
SRS_Standard/ICFP_2010/137623.xml 95.7 / 95.7 s 130.6 / 60.4 s 300.2 / 300.0 s 36.3 / 9.6 s
SRS_Standard/ICFP_2010/137715.xml 339.5 / 300.0 s 131.8 / 61.5 s 301.7 / 300.0 s 674.9 / 300.0 s
SRS_Standard/ICFP_2010/137799.xml 300.0 / 300.0 s 132.3 / 61.5 s 301.0 / 300.0 s 619.3 / 300.0 s
SRS_Standard/ICFP_2010/137809.xml 302.9 / 300.0 s 130.6 / 60.4 s 298.6 / 300.0 s 573.1 / 300.0 s
SRS_Standard/ICFP_2010/137956.xml 300.0 / 300.0 s 131.8 / 61.5 s 301.0 / 300.0 s 651.4 / 300.1 s
SRS_Standard/ICFP_2010/138089.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.0 / 300.0 s 606.2 / 300.0 s
SRS_Standard/ICFP_2010/138142.xml 64.0 / 64.1 s 130.6 / 60.4 s 298.7 / 300.0 s 33.9 / 9.0 s
SRS_Standard/ICFP_2010/138194.xml 427.1 / 300.0 s 130.6 / 60.3 s 298.5 / 300.0 s 570.1 / 300.0 s
SRS_Standard/ICFP_2010/138254.xml 70.9 / 71.0 s 130.7 / 60.4 s 297.8 / 300.0 s 42.9 / 11.3 s
SRS_Standard/ICFP_2010/138269.xml 300.6 / 300.0 s 130.6 / 60.4 s 298.6 / 300.0 s 528.9 / 300.0 s
SRS_Standard/ICFP_2010/138330.xml 301.8 / 300.0 s 130.7 / 60.4 s 300.1 / 300.0 s 550.4 / 300.0 s
SRS_Standard/ICFP_2010/138468.xml 392.1 / 300.0 s 186.9 / 62.1 s 301.3 / 300.0 s 65.6 / 17.1 s
SRS_Standard/ICFP_2010/138477.xml 428.7 / 300.0 s 130.5 / 60.4 s 298.6 / 300.0 s 573.5 / 300.0 s
SRS_Standard/ICFP_2010/138993.xml 300.0 / 300.0 s 131.0 / 60.7 s 300.8 / 300.0 s 60.3 / 15.7 s
SRS_Standard/ICFP_2010/139004.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.3 / 300.0 s 63.0 / 16.4 s
SRS_Standard/ICFP_2010/139018.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.3 / 300.0 s 74.6 / 19.4 s
SRS_Standard/ICFP_2010/139025.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.3 / 300.0 s 69.1 / 18.0 s
SRS_Standard/ICFP_2010/139036.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.4 / 300.0 s 56.6 / 14.8 s
SRS_Standard/ICFP_2010/139100.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.5 / 300.0 s 59.5 / 15.4 s
SRS_Standard/ICFP_2010/139163.xml 300.0 / 300.0 s 130.9 / 60.7 s 300.4 / 300.0 s 79.5 / 20.5 s
SRS_Standard/ICFP_2010/139167.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.5 / 300.0 s 64.4 / 16.8 s
SRS_Standard/ICFP_2010/139174.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.4 / 300.0 s 62.9 / 16.4 s
SRS_Standard/ICFP_2010/139180.xml 300.1 / 300.0 s 130.9 / 60.7 s 300.6 / 300.0 s 74.8 / 19.4 s
SRS_Standard/ICFP_2010/139185.xml 300.1 / 300.0 s 130.9 / 60.7 s 300.6 / 300.0 s 55.0 / 14.4 s
SRS_Standard/ICFP_2010/139190.xml 300.1 / 300.0 s 131.0 / 60.7 s 301.1 / 300.0 s 61.0 / 15.9 s
SRS_Standard/ICFP_2010/139214.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.4 / 300.0 s 59.4 / 15.5 s
SRS_Standard/ICFP_2010/139236.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.4 / 300.0 s 62.1 / 16.1 s
SRS_Standard/ICFP_2010/139256.xml 300.1 / 300.0 s 130.9 / 60.7 s 300.7 / 300.0 s 74.0 / 19.1 s
SRS_Standard/ICFP_2010/139282.xml 300.1 / 300.0 s 131.1 / 60.7 s 309.4 / 300.0 s 64.9 / 16.9 s
SRS_Standard/ICFP_2010/139310.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.1 / 300.0 s 52.6 / 13.8 s
SRS_Standard/ICFP_2010/139378.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.5 / 300.0 s 63.6 / 16.6 s
SRS_Standard/ICFP_2010/140287.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.5 / 300.0 s 640.8 / 300.0 s
SRS_Standard/ICFP_2010/140318.xml 300.1 / 300.0 s 131.0 / 60.7 s 300.4 / 300.0 s 68.0 / 17.6 s
SRS_Standard/ICFP_2010/140359.xml 300.0 / 300.0 s 131.0 / 60.7 s 300.6 / 300.1 s 63.8 / 16.6 s
SRS_Standard/ICFP_2010/140631.xml 450.4 / 300.0 s 129.8 / 59.7 s 300.3 / 300.0 s 756.6 / 300.0 s
SRS_Standard/ICFP_2010/140639.xml 452.5 / 300.0 s 130.2 / 59.9 s 300.7 / 300.0 s 51.2 / 13.3 s
SRS_Standard/ICFP_2010/140654.xml 450.5 / 300.0 s 216.3 / 60.0 s 300.6 / 300.0 s 73.1 / 19.0 s
SRS_Standard/ICFP_2010/140659.xml 445.6 / 300.0 s 130.2 / 60.0 s 300.7 / 300.0 s 687.4 / 300.0 s
SRS_Standard/ICFP_2010/140664.xml 453.2 / 300.0 s 130.4 / 60.2 s 307.0 / 300.0 s 688.9 / 300.0 s
SRS_Standard/ICFP_2010/142142.xml 452.8 / 300.0 s 130.1 / 59.9 s 300.8 / 300.0 s 47.6 / 12.4 s
SRS_Standard/ICFP_2010/142146.xml 448.3 / 300.0 s 130.5 / 60.2 s 301.0 / 300.0 s 56.2 / 14.6 s
SRS_Standard/ICFP_2010/142150.xml 449.1 / 300.0 s 130.1 / 59.9 s 300.6 / 300.0 s 667.8 / 300.0 s
SRS_Standard/ICFP_2010/142157.xml 443.5 / 300.0 s 130.0 / 59.9 s 306.5 / 300.0 s 707.3 / 300.0 s
SRS_Standard/ICFP_2010/147437.xml 347.7 / 300.0 s 134.9 / 64.6 s 300.6 / 300.0 s 677.7 / 300.0 s
SRS_Standard/ICFP_2010/148543.xml 300.1 / 300.0 s 135.4 / 65.0 s 301.0 / 300.0 s 677.7 / 300.1 s
SRS_Standard/ICFP_2010/149251.xml 420.9 / 300.0 s 134.4 / 64.1 s 298.1 / 300.0 s 708.2 / 300.0 s
SRS_Standard/ICFP_2010/149277.xml 394.6 / 300.0 s 134.9 / 64.5 s 301.4 / 300.0 s 681.4 / 300.0 s
SRS_Standard/ICFP_2010/149297.xml 380.3 / 300.0 s 135.6 / 65.3 s 301.2 / 300.0 s 735.9 / 300.0 s
SRS_Standard/ICFP_2010/149319.xml 300.1 / 300.0 s 134.3 / 63.9 s 300.3 / 300.0 s 622.4 / 300.1 s
SRS_Standard/ICFP_2010/149361.xml 411.8 / 300.1 s 134.8 / 64.5 s 301.4 / 300.0 s 780.1 / 300.0 s
SRS_Standard/ICFP_2010/149415.xml 367.9 / 300.0 s 135.0 / 64.6 s 301.2 / 300.0 s 672.1 / 300.0 s
SRS_Standard/ICFP_2010/149633.xml 303.1 / 300.0 s 135.8 / 64.2 s 301.4 / 300.0 s 690.0 / 300.0 s
SRS_Standard/ICFP_2010/149713.xml 417.6 / 300.0 s 135.1 / 64.7 s 299.2 / 300.0 s 714.7 / 300.0 s
SRS_Standard/ICFP_2010/149849.xml 408.1 / 300.0 s 135.4 / 65.0 s 301.3 / 300.0 s 737.7 / 300.0 s
SRS_Standard/ICFP_2010/149915.xml 415.3 / 300.0 s 134.8 / 64.5 s 301.3 / 300.0 s 638.5 / 300.0 s
SRS_Standard/ICFP_2010/150067.xml 304.6 / 300.0 s 134.9 / 64.5 s 300.5 / 300.0 s 754.4 / 300.1 s
SRS_Standard/ICFP_2010/150188.xml 387.7 / 300.1 s 135.1 / 64.8 s 301.3 / 300.0 s 612.1 / 300.0 s
SRS_Standard/ICFP_2010/150258.xml 386.3 / 300.0 s 134.9 / 64.8 s 301.0 / 300.0 s 703.4 / 300.0 s
SRS_Standard/ICFP_2010/150468.xml 300.1 / 300.0 s 135.3 / 65.0 s 300.6 / 300.0 s 688.5 / 300.0 s
SRS_Standard/ICFP_2010/150630.xml 301.5 / 300.0 s 134.8 / 64.5 s 300.4 / 300.1 s 776.3 / 300.0 s
SRS_Standard/ICFP_2010/150725.xml 309.4 / 300.0 s 134.9 / 64.6 s 301.3 / 300.0 s 742.5 / 300.0 s
SRS_Standard/ICFP_2010/150815.xml 447.6 / 300.0 s 135.5 / 65.2 s 301.3 / 300.0 s 710.0 / 300.1 s
SRS_Standard/ICFP_2010/150839.xml 301.4 / 300.0 s 133.6 / 63.3 s 300.0 / 300.0 s 649.9 / 300.0 s
SRS_Standard/ICFP_2010/150877.xml 300.1 / 300.0 s 134.5 / 64.2 s 300.3 / 300.0 s 730.6 / 300.0 s
SRS_Standard/ICFP_2010/151247.xml 336.4 / 300.1 s 135.4 / 65.1 s 301.3 / 300.0 s 677.1 / 300.0 s
SRS_Standard/ICFP_2010/152694.xml 300.1 / 300.0 s 131.9 / 61.5 s 300.9 / 300.0 s 602.1 / 300.0 s
SRS_Standard/ICFP_2010/152786.xml 300.0 / 300.0 s 131.7 / 61.4 s 300.8 / 300.0 s 607.0 / 300.0 s
SRS_Standard/ICFP_2010/152865.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.7 / 300.0 s 814.0 / 300.1 s
SRS_Standard/ICFP_2010/152949.xml 300.0 / 300.0 s 131.7 / 61.4 s 300.9 / 300.0 s 581.4 / 300.0 s
SRS_Standard/ICFP_2010/153034.xml 300.1 / 300.0 s 131.8 / 61.4 s 301.0 / 300.0 s 622.8 / 300.0 s
SRS_Standard/ICFP_2010/153090.xml 300.1 / 300.0 s 131.8 / 61.5 s 300.9 / 300.0 s 75.0 / 19.4 s
SRS_Standard/ICFP_2010/153170.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.0 / 300.0 s 594.1 / 300.0 s
SRS_Standard/ICFP_2010/153243.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.0 / 300.0 s 611.1 / 300.0 s
SRS_Standard/ICFP_2010/153288.xml 353.4 / 300.0 s 131.8 / 61.5 s 301.7 / 300.0 s 177.5 / 45.5 s
SRS_Standard/ICFP_2010/153371.xml 300.0 / 300.0 s 131.8 / 61.4 s 301.0 / 300.0 s 583.8 / 300.0 s
SRS_Standard/ICFP_2010/153444.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.0 / 300.0 s 604.6 / 300.0 s
SRS_Standard/ICFP_2010/157150.xml 300.1 / 300.0 s 129.9 / 59.7 s 314.6 / 300.0 s 226.4 / 57.8 s
SRS_Standard/ICFP_2010/157161.xml 309.3 / 300.0 s 162.9 / 60.2 s 305.9 / 300.0 s 683.5 / 300.0 s
SRS_Standard/ICFP_2010/157275.xml 300.1 / 300.0 s 131.8 / 61.4 s 301.0 / 300.0 s 84.6 / 21.8 s
SRS_Standard/ICFP_2010/157388.xml 271.4 / 267.1 s 234.1 / 60.2 s 299.7 / 300.0 s 117.1 / 29.9 s
SRS_Standard/ICFP_2010/157436.xml 92.8 / 90.5 s 229.5 / 60.1 s 299.0 / 300.0 s 690.2 / 222.2 s
SRS_Standard/ICFP_2010/157466.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.1 / 300.0 s 690.1 / 300.0 s
SRS_Standard/ICFP_2010/157593.xml 6.5 / 6.5 s 254.3 / 60.8 s 5.5 / 5.6 s 83.1 / 21.4 s
SRS_Standard/ICFP_2010/157603.xml 300.1 / 300.0 s 131.9 / 61.5 s 301.0 / 300.0 s 578.8 / 300.0 s
SRS_Standard/ICFP_2010/157713.xml 300.1 / 300.0 s 132.4 / 61.5 s 301.0 / 300.0 s 587.7 / 300.0 s
SRS_Standard/ICFP_2010/158152.xml 26.0 / 24.2 s 259.3 / 61.0 s 299.7 / 300.0 s 894.0 / 287.9 s
SRS_Standard/ICFP_2010/158208.xml 300.1 / 300.0 s 131.8 / 61.5 s 300.9 / 300.0 s 622.6 / 300.0 s
SRS_Standard/ICFP_2010/158342.xml 300.1 / 300.0 s 131.6 / 61.5 s 300.9 / 300.0 s 596.9 / 300.0 s
SRS_Standard/ICFP_2010/158477.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.0 / 300.0 s 643.0 / 300.0 s
SRS_Standard/ICFP_2010/158620.xml 300.1 / 300.0 s 131.8 / 61.4 s 300.9 / 300.0 s 65.8 / 17.1 s
SRS_Standard/ICFP_2010/159731.xml 9.8 / 9.2 s 15.4 / 4.2 s 299.6 / 300.0 s 159.9 / 40.9 s
SRS_Standard/ICFP_2010/160068.xml 359.9 / 300.0 s 131.9 / 61.6 s 301.1 / 300.0 s 620.3 / 300.0 s
SRS_Standard/ICFP_2010/160210.xml 382.3 / 300.0 s 132.8 / 62.4 s 301.1 / 300.0 s 663.8 / 300.0 s
SRS_Standard/ICFP_2010/160234.xml 10.0 / 10.0 s 224.0 / 72.9 s 13.9 / 14.1 s 56.8 / 14.8 s
SRS_Standard/ICFP_2010/160254.xml 305.2 / 300.0 s 132.2 / 61.8 s 301.3 / 300.0 s 613.1 / 300.1 s
SRS_Standard/ICFP_2010/160263.xml 1.0 / 1.0 s 245.2 / 60.8 s 300.0 / 300.0 s 91.1 / 23.6 s
SRS_Standard/ICFP_2010/160324.xml 403.6 / 300.0 s 132.0 / 61.7 s 301.2 / 300.0 s 576.8 / 300.0 s
SRS_Standard/ICFP_2010/160364.xml 415.7 / 300.0 s 132.9 / 62.6 s 301.1 / 300.0 s 661.7 / 300.1 s
SRS_Standard/ICFP_2010/160398.xml 426.2 / 300.0 s 132.0 / 61.6 s 301.2 / 300.0 s 606.3 / 300.0 s
SRS_Standard/ICFP_2010/160427.xml 438.3 / 300.0 s 132.2 / 61.8 s 301.4 / 300.0 s 605.5 / 300.0 s
SRS_Standard/ICFP_2010/160462.xml 306.3 / 300.0 s 132.3 / 61.9 s 301.5 / 300.0 s 626.3 / 300.0 s
SRS_Standard/ICFP_2010/160475.xml 403.9 / 300.0 s 132.5 / 62.1 s 301.5 / 300.0 s 623.8 / 300.0 s
SRS_Standard/ICFP_2010/160660.xml 431.3 / 300.0 s 131.9 / 61.6 s 301.0 / 300.0 s 590.8 / 300.0 s
SRS_Standard/ICFP_2010/161519.xml 300.1 / 300.0 s 132.2 / 61.9 s 311.5 / 300.0 s 197.3 / 50.4 s
SRS_Standard/ICFP_2010/161533.xml 411.6 / 300.0 s 132.7 / 62.5 s 301.1 / 300.0 s 649.9 / 300.0 s
SRS_Standard/ICFP_2010/161593.xml 300.1 / 300.0 s 132.0 / 61.7 s 301.2 / 300.0 s 609.5 / 300.1 s
SRS_Standard/ICFP_2010/161864.xml 335.4 / 300.0 s 131.7 / 61.4 s 301.1 / 300.0 s 576.7 / 300.1 s
SRS_Standard/ICFP_2010/161917.xml 436.8 / 300.0 s 132.4 / 62.1 s 301.3 / 300.0 s 642.2 / 300.0 s
SRS_Standard/ICFP_2010/161930.xml 382.6 / 300.0 s 131.9 / 61.7 s 301.2 / 300.0 s 74.9 / 19.3 s
SRS_Standard/ICFP_2010/162016.xml 433.1 / 300.0 s 132.2 / 61.9 s 301.3 / 300.0 s 612.1 / 300.0 s
SRS_Standard/ICFP_2010/162075.xml 413.3 / 300.0 s 132.5 / 62.1 s 301.4 / 300.0 s 645.0 / 300.0 s
SRS_Standard/ICFP_2010/162095.xml 438.9 / 300.0 s 131.8 / 61.6 s 301.1 / 300.0 s 598.8 / 300.0 s
SRS_Standard/ICFP_2010/162244.xml 427.8 / 300.0 s 132.1 / 61.8 s 301.1 / 300.0 s 608.4 / 300.0 s
SRS_Standard/ICFP_2010/165713.xml 434.4 / 300.0 s 132.0 / 61.7 s 301.2 / 300.0 s 600.3 / 300.1 s
SRS_Standard/ICFP_2010/165755.xml 429.5 / 300.0 s 132.0 / 61.7 s 301.1 / 300.0 s 601.6 / 300.0 s
SRS_Standard/ICFP_2010/165904.xml 419.3 / 300.0 s 132.3 / 62.0 s 301.4 / 300.0 s 607.3 / 300.0 s
SRS_Standard/ICFP_2010/165936.xml 301.6 / 300.0 s 132.3 / 61.9 s 301.3 / 300.0 s 617.8 / 300.0 s
SRS_Standard/ICFP_2010/165975.xml 429.6 / 300.0 s 132.3 / 62.0 s 301.4 / 300.0 s 613.4 / 300.0 s
SRS_Standard/ICFP_2010/166001.xml 436.2 / 300.0 s 132.5 / 62.2 s 301.3 / 300.0 s 648.2 / 300.0 s
SRS_Standard/ICFP_2010/166465.xml 433.6 / 300.0 s 132.0 / 61.6 s 301.1 / 300.0 s 608.1 / 300.0 s
SRS_Standard/ICFP_2010/166493.xml 437.0 / 300.0 s 132.2 / 61.9 s 301.4 / 300.0 s 647.7 / 300.0 s
SRS_Standard/ICFP_2010/166558.xml 436.6 / 300.0 s 132.5 / 62.1 s 301.4 / 300.0 s 633.4 / 300.0 s
SRS_Standard/ICFP_2010/166848.xml 432.6 / 300.0 s 132.4 / 62.1 s 301.4 / 300.0 s 632.7 / 300.1 s
SRS_Standard/ICFP_2010/167041.xml 411.4 / 300.0 s 132.0 / 61.7 s 301.2 / 300.0 s 603.9 / 300.0 s
SRS_Standard/ICFP_2010/167087.xml 410.5 / 300.0 s 132.5 / 62.1 s 301.4 / 300.0 s 643.2 / 300.0 s
SRS_Standard/ICFP_2010/167240.xml 436.2 / 300.0 s 132.1 / 61.8 s 311.0 / 300.0 s 597.4 / 300.1 s
SRS_Standard/ICFP_2010/167294.xml 434.2 / 300.0 s 132.4 / 62.0 s 301.4 / 300.0 s 613.4 / 300.1 s
SRS_Standard/ICFP_2010/167310.xml 422.2 / 300.0 s 131.9 / 61.7 s 301.2 / 300.0 s 591.9 / 300.0 s
SRS_Standard/ICFP_2010/167391.xml 423.8 / 300.0 s 132.5 / 62.3 s 301.3 / 300.0 s 180.9 / 46.4 s
SRS_Standard/ICFP_2010/167433.xml 301.2 / 300.0 s 132.4 / 62.1 s 301.4 / 300.0 s 639.5 / 300.0 s
SRS_Standard/ICFP_2010/167452.xml 414.6 / 300.0 s 132.3 / 62.0 s 301.4 / 300.0 s 618.1 / 300.0 s
SRS_Standard/ICFP_2010/167526.xml 426.8 / 300.0 s 132.0 / 61.6 s 301.2 / 300.0 s 581.7 / 300.0 s
SRS_Standard/ICFP_2010/167636.xml 300.0 / 300.0 s 132.6 / 62.3 s 301.0 / 300.0 s 128.7 / 33.0 s
SRS_Standard/ICFP_2010/167742.xml 423.9 / 300.0 s 132.5 / 62.2 s 301.4 / 300.0 s 81.6 / 21.0 s
SRS_Standard/ICFP_2010/180915.xml 300.1 / 300.0 s 132.2 / 61.9 s 300.9 / 300.0 s 971.9 / 300.0 s
SRS_Standard/ICFP_2010/182946.xml 300.2 / 300.0 s 132.1 / 61.8 s 301.0 / 300.0 s 819.0 / 300.1 s
SRS_Standard/ICFP_2010/183803.xml 300.1 / 300.0 s 132.2 / 61.9 s 300.9 / 300.0 s 736.5 / 300.1 s
SRS_Standard/ICFP_2010/184957.xml 300.1 / 300.0 s 132.1 / 61.8 s 300.5 / 300.0 s 699.7 / 300.1 s
SRS_Standard/ICFP_2010/185453.xml 300.1 / 300.0 s 132.1 / 61.8 s 300.8 / 300.0 s 802.8 / 300.0 s
SRS_Standard/ICFP_2010/185628.xml 300.2 / 300.0 s 132.1 / 61.8 s 301.0 / 300.0 s 759.3 / 300.0 s
SRS_Standard/ICFP_2010/186023.xml 300.1 / 300.0 s 132.0 / 61.8 s 300.8 / 300.0 s 54.9 / 14.3 s
SRS_Standard/ICFP_2010/186222.xml 300.1 / 300.0 s 132.1 / 61.8 s 300.9 / 300.0 s 739.3 / 300.0 s
SRS_Standard/ICFP_2010/186333.xml 300.1 / 300.0 s 132.1 / 61.8 s 300.8 / 300.0 s 736.8 / 300.0 s
SRS_Standard/ICFP_2010/186617.xml 301.0 / 300.0 s 132.2 / 61.9 s 311.1 / 300.0 s 799.7 / 300.0 s
SRS_Standard/ICFP_2010/186775.xml 300.1 / 300.0 s 132.1 / 61.8 s 301.1 / 300.0 s 822.7 / 300.0 s
SRS_Standard/ICFP_2010/186810.xml 300.1 / 300.0 s 132.2 / 61.8 s 300.9 / 300.0 s 872.3 / 300.1 s
SRS_Standard/ICFP_2010/186919.xml 300.1 / 300.0 s 132.0 / 61.9 s 300.9 / 300.0 s 630.5 / 300.0 s
SRS_Standard/ICFP_2010/186973.xml 300.1 / 300.0 s 132.1 / 61.8 s 300.9 / 300.0 s 677.2 / 300.1 s
SRS_Standard/ICFP_2010/187254.xml 300.1 / 300.0 s 132.1 / 61.8 s 300.8 / 300.0 s 53.7 / 14.0 s
SRS_Standard/ICFP_2010/187837.xml 300.1 / 300.0 s 132.1 / 61.8 s 300.8 / 300.0 s 746.7 / 300.0 s
SRS_Standard/ICFP_2010/188004.xml 300.2 / 300.0 s 132.2 / 61.9 s 300.8 / 300.0 s 749.0 / 300.0 s
SRS_Standard/ICFP_2010/188238.xml 300.1 / 300.0 s 132.1 / 61.8 s 300.8 / 300.0 s 733.7 / 300.0 s
SRS_Standard/ICFP_2010/188261.xml 300.1 / 300.0 s 132.1 / 61.8 s 300.9 / 300.0 s 878.5 / 300.1 s
SRS_Standard/ICFP_2010/188296.xml 300.1 / 300.0 s 132.1 / 61.8 s 300.9 / 300.0 s 795.5 / 300.1 s
SRS_Standard/ICFP_2010/188674.xml 300.1 / 300.0 s 132.1 / 61.8 s 300.9 / 300.0 s 60.5 / 15.7 s
SRS_Standard/ICFP_2010/188696.xml 300.2 / 300.0 s 132.2 / 61.8 s 300.9 / 300.0 s 742.7 / 300.0 s
SRS_Standard/ICFP_2010/211471.xml 0.0 / 0.0 s 244.1 / 63.9 s 0.0 / 0.0 s 8.2 / 2.4 s
SRS_Standard/ICFP_2010/211639.xml 0.0 / 0.0 s 193.1 / 67.0 s 0.0 / 0.0 s 12.9 / 3.7 s
SRS_Standard/ICFP_2010/211857.xml 0.0 / 0.5 s 57.6 / 15.1 s 0.6 / 0.6 s 40.9 / 10.7 s
SRS_Standard/ICFP_2010/211915.xml 0.1 / 0.8 s 14.8 / 4.1 s 300.0 / 300.0 s 86.6 / 22.4 s
SRS_Standard/ICFP_2010/211960.xml 8.0 / 7.1 s 237.3 / 60.7 s 299.8 / 300.0 s 108.5 / 27.8 s
SRS_Standard/ICFP_2010/211978.xml 0.2 / 0.7 s 237.1 / 60.5 s 0.0 / 0.1 s 21.8 / 5.9 s
SRS_Standard/ICFP_2010/212026.xml 2.9 / 2.7 s 238.0 / 60.6 s 298.9 / 300.0 s 228.6 / 58.1 s
SRS_Standard/ICFP_2010/212037.xml 10.8 / 9.9 s 259.9 / 67.1 s 298.6 / 300.0 s 176.5 / 45.2 s
SRS_Standard/ICFP_2010/212043.xml 23.9 / 22.8 s 13.2 / 3.7 s 299.9 / 300.0 s 148.3 / 37.9 s
SRS_Standard/ICFP_2010/212062.xml 2.4 / 2.5 s 36.6 / 9.8 s 1.7 / 1.7 s 23.3 / 6.2 s
SRS_Standard/ICFP_2010/212094.xml 10.9 / 10.0 s 238.1 / 60.8 s 299.3 / 300.0 s 95.9 / 24.4 s
SRS_Standard/ICFP_2010/212117.xml 10.3 / 9.6 s 243.4 / 60.8 s 299.7 / 300.0 s 72.2 / 18.7 s
SRS_Standard/ICFP_2010/212189.xml 5.9 / 5.6 s 238.4 / 60.9 s 299.9 / 300.0 s 461.0 / 122.6 s
SRS_Standard/ICFP_2010/212263.xml 5.0 / 4.7 s 7.9 / 2.3 s 299.7 / 300.0 s 29.2 / 7.8 s
SRS_Standard/ICFP_2010/212308.xml 36.4 / 35.7 s 237.7 / 60.7 s 298.4 / 300.0 s 135.3 / 35.0 s
SRS_Standard/ICFP_2010/212364.xml 16.1 / 15.3 s 236.3 / 60.7 s 299.4 / 300.0 s 977.5 / 267.9 s
SRS_Standard/ICFP_2010/212421.xml 10.3 / 10.0 s 15.1 / 4.1 s 299.9 / 300.0 s 130.9 / 33.6 s
SRS_Standard/ICFP_2010/212480.xml 2.6 / 2.4 s 244.2 / 116.7 s 299.9 / 300.0 s 67.4 / 17.4 s
SRS_Standard/ICFP_2010/212534.xml 1.3 / 1.3 s 236.5 / 60.6 s 11.0 / 11.2 s 133.4 / 34.2 s
SRS_Standard/ICFP_2010/212612.xml 21.1 / 20.6 s 237.3 / 60.6 s 299.8 / 300.0 s 147.5 / 35.7 s
SRS_Standard/ICFP_2010/212693.xml 4.8 / 4.3 s 48.8 / 19.4 s 299.9 / 300.0 s 23.2 / 6.2 s
SRS_Standard/ICFP_2010/212774.xml 42.6 / 40.9 s 9.6 / 2.8 s 298.6 / 300.0 s 28.0 / 7.4 s
SRS_Standard/ICFP_2010/212795.xml 11.3 / 10.7 s 237.7 / 60.7 s 299.8 / 300.0 s 623.9 / 163.7 s
SRS_Standard/ICFP_2010/212892.xml 7.6 / 7.4 s 239.1 / 64.4 s 263.9 / 271.6 s 90.2 / 23.3 s
SRS_Standard/ICFP_2010/213051.xml 1.2 / 1.3 s 238.7 / 60.1 s 7.0 / 7.1 s 109.6 / 28.0 s
SRS_Standard/ICFP_2010/213147.xml 36.7 / 35.8 s 15.1 / 4.1 s 297.7 / 300.0 s 121.9 / 32.2 s
SRS_Standard/ICFP_2010/213218.xml 0.2 / 0.8 s 28.1 / 14.5 s 0.0 / 0.1 s 23.8 / 6.4 s
SRS_Standard/ICFP_2010/213281.xml 1.3 / 1.3 s 15.0 / 4.1 s 1.1 / 1.1 s 53.5 / 13.9 s
SRS_Standard/ICFP_2010/213407.xml 0.2 / 0.5 s 11.6 / 3.2 s 300.0 / 300.0 s 49.4 / 12.9 s
SRS_Standard/ICFP_2010/213437.xml 11.3 / 10.7 s 131.2 / 47.3 s 300.0 / 300.0 s 133.8 / 34.4 s
SRS_Standard/ICFP_2010/213537.xml 3.4 / 3.5 s 242.0 / 60.9 s 20.8 / 20.8 s 149.8 / 38.5 s
SRS_Standard/ICFP_2010/213560.xml 142.9 / 141.4 s 15.4 / 4.2 s 298.5 / 300.0 s 145.9 / 37.7 s
SRS_Standard/ICFP_2010/213611.xml 0.0 / 0.0 s 138.8 / 68.5 s 0.0 / 0.0 s 14.9 / 4.1 s
SRS_Standard/ICFP_2010/213719.xml 25.8 / 24.1 s 239.2 / 61.0 s 299.5 / 300.0 s 919.3 / 300.0 s
SRS_Standard/ICFP_2010/213865.xml 9.8 / 9.1 s 235.8 / 60.7 s 298.9 / 300.0 s 112.8 / 28.9 s
SRS_Standard/ICFP_2010/214011.xml 0.1 / 0.4 s 55.8 / 18.4 s 300.0 / 300.0 s 69.5 / 16.6 s
SRS_Standard/ICFP_2010/214091.xml 0.1 / 0.3 s 13.6 / 3.7 s 0.0 / 0.0 s 21.7 / 5.8 s
SRS_Standard/ICFP_2010/214169.xml 5.7 / 5.4 s 239.2 / 60.5 s 205.2 / 209.7 s 81.7 / 21.2 s
SRS_Standard/ICFP_2010/214183.xml 86.7 / 85.1 s 242.3 / 60.8 s 298.1 / 300.0 s 104.4 / 26.7 s
SRS_Standard/ICFP_2010/214261.xml 302.1 / 300.0 s 237.2 / 60.6 s 296.8 / 300.0 s 133.3 / 34.2 s
SRS_Standard/ICFP_2010/214320.xml 4.8 / 4.4 s 210.6 / 100.0 s 0.4 / 0.4 s 58.1 / 15.2 s
SRS_Standard/ICFP_2010/230780.xml 0.0 / 0.0 s 142.9 / 72.7 s 0.0 / 0.0 s 21.9 / 6.0 s
SRS_Standard/ICFP_2010/230819.xml 0.0 / 0.0 s 209.6 / 62.4 s 0.0 / 0.0 s 18.4 / 5.0 s
SRS_Standard/ICFP_2010/230948.xml 0.0 / 0.0 s 133.7 / 63.6 s 0.0 / 0.0 s 15.8 / 4.4 s
SRS_Standard/ICFP_2010/231043.xml 0.0 / 0.0 s 142.0 / 71.8 s 0.0 / 0.0 s 20.4 / 5.5 s
SRS_Standard/ICFP_2010/231149.xml 0.0 / 0.0 s 132.6 / 62.3 s 0.0 / 0.0 s 16.6 / 4.6 s
SRS_Standard/ICFP_2010/231230.xml 0.0 / 0.0 s 140.7 / 70.5 s 0.0 / 0.0 s 20.6 / 5.6 s
SRS_Standard/ICFP_2010/231300.xml 0.0 / 0.0 s 134.7 / 64.5 s 0.0 / 0.0 s 18.1 / 4.9 s
SRS_Standard/ICFP_2010/231378.xml 0.0 / 0.0 s 145.4 / 68.7 s 0.0 / 0.0 s 20.6 / 5.6 s
SRS_Standard/ICFP_2010/231480.xml 0.0 / 0.0 s 143.4 / 73.3 s 0.0 / 0.0 s 19.8 / 5.4 s
SRS_Standard/ICFP_2010/231604.xml 0.0 / 0.0 s 147.0 / 76.7 s 0.0 / 0.0 s 21.9 / 5.9 s
SRS_Standard/ICFP_2010/24100.xml 300.1 / 300.0 s 200.5 / 61.2 s 300.3 / 300.0 s 900.6 / 235.0 s
SRS_Standard/ICFP_2010/246924.xml 0.0 / 0.0 s 136.0 / 65.8 s 0.0 / 0.0 s 17.9 / 4.9 s
SRS_Standard/ICFP_2010/247020.xml 0.0 / 0.0 s 146.9 / 76.5 s 0.0 / 0.0 s 21.3 / 5.6 s
SRS_Standard/ICFP_2010/247254.xml 0.0 / 0.0 s 142.5 / 72.2 s 0.0 / 0.0 s 21.7 / 5.9 s
SRS_Standard/ICFP_2010/247504.xml 0.0 / 0.0 s 135.7 / 65.5 s 0.0 / 0.0 s 19.1 / 5.2 s
SRS_Standard/ICFP_2010/247906.xml 0.0 / 0.0 s 138.9 / 68.7 s 0.0 / 0.0 s 100.4 / 25.9 s
SRS_Standard/ICFP_2010/247992.xml 0.0 / 0.0 s 138.8 / 68.6 s 0.0 / 0.0 s 20.5 / 5.6 s
SRS_Standard/ICFP_2010/248060.xml 0.0 / 0.0 s 143.2 / 65.4 s 0.0 / 0.0 s 12.9 / 3.7 s
SRS_Standard/ICFP_2010/249386.xml 0.0 / 0.0 s 135.5 / 65.4 s 0.0 / 0.0 s 23.2 / 6.3 s
SRS_Standard/ICFP_2010/249459.xml 0.0 / 0.0 s 198.1 / 71.1 s 0.0 / 0.0 s 22.1 / 6.0 s
SRS_Standard/ICFP_2010/249663.xml 0.0 / 0.0 s 142.4 / 72.3 s 0.0 / 0.0 s 22.6 / 6.1 s
SRS_Standard/ICFP_2010/25192.xml 0.0 / 0.0 s 0.9 / 0.4 s 0.0 / 0.1 s 1.1 / 0.6 s
SRS_Standard/ICFP_2010/25388.xml 300.1 / 300.0 s 130.9 / 60.7 s 298.4 / 300.0 s 990.7 / 300.1 s
SRS_Standard/ICFP_2010/25395.xml 300.1 / 300.0 s 130.9 / 60.6 s 298.0 / 300.0 s 960.9 / 300.0 s
SRS_Standard/ICFP_2010/25409.xml 300.1 / 300.0 s 131.0 / 60.7 s 298.4 / 300.0 s 966.3 / 300.0 s
SRS_Standard/ICFP_2010/25416.xml 300.1 / 300.0 s 131.6 / 60.7 s 298.4 / 300.0 s 963.9 / 300.0 s
SRS_Standard/ICFP_2010/25422.xml 300.1 / 300.0 s 130.7 / 60.4 s 300.3 / 300.0 s 1029.1 / 300.0 s
SRS_Standard/ICFP_2010/254704.xml 300.1 / 300.0 s 240.1 / 75.1 s 300.9 / 300.0 s 964.9 / 300.0 s
SRS_Standard/ICFP_2010/25711.xml 300.1 / 300.0 s 131.0 / 60.7 s 298.2 / 300.0 s 856.8 / 300.1 s
SRS_Standard/ICFP_2010/25726.xml 300.1 / 300.0 s 130.7 / 60.5 s 300.4 / 300.0 s 1047.3 / 300.1 s
SRS_Standard/ICFP_2010/25731.xml 0.1 / 0.4 s 1.7 / 0.7 s 300.0 / 300.0 s 1.4 / 0.7 s
SRS_Standard/ICFP_2010/25734.xml 300.1 / 300.0 s 130.8 / 60.6 s 298.2 / 300.0 s 1007.6 / 300.0 s
SRS_Standard/ICFP_2010/25736.xml 300.1 / 300.0 s 130.8 / 60.5 s 300.2 / 300.0 s 1066.3 / 300.1 s
SRS_Standard/ICFP_2010/25743.xml 300.1 / 300.0 s 130.9 / 60.6 s 298.4 / 300.0 s 1018.0 / 300.1 s
SRS_Standard/ICFP_2010/25775.xml 300.1 / 300.0 s 131.0 / 60.6 s 298.3 / 300.0 s 1008.5 / 300.0 s
SRS_Standard/ICFP_2010/25808.xml 300.1 / 300.0 s 131.0 / 60.8 s 298.7 / 300.0 s 912.9 / 300.1 s
SRS_Standard/ICFP_2010/25849.xml 300.1 / 300.0 s 130.9 / 60.6 s 300.5 / 300.0 s 992.0 / 300.0 s
SRS_Standard/ICFP_2010/259405.xml 300.1 / 300.0 s 245.0 / 75.6 s 301.2 / 300.0 s 64.9 / 16.8 s
SRS_Standard/ICFP_2010/259625.xml 300.4 / 300.0 s 238.2 / 75.6 s 302.5 / 300.0 s 74.8 / 19.3 s
SRS_Standard/ICFP_2010/26069.xml 0.3 / 0.9 s 3.8 / 1.2 s 300.0 / 300.0 s 65.9 / 17.0 s
SRS_Standard/ICFP_2010/26103.xml 3.1 / 2.6 s 5.0 / 1.5 s 300.0 / 300.0 s 66.1 / 17.1 s
SRS_Standard/ICFP_2010/26105.xml 300.1 / 300.0 s 130.7 / 60.4 s 300.3 / 300.0 s 1034.1 / 300.0 s
SRS_Standard/ICFP_2010/26110.xml 300.1 / 300.0 s 130.8 / 60.6 s 298.2 / 300.0 s 1052.1 / 300.1 s
SRS_Standard/ICFP_2010/26116.xml 300.1 / 300.0 s 130.8 / 60.5 s 300.4 / 300.0 s 1031.1 / 300.1 s
SRS_Standard/ICFP_2010/26123.xml 10.4 / 8.0 s 4.9 / 1.5 s 299.9 / 300.0 s 79.8 / 20.6 s
SRS_Standard/ICFP_2010/26127.xml 300.1 / 300.0 s 131.1 / 60.7 s 298.6 / 300.0 s 933.7 / 300.1 s
SRS_Standard/ICFP_2010/26130.xml 38.0 / 28.7 s 6.0 / 1.8 s 299.9 / 300.0 s 591.3 / 300.0 s
SRS_Standard/ICFP_2010/26132.xml 300.1 / 300.0 s 131.1 / 60.8 s 298.5 / 300.0 s 1010.7 / 300.0 s
SRS_Standard/ICFP_2010/26186.xml 147.4 / 110.5 s 6.6 / 2.0 s 299.9 / 300.0 s 575.7 / 300.1 s
SRS_Standard/ICFP_2010/26226.xml 389.4 / 300.0 s 9.4 / 2.7 s 299.8 / 300.0 s 579.1 / 300.0 s
SRS_Standard/ICFP_2010/26291.xml 379.2 / 300.0 s 10.8 / 3.1 s 299.8 / 300.0 s 593.0 / 300.0 s
SRS_Standard/ICFP_2010/262998.xml 300.1 / 300.0 s 143.7 / 73.3 s 300.1 / 300.0 s 37.2 / 9.8 s
SRS_Standard/ICFP_2010/263745.xml 369.8 / 300.0 s 144.0 / 73.7 s 300.0 / 300.0 s 77.5 / 20.0 s
SRS_Standard/ICFP_2010/264033.xml 1.1 / 1.1 s 237.4 / 60.8 s 299.8 / 300.0 s 60.9 / 16.1 s
SRS_Standard/ICFP_2010/264370.xml 0.0 / 0.1 s 0.8 / 0.4 s 0.0 / 0.0 s 1.0 / 0.6 s
SRS_Standard/ICFP_2010/264405.xml 0.0 / 0.0 s 0.9 / 0.5 s 0.0 / 0.0 s 1.2 / 0.6 s
SRS_Standard/ICFP_2010/26683.xml 382.1 / 300.0 s 12.0 / 3.5 s 299.9 / 300.0 s 555.1 / 300.0 s
SRS_Standard/ICFP_2010/26741.xml 300.1 / 300.0 s 130.9 / 60.7 s 298.4 / 300.0 s 995.2 / 300.0 s
SRS_Standard/ICFP_2010/26845.xml 300.0 / 300.0 s 131.0 / 60.6 s 298.0 / 300.0 s 979.0 / 300.0 s
SRS_Standard/ICFP_2010/26862.xml 300.1 / 300.0 s 130.7 / 60.5 s 300.3 / 300.0 s 949.6 / 300.0 s
SRS_Standard/ICFP_2010/26871.xml 300.1 / 300.0 s 130.9 / 60.6 s 298.5 / 300.0 s 1003.2 / 300.0 s
SRS_Standard/ICFP_2010/26875.xml 300.1 / 300.0 s 130.9 / 60.7 s 298.6 / 300.0 s 970.4 / 300.0 s
SRS_Standard/ICFP_2010/26879.xml 300.1 / 300.0 s 130.9 / 60.6 s 300.2 / 300.0 s 1067.3 / 300.0 s
SRS_Standard/ICFP_2010/26882.xml 300.1 / 300.0 s 131.1 / 60.7 s 298.7 / 300.0 s 989.1 / 300.1 s
SRS_Standard/ICFP_2010/26886.xml 300.1 / 300.0 s 130.5 / 60.4 s 300.4 / 300.0 s 1011.7 / 300.1 s
SRS_Standard/ICFP_2010/26896.xml 300.1 / 300.0 s 130.9 / 60.7 s 298.3 / 300.0 s 1098.4 / 300.0 s
SRS_Standard/ICFP_2010/26903.xml 300.1 / 300.0 s 130.9 / 60.6 s 298.3 / 300.0 s 920.7 / 300.0 s
SRS_Standard/ICFP_2010/26910.xml 300.1 / 300.0 s 130.9 / 60.6 s 298.6 / 300.0 s 965.6 / 300.0 s
SRS_Standard/ICFP_2010/26916.xml 300.1 / 300.0 s 130.8 / 60.6 s 298.5 / 300.0 s 1017.5 / 300.1 s
SRS_Standard/ICFP_2010/26919.xml 300.1 / 300.0 s 131.0 / 60.7 s 298.4 / 300.0 s 944.4 / 300.0 s
SRS_Standard/ICFP_2010/26923.xml 300.1 / 300.0 s 133.7 / 60.6 s 298.6 / 300.0 s 955.0 / 300.0 s
SRS_Standard/ICFP_2010/26927.xml 300.1 / 300.0 s 131.0 / 60.7 s 298.7 / 300.0 s 904.3 / 300.1 s
SRS_Standard/ICFP_2010/26931.xml 300.1 / 300.0 s 131.0 / 60.7 s 298.0 / 300.0 s 962.5 / 300.0 s
SRS_Standard/ICFP_2010/26933.xml 300.0 / 300.0 s 131.0 / 60.7 s 298.5 / 300.0 s 973.1 / 300.1 s
SRS_Standard/ICFP_2010/26940.xml 300.1 / 300.0 s 130.8 / 60.6 s 298.5 / 300.0 s 1017.8 / 300.1 s
SRS_Standard/ICFP_2010/26943.xml 300.1 / 300.0 s 130.9 / 60.5 s 298.7 / 300.0 s 997.9 / 300.1 s
SRS_Standard/ICFP_2010/26946.xml 300.1 / 300.0 s 131.0 / 60.7 s 298.3 / 300.0 s 971.5 / 300.0 s
SRS_Standard/ICFP_2010/26949.xml 300.1 / 300.0 s 130.9 / 60.6 s 300.2 / 300.0 s 1078.2 / 300.0 s
SRS_Standard/ICFP_2010/26951.xml 300.1 / 300.0 s 130.8 / 60.5 s 300.4 / 300.0 s 1127.0 / 300.1 s
SRS_Standard/ICFP_2010/26954.xml 300.1 / 300.0 s 130.8 / 60.5 s 300.3 / 300.0 s 1027.4 / 300.1 s
SRS_Standard/ICFP_2010/26957.xml 300.1 / 300.0 s 130.8 / 60.5 s 300.2 / 300.0 s 1063.4 / 300.0 s
SRS_Standard/ICFP_2010/26960.xml 300.1 / 300.0 s 130.9 / 60.6 s 300.3 / 300.0 s 988.3 / 300.0 s
SRS_Standard/ICFP_2010/26965.xml 300.1 / 300.0 s 130.9 / 60.6 s 298.1 / 300.0 s 1048.8 / 300.0 s
SRS_Standard/ICFP_2010/26969.xml 300.1 / 300.0 s 131.0 / 60.7 s 298.5 / 300.0 s 1002.1 / 300.0 s
SRS_Standard/ICFP_2010/26972.xml 300.1 / 300.0 s 131.0 / 60.7 s 298.7 / 300.0 s 1037.5 / 300.1 s
SRS_Standard/ICFP_2010/26974.xml 300.1 / 300.0 s 130.8 / 60.6 s 298.0 / 300.0 s 999.9 / 300.1 s
SRS_Standard/ICFP_2010/26976.xml 300.1 / 300.0 s 130.8 / 60.5 s 297.9 / 300.0 s 948.2 / 300.0 s
SRS_Standard/ICFP_2010/26978.xml 300.0 / 300.0 s 130.8 / 60.4 s 300.3 / 300.0 s 1039.8 / 300.1 s
SRS_Standard/ICFP_2010/26980.xml 300.1 / 300.0 s 130.7 / 60.4 s 300.3 / 300.1 s 1019.3 / 300.0 s
SRS_Standard/ICFP_2010/26986.xml 300.0 / 300.0 s 130.9 / 60.6 s 300.3 / 300.0 s 951.7 / 300.1 s
SRS_Standard/ICFP_2010/26993.xml 300.1 / 300.0 s 130.9 / 60.7 s 298.5 / 300.0 s 1032.5 / 300.0 s
SRS_Standard/ICFP_2010/26998.xml 300.0 / 300.0 s 130.9 / 60.6 s 298.3 / 300.0 s 983.9 / 300.0 s
SRS_Standard/ICFP_2010/27001.xml 300.0 / 300.0 s 130.9 / 60.7 s 298.5 / 300.0 s 985.5 / 300.0 s
SRS_Standard/ICFP_2010/27003.xml 300.0 / 300.0 s 130.8 / 60.6 s 300.2 / 300.0 s 1060.4 / 300.0 s
SRS_Standard/ICFP_2010/27006.xml 300.1 / 300.0 s 130.8 / 60.5 s 298.7 / 300.0 s 1028.6 / 300.0 s
SRS_Standard/ICFP_2010/27009.xml 300.0 / 300.0 s 130.9 / 60.7 s 298.0 / 300.0 s 975.0 / 300.0 s
SRS_Standard/ICFP_2010/27013.xml 300.1 / 300.0 s 130.6 / 60.5 s 300.3 / 300.0 s 1021.3 / 300.1 s
SRS_Standard/ICFP_2010/27015.xml 300.0 / 300.0 s 130.8 / 60.5 s 300.2 / 300.0 s 1063.5 / 300.0 s
SRS_Standard/ICFP_2010/27019.xml 300.1 / 300.0 s 130.8 / 60.6 s 299.0 / 300.0 s 942.0 / 300.0 s
SRS_Standard/ICFP_2010/27023.xml 300.0 / 300.0 s 130.8 / 60.5 s 300.3 / 300.0 s 1019.1 / 300.0 s
SRS_Standard/ICFP_2010/27026.xml 300.1 / 300.0 s 130.9 / 60.7 s 298.4 / 300.0 s 992.5 / 300.1 s
SRS_Standard/ICFP_2010/27028.xml 300.1 / 300.0 s 130.8 / 60.5 s 300.4 / 300.0 s 1061.0 / 300.0 s
SRS_Standard/ICFP_2010/27030.xml 378.6 / 300.0 s 13.9 / 4.0 s 299.8 / 300.0 s 602.3 / 300.0 s
SRS_Standard/ICFP_2010/27034.xml 300.1 / 300.0 s 130.9 / 60.6 s 298.4 / 300.0 s 997.6 / 300.1 s
SRS_Standard/ICFP_2010/27036.xml 300.1 / 300.0 s 130.9 / 60.7 s 298.6 / 300.0 s 1025.1 / 300.0 s
SRS_Standard/ICFP_2010/27039.xml 300.1 / 300.0 s 130.8 / 60.5 s 300.5 / 300.0 s 978.0 / 300.1 s
SRS_Standard/ICFP_2010/27131.xml 379.2 / 300.0 s 15.6 / 4.4 s 299.9 / 300.0 s 608.7 / 300.0 s
SRS_Standard/ICFP_2010/27134.xml 376.7 / 300.0 s 49.0 / 13.1 s 299.7 / 300.0 s 588.1 / 300.0 s
SRS_Standard/ICFP_2010/27213.xml 301.9 / 300.0 s 97.5 / 25.5 s 299.7 / 300.0 s 567.5 / 300.0 s
SRS_Standard/ICFP_2010/27235.xml 302.2 / 300.0 s 88.6 / 23.3 s 299.7 / 300.0 s 567.0 / 300.0 s
SRS_Standard/ICFP_2010/27280.xml 302.6 / 300.0 s 122.3 / 31.9 s 299.8 / 300.0 s 598.1 / 300.0 s
SRS_Standard/ICFP_2010/28293.xml 302.9 / 300.0 s 133.3 / 34.8 s 299.8 / 300.0 s 613.3 / 300.1 s
SRS_Standard/ICFP_2010/28464.xml 303.5 / 300.0 s 138.6 / 36.1 s 299.7 / 300.0 s 594.1 / 300.0 s
SRS_Standard/ICFP_2010/28643.xml 304.3 / 300.0 s 105.7 / 28.1 s 299.8 / 300.0 s 599.6 / 300.1 s
SRS_Standard/ICFP_2010/28838.xml 304.9 / 300.0 s 173.4 / 39.9 s 304.8 / 300.0 s 595.4 / 300.0 s
SRS_Standard/ICFP_2010/29415.xml 300.1 / 300.0 s 134.6 / 64.4 s 301.0 / 300.0 s 96.4 / 24.8 s
SRS_Standard/ICFP_2010/3268.xml 3.9 / 3.6 s 6.1 / 1.8 s 298.1 / 300.1 s 78.8 / 20.5 s
SRS_Standard/ICFP_2010/3336.xml 0.1 / 0.2 s 8.3 / 2.4 s 3.5 / 3.6 s 59.8 / 15.5 s
SRS_Standard/ICFP_2010/3385.xml 11.2 / 10.5 s 7.9 / 2.3 s 298.7 / 300.0 s 134.3 / 34.7 s
SRS_Standard/ICFP_2010/3450.xml 390.6 / 300.0 s 226.7 / 61.0 s 299.9 / 300.0 s 597.5 / 300.0 s
SRS_Standard/ICFP_2010/3467.xml 388.0 / 300.0 s 222.8 / 60.8 s 300.6 / 300.0 s 619.1 / 300.1 s
SRS_Standard/ICFP_2010/3498.xml 370.7 / 300.0 s 217.2 / 61.0 s 300.3 / 300.0 s 701.6 / 300.1 s
SRS_Standard/ICFP_2010/3533.xml 383.7 / 300.0 s 234.0 / 60.9 s 299.8 / 300.0 s 592.3 / 300.0 s
SRS_Standard/ICFP_2010/3562.xml 415.1 / 300.0 s 224.8 / 60.9 s 301.3 / 300.0 s 638.4 / 300.0 s
SRS_Standard/ICFP_2010/3589.xml 390.7 / 300.0 s 228.1 / 61.1 s 300.0 / 300.0 s 597.1 / 300.0 s
SRS_Standard/ICFP_2010/3633.xml 399.8 / 300.0 s 229.8 / 60.8 s 300.2 / 300.0 s 593.7 / 300.0 s
SRS_Standard/ICFP_2010/3680.xml 453.7 / 300.0 s 215.3 / 61.1 s 300.2 / 300.0 s 662.3 / 300.0 s
SRS_Standard/ICFP_2010/3705.xml 455.6 / 300.0 s 221.5 / 60.9 s 300.0 / 300.0 s 599.2 / 300.1 s
SRS_Standard/ICFP_2010/3729.xml 440.3 / 300.0 s 216.0 / 61.0 s 300.5 / 300.0 s 629.8 / 300.0 s
SRS_Standard/ICFP_2010/3746.xml 2.1 / 2.2 s 233.0 / 60.8 s 310.7 / 300.0 s 49.5 / 12.9 s
SRS_Standard/ICFP_2010/3762.xml 431.0 / 300.0 s 224.9 / 60.9 s 301.8 / 300.0 s 619.3 / 300.0 s
SRS_Standard/ICFP_2010/3770.xml 327.3 / 300.0 s 6.1 / 1.8 s 299.8 / 300.0 s 133.2 / 34.9 s
SRS_Standard/ICFP_2010/3786.xml 410.3 / 300.0 s 232.8 / 60.8 s 300.2 / 300.0 s 580.5 / 300.0 s
SRS_Standard/ICFP_2010/3817.xml 300.1 / 300.0 s 224.5 / 60.9 s 300.2 / 300.0 s 634.8 / 300.0 s
SRS_Standard/ICFP_2010/3831.xml 434.4 / 300.0 s 219.8 / 61.1 s 300.5 / 300.0 s 634.7 / 300.0 s
SRS_Standard/ICFP_2010/3842.xml 450.3 / 300.0 s 221.8 / 60.9 s 300.2 / 300.0 s 594.7 / 300.1 s
SRS_Standard/ICFP_2010/3856.xml 448.2 / 300.0 s 218.2 / 61.2 s 300.1 / 300.0 s 602.9 / 300.1 s
SRS_Standard/ICFP_2010/3861.xml 300.1 / 300.0 s 223.9 / 60.8 s 299.5 / 300.0 s 599.4 / 300.1 s
SRS_Standard/ICFP_2010/3865.xml 453.2 / 300.0 s 224.5 / 60.9 s 300.2 / 300.0 s 647.8 / 300.1 s
SRS_Standard/ICFP_2010/3916.xml 385.1 / 300.0 s 225.6 / 60.8 s 300.0 / 300.0 s 591.0 / 300.0 s
SRS_Standard/ICFP_2010/3927.xml 300.1 / 300.0 s 143.7 / 73.3 s 300.8 / 300.0 s 778.5 / 300.0 s
SRS_Standard/ICFP_2010/3930.xml 381.6 / 300.0 s 232.3 / 61.0 s 299.8 / 300.0 s 593.1 / 300.0 s
SRS_Standard/ICFP_2010/3939.xml 412.4 / 300.0 s 219.4 / 60.9 s 302.0 / 300.0 s 594.6 / 300.0 s
SRS_Standard/ICFP_2010/39830.xml 300.1 / 300.0 s 131.8 / 61.5 s 300.9 / 300.0 s 596.5 / 300.0 s
SRS_Standard/ICFP_2010/39849.xml 1.4 / 1.5 s 233.4 / 59.9 s 298.9 / 300.0 s 141.0 / 36.6 s
SRS_Standard/ICFP_2010/3989.xml 348.8 / 300.0 s 235.3 / 61.0 s 300.5 / 300.0 s 601.6 / 300.0 s
SRS_Standard/ICFP_2010/3995.xml 448.7 / 300.0 s 223.8 / 60.9 s 300.0 / 300.0 s 665.8 / 300.0 s
SRS_Standard/ICFP_2010/4002.xml 350.0 / 300.0 s 6.0 / 1.8 s 299.2 / 300.0 s 64.1 / 16.7 s
SRS_Standard/ICFP_2010/40033.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.0 / 300.0 s 639.7 / 300.1 s
SRS_Standard/ICFP_2010/40093.xml 372.6 / 300.0 s 2.7 / 0.9 s 300.0 / 300.0 s 589.7 / 300.1 s
SRS_Standard/ICFP_2010/4017.xml 422.3 / 300.0 s 221.7 / 61.1 s 300.1 / 300.0 s 601.3 / 300.0 s
SRS_Standard/ICFP_2010/4029.xml 389.0 / 300.0 s 230.9 / 60.9 s 300.1 / 300.0 s 597.1 / 300.0 s
SRS_Standard/ICFP_2010/4036.xml 454.4 / 300.0 s 215.8 / 61.1 s 299.9 / 300.0 s 603.3 / 300.0 s
SRS_Standard/ICFP_2010/4046.xml 47.1 / 41.9 s 3.1 / 1.0 s 299.4 / 300.0 s 10.2 / 2.9 s
SRS_Standard/ICFP_2010/4051.xml 432.6 / 300.0 s 228.5 / 60.9 s 300.1 / 300.0 s 596.2 / 300.0 s
SRS_Standard/ICFP_2010/40540.xml 300.1 / 300.0 s 131.8 / 61.5 s 300.9 / 300.0 s 76.6 / 19.7 s
SRS_Standard/ICFP_2010/4057.xml 375.5 / 300.0 s 231.6 / 60.9 s 303.5 / 300.0 s 845.9 / 300.1 s
SRS_Standard/ICFP_2010/40708.xml 412.9 / 300.0 s 3.5 / 1.2 s 300.0 / 300.0 s 595.8 / 300.0 s
SRS_Standard/ICFP_2010/4074.xml 452.7 / 300.0 s 218.6 / 60.7 s 301.3 / 300.0 s 673.2 / 300.0 s
SRS_Standard/ICFP_2010/40976.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.3 / 300.0 s 105.2 / 27.1 s
SRS_Standard/ICFP_2010/4106.xml 344.3 / 300.0 s 234.9 / 60.7 s 300.8 / 300.0 s 892.9 / 300.0 s
SRS_Standard/ICFP_2010/41378.xml 300.0 / 300.0 s 139.1 / 68.8 s 301.1 / 300.0 s 558.0 / 300.0 s
SRS_Standard/ICFP_2010/4141.xml 380.4 / 300.0 s 228.7 / 60.9 s 301.0 / 300.0 s 808.1 / 300.0 s
SRS_Standard/ICFP_2010/41427.xml 300.1 / 300.0 s 131.8 / 61.5 s 300.9 / 300.0 s 606.0 / 300.0 s
SRS_Standard/ICFP_2010/4157.xml 453.9 / 300.0 s 216.4 / 60.8 s 300.2 / 300.0 s 592.5 / 300.0 s
SRS_Standard/ICFP_2010/41688.xml 300.1 / 300.0 s 131.7 / 61.5 s 300.9 / 300.0 s 616.9 / 300.0 s
SRS_Standard/ICFP_2010/4181.xml 5.0 / 5.1 s 227.3 / 60.1 s 321.5 / 300.0 s 15.2 / 4.0 s
SRS_Standard/ICFP_2010/41838.xml 300.1 / 300.0 s 228.3 / 61.0 s 307.5 / 300.0 s 843.4 / 300.0 s
SRS_Standard/ICFP_2010/41843.xml 300.1 / 300.0 s 228.7 / 61.0 s 298.2 / 300.0 s 686.9 / 300.0 s
SRS_Standard/ICFP_2010/41865.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.0 / 300.0 s 672.9 / 300.1 s
SRS_Standard/ICFP_2010/4200.xml 451.5 / 300.0 s 293.2 / 61.0 s 300.1 / 300.0 s 608.9 / 300.0 s
SRS_Standard/ICFP_2010/4206.xml 300.1 / 300.0 s 143.6 / 73.2 s 300.9 / 300.0 s 799.1 / 300.0 s
SRS_Standard/ICFP_2010/42170.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.1 / 300.0 s 661.2 / 300.0 s
SRS_Standard/ICFP_2010/42321.xml 301.0 / 300.0 s 131.7 / 61.5 s 300.9 / 300.0 s 77.5 / 20.0 s
SRS_Standard/ICFP_2010/42466.xml 300.1 / 300.0 s 131.7 / 61.5 s 301.0 / 300.0 s 614.4 / 300.1 s
SRS_Standard/ICFP_2010/4248.xml 398.6 / 300.0 s 227.4 / 60.8 s 301.0 / 300.0 s 637.4 / 300.0 s
SRS_Standard/ICFP_2010/42683.xml 300.1 / 300.0 s 131.8 / 61.5 s 308.9 / 300.0 s 71.6 / 18.5 s
SRS_Standard/ICFP_2010/4282.xml 390.3 / 300.0 s 229.6 / 60.9 s 300.0 / 300.0 s 604.3 / 300.0 s
SRS_Standard/ICFP_2010/4314.xml 436.8 / 300.0 s 237.7 / 60.7 s 302.0 / 300.0 s 801.1 / 300.0 s
SRS_Standard/ICFP_2010/43266.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.1 / 300.0 s 595.2 / 300.0 s
SRS_Standard/ICFP_2010/43603.xml 300.1 / 300.0 s 141.6 / 71.2 s 300.6 / 300.0 s 677.0 / 300.1 s
SRS_Standard/ICFP_2010/43621.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.6 / 300.0 s 753.3 / 300.0 s
SRS_Standard/ICFP_2010/43650.xml 300.1 / 300.0 s 141.7 / 71.3 s 300.8 / 300.0 s 747.5 / 300.0 s
SRS_Standard/ICFP_2010/4374.xml 399.4 / 300.0 s 228.5 / 60.8 s 299.9 / 300.0 s 662.8 / 300.0 s
SRS_Standard/ICFP_2010/43987.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.0 / 300.0 s 606.3 / 300.0 s
SRS_Standard/ICFP_2010/4412.xml 449.6 / 300.0 s 220.9 / 61.0 s 301.4 / 300.0 s 793.5 / 300.1 s
SRS_Standard/ICFP_2010/44332.xml 300.1 / 300.0 s 131.8 / 61.5 s 301.0 / 300.0 s 79.7 / 20.6 s
SRS_Standard/ICFP_2010/4484.xml 425.4 / 300.0 s 228.3 / 60.9 s 299.9 / 300.0 s 636.9 / 300.1 s
SRS_Standard/ICFP_2010/4487.xml 404.2 / 300.0 s 224.1 / 60.8 s 299.9 / 300.0 s 594.2 / 300.1 s
SRS_Standard/ICFP_2010/45720.xml 204.9 / 190.8 s 232.4 / 60.8 s 304.1 / 300.0 s 631.6 / 300.1 s
SRS_Standard/ICFP_2010/45757.xml 309.5 / 300.0 s 230.1 / 60.8 s 299.2 / 300.0 s 616.6 / 300.0 s
SRS_Standard/ICFP_2010/45970.xml 300.1 / 300.0 s 132.9 / 62.6 s 301.3 / 300.0 s 603.7 / 300.0 s
SRS_Standard/ICFP_2010/4816.xml 450.9 / 300.0 s 215.8 / 60.9 s 300.1 / 300.0 s 604.0 / 300.0 s
SRS_Standard/ICFP_2010/4819.xml 407.1 / 300.0 s 218.9 / 60.9 s 300.0 / 300.0 s 603.1 / 300.0 s
SRS_Standard/ICFP_2010/4824.xml 383.6 / 300.0 s 226.5 / 60.7 s 299.9 / 300.0 s 616.0 / 300.0 s
SRS_Standard/ICFP_2010/48262.xml 382.3 / 300.0 s 223.3 / 60.1 s 299.3 / 300.0 s 621.9 / 300.0 s
SRS_Standard/ICFP_2010/48267.xml 300.1 / 300.0 s 209.9 / 60.3 s 303.1 / 300.0 s 740.1 / 300.0 s
SRS_Standard/ICFP_2010/4827.xml 356.2 / 300.0 s 236.7 / 61.2 s 300.5 / 300.0 s 706.1 / 300.0 s
SRS_Standard/ICFP_2010/48328.xml 395.0 / 300.0 s 197.5 / 60.2 s 300.2 / 300.0 s 718.8 / 300.0 s
SRS_Standard/ICFP_2010/48374.xml 300.3 / 300.0 s 195.6 / 60.2 s 315.0 / 300.0 s 653.3 / 300.0 s
SRS_Standard/ICFP_2010/4840.xml 342.7 / 300.0 s 14.6 / 4.0 s 299.1 / 300.0 s 594.5 / 300.0 s
SRS_Standard/ICFP_2010/4847.xml 414.8 / 300.0 s 219.6 / 61.0 s 300.1 / 300.0 s 595.4 / 300.1 s
SRS_Standard/ICFP_2010/4854.xml 448.0 / 300.0 s 217.6 / 60.7 s 300.1 / 300.0 s 594.3 / 300.0 s
SRS_Standard/ICFP_2010/48686.xml 300.1 / 300.0 s 134.0 / 63.8 s 301.5 / 300.0 s 743.5 / 300.0 s
SRS_Standard/ICFP_2010/4893.xml 403.3 / 300.0 s 219.9 / 61.0 s 300.2 / 300.0 s 599.4 / 300.0 s
SRS_Standard/ICFP_2010/4920.xml 393.7 / 300.0 s 229.1 / 61.0 s 300.7 / 300.0 s 627.6 / 300.0 s
SRS_Standard/ICFP_2010/4934.xml 391.4 / 300.0 s 229.5 / 60.9 s 299.7 / 300.0 s 589.3 / 300.0 s
SRS_Standard/ICFP_2010/4938.xml 447.7 / 300.0 s 214.2 / 60.7 s 300.2 / 300.0 s 597.8 / 300.0 s
SRS_Standard/ICFP_2010/4943.xml 388.6 / 300.0 s 232.9 / 60.8 s 301.9 / 300.0 s 756.8 / 300.0 s
SRS_Standard/ICFP_2010/4953.xml 454.3 / 300.0 s 218.0 / 60.7 s 300.1 / 300.0 s 599.9 / 300.0 s
SRS_Standard/ICFP_2010/4964.xml 404.9 / 300.0 s 224.4 / 60.8 s 299.8 / 300.0 s 589.7 / 300.1 s
SRS_Standard/ICFP_2010/4970.xml 120.2 / 108.6 s 13.1 / 3.6 s 296.8 / 300.0 s 661.4 / 180.9 s
SRS_Standard/ICFP_2010/4979.xml 367.6 / 300.0 s 233.0 / 60.7 s 299.8 / 300.0 s 187.8 / 47.9 s
SRS_Standard/ICFP_2010/4991.xml 377.8 / 300.0 s 232.7 / 61.2 s 299.9 / 300.0 s 617.7 / 300.1 s
SRS_Standard/ICFP_2010/5011.xml 348.6 / 300.0 s 12.9 / 3.6 s 299.2 / 300.0 s 607.5 / 300.0 s
SRS_Standard/ICFP_2010/5076.xml 370.2 / 300.0 s 233.9 / 60.8 s 299.8 / 300.0 s 615.8 / 300.0 s
SRS_Standard/ICFP_2010/50904.xml 439.5 / 300.0 s 132.3 / 62.1 s 301.5 / 300.0 s 602.2 / 300.0 s
SRS_Standard/ICFP_2010/5109.xml 388.2 / 300.0 s 223.0 / 60.8 s 300.1 / 300.0 s 659.6 / 300.0 s
SRS_Standard/ICFP_2010/5130.xml 454.0 / 300.0 s 216.9 / 60.8 s 300.2 / 300.0 s 604.9 / 300.1 s
SRS_Standard/ICFP_2010/51424.xml 300.1 / 300.0 s 141.4 / 71.1 s 301.1 / 300.0 s 749.7 / 300.0 s
SRS_Standard/ICFP_2010/51577.xml 300.1 / 300.0 s 141.4 / 71.1 s 300.8 / 300.0 s 641.9 / 300.0 s
SRS_Standard/ICFP_2010/51842.xml 300.1 / 300.0 s 141.6 / 71.3 s 300.8 / 300.0 s 738.7 / 300.1 s
SRS_Standard/ICFP_2010/53216.xml 300.1 / 300.0 s 141.7 / 71.3 s 300.7 / 300.0 s 618.6 / 300.0 s
SRS_Standard/ICFP_2010/54097.xml 300.1 / 300.0 s 140.2 / 69.9 s 301.0 / 300.0 s 582.5 / 300.0 s
SRS_Standard/ICFP_2010/54532.xml 0.0 / 0.0 s 24.6 / 19.3 s 0.0 / 0.0 s 10.9 / 3.1 s
SRS_Standard/ICFP_2010/54622.xml 0.0 / 0.0 s 22.1 / 18.6 s 0.0 / 0.0 s 9.2 / 2.7 s
SRS_Standard/ICFP_2010/56144.xml 300.1 / 300.0 s 131.8 / 61.5 s 300.9 / 300.0 s 78.1 / 20.2 s
SRS_Standard/ICFP_2010/57132.xml 437.7 / 300.0 s 219.0 / 61.1 s 300.5 / 300.0 s 643.5 / 300.0 s
SRS_Standard/ICFP_2010/57278.xml 302.3 / 300.0 s 155.6 / 60.3 s 299.6 / 300.0 s 634.6 / 300.0 s
SRS_Standard/ICFP_2010/57355.xml 2.7 / 2.8 s 237.9 / 61.0 s 299.9 / 300.0 s 681.5 / 203.6 s
SRS_Standard/ICFP_2010/57453.xml 351.5 / 300.0 s 217.2 / 60.9 s 300.4 / 300.0 s 638.5 / 300.1 s
SRS_Standard/ICFP_2010/57799.xml 68.1 / 66.7 s 244.5 / 60.0 s 25.0 / 25.4 s 163.0 / 41.9 s
SRS_Standard/ICFP_2010/57852.xml 300.1 / 300.0 s 135.0 / 64.7 s 301.4 / 300.0 s 99.3 / 25.6 s
SRS_Standard/ICFP_2010/58125.xml 348.4 / 300.0 s 135.1 / 64.7 s 301.2 / 300.0 s 684.7 / 300.0 s
SRS_Standard/ICFP_2010/58194.xml 41.4 / 39.5 s 243.5 / 61.1 s 299.6 / 300.0 s 607.3 / 300.0 s
SRS_Standard/ICFP_2010/58221.xml 374.1 / 300.0 s 222.4 / 61.3 s 300.3 / 300.0 s 634.6 / 300.0 s
SRS_Standard/ICFP_2010/58301.xml 2.6 / 3.0 s 213.3 / 60.1 s 30.1 / 30.5 s 120.5 / 31.0 s
SRS_Standard/ICFP_2010/63142.xml 454.0 / 300.0 s 222.3 / 60.9 s 299.9 / 300.0 s 24.6 / 6.6 s
SRS_Standard/ICFP_2010/64160.xml 455.9 / 300.0 s 4.7 / 1.5 s 299.1 / 300.0 s 641.7 / 300.0 s
SRS_Standard/ICFP_2010/65081.xml 300.1 / 300.0 s 12.3 / 3.4 s 300.2 / 300.0 s 11.9 / 3.4 s
SRS_Standard/ICFP_2010/68322.xml 403.7 / 300.0 s 223.8 / 60.8 s 300.4 / 300.0 s 665.3 / 300.0 s
SRS_Standard/ICFP_2010/68535.xml 416.3 / 300.0 s 235.8 / 61.1 s 303.2 / 300.0 s 307.2 / 80.2 s
SRS_Standard/ICFP_2010/68989.xml 300.1 / 300.0 s 235.3 / 61.0 s 300.8 / 300.0 s 29.6 / 7.9 s
SRS_Standard/ICFP_2010/81452.xml 396.6 / 300.0 s 234.4 / 60.9 s 300.3 / 300.0 s 658.5 / 300.0 s
SRS_Standard/ICFP_2010/84886.xml 376.6 / 300.0 s 207.2 / 61.0 s 300.4 / 300.0 s 692.6 / 300.0 s
SRS_Standard/ICFP_2010/84977.xml 306.9 / 300.0 s 216.7 / 61.0 s 300.3 / 300.0 s 633.1 / 300.0 s
SRS_Standard/ICFP_2010/85039.xml 425.6 / 300.0 s 218.2 / 61.1 s 300.4 / 300.0 s 635.1 / 300.0 s
SRS_Standard/ICFP_2010/85079.xml 300.1 / 300.0 s 214.0 / 60.9 s 300.4 / 300.0 s 287.3 / 73.5 s
SRS_Standard/ICFP_2010/85267.xml 400.7 / 300.0 s 220.9 / 61.1 s 300.4 / 300.0 s 648.7 / 300.0 s
SRS_Standard/ICFP_2010/85294.xml 414.9 / 300.0 s 217.8 / 61.1 s 300.5 / 300.0 s 640.1 / 300.1 s
SRS_Standard/ICFP_2010/85345.xml 381.0 / 300.0 s 215.3 / 61.1 s 300.4 / 300.0 s 635.2 / 300.0 s
SRS_Standard/ICFP_2010/85380.xml 439.6 / 300.0 s 226.6 / 61.0 s 300.4 / 300.0 s 627.2 / 300.1 s
SRS_Standard/ICFP_2010/85477.xml 300.1 / 300.0 s 225.2 / 61.2 s 300.3 / 300.0 s 124.6 / 32.0 s
SRS_Standard/ICFP_2010/85590.xml 439.8 / 300.0 s 253.6 / 60.8 s 300.3 / 300.0 s 678.7 / 300.0 s
SRS_Standard/ICFP_2010/85650.xml 300.1 / 300.0 s 228.5 / 61.0 s 307.9 / 300.0 s 108.8 / 27.8 s
SRS_Standard/ICFP_2010/85675.xml 300.1 / 300.0 s 232.3 / 61.0 s 300.3 / 300.0 s 16.6 / 4.6 s
SRS_Standard/ICFP_2010/85721.xml 408.6 / 300.0 s 234.9 / 61.1 s 300.3 / 300.0 s 688.6 / 300.1 s
SRS_Standard/ICFP_2010/85749.xml 44.9 / 44.9 s 230.7 / 61.0 s 300.3 / 300.0 s 13.3 / 3.7 s
SRS_Standard/ICFP_2010/85782.xml 441.2 / 300.0 s 236.2 / 61.1 s 300.3 / 300.0 s 675.4 / 300.1 s
SRS_Standard/ICFP_2010/85834.xml 23.1 / 23.2 s 231.9 / 60.8 s 299.5 / 300.0 s 23.0 / 6.2 s
SRS_Standard/ICFP_2010/85874.xml 441.3 / 300.0 s 227.6 / 60.9 s 300.4 / 300.0 s 689.0 / 300.0 s
SRS_Standard/ICFP_2010/85920.xml 446.3 / 300.0 s 232.2 / 60.9 s 300.3 / 300.0 s 632.2 / 300.0 s
SRS_Standard/ICFP_2010/86025.xml 403.9 / 300.0 s 231.3 / 60.9 s 300.4 / 300.0 s 684.7 / 300.0 s
SRS_Standard/ICFP_2010/86052.xml 446.4 / 300.0 s 233.3 / 60.9 s 300.3 / 300.0 s 615.8 / 300.0 s
SRS_Standard/ICFP_2010/86452.xml 447.0 / 300.0 s 231.3 / 60.8 s 300.3 / 300.0 s 618.5 / 300.0 s
SRS_Standard/ICFP_2010/86499.xml 426.0 / 300.0 s 230.7 / 61.0 s 300.2 / 300.0 s 622.0 / 300.0 s
SRS_Standard/ICFP_2010/86526.xml 300.1 / 300.0 s 228.8 / 61.0 s 300.4 / 300.0 s 703.1 / 300.0 s
SRS_Standard/ICFP_2010/86559.xml 300.1 / 300.0 s 3.6 / 1.4 s 300.3 / 300.0 s 17.6 / 4.9 s
SRS_Standard/ICFP_2010/86577.xml 399.4 / 300.0 s 234.3 / 61.0 s 300.2 / 300.0 s 657.1 / 300.1 s
SRS_Standard/ICFP_2010/86617.xml 437.2 / 300.0 s 229.2 / 61.0 s 300.2 / 300.1 s 687.0 / 300.0 s
SRS_Standard/ICFP_2010/86636.xml 378.2 / 300.0 s 229.2 / 61.0 s 300.2 / 300.0 s 728.5 / 300.0 s
SRS_Standard/ICFP_2010/86745.xml 300.1 / 300.0 s 228.2 / 60.8 s 300.3 / 300.0 s 20.1 / 5.5 s
SRS_Standard/ICFP_2010/86816.xml 373.3 / 300.0 s 220.9 / 60.8 s 300.4 / 300.0 s 639.0 / 300.0 s
SRS_Standard/ICFP_2010/86857.xml 300.1 / 300.0 s 231.5 / 60.8 s 305.2 / 300.0 s 816.8 / 300.0 s
SRS_Standard/ICFP_2010/88143.xml 452.6 / 300.0 s 238.4 / 60.1 s 300.4 / 300.0 s 49.1 / 12.8 s
SRS_Standard/ICFP_2010/88156.xml 442.9 / 300.0 s 175.6 / 60.2 s 300.3 / 300.0 s 58.6 / 15.2 s
SRS_Standard/ICFP_2010/88172.xml 457.1 / 300.0 s 190.5 / 60.2 s 306.1 / 300.0 s 662.6 / 300.0 s
SRS_Standard/ICFP_2010/88183.xml 450.0 / 300.0 s 184.1 / 60.1 s 300.4 / 300.0 s 631.2 / 300.0 s
SRS_Standard/ICFP_2010/88208.xml 445.8 / 300.0 s 179.0 / 61.3 s 305.3 / 300.0 s 48.6 / 12.7 s
SRS_Standard/ICFP_2010/88283.xml 451.1 / 300.0 s 176.2 / 60.2 s 300.5 / 300.0 s 649.1 / 300.0 s
SRS_Standard/ICFP_2010/91210.xml 400.7 / 300.0 s 131.0 / 60.7 s 301.4 / 300.0 s 62.4 / 16.2 s
SRS_Standard/ICFP_2010/91218.xml 419.3 / 300.0 s 130.9 / 60.7 s 301.2 / 300.1 s 691.4 / 300.0 s
SRS_Standard/ICFP_2010/91233.xml 445.1 / 300.0 s 130.9 / 60.7 s 301.3 / 300.0 s 57.0 / 14.8 s
SRS_Standard/ICFP_2010/91242.xml 441.9 / 300.0 s 130.7 / 60.6 s 301.2 / 300.0 s 600.9 / 300.1 s
SRS_Standard/ICFP_2010/91254.xml 439.1 / 300.0 s 130.9 / 60.7 s 301.2 / 300.0 s 682.3 / 300.1 s
SRS_Standard/ICFP_2010/95858.xml 406.9 / 300.0 s 229.2 / 60.9 s 300.2 / 300.0 s 681.3 / 300.0 s
SRS_Standard/ICFP_2010/95899.xml 448.3 / 300.0 s 227.9 / 60.9 s 300.3 / 300.0 s 694.3 / 300.0 s
SRS_Standard/ICFP_2010/95952.xml 426.0 / 300.0 s 223.3 / 60.9 s 300.2 / 300.0 s 700.4 / 300.0 s
SRS_Standard/ICFP_2010/95978.xml 394.4 / 300.0 s 225.4 / 60.9 s 300.4 / 300.0 s 699.2 / 300.0 s
SRS_Standard/ICFP_2010/96029.xml 435.1 / 300.0 s 240.0 / 61.1 s 300.3 / 300.0 s 702.5 / 300.0 s
SRS_Standard/ICFP_2010/96065.xml 446.4 / 300.0 s 234.6 / 60.9 s 300.4 / 300.0 s 642.4 / 300.0 s
SRS_Standard/ICFP_2010/96086.xml 300.2 / 300.0 s 2.1 / 0.9 s 156.3 / 149.2 s 14.6 / 4.1 s
SRS_Standard/ICFP_2010/96104.xml 300.6 / 300.0 s 258.3 / 61.0 s 300.0 / 300.0 s 645.7 / 300.0 s
SRS_Standard/ICFP_2010/96119.xml 442.6 / 300.0 s 259.6 / 61.1 s 300.2 / 300.0 s 612.5 / 300.0 s
SRS_Standard/ICFP_2010/96156.xml 448.7 / 300.0 s 233.9 / 61.0 s 300.3 / 300.0 s 626.3 / 300.1 s
SRS_Standard/ICFP_2010/96176.xml 300.1 / 300.0 s 236.4 / 61.0 s 299.6 / 300.0 s 729.8 / 300.2 s
SRS_Standard/ICFP_2010/96198.xml 300.1 / 300.0 s 242.4 / 61.0 s 299.9 / 300.0 s 663.9 / 300.0 s
SRS_Standard/ICFP_2010/96224.xml 29.7 / 29.7 s 2.1 / 0.9 s 300.4 / 300.0 s 10.7 / 3.1 s
SRS_Standard/ICFP_2010/96239.xml 354.1 / 300.0 s 263.7 / 61.1 s 300.3 / 300.0 s 693.9 / 300.1 s
SRS_Standard/ICFP_2010/96256.xml 442.4 / 300.0 s 236.0 / 61.0 s 300.3 / 300.0 s 691.0 / 300.0 s
SRS_Standard/ICFP_2010/96274.xml 18.5 / 18.6 s 235.4 / 60.9 s 303.3 / 300.0 s 14.4 / 4.0 s
SRS_Standard/ICFP_2010/96289.xml 433.8 / 300.0 s 234.8 / 61.0 s 300.0 / 300.0 s 659.4 / 300.0 s
SRS_Standard/ICFP_2010/96302.xml 453.9 / 300.0 s 236.0 / 60.9 s 300.1 / 300.0 s 652.9 / 300.0 s
SRS_Standard/ICFP_2010/96334.xml 444.8 / 300.0 s 236.1 / 61.0 s 300.2 / 300.0 s 643.0 / 300.1 s
SRS_Standard/ICFP_2010/96370.xml 300.1 / 300.0 s 233.2 / 60.8 s 300.5 / 300.0 s 81.1 / 20.8 s
SRS_Standard/ICFP_2010/96403.xml 436.1 / 300.0 s 241.3 / 60.8 s 300.0 / 300.0 s 618.0 / 300.0 s
SRS_Standard/ICFP_2010/96417.xml 390.3 / 300.0 s 235.1 / 61.1 s 300.3 / 300.0 s 611.9 / 300.1 s
SRS_Standard/ICFP_2010/96438.xml 441.5 / 300.0 s 236.2 / 60.9 s 300.7 / 300.0 s 270.1 / 69.0 s
SRS_Standard/ICFP_2010/96464.xml 300.1 / 300.0 s 235.2 / 61.0 s 302.7 / 300.0 s 147.3 / 37.7 s
SRS_Standard/ICFP_2010/96485.xml 13.4 / 13.5 s 235.0 / 60.8 s 300.3 / 300.0 s 15.7 / 4.3 s
SRS_Standard/ICFP_2010/96523.xml 439.4 / 300.0 s 14.4 / 4.1 s 300.6 / 300.0 s 681.7 / 300.0 s
SRS_Standard/ICFP_2010/96563.xml 300.1 / 300.0 s 235.7 / 61.0 s 301.5 / 300.0 s 22.4 / 6.0 s
SRS_Standard/ICFP_2010/96612.xml 413.1 / 300.0 s 234.7 / 61.1 s 300.2 / 300.0 s 712.4 / 300.0 s
SRS_Standard/ICFP_2010/96642.xml 300.1 / 300.0 s 235.0 / 61.1 s 300.3 / 300.0 s 124.4 / 31.8 s
SRS_Standard/ICFP_2010/96673.xml 422.0 / 300.0 s 229.7 / 61.0 s 300.3 / 300.0 s 727.6 / 300.0 s
SRS_Standard/ICFP_2010/97885.xml 414.8 / 300.0 s 133.1 / 62.8 s 301.3 / 300.0 s 654.6 / 300.0 s
SRS_Standard/ICFP_2010/97888.xml 304.4 / 300.0 s 133.0 / 62.6 s 301.6 / 300.0 s 726.5 / 300.0 s
SRS_Standard/ICFP_2010/97901.xml 455.3 / 300.0 s 131.2 / 60.9 s 300.7 / 300.0 s 601.9 / 300.0 s
SRS_Standard/ICFP_2010/97917.xml 423.1 / 300.0 s 133.0 / 62.7 s 313.5 / 300.0 s 613.7 / 300.1 s
SRS_Standard/ICFP_2010/97929.xml 301.4 / 300.0 s 133.0 / 62.8 s 301.3 / 300.0 s 734.0 / 300.0 s
SRS_Standard/ICFP_2010/98362.xml 300.1 / 300.0 s 225.8 / 61.1 s 300.3 / 300.0 s 132.3 / 33.9 s
SRS_Standard/ICFP_2010/98623.xml 300.0 / 300.0 s 131.8 / 61.5 s 301.1 / 300.0 s 78.5 / 20.2 s
SRS_Standard/Mixed_SRS/01-oppelt08.xml 0.0 / 0.8 s 236.2 / 60.1 s 299.4 / 300.0 s 57.1 / 15.1 s
SRS_Standard/Mixed_SRS/01.xml 0.0 / 0.2 s 235.6 / 59.8 s 299.4 / 300.0 s 41.3 / 11.1 s
SRS_Standard/Mixed_SRS/02-oppelt08.xml 0.0 / 0.2 s 236.9 / 59.7 s 299.8 / 300.0 s 84.2 / 22.3 s
SRS_Standard/Mixed_SRS/02.xml 0.0 / 0.5 s 235.6 / 59.9 s 299.4 / 300.0 s 32.2 / 8.7 s
SRS_Standard/Mixed_SRS/03-oppelt08.xml 0.0 / 0.2 s 234.9 / 59.6 s 299.8 / 300.0 s 100.1 / 26.0 s
SRS_Standard/Mixed_SRS/03.xml 0.0 / 0.2 s 240.9 / 59.8 s 3.5 / 3.6 s 71.9 / 18.5 s
SRS_Standard/Mixed_SRS/04-oppelt08.xml 0.0 / 0.4 s 235.1 / 59.7 s 299.4 / 300.0 s 68.3 / 18.0 s
SRS_Standard/Mixed_SRS/04.xml 0.0 / 0.2 s 91.6 / 23.4 s 299.7 / 300.0 s 92.7 / 24.0 s
SRS_Standard/Mixed_SRS/05-oppelt08.xml 0.0 / 0.3 s 235.3 / 59.8 s 294.4 / 300.0 s 42.5 / 11.3 s
SRS_Standard/Mixed_SRS/05.xml 0.0 / 0.3 s 211.9 / 53.9 s 299.9 / 300.0 s 52.7 / 13.4 s
SRS_Standard/Mixed_SRS/06-oppelt08.xml 0.0 / 0.1 s 234.9 / 59.6 s 299.9 / 300.0 s 2.2 / 0.9 s
SRS_Standard/Mixed_SRS/06.xml 0.0 / 0.2 s 34.9 / 9.1 s 299.9 / 300.0 s 64.5 / 16.9 s
SRS_Standard/Mixed_SRS/07-oppelt08.xml 0.0 / 0.1 s 235.9 / 60.0 s 299.9 / 300.0 s 6.5 / 2.0 s
SRS_Standard/Mixed_SRS/07.xml 0.0 / 0.1 s 36.4 / 9.4 s 2.5 / 2.5 s 40.2 / 10.7 s
SRS_Standard/Mixed_SRS/08-oppelt08.xml 0.0 / 0.2 s 236.1 / 60.1 s 300.1 / 300.0 s 18.7 / 5.2 s
SRS_Standard/Mixed_SRS/08.xml 0.0 / 0.3 s 258.3 / 59.8 s 299.9 / 300.0 s 244.4 / 60.1 s
SRS_Standard/Mixed_SRS/09.xml 0.0 / 0.3 s 26.5 / 6.9 s 299.9 / 300.0 s 26.3 / 7.1 s
SRS_Standard/Mixed_SRS/1.xml 0.0 / 0.1 s 1.3 / 0.6 s 295.2 / 300.0 s 7.5 / 2.3 s
SRS_Standard/Mixed_SRS/2.xml 0.0 / 0.1 s 117.9 / 29.4 s 299.9 / 300.0 s 34.5 / 9.3 s
SRS_Standard/Mixed_SRS/3.xml 0.0 / 0.1 s 2.9 / 1.0 s 0.0 / 0.1 s 1.5 / 0.7 s
SRS_Standard/Mixed_SRS/4.xml 0.1 / 0.7 s 235.5 / 59.8 s 300.0 / 300.0 s 546.6 / 300.0 s
SRS_Standard/Mixed_SRS/s6.xml 0.0 / 0.2 s 21.6 / 5.8 s 0.0 / 0.0 s 30.6 / 8.2 s
SRS_Standard/Mixed_SRS/touzet.xml 0.0 / 0.1 s 1.3 / 0.6 s 300.0 / 300.0 s 26.4 / 7.2 s
SRS_Standard/Mixed_SRS/turing_add.xml 0.0 / 0.0 s 1.5 / 0.6 s 0.1 / 0.1 s 15.7 / 4.4 s
SRS_Standard/Mixed_SRS/turing_copy.xml 1.7 / 1.6 s 0.3 / 0.3 s 0.0 / 0.0 s 1.0 / 0.6 s
SRS_Standard/Mixed_SRS/turing_mult.xml 4.2 / 4.1 s 0.8 / 0.5 s 297.7 / 300.0 s 1.8 / 0.8 s
SRS_Standard/Secret_05_SRS/aprove1.xml 0.0 / 0.5 s 43.9 / 11.5 s 300.1 / 300.0 s 42.0 / 11.4 s
SRS_Standard/Secret_05_SRS/aprove2.xml 0.0 / 0.3 s 12.9 / 3.5 s 300.1 / 300.0 s 43.9 / 12.0 s
SRS_Standard/Secret_05_SRS/aprove3.xml 0.0 / 0.2 s 59.0 / 15.2 s 300.0 / 300.0 s 38.2 / 10.3 s
SRS_Standard/Secret_05_SRS/aprove4.xml 0.0 / 0.2 s 62.4 / 16.1 s 300.1 / 300.0 s 57.7 / 15.5 s
SRS_Standard/Secret_05_SRS/aprove5.xml 0.0 / 0.4 s 43.3 / 11.3 s 29.1 / 29.2 s 53.4 / 14.4 s
SRS_Standard/Secret_05_SRS/jambox1.xml 0.0 / 0.3 s 235.7 / 59.8 s 299.8 / 300.0 s 69.4 / 17.9 s
SRS_Standard/Secret_05_SRS/jambox2.xml 0.0 / 0.6 s 235.2 / 59.8 s 300.4 / 300.0 s 1187.7 / 300.1 s
SRS_Standard/Secret_05_SRS/jambox3.xml 0.0 / 0.3 s 235.7 / 59.8 s 299.9 / 300.0 s 120.2 / 31.1 s
SRS_Standard/Secret_05_SRS/jambox4.xml 0.0 / 0.2 s 4.6 / 1.4 s 299.5 / 300.0 s 1.9 / 0.8 s
SRS_Standard/Secret_05_SRS/jambox5.xml 0.0 / 0.2 s 11.7 / 3.2 s 299.5 / 300.0 s 115.0 / 29.7 s
SRS_Standard/Secret_05_SRS/matchbox1.xml 0.0 / 0.1 s 11.3 / 3.1 s 10.2 / 10.9 s 44.4 / 11.8 s
SRS_Standard/Secret_05_SRS/matchbox2.xml 0.0 / 0.2 s 5.8 / 1.7 s 3.3 / 3.5 s 1.9 / 0.8 s
SRS_Standard/Secret_05_SRS/torpa1.xml 0.0 / 0.3 s 2.9 / 1.0 s 1.7 / 1.9 s 2.3 / 0.9 s
SRS_Standard/Secret_05_SRS/torpa2.xml 0.0 / 0.1 s 72.2 / 18.5 s 299.9 / 300.0 s 45.0 / 12.1 s
SRS_Standard/Secret_05_SRS/torpa3.xml 0.0 / 0.0 s 9.8 / 2.8 s 3.1 / 3.4 s 17.5 / 4.8 s
SRS_Standard/Secret_05_SRS/torpa4.xml 0.0 / 0.1 s 14.3 / 3.9 s 299.9 / 300.0 s 29.1 / 7.9 s
SRS_Standard/Secret_06_SRS/1-matchbox.xml 0.1 / 0.2 s 344.1 / 59.7 s 300.0 / 300.0 s 466.7 / 118.0 s
SRS_Standard/Secret_06_SRS/1.xml 0.0 / 0.2 s 235.8 / 59.8 s 299.8 / 300.0 s 1191.7 / 300.0 s
SRS_Standard/Secret_06_SRS/10.xml 0.0 / 0.1 s 23.5 / 6.2 s 300.0 / 300.0 s 33.8 / 9.0 s
SRS_Standard/Secret_06_SRS/2-matchbox.xml 1.5 / 1.4 s 235.4 / 59.8 s 300.0 / 300.0 s 368.6 / 94.0 s
SRS_Standard/Secret_06_SRS/2.xml 0.0 / 0.3 s 107.3 / 27.4 s 299.9 / 300.0 s 65.3 / 17.1 s
SRS_Standard/Secret_06_SRS/3-matchbox.xml 1.2 / 1.2 s 13.2 / 3.6 s 40.4 / 40.5 s 91.5 / 23.9 s
SRS_Standard/Secret_06_SRS/3.xml 0.0 / 0.2 s 8.4 / 2.4 s 299.9 / 300.0 s 378.9 / 96.3 s
SRS_Standard/Secret_06_SRS/5-matchbox.xml 0.0 / 0.2 s 6.2 / 1.8 s 299.9 / 300.0 s 27.2 / 7.4 s
SRS_Standard/Secret_06_SRS/5.xml 0.0 / 0.3 s 236.9 / 60.0 s 299.9 / 300.0 s 87.7 / 22.2 s
SRS_Standard/Secret_06_SRS/6.xml 0.0 / 0.8 s 8.7 / 2.5 s 299.9 / 300.0 s 41.6 / 11.2 s
SRS_Standard/Secret_06_SRS/7.xml 0.0 / 0.1 s 24.3 / 6.4 s 300.0 / 300.0 s 31.5 / 8.5 s
SRS_Standard/Secret_06_SRS/8.xml 0.0 / 0.7 s 7.9 / 2.3 s 12.4 / 12.5 s 65.4 / 17.4 s
SRS_Standard/Secret_06_SRS/9.xml 0.0 / 0.1 s 46.8 / 12.1 s 300.0 / 300.0 s 35.2 / 9.4 s
SRS_Standard/Secret_06_SRS/aprove00.xml 0.0 / 0.1 s 2.5 / 0.9 s 0.1 / 0.1 s 30.5 / 8.1 s
SRS_Standard/Secret_06_SRS/aprove01.xml 0.0 / 0.2 s 8.3 / 2.4 s 0.8 / 0.8 s 48.3 / 12.8 s
SRS_Standard/Secret_06_SRS/aprove02.xml 0.0 / 0.2 s 8.1 / 2.3 s 300.0 / 300.0 s 25.8 / 6.9 s
SRS_Standard/Secret_06_SRS/aprove03.xml 0.0 / 0.4 s 27.2 / 7.4 s 300.1 / 300.0 s 37.0 / 9.8 s
SRS_Standard/Secret_06_SRS/aprove04.xml 0.0 / 0.6 s 26.3 / 7.1 s 300.1 / 300.0 s 36.5 / 9.7 s
SRS_Standard/Secret_06_SRS/aprove05.xml 0.0 / 0.3 s 17.2 / 4.6 s 300.1 / 300.0 s 22.6 / 6.2 s
SRS_Standard/Secret_06_SRS/aprove06.xml 0.0 / 0.4 s 44.5 / 11.7 s 0.1 / 0.2 s 49.2 / 13.0 s
SRS_Standard/Secret_06_SRS/aprove07.xml 0.0 / 0.4 s 7.0 / 2.0 s 300.0 / 300.0 s 27.3 / 7.3 s
SRS_Standard/Secret_06_SRS/aprove08.xml 0.0 / 0.2 s 3.9 / 1.2 s 0.8 / 0.8 s 29.3 / 7.9 s
SRS_Standard/Secret_06_SRS/aprove09.xml 0.0 / 0.1 s 2.2 / 0.8 s 0.0 / 0.1 s 21.6 / 5.9 s
SRS_Standard/Secret_06_SRS/multum1.xml 0.0 / 0.4 s 83.5 / 21.4 s 0.4 / 0.4 s 189.1 / 47.4 s
SRS_Standard/Secret_06_SRS/multum2.xml 0.0 / 0.2 s 8.5 / 2.2 s 299.9 / 300.0 s 111.2 / 28.9 s
SRS_Standard/Secret_06_SRS/multum3.xml 0.0 / 0.3 s 48.5 / 12.5 s 299.8 / 300.0 s 31.7 / 8.5 s
SRS_Standard/Secret_06_SRS/multum4.xml 14.0 / 11.4 s 1.0 / 0.5 s 300.0 / 300.0 s 1.6 / 0.7 s
SRS_Standard/Secret_06_SRS/multum5.xml 0.0 / 0.4 s 6.7 / 1.9 s 298.4 / 300.0 s 47.6 / 12.6 s
SRS_Standard/Secret_06_SRS/multum6.xml 0.0 / 0.4 s 15.8 / 4.2 s 298.3 / 300.0 s 66.8 / 17.6 s
SRS_Standard/Secret_06_SRS/secr1.xml 0.0 / 0.1 s 1.4 / 0.6 s 299.9 / 300.0 s 25.6 / 7.0 s
SRS_Standard/Secret_06_SRS/secr10.xml 0.0 / 0.6 s 43.1 / 11.2 s 300.0 / 300.0 s 59.6 / 15.8 s
SRS_Standard/Secret_06_SRS/secr2.xml 0.0 / 0.1 s 3.0 / 1.0 s 299.8 / 300.0 s 28.8 / 7.7 s
SRS_Standard/Secret_06_SRS/secr3.xml 0.0 / 0.4 s 80.4 / 20.6 s 296.4 / 300.0 s 29.1 / 7.9 s
SRS_Standard/Secret_06_SRS/secr4.xml 0.0 / 0.0 s 35.6 / 9.3 s 299.9 / 300.0 s 70.5 / 18.7 s
SRS_Standard/Secret_06_SRS/secr5.xml 0.0 / 0.3 s 237.6 / 59.7 s 299.8 / 300.0 s 295.0 / 72.7 s
SRS_Standard/Secret_06_SRS/secr6.xml 0.1 / 0.4 s 36.6 / 9.5 s 300.0 / 300.0 s 48.5 / 12.8 s
SRS_Standard/Secret_06_SRS/secr7.xml 0.0 / 0.1 s 28.6 / 7.5 s 300.1 / 300.0 s 67.3 / 17.8 s
SRS_Standard/Secret_06_SRS/secr8.xml 0.0 / 0.2 s 40.7 / 10.5 s 287.4 / 300.0 s 59.8 / 15.8 s
SRS_Standard/Secret_06_SRS/secr9.xml 0.0 / 0.6 s 58.1 / 15.0 s 300.0 / 300.0 s 54.8 / 14.7 s
SRS_Standard/Secret_07_SRS/dj.xml 0.0 / 0.0 s 1.3 / 0.6 s 0.0 / 0.0 s 33.9 / 9.1 s
SRS_Standard/Secret_07_SRS/num-514.xml 0.0 / 0.2 s 235.5 / 59.8 s 300.0 / 300.0 s 1045.3 / 247.7 s
SRS_Standard/Secret_07_SRS/num-515.xml 0.0 / 0.2 s 270.4 / 59.7 s 300.0 / 300.0 s 68.3 / 17.8 s
SRS_Standard/Secret_07_SRS/num-518.xml 0.0 / 0.2 s 235.4 / 59.8 s 299.9 / 300.0 s 1194.3 / 300.1 s
SRS_Standard/Secret_07_SRS/num-519.xml 0.0 / 0.2 s 241.3 / 59.8 s 300.0 / 300.0 s 24.0 / 6.5 s
SRS_Standard/Secret_07_SRS/num-520.xml 0.0 / 0.1 s 249.0 / 59.7 s 299.6 / 300.0 s 1192.6 / 300.1 s
SRS_Standard/Secret_07_SRS/num-521.xml 0.0 / 0.1 s 241.1 / 59.8 s 300.1 / 300.0 s 572.5 / 144.6 s
SRS_Standard/Secret_07_SRS/num-525.xml 0.0 / 0.2 s 6.0 / 1.7 s 300.1 / 300.0 s 109.7 / 28.1 s
SRS_Standard/Secret_07_SRS/num-527.xml 0.0 / 0.2 s 240.0 / 59.8 s 300.0 / 300.0 s 358.3 / 90.6 s
SRS_Standard/Secret_07_SRS/num-530.xml 0.0 / 0.2 s 15.5 / 4.1 s 300.1 / 300.0 s 45.3 / 11.5 s
SRS_Standard/Secret_07_SRS/num-539.xml 0.0 / 0.2 s 1.6 / 0.6 s 300.7 / 300.0 s 7.5 / 2.2 s
SRS_Standard/Secret_07_SRS/x01.xml 0.0 / 0.1 s 84.7 / 20.4 s 8.8 / 9.2 s 32.7 / 8.8 s
SRS_Standard/Secret_07_SRS/x02.xml 0.0 / 0.1 s 36.2 / 9.0 s 38.7 / 39.2 s 241.5 / 57.6 s
SRS_Standard/Secret_07_SRS/x03.xml 0.0 / 0.2 s 29.1 / 7.6 s 299.5 / 300.0 s 39.2 / 10.4 s
SRS_Standard/Secret_07_SRS/x04.xml 0.0 / 0.6 s 70.6 / 18.2 s 300.0 / 300.0 s 106.6 / 28.3 s
SRS_Standard/Secret_07_SRS/x05.xml 0.0 / 0.2 s 26.9 / 7.1 s 45.8 / 46.8 s 36.2 / 9.8 s
SRS_Standard/Secret_07_SRS/x06.xml 0.0 / 0.3 s 116.2 / 29.7 s 42.8 / 43.8 s 61.7 / 16.4 s
SRS_Standard/Secret_07_SRS/x07.xml 0.0 / 0.7 s 85.5 / 22.0 s 290.3 / 300.0 s 1189.7 / 300.1 s
SRS_Standard/Secret_07_SRS/x08.xml 0.1 / 0.3 s 149.9 / 38.2 s 300.0 / 300.0 s 82.4 / 21.6 s
SRS_Standard/Secret_07_SRS/x09.xml 0.1 / 0.3 s 235.4 / 59.8 s 300.0 / 300.0 s 186.3 / 45.7 s
SRS_Standard/Secret_07_SRS/x10.xml 0.0 / 0.2 s 93.2 / 23.0 s 29.8 / 30.0 s 80.5 / 21.1 s
SRS_Standard/Trafo_06/dup01.xml 0.0 / 0.6 s 35.2 / 9.5 s 0.2 / 0.2 s 58.4 / 15.9 s
SRS_Standard/Trafo_06/dup05.xml 6.2 / 5.9 s 8.2 / 2.4 s 300.0 / 300.0 s 49.3 / 13.0 s
SRS_Standard/Trafo_06/dup06.xml 0.0 / 0.1 s 32.8 / 8.6 s 300.1 / 300.0 s 31.2 / 8.4 s
SRS_Standard/Trafo_06/dup07.xml 1.0 / 1.1 s 47.4 / 12.3 s 300.1 / 300.0 s 59.1 / 15.5 s
SRS_Standard/Trafo_06/dup08.xml 13.9 / 11.9 s 59.5 / 15.4 s 299.9 / 300.0 s 105.9 / 27.4 s
SRS_Standard/Trafo_06/dup09.xml 0.0 / 0.0 s 1.6 / 0.6 s 0.3 / 0.3 s 43.8 / 11.8 s
SRS_Standard/Trafo_06/dup10.xml 231.3 / 191.1 s 64.8 / 16.7 s 300.0 / 300.0 s 652.4 / 300.0 s
SRS_Standard/Trafo_06/dup11.xml 3.3 / 3.3 s 98.4 / 25.5 s 298.9 / 300.0 s 75.4 / 19.4 s
SRS_Standard/Trafo_06/dup12.xml 3.0 / 3.0 s 19.1 / 5.1 s 300.0 / 300.0 s 262.4 / 66.9 s
SRS_Standard/Trafo_06/dup13.xml 5.2 / 4.6 s 9.0 / 2.5 s 300.0 / 300.0 s 270.0 / 68.5 s
SRS_Standard/Trafo_06/dup14.xml 2.6 / 2.4 s 44.3 / 11.5 s 300.0 / 300.0 s 75.8 / 19.8 s
SRS_Standard/Trafo_06/dup15.xml 0.0 / 0.0 s 4.8 / 1.5 s 0.8 / 0.9 s 65.2 / 17.1 s
SRS_Standard/Trafo_06/dup16.xml 0.0 / 0.1 s 47.1 / 12.2 s 299.9 / 300.0 s 5.0 / 1.6 s
SRS_Standard/Trafo_06/dup17.xml 0.0 / 0.0 s 6.7 / 2.0 s 299.9 / 300.0 s 80.5 / 21.0 s
SRS_Standard/Trafo_06/hom01.xml 1.2 / 1.1 s 8.7 / 2.4 s 300.1 / 300.0 s 52.4 / 13.7 s
SRS_Standard/Trafo_06/hom02.xml 0.0 / 0.0 s 6.3 / 1.9 s 0.1 / 0.2 s 16.0 / 4.4 s
SRS_Standard/Trafo_06/hom03.xml 11.0 / 9.9 s 58.6 / 14.9 s 3.5 / 3.5 s 1.1 / 0.6 s
SRS_Standard/Trafo_06/un02.xml 100.4 / 76.1 s 237.7 / 60.1 s 300.1 / 300.0 s 529.1 / 300.1 s
SRS_Standard/Trafo_06/un04.xml 0.0 / 0.5 s 236.6 / 60.2 s 300.1 / 300.0 s 40.6 / 10.7 s
SRS_Standard/Trafo_06/un05.xml 0.0 / 0.3 s 235.3 / 59.8 s 300.0 / 300.0 s 53.9 / 14.2 s
SRS_Standard/Trafo_06/un06.xml 0.0 / 0.5 s 17.8 / 4.8 s 300.0 / 300.0 s 57.8 / 15.1 s
SRS_Standard/Trafo_06/un07.xml 0.0 / 0.4 s 37.0 / 9.6 s 300.0 / 300.0 s 51.2 / 13.4 s
SRS_Standard/Trafo_06/un08.xml 0.0 / 0.4 s 199.5 / 50.8 s 300.0 / 300.0 s 47.9 / 12.8 s
SRS_Standard/Trafo_06/un09.xml 0.1 / 0.9 s 53.7 / 13.8 s 300.1 / 300.0 s 112.9 / 29.0 s
SRS_Standard/Trafo_06/un10.xml 2.5 / 2.5 s 64.1 / 16.5 s 300.0 / 300.0 s 504.3 / 256.9 s
SRS_Standard/Trafo_06/un11.xml 1.0 / 1.1 s 235.4 / 59.8 s 300.0 / 300.0 s 572.1 / 300.0 s
SRS_Standard/Trafo_06/un12.xml 1.5 / 1.5 s 236.2 / 60.0 s 300.1 / 300.0 s 1.8 / 0.8 s
SRS_Standard/Trafo_06/un13.xml 2.0 / 2.0 s 235.6 / 59.9 s 300.0 / 300.0 s 519.0 / 300.0 s
SRS_Standard/Trafo_06/un14.xml 1.6 / 1.7 s 85.6 / 22.0 s 300.1 / 300.0 s 466.8 / 125.2 s
SRS_Standard/Trafo_06/un15.xml 1.6 / 1.6 s 244.1 / 60.2 s 300.0 / 300.0 s 1049.5 / 300.1 s
SRS_Standard/Trafo_06/un16.xml 1.3 / 1.4 s 235.9 / 60.0 s 300.0 / 300.0 s 1050.8 / 300.0 s
SRS_Standard/Trafo_06/un17.xml 0.1 / 0.7 s 235.7 / 59.9 s 300.1 / 300.0 s 238.5 / 59.1 s
SRS_Standard/Trafo_06/un18.xml 0.0 / 0.6 s 236.3 / 60.1 s 300.0 / 300.0 s 664.7 / 300.1 s
SRS_Standard/Waldmann_06_SRS/e.xml 0.1 / 0.5 s 22.2 / 5.9 s 210.4 / 211.8 s 126.9 / 29.3 s
SRS_Standard/Waldmann_06_SRS/jw1.xml 0.0 / 0.2 s 54.0 / 13.9 s 298.8 / 300.0 s 34.0 / 9.2 s
SRS_Standard/Waldmann_06_SRS/jw3.xml 0.0 / 0.3 s 236.7 / 60.2 s 298.4 / 300.0 s 38.8 / 10.4 s
SRS_Standard/Waldmann_06_SRS/jw4.xml 0.0 / 0.5 s 62.7 / 16.1 s 300.0 / 300.0 s 309.5 / 77.4 s
SRS_Standard/Waldmann_06_SRS/jw5.xml 0.1 / 0.8 s 236.6 / 60.2 s 300.0 / 300.0 s 862.7 / 300.1 s
SRS_Standard/Waldmann_06_SRS/pi.xml 0.0 / 0.6 s 16.0 / 4.3 s 43.2 / 43.6 s 60.8 / 16.1 s
SRS_Standard/Waldmann_06_SRS/sym-1.xml 0.0 / 0.1 s 29.2 / 7.6 s 299.9 / 300.0 s 7.2 / 2.1 s
SRS_Standard/Waldmann_06_SRS/sym-2.xml 0.0 / 0.2 s 95.6 / 24.4 s 300.0 / 300.0 s 71.7 / 19.1 s
SRS_Standard/Waldmann_06_SRS/sym-4.xml 0.6 / 0.7 s 32.2 / 8.4 s 300.0 / 300.0 s 6.0 / 1.9 s
SRS_Standard/Waldmann_06_SRS/sym-5.xml 0.0 / 0.5 s 235.4 / 59.8 s 299.3 / 300.1 s 312.4 / 78.8 s
SRS_Standard/Waldmann_06_SRS/sym-6.xml 0.1 / 0.3 s 165.3 / 42.0 s 299.9 / 300.0 s 206.1 / 50.1 s
SRS_Standard/Waldmann_06_SRS/uni-1.xml 0.0 / 0.1 s 30.6 / 8.0 s 300.0 / 300.0 s 14.2 / 4.0 s
SRS_Standard/Waldmann_06_SRS/uni-2.xml 0.0 / 0.2 s 0.9 / 0.5 s 300.0 / 300.0 s 2.5 / 1.0 s
SRS_Standard/Waldmann_06_SRS/uni-3.xml 0.0 / 0.3 s 206.4 / 52.5 s 300.0 / 300.0 s 6.1 / 1.9 s
SRS_Standard/Waldmann_06_SRS/uni-4.xml 0.0 / 0.2 s 1.4 / 0.6 s 300.0 / 300.0 s 2.0 / 0.9 s
SRS_Standard/Waldmann_06_SRS/uni-5.xml 0.0 / 0.1 s 79.2 / 20.3 s 140.6 / 140.8 s 43.1 / 11.4 s
SRS_Standard/Waldmann_06_SRS/uni-6.xml 0.0 / 0.6 s 236.6 / 59.9 s 299.2 / 300.0 s 46.5 / 12.3 s
SRS_Standard/Waldmann_06_SRS/uni-7.xml 1.7 / 1.8 s 236.3 / 60.1 s 299.9 / 300.0 s 1200.5 / 300.0 s
SRS_Standard/Waldmann_06_SRS/z086-variant.xml 0.0 / 0.3 s 221.8 / 56.4 s 299.6 / 300.0 s 71.6 / 18.3 s
ndard/Waldmann_07_size11/size-11-alpha-2-num-1.xml 0.0 / 0.1 s 101.4 / 25.9 s 300.1 / 300.0 s 64.3 / 16.8 s
ndard/Waldmann_07_size11/size-11-alpha-2-num-2.xml 0.0 / 0.1 s 278.6 / 59.7 s 300.1 / 300.0 s 59.1 / 15.6 s
ndard/Waldmann_07_size11/size-11-alpha-2-num-3.xml 0.0 / 0.2 s 50.1 / 12.9 s 300.0 / 300.0 s 51.1 / 13.6 s
ndard/Waldmann_07_size11/size-11-alpha-2-num-4.xml 0.0 / 0.2 s 40.7 / 10.5 s 300.1 / 300.0 s 46.3 / 12.3 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-1.xml 0.0 / 0.1 s 241.8 / 59.6 s 300.0 / 300.0 s 132.9 / 33.7 s
dard/Waldmann_07_size11/size-11-alpha-3-num-10.xml 0.0 / 0.1 s 34.1 / 8.9 s 4.8 / 4.9 s 49.8 / 13.1 s
dard/Waldmann_07_size11/size-11-alpha-3-num-11.xml 0.0 / 0.1 s 25.2 / 6.6 s 2.8 / 2.9 s 27.5 / 7.4 s
dard/Waldmann_07_size11/size-11-alpha-3-num-12.xml 0.0 / 0.1 s 32.5 / 8.5 s 300.0 / 300.0 s 43.7 / 11.6 s
dard/Waldmann_07_size11/size-11-alpha-3-num-13.xml 0.0 / 0.1 s 30.8 / 8.1 s 1.3 / 1.4 s 50.7 / 13.3 s
dard/Waldmann_07_size11/size-11-alpha-3-num-14.xml 0.0 / 0.1 s 27.2 / 7.1 s 6.0 / 6.2 s 36.6 / 9.7 s
dard/Waldmann_07_size11/size-11-alpha-3-num-15.xml 0.0 / 0.2 s 7.5 / 2.1 s 300.0 / 300.0 s 58.0 / 15.2 s
dard/Waldmann_07_size11/size-11-alpha-3-num-16.xml 0.0 / 0.1 s 40.2 / 10.4 s 300.0 / 300.0 s 17.5 / 4.8 s
dard/Waldmann_07_size11/size-11-alpha-3-num-17.xml 0.0 / 0.1 s 30.9 / 7.9 s 1.0 / 1.1 s 31.6 / 8.5 s
dard/Waldmann_07_size11/size-11-alpha-3-num-18.xml 0.0 / 0.1 s 234.7 / 59.4 s 300.1 / 300.0 s 10.0 / 2.9 s
dard/Waldmann_07_size11/size-11-alpha-3-num-19.xml 0.0 / 0.1 s 24.0 / 6.3 s 300.1 / 300.0 s 37.3 / 9.9 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-2.xml 0.0 / 0.1 s 104.8 / 26.3 s 6.0 / 6.1 s 58.2 / 15.2 s
dard/Waldmann_07_size11/size-11-alpha-3-num-20.xml 0.0 / 0.1 s 22.6 / 5.9 s 299.9 / 300.0 s 22.0 / 6.0 s
dard/Waldmann_07_size11/size-11-alpha-3-num-21.xml 0.0 / 0.1 s 207.9 / 59.3 s 7.8 / 7.9 s 19.6 / 5.3 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-3.xml 0.0 / 0.1 s 27.3 / 7.2 s 300.0 / 300.0 s 40.6 / 10.9 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-4.xml 0.0 / 0.1 s 235.3 / 59.7 s 26.5 / 26.7 s 1194.8 / 300.1 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-5.xml 0.0 / 0.1 s 43.2 / 11.2 s 3.3 / 3.4 s 54.6 / 14.3 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-6.xml 0.0 / 0.1 s 24.4 / 6.4 s 300.1 / 300.0 s 44.8 / 11.8 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-7.xml 0.0 / 0.1 s 24.9 / 6.5 s 300.0 / 300.0 s 46.3 / 12.2 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-8.xml 0.0 / 0.1 s 27.8 / 7.3 s 300.1 / 300.0 s 44.9 / 11.9 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-9.xml 0.0 / 0.1 s 28.0 / 7.3 s 300.1 / 300.0 s 32.0 / 8.6 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-1.xml 0.0 / 0.1 s 28.5 / 7.3 s 300.1 / 300.0 s 42.8 / 11.4 s
dard/Waldmann_07_size12/size-12-alpha-2-num-10.xml 0.0 / 0.2 s 235.2 / 59.7 s 300.1 / 300.0 s 1194.5 / 300.1 s
dard/Waldmann_07_size12/size-12-alpha-2-num-11.xml 0.0 / 0.3 s 235.4 / 59.7 s 300.0 / 300.0 s 1196.7 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-2-num-12.xml 0.0 / 0.2 s 235.1 / 59.7 s 300.0 / 300.0 s 1116.1 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-2-num-13.xml 0.0 / 0.1 s 109.3 / 27.6 s 300.1 / 300.0 s 54.6 / 14.3 s
dard/Waldmann_07_size12/size-12-alpha-2-num-14.xml 0.0 / 0.2 s 134.6 / 32.2 s 300.0 / 300.0 s 59.1 / 15.6 s
dard/Waldmann_07_size12/size-12-alpha-2-num-15.xml 0.0 / 0.1 s 44.5 / 11.5 s 300.0 / 300.0 s 28.2 / 7.6 s
dard/Waldmann_07_size12/size-12-alpha-2-num-16.xml 0.0 / 0.1 s 27.1 / 7.1 s 300.0 / 300.0 s 63.8 / 17.0 s
dard/Waldmann_07_size12/size-12-alpha-2-num-17.xml 0.1 / 0.2 s 241.4 / 59.7 s 300.0 / 300.0 s 1190.4 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-2-num-18.xml 0.2 / 0.4 s 235.1 / 59.6 s 300.0 / 300.0 s 1199.9 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-2-num-19.xml 0.0 / 0.1 s 54.4 / 14.0 s 299.9 / 300.0 s 37.5 / 10.0 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-2.xml 0.0 / 0.1 s 30.2 / 7.9 s 300.1 / 300.0 s 50.6 / 13.4 s
dard/Waldmann_07_size12/size-12-alpha-2-num-20.xml 0.0 / 0.1 s 235.1 / 59.5 s 299.9 / 300.0 s 311.8 / 76.9 s
dard/Waldmann_07_size12/size-12-alpha-2-num-21.xml 0.0 / 0.1 s 25.9 / 6.8 s 300.0 / 300.0 s 37.3 / 10.0 s
dard/Waldmann_07_size12/size-12-alpha-2-num-22.xml 0.0 / 0.1 s 32.3 / 8.4 s 300.2 / 300.0 s 35.3 / 9.3 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-3.xml 0.0 / 0.1 s 32.5 / 8.5 s 300.1 / 300.0 s 40.5 / 10.7 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-4.xml 0.0 / 0.1 s 124.0 / 31.6 s 300.1 / 300.0 s 41.0 / 11.0 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-5.xml 0.0 / 0.2 s 157.5 / 40.1 s 300.1 / 300.0 s 45.5 / 12.1 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-6.xml 0.0 / 0.1 s 152.0 / 34.6 s 300.1 / 300.0 s 39.3 / 10.5 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-7.xml 0.0 / 0.1 s 235.4 / 59.8 s 300.1 / 300.0 s 1200.1 / 298.4 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-8.xml 0.0 / 0.1 s 236.0 / 59.9 s 300.1 / 300.0 s 35.7 / 9.5 s
ndard/Waldmann_07_size12/size-12-alpha-3-num-1.xml 0.0 / 0.1 s 29.1 / 7.6 s 9.4 / 9.7 s 65.3 / 17.2 s
dard/Waldmann_07_size12/size-12-alpha-3-num-10.xml 0.1 / 0.1 s 25.1 / 6.6 s 300.1 / 300.0 s 42.1 / 11.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-100.xml 0.0 / 0.1 s 234.8 / 59.5 s 300.0 / 300.0 s 8.0 / 2.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-101.xml 0.0 / 0.1 s 235.0 / 59.5 s 300.0 / 300.0 s 22.1 / 6.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-104.xml 0.0 / 0.1 s 33.9 / 8.8 s 299.9 / 300.0 s 50.5 / 13.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-105.xml 0.0 / 0.1 s 102.7 / 26.2 s 300.1 / 300.0 s 39.7 / 10.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-106.xml 0.0 / 0.1 s 105.8 / 25.6 s 300.1 / 300.0 s 45.1 / 11.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-107.xml 0.0 / 0.1 s 39.0 / 10.1 s 5.0 / 5.1 s 38.8 / 10.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-108.xml 0.0 / 0.1 s 28.4 / 7.4 s 5.1 / 5.2 s 35.0 / 9.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-109.xml 0.0 / 0.1 s 34.7 / 9.0 s 300.0 / 300.0 s 52.6 / 14.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-11.xml 0.0 / 0.1 s 234.8 / 59.5 s 300.1 / 300.0 s 62.7 / 16.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-110.xml 0.0 / 0.1 s 25.1 / 6.6 s 300.0 / 300.0 s 57.2 / 15.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-111.xml 0.0 / 0.2 s 37.8 / 9.8 s 300.0 / 300.0 s 63.8 / 16.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-112.xml 0.6 / 0.7 s 40.7 / 10.5 s 300.0 / 300.0 s 33.8 / 9.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-113.xml 0.1 / 0.2 s 26.2 / 6.8 s 300.0 / 300.0 s 35.8 / 9.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-114.xml 0.1 / 0.2 s 87.4 / 22.4 s 300.0 / 300.0 s 79.6 / 20.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-120.xml 0.0 / 0.1 s 235.4 / 59.7 s 1.4 / 1.5 s 1195.6 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-121.xml 0.1 / 0.1 s 86.7 / 22.2 s 300.0 / 300.0 s 85.4 / 22.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-122.xml 0.0 / 0.1 s 101.7 / 26.0 s 300.0 / 300.0 s 64.1 / 16.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-123.xml 0.0 / 0.1 s 66.2 / 17.0 s 299.6 / 300.0 s 77.7 / 20.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-124.xml 0.0 / 0.1 s 174.6 / 44.4 s 300.0 / 300.0 s 50.1 / 13.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-125.xml 0.0 / 0.2 s 36.7 / 9.5 s 299.9 / 300.0 s 50.6 / 13.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-126.xml 0.0 / 0.1 s 32.4 / 8.5 s 300.0 / 300.0 s 41.2 / 10.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-127.xml 0.0 / 0.1 s 248.1 / 59.4 s 0.9 / 1.0 s 93.1 / 24.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-128.xml 0.0 / 0.2 s 93.2 / 23.9 s 12.8 / 12.9 s 53.7 / 14.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-129.xml 0.0 / 0.1 s 15.0 / 4.0 s 300.0 / 300.0 s 4.8 / 1.6 s
dard/Waldmann_07_size12/size-12-alpha-3-num-13.xml 0.0 / 0.1 s 25.2 / 6.6 s 300.1 / 300.0 s 34.3 / 9.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-131.xml 0.0 / 0.1 s 26.6 / 7.0 s 300.1 / 300.0 s 43.3 / 11.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-132.xml 0.0 / 0.1 s 184.5 / 46.6 s 300.1 / 300.0 s 41.3 / 11.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-133.xml 0.0 / 0.1 s 43.7 / 11.3 s 300.1 / 300.0 s 64.8 / 17.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-134.xml 0.0 / 0.1 s 23.9 / 6.3 s 299.8 / 300.0 s 65.6 / 17.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-135.xml 0.0 / 0.1 s 234.7 / 59.5 s 300.0 / 300.0 s 73.3 / 19.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-14.xml 0.0 / 0.1 s 24.9 / 6.6 s 2.8 / 2.9 s 58.3 / 15.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-140.xml 0.0 / 0.1 s 1.5 / 0.6 s 300.0 / 300.0 s 1.5 / 0.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-146.xml 0.0 / 0.1 s 1.2 / 0.5 s 300.0 / 300.0 s 1.7 / 0.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-149.xml 0.0 / 0.1 s 29.0 / 7.6 s 300.1 / 300.0 s 36.9 / 9.9 s
dard/Waldmann_07_size12/size-12-alpha-3-num-15.xml 0.0 / 0.1 s 24.3 / 6.4 s 300.0 / 300.0 s 57.4 / 15.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-152.xml 0.0 / 0.1 s 36.1 / 9.4 s 300.0 / 300.0 s 65.5 / 17.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-158.xml 0.0 / 0.1 s 1.4 / 0.6 s 300.0 / 300.0 s 1.8 / 0.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-159.xml 0.0 / 0.1 s 1.1 / 0.5 s 300.1 / 300.0 s 1.6 / 0.8 s
dard/Waldmann_07_size12/size-12-alpha-3-num-16.xml 0.0 / 0.1 s 26.0 / 6.8 s 300.0 / 300.0 s 36.4 / 9.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-160.xml 0.0 / 0.1 s 2.5 / 0.9 s 300.0 / 300.0 s 2.4 / 0.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-163.xml 0.0 / 0.1 s 34.0 / 8.8 s 2.9 / 3.0 s 37.0 / 10.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-164.xml 0.0 / 0.1 s 27.0 / 7.1 s 299.9 / 300.0 s 39.0 / 10.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-165.xml 0.0 / 0.1 s 25.6 / 6.7 s 1.0 / 1.1 s 38.9 / 10.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-168.xml 0.0 / 0.1 s 31.8 / 8.3 s 300.0 / 300.0 s 40.1 / 10.7 s
dard/Waldmann_07_size12/size-12-alpha-3-num-17.xml 0.0 / 0.1 s 28.2 / 7.4 s 300.0 / 300.0 s 48.8 / 12.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-170.xml 0.0 / 0.1 s 234.6 / 59.4 s 300.0 / 300.0 s 95.1 / 24.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-174.xml 0.0 / 0.1 s 234.8 / 59.5 s 300.0 / 300.0 s 1200.3 / 298.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-176.xml 0.0 / 0.1 s 37.0 / 9.6 s 300.1 / 300.0 s 54.6 / 14.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-177.xml 0.0 / 0.1 s 7.3 / 2.1 s 300.0 / 300.0 s 2.3 / 0.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-178.xml 0.0 / 0.1 s 10.4 / 2.9 s 300.0 / 300.0 s 39.1 / 10.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-179.xml 0.0 / 0.1 s 1.3 / 0.6 s 300.0 / 300.0 s 2.1 / 0.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-180.xml 0.0 / 0.1 s 27.2 / 7.1 s 300.1 / 300.0 s 66.9 / 17.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-181.xml 0.0 / 0.1 s 4.1 / 1.3 s 300.0 / 300.0 s 4.9 / 1.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-186.xml 0.0 / 0.1 s 26.5 / 7.0 s 299.9 / 300.0 s 32.9 / 8.8 s
dard/Waldmann_07_size12/size-12-alpha-3-num-19.xml 0.0 / 0.1 s 23.0 / 6.1 s 6.7 / 6.8 s 53.6 / 14.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-190.xml 0.0 / 0.1 s 26.4 / 6.9 s 300.1 / 300.0 s 40.3 / 10.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-191.xml 0.0 / 0.1 s 26.1 / 6.8 s 300.1 / 300.0 s 29.4 / 7.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-194.xml 0.0 / 0.1 s 24.7 / 6.5 s 300.1 / 300.0 s 40.6 / 10.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-195.xml 0.0 / 0.1 s 14.2 / 3.8 s 300.0 / 300.0 s 2.0 / 0.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-198.xml 0.0 / 0.1 s 49.0 / 12.7 s 300.1 / 300.0 s 30.4 / 8.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-199.xml 0.0 / 0.1 s 234.8 / 59.5 s 300.0 / 300.0 s 1189.9 / 300.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-20.xml 0.0 / 0.1 s 242.0 / 59.6 s 300.0 / 300.0 s 8.7 / 2.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-200.xml 0.0 / 0.1 s 23.6 / 6.2 s 300.0 / 300.0 s 32.9 / 8.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-201.xml 0.0 / 0.1 s 33.8 / 8.8 s 4.6 / 4.8 s 50.8 / 13.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-202.xml 0.0 / 0.1 s 32.3 / 8.4 s 299.9 / 300.0 s 48.4 / 12.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-203.xml 0.0 / 0.1 s 22.9 / 6.0 s 299.9 / 300.0 s 42.2 / 11.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-204.xml 0.0 / 0.1 s 30.2 / 7.8 s 299.9 / 300.0 s 43.9 / 11.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-206.xml 0.0 / 0.1 s 234.8 / 59.5 s 300.1 / 300.0 s 28.2 / 7.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-207.xml 0.0 / 0.1 s 236.0 / 59.4 s 300.1 / 300.0 s 50.7 / 13.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-209.xml 0.0 / 0.1 s 234.9 / 59.5 s 300.1 / 300.0 s 1189.5 / 300.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-21.xml 0.0 / 0.2 s 235.4 / 59.7 s 300.1 / 300.0 s 121.8 / 31.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-210.xml 0.0 / 0.1 s 235.0 / 59.5 s 300.1 / 300.0 s 1189.5 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-211.xml 0.0 / 0.1 s 235.0 / 59.6 s 300.0 / 300.0 s 1193.4 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-213.xml 0.0 / 0.1 s 27.8 / 7.3 s 300.0 / 300.0 s 30.5 / 8.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-215.xml 0.0 / 0.1 s 25.8 / 6.8 s 300.1 / 300.0 s 34.1 / 9.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-217.xml 0.0 / 0.1 s 13.5 / 3.6 s 300.0 / 300.0 s 6.1 / 1.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-219.xml 0.0 / 0.1 s 234.8 / 59.5 s 300.0 / 300.0 s 1189.3 / 300.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-22.xml 0.0 / 0.2 s 235.5 / 59.8 s 300.0 / 300.0 s 44.5 / 11.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-220.xml 0.0 / 0.1 s 235.0 / 59.5 s 300.0 / 300.0 s 1189.5 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-221.xml 0.0 / 0.1 s 24.1 / 6.3 s 300.0 / 300.0 s 66.0 / 17.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-222.xml 0.0 / 0.1 s 235.4 / 59.7 s 300.0 / 300.0 s 1189.2 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-223.xml 0.0 / 0.1 s 223.8 / 59.3 s 300.0 / 300.0 s 164.3 / 41.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-224.xml 0.0 / 0.1 s 238.0 / 59.7 s 300.0 / 300.0 s 743.1 / 185.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-225.xml 0.0 / 0.1 s 27.2 / 7.1 s 300.1 / 300.0 s 53.3 / 14.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-226.xml 0.0 / 0.1 s 33.1 / 8.6 s 300.0 / 300.0 s 53.3 / 14.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-227.xml 0.0 / 0.1 s 201.9 / 51.3 s 300.1 / 300.0 s 10.6 / 3.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-23.xml 0.0 / 0.1 s 234.9 / 59.4 s 59.6 / 59.6 s 7.9 / 2.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-231.xml 0.0 / 0.1 s 245.2 / 59.7 s 299.3 / 300.0 s 1200.5 / 293.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-232.xml 0.0 / 0.1 s 45.0 / 11.6 s 8.3 / 8.6 s 43.6 / 11.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-233.xml 0.0 / 0.1 s 235.3 / 59.7 s 10.2 / 10.4 s 97.5 / 25.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-236.xml 0.0 / 0.1 s 71.0 / 16.2 s 3.4 / 3.5 s 56.7 / 14.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-237.xml 0.0 / 0.1 s 63.9 / 16.4 s 2.0 / 2.1 s 39.1 / 10.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-238.xml 0.0 / 0.1 s 235.4 / 59.7 s 300.0 / 300.0 s 1189.9 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-239.xml 0.0 / 0.1 s 234.9 / 59.4 s 299.9 / 300.0 s 5.7 / 1.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-241.xml 0.0 / 0.1 s 236.9 / 59.4 s 300.0 / 300.0 s 30.8 / 8.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-243.xml 0.0 / 0.1 s 234.5 / 59.4 s 300.1 / 300.0 s 10.6 / 3.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-247.xml 0.0 / 0.1 s 235.1 / 59.7 s 299.9 / 300.0 s 1189.8 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-248.xml 0.0 / 0.1 s 235.1 / 59.6 s 300.0 / 300.0 s 1189.3 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-249.xml 0.1 / 0.1 s 55.0 / 14.2 s 300.0 / 300.0 s 73.0 / 18.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-255.xml 0.0 / 0.1 s 34.6 / 9.0 s 7.8 / 7.9 s 84.6 / 22.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-257.xml 0.0 / 0.1 s 220.8 / 59.3 s 300.1 / 300.0 s 6.7 / 2.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-260.xml 0.0 / 0.1 s 235.1 / 59.6 s 300.0 / 300.0 s 2.9 / 1.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-263.xml 0.0 / 0.1 s 100.2 / 25.6 s 300.1 / 300.0 s 41.4 / 11.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-265.xml 0.0 / 0.1 s 28.2 / 7.4 s 300.0 / 300.0 s 45.3 / 12.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-267.xml 0.0 / 0.1 s 235.3 / 59.7 s 300.0 / 300.0 s 1190.1 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-270.xml 0.0 / 0.1 s 235.4 / 59.7 s 300.1 / 300.0 s 100.1 / 25.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-271.xml 0.0 / 0.1 s 42.3 / 10.9 s 300.0 / 300.0 s 32.0 / 8.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-272.xml 0.0 / 0.1 s 235.3 / 59.7 s 300.0 / 300.0 s 1189.3 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-273.xml 0.0 / 0.1 s 24.0 / 6.3 s 300.0 / 300.0 s 43.8 / 11.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-274.xml 0.0 / 0.1 s 235.0 / 59.6 s 300.0 / 300.0 s 1190.6 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-275.xml 0.0 / 0.1 s 23.7 / 6.2 s 300.0 / 300.0 s 43.0 / 11.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-279.xml 0.0 / 0.1 s 27.5 / 7.2 s 299.8 / 300.0 s 69.7 / 18.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-281.xml 0.0 / 0.1 s 26.5 / 6.9 s 300.0 / 300.0 s 54.5 / 14.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-282.xml 0.0 / 0.1 s 26.6 / 7.0 s 300.1 / 300.0 s 45.6 / 12.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-283.xml 0.0 / 0.1 s 24.4 / 6.4 s 3.3 / 3.5 s 70.3 / 18.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-284.xml 0.0 / 0.1 s 25.5 / 6.7 s 300.1 / 300.0 s 73.8 / 9.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-285.xml 0.0 / 0.1 s 25.0 / 6.6 s 300.0 / 300.0 s 30.9 / 8.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-286.xml 0.0 / 0.1 s 42.9 / 11.1 s 300.0 / 300.0 s 36.3 / 9.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-287.xml 0.0 / 0.1 s 24.9 / 6.5 s 300.0 / 300.0 s 48.0 / 12.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-288.xml 0.0 / 0.1 s 36.2 / 9.4 s 300.0 / 300.0 s 69.4 / 18.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-289.xml 0.0 / 0.1 s 35.6 / 9.3 s 300.0 / 300.0 s 23.2 / 6.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-291.xml 0.0 / 0.1 s 235.1 / 59.6 s 299.5 / 300.0 s 1189.5 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-292.xml 0.0 / 0.2 s 235.1 / 59.6 s 73.6 / 73.8 s 1189.7 / 300.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-293.xml 0.0 / 0.2 s 44.6 / 11.6 s 300.0 / 300.0 s 51.2 / 13.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-294.xml 0.0 / 0.1 s 42.6 / 11.0 s 300.1 / 300.0 s 55.4 / 14.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-296.xml 0.0 / 0.1 s 54.4 / 14.0 s 300.1 / 300.0 s 33.8 / 9.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-297.xml 0.0 / 0.1 s 58.2 / 15.0 s 300.0 / 300.0 s 58.5 / 15.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-298.xml 0.0 / 0.1 s 234.9 / 59.6 s 300.1 / 300.0 s 107.4 / 27.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-299.xml 0.0 / 0.1 s 40.8 / 10.6 s 299.9 / 300.0 s 39.8 / 10.6 s
ndard/Waldmann_07_size12/size-12-alpha-3-num-3.xml 0.0 / 0.1 s 213.1 / 59.3 s 300.0 / 300.0 s 16.2 / 4.4 s
dard/Waldmann_07_size12/size-12-alpha-3-num-30.xml 0.0 / 0.1 s 23.4 / 6.2 s 300.0 / 300.0 s 39.2 / 10.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-300.xml 0.0 / 0.1 s 47.7 / 12.3 s 300.0 / 300.0 s 47.0 / 12.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-301.xml 0.0 / 0.2 s 44.7 / 11.4 s 300.0 / 300.0 s 58.2 / 15.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-303.xml 0.0 / 0.2 s 29.2 / 7.6 s 300.1 / 300.0 s 49.4 / 13.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-304.xml 0.0 / 0.1 s 43.0 / 11.1 s 300.1 / 300.0 s 42.7 / 11.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-309.xml 0.0 / 0.2 s 151.1 / 38.5 s 299.8 / 300.0 s 56.3 / 14.7 s
dard/Waldmann_07_size12/size-12-alpha-3-num-31.xml 0.0 / 0.1 s 24.1 / 6.3 s 300.0 / 300.0 s 33.7 / 9.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-32.xml 0.0 / 0.2 s 235.2 / 59.6 s 6.5 / 6.6 s 1191.3 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-327.xml 0.0 / 0.1 s 32.6 / 8.5 s 300.1 / 300.0 s 51.5 / 13.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-328.xml 0.0 / 0.1 s 235.1 / 59.7 s 1.6 / 1.7 s 54.3 / 14.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-330.xml 0.0 / 0.1 s 35.8 / 9.3 s 0.5 / 0.6 s 67.4 / 17.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-335.xml 0.0 / 0.1 s 29.3 / 7.7 s 5.9 / 6.1 s 49.7 / 13.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-337.xml 0.0 / 0.1 s 26.7 / 7.0 s 300.1 / 300.0 s 44.5 / 11.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-338.xml 0.0 / 0.2 s 239.9 / 59.8 s 300.0 / 300.0 s 1198.1 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-339.xml 0.1 / 0.3 s 235.0 / 59.7 s 300.0 / 300.0 s 133.5 / 34.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-340.xml 0.0 / 0.3 s 239.1 / 55.4 s 300.0 / 300.0 s 1199.7 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-341.xml 0.0 / 0.1 s 32.6 / 8.5 s 300.1 / 300.0 s 34.0 / 9.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-343.xml 0.0 / 0.1 s 25.3 / 6.6 s 8.3 / 8.4 s 37.3 / 9.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-345.xml 0.0 / 0.1 s 34.2 / 8.9 s 300.1 / 300.0 s 36.3 / 9.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-346.xml 0.0 / 0.1 s 35.6 / 9.2 s 300.1 / 300.0 s 51.1 / 13.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-347.xml 0.0 / 0.1 s 33.1 / 8.6 s 300.1 / 300.0 s 45.8 / 11.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-348.xml 0.0 / 0.2 s 34.1 / 8.6 s 300.0 / 300.0 s 48.6 / 12.7 s
dard/Waldmann_07_size12/size-12-alpha-3-num-35.xml 0.0 / 0.1 s 57.3 / 14.7 s 300.0 / 300.0 s 61.0 / 16.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-350.xml 0.0 / 0.1 s 23.6 / 6.2 s 7.8 / 8.0 s 38.2 / 10.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-351.xml 0.0 / 0.1 s 21.9 / 5.8 s 300.0 / 300.0 s 36.5 / 9.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-352.xml 0.0 / 0.1 s 26.0 / 6.8 s 300.0 / 300.0 s 37.3 / 9.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-353.xml 0.0 / 0.1 s 236.5 / 59.5 s 300.1 / 300.0 s 5.5 / 1.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-354.xml 0.0 / 0.1 s 54.2 / 14.0 s 300.1 / 300.0 s 94.7 / 24.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-355.xml 0.0 / 0.2 s 344.5 / 59.9 s 300.1 / 300.0 s 1199.6 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-356.xml 0.0 / 0.2 s 235.5 / 59.8 s 300.1 / 300.0 s 1190.8 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-359.xml 0.0 / 0.1 s 28.6 / 7.5 s 300.0 / 300.0 s 38.4 / 10.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-360.xml 0.0 / 0.2 s 26.4 / 6.9 s 299.6 / 300.0 s 38.6 / 10.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-361.xml 0.0 / 0.2 s 235.8 / 59.9 s 300.1 / 300.0 s 1197.2 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-362.xml 0.1 / 0.4 s 235.0 / 59.7 s 300.0 / 300.0 s 838.0 / 206.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-363.xml 0.1 / 0.4 s 249.6 / 59.7 s 300.0 / 300.0 s 1200.4 / 299.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-366.xml 0.0 / 0.1 s 31.5 / 8.2 s 300.0 / 300.0 s 45.8 / 12.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-367.xml 0.0 / 0.2 s 32.6 / 8.5 s 300.1 / 300.0 s 50.7 / 13.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-368.xml 0.0 / 0.1 s 235.2 / 59.7 s 300.0 / 300.0 s 48.4 / 12.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-369.xml 0.0 / 0.2 s 243.6 / 59.7 s 300.0 / 300.0 s 127.3 / 32.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-373.xml 0.0 / 0.1 s 235.3 / 59.6 s 300.1 / 300.0 s 70.4 / 18.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-374.xml 0.0 / 0.1 s 235.2 / 59.7 s 299.7 / 300.0 s 1189.7 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-375.xml 0.0 / 0.1 s 25.8 / 6.8 s 300.1 / 300.0 s 31.6 / 8.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-376.xml 0.0 / 0.1 s 26.7 / 7.0 s 300.1 / 300.0 s 24.6 / 6.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-377.xml 0.0 / 0.1 s 28.3 / 7.4 s 300.1 / 300.0 s 41.8 / 11.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-378.xml 0.0 / 0.1 s 235.3 / 59.7 s 300.1 / 300.0 s 152.4 / 37.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-382.xml 0.0 / 0.3 s 240.0 / 59.7 s 300.0 / 300.0 s 1189.9 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-383.xml 0.0 / 0.2 s 235.4 / 59.7 s 300.1 / 300.0 s 1192.6 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-384.xml 0.1 / 0.5 s 240.6 / 59.8 s 300.0 / 300.0 s 1190.2 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-385.xml 0.0 / 0.2 s 240.0 / 59.8 s 300.0 / 300.0 s 1190.1 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-386.xml 0.1 / 0.4 s 241.0 / 59.8 s 300.0 / 300.0 s 1199.3 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-389.xml 0.0 / 0.1 s 33.0 / 8.6 s 300.0 / 300.0 s 50.2 / 13.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-391.xml 0.0 / 0.1 s 29.7 / 7.8 s 298.7 / 300.0 s 52.1 / 13.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-392.xml 0.0 / 0.1 s 30.6 / 8.0 s 300.0 / 300.0 s 56.6 / 14.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-395.xml 0.0 / 0.1 s 33.4 / 8.7 s 300.1 / 300.0 s 28.3 / 7.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-396.xml 0.0 / 0.1 s 34.2 / 8.9 s 300.0 / 300.0 s 32.5 / 8.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-399.xml 0.0 / 0.2 s 41.4 / 10.7 s 298.7 / 300.0 s 48.1 / 12.7 s
ndard/Waldmann_07_size12/size-12-alpha-3-num-4.xml 0.0 / 0.1 s 36.5 / 9.5 s 1.0 / 1.1 s 55.5 / 14.7 s
dard/Waldmann_07_size12/size-12-alpha-3-num-40.xml 0.0 / 0.1 s 35.2 / 9.2 s 5.1 / 5.2 s 36.2 / 9.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-400.xml 0.1 / 0.4 s 236.0 / 59.9 s 300.1 / 300.0 s 1191.5 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-401.xml 0.1 / 0.3 s 240.0 / 59.8 s 300.0 / 300.0 s 630.5 / 157.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-402.xml 0.1 / 0.5 s 235.3 / 59.8 s 300.0 / 300.0 s 466.2 / 115.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-403.xml 0.0 / 0.3 s 235.0 / 59.6 s 300.1 / 300.0 s 1194.5 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-406.xml 0.1 / 0.4 s 240.0 / 59.8 s 300.0 / 300.0 s 1190.9 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-408.xml 0.1 / 0.6 s 241.6 / 59.7 s 300.0 / 300.0 s 1192.1 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-409.xml 0.1 / 0.4 s 235.1 / 59.7 s 300.0 / 300.0 s 1200.3 / 288.9 s
dard/Waldmann_07_size12/size-12-alpha-3-num-41.xml 0.1 / 0.2 s 24.3 / 6.4 s 300.0 / 300.0 s 42.5 / 11.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-410.xml 0.1 / 0.3 s 235.8 / 59.8 s 300.1 / 300.0 s 1196.8 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-412.xml 0.0 / 0.2 s 33.6 / 8.7 s 300.1 / 300.0 s 28.6 / 7.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-413.xml 0.0 / 0.2 s 36.5 / 9.5 s 300.0 / 300.0 s 52.8 / 13.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-414.xml 0.0 / 0.2 s 32.0 / 8.3 s 300.0 / 300.0 s 56.9 / 14.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-415.xml 0.0 / 0.1 s 29.8 / 7.8 s 300.1 / 300.0 s 49.5 / 13.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-416.xml 0.0 / 0.2 s 37.2 / 9.3 s 300.0 / 300.0 s 52.6 / 13.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-417.xml 0.0 / 0.1 s 38.3 / 9.9 s 300.0 / 300.0 s 57.8 / 15.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-418.xml 0.0 / 0.1 s 30.3 / 7.8 s 300.0 / 300.0 s 31.4 / 8.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-427.xml 0.0 / 0.1 s 35.3 / 9.2 s 300.0 / 300.0 s 60.1 / 15.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-429.xml 0.0 / 0.1 s 21.3 / 5.6 s 300.0 / 300.0 s 46.7 / 12.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-430.xml 0.0 / 0.1 s 235.3 / 59.7 s 1.4 / 1.5 s 1189.0 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-431.xml 0.0 / 0.1 s 235.2 / 59.6 s 300.0 / 300.0 s 1188.6 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-434.xml 0.0 / 0.1 s 240.1 / 59.6 s 1.7 / 1.7 s 1189.4 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-435.xml 0.0 / 0.1 s 40.3 / 10.5 s 1.4 / 1.5 s 53.7 / 14.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-436.xml 0.0 / 0.1 s 29.1 / 7.6 s 1.7 / 1.8 s 40.4 / 10.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-437.xml 0.0 / 0.1 s 41.5 / 10.6 s 1.5 / 1.6 s 53.3 / 14.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-438.xml 0.0 / 0.1 s 47.2 / 12.2 s 300.1 / 300.0 s 46.9 / 12.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-439.xml 0.0 / 0.1 s 31.2 / 8.2 s 300.0 / 300.0 s 47.1 / 12.5 s
dard/Waldmann_07_size12/size-12-alpha-3-num-44.xml 0.0 / 0.1 s 25.6 / 6.7 s 1.3 / 1.4 s 51.0 / 13.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-441.xml 0.0 / 0.1 s 37.2 / 9.0 s 300.0 / 300.0 s 22.6 / 6.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-443.xml 0.0 / 0.2 s 37.5 / 9.7 s 287.6 / 300.0 s 43.6 / 11.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-446.xml 0.0 / 0.1 s 26.6 / 7.0 s 300.0 / 300.0 s 33.6 / 9.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-448.xml 0.0 / 0.1 s 27.8 / 7.3 s 300.0 / 300.0 s 39.0 / 10.4 s
dard/Waldmann_07_size12/size-12-alpha-3-num-45.xml 0.0 / 0.1 s 34.1 / 8.9 s 1.8 / 1.9 s 53.3 / 14.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-450.xml 0.0 / 0.1 s 346.5 / 59.8 s 299.9 / 300.0 s 84.0 / 21.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-451.xml 0.0 / 0.1 s 34.2 / 8.9 s 300.1 / 300.0 s 29.4 / 7.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-452.xml 0.0 / 0.1 s 239.6 / 59.6 s 5.5 / 5.6 s 75.5 / 19.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-453.xml 0.0 / 0.1 s 52.4 / 13.4 s 22.7 / 23.4 s 31.4 / 8.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-454.xml 0.0 / 0.1 s 235.2 / 59.7 s 299.8 / 300.0 s 1193.0 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-455.xml 0.0 / 0.2 s 119.0 / 30.4 s 292.8 / 300.0 s 89.4 / 23.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-456.xml 0.0 / 0.1 s 35.4 / 9.2 s 2.3 / 2.3 s 47.8 / 12.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-460.xml 0.0 / 0.2 s 35.0 / 9.1 s 7.8 / 7.9 s 50.6 / 13.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-461.xml 0.0 / 0.1 s 34.4 / 8.9 s 4.1 / 4.2 s 66.1 / 17.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-462.xml 0.0 / 0.1 s 28.9 / 7.6 s 300.0 / 300.0 s 43.0 / 11.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-465.xml 0.0 / 0.1 s 26.5 / 7.0 s 0.4 / 0.5 s 39.0 / 10.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-467.xml 0.0 / 0.1 s 38.1 / 9.9 s 299.9 / 300.0 s 36.7 / 9.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-468.xml 0.0 / 0.1 s 47.2 / 12.0 s 299.9 / 300.0 s 28.9 / 7.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-469.xml 0.0 / 0.1 s 236.1 / 59.9 s 300.1 / 300.0 s 65.8 / 17.2 s
dard/Waldmann_07_size12/size-12-alpha-3-num-47.xml 0.0 / 0.1 s 247.3 / 59.7 s 15.0 / 15.2 s 66.2 / 17.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-470.xml 0.0 / 0.1 s 50.7 / 13.1 s 4.1 / 4.3 s 47.8 / 12.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-472.xml 0.0 / 0.1 s 127.0 / 32.4 s 300.0 / 300.0 s 51.5 / 13.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-473.xml 0.0 / 0.1 s 31.3 / 8.2 s 287.9 / 300.0 s 39.4 / 10.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-474.xml 0.0 / 0.2 s 235.5 / 59.8 s 127.3 / 127.4 s 169.9 / 43.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-475.xml 0.0 / 0.2 s 235.2 / 59.7 s 299.9 / 300.0 s 1188.6 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-476.xml 0.0 / 0.1 s 44.6 / 11.0 s 300.1 / 300.0 s 46.2 / 12.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-477.xml 0.0 / 0.1 s 43.1 / 10.8 s 4.5 / 4.6 s 43.4 / 11.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-478.xml 0.0 / 0.1 s 84.3 / 21.6 s 300.0 / 300.0 s 53.7 / 14.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-479.xml 0.0 / 0.1 s 39.5 / 10.2 s 299.9 / 300.0 s 56.9 / 15.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-48.xml 0.0 / 0.1 s 50.3 / 13.0 s 2.7 / 2.8 s 45.6 / 12.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-480.xml 0.0 / 0.1 s 40.6 / 10.5 s 4.8 / 5.0 s 43.3 / 11.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-482.xml 0.0 / 0.1 s 36.1 / 9.4 s 5.3 / 5.5 s 94.1 / 24.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-484.xml 0.0 / 0.1 s 36.5 / 9.5 s 299.9 / 300.0 s 24.9 / 6.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-485.xml 0.0 / 0.1 s 36.4 / 9.5 s 299.9 / 300.0 s 49.5 / 13.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-487.xml 0.0 / 0.1 s 33.0 / 8.5 s 18.9 / 19.7 s 70.9 / 18.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-488.xml 0.0 / 0.1 s 235.0 / 59.6 s 1.3 / 1.4 s 32.3 / 8.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-489.xml 0.0 / 0.1 s 57.7 / 14.9 s 299.5 / 300.0 s 48.1 / 12.8 s
dard/Waldmann_07_size12/size-12-alpha-3-num-49.xml 0.0 / 0.1 s 27.0 / 7.1 s 300.0 / 300.0 s 39.1 / 10.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-491.xml 0.0 / 0.2 s 241.9 / 59.8 s 300.1 / 300.0 s 91.1 / 23.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-492.xml 0.0 / 0.2 s 235.5 / 59.7 s 300.0 / 300.0 s 118.2 / 30.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-493.xml 0.0 / 0.2 s 241.3 / 59.8 s 300.0 / 300.0 s 138.3 / 35.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-494.xml 0.0 / 0.1 s 27.5 / 7.2 s 300.0 / 300.0 s 43.7 / 11.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-495.xml 0.0 / 0.1 s 53.1 / 13.7 s 300.0 / 300.0 s 43.6 / 11.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-497.xml 0.0 / 0.1 s 246.6 / 59.7 s 300.1 / 300.0 s 70.0 / 18.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-498.xml 0.0 / 0.1 s 28.6 / 7.5 s 292.6 / 300.0 s 39.8 / 10.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-499.xml 0.0 / 0.1 s 41.5 / 10.7 s 299.9 / 300.0 s 36.4 / 9.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-502.xml 0.0 / 0.1 s 37.2 / 9.7 s 295.8 / 300.0 s 73.7 / 19.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-503.xml 0.0 / 0.2 s 98.3 / 25.1 s 297.0 / 300.0 s 24.5 / 6.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-506.xml 0.0 / 0.1 s 104.4 / 26.7 s 300.0 / 300.0 s 60.7 / 15.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-507.xml 0.0 / 0.2 s 34.1 / 8.9 s 299.8 / 300.0 s 33.0 / 8.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-508.xml 0.0 / 0.1 s 34.8 / 9.1 s 272.3 / 276.8 s 72.2 / 19.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-51.xml 0.0 / 0.1 s 25.6 / 6.7 s 300.0 / 300.0 s 37.7 / 10.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-511.xml 0.0 / 0.2 s 235.3 / 59.7 s 124.8 / 125.0 s 88.0 / 22.7 s
dard/Waldmann_07_size12/size-12-alpha-3-num-52.xml 0.0 / 0.1 s 31.5 / 8.2 s 300.0 / 300.0 s 40.7 / 10.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-522.xml 0.0 / 0.1 s 9.2 / 2.5 s 300.0 / 300.0 s 166.9 / 42.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-526.xml 0.0 / 0.1 s 22.0 / 5.8 s 0.1 / 0.2 s 32.5 / 8.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-532.xml 0.0 / 0.1 s 26.6 / 7.0 s 0.0 / 0.0 s 41.0 / 11.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-535.xml 0.0 / 0.2 s 24.6 / 6.5 s 300.1 / 300.0 s 34.7 / 9.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-536.xml 0.0 / 0.1 s 30.4 / 7.9 s 300.0 / 300.0 s 25.5 / 7.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-540.xml 0.0 / 0.1 s 235.0 / 59.6 s 300.0 / 300.0 s 1190.1 / 300.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-541.xml 0.0 / 0.1 s 27.6 / 6.9 s 0.0 / 0.1 s 56.8 / 14.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-543.xml 0.0 / 0.2 s 37.7 / 9.8 s 0.1 / 0.1 s 42.4 / 11.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-545.xml 0.0 / 0.1 s 21.9 / 5.8 s 0.0 / 0.1 s 64.3 / 16.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-546.xml 0.0 / 0.1 s 48.2 / 12.5 s 300.0 / 300.0 s 40.2 / 10.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-547.xml 0.0 / 0.1 s 56.5 / 14.4 s 299.9 / 300.0 s 44.2 / 11.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-548.xml 0.0 / 0.1 s 23.2 / 6.1 s 0.0 / 0.1 s 101.7 / 26.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-549.xml 0.0 / 0.1 s 24.6 / 6.5 s 299.7 / 300.0 s 65.1 / 17.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-550.xml 0.0 / 0.1 s 23.3 / 6.1 s 0.0 / 0.1 s 61.5 / 16.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-551.xml 0.0 / 0.1 s 21.7 / 5.7 s 0.1 / 0.1 s 72.4 / 18.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-552.xml 0.0 / 0.1 s 21.7 / 5.7 s 0.0 / 0.1 s 42.9 / 11.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-553.xml 0.0 / 0.1 s 22.2 / 5.8 s 0.0 / 0.1 s 68.8 / 18.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-556.xml 0.0 / 0.1 s 22.8 / 6.0 s 0.0 / 0.1 s 58.9 / 15.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-558.xml 0.0 / 0.1 s 235.3 / 59.7 s 300.0 / 300.0 s 321.5 / 81.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-559.xml 0.0 / 0.1 s 21.1 / 5.6 s 20.8 / 21.4 s 64.5 / 17.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-560.xml 0.0 / 0.1 s 20.8 / 5.5 s 300.1 / 300.0 s 58.2 / 15.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-561.xml 0.0 / 0.1 s 21.9 / 5.8 s 300.0 / 300.0 s 39.0 / 10.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-563.xml 0.0 / 0.1 s 23.9 / 6.3 s 299.9 / 300.0 s 65.5 / 17.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-564.xml 0.0 / 0.1 s 235.0 / 59.6 s 300.0 / 300.0 s 123.8 / 31.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-565.xml 0.0 / 0.1 s 22.9 / 6.1 s 9.7 / 9.9 s 58.1 / 15.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-566.xml 0.0 / 0.1 s 235.0 / 59.6 s 10.1 / 10.3 s 809.7 / 204.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-568.xml 0.0 / 0.1 s 49.1 / 12.7 s 300.0 / 300.0 s 34.8 / 9.3 s
dard/Waldmann_07_size12/size-12-alpha-3-num-57.xml 0.0 / 0.1 s 36.4 / 9.5 s 0.0 / 0.0 s 7.6 / 2.3 s
dard/Waldmann_07_size12/size-12-alpha-3-num-59.xml 0.0 / 0.1 s 31.7 / 8.3 s 300.0 / 300.0 s 20.8 / 5.7 s
dard/Waldmann_07_size12/size-12-alpha-3-num-61.xml 0.0 / 0.1 s 47.3 / 12.2 s 300.0 / 300.0 s 42.4 / 11.3 s
dard/Waldmann_07_size12/size-12-alpha-3-num-64.xml 0.0 / 0.1 s 38.5 / 10.0 s 0.0 / 0.0 s 10.7 / 3.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-65.xml 0.0 / 0.1 s 50.9 / 13.1 s 300.1 / 300.0 s 44.8 / 11.8 s
dard/Waldmann_07_size12/size-12-alpha-3-num-66.xml 0.0 / 0.1 s 65.1 / 16.7 s 300.0 / 300.0 s 40.3 / 10.7 s
dard/Waldmann_07_size12/size-12-alpha-3-num-67.xml 0.0 / 0.1 s 24.6 / 6.2 s 299.9 / 300.0 s 36.3 / 9.6 s
ndard/Waldmann_07_size12/size-12-alpha-3-num-7.xml 0.0 / 0.1 s 234.7 / 59.5 s 300.1 / 300.0 s 23.0 / 6.2 s
dard/Waldmann_07_size12/size-12-alpha-3-num-70.xml 0.0 / 0.1 s 23.3 / 6.1 s 299.9 / 300.0 s 50.1 / 13.3 s
dard/Waldmann_07_size12/size-12-alpha-3-num-71.xml 0.0 / 0.1 s 25.8 / 6.8 s 300.0 / 300.0 s 54.6 / 14.5 s
dard/Waldmann_07_size12/size-12-alpha-3-num-72.xml 0.0 / 0.1 s 24.2 / 6.4 s 3.0 / 3.1 s 42.9 / 11.4 s
dard/Waldmann_07_size12/size-12-alpha-3-num-74.xml 0.0 / 0.1 s 23.2 / 6.1 s 9.3 / 9.5 s 62.2 / 16.5 s
dard/Waldmann_07_size12/size-12-alpha-3-num-76.xml 0.0 / 0.1 s 23.3 / 6.1 s 300.0 / 300.0 s 33.5 / 9.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-82.xml 0.0 / 0.1 s 34.1 / 8.9 s 299.9 / 300.0 s 54.6 / 14.4 s
dard/Waldmann_07_size12/size-12-alpha-3-num-83.xml 0.0 / 0.1 s 234.9 / 59.5 s 5.8 / 5.9 s 405.8 / 102.7 s
dard/Waldmann_07_size12/size-12-alpha-3-num-84.xml 0.0 / 0.1 s 234.8 / 59.5 s 300.1 / 300.0 s 1189.5 / 300.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-85.xml 0.0 / 0.1 s 65.7 / 16.1 s 300.1 / 300.0 s 58.4 / 15.5 s
dard/Waldmann_07_size12/size-12-alpha-3-num-86.xml 0.0 / 0.1 s 33.4 / 8.7 s 299.9 / 300.0 s 62.9 / 16.6 s
dard/Waldmann_07_size12/size-12-alpha-3-num-88.xml 0.0 / 0.1 s 243.8 / 59.6 s 300.0 / 300.0 s 1192.8 / 300.1 s
ndard/Waldmann_07_size12/size-12-alpha-3-num-9.xml 0.0 / 0.1 s 25.0 / 6.6 s 300.1 / 300.0 s 38.1 / 10.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-90.xml 0.0 / 0.1 s 236.1 / 59.6 s 299.9 / 300.0 s 147.1 / 37.6 s
dard/Waldmann_07_size12/size-12-alpha-3-num-91.xml 0.0 / 0.1 s 37.3 / 9.7 s 8.1 / 8.3 s 33.5 / 9.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-92.xml 0.0 / 0.1 s 36.9 / 9.2 s 300.0 / 300.0 s 30.5 / 8.2 s
dard/Waldmann_07_size12/size-12-alpha-3-num-94.xml 0.0 / 0.1 s 24.6 / 6.5 s 300.0 / 300.0 s 50.2 / 13.3 s
dard/Waldmann_07_size12/size-12-alpha-3-num-95.xml 0.0 / 0.1 s 234.7 / 59.4 s 299.9 / 300.0 s 514.1 / 130.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-98.xml 0.0 / 0.1 s 48.4 / 12.5 s 3.8 / 3.8 s 56.5 / 15.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-99.xml 0.0 / 0.1 s 8.4 / 2.3 s 300.0 / 300.0 s 2.1 / 0.9 s
SRS_Standard/Zantema_04/syracuse.xml 0.0 / 0.5 s 237.2 / 60.3 s 300.0 / 300.0 s 1200.3 / 297.0 s
SRS_Standard/Zantema_04/z001.xml 0.0 / 0.2 s 0.8 / 0.4 s 300.1 / 300.0 s 1.6 / 0.8 s
SRS_Standard/Zantema_04/z002.xml 0.0 / 0.2 s 1.0 / 0.5 s 16.2 / 16.3 s 1.4 / 0.7 s
SRS_Standard/Zantema_04/z003.xml 0.0 / 0.0 s 2.0 / 0.7 s 300.0 / 300.0 s 2.0 / 0.8 s
SRS_Standard/Zantema_04/z004.xml 0.0 / 0.1 s 1.0 / 0.5 s 0.0 / 0.1 s 1.4 / 0.7 s
SRS_Standard/Zantema_04/z005.xml 0.0 / 0.2 s 1.7 / 0.7 s 64.5 / 64.8 s 1.3 / 0.7 s
SRS_Standard/Zantema_04/z006.xml 0.0 / 0.0 s 1.0 / 0.5 s 0.0 / 0.0 s 1.1 / 0.6 s
SRS_Standard/Zantema_04/z007.xml 0.0 / 0.0 s 1.2 / 0.5 s 0.0 / 0.0 s 1.1 / 0.6 s
SRS_Standard/Zantema_04/z008.xml 0.0 / 0.2 s 4.4 / 1.4 s 34.2 / 34.3 s 40.1 / 10.8 s
SRS_Standard/Zantema_04/z009.xml 0.0 / 0.0 s 3.0 / 1.0 s 0.0 / 0.0 s 33.1 / 8.8 s
SRS_Standard/Zantema_04/z010.xml 0.0 / 0.0 s 2.4 / 0.9 s 0.0 / 0.0 s 24.0 / 6.5 s
SRS_Standard/Zantema_04/z011.xml 0.0 / 0.0 s 5.0 / 1.5 s 0.1 / 0.1 s 34.8 / 9.5 s
SRS_Standard/Zantema_04/z012.xml 0.0 / 0.0 s 1.1 / 0.5 s 0.0 / 0.1 s 37.2 / 9.8 s
SRS_Standard/Zantema_04/z013.xml 0.0 / 0.1 s 2.1 / 0.8 s 0.9 / 0.9 s 1.2 / 0.6 s
SRS_Standard/Zantema_04/z014.xml 0.0 / 0.0 s 1.9 / 0.7 s 0.0 / 0.0 s 1.5 / 0.7 s
SRS_Standard/Zantema_04/z015.xml 0.0 / 0.1 s 4.0 / 1.3 s 0.1 / 0.1 s 19.5 / 5.4 s
SRS_Standard/Zantema_04/z017.xml 0.0 / 0.0 s 2.0 / 0.7 s 0.0 / 0.0 s 1.5 / 0.7 s
SRS_Standard/Zantema_04/z018.xml 0.0 / 0.0 s 22.0 / 5.8 s 0.6 / 0.6 s 30.3 / 8.3 s
SRS_Standard/Zantema_04/z019.xml 0.0 / 0.1 s 3.0 / 1.0 s 0.4 / 0.5 s 39.7 / 10.5 s
SRS_Standard/Zantema_04/z020.xml 0.0 / 0.0 s 20.8 / 5.5 s 0.0 / 0.1 s 36.9 / 9.8 s
SRS_Standard/Zantema_04/z021.xml 0.0 / 0.1 s 1.9 / 0.7 s 0.0 / 0.0 s 1.3 / 0.6 s
SRS_Standard/Zantema_04/z022.xml 0.0 / 0.0 s 4.4 / 1.4 s 0.4 / 0.4 s 25.0 / 6.9 s
SRS_Standard/Zantema_04/z023.xml 0.0 / 0.2 s 4.8 / 1.5 s 300.0 / 300.0 s 42.9 / 11.4 s
SRS_Standard/Zantema_04/z024.xml 0.0 / 0.1 s 3.4 / 1.1 s 0.1 / 0.1 s 9.1 / 2.7 s
SRS_Standard/Zantema_04/z025.xml 0.0 / 0.0 s 2.9 / 1.0 s 0.2 / 0.2 s 18.4 / 5.1 s
SRS_Standard/Zantema_04/z026.xml 0.0 / 0.0 s 0.9 / 0.4 s 0.0 / 0.0 s 20.5 / 5.6 s
SRS_Standard/Zantema_04/z027.xml 0.0 / 0.2 s 2.3 / 0.8 s 300.1 / 300.0 s 1.6 / 0.7 s
SRS_Standard/Zantema_04/z028.xml 0.0 / 0.5 s 33.1 / 8.6 s 300.0 / 300.0 s 1.3 / 0.7 s
SRS_Standard/Zantema_04/z029.xml 0.0 / 0.4 s 1.3 / 0.6 s 300.1 / 300.0 s 1.3 / 0.7 s
SRS_Standard/Zantema_04/z030.xml 0.0 / 0.2 s 1.7 / 0.7 s 300.0 / 300.0 s 1.4 / 0.7 s
SRS_Standard/Zantema_04/z031.xml 0.0 / 0.2 s 1.3 / 0.6 s 300.1 / 300.0 s 1.1 / 0.6 s
SRS_Standard/Zantema_04/z032.xml 0.0 / 0.2 s 1.1 / 0.5 s 300.0 / 300.0 s 1.2 / 0.6 s
SRS_Standard/Zantema_04/z033.xml 0.0 / 0.1 s 1.1 / 0.5 s 300.0 / 300.0 s 1.2 / 0.6 s
SRS_Standard/Zantema_04/z034.xml 0.0 / 0.3 s 1.5 / 0.6 s 300.1 / 300.0 s 1.1 / 0.6 s
SRS_Standard/Zantema_04/z035.xml 0.0 / 0.3 s 1.5 / 0.6 s 300.1 / 300.0 s 1.4 / 0.7 s
SRS_Standard/Zantema_04/z036.xml 0.1 / 0.7 s 1.7 / 0.7 s 300.1 / 300.0 s 1.2 / 0.6 s
SRS_Standard/Zantema_04/z037.xml 0.0 / 0.4 s 1.1 / 0.5 s 300.1 / 300.0 s 1.4 / 0.7 s
SRS_Standard/Zantema_04/z038.xml 0.0 / 0.5 s 2.0 / 0.7 s 300.1 / 300.0 s 1.3 / 0.7 s
SRS_Standard/Zantema_04/z039.xml 5.6 / 5.6 s 1.1 / 0.5 s 300.0 / 300.0 s 1.4 / 0.7 s
SRS_Standard/Zantema_04/z040.xml 0.0 / 0.8 s 2.2 / 0.8 s 300.1 / 300.0 s 1.5 / 0.7 s
SRS_Standard/Zantema_04/z041.xml 0.0 / 0.3 s 1.8 / 0.7 s 300.1 / 300.0 s 1.2 / 0.6 s
SRS_Standard/Zantema_04/z042.xml 0.0 / 0.5 s 0.8 / 0.4 s 300.1 / 300.0 s 1.7 / 0.8 s
SRS_Standard/Zantema_04/z043.xml 0.0 / 0.3 s 1.1 / 0.5 s 300.0 / 300.0 s 1.3 / 0.6 s
SRS_Standard/Zantema_04/z044.xml 0.0 / 0.5 s 0.7 / 0.4 s 300.1 / 300.0 s 1.3 / 0.7 s
SRS_Standard/Zantema_04/z045.xml 0.1 / 0.4 s 1.2 / 0.6 s 300.0 / 300.0 s 1.1 / 0.6 s
SRS_Standard/Zantema_04/z046.xml 1.4 / 1.5 s 0.6 / 0.4 s 300.0 / 300.0 s 1.3 / 0.7 s
SRS_Standard/Zantema_04/z047.xml 0.0 / 0.3 s 1.3 / 0.6 s 300.1 / 300.0 s 1.3 / 0.6 s
SRS_Standard/Zantema_04/z048.xml 1.3 / 1.4 s 1.0 / 0.5 s 300.1 / 300.0 s 1.1 / 0.6 s
SRS_Standard/Zantema_04/z049.xml 0.0 / 0.0 s 1.0 / 0.5 s 0.0 / 0.0 s 1.2 / 0.6 s
SRS_Standard/Zantema_04/z050.xml 0.0 / 0.0 s 0.8 / 0.4 s 300.1 / 300.0 s 1.2 / 0.6 s
SRS_Standard/Zantema_04/z051.xml 0.0 / 0.5 s 1.0 / 0.5 s 300.1 / 300.0 s 1.0 / 0.6 s
SRS_Standard/Zantema_04/z052.xml 0.0 / 0.5 s 0.8 / 0.4 s 300.1 / 300.0 s 1.4 / 0.7 s
SRS_Standard/Zantema_04/z053.xml 0.0 / 0.5 s 0.8 / 0.4 s 300.0 / 300.0 s 1.2 / 0.6 s
SRS_Standard/Zantema_04/z054.xml 0.0 / 0.4 s 1.0 / 0.5 s 300.1 / 300.0 s 1.1 / 0.6 s
SRS_Standard/Zantema_04/z055.xml 0.0 / 0.2 s 0.8 / 0.4 s 300.0 / 300.0 s 1.2 / 0.6 s
SRS_Standard/Zantema_04/z056.xml 0.0 / 0.4 s 0.9 / 0.5 s 300.1 / 300.0 s 1.2 / 0.6 s
SRS_Standard/Zantema_04/z057.xml 0.0 / 0.4 s 0.9 / 0.4 s 300.0 / 300.0 s 1.3 / 0.7 s
SRS_Standard/Zantema_04/z058.xml 0.0 / 0.2 s 0.8 / 0.4 s 300.0 / 300.0 s 1.3 / 0.7 s
SRS_Standard/Zantema_04/z059.xml 0.0 / 0.4 s 0.9 / 0.4 s 300.1 / 300.0 s 1.2 / 0.6 s
SRS_Standard/Zantema_04/z060.xml 0.0 / 0.3 s 0.9 / 0.5 s 300.0 / 300.0 s 1.1 / 0.6 s
SRS_Standard/Zantema_04/z061.xml 0.0 / 0.0 s 0.8 / 0.4 s 0.0 / 0.0 s 1.2 / 0.6 s
SRS_Standard/Zantema_04/z062.xml 0.0 / 0.0 s 0.9 / 0.4 s 0.1 / 0.1 s 1.1 / 0.6 s
SRS_Standard/Zantema_04/z063.xml 0.0 / 0.0 s 0.9 / 0.5 s 0.0 / 0.0 s 1.2 / 0.6 s
SRS_Standard/Zantema_04/z064.xml 1.9 / 1.9 s 0.9 / 0.5 s 300.1 / 300.0 s 1.0 / 0.6 s
SRS_Standard/Zantema_04/z065.xml 0.0 / 0.0 s 1.5 / 0.6 s 0.1 / 0.1 s 26.4 / 7.2 s
SRS_Standard/Zantema_04/z066.xml 0.0 / 0.1 s 6.6 / 1.9 s 0.4 / 0.4 s 39.8 / 10.8 s
SRS_Standard/Zantema_04/z067.xml 0.0 / 0.0 s 6.4 / 1.9 s 0.6 / 0.7 s 37.2 / 10.0 s
SRS_Standard/Zantema_04/z068.xml 0.0 / 0.3 s 4.3 / 1.3 s 300.1 / 300.0 s 40.8 / 11.0 s
SRS_Standard/Zantema_04/z069.xml 0.0 / 0.1 s 0.9 / 0.5 s 2.3 / 2.4 s 46.6 / 12.1 s
SRS_Standard/Zantema_04/z070.xml 0.0 / 0.4 s 13.8 / 3.8 s 296.2 / 300.0 s 40.1 / 10.5 s
SRS_Standard/Zantema_04/z071.xml 0.0 / 0.1 s 1.9 / 0.7 s 0.0 / 0.0 s 32.4 / 8.7 s
SRS_Standard/Zantema_04/z072.xml 0.0 / 0.1 s 1.9 / 0.7 s 1.0 / 1.0 s 1.2 / 0.6 s
SRS_Standard/Zantema_04/z073.xml 0.0 / 0.1 s 235.9 / 60.0 s 299.9 / 300.0 s 8.0 / 2.5 s
SRS_Standard/Zantema_04/z074.xml 0.0 / 0.2 s 29.3 / 7.7 s 300.5 / 300.0 s 30.7 / 8.4 s
SRS_Standard/Zantema_04/z075.xml 0.0 / 0.1 s 10.6 / 3.0 s 300.0 / 300.0 s 30.4 / 8.4 s
SRS_Standard/Zantema_04/z076.xml 0.0 / 0.0 s 1.1 / 0.5 s 0.0 / 0.0 s 14.0 / 4.0 s
SRS_Standard/Zantema_04/z077.xml 0.0 / 0.0 s 3.3 / 1.1 s 0.0 / 0.0 s 10.7 / 3.2 s
SRS_Standard/Zantema_04/z078.xml 0.0 / 0.0 s 4.4 / 1.4 s 0.0 / 0.1 s 23.7 / 6.5 s
SRS_Standard/Zantema_04/z079.xml 0.0 / 0.2 s 242.7 / 60.0 s 300.0 / 300.0 s 1200.1 / 298.8 s
SRS_Standard/Zantema_04/z080.xml 0.0 / 0.2 s 1.2 / 0.5 s 7.8 / 7.9 s 40.1 / 10.6 s
SRS_Standard/Zantema_04/z081.xml 0.0 / 0.0 s 6.1 / 1.8 s 0.0 / 0.1 s 29.3 / 7.9 s
SRS_Standard/Zantema_04/z082.xml 0.0 / 0.3 s 8.5 / 2.4 s 18.8 / 19.3 s 2.6 / 1.0 s
SRS_Standard/Zantema_04/z083.xml 0.0 / 0.2 s 9.2 / 2.6 s 300.1 / 300.0 s 43.0 / 11.5 s
SRS_Standard/Zantema_04/z084.xml 0.0 / 0.0 s 1.9 / 0.7 s 0.4 / 0.5 s 21.7 / 5.9 s
SRS_Standard/Zantema_04/z085.xml 0.0 / 0.0 s 1.6 / 0.6 s 0.0 / 0.0 s 2.5 / 1.0 s
SRS_Standard/Zantema_04/z086.xml 0.0 / 0.2 s 31.4 / 8.2 s 296.6 / 300.1 s 48.0 / 12.7 s
SRS_Standard/Zantema_04/z087.xml 0.0 / 0.4 s 1.1 / 0.5 s 302.6 / 300.0 s 1.4 / 0.7 s
SRS_Standard/Zantema_04/z088.xml 0.0 / 0.2 s 3.1 / 1.0 s 17.1 / 17.2 s 1.7 / 0.8 s
SRS_Standard/Zantema_04/z089.xml 0.0 / 0.1 s 5.3 / 1.6 s 9.9 / 9.9 s 33.9 / 9.1 s
SRS_Standard/Zantema_04/z090.xml 0.0 / 0.2 s 234.8 / 59.7 s 291.9 / 300.0 s 202.3 / 51.3 s
SRS_Standard/Zantema_04/z091.xml 0.0 / 0.1 s 18.9 / 5.0 s 0.1 / 0.1 s 38.5 / 10.5 s
SRS_Standard/Zantema_04/z092.xml 0.0 / 0.0 s 1.7 / 0.7 s 1.1 / 1.2 s 18.1 / 5.0 s
SRS_Standard/Zantema_04/z093.xml 0.0 / 0.0 s 1.9 / 0.7 s 0.0 / 0.0 s 12.8 / 3.6 s
SRS_Standard/Zantema_04/z094.xml 0.0 / 0.1 s 6.1 / 1.8 s 1.0 / 1.1 s 14.7 / 4.1 s
SRS_Standard/Zantema_04/z095.xml 0.1 / 0.4 s 1.4 / 0.6 s 300.0 / 300.0 s 1.4 / 0.7 s
SRS_Standard/Zantema_04/z096.xml 0.1 / 0.6 s 0.6 / 0.4 s 300.0 / 300.0 s 0.9 / 0.6 s
SRS_Standard/Zantema_04/z097.xml 1.5 / 1.5 s 1.9 / 0.7 s 300.0 / 300.0 s 1.5 / 0.7 s
SRS_Standard/Zantema_04/z098.xml 1.9 / 1.9 s 1.1 / 0.5 s 300.1 / 300.0 s 1.1 / 0.6 s
SRS_Standard/Zantema_04/z100.xml 0.0 / 0.3 s 22.5 / 6.0 s 12.4 / 12.5 s 41.9 / 11.4 s
SRS_Standard/Zantema_04/z101.xml 0.0 / 0.0 s 2.5 / 0.9 s 0.5 / 0.6 s 2.9 / 1.1 s
SRS_Standard/Zantema_04/z102.xml 0.0 / 0.0 s 2.8 / 1.0 s 1.3 / 1.4 s 3.8 / 1.3 s
SRS_Standard/Zantema_04/z103.xml 0.0 / 0.1 s 3.3 / 1.1 s 0.4 / 0.4 s 15.3 / 4.3 s
SRS_Standard/Zantema_04/z104.xml 0.0 / 0.0 s 4.5 / 1.4 s 299.9 / 300.0 s 5.8 / 1.8 s
SRS_Standard/Zantema_04/z105.xml 0.0 / 0.0 s 5.8 / 1.7 s 299.9 / 300.0 s 8.0 / 2.4 s
SRS_Standard/Zantema_04/z106.xml 0.0 / 0.0 s 3.8 / 1.2 s 2.3 / 2.4 s 8.2 / 2.4 s
SRS_Standard/Zantema_04/z107.xml 0.0 / 0.0 s 2.9 / 1.0 s 299.9 / 300.0 s 4.8 / 1.6 s
SRS_Standard/Zantema_04/z108.xml 0.0 / 0.0 s 4.2 / 1.3 s 1.2 / 1.4 s 3.4 / 1.2 s
SRS_Standard/Zantema_04/z109.xml 0.0 / 0.0 s 2.4 / 0.9 s 0.5 / 0.6 s 3.2 / 1.2 s
SRS_Standard/Zantema_04/z110.xml 0.0 / 0.2 s 3.5 / 1.1 s 0.9 / 1.0 s 33.0 / 8.8 s
SRS_Standard/Zantema_04/z111.xml 0.0 / 0.0 s 26.7 / 7.0 s 299.8 / 300.0 s 22.4 / 6.1 s
SRS_Standard/Zantema_04/z112.xml 0.0 / 0.0 s 5.7 / 1.7 s 298.5 / 300.0 s 5.3 / 1.7 s
SRS_Standard/Zantema_04/z113.xml 0.0 / 0.0 s 55.5 / 14.3 s 299.0 / 300.0 s 16.9 / 4.7 s
SRS_Standard/Zantema_04/z114.xml 0.0 / 0.0 s 2.5 / 0.9 s 0.3 / 0.4 s 32.1 / 8.7 s
SRS_Standard/Zantema_04/z115.xml 0.0 / 0.0 s 4.7 / 1.4 s 3.2 / 3.5 s 14.8 / 4.2 s
SRS_Standard/Zantema_04/z116.xml 0.0 / 0.0 s 2.4 / 0.8 s 0.5 / 0.6 s 5.1 / 1.6 s
SRS_Standard/Zantema_04/z117.xml 0.0 / 0.4 s 5.3 / 1.6 s 0.7 / 0.8 s 76.2 / 19.7 s
SRS_Standard/Zantema_04/z118.xml 0.0 / 0.0 s 3.4 / 1.1 s 1.0 / 1.1 s 12.3 / 3.5 s
SRS_Standard/Zantema_04/z119.xml 0.0 / 0.3 s 8.7 / 2.5 s 294.1 / 300.0 s 27.7 / 7.5 s
SRS_Standard/Zantema_04/z120.xml 0.0 / 0.2 s 24.1 / 6.4 s 14.7 / 14.9 s 25.5 / 6.9 s
SRS_Standard/Zantema_04/z121.xml 0.0 / 0.1 s 10.3 / 2.9 s 299.5 / 300.0 s 8.5 / 2.5 s
SRS_Standard/Zantema_04/z122.xml 0.0 / 0.0 s 3.7 / 1.2 s 299.3 / 300.0 s 11.2 / 3.3 s
SRS_Standard/Zantema_04/z123.xml 0.0 / 0.1 s 8.9 / 2.5 s 299.8 / 300.0 s 35.0 / 9.4 s
SRS_Standard/Zantema_04/z124.xml 0.0 / 0.0 s 1.0 / 0.5 s 0.5 / 0.5 s 1.7 / 0.8 s
SRS_Standard/Zantema_04/z125.xml 0.0 / 0.3 s 8.6 / 2.4 s 112.4 / 112.7 s 24.2 / 6.6 s
SRS_Standard/Zantema_04/z126.xml 0.0 / 0.1 s 3.0 / 1.0 s 1.5 / 1.5 s 4.5 / 1.5 s
SRS_Standard/Zantema_04/z127.xml 0.0 / 0.2 s 0.6 / 0.4 s 299.8 / 300.0 s 1.2 / 0.6 s
SRS_Standard/Zantema_04/z128.xml 0.0 / 0.2 s 0.8 / 0.4 s 298.2 / 300.0 s 1.2 / 0.7 s
SRS_Standard/Zantema_06/01.xml 0.0 / 0.0 s 24.4 / 6.4 s 0.0 / 0.0 s 61.9 / 16.1 s
SRS_Standard/Zantema_06/02.xml 0.0 / 0.1 s 2.4 / 0.8 s 0.3 / 0.3 s 17.3 / 4.8 s
SRS_Standard/Zantema_06/03.xml 0.0 / 0.3 s 170.7 / 43.5 s 300.0 / 300.0 s 175.3 / 44.9 s
SRS_Standard/Zantema_06/04.xml 0.0 / 0.1 s 32.7 / 8.5 s 0.1 / 0.1 s 46.7 / 12.4 s
SRS_Standard/Zantema_06/05.xml 0.0 / 0.3 s 8.2 / 1.8 s 300.0 / 300.0 s 169.9 / 40.7 s
SRS_Standard/Zantema_06/06.xml 0.0 / 0.1 s 74.5 / 19.1 s 299.9 / 300.0 s 52.6 / 14.0 s
SRS_Standard/Zantema_06/07.xml 0.0 / 0.2 s 7.7 / 2.2 s 300.1 / 300.0 s 1188.7 / 300.1 s
SRS_Standard/Zantema_06/08.xml 0.1 / 0.3 s 4.7 / 1.4 s 300.0 / 300.0 s 1.9 / 0.8 s
SRS_Standard/Zantema_06/09.xml 0.0 / 0.3 s 5.2 / 1.6 s 299.5 / 300.0 s 41.8 / 11.1 s
SRS_Standard/Zantema_06/10.xml 0.0 / 0.2 s 33.6 / 8.8 s 0.6 / 0.7 s 70.9 / 18.6 s
SRS_Standard/Zantema_06/11.xml 0.0 / 0.1 s 3.7 / 1.2 s 0.1 / 0.2 s 1.6 / 0.8 s
SRS_Standard/Zantema_06/12.xml 0.1 / 0.4 s 68.0 / 17.5 s 0.3 / 0.4 s 210.1 / 53.4 s
SRS_Standard/Zantema_06/13.xml 1.0 / 1.1 s 157.2 / 40.1 s 299.6 / 300.0 s 73.2 / 19.1 s
SRS_Standard/Zantema_06/14.xml 0.0 / 0.2 s 88.8 / 22.7 s 299.6 / 300.0 s 80.5 / 21.1 s
SRS_Standard/Zantema_06/15.xml 0.1 / 0.5 s 116.4 / 29.9 s 300.0 / 300.0 s 83.7 / 21.7 s
SRS_Standard/Zantema_06/16.xml 0.0 / 0.4 s 9.9 / 2.7 s 299.8 / 300.0 s 29.0 / 7.8 s
SRS_Standard/Zantema_06/17.xml 0.0 / 0.3 s 38.5 / 10.0 s 11.3 / 12.1 s 7.6 / 2.3 s
SRS_Standard/Zantema_06/18.xml 1.2 / 1.2 s 237.9 / 60.5 s 299.2 / 300.0 s 8.5 / 2.5 s
SRS_Standard/Zantema_06/abc.xml 0.0 / 0.1 s 26.7 / 7.0 s 300.1 / 300.0 s 50.8 / 13.8 s
SRS_Standard/Zantema_06/beans1.xml 0.0 / 0.1 s 13.5 / 3.7 s 0.1 / 0.2 s 27.6 / 7.4 s
SRS_Standard/Zantema_06/beans2.xml 0.0 / 0.1 s 28.7 / 7.5 s 0.1 / 0.1 s 20.1 / 5.6 s
SRS_Standard/Zantema_06/beans3.xml 0.0 / 0.1 s 62.7 / 16.2 s 294.5 / 300.0 s 34.7 / 9.3 s
SRS_Standard/Zantema_06/beans4.xml 0.0 / 0.0 s 1.3 / 0.6 s 0.1 / 0.1 s 32.3 / 8.6 s
SRS_Standard/Zantema_06/beans5.xml 0.0 / 0.0 s 26.3 / 6.9 s 0.1 / 0.1 s 42.7 / 11.3 s
SRS_Standard/Zantema_06/beans6.xml 0.0 / 0.1 s 34.4 / 9.0 s 0.2 / 0.2 s 53.1 / 14.0 s
SRS_Standard/Zantema_06/beans7.xml 0.0 / 0.1 s 40.9 / 10.6 s 293.9 / 300.0 s 45.3 / 12.0 s
SRS_Standard/Zantema_06/loop1.xml 0.0 / 0.1 s 0.7 / 0.4 s 300.0 / 300.0 s 1.0 / 0.6 s
SRS_Standard/Zantema_06/loop2.xml 0.0 / 0.1 s 0.6 / 0.4 s 299.8 / 300.0 s 1.0 / 0.6 s
SRS_Standard/Zantema_06/while1.xml 3.0 / 3.1 s 236.7 / 60.2 s 299.6 / 300.0 s 1196.1 / 300.1 s
SRS_Standard/Zantema_06/while2.xml 0.0 / 0.2 s 2.4 / 0.8 s 0.1 / 0.2 s 1.3 / 0.7 s