BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/concrat/goblint.xml name: goblint run sets: large-program.Concrat, large-program-widen.Concrat date: Mon, 2023-10-09 07:45:17 UTC tool: Goblint heads/svcomp24-conf-0-g94307d03c tool executable: ./goblint options: parallel runs: 7 resource limits: - memory: 4000.0 MB - time: 900 s - cpu cores: 1 hardware requirements: - cpu cores: 1 - memory: 4000.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 --cil.cstd c90 --enable ana.sv-comp.enabled --disable witness.enabled' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------ axel/axel.yml EXCEPTION (Invalid_argument) 4.24 4.24 None C-Thread-Pool/C-Thread-Pool.yml unknown 0.16 0.17 None dnspod-sr/dnspod-sr.yml unknown 52.73 52.74 None EasyLogger/EasyLogger.yml unknown 1.79 1.79 None fzy/fzy.yml unknown 0.59 0.59 None klib/klib.yml unknown 0.29 0.29 None kona/kona.yml unknown 0.75 0.77 None level-ip/level-ip.yml unknown 1.20 1.20 None libfaketime/libfaketime.yml unknown 0.09 0.09 None lmdb/lmdb.yml unknown 194.78 195.71 None minimap2/minimap2.yml unknown 76.43 76.44 None Mirai-Source-Code/Mirai-Source-Code.yml unknown 1.19 1.20 None nnn/nnn.yml unknown 8.52 8.53 None pg_repack/pg_repack.yml unknown 7.12 7.12 None phpspy/phpspy.yml unknown 26.11 26.12 None pianobar/pianobar.yml unknown 69.41 69.42 None pigz/pigz.yml EXCEPTION (Failure) 0.28 0.28 None ProcDump-for-Linux/ProcDump-for-Linux.yml unknown 6.55 6.55 None Remotery/Remotery.yml unknown 0.57 0.57 None siege/siege.yml unknown 13.15 13.16 None streem/streem.yml TIMEOUT 901.01 901.12 None the_silver_searcher/the_silver_searcher.yml unknown 4.93 4.93 None uthash/uthash.yml unknown 0.79 0.80 None ------------------------------------------------------------------------------------------------------------ Run set 1 done 1373.09 917.96 - large-program-widen.Concrat Run set 2 of 2 with options '--conf conf/examples/large-program.json --enable ana.context.widen --cil.cstd c90 --enable ana.sv-comp.enabled --disable witness.enabled' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------ axel/axel.yml EXCEPTION (Invalid_argument) 9.22 9.22 None C-Thread-Pool/C-Thread-Pool.yml unknown 0.19 0.19 None dnspod-sr/dnspod-sr.yml unknown 105.04 105.05 None EasyLogger/EasyLogger.yml unknown 4.98 4.98 None fzy/fzy.yml unknown 1.76 1.76 None klib/klib.yml unknown 0.35 0.36 None kona/kona.yml unknown 0.85 0.85 None level-ip/level-ip.yml unknown 1.88 1.88 None libfaketime/libfaketime.yml unknown 0.10 0.10 None lmdb/lmdb.yml TIMEOUT 901.08 905.03 None minimap2/minimap2.yml unknown 248.20 248.25 None Mirai-Source-Code/Mirai-Source-Code.yml unknown 1.21 1.21 None nnn/nnn.yml unknown 18.59 18.60 None pg_repack/pg_repack.yml unknown 31.12 31.12 None phpspy/phpspy.yml unknown 142.06 142.08 None pianobar/pianobar.yml unknown 252.62 252.64 None pigz/pigz.yml EXCEPTION (Failure) 0.29 0.30 None ProcDump-for-Linux/ProcDump-for-Linux.yml unknown 9.42 9.46 None Remotery/Remotery.yml unknown 1.33 1.34 None siege/siege.yml unknown 49.66 49.66 None streem/streem.yml OUT OF MEMORY 831.28 831.41 None the_silver_searcher/the_silver_searcher.yml unknown 8.20 8.21 None uthash/uthash.yml unknown 0.82 0.82 None ------------------------------------------------------------------------------------------------------------ Run set 2 done 2620.73 906.15 - Statistics: 46 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 46 Score: 0 (max: 0)