Skip to content

Commit

Permalink
Add reasoner false negatives
Browse files Browse the repository at this point in the history
  • Loading branch information
@nickdrozd
nickdrozd committed Aug 4, 2024
1 parent 7c07f77 commit f1cf544
Showing 1 changed file with 101 additions and 1 deletion.
102 changes: 101 additions & 1 deletion test/prog_data.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -977,11 +977,44 @@
"1RB ... 1LC 1RA 1LA 0LC",
"1RB ... 1LC 0RC 1RA 0LC",
"1RB ... 1LB 0LC 1LA 1RA",
"1RB ... 0LC 0RA 0RA 1LB",
"1RB ... 0LC 0RA 1LA 1LB",
"1RB ... 1LC 0RA 0RB 0LB",
"1RB ... 1LC 0RA 1RB 0LB",
"1RB ... 1LC 0RB 1LB 1LA",
"1RB ... 1LC 1RA 0RA 0LC",
"1RB 0LB 1LA 0RC 1RB ...",
"1RB 0LB 1LC 1RB ... 1LA",
"1RB 0LC 0LC 1RA ... 1LA",
"1RB 0LC 1LA 0RA 1LA ...",
"1RB 1LC 0LA 0RB 1LA ...",
"1RB 1RC 1LC ... 0RA 0LB",

"1RB 2LB ... 1LB 2LA 1RB",
"1RB 0LA ... 1LB 2LA 0RB",
"1RB 2LA 0RB 2LA ... 1RA",
"1RB ... 0RB 2LB 2RA 0LA",
"1RB ... 0RB 2LB 2LA 0RA",
"1RB 0LB ... 1LA 2RA 1LA",
"1RB 0LB ... 2LA ... 0RA",
"1RB 0LB ... 2LA 2LA 1RA",
"1RB 1LA 0LA 0LA 2RA ...",
"1RB 1LA 0LA 1LA 2RA ...",
"1RB 1LA 0LA 2LA 0RA ...",
"1RB 1LA 0LA 2LA 2RA ...",
"1RB 1LB ... 2LA 0RB 1RB",
"1RB 2LA 0LA 0LA ... 2RA",
"1RB 2LA 0LA 1LA ... 2RA",
"1RB 2LA 0LA 2LA ... 2RA",
"1RB 2LA 0RB 0LA ... 1RA",
"1RB 2LA 1RB 0LA ... 1RA",
"1RB 2LA 1RB 1LA ... 1RA",
"1RB 2LA 1RB 2LA ... 1RA",
"1RB 2LB ... 1LA 1RB 0RB",
"1RB 2LB ... 2LA 2LA 1RB",
"1RB 2LB 1RB 1LA 0RA ...",
"1RB 2LB 1RB 2LA ... 0RA",
"1RB 2RB 1LA 0LA 2RA ...",

"1RB 3LA 1LA ... 1LB 2RB 0LA 0RB",
"1RB 1LA ... 3LA 2LA 3RB 3LA 0RA",
Expand Down Expand Up @@ -1071,6 +1104,13 @@
"1RB 0LA 0RC 0RC 1LC 1LA",
"1RB 1LA 0LB 1RC 0LA 0RC",
"1RB 1LA 0LA 1RC 0LA 0RC",
"1RB 0RB 0RC 0RA 1LC 1RB",
"1RB 0LB 0LC 0LA 1RC 1LB",
"1RB 0RB 1LC 0RA 1LC 1LA",
"1RB 0RC 1LB 1RA 0RB 0RA",
"1RB ... 1LC 0RB 1LB 1LA",
"1RB ... 1LC 1RA 0RA 0LC",
"1RB 1LC 0LA 0RB 1LA ...",

"1RB 2LA 0RB 0LB 1LA 0RA",
"1RB 2LA 1LB 0LA 0RB 1RA",
Expand All @@ -1092,6 +1132,17 @@
"1RB 2LB 0RA 1LA 1RB 2RA",
"1RB 2RB 2LA 0LA 0RB 1LA",
"1RB 2RB 1LA 0LA 2LA 0RB",
"1RB 2LA 0RB 2LB 1LA 0RA",
"1RB ... 0RB 2LB 2LA 0RA",
"1RB 2LB ... 1LA 1RB 0RB",
"1RB 2LA 0LA 2LA ... 2RA",
"1RB 1LA 0LA 0LA 2RA ...",
"1RB 1LA 0LA 2LA 2RA ...",
"1RB 1LA 0LA 2LA 0RA ...",
"1RB 2LA 0LA 1LA ... 2RA",
"1RB 1LA 0LA 1LA 2RA ...",
"1RB 1LB ... 2LA 0RB 1RB",
"1RB 2LA 0LA 0LA ... 2RA",

"1RB 1LC 1LD 0RB ... 0LD 1RA 1LA",
"1RB 0LA 1LC 1LD 1RD 1LB 1RA 0RD",
Expand Down Expand Up @@ -1279,11 +1330,19 @@
"1RB 0LA 0RC 1LA 1LC 0RB",
"1RB 1LB 0RC 0RB 1LC 0LA",
"1RB ... 0LC 0RB 1LC 1LA",
"1RB 0LB 0LC 0LA 1RC 1LB",
"1RB 0LB 1LA 0RC 1LC 1RB",
"1RB 0LC 1LA 0RA 1RC 1LA",
"1RB 0RB 0RC 0RA 1LC 1RB",
"1RB 0RB 1LC 0RA 1LC 1LA",
"1RB 0RC 1LB 1RA 0RB 0RA",

"1RB ... 0RB 2LB 2RA 0LA",
"1RB 0LA ... 1LB 2LA 0RB",
"1RB 0RB 0LB 1LB 2RA 1LA",
"1RB 2LA 0RB 0LB 1LA 0RA",
"1RB ... 0RB 2LB 2LA 0RA",
"1RB 2LA 0RB 2LB 1LA 0RA",

# slow
"1RB ... ... 2LB 1RB 1LB",
Expand Down Expand Up @@ -2255,9 +2314,49 @@

"1RB 0LA ... 1LB 2LA 0RB",
"1RB 2LA 0RB 1LB 1LA 1RA",

"1RB ... 0RB 2LB 2LA 0RA",
"1RB 2LA 0RB 2LB 1LA 0RA",
"1RB 0LB ... 1LA 2RA 1LA",
"1RB 0LB ... 2LA ... 0RA",
"1RB 0LB ... 2LA 2LA 1RA",
"1RB 1LA 0LA 0LA 2RA ...",
"1RB 1LA 0LA 1LA 2RA ...",
"1RB 1LA 0LA 2LA 0RA ...",
"1RB 1LA 0LA 2LA 2RA ...",
"1RB 1LB ... 2LA 0RB 1RB",
"1RB 2LA 0LA 0LA ... 2RA",
"1RB 2LA 0LA 1LA ... 2RA",
"1RB 2LA 0LA 2LA ... 2RA",
"1RB 2LA 0RB 0LA ... 1RA",
"1RB 2LA 1RB 0LA ... 1RA",
"1RB 2LA 1RB 1LA ... 1RA",
"1RB 2LA 1RB 2LA ... 1RA",
"1RB 2LB ... 1LA 1RB 0RB",
"1RB 2LB ... 2LA 2LA 1RB",
"1RB 2LB 1RB 1LA 0RA ...",
"1RB 2LB 1RB 2LA ... 0RA",
"1RB 2RB 1LA 0LA 2RA ...",

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

"1RB 3LA 1LA ... 1LB 2RB 0LA 0RB",
"1RB 1LA ... 3LA 2LA 3RB 3LA 0RA",
Expand Down Expand Up @@ -2305,6 +2404,7 @@

UNREASONABLE: set[str] = {
"1RB 0LA ... 1LB 2LA 0RB",
"1RB ... 0RB 2LB 2LA 0RA",

"1RB ... 0LC 0RB 1LC 1LA",

Expand Down

0 comments on commit f1cf544

Please sign in to comment.