diff --git a/algorithms/dqi/dqi_max_xorsat.qmod b/algorithms/dqi/dqi_max_xorsat.qmod
index 1db6c3d9..45737661 100644
--- a/algorithms/dqi/dqi_max_xorsat.qmod
+++ b/algorithms/dqi/dqi_max_xorsat.qmod
@@ -21,22 +21,22 @@ qfunc binary_to_one_hot_expanded___0(input binary: qnum<2, False, 0>, output one
   inplace_binary_to_one_hot_expanded___0(one_hot);
 }
 
-qfunc iteration_lambda___0_0_expanded___0(qvar___3_captured__inplace_one_hot_to_unary__5: qbit, qvar___2_captured__inplace_one_hot_to_unary__5: qbit) {
-  CX(qvar___3_captured__inplace_one_hot_to_unary__5, qvar___2_captured__inplace_one_hot_to_unary__5);
+qfunc iteration_0_lambda___0_0_expanded___0(qvar___3_captured__inplace_one_hot_to_unary__4: qbit, qvar___2_captured__inplace_one_hot_to_unary__4: qbit) {
+  CX(qvar___3_captured__inplace_one_hot_to_unary__4, qvar___2_captured__inplace_one_hot_to_unary__4);
 }
 
-qfunc iteration_lambda___0_0_expanded___1(qvar___2_captured__inplace_one_hot_to_unary__5: qbit, qvar___1_captured__inplace_one_hot_to_unary__5: qbit) {
-  CX(qvar___2_captured__inplace_one_hot_to_unary__5, qvar___1_captured__inplace_one_hot_to_unary__5);
+qfunc iteration_0_lambda___0_0_expanded___1(qvar___2_captured__inplace_one_hot_to_unary__4: qbit, qvar___1_captured__inplace_one_hot_to_unary__4: qbit) {
+  CX(qvar___2_captured__inplace_one_hot_to_unary__4, qvar___1_captured__inplace_one_hot_to_unary__4);
 }
 
-qfunc iteration_lambda___0_0_expanded___2(qvar___1_captured__inplace_one_hot_to_unary__5: qbit, qvar___0_captured__inplace_one_hot_to_unary__5: qbit) {
-  CX(qvar___1_captured__inplace_one_hot_to_unary__5, qvar___0_captured__inplace_one_hot_to_unary__5);
+qfunc iteration_0_lambda___0_0_expanded___2(qvar___1_captured__inplace_one_hot_to_unary__4: qbit, qvar___0_captured__inplace_one_hot_to_unary__4: qbit) {
+  CX(qvar___1_captured__inplace_one_hot_to_unary__4, qvar___0_captured__inplace_one_hot_to_unary__4);
 }
 
 qfunc inplace_one_hot_to_unary_expanded___0(qvar: qbit[4]) {
-  iteration_lambda___0_0_expanded___0(qvar[3], qvar[2]);
-  iteration_lambda___0_0_expanded___1(qvar[2], qvar[1]);
-  iteration_lambda___0_0_expanded___2(qvar[1], qvar[0]);
+  iteration_0_lambda___0_0_expanded___0(qvar[3], qvar[2]);
+  iteration_0_lambda___0_0_expanded___1(qvar[2], qvar[1]);
+  iteration_0_lambda___0_0_expanded___2(qvar[1], qvar[0]);
   X(qvar[0]);
 }
 
@@ -165,37 +165,37 @@ qfunc prepare_dick_state_unary_input_expanded___5(qvar: qbit[6]) {
   prepare_dick_state_unary_input_expanded___4(qvar[1:6]);
 }
 
-qfunc iteration_lambda___0_0_expanded___3(y___0_captured__vector_product_phase__3: qbit) {
-  Z(y___0_captured__vector_product_phase__3);
+qfunc iteration_1_lambda___0_0_expanded___0(y___0_captured__vector_product_phase__2: qbit) {
+  Z(y___0_captured__vector_product_phase__2);
 }
 
-qfunc iteration_lambda___0_0_expanded___4(y___1_captured__vector_product_phase__3: qbit) {
-  Z(y___1_captured__vector_product_phase__3);
+qfunc iteration_1_lambda___0_0_expanded___1(y___1_captured__vector_product_phase__2: qbit) {
+  Z(y___1_captured__vector_product_phase__2);
 }
 
-qfunc iteration_lambda___0_0_expanded___5(y___2_captured__vector_product_phase__3: qbit) {
-  Z(y___2_captured__vector_product_phase__3);
+qfunc iteration_1_lambda___0_0_expanded___2(y___2_captured__vector_product_phase__2: qbit) {
+  Z(y___2_captured__vector_product_phase__2);
 }
 
-qfunc iteration_lambda___0_0_expanded___6(y___3_captured__vector_product_phase__3: qbit) {
-  Z(y___3_captured__vector_product_phase__3);
+qfunc iteration_1_lambda___0_0_expanded___3(y___3_captured__vector_product_phase__2: qbit) {
+  Z(y___3_captured__vector_product_phase__2);
 }
 
-qfunc iteration_lambda___0_0_expanded___7(y___4_captured__vector_product_phase__3: qbit) {
-  Z(y___4_captured__vector_product_phase__3);
+qfunc iteration_1_lambda___0_0_expanded___4(y___4_captured__vector_product_phase__2: qbit) {
+  Z(y___4_captured__vector_product_phase__2);
 }
 
-qfunc iteration_lambda___0_0_expanded___8(y___5_captured__vector_product_phase__3: qbit) {
-  Z(y___5_captured__vector_product_phase__3);
+qfunc iteration_1_lambda___0_0_expanded___5(y___5_captured__vector_product_phase__2: qbit) {
+  Z(y___5_captured__vector_product_phase__2);
 }
 
 qfunc vector_product_phase_expanded___0(y: qbit[6]) {
-  iteration_lambda___0_0_expanded___3(y[0]);
-  iteration_lambda___0_0_expanded___4(y[1]);
-  iteration_lambda___0_0_expanded___5(y[2]);
-  iteration_lambda___0_0_expanded___6(y[3]);
-  iteration_lambda___0_0_expanded___7(y[4]);
-  iteration_lambda___0_0_expanded___8(y[5]);
+  iteration_1_lambda___0_0_expanded___0(y[0]);
+  iteration_1_lambda___0_0_expanded___1(y[1]);
+  iteration_1_lambda___0_0_expanded___2(y[2]);
+  iteration_1_lambda___0_0_expanded___3(y[3]);
+  iteration_1_lambda___0_0_expanded___4(y[4]);
+  iteration_1_lambda___0_0_expanded___5(y[5]);
 }
 
 qfunc matrix_vector_product_expanded___0(y: qbit[6], output out: qbit[6]) {
@@ -277,37 +277,37 @@ qfunc syndrome_decode_lookuptable_expanded___0(syndrome: qnum<6, False, 0>, erro
   }
 }
 
-qfunc iteration_lambda___0_0_expanded___9(target___0_captured__apply_to_all__4: qbit) {
-  H(target___0_captured__apply_to_all__4);
+qfunc iteration_2_lambda___0_0_expanded___0(target___0_captured__apply_to_all__3: qbit) {
+  H(target___0_captured__apply_to_all__3);
 }
 
-qfunc iteration_lambda___0_0_expanded___10(target___1_captured__apply_to_all__4: qbit) {
-  H(target___1_captured__apply_to_all__4);
+qfunc iteration_2_lambda___0_0_expanded___1(target___1_captured__apply_to_all__3: qbit) {
+  H(target___1_captured__apply_to_all__3);
 }
 
-qfunc iteration_lambda___0_0_expanded___11(target___2_captured__apply_to_all__4: qbit) {
-  H(target___2_captured__apply_to_all__4);
+qfunc iteration_2_lambda___0_0_expanded___2(target___2_captured__apply_to_all__3: qbit) {
+  H(target___2_captured__apply_to_all__3);
 }
 
-qfunc iteration_lambda___0_0_expanded___12(target___3_captured__apply_to_all__4: qbit) {
-  H(target___3_captured__apply_to_all__4);
+qfunc iteration_2_lambda___0_0_expanded___3(target___3_captured__apply_to_all__3: qbit) {
+  H(target___3_captured__apply_to_all__3);
 }
 
-qfunc iteration_lambda___0_0_expanded___13(target___4_captured__apply_to_all__4: qbit) {
-  H(target___4_captured__apply_to_all__4);
+qfunc iteration_2_lambda___0_0_expanded___4(target___4_captured__apply_to_all__3: qbit) {
+  H(target___4_captured__apply_to_all__3);
 }
 
-qfunc iteration_lambda___0_0_expanded___14(target___5_captured__apply_to_all__4: qbit) {
-  H(target___5_captured__apply_to_all__4);
+qfunc iteration_2_lambda___0_0_expanded___5(target___5_captured__apply_to_all__3: qbit) {
+  H(target___5_captured__apply_to_all__3);
 }
 
 qfunc apply_to_all_expanded___0(target: qbit[6]) {
-  iteration_lambda___0_0_expanded___9(target[0]);
-  iteration_lambda___0_0_expanded___10(target[1]);
-  iteration_lambda___0_0_expanded___11(target[2]);
-  iteration_lambda___0_0_expanded___12(target[3]);
-  iteration_lambda___0_0_expanded___13(target[4]);
-  iteration_lambda___0_0_expanded___14(target[5]);
+  iteration_2_lambda___0_0_expanded___0(target[0]);
+  iteration_2_lambda___0_0_expanded___1(target[1]);
+  iteration_2_lambda___0_0_expanded___2(target[2]);
+  iteration_2_lambda___0_0_expanded___3(target[3]);
+  iteration_2_lambda___0_0_expanded___4(target[4]);
+  iteration_2_lambda___0_0_expanded___5(target[5]);
 }
 
 qfunc hadamard_transform_expanded___0(target: qbit[6]) {
diff --git a/algorithms/dqi/dqi_max_xorsat.synthesis_options.json b/algorithms/dqi/dqi_max_xorsat.synthesis_options.json
index 1918752c..ac599d9d 100644
--- a/algorithms/dqi/dqi_max_xorsat.synthesis_options.json
+++ b/algorithms/dqi/dqi_max_xorsat.synthesis_options.json
@@ -7,39 +7,37 @@
     "machine_precision": 8,
     "custom_hardware_settings": {
       "basis_gates": [
-        "z",
+        "rz",
+        "cx",
+        "h",
         "u1",
-        "p",
-        "cy",
         "r",
-        "id",
-        "y",
-        "sdg",
-        "x",
-        "u2",
+        "sx",
         "s",
-        "ry",
-        "cx",
-        "rz",
-        "h",
+        "rx",
+        "y",
+        "cy",
         "tdg",
-        "cz",
+        "ry",
+        "u2",
         "u",
-        "rx",
+        "x",
+        "cz",
+        "z",
+        "sxdg",
+        "sdg",
         "t",
-        "sx",
-        "sxdg"
+        "p",
+        "id"
       ],
       "is_symmetric_connectivity": true
     },
     "debug_mode": true,
     "synthesize_all_separately": false,
-    "output_format": [
-      "qasm"
-    ],
+    "output_format": ["qasm"],
     "pretty_qasm": true,
     "transpilation_option": "auto optimize",
     "timeout_seconds": 300,
-    "random_seed": 3679731798
+    "random_seed": -1
   }
 }
diff --git a/algorithms/grover/3_sat_grover/3_sat_grover.qmod b/algorithms/grover/3_sat_grover/3_sat_grover.qmod
index cabfffd0..17f12c2f 100644
--- a/algorithms/grover/3_sat_grover/3_sat_grover.qmod
+++ b/algorithms/grover/3_sat_grover/3_sat_grover.qmod
@@ -3,7 +3,7 @@ qfunc sat_oracle(x: qbit[], res: qbit) {
 }
 
 qfunc main(output x: qbit[3]) {
-  allocate(3, x);
+  allocate(x.len, x);
   grover_search(1, lambda(vars) {
     phase_oracle(sat_oracle, vars);
   }, x);
diff --git a/algorithms/grover/3_sat_grover/3_sat_grover.synthesis_options.json b/algorithms/grover/3_sat_grover/3_sat_grover.synthesis_options.json
index a20de7f2..a5609b34 100644
--- a/algorithms/grover/3_sat_grover/3_sat_grover.synthesis_options.json
+++ b/algorithms/grover/3_sat_grover/3_sat_grover.synthesis_options.json
@@ -1,5 +1,44 @@
 {
   "constraints": {
-    "max_width": 20
+    "max_width": 20,
+    "max_gate_count": {},
+    "optimization_parameter": "no_opt"
+  },
+  "preferences": {
+    "machine_precision": 8,
+    "custom_hardware_settings": {
+      "basis_gates": [
+        "rz",
+        "cx",
+        "h",
+        "u1",
+        "r",
+        "sx",
+        "s",
+        "rx",
+        "y",
+        "cy",
+        "tdg",
+        "ry",
+        "u2",
+        "u",
+        "x",
+        "cz",
+        "z",
+        "sxdg",
+        "sdg",
+        "t",
+        "p",
+        "id"
+      ],
+      "is_symmetric_connectivity": true
+    },
+    "debug_mode": true,
+    "synthesize_all_separately": false,
+    "output_format": ["qasm"],
+    "pretty_qasm": true,
+    "transpilation_option": "auto optimize",
+    "timeout_seconds": 300,
+    "random_seed": -1
   }
 }
diff --git a/algorithms/grover/3_sat_grover/3_sat_grover_large.qmod b/algorithms/grover/3_sat_grover/3_sat_grover_large.qmod
index f6683d0b..8f4a2dea 100644
--- a/algorithms/grover/3_sat_grover/3_sat_grover_large.qmod
+++ b/algorithms/grover/3_sat_grover/3_sat_grover_large.qmod
@@ -3,7 +3,7 @@ qfunc sat_oracle_large(x: qbit[], res: qbit) {
 }
 
 qfunc main(output x: qbit[4]) {
-  allocate(4, x);
+  allocate(x.len, x);
   grover_search(2, lambda(vars) {
     phase_oracle(sat_oracle_large, vars);
   }, x);
diff --git a/algorithms/grover/3_sat_grover/3_sat_grover_large.synthesis_options.json b/algorithms/grover/3_sat_grover/3_sat_grover_large.synthesis_options.json
index b13c22ee..56d16ac1 100644
--- a/algorithms/grover/3_sat_grover/3_sat_grover_large.synthesis_options.json
+++ b/algorithms/grover/3_sat_grover/3_sat_grover_large.synthesis_options.json
@@ -1,5 +1,44 @@
 {
   "constraints": {
-    "max_width": 24
+    "max_width": 24,
+    "max_gate_count": {},
+    "optimization_parameter": "no_opt"
+  },
+  "preferences": {
+    "machine_precision": 8,
+    "custom_hardware_settings": {
+      "basis_gates": [
+        "rz",
+        "cx",
+        "h",
+        "u1",
+        "r",
+        "sx",
+        "s",
+        "rx",
+        "y",
+        "cy",
+        "tdg",
+        "ry",
+        "u2",
+        "u",
+        "x",
+        "cz",
+        "z",
+        "sxdg",
+        "sdg",
+        "t",
+        "p",
+        "id"
+      ],
+      "is_symmetric_connectivity": true
+    },
+    "debug_mode": true,
+    "synthesize_all_separately": false,
+    "output_format": ["qasm"],
+    "pretty_qasm": true,
+    "transpilation_option": "auto optimize",
+    "timeout_seconds": 300,
+    "random_seed": -1
   }
 }
diff --git a/algorithms/grover/grover_max_cut/grover_max_cut.qmod b/algorithms/grover/grover_max_cut/grover_max_cut.qmod
index 2285b0d2..a56250d9 100644
--- a/algorithms/grover/grover_max_cut/grover_max_cut.qmod
+++ b/algorithms/grover/grover_max_cut/grover_max_cut.qmod
@@ -3,7 +3,7 @@ qfunc cut_oracle(cut_size: int, nodes: qbit[], res: qbit) {
 }
 
 qfunc main(output nodes: qbit[5]) {
-  allocate(5, nodes);
+  allocate(nodes.len, nodes);
   grover_search(3, lambda(vars) {
     phase_oracle(lambda(vars, res) {
       cut_oracle(4, vars, res);
diff --git a/algorithms/grover/grover_max_cut/grover_max_cut.synthesis_options.json b/algorithms/grover/grover_max_cut/grover_max_cut.synthesis_options.json
index 589c0f31..bbef7650 100644
--- a/algorithms/grover/grover_max_cut/grover_max_cut.synthesis_options.json
+++ b/algorithms/grover/grover_max_cut/grover_max_cut.synthesis_options.json
@@ -1,5 +1,44 @@
 {
   "constraints": {
-    "max_width": 22
+    "max_width": 22,
+    "max_gate_count": {},
+    "optimization_parameter": "no_opt"
+  },
+  "preferences": {
+    "machine_precision": 8,
+    "custom_hardware_settings": {
+      "basis_gates": [
+        "rz",
+        "cx",
+        "h",
+        "u1",
+        "r",
+        "sx",
+        "s",
+        "rx",
+        "y",
+        "cy",
+        "tdg",
+        "ry",
+        "u2",
+        "u",
+        "x",
+        "cz",
+        "z",
+        "sxdg",
+        "sdg",
+        "t",
+        "p",
+        "id"
+      ],
+      "is_symmetric_connectivity": true
+    },
+    "debug_mode": true,
+    "synthesize_all_separately": false,
+    "output_format": ["qasm"],
+    "pretty_qasm": true,
+    "transpilation_option": "auto optimize",
+    "timeout_seconds": 300,
+    "random_seed": -1
   }
 }
diff --git a/algorithms/hhl/hhl/hhl_exact.qmod b/algorithms/hhl/hhl/hhl_exact.qmod
index 4d5d1f8a..649f4e4a 100644
--- a/algorithms/hhl/hhl/hhl_exact.qmod
+++ b/algorithms/hhl/hhl/hhl_exact.qmod
@@ -1,9 +1,3 @@
-qfunc unitary_with_power_logic(pw: int, matrix: real[][], target: qbit[]) {
-  power (pw) {
-    unitary(matrix, target);
-  }
-}
-
 qfunc load_b(amplitudes: real[], output state: qbit[], bound: real) {
   prepare_amplitudes(amplitudes, bound, state);
 }
@@ -30,6 +24,12 @@ qfunc hhl(rhs_vector: real[], bound: real, precision: int, hamiltonian_evolution
   }
 }
 
+qfunc unitary_with_power_logic(pw: int, matrix: real[][], target: qbit[]) {
+  power (pw) {
+    unitary(matrix, target);
+  }
+}
+
 qfunc main(output res: qnum, output phase: qnum, output indicator: qbit) {
   hhl([
     0.18257418583505536,
diff --git a/algorithms/hhl/hhl/hhl_exact.synthesis_options.json b/algorithms/hhl/hhl/hhl_exact.synthesis_options.json
index a89c3c20..ba1113e9 100644
--- a/algorithms/hhl/hhl/hhl_exact.synthesis_options.json
+++ b/algorithms/hhl/hhl/hhl_exact.synthesis_options.json
@@ -7,32 +7,33 @@
     "machine_precision": 8,
     "custom_hardware_settings": {
       "basis_gates": [
-        "cy",
         "rz",
-        "z",
-        "sdg",
-        "t",
-        "s",
+        "cx",
         "h",
-        "u2",
-        "tdg",
-        "sx",
-        "ry",
-        "cz",
         "u1",
-        "y",
         "r",
-        "x",
+        "sx",
+        "s",
         "rx",
-        "sxdg",
-        "id",
+        "y",
+        "cy",
+        "tdg",
+        "ry",
+        "u2",
         "u",
+        "x",
+        "cz",
+        "z",
+        "sxdg",
+        "sdg",
+        "t",
         "p",
-        "cx"
+        "id"
       ],
       "is_symmetric_connectivity": true
     },
     "debug_mode": true,
+    "synthesize_all_separately": false,
     "output_format": ["qasm"],
     "pretty_qasm": true,
     "transpilation_option": "auto optimize",
diff --git a/algorithms/hhl/hhl/hhl_trotter.qmod b/algorithms/hhl/hhl/hhl_trotter.qmod
index 0ee09ad5..2a438770 100644
--- a/algorithms/hhl/hhl/hhl_trotter.qmod
+++ b/algorithms/hhl/hhl/hhl_trotter.qmod
@@ -1,7 +1,3 @@
-qfunc suzuki_trotter1_with_power_logic(hamiltonian: PauliTerm[], pw: int, r0: int, reps_scaling_factor: real, evolution_coefficient: real, target: qbit[]) {
-  suzuki_trotter(hamiltonian, evolution_coefficient * pw, 1, r0 * ceiling(reps_scaling_factor ** log(pw, 2)), target);
-}
-
 qfunc load_b(amplitudes: real[], output state: qbit[], bound: real) {
   prepare_amplitudes(amplitudes, bound, state);
 }
@@ -28,6 +24,10 @@ qfunc hhl(rhs_vector: real[], bound: real, precision: int, hamiltonian_evolution
   }
 }
 
+qfunc suzuki_trotter1_with_power_logic(hamiltonian: PauliTerm[], pw: int, r0: int, reps_scaling_factor: real, evolution_coefficient: real, target: qbit[]) {
+  suzuki_trotter(hamiltonian, evolution_coefficient * pw, 1, r0 * ceiling(reps_scaling_factor ** log(pw, 2)), target);
+}
+
 qfunc main(output res: qnum, output phase: qnum, output indicator: qbit) {
   hhl([
     0.1825741858,
diff --git a/algorithms/hhl/hhl/hhl_trotter.synthesis_options.json b/algorithms/hhl/hhl/hhl_trotter.synthesis_options.json
index a89c3c20..ba1113e9 100644
--- a/algorithms/hhl/hhl/hhl_trotter.synthesis_options.json
+++ b/algorithms/hhl/hhl/hhl_trotter.synthesis_options.json
@@ -7,32 +7,33 @@
     "machine_precision": 8,
     "custom_hardware_settings": {
       "basis_gates": [
-        "cy",
         "rz",
-        "z",
-        "sdg",
-        "t",
-        "s",
+        "cx",
         "h",
-        "u2",
-        "tdg",
-        "sx",
-        "ry",
-        "cz",
         "u1",
-        "y",
         "r",
-        "x",
+        "sx",
+        "s",
         "rx",
-        "sxdg",
-        "id",
+        "y",
+        "cy",
+        "tdg",
+        "ry",
+        "u2",
         "u",
+        "x",
+        "cz",
+        "z",
+        "sxdg",
+        "sdg",
+        "t",
         "p",
-        "cx"
+        "id"
       ],
       "is_symmetric_connectivity": true
     },
     "debug_mode": true,
+    "synthesize_all_separately": false,
     "output_format": ["qasm"],
     "pretty_qasm": true,
     "transpilation_option": "auto optimize",
diff --git a/applications/finance/portfolio_optimization/portfolio_optimization.qmod b/applications/finance/portfolio_optimization/portfolio_optimization.qmod
index 363c48bc..bf1751dd 100644
--- a/applications/finance/portfolio_optimization/portfolio_optimization.qmod
+++ b/applications/finance/portfolio_optimization/portfolio_optimization.qmod
@@ -3,8 +3,6 @@ qstruct QAOAVars {
   budget_rule_slack_var: qbit[3];
 }
 
-
-
 qfunc main(params: real[6], output v: QAOAVars) {
   allocate(v.size, v);
   hadamard_transform(v);
diff --git a/applications/finance/portfolio_optimization/portfolio_optimization.synthesis_options.json b/applications/finance/portfolio_optimization/portfolio_optimization.synthesis_options.json
index cf711f93..ba1113e9 100644
--- a/applications/finance/portfolio_optimization/portfolio_optimization.synthesis_options.json
+++ b/applications/finance/portfolio_optimization/portfolio_optimization.synthesis_options.json
@@ -7,28 +7,28 @@
     "machine_precision": 8,
     "custom_hardware_settings": {
       "basis_gates": [
-        "tdg",
-        "z",
-        "u2",
-        "id",
-        "s",
         "rz",
+        "cx",
+        "h",
+        "u1",
+        "r",
         "sx",
-        "sdg",
+        "s",
+        "rx",
+        "y",
         "cy",
+        "tdg",
+        "ry",
+        "u2",
+        "u",
         "x",
         "cz",
-        "u",
-        "y",
+        "z",
+        "sxdg",
+        "sdg",
         "t",
-        "u1",
-        "rx",
-        "h",
         "p",
-        "cx",
-        "r",
-        "ry",
-        "sxdg"
+        "id"
       ],
       "is_symmetric_connectivity": true
     },
@@ -38,6 +38,6 @@
     "pretty_qasm": true,
     "transpilation_option": "auto optimize",
     "timeout_seconds": 300,
-    "random_seed": 3453328217
+    "random_seed": -1
   }
 }
diff --git a/applications/optimization/integer_linear_programming/integer_linear_programming.qmod b/applications/optimization/integer_linear_programming/integer_linear_programming.qmod
index 1b153d45..21489c8c 100644
--- a/applications/optimization/integer_linear_programming/integer_linear_programming.qmod
+++ b/applications/optimization/integer_linear_programming/integer_linear_programming.qmod
@@ -4,8 +4,6 @@ qstruct QAOAVars {
   monotone_rule_2_slack_var_0: qbit;
 }
 
-
-
 qfunc main(params: real[6], output v: QAOAVars) {
   allocate(v.size, v);
   hadamard_transform(v);
diff --git a/applications/optimization/integer_linear_programming/integer_linear_programming.synthesis_options.json b/applications/optimization/integer_linear_programming/integer_linear_programming.synthesis_options.json
index 0ae05c83..ba1113e9 100644
--- a/applications/optimization/integer_linear_programming/integer_linear_programming.synthesis_options.json
+++ b/applications/optimization/integer_linear_programming/integer_linear_programming.synthesis_options.json
@@ -7,28 +7,28 @@
     "machine_precision": 8,
     "custom_hardware_settings": {
       "basis_gates": [
-        "sx",
-        "tdg",
-        "z",
         "rz",
-        "y",
+        "cx",
         "h",
-        "cy",
-        "t",
-        "sdg",
         "u1",
         "r",
-        "id",
-        "cx",
-        "cz",
+        "sx",
+        "s",
         "rx",
-        "u",
-        "p",
+        "y",
+        "cy",
+        "tdg",
         "ry",
-        "sxdg",
-        "x",
         "u2",
-        "s"
+        "u",
+        "x",
+        "cz",
+        "z",
+        "sxdg",
+        "sdg",
+        "t",
+        "p",
+        "id"
       ],
       "is_symmetric_connectivity": true
     },
@@ -38,6 +38,6 @@
     "pretty_qasm": true,
     "transpilation_option": "auto optimize",
     "timeout_seconds": 300,
-    "random_seed": 2943844644
+    "random_seed": -1
   }
 }
diff --git a/applications/optimization/max_clique/max_clique.qmod b/applications/optimization/max_clique/max_clique.qmod
index bceade30..413e3aba 100644
--- a/applications/optimization/max_clique/max_clique.qmod
+++ b/applications/optimization/max_clique/max_clique.qmod
@@ -2,8 +2,6 @@ qstruct QAOAVars {
   x: qbit[7];
 }
 
-
-
 qfunc main(params: real[6], output v: QAOAVars) {
   allocate(v.size, v);
   hadamard_transform(v);
diff --git a/applications/optimization/max_clique/max_clique.synthesis_options.json b/applications/optimization/max_clique/max_clique.synthesis_options.json
index bbb49571..ba1113e9 100644
--- a/applications/optimization/max_clique/max_clique.synthesis_options.json
+++ b/applications/optimization/max_clique/max_clique.synthesis_options.json
@@ -7,28 +7,28 @@
     "machine_precision": 8,
     "custom_hardware_settings": {
       "basis_gates": [
-        "r",
-        "id",
-        "u",
+        "rz",
         "cx",
-        "sx",
         "h",
-        "y",
         "u1",
+        "r",
+        "sx",
         "s",
-        "u2",
-        "ry",
-        "rz",
-        "p",
-        "t",
-        "cz",
         "rx",
-        "sdg",
+        "y",
         "cy",
-        "x",
         "tdg",
+        "ry",
+        "u2",
+        "u",
+        "x",
+        "cz",
+        "z",
         "sxdg",
-        "z"
+        "sdg",
+        "t",
+        "p",
+        "id"
       ],
       "is_symmetric_connectivity": true
     },
@@ -38,6 +38,6 @@
     "pretty_qasm": true,
     "transpilation_option": "auto optimize",
     "timeout_seconds": 300,
-    "random_seed": 4176492311
+    "random_seed": -1
   }
 }
diff --git a/applications/optimization/max_k_vertex_cover/max_k_vertex_cover.qmod b/applications/optimization/max_k_vertex_cover/max_k_vertex_cover.qmod
index dcd18763..98196497 100644
--- a/applications/optimization/max_k_vertex_cover/max_k_vertex_cover.qmod
+++ b/applications/optimization/max_k_vertex_cover/max_k_vertex_cover.qmod
@@ -2,8 +2,6 @@ qstruct QAOAVars {
   x: qbit[10];
 }
 
-
-
 qfunc main(params: real[6], output v: QAOAVars) {
   allocate(v.size, v);
   hadamard_transform(v);
diff --git a/applications/optimization/max_k_vertex_cover/max_k_vertex_cover.synthesis_options.json b/applications/optimization/max_k_vertex_cover/max_k_vertex_cover.synthesis_options.json
index 2d889877..ba1113e9 100644
--- a/applications/optimization/max_k_vertex_cover/max_k_vertex_cover.synthesis_options.json
+++ b/applications/optimization/max_k_vertex_cover/max_k_vertex_cover.synthesis_options.json
@@ -7,28 +7,28 @@
     "machine_precision": 8,
     "custom_hardware_settings": {
       "basis_gates": [
-        "id",
-        "z",
+        "rz",
+        "cx",
+        "h",
+        "u1",
+        "r",
         "sx",
-        "sdg",
         "s",
-        "x",
-        "t",
+        "rx",
         "y",
-        "u1",
-        "cx",
-        "h",
-        "sxdg",
-        "cz",
         "cy",
-        "p",
-        "r",
-        "rz",
-        "ry",
         "tdg",
-        "rx",
+        "ry",
         "u2",
-        "u"
+        "u",
+        "x",
+        "cz",
+        "z",
+        "sxdg",
+        "sdg",
+        "t",
+        "p",
+        "id"
       ],
       "is_symmetric_connectivity": true
     },
@@ -38,6 +38,6 @@
     "pretty_qasm": true,
     "transpilation_option": "auto optimize",
     "timeout_seconds": 300,
-    "random_seed": 3857045423
+    "random_seed": -1
   }
 }
diff --git a/applications/optimization/set_partition/set_partition.qmod b/applications/optimization/set_partition/set_partition.qmod
index 703f5e6d..c24de2ab 100644
--- a/applications/optimization/set_partition/set_partition.qmod
+++ b/applications/optimization/set_partition/set_partition.qmod
@@ -2,13 +2,11 @@ qstruct QAOAVars {
   x: qbit[10];
 }
 
-
-
 qfunc main(params: real[6], output v: QAOAVars) {
   allocate(v.size, v);
   hadamard_transform(v);
   repeat (i: 3) {
-    phase (-((((((((((((16 * v.x[0]) + (16 * v.x[1])) + (16 * v.x[2])) + (10 * v.x[3])) + (10 * v.x[4])) + (12 * v.x[5])) + (10 * v.x[6])) + (12 * v.x[7])) + (16 * v.x[8])) + (22 * v.x[9])) - 70) ** 2), params[i]);
+    phase (-((((((((((((4 * v.x[0]) + (16 * v.x[1])) + (14 * v.x[2])) + (18 * v.x[3])) + (16 * v.x[4])) + (16 * v.x[5])) + (12 * v.x[6])) + (4 * v.x[7])) + (10 * v.x[8])) + (20 * v.x[9])) - 65) ** 2), params[i]);
     apply_to_all(lambda(q) {
       RX(params[3 + i], q);
     }, v);
diff --git a/applications/optimization/set_partition/set_partition.synthesis_options.json b/applications/optimization/set_partition/set_partition.synthesis_options.json
index ac5cce35..ba1113e9 100644
--- a/applications/optimization/set_partition/set_partition.synthesis_options.json
+++ b/applications/optimization/set_partition/set_partition.synthesis_options.json
@@ -7,28 +7,28 @@
     "machine_precision": 8,
     "custom_hardware_settings": {
       "basis_gates": [
-        "u",
-        "u1",
+        "rz",
         "cx",
-        "x",
-        "u2",
-        "sdg",
-        "s",
+        "h",
+        "u1",
         "r",
-        "cz",
-        "id",
-        "cy",
-        "sxdg",
-        "ry",
+        "sx",
+        "s",
         "rx",
-        "rz",
         "y",
-        "sx",
+        "cy",
         "tdg",
-        "t",
+        "ry",
+        "u2",
+        "u",
+        "x",
+        "cz",
         "z",
+        "sxdg",
+        "sdg",
+        "t",
         "p",
-        "h"
+        "id"
       ],
       "is_symmetric_connectivity": true
     },
@@ -38,6 +38,6 @@
     "pretty_qasm": true,
     "transpilation_option": "auto optimize",
     "timeout_seconds": 300,
-    "random_seed": 1468870560
+    "random_seed": -1
   }
 }
diff --git a/applications/physical_systems/ising_model/ising_model.qmod b/applications/physical_systems/ising_model/ising_model.qmod
index 6108af2c..b2e4dca0 100644
--- a/applications/physical_systems/ising_model/ising_model.qmod
+++ b/applications/physical_systems/ising_model/ising_model.qmod
@@ -2,8 +2,6 @@ qstruct QAOAVars {
   z: qbit[6];
 }
 
-
-
 qfunc main(params: real[10], output v: QAOAVars) {
   allocate(v.size, v);
   hadamard_transform(v);
diff --git a/applications/physical_systems/ising_model/ising_model.synthesis_options.json b/applications/physical_systems/ising_model/ising_model.synthesis_options.json
index 9c23bd26..ba1113e9 100644
--- a/applications/physical_systems/ising_model/ising_model.synthesis_options.json
+++ b/applications/physical_systems/ising_model/ising_model.synthesis_options.json
@@ -7,28 +7,28 @@
     "machine_precision": 8,
     "custom_hardware_settings": {
       "basis_gates": [
-        "u1",
+        "rz",
         "cx",
-        "p",
-        "cz",
         "h",
-        "x",
+        "u1",
+        "r",
         "sx",
-        "y",
-        "tdg",
-        "rz",
-        "cy",
-        "id",
         "s",
-        "r",
-        "t",
-        "z",
         "rx",
-        "u",
-        "sdg",
+        "y",
+        "cy",
+        "tdg",
         "ry",
+        "u2",
+        "u",
+        "x",
+        "cz",
+        "z",
         "sxdg",
-        "u2"
+        "sdg",
+        "t",
+        "p",
+        "id"
       ],
       "is_symmetric_connectivity": true
     },
@@ -38,6 +38,6 @@
     "pretty_qasm": true,
     "transpilation_option": "auto optimize",
     "timeout_seconds": 300,
-    "random_seed": 2916469319
+    "random_seed": -1
   }
 }