Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/t13_funcop_1

	Name	Last modified	Size	Description
	Parent Directory		-
	altcat_3__474_18.min1.thm1.tptp	2017-02-06 16:58	372
	altcat_3__491_18.min1.thm1.tptp	2017-02-06 16:58	373
	altcat_3__699_23.min1.thm1.tptp	2017-02-06 16:58	415
	boolmark__87_23.min1.thm1.tptp	2017-02-06 16:58	356
	card_1__1800_20.min1.thm1.tptp	2017-02-06 16:58	352
	card_5__1497_21.min1.thm1.tptp	2017-02-06 16:58	407
	closure3__280_18.min1.thm1.tptp	2017-02-06 16:58	393
	ens_1__1226_18.min1.thm1.tptp	2017-02-06 16:58	376
	finseq_1__3451_20.min1.thm1.tptp	2017-02-06 16:58	389
	funcop_1__440_15.min1.thm1.tptp	2017-02-06 16:58	366
	funcop_1__458_25.min1.thm1.tptp	2017-02-06 16:58	379
	funcop_1__481_25.min1.thm1.tptp	2017-02-06 16:58	388
	funcop_1__503_13.min1.thm1.tptp	2017-02-06 16:58	416
	funcop_1__658_31.min1.thm1.tptp	2017-02-06 16:58	384
	funcop_1__730_31.min1.thm1.tptp	2017-02-06 16:58	384
	funcop_1__858_27.min1.thm1.tptp	2017-02-06 16:58	379
	funcop_1__859_24.min1.thm1.tptp	2017-02-06 16:58	358
	funcop_1__872_47.min1.thm1.tptp	2017-02-06 16:58	461
	modelc_1__1646_23.min1.thm1.tptp	2017-02-06 16:58	358
	modelc_1__1647_21.min1.thm1.tptp	2017-02-06 16:58	384
	modelc_2__2871_39.min1.thm1.tptp	2017-02-06 16:58	459
	nat_1__1611_22.min1.thm1.tptp	2017-02-06 16:58	352
	ordinal2__2250_23.min1.thm1.tptp	2017-02-06 16:58	364
	pencil_1__717_24.min1.thm1.tptp	2017-02-06 16:58	383
	pencil_1__876_24.min1.thm1.tptp	2017-02-06 16:58	383
	petri_2__70_38.min1.thm1.tptp	2017-02-06 16:58	456
	recdef_1__319_28.min1.thm1.tptp	2017-02-06 16:58	377
	rewrite1__1226_30.min1.thm1.tptp	2017-02-06 16:58	362
	trees_4__659_58.min1.thm1.tptp	2017-02-06 16:58	362
	waybel_3__1120_19.min1.thm1.tptp	2017-02-06 16:58	383
	yellow_1__978_24.min1.thm1.tptp	2017-02-06 16:58	383
	yellow_1__1083_24.min1.thm1.tptp	2017-02-06 16:58	385