Skip to content

Commit 452411e

Browse files
alan23273850alan23273850
committed
add the RUS benchmarks
1 parent 57896c5 commit 452411e

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

49 files changed

+852
-0
lines changed

‎benchmarks/QuantumProgram/RUS/Figure10a/circuit.qasm

+52
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,52 @@
1+
OPENQASM 3;
2+
include "stdgates.inc";
3+
qubit[2] qb;
4+
bit[2] outcome;
5+
6+
h qb[0];
7+
t qb[0];
8+
h qb[0];
9+
tdg qb[0];
10+
h qb[0];
11+
cz qb[0], qb[1];
12+
s qb[0];
13+
h qb[0];
14+
t qb[0];
15+
h qb[0];
16+
tdg qb[0];
17+
h qb[0];
18+
s qb[0];
19+
cz qb[0], qb[1];
20+
h qb[0];
21+
t qb[0];
22+
h qb[0];
23+
tdg qb[0];
24+
h qb[0];
25+
z qb[1];
26+
x qb[0];
27+
28+
outcome[0] = measure qb[0];
29+
while (!outcome[0]) { // loop-invariant.hsl
30+
h qb[0];
31+
t qb[0];
32+
h qb[0];
33+
tdg qb[0];
34+
h qb[0];
35+
cz qb[0], qb[1];
36+
s qb[0];
37+
h qb[0];
38+
t qb[0];
39+
h qb[0];
40+
tdg qb[0];
41+
h qb[0];
42+
s qb[0];
43+
cz qb[0], qb[1];
44+
h qb[0];
45+
t qb[0];
46+
h qb[0];
47+
tdg qb[0];
48+
h qb[0];
49+
z qb[1];
50+
x qb[0];
51+
outcome[0] = measure qb[0];
52+
}

‎benchmarks/QuantumProgram/RUS/Figure10a/loop-invariant.hsl

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
Extended Dirac
2+
(-1 * ei2pi(1/8) + 2 * ei2pi(2/8) + 1 * ei2pi(3/8)) |01> + (1 * ei2pi(1/8) + 5 * ei2pi(3/8)) |11>
3+
(-1 * ei2pi(1/8) + 2 * ei2pi(2/8) + 1 * ei2pi(3/8)) |00> + (5 * ei2pi(1/8) + 1 * ei2pi(3/8)) |10>

‎benchmarks/QuantumProgram/RUS/Figure10a/post.hsl

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
Extended Dirac
2+
(1 * ei2pi(1/8) + 5 * ei2pi(3/8)) |11>
3+
(5 * ei2pi(1/8) + 1 * ei2pi(3/8)) |10>

‎benchmarks/QuantumProgram/RUS/Figure10a/pre.hsl

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
Extended Dirac
2+
|00>
3+
|01>

‎benchmarks/QuantumProgram/RUS/Figure10b/circuit.qasm

+86
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,86 @@
1+
OPENQASM 3;
2+
include "stdgates.inc";
3+
qubit[2] qb;
4+
bit[2] outcome;
5+
6+
h qb[0];
7+
s qb[0];
8+
t qb[0];
9+
h qb[0];
10+
t qb[0];
11+
h qb[0];
12+
t qb[0];
13+
h qb[0];
14+
t qb[0];
15+
sdg qb[0];
16+
h qb[0];
17+
cz qb[0], qb[1];
18+
h qb[0];
19+
s qb[0];
20+
h qb[0];
21+
t qb[0];
22+
h qb[0];
23+
x qb[1];
24+
t qb[0];
25+
h qb[0];
26+
t qb[0];
27+
h qb[0];
28+
cz qb[0], qb[1];
29+
h qb[0];
30+
s qb[0];
31+
h qb[0];
32+
t qb[0];
33+
h qb[0];
34+
t qb[0];
35+
h qb[0];
36+
t qb[0];
37+
h qb[0];
38+
t qb[0];
39+
h qb[0];
40+
s qb[0];
41+
h qb[0];
42+
x qb[1];
43+
x qb[0];
44+
45+
outcome[0] = measure qb[0];
46+
while (!outcome[0]) { // loop-invariant.hsl
47+
h qb[0];
48+
s qb[0];
49+
t qb[0];
50+
h qb[0];
51+
t qb[0];
52+
h qb[0];
53+
t qb[0];
54+
h qb[0];
55+
t qb[0];
56+
sdg qb[0];
57+
h qb[0];
58+
cz qb[0], qb[1];
59+
h qb[0];
60+
s qb[0];
61+
h qb[0];
62+
t qb[0];
63+
h qb[0];
64+
x qb[1];
65+
t qb[0];
66+
h qb[0];
67+
t qb[0];
68+
h qb[0];
69+
cz qb[0], qb[1];
70+
h qb[0];
71+
s qb[0];
72+
h qb[0];
73+
t qb[0];
74+
h qb[0];
75+
t qb[0];
76+
h qb[0];
77+
t qb[0];
78+
h qb[0];
79+
t qb[0];
80+
h qb[0];
81+
s qb[0];
82+
h qb[0];
83+
x qb[1];
84+
x qb[0];
85+
outcome[0] = measure qb[0];
86+
}

‎benchmarks/QuantumProgram/RUS/Figure10b/loop-invariant.hsl

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
Extended Dirac
2+
(4 + 9 * ei2pi(1/8) + -1 * ei2pi(2/8) + 2 * ei2pi(3/8)) |01> + (3 + -2 * ei2pi(1/8) + -2 * ei2pi(2/8) + 3 * ei2pi(3/8)) |11>
3+
(4 + 7 * ei2pi(1/8) + 1 * ei2pi(2/8) + 6 * ei2pi(3/8)) |00> + (-3 + 2 * ei2pi(1/8) + 2 * ei2pi(2/8) + -3 * ei2pi(3/8)) |10>

‎benchmarks/QuantumProgram/RUS/Figure10b/post.hsl

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
Extended Dirac
2+
(3 + -2 * ei2pi(1/8) + -2 * ei2pi(2/8) + 3 * ei2pi(3/8)) |11>
3+
(-3 + 2 * ei2pi(1/8) + 2 * ei2pi(2/8) + -3 * ei2pi(3/8)) |10>

‎benchmarks/QuantumProgram/RUS/Figure10b/pre.hsl

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
Extended Dirac
2+
|00>
3+
|01>

‎benchmarks/QuantumProgram/RUS/Figure10c/circuit.qasm

+78
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,78 @@
1+
OPENQASM 3;
2+
include "stdgates.inc";
3+
qubit[2] qb;
4+
bit[2] outcome;
5+
6+
h qb[0];
7+
t qb[0];
8+
h qb[0];
9+
t qb[0];
10+
h qb[0];
11+
cz qb[0], qb[1];
12+
h qb[0];
13+
s qb[0];
14+
h qb[0];
15+
t qb[0];
16+
h qb[0];
17+
t qb[0];
18+
h qb[0];
19+
t qb[0];
20+
h qb[0];
21+
t qb[0];
22+
h qb[0];
23+
t qb[0];
24+
h qb[0];
25+
t qb[0];
26+
h qb[0];
27+
t qb[0];
28+
h qb[0];
29+
s qb[0];
30+
h qb[0];
31+
x qb[1];
32+
cz qb[0], qb[1];
33+
h qb[0];
34+
t qb[0];
35+
h qb[0];
36+
t qb[0];
37+
h qb[0];
38+
x qb[1];
39+
x qb[0];
40+
41+
outcome[0] = measure qb[0];
42+
while (!outcome[0]) { // loop-invariant.hsl
43+
h qb[0];
44+
t qb[0];
45+
h qb[0];
46+
t qb[0];
47+
h qb[0];
48+
cz qb[0], qb[1];
49+
h qb[0];
50+
s qb[0];
51+
h qb[0];
52+
t qb[0];
53+
h qb[0];
54+
t qb[0];
55+
h qb[0];
56+
t qb[0];
57+
h qb[0];
58+
t qb[0];
59+
h qb[0];
60+
t qb[0];
61+
h qb[0];
62+
t qb[0];
63+
h qb[0];
64+
t qb[0];
65+
h qb[0];
66+
s qb[0];
67+
h qb[0];
68+
x qb[1];
69+
cz qb[0], qb[1];
70+
h qb[0];
71+
t qb[0];
72+
h qb[0];
73+
t qb[0];
74+
h qb[0];
75+
x qb[1];
76+
x qb[0];
77+
outcome[0] = measure qb[0];
78+
}

‎benchmarks/QuantumProgram/RUS/Figure10c/loop-invariant.hsl

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
Extended Dirac
2+
(-7 + -7 * ei2pi(1/8) + 3 * ei2pi(2/8) + 3 * ei2pi(3/8)) |01> + (5 + -5 * ei2pi(1/8) + 3 * ei2pi(2/8) + 9 * ei2pi(3/8)) |11>
3+
(-3 + -3 * ei2pi(1/8) + 7 * ei2pi(2/8) + 7 * ei2pi(3/8)) |00> + (5 + -5 * ei2pi(1/8) + 3 * ei2pi(2/8) + 9 * ei2pi(3/8)) |10>

‎benchmarks/QuantumProgram/RUS/Figure10c/post.hsl

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
Extended Dirac
2+
(5 + -5 * ei2pi(1/8) + 3 * ei2pi(2/8) + 9 * ei2pi(3/8)) |11>
3+
(5 + -5 * ei2pi(1/8) + 3 * ei2pi(2/8) + 9 * ei2pi(3/8)) |10>

‎benchmarks/QuantumProgram/RUS/Figure10c/pre.hsl

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
Extended Dirac
2+
|00>
3+
|01>

‎benchmarks/QuantumProgram/RUS/Figure7/circuit.qasm

+40
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
OPENQASM 3;
2+
include "stdgates.inc";
3+
qubit[2] qb;
4+
bit[2] outcome;
5+
6+
h qb[0];
7+
tdg qb[0];
8+
h qb[0];
9+
cz qb[0], qb[1];
10+
h qb[1];
11+
t qb[1];
12+
h qb[1];
13+
tdg qb[1];
14+
h qb[1];
15+
cz qb[0], qb[1];
16+
h qb[0];
17+
tdg qb[0];
18+
h qb[0];
19+
x qb[0];
20+
21+
outcome[0] = measure qb[0];
22+
while (!outcome[0]) { // loop-invariant.hsl
23+
h qb[0];
24+
tdg qb[0];
25+
h qb[0];
26+
cz qb[0], qb[1];
27+
h qb[1];
28+
t qb[1];
29+
h qb[1];
30+
tdg qb[1];
31+
h qb[1];
32+
cz qb[0], qb[1];
33+
h qb[0];
34+
tdg qb[0];
35+
h qb[0];
36+
x qb[0];
37+
outcome[0] = measure qb[0];
38+
}
39+
40+
// outcome = measure qb;

‎benchmarks/QuantumProgram/RUS/Figure7/loop-invariant.hsl

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
Constants
2+
c1 := ei2pi(1/8)
3+
c2 := ei2pi(2/8)
4+
c3 := ei2pi(3/8)
5+
Extended Dirac
6+
(-1 + -1 * c2 + -2 * c3) |10> + c3 |11> - c1 |01>
7+
c1 |00> + (1 + 1 * c2 + -2 * c3) |11> - c3 |10>

‎benchmarks/QuantumProgram/RUS/Figure7/post.hsl

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
Constants
2+
c1 := ei2pi(1/8)
3+
c2 := ei2pi(2/8)
4+
c3 := ei2pi(3/8)
5+
Extended Dirac
6+
(-1 - c2 - 2 * c3) |10> + c3 |11>
7+
-c3 |10> + (1 + c2 - 2 * c3) |11>

‎benchmarks/QuantumProgram/RUS/Figure7/pre.hsl

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
Extended Dirac
2+
|00>
3+
|01>

‎benchmarks/QuantumProgram/RUS/Figure8/circuit.qasm

+26
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
OPENQASM 3;
2+
include "stdgates.inc";
3+
qubit[2] qb;
4+
bit[2] outcome;
5+
6+
h qb[0];
7+
t qb[0];
8+
cx qb[0], qb[1];
9+
h qb[0];
10+
cx qb[0], qb[1];
11+
t qb[0];
12+
h qb[0];
13+
x qb[0];
14+
15+
outcome[0] = measure qb[0];
16+
while (!outcome[0]) { // loop-invariant.hsl
17+
h qb[0];
18+
t qb[0];
19+
cx qb[0], qb[1];
20+
h qb[0];
21+
cx qb[0], qb[1];
22+
t qb[0];
23+
h qb[0];
24+
x qb[0];
25+
outcome[0] = measure qb[0];
26+
}

‎benchmarks/QuantumProgram/RUS/Figure8/loop-invariant.hsl

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
Constants
2+
c := ei2pi(1/8)
3+
Extended Dirac
4+
(1 + c * c) |01> + (2 * c) |10> + (1 - c * c) |11>
5+
(1 + c * c) |00> + (1 - c * c) |10> + (2 * c) |11>

‎benchmarks/QuantumProgram/RUS/Figure8/post.hsl

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
Constants
2+
c := ei2pi(1/8)
3+
Extended Dirac
4+
(2 * c) |10> + (1 - c ^ 2) |11>
5+
(1 - c ^ 2) |10> + (2 * c) |11>

‎benchmarks/QuantumProgram/RUS/Figure8/pre.hsl

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
Extended Dirac
2+
|00>
3+
|01>

‎benchmarks/QuantumProgram/RUS/Figure9/circuit.qasm

+36
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
OPENQASM 3;
2+
include "stdgates.inc";
3+
qubit[2] qb;
4+
bit[2] outcome;
5+
6+
h qb[0];
7+
t qb[0];
8+
h qb[0];
9+
cz qb[0], qb[1];
10+
tdg qb[0];
11+
h qb[0];
12+
t qb[0];
13+
cz qb[0], qb[1];
14+
z qb[1];
15+
h qb[0];
16+
t qb[0];
17+
h qb[0];
18+
x qb[0];
19+
20+
outcome[0] = measure qb[0];
21+
while (!outcome[0]) { // loop-invariant.hsl
22+
h qb[0];
23+
t qb[0];
24+
h qb[0];
25+
cz qb[0], qb[1];
26+
tdg qb[0];
27+
h qb[0];
28+
t qb[0];
29+
cz qb[0], qb[1];
30+
z qb[1];
31+
h qb[0];
32+
t qb[0];
33+
h qb[0];
34+
x qb[0];
35+
outcome[0] = measure qb[0];
36+
}

0 commit comments

Comments
 (0)