Index of /~mptp/1147/MPTP2/problems_small_consist/tops_4

	Name	Last modified	Size	Description
	Parent Directory		-
	tops_4__t1_tops_4	2013-09-04 12:21	19K
	tops_4__t2_tops_4	2013-09-04 12:21	31K
	tops_4__t3_tops_4	2013-09-04 12:21	20K
	tops_4__t4_tops_4	2013-09-04 12:21	26K
	tops_4__t5_tops_4	2013-09-04 12:21	26K
	tops_4__t6_tops_4	2013-09-04 12:21	26K
	tops_4__t7_tops_4	2013-09-04 12:21	33K
	tops_4__t8_tops_4	2013-09-04 12:21	32K
	tops_4__t9_tops_4	2013-09-04 12:21	33K
	tops_4__t10_tops_4	2013-09-04 12:21	29K
	tops_4__t11_tops_4	2013-09-04 12:21	28K
	tops_4__t12_tops_4	2013-09-04 12:21	28K
	tops_4__t13_tops_4	2013-09-04 12:21	41K
	tops_4__t14_tops_4	2013-09-04 12:21	38K
	tops_4__t15_tops_4	2013-09-04 12:21	27K
	tops_4__t16_tops_4	2013-09-04 12:21	27K
	tops_4__t17_tops_4	2013-09-04 12:21	29K
	tops_4__t18_tops_4	2013-09-04 12:21	31K
	tops_4__t19_tops_4	2013-09-04 12:21	31K
	tops_4__t20_tops_4	2013-09-04 12:21	33K
	tops_4__t21_tops_4	2013-09-04 12:21	33K
	tops_4__t22_tops_4	2013-09-04 12:21	33K
	tops_4__t23_tops_4	2013-09-04 12:21	28K
	tops_4__t24_tops_4	2013-09-04 12:21	38K
	tops_4__t25_tops_4	2013-09-04 12:21	38K