Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
PMC-SOG
experiments
hybrid
Commits
55fce850
Commit
55fce850
authored
Jun 10, 2020
by
Jaime Arias
Browse files
new formulas paper
parent
1da8a356
Changes
1000
Hide whitespace changes
Inline
Side-by-side
Too many changes to show.
To preserve performance only
1000 of 1000+
files are displayed.
Plain diff
Email patch
formulas/philo/philo10/philo10-1.ltl
View file @
55fce850
((Eat_5==1) && ((Catch1_10==1) <-> (<>(Catch1_3==1)))) <-> ([]((Catch1_1==1) || (Catch1_5==1) || ([](<>(Catch2_9==1)))))
\ No newline at end of file
<>([](!((<>(Fork_2==1)) <-> ([]((Fork_4==1) || ([]((Think_8==1) -> (Eat_5==1))))))))
\ No newline at end of file
formulas/philo/philo10/philo10-1.ltl.reduced
View file @
55fce850
(("Eat_5") && (("Catch1_10") <-> (<>("Catch1_3")))) <-> ([](("Catch1_1") || ("Catch1_5") || ([](<>("Catch2_9")))))
\ No newline at end of file
<>([](!((<>("Fork_2")) <-> ([](("Fork_4") || ([](("Think_8") -> ("Eat_5"))))))))
\ No newline at end of file
formulas/philo/philo10/philo10-10.ltl
View file @
55fce850
[]((((Catch1_8==1) || (Fork_4==1)) && ([](<>(Catch1_8==1)))) -> ((Catch2_3==1) <-> ((Catch2_6==1) <-> (Fork_4==1))))
\ No newline at end of file
(([](!([](Fork_4==1)))) -> ((Catch1_5==1) && (Catch2_1==1))) || (((Catch1_8==1) -> (Catch2_9==1)) && (<>(Catch1_5==1)))
\ No newline at end of file
formulas/philo/philo10/philo10-10.ltl.reduced
View file @
55fce850
[](((("Catch1_8") || ("Fork_4")) && ([](<>("Catch1_8")))) -> (("Catch2_3") <-> (("Catch2_6") <-> ("Fork_4"))))
\ No newline at end of file
(([](!([]("Fork_4")))) -> (("Catch1_5") && ("Catch2_1"))) || ((("Catch1_8") -> ("Catch2_9")) && (<>("Catch1_5")))
\ No newline at end of file
formulas/philo/philo10/philo10-100.ltl
View file @
55fce850
!(<>((<>(!([](<>(Fork_6==1))))) && (!([](!(Catch1_4==1))))))
\ No newline at end of file
[]((([](Think_3==1)) && ([](Catch1_3==1))) -> (<>(!(((Fork_1==1) || (Think_9==1)) && ([](Catch1_3==1))))))
\ No newline at end of file
formulas/philo/philo10/philo10-100.ltl.reduced
View file @
55fce850
!(<>((<>(!([](<>("Fork_6"))))) && (!([](!("Catch1_4"))))))
\ No newline at end of file
[]((([]("Think_3")) && ([]("Catch1_3"))) -> (<>(!((("Fork_1") || ("Think_9")) && ([]("Catch1_3"))))))
\ No newline at end of file
formulas/philo/philo10/philo10-101.ltl
deleted
100644 → 0
View file @
1da8a356
(<>([](Think_3==1))) <-> ((Catch1_3==1) || (<>([](Think_3==1))))
\ No newline at end of file
formulas/philo/philo10/philo10-101.ltl.reduced
deleted
100644 → 0
View file @
1da8a356
(<>([]("Think_3"))) <-> (("Catch1_3") || (<>([]("Think_3"))))
\ No newline at end of file
formulas/philo/philo10/philo10-102.ltl
deleted
100644 → 0
View file @
1da8a356
[](([](Catch1_6==1)) -> ((Fork_5==1) <-> ((Catch2_5==1) && ([](!(Eat_10==1))))))
\ No newline at end of file
formulas/philo/philo10/philo10-102.ltl.reduced
deleted
100644 → 0
View file @
1da8a356
[](([]("Catch1_6")) -> (("Fork_5") <-> (("Catch2_5") && ([](!("Eat_10"))))))
\ No newline at end of file
formulas/philo/philo10/philo10-103.ltl
deleted
100644 → 0
View file @
1da8a356
!([]((Fork_1==1) && (!([]((Think_8==1) -> (<>((Eat_1==1) <-> ([](Eat_2==1)))))))))
\ No newline at end of file
formulas/philo/philo10/philo10-103.ltl.reduced
deleted
100644 → 0
View file @
1da8a356
!([](("Fork_1") && (!([](("Think_8") -> (<>(("Eat_1") <-> ([]("Eat_2")))))))))
\ No newline at end of file
formulas/philo/philo10/philo10-104.ltl
deleted
100644 → 0
View file @
1da8a356
[](((Catch1_3==1) -> ([](Think_1==1))) || (((Eat_3==1) && (Think_8==1)) -> (<>((!(Catch1_1==1)) && (Think_3==1)))))
\ No newline at end of file
formulas/philo/philo10/philo10-104.ltl.reduced
deleted
100644 → 0
View file @
1da8a356
[]((("Catch1_3") -> ([]("Think_1"))) || ((("Eat_3") && ("Think_8")) -> (<>((!("Catch1_1")) && ("Think_3")))))
\ No newline at end of file
formulas/philo/philo10/philo10-105.ltl
deleted
100644 → 0
View file @
1da8a356
[](<>(([](!(Eat_5==1))) -> (!([]((Think_3==1) && (<>([](Catch2_3==1))))))))
\ No newline at end of file
formulas/philo/philo10/philo10-105.ltl.reduced
deleted
100644 → 0
View file @
1da8a356
[](<>(([](!("Eat_5"))) -> (!([](("Think_3") && (<>([]("Catch2_3"))))))))
\ No newline at end of file
formulas/philo/philo10/philo10-106.ltl
deleted
100644 → 0
View file @
1da8a356
[](((Eat_8==1) -> ((Eat_2==1) -> (Catch2_9==1))) || (([](<>((Catch1_2==1) <-> (Think_2==1)))) -> (!(Fork_8==1))))
\ No newline at end of file
formulas/philo/philo10/philo10-106.ltl.reduced
deleted
100644 → 0
View file @
1da8a356
[]((("Eat_8") -> (("Eat_2") -> ("Catch2_9"))) || (([](<>(("Catch1_2") <-> ("Think_2")))) -> (!("Fork_8"))))
\ No newline at end of file
formulas/philo/philo10/philo10-107.ltl
deleted
100644 → 0
View file @
1da8a356
<>([](([]((Eat_2==1) && ((<>(!(Catch1_8==1))) <-> (<>([](Catch1_8==1)))))) -> ([](Think_8==1))))
\ No newline at end of file
formulas/philo/philo10/philo10-107.ltl.reduced
deleted
100644 → 0
View file @
1da8a356
<>([](([](("Eat_2") && ((<>(!("Catch1_8"))) <-> (<>([]("Catch1_8")))))) -> ([]("Think_8"))))
\ No newline at end of file
Prev
1
2
3
4
5
…
50
Next
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment