BENCHMARK INFORMATION benchmark definition: /storage/repos/ultimate/releaseScripts/default/benchexec/req_pea2boogie_legacy.xml name: req_pea2boogie_legacy run sets: pea_to_boogie.All date: Thu, 2019-04-04 17:26:43 CEST tool: pea_to_boogie LEGACY tool executable: pea_to_boogie.sh options: '${inputfile_path_abs}/${inputfile_name}.xml' 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: struebli os: Linux-4.20.1-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz - turbo boost enabled: True ram: 135155.56863999998 MB ------------------------------------------------------------ pea_to_boogie.All Run set 1 of 1 with options '${inputfile_path_abs}/${inputfile_name}.xml' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------ ACC_110302.old.req unknown 0.89 0.60 None Benchmark1_ext.old.req unknown 1.08 0.65 None Benchmark2_ext.old.req unknown 401.78 354.97 None Evehicle.old.req unknown 0.83 0.51 None Evehicle_extended.old.req unknown 3.45 2.45 None HMI.old.req unknown 0.83 0.51 None HMI_kurz.old.req unknown 0.68 0.43 None Lambda.old.req TIMEOUT 900.57 760.29 None Lambda.reqind_set_0.old.req unknown 0.39 0.29 None Lambda.reqind_set_1.old.req unknown 0.32 0.25 None Lambda.reqind_set_3.old.req unknown 0.35 0.26 None PCU_B_sample2_indSet.old.req unknown 0.51 0.35 None PCU_B_sample_2.old.req TIMEOUT 900.51 867.22 None Test.old.req unknown 224.88 216.93 None accreqs1.old.req unknown 22.71 16.79 None accreqs1_extended.old.req unknown 1.07 0.64 None accreqs2.old.req unknown 363.42 323.23 None accreqs2_extended.old.req unknown 115.14 102.56 None accreqs3.old.req unknown 91.11 84.56 None accreqs4.old.req unknown 1.18 0.71 None acctest3.old.req unknown 1.97 1.27 None exampleDeadlock.old.req unknown 0.70 0.45 None exampleDeadlock2.old.req unknown 0.39 0.29 None hybrid1.old.req unknown 136.58 130.68 None hybrid1_extended.old.req OUT OF MEMORY 777.00 764.94 None hybrid2.old.req unknown 12.78 9.53 None hybrid2_extended.old.req unknown 773.76 764.55 None hybrid_comp7.old.req unknown 1.20 0.68 None testVacuous.old.req unknown 0.30 0.23 None ------------------------------------------------------------------------------------------ Run set 1 done 2514.96 868.16 - Statistics: 29 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 29