Command-line options to speed up clingo?

Hey Graham

Thanks for setting up this forum!!

I have an ASP program with six different tiers of maximisation/minimisation:

#maximize [ input_time(N) = N @ 6].
#minimize [ num_types(N) = N @ 5].
#minimize [ max_object_index(N) = N @ 4].
#minimize [ num_fluent_attrs(T, N) = N @ 3].
#minimize [ num_perm_attrs(T, N) = N @ 2].
#minimize [ num_outputs(N) = N @ 1].

The program spends most of its time solving, not grounding:
Time : 134.390
Prepare : 4.540
Prepro. : 26.820
Solving : 103.030

It typically generates between 3-8 solutions before declaring an optimum has been found, and often spends 1/3 of its time verifying that the last solution found is indeed an optimum.

I am actively optimising the program itself – but was just wondering. Do you know any quick command-line options I could use that might speed up the program???

NB I am using old-school clingo version 3.0.5

thanks, Richard