Index of /~mptp/1147/mptp/problems_small_consist/osalg_3

	Name	Last modified	Size	Description
	Parent Directory		-
	osalg_3__t1_osalg_3	2013-09-04 12:50	16K
	osalg_3__t2_osalg_3	2013-09-04 12:50	21K
	osalg_3__t3_osalg_3	2013-09-04 12:50	27K
	osalg_3__t4_osalg_3	2013-09-04 12:50	22K
	osalg_3__t5_osalg_3	2013-09-04 12:50	25K
	osalg_3__t6_osalg_3	2013-09-04 12:50	27K
	osalg_3__t7_osalg_3	2013-09-04 12:50	17K
	osalg_3__t8_osalg_3	2013-09-04 12:50	17K
	osalg_3__t9_osalg_3	2013-09-04 12:50	20K
	osalg_3__t10_osalg_3	2013-09-04 12:50	20K
	osalg_3__t11_osalg_3	2013-09-04 12:50	28K
	osalg_3__t12_osalg_3	2013-09-04 12:50	37K
	osalg_3__t13_osalg_3	2013-09-04 12:50	49K
	osalg_3__t14_osalg_3	2013-09-04 12:50	36K
	osalg_3__t15_osalg_3	2013-09-04 12:50	26K
	osalg_3__t16_osalg_3	2013-09-04 12:50	37K
	osalg_3__t17_osalg_3	2013-09-04 12:50	29K
	osalg_3__t18_osalg_3	2013-09-04 12:50	32K