[[19, ["Top_CSR"], "rIC3 -e kind --no-preproc", [20, 14.704177856445312, 77.50707292556763, "OK", "RESULT: UNSAT\n", "[INFO ] the model to be checked: /home/louis-emile/OS-formal-ibex/dv/formal/build/aiger-118.aig\n[INFO ] origin ts has 9229145 vars, 1373680 inputs, 6882 latches, 12767025 clauses, 494 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"]], [19, ["Top_PC"], "rIC3 -e kind --no-preproc", [20, 15.789482116699219, 105.00511384010315, "OK", "RESULT: UNSAT\n", "[INFO ] the model to be checked: /home/louis-emile/OS-formal-ibex/dv/formal/build/aiger-85.aig\n[INFO ] origin ts has 9229145 vars, 1373680 inputs, 6882 latches, 12767025 clauses, 494 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 ] kind depth: 2\n[INFO ] k-induction proofed in depth 2\n"]], [19, ["Top_Addr", "Top_Data"], "rIC3 -e kind --no-preproc", [20, 13.109149932861328, 83.78421783447266, "OK", "RESULT: UNSAT\n", "[INFO ] the model to be checked: /home/louis-emile/OS-formal-ibex/dv/formal/build/aiger-209.aig\n[WARN ] multiple properties detected. rIC3 has compressed them into a single property\n[INFO ] origin ts has 9229212 vars, 1373680 inputs, 6882 latches, 12767191 clauses, 494 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"]]]