Overview of job-results

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

Statistics

3945 pairs, 1465907.9 / 437506.9 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 certi 49312
Solver TTT2 AProVE_JRE2 matchbox2014.07.08
Scores 572 819 584
SRS_Standard/Bouchare_06/01.xml 32.1 / 8.4 s 3.6 / 1.3 s 0.9 / 0.2 s
SRS_Standard/Bouchare_06/02.xml 2.8 / 1.0 s 9.8 / 2.9 s 0.3 / 0.1 s
SRS_Standard/Bouchare_06/03.xml 25.5 / 6.7 s 26.5 / 7.1 s 0.3 / 0.1 s
SRS_Standard/Bouchare_06/04.xml 32.1 / 8.4 s 4.3 / 1.4 s 0.7 / 0.2 s
SRS_Standard/Bouchare_06/05.xml 30.8 / 8.1 s 41.1 / 11.0 s 0.7 / 0.2 s
SRS_Standard/Bouchare_06/06.xml 31.2 / 8.2 s 43.0 / 11.7 s 0.8 / 0.2 s
SRS_Standard/Bouchare_06/07.xml 27.9 / 7.3 s 32.3 / 8.8 s 0.8 / 0.2 s
SRS_Standard/Bouchare_06/08.xml 0.5 / 0.4 s 1.1 / 0.6 s 1196.3 / 300.0 s
SRS_Standard/Bouchare_06/09.xml 0.7 / 0.4 s 1.7 / 0.8 s 1195.8 / 300.0 s
SRS_Standard/Bouchare_06/10.xml 43.6 / 11.3 s 59.8 / 15.7 s 1.6 / 0.4 s
SRS_Standard/Bouchare_06/11.xml 28.5 / 7.5 s 65.1 / 17.2 s 1.1 / 0.3 s
SRS_Standard/Bouchare_06/12.xml 26.0 / 6.8 s 43.0 / 11.6 s 0.5 / 0.1 s
SRS_Standard/Bouchare_06/13.xml 41.5 / 9.4 s 42.5 / 11.3 s 1.3 / 0.4 s
SRS_Standard/Bouchare_06/14.xml 30.5 / 8.0 s 3.7 / 1.3 s 0.3 / 0.1 s
SRS_Standard/Bouchare_06/15.xml 44.4 / 11.5 s 3.9 / 1.4 s 0.7 / 0.2 s
SRS_Standard/Bouchare_06/16.xml 26.4 / 6.9 s 2.3 / 0.9 s 0.3 / 0.1 s
SRS_Standard/Bouchare_06/17.xml 27.6 / 7.2 s 7.4 / 2.3 s 0.5 / 0.2 s
SRS_Standard/Bouchare_06/18.xml 32.7 / 8.5 s 29.0 / 7.9 s 2.1 / 0.5 s
SRS_Standard/Gebhardt_06/01.xml 236.7 / 59.6 s 1200.1 / 296.2 s 1196.5 / 300.0 s
SRS_Standard/Gebhardt_06/02.xml 235.0 / 59.7 s 964.6 / 246.2 s 1196.3 / 300.0 s
SRS_Standard/Gebhardt_06/03.xml 234.7 / 59.6 s 30.3 / 8.2 s 1196.5 / 300.0 s
SRS_Standard/Gebhardt_06/04.xml 234.9 / 59.6 s 62.9 / 16.5 s 33.0 / 8.3 s
SRS_Standard/Gebhardt_06/05.xml 235.1 / 59.7 s 60.5 / 15.9 s 1196.5 / 300.0 s
SRS_Standard/Gebhardt_06/06.xml 257.2 / 59.7 s 1188.4 / 300.1 s 1196.3 / 300.0 s
SRS_Standard/Gebhardt_06/07.xml 235.3 / 59.7 s 34.4 / 9.2 s 7.0 / 1.8 s
SRS_Standard/Gebhardt_06/08.xml 235.0 / 59.7 s 24.6 / 6.7 s 1196.3 / 300.0 s
SRS_Standard/Gebhardt_06/09.xml 66.6 / 17.1 s 269.8 / 68.5 s 489.3 / 122.7 s
SRS_Standard/Gebhardt_06/10.xml 245.8 / 59.7 s 1188.7 / 300.1 s 1196.4 / 300.0 s
SRS_Standard/Gebhardt_06/11.xml 62.5 / 16.1 s 46.9 / 12.4 s 5.5 / 1.4 s
SRS_Standard/Gebhardt_06/12.xml 245.7 / 59.7 s 56.5 / 14.8 s 1196.1 / 300.0 s
SRS_Standard/Gebhardt_06/13.xml 236.1 / 59.8 s 1200.1 / 298.2 s 1196.4 / 300.0 s
SRS_Standard/Gebhardt_06/14.xml 135.6 / 34.5 s 40.1 / 10.8 s 5.2 / 1.3 s
SRS_Standard/Gebhardt_06/15.xml 234.9 / 59.6 s 76.2 / 19.8 s 1196.6 / 300.0 s
SRS_Standard/Gebhardt_06/16.xml 235.2 / 59.7 s 50.2 / 13.3 s 25.6 / 6.4 s
SRS_Standard/Gebhardt_06/17.xml 235.2 / 59.7 s 51.8 / 13.8 s 230.1 / 57.7 s
SRS_Standard/Gebhardt_06/18.xml 235.5 / 59.7 s 291.6 / 74.1 s 1196.1 / 300.0 s
SRS_Standard/Gebhardt_06/19.xml 269.4 / 59.9 s 1198.7 / 300.1 s 1196.3 / 300.0 s
SRS_Standard/Gebhardt_06/20.xml 235.5 / 59.8 s 1187.4 / 300.1 s 1196.3 / 300.0 s
SRS_Standard/ICFP_2010/107193.xml 132.2 / 62.0 s 596.5 / 300.1 s 1123.6 / 300.0 s
SRS_Standard/ICFP_2010/107220.xml 131.9 / 61.7 s 630.9 / 300.0 s 1141.3 / 300.0 s
SRS_Standard/ICFP_2010/107236.xml 132.1 / 61.9 s 650.0 / 300.0 s 1121.9 / 300.0 s
SRS_Standard/ICFP_2010/123759.xml 130.7 / 60.5 s 576.9 / 300.0 s 1184.6 / 300.0 s
SRS_Standard/ICFP_2010/124211.xml 130.7 / 60.5 s 586.1 / 300.1 s 1185.5 / 300.0 s
SRS_Standard/ICFP_2010/124269.xml 130.7 / 60.5 s 586.5 / 300.0 s 1185.4 / 300.0 s
SRS_Standard/ICFP_2010/124791.xml 130.6 / 60.5 s 564.3 / 300.1 s 1185.2 / 300.0 s
SRS_Standard/ICFP_2010/127538.xml 130.9 / 60.8 s 66.7 / 17.4 s 1176.3 / 300.0 s
SRS_Standard/ICFP_2010/128056.xml 131.0 / 60.8 s 737.2 / 300.0 s 1177.0 / 300.0 s
SRS_Standard/ICFP_2010/128182.xml 131.7 / 60.8 s 60.5 / 15.8 s 1177.2 / 300.0 s
SRS_Standard/ICFP_2010/128280.xml 131.0 / 60.8 s 54.8 / 14.5 s 1178.3 / 300.0 s
SRS_Standard/ICFP_2010/128430.xml 131.0 / 60.8 s 57.3 / 15.0 s 1177.3 / 300.0 s
SRS_Standard/ICFP_2010/128486.xml 131.0 / 60.8 s 51.6 / 13.4 s 1177.6 / 300.0 s
SRS_Standard/ICFP_2010/128515.xml 131.0 / 60.8 s 61.1 / 15.9 s 1177.6 / 300.0 s
SRS_Standard/ICFP_2010/128550.xml 131.0 / 60.8 s 67.5 / 17.7 s 1176.9 / 300.0 s
SRS_Standard/ICFP_2010/128620.xml 130.9 / 60.8 s 59.6 / 15.6 s 1177.3 / 300.0 s
SRS_Standard/ICFP_2010/128691.xml 131.1 / 60.8 s 58.8 / 15.4 s 1177.5 / 300.0 s
SRS_Standard/ICFP_2010/130161.xml 131.9 / 61.6 s 629.0 / 300.0 s 1157.6 / 300.0 s
SRS_Standard/ICFP_2010/130304.xml 131.9 / 61.6 s 633.5 / 300.0 s 1160.7 / 300.0 s
SRS_Standard/ICFP_2010/130472.xml 132.6 / 61.6 s 613.5 / 300.1 s 1156.7 / 300.0 s
SRS_Standard/ICFP_2010/130962.xml 131.8 / 61.6 s 219.3 / 55.8 s 1177.4 / 300.0 s
SRS_Standard/ICFP_2010/131633.xml 130.6 / 60.5 s 582.3 / 300.0 s 1184.0 / 300.0 s
SRS_Standard/ICFP_2010/131982.xml 130.7 / 60.5 s 571.4 / 300.0 s 1184.3 / 300.0 s
SRS_Standard/ICFP_2010/132235.xml 130.7 / 60.5 s 583.0 / 300.1 s 1183.9 / 300.0 s
SRS_Standard/ICFP_2010/132478.xml 131.0 / 60.8 s 57.3 / 14.9 s 1177.2 / 300.0 s
SRS_Standard/ICFP_2010/132540.xml 131.0 / 60.8 s 60.1 / 15.7 s 1177.5 / 300.0 s
SRS_Standard/ICFP_2010/132611.xml 130.7 / 60.5 s 37.7 / 10.0 s 1188.0 / 300.0 s
SRS_Standard/ICFP_2010/132622.xml 131.0 / 60.8 s 66.2 / 17.2 s 1177.9 / 300.0 s
SRS_Standard/ICFP_2010/132720.xml 131.0 / 60.8 s 63.2 / 16.6 s 1176.8 / 300.0 s
SRS_Standard/ICFP_2010/132738.xml 131.1 / 60.8 s 50.6 / 13.3 s 1177.3 / 300.0 s
SRS_Standard/ICFP_2010/132782.xml 131.0 / 60.8 s 50.3 / 13.2 s 1177.5 / 300.0 s
SRS_Standard/ICFP_2010/132833.xml 131.0 / 60.8 s 57.9 / 15.1 s 1177.1 / 300.0 s
SRS_Standard/ICFP_2010/132848.xml 131.8 / 61.6 s 664.4 / 300.0 s 1150.7 / 300.0 s
SRS_Standard/ICFP_2010/132864.xml 131.0 / 60.8 s 63.0 / 16.5 s 1176.5 / 300.0 s
SRS_Standard/ICFP_2010/132920.xml 131.0 / 60.8 s 60.3 / 15.7 s 1177.5 / 300.0 s
SRS_Standard/ICFP_2010/132957.xml 131.1 / 60.8 s 56.6 / 14.8 s 1178.2 / 300.0 s
SRS_Standard/ICFP_2010/132969.xml 130.7 / 60.5 s 569.1 / 300.1 s 1185.3 / 300.0 s
SRS_Standard/ICFP_2010/133010.xml 131.0 / 60.8 s 53.6 / 14.0 s 1176.5 / 300.0 s
SRS_Standard/ICFP_2010/133079.xml 131.9 / 61.6 s 594.2 / 300.0 s 1141.0 / 300.0 s
SRS_Standard/ICFP_2010/133159.xml 130.7 / 60.5 s 566.7 / 300.0 s 1184.6 / 300.0 s
SRS_Standard/ICFP_2010/133236.xml 131.9 / 61.6 s 628.3 / 300.0 s 1166.0 / 300.0 s
SRS_Standard/ICFP_2010/133432.xml 131.9 / 61.6 s 696.5 / 300.0 s 1166.4 / 300.0 s
SRS_Standard/ICFP_2010/133486.xml 130.6 / 60.5 s 515.9 / 300.1 s 1184.8 / 300.0 s
SRS_Standard/ICFP_2010/133532.xml 131.8 / 61.6 s 648.4 / 300.1 s 1145.4 / 300.0 s
SRS_Standard/ICFP_2010/133827.xml 130.7 / 60.5 s 29.0 / 7.8 s 1185.4 / 300.0 s
SRS_Standard/ICFP_2010/133881.xml 131.3 / 60.5 s 535.2 / 300.0 s 1185.5 / 300.0 s
SRS_Standard/ICFP_2010/134918.xml 130.6 / 60.5 s 580.4 / 300.0 s 1185.6 / 300.0 s
SRS_Standard/ICFP_2010/135115.xml 130.7 / 60.5 s 569.2 / 300.0 s 1185.0 / 300.0 s
SRS_Standard/ICFP_2010/135328.xml 130.6 / 60.5 s 626.5 / 300.1 s 1189.3 / 300.0 s
SRS_Standard/ICFP_2010/135410.xml 131.8 / 61.6 s 638.3 / 300.0 s 1149.9 / 300.0 s
SRS_Standard/ICFP_2010/135505.xml 131.8 / 61.6 s 685.1 / 300.0 s 1148.2 / 300.0 s
SRS_Standard/ICFP_2010/135601.xml 131.8 / 61.6 s 702.8 / 300.0 s 1123.2 / 300.0 s
SRS_Standard/ICFP_2010/135604.xml 132.0 / 60.5 s 576.9 / 300.0 s 1185.2 / 300.0 s
SRS_Standard/ICFP_2010/135652.xml 130.7 / 60.5 s 586.1 / 300.0 s 1185.5 / 300.0 s
SRS_Standard/ICFP_2010/135659.xml 131.8 / 61.6 s 449.2 / 128.4 s 1105.5 / 300.0 s
SRS_Standard/ICFP_2010/135714.xml 131.8 / 61.6 s 596.0 / 300.0 s 1165.8 / 300.0 s
SRS_Standard/ICFP_2010/135782.xml 130.7 / 60.5 s 567.4 / 300.0 s 1184.5 / 300.0 s
SRS_Standard/ICFP_2010/135936.xml 130.7 / 60.5 s 744.5 / 300.0 s 1185.4 / 300.0 s
SRS_Standard/ICFP_2010/136051.xml 130.6 / 60.5 s 566.6 / 300.0 s 1184.9 / 300.0 s
SRS_Standard/ICFP_2010/136280.xml 131.9 / 61.6 s 687.8 / 300.0 s 1160.0 / 300.0 s
SRS_Standard/ICFP_2010/136323.xml 131.9 / 61.6 s 628.0 / 300.0 s 1164.4 / 300.0 s
SRS_Standard/ICFP_2010/136354.xml 131.8 / 61.6 s 606.6 / 300.1 s 1135.5 / 300.0 s
SRS_Standard/ICFP_2010/136463.xml 131.9 / 61.6 s 633.9 / 300.0 s 1150.9 / 300.0 s
SRS_Standard/ICFP_2010/136497.xml 131.8 / 61.6 s 667.0 / 300.0 s 1108.2 / 300.0 s
SRS_Standard/ICFP_2010/136534.xml 131.8 / 61.6 s 614.9 / 300.0 s 1156.6 / 300.0 s
SRS_Standard/ICFP_2010/136562.xml 130.7 / 60.5 s 744.3 / 300.0 s 1184.9 / 300.0 s
SRS_Standard/ICFP_2010/136571.xml 131.8 / 61.6 s 600.9 / 300.0 s 1137.7 / 300.0 s
SRS_Standard/ICFP_2010/136601.xml 131.8 / 61.6 s 611.8 / 300.0 s 1156.9 / 300.0 s
SRS_Standard/ICFP_2010/136623.xml 130.7 / 60.5 s 582.4 / 300.0 s 1185.5 / 300.0 s
SRS_Standard/ICFP_2010/136693.xml 133.0 / 61.6 s 598.3 / 300.0 s 1165.3 / 300.0 s
SRS_Standard/ICFP_2010/136934.xml 131.8 / 61.6 s 626.5 / 300.1 s 1166.0 / 300.0 s
SRS_Standard/ICFP_2010/137087.xml 131.8 / 61.6 s 630.1 / 300.0 s 1156.0 / 300.0 s
SRS_Standard/ICFP_2010/137136.xml 131.8 / 61.6 s 673.6 / 300.1 s 1159.3 / 300.0 s
SRS_Standard/ICFP_2010/137316.xml 131.8 / 61.6 s 643.8 / 300.0 s 1151.2 / 300.0 s
SRS_Standard/ICFP_2010/137404.xml 130.7 / 60.5 s 588.1 / 300.0 s 1184.9 / 300.0 s
SRS_Standard/ICFP_2010/137621.xml 131.9 / 61.6 s 690.0 / 300.0 s 1164.3 / 300.0 s
SRS_Standard/ICFP_2010/137623.xml 130.6 / 60.5 s 31.0 / 8.3 s 1184.9 / 300.0 s
SRS_Standard/ICFP_2010/137715.xml 131.8 / 61.6 s 679.2 / 300.0 s 1106.2 / 300.0 s
SRS_Standard/ICFP_2010/137799.xml 131.8 / 61.6 s 701.0 / 300.0 s 1147.7 / 300.0 s
SRS_Standard/ICFP_2010/137809.xml 130.7 / 60.5 s 679.4 / 300.0 s 1185.9 / 300.0 s
SRS_Standard/ICFP_2010/137956.xml 131.8 / 61.6 s 611.6 / 300.0 s 1161.8 / 300.0 s
SRS_Standard/ICFP_2010/138089.xml 131.8 / 61.6 s 687.7 / 300.0 s 1165.9 / 300.0 s
SRS_Standard/ICFP_2010/138142.xml 130.6 / 60.5 s 38.4 / 10.1 s 1185.7 / 300.0 s
SRS_Standard/ICFP_2010/138194.xml 130.7 / 60.5 s 551.4 / 300.0 s 1185.3 / 300.0 s
SRS_Standard/ICFP_2010/138254.xml 130.6 / 60.5 s 34.9 / 9.3 s 1184.8 / 300.0 s
SRS_Standard/ICFP_2010/138269.xml 130.7 / 60.5 s 564.5 / 300.0 s 1184.5 / 300.0 s
SRS_Standard/ICFP_2010/138330.xml 130.7 / 60.5 s 614.8 / 300.0 s 1186.9 / 300.0 s
SRS_Standard/ICFP_2010/138468.xml 132.4 / 62.2 s 51.4 / 13.6 s 1120.0 / 300.0 s
SRS_Standard/ICFP_2010/138477.xml 130.7 / 60.5 s 592.4 / 300.0 s 1184.9 / 300.0 s
SRS_Standard/ICFP_2010/138993.xml 131.0 / 60.8 s 62.0 / 16.2 s 1176.6 / 300.0 s
SRS_Standard/ICFP_2010/139004.xml 131.1 / 60.8 s 68.2 / 17.8 s 1175.7 / 300.0 s
SRS_Standard/ICFP_2010/139018.xml 131.1 / 60.8 s 61.1 / 16.0 s 1177.1 / 300.0 s
SRS_Standard/ICFP_2010/139025.xml 130.9 / 60.8 s 61.5 / 16.2 s 1177.7 / 300.0 s
SRS_Standard/ICFP_2010/139036.xml 131.0 / 60.8 s 63.4 / 16.5 s 1177.3 / 300.0 s
SRS_Standard/ICFP_2010/139100.xml 131.0 / 60.8 s 53.9 / 14.0 s 1176.5 / 300.0 s
SRS_Standard/ICFP_2010/139163.xml 131.0 / 60.8 s 76.0 / 19.7 s 1176.8 / 300.0 s
SRS_Standard/ICFP_2010/139167.xml 131.0 / 60.8 s 63.5 / 16.6 s 1176.8 / 300.0 s
SRS_Standard/ICFP_2010/139174.xml 131.1 / 60.8 s 58.6 / 15.3 s 1177.1 / 300.0 s
SRS_Standard/ICFP_2010/139180.xml 131.0 / 60.8 s 69.5 / 18.0 s 1176.8 / 300.0 s
SRS_Standard/ICFP_2010/139185.xml 131.0 / 60.8 s 57.9 / 15.2 s 1177.3 / 300.0 s
SRS_Standard/ICFP_2010/139190.xml 131.0 / 60.8 s 58.2 / 15.2 s 1177.7 / 300.0 s
SRS_Standard/ICFP_2010/139214.xml 131.0 / 60.8 s 66.3 / 17.3 s 1177.4 / 300.0 s
SRS_Standard/ICFP_2010/139236.xml 131.0 / 60.8 s 52.4 / 13.7 s 1177.2 / 300.0 s
SRS_Standard/ICFP_2010/139256.xml 131.0 / 60.8 s 62.0 / 16.1 s 1176.7 / 300.0 s
SRS_Standard/ICFP_2010/139282.xml 131.0 / 60.8 s 60.3 / 15.8 s 1176.9 / 300.0 s
SRS_Standard/ICFP_2010/139310.xml 131.0 / 60.8 s 63.2 / 16.5 s 1177.5 / 300.0 s
SRS_Standard/ICFP_2010/139378.xml 131.0 / 60.8 s 62.0 / 16.2 s 1176.7 / 300.0 s
SRS_Standard/ICFP_2010/140287.xml 131.0 / 60.8 s 676.5 / 300.0 s 1177.0 / 300.0 s
SRS_Standard/ICFP_2010/140318.xml 131.0 / 60.8 s 58.2 / 15.2 s 1176.8 / 300.0 s
SRS_Standard/ICFP_2010/140359.xml 131.0 / 60.8 s 63.8 / 16.6 s 1177.2 / 300.0 s
SRS_Standard/ICFP_2010/140631.xml 129.8 / 59.7 s 624.5 / 300.0 s 1191.0 / 300.0 s
SRS_Standard/ICFP_2010/140639.xml 130.1 / 60.0 s 49.7 / 13.0 s 1188.5 / 300.0 s
SRS_Standard/ICFP_2010/140654.xml 216.6 / 60.1 s 133.3 / 34.9 s 1193.4 / 300.0 s
SRS_Standard/ICFP_2010/140659.xml 130.2 / 60.1 s 682.7 / 300.0 s 1185.7 / 300.0 s
SRS_Standard/ICFP_2010/140664.xml 130.5 / 60.3 s 712.8 / 300.0 s 1179.9 / 300.0 s
SRS_Standard/ICFP_2010/142142.xml 130.1 / 59.9 s 45.7 / 12.0 s 1190.4 / 300.0 s
SRS_Standard/ICFP_2010/142146.xml 130.5 / 60.3 s 54.7 / 14.3 s 1181.3 / 300.0 s
SRS_Standard/ICFP_2010/142150.xml 130.1 / 59.9 s 618.2 / 300.0 s 1189.4 / 300.0 s
SRS_Standard/ICFP_2010/142157.xml 130.2 / 60.0 s 671.7 / 300.1 s 1182.7 / 300.0 s
SRS_Standard/ICFP_2010/147437.xml 135.1 / 64.8 s 677.2 / 300.0 s 1030.0 / 300.0 s
SRS_Standard/ICFP_2010/148543.xml 135.6 / 65.2 s 676.6 / 300.1 s 999.5 / 300.0 s
SRS_Standard/ICFP_2010/149251.xml 134.6 / 64.3 s 666.5 / 300.0 s 1042.5 / 300.0 s
SRS_Standard/ICFP_2010/149277.xml 135.1 / 64.7 s 670.9 / 300.0 s 1017.5 / 300.0 s
SRS_Standard/ICFP_2010/149297.xml 135.8 / 65.5 s 716.7 / 300.1 s 975.1 / 300.0 s
SRS_Standard/ICFP_2010/149319.xml 134.3 / 64.1 s 611.1 / 300.0 s 1059.3 / 300.0 s
SRS_Standard/ICFP_2010/149361.xml 134.8 / 64.6 s 775.9 / 300.1 s 1017.7 / 300.0 s
SRS_Standard/ICFP_2010/149415.xml 135.1 / 64.8 s 662.5 / 300.0 s 1013.3 / 300.0 s
SRS_Standard/ICFP_2010/149633.xml 134.7 / 64.4 s 673.6 / 300.0 s 1032.9 / 300.0 s
SRS_Standard/ICFP_2010/149713.xml 135.2 / 64.9 s 717.9 / 300.0 s 1017.1 / 300.0 s
SRS_Standard/ICFP_2010/149849.xml 135.6 / 65.3 s 775.2 / 300.0 s 990.6 / 300.0 s
SRS_Standard/ICFP_2010/149915.xml 135.0 / 64.7 s 654.0 / 300.0 s 1036.2 / 300.0 s
SRS_Standard/ICFP_2010/150067.xml 134.9 / 64.6 s 668.0 / 300.0 s 1023.2 / 300.0 s
SRS_Standard/ICFP_2010/150188.xml 135.3 / 65.0 s 592.4 / 300.0 s 1009.3 / 300.0 s
SRS_Standard/ICFP_2010/150258.xml 135.3 / 64.9 s 659.5 / 300.0 s 1014.4 / 300.0 s
SRS_Standard/ICFP_2010/150468.xml 135.4 / 65.2 s 668.5 / 300.0 s 1006.9 / 300.0 s
SRS_Standard/ICFP_2010/150630.xml 135.0 / 64.6 s 780.6 / 300.1 s 1022.2 / 300.0 s
SRS_Standard/ICFP_2010/150725.xml 135.0 / 64.7 s 676.5 / 300.0 s 1022.0 / 300.0 s
SRS_Standard/ICFP_2010/150815.xml 135.7 / 65.5 s 696.8 / 300.0 s 979.2 / 300.0 s
SRS_Standard/ICFP_2010/150839.xml 133.7 / 63.4 s 638.3 / 300.1 s 1087.7 / 300.0 s
SRS_Standard/ICFP_2010/150877.xml 134.7 / 64.4 s 727.5 / 300.0 s 1037.7 / 300.0 s
SRS_Standard/ICFP_2010/151247.xml 135.6 / 65.3 s 674.2 / 300.0 s 990.6 / 300.0 s
SRS_Standard/ICFP_2010/152694.xml 131.9 / 61.6 s 623.7 / 300.1 s 1148.0 / 300.0 s
SRS_Standard/ICFP_2010/152786.xml 131.9 / 61.6 s 598.2 / 300.0 s 1164.7 / 300.0 s
SRS_Standard/ICFP_2010/152865.xml 131.8 / 61.6 s 849.6 / 300.1 s 1109.7 / 300.0 s
SRS_Standard/ICFP_2010/152949.xml 131.9 / 61.6 s 582.0 / 300.0 s 1166.3 / 300.0 s
SRS_Standard/ICFP_2010/153034.xml 131.8 / 61.6 s 700.3 / 300.0 s 1165.0 / 300.0 s
SRS_Standard/ICFP_2010/153090.xml 131.9 / 61.6 s 65.0 / 16.9 s 1135.1 / 300.0 s
SRS_Standard/ICFP_2010/153170.xml 131.9 / 61.6 s 645.1 / 300.1 s 1165.2 / 300.0 s
SRS_Standard/ICFP_2010/153243.xml 131.8 / 61.6 s 611.3 / 300.1 s 1159.9 / 300.0 s
SRS_Standard/ICFP_2010/153288.xml 131.8 / 61.6 s 189.3 / 48.5 s 1096.9 / 300.0 s
SRS_Standard/ICFP_2010/153371.xml 131.9 / 61.6 s 607.9 / 300.1 s 1134.9 / 300.0 s
SRS_Standard/ICFP_2010/153444.xml 131.9 / 61.6 s 623.8 / 300.1 s 1160.3 / 300.0 s
SRS_Standard/ICFP_2010/157150.xml 130.0 / 59.8 s 197.9 / 50.8 s 261.5 / 66.9 s
SRS_Standard/ICFP_2010/157161.xml 162.6 / 60.2 s 639.7 / 300.0 s 1193.1 / 300.0 s
SRS_Standard/ICFP_2010/157275.xml 131.8 / 61.6 s 70.6 / 18.3 s 1134.4 / 300.0 s
SRS_Standard/ICFP_2010/157388.xml 237.4 / 61.1 s 116.1 / 29.8 s 22.4 / 6.1 s
SRS_Standard/ICFP_2010/157436.xml 228.8 / 60.0 s 787.5 / 300.0 s 312.4 / 79.0 s
SRS_Standard/ICFP_2010/157466.xml 131.8 / 61.6 s 640.8 / 300.1 s 1150.0 / 300.0 s
SRS_Standard/ICFP_2010/157593.xml 235.3 / 60.6 s 70.4 / 18.2 s 43.5 / 11.4 s
SRS_Standard/ICFP_2010/157603.xml 131.8 / 61.6 s 621.3 / 300.0 s 1138.4 / 300.0 s
SRS_Standard/ICFP_2010/157713.xml 131.8 / 61.6 s 618.5 / 300.0 s 1131.4 / 300.0 s
SRS_Standard/ICFP_2010/158152.xml 239.8 / 60.6 s 816.0 / 300.0 s 84.5 / 21.5 s
SRS_Standard/ICFP_2010/158208.xml 131.8 / 61.6 s 616.8 / 300.0 s 1155.3 / 300.0 s
SRS_Standard/ICFP_2010/158342.xml 131.9 / 61.6 s 654.6 / 300.0 s 1166.2 / 300.0 s
SRS_Standard/ICFP_2010/158477.xml 131.9 / 61.6 s 617.6 / 300.0 s 1151.2 / 300.0 s
SRS_Standard/ICFP_2010/158620.xml 131.9 / 61.6 s 66.7 / 17.4 s 1141.7 / 300.0 s
SRS_Standard/ICFP_2010/159731.xml 243.2 / 61.0 s 170.7 / 44.3 s 11.7 / 3.2 s
SRS_Standard/ICFP_2010/160068.xml 132.0 / 61.8 s 617.2 / 300.0 s 1125.4 / 300.0 s
SRS_Standard/ICFP_2010/160210.xml 132.8 / 62.6 s 656.6 / 300.0 s 1091.3 / 300.0 s
SRS_Standard/ICFP_2010/160234.xml 173.7 / 56.9 s 67.1 / 17.4 s 11.1 / 3.0 s
SRS_Standard/ICFP_2010/160254.xml 132.3 / 62.0 s 607.4 / 300.0 s 1117.8 / 300.0 s
SRS_Standard/ICFP_2010/160263.xml 176.5 / 58.1 s 100.9 / 26.1 s 7.9 / 2.2 s
SRS_Standard/ICFP_2010/160324.xml 131.9 / 61.8 s 576.9 / 300.0 s 1135.6 / 300.0 s
SRS_Standard/ICFP_2010/160364.xml 133.0 / 62.8 s 675.8 / 300.0 s 1082.7 / 300.0 s
SRS_Standard/ICFP_2010/160398.xml 132.0 / 61.8 s 606.5 / 300.1 s 1125.9 / 300.0 s
SRS_Standard/ICFP_2010/160427.xml 132.2 / 62.0 s 614.6 / 300.0 s 1117.8 / 300.0 s
SRS_Standard/ICFP_2010/160462.xml 132.4 / 62.1 s 629.4 / 300.1 s 1111.5 / 300.0 s
SRS_Standard/ICFP_2010/160475.xml 132.5 / 62.3 s 616.7 / 300.0 s 1112.0 / 300.0 s
SRS_Standard/ICFP_2010/160660.xml 132.0 / 61.8 s 589.5 / 300.0 s 1131.1 / 300.0 s
SRS_Standard/ICFP_2010/161519.xml 132.1 / 62.0 s 179.7 / 46.2 s 1125.2 / 300.0 s
SRS_Standard/ICFP_2010/161533.xml 132.8 / 62.6 s 645.8 / 300.1 s 1094.8 / 300.0 s
SRS_Standard/ICFP_2010/161593.xml 132.0 / 61.8 s 585.8 / 300.0 s 1125.8 / 300.0 s
SRS_Standard/ICFP_2010/161864.xml 131.8 / 61.6 s 594.6 / 300.1 s 1134.4 / 300.0 s
SRS_Standard/ICFP_2010/161917.xml 132.5 / 62.2 s 635.5 / 300.0 s 1106.0 / 300.0 s
SRS_Standard/ICFP_2010/161930.xml 132.1 / 61.9 s 65.3 / 17.0 s 1093.4 / 300.0 s
SRS_Standard/ICFP_2010/162016.xml 132.4 / 62.1 s 617.6 / 300.0 s 1120.5 / 300.0 s
SRS_Standard/ICFP_2010/162075.xml 132.6 / 62.3 s 634.8 / 300.0 s 1103.6 / 300.0 s
SRS_Standard/ICFP_2010/162095.xml 132.0 / 61.8 s 603.5 / 300.1 s 1127.2 / 300.0 s
SRS_Standard/ICFP_2010/162244.xml 132.1 / 61.9 s 604.7 / 300.1 s 1124.6 / 300.0 s
SRS_Standard/ICFP_2010/165713.xml 132.1 / 61.8 s 609.2 / 300.0 s 1129.1 / 300.0 s
SRS_Standard/ICFP_2010/165755.xml 132.1 / 61.9 s 622.7 / 300.0 s 1123.3 / 300.0 s
SRS_Standard/ICFP_2010/165904.xml 132.4 / 62.1 s 611.3 / 300.0 s 1114.2 / 300.0 s
SRS_Standard/ICFP_2010/165936.xml 132.2 / 62.1 s 613.8 / 300.1 s 1113.8 / 300.0 s
SRS_Standard/ICFP_2010/165975.xml 132.3 / 62.2 s 611.0 / 300.0 s 1117.6 / 300.0 s
SRS_Standard/ICFP_2010/166001.xml 132.6 / 62.4 s 648.5 / 300.0 s 1101.6 / 300.0 s
SRS_Standard/ICFP_2010/166465.xml 132.0 / 61.8 s 611.4 / 300.0 s 1092.1 / 300.0 s
SRS_Standard/ICFP_2010/166493.xml 132.3 / 62.1 s 620.7 / 300.0 s 1110.7 / 300.0 s
SRS_Standard/ICFP_2010/166558.xml 132.6 / 62.3 s 632.3 / 300.0 s 1110.9 / 300.0 s
SRS_Standard/ICFP_2010/166848.xml 132.5 / 62.3 s 649.0 / 300.0 s 1102.7 / 300.0 s
SRS_Standard/ICFP_2010/167041.xml 132.1 / 61.9 s 598.3 / 300.0 s 1127.9 / 300.0 s
SRS_Standard/ICFP_2010/167087.xml 132.5 / 62.3 s 636.8 / 300.0 s 1105.0 / 300.0 s
SRS_Standard/ICFP_2010/167240.xml 132.2 / 62.0 s 608.0 / 300.0 s 1124.3 / 300.0 s
SRS_Standard/ICFP_2010/167294.xml 132.5 / 62.3 s 614.8 / 300.1 s 1108.4 / 300.0 s
SRS_Standard/ICFP_2010/167310.xml 132.0 / 61.9 s 602.7 / 300.0 s 1126.5 / 300.0 s
SRS_Standard/ICFP_2010/167391.xml 132.7 / 62.4 s 203.6 / 52.4 s 1101.9 / 300.0 s
SRS_Standard/ICFP_2010/167433.xml 132.5 / 62.3 s 636.3 / 300.0 s 1108.9 / 300.0 s
SRS_Standard/ICFP_2010/167452.xml 132.5 / 62.2 s 623.4 / 300.0 s 1116.8 / 300.0 s
SRS_Standard/ICFP_2010/167526.xml 132.0 / 61.8 s 573.3 / 300.0 s 1131.7 / 300.0 s
SRS_Standard/ICFP_2010/167636.xml 132.7 / 62.6 s 116.4 / 29.9 s 1096.6 / 300.0 s
SRS_Standard/ICFP_2010/167742.xml 132.6 / 62.4 s 66.0 / 17.1 s 1108.2 / 300.0 s
SRS_Standard/ICFP_2010/180915.xml 132.2 / 62.1 s 960.1 / 300.0 s 1057.6 / 300.0 s
SRS_Standard/ICFP_2010/182946.xml 132.2 / 62.1 s 678.3 / 300.1 s 1070.3 / 300.0 s
SRS_Standard/ICFP_2010/183803.xml 132.2 / 62.1 s 714.7 / 300.0 s 1073.9 / 300.0 s
SRS_Standard/ICFP_2010/184957.xml 132.3 / 62.1 s 715.0 / 300.0 s 1097.5 / 300.0 s
SRS_Standard/ICFP_2010/185453.xml 132.2 / 62.1 s 763.5 / 300.0 s 1075.3 / 300.0 s
SRS_Standard/ICFP_2010/185628.xml 132.3 / 62.1 s 754.3 / 300.0 s 1059.9 / 300.0 s
SRS_Standard/ICFP_2010/186023.xml 132.3 / 62.1 s 42.6 / 11.3 s 1072.3 / 300.0 s
SRS_Standard/ICFP_2010/186222.xml 132.3 / 62.1 s 654.1 / 300.1 s 1059.0 / 300.0 s
SRS_Standard/ICFP_2010/186333.xml 132.3 / 62.1 s 747.1 / 300.0 s 1062.6 / 300.0 s
SRS_Standard/ICFP_2010/186617.xml 132.9 / 62.1 s 820.1 / 300.0 s 1057.0 / 300.0 s
SRS_Standard/ICFP_2010/186775.xml 133.0 / 62.1 s 770.0 / 300.0 s 1065.9 / 300.0 s
SRS_Standard/ICFP_2010/186810.xml 132.3 / 62.1 s 774.5 / 300.0 s 1076.8 / 300.0 s
SRS_Standard/ICFP_2010/186919.xml 132.3 / 62.1 s 781.1 / 300.1 s 1053.0 / 300.0 s
SRS_Standard/ICFP_2010/186973.xml 132.3 / 62.1 s 660.6 / 300.0 s 1071.0 / 300.0 s
SRS_Standard/ICFP_2010/187254.xml 132.3 / 62.1 s 47.0 / 12.4 s 1079.7 / 300.0 s
SRS_Standard/ICFP_2010/187837.xml 132.3 / 62.1 s 752.2 / 300.0 s 1069.4 / 300.0 s
SRS_Standard/ICFP_2010/188004.xml 132.3 / 62.1 s 751.9 / 300.1 s 1059.2 / 300.0 s
SRS_Standard/ICFP_2010/188238.xml 132.3 / 62.1 s 750.3 / 300.0 s 1067.8 / 300.0 s
SRS_Standard/ICFP_2010/188261.xml 132.3 / 62.1 s 732.8 / 300.1 s 1069.3 / 300.0 s
SRS_Standard/ICFP_2010/188296.xml 132.3 / 62.1 s 780.7 / 300.0 s 1071.3 / 300.0 s
SRS_Standard/ICFP_2010/188674.xml 132.2 / 62.1 s 64.0 / 16.6 s 1067.1 / 300.0 s
SRS_Standard/ICFP_2010/188696.xml 132.4 / 62.1 s 653.0 / 300.1 s 1064.6 / 300.0 s
SRS_Standard/ICFP_2010/211471.xml 246.4 / 64.5 s 18.1 / 4.9 s 1191.4 / 300.0 s
SRS_Standard/ICFP_2010/211639.xml 192.1 / 66.8 s 17.1 / 4.7 s 1147.0 / 300.0 s
SRS_Standard/ICFP_2010/211857.xml 54.7 / 15.4 s 58.9 / 15.4 s 2.4 / 0.7 s
SRS_Standard/ICFP_2010/211915.xml 238.9 / 60.8 s 97.5 / 25.0 s 76.2 / 19.4 s
SRS_Standard/ICFP_2010/211960.xml 236.1 / 60.4 s 126.1 / 32.4 s 22.2 / 5.9 s
SRS_Standard/ICFP_2010/211978.xml 244.8 / 60.4 s 26.8 / 7.2 s 13.1 / 3.5 s
SRS_Standard/ICFP_2010/212026.xml 238.6 / 60.9 s 203.2 / 52.0 s 190.5 / 48.5 s
SRS_Standard/ICFP_2010/212037.xml 237.0 / 60.6 s 185.8 / 47.5 s 109.0 / 27.9 s
SRS_Standard/ICFP_2010/212043.xml 237.5 / 60.6 s 144.2 / 37.4 s 76.1 / 19.4 s
SRS_Standard/ICFP_2010/212062.xml 20.8 / 5.8 s 17.4 / 4.7 s 0.6 / 0.3 s
SRS_Standard/ICFP_2010/212094.xml 237.8 / 60.7 s 102.2 / 26.2 s 20.6 / 5.5 s
SRS_Standard/ICFP_2010/212117.xml 240.9 / 60.4 s 92.6 / 23.9 s 57.4 / 14.7 s
SRS_Standard/ICFP_2010/212189.xml 238.9 / 60.7 s 863.1 / 300.1 s 25.1 / 6.5 s
SRS_Standard/ICFP_2010/212263.xml 18.9 / 5.3 s 22.4 / 6.1 s 0.6 / 0.3 s
SRS_Standard/ICFP_2010/212308.xml 237.0 / 60.6 s 142.3 / 37.6 s 483.4 / 122.0 s
SRS_Standard/ICFP_2010/212364.xml 236.5 / 60.7 s 726.2 / 300.0 s 230.8 / 58.4 s
SRS_Standard/ICFP_2010/212421.xml 237.4 / 60.5 s 137.7 / 36.2 s 10.9 / 2.9 s
SRS_Standard/ICFP_2010/212480.xml 209.8 / 109.7 s 80.5 / 20.7 s 12.1 / 3.3 s
SRS_Standard/ICFP_2010/212534.xml 240.3 / 60.6 s 163.3 / 38.8 s 38.5 / 10.1 s
SRS_Standard/ICFP_2010/212612.xml 238.0 / 60.7 s 828.4 / 300.0 s 173.6 / 44.0 s
SRS_Standard/ICFP_2010/212693.xml 45.5 / 19.9 s 32.3 / 8.6 s 67.0 / 17.0 s
SRS_Standard/ICFP_2010/212774.xml 146.0 / 53.5 s 36.4 / 9.6 s 21.4 / 5.7 s
SRS_Standard/ICFP_2010/212795.xml 238.4 / 60.8 s 796.0 / 300.1 s 260.9 / 65.8 s
SRS_Standard/ICFP_2010/212892.xml 134.8 / 43.1 s 85.8 / 22.2 s 55.3 / 14.4 s
SRS_Standard/ICFP_2010/213051.xml 157.8 / 42.9 s 99.6 / 25.5 s 36.8 / 9.7 s
SRS_Standard/ICFP_2010/213147.xml 238.0 / 60.4 s 120.2 / 30.9 s 47.5 / 12.3 s
SRS_Standard/ICFP_2010/213218.xml 30.9 / 17.2 s 29.0 / 7.7 s 0.5 / 0.3 s
SRS_Standard/ICFP_2010/213281.xml 126.1 / 31.2 s 61.2 / 15.9 s 22.8 / 6.0 s
SRS_Standard/ICFP_2010/213407.xml 89.3 / 38.5 s 55.1 / 14.3 s 49.5 / 12.7 s
SRS_Standard/ICFP_2010/213437.xml 244.8 / 60.7 s 141.3 / 36.2 s 160.3 / 40.5 s
SRS_Standard/ICFP_2010/213537.xml 236.2 / 60.6 s 157.8 / 40.6 s 49.1 / 12.7 s
SRS_Standard/ICFP_2010/213560.xml 238.9 / 60.6 s 153.5 / 40.5 s 372.9 / 94.1 s
SRS_Standard/ICFP_2010/213611.xml 138.7 / 68.6 s 23.2 / 6.3 s 1055.4 / 300.0 s
SRS_Standard/ICFP_2010/213719.xml 238.6 / 60.6 s 778.0 / 300.0 s 26.3 / 6.8 s
SRS_Standard/ICFP_2010/213865.xml 218.4 / 59.5 s 92.8 / 23.9 s 11.9 / 3.3 s
SRS_Standard/ICFP_2010/214011.xml 54.5 / 19.5 s 72.3 / 18.8 s 630.6 / 158.5 s
SRS_Standard/ICFP_2010/214091.xml 31.5 / 14.4 s 21.4 / 5.8 s 0.5 / 0.2 s
SRS_Standard/ICFP_2010/214169.xml 238.5 / 60.5 s 98.8 / 25.6 s 15.3 / 4.1 s
SRS_Standard/ICFP_2010/214183.xml 237.4 / 60.7 s 83.4 / 21.5 s 10.2 / 2.8 s
SRS_Standard/ICFP_2010/214261.xml 237.6 / 60.7 s 129.3 / 33.1 s 197.5 / 50.0 s
SRS_Standard/ICFP_2010/214320.xml 193.5 / 98.8 s 53.7 / 14.0 s 6.3 / 1.8 s
SRS_Standard/ICFP_2010/230780.xml 142.8 / 72.7 s 21.6 / 6.0 s 956.3 / 300.0 s
SRS_Standard/ICFP_2010/230819.xml 209.1 / 62.4 s 17.7 / 4.9 s 1182.5 / 300.0 s
SRS_Standard/ICFP_2010/230948.xml 133.9 / 63.7 s 27.5 / 7.4 s 1157.7 / 300.0 s
SRS_Standard/ICFP_2010/231043.xml 141.9 / 71.8 s 19.4 / 5.3 s 1006.9 / 300.0 s
SRS_Standard/ICFP_2010/231149.xml 132.6 / 62.4 s 13.3 / 3.7 s 1166.1 / 300.0 s
SRS_Standard/ICFP_2010/231230.xml 140.4 / 70.4 s 22.5 / 6.1 s 951.8 / 300.0 s
SRS_Standard/ICFP_2010/231300.xml 134.7 / 64.6 s 17.8 / 5.0 s 1103.8 / 300.0 s
SRS_Standard/ICFP_2010/231378.xml 138.9 / 68.9 s 23.3 / 6.3 s 1086.5 / 300.0 s
SRS_Standard/ICFP_2010/231480.xml 143.5 / 73.3 s 18.9 / 5.2 s 879.8 / 300.0 s
SRS_Standard/ICFP_2010/231604.xml 147.1 / 76.9 s 19.2 / 5.3 s 939.5 / 300.0 s
SRS_Standard/ICFP_2010/24100.xml 192.4 / 60.8 s 864.0 / 232.9 s 1195.0 / 300.0 s
SRS_Standard/ICFP_2010/246924.xml 136.1 / 65.8 s 18.6 / 5.1 s 1124.7 / 300.0 s
SRS_Standard/ICFP_2010/247020.xml 146.8 / 76.6 s 21.9 / 6.0 s 965.4 / 300.0 s
SRS_Standard/ICFP_2010/247254.xml 142.5 / 72.4 s 26.6 / 7.2 s 889.2 / 300.0 s
SRS_Standard/ICFP_2010/247504.xml 135.7 / 65.6 s 17.6 / 4.9 s 1122.8 / 300.0 s
SRS_Standard/ICFP_2010/247906.xml 139.0 / 68.9 s 84.1 / 21.6 s 948.3 / 300.0 s
SRS_Standard/ICFP_2010/247992.xml 138.6 / 68.5 s 20.0 / 5.5 s 1106.9 / 300.0 s
SRS_Standard/ICFP_2010/248060.xml 135.6 / 65.5 s 21.5 / 5.8 s 1104.8 / 300.0 s
SRS_Standard/ICFP_2010/249386.xml 135.5 / 65.4 s 32.9 / 8.7 s 1141.2 / 300.0 s
SRS_Standard/ICFP_2010/249459.xml 192.2 / 70.9 s 18.6 / 4.9 s 1163.2 / 300.0 s
SRS_Standard/ICFP_2010/249663.xml 142.7 / 72.6 s 22.3 / 6.1 s 898.1 / 300.0 s
SRS_Standard/ICFP_2010/25192.xml 0.8 / 0.4 s 7.4 / 2.2 s 0.2 / 0.1 s
SRS_Standard/ICFP_2010/25388.xml 131.0 / 60.8 s 1011.6 / 300.1 s 1190.0 / 300.0 s
SRS_Standard/ICFP_2010/25395.xml 130.9 / 60.8 s 987.0 / 300.0 s 1190.0 / 300.0 s
SRS_Standard/ICFP_2010/25409.xml 131.0 / 60.8 s 981.3 / 300.1 s 1188.8 / 300.0 s
SRS_Standard/ICFP_2010/25416.xml 131.0 / 60.8 s 975.2 / 300.1 s 1190.0 / 300.0 s
SRS_Standard/ICFP_2010/25422.xml 130.7 / 60.5 s 1013.5 / 300.1 s 1191.4 / 300.0 s
SRS_Standard/ICFP_2010/254704.xml 240.3 / 75.4 s 927.9 / 300.0 s 1051.6 / 300.0 s
SRS_Standard/ICFP_2010/25711.xml 131.0 / 60.8 s 830.3 / 300.0 s 1188.8 / 300.0 s
SRS_Standard/ICFP_2010/25726.xml 130.8 / 60.6 s 1097.1 / 300.0 s 1191.2 / 300.0 s
SRS_Standard/ICFP_2010/25731.xml 1.5 / 0.6 s 37.1 / 9.8 s 0.5 / 0.2 s
SRS_Standard/ICFP_2010/25734.xml 130.8 / 60.7 s 1015.9 / 300.1 s 1190.5 / 300.0 s
SRS_Standard/ICFP_2010/25736.xml 130.8 / 60.6 s 1087.0 / 300.0 s 1190.3 / 300.0 s
SRS_Standard/ICFP_2010/25743.xml 131.0 / 60.7 s 1007.1 / 300.0 s 1190.2 / 300.0 s
SRS_Standard/ICFP_2010/25775.xml 130.8 / 60.7 s 967.8 / 300.0 s 1190.4 / 300.0 s
SRS_Standard/ICFP_2010/25808.xml 131.1 / 60.9 s 989.1 / 300.1 s 1189.5 / 300.0 s
SRS_Standard/ICFP_2010/25849.xml 130.9 / 60.7 s 998.8 / 300.0 s 1190.0 / 300.0 s
SRS_Standard/ICFP_2010/259405.xml 294.6 / 75.9 s 62.4 / 16.3 s 962.5 / 300.0 s
SRS_Standard/ICFP_2010/259625.xml 238.0 / 75.5 s 100.4 / 13.1 s 1007.2 / 300.0 s
SRS_Standard/ICFP_2010/26069.xml 3.3 / 1.1 s 57.8 / 15.0 s 2.0 / 0.5 s
SRS_Standard/ICFP_2010/26103.xml 4.1 / 1.3 s 582.4 / 300.0 s 1.8 / 0.5 s
SRS_Standard/ICFP_2010/26105.xml 130.7 / 60.5 s 1058.0 / 300.1 s 1192.3 / 300.0 s
SRS_Standard/ICFP_2010/26110.xml 130.8 / 60.7 s 1064.8 / 300.0 s 1190.3 / 300.0 s
SRS_Standard/ICFP_2010/26116.xml 130.8 / 60.6 s 1036.9 / 300.0 s 1190.3 / 300.0 s
SRS_Standard/ICFP_2010/26123.xml 4.3 / 1.4 s 607.3 / 300.0 s 2.7 / 0.7 s
SRS_Standard/ICFP_2010/26127.xml 131.1 / 60.9 s 900.9 / 300.0 s 1188.9 / 300.0 s
SRS_Standard/ICFP_2010/26130.xml 5.8 / 1.8 s 594.9 / 300.1 s 3.1 / 0.9 s
SRS_Standard/ICFP_2010/26132.xml 131.1 / 60.9 s 1033.8 / 300.0 s 1189.5 / 300.0 s
SRS_Standard/ICFP_2010/26186.xml 6.6 / 2.0 s 613.6 / 300.0 s 3.8 / 1.0 s
SRS_Standard/ICFP_2010/26226.xml 7.4 / 2.2 s 588.4 / 300.0 s 2.9 / 0.9 s
SRS_Standard/ICFP_2010/26291.xml 8.5 / 2.5 s 586.8 / 300.0 s 3.3 / 0.9 s
SRS_Standard/ICFP_2010/262998.xml 143.9 / 73.6 s 43.1 / 11.3 s 727.2 / 300.0 s
SRS_Standard/ICFP_2010/263745.xml 144.3 / 74.1 s 60.9 / 15.8 s 710.0 / 300.0 s
SRS_Standard/ICFP_2010/264033.xml 235.8 / 60.4 s 56.7 / 14.9 s 26.5 / 7.5 s
SRS_Standard/ICFP_2010/264370.xml 0.9 / 0.5 s 4.0 / 1.4 s 0.0 / 0.0 s
SRS_Standard/ICFP_2010/264405.xml 1.0 / 0.5 s 3.9 / 1.4 s 0.0 / 0.0 s
SRS_Standard/ICFP_2010/26683.xml 10.6 / 3.1 s 578.5 / 300.1 s 5.9 / 1.7 s
SRS_Standard/ICFP_2010/26741.xml 131.0 / 60.8 s 1018.5 / 300.0 s 1189.6 / 300.0 s
SRS_Standard/ICFP_2010/26845.xml 130.9 / 60.7 s 978.5 / 300.0 s 1189.7 / 300.0 s
SRS_Standard/ICFP_2010/26862.xml 130.8 / 60.6 s 1060.4 / 300.1 s 1191.5 / 300.0 s
SRS_Standard/ICFP_2010/26871.xml 130.9 / 60.8 s 968.2 / 300.1 s 1189.7 / 300.0 s
SRS_Standard/ICFP_2010/26875.xml 131.0 / 60.8 s 961.8 / 300.1 s 1189.7 / 300.0 s
SRS_Standard/ICFP_2010/26879.xml 130.9 / 60.7 s 1107.6 / 300.0 s 1189.9 / 300.0 s
SRS_Standard/ICFP_2010/26882.xml 131.1 / 60.9 s 1036.2 / 300.0 s 1189.7 / 300.0 s
SRS_Standard/ICFP_2010/26886.xml 130.7 / 60.5 s 1052.5 / 300.0 s 1191.5 / 300.0 s
SRS_Standard/ICFP_2010/26896.xml 131.0 / 60.8 s 1058.6 / 300.1 s 1189.9 / 300.0 s
SRS_Standard/ICFP_2010/26903.xml 130.9 / 60.7 s 977.2 / 300.0 s 1190.1 / 300.0 s
SRS_Standard/ICFP_2010/26910.xml 131.8 / 60.8 s 989.7 / 300.1 s 1189.4 / 300.0 s
SRS_Standard/ICFP_2010/26916.xml 130.8 / 60.7 s 1052.4 / 300.1 s 1190.4 / 300.0 s
SRS_Standard/ICFP_2010/26919.xml 131.1 / 60.8 s 961.6 / 300.1 s 1189.3 / 300.0 s
SRS_Standard/ICFP_2010/26923.xml 130.9 / 60.7 s 1027.1 / 300.0 s 1190.0 / 300.0 s
SRS_Standard/ICFP_2010/26927.xml 131.0 / 60.8 s 936.9 / 300.1 s 1189.7 / 300.0 s
SRS_Standard/ICFP_2010/26931.xml 131.0 / 60.8 s 1036.1 / 300.0 s 1189.7 / 300.0 s
SRS_Standard/ICFP_2010/26933.xml 131.0 / 60.8 s 982.3 / 300.1 s 1189.8 / 300.0 s
SRS_Standard/ICFP_2010/26940.xml 130.9 / 60.7 s 1031.3 / 300.0 s 1189.9 / 300.0 s
SRS_Standard/ICFP_2010/26943.xml 130.8 / 60.6 s 1015.5 / 300.0 s 1190.7 / 300.0 s
SRS_Standard/ICFP_2010/26946.xml 131.0 / 60.8 s 971.6 / 300.1 s 1189.3 / 300.0 s
SRS_Standard/ICFP_2010/26949.xml 130.9 / 60.7 s 1132.1 / 300.0 s 1190.6 / 300.0 s
SRS_Standard/ICFP_2010/26951.xml 130.8 / 60.6 s 1146.4 / 300.0 s 1191.0 / 300.0 s
SRS_Standard/ICFP_2010/26954.xml 130.9 / 60.7 s 1049.5 / 300.0 s 1190.0 / 300.0 s
SRS_Standard/ICFP_2010/26957.xml 130.8 / 60.6 s 1095.3 / 300.0 s 1190.8 / 300.0 s
SRS_Standard/ICFP_2010/26960.xml 130.9 / 60.7 s 980.0 / 300.0 s 1190.0 / 300.0 s
SRS_Standard/ICFP_2010/26965.xml 130.8 / 60.7 s 1038.3 / 300.1 s 1190.2 / 300.0 s
SRS_Standard/ICFP_2010/26969.xml 131.1 / 60.8 s 893.5 / 300.0 s 1189.5 / 300.0 s
SRS_Standard/ICFP_2010/26972.xml 131.1 / 60.8 s 1033.2 / 300.1 s 1189.5 / 300.0 s
SRS_Standard/ICFP_2010/26974.xml 130.9 / 60.7 s 1027.3 / 300.0 s 1190.4 / 300.0 s
SRS_Standard/ICFP_2010/26976.xml 130.7 / 60.6 s 880.5 / 300.0 s 1190.3 / 300.0 s
SRS_Standard/ICFP_2010/26978.xml 130.7 / 60.6 s 1003.5 / 300.0 s 1191.0 / 300.0 s
SRS_Standard/ICFP_2010/26980.xml 130.7 / 60.5 s 974.2 / 300.0 s 1191.7 / 300.0 s
SRS_Standard/ICFP_2010/26986.xml 131.0 / 60.7 s 1037.9 / 300.1 s 1190.3 / 300.0 s
SRS_Standard/ICFP_2010/26993.xml 131.0 / 60.8 s 1058.3 / 300.1 s 1189.6 / 300.0 s
SRS_Standard/ICFP_2010/26998.xml 130.9 / 60.7 s 975.7 / 300.0 s 1190.1 / 300.0 s
SRS_Standard/ICFP_2010/27001.xml 131.0 / 60.8 s 970.4 / 300.0 s 1189.7 / 300.0 s
SRS_Standard/ICFP_2010/27003.xml 130.9 / 60.7 s 1032.6 / 300.1 s 1190.4 / 300.0 s
SRS_Standard/ICFP_2010/27006.xml 130.8 / 60.6 s 1088.9 / 300.0 s 1190.6 / 300.0 s
SRS_Standard/ICFP_2010/27009.xml 131.0 / 60.8 s 980.5 / 300.1 s 1189.6 / 300.0 s
SRS_Standard/ICFP_2010/27013.xml 130.8 / 60.6 s 984.7 / 300.0 s 1190.9 / 300.0 s
SRS_Standard/ICFP_2010/27015.xml 130.8 / 60.5 s 1121.5 / 300.1 s 1191.3 / 300.0 s
SRS_Standard/ICFP_2010/27019.xml 130.9 / 60.7 s 967.2 / 300.0 s 1190.0 / 300.0 s
SRS_Standard/ICFP_2010/27023.xml 130.8 / 60.6 s 1085.0 / 300.1 s 1191.1 / 300.0 s
SRS_Standard/ICFP_2010/27026.xml 131.0 / 60.8 s 990.9 / 300.0 s 1189.3 / 300.0 s
SRS_Standard/ICFP_2010/27028.xml 130.8 / 60.6 s 1036.9 / 300.1 s 1190.6 / 300.0 s
SRS_Standard/ICFP_2010/27030.xml 12.6 / 3.7 s 564.9 / 300.0 s 7.1 / 2.0 s
SRS_Standard/ICFP_2010/27034.xml 131.0 / 60.7 s 1012.1 / 300.0 s 1189.8 / 300.0 s
SRS_Standard/ICFP_2010/27036.xml 131.0 / 60.8 s 1037.2 / 300.1 s 1189.7 / 300.0 s
SRS_Standard/ICFP_2010/27039.xml 130.8 / 60.6 s 1003.7 / 300.0 s 1190.7 / 300.0 s
SRS_Standard/ICFP_2010/27131.xml 13.7 / 4.0 s 577.9 / 300.0 s 4.9 / 1.5 s
SRS_Standard/ICFP_2010/27134.xml 13.7 / 4.0 s 573.2 / 300.0 s 3.2 / 1.1 s
SRS_Standard/ICFP_2010/27213.xml 81.4 / 21.5 s 581.0 / 300.1 s 5.2 / 1.7 s
SRS_Standard/ICFP_2010/27235.xml 52.4 / 14.2 s 592.0 / 300.1 s 2.4 / 1.0 s
SRS_Standard/ICFP_2010/27280.xml 64.3 / 17.3 s 570.1 / 300.0 s 7.9 / 2.5 s
SRS_Standard/ICFP_2010/28293.xml 57.2 / 15.4 s 578.4 / 300.0 s 5.3 / 1.9 s
SRS_Standard/ICFP_2010/28464.xml 66.8 / 16.8 s 590.4 / 300.0 s 8.3 / 2.7 s
SRS_Standard/ICFP_2010/28643.xml 65.1 / 17.9 s 604.9 / 300.0 s 9.7 / 3.2 s
SRS_Standard/ICFP_2010/28838.xml 107.4 / 28.8 s 575.7 / 300.0 s 5.3 / 2.2 s
SRS_Standard/ICFP_2010/29415.xml 134.8 / 64.6 s 97.2 / 25.1 s 981.5 / 300.0 s
SRS_Standard/ICFP_2010/3268.xml 7.9 / 2.3 s 79.7 / 20.7 s 15.1 / 4.1 s
SRS_Standard/ICFP_2010/3336.xml 65.5 / 18.3 s 60.3 / 13.9 s 9.1 / 2.5 s
SRS_Standard/ICFP_2010/3385.xml 15.4 / 4.2 s 136.7 / 36.2 s 386.9 / 97.9 s
SRS_Standard/ICFP_2010/3450.xml 226.2 / 60.9 s 583.5 / 300.0 s 1195.8 / 300.0 s
SRS_Standard/ICFP_2010/3467.xml 223.4 / 61.0 s 622.6 / 300.1 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/3498.xml 216.4 / 60.8 s 645.5 / 300.0 s 1195.2 / 300.0 s
SRS_Standard/ICFP_2010/3533.xml 233.8 / 60.8 s 597.1 / 300.0 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/3562.xml 225.1 / 60.9 s 677.5 / 300.0 s 1195.1 / 300.0 s
SRS_Standard/ICFP_2010/3589.xml 226.8 / 60.7 s 596.3 / 300.1 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/3633.xml 313.3 / 60.6 s 609.2 / 300.0 s 1195.9 / 300.0 s
SRS_Standard/ICFP_2010/3680.xml 214.3 / 60.9 s 688.0 / 300.1 s 1195.2 / 300.0 s
SRS_Standard/ICFP_2010/3705.xml 220.5 / 60.8 s 596.8 / 300.0 s 1195.9 / 300.0 s
SRS_Standard/ICFP_2010/3729.xml 215.3 / 60.9 s 633.6 / 300.0 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/3746.xml 232.8 / 60.8 s 38.1 / 10.0 s 515.1 / 130.2 s
SRS_Standard/ICFP_2010/3762.xml 224.6 / 60.8 s 631.9 / 300.0 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/3770.xml 239.8 / 60.7 s 179.5 / 46.6 s 221.2 / 56.3 s
SRS_Standard/ICFP_2010/3786.xml 232.7 / 60.8 s 593.0 / 300.0 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/3817.xml 223.9 / 60.9 s 617.8 / 300.1 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/3831.xml 218.5 / 60.7 s 643.1 / 300.0 s 1195.4 / 300.0 s
SRS_Standard/ICFP_2010/3842.xml 221.9 / 60.9 s 592.5 / 300.0 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/3856.xml 216.8 / 60.8 s 605.3 / 300.0 s 1195.8 / 300.0 s
SRS_Standard/ICFP_2010/3861.xml 225.2 / 60.7 s 603.0 / 300.0 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/3865.xml 217.0 / 60.9 s 676.1 / 300.0 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/3916.xml 230.9 / 60.9 s 588.7 / 300.0 s 1195.2 / 300.0 s
SRS_Standard/ICFP_2010/3927.xml 143.8 / 73.5 s 781.4 / 300.0 s 965.1 / 300.0 s
SRS_Standard/ICFP_2010/3930.xml 232.3 / 61.0 s 588.4 / 300.0 s 1195.4 / 300.0 s
SRS_Standard/ICFP_2010/3939.xml 219.3 / 60.9 s 598.6 / 300.0 s 1195.8 / 300.0 s
SRS_Standard/ICFP_2010/39830.xml 131.8 / 61.6 s 624.9 / 300.0 s 1136.6 / 300.0 s
SRS_Standard/ICFP_2010/39849.xml 235.3 / 60.4 s 137.6 / 35.8 s 170.9 / 43.9 s
SRS_Standard/ICFP_2010/3989.xml 235.1 / 60.9 s 598.6 / 300.0 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/3995.xml 223.2 / 60.7 s 654.4 / 300.0 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/4002.xml 237.2 / 60.5 s 92.6 / 24.0 s 390.2 / 98.4 s
SRS_Standard/ICFP_2010/40033.xml 131.9 / 61.6 s 596.8 / 300.1 s 1164.7 / 300.0 s
SRS_Standard/ICFP_2010/40093.xml 4.0 / 1.3 s 580.0 / 300.0 s 4.4 / 1.1 s
SRS_Standard/ICFP_2010/4017.xml 215.3 / 60.7 s 594.2 / 300.1 s 1195.9 / 300.0 s
SRS_Standard/ICFP_2010/4029.xml 230.5 / 60.7 s 580.6 / 300.1 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/4036.xml 215.1 / 60.9 s 607.5 / 300.0 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/4046.xml 7.9 / 2.3 s 11.9 / 3.4 s 0.8 / 0.3 s
SRS_Standard/ICFP_2010/4051.xml 229.0 / 61.1 s 604.6 / 300.1 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/40540.xml 131.8 / 61.6 s 64.1 / 16.6 s 1138.1 / 300.0 s
SRS_Standard/ICFP_2010/4057.xml 231.1 / 60.8 s 846.8 / 300.0 s 1195.4 / 300.0 s
SRS_Standard/ICFP_2010/40708.xml 7.9 / 2.3 s 602.6 / 300.0 s 3.7 / 1.0 s
SRS_Standard/ICFP_2010/4074.xml 218.8 / 60.8 s 674.1 / 300.1 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/40976.xml 131.8 / 61.6 s 96.8 / 25.1 s 1134.7 / 300.0 s
SRS_Standard/ICFP_2010/4106.xml 235.3 / 60.8 s 809.3 / 300.0 s 1194.8 / 300.0 s
SRS_Standard/ICFP_2010/41378.xml 139.2 / 68.9 s 547.1 / 300.0 s 1135.8 / 300.0 s
SRS_Standard/ICFP_2010/4141.xml 228.7 / 60.9 s 675.6 / 300.0 s 1195.0 / 300.0 s
SRS_Standard/ICFP_2010/41427.xml 131.8 / 61.6 s 630.9 / 300.1 s 1159.1 / 300.0 s
SRS_Standard/ICFP_2010/4157.xml 216.5 / 60.8 s 598.0 / 300.0 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/41688.xml 132.6 / 61.6 s 640.0 / 300.1 s 1163.2 / 300.0 s
SRS_Standard/ICFP_2010/4181.xml 227.5 / 60.1 s 13.0 / 3.7 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/41838.xml 225.9 / 60.8 s 719.5 / 300.0 s 1195.4 / 300.0 s
SRS_Standard/ICFP_2010/41843.xml 228.9 / 61.1 s 659.6 / 300.0 s 369.9 / 93.9 s
SRS_Standard/ICFP_2010/41865.xml 131.8 / 61.6 s 638.6 / 300.0 s 1152.5 / 300.0 s
SRS_Standard/ICFP_2010/4200.xml 217.0 / 60.7 s 606.5 / 300.0 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/4206.xml 143.8 / 73.5 s 772.7 / 300.0 s 965.2 / 300.0 s
SRS_Standard/ICFP_2010/42170.xml 131.8 / 61.6 s 610.1 / 300.0 s 1157.2 / 300.0 s
SRS_Standard/ICFP_2010/42321.xml 131.8 / 61.6 s 53.8 / 14.0 s 1135.3 / 300.0 s
SRS_Standard/ICFP_2010/42466.xml 131.8 / 61.6 s 648.4 / 300.0 s 1160.4 / 300.0 s
SRS_Standard/ICFP_2010/4248.xml 227.8 / 60.9 s 659.6 / 300.1 s 1195.2 / 300.0 s
SRS_Standard/ICFP_2010/42683.xml 132.6 / 61.6 s 65.8 / 17.0 s 1133.4 / 300.0 s
SRS_Standard/ICFP_2010/4282.xml 229.2 / 60.8 s 596.9 / 300.0 s 1195.2 / 300.0 s
SRS_Standard/ICFP_2010/4314.xml 225.9 / 60.9 s 790.1 / 300.0 s 1195.1 / 300.0 s
SRS_Standard/ICFP_2010/43266.xml 131.8 / 61.6 s 592.5 / 300.1 s 1164.9 / 300.0 s
SRS_Standard/ICFP_2010/43603.xml 141.6 / 71.3 s 659.3 / 300.1 s 1072.5 / 300.0 s
SRS_Standard/ICFP_2010/43621.xml 131.9 / 61.6 s 904.9 / 300.0 s 1105.9 / 300.0 s
SRS_Standard/ICFP_2010/43650.xml 141.6 / 71.3 s 720.2 / 300.0 s 1005.8 / 300.0 s
SRS_Standard/ICFP_2010/4374.xml 228.5 / 60.7 s 610.4 / 300.0 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/43987.xml 131.9 / 61.6 s 596.0 / 300.0 s 1161.7 / 300.0 s
SRS_Standard/ICFP_2010/4412.xml 219.4 / 60.6 s 657.6 / 300.1 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/44332.xml 131.8 / 61.7 s 69.3 / 18.0 s 1134.6 / 300.0 s
SRS_Standard/ICFP_2010/4484.xml 228.3 / 60.9 s 831.1 / 300.0 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/4487.xml 224.2 / 60.8 s 598.5 / 300.0 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/45720.xml 233.6 / 61.1 s 625.2 / 300.0 s 1194.9 / 300.0 s
SRS_Standard/ICFP_2010/45757.xml 238.9 / 60.9 s 606.4 / 300.1 s 1195.4 / 300.0 s
SRS_Standard/ICFP_2010/45970.xml 133.0 / 62.7 s 617.2 / 300.1 s 1162.7 / 300.0 s
SRS_Standard/ICFP_2010/4816.xml 233.1 / 61.0 s 600.8 / 300.0 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/4819.xml 219.0 / 61.0 s 593.3 / 300.0 s 1195.8 / 300.0 s
SRS_Standard/ICFP_2010/4824.xml 226.9 / 60.8 s 620.4 / 300.0 s 1195.0 / 300.0 s
SRS_Standard/ICFP_2010/48262.xml 224.4 / 60.2 s 626.3 / 300.0 s 1195.0 / 300.0 s
SRS_Standard/ICFP_2010/48267.xml 209.4 / 60.2 s 706.1 / 300.0 s 1194.3 / 300.0 s
SRS_Standard/ICFP_2010/4827.xml 243.4 / 61.0 s 648.9 / 300.1 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/48328.xml 197.6 / 60.3 s 717.8 / 300.0 s 1194.1 / 300.0 s
SRS_Standard/ICFP_2010/48374.xml 195.4 / 60.3 s 656.1 / 300.0 s 1194.8 / 300.0 s
SRS_Standard/ICFP_2010/4840.xml 236.1 / 60.8 s 734.6 / 300.0 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/4847.xml 312.2 / 61.0 s 598.0 / 300.0 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/4854.xml 217.9 / 60.9 s 592.6 / 300.1 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/48686.xml 134.1 / 63.9 s 643.0 / 300.0 s 1141.4 / 300.0 s
SRS_Standard/ICFP_2010/4893.xml 244.2 / 60.9 s 598.8 / 300.0 s 1195.9 / 300.0 s
SRS_Standard/ICFP_2010/4920.xml 229.1 / 61.0 s 683.3 / 300.1 s 1195.2 / 300.0 s
SRS_Standard/ICFP_2010/4934.xml 230.0 / 61.1 s 591.2 / 300.0 s 1195.9 / 300.0 s
SRS_Standard/ICFP_2010/4938.xml 214.9 / 60.8 s 600.1 / 300.0 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/4943.xml 233.4 / 60.8 s 679.0 / 300.0 s 1195.4 / 300.0 s
SRS_Standard/ICFP_2010/4953.xml 218.5 / 60.9 s 598.6 / 300.0 s 1195.9 / 300.0 s
SRS_Standard/ICFP_2010/4964.xml 224.6 / 60.8 s 601.1 / 300.0 s 1195.8 / 300.0 s
SRS_Standard/ICFP_2010/4970.xml 243.1 / 60.8 s 648.9 / 300.0 s 217.3 / 55.4 s
SRS_Standard/ICFP_2010/4979.xml 240.5 / 60.7 s 193.1 / 49.3 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/4991.xml 231.9 / 61.0 s 600.8 / 300.1 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/5011.xml 243.7 / 60.6 s 654.1 / 300.0 s 1195.4 / 300.0 s
SRS_Standard/ICFP_2010/5076.xml 232.9 / 60.5 s 595.6 / 300.0 s 1195.8 / 300.0 s
SRS_Standard/ICFP_2010/50904.xml 132.3 / 62.2 s 595.1 / 300.0 s 1144.8 / 300.0 s
SRS_Standard/ICFP_2010/5109.xml 222.2 / 60.6 s 635.2 / 300.0 s 1194.9 / 300.0 s
SRS_Standard/ICFP_2010/5130.xml 217.0 / 60.8 s 617.6 / 300.1 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/51424.xml 141.6 / 71.3 s 726.1 / 300.1 s 1008.8 / 300.0 s
SRS_Standard/ICFP_2010/51577.xml 141.8 / 71.5 s 654.3 / 300.0 s 1169.7 / 300.0 s
SRS_Standard/ICFP_2010/51842.xml 141.8 / 71.5 s 744.1 / 300.0 s 1005.7 / 300.0 s
SRS_Standard/ICFP_2010/53216.xml 141.6 / 71.4 s 618.3 / 300.0 s 1093.8 / 300.0 s
SRS_Standard/ICFP_2010/54097.xml 195.5 / 70.1 s 574.3 / 300.0 s 1114.5 / 300.0 s
SRS_Standard/ICFP_2010/54532.xml 36.7 / 22.6 s 15.1 / 4.2 s 0.4 / 0.2 s
SRS_Standard/ICFP_2010/54622.xml 36.2 / 22.7 s 9.1 / 2.7 s 0.4 / 0.2 s
SRS_Standard/ICFP_2010/56144.xml 131.9 / 61.6 s 74.0 / 19.1 s 1133.8 / 300.0 s
SRS_Standard/ICFP_2010/57132.xml 242.1 / 61.1 s 651.5 / 300.0 s 1195.2 / 300.0 s
SRS_Standard/ICFP_2010/57278.xml 155.0 / 60.2 s 635.9 / 300.1 s 1194.9 / 300.0 s
SRS_Standard/ICFP_2010/57355.xml 238.6 / 60.9 s 765.9 / 300.0 s 510.5 / 128.6 s
SRS_Standard/ICFP_2010/57453.xml 217.1 / 60.9 s 639.8 / 300.0 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/57799.xml 232.4 / 60.1 s 158.9 / 41.5 s 81.3 / 21.0 s
SRS_Standard/ICFP_2010/57852.xml 135.2 / 64.9 s 102.0 / 26.4 s 1013.5 / 300.0 s
SRS_Standard/ICFP_2010/58125.xml 135.2 / 64.9 s 669.3 / 300.0 s 1014.9 / 300.0 s
SRS_Standard/ICFP_2010/58194.xml 238.4 / 61.4 s 609.6 / 300.1 s 328.8 / 83.1 s
SRS_Standard/ICFP_2010/58221.xml 220.9 / 61.0 s 640.8 / 300.1 s 1195.4 / 300.0 s
SRS_Standard/ICFP_2010/58301.xml 211.5 / 60.1 s 114.2 / 29.3 s 120.5 / 31.1 s
SRS_Standard/ICFP_2010/63142.xml 222.1 / 60.8 s 29.5 / 7.8 s 1193.9 / 300.0 s
SRS_Standard/ICFP_2010/64160.xml 237.0 / 60.4 s 648.9 / 300.0 s 117.2 / 29.8 s
SRS_Standard/ICFP_2010/65081.xml 237.4 / 61.0 s 13.4 / 3.8 s 1195.2 / 300.0 s
SRS_Standard/ICFP_2010/68322.xml 248.3 / 61.0 s 626.3 / 300.0 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/68535.xml 235.0 / 60.9 s 316.4 / 80.8 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/68989.xml 235.2 / 61.0 s 35.1 / 9.3 s 1195.0 / 300.0 s
SRS_Standard/ICFP_2010/81452.xml 234.9 / 61.0 s 675.8 / 300.0 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/84886.xml 227.5 / 61.0 s 688.3 / 300.1 s 1195.1 / 300.0 s
SRS_Standard/ICFP_2010/84977.xml 216.8 / 61.1 s 634.5 / 300.0 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/85039.xml 217.6 / 61.0 s 632.3 / 300.0 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/85079.xml 214.7 / 61.1 s 283.0 / 72.4 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/85267.xml 220.8 / 61.0 s 640.3 / 300.0 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/85294.xml 217.8 / 61.1 s 642.4 / 300.0 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/85345.xml 216.1 / 60.9 s 620.7 / 300.0 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/85380.xml 307.6 / 61.1 s 649.3 / 300.0 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/85477.xml 224.5 / 61.0 s 145.9 / 37.4 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/85590.xml 232.8 / 61.0 s 708.8 / 300.1 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/85650.xml 228.4 / 61.0 s 118.4 / 30.8 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/85675.xml 232.8 / 61.1 s 15.2 / 4.2 s 1195.1 / 300.0 s
SRS_Standard/ICFP_2010/85721.xml 229.9 / 61.1 s 702.0 / 300.0 s 1195.4 / 300.0 s
SRS_Standard/ICFP_2010/85749.xml 231.2 / 61.1 s 17.4 / 4.8 s 1195.9 / 300.0 s
SRS_Standard/ICFP_2010/85782.xml 230.0 / 60.9 s 719.6 / 300.1 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/85834.xml 232.1 / 60.9 s 21.3 / 5.8 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/85874.xml 227.9 / 60.9 s 702.9 / 300.0 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/85920.xml 232.6 / 61.0 s 631.8 / 300.0 s 1196.0 / 300.0 s
SRS_Standard/ICFP_2010/86025.xml 232.4 / 61.2 s 699.2 / 300.0 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/86052.xml 233.3 / 60.9 s 617.9 / 300.0 s 1196.0 / 300.0 s
SRS_Standard/ICFP_2010/86452.xml 232.2 / 61.0 s 637.0 / 300.0 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/86499.xml 230.5 / 61.0 s 648.5 / 300.0 s 1196.0 / 300.0 s
SRS_Standard/ICFP_2010/86526.xml 228.3 / 60.8 s 704.3 / 300.0 s 1195.0 / 300.0 s
SRS_Standard/ICFP_2010/86559.xml 3.0 / 1.3 s 21.9 / 6.0 s 1195.4 / 300.0 s
SRS_Standard/ICFP_2010/86577.xml 234.2 / 61.0 s 670.1 / 300.1 s 1195.8 / 300.0 s
SRS_Standard/ICFP_2010/86617.xml 228.5 / 60.9 s 686.0 / 300.0 s 1195.4 / 300.0 s
SRS_Standard/ICFP_2010/86636.xml 228.8 / 61.1 s 773.2 / 300.0 s 1195.4 / 300.0 s
SRS_Standard/ICFP_2010/86745.xml 228.8 / 60.9 s 19.5 / 5.4 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/86816.xml 222.2 / 60.9 s 626.1 / 300.0 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/86857.xml 232.0 / 61.0 s 792.5 / 300.0 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/88143.xml 192.3 / 60.2 s 52.8 / 13.8 s 1194.7 / 300.0 s
SRS_Standard/ICFP_2010/88156.xml 175.9 / 60.1 s 54.2 / 14.3 s 1194.3 / 300.0 s
SRS_Standard/ICFP_2010/88172.xml 190.4 / 60.2 s 656.2 / 300.0 s 1194.9 / 300.0 s
SRS_Standard/ICFP_2010/88183.xml 184.1 / 60.1 s 635.5 / 300.0 s 1194.3 / 300.0 s
SRS_Standard/ICFP_2010/88208.xml 178.4 / 60.8 s 48.7 / 12.7 s 1194.6 / 300.0 s
SRS_Standard/ICFP_2010/88283.xml 175.8 / 60.1 s 637.7 / 300.0 s 1194.6 / 300.0 s
SRS_Standard/ICFP_2010/91210.xml 130.9 / 60.8 s 55.9 / 14.7 s 1176.2 / 300.0 s
SRS_Standard/ICFP_2010/91218.xml 130.9 / 60.8 s 693.8 / 300.1 s 1175.4 / 300.0 s
SRS_Standard/ICFP_2010/91233.xml 130.9 / 60.8 s 53.1 / 13.9 s 1176.5 / 300.0 s
SRS_Standard/ICFP_2010/91242.xml 130.8 / 60.7 s 589.4 / 300.1 s 1178.1 / 300.0 s
SRS_Standard/ICFP_2010/91254.xml 131.7 / 60.8 s 710.8 / 300.0 s 1175.0 / 300.0 s
SRS_Standard/ICFP_2010/95858.xml 230.2 / 61.0 s 739.2 / 300.0 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/95899.xml 227.6 / 60.9 s 676.8 / 300.1 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/95952.xml 218.2 / 61.2 s 721.3 / 300.0 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/95978.xml 226.8 / 61.2 s 685.0 / 300.0 s 1195.1 / 300.0 s
SRS_Standard/ICFP_2010/96029.xml 233.2 / 60.9 s 675.7 / 300.1 s 1195.4 / 300.0 s
SRS_Standard/ICFP_2010/96065.xml 232.7 / 60.7 s 642.7 / 300.0 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/96086.xml 1.4 / 0.7 s 15.5 / 4.3 s 164.8 / 41.8 s
SRS_Standard/ICFP_2010/96104.xml 235.4 / 61.0 s 618.1 / 300.1 s 1195.8 / 300.0 s
SRS_Standard/ICFP_2010/96119.xml 233.9 / 61.0 s 616.8 / 300.0 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/96156.xml 233.9 / 61.0 s 624.4 / 300.1 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/96176.xml 236.2 / 60.9 s 953.2 / 300.0 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/96198.xml 236.9 / 61.1 s 638.4 / 300.0 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/96224.xml 1.8 / 0.9 s 12.7 / 3.6 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/96239.xml 233.5 / 60.8 s 686.9 / 300.0 s 1195.8 / 300.0 s
SRS_Standard/ICFP_2010/96256.xml 235.8 / 60.9 s 651.5 / 300.1 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/96274.xml 236.1 / 61.1 s 12.2 / 3.6 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/96289.xml 234.2 / 60.8 s 657.2 / 300.0 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/96302.xml 235.7 / 60.8 s 660.4 / 300.1 s 1195.5 / 300.0 s
SRS_Standard/ICFP_2010/96334.xml 236.3 / 61.0 s 631.3 / 300.1 s 1195.6 / 300.0 s
SRS_Standard/ICFP_2010/96370.xml 233.3 / 60.9 s 89.9 / 23.1 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/96403.xml 235.6 / 60.8 s 604.6 / 300.1 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/96417.xml 241.4 / 61.0 s 604.1 / 300.0 s 1195.8 / 300.0 s
SRS_Standard/ICFP_2010/96438.xml 236.9 / 61.1 s 274.3 / 76.0 s 1195.2 / 300.0 s
SRS_Standard/ICFP_2010/96464.xml 234.9 / 60.9 s 124.5 / 32.0 s 1195.1 / 300.0 s
SRS_Standard/ICFP_2010/96485.xml 235.0 / 61.0 s 13.5 / 3.8 s 1195.2 / 300.0 s
SRS_Standard/ICFP_2010/96523.xml 234.9 / 60.8 s 656.2 / 300.0 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/96563.xml 236.1 / 61.1 s 25.0 / 6.7 s 1195.0 / 300.0 s
SRS_Standard/ICFP_2010/96612.xml 234.1 / 60.9 s 765.7 / 300.0 s 1195.3 / 300.0 s
SRS_Standard/ICFP_2010/96642.xml 235.2 / 61.1 s 116.9 / 29.9 s 1195.4 / 300.0 s
SRS_Standard/ICFP_2010/96673.xml 228.9 / 60.8 s 732.5 / 300.0 s 1195.0 / 300.0 s
SRS_Standard/ICFP_2010/97885.xml 133.2 / 63.0 s 672.0 / 300.0 s 1058.9 / 300.0 s
SRS_Standard/ICFP_2010/97888.xml 133.1 / 62.8 s 725.9 / 300.1 s 1064.8 / 300.0 s
SRS_Standard/ICFP_2010/97901.xml 132.1 / 61.0 s 577.9 / 300.1 s 1165.1 / 300.0 s
SRS_Standard/ICFP_2010/97917.xml 133.1 / 62.9 s 608.3 / 300.1 s 1065.9 / 300.0 s
SRS_Standard/ICFP_2010/97929.xml 133.2 / 63.0 s 728.1 / 300.0 s 1062.5 / 300.0 s
SRS_Standard/ICFP_2010/98362.xml 231.4 / 61.0 s 152.1 / 38.8 s 1195.7 / 300.0 s
SRS_Standard/ICFP_2010/98623.xml 131.8 / 61.6 s 58.2 / 15.1 s 1131.7 / 300.0 s
SRS_Standard/Mixed_SRS/01-oppelt08.xml 236.0 / 60.0 s 57.6 / 15.2 s 1196.4 / 300.0 s
SRS_Standard/Mixed_SRS/01.xml 235.0 / 59.6 s 58.3 / 15.4 s 116.5 / 29.2 s
SRS_Standard/Mixed_SRS/02-oppelt08.xml 235.2 / 59.7 s 84.6 / 22.4 s 1196.3 / 300.0 s
SRS_Standard/Mixed_SRS/02.xml 234.6 / 59.6 s 57.2 / 15.1 s 48.5 / 12.2 s
SRS_Standard/Mixed_SRS/03-oppelt08.xml 235.0 / 59.6 s 100.7 / 26.0 s 1196.1 / 300.0 s
SRS_Standard/Mixed_SRS/03.xml 235.3 / 59.7 s 68.5 / 17.9 s 6.2 / 1.6 s
SRS_Standard/Mixed_SRS/04-oppelt08.xml 234.9 / 59.6 s 54.0 / 14.4 s 1195.9 / 300.0 s
SRS_Standard/Mixed_SRS/04.xml 77.3 / 19.8 s 113.2 / 27.1 s 381.3 / 95.7 s
SRS_Standard/Mixed_SRS/05-oppelt08.xml 268.7 / 59.8 s 43.7 / 11.6 s 1196.5 / 300.0 s
SRS_Standard/Mixed_SRS/05.xml 168.9 / 43.0 s 53.5 / 14.1 s 24.2 / 6.1 s
SRS_Standard/Mixed_SRS/06-oppelt08.xml 235.2 / 59.6 s 2.1 / 0.9 s 1196.5 / 300.0 s
SRS_Standard/Mixed_SRS/06.xml 31.5 / 8.3 s 60.4 / 15.8 s 0.5 / 0.1 s
SRS_Standard/Mixed_SRS/07-oppelt08.xml 235.6 / 59.8 s 5.8 / 1.8 s 1196.5 / 300.0 s
SRS_Standard/Mixed_SRS/07.xml 31.2 / 8.1 s 51.5 / 13.5 s 4.6 / 1.2 s
SRS_Standard/Mixed_SRS/08-oppelt08.xml 236.2 / 60.1 s 18.3 / 5.1 s 1196.3 / 300.0 s
SRS_Standard/Mixed_SRS/08.xml 235.0 / 59.6 s 274.9 / 66.4 s 1196.0 / 300.0 s
SRS_Standard/Mixed_SRS/09.xml 23.5 / 6.2 s 33.9 / 9.1 s 6.2 / 1.6 s
SRS_Standard/Mixed_SRS/1.xml 1.4 / 0.6 s 5.9 / 1.9 s 1196.6 / 300.0 s
SRS_Standard/Mixed_SRS/2.xml 94.6 / 24.2 s 39.9 / 10.7 s 11.3 / 2.8 s
SRS_Standard/Mixed_SRS/3.xml 2.5 / 0.9 s 16.3 / 4.6 s 0.3 / 0.1 s
SRS_Standard/Mixed_SRS/4.xml 235.9 / 59.9 s 550.6 / 300.0 s 1195.3 / 300.0 s
SRS_Standard/Mixed_SRS/s6.xml 32.6 / 8.6 s 22.9 / 6.3 s 0.2 / 0.1 s
SRS_Standard/Mixed_SRS/touzet.xml 21.3 / 5.6 s 17.1 / 4.8 s 0.3 / 0.1 s
SRS_Standard/Mixed_SRS/turing_add.xml 1.5 / 0.6 s 11.5 / 3.3 s 0.7 / 0.2 s
SRS_Standard/Mixed_SRS/turing_copy.xml 0.3 / 0.3 s 1.0 / 0.6 s 1196.0 / 300.0 s
SRS_Standard/Mixed_SRS/turing_mult.xml 0.7 / 0.4 s 1.9 / 0.8 s 1195.3 / 300.0 s
SRS_Standard/Secret_05_SRS/aprove1.xml 36.7 / 9.7 s 45.7 / 12.2 s 104.5 / 26.3 s
SRS_Standard/Secret_05_SRS/aprove2.xml 38.4 / 10.1 s 34.9 / 9.5 s 4.7 / 1.2 s
SRS_Standard/Secret_05_SRS/aprove3.xml 41.3 / 10.2 s 44.7 / 12.0 s 11.8 / 3.0 s
SRS_Standard/Secret_05_SRS/aprove4.xml 56.1 / 14.4 s 41.8 / 11.4 s 196.7 / 49.5 s
SRS_Standard/Secret_05_SRS/aprove5.xml 46.6 / 12.1 s 54.8 / 14.8 s 23.9 / 6.1 s
SRS_Standard/Secret_05_SRS/jambox1.xml 235.1 / 59.6 s 60.6 / 15.8 s 1196.6 / 300.0 s
SRS_Standard/Secret_05_SRS/jambox2.xml 235.6 / 59.8 s 1187.0 / 300.1 s 1195.7 / 300.0 s
SRS_Standard/Secret_05_SRS/jambox3.xml 234.9 / 59.6 s 113.2 / 29.0 s 1195.8 / 300.0 s
SRS_Standard/Secret_05_SRS/jambox4.xml 48.3 / 12.4 s 59.3 / 15.6 s 1.4 / 0.4 s
SRS_Standard/Secret_05_SRS/jambox5.xml 235.1 / 59.6 s 94.0 / 24.3 s 265.3 / 66.6 s
SRS_Standard/Secret_05_SRS/matchbox1.xml 9.5 / 2.7 s 48.2 / 12.8 s 22.7 / 5.8 s
SRS_Standard/Secret_05_SRS/matchbox2.xml 5.7 / 1.7 s 56.5 / 15.0 s 4.5 / 1.2 s
SRS_Standard/Secret_05_SRS/torpa1.xml 26.4 / 6.9 s 25.3 / 6.9 s 4.2 / 1.1 s
SRS_Standard/Secret_05_SRS/torpa2.xml 60.1 / 15.5 s 51.5 / 13.7 s 13.2 / 3.3 s
SRS_Standard/Secret_05_SRS/torpa3.xml 8.3 / 2.4 s 20.4 / 5.6 s 0.9 / 0.3 s
SRS_Standard/Secret_05_SRS/torpa4.xml 20.5 / 5.5 s 35.3 / 9.4 s 45.9 / 11.7 s
SRS_Standard/Secret_06_SRS/1-matchbox.xml 235.0 / 59.6 s 474.0 / 119.7 s 1195.8 / 300.0 s
SRS_Standard/Secret_06_SRS/1.xml 234.7 / 59.6 s 1195.0 / 300.1 s 1195.8 / 300.0 s
SRS_Standard/Secret_06_SRS/10.xml 22.6 / 6.0 s 31.4 / 8.4 s 0.7 / 0.2 s
SRS_Standard/Secret_06_SRS/2-matchbox.xml 235.1 / 59.7 s 371.8 / 95.1 s 4.7 / 1.3 s
SRS_Standard/Secret_06_SRS/2.xml 81.6 / 20.9 s 60.4 / 15.7 s 4.3 / 1.1 s
SRS_Standard/Secret_06_SRS/3-matchbox.xml 13.0 / 3.5 s 80.5 / 21.1 s 5.2 / 1.4 s
SRS_Standard/Secret_06_SRS/3.xml 240.4 / 59.8 s 376.7 / 95.7 s 877.8 / 220.4 s
SRS_Standard/Secret_06_SRS/5-matchbox.xml 31.6 / 8.3 s 39.5 / 10.7 s 957.1 / 240.2 s
SRS_Standard/Secret_06_SRS/5.xml 220.3 / 56.2 s 85.2 / 22.4 s 15.8 / 4.0 s
SRS_Standard/Secret_06_SRS/6.xml 6.5 / 1.9 s 38.5 / 10.4 s 1.1 / 0.3 s
SRS_Standard/Secret_06_SRS/7.xml 21.8 / 5.8 s 23.4 / 6.4 s 5.3 / 1.4 s
SRS_Standard/Secret_06_SRS/8.xml 7.3 / 2.1 s 66.9 / 17.7 s 40.8 / 10.3 s
SRS_Standard/Secret_06_SRS/9.xml 41.0 / 10.2 s 32.6 / 8.8 s 0.2 / 0.1 s
SRS_Standard/Secret_06_SRS/aprove00.xml 23.8 / 6.3 s 30.5 / 8.2 s 1.4 / 0.4 s
SRS_Standard/Secret_06_SRS/aprove01.xml 47.7 / 12.5 s 36.7 / 9.8 s 32.9 / 8.4 s
SRS_Standard/Secret_06_SRS/aprove02.xml 41.1 / 10.6 s 41.3 / 11.0 s 101.9 / 25.7 s
SRS_Standard/Secret_06_SRS/aprove03.xml 73.4 / 19.1 s 24.4 / 6.6 s 248.5 / 62.6 s
SRS_Standard/Secret_06_SRS/aprove04.xml 55.7 / 14.6 s 32.4 / 8.7 s 1195.5 / 300.0 s
SRS_Standard/Secret_06_SRS/aprove05.xml 37.9 / 10.0 s 34.0 / 9.1 s 1195.9 / 300.0 s
SRS_Standard/Secret_06_SRS/aprove06.xml 43.6 / 11.5 s 34.6 / 9.2 s 93.1 / 23.5 s
SRS_Standard/Secret_06_SRS/aprove07.xml 66.2 / 17.1 s 46.6 / 12.3 s 18.5 / 4.7 s
SRS_Standard/Secret_06_SRS/aprove08.xml 34.2 / 9.0 s 57.1 / 15.1 s 1195.5 / 300.0 s
SRS_Standard/Secret_06_SRS/aprove09.xml 29.5 / 7.8 s 25.4 / 6.9 s 14.6 / 3.7 s
SRS_Standard/Secret_06_SRS/multum1.xml 74.9 / 19.2 s 216.0 / 53.1 s 1196.0 / 300.0 s
SRS_Standard/Secret_06_SRS/multum2.xml 7.0 / 2.0 s 111.3 / 28.8 s 319.7 / 80.3 s
SRS_Standard/Secret_06_SRS/multum3.xml 43.3 / 11.2 s 41.4 / 11.0 s 0.3 / 0.1 s
SRS_Standard/Secret_06_SRS/multum4.xml 43.4 / 11.3 s 568.8 / 300.0 s 9.6 / 2.5 s
SRS_Standard/Secret_06_SRS/multum5.xml 6.0 / 1.8 s 41.1 / 11.1 s 21.2 / 5.4 s
SRS_Standard/Secret_06_SRS/multum6.xml 15.1 / 4.1 s 51.8 / 13.7 s 1.1 / 0.3 s
SRS_Standard/Secret_06_SRS/secr1.xml 21.8 / 5.8 s 17.8 / 5.0 s 0.4 / 0.1 s
SRS_Standard/Secret_06_SRS/secr10.xml 35.2 / 9.2 s 43.7 / 11.8 s 1.3 / 0.4 s
SRS_Standard/Secret_06_SRS/secr2.xml 24.8 / 6.5 s 26.4 / 7.3 s 0.8 / 0.2 s
SRS_Standard/Secret_06_SRS/secr3.xml 66.7 / 17.2 s 42.3 / 11.2 s 18.1 / 4.6 s
SRS_Standard/Secret_06_SRS/secr4.xml 31.6 / 8.3 s 75.0 / 19.9 s 108.0 / 27.2 s
SRS_Standard/Secret_06_SRS/secr5.xml 235.2 / 59.7 s 305.6 / 75.3 s 1196.0 / 300.0 s
SRS_Standard/Secret_06_SRS/secr6.xml 31.8 / 8.3 s 43.3 / 11.6 s 0.5 / 0.1 s
SRS_Standard/Secret_06_SRS/secr7.xml 25.8 / 6.8 s 53.2 / 14.2 s 0.4 / 0.1 s
SRS_Standard/Secret_06_SRS/secr8.xml 36.6 / 9.5 s 61.5 / 16.1 s 1.0 / 0.3 s
SRS_Standard/Secret_06_SRS/secr9.xml 44.6 / 11.6 s 63.3 / 17.1 s 7.5 / 2.0 s
SRS_Standard/Secret_07_SRS/dj.xml 1.2 / 0.5 s 11.8 / 3.4 s 0.0 / 0.0 s
SRS_Standard/Secret_07_SRS/num-514.xml 246.9 / 59.7 s 1041.6 / 263.2 s 1196.5 / 300.0 s
SRS_Standard/Secret_07_SRS/num-515.xml 251.2 / 59.7 s 65.1 / 16.8 s 1196.3 / 300.0 s
SRS_Standard/Secret_07_SRS/num-518.xml 235.3 / 59.7 s 1188.1 / 300.1 s 1196.5 / 300.0 s
SRS_Standard/Secret_07_SRS/num-519.xml 269.5 / 59.7 s 16.9 / 4.7 s 1196.5 / 300.0 s
SRS_Standard/Secret_07_SRS/num-520.xml 236.8 / 59.7 s 1196.9 / 300.1 s 1196.5 / 300.0 s
SRS_Standard/Secret_07_SRS/num-521.xml 235.3 / 59.7 s 626.7 / 151.1 s 1196.5 / 300.0 s
SRS_Standard/Secret_07_SRS/num-525.xml 4.8 / 1.5 s 140.9 / 35.9 s 1196.5 / 300.0 s
SRS_Standard/Secret_07_SRS/num-527.xml 235.2 / 59.7 s 271.1 / 68.8 s 1196.4 / 300.0 s
SRS_Standard/Secret_07_SRS/num-530.xml 11.0 / 3.0 s 42.6 / 11.2 s 1196.3 / 300.0 s
SRS_Standard/Secret_07_SRS/num-539.xml 1.0 / 0.5 s 7.2 / 2.2 s 1196.5 / 300.0 s
SRS_Standard/Secret_07_SRS/x01.xml 60.0 / 14.7 s 39.9 / 10.7 s 14.7 / 3.7 s
SRS_Standard/Secret_07_SRS/x02.xml 32.6 / 8.5 s 244.0 / 59.9 s 1.4 / 0.4 s
SRS_Standard/Secret_07_SRS/x03.xml 26.2 / 6.9 s 36.3 / 9.7 s 0.5 / 0.1 s
SRS_Standard/Secret_07_SRS/x04.xml 57.2 / 14.7 s 87.8 / 23.6 s 10.8 / 2.8 s
SRS_Standard/Secret_07_SRS/x05.xml 26.9 / 6.6 s 44.5 / 11.8 s 28.4 / 7.2 s
SRS_Standard/Secret_07_SRS/x06.xml 99.5 / 25.5 s 59.2 / 15.8 s 20.8 / 5.3 s
SRS_Standard/Secret_07_SRS/x07.xml 73.2 / 18.7 s 1194.1 / 300.1 s 55.9 / 14.1 s
SRS_Standard/Secret_07_SRS/x08.xml 107.6 / 27.4 s 72.9 / 19.2 s 20.9 / 5.3 s
SRS_Standard/Secret_07_SRS/x09.xml 235.3 / 59.7 s 186.9 / 47.0 s 139.5 / 35.1 s
SRS_Standard/Secret_07_SRS/x10.xml 71.5 / 18.4 s 75.4 / 19.7 s 3.9 / 1.0 s
SRS_Standard/Trafo_06/dup01.xml 26.5 / 7.3 s 52.8 / 14.2 s 18.0 / 4.8 s
SRS_Standard/Trafo_06/dup05.xml 42.6 / 11.0 s 45.2 / 11.9 s 5.1 / 1.4 s
SRS_Standard/Trafo_06/dup06.xml 29.5 / 7.7 s 37.2 / 9.9 s 1.9 / 0.5 s
SRS_Standard/Trafo_06/dup07.xml 39.2 / 10.3 s 62.4 / 16.4 s 38.5 / 9.7 s
SRS_Standard/Trafo_06/dup08.xml 50.4 / 13.1 s 108.4 / 28.0 s 1.7 / 0.5 s
SRS_Standard/Trafo_06/dup09.xml 1.2 / 0.5 s 37.5 / 10.1 s 0.5 / 0.2 s
SRS_Standard/Trafo_06/dup10.xml 50.1 / 13.1 s 682.5 / 300.1 s 1195.3 / 300.0 s
SRS_Standard/Trafo_06/dup11.xml 83.0 / 22.3 s 79.3 / 20.4 s 1195.5 / 300.0 s
SRS_Standard/Trafo_06/dup12.xml 235.8 / 59.9 s 282.6 / 72.1 s 1196.1 / 300.0 s
SRS_Standard/Trafo_06/dup13.xml 30.5 / 8.0 s 235.2 / 59.7 s 99.6 / 25.0 s
SRS_Standard/Trafo_06/dup14.xml 39.7 / 10.4 s 79.9 / 20.9 s 1.4 / 0.4 s
SRS_Standard/Trafo_06/dup15.xml 4.2 / 1.3 s 64.7 / 17.1 s 1196.3 / 300.0 s
SRS_Standard/Trafo_06/dup16.xml 40.3 / 10.5 s 5.8 / 1.8 s 782.3 / 196.4 s
SRS_Standard/Trafo_06/dup17.xml 10.6 / 1.7 s 75.7 / 19.7 s 1196.3 / 300.0 s
SRS_Standard/Trafo_06/hom01.xml 9.6 / 2.7 s 51.5 / 13.5 s 1.9 / 0.5 s
SRS_Standard/Trafo_06/hom02.xml 5.2 / 1.6 s 16.4 / 4.5 s 0.3 / 0.1 s
SRS_Standard/Trafo_06/hom03.xml 50.2 / 13.0 s 315.5 / 83.3 s 12.1 / 3.1 s
SRS_Standard/Trafo_06/un02.xml 236.6 / 60.2 s 614.6 / 300.0 s 1195.3 / 300.0 s
SRS_Standard/Trafo_06/un04.xml 235.7 / 59.9 s 46.2 / 12.1 s 1196.0 / 300.0 s
SRS_Standard/Trafo_06/un05.xml 235.6 / 59.8 s 50.3 / 13.2 s 188.1 / 47.2 s
SRS_Standard/Trafo_06/un06.xml 15.5 / 4.2 s 43.2 / 11.4 s 4.6 / 1.2 s
SRS_Standard/Trafo_06/un07.xml 32.8 / 8.6 s 22.1 / 6.0 s 4.2 / 1.1 s
SRS_Standard/Trafo_06/un08.xml 158.3 / 40.3 s 52.0 / 13.7 s 759.3 / 190.6 s
SRS_Standard/Trafo_06/un09.xml 48.2 / 12.5 s 117.8 / 30.2 s 24.2 / 6.1 s
SRS_Standard/Trafo_06/un10.xml 53.0 / 13.7 s 464.0 / 219.7 s 33.0 / 8.3 s
SRS_Standard/Trafo_06/un11.xml 236.3 / 60.0 s 577.7 / 300.0 s 1195.8 / 300.0 s
SRS_Standard/Trafo_06/un12.xml 236.2 / 60.0 s 628.1 / 300.0 s 1195.7 / 300.0 s
SRS_Standard/Trafo_06/un13.xml 236.4 / 60.1 s 518.4 / 300.0 s 1195.3 / 300.0 s
SRS_Standard/Trafo_06/un14.xml 89.2 / 22.9 s 483.5 / 149.1 s 4.3 / 1.1 s
SRS_Standard/Trafo_06/un15.xml 236.0 / 60.0 s 1050.3 / 300.0 s 1195.9 / 300.0 s
SRS_Standard/Trafo_06/un16.xml 235.4 / 59.8 s 1068.7 / 300.1 s 1195.7 / 300.0 s
SRS_Standard/Trafo_06/un17.xml 236.1 / 60.0 s 234.5 / 59.6 s 1196.1 / 300.0 s
SRS_Standard/Trafo_06/un18.xml 236.6 / 60.2 s 661.7 / 300.0 s 1195.9 / 300.0 s
SRS_Standard/Waldmann_06_SRS/e.xml 29.9 / 7.9 s 112.3 / 29.4 s 4.6 / 1.3 s
SRS_Standard/Waldmann_06_SRS/jw1.xml 44.9 / 11.6 s 61.3 / 16.2 s 4.8 / 1.2 s
SRS_Standard/Waldmann_06_SRS/jw3.xml 236.1 / 60.0 s 44.3 / 11.8 s 1196.2 / 300.0 s
SRS_Standard/Waldmann_06_SRS/jw4.xml 53.3 / 13.8 s 300.6 / 73.6 s 25.9 / 6.5 s
SRS_Standard/Waldmann_06_SRS/jw5.xml 235.9 / 59.9 s 853.5 / 300.0 s 1195.1 / 300.0 s
SRS_Standard/Waldmann_06_SRS/pi.xml 21.2 / 5.7 s 80.5 / 21.1 s 4.9 / 1.3 s
SRS_Standard/Waldmann_06_SRS/sym-1.xml 27.2 / 7.1 s 4.8 / 1.6 s 1.0 / 0.3 s
SRS_Standard/Waldmann_06_SRS/sym-2.xml 74.5 / 19.1 s 70.6 / 18.8 s 5.6 / 1.4 s
SRS_Standard/Waldmann_06_SRS/sym-4.xml 28.7 / 7.5 s 5.1 / 1.7 s 0.4 / 0.1 s
SRS_Standard/Waldmann_06_SRS/sym-5.xml 239.1 / 59.7 s 341.6 / 85.0 s 512.7 / 128.6 s
SRS_Standard/Waldmann_06_SRS/sym-6.xml 120.3 / 30.6 s 198.9 / 50.8 s 251.5 / 63.2 s
SRS_Standard/Waldmann_06_SRS/uni-1.xml 27.8 / 7.3 s 4.8 / 1.6 s 0.5 / 0.1 s
SRS_Standard/Waldmann_06_SRS/uni-2.xml 1.3 / 0.6 s 3.1 / 1.1 s 1196.2 / 300.0 s
SRS_Standard/Waldmann_06_SRS/uni-3.xml 235.0 / 59.6 s 12.2 / 3.5 s 1195.2 / 300.0 s
SRS_Standard/Waldmann_06_SRS/uni-4.xml 1.2 / 0.5 s 1.8 / 0.8 s 1196.3 / 300.0 s
SRS_Standard/Waldmann_06_SRS/uni-5.xml 62.2 / 16.0 s 40.6 / 10.8 s 9.5 / 2.4 s
SRS_Standard/Waldmann_06_SRS/uni-6.xml 235.6 / 59.9 s 39.8 / 10.5 s 1196.4 / 300.0 s
SRS_Standard/Waldmann_06_SRS/uni-7.xml 235.9 / 60.0 s 1200.2 / 297.9 s 1196.5 / 300.0 s
SRS_Standard/Waldmann_06_SRS/z086-variant.xml 188.3 / 46.8 s 75.7 / 19.8 s 29.8 / 7.5 s
ndard/Waldmann_07_size11/size-11-alpha-2-num-1.xml 80.3 / 20.6 s 48.4 / 12.8 s 4.1 / 1.1 s
ndard/Waldmann_07_size11/size-11-alpha-2-num-2.xml 235.4 / 59.7 s 48.4 / 12.9 s 11.8 / 3.0 s
ndard/Waldmann_07_size11/size-11-alpha-2-num-3.xml 40.1 / 10.4 s 55.1 / 14.7 s 3.7 / 1.0 s
ndard/Waldmann_07_size11/size-11-alpha-2-num-4.xml 36.6 / 9.5 s 34.6 / 9.3 s 0.6 / 0.2 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-1.xml 235.1 / 59.6 s 110.0 / 28.3 s 1195.7 / 300.0 s
dard/Waldmann_07_size11/size-11-alpha-3-num-10.xml 30.5 / 8.0 s 22.7 / 6.1 s 0.5 / 0.1 s
dard/Waldmann_07_size11/size-11-alpha-3-num-11.xml 24.3 / 6.4 s 22.6 / 6.2 s 0.4 / 0.1 s
dard/Waldmann_07_size11/size-11-alpha-3-num-12.xml 28.6 / 7.5 s 36.6 / 9.8 s 0.2 / 0.1 s
dard/Waldmann_07_size11/size-11-alpha-3-num-13.xml 27.7 / 7.3 s 29.0 / 7.8 s 1.0 / 0.3 s
dard/Waldmann_07_size11/size-11-alpha-3-num-14.xml 23.3 / 6.1 s 38.1 / 10.1 s 0.5 / 0.1 s
dard/Waldmann_07_size11/size-11-alpha-3-num-15.xml 6.8 / 2.0 s 73.0 / 18.9 s 1195.8 / 300.0 s
dard/Waldmann_07_size11/size-11-alpha-3-num-16.xml 33.3 / 8.7 s 9.5 / 2.8 s 0.8 / 0.2 s
dard/Waldmann_07_size11/size-11-alpha-3-num-17.xml 27.2 / 7.1 s 23.4 / 6.4 s 0.4 / 0.1 s
dard/Waldmann_07_size11/size-11-alpha-3-num-18.xml 218.6 / 59.5 s 11.1 / 3.2 s 1195.3 / 300.0 s
dard/Waldmann_07_size11/size-11-alpha-3-num-19.xml 24.3 / 5.8 s 30.0 / 8.0 s 0.2 / 0.1 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-2.xml 82.0 / 21.0 s 52.1 / 13.7 s 11.2 / 2.8 s
dard/Waldmann_07_size11/size-11-alpha-3-num-20.xml 21.0 / 5.6 s 16.3 / 4.6 s 0.2 / 0.1 s
dard/Waldmann_07_size11/size-11-alpha-3-num-21.xml 260.6 / 59.3 s 30.7 / 8.2 s 1195.2 / 300.0 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-3.xml 26.9 / 7.0 s 44.4 / 12.0 s 0.8 / 0.2 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-4.xml 235.0 / 59.6 s 1189.5 / 300.1 s 1196.1 / 300.0 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-5.xml 37.1 / 9.6 s 28.5 / 7.7 s 0.6 / 0.2 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-6.xml 22.9 / 6.0 s 37.7 / 10.1 s 0.3 / 0.1 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-7.xml 23.7 / 6.1 s 32.1 / 8.6 s 0.3 / 0.1 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-8.xml 24.9 / 6.6 s 38.5 / 10.3 s 0.2 / 0.1 s
ndard/Waldmann_07_size11/size-11-alpha-3-num-9.xml 25.6 / 6.7 s 32.3 / 8.7 s 0.4 / 0.1 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-1.xml 24.9 / 6.6 s 32.4 / 8.7 s 1.0 / 0.3 s
dard/Waldmann_07_size12/size-12-alpha-2-num-10.xml 235.5 / 59.7 s 1200.3 / 299.0 s 1196.3 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-2-num-11.xml 235.6 / 59.7 s 1190.5 / 300.0 s 1196.2 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-2-num-12.xml 247.5 / 59.7 s 1131.1 / 300.0 s 1196.2 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-2-num-13.xml 87.1 / 21.0 s 30.5 / 8.2 s 1.4 / 0.4 s
dard/Waldmann_07_size12/size-12-alpha-2-num-14.xml 97.8 / 25.0 s 35.6 / 9.6 s 5.2 / 1.3 s
dard/Waldmann_07_size12/size-12-alpha-2-num-15.xml 38.2 / 9.9 s 15.5 / 4.4 s 0.4 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-2-num-16.xml 25.7 / 6.7 s 56.5 / 15.3 s 0.6 / 0.2 s
dard/Waldmann_07_size12/size-12-alpha-2-num-17.xml 235.2 / 59.6 s 1190.5 / 300.1 s 1195.3 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-2-num-18.xml 235.0 / 59.5 s 1191.2 / 300.0 s 1195.7 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-2-num-19.xml 44.2 / 11.4 s 28.6 / 7.8 s 1.7 / 0.5 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-2.xml 27.0 / 6.9 s 37.9 / 10.1 s 0.9 / 0.3 s
dard/Waldmann_07_size12/size-12-alpha-2-num-20.xml 234.8 / 59.4 s 308.8 / 74.6 s 1195.4 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-2-num-21.xml 25.8 / 6.8 s 45.3 / 12.0 s 0.3 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-2-num-22.xml 29.5 / 7.7 s 50.8 / 13.4 s 0.4 / 0.1 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-3.xml 28.8 / 7.5 s 27.6 / 7.4 s 0.6 / 0.2 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-4.xml 92.9 / 23.7 s 44.7 / 11.9 s 11.1 / 2.8 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-5.xml 122.4 / 31.2 s 39.2 / 10.4 s 23.4 / 5.9 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-6.xml 109.2 / 26.0 s 34.5 / 9.3 s 12.3 / 3.1 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-7.xml 236.6 / 59.7 s 1188.9 / 300.1 s 1195.7 / 300.0 s
ndard/Waldmann_07_size12/size-12-alpha-2-num-8.xml 235.3 / 59.7 s 40.6 / 10.8 s 28.3 / 7.1 s
ndard/Waldmann_07_size12/size-12-alpha-3-num-1.xml 25.6 / 6.7 s 44.1 / 11.8 s 0.7 / 0.2 s
dard/Waldmann_07_size12/size-12-alpha-3-num-10.xml 24.0 / 6.3 s 28.9 / 7.8 s 0.3 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-100.xml 234.9 / 59.4 s 9.8 / 2.8 s 1195.5 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-101.xml 234.8 / 59.4 s 27.9 / 7.5 s 1196.1 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-104.xml 29.8 / 7.8 s 32.0 / 8.6 s 0.6 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-105.xml 79.7 / 20.0 s 39.3 / 10.4 s 1.8 / 0.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-106.xml 45.4 / 11.7 s 31.9 / 8.5 s 2.7 / 0.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-107.xml 35.0 / 9.1 s 41.1 / 10.9 s 0.6 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-108.xml 26.7 / 7.0 s 36.8 / 9.9 s 0.5 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-109.xml 31.7 / 8.3 s 37.1 / 9.9 s 0.2 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-11.xml 234.9 / 59.5 s 69.8 / 18.2 s 1195.6 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-110.xml 22.8 / 6.0 s 49.6 / 13.2 s 0.6 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-111.xml 33.9 / 8.8 s 53.8 / 14.2 s 0.9 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-112.xml 37.8 / 9.8 s 36.5 / 9.8 s 1.2 / 0.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-113.xml 24.4 / 6.4 s 42.9 / 11.4 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-114.xml 72.4 / 18.6 s 80.5 / 20.9 s 11.4 / 2.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-120.xml 235.2 / 59.6 s 1189.7 / 300.1 s 1195.5 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-121.xml 61.4 / 15.8 s 58.8 / 15.5 s 5.4 / 1.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-122.xml 79.3 / 20.4 s 47.4 / 12.6 s 8.4 / 2.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-123.xml 60.9 / 14.2 s 98.2 / 25.5 s 11.5 / 2.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-124.xml 135.0 / 33.0 s 52.4 / 13.5 s 18.5 / 4.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-125.xml 31.8 / 8.3 s 42.4 / 11.2 s 0.8 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-126.xml 49.1 / 12.7 s 35.6 / 9.5 s 81.4 / 20.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-127.xml 234.9 / 59.4 s 94.5 / 24.4 s 1195.3 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-128.xml 76.5 / 19.6 s 43.1 / 11.5 s 19.4 / 4.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-129.xml 10.0 / 2.8 s 5.2 / 1.7 s 1195.7 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-13.xml 22.7 / 6.0 s 35.9 / 9.6 s 0.5 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-131.xml 23.9 / 6.3 s 48.2 / 12.8 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-132.xml 141.1 / 35.9 s 35.5 / 9.5 s 23.8 / 6.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-133.xml 35.9 / 9.3 s 44.8 / 11.9 s 40.7 / 10.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-134.xml 21.7 / 5.7 s 23.7 / 6.5 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-135.xml 234.9 / 59.5 s 68.9 / 17.7 s 1195.9 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-14.xml 24.4 / 6.4 s 33.2 / 8.9 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-140.xml 0.9 / 0.5 s 1.6 / 0.8 s 1195.8 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-146.xml 1.0 / 0.5 s 1.6 / 0.7 s 1195.8 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-149.xml 25.0 / 6.6 s 16.0 / 4.5 s 0.3 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-15.xml 22.0 / 5.8 s 33.8 / 9.1 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-152.xml 29.4 / 7.7 s 62.6 / 16.4 s 0.6 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-158.xml 1.2 / 0.5 s 1.4 / 0.7 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-159.xml 0.8 / 0.4 s 1.4 / 0.7 s 1196.0 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-16.xml 24.3 / 6.4 s 28.4 / 7.7 s 0.3 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-160.xml 2.6 / 0.9 s 2.0 / 0.9 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-163.xml 31.1 / 8.1 s 31.2 / 8.5 s 1.0 / 0.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-164.xml 25.4 / 6.7 s 31.7 / 8.5 s 0.3 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-165.xml 23.0 / 6.1 s 44.9 / 12.1 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-168.xml 28.7 / 7.5 s 36.3 / 9.6 s 0.3 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-17.xml 25.5 / 6.7 s 39.7 / 10.5 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-170.xml 234.6 / 59.4 s 100.8 / 25.9 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-174.xml 235.2 / 59.6 s 1189.8 / 300.1 s 1195.4 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-176.xml 30.1 / 7.9 s 43.0 / 11.3 s 2.1 / 0.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-177.xml 5.5 / 1.6 s 2.1 / 0.9 s 1195.8 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-178.xml 8.5 / 2.4 s 21.9 / 5.9 s 1195.3 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-179.xml 1.2 / 0.6 s 1.4 / 0.7 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-180.xml 24.5 / 6.4 s 83.6 / 22.0 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-181.xml 3.5 / 1.1 s 3.1 / 1.1 s 1195.4 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-186.xml 22.9 / 6.0 s 38.2 / 10.2 s 0.4 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-19.xml 21.7 / 5.7 s 48.7 / 12.8 s 0.3 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-190.xml 23.8 / 6.3 s 27.5 / 7.4 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-191.xml 24.8 / 6.5 s 30.0 / 8.0 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-194.xml 23.3 / 6.2 s 41.2 / 10.9 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-195.xml 9.9 / 2.7 s 2.0 / 0.8 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-198.xml 40.1 / 10.4 s 33.6 / 9.0 s 4.0 / 1.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-199.xml 234.9 / 59.5 s 1191.4 / 300.1 s 1195.6 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-20.xml 235.0 / 59.5 s 11.8 / 3.4 s 1195.6 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-200.xml 23.2 / 6.1 s 41.2 / 11.2 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-201.xml 30.4 / 7.9 s 51.5 / 13.8 s 0.5 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-202.xml 27.4 / 7.2 s 53.4 / 14.0 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-203.xml 22.0 / 5.8 s 34.8 / 9.3 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-204.xml 26.8 / 7.0 s 46.3 / 12.2 s 0.5 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-206.xml 234.8 / 59.4 s 20.5 / 5.6 s 1195.5 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-207.xml 232.6 / 59.3 s 36.4 / 9.7 s 1195.6 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-209.xml 234.8 / 59.4 s 1189.7 / 300.1 s 1195.4 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-21.xml 234.8 / 59.5 s 150.8 / 38.4 s 1195.9 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-210.xml 234.7 / 59.4 s 1198.6 / 300.1 s 1195.6 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-211.xml 235.2 / 59.6 s 1189.7 / 300.1 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-213.xml 25.1 / 6.6 s 40.4 / 10.6 s 0.3 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-215.xml 23.9 / 6.3 s 21.8 / 5.9 s 0.3 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-217.xml 10.4 / 2.9 s 5.4 / 1.7 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-219.xml 234.8 / 59.4 s 1189.3 / 300.1 s 1195.6 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-22.xml 235.6 / 59.7 s 39.4 / 10.4 s 1195.5 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-220.xml 235.0 / 59.4 s 1195.8 / 300.1 s 1195.6 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-221.xml 22.1 / 5.8 s 46.8 / 12.4 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-222.xml 235.3 / 59.7 s 1189.7 / 300.1 s 1196.1 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-223.xml 212.4 / 59.4 s 160.0 / 40.9 s 1195.6 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-224.xml 235.4 / 59.7 s 851.7 / 206.6 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-225.xml 24.1 / 6.3 s 23.0 / 6.3 s 0.5 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-226.xml 29.5 / 7.7 s 57.4 / 15.2 s 1.2 / 0.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-227.xml 235.2 / 59.6 s 21.3 / 5.8 s 1195.5 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-23.xml 220.3 / 59.4 s 14.9 / 4.2 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-231.xml 235.3 / 59.7 s 1194.2 / 300.1 s 1196.0 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-232.xml 36.9 / 9.6 s 34.7 / 9.3 s 1.1 / 0.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-233.xml 235.0 / 59.6 s 100.2 / 25.7 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-236.xml 51.5 / 13.1 s 51.0 / 13.4 s 1.0 / 0.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-237.xml 42.3 / 11.0 s 37.4 / 10.0 s 2.3 / 0.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-238.xml 235.4 / 59.7 s 1189.6 / 300.1 s 1195.4 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-239.xml 234.9 / 59.4 s 6.0 / 1.9 s 1195.6 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-241.xml 219.6 / 59.3 s 26.3 / 7.1 s 1195.6 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-243.xml 234.7 / 59.4 s 8.8 / 2.6 s 1195.6 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-247.xml 236.5 / 59.6 s 1189.3 / 300.1 s 1195.8 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-248.xml 235.1 / 59.6 s 1189.8 / 300.1 s 1195.1 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-249.xml 234.9 / 59.5 s 68.7 / 17.8 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-255.xml 30.0 / 7.8 s 67.6 / 17.7 s 3.1 / 0.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-257.xml 221.7 / 59.3 s 3.7 / 1.3 s 1195.6 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-260.xml 234.8 / 59.5 s 2.7 / 1.0 s 1195.9 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-263.xml 79.6 / 20.4 s 37.6 / 10.0 s 16.6 / 4.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-265.xml 24.8 / 6.5 s 28.1 / 7.7 s 0.3 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-267.xml 239.8 / 59.6 s 1190.1 / 300.1 s 1195.6 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-270.xml 235.3 / 59.6 s 113.5 / 29.0 s 1196.2 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-271.xml 36.9 / 9.6 s 31.7 / 8.6 s 1.5 / 0.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-272.xml 235.1 / 59.6 s 1190.8 / 300.1 s 1195.8 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-273.xml 22.0 / 5.8 s 20.8 / 5.8 s 0.3 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-274.xml 235.0 / 59.5 s 1193.2 / 300.1 s 1195.9 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-275.xml 22.0 / 5.8 s 19.9 / 5.6 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-279.xml 24.1 / 6.3 s 30.4 / 8.2 s 0.3 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-281.xml 23.7 / 6.2 s 41.3 / 10.9 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-282.xml 31.2 / 6.7 s 33.5 / 9.0 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-283.xml 22.8 / 6.0 s 44.6 / 12.0 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-284.xml 21.6 / 5.7 s 24.2 / 6.5 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-285.xml 23.3 / 6.1 s 44.5 / 11.8 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-286.xml 42.8 / 9.1 s 33.4 / 9.0 s 1.7 / 0.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-287.xml 22.5 / 5.9 s 49.5 / 13.3 s 0.6 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-288.xml 31.4 / 8.2 s 58.0 / 15.3 s 0.5 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-289.xml 31.5 / 8.2 s 22.7 / 6.2 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-291.xml 234.8 / 59.5 s 1189.8 / 300.1 s 1194.9 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-292.xml 235.3 / 59.6 s 1189.8 / 300.1 s 1195.6 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-293.xml 38.0 / 9.9 s 62.0 / 16.4 s 9.1 / 2.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-294.xml 37.0 / 9.6 s 45.3 / 11.9 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-296.xml 44.2 / 11.4 s 29.0 / 7.8 s 4.0 / 1.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-297.xml 45.3 / 11.7 s 40.0 / 10.7 s 4.2 / 1.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-298.xml 234.9 / 59.5 s 120.7 / 30.9 s 1195.8 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-299.xml 34.0 / 8.9 s 32.6 / 8.8 s 9.7 / 2.5 s
ndard/Waldmann_07_size12/size-12-alpha-3-num-3.xml 204.3 / 59.4 s 22.6 / 6.1 s 1195.8 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-30.xml 21.6 / 5.7 s 34.2 / 9.2 s 0.3 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-300.xml 42.1 / 10.9 s 38.4 / 10.3 s 8.6 / 2.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-301.xml 40.9 / 10.1 s 65.1 / 17.1 s 4.8 / 1.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-303.xml 25.4 / 6.7 s 42.0 / 11.2 s 0.5 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-304.xml 36.9 / 9.6 s 44.1 / 11.8 s 0.8 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-309.xml 120.9 / 30.7 s 42.4 / 11.2 s 22.6 / 5.7 s
dard/Waldmann_07_size12/size-12-alpha-3-num-31.xml 22.4 / 5.9 s 22.4 / 6.1 s 0.3 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-32.xml 235.3 / 59.6 s 1190.4 / 300.1 s 1195.5 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-327.xml 29.2 / 7.6 s 62.8 / 16.4 s 1.5 / 0.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-328.xml 235.2 / 59.6 s 56.0 / 14.7 s 1196.3 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-330.xml 30.7 / 8.0 s 60.0 / 15.8 s 0.8 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-335.xml 27.6 / 7.2 s 20.8 / 5.7 s 0.5 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-337.xml 29.3 / 7.6 s 30.2 / 8.2 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-338.xml 235.3 / 59.7 s 1189.2 / 300.1 s 1196.3 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-339.xml 235.3 / 59.7 s 138.9 / 35.5 s 1196.4 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-340.xml 235.5 / 59.7 s 1190.9 / 300.1 s 1196.3 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-341.xml 29.0 / 7.6 s 42.6 / 11.2 s 0.7 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-343.xml 22.5 / 5.9 s 29.4 / 7.9 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-345.xml 30.3 / 7.9 s 40.6 / 10.8 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-346.xml 29.7 / 7.8 s 51.5 / 13.5 s 0.9 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-347.xml 28.9 / 7.6 s 32.3 / 8.7 s 0.9 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-348.xml 33.8 / 8.8 s 41.7 / 11.1 s 0.4 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-35.xml 45.0 / 11.6 s 51.1 / 13.6 s 14.6 / 3.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-350.xml 22.8 / 6.0 s 47.4 / 12.6 s 0.9 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-351.xml 20.4 / 5.4 s 16.1 / 4.5 s 0.5 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-352.xml 24.2 / 6.4 s 29.0 / 7.8 s 0.3 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-353.xml 235.0 / 59.5 s 4.7 / 1.6 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-354.xml 45.1 / 11.7 s 65.7 / 17.2 s 1196.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-355.xml 235.3 / 59.7 s 1189.8 / 300.1 s 1196.4 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-356.xml 235.4 / 59.7 s 1196.2 / 300.1 s 1196.5 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-359.xml 26.4 / 6.9 s 41.3 / 11.0 s 3.6 / 0.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-360.xml 25.8 / 6.8 s 32.9 / 8.8 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-361.xml 235.7 / 59.8 s 1190.1 / 300.1 s 1196.4 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-362.xml 235.1 / 59.6 s 642.0 / 159.6 s 1196.4 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-363.xml 235.3 / 59.7 s 1190.2 / 300.0 s 1196.3 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-366.xml 26.7 / 7.0 s 48.5 / 12.8 s 0.7 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-367.xml 28.7 / 7.5 s 41.4 / 11.0 s 0.7 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-368.xml 235.1 / 59.6 s 39.0 / 10.4 s 1195.8 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-369.xml 235.1 / 59.6 s 112.4 / 28.9 s 1196.0 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-373.xml 235.4 / 59.7 s 35.8 / 9.6 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-374.xml 235.3 / 59.7 s 1199.6 / 300.1 s 1196.5 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-375.xml 26.7 / 6.3 s 29.8 / 8.0 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-376.xml 24.6 / 6.5 s 15.9 / 4.4 s 0.9 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-377.xml 24.8 / 6.5 s 40.4 / 10.7 s 0.3 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-378.xml 235.3 / 59.6 s 141.1 / 36.1 s 1195.5 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-382.xml 235.2 / 59.6 s 1194.1 / 300.0 s 1196.3 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-383.xml 235.3 / 59.7 s 1190.8 / 300.1 s 1196.5 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-384.xml 235.2 / 59.7 s 1189.9 / 300.1 s 1196.4 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-385.xml 246.9 / 59.7 s 1190.5 / 300.1 s 1196.5 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-386.xml 235.2 / 59.6 s 1189.9 / 300.1 s 1196.4 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-389.xml 30.9 / 7.8 s 42.4 / 11.3 s 1.4 / 0.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-391.xml 27.0 / 7.1 s 40.9 / 10.9 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-392.xml 26.3 / 6.9 s 38.2 / 10.2 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-395.xml 34.3 / 8.0 s 21.7 / 6.0 s 0.7 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-396.xml 30.0 / 7.8 s 31.5 / 8.4 s 0.9 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-399.xml 33.4 / 8.7 s 44.1 / 11.6 s 1.2 / 0.3 s
ndard/Waldmann_07_size12/size-12-alpha-3-num-4.xml 33.1 / 8.6 s 41.4 / 11.1 s 0.6 / 0.2 s
dard/Waldmann_07_size12/size-12-alpha-3-num-40.xml 30.1 / 7.9 s 33.1 / 8.9 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-400.xml 235.4 / 59.7 s 1190.0 / 300.1 s 1196.4 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-401.xml 235.5 / 59.8 s 623.0 / 156.7 s 1196.5 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-402.xml 235.2 / 59.7 s 471.0 / 116.8 s 1196.4 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-403.xml 235.5 / 59.7 s 1200.2 / 299.0 s 1196.4 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-406.xml 237.3 / 59.8 s 1200.1 / 296.8 s 1196.2 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-408.xml 235.2 / 59.6 s 1189.8 / 300.1 s 1196.2 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-409.xml 235.4 / 59.7 s 1200.2 / 298.2 s 1196.4 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-41.xml 22.3 / 5.9 s 25.5 / 6.9 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-410.xml 249.7 / 59.7 s 1191.1 / 300.0 s 1196.3 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-412.xml 57.7 / 7.6 s 26.7 / 7.2 s 1.3 / 0.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-413.xml 31.1 / 8.1 s 43.9 / 11.7 s 0.7 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-414.xml 29.2 / 7.6 s 45.0 / 12.0 s 2.2 / 0.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-415.xml 25.5 / 6.7 s 57.7 / 15.0 s 1.7 / 0.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-416.xml 29.9 / 7.8 s 58.4 / 15.3 s 1.0 / 0.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-417.xml 30.4 / 7.9 s 58.6 / 15.3 s 1.2 / 0.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-418.xml 26.5 / 7.0 s 21.6 / 5.9 s 1.1 / 0.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-427.xml 36.5 / 7.7 s 48.3 / 12.7 s 1.2 / 0.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-429.xml 20.7 / 5.5 s 49.4 / 13.0 s 7.3 / 1.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-430.xml 235.3 / 59.6 s 1189.9 / 300.0 s 1195.6 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-431.xml 235.2 / 59.5 s 1188.6 / 300.1 s 1195.9 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-434.xml 235.0 / 59.5 s 1189.6 / 300.1 s 1195.8 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-435.xml 35.1 / 9.1 s 65.1 / 17.2 s 1.0 / 0.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-436.xml 26.7 / 7.0 s 51.2 / 13.4 s 0.7 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-437.xml 35.8 / 9.3 s 56.9 / 14.9 s 1.2 / 0.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-438.xml 39.0 / 10.1 s 58.6 / 15.3 s 0.7 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-439.xml 29.3 / 7.7 s 26.2 / 7.1 s 0.2 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-44.xml 23.5 / 6.2 s 33.8 / 9.0 s 1.0 / 0.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-441.xml 30.1 / 7.9 s 23.1 / 6.3 s 0.2 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-443.xml 33.4 / 8.7 s 36.9 / 9.8 s 0.6 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-446.xml 23.9 / 6.3 s 36.4 / 9.7 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-448.xml 25.2 / 6.6 s 42.1 / 11.2 s 0.2 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-45.xml 29.1 / 7.6 s 31.9 / 8.6 s 0.8 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-450.xml 234.9 / 59.6 s 44.6 / 11.8 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-451.xml 31.9 / 8.0 s 30.8 / 8.2 s 0.7 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-452.xml 235.6 / 59.5 s 82.1 / 21.7 s 1195.5 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-453.xml 46.2 / 11.9 s 33.2 / 9.0 s 3.2 / 0.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-454.xml 235.1 / 59.6 s 1200.4 / 299.9 s 1195.8 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-455.xml 96.9 / 24.8 s 92.6 / 24.2 s 22.0 / 5.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-456.xml 30.7 / 8.0 s 39.9 / 10.6 s 0.6 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-460.xml 30.3 / 7.9 s 55.6 / 14.5 s 1.6 / 0.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-461.xml 33.3 / 7.8 s 47.7 / 12.5 s 1.4 / 0.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-462.xml 26.9 / 7.1 s 37.8 / 10.1 s 1.7 / 0.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-465.xml 24.2 / 6.4 s 39.1 / 10.4 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-467.xml 33.0 / 8.6 s 40.0 / 10.6 s 1.4 / 0.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-468.xml 39.5 / 10.2 s 31.8 / 8.6 s 0.5 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-469.xml 215.3 / 52.5 s 47.5 / 12.6 s 42.4 / 10.7 s
dard/Waldmann_07_size12/size-12-alpha-3-num-47.xml 235.2 / 59.6 s 52.6 / 13.8 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-470.xml 43.1 / 11.2 s 42.3 / 11.2 s 9.5 / 2.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-472.xml 95.9 / 24.5 s 60.3 / 15.8 s 3.9 / 1.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-473.xml 26.6 / 7.0 s 33.2 / 9.0 s 2.2 / 0.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-474.xml 235.8 / 59.8 s 125.2 / 32.2 s 1196.2 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-475.xml 235.4 / 59.7 s 1188.8 / 300.0 s 1196.4 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-476.xml 37.8 / 9.8 s 29.5 / 8.1 s 3.1 / 0.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-477.xml 36.9 / 9.5 s 36.4 / 9.1 s 0.9 / 0.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-478.xml 68.4 / 17.2 s 61.4 / 16.1 s 7.3 / 1.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-479.xml 34.0 / 8.9 s 43.9 / 11.7 s 7.7 / 2.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-48.xml 41.4 / 10.7 s 40.0 / 10.7 s 3.3 / 0.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-480.xml 36.4 / 9.5 s 40.1 / 10.6 s 1.4 / 0.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-482.xml 33.4 / 8.7 s 74.4 / 19.4 s 1.7 / 0.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-484.xml 34.0 / 8.4 s 25.2 / 6.9 s 0.7 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-485.xml 33.0 / 8.6 s 33.5 / 9.1 s 2.7 / 0.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-487.xml 29.5 / 7.7 s 84.8 / 22.0 s 0.9 / 0.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-488.xml 234.9 / 59.5 s 42.0 / 11.0 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-489.xml 48.1 / 12.4 s 42.4 / 11.3 s 23.5 / 5.9 s
dard/Waldmann_07_size12/size-12-alpha-3-num-49.xml 24.8 / 6.5 s 34.7 / 9.3 s 0.3 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-491.xml 235.4 / 59.7 s 102.8 / 26.4 s 1196.1 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-492.xml 235.2 / 59.6 s 133.6 / 33.7 s 1196.2 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-493.xml 235.4 / 59.7 s 158.5 / 40.0 s 1196.5 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-494.xml 25.4 / 6.7 s 36.5 / 9.7 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-495.xml 46.1 / 11.9 s 43.5 / 11.5 s 68.3 / 17.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-497.xml 235.3 / 59.7 s 56.1 / 14.7 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-498.xml 25.5 / 6.7 s 41.2 / 11.2 s 2.4 / 0.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-499.xml 34.9 / 9.1 s 43.5 / 11.7 s 2.8 / 0.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-502.xml 31.1 / 8.1 s 45.0 / 11.9 s 19.2 / 4.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-503.xml 80.1 / 20.5 s 45.6 / 12.1 s 32.1 / 8.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-506.xml 80.1 / 20.5 s 72.7 / 19.0 s 78.1 / 19.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-507.xml 30.2 / 7.9 s 31.5 / 8.5 s 0.4 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-508.xml 31.6 / 8.3 s 38.8 / 10.3 s 32.8 / 8.3 s
dard/Waldmann_07_size12/size-12-alpha-3-num-51.xml 23.4 / 6.2 s 25.3 / 6.9 s 0.7 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-511.xml 350.1 / 59.7 s 78.5 / 20.3 s 1196.3 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-52.xml 26.9 / 7.1 s 29.1 / 7.9 s 1.6 / 0.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-522.xml 11.0 / 3.0 s 162.3 / 39.8 s 1196.4 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-526.xml 21.2 / 5.6 s 13.0 / 3.7 s 0.3 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-532.xml 24.0 / 6.3 s 17.5 / 4.9 s 0.9 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-535.xml 22.5 / 5.9 s 43.9 / 11.7 s 67.9 / 17.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-536.xml 26.4 / 6.9 s 34.1 / 9.2 s 20.6 / 5.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-540.xml 234.9 / 59.5 s 1189.6 / 300.1 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-541.xml 28.3 / 6.1 s 73.0 / 18.0 s 62.3 / 15.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-543.xml 33.3 / 8.7 s 34.5 / 9.3 s 5.1 / 1.3 s
ard/Waldmann_07_size12/size-12-alpha-3-num-545.xml 21.7 / 5.7 s 63.5 / 16.7 s 3.4 / 0.9 s
ard/Waldmann_07_size12/size-12-alpha-3-num-546.xml 39.7 / 10.3 s 38.2 / 10.1 s 3.7 / 1.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-547.xml 47.4 / 12.2 s 43.1 / 11.5 s 16.1 / 4.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-548.xml 20.8 / 5.5 s 72.7 / 18.8 s 8.2 / 2.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-549.xml 26.1 / 6.9 s 87.4 / 22.7 s 0.9 / 0.2 s
ard/Waldmann_07_size12/size-12-alpha-3-num-550.xml 20.9 / 5.5 s 47.3 / 12.6 s 0.3 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-551.xml 20.1 / 5.3 s 50.2 / 13.2 s 13.5 / 3.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-552.xml 19.9 / 5.3 s 55.5 / 14.6 s 17.8 / 4.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-553.xml 20.8 / 5.5 s 67.0 / 17.7 s 6.5 / 1.6 s
ard/Waldmann_07_size12/size-12-alpha-3-num-556.xml 22.5 / 5.6 s 51.2 / 13.5 s 7.1 / 1.8 s
ard/Waldmann_07_size12/size-12-alpha-3-num-558.xml 235.2 / 59.6 s 296.9 / 75.2 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-559.xml 19.2 / 5.1 s 46.2 / 12.4 s 1.7 / 0.4 s
ard/Waldmann_07_size12/size-12-alpha-3-num-560.xml 19.7 / 5.2 s 41.5 / 11.2 s 155.8 / 39.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-561.xml 20.4 / 5.4 s 13.3 / 3.8 s 0.5 / 0.1 s
ard/Waldmann_07_size12/size-12-alpha-3-num-563.xml 21.2 / 5.6 s 38.2 / 10.1 s 14.5 / 3.7 s
ard/Waldmann_07_size12/size-12-alpha-3-num-564.xml 235.2 / 59.6 s 151.6 / 38.7 s 1195.8 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-565.xml 21.2 / 5.6 s 51.9 / 13.7 s 37.7 / 9.5 s
ard/Waldmann_07_size12/size-12-alpha-3-num-566.xml 235.1 / 59.4 s 817.3 / 204.1 s 1195.7 / 300.0 s
ard/Waldmann_07_size12/size-12-alpha-3-num-568.xml 41.6 / 10.8 s 32.3 / 8.6 s 1.2 / 0.3 s
dard/Waldmann_07_size12/size-12-alpha-3-num-57.xml 32.0 / 8.4 s 3.8 / 1.3 s 0.5 / 0.2 s
dard/Waldmann_07_size12/size-12-alpha-3-num-59.xml 28.7 / 7.5 s 24.3 / 6.7 s 1.1 / 0.3 s
dard/Waldmann_07_size12/size-12-alpha-3-num-61.xml 38.7 / 10.0 s 31.5 / 8.5 s 1.1 / 0.3 s
dard/Waldmann_07_size12/size-12-alpha-3-num-64.xml 33.3 / 8.7 s 7.6 / 2.3 s 0.9 / 0.2 s
dard/Waldmann_07_size12/size-12-alpha-3-num-65.xml 45.5 / 11.5 s 32.4 / 8.6 s 9.5 / 2.4 s
dard/Waldmann_07_size12/size-12-alpha-3-num-66.xml 54.1 / 13.9 s 28.0 / 7.6 s 6.7 / 1.7 s
dard/Waldmann_07_size12/size-12-alpha-3-num-67.xml 21.9 / 5.8 s 24.0 / 6.5 s 0.3 / 0.1 s
ndard/Waldmann_07_size12/size-12-alpha-3-num-7.xml 240.5 / 59.5 s 25.9 / 7.0 s 1195.5 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-70.xml 21.9 / 5.8 s 34.1 / 9.2 s 0.2 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-71.xml 23.5 / 6.2 s 28.2 / 7.7 s 0.3 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-72.xml 22.1 / 5.9 s 28.6 / 7.7 s 0.2 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-74.xml 21.9 / 5.8 s 40.8 / 11.0 s 0.4 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-76.xml 21.4 / 5.6 s 24.9 / 6.9 s 0.2 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-82.xml 31.2 / 8.1 s 45.1 / 12.0 s 0.4 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-83.xml 234.7 / 59.4 s 373.4 / 94.5 s 1195.8 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-84.xml 234.9 / 59.4 s 1189.5 / 300.1 s 1195.7 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-85.xml 79.6 / 20.4 s 44.1 / 11.8 s 19.6 / 4.9 s
dard/Waldmann_07_size12/size-12-alpha-3-num-86.xml 29.9 / 7.7 s 65.8 / 17.2 s 1.2 / 0.3 s
dard/Waldmann_07_size12/size-12-alpha-3-num-88.xml 234.7 / 59.5 s 1192.7 / 300.1 s 1195.7 / 300.0 s
ndard/Waldmann_07_size12/size-12-alpha-3-num-9.xml 22.6 / 6.0 s 25.6 / 6.9 s 0.2 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-90.xml 234.8 / 59.5 s 231.8 / 58.9 s 1195.7 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-91.xml 31.9 / 8.3 s 30.3 / 8.2 s 0.4 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-92.xml 30.0 / 7.8 s 27.2 / 7.3 s 0.7 / 0.2 s
dard/Waldmann_07_size12/size-12-alpha-3-num-94.xml 22.9 / 6.1 s 44.6 / 12.0 s 0.5 / 0.1 s
dard/Waldmann_07_size12/size-12-alpha-3-num-95.xml 191.8 / 59.3 s 565.7 / 142.9 s 1195.4 / 300.0 s
dard/Waldmann_07_size12/size-12-alpha-3-num-98.xml 43.4 / 11.2 s 55.0 / 14.5 s 4.5 / 1.2 s
dard/Waldmann_07_size12/size-12-alpha-3-num-99.xml 7.0 / 2.0 s 1.6 / 0.7 s 1195.6 / 300.0 s
SRS_Standard/Zantema_04/syracuse.xml 263.4 / 60.1 s 1200.4 / 295.3 s 1196.4 / 300.0 s
SRS_Standard/Zantema_04/z001.xml 1.7 / 0.7 s 146.1 / 37.2 s 210.0 / 52.7 s
SRS_Standard/Zantema_04/z002.xml 1.1 / 0.5 s 2.3 / 0.9 s 0.9 / 0.3 s
SRS_Standard/Zantema_04/z003.xml 2.0 / 0.7 s 15.5 / 4.3 s 0.6 / 0.2 s
SRS_Standard/Zantema_04/z004.xml 2.1 / 0.8 s 14.5 / 4.2 s 0.4 / 0.1 s
SRS_Standard/Zantema_04/z005.xml 2.8 / 0.9 s 20.4 / 5.7 s 0.6 / 0.2 s
SRS_Standard/Zantema_04/z006.xml 1.9 / 0.7 s 11.6 / 3.3 s 0.0 / 0.0 s
SRS_Standard/Zantema_04/z007.xml 1.9 / 0.7 s 9.7 / 2.9 s 0.1 / 0.0 s
SRS_Standard/Zantema_04/z008.xml 8.1 / 2.3 s 48.4 / 13.0 s 0.4 / 0.1 s
SRS_Standard/Zantema_04/z009.xml 3.8 / 1.2 s 14.1 / 4.0 s 0.1 / 0.0 s
SRS_Standard/Zantema_04/z010.xml 2.5 / 0.9 s 33.8 / 9.0 s 0.1 / 0.0 s
SRS_Standard/Zantema_04/z011.xml 5.1 / 1.5 s 24.8 / 6.7 s 0.2 / 0.1 s
SRS_Standard/Zantema_04/z012.xml 1.1 / 0.5 s 27.7 / 7.5 s 0.2 / 0.1 s
SRS_Standard/Zantema_04/z013.xml 5.7 / 1.7 s 22.8 / 6.3 s 0.3 / 0.1 s
SRS_Standard/Zantema_04/z014.xml 2.2 / 0.8 s 8.6 / 2.6 s 0.0 / 0.0 s
SRS_Standard/Zantema_04/z015.xml 3.9 / 1.2 s 18.3 / 5.1 s 0.3 / 0.1 s
SRS_Standard/Zantema_04/z017.xml 3.3 / 1.1 s 18.8 / 5.2 s 0.1 / 0.0 s
SRS_Standard/Zantema_04/z018.xml 20.8 / 5.5 s 33.0 / 9.0 s 0.2 / 0.1 s
SRS_Standard/Zantema_04/z019.xml 2.9 / 1.0 s 33.7 / 9.0 s 0.2 / 0.1 s
SRS_Standard/Zantema_04/z020.xml 20.0 / 5.3 s 27.5 / 7.4 s 0.6 / 0.2 s
SRS_Standard/Zantema_04/z021.xml 2.3 / 0.8 s 21.3 / 5.9 s 0.1 / 0.0 s
SRS_Standard/Zantema_04/z022.xml 3.9 / 1.2 s 28.7 / 7.7 s 0.3 / 0.1 s
SRS_Standard/Zantema_04/z023.xml 6.0 / 1.7 s 46.8 / 12.5 s 1.4 / 0.4 s
SRS_Standard/Zantema_04/z024.xml 3.9 / 1.2 s 9.2 / 2.7 s 0.7 / 0.2 s
SRS_Standard/Zantema_04/z025.xml 2.3 / 0.8 s 6.4 / 2.0 s 0.2 / 0.1 s
SRS_Standard/Zantema_04/z026.xml 0.7 / 0.4 s 18.0 / 5.0 s 0.1 / 0.0 s
SRS_Standard/Zantema_04/z027.xml 2.4 / 0.8 s 984.5 / 300.1 s 1195.8 / 300.0 s
SRS_Standard/Zantema_04/z028.xml 30.2 / 7.9 s 57.1 / 14.8 s 7.7 / 2.0 s
SRS_Standard/Zantema_04/z029.xml 2.9 / 1.0 s 628.8 / 300.0 s 1195.8 / 300.0 s
SRS_Standard/Zantema_04/z030.xml 3.0 / 1.0 s 381.7 / 96.8 s 1195.9 / 300.0 s
SRS_Standard/Zantema_04/z031.xml 4.0 / 1.2 s 267.0 / 67.0 s 317.3 / 79.6 s
SRS_Standard/Zantema_04/z032.xml 2.7 / 0.9 s 113.6 / 29.0 s 202.0 / 50.7 s
SRS_Standard/Zantema_04/z033.xml 1.3 / 0.6 s 31.6 / 8.4 s 0.4 / 0.1 s
SRS_Standard/Zantema_04/z034.xml 235.7 / 59.8 s 1191.0 / 300.1 s 1196.2 / 300.0 s
SRS_Standard/Zantema_04/z035.xml 235.5 / 59.8 s 1162.6 / 300.0 s 1195.8 / 300.0 s
SRS_Standard/Zantema_04/z036.xml 4.3 / 1.3 s 69.1 / 17.9 s 1195.9 / 300.0 s
SRS_Standard/Zantema_04/z037.xml 1.5 / 0.6 s 99.5 / 25.7 s 428.7 / 107.6 s
SRS_Standard/Zantema_04/z038.xml 235.9 / 59.9 s 675.7 / 300.1 s 1195.8 / 300.0 s
SRS_Standard/Zantema_04/z039.xml 1.4 / 0.6 s 37.8 / 10.0 s 1.0 / 0.3 s
SRS_Standard/Zantema_04/z040.xml 2.8 / 0.9 s 582.1 / 300.0 s 1196.3 / 300.0 s
SRS_Standard/Zantema_04/z041.xml 235.4 / 59.8 s 575.7 / 300.0 s 538.8 / 135.1 s
SRS_Standard/Zantema_04/z042.xml 0.6 / 0.4 s 1.8 / 0.8 s 1196.1 / 300.0 s
SRS_Standard/Zantema_04/z043.xml 1.6 / 0.6 s 43.3 / 11.4 s 2.6 / 0.7 s
SRS_Standard/Zantema_04/z044.xml 0.6 / 0.4 s 1.3 / 0.6 s 1196.3 / 300.0 s
SRS_Standard/Zantema_04/z045.xml 1.2 / 0.5 s 35.4 / 9.4 s 9.2 / 2.3 s
SRS_Standard/Zantema_04/z046.xml 0.6 / 0.4 s 1.4 / 0.7 s 1196.0 / 300.0 s
SRS_Standard/Zantema_04/z047.xml 1.0 / 0.5 s 13.4 / 3.8 s 1.7 / 0.4 s
SRS_Standard/Zantema_04/z048.xml 1.3 / 0.6 s 25.6 / 6.9 s 1.0 / 0.3 s
SRS_Standard/Zantema_04/z049.xml 0.7 / 0.4 s 1.8 / 0.8 s 0.0 / 0.0 s
SRS_Standard/Zantema_04/z050.xml 0.9 / 0.5 s 1.8 / 0.8 s 0.6 / 0.2 s
SRS_Standard/Zantema_04/z051.xml 0.9 / 0.4 s 20.3 / 5.5 s 0.3 / 0.1 s
SRS_Standard/Zantema_04/z052.xml 0.8 / 0.4 s 1.6 / 0.8 s 0.0 / 0.0 s
SRS_Standard/Zantema_04/z053.xml 0.8 / 0.4 s 4.7 / 1.5 s 0.1 / 0.0 s
SRS_Standard/Zantema_04/z054.xml 1.1 / 0.5 s 48.1 / 12.7 s 38.0 / 9.6 s
SRS_Standard/Zantema_04/z055.xml 0.8 / 0.4 s 1.8 / 0.8 s 0.0 / 0.0 s
SRS_Standard/Zantema_04/z056.xml 1.0 / 0.5 s 34.8 / 9.4 s 2.0 / 0.5 s
SRS_Standard/Zantema_04/z057.xml 0.8 / 0.4 s 4.8 / 1.6 s 6.6 / 1.7 s
SRS_Standard/Zantema_04/z058.xml 0.9 / 0.4 s 15.3 / 4.3 s 0.7 / 0.2 s
SRS_Standard/Zantema_04/z059.xml 1.2 / 0.5 s 31.3 / 8.5 s 1.6 / 0.4 s
SRS_Standard/Zantema_04/z060.xml 0.9 / 0.5 s 41.7 / 11.0 s 2.4 / 0.6 s
SRS_Standard/Zantema_04/z061.xml 0.8 / 0.4 s 1.6 / 0.7 s 0.0 / 0.0 s
SRS_Standard/Zantema_04/z062.xml 0.8 / 0.4 s 2.0 / 0.9 s 0.0 / 0.0 s
SRS_Standard/Zantema_04/z063.xml 0.9 / 0.5 s 2.0 / 0.9 s 0.0 / 0.0 s
SRS_Standard/Zantema_04/z064.xml 0.9 / 0.5 s 16.2 / 4.5 s 0.4 / 0.1 s
SRS_Standard/Zantema_04/z065.xml 1.3 / 0.6 s 23.5 / 6.4 s 0.4 / 0.1 s
SRS_Standard/Zantema_04/z066.xml 12.1 / 3.3 s 45.8 / 12.2 s 7.5 / 2.0 s
SRS_Standard/Zantema_04/z067.xml 8.4 / 2.4 s 29.4 / 7.9 s 1.1 / 0.3 s
SRS_Standard/Zantema_04/z068.xml 16.0 / 4.3 s 42.8 / 11.4 s 5.8 / 1.5 s
SRS_Standard/Zantema_04/z069.xml 0.9 / 0.5 s 31.9 / 8.5 s 2.0 / 0.6 s
SRS_Standard/Zantema_04/z070.xml 40.3 / 10.5 s 37.1 / 9.8 s 22.2 / 5.7 s
SRS_Standard/Zantema_04/z071.xml 7.1 / 2.1 s 16.4 / 4.7 s 0.2 / 0.1 s
SRS_Standard/Zantema_04/z072.xml 4.8 / 1.5 s 23.1 / 6.4 s 0.5 / 0.1 s
SRS_Standard/Zantema_04/z073.xml 235.5 / 59.8 s 7.5 / 2.3 s 1196.6 / 300.0 s
SRS_Standard/Zantema_04/z074.xml 26.6 / 7.1 s 34.2 / 9.3 s 8.7 / 2.2 s
SRS_Standard/Zantema_04/z075.xml 9.2 / 2.6 s 22.7 / 6.3 s 0.3 / 0.1 s
SRS_Standard/Zantema_04/z076.xml 19.0 / 5.1 s 11.8 / 3.4 s 0.1 / 0.0 s
SRS_Standard/Zantema_04/z077.xml 4.5 / 1.4 s 8.7 / 2.6 s 0.0 / 0.0 s
SRS_Standard/Zantema_04/z078.xml 23.6 / 6.3 s 14.2 / 4.1 s 0.2 / 0.1 s
SRS_Standard/Zantema_04/z079.xml 235.4 / 59.8 s 1191.0 / 300.1 s 1196.4 / 300.0 s
SRS_Standard/Zantema_04/z080.xml 62.9 / 16.2 s 32.1 / 8.6 s 1.6 / 0.4 s
SRS_Standard/Zantema_04/z081.xml 5.7 / 1.7 s 16.1 / 4.5 s 0.5 / 0.2 s
SRS_Standard/Zantema_04/z082.xml 10.0 / 2.8 s 27.5 / 7.5 s 3.2 / 0.9 s
SRS_Standard/Zantema_04/z083.xml 15.0 / 4.1 s 33.1 / 8.9 s 9.2 / 2.4 s
SRS_Standard/Zantema_04/z084.xml 2.0 / 0.7 s 13.4 / 3.8 s 0.2 / 0.1 s
SRS_Standard/Zantema_04/z085.xml 1.4 / 0.6 s 2.1 / 0.9 s 0.1 / 0.0 s
SRS_Standard/Zantema_04/z086.xml 28.0 / 7.3 s 44.2 / 11.9 s 0.5 / 0.2 s
SRS_Standard/Zantema_04/z087.xml 3.1 / 1.0 s 47.5 / 12.8 s 74.6 / 18.7 s
SRS_Standard/Zantema_04/z088.xml 25.7 / 6.8 s 16.9 / 4.7 s 12.7 / 3.2 s
SRS_Standard/Zantema_04/z089.xml 6.3 / 1.8 s 37.6 / 10.0 s 0.8 / 0.2 s
SRS_Standard/Zantema_04/z090.xml 250.2 / 59.8 s 200.6 / 51.3 s 1196.2 / 300.0 s
SRS_Standard/Zantema_04/z091.xml 18.7 / 5.0 s 39.3 / 10.6 s 0.6 / 0.2 s
SRS_Standard/Zantema_04/z092.xml 1.5 / 0.6 s 19.9 / 5.5 s 2.0 / 0.6 s
SRS_Standard/Zantema_04/z093.xml 1.5 / 0.6 s 7.8 / 2.4 s 0.1 / 0.1 s
SRS_Standard/Zantema_04/z094.xml 5.1 / 1.5 s 23.4 / 6.5 s 0.2 / 0.1 s
SRS_Standard/Zantema_04/z095.xml 5.1 / 1.5 s 193.0 / 49.3 s 256.6 / 64.4 s
SRS_Standard/Zantema_04/z096.xml 0.6 / 0.4 s 0.9 / 0.6 s 1195.8 / 300.0 s
SRS_Standard/Zantema_04/z097.xml 4.4 / 1.4 s 575.6 / 300.0 s 1195.6 / 300.0 s
SRS_Standard/Zantema_04/z098.xml 2.8 / 0.9 s 222.4 / 56.0 s 1195.8 / 300.0 s
SRS_Standard/Zantema_04/z100.xml 22.3 / 6.0 s 35.8 / 9.8 s 6.2 / 1.6 s
SRS_Standard/Zantema_04/z101.xml 1.9 / 0.7 s 2.0 / 0.9 s 2.7 / 0.7 s
SRS_Standard/Zantema_04/z102.xml 2.1 / 0.8 s 2.3 / 0.9 s 3.6 / 1.0 s
SRS_Standard/Zantema_04/z103.xml 2.5 / 0.9 s 26.4 / 7.1 s 12.2 / 3.1 s
SRS_Standard/Zantema_04/z104.xml 3.6 / 1.2 s 7.5 / 2.3 s 30.2 / 7.6 s
SRS_Standard/Zantema_04/z105.xml 7.1 / 2.1 s 6.7 / 2.1 s 26.6 / 6.8 s
SRS_Standard/Zantema_04/z106.xml 4.2 / 1.3 s 7.3 / 2.2 s 1.1 / 0.3 s
SRS_Standard/Zantema_04/z107.xml 3.0 / 1.0 s 4.0 / 1.4 s 11.1 / 2.8 s
SRS_Standard/Zantema_04/z108.xml 4.0 / 1.3 s 3.4 / 1.2 s 0.4 / 0.1 s
SRS_Standard/Zantema_04/z109.xml 2.6 / 0.9 s 2.6 / 1.0 s 1.1 / 0.3 s
SRS_Standard/Zantema_04/z110.xml 2.7 / 0.9 s 38.1 / 10.2 s 1196.1 / 300.0 s
SRS_Standard/Zantema_04/z111.xml 20.7 / 5.5 s 24.6 / 6.6 s 13.6 / 3.5 s
SRS_Standard/Zantema_04/z112.xml 5.0 / 1.5 s 4.2 / 1.4 s 3.1 / 0.8 s
SRS_Standard/Zantema_04/z113.xml 47.9 / 12.4 s 20.1 / 5.5 s 1195.9 / 300.0 s
SRS_Standard/Zantema_04/z114.xml 2.1 / 0.8 s 32.6 / 9.0 s 3.7 / 1.0 s
SRS_Standard/Zantema_04/z115.xml 4.3 / 1.3 s 13.9 / 4.0 s 0.4 / 0.2 s
SRS_Standard/Zantema_04/z116.xml 2.4 / 0.8 s 3.7 / 1.3 s 0.9 / 0.3 s
SRS_Standard/Zantema_04/z117.xml 6.1 / 1.8 s 58.3 / 15.3 s 14.4 / 3.7 s
SRS_Standard/Zantema_04/z118.xml 4.9 / 1.5 s 8.7 / 2.6 s 1.4 / 0.4 s
SRS_Standard/Zantema_04/z119.xml 9.1 / 2.6 s 37.2 / 10.0 s 1196.3 / 300.0 s
SRS_Standard/Zantema_04/z120.xml 21.7 / 5.8 s 46.2 / 12.2 s 0.6 / 0.2 s
SRS_Standard/Zantema_04/z121.xml 10.0 / 2.8 s 9.8 / 2.8 s 8.3 / 2.1 s
SRS_Standard/Zantema_04/z122.xml 4.4 / 1.4 s 11.9 / 3.5 s 1.6 / 0.5 s
SRS_Standard/Zantema_04/z123.xml 99.9 / 25.6 s 32.7 / 8.8 s 70.8 / 17.8 s
SRS_Standard/Zantema_04/z124.xml 1.0 / 0.5 s 16.0 / 4.5 s 1.2 / 0.4 s
SRS_Standard/Zantema_04/z125.xml 7.4 / 2.1 s 14.6 / 4.1 s 0.2 / 0.1 s
SRS_Standard/Zantema_04/z126.xml 2.7 / 0.9 s 4.3 / 1.5 s 0.5 / 0.2 s
SRS_Standard/Zantema_04/z127.xml 0.5 / 0.4 s 1.2 / 0.6 s 1196.6 / 300.0 s
SRS_Standard/Zantema_04/z128.xml 0.5 / 0.4 s 1.0 / 0.6 s 1196.5 / 300.0 s
SRS_Standard/Zantema_06/01.xml 21.9 / 5.8 s 44.2 / 11.6 s 0.2 / 0.1 s
SRS_Standard/Zantema_06/02.xml 3.7 / 1.2 s 53.1 / 14.1 s 2.0 / 0.5 s
SRS_Standard/Zantema_06/03.xml 140.8 / 35.9 s 214.3 / 53.5 s 227.0 / 57.0 s
SRS_Standard/Zantema_06/04.xml 28.9 / 7.6 s 67.6 / 17.8 s 1196.0 / 300.0 s
SRS_Standard/Zantema_06/05.xml 160.4 / 40.8 s 152.8 / 39.3 s 308.8 / 77.6 s
SRS_Standard/Zantema_06/06.xml 61.0 / 15.7 s 60.3 / 15.9 s 10.9 / 2.8 s
SRS_Standard/Zantema_06/07.xml 235.5 / 59.7 s 1188.9 / 300.1 s 1196.4 / 300.0 s
SRS_Standard/Zantema_06/08.xml 235.4 / 59.7 s 1200.1 / 296.2 s 211.0 / 53.0 s
SRS_Standard/Zantema_06/09.xml 12.7 / 3.5 s 45.8 / 12.2 s 0.6 / 0.2 s
SRS_Standard/Zantema_06/10.xml 32.1 / 8.4 s 55.3 / 14.6 s 1195.8 / 300.0 s
SRS_Standard/Zantema_06/11.xml 33.1 / 8.7 s 53.8 / 14.2 s 103.9 / 26.1 s
SRS_Standard/Zantema_06/12.xml 54.9 / 14.3 s 256.8 / 65.6 s 1196.5 / 300.0 s
SRS_Standard/Zantema_06/13.xml 129.4 / 33.0 s 56.3 / 14.9 s 59.2 / 14.9 s
SRS_Standard/Zantema_06/14.xml 71.7 / 18.4 s 85.0 / 22.3 s 18.6 / 4.7 s
SRS_Standard/Zantema_06/15.xml 145.8 / 37.3 s 86.3 / 22.4 s 3.7 / 1.0 s
SRS_Standard/Zantema_06/16.xml 9.1 / 2.6 s 36.1 / 9.7 s 6.0 / 1.6 s
SRS_Standard/Zantema_06/17.xml 27.1 / 7.1 s 8.6 / 2.6 s 5.8 / 1.6 s
SRS_Standard/Zantema_06/18.xml 236.9 / 60.2 s 7.9 / 2.4 s 9.1 / 2.4 s
SRS_Standard/Zantema_06/abc.xml 24.9 / 6.5 s 45.3 / 12.3 s 0.2 / 0.1 s
SRS_Standard/Zantema_06/beans1.xml 11.9 / 3.3 s 22.6 / 6.2 s 0.7 / 0.2 s
SRS_Standard/Zantema_06/beans2.xml 25.8 / 6.8 s 23.8 / 6.6 s 13.3 / 3.4 s
SRS_Standard/Zantema_06/beans3.xml 54.0 / 14.0 s 28.7 / 7.8 s 1196.3 / 300.0 s
SRS_Standard/Zantema_06/beans4.xml 1.1 / 0.5 s 25.6 / 6.8 s 0.3 / 0.1 s
SRS_Standard/Zantema_06/beans5.xml 23.9 / 6.3 s 37.9 / 10.1 s 5.1 / 1.3 s
SRS_Standard/Zantema_06/beans6.xml 29.1 / 7.5 s 66.2 / 17.2 s 6.0 / 1.5 s
SRS_Standard/Zantema_06/beans7.xml 36.1 / 9.4 s 46.5 / 12.3 s 1195.8 / 300.0 s
SRS_Standard/Zantema_06/loop1.xml 0.6 / 0.4 s 1.0 / 0.6 s 1195.9 / 300.0 s
SRS_Standard/Zantema_06/loop2.xml 0.6 / 0.4 s 1.0 / 0.6 s 1195.9 / 300.0 s
SRS_Standard/Zantema_06/while1.xml 237.8 / 60.4 s 1189.2 / 300.1 s 1196.5 / 300.0 s
SRS_Standard/Zantema_06/while2.xml 5.3 / 1.6 s 14.2 / 4.0 s 0.3 / 0.1 s