[[18, ["Mem_L_Addr_Err", "Mem_L_Addr_NotErr", "Mem_L_CSR_Err", "Mem_L_CSR_NotErr", "Mem_L_Data_Err", "Mem_L_Data_NotErr", "Mem_L_PC_Err", "Mem_L_PC_NotErr"], "rIC3 -e kind --no-preproc", [20, 16.13936996459961, 154.18841457366943, "OK", "RESULT: UNSAT\n", "[INFO ] the model to be checked: /home/louis-emile/OS-formal-ibex/dv/formal/build/aiger-95.aig\n[WARN ] multiple properties detected. rIC3 has compressed them into a single property\n[INFO ] origin ts has 9228782 vars, 1373680 inputs, 6882 latches, 12765971 clauses, 478 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"]], [18, ["Mem_S_Data_Err", "Mem_S_Data_NotErr", "Mem_S_CSR_Err", "Mem_S_CSR_NotErr", "Mem_S_PC_Err", "Mem_S_PC_NotErr", "Mem_S_Addr_Err", "Mem_S_Addr_NotErr"], "rIC3 -e kind --no-preproc", [20, 13.949718475341797, 46.59492611885071, "OK", "RESULT: UNSAT\n"]]]