Update stats-30s.txt

kunjsong01 · Jan 20, 2024 · d50cfc2 · d50cfc2
1 parent 90d8690
commit d50cfc2
Showing 1 changed file with 9 additions and 9 deletions.
diff --git a/scripts/competitions/svcomp/stats-30s.txt b/scripts/competitions/svcomp/stats-30s.txt
@@ -1,11 +1,11 @@
 Statistics:          23805 Files
-  correct:           13788
-    correct true:     7568
-    correct false:    6220
-  incorrect:            26
-    incorrect true:     13
-    incorrect false:    13
-  unknown:            9991
-  Score:             20732 (max: 38482)
+  correct:           13809
+    correct true:     7638
+    correct false:    6171
+  incorrect:            25
+    incorrect true:     14
+    incorrect false:    11
+  unknown:            9971
+  Score:             20823 (max: 38482)
 
-GitHub actions: https://github.com/esbmc/esbmc/actions/runs/7529067836/
+GitHub actions: https://github.com/esbmc/esbmc/actions/runs/7586664809