BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/concrat/uautomizer.xml name: uautomizer run sets: svcomp23.Concrat date: Fri, 2023-10-06 11:25:53 UTC tool: ULTIMATE Automizer 0.2.2-2329fc70 tool executable: ./Ultimate.py options: --full-output 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 '--full-output' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------ axel/axel.yml ERROR (7) 21.77 26.14 None C-Thread-Pool/C-Thread-Pool.yml ERROR (7) 14.60 18.74 None dnspod-sr/dnspod-sr.yml ERROR (7) 20.58 24.97 None EasyLogger/EasyLogger.yml unknown 15.53 19.50 None fzy/fzy.yml OUT OF MEMORY 502.99 507.35 None klib/klib.yml ERROR (7) 14.19 18.70 None kona/kona.yml ERROR (7) 23.60 27.82 None level-ip/level-ip.yml unknown 14.85 15.00 None libfaketime/libfaketime.yml ERROR (7) 13.02 13.13 None lmdb/lmdb.yml ERROR (7) 16.99 17.12 None minimap2/minimap2.yml unknown 17.83 17.95 None Mirai-Source-Code/Mirai-Source-Code.yml OUT OF MEMORY 89.61 89.63 None nnn/nnn.yml unknown 19.22 19.33 None pg_repack/pg_repack.yml ERROR (7) 16.07 16.23 None phpspy/phpspy.yml ERROR (7) 22.04 22.23 None pianobar/pianobar.yml ERROR (7) 25.67 25.82 None pigz/pigz.yml ERROR (7) 14.89 15.01 None ProcDump-for-Linux/ProcDump-for-Linux.yml ERROR (7) 18.98 19.08 None Remotery/Remotery.yml ERROR (7) 14.53 14.69 None siege/siege.yml unknown 18.06 18.17 None sshfs/sshfs.yml TIMEOUT 900.99 901.01 None streem/streem.yml ERROR (7) 17.82 17.96 None the_silver_searcher/the_silver_searcher.yml ERROR (7) 462.55 462.94 None uthash/uthash.yml unknown 13.69 13.86 None ------------------------------------------------------------------------------------------------------------ Run set 1 done 2310.53 960.32 - 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)