Commit 22b39ca5 authored by Tereza Kinská's avatar Tereza Kinská
Browse files

remove unused experiments data

parent f38bac0a
Loading
Loading
Loading
Loading
+0 −14
Original line number Diff line number Diff line
HOA: v1
States: 2
Start: 0
AP: 1 "n"
acc-name: Buchi
Acceptance: 1 Inf(0)
properties: trans-labels explicit-labels state-acc colored
properties: deterministic stutter-invariant terminal very-weak
--BODY--
State: 0 {0}
[0] 1
State: 1 {0}
[t] 1
--END--
+0 −15
Original line number Diff line number Diff line
HOA: v1
States: 2
Start: 0
AP: 2 "p" "c"
acc-name: Buchi
Acceptance: 1 Inf(0)
properties: trans-labels explicit-labels state-acc colored
properties: deterministic stutter-invariant very-weak
--BODY--
State: 0 {0}
[0&!1] 0
[1] 1
State: 1 {0}
[t] 1
--END--
+0 −15
Original line number Diff line number Diff line
HOA: v1
States: 2
Start: 0
AP: 2 "j" "g"
acc-name: Buchi
Acceptance: 1 Inf(0)
properties: trans-labels explicit-labels state-acc colored
properties: deterministic stutter-invariant very-weak
--BODY--
State: 0 {0}
[0&!1] 0
[0&1] 1
State: 1 {0}
[t] 1
--END--
+0 −14
Original line number Diff line number Diff line
HOA: v1
States: 2
Start: 0
AP: 1 "p"
acc-name: Buchi
Acceptance: 1 Inf(0)
properties: trans-labels explicit-labels state-acc colored
properties: deterministic stutter-invariant terminal very-weak
--BODY--
State: 0 {0}
[!0] 1
State: 1 {0}
[t] 1
--END--
+0 −18
Original line number Diff line number Diff line
HOA: v1
name: "XFm"
States: 3
Start: 1
AP: 1 "m"
acc-name: Buchi
Acceptance: 1 Inf(0)
properties: trans-labels explicit-labels state-acc complete
properties: deterministic terminal very-weak
--BODY--
State: 0 {0}
[t] 0
State: 1
[t] 2
State: 2
[0] 0
[!0] 2
--END--
Loading