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