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

	Name	Last modified	Size	Description
	Parent Directory		-
	int_3__l4_int_3	2013-09-04 12:18	22K
	int_3__l5_int_3	2013-09-04 12:18	15K
	int_3__l6_int_3	2013-09-04 12:18	25K
	int_3__l7_int_3	2013-09-04 12:18	30K
	int_3__l11_int_3	2013-09-04 12:18	34K
	int_3__l12_int_3	2013-09-04 12:18	62K
	int_3__l13_int_3	2013-09-04 12:18	63K
	int_3__l19_int_3	2013-09-04 12:18	31K
	int_3__l27_int_3	2013-09-04 12:18	40K
	int_3__l32_int_3	2013-09-04 12:18	22K
	int_3__l33_int_3	2013-09-04 12:18	27K
	int_3__t1_int_3	2013-09-04 12:18	31K
	int_3__t2_int_3	2013-09-04 12:18	63K
	int_3__t3_int_3	2013-09-04 12:18	57K
	int_3__t4_int_3	2013-09-04 12:18	42K
	int_3__t5_int_3	2013-09-04 12:18	31K
	int_3__t6_int_3	2013-09-04 12:18	31K
	int_3__t7_int_3	2013-09-04 12:18	47K
	int_3__t8_int_3	2013-09-04 12:18	47K
	int_3__t9_int_3	2013-09-04 12:18	48K
	int_3__t10_int_3	2013-09-04 12:18	39K
	int_3__t11_int_3	2013-09-04 12:18	61K
	int_3__t12_int_3	2013-09-04 12:18	64K
	int_3__t13_int_3	2013-09-04 12:18	30K
	int_3__t14_int_3	2013-09-04 12:18	28K