BENCHMARK INFORMATION Goblint benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/goblint-realworld/goblint.xml name: goblint run sets: Concrat.Concrat_no-data-race, Pthread.Pthread_no-data-race date: Thu, 2025-07-03 07:43:04 UTC tool: Goblint heads/master-0-g63df9747a-dirty tool executable: ./goblint options: --enable ana.sv-comp.enabled --enable ana.sv-comp.functions -v parallel runs: 14 resource limits: - memory: 1000.0 MB - time: 60 s - cpu cores: 1 hardware requirements: - cpu cores: 1 - memory: 1000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: goblint-new os: Linux-6.8.0-62-generic-x86_64-with-glibc2.39 cpu: AMD EPYC Processor (with IBPB) - cores: 16 - max frequency: 2250.0 MHz ram: 33652.137984 MB ------------------------------------------------------------ Concrat.Concrat_no-data-race Run set 1 of 2 with options '--enable ana.sv-comp.enabled --enable ana.sv-comp.functions -v --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 (Cilfacade.TypeOfError) 17.67 17.69 None C-Thread-Pool/C-Thread-Pool.yml unknown 0.33 0.36 None dnspod-sr/dnspod-sr.yml EXCEPTION (Cilfacade.TypeOfError) 0.56 0.58 None EasyLogger/EasyLogger.yml unknown 3.16 3.17 None fzy/fzy.yml unknown 2.08 2.09 None klib/klib.yml unknown 0.71 0.71 None level-ip/level-ip.yml EXCEPTION (Cilfacade.TypeOfError) 1.73 1.73 None libfaketime/libfaketime.yml true 0.16 0.18 None lmdb/lmdb.yml TIMEOUT 61.05 61.06 None Mirai-Source-Code/Mirai-Source-Code.yml unknown 2.21 2.23 None nnn/nnn.yml unknown 12.61 12.64 None phpspy/phpspy.yml TIMEOUT 61.04 61.07 None pigz/pigz.yml TIMEOUT 61.06 61.08 None ProcDump-for-Linux/ProcDump-for-Linux.yml unknown 37.07 37.11 None Remotery/Remotery.yml EXCEPTION (Stack overflow) 5.49 5.51 None streem/streem.yml TIMEOUT 61.04 61.06 None the_silver_searcher/the_silver_searcher.yml TIMEOUT 61.03 61.06 None uthash/uthash.yml unknown 1.86 1.87 None ------------------------------------------------------------------------------------------------------------ Run set 1 done 391.35 62.08 - Pthread.Pthread_no-data-race Run set 2 of 2 with options '--enable ana.sv-comp.enabled --enable ana.sv-comp.functions -v' and propertyfile 'None' inputfile status cpu time wall time host -------------------------------------------------------------------------------------------------------------------------------------------------- pthread/aget_comb.yml unknown 1.29 1.29 None pthread/ctrace_comb.yml unknown 1.20 1.21 None pthread/knot_comb.yml unknown 1.79 1.79 None pthread/pfscan_comb.yml unknown 0.56 0.57 None pthread/smtprc_comb.yml unknown 7.58 7.58 None pthread/ypbind_comb.yml unknown 14.45 14.47 None svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml unknown 3.75 3.78 None svcomp/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml unknown 2.15 2.16 None svcomp/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml unknown 2.06 2.06 None svcomp/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml unknown 1.10 1.11 None svcomp/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml unknown 5.05 5.09 None svcomp/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml unknown 5.09 5.10 None -------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 46.39 14.99 - Statistics: 30 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 29 Score: 0 (max: 12)