Derivational Complexity: TRS

benchmark	tct 2018-07-13
	score	lower	upper	time
AProVE_04/Liveness_WRS.xml	timeout (wallclock)
AProVE_04/LPAR_intlist.xml	0	1	∞	375.76/293.02
AProVE_04/Liveness8.xml	1	1	n²	756.89/293.15
AProVE_04/Liveness6.3.xml	0	1	∞	535.34/293.05
AProVE_04/Liveness6.4.xml	0	1	∞	492.46/293.04
AProVE_04/Liveness6.1.xml	0	1	∞	395.67/293.11
AProVE_04/Liveness6.2.xml	1	1	n²	1168.35/289.51
Applicative_05/Ex2_6_1Composition.xml	1	1	n¹	0.27/0.08
Applicative_05/TypeEx5.xml	0	1	∞	129.54/39.83
Applicative_05/ReverseLastInit.xml	1	1	n³	103.45/30.03
AProVE_08/round_nonterm.xml	0	1	∞	486.24/292.78
AProVE_08/round.xml	0	1	∞	65.09/52.58
AProVE_06/nonterm.xml	0	1	∞	819.90/293.11
AProVE_06/tower_sizeChange.xml	0	1	∞	362.37/228.58
AProVE_06/identity.xml	0	1	∞	373.96/278.46
AotoYamada_05/017.xml	1	1	n¹	0.20/0.06
AotoYamada_05/005.xml	1	1	n²	106.27/33.27
AotoYamada_05/025.xml	1	1	n¹	0.21/0.06
AotoYamada_05/023.xml	1	1	n²	91.84/30.08
AG01/#3.49.xml	1	1	n²	228.23/98.14
AG01/#3.56.xml	1	1	n²	157.73/81.03
AG01/#3.35.xml	1	1	n²	87.94/30.10
AG01/#3.12.xml	0	1	∞	371.64/293.11
AG01/#3.15.xml	1	1	n²	83.04/30.23
AG01/#3.17.xml	1	1	n¹⁰	1056.14/291.72
AG01/#3.51.xml	1	1	n¹	17.79/11.37
AG01/#3.26.xml	0	1	∞	650.80/293.35
AG01/#3.7.xml	1	1	n²	76.28/30.11
AG01/#3.33.xml	1	1	n¹	33.72/29.33
AG01/#3.24.xml	1	1	n¹	2.24/0.61
AG01/#3.37.xml	1	1	n¹	1.79/0.47
AG01/#3.17a.xml	1	1	n⁶	371.05/222.75
Gebhardt_06/05.xml	0	1	∞	435.41/293.71
Gebhardt_06/03.xml	0	1	∞	433.65/294.03
Gebhardt_06/01.xml	0	1	∞	398.43/294.11
Gebhardt_06/12.xml	0	1	∞	450.08/294.05
Gebhardt_06/10.xml	0	1	∞	440.39/293.82
Gebhardt_06/06.xml	0	1	∞	416.64/293.72
Gebhardt_06/02.xml	0	1	∞	408.64/294.01
Gebhardt_06/14.xml	0	1	∞	413.45/293.72
Gebhardt_06/13.xml	0	1	∞	455.37/294.10
Gebhardt_06/20.xml	0	1	∞	435.17/293.50
Gebhardt_06/04.xml	0	1	∞	415.48/293.05
Gebhardt_06/17.xml	0	1	∞	444.42/294.10
Gebhardt_06/08.xml	0	1	∞	447.42/294.10
Gebhardt_06/19.xml	0	1	∞	428.60/294.04
Gebhardt_06/16.xml	0	1	∞	411.22/293.46
Gebhardt_06/09.xml	0	1	∞	414.76/293.77
Gebhardt_06/11.xml	pending submission
Gebhardt_06/07.xml	0	1	∞	452.66/293.17
Gebhardt_06/18.xml	0	1	∞	415.48/293.55
Gebhardt_06/15.xml	0	1	∞	457.28/294.04
Endrullis_06/linear1.xml	0	1	∞	116.09/33.41
Endrullis_06/linear2.xml	0	1	∞	179.24/70.83
Endrullis_06/pair3rotate.xml	0	1	∞	206.04/102.91
Endrullis_06/direct.xml	1	1	n¹	14.43/7.82
Endrullis_06/quadruple2.xml	1	1	n¹	12.36/2.83
Endrullis_06/pair3swap.xml	0	1	∞	55.27/14.98
Endrullis_06/quadruple1.xml	1	1	n¹	65.65/46.98
ICFP_2010/167391.xml	0	1	∞	1175.97/294.23
ICFP_2010/4484.xml	StarExec error
ICFP_2010/26862.xml	0	1	∞	1176.61/294.18
ICFP_2010/137956.xml	0	1	∞	1176.03/294.33
ICFP_2010/86559.xml	1	1	n¹	1174.39/295.14
ICFP_2010/264033.xml	1	1	n¹	428.31/294.19
ICFP_2010/131982.xml	1	1	n¹	1176.10/294.12
ICFP_2010/137809.xml	1	1	n¹	1176.55/294.35
ICFP_2010/4057.xml	StarExec error
ICFP_2010/45757.xml	0	1	∞	1181.06/294.32
ICFP_2010/139256.xml	StarExec error
ICFP_2010/158208.xml	0	1	∞	1176.98/294.40
ICFP_2010/5130.xml	pending submission
ICFP_2010/3770.xml	timeout (wallclock)
ICFP_2010/48267.xml	0	1	∞	1174.15/294.16
ICFP_2010/4206.xml	timeout (cpu)
ICFP_2010/185453.xml	pending submission
ICFP_2010/214011.xml	0	1	∞	1163.89/294.06
ICFP_2010/96334.xml	1	1	n¹	1173.95/294.30
ICFP_2010/135604.xml	0	1	∞	1175.79/294.09
ICFP_2010/3842.xml	pending submission
ICFP_2010/41688.xml	0	1	∞	1176.14/294.19
ICFP_2010/4979.xml	pending submission
ICFP_2010/4487.xml	pending submission
ICFP_2010/4943.xml	pending submission
ICFP_2010/3916.xml	pending submission
ICFP_2010/160068.xml	0	1	∞	1175.36/294.23
ICFP_2010/4106.xml	timeout (wallclock)
ICFP_2010/26741.xml	0	1	∞	1176.76/294.35
ICFP_2010/4893.xml	pending submission
ICFP_2010/149849.xml	0	1	∞	1176.74/294.26
ICFP_2010/136051.xml	1	1	n¹	1175.93/294.15
ICFP_2010/246924.xml	timeout (cpu)
ICFP_2010/26927.xml	timeout (cpu)
ICFP_2010/26923.xml	timeout (cpu)
ICFP_2010/161533.xml	timeout (cpu)
ICFP_2010/135659.xml	0	1	∞	1177.09/294.37
ICFP_2010/139310.xml	0	1	∞	1176.02/294.17
ICFP_2010/136623.xml	0	1	∞	1175.69/294.15
ICFP_2010/212062.xml	0	1	∞	1158.99/294.07
ICFP_2010/54532.xml	timeout (cpu)
ICFP_2010/27039.xml	0	1	∞	1176.12/294.22
ICFP_2010/132478.xml	0	1	∞	1175.32/294.07
ICFP_2010/157275.xml	0	1	∞	1174.65/294.23
ICFP_2010/4824.xml	pending submission
ICFP_2010/4938.xml	pending submission
ICFP_2010/88172.xml	0	1	∞	1174.30/294.25
ICFP_2010/152865.xml	0	1	∞	1177.29/294.48
ICFP_2010/132920.xml	pending submission
ICFP_2010/88183.xml	1	1	n¹	1173.33/294.16
ICFP_2010/27001.xml	0	1	∞	1176.22/294.18
ICFP_2010/157593.xml	0	1	∞	1174.09/294.29
ICFP_2010/91218.xml	0	1	∞	1175.43/294.18
ICFP_2010/26845.xml	0	1	∞	1176.36/294.18
ICFP_2010/139163.xml	0	1	∞	1175.78/294.10
ICFP_2010/4314.xml	pending submission
ICFP_2010/26886.xml	timeout (cpu)
ICFP_2010/158477.xml	0	1	∞	1176.85/294.26
ICFP_2010/27213.xml	1	1	n¹	1180.08/295.16
ICFP_2010/96289.xml	1	1	n¹	1172.93/294.18
ICFP_2010/26946.xml	timeout (cpu)
ICFP_2010/97888.xml	0	1	∞	1176.92/294.50
ICFP_2010/4374.xml	pending submission
ICFP_2010/26871.xml	1	1	n¹	1176.41/294.28
ICFP_2010/43266.xml	0	1	∞	1176.27/294.20
ICFP_2010/98623.xml	0	1	∞	1176.47/294.24
ICFP_2010/128430.xml	0	1	∞	1174.88/294.17
ICFP_2010/41427.xml	0	1	∞	1176.33/294.20
ICFP_2010/160263.xml	timeout (wallclock)
ICFP_2010/25422.xml	0	1	∞	1175.87/294.22
ICFP_2010/96464.xml	1	1	n¹	1175.32/295.12
ICFP_2010/26974.xml	0	1	∞	1175.72/294.23
ICFP_2010/85079.xml	1	1	n¹	1172.92/294.03
ICFP_2010/135328.xml	0	1	∞	1176.33/294.08
ICFP_2010/97885.xml	pending submission
ICFP_2010/231300.xml	timeout (cpu)
ICFP_2010/140639.xml	0	1	∞	1172.88/294.15
ICFP_2010/212693.xml	1	1	n¹	662.44/294.19
ICFP_2010/139174.xml	0	1	∞	1175.90/294.11
ICFP_2010/96256.xml	1	1	n¹	1172.55/294.18
ICFP_2010/166493.xml	0	1	∞	1179.79/295.24
ICFP_2010/259405.xml	pending submission
ICFP_2010/4157.xml	pending submission
ICFP_2010/86816.xml	pending submission
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	paused
ICFP_2010/51842.xml	pending submission
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	paused
ICFP_2010/211471.xml	paused
ICFP_2010/39830.xml	paused
ICFP_2010/57355.xml	pending submission
ICFP_2010/132611.xml	pending submission
ICFP_2010/153090.xml	pending submission
ICFP_2010/159731.xml	pending submission
ICFP_2010/212037.xml	paused
ICFP_2010/149633.xml	paused
ICFP_2010/133486.xml	paused
ICFP_2010/134918.xml	paused
ICFP_2010/213719.xml	paused
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
HirokawaMiddeldorp_04/t011.xml	1	1	n²	102.09/30.11
HirokawaMiddeldorp_04/t008.xml	1	1	n²	83.18/30.12
HirokawaMiddeldorp_04/n006.xml	0	1	∞	103.44/30.08
HirokawaMiddeldorp_04/n005.xml	0	1	∞	107.32/30.02
HirokawaMiddeldorp_04/t004.xml	0	1	∞	110.92/33.59
HirokawaMiddeldorp_04/n002.xml	0	1	∞	107.53/30.01
HirokawaMiddeldorp_04/t006.xml	1	1	n¹	0.16/0.04
HirokawaMiddeldorp_04/t010.xml	1	1	n¹	95.24/30.11
HirokawaMiddeldorp_04/t007.xml	1	1	n¹	95.37/30.02
HirokawaMiddeldorp_04/n003.xml	0	1	∞	103.05/30.02
HirokawaMiddeldorp_04/t012.xml	0	1	∞	162.19/76.01
HirokawaMiddeldorp_04/n004.xml	0	1	∞	104.73/30.04
HirokawaMiddeldorp_04/t009.xml	0	1	∞	1169.59/293.08
HirokawaMiddeldorp_04/n008.xml	0	1	∞	106.25/30.02
HirokawaMiddeldorp_04/t000.xml	1	1	n⁴	510.20/291.91
Bouchare_06/05.xml	0	1	∞	169.83/75.06
Bouchare_06/03.xml	0	1	∞	209.85/117.70
Bouchare_06/01.xml	0	1	∞	134.08/46.40
Bouchare_06/12.xml	0	1	∞	291.33/124.76
Bouchare_06/10.xml	0	1	∞	394.08/293.11
Bouchare_06/06.xml	0	1	∞	646.80/293.76
Bouchare_06/02.xml	1	1	n¹	80.61/30.16
Bouchare_06/14.xml	0	1	∞	369.39/293.11
Bouchare_06/13.xml	0	1	∞	417.11/293.04
Bouchare_06/04.xml	0	1	∞	255.10/144.71
Bouchare_06/17.xml	0	1	∞	144.66/59.68
Bouchare_06/08.xml	0	1	∞	728.10/293.54
Bouchare_06/16.xml	0	1	∞	250.46/165.40
Bouchare_06/09.xml	0	1	∞	207.13/114.32
Bouchare_06/11.xml	0	1	∞	351.71/266.97
Bouchare_06/07.xml	pending submission
Bouchare_06/18.xml	0	1	∞	455.81/293.02
Bouchare_06/15.xml	0	1	∞	316.37/218.79
AProVE_10/ex5.xml	1	1	n¹	0.75/0.21
Der95/03.xml	1	1	n¹	0.29/0.10
Der95/01.xml	1	1	n¹	1.56/0.41
Der95/27.xml	1	1	n²	91.14/30.11
Der95/06.xml	0	1	∞	379.31/293.05
Der95/02.xml	1	1	n¹	0.28/0.09
Der95/20.xml	0	1	∞	141.25/54.47
Der95/04.xml	1	1	n¹	80.57/30.12
Der95/17.xml	1	1	n⁶	118.07/38.19
Der95/09.xml	1	1	n²	88.28/30.11
Der95/07.xml	1	1	n²	234.78/99.19
CiME_04/filliatre2.xml	0	1	∞	380.46/293.12
CiME_04/filliatre.xml	0	1	∞	408.22/293.04
CiME_04/dpqs.xml	1	1	n¹	9.03/4.86
Secret_06_SRS/10.xml	0	1	∞	513.21/293.04
Secret_06_SRS/aprove07.xml	0	1	∞	1179.75/295.07
Secret_06_SRS/secr2.xml	0	1	∞	121.14/35.38
Secret_06_SRS/secr9.xml	0	1	∞	208.48/79.77
Secret_06_SRS/aprove04.xml	timeout (cpu)
Secret_06_SRS/multum5.xml	0	1	∞	424.84/293.75
Secret_06_SRS/secr3.xml	0	1	∞	778.86/293.18
Secret_06_SRS/5-matchbox.xml	0	1	∞	770.05/293.62
Secret_06_SRS/secr4.xml	0	1	∞	198.41/90.24
Secret_06_SRS/3.xml	0	1	∞	138.54/49.53
Secret_06_SRS/multum6.xml	0	1	∞	763.72/293.98
Secret_06_SRS/7.xml	0	1	∞	821.73/294.01
Secret_06_SRS/aprove02.xml	0	1	∞	1175.08/294.02
Secret_06_SRS/1.xml	0	1	∞	513.62/292.78
Secret_06_SRS/aprove08.xml	0	1	∞	1172.61/293.26
Secret_06_SRS/multum2.xml	0	1	∞	152.37/54.43
Secret_06_SRS/secr10.xml	0	1	∞	1051.24/293.86
Secret_06_SRS/multum3.xml	0	1	∞	207.74/66.38
Secret_06_SRS/aprove09.xml	pending submission
Secret_06_SRS/aprove01.xml	0	1	∞	1022.23/293.16
Secret_06_SRS/secr7.xml	0	1	∞	179.97/78.87
Secret_06_SRS/5.xml	0	1	∞	147.61/59.15
Secret_06_SRS/3-matchbox.xml	1	1	n⁵	764.73/294.03
Secret_06_SRS/aprove06.xml	timeout (cpu)
Secret_06_SRS/aprove03.xml	0	1	∞	1178.83/295.29
Secret_06_SRS/2.xml	0	1	∞	325.77/197.11
Secret_06_SRS/2-matchbox.xml	0	1	∞	824.52/292.79
Secret_06_SRS/8.xml	0	1	∞	422.37/293.77
Secret_06_SRS/secr8.xml	0	1	∞	375.27/267.78
Secret_06_SRS/secr6.xml	0	1	∞	689.37/293.13
Secret_06_SRS/6.xml	pending submission
Secret_06_SRS/aprove00.xml	timeout (wallclock)
Secret_06_SRS/secr5.xml	0	1	∞	208.37/71.24
Secret_06_SRS/9.xml	0	1	∞	227.25/75.47
Secret_06_SRS/multum1.xml	0	1	∞	254.14/84.56
Secret_06_SRS/aprove05.xml	0	1	∞	1180.12/295.07
Secret_06_SRS/secr1.xml	0	1	∞	98.87/30.06
Secret_06_SRS/1-matchbox.xml	0	1	∞	166.98/73.85
Secret_06_SRS/multum4.xml	1	1	n¹	1174.48/294.07
Secret_05_TRS/teparla2.xml	0	1	∞	36.67/27.69
Secret_05_TRS/teparla1.xml	0	1	∞	353.85/226.71
Secret_05_TRS/teparla3.xml	0	1	∞	125.19/35.85
Secret_05_TRS/ttt2.xml	0	1	∞	110.39/30.03
Secret_05_TRS/matchbox2.xml	1	1	n¹	439.64/293.11
Secret_07_SRS/num-515.xml	0	1	∞	206.64/90.00
Secret_07_SRS/x02.xml	0	1	∞	185.31/100.62
Secret_07_SRS/num-520.xml	0	1	∞	647.27/294.01
Secret_07_SRS/x03.xml	0	1	∞	467.91/293.32
Secret_07_SRS/x06.xml	0	1	∞	399.58/293.04
Secret_07_SRS/num-518.xml	0	1	∞	563.96/293.08
Secret_07_SRS/x05.xml	0	1	∞	479.18/293.10
Secret_07_SRS/dj.xml	0	1	∞	110.92/30.02
Secret_07_SRS/num-539.xml	0	1	∞	215.64/86.46
Secret_07_SRS/num-530.xml	0	1	∞	228.24/106.32
Secret_07_SRS/x07.xml	0	1	∞	370.10/177.00
Secret_07_SRS/num-519.xml	0	1	∞	143.13/41.45
Secret_07_SRS/x08.xml	0	1	∞	503.07/290.94
Secret_07_SRS/num-521.xml	0	1	∞	468.97/293.68
Secret_07_SRS/num-527.xml	0	1	∞	461.85/197.27
Secret_07_SRS/num-525.xml	0	1	∞	546.30/256.95
Secret_07_SRS/x10.xml	0	1	∞	106.45/30.04
Secret_07_SRS/x04.xml	0	1	∞	228.92/84.51
Secret_07_SRS/x09.xml	pending submission
Secret_07_SRS/x01.xml	0	1	∞	200.35/116.13
Secret_07_SRS/num-514.xml	0	1	∞	616.18/293.49
Secret_06_TRS/10.xml	1	1	n¹	130.68/77.52
Secret_06_TRS/3.xml	0	1	∞	127.88/40.85
Secret_06_TRS/7.xml	1	1	n²	145.60/65.22
Secret_06_TRS/tpa02.xml	0	1	∞	100.14/30.08
Secret_06_TRS/5.xml	0	1	∞	121.73/38.80
Secret_06_TRS/tpa01.xml	0	1	∞	21.87/15.93
Secret_06_TRS/2.xml	0	1	∞	401.89/293.11
Secret_06_TRS/8.xml	1	1	n¹	100.99/86.02
Secret_06_TRS/tpa03.xml	0	1	∞	22.10/17.21
Secret_06_TRS/6.xml	1	1	n²	83.94/30.11
Secret_06_TRS/9.xml	1	1	n¹	9.37/5.50
Secret_06_TRS/4.xml	0	1	∞	197.97/75.59
Mixed_TRS/jones1.xml	1	1	n²	86.53/30.02
Mixed_TRS/beans.xml	0	1	∞	193.81/89.87
Mixed_TRS/1.xml	StarExec error
Mixed_TRS/jones4.xml	1	1	n¹	0.17/0.05
Mixed_TRS/Ex1_Luc04b_GM.xml	0	1	∞	475.15/293.12
Mixed_TRS/2.xml	0	1	∞	379.79/293.08
Mixed_TRS/jones6.xml	1	1	n²	85.08/30.10
Mixed_TRS/6.xml	0	1	∞	224.79/130.82
Mixed_TRS/4.xml	1	1	n¹	37.10/22.12
Mixed_SRS/01-oppelt08.xml	0	1	∞	812.27/294.01
Mixed_SRS/05.xml	0	1	∞	393.06/293.71
Mixed_SRS/03.xml	0	1	∞	510.72/294.11
Mixed_SRS/01.xml	0	1	∞	457.19/294.05
Mixed_SRS/touzet.xml	0	1	∞	112.93/31.56
Mixed_SRS/06.xml	0	1	∞	555.12/293.85
Mixed_SRS/02.xml	0	1	∞	456.12/293.19
Mixed_SRS/08-oppelt08.xml	0	1	∞	890.39/293.75
Mixed_SRS/07-oppelt08.xml	0	1	∞	1170.78/293.20
Mixed_SRS/3.xml	1	1	n²	339.83/185.81
Mixed_SRS/1.xml	0	1	∞	692.25/293.11
Mixed_SRS/04.xml	0	1	∞	506.35/294.04
Mixed_SRS/08.xml	0	1	∞	153.59/64.63
Mixed_SRS/04-oppelt08.xml	0	1	∞	552.23/293.11
Mixed_SRS/03-oppelt08.xml	0	1	∞	406.34/293.11
Mixed_SRS/s6.xml	1	1	n³	1171.49/294.06
Mixed_SRS/09.xml	0	1	∞	204.43/98.72
Mixed_SRS/06-oppelt08.xml	0	1	∞	1171.04/293.61
Mixed_SRS/07.xml	0	1	∞	119.45/30.03
Mixed_SRS/2.xml	0	1	∞	804.74/294.01
Mixed_SRS/02-oppelt08.xml	0	1	∞	557.30/293.11
Mixed_SRS/turing_copy.xml	0	1	∞	684.95/294.03
Mixed_SRS/turing_add.xml	pending submission
Mixed_SRS/4.xml	0	1	∞	1174.02/294.18
Mixed_SRS/turing_mult.xml	0	1	∞	771.68/294.02
Mixed_SRS/05-oppelt08.xml	0	1	∞	779.04/293.86
Secret_05_SRS/aprove2.xml	0	1	∞	264.05/126.32
Secret_05_SRS/jambox3.xml	0	1	∞	150.72/46.28
Secret_05_SRS/jambox4.xml	0	1	∞	486.30/293.11
Secret_05_SRS/matchbox1.xml	1	1	n⁹	640.61/293.68
Secret_05_SRS/aprove3.xml	0	1	∞	621.97/293.47
Secret_05_SRS/aprove1.xml	0	1	∞	548.24/290.41
Secret_05_SRS/torpa2.xml	0	1	∞	803.40/293.89
Secret_05_SRS/jambox2.xml	0	1	∞	434.47/293.17
Secret_05_SRS/jambox5.xml	0	1	∞	132.61/46.25
Secret_05_SRS/torpa3.xml	1	1	n¹	101.22/30.18
Secret_05_SRS/jambox1.xml	0	1	∞	678.02/293.75
Secret_05_SRS/aprove4.xml	0	1	∞	299.01/169.23
Secret_05_SRS/aprove5.xml	0	1	∞	586.24/293.66
Secret_05_SRS/torpa4.xml	0	1	∞	583.19/293.94
Secret_05_SRS/torpa1.xml	0	1	∞	215.53/89.20
Secret_05_SRS/matchbox2.xml	1	1	n¹	224.50/83.20
Rubio_04/lindau.xml	1	1	n¹	4.55/1.62
Rubio_04/gmnp.xml	1	1	n¹	319.88/293.08
Rubio_04/bn129.xml	0	1	∞	72.02/18.97
Rubio_04/p266.xml	1	1	n¹	2.44/1.24
Rubio_04/bintrees.xml	1	1	n²	92.16/30.10
Rubio_04/nestrec.xml	0	1	∞	379.12/293.11
Rubio_04/test829.xml	1	1	n¹	70.79/67.33
Rubio_04/koen.xml	1	1	n¹	0.77/0.22
Rubio_04/mfp90b.xml	1	1	n¹	0.40/0.11
Rubio_04/mfp95.xml	1	1	n¹	0.62/0.18
Rubio_04/test4.xml	1	1	n¹	1.97/0.52
Rubio_04/lescanne.xml	1	1	n²	81.00/30.19
Rubio_04/aoto.xml	1	1	n¹	3.13/1.79
Trafo_06/un08.xml	0	1	∞	543.75/291.42
Trafo_06/hom01.xml	0	1	∞	802.43/293.77
Trafo_06/dup06.xml	0	1	∞	766.45/294.05
Trafo_06/un07.xml	0	1	∞	874.39/294.08
Trafo_06/hom03.xml	StarExec error
Trafo_06/dup10.xml	0	1	∞	1175.37/294.05
Trafo_06/un12.xml	0	1	∞	1174.11/294.02
Trafo_06/un14.xml	timeout (wallclock)
Trafo_06/dup08.xml	0	1	∞	1059.48/294.15
Trafo_06/dup15.xml	0	1	∞	668.20/293.92
Trafo_06/un10.xml	0	1	∞	1174.71/294.10
Trafo_06/hom02.xml	0	1	∞	510.64/293.60
Trafo_06/un13.xml	0	1	∞	1173.91/294.13
Trafo_06/dup05.xml	0	1	∞	994.33/293.59
Trafo_06/dup14.xml	0	1	∞	969.84/294.07
Trafo_06/dup01.xml	1	1	n⁵	1178.23/295.48
Trafo_06/un16.xml	0	1	∞	862.94/294.04
Trafo_06/dup13.xml	0	1	∞	965.31/293.72
Trafo_06/un02.xml	0	1	∞	1172.03/294.51
Trafo_06/un04.xml	0	1	∞	942.23/294.06
Trafo_06/un15.xml	0	1	∞	887.79/294.02
Trafo_06/dup12.xml	0	1	∞	749.46/294.03
Trafo_06/un06.xml	0	1	∞	977.53/294.07
Trafo_06/dup17.xml	0	1	∞	759.65/294.05
Trafo_06/un05.xml	0	1	∞	525.42/293.53
Trafo_06/un11.xml	0	1	∞	1109.33/293.59
Trafo_06/dup16.xml	1	1	n¹	496.96/291.65
Trafo_06/dup11.xml	timeout (wallclock)
Trafo_06/un18.xml	0	1	∞	963.59/293.99
Trafo_06/un09.xml	0	1	∞	1122.43/293.86
Trafo_06/un17.xml	pending submission
Trafo_06/dup09.xml	pending submission
Trafo_06/dup07.xml	pending submission
Strategy_removed_mixed_05/ex3.xml	0	1	∞	107.35/30.02
Strategy_removed_mixed_05/gkg.xml	0	1	∞	119.55/30.01
Strategy_removed_mixed_05/n001.xml	0	1	∞	387.14/294.11
Strategy_removed_mixed_05/ex5.xml	0	1	∞	89.64/30.02
Strategy_removed_mixed_05/ex6.xml	0	1	∞	40.19/35.48
Strategy_removed_mixed_05/ex1.xml	0	1	∞	101.14/30.02
Strategy_removed_mixed_05/test830.xml	1	1	n¹	2.32/0.63
Strategy_removed_mixed_05/ex4.xml	0	1	∞	156.35/41.96
Various_04/27.xml	1	1	n¹	0.33/0.10
Various_04/25.xml	1	1	n¹	0.71/0.20
Various_04/23.xml	1	1	n²	85.77/30.05
Various_04/19.xml	0	1	∞	107.20/31.33
Various_04/07.xml	1	1	n¹	0.19/0.06
Various_04/18.xml	1	1	n³	191.84/98.31
Various_04/21.xml	1	1	n⁷	1128.93/291.27
Various_04/24.xml	1	1	n¹	180.43/88.26
Various_04/15.xml	0	1	∞	108.80/31.92
Transformed_CSR_04/OvConsOS_complete_L.xml	0	1	∞	0.02/0.02
Transformed_CSR_04/OvConsOS_nosorts_GM.xml	0	1	∞	499.80/293.12
Transformed_CSR_04/ExIntrod_GM04_GM.xml	1	1	n³	219.83/58.39
Transformed_CSR_04/Ex25_Luc06_Z.xml	1	1	n¹	2.99/0.76
Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml	0	1	∞	385.00/291.03
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml	1	1	n³	576.03/233.41
Transformed_CSR_04/Ex1_Zan97_FR.xml	0	1	∞	835.80/293.01
Transformed_CSR_04/ExConc_Zan97_C.xml	1	1	n²	1166.67/294.10
Transformed_CSR_04/ExProp7_Luc06_iGM.xml	0	1	∞	545.57/293.02
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml	1	1	n¹	0.88/0.27
Transformed_CSR_04/Ex23_Luc06_FR.xml	1	1	n²	136.92/53.14
Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml	1	1	n³	302.34/174.06
Transformed_CSR_04/ExProp7_Luc06_GM.xml	1	1	n¹²	1142.66/293.04
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml	0	1	∞	402.80/293.10
Transformed_CSR_04/Ex23_Luc06_C.xml	1	1	n¹⁶	1171.61/293.06
Transformed_CSR_04/PALINDROME_nokinds_C.xml	0	1	∞	410.67/293.13
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml	1	1	n²	76.03/30.10
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml	0	1	∞	372.41/293.06
Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml	0	1	∞	0.00/0.01
Transformed_CSR_04/PALINDROME_complete-noand_L.xml	0	1	∞	51.52/11.77
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml	0	1	∞	0.02/0.01
Transformed_CSR_04/PEANO_complete_L.xml	0	1	∞	0.02/0.01
Transformed_CSR_04/Ex15_Luc06_FR.xml	1	1	n²	107.23/30.03
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	n²	84.21/30.15
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml	0	1	∞	400.98/293.12
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml	1	1	n¹	2.80/0.73
Transformed_CSR_04/PEANO_nosorts_FR.xml	1	1	n²	91.12/30.07
Transformed_CSR_04/OvConsOS_nosorts_L.xml	0	1	∞	0.00/0.01
Transformed_CSR_04/Ex5_7_Luc97_L.xml	pending submission
Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml	pending submission
Transformed_CSR_04/Ex23_Luc06_L.xml	1	1	n¹	0.12/0.03
Transformed_CSR_04/Ex25_Luc06_iGM.xml	1	1	n²	192.98/117.04
Transformed_CSR_04/ExIntrod_GM01_L.xml	0	1	∞	0.00/0.01
Transformed_CSR_04/OvConsOS_nosorts_FR.xml	0	1	∞	372.27/293.07
Transformed_CSR_04/Ex24_Luc06_L.xml	0	1	∞	103.21/30.10
Transformed_CSR_04/ExConc_Zan97_Z.xml	0	1	∞	141.83/55.31
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	n¹	1.06/0.27
Transformed_CSR_04/Ex1_Luc04b_C.xml	0	1	∞	421.34/293.05
Transformed_CSR_04/Ex14_Luc06_L.xml	0	1	∞	140.47/35.90
Transformed_CSR_04/Ex1_GL02a_L.xml	0	1	∞	254.79/64.56
Transformed_CSR_04/Ex5_Zan97_C.xml	0	1	∞	537.11/293.07
Transformed_CSR_04/Ex5_Zan97_FR.xml	0	1	∞	169.41/87.82
Transformed_CSR_04/PALINDROME_nokinds_GM.xml	0	1	∞	374.81/293.16
Transformed_CSR_04/OvConsOS_nokinds_L.xml	0	1	∞	0.02/0.01
Transformed_CSR_04/ExIntrod_GM99_L.xml	pending submission
Transformed_CSR_04/PEANO_nosorts_C.xml	0	1	∞	395.25/293.44
Transformed_CSR_04/ExProp7_Luc06_FR.xml	1	1	n²	114.08/33.18
Transformed_CSR_04/Ex15_Luc06_L.xml	0	1	∞	107.20/30.10
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml	0	1	∞	0.00/0.01
Transformed_CSR_04/Ex23_Luc06_Z.xml	pending submission
Transformed_CSR_04/PEANO_complete-noand_L.xml	0	1	∞	0.02/0.01
Transformed_CSR_04/ExIntrod_GM04_Z.xml	0	1	∞	391.30/290.33
Transformed_CSR_04/PALINDROME_nosorts_iGM.xml	0	1	∞	232.38/130.39
Transformed_CSR_04/Ex5_Zan97_L.xml	0	1	∞	0.00/0.01
Transformed_CSR_04/Ex6_Luc98_L.xml	1	1	n¹	0.72/0.20
Transformed_CSR_04/Ex1_Luc04b_L.xml	0	1	∞	0.00/0.00
Transformed_CSR_04/PALINDROME_nosorts_GM.xml	0	1	∞	367.35/280.18
Transformed_CSR_04/Ex14_AEGL02_L.xml	pending submission
Transformed_CSR_04/ExIntrod_GM01_Z.xml	0	1	∞	429.83/293.04
Transformed_CSR_04/Ex4_7_77_Bor03_C.xml	pending submission
Transformed_CSR_04/Ex4_4_Luc96b_L.xml	1	1	n¹	0.14/0.04
Transformed_CSR_04/Ex6_9_Luc02c_L.xml	pending submission
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml	1	1	n¹	0.49/0.14
Transformed_CSR_04/PEANO_nokinds-noand_L.xml	pending submission
Transformed_CSR_04/MYNAT_nosorts-noand_L.xml	pending submission
Transformed_CSR_04/Ex1_Luc02b_L.xml	0	1	∞	0.00/0.01
Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml	1	1	n²	84.70/30.03
Transformed_CSR_04/Ex1_Luc04b_GM.xml	0	1	∞	476.28/293.09
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	∞	117.77/30.02
Transformed_CSR_04/Ex23_Luc06_iGM.xml	1	1	n²	89.98/30.14
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.01
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml	0	1	∞	926.37/293.03
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml	0	1	∞	0.00/0.01
Transformed_CSR_04/Ex9_Luc06_GM.xml	pending submission
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml	0	1	∞	0.02/0.01
Transformed_CSR_04/Ex1_Luc04b_Z.xml	0	1	∞	239.06/155.71
Transformed_CSR_04/Ex16_Luc06_GM.xml	0	1	∞	322.05/100.97
Transformed_CSR_04/Ex9_BLR02_L.xml	1	1	n¹	0.99/0.26
Transformed_CSR_04/PALINDROME_nosorts_L.xml	0	1	∞	0.00/0.00
Transformed_CSR_04/Ex15_Luc06_GM.xml	1	1	n²	108.57/30.74
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	pending submission
Transformed_CSR_04/ExIntrod_GM04_iGM.xml	pending submission
Transformed_CSR_04/Ex6_GM04_C.xml	pending submission
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	paused
Transformed_CSR_04/Ex9_Luc06_iGM.xml	paused
Transformed_CSR_04/OvConsOS_nosorts_C.xml	paused
Transformed_CSR_04/Ex24_GM04_L.xml	paused
Transformed_CSR_04/Ex25_Luc06_FR.xml	pending submission
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml	pending submission
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml	pending submission
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	paused
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
SK90/2.49.xml	1	1	n¹	3.41/1.51
SK90/2.60.xml	1	1	n¹	1.02/0.29
SK90/4.12.xml	1	1	n²	87.79/30.12
SK90/4.44.xml	1	1	n¹	1.92/0.52
SK90/4.39.xml	1	1	n²	104.80/103.44
SK90/2.47.xml	1	1	n²	81.76/30.11
SK90/4.37.xml	1	1	n¹	0.29/0.08
SK90/4.19.xml	1	1	n¹	0.28/0.08
SK90/4.26.xml	1	1	n¹⁰	490.90/292.50
SK90/2.31.xml	1	1	n²	97.14/30.03
SK90/2.46.xml	1	1	n²	92.67/30.14
SK90/4.46.xml	1	1	n¹	0.45/0.15
SK90/2.03.xml	1	1	n²	95.32/30.09
SK90/2.33.xml	1	1	n²	82.09/30.12
SK90/4.11.xml	1	1	n²	84.56/30.12
SK90/2.38.xml	1	1	n²	91.22/30.04
SK90/2.50.xml	0	1	∞	377.83/293.03
SK90/4.34.xml	pending submission
SK90/4.47.xml	1	1	n¹	2.38/0.69
SK90/4.52.xml	1	1	n²	78.06/30.14
SK90/2.42.xml	pending submission
SK90/2.09.xml	1	1	n²	82.66/30.13
SK90/4.48.xml	1	1	n¹	70.25/30.18
SK90/2.06.xml	pending submission
SK90/4.30.xml	pending submission
SK90/2.39.xml	1	1	n⁶	259.63/169.83
SK90/4.01.xml	1	1	n¹	0.59/0.16
SK90/4.27.xml	0	1	∞	518.72/293.04
SK90/4.29.xml	1	1	n²	512.67/291.33
SK90/4.07.xml	1	1	n²	79.20/30.04
SK90/4.45.xml	1	1	n¹	0.48/0.13
SK90/2.54.xml	1	1	n²	88.26/30.11
SK90/4.16.xml	1	1	n¹	3.93/1.20
SK90/4.55.xml	0	1	∞	104.31/30.07
SK90/4.08.xml	1	1	n²	77.91/30.16
SK90/2.55.xml	pending submission
SK90/4.36.xml	1	1	n¹	0.79/0.44
SK90/2.56.xml	1	1	n¹	0.20/0.06
SK90/4.43.xml	pending submission
SK90/4.32.xml	pending submission
SK90/4.25.xml	1	1	n²	90.14/30.07
SK90/2.48.xml	pending submission
SK90/4.15.xml	1	1	n²	89.21/30.11
SK90/2.41.xml	1	1	n²	130.90/34.28
SK90/4.04.xml	0	1	∞	37.79/12.81
SK90/2.01.xml	1	1	n²	75.73/30.17
SK90/4.38.xml	1	1	n²	145.82/38.25
SK90/2.53.xml	pending submission
SK90/2.61.xml	1	1	n¹	3.36/0.86
SK90/2.11.xml	pending submission
SK90/2.10.xml	0	1	∞	116.44/34.73
SK90/4.51.xml	1	1	n¹	2.61/0.81
SK90/4.33.xml	1	1	n¹	0.34/0.15
SK90/4.56.xml	pending submission
SK90/2.04.xml	1	1	n²	94.54/30.20
SK90/2.14.xml	0	1	∞	225.28/141.06
SK90/2.36.xml	1	1	n²	96.99/30.03
SK90/2.02.xml	1	1	n³	164.19/75.44
SK90/4.35.xml	pending submission
SK90/2.34.xml	0	1	∞	139.45/57.54
Secret_07_TRS/3.xml	0	1	∞	363.08/218.92
Secret_07_TRS/7.xml	0	1	∞	676.66/291.99
Secret_07_TRS/1.xml	StarExec error
Secret_07_TRS/5.xml	0	1	∞	538.84/293.02
Secret_07_TRS/2.xml	0	1	∞	305.06/190.70
Secret_07_TRS/4.xml	0	1	∞	142.86/52.73
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml	0	1	∞	97.83/30.01
Strategy_removed_CSR_05/Ex6_GM04.xml	StarExec error
Strategy_removed_CSR_05/Ex1_Zan97.xml	0	1	∞	173.70/64.37
Strategy_removed_CSR_05/ExConc_Zan97.xml	0	1	∞	107.27/30.03
Strategy_removed_CSR_05/ExIntrod_GM01.xml	0	1	∞	206.11/121.05
Strategy_removed_CSR_05/ExIntrod_GM04.xml	0	1	∞	223.00/138.76
Strategy_removed_CSR_05/Ex5_Zan97.xml	0	1	∞	115.62/37.95
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml	0	1	∞	148.53/59.01
Strategy_removed_AG01/#4.18.xml	0	1	∞	481.43/293.65
Strategy_removed_AG01/#4.17.xml	0	1	∞	1130.91/293.01
Strategy_removed_AG01/#4.37.xml	1	1	n¹	4.44/1.37
Strategy_removed_AG01/#4.20a.xml	1	1	n¹	89.16/30.03
Strategy_removed_AG01/#4.28.xml	1	1	n²	80.95/30.02
Strategy_removed_AG01/#4.25.xml	pending submission
Strategy_removed_AG01/#4.21.xml	1	1	n¹	96.49/30.03
Strategy_removed_AG01/#4.20.xml	1	1	n¹	89.08/30.07
Strategy_removed_AG01/#4.37a.xml	1	1	n¹	9.13/2.63
Zantema_05/jw44.xml	1	1	n²	101.84/31.72
Zantema_05/jw33.xml	1	1	n¹	27.66/16.53
Zantema_05/jw34.xml	1	1	n¹	25.25/16.06
Zantema_05/z22.xml	0	1	∞	370.38/293.11
Zantema_05/z16.xml	0	1	∞	366.64/293.06
Zantema_05/z30.xml	1	1	n¹	665.16/293.04
Zantema_05/jw27.xml	1	1	n¹	91.88/56.39
Zantema_05/jw01.xml	1	1	n¹	111.26/70.31
Zantema_05/jw02.xml	1	1	n¹	689.01/293.05
Zantema_05/jw12.xml	StarExec error
Zantema_05/jw32.xml	pending submission
Zantema_05/jw08.xml	1	1	n¹	100.91/68.09
Zantema_05/z19.xml	0	1	∞	446.58/293.11
Zantema_05/z06.xml	0	1	∞	97.97/30.03
Zantema_05/jw38.xml	1	1	n¹	77.48/59.11
Zantema_05/z11.xml	0	1	∞	104.20/30.03
Zantema_05/jw39.xml	1	1	n¹	84.05/51.30
Zantema_05/jw05.xml	pending submission
Zantema_05/jw06.xml	1	1	n¹	81.72/48.27
Zantema_05/z05.xml	pending submission
Zantema_05/jw15.xml	1	1	n¹	24.82/15.79
Zantema_05/jw16.xml	1	1	n¹	31.94/18.02
Zantema_05/jw11.xml	1	1	n¹	257.46/235.23
Zantema_05/z29.xml	0	1	∞	53.05/15.36
Zantema_05/jw26.xml	1	1	n¹	24.87/15.79
Zantema_05/z02.xml	1	1	n¹	19.63/15.35
Zantema_05/jw47.xml	1	1	n²	131.49/61.49
Zantema_05/jw31.xml	1	1	n¹	74.79/49.41
Zantema_05/z08.xml	pending submission
Zantema_05/jw09.xml	1	1	n¹	21.58/14.98
Zantema_05/jw22.xml	pending submission
Zantema_05/z21.xml	0	1	∞	1123.71/293.03
Zantema_05/jw50.xml	1	1	n¹	5.29/4.71
Zantema_05/z07.xml	0	1	∞	105.35/30.02
Zantema_05/z03.xml	1	1	n¹	27.36/16.64
Zantema_05/jw25.xml	pending submission
Zantema_05/jw20.xml	1	1	n¹	20.33/13.74
Zantema_05/jw13.xml	1	1	n¹	42.46/34.50
Zantema_05/jw42.xml	pending submission
Zantema_05/jw29.xml	1	1	n¹	21.41/13.98
Zantema_05/jw07.xml	1	1	n¹	34.05/19.57
Zantema_05/jw41.xml	pending submission
Zantema_05/jw35.xml	1	1	n¹	18.35/14.05
Zantema_05/z13.xml	0	1	∞	379.79/293.20
Zantema_05/z20.xml	0	1	∞	108.61/30.04
Zantema_05/z17.xml	0	1	∞	660.86/293.37
Zantema_05/jw43.xml	1	1	n¹	6.31/5.63
Zantema_05/z26.xml	pending submission
Zantema_05/z01.xml	0	1	∞	192.05/89.99
Zantema_05/jw24.xml	pending submission
Zantema_05/jw28.xml	1	1	n¹	29.91/17.70
Zantema_05/jw03.xml	1	1	n¹	23.89/15.75
Zantema_05/jw23.xml	1	1	n¹	26.20/16.19
Zantema_05/jw19.xml	1	1	n¹	40.81/27.22
Zantema_05/jw18.xml	pending submission
Zantema_05/jw37.xml	1	1	n¹	328.83/293.02
Zantema_05/jw40.xml	1	1	n¹	29.69/17.78
Zantema_05/jw30.xml	1	1	n¹	40.36/25.06
Zantema_05/jw14.xml	pending submission
Zantema_05/z23.xml	0	1	∞	546.32/293.08
Zantema_05/jw36.xml	1	1	n¹	74.26/59.41
Zantema_05/jw04.xml	1	1	n¹	25.64/16.25
Zantema_05/z12.xml	pending submission
Zantema_05/z15.xml	0	1	∞	752.84/293.01
Zantema_05/z14.xml	pending submission
Zantema_05/z24.xml	0	1	∞	379.24/293.11
Zantema_05/z25.xml	0	1	∞	492.21/256.44
Zantema_05/jw21.xml	1	1	n¹	35.82/19.44
Zantema_05/jw17.xml	1	1	n¹	72.62/45.79
Zantema_05/z18.xml	0	1	∞	376.16/293.03
Zantema_04/z127.xml	0	1	∞	835.39/293.87
Zantema_04/z128.xml	0	1	∞	715.66/293.56
Zantema_04/z106.xml	1	1	n²	97.30/30.12
Zantema_04/z057.xml	1	1	n¹	839.70/294.08
Zantema_04/z107.xml	1	1	n¹	219.53/129.36
Zantema_04/z054.xml	1	1	n¹	856.03/294.08
Zantema_04/z026.xml	0	1	∞	815.02/293.91
Zantema_04/z010.xml	0	1	∞	415.97/293.08
Zantema_04/z111.xml	0	1	∞	418.45/293.99
Zantema_04/z037.xml	StarExec error
Zantema_04/z030.xml	0	1	∞	927.37/294.01
Zantema_04/z113.xml	0	1	∞	705.87/294.01
Zantema_04/z011.xml	0	1	∞	423.86/293.05
Zantema_04/z025.xml	pending submission
Zantema_04/z084.xml	1	1	n²	83.51/30.03
Zantema_04/z007.xml	1	1	n²	92.72/30.12
Zantema_04/z046.xml	0	1	∞	932.01/294.03
Zantema_04/z050.xml	1	1	n¹	341.00/294.02
Zantema_04/z028.xml	0	1	∞	946.93/293.46
Zantema_04/z058.xml	pending submission
Zantema_04/z104.xml	1	1	n¹	141.38/50.38
Zantema_04/z061.xml	1	1	n¹	326.70/294.11
Zantema_04/z020.xml	0	1	∞	482.50/293.11
Zantema_04/syracuse.xml	0	1	∞	822.84/294.01
Zantema_04/z069.xml	0	1	∞	1168.86/293.68
Zantema_04/z055.xml	1	1	n¹	375.25/293.90
Zantema_04/z002.xml	pending submission
Zantema_04/z120.xml	0	1	∞	597.50/293.98
Zantema_04/z097.xml	pending submission
Zantema_04/z082.xml	0	1	∞	147.96/50.62
Zantema_04/z116.xml	pending submission
Zantema_04/z034.xml	0	1	∞	866.27/294.06
Zantema_04/z014.xml	0	1	∞	379.62/292.85
Zantema_04/z083.xml	0	1	∞	718.99/293.78
Zantema_04/z005.xml	1	1	n¹	195.49/127.18
Zantema_04/z068.xml	1	1	n²	465.30/293.64
Zantema_04/z117.xml	0	1	∞	417.88/293.99
Zantema_04/z052.xml	pending submission
Zantema_04/z044.xml	pending submission
Zantema_04/z062.xml	pending submission
Zantema_04/z040.xml	1	1	n¹	912.07/294.16
Zantema_04/z001.xml	0	1	∞	408.36/175.38
Zantema_04/z038.xml	pending submission
Zantema_04/z105.xml	0	1	∞	653.21/293.37
Zantema_04/z125.xml	0	1	∞	275.02/126.53
Zantema_04/z041.xml	0	1	∞	926.05/294.04
Zantema_04/z018.xml	0	1	∞	398.51/293.11
Zantema_04/z085.xml	1	1	n¹	80.94/30.12
Zantema_04/z053.xml	1	1	n¹	465.46/293.73
Zantema_04/z042.xml	pending submission
Zantema_04/z095.xml	pending submission
Zantema_04/z003.xml	pending submission
Zantema_04/z048.xml	1	1	n¹	1035.28/294.02
Zantema_04/z088.xml	0	1	∞	259.95/149.54
Zantema_04/z103.xml	pending submission
Zantema_04/z101.xml	0	1	∞	45.68/15.84
Zantema_04/z019.xml	pending submission
Zantema_04/z077.xml	0	1	∞	403.23/293.03
Zantema_04/z080.xml	0	1	∞	368.79/291.68
Zantema_04/z022.xml	pending submission
Zantema_04/z109.xml	0	1	∞	61.07/21.22
Zantema_04/z012.xml	0	1	∞	691.27/293.77
Zantema_04/z060.xml	pending submission
Zantema_04/z121.xml	0	1	∞	326.67/168.11
Zantema_04/z124.xml	1	1	n²	860.02/294.13
Zantema_04/z033.xml	1	1	n¹	1042.52/293.30
Zantema_04/z076.xml	0	1	∞	306.13/185.13
Zantema_04/z056.xml	pending submission
Zantema_04/z114.xml	0	1	∞	405.72/293.11
Zantema_04/z015.xml	pending submission
Zantema_04/z045.xml	pending submission
Zantema_04/z073.xml	0	1	∞	1172.47/294.02
Zantema_04/z031.xml	0	1	∞	932.98/293.64
Zantema_04/z009.xml	1	1	n³	880.92/293.72
Zantema_04/z013.xml	pending submission
Zantema_04/z123.xml	0	1	∞	689.97/293.39
Zantema_04/z098.xml	0	1	∞	979.36/293.89
Zantema_04/z035.xml	pending submission
Zantema_04/z075.xml	0	1	∞	674.61/293.53
Zantema_04/z119.xml	pending submission
Zantema_04/z072.xml	0	1	∞	701.44/294.01
Zantema_04/z079.xml	pending submission
Zantema_04/z066.xml	pending submission
Zantema_04/z112.xml	1	1	n¹	93.77/30.06
Zantema_04/z118.xml	pending submission
Zantema_04/z074.xml	pending submission
Zantema_04/z078.xml	pending submission
Zantema_04/z102.xml	1	1	n¹	80.22/30.06
Zantema_04/z093.xml	1	1	n²	88.59/30.18
Zantema_04/z092.xml	pending submission
Zantema_04/z039.xml	pending submission
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	paused
Zantema_04/z096.xml	paused
Zantema_04/z087.xml	paused
Zantema_04/z067.xml	paused
Zantema_04/z023.xml	paused
Zantema_04/z043.xml	pending submission
Zantema_04/z051.xml	pending submission
Zantema_04/z091.xml	pending submission
Zantema_04/z094.xml	paused
Zantema_04/z071.xml	paused
Zantema_04/z032.xml	paused
Zantema_04/z017.xml	paused
Zantema_04/z086.xml	paused
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
Zantema_06/05.xml	0	1	∞	587.68/269.05
Zantema_06/03.xml	0	1	∞	506.80/209.64
Zantema_06/01.xml	0	1	∞	374.36/293.02
Zantema_06/12.xml	0	1	∞	851.38/294.03
Zantema_06/10.xml	0	1	∞	130.21/41.99
Zantema_06/beans3.xml	0	1	∞	769.98/294.01
Zantema_06/06.xml	0	1	∞	516.27/293.02
Zantema_06/while2.xml	1	1	n²	379.21/293.31
Zantema_06/beans2.xml	0	1	∞	661.89/293.84
Zantema_06/02.xml	0	1	∞	730.98/293.11
Zantema_06/beans7.xml	0	1	∞	817.87/293.75
Zantema_06/14.xml	0	1	∞	390.56/293.05
Zantema_06/abc.xml	0	1	∞	178.16/78.76
Zantema_06/13.xml	pending submission
Zantema_06/beans1.xml	1	1	n²	735.51/294.02
Zantema_06/04.xml	pending submission
Zantema_06/17.xml	1	1	n¹	251.88/111.67
Zantema_06/08.xml	0	1	∞	128.58/44.05
Zantema_06/beans4.xml	0	1	∞	657.53/293.76
Zantema_06/loop1.xml	0	1	∞	197.72/92.55
Zantema_06/16.xml	0	1	∞	518.33/293.45
Zantema_06/beans5.xml	0	1	∞	730.94/293.81
Zantema_06/09.xml	0	1	∞	755.46/293.98
Zantema_06/11.xml	0	1	∞	767.21/293.28
Zantema_06/07.xml	0	1	∞	210.68/94.20
Zantema_06/18.xml	0	1	∞	1136.48/294.04
Zantema_06/loop2.xml	pending submission
Zantema_06/15.xml	0	1	∞	835.36/294.05
Zantema_06/while1.xml	0	1	∞	1131.02/293.86
Zantema_06/beans6.xml	0	1	∞	707.29/293.78
Waldmann_06_SRS/sym-1.xml	0	1	∞	101.92/30.08
Waldmann_06_SRS/sym-4.xml	0	1	∞	105.49/30.02
Waldmann_06_SRS/z086-variant.xml	0	1	∞	401.54/273.99
Waldmann_06_SRS/uni-1.xml	0	1	∞	101.69/30.03
Waldmann_06_SRS/uni-7.xml	0	1	∞	591.73/294.12
Waldmann_06_SRS/pi.xml	pending submission
Waldmann_06_SRS/jw3.xml	0	1	∞	646.43/293.80
Waldmann_06_SRS/uni-4.xml	0	1	∞	227.75/103.65
Waldmann_06_SRS/jw4.xml	0	1	∞	960.72/293.63
Waldmann_06_SRS/uni-3.xml	0	1	∞	181.67/67.34
Waldmann_06_SRS/sym-2.xml	0	1	∞	112.36/35.43
Waldmann_06_SRS/uni-2.xml	0	1	∞	177.19/76.82
Waldmann_06_SRS/jw1.xml	0	1	∞	680.84/293.48
Waldmann_06_SRS/uni-5.xml	0	1	∞	143.97/52.61
Waldmann_06_SRS/uni-6.xml	0	1	∞	787.02/293.73
Waldmann_06_SRS/sym-6.xml	pending submission
Waldmann_06_SRS/jw5.xml	0	1	∞	1140.98/294.04
Waldmann_06_SRS/sym-5.xml	0	1	∞	422.33/293.55
Waldmann_06_SRS/e.xml	1	1	n³	479.27/293.66
Waldmann_06/jwtpa2.xml	0	1	∞	113.28/30.04
Waldmann_06/jwno4.xml	0	1	∞	107.78/30.02
Waldmann_06/jwno2.xml	0	1	∞	220.02/124.98
Waldmann_06/jwmatchb2.xml	0	1	∞	250.37/160.51
Waldmann_06/jwaprove1.xml	0	1	∞	414.00/293.02
Waldmann_06/jwtpa1.xml	1	1	n¹	34.35/24.93
Waldmann_06/jwno6.xml	0	1	∞	108.00/30.02
Waldmann_06/jwno9.xml	0	1	∞	111.72/30.03
Waldmann_06/jwno7.xml	0	1	∞	158.60/63.96
Waldmann_06/jwcime2.xml	1	1	n¹	52.21/32.48
Waldmann_06/jwno5.xml	0	1	∞	236.14/141.78
Waldmann_06/jwno3.xml	0	1	∞	122.92/38.25
Waldmann_06/jwaprove2.xml	0	1	∞	387.55/292.50
Waldmann_06/jwmatchb1.xml	0	1	∞	265.73/175.76
Waldmann_06/jwcime1.xml	0	1	∞	126.23/38.65
Waldmann_06/jwttt.xml	0	1	∞	119.82/36.23
Waldmann_06/jwno8.xml	0	1	∞	140.97/43.54
Waldmann_06/jwno1.xml	pending submission
Waldmann_07_size12/size-12-alpha-3-num-108.xml	0	1	∞	116.52/33.92
Waldmann_07_size12/size-12-alpha-3-num-507.xml	StarExec error
Waldmann_07_size12/size-12-alpha-3-num-279.xml	0	1	∞	268.70/179.05
Waldmann_07_size12/size-12-alpha-3-num-85.xml	0	1	∞	179.09/78.16
Waldmann_07_size12/size-12-alpha-3-num-202.xml	0	1	∞	110.31/31.38
Waldmann_07_size12/size-12-alpha-3-num-487.xml	0	1	∞	403.19/293.09
Waldmann_07_size12/size-12-alpha-3-num-199.xml	0	1	∞	182.85/80.41
Waldmann_07_size12/size-12-alpha-3-num-200.xml	0	1	∞	117.67/35.09
Waldmann_07_size12/size-12-alpha-3-num-32.xml	0	1	∞	108.15/30.63
Waldmann_07_size12/size-12-alpha-3-num-461.xml	0	1	∞	276.65/180.14
Waldmann_07_size12/size-12-alpha-3-num-101.xml	0	1	∞	112.35/32.45
Waldmann_07_size12/size-12-alpha-3-num-113.xml	0	1	∞	182.28/79.21
Waldmann_07_size12/size-12-alpha-3-num-255.xml	0	1	∞	123.91/40.35
Waldmann_07_size12/size-12-alpha-3-num-170.xml	0	1	∞	122.25/38.27
Waldmann_07_size12/size-12-alpha-3-num-160.xml	0	1	∞	181.38/79.63
Waldmann_07_size12/size-12-alpha-3-num-399.xml	0	1	∞	648.32/293.83
Waldmann_07_size12/size-12-alpha-2-num-1.xml	0	1	∞	107.84/30.02
Waldmann_07_size12/size-12-alpha-3-num-503.xml	0	1	∞	647.27/294.01
Waldmann_07_size12/size-12-alpha-3-num-395.xml	0	1	∞	146.75/54.23
Waldmann_07_size12/size-12-alpha-3-num-566.xml	0	1	∞	121.72/38.19
Waldmann_07_size12/size-12-alpha-3-num-59.xml	0	1	∞	109.39/31.90
Waldmann_07_size12/size-12-alpha-3-num-485.xml	0	1	∞	119.48/36.81
Waldmann_07_size12/size-12-alpha-3-num-389.xml	0	1	∞	137.96/48.00
Waldmann_07_size12/size-12-alpha-2-num-12.xml	0	1	∞	950.14/290.51
Waldmann_07_size12/size-12-alpha-3-num-560.xml	0	1	∞	129.93/43.91
Waldmann_07_size12/size-12-alpha-3-num-194.xml	0	1	∞	109.56/32.90
Waldmann_07_size12/size-12-alpha-3-num-198.xml	0	1	∞	172.98/76.88
Waldmann_07_size12/size-12-alpha-2-num-6.xml	0	1	∞	228.85/91.78
Waldmann_07_size12/size-12-alpha-3-num-131.xml	0	1	∞	105.65/30.36
Waldmann_07_size12/size-12-alpha-3-num-257.xml	0	1	∞	107.53/31.03
Waldmann_07_size12/size-12-alpha-3-num-207.xml	0	1	∞	109.08/31.31
Waldmann_07_size12/size-12-alpha-3-num-11.xml	0	1	∞	130.33/35.98
Waldmann_07_size12/size-12-alpha-3-num-430.xml	0	1	∞	122.24/38.12
Waldmann_07_size12/size-12-alpha-3-num-201.xml	0	1	∞	113.21/32.66
Waldmann_07_size12/size-12-alpha-3-num-480.xml	0	1	∞	128.78/41.80
Waldmann_07_size12/size-12-alpha-3-num-64.xml	0	1	∞	123.19/37.78
Waldmann_07_size12/size-12-alpha-3-num-263.xml	0	1	∞	204.99/79.17
Waldmann_07_size12/size-12-alpha-3-num-367.xml	0	1	∞	117.17/34.58
Waldmann_07_size12/size-12-alpha-3-num-369.xml	0	1	∞	466.72/245.17
Waldmann_07_size12/size-12-alpha-3-num-478.xml	pending submission
Waldmann_07_size12/size-12-alpha-3-num-48.xml	0	1	∞	132.18/38.49
Waldmann_07_size12/size-12-alpha-3-num-241.xml	0	1	∞	126.19/41.22
Waldmann_07_size12/size-12-alpha-3-num-448.xml	0	1	∞	114.11/33.18
Waldmann_07_size12/size-12-alpha-3-num-217.xml	0	1	∞	119.67/36.87
Waldmann_07_size12/size-12-alpha-3-num-495.xml	0	1	∞	379.75/293.05
Waldmann_07_size12/size-12-alpha-3-num-291.xml	0	1	∞	205.23/109.87
Waldmann_07_size12/size-12-alpha-3-num-476.xml	pending submission
Waldmann_07_size12/size-12-alpha-3-num-375.xml	0	1	∞	178.13/79.50
Waldmann_07_size12/size-12-alpha-3-num-479.xml	0	1	∞	121.20/35.82
Waldmann_07_size12/size-12-alpha-3-num-551.xml	pending submission
Waldmann_07_size12/size-12-alpha-3-num-536.xml	0	1	∞	218.94/80.18
Waldmann_07_size12/size-12-alpha-3-num-271.xml	0	1	∞	118.73/33.37
Waldmann_07_size12/size-12-alpha-3-num-564.xml	0	1	∞	150.76/68.72
Waldmann_07_size12/size-12-alpha-3-num-249.xml	0	1	∞	109.73/30.27
Waldmann_07_size12/size-12-alpha-3-num-434.xml	pending submission
Waldmann_07_size12/size-12-alpha-3-num-83.xml	0	1	∞	129.82/46.37
Waldmann_07_size12/size-12-alpha-3-num-335.xml	0	1	∞	265.03/161.05
Waldmann_07_size12/size-12-alpha-3-num-30.xml	0	1	∞	126.18/39.45
Waldmann_07_size12/size-12-alpha-3-num-120.xml	0	1	∞	112.52/32.44
Waldmann_07_size12/size-12-alpha-3-num-565.xml	0	1	∞	114.94/34.22
Waldmann_07_size12/size-12-alpha-3-num-67.xml	pending submission
Waldmann_07_size12/size-12-alpha-3-num-511.xml	pending submission
Waldmann_07_size12/size-12-alpha-3-num-19.xml	0	1	∞	112.02/32.79
Waldmann_07_size12/size-12-alpha-3-num-104.xml	0	1	∞	127.76/41.75
Waldmann_07_size12/size-12-alpha-2-num-10.xml	0	1	∞	831.43/293.62
Waldmann_07_size12/size-12-alpha-3-num-416.xml	pending submission
Waldmann_07_size12/size-12-alpha-3-num-468.xml	0	1	∞	315.91/225.45
Waldmann_07_size12/size-12-alpha-3-num-71.xml	pending submission
Waldmann_07_size12/size-12-alpha-3-num-4.xml	0	1	∞	135.37/51.03
Waldmann_07_size12/size-12-alpha-3-num-233.xml	0	1	∞	146.76/59.45
Waldmann_07_size12/size-12-alpha-3-num-374.xml	0	1	∞	377.44/293.11
Waldmann_07_size12/size-12-alpha-3-num-376.xml	0	1	∞	178.55/78.00
Waldmann_07_size12/size-12-alpha-3-num-231.xml	0	1	∞	178.38/88.61
Waldmann_07_size12/size-12-alpha-2-num-16.xml	pending submission
Waldmann_07_size12/size-12-alpha-3-num-191.xml	0	1	∞	108.46/32.03
Waldmann_07_size12/size-12-alpha-3-num-499.xml	pending submission
Waldmann_07_size12/size-12-alpha-3-num-460.xml	0	1	∞	156.69/67.33
Waldmann_07_size12/size-12-alpha-3-num-210.xml	0	1	∞	114.14/34.05
Waldmann_07_size12/size-12-alpha-3-num-190.xml	0	1	∞	108.46/32.14
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	0	1	∞	114.69/34.88
Waldmann_07_size12/size-12-alpha-3-num-270.xml	pending submission
Waldmann_07_size12/size-12-alpha-3-num-451.xml	pending submission
Waldmann_07_size12/size-12-alpha-2-num-22.xml	0	1	∞	101.53/30.06
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	pending submission
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	paused
Waldmann_07_size12/size-12-alpha-2-num-20.xml	paused
Waldmann_07_size12/size-12-alpha-3-num-343.xml	paused
Waldmann_07_size12/size-12-alpha-3-num-563.xml	pending submission
Waldmann_07_size12/size-12-alpha-3-num-561.xml	pending submission
Waldmann_07_size12/size-12-alpha-3-num-110.xml	pending submission
Waldmann_07_size12/size-12-alpha-3-num-226.xml	pending submission
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	paused
Waldmann_07_size12/size-12-alpha-2-num-13.xml	paused
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
Waldmann_07_size11/size-11-alpha-3-num-12.xml	0	1	∞	139.92/52.19
Waldmann_07_size11/size-11-alpha-3-num-20.xml	0	1	∞	120.66/36.73
Waldmann_07_size11/size-11-alpha-2-num-4.xml	0	1	∞	189.31/97.24
Waldmann_07_size11/size-11-alpha-3-num-21.xml	0	1	∞	107.94/30.01
Waldmann_07_size11/size-11-alpha-3-num-3.xml	0	1	∞	120.57/37.39
Waldmann_07_size11/size-11-alpha-3-num-8.xml	0	1	∞	109.97/32.84
Waldmann_07_size11/size-11-alpha-3-num-1.xml	0	1	∞	115.12/33.73
Waldmann_07_size11/size-11-alpha-3-num-4.xml	0	1	∞	287.36/193.72
Waldmann_07_size11/size-11-alpha-3-num-5.xml	0	1	∞	188.42/93.52
Waldmann_07_size11/size-11-alpha-3-num-14.xml	0	1	∞	381.69/292.69
Waldmann_07_size11/size-11-alpha-3-num-2.xml	0	1	∞	197.40/100.80
Waldmann_07_size11/size-11-alpha-3-num-11.xml	0	1	∞	361.34/265.70
Waldmann_07_size11/size-11-alpha-2-num-3.xml	0	1	∞	125.48/33.44
Waldmann_07_size11/size-11-alpha-3-num-6.xml	0	1	∞	110.41/31.54
Waldmann_07_size11/size-11-alpha-2-num-2.xml	pending submission
Waldmann_07_size11/size-11-alpha-2-num-1.xml	0	1	∞	194.29/81.99
Waldmann_07_size11/size-11-alpha-3-num-16.xml	pending submission
Waldmann_07_size11/size-11-alpha-3-num-17.xml	0	1	∞	123.08/38.32
Waldmann_07_size11/size-11-alpha-3-num-13.xml	0	1	∞	372.30/293.11
Waldmann_07_size11/size-11-alpha-3-num-15.xml	pending submission
Waldmann_07_size11/size-11-alpha-3-num-7.xml	0	1	∞	109.21/31.22
Waldmann_07_size11/size-11-alpha-3-num-10.xml	0	1	∞	111.79/32.61
Waldmann_07_size11/size-11-alpha-3-num-19.xml	0	1	∞	108.19/30.29
Waldmann_07_size11/size-11-alpha-3-num-9.xml	0	1	∞	110.36/32.51
Waldmann_07_size11/size-11-alpha-3-num-18.xml	0	1	∞	105.91/30.43
	229