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.

Sign up for GitHub

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

Jump to bottom

Wrong interpretation of comment lines after DIMACS header part #6

Closed
shnarazk opened this issue Feb 2, 2016 · 1 comment
Closed

Wrong interpretation of comment lines after DIMACS header part #6

shnarazk opened this issue Feb 2, 2016 · 1 comment
Labels
bug
Milestone
new clause manage...

Comments

@shnarazk
Copy link
Owner

shnarazk commented Feb 2, 2016

f.e.: manthey_DimacsSorter_28.cnf (SAT RACE 2015) contains:

p cnf 3553 11381
c Exactly One of a0_0_2380 (3) a0_1_2380 (4) a1_0_2380 (5) a1_1_2380 (6) 
c -a0_0_2380 -a0_1_2380
-3 -4 0
c -a0_0_2380 -a1_0_2380
-3 -5 0
c -a0_0_2380 -a1_1_2380
-3 -6 0
c -a0_1_2380 -a1_0_2380

mios-1.0.1 and upper can't handle it correctly.
@shnarazk shnarazk added the bug label Feb 2, 2016
@shnarazk shnarazk changed the title Wrong interpretation of comment lines after DIAMCS header part Wrong interpretation of comment lines after DIMACS header part Feb 2, 2016
@shnarazk
Copy link
Owner Author

shnarazk commented Feb 2, 2016

Fixed in WIP branch: 16addbd

@shnarazk shnarazk mentioned this issue Feb 2, 2016
Closed
26 tasks
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
new clause management + new restart
Development

No branches or pull requests
1 participant
@shnarazk