BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/concrat/goblint.xml name: goblint run sets: large-program.Concrat, svcomp.Concrat date: Fri, 2023-11-10 16:13:46 UTC tool: Goblint heads/pldi-bench-0-gf52baee45 tool executable: ./goblint options: resource limits: - memory: 24000.0 MB - time: 7200 s - cpu cores: 8 hardware requirements: - cpu cores: 8 - memory: 24000.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 2 with options '--conf conf/examples/large-program.json --enable ana.sv-comp.enabled --enable ana.sv-comp.functions --disable witness.graphml.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.22 4.22 None C-Thread-Pool/C-Thread-Pool.yml unknown 0.22 0.25 None dnspod-sr/dnspod-sr.yml unknown 48.41 48.42 None EasyLogger/EasyLogger.yml unknown 1.96 1.97 None fzy/fzy.yml unknown 0.62 0.66 None klib/klib.yml unknown 0.36 0.37 None level-ip/level-ip.yml unknown 1.27 1.27 None libfaketime/libfaketime.yml unknown 0.15 0.16 None lmdb/lmdb.yml unknown 205.17 205.22 None Mirai-Source-Code/Mirai-Source-Code.yml unknown 1.21 1.23 None nnn/nnn.yml unknown 8.81 8.81 None phpspy/phpspy.yml unknown 25.12 25.15 None pigz/pigz.yml unknown 104.46 104.50 None ProcDump-for-Linux/ProcDump-for-Linux.yml unknown 6.80 6.85 None Remotery/Remotery.yml unknown 0.62 0.62 None streem/streem.yml OUT OF MEMORY 5186.18 5186.61 None the_silver_searcher/the_silver_searcher.yml unknown 5.39 5.40 None uthash/uthash.yml unknown 0.85 0.86 None ------------------------------------------------------------------------------------------------------------ Run set 1 done 5602.16 5606.32 - svcomp.Concrat Run set 2 of 2 with options '--conf conf/svcomp.json' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------ axel/axel.yml TIMEOUT 7200.55 7201.34 None C-Thread-Pool/C-Thread-Pool.yml unknown 16.33 16.33 None dnspod-sr/dnspod-sr.yml TIMEOUT 7200.57 7201.28 None EasyLogger/EasyLogger.yml unknown 48.63 48.63 None fzy/fzy.yml unknown 3480.48 3480.81 None klib/klib.yml TIMEOUT 7200.44 7200.95 None level-ip/level-ip.yml TIMEOUT 7200.11 7200.73 None libfaketime/libfaketime.yml true 0.19 0.19 None lmdb/lmdb.yml EXCEPTION (Stack overflow) 90.13 90.13 None Mirai-Source-Code/Mirai-Source-Code.yml EXCEPTION (Failure) 0.17 0.17 None nnn/nnn.yml unknown 2317.76 2317.94 None phpspy/phpspy.yml EXCEPTION (Stack overflow) 1121.31 1121.39 None pigz/pigz.yml TIMEOUT 7200.82 7201.39 None ProcDump-for-Linux/ProcDump-for-Linux.yml EXCEPTION (Stack overflow) 939.28 939.36 None Remotery/Remotery.yml EXCEPTION (Stack overflow) 34.59 34.59 None streem/streem.yml EXCEPTION (Stack overflow) 1121.13 1121.23 None the_silver_searcher/the_silver_searcher.yml SEGMENTATION FAULT 2319.02 2319.31 None uthash/uthash.yml true 4.86 4.86 None ------------------------------------------------------------------------------------------------------------ Run set 2 done 47496.73 47504.31 - Statistics: 36 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 34 Score: 0 (max: 0)