BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-float-reach-unsound-automizer.xml name: svcomp19-float-reach-unsound-automizer run sets: Automizer.Floats date: Wed, 2020-12-02 21:21:00 CET tool: ULTIMATE Automizer 0.2.0-3e5ce664 tool executable: ./Ultimate.py options: 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-5.8.12-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.7 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz - turbo boost enabled: True ram: 135154.106368 MB ------------------------------------------------------------ Automizer.Floats Run set 1 of 1 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- float-newlib/double_req_bl_0660a.yml unknown 583.45 535.96 None float-newlib/double_req_bl_0660b.yml unknown 512.09 460.37 None float-newlib/double_req_bl_0661a.yml true 757.85 700.99 None float-newlib/double_req_bl_0661b.yml true 627.32 576.40 None float-newlib/double_req_bl_0662a.yml true 485.45 439.44 None float-newlib/double_req_bl_0662b.yml true 429.34 380.00 None float-newlib/double_req_bl_0663a.yml true 358.76 325.59 None float-newlib/double_req_bl_0663b.yml true 575.73 532.80 None float-newlib/double_req_bl_0670.yml true 837.24 797.07 None float-newlib/double_req_bl_0680a.yml true 304.34 261.90 None float-newlib/double_req_bl_0680b.yml true 249.24 210.15 None float-newlib/double_req_bl_0681a.yml true 181.38 146.58 None float-newlib/double_req_bl_0681b.yml true 228.45 189.23 None float-newlib/double_req_bl_0682a.yml true 780.26 724.29 None float-newlib/double_req_bl_0682b.yml true 552.04 511.35 None float-newlib/double_req_bl_0683a.yml true 504.42 454.07 None float-newlib/double_req_bl_0683b.yml true 598.47 564.79 None float-newlib/double_req_bl_0684a.yml TIMEOUT 900.74 818.85 None float-newlib/double_req_bl_0684b.yml TIMEOUT 900.89 799.38 None float-newlib/double_req_bl_0685a.yml true 223.25 189.93 None float-newlib/double_req_bl_0685b.yml true 237.46 199.93 None float-newlib/double_req_bl_0686a.yml true 155.34 123.13 None float-newlib/double_req_bl_0686b.yml true 195.46 163.33 None float-newlib/double_req_bl_0730a.yml true 52.84 37.27 None float-newlib/double_req_bl_0730b.yml true 53.96 34.83 None float-newlib/double_req_bl_0834.yml true 76.02 50.40 None float-newlib/double_req_bl_0870b.yml true 432.26 401.96 None float-newlib/double_req_bl_0872a.yml true 311.97 286.36 None float-newlib/double_req_bl_0872b.yml true 312.01 285.58 None float-newlib/double_req_bl_0873a.yml true 286.81 252.83 None float-newlib/double_req_bl_0873b.yml true 290.68 261.31 None float-newlib/double_req_bl_0874.yml ERROR (7) 402.96 350.82 None float-newlib/double_req_bl_0876.yml ERROR (7) 344.28 299.49 None float-newlib/double_req_bl_0882.yml ERROR (7) 422.04 378.80 None float-newlib/double_req_bl_0883.yml ERROR (7) 552.09 493.19 None float-newlib/double_req_bl_0910a.yml true 204.86 179.91 None float-newlib/double_req_bl_0910b.yml true 126.25 107.53 None float-newlib/double_req_bl_0920a.yml true 115.90 96.09 None float-newlib/double_req_bl_0931.yml true 78.85 61.92 None float-newlib/double_req_bl_0960b.yml true 146.62 125.17 None float-newlib/double_req_bl_0970a.yml true 109.76 91.28 None float-newlib/double_req_bl_0981.yml true 92.04 72.48 None float-newlib/double_req_bl_1012a.yml ERROR (7) 65.10 48.58 None float-newlib/double_req_bl_1012b.yml ERROR (7) 47.35 31.89 None float-newlib/double_req_bl_1032c.yml true 36.62 23.10 None float-newlib/double_req_bl_1032d.yml true 37.05 22.82 None float-newlib/double_req_bl_1052a.yml true 40.86 26.23 None float-newlib/double_req_bl_1052b.yml true 39.79 25.60 None float-newlib/double_req_bl_1052c.yml ERROR (7) 57.92 39.30 None float-newlib/double_req_bl_1072a.yml true 35.89 22.75 None float-newlib/double_req_bl_1072d.yml true 34.12 20.97 None float-newlib/double_req_bl_1092b.yml ERROR (7) 37.73 23.87 None float-newlib/double_req_bl_1092c.yml true 37.03 23.89 None float-newlib/double_req_bl_1092d.yml true 38.06 23.85 None float-newlib/double_req_bl_1121a.yml true 140.95 124.35 None float-newlib/double_req_bl_1121b.yml true 113.75 98.95 None float-newlib/double_req_bl_1130a.yml true 82.70 56.82 None float-newlib/double_req_bl_1131a.yml true 76.97 52.24 None float-newlib/double_req_bl_1131b.yml true 87.86 61.37 None float-newlib/double_req_bl_1231b.yml true 152.62 130.88 None float-newlib/double_req_bl_1251b.yml true 97.65 74.10 None float-newlib/double_req_bl_1300.yml true 141.63 125.71 None ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--lapbether.ko-entry_point.cil.out.yml false(unreach-call) 40.28 21.05 None ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--hdlc_x25.ko-entry_point.cil.out.yml false(unreach-call) 31.72 16.98 None nla-digbench/freire1.yml false(unreach-call) 145.89 134.05 None nla-digbench/hard-u.yml true 132.86 102.13 None nla-digbench-scaling/hard2_unwindbound100.yml TIMEOUT 900.31 886.42 None nla-digbench-scaling/hard2_unwindbound10.yml false(unreach-call) 41.40 28.09 None nla-digbench-scaling/hard2_unwindbound20.yml TIMEOUT 900.34 881.49 None nla-digbench-scaling/hard2_unwindbound50.yml TIMEOUT 900.32 886.75 None nla-digbench-scaling/hard-u_unwindbound100.yml true 129.27 102.07 None nla-digbench-scaling/hard-u_unwindbound10.yml true 125.94 97.29 None nla-digbench-scaling/hard-u_unwindbound20.yml true 127.88 99.94 None nla-digbench-scaling/hard-u_unwindbound50.yml true 139.37 106.98 None nla-digbench-scaling/hard-u_unwindbound5.yml true 127.88 99.07 None pthread/singleton.yml false(unreach-call) 81.44 47.92 None -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 16344.90 1944.67 - Statistics: 76 Files correct: 53 correct true: 50 correct false: 3 incorrect: 8 incorrect true: 6 incorrect false: 2 unknown: 15 Score: -121 (max: 140)