BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/concrat/theta.xml name: theta run sets: svcomp23.Concrat date: Fri, 2023-10-06 11:25:47 UTC tool: Theta 4.2.2 tool executable: ./theta-start.sh options: --witness-only --portfolio COMPLEX --loglevel RESULT 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 ------------------------------------------------------------ svcomp23.Concrat Run set 1 of 1 with options '--witness-only --portfolio COMPLEX --loglevel RESULT' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------ axel/axel.yml ERROR (frontend failed) 1.01 1.04 None C-Thread-Pool/C-Thread-Pool.yml ERROR (frontend failed) 0.85 0.89 None dnspod-sr/dnspod-sr.yml ERROR (frontend failed) 1.12 1.14 None EasyLogger/EasyLogger.yml ERROR (frontend failed) 0.96 0.99 None fzy/fzy.yml ERROR (frontend failed) 0.95 0.99 None klib/klib.yml ERROR (frontend failed) 0.90 0.94 None kona/kona.yml ERROR (frontend failed) 1.23 1.26 None level-ip/level-ip.yml ERROR (frontend failed) 1.11 1.16 None libfaketime/libfaketime.yml ERROR (frontend failed) 0.98 1.02 None lmdb/lmdb.yml ERROR (frontend failed) 1.15 1.19 None minimap2/minimap2.yml ERROR (frontend failed) 1.16 1.18 None Mirai-Source-Code/Mirai-Source-Code.yml ERROR (frontend failed) 0.92 0.95 None nnn/nnn.yml ERROR (frontend failed) 1.19 1.26 None pg_repack/pg_repack.yml ERROR (frontend failed) 1.01 1.03 None phpspy/phpspy.yml ERROR (frontend failed) 1.30 1.33 None pianobar/pianobar.yml ERROR (frontend failed) 1.19 1.22 None pigz/pigz.yml ERROR (frontend failed) 1.13 1.19 None ProcDump-for-Linux/ProcDump-for-Linux.yml ERROR (frontend failed) 1.02 1.05 None Remotery/Remotery.yml ERROR (frontend failed) 1.18 1.22 None siege/siege.yml ERROR (frontend failed) 1.22 1.25 None sshfs/sshfs.yml ERROR (frontend failed) 1.19 1.23 None streem/streem.yml ERROR (frontend failed) 1.28 1.30 None the_silver_searcher/the_silver_searcher.yml ERROR (frontend failed) 1.21 1.24 None uthash/uthash.yml ERROR (frontend failed) 0.84 0.89 None ------------------------------------------------------------------------------------------------------------ Run set 1 done 26.53 5.37 - Statistics: 24 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 24 Score: 0 (max: 0)