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: Mon, 2023-10-09 14:55:42 UTC tool: Goblint heads/pldi-bench-0-ge4bf5ac88 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 4 with options '--conf conf/examples/large-program.json --enable ana.sv-comp.enabled --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.23 4.23 None C-Thread-Pool/C-Thread-Pool.yml unknown 0.17 0.17 None dnspod-sr/dnspod-sr.yml unknown 48.19 48.20 None EasyLogger/EasyLogger.yml unknown 1.84 1.84 None fzy/fzy.yml unknown 0.58 0.58 None klib/klib.yml unknown 0.31 0.31 None kona/kona.yml unknown 0.76 0.77 None level-ip/level-ip.yml unknown 1.23 1.23 None libfaketime/libfaketime.yml unknown 0.10 0.10 None lmdb/lmdb.yml unknown 193.38 193.41 None Mirai-Source-Code/Mirai-Source-Code.yml unknown 1.20 1.21 None nnn/nnn.yml unknown 8.60 8.60 None phpspy/phpspy.yml unknown 24.65 24.66 None pigz/pigz.yml EXCEPTION (Failure) 0.30 0.30 None ProcDump-for-Linux/ProcDump-for-Linux.yml unknown 6.67 6.68 None Remotery/Remotery.yml unknown 0.57 0.57 None streem/streem.yml TIMEOUT 901.05 901.12 None the_silver_searcher/the_silver_searcher.yml unknown 5.01 5.01 None uthash/uthash.yml unknown 0.81 0.81 None ------------------------------------------------------------------------------------------------------------ Run set 1 done 1199.93 904.64 - 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 --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 (Stack overflow) 875.96 876.08 None C-Thread-Pool/C-Thread-Pool.yml unknown 0.34 0.34 None dnspod-sr/dnspod-sr.yml unknown 744.53 744.58 None EasyLogger/EasyLogger.yml unknown 12.14 12.14 None fzy/fzy.yml unknown 16.18 16.18 None klib/klib.yml unknown 2.26 2.26 None kona/kona.yml OUT OF MEMORY 565.30 565.35 None level-ip/level-ip.yml ERROR (verify) 25.63 25.63 None libfaketime/libfaketime.yml true 0.14 0.14 None lmdb/lmdb.yml EXCEPTION (Stack overflow) 73.68 73.71 None Mirai-Source-Code/Mirai-Source-Code.yml unknown 8.39 8.40 None nnn/nnn.yml unknown 116.66 116.67 None phpspy/phpspy.yml EXCEPTION (Stack overflow) 138.98 138.99 None pigz/pigz.yml EXCEPTION (Failure) 0.34 0.34 None ProcDump-for-Linux/ProcDump-for-Linux.yml unknown 79.43 79.44 None Remotery/Remotery.yml EXCEPTION (Stack overflow) 17.16 17.16 None streem/streem.yml EXCEPTION (Stack overflow) 195.33 195.36 None the_silver_searcher/the_silver_searcher.yml EXCEPTION (Stack overflow) 91.24 91.25 None uthash/uthash.yml true 3.42 3.42 None ------------------------------------------------------------------------------------------------------------ Run set 2 done 2967.47 876.27 - 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 --disable witness.enabled' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------ axel/axel.yml EXCEPTION (Stack overflow) 893.25 893.35 None C-Thread-Pool/C-Thread-Pool.yml unknown 0.34 0.34 None dnspod-sr/dnspod-sr.yml unknown 752.44 752.48 None EasyLogger/EasyLogger.yml unknown 12.17 12.17 None fzy/fzy.yml unknown 16.55 16.56 None klib/klib.yml unknown 2.25 2.26 None kona/kona.yml OUT OF MEMORY 587.18 587.22 None level-ip/level-ip.yml ERROR (verify) 26.14 26.15 None libfaketime/libfaketime.yml true 0.13 0.13 None lmdb/lmdb.yml EXCEPTION (Stack overflow) 77.83 77.84 None Mirai-Source-Code/Mirai-Source-Code.yml unknown 8.51 8.51 None nnn/nnn.yml unknown 117.68 117.69 None phpspy/phpspy.yml EXCEPTION (Stack overflow) 143.40 143.41 None pigz/pigz.yml EXCEPTION (Failure) 0.34 0.34 None ProcDump-for-Linux/ProcDump-for-Linux.yml unknown 81.13 81.13 None Remotery/Remotery.yml EXCEPTION (Stack overflow) 18.82 18.83 None streem/streem.yml EXCEPTION (Stack overflow) 197.94 197.97 None the_silver_searcher/the_silver_searcher.yml EXCEPTION (Stack overflow) 135.26 135.26 None uthash/uthash.yml true 3.45 3.45 None ------------------------------------------------------------------------------------------------------------ Run set 3 done 3075.20 893.56 - 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 901.00 901.09 None C-Thread-Pool/C-Thread-Pool.yml unknown 16.25 16.25 None dnspod-sr/dnspod-sr.yml TIMEOUT 901.03 901.08 None EasyLogger/EasyLogger.yml unknown 47.93 47.94 None fzy/fzy.yml TIMEOUT 900.98 901.08 None klib/klib.yml TIMEOUT 900.95 901.07 None kona/kona.yml EXCEPTION (Stack overflow) 60.42 60.42 None level-ip/level-ip.yml TIMEOUT 900.99 901.04 None libfaketime/libfaketime.yml true 0.15 0.15 None lmdb/lmdb.yml EXCEPTION (Stack overflow) 78.86 78.87 None Mirai-Source-Code/Mirai-Source-Code.yml EXCEPTION (Failure) 0.14 0.14 None nnn/nnn.yml TIMEOUT 901.08 901.14 None phpspy/phpspy.yml TIMEOUT 901.05 901.09 None pigz/pigz.yml EXCEPTION (Failure) 0.49 0.49 None ProcDump-for-Linux/ProcDump-for-Linux.yml EXCEPTION (Stack overflow) 870.98 870.97 None Remotery/Remotery.yml EXCEPTION (Stack overflow) 30.32 30.33 None streem/streem.yml OUT OF MEMORY 284.31 284.35 None the_silver_searcher/the_silver_searcher.yml TIMEOUT 901.07 901.11 None uthash/uthash.yml true 4.85 4.85 None ------------------------------------------------------------------------------------------------------------ Run set 4 done 8603.27 1803.31 - 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)