Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/t56_scmfsa_2

	Name	Last modified	Size	Description
	Parent Directory		-
	scm_halt__1372_25.min1.thm1.tptp	2017-02-06 16:58	358
	scm_halt__1604_31.min1.thm1.tptp	2017-02-06 16:58	359
	scm_halt__2711_22.min1.thm1.tptp	2017-02-06 16:58	367
	scmfsa6b__1573_31.min1.thm1.tptp	2017-02-06 16:58	359
	scmfsa8b__804_29.min1.thm1.tptp	2017-02-06 16:58	349
	scmfsa8b__1137_29.min1.thm1.tptp	2017-02-06 16:58	354
	scmfsa8b__1531_29.min1.thm1.tptp	2017-02-06 16:58	349
	scmfsa8b__1866_29.min1.thm1.tptp	2017-02-06 16:58	354
	scmfsa8c__1542_24.min1.thm1.tptp	2017-02-06 16:58	368
	scmfsa8c__1726_24.min1.thm1.tptp	2017-02-06 16:58	368
	scmfsa8c__1935_24.min1.thm1.tptp	2017-02-06 16:58	368
	scmfsa8c__2119_24.min1.thm1.tptp	2017-02-06 16:58	368
	scmfsa8c__2358_24.min1.thm1.tptp	2017-02-06 16:58	368
	scmfsa8c__2621_24.min1.thm1.tptp	2017-02-06 16:58	368
	scmfsa8c__2838_24.min1.thm1.tptp	2017-02-06 16:58	368
	scmfsa8c__3102_24.min1.thm1.tptp	2017-02-06 16:58	368
	scmfsa10__880_22.min1.thm1.tptp	2017-02-06 16:58	334
	scmfsa10__1008_22.min1.thm1.tptp	2017-02-06 16:58	334
	scmfsa_2__2172_22.min1.thm1.tptp	2017-02-06 16:58	343
	scmfsa_3__57_20.min1.thm1.tptp	2017-02-06 16:58	329
	scmfsa_3__222_25.min1.thm1.tptp	2017-02-06 16:58	374
	scmfsa_3__265_25.min1.thm1.tptp	2017-02-06 16:58	374
	scmfsa_3__339_25.min1.thm1.tptp	2017-02-06 16:58	374
	scmfsa_3__435_25.min1.thm1.tptp	2017-02-06 16:58	374
	scmisort__1441_26.min1.thm1.tptp	2017-02-06 16:58	358
	sfmastr1__959_29.min1.thm1.tptp	2017-02-06 16:58	349