custom experiments data for counting automata wit 2ap

HOA: v1

name: "counting (ta)^w 1 ACC"

States: 2

Start: 0

AP: 2 "a" "b"

acc-name: Buchi

Acceptance: 1 Inf(0)

--BODY--

State: 0 {0}

[t] 1

State: 1

[0] 0

--END--

HOA: v1

name: "counting (ab)^w 1 ACC"

States: 2

Start: 0

AP: 2 "a" "b"

acc-name: Buchi

Acceptance: 1 Inf(0)

--BODY--

State: 0 {0}

[0] 1

State: 1

[1] 0

--END--

HOA: v1

name: "counting (ab)^w 2 ACC"

States: 2

Start: 0

AP: 2 "a" "b"

acc-name: Buchi

Acceptance: 1 Inf(0)

--BODY--

State: 0 {0}

[0] 1

State: 1 {0}

[1] 0

--END--

HOA: v1

name: "counting (aa)^*.b^w 1 ACC"

States: 3

Start: 0

AP: 2 "a" "b"

acc-name: Buchi

Acceptance: 1 Inf(0)

--BODY--

State: 0

[0] 1

[1] 2

State: 1

[0] 0

State: 2 {0}

[1] 2

--END--

HOA: v1

name: "counting !a.(aa)^*.b^w 1 ACC"

States: 4

Start: 3

AP: 2 "a" "b"

acc-name: Buchi

Acceptance: 1 Inf(0)

--BODY--

State: 0

[0] 1

[1] 2

State: 1

[0] 0

State: 2 {0}

[1] 2

State: 3

[!0] 0

--END--