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

	Name	Last modified	Size	Description
	Parent Directory		-
	hessenbe__l17_hessenbe	2013-09-04 12:27	4.3K
	hessenbe__l18_hessenbe	2013-09-04 12:27	8.9K
	hessenbe__l19_hessenbe	2013-09-04 12:27	9.1K
	hessenbe__t1_hessenbe	2013-09-04 12:27	1.4K
	hessenbe__t2_hessenbe	2013-09-04 12:27	1.8K
	hessenbe__t3_hessenbe	2013-09-04 12:27	2.9K
	hessenbe__t4_hessenbe	2013-09-04 12:27	1.7K
	hessenbe__t5_hessenbe	2013-09-04 12:27	1.6K
	hessenbe__t6_hessenbe	2013-09-04 12:27	2.0K
	hessenbe__t7_hessenbe	2013-09-04 12:27	2.3K
	hessenbe__t8_hessenbe	2013-09-04 12:27	2.2K
	hessenbe__t9_hessenbe	2013-09-04 12:27	2.2K
	hessenbe__t10_hessenbe	2013-09-04 12:27	2.1K
	hessenbe__t11_hessenbe	2013-09-04 12:27	2.9K
	hessenbe__t12_hessenbe	2013-09-04 12:27	2.6K
	hessenbe__t13_hessenbe	2013-09-04 12:27	2.1K
	hessenbe__t14_hessenbe	2013-09-04 12:27	2.0K
	hessenbe__t15_hessenbe	2013-09-04 12:27	2.1K
	hessenbe__t16_hessenbe	2013-09-04 12:27	7.5K
	hessenbe__t17_hessenbe	2013-09-04 12:27	4.2K