Derivational Complexity: TRS Certified

benchmark tct 2018-07-13
scoreloweruppertime
HirokawaMiddeldorp_04/t011.xml 1 1 n2 2.74/0.70
HirokawaMiddeldorp_04/t008.xml 0 1 ∞ 1117.61/296.27
HirokawaMiddeldorp_04/n006.xml 0 1 ∞ 671.99/296.01
HirokawaMiddeldorp_04/n005.xml 0 1 ∞ 870.03/296.03
HirokawaMiddeldorp_04/t004.xml 0 1 ∞ 447.35/296.06
HirokawaMiddeldorp_04/n002.xml 0 1 ∞ 854.25/296.01
HirokawaMiddeldorp_04/t006.xml 1 1 n1 0.14/0.05
HirokawaMiddeldorp_04/t010.xml 1 1 n1 1.36/0.35
HirokawaMiddeldorp_04/t007.xml 1 1 n1 1.33/0.33
HirokawaMiddeldorp_04/n003.xml 0 1 ∞ 709.38/296.11
HirokawaMiddeldorp_04/t012.xml 0 1 ∞ 433.21/296.05
HirokawaMiddeldorp_04/n004.xml 0 1 ∞ 744.31/296.11
HirokawaMiddeldorp_04/t009.xml 0 1 ∞ 1188.13/300.47
HirokawaMiddeldorp_04/n008.xml 0 1 ∞ 760.53/296.01
HirokawaMiddeldorp_04/t000.xml 0 1 ∞ 157.47/60.18
Gebhardt_06/05.xml 0 1 ∞ 1019.08/296.05
Gebhardt_06/03.xml 0 1 ∞ 1100.88/296.32
Gebhardt_06/01.xml 0 1 ∞ 974.48/296.04
Gebhardt_06/12.xml 0 1 ∞ 1093.35/296.17
Gebhardt_06/10.xml 0 1 ∞ 1018.37/296.12
Gebhardt_06/06.xml 0 1 ∞ 1031.52/296.18
Gebhardt_06/02.xml 0 1 ∞ 930.39/296.46
Gebhardt_06/14.xml 0 1 ∞ 556.16/151.36
Gebhardt_06/13.xml 0 1 ∞ 1041.16/296.13
Gebhardt_06/20.xml 0 1 ∞ 1006.36/296.26
Gebhardt_06/04.xml 0 1 ∞ 940.01/296.13
Gebhardt_06/17.xml 0 1 ∞ 1044.27/296.19
Gebhardt_06/08.xml 0 1 ∞ 1078.74/296.21
Gebhardt_06/19.xml 0 1 ∞ 1005.73/296.19
Gebhardt_06/16.xml timeout (wallclock)
Gebhardt_06/09.xml 0 1 ∞ 1001.54/296.13
Gebhardt_06/11.xml 0 1 ∞ 1046.14/296.15
Gebhardt_06/07.xml 0 1 ∞ 1025.69/296.15
Gebhardt_06/18.xml 0 1 ∞ 1066.39/296.14
Gebhardt_06/15.xml 0 1 ∞ 1035.50/296.16
Mixed_SRS/01-oppelt08.xml 0 1 ∞ 1186.20/296.34
Mixed_SRS/05.xml 0 1 ∞ 960.36/296.42
Mixed_SRS/03.xml 0 1 ∞ 169.75/46.98
Mixed_SRS/01.xml 0 1 ∞ 869.25/296.22
Mixed_SRS/touzet.xml StarExec error
Mixed_SRS/06.xml 0 1 ∞ 957.02/296.19
Mixed_SRS/02.xml 0 1 ∞ 987.82/296.23
Mixed_SRS/08-oppelt08.xml 0 1 ∞ 1179.86/296.07
Mixed_SRS/07-oppelt08.xml 0 1 ∞ 1187.06/296.28
Mixed_SRS/3.xml 1 1 n2 143.65/40.29
Mixed_SRS/1.xml pending submission
Mixed_SRS/04.xml 0 1 ∞ 506.33/146.09
Mixed_SRS/08.xml 0 1 ∞ 683.48/296.21
Mixed_SRS/04-oppelt08.xml 0 1 ∞ 1071.44/296.20
Mixed_SRS/03-oppelt08.xml 0 1 ∞ 902.13/296.12
Mixed_SRS/s6.xml 1 1 n2 168.99/42.27
Mixed_SRS/09.xml 0 1 ∞ 870.14/296.24
Mixed_SRS/06-oppelt08.xml pending submission
Mixed_SRS/07.xml 0 1 ∞ 563.81/296.17
Mixed_SRS/2.xml 0 1 ∞ 1065.89/296.12
Mixed_SRS/02-oppelt08.xml 0 1 ∞ 1029.55/296.11
Mixed_SRS/turing_copy.xml 0 1 ∞ 1185.52/296.55
Mixed_SRS/turing_add.xml 1 1 n2 10.82/2.72
Mixed_SRS/4.xml pending submission
Mixed_SRS/turing_mult.xml pending submission
Mixed_SRS/05-oppelt08.xml 0 1 ∞ 1109.35/296.04
ICFP_2010/167391.xml timeout (wallclock)
ICFP_2010/4484.xml 1 1 n1 51.20/12.66
ICFP_2010/26862.xml timeout (wallclock)
ICFP_2010/137956.xml timeout (wallclock)
ICFP_2010/86559.xml StarExec error
ICFP_2010/264033.xml timeout (wallclock)
ICFP_2010/131982.xml timeout (cpu)
ICFP_2010/137809.xml 0 1 ∞ 864.31/191.34
ICFP_2010/4057.xml 1 1 n1 62.69/13.25
ICFP_2010/45757.xml pending submission
ICFP_2010/139256.xml timeout (wallclock)
ICFP_2010/158208.xml timeout (wallclock)
ICFP_2010/5130.xml 1 1 n1 92.09/19.61
ICFP_2010/3770.xml 1 1 n1 24.39/5.54
ICFP_2010/48267.xml 0 1 ∞ 1184.39/296.36
ICFP_2010/4206.xml 0 1 ∞ 493.34/122.16
ICFP_2010/185453.xml pending submission
ICFP_2010/214011.xml 0 1 ∞ 1185.59/296.48
ICFP_2010/96334.xml 1 1 n1 29.34/7.33
ICFP_2010/135604.xml 0 1 ∞ 1187.31/296.51
ICFP_2010/3842.xml 1 1 n1 53.01/12.57
ICFP_2010/41688.xml timeout (wallclock)
ICFP_2010/4979.xml pending submission
ICFP_2010/4487.xml 1 1 n1 52.76/12.29
ICFP_2010/4943.xml 1 1 n1 40.48/10.09
ICFP_2010/3916.xml 1 1 n1 170.49/26.60
ICFP_2010/160068.xml timeout (cpu)
ICFP_2010/4106.xml 1 1 n1 55.63/8.12
ICFP_2010/26741.xml timeout (wallclock)
ICFP_2010/4893.xml 1 1 n1 54.16/12.89
ICFP_2010/149849.xml pending submission
ICFP_2010/136051.xml timeout (cpu)
ICFP_2010/246924.xml pending submission
ICFP_2010/26927.xml 0 1 ∞ 1190.42/296.61
ICFP_2010/26923.xml timeout (wallclock)
ICFP_2010/161533.xml pending submission
ICFP_2010/135659.xml timeout (wallclock)
ICFP_2010/139310.xml timeout (wallclock)
ICFP_2010/136623.xml 0 1 ∞ 1184.70/296.28
ICFP_2010/212062.xml timeout (wallclock)
ICFP_2010/54532.xml pending submission
ICFP_2010/27039.xml timeout (wallclock)
ICFP_2010/132478.xml timeout (wallclock)
ICFP_2010/157275.xml timeout (cpu)
ICFP_2010/4824.xml 1 1 n1 69.97/16.25
ICFP_2010/4938.xml 1 1 n1 83.75/19.35
ICFP_2010/88172.xml pending submission
ICFP_2010/152865.xml timeout (cpu)
ICFP_2010/132920.xml timeout (wallclock)
ICFP_2010/88183.xml pending submission
ICFP_2010/27001.xml pending submission
ICFP_2010/157593.xml timeout (cpu)
ICFP_2010/91218.xml 0 1 ∞ 1184.72/296.31
ICFP_2010/26845.xml timeout (cpu)
ICFP_2010/139163.xml timeout (wallclock)
ICFP_2010/4314.xml pending submission
ICFP_2010/26886.xml timeout (cpu)
ICFP_2010/158477.xml timeout (wallclock)
ICFP_2010/27213.xml pending submission
ICFP_2010/96289.xml 1 1 n1 55.37/13.03
ICFP_2010/26946.xml timeout (cpu)
ICFP_2010/97888.xml timeout (wallclock)
ICFP_2010/4374.xml 1 1 n1 45.82/10.22
ICFP_2010/26871.xml timeout (cpu)
ICFP_2010/43266.xml timeout (wallclock)
ICFP_2010/98623.xml timeout (wallclock)
ICFP_2010/128430.xml timeout (wallclock)
ICFP_2010/41427.xml pending submission
ICFP_2010/160263.xml 0 1 ∞ 1186.96/296.65
ICFP_2010/25422.xml 0 1 ∞ 432.83/85.87
ICFP_2010/96464.xml pending submission
ICFP_2010/26974.xml timeout (wallclock)
ICFP_2010/85079.xml 1 1 n1 85.30/19.28
ICFP_2010/135328.xml timeout (wallclock)
ICFP_2010/97885.xml pending submission
ICFP_2010/231300.xml pending submission
ICFP_2010/140639.xml 0 1 ∞ 1184.10/296.27
ICFP_2010/212693.xml 1 1 n2 77.76/18.97
ICFP_2010/139174.xml pending submission
ICFP_2010/96256.xml 1 1 n1 32.00/8.04
ICFP_2010/166493.xml pending submission
ICFP_2010/259405.xml pending submission
ICFP_2010/4157.xml 1 1 n1 100.74/18.72
ICFP_2010/86816.xml 1 1 n1 86.85/20.09
ICFP_2010/230780.xml pending submission
ICFP_2010/91242.xml pending submission
ICFP_2010/149251.xml pending submission
ICFP_2010/42321.xml pending submission
ICFP_2010/140664.xml pending submission
ICFP_2010/85294.xml 0 1 ∞ 84.16/19.31
ICFP_2010/51842.xml paused
ICFP_2010/26969.xml paused
ICFP_2010/128691.xml paused
ICFP_2010/27009.xml paused
ICFP_2010/165713.xml paused
ICFP_2010/26903.xml paused
ICFP_2010/4953.xml paused
ICFP_2010/133236.xml paused
ICFP_2010/131633.xml paused
ICFP_2010/161917.xml paused
ICFP_2010/128550.xml pending submission
ICFP_2010/211471.xml pending submission
ICFP_2010/39830.xml pending submission
ICFP_2010/57355.xml paused
ICFP_2010/132611.xml paused
ICFP_2010/153090.xml paused
ICFP_2010/159731.xml paused
ICFP_2010/212037.xml paused
ICFP_2010/149633.xml paused
ICFP_2010/133486.xml paused
ICFP_2010/134918.xml paused
ICFP_2010/213719.xml pending submission
ICFP_2010/212263.xml pending submission
ICFP_2010/152694.xml pending submission
ICFP_2010/138269.xml pending submission
ICFP_2010/157436.xml pending submission
ICFP_2010/4964.xml pending submission
ICFP_2010/133010.xml pending submission
ICFP_2010/247906.xml pending submission
ICFP_2010/130472.xml pending submission
ICFP_2010/28464.xml pending submission
ICFP_2010/138468.xml pending submission
ICFP_2010/133159.xml pending submission
ICFP_2010/211857.xml pending submission
ICFP_2010/96523.xml pending submission
ICFP_2010/247504.xml pending submission
ICFP_2010/25711.xml pending submission
ICFP_2010/86452.xml pending submission
ICFP_2010/26993.xml pending submission
ICFP_2010/128280.xml pending submission
ICFP_2010/158152.xml pending submission
ICFP_2010/127538.xml pending submission
ICFP_2010/96198.xml pending submission
ICFP_2010/27026.xml pending submission
ICFP_2010/212795.xml pending submission
ICFP_2010/26116.xml pending submission
ICFP_2010/25743.xml pending submission
ICFP_2010/160475.xml pending submission
ICFP_2010/26919.xml pending submission
ICFP_2010/26683.xml pending submission
ICFP_2010/27019.xml pending submission
ICFP_2010/248060.xml pending submission
ICFP_2010/3989.xml pending submission
ICFP_2010/96029.xml pending submission
ICFP_2010/135505.xml pending submission
ICFP_2010/27013.xml pending submission
ICFP_2010/140631.xml pending submission
ICFP_2010/231149.xml pending submission
ICFP_2010/85477.xml pending submission
ICFP_2010/128486.xml pending submission
ICFP_2010/149415.xml pending submission
ICFP_2010/124791.xml pending submission
ICFP_2010/247020.xml pending submission
ICFP_2010/28838.xml pending submission
ICFP_2010/27131.xml pending submission
ICFP_2010/91254.xml pending submission
ICFP_2010/139018.xml pending submission
ICFP_2010/86745.xml pending submission
ICFP_2010/26110.xml pending submission
ICFP_2010/3533.xml pending submission
ICFP_2010/139036.xml pending submission
ICFP_2010/139180.xml pending submission
ICFP_2010/57453.xml pending submission
ICFP_2010/139378.xml pending submission
ICFP_2010/26951.xml pending submission
ICFP_2010/27030.xml pending submission
ICFP_2010/153288.xml pending submission
ICFP_2010/136571.xml pending submission
ICFP_2010/138254.xml pending submission
ICFP_2010/140359.xml pending submission
ICFP_2010/186023.xml pending submission
ICFP_2010/137136.xml pending submission
ICFP_2010/4920.xml pending submission
ICFP_2010/48374.xml pending submission
ICFP_2010/88208.xml pending submission
ICFP_2010/85380.xml pending submission
ICFP_2010/95952.xml pending submission
ICFP_2010/96176.xml pending submission
ICFP_2010/26954.xml pending submission
ICFP_2010/182946.xml pending submission
ICFP_2010/41378.xml pending submission
ICFP_2010/213051.xml pending submission
ICFP_2010/3831.xml pending submission
ICFP_2010/136693.xml pending submission
ICFP_2010/160427.xml pending submission
ICFP_2010/84977.xml pending submission
ICFP_2010/136934.xml pending submission
ICFP_2010/24100.xml pending submission
ICFP_2010/96119.xml pending submission
ICFP_2010/124211.xml pending submission
ICFP_2010/27036.xml pending submission
ICFP_2010/138142.xml pending submission
ICFP_2010/26127.xml pending submission
ICFP_2010/212117.xml pending submission
ICFP_2010/88156.xml pending submission
ICFP_2010/138330.xml pending submission
ICFP_2010/40976.xml pending submission
ICFP_2010/138477.xml pending submission
ICFP_2010/85039.xml pending submission
ICFP_2010/40093.xml pending submission
ICFP_2010/132235.xml pending submission
ICFP_2010/212534.xml pending submission
ICFP_2010/139214.xml pending submission
ICFP_2010/150630.xml pending submission
ICFP_2010/160254.xml pending submission
ICFP_2010/26910.xml pending submission
ICFP_2010/44332.xml pending submission
ICFP_2010/188674.xml pending submission
ICFP_2010/41838.xml pending submission
ICFP_2010/133532.xml pending submission
ICFP_2010/53216.xml pending submission
ICFP_2010/25736.xml pending submission
ICFP_2010/3268.xml pending submission
ICFP_2010/186919.xml pending submission
ICFP_2010/160398.xml pending submission
ICFP_2010/167240.xml pending submission
ICFP_2010/85874.xml pending submission
ICFP_2010/88283.xml pending submission
ICFP_2010/139025.xml pending submission
ICFP_2010/153444.xml pending submission
ICFP_2010/212189.xml pending submission
ICFP_2010/5109.xml pending submission
ICFP_2010/139185.xml pending submission
ICFP_2010/85267.xml pending submission
ICFP_2010/213865.xml pending submission
ICFP_2010/85782.xml pending submission
ICFP_2010/98362.xml pending submission
ICFP_2010/4200.xml pending submission
ICFP_2010/3467.xml pending submission
ICFP_2010/139100.xml pending submission
ICFP_2010/128182.xml pending submission
ICFP_2010/26882.xml pending submission
ICFP_2010/147437.xml pending submission
ICFP_2010/26132.xml pending submission
ICFP_2010/135714.xml pending submission
ICFP_2010/124269.xml pending submission
ICFP_2010/262998.xml pending submission
ICFP_2010/137087.xml pending submission
ICFP_2010/136463.xml pending submission
ICFP_2010/214183.xml pending submission
ICFP_2010/136534.xml pending submission
ICFP_2010/96104.xml pending submission
ICFP_2010/86025.xml pending submission
ICFP_2010/26123.xml pending submission
ICFP_2010/40708.xml pending submission
ICFP_2010/26943.xml pending submission
ICFP_2010/85920.xml pending submission
ICFP_2010/212026.xml pending submission
ICFP_2010/85749.xml pending submission
ICFP_2010/211960.xml pending submission
ICFP_2010/167433.xml pending submission
ICFP_2010/57799.xml pending submission
ICFP_2010/152786.xml pending submission
ICFP_2010/165975.xml pending submission
ICFP_2010/27003.xml pending submission
ICFP_2010/160660.xml pending submission
ICFP_2010/25731.xml pending submission
ICFP_2010/142142.xml pending submission
ICFP_2010/138089.xml pending submission
ICFP_2010/27023.xml pending submission
ICFP_2010/84886.xml pending submission
ICFP_2010/3865.xml pending submission
ICFP_2010/3995.xml pending submission
ICFP_2010/137621.xml pending submission
ICFP_2010/107193.xml pending submission
ICFP_2010/231604.xml pending submission
ICFP_2010/138993.xml pending submission
ICFP_2010/96156.xml pending submission
ICFP_2010/142146.xml pending submission
ICFP_2010/63142.xml pending submission
ICFP_2010/162075.xml pending submission
ICFP_2010/96485.xml pending submission
ICFP_2010/43621.xml pending submission
ICFP_2010/4819.xml pending submission
ICFP_2010/247992.xml pending submission
ICFP_2010/135601.xml pending submission
ICFP_2010/135782.xml pending submission
ICFP_2010/160210.xml pending submission
ICFP_2010/157150.xml pending submission
ICFP_2010/166001.xml pending submission
ICFP_2010/188296.xml pending submission
ICFP_2010/26130.xml pending submission
ICFP_2010/26960.xml pending submission
ICFP_2010/4282.xml pending submission
ICFP_2010/133827.xml pending submission
ICFP_2010/85721.xml pending submission
ICFP_2010/149297.xml pending submission
ICFP_2010/137404.xml pending submission
ICFP_2010/26998.xml pending submission
ICFP_2010/264370.xml pending submission
ICFP_2010/25416.xml pending submission
ICFP_2010/27235.xml pending submission
ICFP_2010/26069.xml pending submission
ICFP_2010/149319.xml pending submission
ICFP_2010/160462.xml pending submission
ICFP_2010/26291.xml pending submission
ICFP_2010/180915.xml pending submission
ICFP_2010/139190.xml pending submission
ICFP_2010/26916.xml pending submission
ICFP_2010/188261.xml pending submission
ICFP_2010/162016.xml pending submission
ICFP_2010/3786.xml pending submission
ICFP_2010/4074.xml pending submission
ICFP_2010/42170.xml pending submission
ICFP_2010/167087.xml pending submission
ICFP_2010/97917.xml pending submission
ICFP_2010/254704.xml pending submission
ICFP_2010/86636.xml pending submission
ICFP_2010/68322.xml pending submission
ICFP_2010/132622.xml pending submission
ICFP_2010/153170.xml pending submission
ICFP_2010/133079.xml pending submission
ICFP_2010/26986.xml pending submission
ICFP_2010/212612.xml pending submission
ICFP_2010/231230.xml pending submission
ICFP_2010/135115.xml pending submission
ICFP_2010/230948.xml pending submission
ICFP_2010/212043.xml pending submission
ICFP_2010/107236.xml pending submission
ICFP_2010/161864.xml pending submission
ICFP_2010/149713.xml pending submission
ICFP_2010/213437.xml pending submission
ICFP_2010/132720.xml pending submission
ICFP_2010/153371.xml pending submission
ICFP_2010/167742.xml pending submission
ICFP_2010/140659.xml pending submission
ICFP_2010/50904.xml pending submission
ICFP_2010/139167.xml pending submission
ICFP_2010/26978.xml pending submission
ICFP_2010/4412.xml pending submission
ICFP_2010/68535.xml pending submission
ICFP_2010/96403.xml pending submission
ICFP_2010/183803.xml pending submission
ICFP_2010/149277.xml pending submission
ICFP_2010/130962.xml pending submission
ICFP_2010/43603.xml pending submission
ICFP_2010/86052.xml pending submission
ICFP_2010/161593.xml pending submission
ICFP_2010/249459.xml pending submission
ICFP_2010/140287.xml pending submission
ICFP_2010/48686.xml pending submission
ICFP_2010/26186.xml pending submission
ICFP_2010/188004.xml pending submission
ICFP_2010/138194.xml pending submission
ICFP_2010/25409.xml pending submission
ICFP_2010/186617.xml pending submission
ICFP_2010/136323.xml pending submission
ICFP_2010/4934.xml pending submission
ICFP_2010/58194.xml pending submission
ICFP_2010/43987.xml pending submission
ICFP_2010/188238.xml pending submission
ICFP_2010/135936.xml pending submission
ICFP_2010/29415.xml pending submission
ICFP_2010/26931.xml pending submission
ICFP_2010/96065.xml pending submission
ICFP_2010/39849.xml pending submission
ICFP_2010/68989.xml pending submission
ICFP_2010/123759.xml pending submission
ICFP_2010/187837.xml pending submission
ICFP_2010/150188.xml pending submission
ICFP_2010/96642.xml pending submission
ICFP_2010/96438.xml pending submission
ICFP_2010/25726.xml pending submission
ICFP_2010/133432.xml pending submission
ICFP_2010/247254.xml pending submission
ICFP_2010/28643.xml pending submission
ICFP_2010/137623.xml pending submission
ICFP_2010/85834.xml pending submission
ICFP_2010/58125.xml pending submission
ICFP_2010/132848.xml pending submission
ICFP_2010/42683.xml pending submission
ICFP_2010/86577.xml pending submission
ICFP_2010/4991.xml pending submission
ICFP_2010/3633.xml pending submission
ICFP_2010/26875.xml pending submission
ICFP_2010/139004.xml pending submission
ICFP_2010/212364.xml pending submission
ICFP_2010/96563.xml pending submission
ICFP_2010/96086.xml pending submission
ICFP_2010/231480.xml pending submission
ICFP_2010/135410.xml pending submission
ICFP_2010/48328.xml pending submission
ICFP_2010/3705.xml pending submission
ICFP_2010/3746.xml pending submission
ICFP_2010/91233.xml pending submission
ICFP_2010/161519.xml pending submission
ICFP_2010/142157.xml pending submission
ICFP_2010/150725.xml pending submission
ICFP_2010/57278.xml pending submission
ICFP_2010/263745.xml pending submission
ICFP_2010/25395.xml pending submission
ICFP_2010/150468.xml pending submission
ICFP_2010/167041.xml pending submission
ICFP_2010/4051.xml pending submission
ICFP_2010/26976.xml pending submission
ICFP_2010/26957.xml pending submission
ICFP_2010/4248.xml pending submission
ICFP_2010/4840.xml pending submission
ICFP_2010/81452.xml pending submission
ICFP_2010/140654.xml pending submission
ICFP_2010/231378.xml pending submission
ICFP_2010/128515.xml pending submission
ICFP_2010/151247.xml pending submission
ICFP_2010/128620.xml pending submission
ICFP_2010/230819.xml pending submission
ICFP_2010/212892.xml pending submission
ICFP_2010/85590.xml pending submission
ICFP_2010/85345.xml pending submission
ICFP_2010/166558.xml pending submission
ICFP_2010/96302.xml pending submission
ICFP_2010/26965.xml pending submission
ICFP_2010/160234.xml pending submission
ICFP_2010/27006.xml pending submission
ICFP_2010/4970.xml pending submission
ICFP_2010/3498.xml pending submission
ICFP_2010/43650.xml pending submission
ICFP_2010/3450.xml pending submission
ICFP_2010/213281.xml pending submission
ICFP_2010/188696.xml pending submission
ICFP_2010/150258.xml pending submission
ICFP_2010/214091.xml pending submission
ICFP_2010/45720.xml pending submission
ICFP_2010/213407.xml pending submission
ICFP_2010/157713.xml pending submission
ICFP_2010/212308.xml pending submission
ICFP_2010/27015.xml pending submission
ICFP_2010/3589.xml pending submission
ICFP_2010/132833.xml pending submission
ICFP_2010/26879.xml pending submission
ICFP_2010/133881.xml pending submission
ICFP_2010/26226.xml pending submission
ICFP_2010/137715.xml pending submission
ICFP_2010/40540.xml pending submission
ICFP_2010/213537.xml pending submission
ICFP_2010/130304.xml pending submission
ICFP_2010/51424.xml pending submission
ICFP_2010/96274.xml pending submission
ICFP_2010/150815.xml pending submission
ICFP_2010/3680.xml pending submission
ICFP_2010/136601.xml pending submission
ICFP_2010/153034.xml pending submission
ICFP_2010/149915.xml pending submission
ICFP_2010/4036.xml pending submission
ICFP_2010/95858.xml pending submission
ICFP_2010/167636.xml pending submission
ICFP_2010/85675.xml pending submission
ICFP_2010/26949.xml pending submission
ICFP_2010/86499.xml pending submission
ICFP_2010/56144.xml pending submission
ICFP_2010/214261.xml pending submission
ICFP_2010/54097.xml pending submission
ICFP_2010/166465.xml pending submission
ICFP_2010/3817.xml pending submission
ICFP_2010/4141.xml pending submission
ICFP_2010/214320.xml pending submission
ICFP_2010/166848.xml pending submission
ICFP_2010/4181.xml pending submission
ICFP_2010/26103.xml pending submission
ICFP_2010/26980.xml pending submission
ICFP_2010/3562.xml pending submission
ICFP_2010/187254.xml pending submission
ICFP_2010/58301.xml pending submission
ICFP_2010/157161.xml pending submission
ICFP_2010/184957.xml pending submission
ICFP_2010/165755.xml pending submission
ICFP_2010/4002.xml pending submission
ICFP_2010/137316.xml pending submission
ICFP_2010/42466.xml pending submission
ICFP_2010/249386.xml pending submission
ICFP_2010/26972.xml pending submission
ICFP_2010/54622.xml pending submission
ICFP_2010/57852.xml pending submission
ICFP_2010/51577.xml pending submission
ICFP_2010/136562.xml pending submission
ICFP_2010/132969.xml pending submission
ICFP_2010/4827.xml pending submission
ICFP_2010/186810.xml pending submission
ICFP_2010/140318.xml pending submission
ICFP_2010/96612.xml pending submission
ICFP_2010/27034.xml pending submission
ICFP_2010/132782.xml pending submission
ICFP_2010/95899.xml pending submission
ICFP_2010/25808.xml pending submission
ICFP_2010/86526.xml pending submission
ICFP_2010/212094.xml pending submission
ICFP_2010/211639.xml pending submission
ICFP_2010/41843.xml pending submission
ICFP_2010/139236.xml pending submission
ICFP_2010/25734.xml pending submission
ICFP_2010/96370.xml pending submission
ICFP_2010/3729.xml pending submission
ICFP_2010/48262.xml pending submission
ICFP_2010/95978.xml pending submission
ICFP_2010/96673.xml pending submission
ICFP_2010/3939.xml pending submission
ICFP_2010/25849.xml pending submission
ICFP_2010/158620.xml pending submission
ICFP_2010/25388.xml pending submission
ICFP_2010/3336.xml pending submission
ICFP_2010/3385.xml pending submission
ICFP_2010/27028.xml pending submission
ICFP_2010/26933.xml pending submission
ICFP_2010/167452.xml pending submission
ICFP_2010/128056.xml pending submission
ICFP_2010/186222.xml pending submission
ICFP_2010/212480.xml pending submission
ICFP_2010/136354.xml pending submission
ICFP_2010/107220.xml pending submission
ICFP_2010/150067.xml pending submission
ICFP_2010/264405.xml pending submission
ICFP_2010/85650.xml pending submission
ICFP_2010/136497.xml pending submission
ICFP_2010/135652.xml pending submission
ICFP_2010/3856.xml pending submission
ICFP_2010/57132.xml pending submission
ICFP_2010/25775.xml pending submission
ICFP_2010/157388.xml pending submission
ICFP_2010/132540.xml pending submission
ICFP_2010/58221.xml pending submission
ICFP_2010/160364.xml pending submission
ICFP_2010/3930.xml pending submission
ICFP_2010/86617.xml pending submission
ICFP_2010/136280.xml pending submission
ICFP_2010/96417.xml pending submission
ICFP_2010/4029.xml pending submission
ICFP_2010/211915.xml pending submission
ICFP_2010/86857.xml pending submission
ICFP_2010/160324.xml pending submission
ICFP_2010/26940.xml pending submission
ICFP_2010/130161.xml pending submission
ICFP_2010/4816.xml pending submission
ICFP_2010/96224.xml pending submission
ICFP_2010/142150.xml pending submission
ICFP_2010/153243.xml pending submission
ICFP_2010/167310.xml pending submission
ICFP_2010/249663.xml pending submission
ICFP_2010/231043.xml pending submission
ICFP_2010/5011.xml pending submission
ICFP_2010/186775.xml pending submission
ICFP_2010/211978.xml pending submission
ICFP_2010/213218.xml pending submission
ICFP_2010/3861.xml pending submission
ICFP_2010/186973.xml pending submission
ICFP_2010/149361.xml pending submission
ICFP_2010/91210.xml pending submission
ICFP_2010/259625.xml pending submission
ICFP_2010/3927.xml pending submission
ICFP_2010/132864.xml pending submission
ICFP_2010/132957.xml pending submission
ICFP_2010/27280.xml pending submission
ICFP_2010/3762.xml pending submission
ICFP_2010/26105.xml pending submission
ICFP_2010/139282.xml pending submission
ICFP_2010/162244.xml pending submission
ICFP_2010/4854.xml pending submission
ICFP_2010/65081.xml pending submission
ICFP_2010/132738.xml pending submission
ICFP_2010/167526.xml pending submission
ICFP_2010/213611.xml pending submission
ICFP_2010/157603.xml pending submission
ICFP_2010/161930.xml pending submission
ICFP_2010/165936.xml pending submission
ICFP_2010/96239.xml pending submission
ICFP_2010/150839.xml pending submission
ICFP_2010/214169.xml pending submission
ICFP_2010/88143.xml pending submission
ICFP_2010/165904.xml pending submission
ICFP_2010/41865.xml pending submission
ICFP_2010/186333.xml pending submission
ICFP_2010/5076.xml pending submission
ICFP_2010/4847.xml pending submission
ICFP_2010/148543.xml pending submission
ICFP_2010/212774.xml pending submission
ICFP_2010/4046.xml pending submission
ICFP_2010/152949.xml pending submission
ICFP_2010/137799.xml pending submission
ICFP_2010/213560.xml pending submission
ICFP_2010/167294.xml pending submission
ICFP_2010/150877.xml pending submission
ICFP_2010/45970.xml pending submission
ICFP_2010/97901.xml pending submission
ICFP_2010/27134.xml pending submission
ICFP_2010/64160.xml pending submission
ICFP_2010/212421.xml pending submission
ICFP_2010/185628.xml pending submission
ICFP_2010/158342.xml pending submission
ICFP_2010/26896.xml pending submission
ICFP_2010/97929.xml pending submission
ICFP_2010/213147.xml pending submission
ICFP_2010/4017.xml pending submission
ICFP_2010/25192.xml pending submission
ICFP_2010/157466.xml pending submission
ICFP_2010/162095.xml pending submission
ICFP_2010/40033.xml pending submission
ICFP_2010/28293.xml pending submission
CiME_04/filliatre2.xml 0 1 ∞ 967.92/296.10
CiME_04/filliatre.xml timeout (wallclock)
CiME_04/dpqs.xml 1 1 n1 0.56/0.15
Bouchare_06/05.xml 0 1 ∞ 675.61/296.08
Bouchare_06/03.xml 0 1 ∞ 575.33/296.04
Bouchare_06/01.xml 0 1 ∞ 620.04/296.18
Bouchare_06/12.xml 0 1 ∞ 609.36/296.15
Bouchare_06/10.xml 0 1 ∞ 1078.73/296.17
Bouchare_06/06.xml 0 1 ∞ 1130.84/296.13
Bouchare_06/02.xml 1 1 n1 6.25/1.57
Bouchare_06/14.xml 0 1 ∞ 533.38/225.98
Bouchare_06/13.xml 0 1 ∞ 787.00/296.13
Bouchare_06/04.xml 0 1 ∞ 942.05/296.15
Bouchare_06/17.xml pending submission
Bouchare_06/08.xml 0 1 ∞ 1157.15/296.32
Bouchare_06/16.xml 0 1 ∞ 517.77/296.02
Bouchare_06/09.xml 0 1 ∞ 539.81/296.15
Bouchare_06/11.xml 0 1 ∞ 639.26/296.18
Bouchare_06/07.xml pending submission
Bouchare_06/18.xml pending submission
Bouchare_06/15.xml 0 1 ∞ 567.44/296.20
Endrullis_06/linear1.xml 0 1 ∞ 782.46/296.20
Endrullis_06/linear2.xml 0 1 ∞ 1161.09/296.21
Endrullis_06/pair3rotate.xml 0 1 ∞ 675.11/141.34
Endrullis_06/direct.xml 1 1 n1 3.60/0.91
Endrullis_06/quadruple2.xml 1 1 n2 14.98/3.77
Endrullis_06/pair3swap.xml 0 1 ∞ 243.02/64.93
Endrullis_06/quadruple1.xml 1 1 n1 0.47/0.13
Der95/03.xml 1 1 n1 0.26/0.07
Der95/01.xml 1 1 n1 2.71/0.57
Der95/27.xml 1 1 n2 298.27/0.70
Der95/06.xml 0 1 ∞ 980.16/296.03
Der95/02.xml 1 1 n1 0.81/0.19
Der95/20.xml 0 1 ∞ 455.40/296.02
Der95/04.xml 1 1 n1 1.95/0.42
Der95/17.xml 0 1 ∞ 28.62/12.16
Der95/09.xml 1 1 n2 1.16/0.30
Der95/07.xml 1 1 n2 305.76/0.80
Secret_06_TRS/10.xml 1 1 n1 0.79/0.21
Secret_06_TRS/3.xml 0 1 ∞ 614.84/296.12
Secret_06_TRS/7.xml 0 1 ∞ 1031.65/296.14
Secret_06_TRS/tpa02.xml 0 1 ∞ 16.36/5.40
Secret_06_TRS/5.xml 0 1 ∞ 497.80/296.17
Secret_06_TRS/tpa01.xml 0 1 ∞ 16.30/5.67
Secret_06_TRS/2.xml 0 1 ∞ 1146.67/296.27
Secret_06_TRS/8.xml 1 1 n1 2.90/0.54
Secret_06_TRS/tpa03.xml 0 1 ∞ 18.49/6.77
Secret_06_TRS/6.xml 1 1 n3 121.59/4.63
Secret_06_TRS/9.xml 1 1 n1 0.94/0.24
Secret_06_TRS/4.xml 0 1 ∞ 539.10/176.86
Secret_06_SRS/10.xml 0 1 ∞ 1158.04/296.23
Secret_06_SRS/aprove07.xml 0 1 ∞ 1183.41/296.21
Secret_06_SRS/secr2.xml 0 1 ∞ 492.53/296.03
Secret_06_SRS/secr9.xml 0 1 ∞ 622.80/296.17
Secret_06_SRS/aprove04.xml 0 1 ∞ 1184.22/296.20
Secret_06_SRS/multum5.xml 0 1 ∞ 849.91/296.33
Secret_06_SRS/secr3.xml 0 1 ∞ 1025.16/296.15
Secret_06_SRS/5-matchbox.xml 0 1 ∞ 1169.51/296.24
Secret_06_SRS/secr4.xml 0 1 ∞ 727.39/252.85
Secret_06_SRS/3.xml 0 1 ∞ 588.83/296.16
Secret_06_SRS/multum6.xml 0 1 ∞ 1185.33/296.33
Secret_06_SRS/7.xml 0 1 ∞ 1154.41/296.35
Secret_06_SRS/aprove02.xml 0 1 ∞ 1183.52/296.19
Secret_06_SRS/1.xml 0 1 ∞ 1016.02/296.12
Secret_06_SRS/aprove08.xml 0 1 ∞ 1184.00/296.18
Secret_06_SRS/multum2.xml pending submission
Secret_06_SRS/secr10.xml 0 1 ∞ 1072.87/296.12
Secret_06_SRS/multum3.xml 0 1 ∞ 946.10/296.15
Secret_06_SRS/aprove09.xml 0 1 ∞ 1186.63/296.46
Secret_06_SRS/aprove01.xml timeout (wallclock)
Secret_06_SRS/secr7.xml pending submission
Secret_06_SRS/5.xml 0 1 ∞ 856.29/296.22
Secret_06_SRS/3-matchbox.xml 0 1 ∞ 1186.02/296.15
Secret_06_SRS/aprove06.xml pending submission
Secret_06_SRS/aprove03.xml 0 1 ∞ 1183.04/296.19
Secret_06_SRS/2.xml 0 1 ∞ 1031.01/296.23
Secret_06_SRS/2-matchbox.xml 0 1 ∞ 1039.52/296.15
Secret_06_SRS/8.xml 0 1 ∞ 1081.47/296.09
Secret_06_SRS/secr8.xml 0 1 ∞ 898.99/296.15
Secret_06_SRS/secr6.xml 0 1 ∞ 1105.91/296.13
Secret_06_SRS/6.xml 0 1 ∞ 1162.12/296.13
Secret_06_SRS/aprove00.xml timeout (cpu)
Secret_06_SRS/secr5.xml 0 1 ∞ 699.35/296.15
Secret_06_SRS/9.xml 0 1 ∞ 980.97/296.12
Secret_06_SRS/multum1.xml 0 1 ∞ 1082.34/296.30
Secret_06_SRS/aprove05.xml 0 1 ∞ 1183.33/296.21
Secret_06_SRS/secr1.xml 0 1 ∞ 466.34/296.11
Secret_06_SRS/1-matchbox.xml 0 1 ∞ 501.52/296.16
Secret_06_SRS/multum4.xml 1 1 n1 2.22/0.30
Secret_07_TRS/3.xml 0 1 ∞ 313.66/132.58
Secret_07_TRS/7.xml 0 1 ∞ 895.65/296.04
Secret_07_TRS/1.xml 0 1 ∞ 511.89/296.04
Secret_07_TRS/5.xml 0 1 ∞ 958.80/296.08
Secret_07_TRS/2.xml 0 1 ∞ 223.09/79.30
Secret_07_TRS/4.xml pending submission
Secret_07_SRS/num-515.xml 0 1 ∞ 936.80/296.03
Secret_07_SRS/x02.xml 0 1 ∞ 716.17/296.06
Secret_07_SRS/num-520.xml 0 1 ∞ 1159.85/296.18
Secret_07_SRS/x03.xml 0 1 ∞ 655.00/296.19
Secret_07_SRS/x06.xml 0 1 ∞ 820.20/296.10
Secret_07_SRS/num-518.xml timeout (wallclock)
Secret_07_SRS/x05.xml 0 1 ∞ 1012.25/296.11
Secret_07_SRS/dj.xml 0 1 ∞ 550.77/296.07
Secret_07_SRS/num-539.xml 0 1 ∞ 1057.54/296.11
Secret_07_SRS/num-530.xml 0 1 ∞ 962.63/296.14
Secret_07_SRS/x07.xml 0 1 ∞ 968.34/296.27
Secret_07_SRS/num-519.xml 0 1 ∞ 983.79/296.09
Secret_07_SRS/x08.xml 0 1 ∞ 565.27/296.09
Secret_07_SRS/num-521.xml 0 1 ∞ 1074.43/296.14
Secret_07_SRS/num-527.xml 0 1 ∞ 1145.12/296.14
Secret_07_SRS/num-525.xml 0 1 ∞ 1149.92/296.25
Secret_07_SRS/x10.xml 0 1 ∞ 506.05/296.22
Secret_07_SRS/x04.xml 0 1 ∞ 691.92/296.28
Secret_07_SRS/x09.xml 0 1 ∞ 1074.86/296.27
Secret_07_SRS/x01.xml 0 1 ∞ 504.68/296.03
Secret_07_SRS/num-514.xml 0 1 ∞ 1152.33/296.22
Rubio_04/lindau.xml 1 1 n1 0.24/0.07
Rubio_04/gmnp.xml 1 1 n1 1.15/0.31
Rubio_04/bn129.xml 0 1 ∞ 357.02/220.50
Rubio_04/p266.xml 1 1 n1 0.81/0.22
Rubio_04/bintrees.xml 1 1 n2 6.80/1.54
Rubio_04/nestrec.xml 0 1 ∞ 1125.52/296.10
Rubio_04/test829.xml 1 1 n1 0.70/0.18
Rubio_04/koen.xml 1 1 n1 1.22/0.32
Rubio_04/mfp90b.xml 1 1 n1 0.34/0.06
Rubio_04/mfp95.xml 1 1 n1 0.02/0.01
Rubio_04/test4.xml 1 1 n1 0.42/0.11
Rubio_04/lescanne.xml 1 1 n2 3.42/0.88
Rubio_04/aoto.xml 1 1 n1 0.36/0.10
Mixed_TRS/jones1.xml 1 1 n2 2.08/0.53
Mixed_TRS/beans.xml 0 1 ∞ 121.72/33.43
Mixed_TRS/1.xml 1 1 n1 0.03/0.01
Mixed_TRS/jones4.xml 1 1 n1 0.48/0.13
Mixed_TRS/Ex1_Luc04b_GM.xml 0 1 ∞ 1126.09/296.18
Mixed_TRS/2.xml 0 1 ∞ 816.14/296.05
Mixed_TRS/jones6.xml 1 1 n2 3.07/0.78
Mixed_TRS/6.xml 0 1 ∞ 862.45/296.12
Mixed_TRS/4.xml 1 1 n1 0.15/0.04
Secret_05_TRS/teparla2.xml 0 1 ∞ 45.38/19.37
Secret_05_TRS/teparla1.xml 0 1 ∞ 434.13/270.18
Secret_05_TRS/teparla3.xml 0 1 ∞ 39.43/16.37
Secret_05_TRS/ttt2.xml 0 1 ∞ 526.04/296.02
Secret_05_TRS/matchbox2.xml 1 1 n1 26.14/0.18
Secret_05_SRS/aprove2.xml 0 1 ∞ 945.46/296.11
Secret_05_SRS/jambox3.xml pending submission
Secret_05_SRS/jambox4.xml 0 1 ∞ 1108.89/296.21
Secret_05_SRS/matchbox1.xml 0 1 ∞ 516.41/296.16
Secret_05_SRS/aprove3.xml 0 1 ∞ 1141.02/296.14
Secret_05_SRS/aprove1.xml 0 1 ∞ 640.16/296.13
Secret_05_SRS/torpa2.xml 0 1 ∞ 1114.43/296.25
Secret_05_SRS/jambox2.xml 0 1 ∞ 1043.44/296.14
Secret_05_SRS/jambox5.xml 0 1 ∞ 504.57/296.07
Secret_05_SRS/torpa3.xml 1 1 n2 18.95/4.76
Secret_05_SRS/jambox1.xml 0 1 ∞ 969.13/296.16
Secret_05_SRS/aprove4.xml 0 1 ∞ 506.89/296.33
Secret_05_SRS/aprove5.xml 0 1 ∞ 1025.26/296.19
Secret_05_SRS/torpa4.xml 0 1 ∞ 685.88/296.06
Secret_05_SRS/torpa1.xml 0 1 ∞ 1098.78/296.11
Secret_05_SRS/matchbox2.xml 1 1 n1 11.22/1.55
Transformed_CSR_04/OvConsOS_complete_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 0 1 ∞ 986.29/265.58
Transformed_CSR_04/ExIntrod_GM04_GM.xml 1 1 n3 41.04/10.31
Transformed_CSR_04/Ex25_Luc06_Z.xml 1 1 n1 3.64/0.93
Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml 0 1 ∞ 1135.41/296.12
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 1 1 n3 250.13/44.51
Transformed_CSR_04/Ex1_Zan97_FR.xml 0 1 ∞ 1130.86/296.18
Transformed_CSR_04/ExConc_Zan97_C.xml 1 1 n3 32.44/8.13
Transformed_CSR_04/ExProp7_Luc06_iGM.xml 0 1 ∞ 1188.84/296.57
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 1 1 n1 0.52/0.14
Transformed_CSR_04/Ex23_Luc06_FR.xml 1 1 n2 7.57/1.91
Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml 0 1 ∞ 1063.86/296.13
Transformed_CSR_04/ExProp7_Luc06_GM.xml 0 1 ∞ 1117.11/296.17
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml 0 1 ∞ 1180.87/296.50
Transformed_CSR_04/Ex23_Luc06_C.xml pending submission
Transformed_CSR_04/PALINDROME_nokinds_C.xml 0 1 ∞ 1147.64/296.46
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 1 1 n2 10.27/2.48
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 0 1 ∞ 1184.54/296.12
Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/PALINDROME_complete-noand_L.xml 0 1 ∞ 62.60/14.12
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/PEANO_complete_L.xml 0 1 ∞ 0.01/0.01
Transformed_CSR_04/Ex15_Luc06_FR.xml 1 1 n2 4.35/1.11
Transformed_CSR_04/Ex3_2_Luc97_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml 1 1 n2 2.46/0.63
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 0 1 ∞ 1182.09/296.39
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml pending submission
Transformed_CSR_04/PEANO_nosorts_FR.xml pending submission
Transformed_CSR_04/OvConsOS_nosorts_L.xml 0 1 ∞ 0.00/0.00
Transformed_CSR_04/Ex5_7_Luc97_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 0 1 ∞ 671.73/296.49
Transformed_CSR_04/Ex23_Luc06_L.xml 1 1 n1 0.11/0.04
Transformed_CSR_04/Ex25_Luc06_iGM.xml 1 1 n2 19.24/4.80
Transformed_CSR_04/ExIntrod_GM01_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/OvConsOS_nosorts_FR.xml pending submission
Transformed_CSR_04/Ex24_Luc06_L.xml 0 1 ∞ 747.23/296.07
Transformed_CSR_04/ExConc_Zan97_Z.xml 0 1 ∞ 571.15/296.04
Transformed_CSR_04/Ex6_15_AEL02_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 1 1 n1 1.94/0.48
Transformed_CSR_04/Ex1_Luc04b_C.xml 0 1 ∞ 1174.89/296.20
Transformed_CSR_04/Ex14_Luc06_L.xml pending submission
Transformed_CSR_04/Ex1_GL02a_L.xml 0 1 ∞ 867.91/296.02
Transformed_CSR_04/Ex5_Zan97_C.xml 0 1 ∞ 1184.28/296.14
Transformed_CSR_04/Ex5_Zan97_FR.xml 0 1 ∞ 460.70/296.12
Transformed_CSR_04/PALINDROME_nokinds_GM.xml 0 1 ∞ 803.35/296.20
Transformed_CSR_04/OvConsOS_nokinds_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/ExIntrod_GM99_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/PEANO_nosorts_C.xml 0 1 ∞ 1186.23/296.41
Transformed_CSR_04/ExProp7_Luc06_FR.xml 0 1 ∞ 582.69/296.11
Transformed_CSR_04/Ex15_Luc06_L.xml 0 1 ∞ 873.81/296.05
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex23_Luc06_Z.xml 1 1 n1 0.59/0.16
Transformed_CSR_04/PEANO_complete-noand_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/ExIntrod_GM04_Z.xml 0 1 ∞ 1184.94/296.26
Transformed_CSR_04/PALINDROME_nosorts_iGM.xml 0 1 ∞ 765.16/296.16
Transformed_CSR_04/Ex5_Zan97_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex6_Luc98_L.xml 1 1 n1 0.12/0.04
Transformed_CSR_04/Ex1_Luc04b_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/PALINDROME_nosorts_GM.xml 0 1 ∞ 73.98/33.19
Transformed_CSR_04/Ex14_AEGL02_L.xml 0 1 ∞ 745.33/296.02
Transformed_CSR_04/ExIntrod_GM01_Z.xml 0 1 ∞ 1182.92/296.21
Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 0 1 ∞ 1184.15/296.13
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 1 1 n1 0.07/0.03
Transformed_CSR_04/Ex6_9_Luc02c_L.xml pending submission
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 1 1 n1 0.51/0.13
Transformed_CSR_04/PEANO_nokinds-noand_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/MYNAT_nosorts-noand_L.xml 0 1 ∞ 0.00/0.00
Transformed_CSR_04/Ex1_Luc02b_L.xml pending submission
Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml 1 1 n2 20.13/5.05
Transformed_CSR_04/Ex1_Luc04b_GM.xml pending submission
Transformed_CSR_04/MYNAT_complete-noand_L.xml 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex25_Luc06_L.xml pending submission
Transformed_CSR_04/Ex16_Luc06_FR.xml 0 1 ∞ 5.88/2.33
Transformed_CSR_04/Ex23_Luc06_iGM.xml pending submission
Transformed_CSR_04/PEANO_nosorts-noand_L.xml 0 1 ∞ 0.00/0.00
Transformed_CSR_04/PEANO_nosorts_L.xml 0 1 ∞ 0.00/0.02
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 0 1 ∞ 1182.64/296.16
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml pending submission
Transformed_CSR_04/Ex9_Luc06_GM.xml 1 1 n2 7.44/1.88
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml pending submission
Transformed_CSR_04/Ex1_Luc04b_Z.xml pending submission
Transformed_CSR_04/Ex16_Luc06_GM.xml 0 1 ∞ 18.71/6.31
Transformed_CSR_04/Ex9_BLR02_L.xml pending submission
Transformed_CSR_04/PALINDROME_nosorts_L.xml 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex15_Luc06_GM.xml pending submission
Transformed_CSR_04/PEANO_nokinds_L.xml pending submission
Transformed_CSR_04/Ex15_Luc06_Z.xml pending submission
Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml 0 1 ∞ 86.16/20.45
Transformed_CSR_04/ExIntrod_GM04_iGM.xml pending submission
Transformed_CSR_04/Ex6_GM04_C.xml paused
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml paused
Transformed_CSR_04/ExIntrod_GM04_C.xml paused
Transformed_CSR_04/Ex16_Luc06_L.xml paused
Transformed_CSR_04/Ex18_Luc06_L.xml paused
Transformed_CSR_04/ExProp7_Luc06_Z.xml paused
Transformed_CSR_04/Ex8_BLR02_L.xml paused
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml paused
Transformed_CSR_04/PEANO_nosorts_noand_C.xml paused
Transformed_CSR_04/Ex1_Zan97_GM.xml paused
Transformed_CSR_04/Ex6_GM04_iGM.xml pending submission
Transformed_CSR_04/Ex9_Luc06_iGM.xml pending submission
Transformed_CSR_04/OvConsOS_nosorts_C.xml pending submission
Transformed_CSR_04/Ex24_GM04_L.xml paused
Transformed_CSR_04/Ex25_Luc06_FR.xml paused
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml paused
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml paused
Transformed_CSR_04/PALINDROME_nokinds_FR.xml paused
Transformed_CSR_04/ExIntrod_GM01_FR.xml paused
Transformed_CSR_04/ExConc_Zan97_L.xml paused
Transformed_CSR_04/PEANO_nosorts_GM.xml paused
Transformed_CSR_04/Ex9_Luc06_C.xml pending submission
Transformed_CSR_04/Ex15_Luc98_L.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml pending submission
Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml pending submission
Transformed_CSR_04/PALINDROME_complete_L.xml pending submission
Transformed_CSR_04/ExIntrod_GM01_GM.xml pending submission
Transformed_CSR_04/Ex18_Luc06_iGM.xml pending submission
Transformed_CSR_04/Ex4_DLMMU04_L.xml pending submission
Transformed_CSR_04/Ex16_Luc06_iGM.xml pending submission
Transformed_CSR_04/ExConc_Zan97_GM.xml pending submission
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml pending submission
Transformed_CSR_04/Ex23_Luc06_GM.xml pending submission
Transformed_CSR_04/PALINDROME_nokinds_L.xml pending submission
Transformed_CSR_04/OvConsOS_complete-noand_L.xml pending submission
Transformed_CSR_04/ExConc_Zan97_iGM.xml pending submission
Transformed_CSR_04/Ex4_Zan97_L.xml pending submission
Transformed_CSR_04/Ex7_BLR02_L.xml pending submission
Transformed_CSR_04/Ex1_GM99_L.xml pending submission
Transformed_CSR_04/Ex9_Luc06_FR.xml pending submission
Transformed_CSR_04/PALINDROME_nokinds_Z.xml pending submission
Transformed_CSR_04/Ex6_GM04_GM.xml pending submission
Transformed_CSR_04/Ex16_Luc06_C.xml pending submission
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml pending submission
Transformed_CSR_04/Ex15_Luc06_C.xml pending submission
Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml pending submission
Transformed_CSR_04/Ex1_2_Luc02c_L.xml pending submission
Transformed_CSR_04/ExProp7_Luc06_C.xml pending submission
Transformed_CSR_04/Ex1_Zan97_C.xml pending submission
Transformed_CSR_04/ExIntrod_GM01_iGM.xml pending submission
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml pending submission
Transformed_CSR_04/Ex4_7_15_Bor03_C.xml pending submission
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml pending submission
Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml pending submission
Transformed_CSR_04/Ex1_Zan97_iGM.xml pending submission
Transformed_CSR_04/ExIntrod_GM01_C.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml pending submission
Transformed_CSR_04/ExProp7_Luc06_L.xml pending submission
Transformed_CSR_04/Ex1_Luc04b_iGM.xml pending submission
Transformed_CSR_04/Ex18_Luc06_FR.xml pending submission
Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml pending submission
Transformed_CSR_04/Ex1_Zan97_L.xml pending submission
Transformed_CSR_04/PALINDROME_nosorts_C.xml pending submission
Transformed_CSR_04/Ex5_Zan97_iGM.xml pending submission
Transformed_CSR_04/Ex5_Zan97_Z.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml pending submission
Transformed_CSR_04/MYNAT_complete_L.xml pending submission
Transformed_CSR_04/OvConsOS_nosorts_Z.xml pending submission
Transformed_CSR_04/Ex6_GM04_FR.xml pending submission
Transformed_CSR_04/Ex18_Luc06_GM.xml pending submission
Transformed_CSR_04/LISTUTILITIES_complete_L.xml pending submission
Transformed_CSR_04/Ex3_12_Luc96a_L.xml pending submission
Transformed_CSR_04/Ex25_Luc06_C.xml pending submission
Transformed_CSR_04/Ex1_Luc04b_FR.xml pending submission
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml pending submission
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml pending submission
Transformed_CSR_04/Ex1_GM03_L.xml pending submission
Transformed_CSR_04/Ex18_Luc06_C.xml pending submission
Transformed_CSR_04/Ex5_DLMMU04_L.xml pending submission
Transformed_CSR_04/Ex4_7_56_Bor03_L.xml pending submission
Transformed_CSR_04/PALINDROME_nosorts_FR.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml pending submission
Transformed_CSR_04/Ex5_Zan97_GM.xml pending submission
Transformed_CSR_04/Ex6_GM04_L.xml pending submission
Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml pending submission
Transformed_CSR_04/MYNAT_nokinds-noand_L.xml pending submission
Transformed_CSR_04/Ex25_Luc06_GM.xml pending submission
Transformed_CSR_04/PEANO_nosorts_iGM.xml pending submission
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml pending submission
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml pending submission
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml pending submission
Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml pending submission
Transformed_CSR_04/Ex49_GM04_L.xml pending submission
Transformed_CSR_04/Ex2_Luc03b_L.xml pending submission
Transformed_CSR_04/PALINDROME_nokinds_iGM.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml pending submission
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml pending submission
Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml pending submission
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml pending submission
Transformed_CSR_04/ExConc_Zan97_FR.xml pending submission
Transformed_CSR_04/ExIntrod_GM04_L.xml pending submission
Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml pending submission
Transformed_CSR_04/Ex18_Luc06_Z.xml pending submission
Transformed_CSR_04/ExIntrod_GM04_FR.xml pending submission
Transformed_CSR_04/Ex26_Luc03b_L.xml pending submission
Transformed_CSR_04/Ex15_Luc06_iGM.xml pending submission
Transformed_CSR_04/OvConsOS_nosorts_iGM.xml pending submission
Transformed_CSR_04/MYNAT_nokinds_L.xml pending submission
Trafo_06/un08.xml 0 1 ∞ 647.55/296.18
Trafo_06/hom01.xml 0 1 ∞ 1132.40/296.13
Trafo_06/dup06.xml timeout (wallclock)
Trafo_06/un07.xml 0 1 ∞ 1059.73/296.18
Trafo_06/hom03.xml timeout (wallclock)
Trafo_06/dup10.xml StarExec error
Trafo_06/un12.xml 0 1 ∞ 1186.95/296.57
Trafo_06/un14.xml pending submission
Trafo_06/dup08.xml 0 1 ∞ 1187.77/297.04
Trafo_06/dup15.xml 0 1 ∞ 1073.92/296.41
Trafo_06/un10.xml StarExec error
Trafo_06/hom02.xml 0 1 ∞ 637.48/296.42
Trafo_06/un13.xml pending submission
Trafo_06/dup05.xml timeout (cpu)
Trafo_06/dup14.xml 0 1 ∞ 1110.35/296.15
Trafo_06/dup01.xml 0 1 ∞ 1184.30/296.29
Trafo_06/un16.xml timeout (wallclock)
Trafo_06/dup13.xml 0 1 ∞ 1118.86/296.25
Trafo_06/un02.xml 0 1 ∞ 1183.26/296.56
Trafo_06/un04.xml 0 1 ∞ 1164.76/296.37
Trafo_06/un15.xml 0 1 ∞ 1180.22/296.19
Trafo_06/dup12.xml 0 1 ∞ 1139.35/296.16
Trafo_06/un06.xml pending submission
Trafo_06/dup17.xml pending submission
Trafo_06/un05.xml timeout (wallclock)
Trafo_06/un11.xml 0 1 ∞ 1182.94/296.53
Trafo_06/dup16.xml 1 1 n1 31.95/7.86
Trafo_06/dup11.xml pending submission
Trafo_06/un18.xml pending submission
Trafo_06/un09.xml 0 1 ∞ 1183.34/296.42
Trafo_06/un17.xml 0 1 ∞ 1186.67/296.57
Trafo_06/dup09.xml pending submission
Trafo_06/dup07.xml 0 1 ∞ 1181.66/296.27
Waldmann_06/jwtpa2.xml 0 1 ∞ 825.54/296.05
Waldmann_06/jwno4.xml pending submission
Waldmann_06/jwno2.xml 0 1 ∞ 836.37/296.12
Waldmann_06/jwmatchb2.xml 0 1 ∞ 703.84/296.08
Waldmann_06/jwaprove1.xml 0 1 ∞ 1131.91/296.14
Waldmann_06/jwtpa1.xml 1 1 n1 1.97/0.35
Waldmann_06/jwno6.xml 0 1 ∞ 581.31/296.02
Waldmann_06/jwno9.xml 0 1 ∞ 823.77/296.05
Waldmann_06/jwno7.xml 0 1 ∞ 799.05/296.03
Waldmann_06/jwcime2.xml 1 1 n1 0.70/0.18
Waldmann_06/jwno5.xml 0 1 ∞ 830.80/296.02
Waldmann_06/jwno3.xml 0 1 ∞ 815.11/296.03
Waldmann_06/jwaprove2.xml 0 1 ∞ 1153.58/296.09
Waldmann_06/jwmatchb1.xml pending submission
Waldmann_06/jwcime1.xml 0 1 ∞ 529.01/296.11
Waldmann_06/jwttt.xml 0 1 ∞ 833.45/296.04
Waldmann_06/jwno8.xml 0 1 ∞ 819.99/296.02
Waldmann_06/jwno1.xml 0 1 ∞ 593.73/296.03
Various_04/27.xml 1 1 n1 0.19/0.06
Various_04/25.xml 1 1 n1 0.31/0.09
Various_04/23.xml 1 1 n2 2.65/0.67
Various_04/19.xml 0 1 ∞ 28.56/10.70
Various_04/07.xml 1 1 n1 0.35/0.10
Various_04/18.xml StarExec error
Various_04/21.xml 0 1 ∞ 267.83/70.96
Various_04/24.xml 0 1 ∞ 1100.89/296.22
Various_04/15.xml 0 1 ∞ 473.98/296.02
Strategy_removed_AG01/#4.18.xml 0 1 ∞ 1072.09/296.03
Strategy_removed_AG01/#4.17.xml 0 1 ∞ 1184.75/296.32
Strategy_removed_AG01/#4.37.xml 1 1 n1 5.61/0.39
Strategy_removed_AG01/#4.20a.xml 1 1 n2 2.95/0.66
Strategy_removed_AG01/#4.28.xml 0 1 ∞ 1159.72/296.37
Strategy_removed_AG01/#4.25.xml 0 1 ∞ 6.63/2.53
Strategy_removed_AG01/#4.21.xml 1 1 n1 4.54/1.15
Strategy_removed_AG01/#4.20.xml 1 1 n1 0.83/0.21
Strategy_removed_AG01/#4.37a.xml 1 1 n1 1.30/0.34
SK90/2.49.xml 1 1 n1 3.51/0.79
SK90/2.60.xml 1 1 n1 1.11/0.21
SK90/4.12.xml 1 1 n2 2.53/0.55
SK90/4.44.xml 1 1 n1 0.18/0.05
SK90/4.39.xml 1 1 n2 302.50/0.56
SK90/2.47.xml StarExec error
SK90/4.37.xml 1 1 n1 0.22/0.06
SK90/4.19.xml 1 1 n1 0.71/0.15
SK90/4.26.xml 0 1 ∞ 525.00/296.28
SK90/2.31.xml 1 1 n2 4.07/1.03
SK90/2.46.xml 1 1 n2 1.81/0.47
SK90/4.46.xml 1 1 n1 0.11/0.02
SK90/2.03.xml 1 1 n2 3.12/0.71
SK90/2.33.xml pending submission
SK90/4.11.xml 1 1 n2 2.34/0.45
SK90/2.38.xml 1 1 n2 3.52/0.89
SK90/2.50.xml 0 1 ∞ 1152.04/296.09
SK90/4.34.xml 0 1 ∞ 786.08/296.04
SK90/4.47.xml 1 1 n1 8.91/2.38
SK90/4.52.xml 1 1 n2 5.64/1.45
SK90/2.42.xml 0 1 ∞ 139.62/55.49
SK90/2.09.xml 1 1 n2 2.26/0.53
SK90/4.48.xml pending submission
SK90/2.06.xml 1 1 n2 4.40/0.86
SK90/4.30.xml 1 1 n3 25.26/6.34
SK90/2.39.xml 0 1 ∞ 581.04/296.02
SK90/4.01.xml 1 1 n1 2.55/0.52
SK90/4.27.xml pending submission
SK90/4.29.xml pending submission
SK90/4.07.xml 1 1 n2 2.36/0.48
SK90/4.45.xml 1 1 n1 0.31/0.11
SK90/2.54.xml pending submission
SK90/4.16.xml 1 1 n1 2.41/0.63
SK90/4.55.xml 0 1 ∞ 4.55/1.93
SK90/4.08.xml 1 1 n2 1.59/0.37
SK90/2.55.xml pending submission
SK90/4.36.xml pending submission
SK90/2.56.xml 1 1 n1 0.20/0.07
SK90/4.43.xml 0 1 ∞ 321.21/192.84
SK90/4.32.xml 0 1 ∞ 831.28/296.17
SK90/4.25.xml 1 1 n2 5.48/0.63
SK90/2.48.xml 1 1 n1 1.16/0.31
SK90/4.15.xml 1 1 n2 1.90/0.44
SK90/2.41.xml 1 1 n2 10.84/2.40
SK90/4.04.xml pending submission
SK90/2.01.xml 1 1 n2 8.65/2.13
SK90/4.38.xml 1 1 n2 5.97/1.51
SK90/2.53.xml 1 1 n2 50.97/0.55
SK90/2.61.xml 1 1 n1 7.99/1.59
SK90/2.11.xml 1 1 n2 4.98/1.17
SK90/2.10.xml 0 1 ∞ 143.47/73.98
SK90/4.51.xml 1 1 n1 3.96/1.01
SK90/4.33.xml 1 1 n1 0.06/0.02
SK90/4.56.xml 1 1 n1 1.38/0.05
SK90/2.04.xml 1 1 n2 10.52/0.57
SK90/2.14.xml 0 1 ∞ 522.18/296.17
SK90/2.36.xml 1 1 n2 3.89/0.65
SK90/2.02.xml pending submission
SK90/4.35.xml 1 1 n1 0.24/0.07
SK90/2.34.xml 0 1 ∞ 27.97/17.46
Strategy_removed_mixed_05/ex3.xml 0 1 ∞ 628.66/296.01
Strategy_removed_mixed_05/gkg.xml 0 1 ∞ 10.80/3.83
Strategy_removed_mixed_05/n001.xml 0 1 ∞ 595.39/296.01
Strategy_removed_mixed_05/ex5.xml 0 1 ∞ 410.93/296.11
Strategy_removed_mixed_05/ex6.xml 0 1 ∞ 14.07/5.52
Strategy_removed_mixed_05/ex1.xml 0 1 ∞ 611.85/296.10
Strategy_removed_mixed_05/test830.xml 1 1 n1 4.26/0.81
Strategy_removed_mixed_05/ex4.xml 0 1 ∞ 690.15/296.02
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 0 1 ∞ 417.11/296.01
Strategy_removed_CSR_05/Ex6_GM04.xml 0 1 ∞ 648.98/296.11
Strategy_removed_CSR_05/Ex1_Zan97.xml 0 1 ∞ 791.27/296.12
Strategy_removed_CSR_05/ExConc_Zan97.xml 0 1 ∞ 583.39/296.11
Strategy_removed_CSR_05/ExIntrod_GM01.xml 0 1 ∞ 675.47/296.02
Strategy_removed_CSR_05/ExIntrod_GM04.xml 0 1 ∞ 612.97/296.02
Strategy_removed_CSR_05/Ex5_Zan97.xml 0 1 ∞ 448.38/296.01
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 0 1 ∞ 652.54/296.03
Zantema_06/05.xml 0 1 ∞ 1012.90/296.38
Zantema_06/03.xml 0 1 ∞ 1102.10/296.15
Zantema_06/01.xml 0 1 ∞ 819.38/296.16
Zantema_06/12.xml 0 1 ∞ 1174.67/296.40
Zantema_06/10.xml 0 1 ∞ 513.17/296.15
Zantema_06/beans3.xml 0 1 ∞ 1183.89/296.24
Zantema_06/06.xml 0 1 ∞ 1130.44/296.15
Zantema_06/while2.xml 1 1 n3 24.43/6.14
Zantema_06/beans2.xml 0 1 ∞ 1185.39/296.30
Zantema_06/02.xml 0 1 ∞ 1123.82/296.20
Zantema_06/beans7.xml 0 1 ∞ 996.05/296.31
Zantema_06/14.xml 0 1 ∞ 977.44/296.17
Zantema_06/abc.xml 0 1 ∞ 479.25/296.11
Zantema_06/13.xml 0 1 ∞ 895.68/296.11
Zantema_06/beans1.xml 0 1 ∞ 1188.74/296.39
Zantema_06/04.xml 0 1 ∞ 1141.38/296.19
Zantema_06/17.xml 1 1 n2 53.06/12.80
Zantema_06/08.xml 0 1 ∞ 610.23/296.04
Zantema_06/beans4.xml 0 1 ∞ 1184.90/296.21
Zantema_06/loop1.xml 0 1 ∞ 593.63/296.16
Zantema_06/16.xml 1 1 n2 25.88/6.43
Zantema_06/beans5.xml 0 1 ∞ 1116.27/296.16
Zantema_06/09.xml 0 1 ∞ 1185.42/296.08
Zantema_06/11.xml 0 1 ∞ 1090.62/296.57
Zantema_06/07.xml 0 1 ∞ 627.88/296.12
Zantema_06/18.xml 0 1 ∞ 1184.98/296.55
Zantema_06/loop2.xml 0 1 ∞ 1006.09/296.12
Zantema_06/15.xml 0 1 ∞ 1114.96/296.17
Zantema_06/while1.xml 0 1 ∞ 1186.24/296.22
Zantema_06/beans6.xml 0 1 ∞ 1049.26/296.17
Zantema_05/jw44.xml 1 1 n2 48.02/0.62
Zantema_05/jw33.xml 1 1 n1 0.36/0.10
Zantema_05/jw34.xml 1 1 n1 0.04/0.02
Zantema_05/z22.xml 0 1 ∞ 1168.43/296.23
Zantema_05/z16.xml 0 1 ∞ 1177.90/296.36
Zantema_05/z30.xml 1 1 n1 7.95/1.34
Zantema_05/jw27.xml 1 1 n1 0.24/0.07
Zantema_05/jw01.xml 1 1 n1 0.25/0.05
Zantema_05/jw02.xml 1 1 n1 0.02/0.03
Zantema_05/jw12.xml 1 1 n1 1.11/0.23
Zantema_05/jw32.xml 1 1 n1 8.70/0.12
Zantema_05/jw08.xml 1 1 n1 0.13/0.04
Zantema_05/z19.xml 0 1 ∞ 213.51/59.13
Zantema_05/z06.xml 0 1 ∞ 494.65/296.16
Zantema_05/jw38.xml 1 1 n1 0.33/0.09
Zantema_05/z11.xml 0 1 ∞ 445.31/296.01
Zantema_05/jw39.xml 1 1 n1 26.74/0.17
Zantema_05/jw05.xml 1 1 n1 36.37/0.17
Zantema_05/jw06.xml 1 1 n1 28.18/0.18
Zantema_05/z05.xml 0 1 ∞ 749.76/296.13
Zantema_05/jw15.xml 1 1 n1 0.18/0.05
Zantema_05/jw16.xml 1 1 n1 0.76/0.20
Zantema_05/jw11.xml 1 1 n1 0.51/0.13
Zantema_05/z29.xml 0 1 ∞ 94.29/57.08
Zantema_05/jw26.xml 1 1 n1 0.64/0.12
Zantema_05/z02.xml 1 1 n1 1.87/0.28
Zantema_05/jw47.xml 1 1 n2 4.09/1.04
Zantema_05/jw31.xml 1 1 n1 1.16/0.25
Zantema_05/z08.xml 0 1 ∞ 355.84/222.08
Zantema_05/jw09.xml pending submission
Zantema_05/jw22.xml 1 1 n1 1.46/0.20
Zantema_05/z21.xml pending submission
Zantema_05/jw50.xml 1 1 n1 4.51/0.17
Zantema_05/z07.xml 0 1 ∞ 515.09/296.13
Zantema_05/z03.xml 1 1 n1 4.41/1.06
Zantema_05/jw25.xml 1 1 n1 0.14/0.04
Zantema_05/jw20.xml 1 1 n1 1.99/0.25
Zantema_05/jw13.xml 1 1 n1 2.34/0.26
Zantema_05/jw42.xml 1 1 n1 0.76/0.09
Zantema_05/jw29.xml 1 1 n1 2.12/0.22
Zantema_05/jw07.xml 1 1 n1 1.35/0.15
Zantema_05/jw41.xml 1 1 n1 0.21/0.06
Zantema_05/jw35.xml 1 1 n1 1.50/0.20
Zantema_05/z13.xml 0 1 ∞ 1183.82/296.14
Zantema_05/z20.xml 0 1 ∞ 156.67/49.81
Zantema_05/z17.xml 0 1 ∞ 1186.32/296.33
Zantema_05/jw43.xml 1 1 n1 0.08/0.02
Zantema_05/z26.xml 1 1 n2 7.09/1.79
Zantema_05/z01.xml 0 1 ∞ 717.89/296.03
Zantema_05/jw24.xml 1 1 n1 0.04/0.02
Zantema_05/jw28.xml 1 1 n1 0.11/0.04
Zantema_05/jw03.xml 1 1 n1 0.15/0.05
Zantema_05/jw23.xml 1 1 n1 0.40/0.06
Zantema_05/jw19.xml 1 1 n1 0.13/0.04
Zantema_05/jw18.xml pending submission
Zantema_05/jw37.xml pending submission
Zantema_05/jw40.xml 1 1 n1 0.34/0.09
Zantema_05/jw30.xml 1 1 n1 1.73/0.18
Zantema_05/jw14.xml 1 1 n1 0.55/0.12
Zantema_05/z23.xml 0 1 ∞ 1185.93/296.18
Zantema_05/jw36.xml pending submission
Zantema_05/jw04.xml 1 1 n1 3.44/0.29
Zantema_05/z12.xml 0 1 ∞ 936.57/296.41
Zantema_05/z15.xml 0 1 ∞ 1182.75/296.13
Zantema_05/z14.xml 0 1 ∞ 1182.33/296.14
Zantema_05/z24.xml 0 1 ∞ 1184.16/296.23
Zantema_05/z25.xml 0 1 ∞ 920.87/296.12
Zantema_05/jw21.xml 1 1 n1 14.66/0.28
Zantema_05/jw17.xml 1 1 n1 5.62/0.43
Zantema_05/z18.xml 0 1 ∞ 1180.74/296.12
Waldmann_07_size11/size-11-alpha-3-num-12.xml 0 1 ∞ 627.18/296.16
Waldmann_07_size11/size-11-alpha-3-num-20.xml 0 1 ∞ 477.22/296.12
Waldmann_07_size11/size-11-alpha-2-num-4.xml 0 1 ∞ 664.21/296.12
Waldmann_07_size11/size-11-alpha-3-num-21.xml 0 1 ∞ 472.96/296.10
Waldmann_07_size11/size-11-alpha-3-num-3.xml 0 1 ∞ 513.61/296.16
Waldmann_07_size11/size-11-alpha-3-num-8.xml 0 1 ∞ 464.45/296.11
Waldmann_07_size11/size-11-alpha-3-num-1.xml 0 1 ∞ 473.35/296.02
Waldmann_07_size11/size-11-alpha-3-num-4.xml 0 1 ∞ 520.99/296.05
Waldmann_07_size11/size-11-alpha-3-num-5.xml 0 1 ∞ 500.20/296.06
Waldmann_07_size11/size-11-alpha-3-num-14.xml 0 1 ∞ 807.17/296.15
Waldmann_07_size11/size-11-alpha-3-num-2.xml 0 1 ∞ 540.69/296.11
Waldmann_07_size11/size-11-alpha-3-num-11.xml 0 1 ∞ 638.48/296.07
Waldmann_07_size11/size-11-alpha-2-num-3.xml 0 1 ∞ 558.56/296.24
Waldmann_07_size11/size-11-alpha-3-num-6.xml 0 1 ∞ 473.68/296.08
Waldmann_07_size11/size-11-alpha-2-num-2.xml 0 1 ∞ 580.02/296.17
Waldmann_07_size11/size-11-alpha-2-num-1.xml 0 1 ∞ 518.85/296.11
Waldmann_07_size11/size-11-alpha-3-num-16.xml 0 1 ∞ 476.78/296.06
Waldmann_07_size11/size-11-alpha-3-num-17.xml 0 1 ∞ 516.20/296.03
Waldmann_07_size11/size-11-alpha-3-num-13.xml 0 1 ∞ 759.46/296.12
Waldmann_07_size11/size-11-alpha-3-num-15.xml 0 1 ∞ 427.13/296.11
Waldmann_07_size11/size-11-alpha-3-num-7.xml pending submission
Waldmann_07_size11/size-11-alpha-3-num-10.xml 0 1 ∞ 486.78/296.14
Waldmann_07_size11/size-11-alpha-3-num-19.xml 0 1 ∞ 454.82/296.09
Waldmann_07_size11/size-11-alpha-3-num-9.xml pending submission
Waldmann_07_size11/size-11-alpha-3-num-18.xml 0 1 ∞ 431.35/296.02
Waldmann_06_SRS/sym-1.xml 0 1 ∞ 464.77/296.24
Waldmann_06_SRS/sym-4.xml 0 1 ∞ 481.82/296.19
Waldmann_06_SRS/z086-variant.xml 0 1 ∞ 386.23/113.68
Waldmann_06_SRS/uni-1.xml 0 1 ∞ 504.64/296.19
Waldmann_06_SRS/uni-7.xml 0 1 ∞ 1137.10/296.17
Waldmann_06_SRS/pi.xml 1 1 n4 65.76/16.51
Waldmann_06_SRS/jw3.xml 0 1 ∞ 1181.57/296.35
Waldmann_06_SRS/uni-4.xml 0 1 ∞ 788.84/296.22
Waldmann_06_SRS/jw4.xml 0 1 ∞ 1186.36/296.34
Waldmann_06_SRS/uni-3.xml 0 1 ∞ 541.14/296.15
Waldmann_06_SRS/sym-2.xml 0 1 ∞ 507.67/296.09
Waldmann_06_SRS/uni-2.xml 0 1 ∞ 798.95/296.15
Waldmann_06_SRS/jw1.xml 0 1 ∞ 1165.72/296.16
Waldmann_06_SRS/uni-5.xml 0 1 ∞ 503.12/296.12
Waldmann_06_SRS/uni-6.xml pending submission
Waldmann_06_SRS/sym-6.xml 0 1 ∞ 476.68/296.07
Waldmann_06_SRS/jw5.xml 0 1 ∞ 1183.63/296.41
Waldmann_06_SRS/sym-5.xml 0 1 ∞ 955.08/296.26
Waldmann_06_SRS/e.xml 0 1 ∞ 1185.74/296.34
Zantema_04/z127.xml 0 1 ∞ 1096.10/296.32
Zantema_04/z128.xml 0 1 ∞ 1154.07/296.21
Zantema_04/z106.xml 0 1 ∞ 464.34/180.76
Zantema_04/z057.xml 1 1 n1 1.15/0.30
Zantema_04/z107.xml 1 1 n1 10.53/2.64
Zantema_04/z054.xml 1 1 n1 2.39/0.11
Zantema_04/z026.xml 0 1 ∞ 1154.34/296.17
Zantema_04/z010.xml 0 1 ∞ 1163.46/296.03
Zantema_04/z111.xml 0 1 ∞ 745.64/296.16
Zantema_04/z037.xml 1 1 n1 6.63/0.57
Zantema_04/z030.xml 0 1 ∞ 1177.23/296.20
Zantema_04/z113.xml 0 1 ∞ 725.39/174.56
Zantema_04/z011.xml 0 1 ∞ 1160.85/296.16
Zantema_04/z025.xml 1 1 n2 7.37/1.85
Zantema_04/z084.xml 1 1 n2 7.21/1.81
Zantema_04/z007.xml 1 1 n2 2.80/0.71
Zantema_04/z046.xml timeout (wallclock)
Zantema_04/z050.xml pending submission
Zantema_04/z028.xml pending submission
Zantema_04/z058.xml 1 1 n1 2.72/0.12
Zantema_04/z104.xml 1 1 n1 19.48/3.32
Zantema_04/z061.xml pending submission
Zantema_04/z020.xml 0 1 ∞ 1106.38/296.11
Zantema_04/syracuse.xml 0 1 ∞ 1186.58/296.40
Zantema_04/z069.xml 0 1 ∞ 1005.09/296.10
Zantema_04/z055.xml 1 1 n1 0.28/0.08
Zantema_04/z002.xml 1 1 n1 1.72/0.31
Zantema_04/z120.xml 0 1 ∞ 771.58/297.38
Zantema_04/z097.xml pending submission
Zantema_04/z082.xml 0 1 ∞ 772.17/296.04
Zantema_04/z116.xml 1 1 n1 3.00/0.76
Zantema_04/z034.xml 0 1 ∞ 1140.77/296.13
Zantema_04/z014.xml 0 1 ∞ 1036.61/296.14
Zantema_04/z083.xml pending submission
Zantema_04/z005.xml 1 1 n1 1.67/0.40
Zantema_04/z068.xml 0 1 ∞ 658.77/296.09
Zantema_04/z117.xml 0 1 ∞ 478.07/50.27
Zantema_04/z052.xml 1 1 n1 0.63/0.11
Zantema_04/z044.xml 0 1 ∞ 1162.32/296.49
Zantema_04/z062.xml 1 1 n1 0.02/0.01
Zantema_04/z040.xml 1 1 n1 10.30/0.79
Zantema_04/z001.xml timeout (wallclock)
Zantema_04/z038.xml 0 1 ∞ 1175.03/296.14
Zantema_04/z105.xml 0 1 ∞ 484.50/135.08
Zantema_04/z125.xml 0 1 ∞ 630.81/296.06
Zantema_04/z041.xml 0 1 ∞ 1166.47/296.15
Zantema_04/z018.xml pending submission
Zantema_04/z085.xml 1 1 n1 0.72/0.19
Zantema_04/z053.xml 1 1 n1 0.34/0.09
Zantema_04/z042.xml timeout (wallclock)
Zantema_04/z095.xml 1 1 n1 8.63/1.38
Zantema_04/z003.xml 1 1 n1 8.24/1.04
Zantema_04/z048.xml 1 1 n1 2.40/0.41
Zantema_04/z088.xml 0 1 ∞ 841.47/296.18
Zantema_04/z103.xml 0 1 ∞ 919.84/296.07
Zantema_04/z101.xml 1 1 n1 2.04/0.53
Zantema_04/z019.xml 0 1 ∞ 1013.96/296.10
Zantema_04/z077.xml 0 1 ∞ 1092.24/296.32
Zantema_04/z080.xml 0 1 ∞ 488.36/296.07
Zantema_04/z022.xml 0 1 ∞ 945.28/296.24
Zantema_04/z109.xml pending submission
Zantema_04/z012.xml pending submission
Zantema_04/z060.xml 1 1 n1 0.59/0.15
Zantema_04/z121.xml 0 1 ∞ 1006.34/296.15
Zantema_04/z124.xml 1 1 n2 21.94/5.42
Zantema_04/z033.xml 1 1 n1 1.06/0.19
Zantema_04/z076.xml 0 1 ∞ 491.94/296.13
Zantema_04/z056.xml pending submission
Zantema_04/z114.xml 0 1 ∞ 926.97/296.15
Zantema_04/z015.xml pending submission
Zantema_04/z045.xml 1 1 n1 2.03/0.36
Zantema_04/z073.xml 0 1 ∞ 1185.82/296.34
Zantema_04/z031.xml pending submission
Zantema_04/z009.xml 1 1 n3 14.68/3.26
Zantema_04/z013.xml 0 1 ∞ 946.50/296.11
Zantema_04/z123.xml 0 1 ∞ 944.29/251.46
Zantema_04/z098.xml 0 1 ∞ 1144.63/296.22
Zantema_04/z035.xml 0 1 ∞ 1139.79/296.23
Zantema_04/z075.xml 0 1 ∞ 1184.18/296.16
Zantema_04/z119.xml pending submission
Zantema_04/z072.xml pending submission
Zantema_04/z079.xml pending submission
Zantema_04/z066.xml 1 1 n2 16.31/4.11
Zantema_04/z112.xml pending submission
Zantema_04/z118.xml paused
Zantema_04/z074.xml pending submission
Zantema_04/z078.xml pending submission
Zantema_04/z102.xml 1 1 n1 4.65/0.98
Zantema_04/z093.xml 1 1 n2 9.17/1.58
Zantema_04/z092.xml 1 1 n2 17.91/4.50
Zantema_04/z039.xml paused
Zantema_04/z047.xml paused
Zantema_04/z049.xml paused
Zantema_04/z006.xml paused
Zantema_04/z089.xml paused
Zantema_04/z065.xml paused
Zantema_04/z008.xml paused
Zantema_04/z100.xml paused
Zantema_04/z090.xml paused
Zantema_04/z024.xml pending submission
Zantema_04/z096.xml pending submission
Zantema_04/z087.xml pending submission
Zantema_04/z067.xml paused
Zantema_04/z023.xml paused
Zantema_04/z043.xml paused
Zantema_04/z051.xml paused
Zantema_04/z091.xml paused
Zantema_04/z094.xml paused
Zantema_04/z071.xml paused
Zantema_04/z032.xml pending submission
Zantema_04/z017.xml pending submission
Zantema_04/z086.xml pending submission
Zantema_04/z110.xml pending submission
Zantema_04/z122.xml pending submission
Zantema_04/z063.xml pending submission
Zantema_04/z126.xml pending submission
Zantema_04/z115.xml pending submission
Zantema_04/z021.xml pending submission
Zantema_04/z059.xml pending submission
Zantema_04/z070.xml pending submission
Zantema_04/z029.xml pending submission
Zantema_04/z036.xml pending submission
Zantema_04/z004.xml pending submission
Zantema_04/z027.xml pending submission
Zantema_04/z108.xml pending submission
Zantema_04/z064.xml pending submission
Zantema_04/z081.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-108.xml 0 1 ∞ 492.34/296.07
Waldmann_07_size12/size-12-alpha-3-num-507.xml 0 1 ∞ 851.65/296.11
Waldmann_07_size12/size-12-alpha-3-num-279.xml 0 1 ∞ 756.91/296.09
Waldmann_07_size12/size-12-alpha-3-num-85.xml 0 1 ∞ 503.51/296.11
Waldmann_07_size12/size-12-alpha-3-num-202.xml 0 1 ∞ 473.03/296.13
Waldmann_07_size12/size-12-alpha-3-num-487.xml 0 1 ∞ 994.74/296.06
Waldmann_07_size12/size-12-alpha-3-num-199.xml 0 1 ∞ 484.57/296.04
Waldmann_07_size12/size-12-alpha-3-num-200.xml 0 1 ∞ 502.49/296.18
Waldmann_07_size12/size-12-alpha-3-num-32.xml 0 1 ∞ 487.53/296.20
Waldmann_07_size12/size-12-alpha-3-num-461.xml 0 1 ∞ 638.32/296.13
Waldmann_07_size12/size-12-alpha-3-num-101.xml 0 1 ∞ 493.71/296.05
Waldmann_07_size12/size-12-alpha-3-num-113.xml 0 1 ∞ 508.19/296.14
Waldmann_07_size12/size-12-alpha-3-num-255.xml 0 1 ∞ 487.17/296.04
Waldmann_07_size12/size-12-alpha-3-num-170.xml 0 1 ∞ 467.79/296.12
Waldmann_07_size12/size-12-alpha-3-num-160.xml 0 1 ∞ 440.82/296.02
Waldmann_07_size12/size-12-alpha-3-num-399.xml 0 1 ∞ 823.76/296.16
Waldmann_07_size12/size-12-alpha-2-num-1.xml 0 1 ∞ 497.95/296.08
Waldmann_07_size12/size-12-alpha-3-num-503.xml 0 1 ∞ 1137.28/296.12
Waldmann_07_size12/size-12-alpha-3-num-395.xml 0 1 ∞ 636.41/296.13
Waldmann_07_size12/size-12-alpha-3-num-566.xml 0 1 ∞ 496.46/296.01
Waldmann_07_size12/size-12-alpha-3-num-59.xml 0 1 ∞ 465.64/296.11
Waldmann_07_size12/size-12-alpha-3-num-485.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-389.xml 0 1 ∞ 575.02/296.18
Waldmann_07_size12/size-12-alpha-2-num-12.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-560.xml 0 1 ∞ 482.91/296.12
Waldmann_07_size12/size-12-alpha-3-num-194.xml 0 1 ∞ 460.79/296.03
Waldmann_07_size12/size-12-alpha-3-num-198.xml 0 1 ∞ 448.12/296.02
Waldmann_07_size12/size-12-alpha-2-num-6.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-131.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-257.xml 0 1 ∞ 468.63/296.01
Waldmann_07_size12/size-12-alpha-3-num-207.xml 0 1 ∞ 444.12/296.01
Waldmann_07_size12/size-12-alpha-3-num-11.xml 0 1 ∞ 442.58/296.11
Waldmann_07_size12/size-12-alpha-3-num-430.xml 0 1 ∞ 500.06/296.18
Waldmann_07_size12/size-12-alpha-3-num-201.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-480.xml 0 1 ∞ 525.44/296.01
Waldmann_07_size12/size-12-alpha-3-num-64.xml 0 1 ∞ 519.44/296.10
Waldmann_07_size12/size-12-alpha-3-num-263.xml 0 1 ∞ 531.72/296.10
Waldmann_07_size12/size-12-alpha-3-num-367.xml 0 1 ∞ 669.46/296.04
Waldmann_07_size12/size-12-alpha-3-num-369.xml 0 1 ∞ 965.58/296.04
Waldmann_07_size12/size-12-alpha-3-num-478.xml 0 1 ∞ 481.36/296.01
Waldmann_07_size12/size-12-alpha-3-num-48.xml 0 1 ∞ 519.74/296.17
Waldmann_07_size12/size-12-alpha-3-num-241.xml 0 1 ∞ 468.88/296.01
Waldmann_07_size12/size-12-alpha-3-num-448.xml 0 1 ∞ 511.03/296.20
Waldmann_07_size12/size-12-alpha-3-num-217.xml 0 1 ∞ 465.58/296.04
Waldmann_07_size12/size-12-alpha-3-num-495.xml 0 1 ∞ 675.64/296.03
Waldmann_07_size12/size-12-alpha-3-num-291.xml 0 1 ∞ 574.36/296.06
Waldmann_07_size12/size-12-alpha-3-num-476.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-375.xml 0 1 ∞ 393.33/296.02
Waldmann_07_size12/size-12-alpha-3-num-479.xml 0 1 ∞ 501.53/296.13
Waldmann_07_size12/size-12-alpha-3-num-551.xml 0 1 ∞ 491.42/296.13
Waldmann_07_size12/size-12-alpha-3-num-536.xml 0 1 ∞ 1001.95/296.11
Waldmann_07_size12/size-12-alpha-3-num-271.xml 0 1 ∞ 479.94/296.02
Waldmann_07_size12/size-12-alpha-3-num-564.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-249.xml 0 1 ∞ 477.15/296.02
Waldmann_07_size12/size-12-alpha-3-num-434.xml 0 1 ∞ 495.92/296.10
Waldmann_07_size12/size-12-alpha-3-num-83.xml 0 1 ∞ 451.81/296.11
Waldmann_07_size12/size-12-alpha-3-num-335.xml 0 1 ∞ 621.36/296.10
Waldmann_07_size12/size-12-alpha-3-num-30.xml 0 1 ∞ 468.13/296.11
Waldmann_07_size12/size-12-alpha-3-num-120.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-565.xml 0 1 ∞ 475.34/296.12
Waldmann_07_size12/size-12-alpha-3-num-67.xml 0 1 ∞ 501.42/296.09
Waldmann_07_size12/size-12-alpha-3-num-511.xml 0 1 ∞ 1141.28/296.31
Waldmann_07_size12/size-12-alpha-3-num-19.xml 0 1 ∞ 510.26/296.10
Waldmann_07_size12/size-12-alpha-3-num-104.xml 0 1 ∞ 606.56/296.08
Waldmann_07_size12/size-12-alpha-2-num-10.xml 0 1 ∞ 866.83/296.12
Waldmann_07_size12/size-12-alpha-3-num-416.xml 0 1 ∞ 572.00/296.14
Waldmann_07_size12/size-12-alpha-3-num-468.xml 0 1 ∞ 543.61/296.12
Waldmann_07_size12/size-12-alpha-3-num-71.xml 0 1 ∞ 462.09/296.11
Waldmann_07_size12/size-12-alpha-3-num-4.xml 0 1 ∞ 506.55/296.03
Waldmann_07_size12/size-12-alpha-3-num-233.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-374.xml 0 1 ∞ 1107.87/296.16
Waldmann_07_size12/size-12-alpha-3-num-376.xml 0 1 ∞ 483.24/296.11
Waldmann_07_size12/size-12-alpha-3-num-231.xml 0 1 ∞ 560.60/296.05
Waldmann_07_size12/size-12-alpha-2-num-16.xml 0 1 ∞ 510.89/296.05
Waldmann_07_size12/size-12-alpha-3-num-191.xml 0 1 ∞ 492.36/296.04
Waldmann_07_size12/size-12-alpha-3-num-499.xml 0 1 ∞ 518.38/296.13
Waldmann_07_size12/size-12-alpha-3-num-460.xml 0 1 ∞ 618.14/296.04
Waldmann_07_size12/size-12-alpha-3-num-210.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-190.xml 0 1 ∞ 488.88/296.09
Waldmann_07_size12/size-12-alpha-2-num-8.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-474.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-453.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-10.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-378.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-270.xml paused
Waldmann_07_size12/size-12-alpha-3-num-451.xml pending submission
Waldmann_07_size12/size-12-alpha-2-num-22.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-206.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-403.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-429.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-57.xml paused
Waldmann_07_size12/size-12-alpha-3-num-204.xml paused
Waldmann_07_size12/size-12-alpha-3-num-238.xml paused
Waldmann_07_size12/size-12-alpha-3-num-70.xml paused
Waldmann_07_size12/size-12-alpha-3-num-402.xml paused
Waldmann_07_size12/size-12-alpha-3-num-437.xml paused
Waldmann_07_size12/size-12-alpha-3-num-65.xml paused
Waldmann_07_size12/size-12-alpha-3-num-413.xml paused
Waldmann_07_size12/size-12-alpha-3-num-285.xml paused
Waldmann_07_size12/size-12-alpha-3-num-22.xml pending submission
Waldmann_07_size12/size-12-alpha-2-num-20.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-343.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-563.xml paused
Waldmann_07_size12/size-12-alpha-3-num-561.xml paused
Waldmann_07_size12/size-12-alpha-3-num-110.xml paused
Waldmann_07_size12/size-12-alpha-3-num-226.xml paused
Waldmann_07_size12/size-12-alpha-3-num-265.xml paused
Waldmann_07_size12/size-12-alpha-3-num-275.xml paused
Waldmann_07_size12/size-12-alpha-3-num-414.xml paused
Waldmann_07_size12/size-12-alpha-3-num-98.xml pending submission
Waldmann_07_size12/size-12-alpha-2-num-13.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-124.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-133.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-300.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-289.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-164.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-159.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-559.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-454.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-401.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-359.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-239.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-477.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-44.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-86.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-88.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-168.xml pending submission
Waldmann_07_size12/size-12-alpha-2-num-21.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-473.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-7.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-76.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-127.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-350.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-106.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-427.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-341.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-417.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-418.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-13.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-84.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-396.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-247.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-406.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-446.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-368.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-327.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-553.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-392.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-354.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-384.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-209.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-52.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-337.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-47.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-550.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-23.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-502.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-363.xml pending submission
Waldmann_07_size12/size-12-alpha-2-num-14.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-438.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-149.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-219.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-20.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-415.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-303.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-556.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-126.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-546.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-494.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-90.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-3.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-179.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-412.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-475.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-366.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-294.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-163.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-272.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-351.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-373.xml pending submission
Waldmann_07_size12/size-12-alpha-2-num-17.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-470.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-297.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-469.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-213.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-129.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-409.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-92.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-283.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-40.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-178.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-243.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-498.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-15.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-99.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-488.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-107.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-508.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-522.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-330.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-236.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-203.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-186.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-35.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-284.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-105.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-462.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-535.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-9.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-94.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-223.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-122.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-385.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-112.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-282.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-352.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-273.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-128.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-132.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-225.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-177.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-353.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-467.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-356.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-547.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-21.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-299.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-443.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-237.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-360.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-287.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-452.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-493.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-455.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-362.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-304.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-260.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-391.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-484.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-347.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-227.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-309.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-410.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-211.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-100.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-382.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-292.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-95.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-338.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-301.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-158.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-17.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-568.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-431.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-45.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-482.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-232.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-489.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-49.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-377.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-123.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-541.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-288.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-298.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-267.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-31.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-348.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-506.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-181.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-140.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-465.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-114.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-456.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-109.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-540.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-492.xml pending submission
Waldmann_07_size12/size-12-alpha-2-num-3.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-274.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-224.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-386.xml pending submission
Waldmann_07_size12/size-12-alpha-2-num-7.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-195.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-558.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-548.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-339.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-248.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-532.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-435.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-383.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-286.xml pending submission
Waldmann_07_size12/size-12-alpha-2-num-15.xml pending submission
Waldmann_07_size12/size-12-alpha-2-num-2.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-220.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-552.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-16.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-51.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-221.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-346.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-340.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-491.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-152.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-146.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-543.xml pending submission
Waldmann_07_size12/size-12-alpha-2-num-19.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-450.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-441.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-355.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-436.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-439.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-215.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-472.xml pending submission
Waldmann_07_size12/size-12-alpha-2-num-4.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-66.xml pending submission
Waldmann_07_size12/size-12-alpha-2-num-5.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-545.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-497.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-135.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-111.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-41.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-345.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-526.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-281.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-134.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-408.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-1.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-74.xml pending submission
Waldmann_07_size12/size-12-alpha-2-num-18.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-296.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-176.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-361.xml pending submission
Waldmann_07_size12/size-12-alpha-2-num-11.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-328.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-121.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-222.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-72.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-174.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-14.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-91.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-293.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-165.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-549.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-61.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-180.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-125.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-82.xml pending submission
Waldmann_07_size12/size-12-alpha-3-num-400.xml pending submission
AProVE_06/nonterm.xml timeout (wallclock)
AProVE_06/tower_sizeChange.xml 0 1 ∞ 977.36/296.15
AProVE_06/identity.xml 0 1 ∞ 760.87/296.02
AProVE_04/Liveness_WRS.xml 1 1 n3 192.40/48.19
AProVE_04/LPAR_intlist.xml 0 1 ∞ 813.55/296.11
AProVE_04/Liveness8.xml 0 1 ∞ 1184.73/296.33
AProVE_04/Liveness6.3.xml 0 1 ∞ 1184.31/296.17
AProVE_04/Liveness6.4.xml 0 1 ∞ 1185.09/296.13
AProVE_04/Liveness6.1.xml 0 1 ∞ 1172.41/296.31
AProVE_04/Liveness6.2.xml 0 1 ∞ 1185.98/296.21
AProVE_10/ex5.xml 1 1 n1 0.33/0.09
AProVE_08/round_nonterm.xml 0 1 ∞ 148.66/110.50
AProVE_08/round.xml 0 1 ∞ 486.11/296.11
AG01/#3.49.xml 0 1 ∞ 1063.18/296.40
AG01/#3.56.xml 1 1 n2 10.83/2.45
AG01/#3.35.xml 1 1 n2 3.05/0.78
AG01/#3.12.xml 0 1 ∞ 486.25/166.27
AG01/#3.15.xml 1 1 n2 4.68/1.18
AG01/#3.17.xml 0 1 ∞ 120.85/31.77
AG01/#3.51.xml 1 1 n1 0.72/0.19
AG01/#3.26.xml 0 1 ∞ 1064.53/296.25
AG01/#3.7.xml 1 1 n2 11.18/2.82
AG01/#3.33.xml 1 1 n1 0.05/0.02
AG01/#3.24.xml 1 1 n1 0.75/0.20
AG01/#3.37.xml 1 1 n1 0.83/0.22
AG01/#3.17a.xml 0 1 ∞ 240.79/66.79
Applicative_05/Ex2_6_1Composition.xml 1 1 n1 0.70/0.18
Applicative_05/TypeEx5.xml 0 1 ∞ 679.70/296.07
Applicative_05/ReverseLastInit.xml 0 1 ∞ 538.41/296.09
AotoYamada_05/017.xml 1 1 n1 0.54/0.14
AotoYamada_05/005.xml 1 1 n2 7.37/1.75
AotoYamada_05/025.xml 1 1 n1 0.31/0.08
AotoYamada_05/023.xml 1 1 n2 4.20/0.84
228