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

	Name	Last modified	Size	Description
	Parent Directory		-
	convex3__l6_convex3	2013-09-04 12:15	33K
	convex3__l7_convex3	2013-09-04 12:15	95K
	convex3__l8_convex3	2013-09-04 12:15	98K
	convex3__l14_convex3	2013-09-04 12:15	51K
	convex3__t1_convex3	2013-09-04 12:15	41K
	convex3__t2_convex3	2013-09-04 12:15	50K
	convex3__t3_convex3	2013-09-04 12:15	58K
	convex3__t4_convex3	2013-09-04 12:15	23K
	convex3__t5_convex3	2013-09-04 12:15	35K
	convex3__t6_convex3	2013-09-04 12:15	16K
	convex3__t7_convex3	2013-09-04 12:15	40K
	convex3__t8_convex3	2013-09-04 12:15	100K
	convex3__t9_convex3	2013-09-04 12:15	17K