From d50cfc285205f63d95a536bf749dc7af52753980 Mon Sep 17 00:00:00 2001 From: Lucas Cordeiro Date: Sat, 20 Jan 2024 07:22:18 +0000 Subject: [PATCH] Update stats-30s.txt --- scripts/competitions/svcomp/stats-30s.txt | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/scripts/competitions/svcomp/stats-30s.txt b/scripts/competitions/svcomp/stats-30s.txt index a88644fc894..f1840c064f3 100644 --- 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