Multiple format criteria don't seem to work

[alex3kov]

• I've verified and I assure that I'm running youtube-dl 2019.01.02

• At least skimmed through the README, most notably the FAQ and BUGS sections

• Searched the bugtracker for similar issues including closed ones

• Checked that provided video/audio/playlist URLs (if any) are alive and playable in a browser

What is the purpose of your issue?

• Question

Description of your issue, suggested solution and other information

I'm trying to make this format selection logic work:
Select video with <=720 height AND with avc1 vcodec, combine it with audio in vorbis acodec. If those are not available, fall back to just video with <=720 height and bestaudio. Based on the examples in the manual:

youtube-dl --format "bestvideo[height<=720][vcodec=avc1]+bestaudio[acodec=vorbis]/best[height<=720]" "https://www.youtube.com/watch?v=Ks9Jy3I1tZs"

It downloads mp4 file with avc1 video, but with aac audio instead of vorbis. Available formats for this video:

~: youtube-dl -F "https://www.youtube.com/watch?v=Ks9Jy3I1tZs"
[youtube] Ks9Jy3I1tZs: Downloading webpage
[youtube] Ks9Jy3I1tZs: Downloading video info webpage
[youtube] Downloading just video Ks9Jy3I1tZs because of --no-playlist
[info] Available formats for Ks9Jy3I1tZs:
format code  extension  resolution note
249          webm       audio only DASH audio   62k , opus @ 50k, 11.29MiB
250          webm       audio only DASH audio   78k , opus @ 70k, 14.58MiB
171          webm       audio only DASH audio  130k , vorbis@128k, 23.68MiB
140          m4a        audio only DASH audio  132k , m4a_dash container, mp4a.40.2@128k, 29.10MiB
251          webm       audio only DASH audio  144k , opus @160k, 27.22MiB
160          mp4        256x144    144p  112k , avc1.4d400c, 24fps, video only, 13.56MiB
278          webm       256x144    144p  141k , webm container, vp9, 24fps, video only, 21.82MiB
242          webm       426x240    240p  224k , vp9, 24fps, video only, 29.55MiB
133          mp4        426x240    240p  327k , avc1.4d4015, 24fps, video only, 27.94MiB
243          webm       640x360    360p  411k , vp9, 24fps, video only, 50.69MiB
134          mp4        640x360    360p  653k , avc1.4d401e, 24fps, video only, 50.70MiB
244          webm       854x480    480p  758k , vp9, 24fps, video only, 75.49MiB
135          mp4        854x480    480p  945k , avc1.4d401e, 24fps, video only, 71.97MiB
136          mp4        1280x720   720p 1460k , avc1.4d401f, 24fps, video only, 109.08MiB
247          webm       1280x720   720p 1516k , vp9, 24fps, video only, 128.30MiB
248          webm       1920x1080  1080p 2696k , vp9, 24fps, video only, 346.44MiB
137          mp4        1920x1080  1080p 4316k , avc1.640028, 24fps, video only, 366.67MiB
17           3gp        176x144    small   79k , mp4v.20.3, mp4a.40.2@ 24k (22050Hz), 17.96MiB
36           3gp        320x180    small  220k , mp4v.20.3, mp4a.40.2 (22050Hz), 49.62MiB
43           webm       640x360    medium , vp8.0, vorbis@128k, 159.22MiB
18           mp4        640x360    medium  468k , avc1.42001E, mp4a.40.2@ 96k (44100Hz), 105.21MiB
22           mp4        1280x720   hd720  614k , avc1.64001F, mp4a.40.2@192k (44100Hz) (best)

My expectation is that youtube-dl downloads formats 136 (height<=720 and vcodec=avc1) and 171 (acodec=vorbis) and combines them in mkv, but it downloads 22 (avc1 + mp4a). Is that possible, am I missing something in parameters?

[dstftw]

No such exact vcodec name avc1.