This class captures the main results and statistics from run().

class mqt.qcec.EquivalenceCheckingManager.Results

Equivalence checking results

Most importantly, it provides the preprocessing as well as the equivalence checking time and the obtained results.


Time spent during preprocessing (in seconds).


Time spent during equivalence check (in seconds).


Final result of the equivalence check.

Furthermore, there is some information on the conducted simulations.


Number of simulations that have been started.


Number of simulations that have been finished.

If configured, it also includes state vector representations of the state used as input and the two resulting states in case a counterexample is obtained by any simulation.


State vector representation of the initial state that produced a counterexample.


State vector representation of the first circuit’s counterexample output state.


State vector representation of the second circuit’s counterexample output state.

Last but not least, the class provides some convenience functions to check and print the result.

Results.considered_equivalent(self: mqt.qcec.pyqcec.EquivalenceCheckingManager.Results) bool

Convenience function to check whether the obtained result is to be considered equivalent.

Results.json(self: mqt.qcec.pyqcec.EquivalenceCheckingManager.Results) json

Returns a JSON-style dictionary of the results.

Results.__repr__(self: mqt.qcec.pyqcec.EquivalenceCheckingManager.Results) str

Prints a JSON-formatted representation of the results.