Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/boole

	Name	Last modified	Size	Description
	Parent Directory		-
	boole__40_29.min1.thm1	2017-02-06 12:45	426
	boole__40_29.min1.thm1.tptp	2017-02-06 16:48	364
	boole__41_19.min1.thm1	2017-02-06 12:45	465
	boole__45_17.min1.thm1	2017-02-06 12:45	379
	boole__45_17.min1.thm1.tptp	2017-02-06 16:48	317
	boole__56_19.min1.thm1	2017-02-06 12:45	480
	boole__71_19.min1.thm1	2017-02-06 12:45	390
	boole__71_19.min1.thm1.tptp	2017-02-06 16:48	327
	boole__74_18.min1.thm1	2017-02-06 12:45	357
	boole__76_17.min1.thm1	2017-02-06 12:45	449
	boole__87_19.min1.thm1	2017-02-06 12:45	390
	boole__87_19.min1.thm1.tptp	2017-02-06 16:48	327
	boole__103_33.min1.thm1	2017-02-06 12:45	587
	boole__104_16.min1.thm1	2017-02-06 12:45	579
	boole__104_16.min1.thm1.tptp	2017-02-06 16:48	522
	boole__107_18.min1.thm1	2017-02-06 12:45	276
	boole__115_18.min1.thm1	2017-02-06 12:45	357
	boole__117_21.min1.thm1	2017-02-06 12:45	449
	boole__118_17.min1.thm1	2017-02-06 12:45	515
	boole__126_28.min1.thm1	2017-02-06 12:45	445
	boole__127_17.min1.thm1	2017-02-06 12:45	326
	boole__127_17.min1.thm1.tptp	2017-02-06 16:48	266
	boole__131_47.min1.thm1	2017-02-06 12:45	222
	boole__134_54.min1.thm1	2017-02-06 12:45	247
	boole__143_11.min1.thm1	2017-02-06 12:45	263
	boole__143_11.min1.thm1.tptp	2017-02-06 16:48	186
	boole__144_17.min1.thm1	2017-02-06 12:45	322