FMCAD2018 submission state of FloVer