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

	Name	Last modified	Size	Description
	Parent Directory		-
	finance1__t1_finance1	2013-09-04 12:17	20K
	finance1__t2_finance1	2013-09-04 12:17	20K
	finance1__t3_finance1	2013-09-04 12:17	18K
	finance1__t4_finance1	2013-09-04 12:17	21K
	finance1__t5_finance1	2013-09-04 12:17	41K
	finance1__t6_finance1	2013-09-04 12:17	50K
	finance1__t7_finance1	2013-09-04 12:17	38K
	finance1__t8_finance1	2013-09-04 12:17	27K
	finance1__t9_finance1	2013-09-04 12:17	42K
	finance1__t10_finance1	2013-09-04 12:17	27K
	finance1__t11_finance1	2013-09-04 12:17	49K
	finance1__t12_finance1	2013-09-04 12:17	66K
	finance1__t13_finance1	2013-09-04 12:17	55K
	finance1__t14_finance1	2013-09-04 12:17	58K
	finance1__t15_finance1	2013-09-04 12:17	34K
	finance1__t16_finance1	2013-09-04 12:17	31K