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

	Name	Last modified	Size	Description
	Parent Directory		-
	integra3__l1_integra3	2013-09-04 12:22	30K
	integra3__l2_integra3	2013-09-04 12:22	28K
	integra3__l14_integra3	2013-09-04 12:22	40K
	integra3__l15_integra3	2013-09-04 12:22	49K
	integra3__l16_integra3	2013-09-04 12:22	47K
	integra3__l17_integra3	2013-09-04 12:22	62K
	integra3__l20_integra3	2013-09-04 12:22	128K
	integra3__l22_integra3	2013-09-04 12:22	70K
	integra3__l23_integra3	2013-09-04 12:22	68K
	integra3__l24_integra3	2013-09-04 12:22	72K
	integra3__l25_integra3	2013-09-04 12:22	46K
	integra3__l26_integra3	2013-09-04 12:22	72K
	integra3__t1_integra3	2013-09-04 12:22	48K
	integra3__t2_integra3	2013-09-04 12:22	52K
	integra3__t3_integra3	2013-09-04 12:22	50K
	integra3__t4_integra3	2013-09-04 12:22	49K
	integra3__t5_integra3	2013-09-04 12:22	79K
	integra3__t6_integra3	2013-09-04 12:22	32K
	integra3__t7_integra3	2013-09-04 12:22	37K
	integra3__t8_integra3	2013-09-04 12:22	37K
	integra3__t9_integra3	2013-09-04 12:22	48K
	integra3__t10_integra3	2013-09-04 12:22	185K
	integra3__t11_integra3	2013-09-04 12:22	184K
	integra3__t12_integra3	2013-09-04 12:22	42K
	integra3__t13_integra3	2013-09-04 12:22	94K
	integra3__t14_integra3	2013-09-04 12:22	94K
	integra3__t15_integra3	2013-09-04 12:22	71K
	integra3__t16_integra3	2013-09-04 12:22	38K
	integra3__t17_integra3	2013-09-04 12:22	65K
	integra3__t18_integra3	2013-09-04 12:22	44K
	integra3__t19_integra3	2013-09-04 12:22	44K
	integra3__t20_integra3	2013-09-04 12:22	229K
	integra3__t21_integra3	2013-09-04 12:22	229K