Dominik · @dompasch
7 followers · 2 posts · Server sueden.social

Without running any new experiments, here's the progress of sequential, parallel, and cloud from 2020 to 2022 based on data. I used the intersection of the 2020 benchmarks and the 2022 anniversary benchmarks (→ 354 instances). Showing the 2020 winners and the 2022 anniversary winners.

#satsolving #satcompetition

Last updated 2 years ago