Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/setwop_2

	Name	Last modified	Size	Description
	Parent Directory		-
	setwop_2__l1_setwop_2	2013-09-04 12:52	13K
	setwop_2__l2_setwop_2	2013-09-04 12:52	18K
	setwop_2__l12_setwop_2	2013-09-04 12:52	19K
	setwop_2__l29_setwop_2	2013-09-04 12:52	30K
	setwop_2__l30_setwop_2	2013-09-04 12:52	30K
	setwop_2__l31_setwop_2	2013-09-04 12:52	30K
	setwop_2__t1_setwop_2	2013-09-04 12:52	24K
	setwop_2__t2_setwop_2	2013-09-04 12:52	27K
	setwop_2__t3_setwop_2	2013-09-04 12:52	24K
	setwop_2__t4_setwop_2	2013-09-04 12:52	28K
	setwop_2__t5_setwop_2	2013-09-04 12:52	42K
	setwop_2__t6_setwop_2	2013-09-04 12:52	28K
	setwop_2__t7_setwop_2	2013-09-04 12:52	27K
	setwop_2__t8_setwop_2	2013-09-04 12:52	27K
	setwop_2__t9_setwop_2	2013-09-04 12:52	26K
	setwop_2__t10_setwop_2	2013-09-04 12:52	21K
	setwop_2__t11_setwop_2	2013-09-04 12:52	26K
	setwop_2__t12_setwop_2	2013-09-04 12:52	26K
	setwop_2__t13_setwop_2	2013-09-04 12:52	26K
	setwop_2__t14_setwop_2	2013-09-04 12:52	21K
	setwop_2__t15_setwop_2	2013-09-04 12:52	21K
	setwop_2__t16_setwop_2	2013-09-04 12:52	28K
	setwop_2__t17_setwop_2	2013-09-04 12:52	25K
	setwop_2__t18_setwop_2	2013-09-04 12:52	29K
	setwop_2__t19_setwop_2	2013-09-04 12:52	26K
	setwop_2__t20_setwop_2	2013-09-04 12:52	22K
	setwop_2__t21_setwop_2	2013-09-04 12:52	28K
	setwop_2__t22_setwop_2	2013-09-04 12:52	35K
	setwop_2__t23_setwop_2	2013-09-04 12:52	30K
	setwop_2__t24_setwop_2	2013-09-04 12:52	31K
	setwop_2__t25_setwop_2	2013-09-04 12:52	30K
	setwop_2__t26_setwop_2	2013-09-04 12:52	28K
	setwop_2__t27_setwop_2	2013-09-04 12:52	33K
	setwop_2__t28_setwop_2	2013-09-04 12:52	33K
	setwop_2__t29_setwop_2	2013-09-04 12:52	25K
	setwop_2__t30_setwop_2	2013-09-04 12:52	29K
	setwop_2__t31_setwop_2	2013-09-04 12:52	26K
	setwop_2__t32_setwop_2	2013-09-04 12:52	33K
	setwop_2__t33_setwop_2	2013-09-04 12:52	23K
	setwop_2__t34_setwop_2	2013-09-04 12:52	23K
	setwop_2__t35_setwop_2	2013-09-04 12:52	22K
	setwop_2__t36_setwop_2	2013-09-04 12:52	24K
	setwop_2__t37_setwop_2	2013-09-04 12:52	27K
	setwop_2__t38_setwop_2	2013-09-04 12:52	32K
	setwop_2__t39_setwop_2	2013-09-04 12:52	32K
	setwop_2__t40_setwop_2	2013-09-04 12:52	21K
	setwop_2__t41_setwop_2	2013-09-04 12:52	21K