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

	Name	Last modified	Size	Description
	Parent Directory		-
	menelaus__l15_menelaus	2013-09-04 12:12	118K
	menelaus__l18_menelaus	2013-09-04 12:12	86K
	menelaus__l19_menelaus	2013-09-04 12:12	86K
	menelaus__l20_menelaus	2013-09-04 12:12	94K
	menelaus__l21_menelaus	2013-09-04 12:12	57K
	menelaus__l23_menelaus	2013-09-04 12:12	95K
	menelaus__l28_menelaus	2013-09-04 12:12	447K
	menelaus__t1_menelaus	2013-09-04 12:12	34K
	menelaus__t2_menelaus	2013-09-04 12:12	33K
	menelaus__t3_menelaus	2013-09-04 12:12	32K
	menelaus__t4_menelaus	2013-09-04 12:12	43K
	menelaus__t5_menelaus	2013-09-04 12:12	39K
	menelaus__t6_menelaus	2013-09-04 12:12	39K
	menelaus__t7_menelaus	2013-09-04 12:12	138K
	menelaus__t8_menelaus	2013-09-04 12:12	36K
	menelaus__t9_menelaus	2013-09-04 12:12	273K
	menelaus__t10_menelaus	2013-09-04 12:12	78K
	menelaus__t11_menelaus	2013-09-04 12:12	231K
	menelaus__t12_menelaus	2013-09-04 12:12	42K
	menelaus__t13_menelaus	2013-09-04 12:12	100K
	menelaus__t14_menelaus	2013-09-04 12:12	67K
	menelaus__t15_menelaus	2013-09-04 12:12	76K
	menelaus__t16_menelaus	2013-09-04 12:12	85K
	menelaus__t17_menelaus	2013-09-04 12:12	118K
	menelaus__t18_menelaus	2013-09-04 12:12	84K
	menelaus__t19_menelaus	2013-09-04 12:12	404K
	menelaus__t20_menelaus	2013-09-04 12:12	734K
	menelaus__t21_menelaus	2013-09-04 12:12	193K
	menelaus__t22_menelaus	2013-09-04 12:12	87K