update MOBV_reorder

fmlab-iis · Dec 10, 2024 · 2536afe · 2536afe
1 parent 5c9bcb9
commit 2536afe
Show file tree

Hide file tree

Showing 2,011 changed files with 2,015 additions and 2,013 deletions.
diff --git a/benchmarks/LSTA/MOBV_reorder/09/post.hsl b/benchmarks/LSTA/MOBV_reorder/09/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 9 ⊗ {|1>}
diff --git a/benchmarks/LSTA/MOBV_reorder/09/pre.hsl b/benchmarks/LSTA/MOBV_reorder/09/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 9 ⊗ {|0>}
diff --git a/benchmarks/LSTA/MOBV_reorder/10/post.hsl b/benchmarks/LSTA/MOBV_reorder/10/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 10 ⊗ {|1>}
diff --git a/benchmarks/LSTA/MOBV_reorder/10/pre.hsl b/benchmarks/LSTA/MOBV_reorder/10/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 10 ⊗ {|0>}
diff --git a/benchmarks/LSTA/MOBV_reorder/11/post.hsl b/benchmarks/LSTA/MOBV_reorder/11/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 11 ⊗ {|1>}
diff --git a/benchmarks/LSTA/MOBV_reorder/11/pre.hsl b/benchmarks/LSTA/MOBV_reorder/11/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 11 ⊗ {|0>}
diff --git a/benchmarks/LSTA/MOBV_reorder/12/post.hsl b/benchmarks/LSTA/MOBV_reorder/12/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 12 ⊗ {|1>}
diff --git a/benchmarks/LSTA/MOBV_reorder/12/pre.hsl b/benchmarks/LSTA/MOBV_reorder/12/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 12 ⊗ {|0>}
diff --git a/benchmarks/LSTA/MOBV_reorder/13/post.hsl b/benchmarks/LSTA/MOBV_reorder/13/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 13 ⊗ {|1>}
diff --git a/benchmarks/LSTA/MOBV_reorder/13/pre.hsl b/benchmarks/LSTA/MOBV_reorder/13/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 13 ⊗ {|0>}
diff --git a/benchmarks/all/MOBV_reorder/01/post.hsl b/benchmarks/all/MOBV_reorder/01/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 1 ⊗ {|1>}
diff --git a/benchmarks/all/MOBV_reorder/01/pre.hsl b/benchmarks/all/MOBV_reorder/01/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 1 ⊗ {|0>}
diff --git a/benchmarks/all/MOBV_reorder/02/post.hsl b/benchmarks/all/MOBV_reorder/02/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # \/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 2 ⊗ {|1>}
diff --git a/benchmarks/all/MOBV_reorder/02/pre.hsl b/benchmarks/all/MOBV_reorder/02/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # \/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 2 ⊗ {|0>}
diff --git a/benchmarks/all/MOBV_reorder/03/post.hsl b/benchmarks/all/MOBV_reorder/03/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 3 ⊗ {|1>}
diff --git a/benchmarks/all/MOBV_reorder/03/pre.hsl b/benchmarks/all/MOBV_reorder/03/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 3 ⊗ {|0>}
diff --git a/benchmarks/all/MOBV_reorder/04/post.hsl b/benchmarks/all/MOBV_reorder/04/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 4 ⊗ {|1>}
diff --git a/benchmarks/all/MOBV_reorder/04/pre.hsl b/benchmarks/all/MOBV_reorder/04/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 4 ⊗ {|0>}
diff --git a/benchmarks/all/MOBV_reorder/05/post.hsl b/benchmarks/all/MOBV_reorder/05/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 5 ⊗ {|1>}
diff --git a/benchmarks/all/MOBV_reorder/05/pre.hsl b/benchmarks/all/MOBV_reorder/05/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 5 ⊗ {|0>}
diff --git a/benchmarks/all/MOBV_reorder/06/post.hsl b/benchmarks/all/MOBV_reorder/06/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 6 ⊗ {|1>}
diff --git a/benchmarks/all/MOBV_reorder/06/pre.hsl b/benchmarks/all/MOBV_reorder/06/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 6 ⊗ {|0>}
diff --git a/benchmarks/all/MOBV_reorder/07/post.hsl b/benchmarks/all/MOBV_reorder/07/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 7 ⊗ {|1>}
diff --git a/benchmarks/all/MOBV_reorder/07/pre.hsl b/benchmarks/all/MOBV_reorder/07/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 7 ⊗ {|0>}
diff --git a/benchmarks/all/MOBV_reorder/08/post.hsl b/benchmarks/all/MOBV_reorder/08/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 8 ⊗ {|1>}
diff --git a/benchmarks/all/MOBV_reorder/08/pre.hsl b/benchmarks/all/MOBV_reorder/08/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 8 ⊗ {|0>}
diff --git a/benchmarks/all/MOBV_reorder/09/post.hsl b/benchmarks/all/MOBV_reorder/09/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 9 ⊗ {|1>}
diff --git a/benchmarks/all/MOBV_reorder/09/pre.hsl b/benchmarks/all/MOBV_reorder/09/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 9 ⊗ {|0>}
diff --git a/benchmarks/all/MOBV_reorder/10/post.hsl b/benchmarks/all/MOBV_reorder/10/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 10 ⊗ {|1>}
diff --git a/benchmarks/all/MOBV_reorder/10/pre.hsl b/benchmarks/all/MOBV_reorder/10/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 10 ⊗ {|0>}
diff --git a/benchmarks/all/MOBV_reorder/100/post.hsl b/benchmarks/all/MOBV_reorder/100/post.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # \/|i|=1:|ii> # |1>
+{|00>, |11>} ^ 100 ⊗ {|1>}
diff --git a/benchmarks/all/MOBV_reorder/100/pre.hsl b/benchmarks/all/MOBV_reorder/100/pre.hsl
@@ -1,2 +1,2 @@
 Extended Dirac
-\/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # \/|i|=1:|i0> # |0>
+{|i0> | |i|=1} ^ 100 ⊗ {|0>}