Antivirus doesn't necessarily detect ransomware, though if you didn't "install" the file you're probably fine. Usually you'd need to click one of those UAC dialogs (you know, the one that asks whether to allow the program to make changes to your computer); if it merely disappeared you may be okay. You could upload one of the files to virustotal or try Malware Bytes.
