SWF to Mp4 automation supporting AS3

We need a tool that can convert flash files (swf) with embedded video and actionscript to a video file. - cmdline tool, no gui because running on server - cmdline tool must run (and compileable) on a Linux environment. Windows is also an option but less preferable. - conversion must support AS3. - encoding must support CUDA - output video must support several formats (mkv-h264, mp4-h264, avi-divx, raw etc) - output video format must be adjustable by parameter with at least support for 1280x720 at 25fps. - during conversion no frameloss is allowed. (f.e. no articifial frame duplication to reach original fps) - depending on hardware, conversion must be done 10 times faster then the duration of the movies (source swf file) - support for multiple threading - number of threads used must be set by parameter - output video must be playable at regular (single) speed - tool must support extensive exitcodes for errorhandling - source code must be delivered when requested, incl. makefiles - client will own all right, title and interest in to the source code exect of used code that is open source licensed. Happy to assign payment milestones