You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hello!
I tried running dlvhex with --dumpstats argument and it does not display all the stats and returns an error. I used --enable-benchmark during configuration. I get the following output
It computes the plan correctly. If I use --verbose=8, it displays all information about no.of rules and atoms with times but --dumpstats does not.
I am looking for information about #choices, #restarts, #conflicts. This is not displayed by --verbose=8.
The text was updated successfully, but these errors were encountered:
Hello!
I tried running dlvhex with --dumpstats argument and it does not display all the stats and returns an error. I used --enable-benchmark during configuration. I get the following output
It computes the plan correctly. If I use --verbose=8, it displays all information about no.of rules and atoms with times but --dumpstats does not.
I am looking for information about #choices, #restarts, #conflicts. This is not displayed by --verbose=8.
The text was updated successfully, but these errors were encountered: