Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_from/jgraph_6

	Name	Last modified	Size	Description
	Parent Directory		-
	jgraph_6__e5_69	2017-01-12 23:27	74K
	jgraph_6__e5_68	2017-01-12 23:27	74K
	jgraph_6__e3_12	2017-01-12 23:27	65K
	jgraph_6__e4_14	2017-01-12 23:27	64K
	jgraph_6__e2_39_3	2017-01-12 23:27	61K
	jgraph_6__e2_39_1	2017-01-12 23:27	61K
	jgraph_6__e2_44_1	2017-01-12 23:27	61K
	jgraph_6__e2_39_5	2017-01-12 23:27	61K
	jgraph_6__e2_39_4	2017-01-12 23:27	61K
	jgraph_6__e2_39_2_1	2017-01-12 23:27	60K
	jgraph_6__e1_37_1_1	2017-01-12 23:27	60K
	jgraph_6__e1_35_1_1	2017-01-12 23:27	60K
	jgraph_6__e1_38_1_1	2017-01-12 23:27	60K
	jgraph_6__e1_36_1_1	2017-01-12 23:27	60K
	jgraph_6__e2_44_2	2017-01-12 23:27	60K
	jgraph_6__e1_32_1_1	2017-01-12 23:27	60K
	jgraph_6__e28_20_1_2	2017-01-12 23:27	58K
	jgraph_6__e28_19_1_2	2017-01-12 23:27	58K
	jgraph_6__e26_20_1_2	2017-01-12 23:27	58K
	jgraph_6__e26_19_1_2	2017-01-12 23:27	58K
	jgraph_6__e24_20_1_2	2017-01-12 23:27	58K
	jgraph_6__e24_19_1_2	2017-01-12 23:27	58K
	jgraph_6__e22_20_1_2	2017-01-12 23:27	58K
	jgraph_6__e22_19_1_2	2017-01-12 23:27	58K
	jgraph_6__e1_28_1_1	2017-01-12 23:27	57K
	jgraph_6__e1_25_1_1	2017-01-12 23:27	57K
	jgraph_6__e1_27_1_1	2017-01-12 23:27	57K
	jgraph_6__e1_26_1_1	2017-01-12 23:27	57K
	jgraph_6__e25_91_1	2017-01-12 23:27	56K
	jgraph_6__e12_31	2017-01-12 23:27	56K
	jgraph_6__e3_9	2017-01-12 23:27	55K