I made the video by encoding some random clip with ffmpeg -i random_video.mp4 -c:v libaom-av1 -crf 30 test.mp4 (seems to work just as well with libsvtav1)
and you're absolutely sure the files are av1? if you try to open the video files with ffmpeg, eg: ffmpeg -i videofile.mkv, what does it say the codec is?
at least my av1 videos say: Stream #0:0[0x1](und): Video: av1 (libdav1d) (Main) (av01 / 0x31307661), yuv420p(tv, progressive), 854x854, 464 kb/s, SAR 1:1 DAR 1:1, 30 fps, 30 tbr, 16k tbn (default)