ideal hybrid-opt is realized and verified