[[21, ["SpecPastNoWbexcPC"], "rIC3 -e kind --no-preproc", [20, 16.95656967163086, 209.27860856056213, "OK", "RESULT: UNSAT\n", "[INFO ] the model to be checked: /home/louis-emile/OS-formal-ibex/dv/formal/build/aiger-82.aig\n[INFO ] origin ts has 9237609 vars, 1373680 inputs, 6882 latches, 12783947 clauses, 542 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"]]]