Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/robbins3

	Name	Last modified	Size	Description
	Parent Directory		-
	robbins3__l13_robbins3	2016-03-08 13:09	38K
	robbins3__t1_robbins3	2016-03-08 13:09	29K
	robbins3__t2_robbins3	2016-03-08 13:09	31K
	robbins3__t3_robbins3	2016-03-08 13:09	29K
	robbins3__t4_robbins3	2016-03-08 13:09	30K
	robbins3__t5_robbins3	2016-03-08 13:09	31K
	robbins3__t6_robbins3	2016-03-08 13:09	22K
	robbins3__t7_robbins3	2016-03-08 13:09	27K
	robbins3__t8_robbins3	2016-03-08 13:09	21K
	robbins3__t9_robbins3	2016-03-08 13:09	31K
	robbins3__t10_robbins3	2016-03-08 13:09	31K
	robbins3__t11_robbins3	2016-03-08 13:09	32K
	robbins3__t12_robbins3	2016-03-08 13:09	31K
	robbins3__t13_robbins3	2016-03-08 13:09	32K
	robbins3__t14_robbins3	2016-03-08 13:09	32K
	robbins3__t15_robbins3	2016-03-08 13:09	32K
	robbins3__t16_robbins3	2016-03-08 13:09	22K
	robbins3__t17_robbins3	2016-03-08 13:09	22K
	robbins3__t18_robbins3	2016-03-08 13:09	21K
	robbins3__t19_robbins3	2016-03-08 13:09	25K
	robbins3__t20_robbins3	2016-03-08 13:09	35K
	robbins3__t21_robbins3	2016-03-08 13:09	31K
	robbins3__t22_robbins3	2016-03-08 13:09	29K
	robbins3__t23_robbins3	2016-03-08 13:09	39K
	robbins3__t24_robbins3	2016-03-08 13:09	20K
	robbins3__t25_robbins3	2016-03-08 13:09	48K
	robbins3__t26_robbins3	2016-03-08 13:09	49K
	robbins3__t27_robbins3	2016-03-08 13:09	53K
	robbins3__t28_robbins3	2016-03-08 13:09	68K
	robbins3__t29_robbins3	2016-03-08 13:09	32K
	robbins3__t30_robbins3	2016-03-08 13:09	40K