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

	Name	Last modified	Size	Description
	Parent Directory		-
	realset3__t1_realset3	2013-09-04 12:36	15K
	realset3__t2_realset3	2013-09-04 12:36	17K
	realset3__t3_realset3	2013-09-04 12:36	16K
	realset3__t4_realset3	2013-09-04 12:36	12K
	realset3__t5_realset3	2013-09-04 12:36	16K
	realset3__t6_realset3	2013-09-04 12:36	16K
	realset3__t7_realset3	2013-09-04 12:36	20K
	realset3__t8_realset3	2013-09-04 12:36	13K
	realset3__t9_realset3	2013-09-04 12:36	16K
	realset3__t10_realset3	2013-09-04 12:36	12K
	realset3__t11_realset3	2013-09-04 12:36	13K
	realset3__t12_realset3	2013-09-04 12:36	12K
	realset3__t13_realset3	2013-09-04 12:36	13K
	realset3__t14_realset3	2013-09-04 12:36	13K
	realset3__t15_realset3	2013-09-04 12:36	13K
	realset3__t16_realset3	2013-09-04 12:36	12K
	realset3__t17_realset3	2013-09-04 12:36	12K
	realset3__t18_realset3	2013-09-04 12:36	13K
	realset3__t19_realset3	2013-09-04 12:36	13K
	realset3__t20_realset3	2013-09-04 12:36	16K
	realset3__t21_realset3	2013-09-04 12:36	17K
	realset3__t22_realset3	2013-09-04 12:36	17K
	realset3__t23_realset3	2013-09-04 12:36	15K
	realset3__t24_realset3	2013-09-04 12:36	16K
	realset3__t25_realset3	2013-09-04 12:36	16K
	realset3__t26_realset3	2013-09-04 12:36	17K
	realset3__t27_realset3	2013-09-04 12:36	17K
	realset3__t28_realset3	2013-09-04 12:36	17K
	realset3__t29_realset3	2013-09-04 12:36	17K
	realset3__t30_realset3	2013-09-04 12:36	19K
	realset3__t31_realset3	2013-09-04 12:36	18K