<p>i wrote a custom concolic execution engine to make a keygen for the crackme with this control flow graph</p><p>it made angr eat over 60 GB of RAM and crash</p><p>it makes z3 take like 3 minutes per run and it fails on the second branch out of 64 final ones with unsat :(</p>