add sat info of benchmarks