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

	Name	Last modified	Size	Description
	Parent Directory		-
	rsspace4__l1_rsspace4	2013-09-04 12:52	24K
	rsspace4__l2_rsspace4	2013-09-04 12:52	28K
	rsspace4__l4_rsspace4	2013-09-04 12:52	30K
	rsspace4__l5_rsspace4	2013-09-04 12:52	31K
	rsspace4__l7_rsspace4	2013-09-04 12:52	33K
	rsspace4__l8_rsspace4	2013-09-04 12:52	30K
	rsspace4__l41_rsspace4	2013-09-04 12:52	35K
	rsspace4__t1_rsspace4	2013-09-04 12:52	26K
	rsspace4__t2_rsspace4	2013-09-04 12:52	86K
	rsspace4__t3_rsspace4	2013-09-04 12:52	92K
	rsspace4__t4_rsspace4	2013-09-04 12:52	113K
	rsspace4__t5_rsspace4	2013-09-04 12:52	31K
	rsspace4__t6_rsspace4	2013-09-04 12:52	57K
	rsspace4__t7_rsspace4	2013-09-04 12:52	32K
	rsspace4__t8_rsspace4	2013-09-04 12:52	45K
	rsspace4__t9_rsspace4	2013-09-04 12:52	43K
	rsspace4__t10_rsspace4	2013-09-04 12:52	43K
	rsspace4__t11_rsspace4	2013-09-04 12:52	33K
	rsspace4__t12_rsspace4	2013-09-04 12:52	36K
	rsspace4__t13_rsspace4	2013-09-04 12:52	30K
	rsspace4__t14_rsspace4	2013-09-04 12:52	36K
	rsspace4__t15_rsspace4	2013-09-04 12:52	45K
	rsspace4__t16_rsspace4	2013-09-04 12:52	43K
	rsspace4__t17_rsspace4	2013-09-04 12:52	44K
	rsspace4__t18_rsspace4	2013-09-04 12:52	51K
	rsspace4__t19_rsspace4	2013-09-04 12:52	46K
	rsspace4__t20_rsspace4	2013-09-04 12:52	44K
	rsspace4__t21_rsspace4	2013-09-04 12:52	76K
	rsspace4__t22_rsspace4	2013-09-04 12:52	47K
	rsspace4__t23_rsspace4	2013-09-04 12:52	39K
	rsspace4__t24_rsspace4	2013-09-04 12:52	44K
	rsspace4__t25_rsspace4	2013-09-04 12:52	86K
	rsspace4__t26_rsspace4	2013-09-04 12:52	35K