Solver segfaulting while running benchmarks

[SaiCharanMarrivada]

I tried to run your solver on dimacs files of ISCAS85 benchmarks, it segfaulted. Then, I tried on benchmarks in the benchmarks directory. The solver still segfaulted. I believe some change in your code base, left it in some vague state.

[msoos]

Right. Sorry. I’ll send you a binary today evening that works beautiful. Sorry about that. Mate

…

On Tue 23. Jul 2024 at 14:13, SaiCharanMarrivada ***@***.***> wrote: I tried to run your solver on dimacs files of ISCAS85 benchmarks, it segfaulted. Then, I tried on benchmarks in the benchmarks directory. The solver still segfaulted. I believe some change in your code base, left it in some vague state. — Reply to this email directly, view it on GitHub <#29>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAKF4OND2PCMMXAOBTQ63DDZNZCFJAVCNFSM6AAAAABLKJOGESVHI2DSMVQWIX3LMV43ASLTON2WKOZSGQZDKMBVHA2DANA> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[SaiCharanMarrivada]

Thanks for your prompt response.

[msoos]

ganak.gz

[msoos]

Please use that binary. You just need to gunzip ganak.gz and then ./ganak myfile.cnf. Please do not use any preprocessor (B+E or Arjun) on the CNF before. Just run it with the original CNF. It has everything built-in and should work out-of-the box! Let me know how well it works,

Mate

[SaiCharanMarrivada]

Thanks

[SaiCharanMarrivada]

It works perfectly for all the benchmarks.