Chair of Computer Architecture

University Freiburg

The SAT Museum 2020

Here is the CDF plot for the 2020 benchmarks.

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

SAT Museum 2020 Plot

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

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