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

	Name	Last modified	Size	Description
	Parent Directory		-
	borsuk_3__l3_borsuk_3	2013-09-04 12:39	7.9K
	borsuk_3__l4_borsuk_3	2013-09-04 12:39	10K
	borsuk_3__l16_borsuk_3	2013-09-04 12:39	23K
	borsuk_3__l19_borsuk_3	2013-09-04 12:39	23K
	borsuk_3__l25_borsuk_3	2013-09-04 12:39	16K
	borsuk_3__l26_borsuk_3	2013-09-04 12:39	31K
	borsuk_3__t1_borsuk_3	2013-09-04 12:38	19K
	borsuk_3__t2_borsuk_3	2013-09-04 12:38	21K
	borsuk_3__t3_borsuk_3	2013-09-04 12:38	16K
	borsuk_3__t4_borsuk_3	2013-09-04 12:38	23K
	borsuk_3__t5_borsuk_3	2013-09-04 12:38	23K
	borsuk_3__t6_borsuk_3	2013-09-04 12:38	40K
	borsuk_3__t7_borsuk_3	2013-09-04 12:38	40K
	borsuk_3__t8_borsuk_3	2013-09-04 12:38	33K
	borsuk_3__t9_borsuk_3	2013-09-04 12:38	34K
	borsuk_3__t10_borsuk_3	2013-09-04 12:38	26K
	borsuk_3__t11_borsuk_3	2013-09-04 12:39	26K
	borsuk_3__t12_borsuk_3	2013-09-04 12:39	23K
	borsuk_3__t13_borsuk_3	2013-09-04 12:38	25K
	borsuk_3__t14_borsuk_3	2013-09-04 12:39	18K
	borsuk_3__t15_borsuk_3	2013-09-04 12:39	30K
	borsuk_3__t16_borsuk_3	2013-09-04 12:39	22K
	borsuk_3__t17_borsuk_3	2013-09-04 12:39	25K
	borsuk_3__t18_borsuk_3	2013-09-04 12:39	24K
	borsuk_3__t19_borsuk_3	2013-09-04 12:39	20K
	borsuk_3__t20_borsuk_3	2013-09-04 12:39	26K
	borsuk_3__t21_borsuk_3	2013-09-04 12:39	17K
	borsuk_3__t22_borsuk_3	2013-09-04 12:39	22K
	borsuk_3__t23_borsuk_3	2013-09-04 12:39	21K