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 269 #18

Closed thijssnelleman closed 2 weeks ago

thijssnelleman commented 1 month ago

Major refactor of parallel portfolio.

jeroenrook commented 4 weeks ago

It seems that this implementation of parallel portfolios only runs a set of solvers on a bunch of instances, which is not what a parallel portfolio should do (see comments above). This should be addressed before the PR can be merged.

jeroenrook commented 2 weeks ago

Running the example parallel_portfolio_runtime.sh shows an PAR10 score of the portfolio of 4817.01, which cannot be possible with a cutoff time of 60 seconds.

jeroenrook commented 2 weeks ago

What is the purpose of cancelled and best solver for the portfolio table in the report? Als tables are missing captions and are not centred.

jeroenrook commented 2 weeks ago

Report is also written to Output/Selection, which should be changed to ParallelPortfolio