The SAT Museum 2002
Here is the CDF plot for the 100 benchmarks from 2002.
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.