[[22, ["Mem_En", "Mem_FstAddr", "Mem_FstEnd", "Mem_FstWData", "Mem_SndAddr", "Mem_SndEn", "Mem_SndEnd", "Mem_SndWData", "Mem_We", "Wrap_Mcause", "Wrap_Mcounteren", "Wrap_Mepc", "Wrap_Mie", "Wrap_Mscratch", "Wrap_Mseccfg", "Wrap_Mstatus", "Wrap_Mtval", "Wrap_Mtvec", "Wrap_Pc", "Wrap_Pmp_addr", "Wrap_Pmp_cfg", "Wrap_Priv"], "rIC3 -e kind --no-preproc", [20, 16.136425018310547, 176.9884214401245, "OK", "RESULT: UNSAT\n", "[INFO ] the model to be checked: /home/louis-emile/OS-formal-ibex/dv/formal/build/aiger-101.aig\n[WARN ] multiple properties detected. rIC3 has compressed them into a single property\n[INFO ] origin ts has 9240895 vars, 1373680 inputs, 6882 latches, 12790885 clauses, 543 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"]], [22, ["Wrap_RegA"], "rIC3 -e kind --no-preproc", [20, 0.6713027954101562, 2.4891669750213623, "OK", "RESULT: UNSAT\n", "[INFO ] the model to be checked: /home/louis-emile/OS-formal-ibex/dv/formal/build/aiger-139.aig\n[WARN ] no property to be checked\n"]], [22, ["Wrap_RegB"], "rIC3 -e kind --no-preproc", [20, 0.7132034301757812, 2.497861385345459, "OK", "RESULT: UNSAT\n", "[INFO ] the model to be checked: /home/louis-emile/OS-formal-ibex/dv/formal/build/aiger-112.aig\n[WARN ] no property to be checked\n"]]]