*.spec -> *.lsta

fmlab-iis · Sep 10, 2024 · cc4ede8 · cc4ede8
1 parent 733e4f1
commit cc4ede8
Show file tree

Hide file tree

Showing 20,546 changed files with 106 additions and 106 deletions.
diff --git a/README.md b/README.md
@@ -37,14 +37,14 @@ Subcommands:
   eq                          Equivalence Checking
 ```
 ```
-$ ./build/cli/autoq verC benchmarks/Grover/03/pre.spec benchmarks/Grover/03/circuit.qasm benchmarks/Grover/03/post.spec
+$ ./build/cli/autoq ver benchmarks/all/Grover/03/pre.lsta benchmarks/all/Grover/03/circuit.qasm benchmarks/all/Grover/03/post.lsta
 The quantum program has [6] qubits and [54] gates.
 The verification process [passed] in [0.0s] with [16MB] memory usage.
 ```
-AutoQ provides two file extensions, *.hsl and *.spec, for users to indicate the format they use to describe a set of quantum states. The simpler format is *.hsl, which does not require users to have a background in NFTA. However, since our current implementation of *.hsl has not yet been optimized, we strongly recommend using *.spec as the number of qubits increases. The detailed formats can be found in the following documents.
+AutoQ provides two file extensions, *.hsl and *.lsta, for users to indicate the format they use to describe a set of quantum states. The simpler format is *.hsl, which does not require users to have a background in NFTA. However, since our current implementation of *.hsl has not yet been optimized, we strongly recommend using *.lsta as the number of qubits increases. The detailed formats can be found in the following documents.
 
 - [hsl format description](./docs/hsl_description.md)
-- [spec format description](./docs/spec_description.md)
+- [lsta format description](./docs/lsta_description.md)
 
 If you're interested in the internal structures for quantum state representation, see the file [internal_structure.md](./docs/internal_structure.md).
 

diff --git a/benchmarks/CAV23/BVBugSym/post.spec → benchmarks/CAV23/BVBugSym/post.lsta b/benchmarks/CAV23/BVBugSym/post.spec → benchmarks/CAV23/BVBugSym/post.lsta
diff --git a/benchmarks/CAV23/BVBugSym/pre.spec → benchmarks/CAV23/BVBugSym/pre.lsta b/benchmarks/CAV23/BVBugSym/pre.spec → benchmarks/CAV23/BVBugSym/pre.lsta
diff --git a/benchmarks/CAV23/BVSym/01/post.spec → benchmarks/CAV23/BVSym/01/post.lsta b/benchmarks/CAV23/BVSym/01/post.spec → benchmarks/CAV23/BVSym/01/post.lsta
diff --git a/benchmarks/CAV23/BVSym/01/pre.spec → benchmarks/CAV23/BVSym/01/pre.lsta b/benchmarks/CAV23/BVSym/01/pre.spec → benchmarks/CAV23/BVSym/01/pre.lsta
diff --git a/benchmarks/CAV23/BVSym/99/post.spec → benchmarks/CAV23/BVSym/99/post.lsta b/benchmarks/CAV23/BVSym/99/post.spec → benchmarks/CAV23/BVSym/99/post.lsta
diff --git a/benchmarks/CAV23/BVSym/99/pre.spec → benchmarks/CAV23/BVSym/99/pre.lsta b/benchmarks/CAV23/BVSym/99/pre.spec → benchmarks/CAV23/BVSym/99/pre.lsta
diff --git a/benchmarks/CAV23/BVSym/999/post.spec → benchmarks/CAV23/BVSym/999/post.lsta b/benchmarks/CAV23/BVSym/999/post.spec → benchmarks/CAV23/BVSym/999/post.lsta
diff --git a/benchmarks/CAV23/BVSym/999/pre.spec → benchmarks/CAV23/BVSym/999/pre.lsta b/benchmarks/CAV23/BVSym/999/pre.spec → benchmarks/CAV23/BVSym/999/pre.lsta
diff --git a/benchmarks/CAV23/GroverSym/03/post.spec → benchmarks/CAV23/GroverSym/03/post.lsta b/benchmarks/CAV23/GroverSym/03/post.spec → benchmarks/CAV23/GroverSym/03/post.lsta
diff --git a/benchmarks/CAV23/GroverSym/03/pre.spec → benchmarks/CAV23/GroverSym/03/pre.lsta b/benchmarks/CAV23/GroverSym/03/pre.spec → benchmarks/CAV23/GroverSym/03/pre.lsta
diff --git a/benchmarks/CAV23/GroverSym/16/post.spec → benchmarks/CAV23/GroverSym/16/post.lsta b/benchmarks/CAV23/GroverSym/16/post.spec → benchmarks/CAV23/GroverSym/16/post.lsta
diff --git a/benchmarks/CAV23/GroverSym/16/pre.spec → benchmarks/CAV23/GroverSym/16/pre.lsta b/benchmarks/CAV23/GroverSym/16/pre.spec → benchmarks/CAV23/GroverSym/16/pre.lsta
diff --git a/benchmarks/CAV23/GroverSym/18/post.spec → benchmarks/CAV23/GroverSym/18/post.lsta b/benchmarks/CAV23/GroverSym/18/post.spec → benchmarks/CAV23/GroverSym/18/post.lsta
diff --git a/benchmarks/CAV23/GroverSym/18/pre.spec → benchmarks/CAV23/GroverSym/18/pre.lsta b/benchmarks/CAV23/GroverSym/18/pre.spec → benchmarks/CAV23/GroverSym/18/pre.lsta
diff --git a/benchmarks/CAV23/GroverSym/20/post.spec → benchmarks/CAV23/GroverSym/20/post.lsta b/benchmarks/CAV23/GroverSym/20/post.spec → benchmarks/CAV23/GroverSym/20/post.lsta
diff --git a/benchmarks/CAV23/GroverSym/20/pre.spec → benchmarks/CAV23/GroverSym/20/pre.lsta b/benchmarks/CAV23/GroverSym/20/pre.spec → benchmarks/CAV23/GroverSym/20/pre.lsta
diff --git a/benchmarks/CAV23/H2BugSym/post.spec → benchmarks/CAV23/H2BugSym/post.lsta b/benchmarks/CAV23/H2BugSym/post.spec → benchmarks/CAV23/H2BugSym/post.lsta
diff --git a/benchmarks/CAV23/H2BugSym/pre.spec → benchmarks/CAV23/H2BugSym/pre.lsta b/benchmarks/CAV23/H2BugSym/pre.spec → benchmarks/CAV23/H2BugSym/pre.lsta
diff --git a/benchmarks/CAV23/H2Sym/post.spec → benchmarks/CAV23/H2Sym/post.lsta b/benchmarks/CAV23/H2Sym/post.spec → benchmarks/CAV23/H2Sym/post.lsta
diff --git a/benchmarks/CAV23/H2Sym/pre.spec → benchmarks/CAV23/H2Sym/pre.lsta b/benchmarks/CAV23/H2Sym/pre.spec → benchmarks/CAV23/H2Sym/pre.lsta
diff --git a/benchmarks/CAV23/MOGroverSym/03/post.spec → benchmarks/CAV23/MOGroverSym/03/post.lsta b/benchmarks/CAV23/MOGroverSym/03/post.spec → benchmarks/CAV23/MOGroverSym/03/post.lsta
diff --git a/benchmarks/CAV23/MOGroverSym/03/pre.spec → benchmarks/CAV23/MOGroverSym/03/pre.lsta b/benchmarks/CAV23/MOGroverSym/03/pre.spec → benchmarks/CAV23/MOGroverSym/03/pre.lsta
diff --git a/benchmarks/CAV23/MOGroverSym/08/post.spec → benchmarks/CAV23/MOGroverSym/08/post.lsta b/benchmarks/CAV23/MOGroverSym/08/post.spec → benchmarks/CAV23/MOGroverSym/08/post.lsta
diff --git a/benchmarks/CAV23/MOGroverSym/08/pre.spec → benchmarks/CAV23/MOGroverSym/08/pre.lsta b/benchmarks/CAV23/MOGroverSym/08/pre.spec → benchmarks/CAV23/MOGroverSym/08/pre.lsta
diff --git a/benchmarks/CAV23/MOGroverSym/09/post.spec → benchmarks/CAV23/MOGroverSym/09/post.lsta b/benchmarks/CAV23/MOGroverSym/09/post.spec → benchmarks/CAV23/MOGroverSym/09/post.lsta
diff --git a/benchmarks/CAV23/MOGroverSym/09/pre.spec → benchmarks/CAV23/MOGroverSym/09/pre.lsta b/benchmarks/CAV23/MOGroverSym/09/pre.spec → benchmarks/CAV23/MOGroverSym/09/pre.lsta
diff --git a/benchmarks/CAV23/OEGrover/02/post.spec → benchmarks/CAV23/OEGrover/02/post.lsta b/benchmarks/CAV23/OEGrover/02/post.spec → benchmarks/CAV23/OEGrover/02/post.lsta
diff --git a/benchmarks/CAV23/OEGrover/02/pre.spec → benchmarks/CAV23/OEGrover/02/pre.lsta b/benchmarks/CAV23/OEGrover/02/pre.spec → benchmarks/CAV23/OEGrover/02/pre.lsta
diff --git a/benchmarks/CAV23/OEGrover/100/post.spec → benchmarks/CAV23/OEGrover/100/post.lsta b/benchmarks/CAV23/OEGrover/100/post.spec → benchmarks/CAV23/OEGrover/100/post.lsta
diff --git a/benchmarks/CAV23/OEGrover/100/pre.spec → benchmarks/CAV23/OEGrover/100/pre.lsta b/benchmarks/CAV23/OEGrover/100/pre.spec → benchmarks/CAV23/OEGrover/100/pre.lsta
diff --git a/benchmarks/CAV23/OEGrover/18/post.spec → benchmarks/CAV23/OEGrover/18/post.lsta b/benchmarks/CAV23/OEGrover/18/post.spec → benchmarks/CAV23/OEGrover/18/post.lsta
diff --git a/benchmarks/CAV23/OEGrover/18/pre.spec → benchmarks/CAV23/OEGrover/18/pre.lsta b/benchmarks/CAV23/OEGrover/18/pre.spec → benchmarks/CAV23/OEGrover/18/pre.lsta
diff --git a/benchmarks/CAV23/OEGrover/50/post.spec → benchmarks/CAV23/OEGrover/50/post.lsta b/benchmarks/CAV23/OEGrover/50/post.spec → benchmarks/CAV23/OEGrover/50/post.lsta
diff --git a/benchmarks/CAV23/OEGrover/50/pre.spec → benchmarks/CAV23/OEGrover/50/pre.lsta b/benchmarks/CAV23/OEGrover/50/pre.spec → benchmarks/CAV23/OEGrover/50/pre.lsta
diff --git a/benchmarks/CAV23/OEGrover/75/post.spec → benchmarks/CAV23/OEGrover/75/post.lsta b/benchmarks/CAV23/OEGrover/75/post.spec → benchmarks/CAV23/OEGrover/75/post.lsta
diff --git a/benchmarks/CAV23/OEGrover/75/pre.spec → benchmarks/CAV23/OEGrover/75/pre.lsta b/benchmarks/CAV23/OEGrover/75/pre.spec → benchmarks/CAV23/OEGrover/75/pre.lsta
diff --git a/benchmarks/LSTA/BV/95/post.spec → benchmarks/LSTA/BV/95/post.lsta b/benchmarks/LSTA/BV/95/post.spec → benchmarks/LSTA/BV/95/post.lsta
diff --git a/benchmarks/LSTA/BV/95/pre.spec → benchmarks/LSTA/BV/95/pre.lsta b/benchmarks/LSTA/BV/95/pre.spec → benchmarks/LSTA/BV/95/pre.lsta
diff --git a/benchmarks/LSTA/BV/96/post.spec → benchmarks/LSTA/BV/96/post.lsta b/benchmarks/LSTA/BV/96/post.spec → benchmarks/LSTA/BV/96/post.lsta
diff --git a/benchmarks/LSTA/BV/96/pre.spec → benchmarks/LSTA/BV/96/pre.lsta b/benchmarks/LSTA/BV/96/pre.spec → benchmarks/LSTA/BV/96/pre.lsta
diff --git a/benchmarks/LSTA/BV/97/post.spec → benchmarks/LSTA/BV/97/post.lsta b/benchmarks/LSTA/BV/97/post.spec → benchmarks/LSTA/BV/97/post.lsta
diff --git a/benchmarks/LSTA/BV/97/pre.spec → benchmarks/LSTA/BV/97/pre.lsta b/benchmarks/LSTA/BV/97/pre.spec → benchmarks/LSTA/BV/97/pre.lsta
diff --git a/benchmarks/LSTA/BV/98/post.spec → benchmarks/LSTA/BV/98/post.lsta b/benchmarks/LSTA/BV/98/post.spec → benchmarks/LSTA/BV/98/post.lsta
diff --git a/benchmarks/LSTA/BV/98/pre.spec → benchmarks/LSTA/BV/98/pre.lsta b/benchmarks/LSTA/BV/98/pre.spec → benchmarks/LSTA/BV/98/pre.lsta
diff --git a/benchmarks/LSTA/BV/99/post.spec → benchmarks/LSTA/BV/99/post.lsta b/benchmarks/LSTA/BV/99/post.spec → benchmarks/LSTA/BV/99/post.lsta
diff --git a/benchmarks/LSTA/BV/99/pre.spec → benchmarks/LSTA/BV/99/pre.lsta b/benchmarks/LSTA/BV/99/pre.spec → benchmarks/LSTA/BV/99/pre.lsta
diff --git a/benchmarks/LSTA/GHZall/008/post.spec → benchmarks/LSTA/GHZall/008/post.lsta b/benchmarks/LSTA/GHZall/008/post.spec → benchmarks/LSTA/GHZall/008/post.lsta
diff --git a/benchmarks/LSTA/GHZall/008/pre.spec → benchmarks/LSTA/GHZall/008/pre.lsta b/benchmarks/LSTA/GHZall/008/pre.spec → benchmarks/LSTA/GHZall/008/pre.lsta
diff --git a/benchmarks/LSTA/GHZall/016/post.spec → benchmarks/LSTA/GHZall/016/post.lsta b/benchmarks/LSTA/GHZall/016/post.spec → benchmarks/LSTA/GHZall/016/post.lsta
diff --git a/benchmarks/LSTA/GHZall/016/pre.spec → benchmarks/LSTA/GHZall/016/pre.lsta b/benchmarks/LSTA/GHZall/016/pre.spec → benchmarks/LSTA/GHZall/016/pre.lsta
diff --git a/benchmarks/LSTA/GHZall/032/post.spec → benchmarks/LSTA/GHZall/032/post.lsta b/benchmarks/LSTA/GHZall/032/post.spec → benchmarks/LSTA/GHZall/032/post.lsta
diff --git a/benchmarks/LSTA/GHZall/032/pre.spec → benchmarks/LSTA/GHZall/032/pre.lsta b/benchmarks/LSTA/GHZall/032/pre.spec → benchmarks/LSTA/GHZall/032/pre.lsta
diff --git a/benchmarks/LSTA/GHZall/064/post.spec → benchmarks/LSTA/GHZall/064/post.lsta b/benchmarks/LSTA/GHZall/064/post.spec → benchmarks/LSTA/GHZall/064/post.lsta
diff --git a/benchmarks/LSTA/GHZall/064/pre.spec → benchmarks/LSTA/GHZall/064/pre.lsta b/benchmarks/LSTA/GHZall/064/pre.spec → benchmarks/LSTA/GHZall/064/pre.lsta
diff --git a/benchmarks/LSTA/GHZall/128/post.spec → benchmarks/LSTA/GHZall/128/post.lsta b/benchmarks/LSTA/GHZall/128/post.spec → benchmarks/LSTA/GHZall/128/post.lsta
diff --git a/benchmarks/LSTA/GHZall/128/pre.spec → benchmarks/LSTA/GHZall/128/pre.lsta b/benchmarks/LSTA/GHZall/128/pre.spec → benchmarks/LSTA/GHZall/128/pre.lsta
diff --git a/benchmarks/LSTA/GHZzero/064/post.spec → benchmarks/LSTA/GHZzero/064/post.lsta b/benchmarks/LSTA/GHZzero/064/post.spec → benchmarks/LSTA/GHZzero/064/post.lsta
diff --git a/benchmarks/LSTA/GHZzero/064/pre.spec → benchmarks/LSTA/GHZzero/064/pre.lsta b/benchmarks/LSTA/GHZzero/064/pre.spec → benchmarks/LSTA/GHZzero/064/pre.lsta
diff --git a/benchmarks/LSTA/GHZzero/128/post.spec → benchmarks/LSTA/GHZzero/128/post.lsta b/benchmarks/LSTA/GHZzero/128/post.spec → benchmarks/LSTA/GHZzero/128/post.lsta
diff --git a/benchmarks/LSTA/GHZzero/128/pre.spec → benchmarks/LSTA/GHZzero/128/pre.lsta b/benchmarks/LSTA/GHZzero/128/pre.spec → benchmarks/LSTA/GHZzero/128/pre.lsta
diff --git a/benchmarks/LSTA/GHZzero/256/post.spec → benchmarks/LSTA/GHZzero/256/post.lsta b/benchmarks/LSTA/GHZzero/256/post.spec → benchmarks/LSTA/GHZzero/256/post.lsta
diff --git a/benchmarks/LSTA/GHZzero/256/pre.spec → benchmarks/LSTA/GHZzero/256/pre.lsta b/benchmarks/LSTA/GHZzero/256/pre.spec → benchmarks/LSTA/GHZzero/256/pre.lsta
diff --git a/benchmarks/LSTA/GHZzero/384/post.spec → benchmarks/LSTA/GHZzero/384/post.lsta b/benchmarks/LSTA/GHZzero/384/post.spec → benchmarks/LSTA/GHZzero/384/post.lsta
diff --git a/benchmarks/LSTA/GHZzero/384/pre.spec → benchmarks/LSTA/GHZzero/384/pre.lsta b/benchmarks/LSTA/GHZzero/384/pre.spec → benchmarks/LSTA/GHZzero/384/pre.lsta
diff --git a/benchmarks/LSTA/GHZzero/512/post.spec → benchmarks/LSTA/GHZzero/512/post.lsta b/benchmarks/LSTA/GHZzero/512/post.spec → benchmarks/LSTA/GHZzero/512/post.lsta
diff --git a/benchmarks/LSTA/GHZzero/512/pre.spec → benchmarks/LSTA/GHZzero/512/pre.lsta b/benchmarks/LSTA/GHZzero/512/pre.spec → benchmarks/LSTA/GHZzero/512/pre.lsta
diff --git a/benchmarks/LSTA/Grover/12/post.spec → benchmarks/LSTA/Grover/12/post.lsta b/benchmarks/LSTA/Grover/12/post.spec → benchmarks/LSTA/Grover/12/post.lsta
diff --git a/benchmarks/LSTA/Grover/12/pre.spec → benchmarks/LSTA/Grover/12/pre.lsta b/benchmarks/LSTA/Grover/12/pre.spec → benchmarks/LSTA/Grover/12/pre.lsta
diff --git a/benchmarks/LSTA/Grover/14/post.spec → benchmarks/LSTA/Grover/14/post.lsta b/benchmarks/LSTA/Grover/14/post.spec → benchmarks/LSTA/Grover/14/post.lsta
diff --git a/benchmarks/LSTA/Grover/14/pre.spec → benchmarks/LSTA/Grover/14/pre.lsta b/benchmarks/LSTA/Grover/14/pre.spec → benchmarks/LSTA/Grover/14/pre.lsta
diff --git a/benchmarks/LSTA/Grover/16/post.spec → benchmarks/LSTA/Grover/16/post.lsta b/benchmarks/LSTA/Grover/16/post.spec → benchmarks/LSTA/Grover/16/post.lsta
diff --git a/benchmarks/LSTA/Grover/16/pre.spec → benchmarks/LSTA/Grover/16/pre.lsta b/benchmarks/LSTA/Grover/16/pre.spec → benchmarks/LSTA/Grover/16/pre.lsta
diff --git a/benchmarks/LSTA/Grover/18/post.spec → benchmarks/LSTA/Grover/18/post.lsta b/benchmarks/LSTA/Grover/18/post.spec → benchmarks/LSTA/Grover/18/post.lsta
diff --git a/benchmarks/LSTA/Grover/18/pre.spec → benchmarks/LSTA/Grover/18/pre.lsta b/benchmarks/LSTA/Grover/18/pre.spec → benchmarks/LSTA/Grover/18/pre.lsta
diff --git a/benchmarks/LSTA/Grover/20/post.spec → benchmarks/LSTA/Grover/20/post.lsta b/benchmarks/LSTA/Grover/20/post.spec → benchmarks/LSTA/Grover/20/post.lsta
diff --git a/benchmarks/LSTA/Grover/20/pre.spec → benchmarks/LSTA/Grover/20/pre.lsta b/benchmarks/LSTA/Grover/20/pre.spec → benchmarks/LSTA/Grover/20/pre.lsta
diff --git a/benchmarks/LSTA/H2/012/post.spec → benchmarks/LSTA/H2/012/post.lsta b/benchmarks/LSTA/H2/012/post.spec → benchmarks/LSTA/H2/012/post.lsta
diff --git a/benchmarks/LSTA/H2/012/pre.spec → benchmarks/LSTA/H2/012/pre.lsta b/benchmarks/LSTA/H2/012/pre.spec → benchmarks/LSTA/H2/012/pre.lsta
diff --git a/benchmarks/LSTA/H2/013/post.spec → benchmarks/LSTA/H2/013/post.lsta b/benchmarks/LSTA/H2/013/post.spec → benchmarks/LSTA/H2/013/post.lsta
diff --git a/benchmarks/LSTA/H2/013/pre.spec → benchmarks/LSTA/H2/013/pre.lsta b/benchmarks/LSTA/H2/013/pre.spec → benchmarks/LSTA/H2/013/pre.lsta
diff --git a/benchmarks/LSTA/H2/064/post.spec → benchmarks/LSTA/H2/064/post.lsta b/benchmarks/LSTA/H2/064/post.spec → benchmarks/LSTA/H2/064/post.lsta
diff --git a/benchmarks/LSTA/H2/064/pre.spec → benchmarks/LSTA/H2/064/pre.lsta b/benchmarks/LSTA/H2/064/pre.spec → benchmarks/LSTA/H2/064/pre.lsta
diff --git a/benchmarks/LSTA/H2/128/post.spec → benchmarks/LSTA/H2/128/post.lsta b/benchmarks/LSTA/H2/128/post.spec → benchmarks/LSTA/H2/128/post.lsta
diff --git a/benchmarks/LSTA/H2/128/pre.spec → benchmarks/LSTA/H2/128/pre.lsta b/benchmarks/LSTA/H2/128/pre.spec → benchmarks/LSTA/H2/128/pre.lsta
diff --git a/benchmarks/LSTA/H2/256/post.spec → benchmarks/LSTA/H2/256/post.lsta b/benchmarks/LSTA/H2/256/post.spec → benchmarks/LSTA/H2/256/post.lsta
diff --git a/benchmarks/LSTA/H2/256/pre.spec → benchmarks/LSTA/H2/256/pre.lsta b/benchmarks/LSTA/H2/256/pre.spec → benchmarks/LSTA/H2/256/pre.lsta
diff --git a/benchmarks/LSTA/HXH/10/post.spec → benchmarks/LSTA/HXH/10/post.lsta b/benchmarks/LSTA/HXH/10/post.spec → benchmarks/LSTA/HXH/10/post.lsta
diff --git a/benchmarks/LSTA/HXH/10/pre.spec → benchmarks/LSTA/HXH/10/pre.lsta b/benchmarks/LSTA/HXH/10/pre.spec → benchmarks/LSTA/HXH/10/pre.lsta
diff --git a/benchmarks/LSTA/HXH/11/post.spec → benchmarks/LSTA/HXH/11/post.lsta b/benchmarks/LSTA/HXH/11/post.spec → benchmarks/LSTA/HXH/11/post.lsta
diff --git a/benchmarks/LSTA/HXH/11/pre.spec → benchmarks/LSTA/HXH/11/pre.lsta b/benchmarks/LSTA/HXH/11/pre.spec → benchmarks/LSTA/HXH/11/pre.lsta
diff --git a/benchmarks/LSTA/HXH/12/post.spec → benchmarks/LSTA/HXH/12/post.lsta b/benchmarks/LSTA/HXH/12/post.spec → benchmarks/LSTA/HXH/12/post.lsta
diff --git a/benchmarks/LSTA/HXH/12/pre.spec → benchmarks/LSTA/HXH/12/pre.lsta b/benchmarks/LSTA/HXH/12/pre.spec → benchmarks/LSTA/HXH/12/pre.lsta
diff --git a/benchmarks/LSTA/HXH/13/post.spec → benchmarks/LSTA/HXH/13/post.lsta b/benchmarks/LSTA/HXH/13/post.spec → benchmarks/LSTA/HXH/13/post.lsta
diff --git a/benchmarks/LSTA/HXH/13/pre.spec → benchmarks/LSTA/HXH/13/pre.lsta b/benchmarks/LSTA/HXH/13/pre.spec → benchmarks/LSTA/HXH/13/pre.lsta
diff --git a/benchmarks/LSTA/HXH/99/post.spec → benchmarks/LSTA/HXH/99/post.lsta b/benchmarks/LSTA/HXH/99/post.spec → benchmarks/LSTA/HXH/99/post.lsta
diff --git a/benchmarks/LSTA/HXH/99/pre.spec → benchmarks/LSTA/HXH/99/pre.lsta b/benchmarks/LSTA/HXH/99/pre.spec → benchmarks/LSTA/HXH/99/pre.lsta
diff --git a/benchmarks/LSTA/MCToffoli/08/post.spec → benchmarks/LSTA/MCToffoli/08/post.lsta b/benchmarks/LSTA/MCToffoli/08/post.spec → benchmarks/LSTA/MCToffoli/08/post.lsta
diff --git a/benchmarks/LSTA/MCToffoli/08/post0.spec → benchmarks/LSTA/MCToffoli/08/post0.lsta b/benchmarks/LSTA/MCToffoli/08/post0.spec → benchmarks/LSTA/MCToffoli/08/post0.lsta
diff --git a/benchmarks/LSTA/MCToffoli/08/post1.spec → benchmarks/LSTA/MCToffoli/08/post1.lsta b/benchmarks/LSTA/MCToffoli/08/post1.spec → benchmarks/LSTA/MCToffoli/08/post1.lsta
diff --git a/benchmarks/LSTA/MCToffoli/08/pre.spec → benchmarks/LSTA/MCToffoli/08/pre.lsta b/benchmarks/LSTA/MCToffoli/08/pre.spec → benchmarks/LSTA/MCToffoli/08/pre.lsta
diff --git a/benchmarks/LSTA/MCToffoli/08/pre0.spec → benchmarks/LSTA/MCToffoli/08/pre0.lsta b/benchmarks/LSTA/MCToffoli/08/pre0.spec → benchmarks/LSTA/MCToffoli/08/pre0.lsta
diff --git a/benchmarks/LSTA/MCToffoli/08/pre1.spec → benchmarks/LSTA/MCToffoli/08/pre1.lsta b/benchmarks/LSTA/MCToffoli/08/pre1.spec → benchmarks/LSTA/MCToffoli/08/pre1.lsta
diff --git a/benchmarks/LSTA/MCToffoli/10/post.spec → benchmarks/LSTA/MCToffoli/10/post.lsta b/benchmarks/LSTA/MCToffoli/10/post.spec → benchmarks/LSTA/MCToffoli/10/post.lsta
diff --git a/benchmarks/LSTA/MCToffoli/10/post0.spec → benchmarks/LSTA/MCToffoli/10/post0.lsta b/benchmarks/LSTA/MCToffoli/10/post0.spec → benchmarks/LSTA/MCToffoli/10/post0.lsta
diff --git a/benchmarks/LSTA/MCToffoli/10/post1.spec → benchmarks/LSTA/MCToffoli/10/post1.lsta b/benchmarks/LSTA/MCToffoli/10/post1.spec → benchmarks/LSTA/MCToffoli/10/post1.lsta
diff --git a/benchmarks/LSTA/MCToffoli/10/pre.spec → benchmarks/LSTA/MCToffoli/10/pre.lsta b/benchmarks/LSTA/MCToffoli/10/pre.spec → benchmarks/LSTA/MCToffoli/10/pre.lsta
diff --git a/benchmarks/LSTA/MCToffoli/10/pre0.spec → benchmarks/LSTA/MCToffoli/10/pre0.lsta b/benchmarks/LSTA/MCToffoli/10/pre0.spec → benchmarks/LSTA/MCToffoli/10/pre0.lsta
diff --git a/benchmarks/LSTA/MCToffoli/10/pre1.spec → benchmarks/LSTA/MCToffoli/10/pre1.lsta b/benchmarks/LSTA/MCToffoli/10/pre1.spec → benchmarks/LSTA/MCToffoli/10/pre1.lsta
diff --git a/benchmarks/LSTA/MCToffoli/12/post.spec → benchmarks/LSTA/MCToffoli/12/post.lsta b/benchmarks/LSTA/MCToffoli/12/post.spec → benchmarks/LSTA/MCToffoli/12/post.lsta
diff --git a/benchmarks/LSTA/MCToffoli/12/post0.spec → benchmarks/LSTA/MCToffoli/12/post0.lsta b/benchmarks/LSTA/MCToffoli/12/post0.spec → benchmarks/LSTA/MCToffoli/12/post0.lsta
diff --git a/benchmarks/LSTA/MCToffoli/12/post1.spec → benchmarks/LSTA/MCToffoli/12/post1.lsta b/benchmarks/LSTA/MCToffoli/12/post1.spec → benchmarks/LSTA/MCToffoli/12/post1.lsta
diff --git a/benchmarks/LSTA/MCToffoli/12/pre.spec → benchmarks/LSTA/MCToffoli/12/pre.lsta b/benchmarks/LSTA/MCToffoli/12/pre.spec → benchmarks/LSTA/MCToffoli/12/pre.lsta
diff --git a/benchmarks/LSTA/MCToffoli/12/pre0.spec → benchmarks/LSTA/MCToffoli/12/pre0.lsta b/benchmarks/LSTA/MCToffoli/12/pre0.spec → benchmarks/LSTA/MCToffoli/12/pre0.lsta
diff --git a/benchmarks/LSTA/MCToffoli/12/pre1.spec → benchmarks/LSTA/MCToffoli/12/pre1.lsta b/benchmarks/LSTA/MCToffoli/12/pre1.spec → benchmarks/LSTA/MCToffoli/12/pre1.lsta
diff --git a/benchmarks/LSTA/MCToffoli/14/post.spec → benchmarks/LSTA/MCToffoli/14/post.lsta b/benchmarks/LSTA/MCToffoli/14/post.spec → benchmarks/LSTA/MCToffoli/14/post.lsta
diff --git a/benchmarks/LSTA/MCToffoli/14/post0.spec → benchmarks/LSTA/MCToffoli/14/post0.lsta b/benchmarks/LSTA/MCToffoli/14/post0.spec → benchmarks/LSTA/MCToffoli/14/post0.lsta
diff --git a/benchmarks/LSTA/MCToffoli/14/post1.spec → benchmarks/LSTA/MCToffoli/14/post1.lsta b/benchmarks/LSTA/MCToffoli/14/post1.spec → benchmarks/LSTA/MCToffoli/14/post1.lsta
diff --git a/benchmarks/LSTA/MCToffoli/14/pre.spec → benchmarks/LSTA/MCToffoli/14/pre.lsta b/benchmarks/LSTA/MCToffoli/14/pre.spec → benchmarks/LSTA/MCToffoli/14/pre.lsta
diff --git a/benchmarks/LSTA/MCToffoli/14/pre0.spec → benchmarks/LSTA/MCToffoli/14/pre0.lsta b/benchmarks/LSTA/MCToffoli/14/pre0.spec → benchmarks/LSTA/MCToffoli/14/pre0.lsta
diff --git a/benchmarks/LSTA/MCToffoli/14/pre1.spec → benchmarks/LSTA/MCToffoli/14/pre1.lsta b/benchmarks/LSTA/MCToffoli/14/pre1.spec → benchmarks/LSTA/MCToffoli/14/pre1.lsta
diff --git a/benchmarks/LSTA/MCToffoli/16/post.spec → benchmarks/LSTA/MCToffoli/16/post.lsta b/benchmarks/LSTA/MCToffoli/16/post.spec → benchmarks/LSTA/MCToffoli/16/post.lsta
diff --git a/benchmarks/LSTA/MCToffoli/16/post0.spec → benchmarks/LSTA/MCToffoli/16/post0.lsta b/benchmarks/LSTA/MCToffoli/16/post0.spec → benchmarks/LSTA/MCToffoli/16/post0.lsta
diff --git a/benchmarks/LSTA/MCToffoli/16/post1.spec → benchmarks/LSTA/MCToffoli/16/post1.lsta b/benchmarks/LSTA/MCToffoli/16/post1.spec → benchmarks/LSTA/MCToffoli/16/post1.lsta
diff --git a/benchmarks/LSTA/MCToffoli/16/pre.spec → benchmarks/LSTA/MCToffoli/16/pre.lsta b/benchmarks/LSTA/MCToffoli/16/pre.spec → benchmarks/LSTA/MCToffoli/16/pre.lsta
diff --git a/benchmarks/LSTA/MCToffoli/16/pre0.spec → benchmarks/LSTA/MCToffoli/16/pre0.lsta b/benchmarks/LSTA/MCToffoli/16/pre0.spec → benchmarks/LSTA/MCToffoli/16/pre0.lsta
diff --git a/benchmarks/LSTA/MCToffoli/16/pre1.spec → benchmarks/LSTA/MCToffoli/16/pre1.lsta b/benchmarks/LSTA/MCToffoli/16/pre1.spec → benchmarks/LSTA/MCToffoli/16/pre1.lsta
diff --git a/benchmarks/LSTA/MOBV_reorder/09/post.spec → benchmarks/LSTA/MOBV_reorder/09/post.lsta b/benchmarks/LSTA/MOBV_reorder/09/post.spec → benchmarks/LSTA/MOBV_reorder/09/post.lsta
diff --git a/benchmarks/LSTA/MOBV_reorder/09/pre.spec → benchmarks/LSTA/MOBV_reorder/09/pre.lsta b/benchmarks/LSTA/MOBV_reorder/09/pre.spec → benchmarks/LSTA/MOBV_reorder/09/pre.lsta
diff --git a/benchmarks/LSTA/MOBV_reorder/10/post.spec → benchmarks/LSTA/MOBV_reorder/10/post.lsta b/benchmarks/LSTA/MOBV_reorder/10/post.spec → benchmarks/LSTA/MOBV_reorder/10/post.lsta
diff --git a/benchmarks/LSTA/MOBV_reorder/10/pre.spec → benchmarks/LSTA/MOBV_reorder/10/pre.lsta b/benchmarks/LSTA/MOBV_reorder/10/pre.spec → benchmarks/LSTA/MOBV_reorder/10/pre.lsta
diff --git a/benchmarks/LSTA/MOBV_reorder/11/post.spec → benchmarks/LSTA/MOBV_reorder/11/post.lsta b/benchmarks/LSTA/MOBV_reorder/11/post.spec → benchmarks/LSTA/MOBV_reorder/11/post.lsta
diff --git a/benchmarks/LSTA/MOBV_reorder/11/pre.spec → benchmarks/LSTA/MOBV_reorder/11/pre.lsta b/benchmarks/LSTA/MOBV_reorder/11/pre.spec → benchmarks/LSTA/MOBV_reorder/11/pre.lsta
diff --git a/benchmarks/LSTA/MOBV_reorder/12/post.spec → benchmarks/LSTA/MOBV_reorder/12/post.lsta b/benchmarks/LSTA/MOBV_reorder/12/post.spec → benchmarks/LSTA/MOBV_reorder/12/post.lsta
diff --git a/benchmarks/LSTA/MOBV_reorder/12/pre.spec → benchmarks/LSTA/MOBV_reorder/12/pre.lsta b/benchmarks/LSTA/MOBV_reorder/12/pre.spec → benchmarks/LSTA/MOBV_reorder/12/pre.lsta
diff --git a/benchmarks/LSTA/MOBV_reorder/13/post.spec → benchmarks/LSTA/MOBV_reorder/13/post.lsta b/benchmarks/LSTA/MOBV_reorder/13/post.spec → benchmarks/LSTA/MOBV_reorder/13/post.lsta
diff --git a/benchmarks/LSTA/MOBV_reorder/13/pre.spec → benchmarks/LSTA/MOBV_reorder/13/pre.lsta b/benchmarks/LSTA/MOBV_reorder/13/pre.spec → benchmarks/LSTA/MOBV_reorder/13/pre.lsta
diff --git a/benchmarks/LSTA/MOGrover/06/post.spec → benchmarks/LSTA/MOGrover/06/post.lsta b/benchmarks/LSTA/MOGrover/06/post.spec → benchmarks/LSTA/MOGrover/06/post.lsta
diff --git a/benchmarks/LSTA/MOGrover/06/pre.spec → benchmarks/LSTA/MOGrover/06/pre.lsta b/benchmarks/LSTA/MOGrover/06/pre.spec → benchmarks/LSTA/MOGrover/06/pre.lsta
diff --git a/benchmarks/LSTA/MOGrover/07/post.spec → benchmarks/LSTA/MOGrover/07/post.lsta b/benchmarks/LSTA/MOGrover/07/post.spec → benchmarks/LSTA/MOGrover/07/post.lsta
diff --git a/benchmarks/LSTA/MOGrover/07/pre.spec → benchmarks/LSTA/MOGrover/07/pre.lsta b/benchmarks/LSTA/MOGrover/07/pre.spec → benchmarks/LSTA/MOGrover/07/pre.lsta
diff --git a/benchmarks/LSTA/MOGrover/08/post.spec → benchmarks/LSTA/MOGrover/08/post.lsta b/benchmarks/LSTA/MOGrover/08/post.spec → benchmarks/LSTA/MOGrover/08/post.lsta
diff --git a/benchmarks/LSTA/MOGrover/08/pre.spec → benchmarks/LSTA/MOGrover/08/pre.lsta b/benchmarks/LSTA/MOGrover/08/pre.spec → benchmarks/LSTA/MOGrover/08/pre.lsta
diff --git a/benchmarks/LSTA/MOGrover/09/post.spec → benchmarks/LSTA/MOGrover/09/post.lsta b/benchmarks/LSTA/MOGrover/09/post.spec → benchmarks/LSTA/MOGrover/09/post.lsta
diff --git a/benchmarks/LSTA/MOGrover/09/pre.spec → benchmarks/LSTA/MOGrover/09/pre.lsta b/benchmarks/LSTA/MOGrover/09/pre.spec → benchmarks/LSTA/MOGrover/09/pre.lsta
diff --git a/benchmarks/LSTA/MOGrover/10/post.spec → benchmarks/LSTA/MOGrover/10/post.lsta b/benchmarks/LSTA/MOGrover/10/post.spec → benchmarks/LSTA/MOGrover/10/post.lsta
diff --git a/benchmarks/LSTA/MOGrover/10/pre.spec → benchmarks/LSTA/MOGrover/10/pre.lsta b/benchmarks/LSTA/MOGrover/10/pre.spec → benchmarks/LSTA/MOGrover/10/pre.lsta
diff --git a/benchmarks/LSTA/OEGrover/02/post.spec → benchmarks/LSTA/OEGrover/02/post.lsta b/benchmarks/LSTA/OEGrover/02/post.spec → benchmarks/LSTA/OEGrover/02/post.lsta
diff --git a/benchmarks/LSTA/OEGrover/02/pre.spec → benchmarks/LSTA/OEGrover/02/pre.lsta b/benchmarks/LSTA/OEGrover/02/pre.spec → benchmarks/LSTA/OEGrover/02/pre.lsta
diff --git a/benchmarks/LSTA/OEGrover/100/post.spec → benchmarks/LSTA/OEGrover/100/post.lsta b/benchmarks/LSTA/OEGrover/100/post.spec → benchmarks/LSTA/OEGrover/100/post.lsta
diff --git a/benchmarks/LSTA/OEGrover/100/pre.spec → benchmarks/LSTA/OEGrover/100/pre.lsta b/benchmarks/LSTA/OEGrover/100/pre.spec → benchmarks/LSTA/OEGrover/100/pre.lsta
diff --git a/benchmarks/LSTA/OEGrover/18/post.spec → benchmarks/LSTA/OEGrover/18/post.lsta b/benchmarks/LSTA/OEGrover/18/post.spec → benchmarks/LSTA/OEGrover/18/post.lsta
diff --git a/benchmarks/LSTA/OEGrover/18/pre.spec → benchmarks/LSTA/OEGrover/18/pre.lsta b/benchmarks/LSTA/OEGrover/18/pre.spec → benchmarks/LSTA/OEGrover/18/pre.lsta
diff --git a/benchmarks/LSTA/OEGrover/50/post.spec → benchmarks/LSTA/OEGrover/50/post.lsta b/benchmarks/LSTA/OEGrover/50/post.spec → benchmarks/LSTA/OEGrover/50/post.lsta
diff --git a/benchmarks/LSTA/OEGrover/50/pre.spec → benchmarks/LSTA/OEGrover/50/pre.lsta b/benchmarks/LSTA/OEGrover/50/pre.spec → benchmarks/LSTA/OEGrover/50/pre.lsta
diff --git a/benchmarks/LSTA/OEGrover/75/post.spec → benchmarks/LSTA/OEGrover/75/post.lsta b/benchmarks/LSTA/OEGrover/75/post.spec → benchmarks/LSTA/OEGrover/75/post.lsta
diff --git a/benchmarks/LSTA/OEGrover/75/pre.spec → benchmarks/LSTA/OEGrover/75/pre.lsta b/benchmarks/LSTA/OEGrover/75/pre.spec → benchmarks/LSTA/OEGrover/75/pre.lsta
diff --git a/benchmarks/PLDI23/BV/95/post.spec → benchmarks/PLDI23/BV/95/post.lsta b/benchmarks/PLDI23/BV/95/post.spec → benchmarks/PLDI23/BV/95/post.lsta
diff --git a/benchmarks/PLDI23/BV/95/pre.spec → benchmarks/PLDI23/BV/95/pre.lsta b/benchmarks/PLDI23/BV/95/pre.spec → benchmarks/PLDI23/BV/95/pre.lsta
diff --git a/benchmarks/PLDI23/BV/96/post.spec → benchmarks/PLDI23/BV/96/post.lsta b/benchmarks/PLDI23/BV/96/post.spec → benchmarks/PLDI23/BV/96/post.lsta
diff --git a/benchmarks/PLDI23/BV/96/pre.spec → benchmarks/PLDI23/BV/96/pre.lsta b/benchmarks/PLDI23/BV/96/pre.spec → benchmarks/PLDI23/BV/96/pre.lsta
diff --git a/benchmarks/PLDI23/BV/97/post.spec → benchmarks/PLDI23/BV/97/post.lsta b/benchmarks/PLDI23/BV/97/post.spec → benchmarks/PLDI23/BV/97/post.lsta
diff --git a/benchmarks/PLDI23/BV/97/pre.spec → benchmarks/PLDI23/BV/97/pre.lsta b/benchmarks/PLDI23/BV/97/pre.spec → benchmarks/PLDI23/BV/97/pre.lsta
diff --git a/benchmarks/PLDI23/BV/98/post.spec → benchmarks/PLDI23/BV/98/post.lsta b/benchmarks/PLDI23/BV/98/post.spec → benchmarks/PLDI23/BV/98/post.lsta
diff --git a/benchmarks/PLDI23/BV/98/pre.spec → benchmarks/PLDI23/BV/98/pre.lsta b/benchmarks/PLDI23/BV/98/pre.spec → benchmarks/PLDI23/BV/98/pre.lsta
diff --git a/benchmarks/PLDI23/BV/99/post.spec → benchmarks/PLDI23/BV/99/post.lsta b/benchmarks/PLDI23/BV/99/post.spec → benchmarks/PLDI23/BV/99/post.lsta
diff --git a/benchmarks/PLDI23/BV/99/pre.spec → benchmarks/PLDI23/BV/99/pre.lsta b/benchmarks/PLDI23/BV/99/pre.spec → benchmarks/PLDI23/BV/99/pre.lsta
diff --git a/benchmarks/PLDI23/Grover/12/post.spec → benchmarks/PLDI23/Grover/12/post.lsta b/benchmarks/PLDI23/Grover/12/post.spec → benchmarks/PLDI23/Grover/12/post.lsta
diff --git a/benchmarks/PLDI23/Grover/12/pre.spec → benchmarks/PLDI23/Grover/12/pre.lsta b/benchmarks/PLDI23/Grover/12/pre.spec → benchmarks/PLDI23/Grover/12/pre.lsta
diff --git a/benchmarks/PLDI23/Grover/14/post.spec → benchmarks/PLDI23/Grover/14/post.lsta b/benchmarks/PLDI23/Grover/14/post.spec → benchmarks/PLDI23/Grover/14/post.lsta
diff --git a/benchmarks/PLDI23/Grover/14/pre.spec → benchmarks/PLDI23/Grover/14/pre.lsta b/benchmarks/PLDI23/Grover/14/pre.spec → benchmarks/PLDI23/Grover/14/pre.lsta
diff --git a/benchmarks/PLDI23/Grover/16/post.spec → benchmarks/PLDI23/Grover/16/post.lsta b/benchmarks/PLDI23/Grover/16/post.spec → benchmarks/PLDI23/Grover/16/post.lsta
diff --git a/benchmarks/PLDI23/Grover/16/pre.spec → benchmarks/PLDI23/Grover/16/pre.lsta b/benchmarks/PLDI23/Grover/16/pre.spec → benchmarks/PLDI23/Grover/16/pre.lsta
diff --git a/benchmarks/PLDI23/Grover/18/post.spec → benchmarks/PLDI23/Grover/18/post.lsta b/benchmarks/PLDI23/Grover/18/post.spec → benchmarks/PLDI23/Grover/18/post.lsta
diff --git a/benchmarks/PLDI23/Grover/18/pre.spec → benchmarks/PLDI23/Grover/18/pre.lsta b/benchmarks/PLDI23/Grover/18/pre.spec → benchmarks/PLDI23/Grover/18/pre.lsta
diff --git a/benchmarks/PLDI23/Grover/20/post.spec → benchmarks/PLDI23/Grover/20/post.lsta b/benchmarks/PLDI23/Grover/20/post.spec → benchmarks/PLDI23/Grover/20/post.lsta
diff --git a/benchmarks/PLDI23/Grover/20/pre.spec → benchmarks/PLDI23/Grover/20/pre.lsta b/benchmarks/PLDI23/Grover/20/pre.spec → benchmarks/PLDI23/Grover/20/pre.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/08/post.spec → benchmarks/PLDI23/MCToffoli/08/post.lsta b/benchmarks/PLDI23/MCToffoli/08/post.spec → benchmarks/PLDI23/MCToffoli/08/post.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/08/post0.spec → benchmarks/PLDI23/MCToffoli/08/post0.lsta b/benchmarks/PLDI23/MCToffoli/08/post0.spec → benchmarks/PLDI23/MCToffoli/08/post0.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/08/post1.spec → benchmarks/PLDI23/MCToffoli/08/post1.lsta b/benchmarks/PLDI23/MCToffoli/08/post1.spec → benchmarks/PLDI23/MCToffoli/08/post1.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/08/pre.spec → benchmarks/PLDI23/MCToffoli/08/pre.lsta b/benchmarks/PLDI23/MCToffoli/08/pre.spec → benchmarks/PLDI23/MCToffoli/08/pre.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/08/pre0.spec → benchmarks/PLDI23/MCToffoli/08/pre0.lsta b/benchmarks/PLDI23/MCToffoli/08/pre0.spec → benchmarks/PLDI23/MCToffoli/08/pre0.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/08/pre1.spec → benchmarks/PLDI23/MCToffoli/08/pre1.lsta b/benchmarks/PLDI23/MCToffoli/08/pre1.spec → benchmarks/PLDI23/MCToffoli/08/pre1.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/10/post.spec → benchmarks/PLDI23/MCToffoli/10/post.lsta b/benchmarks/PLDI23/MCToffoli/10/post.spec → benchmarks/PLDI23/MCToffoli/10/post.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/10/post0.spec → benchmarks/PLDI23/MCToffoli/10/post0.lsta b/benchmarks/PLDI23/MCToffoli/10/post0.spec → benchmarks/PLDI23/MCToffoli/10/post0.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/10/post1.spec → benchmarks/PLDI23/MCToffoli/10/post1.lsta b/benchmarks/PLDI23/MCToffoli/10/post1.spec → benchmarks/PLDI23/MCToffoli/10/post1.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/10/pre.spec → benchmarks/PLDI23/MCToffoli/10/pre.lsta b/benchmarks/PLDI23/MCToffoli/10/pre.spec → benchmarks/PLDI23/MCToffoli/10/pre.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/10/pre0.spec → benchmarks/PLDI23/MCToffoli/10/pre0.lsta b/benchmarks/PLDI23/MCToffoli/10/pre0.spec → benchmarks/PLDI23/MCToffoli/10/pre0.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/10/pre1.spec → benchmarks/PLDI23/MCToffoli/10/pre1.lsta b/benchmarks/PLDI23/MCToffoli/10/pre1.spec → benchmarks/PLDI23/MCToffoli/10/pre1.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/12/post.spec → benchmarks/PLDI23/MCToffoli/12/post.lsta b/benchmarks/PLDI23/MCToffoli/12/post.spec → benchmarks/PLDI23/MCToffoli/12/post.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/12/post0.spec → benchmarks/PLDI23/MCToffoli/12/post0.lsta b/benchmarks/PLDI23/MCToffoli/12/post0.spec → benchmarks/PLDI23/MCToffoli/12/post0.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/12/post1.spec → benchmarks/PLDI23/MCToffoli/12/post1.lsta b/benchmarks/PLDI23/MCToffoli/12/post1.spec → benchmarks/PLDI23/MCToffoli/12/post1.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/12/pre.spec → benchmarks/PLDI23/MCToffoli/12/pre.lsta b/benchmarks/PLDI23/MCToffoli/12/pre.spec → benchmarks/PLDI23/MCToffoli/12/pre.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/12/pre0.spec → benchmarks/PLDI23/MCToffoli/12/pre0.lsta b/benchmarks/PLDI23/MCToffoli/12/pre0.spec → benchmarks/PLDI23/MCToffoli/12/pre0.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/12/pre1.spec → benchmarks/PLDI23/MCToffoli/12/pre1.lsta b/benchmarks/PLDI23/MCToffoli/12/pre1.spec → benchmarks/PLDI23/MCToffoli/12/pre1.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/14/post.spec → benchmarks/PLDI23/MCToffoli/14/post.lsta b/benchmarks/PLDI23/MCToffoli/14/post.spec → benchmarks/PLDI23/MCToffoli/14/post.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/14/post0.spec → benchmarks/PLDI23/MCToffoli/14/post0.lsta b/benchmarks/PLDI23/MCToffoli/14/post0.spec → benchmarks/PLDI23/MCToffoli/14/post0.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/14/post1.spec → benchmarks/PLDI23/MCToffoli/14/post1.lsta b/benchmarks/PLDI23/MCToffoli/14/post1.spec → benchmarks/PLDI23/MCToffoli/14/post1.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/14/pre.spec → benchmarks/PLDI23/MCToffoli/14/pre.lsta b/benchmarks/PLDI23/MCToffoli/14/pre.spec → benchmarks/PLDI23/MCToffoli/14/pre.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/14/pre0.spec → benchmarks/PLDI23/MCToffoli/14/pre0.lsta b/benchmarks/PLDI23/MCToffoli/14/pre0.spec → benchmarks/PLDI23/MCToffoli/14/pre0.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/14/pre1.spec → benchmarks/PLDI23/MCToffoli/14/pre1.lsta b/benchmarks/PLDI23/MCToffoli/14/pre1.spec → benchmarks/PLDI23/MCToffoli/14/pre1.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/16/post.spec → benchmarks/PLDI23/MCToffoli/16/post.lsta b/benchmarks/PLDI23/MCToffoli/16/post.spec → benchmarks/PLDI23/MCToffoli/16/post.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/16/post0.spec → benchmarks/PLDI23/MCToffoli/16/post0.lsta b/benchmarks/PLDI23/MCToffoli/16/post0.spec → benchmarks/PLDI23/MCToffoli/16/post0.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/16/post1.spec → benchmarks/PLDI23/MCToffoli/16/post1.lsta b/benchmarks/PLDI23/MCToffoli/16/post1.spec → benchmarks/PLDI23/MCToffoli/16/post1.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/16/pre.spec → benchmarks/PLDI23/MCToffoli/16/pre.lsta b/benchmarks/PLDI23/MCToffoli/16/pre.spec → benchmarks/PLDI23/MCToffoli/16/pre.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/16/pre0.spec → benchmarks/PLDI23/MCToffoli/16/pre0.lsta b/benchmarks/PLDI23/MCToffoli/16/pre0.spec → benchmarks/PLDI23/MCToffoli/16/pre0.lsta
diff --git a/benchmarks/PLDI23/MCToffoli/16/pre1.spec → benchmarks/PLDI23/MCToffoli/16/pre1.lsta b/benchmarks/PLDI23/MCToffoli/16/pre1.spec → benchmarks/PLDI23/MCToffoli/16/pre1.lsta
diff --git a/benchmarks/PLDI23/MOGrover/06/post.spec → benchmarks/PLDI23/MOGrover/06/post.lsta b/benchmarks/PLDI23/MOGrover/06/post.spec → benchmarks/PLDI23/MOGrover/06/post.lsta
diff --git a/benchmarks/PLDI23/MOGrover/06/pre.spec → benchmarks/PLDI23/MOGrover/06/pre.lsta b/benchmarks/PLDI23/MOGrover/06/pre.spec → benchmarks/PLDI23/MOGrover/06/pre.lsta
diff --git a/benchmarks/PLDI23/MOGrover/07/post.spec → benchmarks/PLDI23/MOGrover/07/post.lsta b/benchmarks/PLDI23/MOGrover/07/post.spec → benchmarks/PLDI23/MOGrover/07/post.lsta
diff --git a/benchmarks/PLDI23/MOGrover/07/pre.spec → benchmarks/PLDI23/MOGrover/07/pre.lsta b/benchmarks/PLDI23/MOGrover/07/pre.spec → benchmarks/PLDI23/MOGrover/07/pre.lsta
diff --git a/benchmarks/PLDI23/MOGrover/08/post.spec → benchmarks/PLDI23/MOGrover/08/post.lsta b/benchmarks/PLDI23/MOGrover/08/post.spec → benchmarks/PLDI23/MOGrover/08/post.lsta
diff --git a/benchmarks/PLDI23/MOGrover/08/pre.spec → benchmarks/PLDI23/MOGrover/08/pre.lsta b/benchmarks/PLDI23/MOGrover/08/pre.spec → benchmarks/PLDI23/MOGrover/08/pre.lsta
diff --git a/benchmarks/PLDI23/MOGrover/09/post.spec → benchmarks/PLDI23/MOGrover/09/post.lsta b/benchmarks/PLDI23/MOGrover/09/post.spec → benchmarks/PLDI23/MOGrover/09/post.lsta
diff --git a/benchmarks/PLDI23/MOGrover/09/pre.spec → benchmarks/PLDI23/MOGrover/09/pre.lsta b/benchmarks/PLDI23/MOGrover/09/pre.spec → benchmarks/PLDI23/MOGrover/09/pre.lsta
diff --git a/benchmarks/PLDI23/MOGrover/10/post.spec → benchmarks/PLDI23/MOGrover/10/post.lsta b/benchmarks/PLDI23/MOGrover/10/post.spec → benchmarks/PLDI23/MOGrover/10/post.lsta
diff --git a/benchmarks/PLDI23/MOGrover/10/pre.spec → benchmarks/PLDI23/MOGrover/10/pre.lsta b/benchmarks/PLDI23/MOGrover/10/pre.spec → benchmarks/PLDI23/MOGrover/10/pre.lsta
diff --git a/benchmarks/all/BV/01/post.spec → benchmarks/all/BV/01/post.lsta b/benchmarks/all/BV/01/post.spec → benchmarks/all/BV/01/post.lsta
diff --git a/benchmarks/all/BV/01/pre.spec → benchmarks/all/BV/01/pre.lsta b/benchmarks/all/BV/01/pre.spec → benchmarks/all/BV/01/pre.lsta
diff --git a/benchmarks/all/BV/02/post.spec → benchmarks/all/BV/02/post.lsta b/benchmarks/all/BV/02/post.spec → benchmarks/all/BV/02/post.lsta
diff --git a/benchmarks/all/BV/02/pre.spec → benchmarks/all/BV/02/pre.lsta b/benchmarks/all/BV/02/pre.spec → benchmarks/all/BV/02/pre.lsta
diff --git a/benchmarks/all/BV/03/post.spec → benchmarks/all/BV/03/post.lsta b/benchmarks/all/BV/03/post.spec → benchmarks/all/BV/03/post.lsta
diff --git a/benchmarks/all/BV/03/pre.spec → benchmarks/all/BV/03/pre.lsta b/benchmarks/all/BV/03/pre.spec → benchmarks/all/BV/03/pre.lsta
diff --git a/benchmarks/all/BV/04/post.spec → benchmarks/all/BV/04/post.lsta b/benchmarks/all/BV/04/post.spec → benchmarks/all/BV/04/post.lsta
diff --git a/benchmarks/all/BV/04/pre.spec → benchmarks/all/BV/04/pre.lsta b/benchmarks/all/BV/04/pre.spec → benchmarks/all/BV/04/pre.lsta
diff --git a/benchmarks/all/BV/05/post.spec → benchmarks/all/BV/05/post.lsta b/benchmarks/all/BV/05/post.spec → benchmarks/all/BV/05/post.lsta
diff --git a/benchmarks/all/BV/05/pre.spec → benchmarks/all/BV/05/pre.lsta b/benchmarks/all/BV/05/pre.spec → benchmarks/all/BV/05/pre.lsta
diff --git a/benchmarks/all/BV/06/post.spec → benchmarks/all/BV/06/post.lsta b/benchmarks/all/BV/06/post.spec → benchmarks/all/BV/06/post.lsta
diff --git a/benchmarks/all/BV/06/pre.spec → benchmarks/all/BV/06/pre.lsta b/benchmarks/all/BV/06/pre.spec → benchmarks/all/BV/06/pre.lsta
diff --git a/benchmarks/all/BV/07/post.spec → benchmarks/all/BV/07/post.lsta b/benchmarks/all/BV/07/post.spec → benchmarks/all/BV/07/post.lsta
diff --git a/benchmarks/all/BV/07/pre.spec → benchmarks/all/BV/07/pre.lsta b/benchmarks/all/BV/07/pre.spec → benchmarks/all/BV/07/pre.lsta
diff --git a/benchmarks/all/BV/08/post.spec → benchmarks/all/BV/08/post.lsta b/benchmarks/all/BV/08/post.spec → benchmarks/all/BV/08/post.lsta
diff --git a/benchmarks/all/BV/08/pre.spec → benchmarks/all/BV/08/pre.lsta b/benchmarks/all/BV/08/pre.spec → benchmarks/all/BV/08/pre.lsta
diff --git a/benchmarks/all/BV/09/post.spec → benchmarks/all/BV/09/post.lsta b/benchmarks/all/BV/09/post.spec → benchmarks/all/BV/09/post.lsta
diff --git a/benchmarks/all/BV/09/pre.spec → benchmarks/all/BV/09/pre.lsta b/benchmarks/all/BV/09/pre.spec → benchmarks/all/BV/09/pre.lsta
diff --git a/benchmarks/all/BV/10/post.spec → benchmarks/all/BV/10/post.lsta b/benchmarks/all/BV/10/post.spec → benchmarks/all/BV/10/post.lsta
diff --git a/benchmarks/all/BV/10/pre.spec → benchmarks/all/BV/10/pre.lsta b/benchmarks/all/BV/10/pre.spec → benchmarks/all/BV/10/pre.lsta
diff --git a/benchmarks/all/BV/100/post.spec → benchmarks/all/BV/100/post.lsta b/benchmarks/all/BV/100/post.spec → benchmarks/all/BV/100/post.lsta
diff --git a/benchmarks/all/BV/100/pre.spec → benchmarks/all/BV/100/pre.lsta b/benchmarks/all/BV/100/pre.spec → benchmarks/all/BV/100/pre.lsta
diff --git a/benchmarks/all/BV/1000/post.spec → benchmarks/all/BV/1000/post.lsta b/benchmarks/all/BV/1000/post.spec → benchmarks/all/BV/1000/post.lsta
diff --git a/benchmarks/all/BV/1000/pre.spec → benchmarks/all/BV/1000/pre.lsta b/benchmarks/all/BV/1000/pre.spec → benchmarks/all/BV/1000/pre.lsta
diff --git a/benchmarks/all/BV/101/post.spec → benchmarks/all/BV/101/post.lsta b/benchmarks/all/BV/101/post.spec → benchmarks/all/BV/101/post.lsta
diff --git a/benchmarks/all/BV/101/pre.spec → benchmarks/all/BV/101/pre.lsta b/benchmarks/all/BV/101/pre.spec → benchmarks/all/BV/101/pre.lsta
diff --git a/benchmarks/all/BV/102/post.spec → benchmarks/all/BV/102/post.lsta b/benchmarks/all/BV/102/post.spec → benchmarks/all/BV/102/post.lsta
diff --git a/benchmarks/all/BV/102/pre.spec → benchmarks/all/BV/102/pre.lsta b/benchmarks/all/BV/102/pre.spec → benchmarks/all/BV/102/pre.lsta
diff --git a/benchmarks/all/BV/103/post.spec → benchmarks/all/BV/103/post.lsta b/benchmarks/all/BV/103/post.spec → benchmarks/all/BV/103/post.lsta
diff --git a/benchmarks/all/BV/103/pre.spec → benchmarks/all/BV/103/pre.lsta b/benchmarks/all/BV/103/pre.spec → benchmarks/all/BV/103/pre.lsta
diff --git a/benchmarks/all/BV/104/post.spec → benchmarks/all/BV/104/post.lsta b/benchmarks/all/BV/104/post.spec → benchmarks/all/BV/104/post.lsta
diff --git a/benchmarks/all/BV/104/pre.spec → benchmarks/all/BV/104/pre.lsta b/benchmarks/all/BV/104/pre.spec → benchmarks/all/BV/104/pre.lsta
diff --git a/benchmarks/all/BV/105/post.spec → benchmarks/all/BV/105/post.lsta b/benchmarks/all/BV/105/post.spec → benchmarks/all/BV/105/post.lsta
diff --git a/benchmarks/all/BV/105/pre.spec → benchmarks/all/BV/105/pre.lsta b/benchmarks/all/BV/105/pre.spec → benchmarks/all/BV/105/pre.lsta
diff --git a/benchmarks/all/BV/106/post.spec → benchmarks/all/BV/106/post.lsta b/benchmarks/all/BV/106/post.spec → benchmarks/all/BV/106/post.lsta
diff --git a/benchmarks/all/BV/106/pre.spec → benchmarks/all/BV/106/pre.lsta b/benchmarks/all/BV/106/pre.spec → benchmarks/all/BV/106/pre.lsta
diff --git a/benchmarks/all/BV/107/post.spec → benchmarks/all/BV/107/post.lsta b/benchmarks/all/BV/107/post.spec → benchmarks/all/BV/107/post.lsta
diff --git a/benchmarks/all/BV/107/pre.spec → benchmarks/all/BV/107/pre.lsta b/benchmarks/all/BV/107/pre.spec → benchmarks/all/BV/107/pre.lsta
diff --git a/benchmarks/all/BV/108/post.spec → benchmarks/all/BV/108/post.lsta b/benchmarks/all/BV/108/post.spec → benchmarks/all/BV/108/post.lsta
diff --git a/benchmarks/all/BV/108/pre.spec → benchmarks/all/BV/108/pre.lsta b/benchmarks/all/BV/108/pre.spec → benchmarks/all/BV/108/pre.lsta
diff --git a/benchmarks/all/BV/109/post.spec → benchmarks/all/BV/109/post.lsta b/benchmarks/all/BV/109/post.spec → benchmarks/all/BV/109/post.lsta
diff --git a/benchmarks/all/BV/109/pre.spec → benchmarks/all/BV/109/pre.lsta b/benchmarks/all/BV/109/pre.spec → benchmarks/all/BV/109/pre.lsta
diff --git a/benchmarks/all/BV/11/post.spec → benchmarks/all/BV/11/post.lsta b/benchmarks/all/BV/11/post.spec → benchmarks/all/BV/11/post.lsta
diff --git a/benchmarks/all/BV/11/pre.spec → benchmarks/all/BV/11/pre.lsta b/benchmarks/all/BV/11/pre.spec → benchmarks/all/BV/11/pre.lsta
diff --git a/benchmarks/all/BV/110/post.spec → benchmarks/all/BV/110/post.lsta b/benchmarks/all/BV/110/post.spec → benchmarks/all/BV/110/post.lsta
diff --git a/benchmarks/all/BV/110/pre.spec → benchmarks/all/BV/110/pre.lsta b/benchmarks/all/BV/110/pre.spec → benchmarks/all/BV/110/pre.lsta
diff --git a/benchmarks/all/BV/111/post.spec → benchmarks/all/BV/111/post.lsta b/benchmarks/all/BV/111/post.spec → benchmarks/all/BV/111/post.lsta
diff --git a/benchmarks/all/BV/111/pre.spec → benchmarks/all/BV/111/pre.lsta b/benchmarks/all/BV/111/pre.spec → benchmarks/all/BV/111/pre.lsta
diff --git a/benchmarks/all/BV/112/post.spec → benchmarks/all/BV/112/post.lsta b/benchmarks/all/BV/112/post.spec → benchmarks/all/BV/112/post.lsta
diff --git a/benchmarks/all/BV/112/pre.spec → benchmarks/all/BV/112/pre.lsta b/benchmarks/all/BV/112/pre.spec → benchmarks/all/BV/112/pre.lsta
diff --git a/benchmarks/all/BV/113/post.spec → benchmarks/all/BV/113/post.lsta b/benchmarks/all/BV/113/post.spec → benchmarks/all/BV/113/post.lsta
diff --git a/benchmarks/all/BV/113/pre.spec → benchmarks/all/BV/113/pre.lsta b/benchmarks/all/BV/113/pre.spec → benchmarks/all/BV/113/pre.lsta
diff --git a/benchmarks/all/BV/114/post.spec → benchmarks/all/BV/114/post.lsta b/benchmarks/all/BV/114/post.spec → benchmarks/all/BV/114/post.lsta
diff --git a/benchmarks/all/BV/114/pre.spec → benchmarks/all/BV/114/pre.lsta b/benchmarks/all/BV/114/pre.spec → benchmarks/all/BV/114/pre.lsta
diff --git a/benchmarks/all/BV/115/post.spec → benchmarks/all/BV/115/post.lsta b/benchmarks/all/BV/115/post.spec → benchmarks/all/BV/115/post.lsta
diff --git a/benchmarks/all/BV/115/pre.spec → benchmarks/all/BV/115/pre.lsta b/benchmarks/all/BV/115/pre.spec → benchmarks/all/BV/115/pre.lsta
diff --git a/benchmarks/all/BV/116/post.spec → benchmarks/all/BV/116/post.lsta b/benchmarks/all/BV/116/post.spec → benchmarks/all/BV/116/post.lsta
diff --git a/benchmarks/all/BV/116/pre.spec → benchmarks/all/BV/116/pre.lsta b/benchmarks/all/BV/116/pre.spec → benchmarks/all/BV/116/pre.lsta
diff --git a/benchmarks/all/BV/117/post.spec → benchmarks/all/BV/117/post.lsta b/benchmarks/all/BV/117/post.spec → benchmarks/all/BV/117/post.lsta
diff --git a/benchmarks/all/BV/117/pre.spec → benchmarks/all/BV/117/pre.lsta b/benchmarks/all/BV/117/pre.spec → benchmarks/all/BV/117/pre.lsta
diff --git a/benchmarks/all/BV/118/post.spec → benchmarks/all/BV/118/post.lsta b/benchmarks/all/BV/118/post.spec → benchmarks/all/BV/118/post.lsta
diff --git a/benchmarks/all/BV/118/pre.spec → benchmarks/all/BV/118/pre.lsta b/benchmarks/all/BV/118/pre.spec → benchmarks/all/BV/118/pre.lsta
diff --git a/benchmarks/all/BV/119/post.spec → benchmarks/all/BV/119/post.lsta b/benchmarks/all/BV/119/post.spec → benchmarks/all/BV/119/post.lsta
diff --git a/benchmarks/all/BV/119/pre.spec → benchmarks/all/BV/119/pre.lsta b/benchmarks/all/BV/119/pre.spec → benchmarks/all/BV/119/pre.lsta
diff --git a/benchmarks/all/BV/12/post.spec → benchmarks/all/BV/12/post.lsta b/benchmarks/all/BV/12/post.spec → benchmarks/all/BV/12/post.lsta
diff --git a/benchmarks/all/BV/12/pre.spec → benchmarks/all/BV/12/pre.lsta b/benchmarks/all/BV/12/pre.spec → benchmarks/all/BV/12/pre.lsta
diff --git a/benchmarks/all/BV/120/post.spec → benchmarks/all/BV/120/post.lsta b/benchmarks/all/BV/120/post.spec → benchmarks/all/BV/120/post.lsta
diff --git a/benchmarks/all/BV/120/pre.spec → benchmarks/all/BV/120/pre.lsta b/benchmarks/all/BV/120/pre.spec → benchmarks/all/BV/120/pre.lsta
diff --git a/benchmarks/all/BV/121/post.spec → benchmarks/all/BV/121/post.lsta b/benchmarks/all/BV/121/post.spec → benchmarks/all/BV/121/post.lsta
diff --git a/benchmarks/all/BV/121/pre.spec → benchmarks/all/BV/121/pre.lsta b/benchmarks/all/BV/121/pre.spec → benchmarks/all/BV/121/pre.lsta
diff --git a/benchmarks/all/BV/122/post.spec → benchmarks/all/BV/122/post.lsta b/benchmarks/all/BV/122/post.spec → benchmarks/all/BV/122/post.lsta
diff --git a/benchmarks/all/BV/122/pre.spec → benchmarks/all/BV/122/pre.lsta b/benchmarks/all/BV/122/pre.spec → benchmarks/all/BV/122/pre.lsta
diff --git a/benchmarks/all/BV/123/post.spec → benchmarks/all/BV/123/post.lsta b/benchmarks/all/BV/123/post.spec → benchmarks/all/BV/123/post.lsta
diff --git a/benchmarks/all/BV/123/pre.spec → benchmarks/all/BV/123/pre.lsta b/benchmarks/all/BV/123/pre.spec → benchmarks/all/BV/123/pre.lsta
diff --git a/benchmarks/all/BV/124/post.spec → benchmarks/all/BV/124/post.lsta b/benchmarks/all/BV/124/post.spec → benchmarks/all/BV/124/post.lsta
diff --git a/benchmarks/all/BV/124/pre.spec → benchmarks/all/BV/124/pre.lsta b/benchmarks/all/BV/124/pre.spec → benchmarks/all/BV/124/pre.lsta
diff --git a/benchmarks/all/BV/125/post.spec → benchmarks/all/BV/125/post.lsta b/benchmarks/all/BV/125/post.spec → benchmarks/all/BV/125/post.lsta
diff --git a/benchmarks/all/BV/125/pre.spec → benchmarks/all/BV/125/pre.lsta b/benchmarks/all/BV/125/pre.spec → benchmarks/all/BV/125/pre.lsta
diff --git a/benchmarks/all/BV/126/post.spec → benchmarks/all/BV/126/post.lsta b/benchmarks/all/BV/126/post.spec → benchmarks/all/BV/126/post.lsta
diff --git a/benchmarks/all/BV/126/pre.spec → benchmarks/all/BV/126/pre.lsta b/benchmarks/all/BV/126/pre.spec → benchmarks/all/BV/126/pre.lsta
diff --git a/benchmarks/all/BV/127/post.spec → benchmarks/all/BV/127/post.lsta b/benchmarks/all/BV/127/post.spec → benchmarks/all/BV/127/post.lsta
diff --git a/benchmarks/all/BV/127/pre.spec → benchmarks/all/BV/127/pre.lsta b/benchmarks/all/BV/127/pre.spec → benchmarks/all/BV/127/pre.lsta
diff --git a/benchmarks/all/BV/128/post.spec → benchmarks/all/BV/128/post.lsta b/benchmarks/all/BV/128/post.spec → benchmarks/all/BV/128/post.lsta