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

	Name	Last modified	Size	Description
	Parent Directory		-
	armstrng__2777_41.min1.thm1.tptp	2017-02-06 16:58	382
	connsp_3__554_50.min1.thm1.tptp	2017-02-06 16:58	461
	fintopo4__491_43.min1.thm1.tptp	2017-02-06 16:58	424
	fintopo4__493_41.min1.thm1.tptp	2017-02-06 16:58	424
	frechet__1152_17.min1.thm1.tptp	2017-02-06 16:58	456
	ideal_1__3619_25.min1.thm1.tptp	2017-02-06 16:58	424
	integr1c__1414_46.min1.thm1.tptp	2017-02-06 16:58	384
	integr1c__2715_45.min1.thm1.tptp	2017-02-06 16:58	373
	integr1c__2861_45.min1.thm1.tptp	2017-02-06 16:58	373
	jgraph_2__2310_41.min1.thm1.tptp	2017-02-06 16:58	435
	jgraph_3__176_44.min1.thm1.tptp	2017-02-06 16:58	443
	jgraph_4__236_50.min1.thm1.tptp	2017-02-06 16:58	433
	mfold_1__209_47.min1.thm1.tptp	2017-02-06 16:58	442
	mfold_1__259_47.min1.thm1.tptp	2017-02-06 16:58	443
	mmlquery__603_23.min1.thm1.tptp	2017-02-06 16:58	385
	mmlquery__879_38.min1.thm1.tptp	2017-02-06 16:58	472
	orders_2__673_13.min1.thm1.tptp	2017-02-06 16:58	493
	partit1__1885_15.min1.thm1.tptp	2017-02-06 16:58	407
	pscomp_1__1336_11.min1.thm1.tptp	2017-02-06 16:58	503
	pscomp_1__1340_11.min1.thm1.tptp	2017-02-06 16:58	503
	pscomp_1__1344_11.min1.thm1.tptp	2017-02-06 16:58	503
	pscomp_1__1348_11.min1.thm1.tptp	2017-02-06 16:58	503
	topreal5__61_50.min1.thm1.tptp	2017-02-06 16:58	539
	waybel30__1548_43.min1.thm1.tptp	2017-02-06 16:58	431
	waybel_4__585_41.min1.thm1.tptp	2017-02-06 16:58	593
	waybel_4__603_41.min1.thm1.tptp	2017-02-06 16:58	593
	waybel_4__628_41.min1.thm1.tptp	2017-02-06 16:58	593
	waybel_4__654_41.min1.thm1.tptp	2017-02-06 16:58	593
	waybel_4__672_41.min1.thm1.tptp	2017-02-06 16:58	593
	waybel_4__2442_55.min1.thm1.tptp	2017-02-06 16:58	581