{"mode": "all", "exit": -11, "seconds": 1.61, "outcome": "signal 11", "tail": "qcec child: circuits loaded\nqcec child: mqt.qcec imported 3.10.2\nFatal Python error: Segmentation fault\n\nThread 0x00007fb063503300 (most recent call first):\n  File \"/usr/local/lib/python3.12/site-packages/mqt/qcec/verify.py\", line 81 in verify\n  File \"/output/scratch/qcec_child.py\", line 15 in <module>\n"}
{"mode": "zx", "exit": 0, "seconds": 1.63, "equivalence": "probably_not_equivalent", "check_time": 0.023, "outcome": "ok"}
{"mode": "simulation", "exit": 0, "seconds": 1.59, "equivalence": "probably_equivalent", "check_time": 0.067, "outcome": "ok"}
{"mode": "alternating", "exit": 0, "seconds": 1.63, "equivalence": "equivalent_up_to_global_phase", "check_time": 0.102, "outcome": "ok"}
verified: submitted circuit is equivalent to the reference (equivalent_up_to_global_phase); t_count = 67 (reference 105) [qcec fallback: all: signal 11; decided by alternating]