Index of /~pat/jchoco/extremal
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
oldResults/ 2012-12-06 12:50 -
papers/ 2013-01-28 10:28 -
pictures/ 2013-01-08 15:50 -
release/ 2013-04-19 10:04 -
resultsExtremalMax03/ 2013-01-14 15:43 -
resultsOld/ 2013-01-11 17:18 -
![[ ]](/icons/unknown.gif)
job31.bat 2012-12-11 18:24 278
jobFastPlus.bat 2012-12-10 13:33 367
jobExtNull 2013-01-11 18:02 382
jobY 2013-01-11 17:56 382
jobX 2013-01-11 17:55 394
maxJobBig.bat 2012-12-10 13:10 453
maxJob.bat 2012-12-05 11:35 547
jobExtSym 2013-01-11 18:04 1.0K
jobExtSym+ 2013-01-11 18:05 1.0K
jobExtSym++ 2013-01-11 18:05 1.0K
NoTriangles.class 2013-01-23 10:31 1.8K
![[TXT]](/icons/text.gif)
DegreeLimits.java 2012-12-13 18:39 2.2K
DegreeSequence.java 2013-07-30 11:46 2.2K
NoTriangles.java 2012-12-11 17:45 2.2K
NoSquares.class 2013-01-23 10:31 2.3K
DegreeLimits.class 2013-01-23 10:31 2.9K
NoSquares.java 2012-12-11 17:47 2.9K
Temp.java 2012-12-14 11:57 3.0K
ExtremalWithDegreeLimits.java 2012-12-14 11:58 3.0K
NoPentagons.class 2013-01-23 10:31 3.3K
ExtremalMax.java 2012-12-06 12:22 3.4K
Temp.class 2013-01-23 10:31 3.5K
DegreeLimits01.class 2012-12-13 15:08 3.5K
ExtremalWithDegreeLimits.class 2013-01-23 10:31 3.6K
ExtremalMax03.java 2013-01-12 15:27 3.7K
MinGirth01.java 2013-03-06 17:57 3.8K
NoPentagons.java 2012-12-11 17:47 3.9K
ExtremalMax02.java 2013-01-11 15:52 3.9K
Extremal05.java 2013-03-06 17:57 4.0K
Extremal03.java 2013-01-09 10:59 4.2K
Extremal01.java 2012-12-11 14:58 4.2K
Extremal00.java 2012-12-04 16:07 4.3K
ExtremalAll03.java 2013-01-15 13:15 4.3K
Temp2.java 2012-12-14 10:54 4.3K
ExtremalWithDegreeSequence.java 2012-12-13 18:54 4.4K
ExtremalMax01.java 2012-12-09 16:28 4.4K
DegreeSequence.class 2013-01-23 10:31 4.6K
Temp2.class 2013-01-23 10:31 4.8K
ExtremalWithDegreeSequence.class 2013-01-23 10:31 4.8K
ExtremalAll03a.java 2013-01-23 10:29 4.8K
ExtremalMax03.class 2013-01-23 10:31 5.1K
ExtremalMax.class 2013-01-23 10:31 5.1K
Extremal01.class 2013-01-23 10:31 5.1K
ExtremalMax02.class 2013-01-23 10:31 5.1K
Extremal00.class 2013-01-23 10:31 5.3K
ExtremalAll03.class 2013-01-23 10:31 5.4K
Extremal02.java 2012-12-13 18:23 5.5K
Extremal03.class 2013-01-23 10:31 5.8K
Extremal31_81_33.java 2012-12-19 16:21 5.9K
Extremal31_81_411.java 2012-12-19 16:20 5.9K
Extremal31_81_3111.java 2012-12-19 16:27 5.9K
Extremal31_81_111111.java 2012-12-19 16:43 5.9K
Extremal31_81_42.java 2012-12-19 16:20 5.9K
Extremal31_81_321.java 2012-12-19 16:25 5.9K
Extremal31_81_21111.java 2012-12-19 16:38 5.9K
ExtremalMax01.class 2013-01-23 10:31 5.9K
Extremal31_81_2211.java 2012-12-19 16:34 6.0K
Extremal31_81_222.java 2012-12-19 16:31 6.0K
ExtremalAll03a.class 2013-01-23 10:31 6.0K
Extremal02.class 2013-01-23 10:31 6.7K
Extremal31.java 2013-01-10 12:51 6.8K
Extremal24.java 2013-01-08 17:43 7.0K
Extremal31_81_33.class 2013-01-23 10:31 7.0K
Extremal31_81_411.class 2013-01-23 10:31 7.0K
Extremal31_81_3111.class 2013-01-23 10:31 7.0K
Extremal31_81_111111.class 2013-01-23 10:31 7.0K
Extremal31_81_42.class 2013-01-23 10:31 7.0K
Extremal31_81_321.class 2013-01-23 10:31 7.0K
Extremal31_81_21111.class 2013-01-23 10:31 7.0K
Extremal31_81_2211.class 2013-01-23 10:31 7.0K
Extremal31_81_222.class 2013-01-23 10:31 7.0K
Extremal31.class 2013-01-23 10:31 7.1K
Extremal24.class 2013-01-23 10:31 7.5K
Extremal31a.java 2013-01-13 15:42 7.6K
Extremal31a.class 2013-01-23 10:31 8.2K
z 2013-01-15 13:16 15K
y 2013-01-15 13:16 21K
x 2013-01-15 13:16 41K
z12 2013-01-15 13:25 168K
y12 2013-01-15 13:25 232K
x12 2013-01-15 13:25 438K
z14 2013-01-15 13:31 631K
y14 2013-01-15 13:32 926K
x14 2013-01-15 13:34 1.7M