Chair of Computer Architecture

University Freiburg

The SAT Museum 2021

Here is the CDF plot for the 400 benchmarks from 2021.

Click on the picture below to obtain a scalable and more beautiful PDF.

SAT Museum 2021 Plot

[ satmuseum2002 | satmuseum2011 | satmuseum2019 | satmuseum2020 | satmuseum2021 | satmuseum2022 ]

For more information on the main SAT Museum follow this link.