Skip to content

Commit

Permalink
Add inful cases
Browse files Browse the repository at this point in the history
  • Loading branch information
@nickdrozd
nickdrozd committed Aug 29, 2024
1 parent 569319a commit 07dce25
Show file tree
Hide file tree
Showing 2 changed files with 99 additions and 1 deletion.
98 changes: 98 additions & 0 deletions test/prog_data.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -917,6 +917,34 @@
"1RB 1LC 2LC 2RA 2LD 3RE 1RB ... 0LC 2RA 2LF 3LD ... 1LF 1RE 3LC 1LC 3LC 3RE 2RG 1RB 1RE 2LC 3RE 0LD 2RA 1RB 3LD": 6,

"1RB ... ... ... 2LC 3RD ... ... 1LA 3RD 1LE 4RD ... ... 1RF ... 1RF 2LG 2LE 2RH 3RI 2RH 3RJ ... 1LE ... ... 2LC 2LE 2RK 2RH ... 1LE ... ... ... 0RI 1RF 0RJ ... 2RB ... 2RF ...": 5,

# infrul
"1RB 0LC 1RC 0LD 1LD 0RB 0LA 0LA": 3,
"1RB 0LD 0LC 1RA 1LA 1LD 1LB 0RA": 3,
"1RB 0LD 0LC 1RA 1RA 1LD 1LB 0RA": 3,
"1RB 0LD 0LC 1RA 1RC 1LD 1LB 0RA": 3,
"1RB 0LD 0RC 1LD 1RD 1RA 1LB 0RA": 3,
"1RB 0RB 1RC 0LD 1LD 0LB 0RA 1LC": 3,
"1RB 0RC 1RC 1LD 1LB 0LD 0RA 0LB": 3,
"1RB 1LC 0LA 1RC 1LA 0RD 0LA 0RB": 3,
"1RB 1LC 1LA 0LC 0LD 1RD 0RB 0RA": 3,
"1RB 1LC 1LA 1RC 0LD 0RB 0RB 0LA": 3,
"1RB 1LC 1LA 1RC 0LD 0RB 1LB 0LA": 3,
"1RB 1LC 1LA 1RC 0LD 0RB 1RA 0LA": 3,
"1RB 1LC 1LA 1RC 0LD 0RB 1RD 0LA": 3,
"1RB 1LC 1LA 1RC 0RD 0LA 1RA 0RB": 3,

"1RB 1LA 0RC 2LB 2RC 1LA 0LA 0RB 0LB": 3,

"1RB 0RE 0LC 1RD 1LC 1LD 1RE 0RA 0LA 0RB": 3,
"1RB 0RE 1RC 1RB 1LD 1LE 0LD 0RA 1LB 1LD": 3,
"1RB 1LC 0LA 0RD 1LA 1RB 0LE 1RC 1LE 0RB": 3,
"1RB 0RD 1LC 0RC 0LE 1RD 1RA 0RB 1LE 1LA": 3,
"1RB 0LC 1LC 0LA 0RA 0LD 0RE 1LB 1RE 1RB": 3,
"1RB 1LD 0RC 1LA 0LD 1RC 0RE 0LA 1LA 0RB": 3,
"1RB 0LD 1RC 0LA 1LD 0RA 1LE 0RA 0RD 1LC": 3,
"1RB 0LD 1RC 0LA 1LD 0RA 1LE 0RA 0RC 1LC": 3,
"1RB 0LC 1LC 0RD 0RE 1LA 0LA 1RD 0RB 1LB": 3,
}

MODULAR = {
Expand Down Expand Up @@ -2464,6 +2492,8 @@
"1RB 3LA 1LA 1RA 2LB 2RA ... 0RB",
"1RB 3LA 1LA 2RA 2LB 3RA ... 0RB",
"1RB 1LA ... 3LA 2LA 3RB 3LA 0RA",
"1RB 2LA 3LA 0RB 0LA 2RB 1LB 3RB",
"1RB 0RB 1RA 3LA 2LB 2RB 3RB 0LA",

"1RB 0LA 1LC ... 0LD 0LC 1RD 0RA",
"1RB 1LB 0LB 1RC 1RD 0RC 1LA ...",
Expand All @@ -2475,6 +2505,30 @@
"1RB 1RC 1LC 0RD 1RA 0LB 1RD 0RA",
"1RB 0LD 1LC 0RA 1LA 1LB 1LD 0LC",
"1RB 0RC 1LB 0LC 0RD 0LD 1RA 0LA",
"1RB 1LB 1RC 0RC 0RD 0LD 1LD 0RA",
"1RB 1LB 1LA 0RC 0LD 1RC 0RB 0LB",
"1RB 0LD 0LC 1RA 1LA 1LD 1LB 0RA",
"1RB 0RD 0LC 0RA 1RA 1LD 1LB 0LB",
"1RB 0RB 0RC 0RD 1LC 1LA 0LC 0LA",
"1RB 0LD 0RC 1LD 1RD 1RA 1LB 0RA",
"1RB 0RC 1RC 1LD 1LB 0LD 0RA 0LB",
"1RB 1LC 1LA 0LC 0LD 1RD 0RB 0RA",
"1RB 1LC 1LA 1RC 0LD 0RB 1LB 0LA",
"1RB 1LC 1LA 1RC 0LD 0RB 1RD 0LA",
"1RB 1LC 1LA 1RC 0RD 0LA 1RA 0RB",
"1RB 0LD 0RC 0LD 1LC 1LA 0RA 1LD",
"1RB 0RD 1LC 0LC 0RA 1LB 1RA 0LB",
"1RB 1LC 1LA 1RC 0LD 0RB 1RA 0LA",
"1RB 0LD 0LC 1RA 1RC 1LD 1LB 0RA",
"1RB 0RB 1RC 0LD 1LD 0LB 0RA 1LC",
"1RB 0LD 0LC 1RA 1RA 1LD 1LB 0RA",
"1RB 1LC 0LA 1RC 1LA 0RD 0LA 0RB",
"1RB 1LC 1LA 1RC 0LD 0RB 0RB 0LA",
"1RB 0LB 1RC 0LD 1LA 0RB 0RC 1LD",
"1RB 0LC 1RC 0LD 1LA 0RB 0RC 1LD",
"1RB 1LC 1RC 0LD 1LA 0RB 0RC 1LD",
"1RB 0LD 1LC 0RA 1RA 0LB 0RB 1LD",
"1RB 0LC 1RC 0LD 1LD 0RB 0LA 0LA",

"1RB 0LA 0LC 0RD 0RA 1LB 1RC 1LE 0LE 1LC",
"1RB 0LA 0RC 1LA 1RD 1RE 1RE ... 1LB 1LA",
Expand All @@ -2485,13 +2539,57 @@
"1RB ... 1RC 1LC 1LD 0RE 0RA 0LD 0LB 1RE",
"1RB 0LA 0RC 1RC 1RD 1LA 1RE 1LB 1LB ...",
"1RB 0LA 0RC 1RC 1RD 1LA 0RE 1LB 1LC ...",
"1RB 0RC 1RC 0RA 1LB 0RD 0LE 1RD 1LE 1LB",
"1RB 0LC 1LC 0LA 0RA 0LD 0RE 1LB 1RE 1RB",
"1RB 0RE 1RC 1RB 1LD 1LE 0LD 0RA 1LB 1LD",
"1RB 0RE 0LC 1RD 1LC 1LD 1RE 0RA 0LA 0RB",
"1RB 0LE 0RC 1LB 1RD 0RD 0LA 1RC 1LE 0LB",
"1RB 0RE 0LC 1RA 1LC 1LD 1RE 0RE 0LB 0RB",
"1RB 0RD 1LC 0RC 0LE 1RD 1RA 0RB 1LE 1LA",
"1RB 1RC 1LC 0RB 0RC 0LD 1LA 0LE 0LA ...",
"1RB 1LC 0LA 0RD 1LA 1RB 0LE 1RC 1LE 0RB",
"1RB 1RE 1LC 0LA 1LA 0RD 0LB 1LB 0RE 0LD",
"1RB 0RE 1RC 1LC 1LD 0LB 0RA 0LC 1RE 0LD",
"1RB 0RB 0LC 1RD 1LA 1LC 0LE 1RA 1LE 0RD",
"1RB 0LD 0RC 1RC 1LA 0LE 0RA 1LD 0LA 1RB",
"1RB 1LD 0RC 1LA 0LD 1RC 0RE 0LA 1LA 0RB",
"1RB 0RB 1RC 0LD 0LD 1RB 0RA 1LE 1LD 1LA",
"1RB 0RB 1RC 0LD 1LC 1RB 0RA 1LE 1LD 1LA",
"1RB 0LD 1RC 1RA 0LA 1RB 0RA 1LE 1LD 0RA",
"1RB 0LD 1RC 1RA 0LA 0LB 0RA 1LE 1LD 0RA",
"1RB 0LB 1LC 0RD 1LA 1LB 0RE 1RD 1RC 0LC",
"1RB 0LB 1LC 1LD 1RD 0LD 1LB 0RE 0RA 1RE",
"1RB 0LD 1RC 1RA 1LA 0RA 0LE 1LD 1LB 0RB",
"1RB 1RC 1LC 0RC 1RA 0LD 0LE 1LD 1LA 0RA",
"1RB 0LD 1RC 0LA 1LD 0RA 1LE 0RA 0RC 1LC",
"1RB 0LD 1RC 0LA 1LD 0RA 1LE 0RA 0RD 1LC",
"1RB 0LD 1RC 0LA 1LD 0RA 1LE 1RE 0RC 1LC",
"1RB 0RD 1LC 0LA 0RA 1LB 1RE 0LB 0LB 1RD",
"1RB 0RD 1LC 0LA 0RA 1LB 1RE 0LB 1LE 1RD",
"1RB 0LC 1LC 0RD 0RE 1LA 0LA 1RD 0RB 1LB",

"1RB 2LA 0RB 2LB 1LA 0RC 0LB 2RC 1RC",
"1RB 0RB 2LA 2LB 2RC 0RC 0LB 1RC 1LA",
"1RB 0LB 2RC 1LA 1LC 2RC 1RC 2LA 0LA",
"1RB 0RC 2LA 1LA 2LB 0LA 2RC 2RB 1LB",
"1RB 2RA 0RB 1LC 0LA 2RB 2LC 2LA 1RA",
"1RB 0RC 1LA 2LA 0LA 2RB 2RC 2RB 1LC",
"1RB 1RC 0RC 1LC 1RC 2LA 2RC 2LB 0LB",
"1RB 0RB 2LC 1LC 2RB 0LC 1RA 1LA 0LA",
"1RB 1LB 0LB 1RC 0RC 2LA 1LA 2RC 0LA",
"1RB 0RB 1LA 2LC 2RA 0LA 1RA 1LC 0RA",
"1RB 1LA 0RB 1RC 0RC 1LB 2LA 2RB 0LB",
"1RB 0RC 0LC 1LB 2RB 0LA 1LA 1RA 2LA",
"1RB 1LB 2RB 1LC 0LA 0RA 1RC 2LC 0RB",
"1RB 1LA 0RC 2LB 2RC 1LA 0LA 0RB 0LB",

"1RB 1RA 0RB 4LA 4LB 2LB 2RB 3RB 2LA 0LA",
"1RB 2RA 0RB 4LA 3LB 2LB 2RB 3RB 2LA 0LA",
"1RB 2RB 0RB 2RA 4LA 1LA 3LB 3RB 4RB 0LA",
"1RB 3RA 1LA 4LA 0RB 2LA 3LB 0LA 2LA 4RB",
"1RB 3RA 3LA 4LA 0RB 2LA 2LA 0LA 1LB 4RB",
"1RB 0RB 1RB 2RA 4LA 2LA 3RB 3LB 4RB 0LA",
"1RB 0RB 3RA 1RB 4LA 2LA 2RB 3LB 4RB 0LA",
}

HALTERS = set(
Expand Down
2 changes: 1 addition & 1 deletion test/test_turing.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1014,7 +1014,7 @@ def test_infrul(self):
for prog in INFRUL - PROVER_FAILURES:
self.run_bb(
prog,
opt_macro = 2_000,
opt_macro = 2_400,
normal = False)

self.assertIsNotNone(
Expand Down

0 comments on commit 07dce25

Please sign in to comment.