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

	Name	Last modified	Size	Description
	Parent Directory		-
	mmlquery__t1_mmlquery	2013-09-04 12:55	12K
	mmlquery__t2_mmlquery	2013-09-04 12:55	13K
	mmlquery__t3_mmlquery	2013-09-04 12:55	14K
	mmlquery__t4_mmlquery	2013-09-04 12:55	14K
	mmlquery__t5_mmlquery	2013-09-04 12:55	15K
	mmlquery__t6_mmlquery	2013-09-04 12:55	16K
	mmlquery__t7_mmlquery	2013-09-04 12:55	18K
	mmlquery__t8_mmlquery	2013-09-04 12:55	15K
	mmlquery__t9_mmlquery	2013-09-04 12:55	16K
	mmlquery__t10_mmlquery	2013-09-04 12:55	16K
	mmlquery__t11_mmlquery	2013-09-04 12:55	20K
	mmlquery__t12_mmlquery	2013-09-04 12:55	20K
	mmlquery__t13_mmlquery	2013-09-04 12:55	16K
	mmlquery__t14_mmlquery	2013-09-04 12:55	16K
	mmlquery__t15_mmlquery	2013-09-04 12:55	16K
	mmlquery__t16_mmlquery	2013-09-04 12:55	16K
	mmlquery__t17_mmlquery	2013-09-04 12:55	16K
	mmlquery__t18_mmlquery	2013-09-04 12:55	16K
	mmlquery__t19_mmlquery	2013-09-04 12:55	16K
	mmlquery__t20_mmlquery	2013-09-04 12:55	16K
	mmlquery__t21_mmlquery	2013-09-04 12:55	16K
	mmlquery__t22_mmlquery	2013-09-04 12:55	15K
	mmlquery__t23_mmlquery	2013-09-04 12:55	15K
	mmlquery__t24_mmlquery	2013-09-04 12:55	18K
	mmlquery__t25_mmlquery	2013-09-04 12:55	15K
	mmlquery__t26_mmlquery	2013-09-04 12:55	15K
	mmlquery__t27_mmlquery	2013-09-04 12:55	18K
	mmlquery__t28_mmlquery	2013-09-04 12:55	14K
	mmlquery__t29_mmlquery	2013-09-04 12:55	14K
	mmlquery__t30_mmlquery	2013-09-04 12:55	15K
	mmlquery__t31_mmlquery	2013-09-04 12:55	17K
	mmlquery__t32_mmlquery	2013-09-04 12:55	17K
	mmlquery__t33_mmlquery	2013-09-04 12:55	16K
	mmlquery__t34_mmlquery	2013-09-04 12:55	16K
	mmlquery__t35_mmlquery	2013-09-04 12:55	16K
	mmlquery__t36_mmlquery	2013-09-04 12:55	18K
	mmlquery__t37_mmlquery	2013-09-04 12:55	15K
	mmlquery__t38_mmlquery	2013-09-04 12:55	16K
	mmlquery__t39_mmlquery	2013-09-04 12:55	15K
	mmlquery__t40_mmlquery	2013-09-04 12:55	17K
	mmlquery__t41_mmlquery	2013-09-04 12:55	14K
	mmlquery__t42_mmlquery	2013-09-04 12:55	18K
	mmlquery__t43_mmlquery	2013-09-04 12:55	19K
	mmlquery__t44_mmlquery	2013-09-04 12:55	22K
	mmlquery__t45_mmlquery	2013-09-04 12:55	14K
	mmlquery__t46_mmlquery	2013-09-04 12:55	14K
	mmlquery__t47_mmlquery	2013-09-04 12:55	17K
	mmlquery__t48_mmlquery	2013-09-04 12:55	17K
	mmlquery__t49_mmlquery	2013-09-04 12:55	21K
	mmlquery__t50_mmlquery	2013-09-04 12:55	18K
	mmlquery__t51_mmlquery	2013-09-04 12:55	16K
	mmlquery__t52_mmlquery	2013-09-04 12:55	19K
	mmlquery__t53_mmlquery	2013-09-04 12:55	17K
	mmlquery__t54_mmlquery	2013-09-04 12:55	17K
	mmlquery__t55_mmlquery	2013-09-04 12:55	18K
	mmlquery__t56_mmlquery	2013-09-04 12:55	16K
	mmlquery__t57_mmlquery	2013-09-04 12:55	16K
	mmlquery__t58_mmlquery	2013-09-04 12:55	21K
	mmlquery__t59_mmlquery	2013-09-04 12:55	20K
	mmlquery__t60_mmlquery	2013-09-04 12:55	20K
	mmlquery__t61_mmlquery	2013-09-04 12:55	21K
	mmlquery__t62_mmlquery	2013-09-04 12:55	21K
	mmlquery__t63_mmlquery	2013-09-04 12:55	24K
	mmlquery__t64_mmlquery	2013-09-04 12:55	21K
	mmlquery__t65_mmlquery	2013-09-04 12:55	22K
	mmlquery__t66_mmlquery	2013-09-04 12:55	16K
	mmlquery__t67_mmlquery	2013-09-04 12:55	23K
	mmlquery__t68_mmlquery	2013-09-04 12:55	23K
	mmlquery__t69_mmlquery	2013-09-04 12:55	24K
	mmlquery__t70_mmlquery	2013-09-04 12:55	22K
	mmlquery__t71_mmlquery	2013-09-04 12:55	22K
	mmlquery__t72_mmlquery	2013-09-04 12:55	22K
	mmlquery__t73_mmlquery	2013-09-04 12:55	17K
	mmlquery__t74_mmlquery	2013-09-04 12:55	17K
	mmlquery__t75_mmlquery	2013-09-04 12:55	17K
	mmlquery__t76_mmlquery	2013-09-04 12:55	22K
	mmlquery__t77_mmlquery	2013-09-04 12:55	26K
	mmlquery__t78_mmlquery	2013-09-04 12:55	22K
	mmlquery__t79_mmlquery	2013-09-04 12:55	23K