search

ADA-research / Sparkle

Sparkle is a Programming by Optimisation (PbO)-based problem-solving platform designed to enable the widespread and effective use of PbO techniques for improving the state-of-the-art in solving a broad range of prominent AI problems, including SAT and AI Planning.
https://ada-research.github.io/Sparkle/
MIT License
1 stars 1 forks source link

Sprk 220 #9

Closed hadarshavit closed 1 month ago

hadarshavit commented 1 month ago

Add a CLI option to set autofolio's timeout and set it by default to 48h (as suggested by Lindauer et al 2015)

thijssnelleman commented 1 month ago

When running the selection example in Sparkle, does that mean it will now take 48h?

hadarshavit commented 1 month ago

Yes, we can set it using the new CLI argument to 60 seconds. In general it is necessary to run AutoFolio for at least a few hours. In the future we can parallelise it so it will take less time.

thijssnelleman commented 1 month ago

Yes, we can set it using the new CLI argument to 60 seconds. In general it is necessary to run AutoFolio for at least a few hours. In the future we can parallelise it so it will take less time.

That sounds really good. The 48 hours is far too long as a default value. This should be added as a setting in the sparkle_settings and by default I think a value of 60 seconds is good. Whenever this value is used as a variable, you can use the 48h setting and explain this number with the paper reference in the docstring.