adding experiments data for LTL formulae

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--

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--

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--

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--

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--