Index of ftp://ftp.mcs.anl.gov/pub/ATP_problems/geometry

Parent Directory

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01	page 02 of 03
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15	<- Back | Next page ->

t1.ver1.out	4.51Kb	March 24 1990	[find mirrors]
t2.desc	913.00b	March 24 1990	[find mirrors]
t2.ver1.clauses	4.66Kb	March 24 1990	[find mirrors]
t2.ver1.in	3.64Kb	March 24 1990	[find mirrors]
t2.ver1.out	3.60Kb	March 24 1990	[find mirrors]
t3.desc	913.00b	March 24 1990	[find mirrors]
t3.ver1.clauses	3.53Kb	March 24 1990	[find mirrors]
t3.ver1.in	3.82Kb	March 24 1990	[find mirrors]
t3.ver1.out	3.52Kb	March 24 1990	[find mirrors]
t4.desc	864.00b	March 24 1990	[find mirrors]
t4.ver1.clauses	5.26Kb	March 24 1990	[find mirrors]
t4.ver1.in	6.02Kb	March 24 1990	[find mirrors]
t4.ver1.out	5.28Kb	March 24 1990	[find mirrors]
t5.desc	921.00b	March 24 1990	[find mirrors]
t5.ver1.clauses	5.31Kb	March 24 1990	[find mirrors]
t5.ver1.in	6.07Kb	March 24 1990	[find mirrors]
t5.ver1.out	5.28Kb	March 24 1990	[find mirrors]
t6.desc	1019.00b	March 24 1990	[find mirrors]
t6.ver1.clauses	5.01Kb	March 24 1990	[find mirrors]
t6.ver1.in	3.94Kb	March 24 1990	[find mirrors]
t6.ver1.out	4.26Kb	March 24 1990	[find mirrors]
t7.desc	1.04Kb	March 24 1990	[find mirrors]
t7.ver1.clauses	3.73Kb	March 24 1990	[find mirrors]
t7.ver1.in	4.12Kb	March 24 1990	[find mirrors]
t7.ver1.out	3.92Kb	March 24 1990	[find mirrors]
t8.desc	1005.00b	March 24 1990	[find mirrors]
t8.ver1.clauses	5.01Kb	March 24 1990	[find mirrors]
t8.ver1.in	4.18Kb	March 24 1990	[find mirrors]
t8.ver1.out	5.38Kb	March 24 1990	[find mirrors]
t9.desc	950.00b	March 24 1990	[find mirrors]

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01	page 02 of 03
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15	<- Back | Next page ->