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

	Name	Last modified	Size	Description
	Parent Directory		-
	jgraph_2__1964_53.min1.thm1.tptp	2017-02-06 16:58	533
	jgraph_2__4906_55.min1.thm1.tptp	2017-02-06 16:58	533
	jgraph_5__4099_53.min1.thm1.tptp	2017-02-06 16:58	533
	jgraph_5__4220_53.min1.thm1.tptp	2017-02-06 16:58	533
	jgraph_5__4344_53.min1.thm1.tptp	2017-02-06 16:58	533
	jgraph_5__4410_53.min1.thm1.tptp	2017-02-06 16:58	533
	jgraph_5__5429_56.min1.thm1.tptp	2017-02-06 16:58	535
	jgraph_5__5544_56.min1.thm1.tptp	2017-02-06 16:58	535
	jgraph_5__5654_56.min1.thm1.tptp	2017-02-06 16:58	535
	jgraph_5__5736_56.min1.thm1.tptp	2017-02-06 16:58	535
	jgraph_5__5875_60.min1.thm1.tptp	2017-02-06 16:58	541
	jgraph_5__5960_56.min1.thm1.tptp	2017-02-06 16:58	535
	jgraph_6__5876_58.min1.thm1.tptp	2017-02-06 16:58	538
	jgraph_6__6157_58.min1.thm1.tptp	2017-02-06 16:58	538
	jgraph_6__6445_62.min1.thm1.tptp	2017-02-06 16:58	544
	jgraph_6__6731_58.min1.thm1.tptp	2017-02-06 16:58	538
	jgraph_6__7024_62.min1.thm1.tptp	2017-02-06 16:58	544
	jgraph_6__7322_62.min1.thm1.tptp	2017-02-06 16:58	544
	jgraph_6__7621_62.min1.thm1.tptp	2017-02-06 16:58	544
	jgraph_6__7823_62.min1.thm1.tptp	2017-02-06 16:58	544
	jgraph_6__8093_62.min1.thm1.tptp	2017-02-06 16:58	544
	jgraph_6__8294_62.min1.thm1.tptp	2017-02-06 16:58	544
	jordan6__2594_58.min1.thm1.tptp	2017-02-06 16:58	533
	jordan20__398_58.min1.thm1.tptp	2017-02-06 16:58	535
	jordan20__828_58.min1.thm1.tptp	2017-02-06 16:58	535
	pscomp_1__1174_68.min1.thm1.tptp	2017-02-06 16:58	747
	topreal5__379_56.min1.thm1.tptp	2017-02-06 16:58	533