Skip to content

Commit ff11bc6

Browse files
pehamTompehamTom
committed
Moved benchmarks to examples folder and fixed broken qasm export.
1 parent fffbbb9 commit ff11bc6

30 files changed

+113
-114
lines changed

‎benchmarks/optimal_synthesis_of_clifford_circuits_with_sat_solvers/grover_4_4.qasm‎

Lines changed: 0 additions & 14 deletions
This file was deleted.

‎benchmarks/optimal_synthesis_of_clifford_circuits_with_sat_solvers/grover_4_8.qasm‎

Lines changed: 0 additions & 13 deletions
This file was deleted.

benchmarks/optimal_synthesis_of_clifford_circuits_with_sat_solvers/grover_3_0.qasm renamed to examples/grover/grover_3_0.qasm

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
OPENQASM 2.0;
22
include "qelib1.inc";
3-
gate ccz q0,q1,q2 { p(pi/4) q1; p(pi/4) q2; cx q1,q2; u(0,0,-pi/4) q2; cx q1,q2; u(0,0,0) q2; cx q1,q0; p(-pi/4) q0; p(pi/4) q2; cx q0,q2; u(0,0,pi/4) q2; cx q0,q2; u(0,-pi/2,0) q2; cx q1,q0; p(pi/4) q0; p(pi/4) q2; cx q0,q2; u(0,0,-pi/4) q2; cx q0,q2; u(0,0,0) q2; }
43
gate cz_o0 q0,q1 { x q0; cz q0,q1; x q0; }
5-
gate gate_Q q0,q1,q2 { cz_o0 q2,q0; x q1; z q1; x q1; ccz q0,q1,q2; cz_o0 q2,q1; h q2; h q1; h q0; x q0; x q1; x q2; h q2; ccx q0,q1,q2; h q2; x q0; x q1; x q2; h q0; h q1; h q2; }
6-
gate gate_Q q0,q1,q2 { gate_Q q0,q1,q2; }
4+
gate ccz q0,q1,q2 { p(pi/4) q1; p(pi/4) q2; cx q1,q2; u(0,0,-pi/4) q2; cx q1,q2; u(0,0,0) q2; cx q1,q0; p(-pi/4) q0; p(pi/4) q2; cx q0,q2; u(0,0,pi/4) q2; cx q0,q2; u(0,-pi/2,0) q2; cx q1,q0; p(pi/4) q0; p(pi/4) q2; cx q0,q2; u(0,0,-pi/4) q2; cx q0,q2; u(0,0,0) q2; }
5+
gate cz_o0_139716235496752 q0,q1 { x q0; cz q0,q1; x q0; }
6+
gate gate_Q q0,q1,q2 { cz_o0 q2,q0; x q1; z q1; x q1; ccz q0,q1,q2; cz_o0_139716235496752 q2,q1; h q2; h q1; h q0; x q0; x q1; x q2; h q2; ccx q0,q1,q2; h q2; x q0; x q1; x q2; h q0; h q1; h q2; }
77
qreg q[3];
88
h q[0];
99
h q[1];

benchmarks/optimal_synthesis_of_clifford_circuits_with_sat_solvers/grover_3_1.qasm renamed to examples/grover/grover_3_1.qasm

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,6 @@ OPENQASM 2.0;
22
include "qelib1.inc";
33
gate cz_o0 q0,q1 { x q0; cz q0,q1; x q0; }
44
gate gate_Q q0,q1,q2 { cz_o0 q0,q2; h q2; h q1; h q0; x q0; x q1; x q2; h q2; ccx q0,q1,q2; h q2; x q0; x q1; x q2; h q0; h q1; h q2; }
5-
gate gate_Q q0,q1,q2 { gate_Q q0,q1,q2; }
65
qreg q[3];
76
h q[0];
87
h q[1];

benchmarks/optimal_synthesis_of_clifford_circuits_with_sat_solvers/grover_3_2.qasm renamed to examples/grover/grover_3_2.qasm

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
OPENQASM 2.0;
22
include "qelib1.inc";
33
gate gate_Q q0,q1,q2 { z q0; x q1; z q1; x q1; h q2; h q1; h q0; x q0; x q1; x q2; h q2; ccx q0,q1,q2; h q2; x q0; x q1; x q2; h q0; h q1; h q2; }
4-
gate gate_Q q0,q1,q2 { gate_Q q0,q1,q2; }
54
qreg q[3];
65
h q[0];
76
h q[1];

benchmarks/optimal_synthesis_of_clifford_circuits_with_sat_solvers/grover_3_3.qasm renamed to examples/grover/grover_3_3.qasm

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,9 @@
11
OPENQASM 2.0;
22
include "qelib1.inc";
3-
gate cz_o0 q0,q1 { x q0; cz q0,q1; x q0; }
43
gate ccz q0,q1,q2 { p(pi/4) q1; p(pi/4) q2; cx q1,q2; u(0,0,-pi/4) q2; cx q1,q2; u(0,0,0) q2; cx q1,q0; p(-pi/4) q0; p(pi/4) q2; cx q0,q2; u(0,0,pi/4) q2; cx q0,q2; u(0,-pi/2,0) q2; cx q1,q0; p(pi/4) q0; p(pi/4) q2; cx q0,q2; u(0,0,-pi/4) q2; cx q0,q2; u(0,0,0) q2; }
54
gate ccz_o0 q0,q1,q2 { x q0; x q1; ccz q0,q1,q2; x q0; x q1; }
5+
gate cz_o0 q0,q1 { x q0; cz q0,q1; x q0; }
66
gate gate_Q q0,q1,q2 { ccz_o0 q0,q2,q1; cz_o0 q2,q0; h q2; h q1; h q0; x q0; x q1; x q2; h q2; ccx q0,q1,q2; h q2; x q0; x q1; x q2; h q0; h q1; h q2; }
7-
gate gate_Q q0,q1,q2 { gate_Q q0,q1,q2; }
87
qreg q[3];
98
h q[0];
109
h q[1];

benchmarks/optimal_synthesis_of_clifford_circuits_with_sat_solvers/grover_3_4.qasm renamed to examples/grover/grover_3_4.qasm

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,6 @@ OPENQASM 2.0;
22
include "qelib1.inc";
33
gate cz_o0 q0,q1 { x q0; cz q0,q1; x q0; }
44
gate gate_Q q0,q1,q2 { cz q0,q2; cz_o0 q2,q1; h q2; h q1; h q0; x q0; x q1; x q2; h q2; ccx q0,q1,q2; h q2; x q0; x q1; x q2; h q0; h q1; h q2; }
5-
gate gate_Q q0,q1,q2 { gate_Q q0,q1,q2; }
65
qreg q[3];
76
h q[0];
87
h q[1];

benchmarks/optimal_synthesis_of_clifford_circuits_with_sat_solvers/grover_3_5.qasm renamed to examples/grover/grover_3_5.qasm

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,6 @@ include "qelib1.inc";
33
gate ccz q0,q1,q2 { p(pi/4) q1; p(pi/4) q2; cx q1,q2; u(0,0,-pi/4) q2; cx q1,q2; u(0,0,0) q2; cx q1,q0; p(-pi/4) q0; p(pi/4) q2; cx q0,q2; u(0,0,pi/4) q2; cx q0,q2; u(0,-pi/2,0) q2; cx q1,q0; p(pi/4) q0; p(pi/4) q2; cx q0,q2; u(0,0,-pi/4) q2; cx q0,q2; u(0,0,0) q2; }
44
gate ccz_o0 q0,q1,q2 { x q0; x q1; ccz q0,q1,q2; x q0; x q1; }
55
gate gate_Q q0,q1,q2 { ccz_o0 q0,q2,q1; z q2; z q1; h q2; h q1; h q0; x q0; x q1; x q2; h q2; ccx q0,q1,q2; h q2; x q0; x q1; x q2; h q0; h q1; h q2; }
6-
gate gate_Q q0,q1,q2 { gate_Q q0,q1,q2; }
76
qreg q[3];
87
h q[0];
98
h q[1];

benchmarks/optimal_synthesis_of_clifford_circuits_with_sat_solvers/grover_3_6.qasm renamed to examples/grover/grover_3_6.qasm

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,9 @@
11
OPENQASM 2.0;
22
include "qelib1.inc";
3-
gate cz_o0 q0,q1 { x q0; cz q0,q1; x q0; }
43
gate ccz q0,q1,q2 { p(pi/4) q1; p(pi/4) q2; cx q1,q2; u(0,0,-pi/4) q2; cx q1,q2; u(0,0,0) q2; cx q1,q0; p(-pi/4) q0; p(pi/4) q2; cx q0,q2; u(0,0,pi/4) q2; cx q0,q2; u(0,-pi/2,0) q2; cx q1,q0; p(pi/4) q0; p(pi/4) q2; cx q0,q2; u(0,0,-pi/4) q2; cx q0,q2; u(0,0,0) q2; }
54
gate ccz_o0 q0,q1,q2 { x q0; x q1; ccz q0,q1,q2; x q0; x q1; }
5+
gate cz_o0 q0,q1 { x q0; cz q0,q1; x q0; }
66
gate gate_Q q0,q1,q2 { ccz_o0 q2,q1,q0; x q2; cz_o0 q0,q2; x q2; h q2; h q1; h q0; x q0; x q1; x q2; h q2; ccx q0,q1,q2; h q2; x q0; x q1; x q2; h q0; h q1; h q2; }
7-
gate gate_Q q0,q1,q2 { gate_Q q0,q1,q2; }
87
qreg q[3];
98
h q[0];
109
h q[1];

benchmarks/optimal_synthesis_of_clifford_circuits_with_sat_solvers/grover_3_7.qasm renamed to examples/grover/grover_3_7.qasm

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,6 @@ OPENQASM 2.0;
22
include "qelib1.inc";
33
gate cz_o0 q0,q1 { x q0; cz q0,q1; x q0; }
44
gate gate_Q q0,q1,q2 { cz_o0 q0,q2; h q2; h q1; h q0; x q0; x q1; x q2; h q2; ccx q0,q1,q2; h q2; x q0; x q1; x q2; h q0; h q1; h q2; }
5-
gate gate_Q q0,q1,q2 { gate_Q q0,q1,q2; }
65
qreg q[3];
76
h q[0];
87
h q[1];

0 commit comments

Comments
 (0)