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

	Name	Last modified	Size	Description
	Parent Directory		-
	bvfunc_2__334_16.min1.thm1.tptp	2017-02-06 16:58	370
	int_5__2593_19.min1.thm1.tptp	2017-02-06 16:58	648
	int_5__3986_22.min1.thm1.tptp	2017-02-06 16:58	689
	int_5__4694_21.min1.thm1.tptp	2017-02-06 16:58	692
	integra5__187_28.min1.thm1.tptp	2017-02-06 16:58	668
	integra5__221_28.min1.thm1.tptp	2017-02-06 16:58	668
	integra5__813_25.min1.thm1.tptp	2017-02-06 16:58	608
	integra5__827_25.min1.thm1.tptp	2017-02-06 16:58	608
	jordan1__1354_31.min1.thm1.tptp	2017-02-06 16:58	961
	jordan1__1412_29.min1.thm1.tptp	2017-02-06 16:58	959
	matrix14__953_12.min1.thm1.tptp	2017-02-06 16:58	360
	matrix14__997_12.min1.thm1.tptp	2017-02-06 16:58	360
	matrix_4__1200_14.min1.thm1.tptp	2017-02-06 16:58	362
	matrix_4__1248_14.min1.thm1.tptp	2017-02-06 16:58	362
	mfold_1__98_31.min1.thm1.tptp	2017-02-06 16:58	482
	polynom1__1012_20.min1.thm1.tptp	2017-02-06 16:58	1.0K
	polynom1__1059_20.min1.thm1.tptp	2017-02-06 16:58	1.0K
	polynom1__1101_18.min1.thm1.tptp	2017-02-06 16:58	370
	polynom1__1130_20.min1.thm1.tptp	2017-02-06 16:58	1.0K
	polynom1__1211_18.min1.thm1.tptp	2017-02-06 16:58	370
	polynom1__1229_20.min1.thm1.tptp	2017-02-06 16:58	1.0K
	polynom3__2330_24.min1.thm1.tptp	2017-02-06 16:58	508
	polynom3__2356_24.min1.thm1.tptp	2017-02-06 16:58	508
	ramsey_1__804_28.min1.thm1.tptp	2017-02-06 16:58	500
	random_2__375_23.min1.thm1.tptp	2017-02-06 16:58	497
	rfunct_3__1434_26.min1.thm1.tptp	2017-02-06 16:58	411
	topgen_1__396_11.min1.thm1.tptp	2017-02-06 16:58	379
	tsep_2__222_11.min1.thm1.tptp	2017-02-06 16:58	368