Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/topreala

	Name	Last modified	Size	Description
	Parent Directory		-
	topreala__l1_topreala	2017-01-05 20:54	50K
	topreala__t1_topreala	2016-03-08 13:10	32K
	topreala__t2_topreala	2016-03-08 13:10	47K
	topreala__t3_topreala	2016-03-08 13:10	35K
	topreala__t4_topreala	2016-03-08 13:10	42K
	topreala__t5_topreala	2016-03-08 13:10	50K
	topreala__t6_topreala	2016-03-08 13:10	42K
	topreala__t7_topreala	2016-03-08 13:10	48K
	topreala__t8_topreala	2016-03-08 13:10	68K
	topreala__t9_topreala	2016-03-08 13:10	68K
	topreala__t10_topreala	2016-03-08 13:10	85K
	topreala__t11_topreala	2016-03-08 13:10	62K
	topreala__t12_topreala	2016-03-08 13:10	8.3K
	topreala__t13_topreala	2016-03-08 13:10	58K
	topreala__t14_topreala	2016-03-08 13:10	61K
	topreala__t15_topreala	2016-03-08 13:10	66K
	topreala__t16_topreala	2016-03-08 13:10	65K
	topreala__t17_topreala	2016-03-08 13:10	49K
	topreala__t18_topreala	2016-03-08 13:10	57K
	topreala__t19_topreala	2017-01-05 20:54	54K
	topreala__t20_topreala	2017-01-05 20:54	57K
	topreala__t21_topreala	2016-03-08 13:10	62K
	topreala__t22_topreala	2016-03-08 13:10	58K
	topreala__t23_topreala	2017-01-05 20:54	57K
	topreala__t24_topreala	2017-01-05 20:54	58K
	topreala__t25_topreala	2017-01-05 20:54	65K
	topreala__t26_topreala	2017-01-05 20:54	68K
	topreala__t27_topreala	2017-01-05 20:54	56K
	topreala__t28_topreala	2016-03-08 13:10	59K
	topreala__t29_topreala	2016-03-08 13:10	61K
	topreala__t30_topreala	2017-01-05 20:54	81K
	topreala__t31_topreala	2017-01-05 20:54	65K
	topreala__t32_topreala	2016-03-08 13:10	67K
	topreala__t33_topreala	2016-03-08 13:10	76K
	topreala__t34_topreala	2016-03-08 13:10	75K
	topreala__t35_topreala	2017-01-05 20:54	99K
	topreala__t36_topreala	2017-01-05 20:54	103K
	topreala__t37_topreala	2016-03-08 13:10	81K
	topreala__t38_topreala	2017-01-05 20:54	71K
	topreala__t39_topreala	2016-03-08 13:10	96K
	topreala__t40_topreala	2016-03-08 13:10	96K