Decision procedure runtime may be very small

On Codebuild we have seen "1.5222e-05s" when running in path-based mode.

Author: tautschnig

regression/cbmc/Failing_Assert1/test.desc

@@ -4,6 +4,6 @@ main.c
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
-^Runtime decision procedure: [0-9]+(\.[0-9]+)?s$
+^Runtime decision procedure: [0-9]+(\.[0-9]+(e-[0-9]+)?)?s$
 --
 ^warning: ignoring