Results#

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

class 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.