diff --git a/@PVS_checker/parse_pvs_result.m b/@PVS_checker/parse_pvs_result.m
index 3f552b46af50d2212495cf2958ecdf4ae37727db..817adb769cf7c171654004ffa4487aeef81f48ad 100644
--- a/@PVS_checker/parse_pvs_result.m
+++ b/@PVS_checker/parse_pvs_result.m
@@ -29,7 +29,7 @@ else
                 search_str = sprintf('(?<=Proving formula %s[\\n]*)%s.*?(?=[ \\n]*Rerunning step)',char(found(i)),char(found(i)));
             elseif strncmp(object.pvs_version,'PVS Version 4.2',15)
                 search_str =  sprintf('(?<=Installing rewrite rule \\w+\\s\\s)%s.*?(?=[ \\n]*Rerunning step)',char(found(i)));
-            elseif strncmp(object.pvs_version,'PVS Version 5.0',15)
+            elseif strncmp(object.pvs_version,'PVS Version ',12) && str2num(object.pvs_version(13:15))>=5.0
                 search_str =  sprintf('(?<=Installing rewrite rule.*\\s\\s)%s.*?(?=[ \\n]*Rerunning step)',char(found(i)));
             end
             found2 = regexp(result,char(search_str),'match','once');