Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/borsuk_1

	Name	Last modified	Size	Description
	Parent Directory		-
	borsuk_1__l33_borsuk_1	2013-09-04 12:25	30K
	borsuk_1__l52_borsuk_1	2013-09-04 12:25	20K
	borsuk_1__l54_borsuk_1	2013-09-04 12:25	26K
	borsuk_1__t1_borsuk_1	2013-09-04 12:25	14K
	borsuk_1__t2_borsuk_1	2013-09-04 12:25	27K
	borsuk_1__t3_borsuk_1	2013-09-04 12:25	28K
	borsuk_1__t4_borsuk_1	2013-09-04 12:25	19K
	borsuk_1__t5_borsuk_1	2013-09-04 12:25	28K
	borsuk_1__t6_borsuk_1	2013-09-04 12:25	29K
	borsuk_1__t7_borsuk_1	2013-09-04 12:25	30K
	borsuk_1__t8_borsuk_1	2013-09-04 12:25	31K
	borsuk_1__t9_borsuk_1	2013-09-04 12:25	28K
	borsuk_1__t10_borsuk_1	2013-09-04 12:25	31K
	borsuk_1__t11_borsuk_1	2013-09-04 12:25	27K
	borsuk_1__t12_borsuk_1	2013-09-04 12:25	28K
	borsuk_1__t13_borsuk_1	2013-09-04 12:25	29K
	borsuk_1__t14_borsuk_1	2013-09-04 12:25	30K
	borsuk_1__t15_borsuk_1	2013-09-04 12:25	33K
	borsuk_1__t16_borsuk_1	2013-09-04 12:25	33K
	borsuk_1__t17_borsuk_1	2013-09-04 12:25	33K
	borsuk_1__t18_borsuk_1	2013-09-04 12:25	35K
	borsuk_1__t19_borsuk_1	2013-09-04 12:25	31K
	borsuk_1__t20_borsuk_1	2013-09-04 12:25	31K
	borsuk_1__t21_borsuk_1	2013-09-04 12:25	41K
	borsuk_1__t22_borsuk_1	2013-09-04 12:25	18K
	borsuk_1__t23_borsuk_1	2013-09-04 12:25	31K
	borsuk_1__t24_borsuk_1	2013-09-04 12:25	32K
	borsuk_1__t25_borsuk_1	2013-09-04 12:25	56K
	borsuk_1__t26_borsuk_1	2013-09-04 12:25	29K
	borsuk_1__t27_borsuk_1	2013-09-04 12:25	22K
	borsuk_1__t28_borsuk_1	2013-09-04 12:25	28K
	borsuk_1__t29_borsuk_1	2013-09-04 12:25	29K
	borsuk_1__t30_borsuk_1	2013-09-04 12:25	30K
	borsuk_1__t31_borsuk_1	2013-09-04 12:25	24K
	borsuk_1__t32_borsuk_1	2013-09-04 12:25	24K
	borsuk_1__t33_borsuk_1	2013-09-04 12:25	34K
	borsuk_1__t34_borsuk_1	2013-09-04 12:25	34K
	borsuk_1__t35_borsuk_1	2013-09-04 12:25	34K
	borsuk_1__t36_borsuk_1	2013-09-04 12:25	34K
	borsuk_1__t37_borsuk_1	2013-09-04 12:25	34K
	borsuk_1__t38_borsuk_1	2013-09-04 12:25	37K
	borsuk_1__t39_borsuk_1	2013-09-04 12:25	28K
	borsuk_1__t40_borsuk_1	2013-09-04 12:25	30K
	borsuk_1__t41_borsuk_1	2013-09-04 12:25	49K
	borsuk_1__t42_borsuk_1	2013-09-04 12:25	67K
	borsuk_1__t43_borsuk_1	2013-09-04 12:25	21K