Nein, es gibt keine Umrechnungsformel, denn:
AVI ist nur ein Container, das heißt alle beliebigen Formate können dort rein gepackt werden (gut, fast alle). Also könnte ein Video in der Avi-Datei genau so groß sein wie eines, dass doppelt so lang ist und im selben Format vorliegt...
Das liegt an der Effizients des verwendeten Codecs.
Da aber die DVD immer einen Mpeg-Codec benutzt, wäre daher das doppelt so lange Video auch doppelt so groß wie das Andere.
Wenn du allerdings ein Video in eine bestimmte Größe auf der DVD haben willst, dann kannst du einfach folgendes machen:
Du klickst in QuEnc neben der Input-File auf den Button mit dem Ausrufezeichen. Dort erscheint dann eine MessageBox mit Informationen, u.a. auch die Länge des Videos. Mit dieser Angabe kannst du nun die Bitrate errechnen, die du benötigst, um die gewünschte Zielgröße zu erreichen.