Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/schems_1

	Name	Last modified	Size	Description
	Parent Directory		-
	schems_1__s1_schems_1	2017-01-13 00:35	330
	schems_1__s2_schems_1	2017-01-13 00:35	383
	schems_1__s3_schems_1	2017-01-13 00:35	463
	schems_1__s4_schems_1	2017-01-13 00:35	465
	schems_1__s5_schems_1	2017-01-13 00:35	426
	schems_1__s6_schems_1	2017-01-13 00:35	495
	schems_1__s7_schems_1	2017-01-13 00:35	496
	schems_1__s8_schems_1	2017-01-13 00:35	734
	schems_1__s9_schems_1	2017-01-13 00:35	478
	schems_1__s10_schems_1	2017-01-13 00:35	489
	schems_1__s11_schems_1	2017-01-13 00:35	711
	schems_1__s12_schems_1	2017-01-13 00:35	391
	schems_1__s13_schems_1	2017-01-13 00:35	375
	schems_1__s14_schems_1	2017-01-13 00:35	375
	schems_1__s15_schems_1	2017-01-13 00:35	375
	schems_1__s16_schems_1	2017-01-13 00:35	391