philo10-1.ltl.reduced 114 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
(("Eat_5") && (("Catch1_10") <-> (<>("Catch1_3")))) <-> ([](("Catch1_1") || ("Catch1_5") || ([](<>("Catch2_9")))))