The SAT Museum 2019
Here is the CDF plot for the 400 benchmarks from 2019.
Click on the picture below to obtain a scalable and more beautiful PDF.
[ satmuseum2002 | satmuseum2011 | satmuseum2019 | satmuseum2020 | satmuseum2021 | satmuseum2022 ]
For more information on the main SAT Museum follow this link.