Results

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.

Results.preprocessing_time

Time spent during preprocessing (in seconds).

Results.check_time

Time spent during equivalence check (in seconds).

Results.equivalence

Final result of the equivalence check.

Furthermore, there is some information on the conducted simulations.

Results.started_simulations

Number of simulations that have been started.

Results.performed_simulations

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.

Results.cex_input

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

Results.cex_output1

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

Results.cex_output2

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.