To the TPTPCD/SGCD Experiments main page

Results on the TPTPCD2 Corpus – Proof Dimensions

This table shows times required to solve the 196 problems of the TPTPCD2 corpus for various provers along with the dimension of the proofs, written as

Compacted Size / Tree Size / Height.

An empty cell indicates that the problem could not be solved by the respective prover or configuration.
The problems are from TPTP 8.0.0. Ratings refer to the latest value of the problem's Rating field in TPTP 8.0.0.
Unless specially indicated, all reported results were obtained on a HPC system with Intel(R) Xeon(R) Platinum 9242 CPU @ 2.30GHz CPUs and 3.7 GB of memory per CPU, and time limit per prover run for a problem set to 2400s. Shown times are wall clock times in seconds.
Proof sizes are shown after n-simplification. An asterisk (*) indicates that n-simplification took effect.
The size values for E are its reported proof object generating inferences and are not directly comparable to compacted size.

SGCD Configurations and Other Provers

SGCD-1+2+3+7: SGCD, union of: Configuration-1, Configuration-2, Configuration-3, Configuration-7.
SGCD-1: SGCD in single Configuration.
SGCD-2: SGCD in single Configuration.
SGCD-3: SGCD in single Configuration.
SGCD-4: SGCD in single Configuration.
SGCD-5: SGCD in single Configuration.
SGCD-6: SGCD in single Configuration.
SGCD-7: SGCD in single Configuration.
SGCD-8: SGCD in single Configuration.
SGCD-9: SGCD in single Configuration.
SGCD-10: SGCD in single Configuration.
SGCD-11: SGCD in single Configuration.
SGCD-12: SGCD in single Configuration.
SGCD-13: SGCD in single Configuration.
Prover9: Prover9 with default settings. Invoked via CD Tools. Reported times exclude the pre- and postrocessing by CD Tools. Problems LCL020-1 and LCL021-1 failed due to exhaustion of memory on the HPC system such that results for these two problems were supplemented from runs on a notebook with 16 GB RAM.
E 2.6: E 2.6 with options --auto-schedule -- --and --cpu-limit=600. The time limit was 600s. (A time limit of 2400s with the corresponding --cpu-limit option did not lead to more proven problems, just increased time values for finding proofs.)

Problem	Rating	SGCD-1+2+3+7	SGCD-1		SGCD-2		SGCD-3		SGCD-4		SGCD-5		SGCD-6		SGCD-7		SGCD-8		SGCD-9		SGCD-10		SGCD-11		SGCD-12		SGCD-13		Prover9		E 2.6
Totals of 196:		176	165		109		80		164		164		153		161		141		139		110		86		78		46		168		185
LCL006-1	0.00	0.00	0.07	5/7/4	0.00	9/12/4			0.07	5/7/4	0.07	5/7/4	0.59	5/7/4	0.07	5/7/4	0.03	9/12/4	0.06	6/9/6	0.21	5/7/4	0.08	5/7/4	0.14	21/55/7			0.77	9/12/5	0.05	[28]
LCL007-1	0.00	0.00	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.02	1/1/1	0.01	1/1/1	0.03	1/1/1	0.01	1/1/1	0.02	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.09	1/1/1	0.01	[2]
LCL008-1	0.00	0.00	0.00	5/5/5	0.00	9/15/5			0.00	5/5/5	0.00	5/5/5	0.02	5/5/5	0.00	5/5/5	0.00	9/15/5	0.00	5/9/5	0.02	5/5/5	0.00	5/5/5					0.03	7/13/6	0.01	[8]
LCL009-1	0.00	0.00	0.07	8/10/6	0.00	11/24/5			0.07	8/10/6	0.07	8/10/6	0.20	8/10/6	0.04	8/10/6	0.00	11/24/5	0.08	7/16/7	0.10	8/10/6	0.07	8/10/6					0.04	12/25/8	0.05	[39]
LCL010-1	0.00	0.00	0.01	5/8/5	0.00	6/14/5			0.01	5/8/5	0.01	5/8/5	0.05	5/8/5	0.01	5/8/5	0.00	6/14/5	0.00	5/11/5	0.04	5/8/5	0.02	5/8/5					0.05	9/55/8	0.02	[14]
LCL011-1	0.00	0.03	0.42	8/11/7	0.03	15/29/6			0.41	8/11/7	0.40	8/11/7	0.47	8/11/7	0.09	8/11/7	0.02	15/29/6	0.03	7/33/7	0.13	8/11/7	0.33	8/11/7					0.96	12/38/9	0.05	[37]
LCL012-1	0.00	25.51	25.51	22/35/20					33.20	22/35/20	32.42	22/35/20	9.32	19/37/12	27.59	18/31/16	28.04	21/78/9	9.91	16/365/16	6.61	18/31/16							4.57	29/477/21	0.26	[56]
LCL013-1	0.00	0.00	0.00	2/2/2	0.00	2/2/2			0.00	2/2/2	0.00	2/2/2	0.02	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2					0.03	2/2/2	0.01	[4]
LCL014-1	0.00	6.10	6.10	13/18/11	22.66	22/68/7			6.18	13/18/11	5.21	13/18/11	1.78	13/18/11	16.45	11/22/11	5.02	19/44/7	1.62	11/22/11	7.99	11/22/11	5.64	10/15/7					2.98	23/260/14	0.04	[26]
LCL015-1	0.00	44.91	44.91	24/73/19					49.99	24/73/19	55.44	24/73/19	10.36	23/74/15									1,518.65	18/48/14					4.44	43/3746/23	0.02	[24]
LCL016-1	0.00	66.87	66.87	39/89/14					85.76	31/102/14	90.43	31/102/14	15.30	30/115/13					44.84	23/1194/23									3.67	55/2868/25	0.32	[95]
LCL017-1	0.00	93.51	93.51	50/129/17					96.48	50/129/17	87.96	50/129/17																	12.05	66/14837/30	0.07	[22]
LCL018-1	0.00	43.45	43.45	22/54/16					51.21	22/54/16	46.99	22/54/16	9.80	21/65/13									342.85	20/42/15					5.04	39/1734/21	0.02	[26]
LCL019-1	0.00	99.58	99.58	35/132/18					348.13	42/404/18	333.54	42/404/18	53.83	61/213/20	752.79	32/172/20													7.26	56/3011/28	0.28	[44]
LCL021-1	0.00	157.43	157.43	68/225/19					212.14	56/269/19	212.68	62/260/19																	42.52	104/2315618/56	0.45	[59]
LCL022-1	0.00	0.00	0.30	10/11/6	0.00	11/23/5			0.30	10/11/6	0.28	10/11/6	0.49	10/11/8	0.12	10/11/6	0.00	11/23/5	0.19	8/14/8	0.21	10/11/8	0.27	10/11/6					0.03	9/19/7	0.04	[16]
LCL023-1	0.00	0.01	0.07	8/10/5	0.01	10/20/5			0.07	8/10/5	0.07	8/10/5	0.19	8/10/5	0.04	8/10/5	0.01	10/20/5	0.05	7/18/7	0.08	8/10/5	0.07	8/10/5					0.06	13/32/10	0.05	[38]
LCL024-1	0.00	1.57	2.09	10/16/10	2.60	14/35/7			2.59	10/16/10	3.01	10/16/10	0.14	10/15/8	1.57	12/26/10	84.01	31/134/11	3.20	13/53/13	0.54	12/26/10	0.19	10/15/8					2.73	19/53/13	0.22	[34]
LCL025-1	0.00	0.03	0.04	7/7/7	0.10	11/19/5	0.76	16/29/14	0.04	7/7/7	0.03	7/7/7	0.10	7/7/7	0.03	7/7/7	0.05	11/19/5	0.02	6/9/6	0.05	7/7/7	0.04	7/7/7	0.71	15/33/11			0.43	12/21/7	0.02	[8]
LCL026-1	0.00	0.76	13.59	18/20/9			0.76	22/29/15	13.89	18/20/9	12.86	18/20/9	12.39	18/20/9	78.75	18/20/9	47.81	34/68/7	12.01	20/154/20					0.71	33/64/11			0.97	29/57/9	0.40	[46]
LCL027-1	0.00	0.00	0.00	3/3/3	0.00	5/5/3	0.00	3/3/3	0.00	3/3/3	0.00	3/3/3	0.00	3/3/3	0.00	3/3/3	0.00	5/5/3	0.00	3/3/3	0.00	3/3/3	0.00	3/3/3	0.00	3/3/3			0.03	5/5/3	0.01	[6]
LCL029-1	0.00	0.25	0.51	8/8/7	2.01	15/19/5			0.46	8/8/7	0.41	8/8/7	0.74	8/8/7	0.25	8/8/7	0.99	15/19/5	0.77	8/10/8	0.55	8/8/7	0.45	8/8/7					0.06	8/9/6	0.02	[12]
LCL030-1	0.00	2.68	6.88	10/13/9	2.68	16/24/5	2.84	17/28/9	6.84	10/13/9	6.23	10/13/9	10.58	9/14/8	27.35	10/13/9	1.71	16/24/5	2.21	9/14/9	607.41	10/13/9			2.76	34/70/8			7.21	18/34/9	12.81	[67]
LCL032-1	0.00	291.85					291.85	*75/691/34							515.46	29/107/20			13.83	20/173/20									99.16	*67/9316/34	40.56	[134]
LCL033-1	0.00	0.00	0.00	6/7/6	0.00	*6/7/6	0.00	6/7/6	0.00	6/7/6	0.00	6/7/6	0.01	6/7/6	0.00	6/7/6	0.01	*6/7/6	0.01	6/7/6	0.01	6/7/6	0.00	6/7/6	0.01	*6/7/6	0.00	6/7/6	0.03	*7/10/7	0.01	[20]
LCL034-1	0.00	0.95	5.47	28/36/20			0.95	24/46/19	5.51	28/36/20	4.87	28/36/20	2.49	28/36/20	28.32	28/36/20	35.01	*17/83/13	10.46	19/416/19	17.95	28/36/20	260.33	28/36/20	0.91	*16/73/14			0.11	*25/208/21	0.04	[45]
LCL035-1	0.00	0.00	0.00	5/6/5	0.00	*5/7/5	0.00	5/6/5	0.00	5/6/5	0.00	5/6/5	0.00	5/6/5	0.00	5/6/5	0.00	*5/7/5	0.00	5/6/5	0.00	5/6/5	0.00	5/6/5	0.00	*5/7/5	0.00	5/6/5	0.03	*5/7/5	0.01	[12]
LCL036-1	0.00	0.08	1.20	20/24/20	2.48	*11/59/11	0.08	13/25/12	1.17	20/24/20	1.06	20/24/20	0.55	20/24/20	0.94	20/24/20	2.49	*11/59/11	0.06	11/59/11	0.49	20/24/20	1.38	20/24/20	0.06	*11/59/11			0.05	*18/96/17	0.05	[37]
LCL038-1	0.00	78.86	78.86	60/99/26					74.01	60/99/26	69.06	60/99/26	29.81	62/137/29	488.31	41/120/19													41.16	*83/8217/38	18.58	[232]
LCL040-1	0.00	0.15	1.13	9/9/8	0.45	12/16/5	0.15	18/18/16	1.14	9/9/8	0.97	9/9/8	1.40	9/9/8	1.32	9/9/8	0.24	12/16/5	0.68	8/19/8	3.67	9/9/8	10.31	9/9/8	0.44	31/94/12			3.73	11/15/6	79.90	[13]
LCL041-1	0.00	0.00	0.00	3/3/2	0.00	3/3/2	0.00	3/3/2	0.00	3/3/2	0.00	3/3/2	0.01	3/3/2	0.00	3/3/2	0.00	3/3/2	0.02	4/4/4	0.01	3/3/2	0.00	3/3/2	0.00	3/3/2	0.00	3/3/2	0.03	3/3/2	0.03	[16]
LCL042-1	0.00	0.13	12.08	8/8/5	0.13	12/12/4	2.29	9/10/5	12.01	8/8/5	11.90	8/8/5	94.27	10/10/5	51.96	8/8/7	0.13	12/12/4							2.98	11/13/5			2.63	9/9/5	25.55	[12]
LCL043-1	0.00	0.00	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.05	2/2/2	0.01	[4]
LCL044-1	0.00	0.00	0.00	3/3/3	0.00	4/4/3	0.00	3/3/3	0.00	3/3/3	0.00	3/3/3	0.01	3/3/3	0.00	3/3/3	0.00	4/4/3	0.01	3/3/3	0.01	3/3/3	0.00	3/3/3	0.00	6/6/3	0.02	6/7/4	0.05	*6/6/4	0.03	[12]
LCL045-1	0.00	0.00	0.08	5/5/4	0.00	6/6/3			0.08	5/5/4	0.07	5/5/4	0.91	5/5/4	0.06	5/5/4	0.01	6/6/3	0.82	6/6/6	0.48	5/5/4	0.07	5/5/4					0.67	7/7/4	2.74	[22]
LCL046-1	0.00	0.00	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2			0.03	2/2/2	0.01	[4]
LCL047-1	0.00	0.35	28.47	15/18/12	0.35	16/22/5			31.74	15/18/12	33.07	15/18/12	16.37	15/18/12	11.37	15/18/13	12.21	17/25/6	1.96	13/42/13	13.52	15/18/13							0.07	*19/37/14	0.82	[35]
LCL048-1	0.00	16.19	30.65	16/19/13	49.17	21/37/6			46.09	16/19/13	42.52	16/19/13	21.87	16/19/13	16.19	16/19/14	13.00	26/47/6	2.46	14/43/14	20.35	16/19/14							0.07	20/39/14	0.92	[35]
LCL049-1	0.00	28.32	60.65	20/24/14	227.98	19/47/6			65.69	20/24/14	62.27	20/24/14	32.35	20/24/14	28.32	20/24/15	170.59	31/69/7	3.15	15/50/15	148.86	20/24/15							0.23	*24/72/15	0.82	[37]
LCL050-1	0.00	44.22	73.72	22/27/16	177.81	21/42/6			54.65	22/27/16	55.95	22/27/16	29.37	22/27/16	44.22	22/27/17	172.77	33/69/7	4.71	16/79/16	628.22	22/27/17							0.33	*26/76/16	0.77	[50]
LCL051-1	0.00	39.95	69.76	21/26/10	320.31	18/49/6			70.13	21/26/10	52.96	21/26/10	36.51	22/27/16	39.95	21/26/10	180.90	33/72/7	4.80	16/54/16	396.87	21/26/14							0.38	*26/75/17	1.72	[99]
LCL052-1	0.00	37.92	51.64	17/26/14					53.80	17/26/14	52.68	17/26/14	29.38	17/26/14	37.92	17/26/13	171.43	36/75/7	8.64	19/42/19	383.92	18/26/12							0.39	*27/108/18	0.89	[68]
LCL053-1	0.00	48.99	70.91	18/28/15					56.38	18/28/15	54.58	18/28/15	37.45	18/28/15	48.99	18/28/14	159.59	23/47/7	9.09	19/45/19	969.74	19/28/13							0.43	*28/110/19	0.99	[60]
LCL054-1	0.00	5.02	92.32	33/57/19			5.02	37/104/20	91.03	33/57/19	115.60	33/57/19	100.27	41/73/18	398.23	33/56/19	1,297.34	33/116/8	54.79	29/410/29					3.54	34/302/14			396.45	*44/480/27	2.02	[114]
LCL055-1	0.00	32.90	66.53	15/24/12	190.10	22/43/6			68.32	15/24/12	51.59	15/24/12	27.13	15/24/12	32.90	15/24/11	12.85	23/38/6	6.21	17/40/17	147.31	16/24/10							0.38	*27/76/18	0.86	[62]
LCL056-1	0.00	31.01	67.24	16/25/13	74.03	20/30/6			68.01	16/25/13	50.41	16/25/13	27.75	16/25/13	31.01	16/25/12	178.06	34/74/7	7.04	18/41/18	240.31	17/25/11							0.37	*28/77/17	0.97	[52]
LCL057-1	0.00	52.96	72.50	20/31/16					58.61	20/31/16	73.29	20/31/16	44.82	23/36/17	52.96	20/30/16	163.35	45/113/8	10.60	20/49/20	2,184.29	21/30/15							0.40	*30/112/19	0.93	[55]
LCL058-1	0.00	104.94	104.94	31/67/16					135.51	31/67/16	134.03	31/67/16	89.75	34/80/18	317.15	31/67/15	367.44	68/286/9	57.23	33/1389/33									29.12	*45/476/24	0.88	[60]
LCL059-1	0.00	0.76	16.44	14/16/11	0.76	16/20/5			17.10	14/16/11	15.90	14/16/11	11.32	14/16/11	7.89	14/16/12	12.65	16/24/6	6.01	17/59/17	6.24	14/16/12							0.60	*18/35/14	0.67	[25]
LCL060-1	0.00	136.25	136.25	40/72/18					144.36	40/72/18	144.48	40/72/18	69.59	38/73/17	376.47	40/67/15	250.89	55/166/8	45.80	30/1101/30									34.93	*42/325/24	0.89	[57]
LCL064-1	0.00	0.03	0.04	7/7/7	0.06	11/19/5	0.48	16/29/14	0.04	7/7/7	0.03	7/7/7	0.09	7/7/7	0.03	7/7/7	0.03	11/19/5	0.02	6/9/6	0.05	7/7/7	0.03	7/7/7	0.40	15/33/11			3.08	12/21/7	0.20	[54]
LCL064-2	0.00	0.01	0.02	7/7/7	0.01	11/19/5	0.14	16/29/14	0.02	7/7/7	0.01	7/7/7	0.04	7/7/7	0.02	7/7/7	0.01	11/19/5	0.01	6/9/6	0.03	7/7/7	0.02	7/7/7	0.09	15/33/11			0.08	12/21/7	0.02	[8]
LCL065-1	0.00	0.01	0.58	7/9/7	0.04	12/16/5	0.01	7/9/7	0.62	7/9/7	0.61	7/9/7	0.59	7/9/7	0.16	7/9/7	0.03	12/16/5	0.05	7/9/7	0.31	7/9/7	0.38	7/9/7	0.03	15/19/7			0.05	11/13/6	0.25	[32]
LCL066-1	0.00	0.01	0.04	7/7/7	0.04	12/19/5	0.01	7/7/7	0.04	7/7/7	0.03	7/7/7	0.09	7/7/7	0.03	7/7/7	0.03	12/19/5	0.05	7/7/7	0.05	7/7/7	0.03	7/7/7	0.01	9/9/6			0.04	15/19/8	0.02	[16]
LCL067-1	0.00	0.30	4.83	13/17/8	0.30	17/24/6	1.03	16/22/10	4.70	13/17/8	3.60	13/17/8	4.17	13/17/8	15.30	13/17/8	0.13	17/24/6	3.55	14/97/14	1,659.77	13/17/8			2.45	21/50/8			1.40	*13/49/10	21.38	[76]
LCL068-1	0.00	2.50	5.18	15/18/10	71.35	24/38/7	2.50	15/26/11	4.45	15/18/10	3.94	15/18/10	5.00	15/18/10	17.55	15/18/10	436.56	24/38/7	25.52	26/1087/26	458.47	14/16/9			2.42	22/45/8			2.78	*20/179/13	0.23	[29]
LCL069-1	0.00	0.02	0.09	8/8/5	0.02	8/8/5	0.02	8/8/5	0.09	8/8/5	0.07	8/8/5	0.17	8/8/5	0.04	8/8/5	0.01	8/8/5	0.10	8/19/8	0.09	8/8/5	0.07	8/8/5	0.01	8/8/5			0.09	*9/22/9	0.09	[51]
LCL070-1	0.00	4.36	5.28	11/17/6	4.36	14/22/6	5.58	12/19/8	4.64	11/17/6	4.08	11/17/6	4.99	11/17/6	31.29	11/17/6	1.40	14/22/6	5.35	16/148/16					22.88	13/33/7	0.84	12/18/7	0.91	12/27/9	5.07	[38]
LCL071-1	0.00	5.03	5.03	13/16/6	36.85	14/21/6	12.47	17/24/10	5.04	13/16/6	4.50	13/16/6	3.73	13/16/6	28.11	13/16/6	234.39	13/16/6							79.32	*23/56/8	7.80	14/30/10	3.31	53/695/22	1.80	[103]
LCL072-1	0.00	0.00	0.14	7/8/4	0.00	7/8/4	0.04	7/8/4	0.14	7/8/4	0.11	7/8/4	0.33	7/8/4	0.09	7/8/4	0.01	7/8/4	0.54	10/21/10	0.22	7/8/4	0.12	7/8/4	0.01	7/8/4	0.03	7/8/4	0.12	11/18/6	0.69	[88]
LCL075-1	0.00	0.11	1.94	14/20/14	1,669.65	*11/30/8	0.11	8/20/8	1.94	14/20/14	1.76	14/20/14	1.09	14/20/14	5.05	14/20/14	18.36	8/20/8	0.05	8/20/8	1.96	14/20/14	18.37	14/20/14	0.10	8/20/8	0.05	8/20/8	0.10	8/20/8	0.04	[11]
LCL076-1	0.00	0.01	0.56	7/9/7	0.19	14/19/5	0.01	7/9/7	0.61	7/9/7	0.58	7/9/7	0.59	7/9/7	0.15	7/9/7	0.10	14/19/5	0.05	7/9/7	0.31	7/9/7	0.36	7/9/7	0.01	12/18/6			0.03	11/13/6	0.02	[13]
LCL076-2	0.00	0.00	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.03	1/1/1	0.01	[2]
LCL077-1	0.00	0.01	0.13	6/8/6	0.03	14/18/5	0.01	6/8/6	0.14	6/8/6	0.12	6/8/6	0.28	6/8/6	0.06	6/8/6	0.02	14/18/5	0.02	6/8/6	0.12	6/8/6	0.10	6/8/6	0.01	14/18/6			0.03	10/12/5	0.02	[11]
LCL079-1	0.00	0.00	0.00	3/3/3	0.00	5/5/3	0.00	3/3/3	0.00	3/3/3	0.00	3/3/3	0.01	3/3/3	0.00	3/3/3	0.00	5/5/3	0.00	3/3/3	0.01	3/3/3	0.00	3/3/3	0.00	3/3/3	0.00	3/3/3	0.03	3/3/3	0.01	[6]
LCL080-1	0.00	0.07	1.86	9/10/8	2.12	18/22/5	0.07	9/12/6	1.86	9/10/8	1.62	9/10/8	2.68	9/10/8	4.31	9/10/8	1.31	18/22/5	4.61	12/20/12	9.47	9/10/8	21.37	9/10/8	0.10	19/37/6			0.34	15/28/8	16.85	[72]
LCL080-2	0.00	0.08	1.96	9/10/8	0.22	18/22/5	0.08	9/12/6	2.08	9/10/8	1.83	9/10/8	2.80	9/10/8	5.26	9/10/8	0.18	18/22/5	4.53	12/20/12	11.64	9/10/8	36.51	9/10/8	0.11	19/37/6			0.34	15/28/8	4.54	[53]
LCL081-1	0.00	0.00	0.02	6/10/6	0.00	*8/11/6			0.02	6/10/6	0.01	6/10/6	0.02	6/10/6	0.01	6/10/6	0.01	*8/11/6	0.01	6/10/6	0.02	6/10/6	0.02	6/10/6					0.03	*11/27/9	0.02	[48]
LCL082-1	0.00	0.00	0.00	6/7/6	0.01	*6/7/6			0.00	6/7/6	0.00	6/7/6	0.01	6/7/6	0.01	6/7/6	0.01	*6/7/6	0.01	6/7/6	0.01	6/7/6	0.01	6/7/6					0.03	*10/13/9	0.02	[51]
LCL083-1	0.00	0.09	0.28	11/15/11					0.28	11/15/11	0.24	11/15/11	0.19	11/15/11	0.09	11/15/11	10.84	*11/15/11	0.12	11/15/11	0.09	11/15/11	0.19	11/15/11					0.13	*16/39/15	0.03	[73]
LCL083-2	0.00	0.01	0.01	8/9/8	0.65	8/9/8			0.01	8/9/8	0.01	8/9/8	0.02	8/9/8	0.01	8/9/8	0.32	8/9/8	0.03	8/9/8	0.02	8/9/8	0.02	8/9/8					0.10	*8/9/8	0.04	[21]
LCL084-2	0.00	73.95	73.95	64/91/23					74.59	64/91/23	67.52	64/91/23	29.05	61/122/29	387.89	40/96/17	215.47	86/2228/20											38.92	*77/2645/29	54.13	[125]
LCL084-3	0.00	94.05	94.05	58/95/25					91.06	58/95/25	86.74	58/95/25	37.71	71/151/29	299.16	34/69/17													38.80	*72/2829/31	53.42	[112]
LCL085-1	0.00	6.100	6.100	23/29/20					6.99	23/29/20	5.41	23/29/20	3.51	23/29/20	29.56	32/43/20	53.70	*38/94/16			10.48	32/43/20	89.08	23/29/20					9.62	*46/464/26	7.59	[144]
LCL086-1	0.00	0.06	11.03	14/20/8	0.15	*10/22/8	0.06	15/21/11	10.76	14/20/8	10.49	14/20/8	8.55	14/20/8	23.59	14/20/8	0.09	*10/22/8	0.59	11/24/11	21.55	14/20/8	236.46	14/20/8	0.08	*18/30/10			0.03	*12/30/12	0.02	[24]
LCL087-1	0.00	0.01	0.13	8/12/8	0.36	*12/28/8	0.01	8/12/8	0.13	8/12/8	0.10	8/12/8	0.19	8/12/8	0.07	8/12/8	0.19	*12/28/8	0.03	8/12/8	0.11	8/12/8	0.11	8/12/8	0.01	*8/12/8			0.03	*8/12/8	0.01	[14]
LCL088-1	0.00	0.04	5.43	12/18/8	0.16	*12/18/8	0.04	14/19/11	5.66	12/18/8	5.41	12/18/8	5.100	12/18/8	6.09	12/18/8	0.10	*12/18/8	2.62	13/26/13	9.09	12/18/8	33.88	12/18/8	0.18	*14/19/11			0.07	*14/32/14	0.02	[24]
LCL089-1	0.00	0.09	11.35	11/20/8	3.33	*13/25/8	0.09	17/24/17	11.16	11/20/8	10.82	11/20/8	9.08	13/21/9	30.100	11/20/8	0.98	*13/25/8	0.43	10/27/10	21.09	11/20/8	239.69	11/20/8	0.18	*17/35/11			0.08	*18/49/15	0.02	[34]
LCL090-1	0.00	11.64	11.64	18/20/14	1,332.97	*22/38/11			11.62	18/20/14	12.04	18/20/14	16.50	18/20/14	97.06	14/20/14	37.59	*22/38/11	4.36	14/25/14	430.93	14/20/14	1,879.90	17/20/16	0.03	*15/27/15			0.19	*22/35/16	0.03	[46]
LCL091-1	0.00	2.42	2.42	14/16/13	152.56	*11/16/10			2.38	14/16/13	2.26	14/16/13	3.51	14/16/13	3.94	14/16/13	13.81	*11/16/10	1.96	12/18/12	8.92	14/16/13	8.11	14/16/13	0.05	*19/49/16			0.08	*18/21/12	0.03	[51]
LCL093-1	0.00	72.63	72.63	25/29/16					73.14	25/29/16	72.29	25/29/16	59.02	25/29/16	372.85	21/30/14	424.55	*53/168/13	8.98	17/51/17					3.03	*31/209/20			53.27	*46/697/29	0.13	[99]
LCL094-1	0.00	0.13	14.75	16/26/11			0.13	16/26/11	14.80	16/26/11	13.72	16/26/11	11.92	16/26/11	38.57	18/23/13	38.40	*31/87/10	3.64	14/34/14	60.14	18/23/13			0.08	*16/30/10			0.07	*18/40/15	0.05	[32]
LCL095-1	0.00	48.65	48.65	20/25/13					48.24	20/25/13	43.92	20/25/13	36.77	20/25/13	160.95	17/21/16	114.35	*41/96/12	5.99	15/36/15	638.09	17/21/16			3.05	*35/131/20			0.47	*31/100/21	0.05	[63]
LCL096-1	0.00	0.00	0.00	4/4/3	0.00	6/6/3	1.82	13/15/6	0.00	4/4/3	0.00	4/4/3	0.01	4/4/3	0.01	4/4/3	0.00	6/6/3	0.30	6/6/6	0.01	4/4/3	0.01	4/4/3	0.11	15/22/5	1.59	13/15/6	2.17	4/4/3	0.11	[35]
LCL097-1	0.00	0.00	0.01	4/6/4	0.00	8/11/4	0.01	6/7/4	0.01	4/6/4	0.01	4/6/4	0.01	6/6/4	0.01	4/6/4	0.00	8/11/4	0.00	4/6/4	0.01	6/6/4	0.01	4/6/4	0.00	7/9/4	0.01	6/7/4	0.06	6/7/4	0.13	[24]
LCL098-1	0.00	0.00	0.00	4/6/4	0.00	4/6/4			0.00	4/6/4	0.00	4/6/4	0.01	5/6/4	0.01	4/6/4	0.00	4/6/4	0.00	4/6/4	0.01	5/6/4	0.01	4/6/4					0.05	4/6/4	0.85	[8]
LCL100-1	0.00	32.68					32.68	22/44/10																			28.17	22/44/10	198.63	25/69/11	23.25	[61]
LCL101-1	0.00	0.01	0.03	9/11/7	0.01	10/22/6			0.04	9/11/7	0.04	9/11/7					0.01	10/22/6	0.01	8/25/8									0.03	10/19/8	0.02	[13]
LCL102-1	0.00	0.01	1.94	7/7/4	0.01	9/10/4	0.01	8/10/5	1.97	7/7/4	1.85	7/7/4	2.69	7/7/5	0.28	7/7/4	0.01	9/10/4	0.47	7/7/7	0.81	7/7/5	2.29	7/7/4	0.01	10/17/5	0.01	8/10/5	0.28	9/11/5	0.04	[11]
LCL103-1	0.00	0.48	32.76	16/22/10	0.48	15/24/5			31.89	16/22/10	32.78	16/22/10			170.56	13/17/7	0.37	15/24/5			986.23	12/15/11							2.46	16/43/12	3.65	[30]
LCL104-1	0.00	0.01	0.36	9/11/9	0.01	11/22/5			0.41	9/11/9	0.39	9/11/9	0.21	9/11/9	0.06	9/11/9	0.01	11/22/5	0.02	6/15/6	0.06	9/11/9	0.15	9/11/9	0.00	7/19/6			0.03	7/19/6	0.01	[10]
LCL106-1	0.00	0.00	0.00	4/4/4	0.00	6/6/4			0.00	4/4/4	0.00	4/4/4	0.00	4/4/4	0.00	4/4/4	0.00	6/6/4	0.00	4/4/4	0.00	4/4/4	0.00	4/4/4					0.03	7/12/6	0.01	[7]
LCL107-1	0.00	0.00	0.01	5/9/5	0.00	5/9/5			0.01	5/9/5	0.01	5/9/5	0.01	5/9/5	0.01	5/9/5	0.00	5/9/5	0.00	5/9/5	0.01	5/9/5	0.01	5/9/5					0.03	5/9/5	0.32	[30]
LCL108-1	0.00	0.00	0.50	8/13/8	0.00	11/25/6			0.50	8/13/8	0.51	8/13/8	0.30	8/13/8	0.49	8/13/8	0.01	11/25/6	0.11	8/20/8	0.27	8/13/8	0.51	8/13/8					0.05	14/63/9	0.02	[24]
LCL110-1	0.00	0.01	0.90	8/8/4	0.03	8/9/4	0.01	8/8/6	0.89	8/8/4	0.80	8/8/4	1.23	8/8/4	0.64	7/8/5	0.03	8/9/4	1.00	8/14/8	1.74	7/8/5	1.91	7/8/5	0.02	12/14/6			0.03	11/13/6	0.03	[11]
LCL111-1	0.00	0.00	0.01	5/5/3	0.00	5/5/3			0.01	5/5/3	0.01	5/5/3	0.04	5/5/3	0.01	5/5/3	0.00	5/5/3	0.09	6/10/6	0.03	5/5/3	0.01	5/5/3					0.09	5/5/4	0.33	[7]
LCL112-1	0.00	0.02	1.58	9/9/5	0.14	13/17/5	0.02	9/9/7	1.57	9/9/5	1.38	9/9/5	3.04	9/9/5	2.66	8/9/6	0.13	13/17/5	2.39	10/17/10	5.83	8/9/6	36.79	8/9/6	0.04	13/15/7			0.04	12/14/7	0.04	[14]
LCL113-1	0.00	39.90	59.23	16/17/8	39.90	17/25/5			69.80	16/17/8	55.27	16/17/8	96.40	18/20/7	81.26	14/15/11	23.70	25/48/6	5.55	19/79/19									11.79	18/25/10	0.84	[19]
LCL114-1	0.00	246.74	246.74	21/31/8					228.92	21/31/8	210.45	21/31/8	195.39	27/36/9	1,402.52	17/26/11	618.38	40/71/7											11.66	24/50/13	8.08	[26]
LCL115-1	0.00	0.06	22.79	13/15/10	14.43	17/23/5	0.06	11/16/9	25.95	13/15/10	23.33	13/15/10	37.24	13/15/10	77.77	13/15/10	21.17	25/38/6	3.54	12/22/12					0.08	15/22/9			0.10	16/32/10	0.03	[20]
LCL116-1	0.00	255.44	255.44	26/42/8					234.11	26/42/8	244.65	26/42/8	213.29	29/46/11	2,257.80	24/38/13	2,047.82	39/75/8											11.62	24/52/13	27.55	[30]
LCL117-1	0.00	0.00	0.00	3/4/3	0.00	3/4/3			0.00	3/4/3	0.00	3/4/3	0.00	3/4/3	0.00	3/4/3	0.00	3/4/3	0.00	3/4/3	0.00	3/4/3	0.00	3/4/3					0.03	3/4/3	0.01	[6]
LCL118-1	0.00	0.00	0.01	7/8/7	0.00	7/10/5			0.01	7/8/7	0.01	7/8/7	0.01	7/8/7	0.01	7/8/7	0.00	7/10/5	0.02	7/8/7	0.01	7/8/7	0.01	7/8/7					0.08	14/24/10	0.02	[16]
LCL120-1	0.00	0.00	0.00	6/7/6	0.03	10/19/6			0.00	6/7/6	0.00	6/7/6	0.01	6/7/6	0.00	6/7/6	0.01	10/19/6	0.01	6/7/6	0.01	6/7/6	0.01	6/7/6					0.42	12/29/7	0.01	[13]
LCL121-1	0.00	48.98	53.53	24/112/10	48.98	26/131/8			55.33	24/112/10	52.75	24/112/10	33.60	26/129/11	151.09	18/64/9	1.13	24/121/8	18.31	17/427/17	445.65	16/58/8							2.28	24/557/16	0.16	[33]
LCL122-1	0.00	70.21			70.21	28/149/8									601.64	18/85/10	5.90	28/149/8											77.04	27/530/17	0.72	[49]
LCL123-1	0.00	0.07	7.74	12/34/7	0.07	17/62/7			7.84	12/34/7	7.41	12/34/7	4.16	12/37/9	34.03	11/33/7	0.03	17/62/7	1.20	10/68/10	24.17	11/33/7	2,371.32	11/33/7					3.62	20/426/16	46.22	[47]
LCL126-1	0.00	0.00	0.00	4/4/4	0.00	4/6/3			0.00	4/4/4	0.00	4/4/4	0.01	4/4/4	0.00	4/4/4	0.00	4/6/3	0.00	4/7/4	0.01	4/4/4	0.00	4/4/4					0.03	7/15/6	0.01	[7]
LCL127-1	0.00	52.42	52.42	28/66/11	853.97	23/52/7			51.48	28/66/11	47.31	28/66/11			127.90	29/50/17	11.39	42/182/9	15.07	16/476/16	580.29	22/38/16							21.30	29/1226/17	7.28	[63]
LCL128-1	0.00	47.08	47.08	31/73/17					43.93	31/73/17	45.90	31/73/17	23.71	34/77/17	146.46	22/69/19	8.22	22/128/9	17.90	17/172/17	45.80	20/57/12							3.07	24/352/19	0.61	[25]
LCL129-1	0.00	20.46	20.46	18/30/11					18.05	18/30/11	17.46	18/30/11			78.54	16/28/11			1.49	11/42/11	1,385.61	13/26/11							33.78	22/128/12	28.44	[43]
LCL130-1	0.00	0.00	0.00	5/8/5	0.00	7/18/5			0.00	5/8/5	0.00	5/8/5	0.01	5/8/5	0.01	5/8/5	0.00	7/18/5	0.00	5/8/5	0.01	5/8/5	0.01	5/8/5					0.03	11/93/10	0.01	[23]
LCL131-1	0.00	0.46	4.63	13/30/9	0.46	19/61/8			4.60	13/30/9	4.27	13/30/9	2.65	13/30/9	19.04	13/30/9	0.44	19/61/8	2.96	11/51/11	5.87	13/30/9	61.44	13/30/9					2.10	21/85/11	0.10	[22]
LCL166-1	0.00	89.43	89.43	51/155/18					19.71	24/53/15	26.08	22/56/14																	18.86	53/4710/31	0.09	[34]
LCL256-1	0.00	52.90	58.02	21/31/16					84.50	21/31/16	61.39	21/31/16	48.45	24/38/17	52.90	20/31/13	168.99	34/62/7											0.39	*35/124/18	0.85	[61]
LCL257-1	0.00	0.00	0.09	8/10/6	0.00	8/14/5			0.09	8/10/6	0.08	8/10/6	0.19	8/10/6	0.05	8/10/6	0.00	8/14/5	0.06	7/22/7	0.08	8/10/6	0.09	8/10/6					0.03	8/16/6	0.02	[19]
LCL355-1	0.00	0.00	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.03	1/1/1	0.01	[2]
LCL356-1	0.00	0.00	0.00	2/3/2	0.00	2/3/2	0.00	2/3/2	0.00	2/3/2	0.00	2/3/2	0.00	2/3/2	0.00	2/3/2	0.00	2/3/2	0.00	2/3/2	0.00	2/3/2	0.00	2/3/2	0.00	2/3/2	0.00	2/3/2	0.03	2/3/2	0.02	[5]
LCL357-1	0.00	0.00	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.00	2/2/2	0.03	2/2/2	0.01	[4]
LCL358-1	0.00	0.00	0.01	4/5/4	0.00	4/6/3	0.01	4/5/4	0.01	4/5/4	0.01	4/5/4	0.02	4/5/4	0.01	4/5/4	0.00	4/6/3	0.01	4/5/4	0.02	4/5/4	0.01	4/5/4	0.00	4/6/3	0.01	4/5/4	0.42	4/6/3	0.02	[7]
LCL360-1	0.00	0.00	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.00	1/1/1	0.03	1/1/1	0.01	[2]
LCL361-1	0.00	0.00	0.00	4/4/3	0.00	4/4/3	0.00	4/4/3	0.00	4/4/3	0.00	4/4/3	0.01	4/4/3	0.00	4/4/3	0.00	4/4/3	0.01	4/4/4	0.01	4/4/3	0.00	4/4/3	0.00	4/4/3	0.00	4/4/3	0.05	6/7/5	0.01	[5]
LCL362-1	0.00	0.00	0.00	4/4/4	0.00	5/5/4	0.11	10/11/9	0.00	4/4/4	0.00	4/4/4	0.01	4/4/4	0.00	4/4/4	0.01	5/5/4	0.01	4/4/4	0.01	4/4/4	0.00	4/4/4	0.05	11/14/5	0.02	10/11/9	0.04	10/11/9	0.01	[7]
LCL363-1	0.00	0.02	0.02	6/6/5	0.14	13/17/5			0.02	6/6/5	0.01	6/6/5	0.05	6/6/5	0.02	6/6/5	0.05	13/17/5	0.13	7/8/7	0.03	6/6/5	0.02	6/6/5	0.00	10/12/8			0.04	10/11/9	0.01	[9]
LCL364-1	0.00	0.04	2.43	10/11/8	0.23	14/22/5	0.04	12/15/7	2.46	10/11/8	2.23	10/11/8	3.10	10/11/8	3.48	10/11/8	0.08	14/22/5	3.27	13/31/13	3.45	10/11/8	113.95	10/11/8	0.03	12/16/7			0.07	14/16/12	0.62	[36]
LCL366-1	0.00	0.87	7.16	12/13/10	0.87	15/17/5			7.31	12/13/10	7.19	12/13/10	4.70	12/13/10	1.85	12/13/10	12.84	17/25/6	3.26	15/29/15	1.61	12/13/10	264.67	12/13/10					0.21	*16/32/14	0.66	[31]
LCL367-1	0.00	0.38	12.11	13/15/11	0.38	15/19/5			12.39	13/15/11	11.34	13/15/11	8.89	13/15/11	4.96	13/15/11	12.46	17/25/6	1.99	13/42/13	4.16	13/15/11							0.07	*19/37/14	0.63	[33]
LCL370-1	0.00	72.56	72.56	27/39/14					72.68	27/39/14	71.80	27/39/14	39.34	27/39/14	103.05	27/39/13	173.81	31/64/7	68.42	35/1871/35									35.32	*36/243/21	0.71	[57]
LCL371-1	0.00	95.39	95.39	27/39/14					75.88	27/39/14	94.41	27/39/14	40.04	27/39/14	112.13	27/39/13	170.67	31/64/7	68.38	35/1871/35									35.92	*36/243/21	0.72	[57]
LCL373-1	0.00	112.93	112.93	38/69/18					115.82	38/69/18	112.50	38/69/18	67.03	39/69/17	365.55	37/68/14	303.11	44/142/8	66.54	35/1813/35									35.76	*40/322/23	0.82	[63]
LCL378-1	0.00	27.95	54.27	14/23/11	112.65	20/32/6			55.34	14/23/11	72.92	14/23/11	35.87	14/23/11	27.95	14/23/10	165.82	31/67/7	4.51	16/39/16	99.30	15/23/9							0.37	*26/75/17	0.92	[54]
LCL380-1	0.00	52.73	75.25	17/26/14	756.57	23/36/6			59.40	17/26/14	75.80	17/26/14	30.32	17/26/14	52.73	17/26/13	251.30	24/38/7	9.51	19/42/19	1,103.10	18/26/12							0.38	*29/78/18	0.98	[55]
LCL381-1	0.00	1.52	82.77	18/27/15	504.88	21/42/6	1.52	18/27/14	59.43	18/27/15	60.28	18/27/15	64.23	18/27/15	367.94	18/27/14	830.87	24/47/6	11.89	17/86/17					4.64	22/41/9	0.23	21/29/17	0.42	*30/80/18	0.80	[58]
LCL382-1	0.00	3.30	75.23	29/41/16			3.30	29/53/18	76.76	29/41/16	73.15	29/41/16	82.47	32/54/18	465.47	29/41/15	1,851.03	38/106/8							3.31	50/301/11			28.88	*38/245/21	0.84	[56]
LCL384-1	0.00	0.16	20.00	14/16/12	3.82	15/24/5	0.16	16/20/11	19.73	14/16/12	20.52	14/16/12	25.12	14/16/12	49.42	14/16/12	2.03	15/24/5	6.25	15/68/15	887.30	14/16/12			1.82	22/45/9	0.04	15/26/11	0.34	*18/36/15	0.83	[33]
LCL385-1	0.00	98.50	98.50	30/44/16					87.69	30/44/16	101.65	30/44/16	72.69	32/56/19	121.37	31/44/15	307.43	49/139/8											28.89	*39/248/21	0.84	[70]
LCL386-1	0.00	72.21	72.21	27/39/15					70.14	27/39/15	74.22	27/39/15	50.55	27/39/15	111.69	27/39/14	182.88	32/87/7	34.47	26/541/26									1.71	*32/263/20	0.86	[56]
LCL387-1	0.00	6.91	98.94	28/40/16			6.91	27/46/14	95.56	28/40/16	97.56	28/40/16	73.98	28/40/16	725.79	28/40/15			45.91	26/484/26					4.74	28/73/10	0.41	24/54/16	1.71	*33/264/21	0.95	[54]
LCL390-1	0.00	79.60	79.60	31/45/15					82.39	31/45/15	77.57	31/45/15	46.93	31/45/15	148.08	31/45/14	175.77	28/72/7	45.39	30/1159/30									36.05	*43/402/25	0.77	[55]
LCL391-1	0.00	42.65	181.93	39/115/20			42.65	40/161/20	182.03	39/115/20	182.47	39/115/20			1,359.82	47/95/17													132.18	*50/761/24	2.32	[67]
LCL396-1	0.00	64.63	64.63	22/34/17					83.31	22/34/17	83.94	22/34/17	45.76	21/34/15	85.17	21/31/17	239.71	30/53/7	17.75	22/55/22									0.41	*31/113/20	0.94	[53]
LCL397-1	0.00	0.06	0.29	7/8/7	0.13	14/20/5			0.30	7/8/7	0.26	7/8/7	0.43	7/8/7	0.06	7/8/7	0.03	14/20/5	0.08	7/8/7	0.09	7/8/7	0.21	7/8/7					0.03	7/8/7	0.01	[10]
LCL398-1	0.00	0.00	0.00	3/3/3	0.00	5/5/3	0.00	3/3/3	0.00	3/3/3	0.00	3/3/3	0.00	3/3/3	0.00	3/3/3	0.00	5/5/3	0.00	3/3/3	0.00	3/3/3	0.00	3/3/3	0.00	3/3/3			0.03	3/3/3	0.01	[6]
LCL399-1	0.00	4.27	7.08	12/13/11	36.83	20/28/6			7.37	12/13/11	7.04	12/13/11	5.08	12/13/11	4.27	12/13/11	6.12	20/28/6			3.51	12/13/11	484.04	12/13/11					0.16	*20/46/17	0.29	[26]
LCL400-1	0.00	100.58	100.58	32/47/17					78.56	32/47/17	74.36	32/47/17	61.01	32/47/17	134.99	33/47/18	168.44	47/140/8	10.66	20/83/20									0.83	*37/299/23	1.01	[57]
LCL401-1	0.00	95.10	95.10	29/62/15					97.38	29/62/15	96.73	29/62/15	85.94	32/68/15	208.59	37/59/22	163.25	49/132/8	22.55	24/297/24									0.83	*36/267/22	1.07	[61]
LCL402-1	0.00	74.37	74.37	31/46/16					103.24	31/46/16	96.72	31/46/16	58.74	31/46/16	141.18	32/46/17	232.18	32/89/7	22.36	24/149/24									0.38	*30/132/18	0.100	[55]
LCL403-1	0.00	100.31	100.31	41/62/14					97.73	41/62/14	127.46	41/62/14	102.52	44/106/19	275.30	39/60/14	259.67	59/151/8	55.76	33/1306/33									29.64	*46/550/25	63.53	[71]
LCL404-1	0.00	95.49	95.49	37/62/20					131.86	37/62/20	127.91	37/62/20	75.39	43/82/20	258.73	36/61/17	438.54	79/269/9											29.09	*40/322/22	63.36	[70]
LCL405-1	0.00	81.17	81.17	27/36/13					64.05	27/36/13	67.42	27/36/13	47.03	27/36/13	90.06	26/34/14	260.57	36/62/7											0.41	*34/143/19	0.86	[75]
LCL416-1	0.00	2.04	3.65	10/17/8	2.04	17/36/7			4.93	10/17/8	5.43	10/17/8	0.30	17/26/14									0.59	17/26/14					2.31	21/65/11	0.02	[26]
LCL020-1	0.25																												131.47	132/9348693/52	0.34	[92]
LCL031-1	0.25	155.91	155.91	23/26/10			259.17	23/26/10	137.05	23/26/10	116.80	23/26/10	140.31	23/26/10											604.59	40/86/7	46.61	20/29/14	516.18	36/88/11	18.74	[72]
LCL037-1	0.25																												183.21	*72/26204/38	114.71	[175]
LCL062-1	0.25	212.79					212.79	48/113/16																			62.14	53/121/18			3.81	[60]
LCL074-1	0.25	1,040.88													1,040.88	*50/136/18															69.27	[135]
LCL092-1	0.25	51.01	51.01	20/22/14	1,329.89	*27/37/11			49.70	20/22/14	47.95	20/22/14	34.68	20/22/14	52.85	17/19/15	36.14	*27/37/11	6.03	15/26/15	222.80	17/19/15	490.27	17/19/15	11.90	*44/226/21			0.21	*26/34/17	0.04	[57]
LCL099-1	0.25	246.55			246.55	20/41/6																									1.75	[35]
LCL105-1	0.25																												56.06	32/173/12	19.58	[86]
LCL119-1	0.25																												119.39	96/15919/28	0.19	[35]
LCL125-1	0.25																												30.36	41/465/17	147.78	[44]
LCL167-1	0.25	192.46	192.46	58/270/22																									80.09	83/790193/43	0.29	[77]
LCL359-1	0.25	0.00	0.01	3/5/3	0.00	3/5/3	0.00	3/5/3	0.01	3/5/3	0.01	3/5/3	0.02	3/5/3	0.01	3/5/3	0.00	3/5/3	0.00	3/5/3	0.02	3/5/3	0.01	3/5/3	0.00	3/5/3	0.00	3/5/3	0.34	3/5/3	11.01	[107]
LCL365-1	0.25	0.27	4.77	11/12/9	3.67	13/17/5	0.27	12/14/7	4.68	11/12/9	4.40	11/12/9	6.25	11/12/9	16.11	11/12/9	2.52	13/17/5	6.51	12/46/12	496.04	11/12/9	2,161.71	11/12/9	0.28	13/17/6	0.07	13/16/8			1.43	[42]
LCL368-1	0.25	1.22	81.09	23/28/17	502.61	21/44/6	1.22	21/32/16	76.08	23/28/17	58.96	23/28/17	57.88	23/28/17	628.18	23/28/18	1,437.93	23/45/6	11.03	16/95/16					4.71	24/59/10	0.16	21/39/17	1.66	*27/77/17	1.75	[42]
LCL369-1	0.25	1.64	80.23	23/29/12			1.64	22/34/16	79.48	23/29/12	75.43	23/29/12	48.17	24/30/17	796.98	22/28/10			10.96	16/137/16					4.70	25/61/10	0.19	22/41/17	1.66	*28/79/17	3.61	[94]
LCL372-1	0.25	6.95	93.88	28/40/15			6.95	27/46/13	94.31	28/40/15	71.30	28/40/15	72.89	28/40/15	867.98	28/40/14			68.10	31/787/31					4.77	28/100/10	0.48	24/54/19			1.53	[77]
LCL375-1	0.25	37.81					37.81	46/108/17							2,146.64	41/94/20											11.04	36/133/20			2.36	[108]
LCL376-1	0.25	65.37	118.54	30/76/15			65.37	47/82/22	152.05	30/76/15	117.10	30/76/15			1,982.59	31/66/14			91.30	34/984/34					26.48	48/133/9	26.46	42/87/22			2.30	[75]
LCL379-1	0.25	48.05	75.86	19/28/16					59.50	19/28/16	60.83	19/28/16	34.81	22/34/16	48.05	19/28/15	177.48	41/129/8	13.25	21/44/21	979.07	20/28/14							0.39	*29/110/18	0.87	[51]
LCL383-1	0.25	15.30	103.69	32/47/15			15.30	33/52/15	103.54	32/47/15	79.33	32/47/15	79.17	33/58/19	1,178.95	32/46/15									39.80	57/189/11	2.76	29/80/20			1.97	[49]
LCL388-1	0.25	38.38	140.84	47/103/20			38.38	38/109/19	139.76	47/103/20	134.61	47/103/20	125.75	45/108/19	1,811.69	38/95/18									11.29	46/247/11	8.32	39/130/21	29.96	*47/552/25	0.91	[61]
LCL389-1	0.25	25.30	145.57	38/72/19			25.30	38/82/16	142.30	38/72/19	135.57	38/72/19	92.53	47/83/19	1,389.40	39/70/15									11.34	45/218/11	3.93	37/103/21	28.99	*41/324/22	2.17	[58]
LCL392-1	0.25	9.93	79.94	32/46/16			9.93	30/52/14	78.93	32/46/16	78.63	32/46/16	63.15	32/46/16	662.99	32/46/15			61.49	30/1375/30					11.37	33/130/11	0.63	28/61/18	989.65	*63/979/28	1.19	[63]
LCL393-1	0.25	28.36					28.36	37/87/17							1,024.80	39/68/20			65.96	31/1476/31							3.94	35/103/19	2,391.86	*48/716/26	1.63	[94]
LCL394-1	0.25	124.24					124.24	41/81/17											79.19	32/1477/32							37.60	41/87/19			3.10	[114]
LCL028-1	0.50	153.56	153.56	34/67/15			530.60	28/52/13	124.19	34/67/15	147.92	34/67/15	102.79	34/71/16											389.47	44/155/8	107.89	28/52/13	1,963.92	78/426/16	36.32	[71]
LCL061-1	0.50	30.56					30.56	39/92/16							1,235.26	44/77/16											6.79	36/122/23			1.28	[70]
LCL124-1	0.50																														46.66	[54]
LCL374-1	0.50	22.66	117.85	43/76/18			22.66	33/77/17	112.60	43/76/18	143.12	43/76/18			1,787.46	42/74/21			83.83	33/1717/33							3.70	32/95/23			7.29	[94]
LCL377-1	0.50	34.93	115.96	42/74/17			34.93	38/78/15	142.51	42/74/17	111.47	42/74/17			1,911.30	41/62/16			81.70	33/2085/33					27.98	60/270/10	12.04	37/108/19			3.06	[106]
LCL395-1	0.50	56.44					56.44	45/112/20							1,290.42	45/79/16											28.16	40/134/20			2.14	[107]
LCL428-1	0.50																														0.03	[17]
LCL875-1	0.50																														0.02	[27]
LCL063-1	0.75																														162.66	[141]
LCL109-1	0.75
LCL417-1	0.75
LCL422-1	0.75
LCL876+1	0.93
LCL073-1	1.00
LCL418-1	1.00
LCL419-1	1.00
LCL420-1	1.00
LCL421-1	1.00
LCL425-1	1.00
LCL426-1	1.00
Problem	Rating	SGCD-1+2+3+7	SGCD-1		SGCD-2		SGCD-3		SGCD-4		SGCD-5		SGCD-6		SGCD-7		SGCD-8		SGCD-9		SGCD-10		SGCD-11		SGCD-12		SGCD-13		Prover9		E 2.6
Totals of 196:		176	165		109		80		164		164		153		161		141		139		110		86		78		46		168		185