Update formal_verification.md

kokke · web-flow · commit 711981bf83be · 2021-02-20T00:42:31.000+01:00
diff --git a/formal_verification.md b/formal_verification.md
@@ -110,7 +110,7 @@ int main(int argc, char* argv[])
 }
 ```
 
-My modest hardware (T420/i5-2520M@2.5GHz/8GB) completes a check of a 7-char pattern and a 3-char text string in 20-30 minutes (size includes null-termination), whereas 8/5 takes +8 hours:
+My modest hardware (T420/i5-2520M@2.5GHz/8GB) completes a check of a 7-char pattern and a 3-char text string in 20-30 minutes (size includes null-termination), whereas 8/5 takes +8 hours, 8/6 takes 14 hours:
 
 ```
 klee@780432c1aaae0:~$ clang -emit-llvm -g -c -O0 -Xclang -disable-O0-optnone re.c

Original file line number	Diff line number	Diff line change
`@@ -110,7 +110,7 @@ int main(int argc, char* argv[])`
`110`	`110`	`}`
`111`	`111`	```
`112`	`112`
`113`		`-My modest hardware (T420/[email protected]/8GB) completes a check of a 7-char pattern and a 3-char text string in 20-30 minutes (size includes null-termination), whereas 8/5 takes +8 hours:`
	`113`	`+My modest hardware (T420/[email protected]/8GB) completes a check of a 7-char pattern and a 3-char text string in 20-30 minutes (size includes null-termination), whereas 8/5 takes +8 hours, 8/6 takes 14 hours:`
`114`	`114`
`115`	`115`	```
`116`	`116`	`klee@780432c1aaae0:~$ clang -emit-llvm -g -c -O0 -Xclang -disable-O0-optnone re.c`