add _all/OEGrover and its corresponding unit_tests

benchmarks/_all/OEGrover/02/circuit.qasm

@@ -0,0 +1,17 @@
+OPENQASM 2.0;
+include "qelib1.inc";
+qreg qubits[3];
+
+x qubits[0];
+cz qubits[0], qubits[1];
+x qubits[0];
+h qubits[0];
+h qubits[1];
+x qubits[0];
+x qubits[1];
+cz qubits[0], qubits[1];
+x qubits[0];
+x qubits[1];
+h qubits[0];
+h qubits[1];
+z qubits[2];

benchmarks/_all/OEGrover/02/post.hsl

@@ -0,0 +1,4 @@
+Predicates
+p := (and (> (* real($) real($)) (* real(b) real(b))) (= imag($) 0))
+Extended Dirac
+p |011>

benchmarks/_all/OEGrover/02/post.spec

@@ -0,0 +1,14 @@
+Predicates
+p1 := (and (< (* $R $R) (* aR aR)) (= $I 0))
+p2 := (and (= $R 0) (= $I 0))
+p3 := (and (> (* $R $R) (* bR bR)) (= $I 0))
+Root States 0
+Colored Transitions
+[1,1](2, 1) -> 0
+[2,1](3, 3) -> 1
+[2,1](3, 4) -> 2
+[3,1](5, 6) -> 3
+[3,1](5, 7) -> 4
+[p2,1] -> 5
+[p1,1] -> 6
+[p3,1] -> 7

benchmarks/_all/OEGrover/02/pre.hsl

@@ -0,0 +1,8 @@
+Extended Dirac
+b |01> + a |*> # |1>
+Constraints
+3 * real(a) > real(b)
+real(a) > 0
+real(b) > 0
+imag(a) = 0
+imag(b) = 0

benchmarks/_all/OEGrover/02/pre.spec

@@ -0,0 +1,18 @@
+Constants
+c0 := 0
+Root States 0
+Colored Transitions
+[1,1](2, 1) -> 0
+[2,1](3, 3) -> 1
+[2,1](3, 4) -> 2
+[3,1](5, 6) -> 3
+[3,1](5, 7) -> 4
+[c0,1] -> 5
+[a,1] -> 6
+[b,1] -> 7
+Constraints
+3 * real(a) > real(b)
+real(a) > 0
+real(b) > 0
+imag(a) = 0
+imag(b) = 0

benchmarks/_all/OEGrover/03/circuit.qasm

@@ -0,0 +1,27 @@
+OPENQASM 2.0;
+include "qelib1.inc";
+qreg qubits[6];
+
+x qubits[0];
+x qubits[2];
+ccx qubits[0], qubits[1], qubits[4];
+cz qubits[4], qubits[2];
+ccx qubits[0], qubits[1], qubits[4];
+x qubits[0];
+x qubits[2];
+h qubits[0];
+h qubits[1];
+h qubits[2];
+x qubits[0];
+x qubits[1];
+x qubits[2];
+ccx qubits[0], qubits[1], qubits[4];
+cz qubits[4], qubits[2];
+ccx qubits[0], qubits[1], qubits[4];
+x qubits[0];
+x qubits[1];
+x qubits[2];
+h qubits[0];
+h qubits[1];
+h qubits[2];
+z qubits[3];

benchmarks/_all/OEGrover/03/post.hsl

@@ -0,0 +1,4 @@
+Predicates
+p := (and (> (* real($) real($)) (* real(b) real(b))) (= imag($) 0))
+Extended Dirac
+p |010100>

benchmarks/_all/OEGrover/03/post.spec

@@ -0,0 +1,22 @@
+Predicates
+p1 := (and (= real($) 0) (= imag($) 0))
+p2 := (and (< (* real($) real($)) (* real(a) real(a))) (= imag($) 0))
+p3 := (and (> (* real($) real($)) (* real(b) real(b))) (= imag($) 0))
+Root States 0
+Colored Transitions
+[1,1](2, 1) -> 0
+[2,1](3, 3) -> 1
+[2,1](3, 4) -> 2
+[3,1](5, 5) -> 3
+[3,1](6, 5) -> 4
+[4,1](7, 8) -> 5
+[4,1](7, 9) -> 6
+[5,1](10, 10) -> 7
+[5,1](11, 10) -> 8
+[5,1](12, 10) -> 9
+[6,1](13, 13) -> 10
+[6,1](14, 13) -> 11
+[6,1](15, 13) -> 12
+[p1,1] -> 13
+[p2,1] -> 14
+[p3,1] -> 15

benchmarks/_all/OEGrover/03/pre.hsl

@@ -0,0 +1,8 @@
+Extended Dirac
+b |010> + a |*> # |100>
+Constraints
+7 * real(a) > real(b)
+real(a) > 0
+real(b) > 0
+imag(a) = 0
+imag(b) = 0

benchmarks/_all/OEGrover/03/pre.spec

@@ -0,0 +1,26 @@
+Constants
+c0 := 0
+Root States 0
+Colored Transitions
+[1,1](2, 1) -> 0
+[2,1](3, 3) -> 1
+[2,1](3, 4) -> 2
+[3,1](5, 5) -> 3
+[3,1](6, 5) -> 4
+[4,1](7, 8) -> 5
+[4,1](7, 9) -> 6
+[5,1](10, 10) -> 7
+[5,1](11, 10) -> 8
+[5,1](12, 10) -> 9
+[6,1](13, 13) -> 10
+[6,1](14, 13) -> 11
+[6,1](15, 13) -> 12
+[c0,1] -> 13
+[a,1] -> 14
+[b,1] -> 15
+Constraints
+7 * real(a) > real(b)
+real(a) > 0
+real(b) > 0
+imag(a) = 0
+imag(b) = 0

benchmarks/_all/OEGrover/04/circuit.qasm

@@ -0,0 +1,35 @@
+OPENQASM 2.0;
+include "qelib1.inc";
+qreg qubits[8];
+
+x qubits[0];
+x qubits[2];
+ccx qubits[0], qubits[1], qubits[5];
+ccx qubits[2], qubits[5], qubits[6];
+cz qubits[6], qubits[3];
+ccx qubits[2], qubits[5], qubits[6];
+ccx qubits[0], qubits[1], qubits[5];
+x qubits[0];
+x qubits[2];
+h qubits[0];
+h qubits[1];
+h qubits[2];
+h qubits[3];
+x qubits[0];
+x qubits[1];
+x qubits[2];
+x qubits[3];
+ccx qubits[0], qubits[1], qubits[5];
+ccx qubits[2], qubits[5], qubits[6];
+cz qubits[6], qubits[3];
+ccx qubits[2], qubits[5], qubits[6];
+ccx qubits[0], qubits[1], qubits[5];
+x qubits[0];
+x qubits[1];
+x qubits[2];
+x qubits[3];
+h qubits[0];
+h qubits[1];
+h qubits[2];
+h qubits[3];
+z qubits[4];

benchmarks/_all/OEGrover/04/post.hsl

@@ -0,0 +1,4 @@
+Predicates
+p := (and (> (* real($) real($)) (* real(b) real(b))) (= imag($) 0))
+Extended Dirac
+p |01011000>

benchmarks/_all/OEGrover/04/post.spec

@@ -0,0 +1,27 @@
+Predicates
+p1 := (and (= real($) 0) (= imag($) 0))
+p2 := (and (< (* real($) real($)) (* real(a) real(a))) (= imag($) 0))
+p3 := (and (> (* real($) real($)) (* real(b) real(b))) (= imag($) 0))
+Root States 0
+Colored Transitions
+[1,1](2, 1) -> 0
+[2,1](3, 3) -> 1
+[2,1](3, 4) -> 2
+[3,1](5, 5) -> 3
+[3,1](6, 5) -> 4
+[4,1](7, 7) -> 5
+[4,1](7, 8) -> 6
+[5,1](9, 10) -> 7
+[5,1](9, 11) -> 8
+[6,1](12, 12) -> 9
+[6,1](13, 12) -> 10
+[6,1](14, 12) -> 11
+[7,1](15, 15) -> 12
+[7,1](16, 15) -> 13
+[7,1](17, 15) -> 14
+[8,1](18, 18) -> 15
+[8,1](19, 18) -> 16
+[8,1](20, 18) -> 17
+[p1,1] -> 18
+[p2,1] -> 19
+[p3,1] -> 20

benchmarks/_all/OEGrover/04/pre.hsl

@@ -0,0 +1,8 @@
+Extended Dirac
+b |0101> + a |*> # |1000>
+Constraints
+15 * real(a) > real(b)
+real(a) > 0
+real(b) > 0
+imag(a) = 0
+imag(b) = 0

benchmarks/_all/OEGrover/04/pre.spec

@@ -0,0 +1,31 @@
+Constants
+c0 := 0
+Root States 0
+Colored Transitions
+[1,1](2, 1) -> 0
+[2,1](3, 3) -> 1
+[2,1](3, 4) -> 2
+[3,1](5, 5) -> 3
+[3,1](6, 5) -> 4
+[4,1](7, 7) -> 5
+[4,1](7, 8) -> 6
+[5,1](9, 10) -> 7
+[5,1](9, 11) -> 8
+[6,1](12, 12) -> 9
+[6,1](13, 12) -> 10
+[6,1](14, 12) -> 11
+[7,1](15, 15) -> 12
+[7,1](16, 15) -> 13
+[7,1](17, 15) -> 14
+[8,1](18, 18) -> 15
+[8,1](19, 18) -> 16
+[8,1](20, 18) -> 17
+[c0,1] -> 18
+[a,1] -> 19
+[b,1] -> 20
+Constraints
+15 * real(a) > real(b)
+real(a) > 0
+real(b) > 0
+imag(a) = 0
+imag(b) = 0

benchmarks/_all/OEGrover/05/circuit.qasm

@@ -0,0 +1,45 @@
+OPENQASM 2.0;
+include "qelib1.inc";
+qreg qubits[10];
+
+x qubits[0];
+x qubits[2];
+x qubits[4];
+ccx qubits[0], qubits[1], qubits[6];
+ccx qubits[2], qubits[6], qubits[7];
+ccx qubits[3], qubits[7], qubits[8];
+cz qubits[8], qubits[4];
+ccx qubits[3], qubits[7], qubits[8];
+ccx qubits[2], qubits[6], qubits[7];
+ccx qubits[0], qubits[1], qubits[6];
+x qubits[0];
+x qubits[2];
+x qubits[4];
+h qubits[0];
+h qubits[1];
+h qubits[2];
+h qubits[3];
+h qubits[4];
+x qubits[0];
+x qubits[1];
+x qubits[2];
+x qubits[3];
+x qubits[4];
+ccx qubits[0], qubits[1], qubits[6];
+ccx qubits[2], qubits[6], qubits[7];
+ccx qubits[3], qubits[7], qubits[8];
+cz qubits[8], qubits[4];
+ccx qubits[3], qubits[7], qubits[8];
+ccx qubits[2], qubits[6], qubits[7];
+ccx qubits[0], qubits[1], qubits[6];
+x qubits[0];
+x qubits[1];
+x qubits[2];
+x qubits[3];
+x qubits[4];
+h qubits[0];
+h qubits[1];
+h qubits[2];
+h qubits[3];
+h qubits[4];
+z qubits[5];

benchmarks/_all/OEGrover/05/post.hsl

@@ -0,0 +1,4 @@
+Predicates
+p := (and (> (* real($) real($)) (* real(b) real(b))) (= imag($) 0))
+Extended Dirac
+p |0101010000>

benchmarks/_all/OEGrover/05/post.spec

@@ -0,0 +1,32 @@
+Predicates
+p1 := (and (= real($) 0) (= imag($) 0))
+p2 := (and (< (* real($) real($)) (* real(a) real(a))) (= imag($) 0))
+p3 := (and (> (* real($) real($)) (* real(b) real(b))) (= imag($) 0))
+Root States 0
+Colored Transitions
+[1,1](2, 1) -> 0
+[2,1](3, 3) -> 1
+[2,1](3, 4) -> 2
+[3,1](5, 5) -> 3
+[3,1](6, 5) -> 4
+[4,1](7, 7) -> 5
+[4,1](7, 8) -> 6
+[5,1](9, 9) -> 7
+[5,1](10, 9) -> 8
+[6,1](11, 12) -> 9
+[6,1](11, 13) -> 10
+[7,1](14, 14) -> 11
+[7,1](15, 14) -> 12
+[7,1](16, 14) -> 13
+[8,1](17, 17) -> 14
+[8,1](18, 17) -> 15
+[8,1](19, 17) -> 16
+[9,1](20, 20) -> 17
+[9,1](21, 20) -> 18
+[9,1](22, 20) -> 19
+[10,1](23, 23) -> 20
+[10,1](24, 23) -> 21
+[10,1](25, 23) -> 22
+[p1,1] -> 23
+[p2,1] -> 24
+[p3,1] -> 25

benchmarks/_all/OEGrover/05/pre.hsl

@@ -0,0 +1,8 @@
+Extended Dirac
+b |01010> + a |*> # |10000>
+Constraints
+31 * real(a) > real(b)
+real(a) > 0
+real(b) > 0
+imag(a) = 0
+imag(b) = 0