Lower reasoner bounds with false negatives

nickdrozd · Jun 19, 2024 · 6438a13 · 6438a13
1 parent eac7d5c
commit 6438a13
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 7 deletions.
diff --git a/src/reason.rs b/src/reason.rs
@@ -52,8 +52,8 @@ fn cant_reach(prog: &str, term_type: TermType) -> bool {
 
     let comp = tcompile(prog);
 
-    let max_steps = 24;
-    let max_cycles = 94;
+    let max_steps = 11;
+    let max_cycles = 25;
 
     let (colors, entry_points, program) = rparse(prog);
 

diff --git a/src/tree.rs b/src/tree.rs
@@ -280,18 +280,18 @@ fn test_tree() {
 #[ignore]
 fn test_tree_slow() {
     assert_trees![
-        ((4, 2), 1, 6_146),
-        ((4, 2), 0, 16_455),
+        ((4, 2), 1, 6_156),
+        ((4, 2), 0, 16_501),
         //
         ((2, 4), 1, 30_388),
         ((2, 4), 0, 90_555),
         //
-        ((5, 2), 1, 3_102_000),
+        ((5, 2), 1, 3_121_273),
         //
         ((2, 5), 1, 13_073_485),
         //
-        ((3, 3), 1, 2_197_874),
-        ((3, 3), 0, 5_778_614),
+        ((3, 3), 1, 2_200_251),
+        ((3, 3), 0, 5_782_263),
     ];
 }
 

diff --git a/test/prog_data.py b/test/prog_data.py
@@ -1023,6 +1023,7 @@
     "1RB 2RB 2LA  0LA 0RB 1LA",
     "1RB 2RB 1LA  0LA 2LA 0RB",
 
+    "1RB 0RC  1LB 0LC  0RD 0LD  1RA 0LA",
     "1RB 1LC  1LD 0RB  ... 0LD  1RA 1LA",
     "1RB 0LA  1LC 1LD  1RD 1LB  1RA 0RD",
     "1RB 0LC  1RD 1LD  0LA 1LB  1LC 0RD",
@@ -1161,6 +1162,8 @@
     "1RB 0LC  1LA 1LD  1RD 0RC  0LB 0RE  1RC 1LF  1LE ...",
     "1RB 0LC  1LA 1RD  1RA 0LE  1RA 0RB  1LF 1LC  1RD ...",
 
+    "1RB 0RC  0LD 0RC  1LA 0RE  1LA 1LF  1RB 0LG  0LG 1LA  0LD 1RB",
+    "1RB 1RC  0RD 0RA  1LE 0LF  0RC 0RA  1LE 0LF  0LG 0RD  0RA 1LE",
     "1RB 1RC  0RD 0RB  ... 1RA  1RE 1LF  0RG 0RE  0RC 1RB  1LG 1LD",
 
     "1RB 1RC  1RE 1RE  1LD 0RA  1RB 1LG  1LG 1RF  0RE 1RE  1LH 0LH  0LG 1LC",