The question is not on sinatra / padrino, but on padrino / halcyon ;)
Still, there's no real good answer here. Padrino/Halcyon can both work on Rack, Thin or Mongrel, so performance would normally be almost the same. The difference will be in the style of code you want to write: simple and really explicit DSL like Sinatra/Padrino, or something more like Rails with Halcyon.