Yosys Got time out bug

[splogdes]

[induction step 47] Solving problem with 867721 variables and 2657359 clauses..
ERROR: Assert `gotTimeout == false' failed in passes/sat/sat.cc:456.

Probaly just check for this at this point, I think it is just a timeout....