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

	Name	Last modified	Size	Description
	Parent Directory		-
	integra4__l6_integra4	2013-09-04 12:25	73K
	integra4__l7_integra4	2013-09-04 12:25	73K
	integra4__l14_integra4	2013-09-04 12:25	70K
	integra4__l15_integra4	2013-09-04 12:25	93K
	integra4__l16_integra4	2013-09-04 12:25	88K
	integra4__t1_integra4	2013-09-04 12:25	66K
	integra4__t2_integra4	2013-09-04 12:25	66K
	integra4__t3_integra4	2013-09-04 12:25	52K
	integra4__t4_integra4	2013-09-04 12:25	51K
	integra4__t5_integra4	2013-09-04 12:25	48K
	integra4__t6_integra4	2013-09-04 12:25	33K
	integra4__t7_integra4	2013-09-04 12:25	66K
	integra4__t8_integra4	2013-09-04 12:25	79K
	integra4__t9_integra4	2013-09-04 12:25	78K
	integra4__t10_integra4	2013-09-04 12:25	59K
	integra4__t11_integra4	2013-09-04 12:25	40K
	integra4__t12_integra4	2013-09-04 12:25	55K
	integra4__t13_integra4	2013-09-04 12:25	40K
	integra4__t14_integra4	2013-09-04 12:25	45K
	integra4__t15_integra4	2013-09-04 12:25	43K
	integra4__t16_integra4	2013-09-04 12:25	47K
	integra4__t17_integra4	2013-09-04 12:25	43K
	integra4__t18_integra4	2013-09-04 12:25	35K
	integra4__t19_integra4	2013-09-04 12:25	35K
	integra4__t20_integra4	2013-09-04 12:25	129K
	integra4__t21_integra4	2013-09-04 12:25	41K
	integra4__t22_integra4	2013-09-04 12:25	57K
	integra4__t23_integra4	2013-09-04 12:25	133K
	integra4__t24_integra4	2013-09-04 12:25	52K
	integra4__t25_integra4	2013-09-04 12:25	67K
	integra4__t26_integra4	2013-09-04 12:25	67K
	integra4__t27_integra4	2013-09-04 12:25	136K
	integra4__t28_integra4	2013-09-04 12:25	176K
	integra4__t29_integra4	2013-09-04 12:25	92K
	integra4__t30_integra4	2013-09-04 12:25	80K