4.txt

Do Gate Operations Normalization
Reducde to 11->11
MAX MODULE NUM is : 5
bool []
phasing [(cirq.CZ**0.5), cirq.S, (cirq.S**-1), cirq.T, (cirq.T**-1)]
sp [cirq.H]
entangle []
[cirq.H]
{(cirq.CZ**0.5): 8, cirq.S: 8, (cirq.S**-1): 8, cirq.T: 8, (cirq.T**-1): 8}
dict_keys([(cirq.CZ**0.5), cirq.S, (cirq.S**-1), cirq.T, (cirq.T**-1)])
{cirq.S: (cirq.S**-1), (cirq.S**-1): cirq.S, cirq.T: (cirq.T**-1), (cirq.T**-1): cirq.T}
Rule Selection Rotuine
C_RULE_ID ['triple_span', 'span', 'open_and_close_B', 'open_and_close_P', 'open_and_close_NC']
P_RULE_ID ['span', 'open_and_close_B']
NC_RULE_ID ['add']
prior module generating
module_gate_num is 2
prior module gen at level 1 done
prior module gen at level 2 done
prior module gen at level 3 done
prior module gen done
Modular Search state search!
concrete_criterion : False
naive_module_gen : True
**Initial State is**
EMPTY STATE
********************
Initdiffers
[('Entangle', ({frozenset({1}), frozenset({0})}, {frozenset({0, 1})}))]
===================
curr state

EMPTY STATE
curr_targ_differ ('Entangle', ({frozenset({1}), frozenset({0})}, {frozenset({0, 1})}))
check_order : stacked, targ_diff [] ('Entangle', ({frozenset({1}), frozenset({0})}, {frozenset({0, 1})}))
cost (0, 0, 0, 2)
{'|00⟩': 'IDENTICAL', '|01⟩': ('Entangle', ({frozenset({1}), frozenset({0})}, {frozenset({0, 1})})), '|10⟩': ('Entangle', ({frozenset({1}), frozenset({0})}, {frozenset({0, 1})})), '|11⟩': 'IDENTICAL'}
** cnt_num_of_passed_module after seeing all modules in pool ** 2
===================
curr state

Moment #0 
	-[ H(0) H(1)]
Moment #1 
	-[ CZ**0.5(0, 1)]

curr_targ_differ ('Entangle', ({frozenset({0, 1})}, {frozenset({1}), frozenset({0})}))
check_order : stacked, targ_diff [('Entangle', ({frozenset({1}), frozenset({0})}, {frozenset({0, 1})}))] ('Entangle', ({frozenset({0, 1})}, {frozenset({1}), frozenset({0})}))
cost (1, 3, 0, 3)
{'|00⟩': ('Entangle', ({frozenset({0, 1})}, {frozenset({1}), frozenset({0})})), '|01⟩': ('NoClassical', None), '|10⟩': ('NoClassical', None), '|11⟩': ('Entangle', ({frozenset({0, 1})}, {frozenset({1}), frozenset({0})}))}
** cnt_num_of_passed_module after seeing all modules in pool ** 0
Not Found. State Search is Over.
================================
Synthesis Result
Benchmark : 9
Mode : Ours
================================
None Found