BENCHMARK INFORMATION benchmark definition: ../benchexec/bitabs-svcomp-64-termination.xml name: bitabs-svcomp-64-termination run sets: Integer-Bitabs.Termination-BitVectors, Integer.Termination-BitVectors date: Fri, 2024-02-09 14:17:27 CET tool: ULTIMATE Automizer 0.2.4-514d202d tool executable: ./Ultimate.py options: --full-output parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-5.15.108-1-pve-x86_64-with-glibc2.36 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 3700.0 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ Integer-Bitabs.Termination-BitVectors Run set 1 of 2 with options '--full-output --cacsl2boogietranslator.use.bitabs.translation true' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------- and-01-false.yml false(termination) 12.83 9.54 None and-01.yml true 14.34 12.19 None and-02-false.yml false(termination) 10.69 8.10 None and-02.yml true 17.68 13.25 None and-03-false.yml false(termination) 10.52 6.43 None and-03.yml true 15.63 9.90 None and-04-false.yml false(termination) 10.06 6.96 None and-04.yml true 13.50 8.60 None and-05-false.yml ERROR 30.77 23.66 None and-05.yml true 19.68 14.98 None and-06.yml true 14.78 10.58 None and-assume.yml true 14.09 9.38 None consecutive-zero-bits-trailing.yml true 9.08 6.30 None counting-bits-BK.yml true 12.47 8.29 None counting-bits-BK1.yml true 13.10 8.38 None counting-bits-set.yml true 12.59 8.17 None not-01.yml true 10.23 6.43 None not-02-false.yml false(termination) 9.34 6.04 None not-02.yml ERROR 29.44 17.16 None not-03-false.yml false(termination) 10.08 6.04 None not-03.yml true 12.03 7.11 None not-04-false.yml false(termination) 10.94 6.95 None not-04.yml true 11.84 7.10 None not-05-false.yml false(termination) 10.83 7.36 None not-05.yml true 10.06 7.32 None or-01-false.yml ERROR 12.62 7.35 None or-01.yml true 37.04 26.60 None or-02.yml true 12.11 8.21 None or-03.yml true 10.57 6.85 None or-04.yml ERROR 10.98 6.67 None or-05-false.yml ERROR 12.55 7.48 None or-05.yml ERROR 10.55 6.56 None or-06.yml true 11.55 7.29 None parity0.yml true 15.12 8.84 None parity1.yml true 16.05 9.29 None reverse-bits1.yml true 12.11 7.67 None xor-01.yml true 9.71 6.43 None --------------------------------------------------------------------------------------------------- Run set 1 done 518.95 44.37 - Integer.Termination-BitVectors Run set 2 of 2 with options '--full-output --cacsl2boogietranslator.use.bitabs.translation false' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------- and-01-false.yml ERROR 12.07 8.18 None and-01.yml ERROR 11.23 8.58 None and-02-false.yml ERROR 10.18 7.43 None and-02.yml ERROR 13.59 9.91 None and-03-false.yml ERROR 9.25 5.71 None and-03.yml ERROR 14.12 8.67 None and-04-false.yml false(termination) 10.05 7.01 None and-04.yml ERROR 13.80 8.60 None and-05-false.yml ERROR 10.20 6.93 None and-05.yml ERROR 9.16 6.51 None and-06.yml ERROR 10.44 7.22 None and-assume.yml ERROR 12.18 7.85 None consecutive-zero-bits-trailing.yml true 9.08 6.50 None counting-bits-BK.yml ERROR 10.87 6.90 None counting-bits-BK1.yml ERROR 10.60 6.79 None counting-bits-set.yml ERROR 9.07 5.59 None not-01.yml true 12.61 7.47 None not-02-false.yml false(termination) 9.53 6.33 None not-02.yml ERROR 24.68 16.95 None not-03-false.yml false(termination) 9.40 5.91 None not-03.yml true 9.73 6.58 None not-04-false.yml false(termination) 10.12 6.16 None not-04.yml true 10.58 7.39 None not-05-false.yml false(termination) 10.29 7.72 None not-05.yml true 10.93 6.99 None or-01-false.yml ERROR 11.77 6.82 None or-01.yml ERROR 12.83 8.02 None or-02.yml ERROR 10.01 7.04 None or-03.yml true 9.83 6.19 None or-04.yml ERROR 10.24 6.58 None or-05-false.yml ERROR 12.42 7.69 None or-05.yml ERROR 11.72 7.30 None or-06.yml true 9.78 6.03 None parity0.yml ERROR 17.19 12.35 None parity1.yml ERROR 12.24 7.11 None reverse-bits1.yml ERROR 9.57 5.87 None xor-01.yml ERROR 11.54 7.42 None --------------------------------------------------------------------------------------------------- Run set 2 done 425.01 30.29 - Statistics: 74 Files correct: 43 correct true: 30 correct false: 13 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 31 Score: 73 (max: 120)