SAT Attack Performance Evaluation on Logic Locking -- 2

I'm looking for a freelancer with expertise in evaluating the performance metrics of Pramod Subramanyani's SAT attacks on pre-SAT defendes logic locking. The focus will primarily be on measuring execution time. Reference Paper: [login to view URL] Key Tasks: - Assess the execution time of SAT attacks on specific locked circuits. - Use the benchmarks on these circuits: C1355 Locked with SLL FLL, C2670 lock with RLL SLL FLL, C1908 lock with RLL SLL FLL. Ideal Skills: - Proficient in performance analysis. - Experience with logic locking and SAT attacks. - Ability to work with specific benchmark circuits. This project requires a meticulous and detail-oriented professional who can provide an in-depth evaluation of the SAT attack's execution time on these locked circuits.