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

	Name	Last modified	Size	Description
	Parent Directory		-
	weddwitt__t1_weddwitt	2013-09-04 12:53	30K
	weddwitt__t2_weddwitt	2013-09-04 12:53	35K
	weddwitt__t3_weddwitt	2013-09-04 12:53	54K
	weddwitt__t4_weddwitt	2013-09-04 12:53	87K
	weddwitt__t5_weddwitt	2013-09-04 12:53	49K
	weddwitt__t6_weddwitt	2013-09-04 12:53	69K
	weddwitt__t7_weddwitt	2013-09-04 12:53	35K
	weddwitt__t8_weddwitt	2013-09-04 12:53	35K
	weddwitt__t9_weddwitt	2013-09-04 12:53	51K
	weddwitt__t10_weddwitt	2013-09-04 12:53	43K
	weddwitt__t11_weddwitt	2013-09-04 12:54	46K
	weddwitt__t12_weddwitt	2013-09-04 12:54	55K
	weddwitt__t13_weddwitt	2013-09-04 12:53	51K
	weddwitt__t14_weddwitt	2013-09-04 12:53	49K
	weddwitt__t15_weddwitt	2013-09-04 12:53	94K
	weddwitt__t16_weddwitt	2013-09-04 12:53	45K
	weddwitt__t17_weddwitt	2013-09-04 12:54	46K
	weddwitt__t18_weddwitt	2013-09-04 12:54	40K
	weddwitt__t19_weddwitt	2013-09-04 12:54	40K
	weddwitt__t20_weddwitt	2013-09-04 12:54	44K
	weddwitt__t21_weddwitt	2013-09-04 12:54	48K
	weddwitt__t22_weddwitt	2013-09-04 12:54	60K
	weddwitt__t23_weddwitt	2013-09-04 12:54	44K
	weddwitt__t24_weddwitt	2013-09-04 12:54	44K
	weddwitt__t25_weddwitt	2013-09-04 12:54	41K
	weddwitt__t26_weddwitt	2013-09-04 12:54	48K
	weddwitt__t27_weddwitt	2013-09-04 12:54	45K
	weddwitt__t28_weddwitt	2013-09-04 12:54	39K
	weddwitt__t29_weddwitt	2013-09-04 12:54	59K
	weddwitt__t30_weddwitt	2013-09-04 12:54	62K
	weddwitt__t31_weddwitt	2013-09-04 12:54	51K
	weddwitt__t32_weddwitt	2013-09-04 12:54	65K
	weddwitt__t33_weddwitt	2013-09-04 12:54	53K
	weddwitt__t34_weddwitt	2013-09-04 12:54	45K
	weddwitt__t35_weddwitt	2013-09-04 12:54	73K
	weddwitt__t36_weddwitt	2013-09-04 12:54	68K
	weddwitt__t37_weddwitt	2013-09-04 12:54	62K
	weddwitt__t38_weddwitt	2013-09-04 12:54	135K
	weddwitt__t39_weddwitt	2013-09-04 12:53	46K
	weddwitt__t40_weddwitt	2013-09-04 12:53	46K