{"mode": "all", "exit": -11, "seconds": 1.08, "outcome": "signal 11", "tail": " fault\n\nThread 0x00007fdf6033f300 (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\nExtension modules: numpy._core._multiarray_umath, numpy.linalg._umath_linalg, numpy.random._common, numpy.random.bit_generator, numpy.random._bounded_integers, numpy.random._pcg64, numpy.random._generator, numpy.random._mt19937, numpy.random._philox, numpy.random._sfc64, numpy.random.mtrand, _cyutility, scipy._cyutility, scipy._lib._ccallback_c, nanobind_backend._nb_backend_v1 (total: 15)\n"}
{"mode": "zx", "exit": 0, "seconds": 1.08, "equivalence": "probably_not_equivalent", "check_time": 0.055, "outcome": "ok"}
{"mode": "simulation", "exit": 0, "seconds": 1.3, "equivalence": "probably_equivalent", "check_time": 0.325, "outcome": "ok"}
{"mode": "construction", "exit": 0, "seconds": 115.05, "equivalence": "no_information", "check_time": 113.986, "outcome": "ok"}
inconclusive: equivalence could not be decided within the time budget (no_information) [qcec fallback: all: signal 11; alternating: timeout; decided by combined]