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

	Name	Last modified	Size	Description
	Parent Directory		-
	simplex2__134_30.min1.thm1.tptp	2017-02-06 16:58	242
	tdlat_3__1327_25.min1.thm1.tptp	2017-02-06 16:58	308
	tex_2__1541_25.min1.thm1.tptp	2017-02-06 16:58	295
	tex_2__2375_27.min1.thm1.tptp	2017-02-06 16:58	337
	tex_3__203_25.min1.thm1.tptp	2017-02-06 16:58	270
	tex_3__381_25.min1.thm1.tptp	2017-02-06 16:58	270
	tex_3__530_25.min1.thm1.tptp	2017-02-06 16:58	270
	tex_3__1676_25.min1.thm1.tptp	2017-02-06 16:58	295
	tmap_1__1790_27.min1.thm1.tptp	2017-02-06 16:58	279
	tmap_1__1795_27.min1.thm1.tptp	2017-02-06 16:58	279
	tmap_1__2558_23.min1.thm1.tptp	2017-02-06 16:58	273
	tmap_1__3461_33.min1.thm1.tptp	2017-02-06 16:58	290
	topalg_3__1127_26.min1.thm1.tptp	2017-02-06 16:58	288
	topalg_5__500_23.min1.thm1.tptp	2017-02-06 16:58	287
	topdim_1__921_23.min1.thm1.tptp	2017-02-06 16:58	254
	topdim_1__955_25.min1.thm1.tptp	2017-02-06 16:58	285
	tsep_1__95_39.min1.thm1.tptp	2017-02-06 16:58	236
	tsep_1__2888_26.min1.thm1.tptp	2017-02-06 16:58	280
	tsep_1__3483_26.min1.thm1.tptp	2017-02-06 16:58	280
	tsep_2__540_25.min1.thm1.tptp	2017-02-06 16:58	275
	tsep_2__629_23.min1.thm1.tptp	2017-02-06 16:58	274
	tsp_1__1952_25.min1.thm1.tptp	2017-02-06 16:58	298
	tsp_1__1967_25.min1.thm1.tptp	2017-02-06 16:58	300