Community Attachment

What it is

Authors

Jesus Giraldez-Cru, Jordi Levy

Source of the author list

header printed by the generator and the IJCAI 2015 paper

Language

C++

Licence

none stated

Competitions

SAT Race 2015, SAT Competition 2016 and later, as the random-modularity family

Repository

https://github.com/jgirald/communityAttachment.git

Pinned commit

3230fe8b7f3127f745d5c23fb494f7c1efae3642

Pinned git tree

9f9623a8bb35245dc9a6d6c2b16c192457abb3e1

Seed

-s, mandatory for reproducibility; the repository also builds a plain random k-CNF generator

Licence note

the repository declares no licence: the recipe is published, the image is not, until the authors agree

Build it and run it

docker build -t satex-gen/commattach:2015 cnf/commattach
docker run --rm satex-gen/commattach:2015 ...  > instance.cnf

The image is not published: the generator declares no licence, so only this recipe is distributed. Building it locally is fine.

What it can produce

A generator is not limited to the instances a competition happened to keep: these are sample runs across its parameters, measured on the built image. Each command was run twice, to see whether it gives the same formula every time.

Reference instances

54 with the same GBD hash · 1 with the same up to a renaming of the variables · 1 with the same number of variables and clauses. Each line regenerates one known instance, from a competition or from the set its author published; the level says how close the result is. See verification.

Notes

• parameters read from the file name: variables, clauses, modularity Q, communities, seed; clause length k=3 assumed
• the digits of the file name are shifted (modgen-n200-m90860q08c40); the header of the instance gives the real size, 2200 variables and 9086 clauses, the same family as the jgiraldezlevy set