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

	Name	Last modified	Size	Description
	Parent Directory		-
	algstr_2__l1_algstr_2	2013-09-04 12:58	13K
	algstr_2__l2_algstr_2	2013-09-04 12:58	15K
	algstr_2__l3_algstr_2	2013-09-04 12:58	12K
	algstr_2__l4_algstr_2	2013-09-04 12:58	12K
	algstr_2__l5_algstr_2	2013-09-04 12:58	12K
	algstr_2__l18_algstr_2	2013-09-04 12:58	2.9K
	algstr_2__l19_algstr_2	2013-09-04 12:58	3.8K
	algstr_2__l20_algstr_2	2013-09-04 12:58	3.8K
	algstr_2__t1_algstr_2	2013-09-04 12:58	12K
	algstr_2__t2_algstr_2	2013-09-04 12:58	7.7K
	algstr_2__t3_algstr_2	2013-09-04 12:58	2.5K
	algstr_2__t4_algstr_2	2013-09-04 12:58	6.1K
	algstr_2__t5_algstr_2	2013-09-04 12:58	7.1K
	algstr_2__t6_algstr_2	2013-09-04 12:58	12K
	algstr_2__t7_algstr_2	2013-09-04 12:58	7.1K
	algstr_2__t8_algstr_2	2013-09-04 12:58	6.0K
	algstr_2__t9_algstr_2	2013-09-04 12:58	6.5K
	algstr_2__t10_algstr_2	2013-09-04 12:58	12K
	algstr_2__t11_algstr_2	2013-09-04 12:58	14K
	algstr_2__t12_algstr_2	2013-09-04 12:58	9.9K