search

hexhex / core

DLVHEX solver: core system and plugin API
http://www.kr.tuwien.ac.at/research/systems/dlvhex/
GNU Lesser General Public License v2.1
24 stars 8 forks source link

dlvhex benchmarking. Getting number of rules and atoms used? #34

Closed faseehahmad closed 6 years ago

faseehahmad commented 6 years ago

Hello Everyone,

I am currently using dlvhex for my project. I want to find the number of rules and atoms for solving a particular problem instance. I tried using --verbose levels but they did not work. I also tried --enable-benchmark command from the manual along with --dumpstats command. But, it gives the following error.

UsageError: Fatal: Unknown option(s): --enable-benchmarks

Am I doing something wrong? Thanks

peschue commented 6 years ago

Hello Ahmad,

Did you use --enable-benchmarks during the configuration? This option should be used when you do ./configure for the package before building with make.

You can try the option --verbose=255 to get all possible output from dlvhex, or --verbose=8 should give you just the statistics output of benchmarking.

I think the number of rules and atoms is part of that output (if you configure with --enable-benchmarks).

Best, Peter

faseehahmad commented 6 years ago

I reconfigured it using --enable-benchmark, but still there it gives the same error. dlvhex command line help has no option of --enable-benchmark

peschue commented 6 years ago

After reconfiguring you need to rebuild everything by running make clean and then make.

Afterwards you run dlvhex with dlvhex2 --verbose=255 to get debug and benchmarking output or with dlvhex2 --verbose=8 to get only benchmarking output.

You do not put the --enable-benchmark argument for the solver, only for configure!

faseehahmad commented 6 years ago

Now it works. Thank you so much

peschue commented 6 years ago

You are welcome. I will close the issue. If you encounter further problems please feel free to reopen the issue.