bench: update chain filter defns

IntersectMBO · Jan 17, 2022 · d69225b · d69225b
1 parent 588d0cd
commit d69225b
Show file tree

Hide file tree

Showing 4 changed files with 31 additions and 6 deletions.
diff --git a/bench/flt-full-k10.json b/bench/flt-full-k10.json
@@ -0,0 +1,25 @@
+[ { "tag": "CSlot"
+  , "contents":
+    { "tag": "EpochGEq"
+    , "contents": 2
+    }
+  }
+, { "tag": "CSlot"
+  , "contents":
+    { "tag": "SlotLEq"
+    , "contents": 37000
+    }
+  }
+, { "tag": "CBlock"
+  , "contents":
+    { "tag": "BUnitaryChainDelta"
+    , "contents": true
+    }
+  }
+, { "tag": "CBlock"
+  , "contents":
+    { "tag": "BFullnessGEq"
+    , "contents": 0.9
+    }
+  }
+]
diff --git a/bench/flt-full.json b/bench/flt-full.json
@@ -1,13 +1,13 @@
 [ { "tag": "CSlot"
   , "contents":
     { "tag": "EpochGEq"
-    , "contents": 3
+    , "contents": 2
     }
   }
 , { "tag": "CSlot"
   , "contents":
     { "tag": "SlotLEq"
-    , "contents": 37000
+    , "contents": 56000
     }
   }
 , { "tag": "CBlock"

diff --git a/bench/flt-midsize.json b/bench/flt-midsize.json
@@ -1,13 +1,13 @@
 [ { "tag": "CSlot"
   , "contents":
     { "tag": "EpochGEq"
-    , "contents": 3
+    , "contents": 2
     }
   }
 , { "tag": "CSlot"
   , "contents":
     { "tag": "SlotLEq"
-    , "contents": 37000
+    , "contents": 56000
     }
   }
 , { "tag": "CBlock"

diff --git a/bench/flt-range.json b/bench/flt-range.json
@@ -1,13 +1,13 @@
 [ { "tag": "CSlot"
   , "contents":
     { "tag": "EpochGEq"
-    , "contents": 3
+    , "contents": 2
     }
   }
 , { "tag": "CSlot"
   , "contents":
     { "tag": "SlotLEq"
-    , "contents": 37000
+    , "contents": 56000
     }
   }
 , { "tag": "CBlock"