Team member(s): ramy ayoub, G. Ramón García Ayala, Hani Karime and Ahmad Baltaji Modified by ramy ayoub on June 26, 2026 Technical Part State Graph STRESS TEST Benchmark