Since there are no virus naming conventions there is no way to directly compare so I couldn’t say if avast scans for them or its equivalent virus name.
I guess we will have to wait for ‘apryan’ to get back to us before we can decide if this is clean or not. As in why they think it is either of the two viruses they indicated.
The fact that the error “Faulting application wmiprvse.exe, version 5.1.2600.2180” seems to be indicating the windows version of wmiprvse.exe and not a fake (although that could be subject to code injection) it is more likely that it is a simple error in that module. However, if there are any symptoms that ‘apryan’ hasn’t given us we can’t say one way or the other if it is a virus or not.