Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/topalg_1

	Name	Last modified	Size	Description
	Parent Directory		-
	topalg_1__l15_topalg_1	2013-09-04 12:15	36K
	topalg_1__l48_topalg_1	2013-09-04 12:15	34K
	topalg_1__l50_topalg_1	2013-09-04 12:15	40K
	topalg_1__l56_topalg_1	2013-09-04 12:15	41K
	topalg_1__l70_topalg_1	2013-09-04 12:15	63K
	topalg_1__l71_topalg_1	2013-09-04 12:15	55K
	topalg_1__t1_topalg_1	2013-09-04 12:15	5.6K
	topalg_1__t2_topalg_1	2013-09-04 12:15	22K
	topalg_1__t3_topalg_1	2013-09-04 12:15	22K
	topalg_1__t4_topalg_1	2013-09-04 12:15	23K
	topalg_1__t5_topalg_1	2013-09-04 12:15	23K
	topalg_1__t6_topalg_1	2013-09-04 12:15	19K
	topalg_1__t7_topalg_1	2013-09-04 12:15	18K
	topalg_1__t8_topalg_1	2013-09-04 12:15	26K
	topalg_1__t9_topalg_1	2013-09-04 12:15	19K
	topalg_1__t10_topalg_1	2013-09-04 12:15	25K
	topalg_1__t11_topalg_1	2013-09-04 12:15	28K
	topalg_1__t12_topalg_1	2013-09-04 12:15	47K
	topalg_1__t13_topalg_1	2013-09-04 12:15	47K
	topalg_1__t14_topalg_1	2013-09-04 12:15	53K
	topalg_1__t15_topalg_1	2013-09-04 12:15	47K
	topalg_1__t16_topalg_1	2013-09-04 12:15	63K
	topalg_1__t17_topalg_1	2013-09-04 12:15	209K
	topalg_1__t18_topalg_1	2013-09-04 12:15	182K
	topalg_1__t19_topalg_1	2013-09-04 12:15	33K
	topalg_1__t20_topalg_1	2013-09-04 12:15	31K
	topalg_1__t21_topalg_1	2013-09-04 12:15	33K
	topalg_1__t22_topalg_1	2013-09-04 12:15	31K
	topalg_1__t23_topalg_1	2013-09-04 12:15	32K
	topalg_1__t24_topalg_1	2013-09-04 12:15	31K
	topalg_1__t25_topalg_1	2013-09-04 12:15	32K
	topalg_1__t26_topalg_1	2013-09-04 12:15	31K
	topalg_1__t27_topalg_1	2013-09-04 12:15	31K
	topalg_1__t28_topalg_1	2013-09-04 12:15	30K
	topalg_1__t29_topalg_1	2013-09-04 12:15	32K
	topalg_1__t30_topalg_1	2013-09-04 12:15	30K
	topalg_1__t31_topalg_1	2013-09-04 12:15	31K
	topalg_1__t32_topalg_1	2013-09-04 12:15	31K
	topalg_1__t33_topalg_1	2013-09-04 12:15	32K
	topalg_1__t34_topalg_1	2013-09-04 12:15	31K
	topalg_1__t35_topalg_1	2013-09-04 12:15	31K
	topalg_1__t36_topalg_1	2013-09-04 12:15	31K
	topalg_1__t37_topalg_1	2013-09-04 12:15	34K
	topalg_1__t38_topalg_1	2013-09-04 12:15	31K
	topalg_1__t39_topalg_1	2013-09-04 12:15	33K
	topalg_1__t40_topalg_1	2013-09-04 12:15	31K
	topalg_1__t41_topalg_1	2013-09-04 12:15	33K
	topalg_1__t42_topalg_1	2013-09-04 12:15	31K
	topalg_1__t43_topalg_1	2013-09-04 12:15	34K
	topalg_1__t44_topalg_1	2013-09-04 12:15	31K
	topalg_1__t45_topalg_1	2013-09-04 12:15	34K
	topalg_1__t46_topalg_1	2013-09-04 12:15	33K
	topalg_1__t47_topalg_1	2013-09-04 12:15	39K
	topalg_1__t48_topalg_1	2013-09-04 12:15	43K
	topalg_1__t49_topalg_1	2013-09-04 12:15	34K
	topalg_1__t50_topalg_1	2013-09-04 12:15	45K
	topalg_1__t51_topalg_1	2013-09-04 12:15	42K
	topalg_1__t52_topalg_1	2013-09-04 12:15	43K
	topalg_1__t53_topalg_1	2013-09-04 12:15	48K
	topalg_1__t54_topalg_1	2013-09-04 12:15	35K
	topalg_1__t55_topalg_1	2013-09-04 12:15	35K
	topalg_1__t56_topalg_1	2013-09-04 12:15	33K
	topalg_1__t57_topalg_1	2013-09-04 12:15	37K
	topalg_1__t58_topalg_1	2013-09-04 12:15	34K
	topalg_1__t59_topalg_1	2013-09-04 12:15	41K
	topalg_1__t60_topalg_1	2013-09-04 12:15	48K
	topalg_1__t61_topalg_1	2013-09-04 12:15	39K
	topalg_1__t62_topalg_1	2013-09-04 12:15	42K
	topalg_1__t63_topalg_1	2013-09-04 12:15	44K
	topalg_1__t64_topalg_1	2013-09-04 12:15	42K
	topalg_1__t65_topalg_1	2013-09-04 12:15	21K