[[7, ["Ibex_SpecEnUnreach"], "rIC3 -e kind --no-preproc", [20, 16.023452758789062, 178.1286814212799, "OK", "RESULT: UNSAT\n", "[INFO ] the model to be checked: /home/louis-emile/OS-formal-ibex/dv/formal/build/aiger-90.aig\n[INFO ] origin ts has 9178132 vars, 1372307 inputs, 6882 latches, 12664060 clauses, 207 constraints\n[WARN ] Kind does not currently detect counter-example. Please run BMC separately or use the portfolio mode if needed.\n[INFO ] kind depth: 1\n[INFO ] k-induction proofed in depth 1\n"]]]