Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/t9_scmfsa_m

	Name	Last modified	Size	Description
	Parent Directory		-
	scm_halt__3508_22.min1.thm1.tptp	2017-02-06 16:58	605
	scm_halt__3628_23.min1.thm1.tptp	2017-02-06 16:58	606
	scmbsort__1986_10.min1.thm1.tptp	2017-02-06 16:58	607
	scmbsort__2493_10.min1.thm1.tptp	2017-02-06 16:58	607
	scmfsa6b__563_11.min1.thm1.tptp	2017-02-06 16:58	607
	scmfsa8c__3592_13.min1.thm1.tptp	2017-02-06 16:58	609
	scmfsa8c__3741_13.min1.thm1.tptp	2017-02-06 16:58	609
	scmfsa8c__4677_35.min1.thm1.tptp	2017-02-06 16:58	605
	scmfsa8c__4730_37.min1.thm1.tptp	2017-02-06 16:58	625
	scmfsa8c__4949_22.min1.thm1.tptp	2017-02-06 16:58	605
	scmfsa8c__5011_23.min1.thm1.tptp	2017-02-06 16:58	606
	scmfsa8c__5266_23.min1.thm1.tptp	2017-02-06 16:58	621
	scmisort__2444_10.min1.thm1.tptp	2017-02-06 16:58	607
	scmisort__2684_18.min1.thm1.tptp	2017-02-06 16:58	785
	scmisort__3003_10.min1.thm1.tptp	2017-02-06 16:58	607
	sfmastr1__360_23.min1.thm1.tptp	2017-02-06 16:58	606
	sfmastr1__444_36.min1.thm1.tptp	2017-02-06 16:58	606
	sfmastr1__752_35.min1.thm1.tptp	2017-02-06 16:58	605
	sfmastr1__827_35.min1.thm1.tptp	2017-02-06 16:58	605
	sfmastr1__1459_11.min1.thm1.tptp	2017-02-06 16:58	607
	sfmastr2__231_11.min1.thm1.tptp	2017-02-06 16:58	607
	sfmastr2__400_13.min1.thm1.tptp	2017-02-06 16:58	609
	sfmastr2__664_11.min1.thm1.tptp	2017-02-06 16:58	607
	sfmastr2__710_11.min1.thm1.tptp	2017-02-06 16:58	607
	sfmastr2__870_11.min1.thm1.tptp	2017-02-06 16:58	607
	sfmastr2__1023_11.min1.thm1.tptp	2017-02-06 16:58	607
	sfmastr2__1297_11.min1.thm1.tptp	2017-02-06 16:58	607
	sfmastr3__325_11.min1.thm1.tptp	2017-02-06 16:58	607
	sfmastr3__926_11.min1.thm1.tptp	2017-02-06 16:58	607
	sfmastr3__1191_11.min1.thm1.tptp	2017-02-06 16:58	607
	sfmastr3__1398_11.min1.thm1.tptp	2017-02-06 16:58	607
	sfmastr3__1468_11.min1.thm1.tptp	2017-02-06 16:58	607
	sfmastr3__2232_11.min1.thm1.tptp	2017-02-06 16:58	607
	sfmastr3__3017_11.min1.thm1.tptp	2017-02-06 16:58	607