BENCHMARK INFORMATION Goblint benchmark definition: /mnt/goblint-svcomp/benchexec/results/mr-1616-02/goblint.xml name: goblint run sets: SV-COMP25_valid-memsafety.MemSafety-Heap, SV-COMP25_no-overflow.NoOverflows-Main date: Tue, 2025-04-15 08:24:49 UTC tool: Goblint heads/master-0-gf2500d599-dirty tool executable: ./goblint options: --conf conf/svcomp.json parallel runs: 2 resource limits: - memory: 15000.0 MB - time: 900 s - cpu cores: 4 hardware requirements: - cpu cores: 4 - memory: 15000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: goblint-new os: Linux-6.8.0-47-generic-x86_64-with-glibc2.39 cpu: AMD EPYC Processor (with IBPB) - cores: 16 - max frequency: 2250.0 MHz ram: 33652.174847999995 MB ------------------------------------------------------------ SV-COMP25_valid-memsafety.MemSafety-Heap Run set 1 of 2 with options '--conf conf/svcomp.json' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------- MicroHttpServer.yml ERROR (verify) 1.39 1.39 None MojoJson.yml unknown 0.44 0.44 None NTSC-CRT.yml unknown 0.66 0.66 None NanoNNG.yml unknown 0.52 0.52 None NanoNNGFixed.yml unknown 0.49 0.49 None admesh.yml unknown 0.70 0.70 None admeshFixed.yml unknown 0.68 0.68 None asterisk.yml unknown 0.39 0.39 None bzip3.yml ERROR (verify) 6.70 6.70 None bzip3Fixed.yml ERROR (verify) 6.52 6.52 None cups.yml unknown 0.78 0.78 None dlt-daemon.yml unknown 5.67 5.67 None editorconfig-core-c.yml unknown 0.37 0.37 None editorconfig-core-cFixed.yml unknown 0.24 0.24 None flatcc.yml unknown 0.22 0.23 None frr.yml unknown 0.30 0.30 None frrFixed.yml unknown 0.31 0.31 None gpac_1.yml unknown 1.67 1.67 None gpac_10.yml unknown 0.20 0.20 None gpac_11.yml unknown 0.31 0.31 None gpac_12.yml unknown 0.28 0.28 None gpac_13.yml unknown 0.30 0.30 None gpac_14.yml unknown 0.61 0.62 None gpac_16.yml unknown 0.38 0.39 None gpac_16Fixed.yml unknown 0.53 0.53 None gpac_16Found.yml unknown 0.42 0.42 None gpac_17.yml unknown 1.38 1.38 None gpac_18.yml unknown 0.23 0.23 None gpac_19.yml unknown 6.74 6.74 None gpac_1Fixed.yml unknown 1.59 1.59 None gpac_3.yml unknown 0.52 0.53 None gpac_5.yml unknown 0.20 0.20 None gpac_5Fixed.yml true 0.24 0.24 None gpac_6.yml unknown 0.60 0.60 None gpac_7.yml unknown 0.24 0.24 None gpac_8.yml unknown 0.64 0.65 None gpac_9.yml unknown 0.29 0.29 None gps-sdr-sim.yml unknown 0.34 0.34 None gss-ntlmssp.yml unknown 0.30 0.30 None gss-ntlmsspFixed.yml unknown 0.30 0.30 None hyperkit_1.yml unknown 0.24 0.24 None hyperkit_1Fixed.yml unknown 0.23 0.23 None jhead.yml unknown 1.12 1.12 None jhead_1.yml unknown 0.49 0.49 None jq.yml unknown 0.39 0.39 None json-c.yml unknown 3.50 3.50 None json-parser.yml ERROR (verify) 2.22 2.22 None json-parserFixed.yml ERROR (verify) 2.21 2.22 None kilo.yml unknown 0.52 0.52 None krb5.yml unknown 0.61 0.61 None krb5Fixed.yml unknown 0.62 0.63 None libeconf.yml unknown 0.18 0.18 None liblouis.yml unknown 0.33 0.33 None libming_1.yml unknown 0.28 0.28 None libpe.yml unknown 0.26 0.26 None libredwg.yml unknown 0.27 0.27 None libredwg_1.yml unknown 1.41 1.41 None libredwg_1Fixed.yml unknown 1.33 1.34 None memcached.yml unknown 2.06 2.06 None minizip-ng.yml unknown 1.34 1.34 None minizip-ngFixed.yml unknown 1.34 1.34 None minizip-ng_1.yml unknown 0.44 0.44 None minizip-ng_1Fixed.yml unknown 0.48 0.48 None mongoose.yml unknown 0.34 0.34 None mongooseFixed.yml unknown 0.29 0.29 None mongoose_1.yml unknown 0.26 0.26 None moonlight-common-c.yml unknown 0.36 0.36 None nanopb.yml unknown 0.35 0.35 None netatalk.yml unknown 0.33 0.33 None netatalkFixed.yml unknown 0.35 0.35 None netconsd.yml unknown 0.83 0.83 None openNDS_1.yml unknown 0.95 0.95 None openNDS_1Fixed.yml unknown 1.18 1.18 None openSC.yml unknown 1.36 1.36 None openSCFixed.yml unknown 1.35 1.35 None openrazer.yml unknown 1.70 1.70 None openrazerFixed.yml unknown 1.66 1.66 None openrazerFound.yml unknown 1.60 1.60 None pacparser.yml unknown 0.39 0.39 None pacparserFixed.yml unknown 0.36 0.36 None picotcp.yml unknown 0.21 0.21 None picotcpFixed.yml unknown 0.21 0.21 None pjproject.yml unknown 0.84 0.84 None plutovg.yml unknown 0.54 0.54 None ppp.yml unknown 1.04 1.05 None radare2.yml unknown 0.38 0.38 None radare2Fixed.yml unknown 0.42 0.43 None radare2_1.yml unknown 0.43 0.43 None radare2_1Fixed.yml unknown 0.42 0.42 None radare2_2.yml unknown 0.57 0.57 None radare2_2Fixed.yml unknown 0.59 0.60 None rizin.yml unknown 0.40 0.40 None smartdns.yml ERROR (verify) 26.43 26.44 None sniproxy.yml unknown 0.32 0.32 None sniproxyFixed.yml unknown 0.39 0.39 None sofia-sip.yml unknown 0.40 0.40 None sofia-sipFixed.yml unknown 0.41 0.41 None sofia-sip_1.yml unknown 0.29 0.30 None sofia-sip_2.yml unknown 0.27 0.27 None stb.yml unknown 6.32 6.32 None stb_1.yml unknown 5.79 5.79 None tinydir.yml unknown 0.32 0.33 None tinytiff.yml unknown 154.03 154.05 None wasm-micro-runtime.yml unknown 0.28 0.28 None wasm-micro-runtimeFixed.yml unknown 0.27 0.27 None zchunk.yml unknown 0.98 0.98 None zchunkFixed.yml unknown 1.22 1.22 None zephyr.yml unknown 0.32 0.32 None zstd.yml unknown 0.49 0.49 None zstdFixed.yml unknown 0.48 0.48 None --------------------------------------------------------------------------------------------- Run set 1 done 288.69 223.02 - SV-COMP25_no-overflow.NoOverflows-Main Run set 2 of 2 with options '--conf conf/svcomp.json' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------- gpac.yml unknown 0.18 0.18 None gpac_15.yml unknown 0.18 0.18 None kilo.yml unknown 0.31 0.31 None libsndfile.yml unknown 0.18 0.18 None mujs.yml unknown 0.26 0.26 None plutovg.yml unknown 0.25 0.25 None ------------------------------------------------------------------------------------- Run set 2 done 1.54 1.36 - Statistics: 116 Files correct: 1 correct true: 1 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 115 Score: 2 (max: 146)