string(5) "btor2"
Fake temp mail