Index of /~mptp/1147/MPTP2/problems_thf_isof_from/gfacirc2

	Name	Last modified	Size	Description
	Parent Directory		-
	gfacirc2__e1_19	2017-01-13 00:16	66K
	gfacirc2__e1_40	2017-01-13 00:16	66K
	gfacirc2__e2_1_1_1	2017-01-13 00:16	90K
	gfacirc2__e2_1_1_2	2017-01-13 00:16	88K
	gfacirc2__e2_2_1_1	2017-01-13 00:16	130K
	gfacirc2__e2_22_1_1	2017-01-13 00:16	90K
	gfacirc2__e2_22_1_2	2017-01-13 00:16	88K
	gfacirc2__e2_23_1_1	2017-01-13 00:16	130K
	gfacirc2__e3_20	2017-01-13 00:16	75K
	gfacirc2__e3_41	2017-01-13 00:16	75K
	gfacirc2__e4_15	2017-01-13 00:16	68K
	gfacirc2__e4_16_1_1	2017-01-13 00:16	69K
	gfacirc2__e4_36	2017-01-13 00:16	68K
	gfacirc2__e4_37_1_1	2017-01-13 00:16	69K
	gfacirc2__e5_2_1_2	2017-01-13 00:16	136K
	gfacirc2__e5_17	2017-01-13 00:16	83K
	gfacirc2__e5_23_1_2	2017-01-13 00:16	136K
	gfacirc2__e5_38	2017-01-13 00:16	83K
	gfacirc2__e6_11	2017-01-13 00:16	69K
	gfacirc2__e6_32	2017-01-13 00:16	69K
	gfacirc2__e8_21	2017-01-13 00:16	66K
	gfacirc2__e8_42	2017-01-13 00:16	66K
	gfacirc2__e10_3_1_2	2017-01-13 00:16	60K
	gfacirc2__e10_24_1_2	2017-01-13 00:16	60K
	gfacirc2__e11_3_1_1	2017-01-13 00:16	82K
	gfacirc2__e12_19	2017-01-13 00:16	88K
	gfacirc2__e12_40	2017-01-13 00:16	88K
	gfacirc2__e14_4	2017-01-13 00:16	113K
	gfacirc2__e14_25	2017-01-13 00:16	113K
	gfacirc2__e15_24_1_1	2017-01-13 00:16	82K
	gfacirc2__e16_3_1_2	2017-01-13 00:16	78K
	gfacirc2__e16_4	2017-01-13 00:16	122K
	gfacirc2__e16_8_1	2017-01-13 00:16	113K
	gfacirc2__e16_24_1_2	2017-01-13 00:16	78K
	gfacirc2__e16_25	2017-01-13 00:16	122K
	gfacirc2__e16_29_1	2017-01-13 00:16	113K
	gfacirc2__e17_8	2017-01-13 00:16	50K
	gfacirc2__e17_29	2017-01-13 00:16	50K
	gfacirc2__e18_4	2017-01-13 00:16	85K
	gfacirc2__e20_25	2017-01-13 00:16	85K
	gfacirc2__e28_21	2017-01-13 00:16	148K
	gfacirc2__e28_42	2017-01-13 00:16	148K
	gfacirc2__e29_4	2017-01-13 00:16	82K
	gfacirc2__e29_25	2017-01-13 00:16	82K