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

	Name	Last modified	Size	Description
	Parent Directory		-
	comseq_3__l1_comseq_3	2013-09-04 12:39	15K
	comseq_3__l5_comseq_3	2013-09-04 12:39	21K
	comseq_3__l6_comseq_3	2013-09-04 12:39	22K
	comseq_3__l14_comseq_3	2013-09-04 12:39	24K
	comseq_3__t1_comseq_3	2013-09-04 12:39	92K
	comseq_3__t2_comseq_3	2013-09-04 12:39	34K
	comseq_3__t3_comseq_3	2013-09-04 12:39	34K
	comseq_3__t4_comseq_3	2013-09-04 12:39	46K
	comseq_3__t5_comseq_3	2013-09-04 12:39	38K
	comseq_3__t6_comseq_3	2013-09-04 12:39	38K
	comseq_3__t7_comseq_3	2013-09-04 12:39	36K
	comseq_3__t8_comseq_3	2013-09-04 12:39	40K
	comseq_3__t9_comseq_3	2013-09-04 12:39	32K
	comseq_3__t10_comseq_3	2013-09-04 12:39	50K
	comseq_3__t11_comseq_3	2013-09-04 12:39	21K
	comseq_3__t12_comseq_3	2013-09-04 12:39	34K
	comseq_3__t13_comseq_3	2013-09-04 12:39	23K
	comseq_3__t14_comseq_3	2013-09-04 12:39	24K
	comseq_3__t15_comseq_3	2013-09-04 12:39	36K
	comseq_3__t16_comseq_3	2013-09-04 12:39	35K
	comseq_3__t17_comseq_3	2013-09-04 12:39	32K
	comseq_3__t18_comseq_3	2013-09-04 12:39	48K
	comseq_3__t19_comseq_3	2013-09-04 12:39	32K
	comseq_3__t20_comseq_3	2013-09-04 12:39	64K
	comseq_3__t21_comseq_3	2013-09-04 12:39	69K
	comseq_3__t22_comseq_3	2013-09-04 12:39	32K
	comseq_3__t23_comseq_3	2013-09-04 12:39	30K
	comseq_3__t24_comseq_3	2013-09-04 12:39	27K
	comseq_3__t25_comseq_3	2013-09-04 12:39	29K
	comseq_3__t26_comseq_3	2013-09-04 12:39	32K
	comseq_3__t27_comseq_3	2013-09-04 12:39	26K
	comseq_3__t28_comseq_3	2013-09-04 12:39	41K
	comseq_3__t29_comseq_3	2013-09-04 12:39	33K
	comseq_3__t30_comseq_3	2013-09-04 12:39	32K
	comseq_3__t31_comseq_3	2013-09-04 12:39	51K
	comseq_3__t32_comseq_3	2013-09-04 12:39	32K
	comseq_3__t33_comseq_3	2013-09-04 12:39	49K
	comseq_3__t34_comseq_3	2013-09-04 12:39	26K
	comseq_3__t35_comseq_3	2013-09-04 12:39	28K
	comseq_3__t36_comseq_3	2013-09-04 12:39	45K
	comseq_3__t37_comseq_3	2013-09-04 12:39	41K
	comseq_3__t38_comseq_3	2013-09-04 12:39	115K
	comseq_3__t39_comseq_3	2013-09-04 12:39	116K
	comseq_3__t40_comseq_3	2013-09-04 12:39	41K
	comseq_3__t41_comseq_3	2013-09-04 12:39	25K
	comseq_3__t42_comseq_3	2013-09-04 12:39	45K
	comseq_3__t43_comseq_3	2013-09-04 12:39	53K
	comseq_3__t44_comseq_3	2013-09-04 12:39	33K
	comseq_3__t45_comseq_3	2013-09-04 12:39	30K
	comseq_3__t46_comseq_3	2013-09-04 12:39	54K
	comseq_3__t47_comseq_3	2013-09-04 12:39	47K
	comseq_3__t48_comseq_3	2013-09-04 12:39	47K
	comseq_3__t49_comseq_3	2013-09-04 12:39	28K
	comseq_3__t50_comseq_3	2013-09-04 12:39	40K
	comseq_3__t51_comseq_3	2013-09-04 12:39	37K
	comseq_3__t52_comseq_3	2013-09-04 12:39	33K
	comseq_3__t53_comseq_3	2013-09-04 12:39	33K
	comseq_3__t54_comseq_3	2013-09-04 12:39	37K
	comseq_3__t55_comseq_3	2013-09-04 12:39	46K
	comseq_3__t56_comseq_3	2013-09-04 12:39	30K
	comseq_3__t57_comseq_3	2013-09-04 12:39	34K
	comseq_3__t58_comseq_3	2013-09-04 12:39	35K
	comseq_3__t59_comseq_3	2013-09-04 12:39	36K
	comseq_3__t60_comseq_3	2013-09-04 12:39	57K
	comseq_3__t61_comseq_3	2013-09-04 12:39	30K
	comseq_3__t62_comseq_3	2013-09-04 12:39	27K
	comseq_3__t63_comseq_3	2013-09-04 12:39	36K
	comseq_3__t64_comseq_3	2013-09-04 12:39	68K
	comseq_3__t65_comseq_3	2013-09-04 12:39	47K
	comseq_3__t66_comseq_3	2013-09-04 12:39	30K
	comseq_3__t67_comseq_3	2013-09-04 12:39	33K
	comseq_3__t68_comseq_3	2013-09-04 12:39	33K
	comseq_3__t69_comseq_3	2013-09-04 12:39	31K
	comseq_3__t70_comseq_3	2013-09-04 12:39	29K
	comseq_3__t71_comseq_3	2013-09-04 12:39	31K
	comseq_3__t72_comseq_3	2013-09-04 12:39	34K
	comseq_3__t73_comseq_3	2013-09-04 12:39	31K
	comseq_3__t74_comseq_3	2013-09-04 12:39	30K
	comseq_3__t75_comseq_3	2013-09-04 12:39	37K
	comseq_3__t76_comseq_3	2013-09-04 12:39	35K