Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

gnu(3456) = 1178902 #169

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Conversation

markuspf
Copy link
Collaborator

@markuspf markuspf commented Jul 6, 2016

This computation took 15 days, and I started GAP with 16GB memory.

ConstructAllGroups returned a list with 1163937 groups and 7006 sublists, the histogram of these sublists is

[ [ 2, 6285 ], [ 3, 568 ], [ 4, 113 ], [ 5, 13 ], [ 6, 20 ], [ 7, 4 ], [ 8, 1 ], [ 9, 2 ] ]

Which I separated using IdGroup for maximal subgroups in about two hours.

@olexandr-konovalov
Copy link
Owner

olexandr-konovalov commented Jul 6, 2016

Thank you for submitting new gnu(n). We will recalculate it and add to the database if we get the same result.

Checklist for the reviewer:

  • checked and assigned labels "new (n<50000)" or "recomputation", if needed
  • set "replication needed" label (unless it starts immediately)
  • changed it to "replication in progress" label when the replication has been started
  • changed it to "replicated" after successful replication review
  • reproducible value of gnu(n)
  • no essential runtime differences
  • sufficient level of technical details

Checklist for the maintainer:

  • correct arguments of commands to store data
  • correct location of new line in the data file
  • mention reviewer in the commit message

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants