BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/concrat/goblint.xml name: goblint run sets: large-program.Concrat, concrat-libs.Concrat, concrat.Concrat, svcomp.Concrat date: Tue, 2023-10-31 09:55:17 UTC tool: Goblint heads/pldi-bench-0-gec49852db tool executable: ./goblint options: parallel runs: 2 resource limits: - memory: 15000.0 MB - time: 900 s - cpu cores: 8 hardware requirements: - cpu cores: 8 - memory: 15000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: goblint-new os: Linux-5.15.0-86-generic-x86_64-with-glibc2.35 cpu: AMD EPYC Processor (with IBPB) - cores: 16 - max frequency: 2250.0 MHz ram: 33649.393663999996 MB ------------------------------------------------------------ large-program.Concrat Run set 1 of 4 with options '--conf conf/examples/large-program.json --enable ana.sv-comp.enabled --enable ana.sv-comp.functions --disable witness.enabled --set lib.activated[+] zlib --set lib.activated[+] pcre --set lib.activated[+] liblzma' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------ axel/axel.yml EXCEPTION (Invalid_argument) 4.32 4.36 None C-Thread-Pool/C-Thread-Pool.yml unknown 0.22 0.24 None dnspod-sr/dnspod-sr.yml unknown 49.29 49.30 None EasyLogger/EasyLogger.yml unknown 1.88 1.88 None fzy/fzy.yml unknown 0.62 0.62 None klib/klib.yml unknown 0.35 0.35 None kona/kona.yml unknown 0.79 0.81 None level-ip/level-ip.yml unknown 1.27 1.30 None libfaketime/libfaketime.yml unknown 0.14 0.14 None lmdb/lmdb.yml unknown 208.66 208.71 None Mirai-Source-Code/Mirai-Source-Code.yml unknown 1.23 1.23 None nnn/nnn.yml unknown 8.58 8.58 None phpspy/phpspy.yml unknown 25.54 25.57 None pigz/pigz.yml EXCEPTION (Failure) 0.35 0.35 None ProcDump-for-Linux/ProcDump-for-Linux.yml unknown 6.75 6.76 None Remotery/Remotery.yml unknown 0.61 0.61 None streem/streem.yml TIMEOUT 900.71 900.81 None the_silver_searcher/the_silver_searcher.yml unknown 5.30 5.32 None uthash/uthash.yml unknown 0.90 0.90 None ------------------------------------------------------------------------------------------------------------ Run set 1 done 1217.84 995.22 - concrat-libs.Concrat Run set 2 of 4 with options '--conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --enable ana.sv-comp.enabled --enable ana.sv-comp.functions --disable witness.enabled --set lib.activated[+] zlib --set lib.activated[+] pcre --set lib.activated[+] liblzma' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------ axel/axel.yml TIMEOUT 900.71 900.85 None C-Thread-Pool/C-Thread-Pool.yml unknown 0.37 0.38 None dnspod-sr/dnspod-sr.yml unknown 795.24 795.27 None EasyLogger/EasyLogger.yml unknown 11.88 11.88 None fzy/fzy.yml unknown 16.55 16.55 None klib/klib.yml unknown 2.26 2.26 None kona/kona.yml TIMEOUT 900.85 900.88 None level-ip/level-ip.yml ERROR (verify) 26.01 26.03 None libfaketime/libfaketime.yml true 0.16 0.17 None lmdb/lmdb.yml EXCEPTION (Stack overflow) 44.45 44.46 None Mirai-Source-Code/Mirai-Source-Code.yml unknown 8.61 8.61 None nnn/nnn.yml unknown 117.52 117.53 None phpspy/phpspy.yml EXCEPTION (Stack overflow) 146.16 146.18 None pigz/pigz.yml EXCEPTION (Failure) 0.40 0.40 None ProcDump-for-Linux/ProcDump-for-Linux.yml unknown 80.92 80.93 None Remotery/Remotery.yml EXCEPTION (Stack overflow) 25.12 25.13 None streem/streem.yml EXCEPTION (Stack overflow) 211.73 211.75 None the_silver_searcher/the_silver_searcher.yml EXCEPTION (Stack overflow) 97.36 97.37 None uthash/uthash.yml true 3.65 3.66 None ------------------------------------------------------------------------------------------------------------ Run set 2 done 3390.32 1728.49 - concrat.Concrat Run set 3 of 4 with options '--conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --enable ana.sv-comp.enabled --enable ana.sv-comp.functions --disable witness.enabled' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------ axel/axel.yml TIMEOUT 900.72 900.80 None C-Thread-Pool/C-Thread-Pool.yml unknown 0.37 0.37 None dnspod-sr/dnspod-sr.yml unknown 791.25 791.30 None EasyLogger/EasyLogger.yml unknown 11.79 11.79 None fzy/fzy.yml unknown 16.42 16.43 None klib/klib.yml unknown 2.31 2.31 None kona/kona.yml TIMEOUT 900.85 900.89 None level-ip/level-ip.yml ERROR (verify) 25.90 25.91 None libfaketime/libfaketime.yml true 0.17 0.17 None lmdb/lmdb.yml EXCEPTION (Stack overflow) 43.93 43.94 None Mirai-Source-Code/Mirai-Source-Code.yml unknown 8.49 8.49 None nnn/nnn.yml unknown 120.28 120.31 None phpspy/phpspy.yml EXCEPTION (Stack overflow) 144.22 144.23 None pigz/pigz.yml EXCEPTION (Failure) 0.39 0.39 None ProcDump-for-Linux/ProcDump-for-Linux.yml unknown 80.05 80.06 None Remotery/Remotery.yml EXCEPTION (Stack overflow) 24.42 24.42 None streem/streem.yml EXCEPTION (Stack overflow) 210.82 210.85 None the_silver_searcher/the_silver_searcher.yml EXCEPTION (Stack overflow) 137.62 137.63 None uthash/uthash.yml true 3.52 3.53 None ------------------------------------------------------------------------------------------------------------ Run set 3 done 3423.92 1724.31 - svcomp.Concrat Run set 4 of 4 with options '--conf conf/svcomp.json' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------ axel/axel.yml TIMEOUT 900.69 900.77 None C-Thread-Pool/C-Thread-Pool.yml unknown 16.28 16.29 None dnspod-sr/dnspod-sr.yml TIMEOUT 900.66 900.70 None EasyLogger/EasyLogger.yml unknown 49.57 49.58 None fzy/fzy.yml TIMEOUT 900.66 900.70 None klib/klib.yml TIMEOUT 900.66 900.73 None kona/kona.yml EXCEPTION (Stack overflow) 63.16 63.17 None level-ip/level-ip.yml TIMEOUT 900.64 900.70 None libfaketime/libfaketime.yml true 0.18 0.18 None lmdb/lmdb.yml EXCEPTION (Stack overflow) 87.92 87.93 None Mirai-Source-Code/Mirai-Source-Code.yml EXCEPTION (Failure) 0.17 0.17 None nnn/nnn.yml TIMEOUT 900.74 900.77 None phpspy/phpspy.yml TIMEOUT 900.69 900.77 None pigz/pigz.yml EXCEPTION (Failure) 0.54 0.54 None ProcDump-for-Linux/ProcDump-for-Linux.yml TIMEOUT 900.72 900.75 None Remotery/Remotery.yml EXCEPTION (Stack overflow) 32.13 32.14 None streem/streem.yml TIMEOUT 900.85 900.92 None the_silver_searcher/the_silver_searcher.yml TIMEOUT 900.68 900.71 None uthash/uthash.yml true 4.95 4.95 None ------------------------------------------------------------------------------------------------------------ Run set 4 done 9262.33 4674.01 - Statistics: 76 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 70 Score: 0 (max: 0)