Propinquity output documentation. The top-level docs are here.

The subproblem_solutions directory holds the solution to the 424 subproblems described in ../subproblems/index.html. See the subproblem_solutions README for details on the procedure.

Next step: Grafting the subproblems; See ../grafted_solution/index.html

Results: Sorted by the number of tips then by the number of internal nodes, the subproblem solutions are:

Subproblem# tips# internal nodes
ott285817.tre 191 185
ott5554918.tre 154 152
ott814725.tre 120 118
ott5551466.tre 65 53
ott5553753.tre 43 37
ott5506108.tre 38 37
ott37116.tre 35 34
ott113239.tre 35 34
ott814720.tre 32 31
ott501484.tre 26 23
ott1012394.tre 20 19
ott687285.tre 18 16
ott803540.tre 13 12
ott655394.tre 13 12
ott5553750.tre 13 12
ott5548749.tre 13 12
ott108719.tre 13 12
ott19301.tre 12 11
ott756677.tre 11 10
ott749769.tre 11 10
ott563241.tre 11 10
ott5548745.tre 11 10
ott381716.tre 11 10
ott5554910.tre 11 9
ott191025.tre 11 9
ott661652.tre 10 9
ott5554913.tre 9 8
ott5558359.tre 8 7
ott524524.tre 8 7
ott216180.tre 8 7
ott583648.tre 7 6
ott469320.tre 7 6
ott36225.tre 7 6
ott36216.tre 7 6
ott34155.tre 7 6
ott79051.tre 7 5
ott885821.tre 6 5
ott867533.tre 6 5
ott806552.tre 6 5
ott627390.tre 6 5
ott615333.tre 6 5
ott5846155.tre 6 5
ott5557278.tre 6 5
ott437610.tre 6 5
ott4135032.tre 6 5
ott399527.tre 6 5
ott390374.tre 6 5
ott38864.tre 6 5
ott3638437.tre 6 5
ott280949.tre 6 5
ott1089742.tre 6 5
ott5557307.tre 6 4
ott89855.tre 5 4
ott867524.tre 5 4
ott771061.tre 5 4
ott583640.tre 5 4
ott5554915.tre 5 4
ott5554914.tre 5 4
ott37117.tre 5 4
ott364603.tre 5 4
ott237343.tre 5 4
ott108720.tre 5 4
ott769569.tre 5 3
ott941373.tre 4 3
ott930713.tre 4 3
ott897332.tre 4 3
ott867426.tre 4 3
ott795512.tre 4 3
ott769515.tre 4 3
ott765786.tre 4 3
ott718870.tre 4 3
ott707555.tre 4 3
ott701557.tre 4 3
ott679814.tre 4 3
ott646016.tre 4 3
ott586623.tre 4 3
ott582020.tre 4 3
ott5557308.tre 4 3
ott543587.tre 4 3
ott527429.tre 4 3
ott493179.tre 4 3
ott415034.tre 4 3
ott3633779.tre 4 3
ott363180.tre 4 3
ott285825.tre 4 3
ott26751.tre 4 3
ott258655.tre 4 3
ott25004.tre 4 3
ott247371.tre 4 3
ott239745.tre 4 3
ott224288.tre 4 3
ott190715.tre 4 3
ott186486.tre 4 3
ott186478.tre 4 3
ott883406.tre 4 2
ott803539.tre 4 2
ott5846177.tre 4 2
ott5559604.tre 4 2
ott457791.tre 4 2
ott447618.tre 4 2
ott36223.tre 4 2
ott312448.tre 4 2
ott99942.tre 3 2
ott976556.tre 3 2
ott968261.tre 3 2
ott957582.tre 3 2
ott956323.tre 3 2
ott930712.tre 3 2
ott898392.tre 3 2
ott854196.tre 3 2
ott804461.tre 3 2
ott793244.tre 3 2
ott769567.tre 3 2
ott765116.tre 3 2
ott734464.tre 3 2
ott712896.tre 3 2
ott701516.tre 3 2
ott65737.tre 3 2
ott637234.tre 3 2
ott636315.tre 3 2
ott60127.tre 3 2
ott586615.tre 3 2
ott5846152.tre 3 2
ott557117.tre 3 2
ott5557313.tre 3 2
ott5557294.tre 3 2
ott5554917.tre 3 2
ott5554908.tre 3 2
ott5553759.tre 3 2
ott5553755.tre 3 2
ott5517919.tre 3 2
ott543067.tre 3 2
ott540474.tre 3 2
ott535059.tre 3 2
ott524528.tre 3 2
ott521370.tre 3 2
ott506508.tre 3 2
ott479853.tre 3 2
ott469311.tre 3 2
ott469305.tre 3 2
ott42406.tre 3 2
ott396634.tre 3 2
ott3643100.tre 3 2
ott280947.tre 3 2
ott25012.tre 3 2
ott223661.tre 3 2
ott21938.tre 3 2
ott216172.tre 3 2
ott211552.tre 3 2
ott211053.tre 3 2
ott204877.tre 3 2
ott200598.tre 3 2
ott159761.tre 3 2
ott145126.tre 3 2
ott137651.tre 3 2
ott114162.tre 3 2
ott1089730.tre 3 2
ott1024043.tre 3 2
ott78293.tre 3 1
ott731201.tre 3 1
ott5560294.tre 3 1
ott521358.tre 3 1
ott437608.tre 3 1
ott3631247.tre 3 1
ott356110.tre 3 1
ott99937.tre 2 1
ott994263.tre 2 1
ott984927.tre 2 1
ott975962.tre 2 1
ott970997.tre 2 1
ott961465.tre 2 1
ott956325.tre 2 1
ott94083.tre 2 1
ott937620.tre 2 1
ott936925.tre 2 1
ott932825.tre 2 1
ott929035.tre 2 1
ott917943.tre 2 1
ott908274.tre 2 1
ott908271.tre 2 1
ott898399.tre 2 1
ott898383.tre 2 1
ott894457.tre 2 1
ott889038.tre 2 1
ott887844.tre 2 1
ott883403.tre 2 1
ott879946.tre 2 1
ott872893.tre 2 1
ott862685.tre 2 1
ott847086.tre 2 1
ott837201.tre 2 1
ott831414.tre 2 1
ott831153.tre 2 1
ott816156.tre 2 1
ott793246.tre 2 1
ott793245.tre 2 1
ott790860.tre 2 1
ott790846.tre 2 1
ott79053.tre 2 1
ott789559.tre 2 1
ott776130.tre 2 1
ott771614.tre 2 1
ott769550.tre 2 1
ott76747.tre 2 1
ott765787.tre 2 1
ott761450.tre 2 1
ott758198.tre 2 1
ott757267.tre 2 1
ott757151.tre 2 1
ott752595.tre 2 1
ott749780.tre 2 1
ott740271.tre 2 1
ott734466.tre 2 1
ott734459.tre 2 1
ott734458.tre 2 1
ott734457.tre 2 1
ott734456.tre 2 1
ott728960.tre 2 1
ott727281.tre 2 1
ott726663.tre 2 1
ott72395.tre 2 1
ott72393.tre 2 1
ott720418.tre 2 1
ott720414.tre 2 1
ott719181.tre 2 1
ott712841.tre 2 1
ott710011.tre 2 1
ott701847.tre 2 1
ott701559.tre 2 1
ott696010.tre 2 1
ott685734.tre 2 1
ott679812.tre 2 1
ott659908.tre 2 1
ott65752.tre 2 1
ott656691.tre 2 1
ott655424.tre 2 1
ott655298.tre 2 1
ott65157.tre 2 1
ott648754.tre 2 1
ott647058.tre 2 1
ott640307.tre 2 1
ott639700.tre 2 1
ott63599.tre 2 1
ott632559.tre 2 1
ott628671.tre 2 1
ott62636.tre 2 1
ott617743.tre 2 1
ott615022.tre 2 1
ott612523.tre 2 1
ott611124.tre 2 1
ott610363.tre 2 1
ott599814.tre 2 1
ott587923.tre 2 1
ott587896.tre 2 1
ott5846154.tre 2 1
ott5839386.tre 2 1
ott583654.tre 2 1
ott583631.tre 2 1
ott5835211.tre 2 1
ott579429.tre 2 1
ott577720.tre 2 1
ott564435.tre 2 1
ott563518.tre 2 1
ott563513.tre 2 1
ott563254.tre 2 1
ott5558400.tre 2 1
ott5557314.tre 2 1
ott5557306.tre 2 1
ott5557304.tre 2 1
ott5557291.tre 2 1
ott5557289.tre 2 1
ott5557288.tre 2 1
ott5554912.tre 2 1
ott5554909.tre 2 1
ott5554905.tre 2 1
ott5554903.tre 2 1
ott5554902.tre 2 1
ott5553758.tre 2 1
ott5553749.tre 2 1
ott5551469.tre 2 1
ott5551468.tre 2 1
ott5548746.tre 2 1
ott5548744.tre 2 1
ott5521753.tre 2 1
ott5506109.tre 2 1
ott540464.tre 2 1
ott538616.tre 2 1
ott538120.tre 2 1
ott535072.tre 2 1
ott5341605.tre 2 1
ott521371.tre 2 1
ott512784.tre 2 1
ott50342.tre 2 1
ott50341.tre 2 1
ott496756.tre 2 1
ott4948942.tre 2 1
ott489888.tre 2 1
ott486695.tre 2 1
ott469313.tre 2 1
ott460871.tre 2 1
ott453418.tre 2 1
ott44803.tre 2 1
ott441564.tre 2 1
ott437598.tre 2 1
ott429095.tre 2 1
ott429092.tre 2 1
ott42412.tre 2 1
ott42408.tre 2 1
ott42136.tre 2 1
ott415033.tre 2 1
ott415032.tre 2 1
ott4137602.tre 2 1
ott4135034.tre 2 1
ott412920.tre 2 1
ott411975.tre 2 1
ott411051.tre 2 1
ott407171.tre 2 1
ott401070.tre 2 1
ott401063.tre 2 1
ott399528.tre 2 1
ott383161.tre 2 1
ott37461.tre 2 1
ott370788.tre 2 1
ott364596.tre 2 1
ott3643465.tre 2 1
ott3641135.tre 2 1
ott3640212.tre 2 1
ott3640189.tre 2 1
ott3640119.tre 2 1
ott3640109.tre 2 1
ott3639981.tre 2 1
ott3639912.tre 2 1
ott3639896.tre 2 1
ott3638453.tre 2 1
ott3638063.tre 2 1
ott3637921.tre 2 1
ott3637909.tre 2 1
ott3637845.tre 2 1
ott3637809.tre 2 1
ott3636842.tre 2 1
ott3636807.tre 2 1
ott3635639.tre 2 1
ott3635196.tre 2 1
ott3634742.tre 2 1
ott3633502.tre 2 1
ott3633444.tre 2 1
ott3632860.tre 2 1
ott3631399.tre 2 1
ott3631266.tre 2 1
ott3631265.tre 2 1
ott3631222.tre 2 1
ott3629132.tre 2 1
ott36215.tre 2 1
ott36204.tre 2 1
ott358407.tre 2 1
ott349034.tre 2 1
ott34246.tre 2 1
ott34184.tre 2 1
ott340841.tre 2 1
ott340599.tre 2 1
ott340597.tre 2 1
ott339691.tre 2 1
ott338836.tre 2 1
ott317375.tre 2 1
ott313438.tre 2 1
ott292707.tre 2 1
ott29173.tre 2 1
ott287717.tre 2 1
ott285785.tre 2 1
ott283781.tre 2 1
ott280953.tre 2 1
ott279939.tre 2 1
ott264576.tre 2 1
ott258160.tre 2 1
ott253373.tre 2 1
ott253371.tre 2 1
ott239139.tre 2 1
ott237340.tre 2 1
ott237338.tre 2 1
ott231973.tre 2 1
ott230486.tre 2 1
ott229211.tre 2 1
ott226307.tre 2 1
ott221708.tre 2 1
ott218770.tre 2 1
ott218768.tre 2 1
ott21785.tre 2 1
ott216171.tre 2 1
ott212201.tre 2 1
ott211540.tre 2 1
ott211527.tre 2 1
ott204880.tre 2 1
ott204661.tre 2 1
ott203746.tre 2 1
ott201981.tre 2 1
ott195563.tre 2 1
ott191024.tre 2 1
ott190713.tre 2 1
ott182979.tre 2 1
ott177751.tre 2 1
ott150943.tre 2 1
ott150571.tre 2 1
ott145131.tre 2 1
ott145110.tre 2 1
ott132684.tre 2 1
ott130378.tre 2 1
ott130202.tre 2 1
ott118776.tre 2 1
ott113471.tre 2 1
ott111658.tre 2 1
ott1089734.tre 2 1
ott1089728.tre 2 1
ott108736.tre 2 1
ott108735.tre 2 1
ott108734.tre 2 1
ott1074732.tre 2 1
ott1074259.tre 2 1
ott1074258.tre 2 1
ott1073307.tre 2 1
ott1064382.tre 2 1
ott1062934.tre 2 1
ott1032209.tre 2 1
ott1019910.tre 2 1
ott1007057.tre 2 1