BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/concrat/deagle.xml name: deagle run sets: svcomp23.Concrat date: Fri, 2023-10-06 10:36:50 UTC tool: Deagle 2.1 tool executable: ./deagle options: --no-assertions --datarace 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 '--no-assertions --datarace' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------ axel/axel.yml unknown 81.29 82.11 None C-Thread-Pool/C-Thread-Pool.yml unknown 56.04 56.84 None dnspod-sr/dnspod-sr.yml unknown 134.07 134.88 None EasyLogger/EasyLogger.yml unknown 294.00 294.82 None fzy/fzy.yml TIMEOUT (ERROR (15)) 900.44 901.38 None klib/klib.yml TIMEOUT (ERROR (15)) 900.59 901.56 None kona/kona.yml TIMEOUT (ERROR (15)) 900.29 901.07 None level-ip/level-ip.yml unknown 155.88 155.90 None libfaketime/libfaketime.yml unknown 1.70 1.70 None lmdb/lmdb.yml unknown 566.54 566.63 None minimap2/minimap2.yml TIMEOUT (ERROR (15)) 901.52 901.65 None Mirai-Source-Code/Mirai-Source-Code.yml TIMEOUT (ERROR (15)) 901.26 901.31 None nnn/nnn.yml OUT OF MEMORY 266.71 266.75 None pg_repack/pg_repack.yml unknown 20.87 20.88 None phpspy/phpspy.yml TIMEOUT (ERROR (15)) 901.00 901.05 None pianobar/pianobar.yml true 110.22 110.23 None pigz/pigz.yml unknown 52.02 52.02 None ProcDump-for-Linux/ProcDump-for-Linux.yml TIMEOUT (ERROR (15)) 901.38 901.49 None Remotery/Remotery.yml TIMEOUT (ERROR (15)) 901.28 901.40 None siege/siege.yml unknown 37.35 37.36 None sshfs/sshfs.yml true 227.67 227.71 None streem/streem.yml TIMEOUT (ERROR (15)) 901.27 901.42 None the_silver_searcher/the_silver_searcher.yml ERROR (6) 0.06 0.06 None uthash/uthash.yml TIMEOUT (ERROR (15)) 901.24 901.27 None ------------------------------------------------------------------------------------------------------------ Run set 1 done 11015.17 1938.70 - Statistics: 24 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 22 Score: 0 (max: 0)