BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk02, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk02, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk02 date: Wed, 2022-10-19 17:00:20 CEST tool: ULTIMATE Automizer 0.2.2-e57bdd35 tool executable: ./Ultimate.py options: --force-no-wrapper --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.trace.refinement.strategy BADGER 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.11.22-4-pve-x86_64-with-glibc2.31 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 4549.121 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ GemCutter.NewStatesSleep.single-assert-memsafety-chunk02 Run set 1 of 19 with options '--force-no-wrapper --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.trace.refinement.strategy BADGER -s ../../../trunk/examples/settings/gemcutter/NewStatesSleep.epf' and propertyfile 'None' inputfile status cpu time wall time host -------------------------------------------------------------------------------------------------------------------------------------------- safe028_rmo.line864.yml OUT OF MEMORY 675.44 364.06 None safe028_rmo.line865.yml OUT OF MEMORY 570.88 316.58 None safe028_rmo.line877.yml OUT OF MEMORY 672.37 353.28 None safe028_rmo.line878.yml OUT OF MEMORY 523.37 277.30 None safe028_rmo.line904.yml OUT OF MEMORY 639.75 351.35 None safe028_rmo.line905.yml OUT OF MEMORY 522.49 295.79 None safe028_rmo.line919.yml OUT OF MEMORY 853.08 453.30 None safe028_rmo.line920.yml TIMEOUT 908.83 483.44 None safe029_power.oepc_pso.oepc_rmo.oepc.line513.yml true 7.76 4.89 None safe029_power.oepc_pso.oepc_rmo.oepc.line514.yml true 6.18 4.20 None safe029_power.oepc_pso.oepc_rmo.oepc.line541.yml true 6.02 5.76 None safe029_power.oepc_pso.oepc_rmo.oepc.line542.yml true 6.63 5.08 None safe029_power.opt_pso.opt_rmo.opt.line513.yml true 6.05 4.83 None safe029_power.opt_pso.opt_rmo.opt.line514.yml true 5.99 4.01 None safe029_power.opt_pso.opt_rmo.opt.line541.yml true 6.08 4.20 None safe029_power.opt_pso.opt_rmo.opt.line542.yml true 6.52 4.43 None safe029_tso.line321.yml true 5.07 4.13 None safe029_tso.line322.yml true 7.35 4.75 None safe029_tso.line349.yml true 5.68 4.54 None safe029_tso.line350.yml true 5.51 4.25 None safe030_power.oepc_pso.oepc_rmo.oepc.line605.yml true 13.63 8.73 None safe030_power.oepc_pso.oepc_rmo.oepc.line606.yml true 13.79 8.79 None safe030_power.oepc_pso.oepc_rmo.oepc.line633.yml true 14.12 9.80 None safe030_power.oepc_pso.oepc_rmo.oepc.line634.yml true 13.13 9.16 None safe030_power.oepc_pso.oepc_rmo.oepc.line661.yml true 24.46 14.40 None safe030_power.oepc_pso.oepc_rmo.oepc.line662.yml true 19.14 13.20 None safe030_power.opt_pso.opt_rmo.opt.line558.yml true 8.42 5.57 None safe030_power.opt_pso.opt_rmo.opt.line559.yml true 8.94 5.86 None safe030_power.opt_pso.opt_rmo.opt.line586.yml true 7.94 5.60 None safe030_power.opt_pso.opt_rmo.opt.line587.yml true 8.15 5.49 None safe030_power.opt_pso.opt_rmo.opt.line614.yml true 10.48 6.65 None safe030_power.opt_pso.opt_rmo.opt.line615.yml true 10.73 7.16 None safe030_tso.line359.yml true 7.03 4.87 None safe030_tso.line360.yml true 8.94 5.66 None safe030_tso.line387.yml true 6.92 5.75 None safe030_tso.line388.yml true 7.23 5.14 None safe030_tso.line415.yml true 7.82 5.17 None safe030_tso.line416.yml true 7.73 5.15 None safe031_power.oepc_pso.oepc_rmo.oepc.line706.yml true 27.68 16.59 None safe031_power.oepc_pso.oepc_rmo.oepc.line707.yml true 22.40 15.26 None safe031_power.oepc_pso.oepc_rmo.oepc.line734.yml true 24.72 16.47 None safe031_power.oepc_pso.oepc_rmo.oepc.line735.yml true 21.76 15.37 None safe031_power.oepc_pso.oepc_rmo.oepc.line762.yml true 35.85 22.01 None safe031_power.oepc_pso.oepc_rmo.oepc.line763.yml true 34.61 21.34 None safe031_power.opt_pso.opt_rmo.opt.line565.yml true 9.45 6.39 None safe031_power.opt_pso.opt_rmo.opt.line566.yml true 9.63 6.67 None safe031_power.opt_pso.opt_rmo.opt.line593.yml true 11.84 7.22 None safe031_power.opt_pso.opt_rmo.opt.line594.yml true 9.71 6.38 None safe031_power.opt_pso.opt_rmo.opt.line621.yml true 11.57 7.56 None safe031_power.opt_pso.opt_rmo.opt.line622.yml true 11.97 7.82 None safe031_tso.line366.yml true 7.38 5.51 None safe031_tso.line367.yml true 9.38 5.94 None safe031_tso.line394.yml true 7.66 5.14 None safe031_tso.line395.yml true 7.60 5.09 None safe031_tso.line422.yml true 8.55 6.12 None safe031_tso.line423.yml true 8.26 5.96 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line1000.yml true 134.39 78.97 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line1001.yml true 111.23 69.62 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line944.yml true 61.72 37.52 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line945.yml true 59.40 36.45 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line972.yml true 64.11 41.59 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line973.yml true 63.60 41.15 None safe032_tso.line370.yml true 7.82 5.26 None safe032_tso.line371.yml true 8.28 5.54 None safe032_tso.line398.yml true 7.61 5.04 None safe032_tso.line399.yml true 8.20 5.43 None safe032_tso.line426.yml true 9.16 6.33 None safe032_tso.line427.yml true 9.38 6.50 None safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line614.yml true 6.67 4.60 None safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line615.yml true 7.00 4.67 None safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line642.yml true 7.00 5.09 None safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line643.yml true 7.52 5.12 None safe033_tso.line328.yml true 5.63 3.88 None safe033_tso.line329.yml true 6.19 4.17 None safe033_tso.line356.yml true 5.97 4.10 None safe033_tso.line357.yml true 5.96 4.54 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line666.yml true 12.41 8.52 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line667.yml true 13.10 7.94 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line694.yml true 12.15 7.64 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line695.yml true 12.31 8.00 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line722.yml true 18.82 11.21 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line723.yml true 18.22 11.65 None safe034_tso.line373.yml true 7.25 5.22 None safe034_tso.line374.yml true 7.46 4.99 None safe034_tso.line401.yml true 7.82 5.50 None safe034_tso.line402.yml true 7.71 5.11 None safe034_tso.line429.yml true 8.66 6.09 None safe034_tso.line430.yml true 8.26 5.91 None safe035_power.line1115.yml true 49.81 29.97 None safe035_power.line1116.yml true 41.63 25.74 None safe035_power.line1143.yml true 43.39 27.96 None safe035_power.line1144.yml true 39.65 24.72 None safe035_power.line1171.yml true 67.88 44.08 None safe035_power.line1172.yml true 70.85 44.51 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line377.yml true 8.02 5.23 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line378.yml true 7.72 5.16 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line405.yml true 7.83 5.46 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line406.yml true 9.07 5.77 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line433.yml true 10.39 6.35 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line434.yml true 9.39 5.99 None safe036.line335.yml true 6.16 4.64 None safe036.line336.yml true 7.34 4.67 None safe036.line363.yml true 6.06 4.15 None safe036.line364.yml true 6.68 4.18 None safe037.line380.yml true 7.43 5.28 None safe037.line381.yml true 9.33 5.87 None safe037.line408.yml true 7.74 5.20 None safe037.line409.yml true 7.51 5.08 None safe037.line436.yml true 8.98 5.95 None safe037.line437.yml true 11.94 7.14 None scull.line1005.yml OUT OF MEMORY 409.43 215.18 None scull.line1006.yml OUT OF MEMORY 394.29 204.02 None scull.line1017.yml OUT OF MEMORY 465.20 241.52 None scull.line1018.yml OUT OF MEMORY 437.65 225.96 None scull.line1029.yml OUT OF MEMORY 444.61 236.73 None scull.line1030.yml OUT OF MEMORY 608.46 313.20 None scull.line963.yml true 13.61 8.22 None scull.line964.yml true 13.87 8.41 None scull.line978.yml true 13.19 7.99 None scull.line979.yml true 12.28 8.81 None scull.line993.yml true 15.82 9.76 None scull.line994.yml true 16.68 10.64 None security.wvr.line167.yml true 6.12 4.22 None security.wvr.line168.yml true 6.37 5.01 None security.wvr.line182.yml true 5.07 3.77 None security.wvr.line183.yml true 5.87 4.08 None security.wvr.line194.yml true 5.62 4.35 None security.wvr.line195.yml true 6.10 4.66 None security.wvr.line206.yml true 6.75 4.23 None security.wvr.line207.yml true 6.35 4.59 None singleton-b.line340.yml true 41.84 31.70 None singleton-b.line341.yml true 43.34 30.96 None singleton-b.line352.yml false(unreach-call) 9.11 6.90 None singleton-b.line353.yml false(unreach-call) 9.66 7.17 None singleton-b.line367.yml true 41.35 31.57 None singleton-b.line368.yml true 43.58 32.37 None singleton-b.line382.yml true 51.07 34.14 None singleton-b.line383.yml true 42.83 30.73 None singleton-b.line397.yml true 41.47 33.08 None singleton-b.line398.yml true 46.22 33.44 None singleton-b.line412.yml true 59.09 43.16 None singleton-b.line413.yml true 61.21 45.62 None singleton-b.line424.yml OUT OF MEMORY 464.81 271.76 None singleton-b.line425.yml OUT OF MEMORY 316.44 197.23 None singleton-b.line436.yml OUT OF MEMORY 358.81 228.30 None singleton-b.line437.yml OUT OF MEMORY 309.47 188.69 None singleton-b.line448.yml OUT OF MEMORY 352.59 214.01 None singleton-b.line449.yml OUT OF MEMORY 289.81 182.55 None singleton-b.line460.yml OUT OF MEMORY 326.87 203.98 None singleton-b.line461.yml OUT OF MEMORY 362.72 220.78 None singleton-b.line586.yml OUT OF MEMORY 401.06 248.39 None singleton-b.line587.yml OUT OF MEMORY 301.73 196.24 None singleton-b.line609.yml true 246.82 157.49 None singleton-b.line610.yml true 295.96 179.60 None singleton-b.line690.yml true 48.14 32.88 None singleton-b.line691.yml true 46.05 31.44 None singleton-b.line702.yml false(unreach-call) 11.01 7.15 None singleton-b.line703.yml false(unreach-call) 11.55 7.61 None singleton-b.line714.yml OUT OF MEMORY 437.14 259.64 None singleton-b.line715.yml OUT OF MEMORY 429.28 252.29 None singleton.line349.yml true 78.12 52.29 None singleton.line350.yml true 81.65 55.08 None singleton.line361.yml false(unreach-call) 9.06 6.83 None singleton.line362.yml false(unreach-call) 9.57 6.92 None singleton.line376.yml true 81.61 56.43 None singleton.line377.yml true 83.45 55.50 None singleton.line391.yml true 81.38 57.02 None singleton.line392.yml true 79.36 56.49 None singleton.line406.yml true 80.54 56.11 None singleton.line407.yml true 82.71 57.85 None singleton.line421.yml true 144.59 91.23 None singleton.line422.yml true 117.68 77.44 None singleton.line433.yml OUT OF MEMORY 387.97 229.82 None singleton.line434.yml OUT OF MEMORY 350.94 208.46 None singleton.line445.yml OUT OF MEMORY 304.17 182.70 None singleton.line446.yml OUT OF MEMORY 275.49 167.67 None singleton.line457.yml OUT OF MEMORY 399.42 227.68 None singleton.line458.yml OUT OF MEMORY 308.95 184.45 None singleton.line469.yml OUT OF MEMORY 289.23 179.62 None singleton.line470.yml OUT OF MEMORY 340.72 202.24 None singleton.line597.yml OUT OF MEMORY 431.83 264.51 None singleton.line598.yml OUT OF MEMORY 617.17 346.34 None singleton.line624.yml OUT OF MEMORY 325.73 195.93 None singleton.line625.yml OUT OF MEMORY 441.17 254.75 None singleton.line707.yml true 94.37 60.51 None singleton.line708.yml true 95.65 61.36 None singleton.line719.yml false(unreach-call) 8.78 6.08 None singleton.line720.yml false(unreach-call) 8.96 6.13 None singleton.line731.yml OUT OF MEMORY 306.60 180.35 None singleton.line732.yml OUT OF MEMORY 437.17 248.09 None singleton_with-uninit-problems-b.line340.yml true 40.40 29.06 None singleton_with-uninit-problems-b.line341.yml true 48.02 33.16 None singleton_with-uninit-problems-b.line352.yml false(unreach-call) 9.61 7.23 None singleton_with-uninit-problems-b.line353.yml false(unreach-call) 12.16 8.09 None singleton_with-uninit-problems-b.line367.yml true 39.70 29.70 None singleton_with-uninit-problems-b.line368.yml true 41.60 30.36 None singleton_with-uninit-problems-b.line382.yml true 48.34 32.94 None singleton_with-uninit-problems-b.line383.yml true 41.36 31.07 None singleton_with-uninit-problems-b.line397.yml true 41.00 29.27 None singleton_with-uninit-problems-b.line398.yml true 44.21 31.06 None singleton_with-uninit-problems-b.line412.yml true 67.70 46.96 None singleton_with-uninit-problems-b.line413.yml true 59.74 44.95 None singleton_with-uninit-problems-b.line424.yml OUT OF MEMORY 473.45 272.90 None singleton_with-uninit-problems-b.line425.yml OUT OF MEMORY 323.82 204.65 None singleton_with-uninit-problems-b.line436.yml OUT OF MEMORY 436.49 256.92 None singleton_with-uninit-problems-b.line437.yml OUT OF MEMORY 362.93 222.66 None singleton_with-uninit-problems-b.line448.yml OUT OF MEMORY 347.05 209.75 None singleton_with-uninit-problems-b.line449.yml OUT OF MEMORY 290.02 181.19 None singleton_with-uninit-problems-b.line460.yml OUT OF MEMORY 365.08 219.81 None singleton_with-uninit-problems-b.line461.yml OUT OF MEMORY 354.39 228.85 None singleton_with-uninit-problems-b.line586.yml OUT OF MEMORY 423.95 257.83 None singleton_with-uninit-problems-b.line587.yml OUT OF MEMORY 367.44 227.26 None singleton_with-uninit-problems-b.line609.yml true 302.26 183.84 None singleton_with-uninit-problems-b.line610.yml OUT OF MEMORY 219.35 137.63 None singleton_with-uninit-problems-b.line692.yml true 41.09 29.14 None singleton_with-uninit-problems-b.line693.yml true 39.96 29.56 None singleton_with-uninit-problems-b.line704.yml false(unreach-call) 8.59 6.12 None singleton_with-uninit-problems-b.line705.yml false(unreach-call) 8.73 6.37 None singleton_with-uninit-problems-b.line716.yml OUT OF MEMORY 319.58 195.06 None singleton_with-uninit-problems-b.line717.yml OUT OF MEMORY 401.22 238.37 None singleton_with-uninit-problems-b.line729.yml OUT OF MEMORY 354.37 214.64 None singleton_with-uninit-problems-b.line730.yml OUT OF MEMORY 350.39 215.78 None singleton_with-uninit-problems.line349.yml true 80.82 54.59 None singleton_with-uninit-problems.line350.yml true 83.96 58.62 None singleton_with-uninit-problems.line361.yml false(unreach-call) 9.59 7.14 None singleton_with-uninit-problems.line362.yml false(unreach-call) 9.91 7.22 None singleton_with-uninit-problems.line376.yml true 80.46 54.28 None singleton_with-uninit-problems.line377.yml true 84.70 57.67 None singleton_with-uninit-problems.line391.yml true 94.69 61.30 None singleton_with-uninit-problems.line392.yml true 103.37 65.26 None singleton_with-uninit-problems.line406.yml true 83.37 58.08 None singleton_with-uninit-problems.line407.yml true 99.43 65.52 None singleton_with-uninit-problems.line421.yml true 131.23 90.34 None singleton_with-uninit-problems.line422.yml true 120.21 81.17 None singleton_with-uninit-problems.line433.yml OUT OF MEMORY 374.05 218.54 None singleton_with-uninit-problems.line434.yml OUT OF MEMORY 442.28 253.72 None singleton_with-uninit-problems.line445.yml OUT OF MEMORY 333.48 197.98 None singleton_with-uninit-problems.line446.yml OUT OF MEMORY 244.20 149.01 None singleton_with-uninit-problems.line457.yml OUT OF MEMORY 437.52 250.74 None singleton_with-uninit-problems.line458.yml OUT OF MEMORY 356.84 219.93 None singleton_with-uninit-problems.line469.yml OUT OF MEMORY 458.76 257.93 None singleton_with-uninit-problems.line470.yml OUT OF MEMORY 434.83 248.49 None singleton_with-uninit-problems.line597.yml OUT OF MEMORY 408.04 243.05 None singleton_with-uninit-problems.line598.yml OUT OF MEMORY 425.06 259.71 None singleton_with-uninit-problems.line624.yml OUT OF MEMORY 255.84 157.86 None singleton_with-uninit-problems.line625.yml OUT OF MEMORY 369.36 222.26 None singleton_with-uninit-problems.line709.yml true 82.81 54.26 None singleton_with-uninit-problems.line710.yml true 81.50 55.78 None singleton_with-uninit-problems.line721.yml false(unreach-call) 8.92 6.24 None singleton_with-uninit-problems.line722.yml false(unreach-call) 8.93 6.17 None singleton_with-uninit-problems.line733.yml OUT OF MEMORY 497.53 276.24 None singleton_with-uninit-problems.line734.yml OUT OF MEMORY 345.31 198.50 None singleton_with-uninit-problems.line746.yml OUT OF MEMORY 433.37 246.90 None singleton_with-uninit-problems.line747.yml OUT OF MEMORY 400.78 228.17 None spaghetti.wvr.line309.yml true 20.40 13.76 None spaghetti.wvr.line310.yml true 19.53 12.79 None spaghetti.wvr.line324.yml true 20.46 13.32 None spaghetti.wvr.line325.yml true 20.96 15.48 None spaghetti.wvr.line339.yml true 20.43 13.47 None spaghetti.wvr.line340.yml true 19.79 12.87 None spaghetti.wvr.line354.yml true 33.96 21.03 None spaghetti.wvr.line355.yml true 27.90 20.25 None spaghetti.wvr.line366.yml true 248.23 140.91 None spaghetti.wvr.line367.yml true 252.11 150.94 None spaghetti.wvr.line378.yml OUT OF MEMORY 522.25 273.49 None spaghetti.wvr.line379.yml OUT OF MEMORY 522.58 274.43 None spaghetti.wvr.line390.yml OUT OF MEMORY 422.72 229.28 None spaghetti.wvr.line391.yml OUT OF MEMORY 540.68 282.32 None spaghetti.wvr.line402.yml OUT OF MEMORY 514.71 268.77 None spaghetti.wvr.line403.yml OUT OF MEMORY 333.82 178.17 None stack-1.line299.yml true 15.45 9.37 None stack-1.line300.yml OUT OF MEMORY 162.34 124.14 None stack-1.line411.yml true 25.24 17.60 None stack-1.line412.yml false(unreach-call) 62.21 42.84 None stack-1.line601.yml true 6.74 4.50 None stack-1.line602.yml true 7.29 4.79 None stack-1.line616.yml true 6.37 4.34 None stack-1.line617.yml true 7.20 4.77 None stack-1.line628.yml true 8.80 5.57 None stack-1.line629.yml true 9.50 6.03 None stack-1.line640.yml true 19.91 12.20 None stack-1.line641.yml true 51.42 33.69 None stack-2.line299.yml true 17.83 10.87 None stack-2.line300.yml OUT OF MEMORY 179.22 130.58 None stack-2.line423.yml true 39.97 26.52 None stack-2.line424.yml false(unreach-call) 73.65 52.42 None stack-2.line613.yml true 6.33 4.51 None stack-2.line614.yml true 6.63 4.53 None stack-2.line628.yml true 6.28 4.28 None stack-2.line629.yml true 6.63 4.68 None stack-2.line640.yml true 8.09 5.76 None stack-2.line641.yml true 9.79 5.95 None stack-2.line652.yml true 20.04 12.46 None stack-2.line653.yml true 36.62 24.37 None stack_longer-1.line300.yml true 16.64 10.93 None stack_longer-1.line301.yml TIMEOUT 901.89 795.94 None stack_longer-1.line424.yml true 140.14 87.73 None stack_longer-1.line425.yml OUT OF MEMORY 273.35 197.35 None stack_longer-1.line595.yml true 6.13 4.35 None stack_longer-1.line596.yml true 6.81 4.55 None -------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 41194.11 2439.19 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk02 Run set 2 of 19 with options '--force-no-wrapper --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.trace.refinement.strategy BADGER -s ../../../trunk/examples/settings/gemcutter/NewStatesSleep-VarAbsGlobalSyntactic.epf' and propertyfile 'None' inputfile status cpu time wall time host -------------------------------------------------------------------------------------------------------------------------------------------- safe028_rmo.line864.yml OUT OF MEMORY 530.65 291.30 None safe028_rmo.line865.yml OUT OF MEMORY 576.20 316.01 None safe028_rmo.line877.yml OUT OF MEMORY 653.01 347.00 None safe028_rmo.line878.yml OUT OF MEMORY 525.97 283.49 None safe028_rmo.line904.yml OUT OF MEMORY 689.90 379.31 None safe028_rmo.line905.yml OUT OF MEMORY 556.08 307.71 None safe028_rmo.line919.yml TIMEOUT 921.24 502.67 None safe028_rmo.line920.yml TIMEOUT 916.08 493.56 None safe029_power.oepc_pso.oepc_rmo.oepc.line513.yml true 7.60 4.83 None safe029_power.oepc_pso.oepc_rmo.oepc.line514.yml true 6.69 4.44 None safe029_power.oepc_pso.oepc_rmo.oepc.line541.yml true 6.85 5.26 None safe029_power.oepc_pso.oepc_rmo.oepc.line542.yml true 6.77 4.89 None safe029_power.opt_pso.opt_rmo.opt.line513.yml true 5.96 4.28 None safe029_power.opt_pso.opt_rmo.opt.line514.yml true 6.47 4.33 None safe029_power.opt_pso.opt_rmo.opt.line541.yml true 6.41 4.43 None safe029_power.opt_pso.opt_rmo.opt.line542.yml true 6.23 4.25 None safe029_tso.line321.yml true 5.48 3.87 None safe029_tso.line322.yml true 7.04 4.50 None safe029_tso.line349.yml true 5.80 4.05 None safe029_tso.line350.yml true 6.05 4.21 None safe030_power.oepc_pso.oepc_rmo.oepc.line605.yml true 12.34 7.76 None safe030_power.oepc_pso.oepc_rmo.oepc.line606.yml true 12.41 7.91 None safe030_power.oepc_pso.oepc_rmo.oepc.line633.yml true 12.53 8.46 None safe030_power.oepc_pso.oepc_rmo.oepc.line634.yml true 14.19 8.73 None safe030_power.oepc_pso.oepc_rmo.oepc.line661.yml true 25.98 14.47 None safe030_power.oepc_pso.oepc_rmo.oepc.line662.yml true 19.84 12.44 None safe030_power.opt_pso.opt_rmo.opt.line558.yml true 9.16 5.64 None safe030_power.opt_pso.opt_rmo.opt.line559.yml true 9.60 5.62 None safe030_power.opt_pso.opt_rmo.opt.line586.yml true 8.95 5.70 None safe030_power.opt_pso.opt_rmo.opt.line587.yml true 8.66 6.31 None safe030_power.opt_pso.opt_rmo.opt.line614.yml true 10.44 6.70 None safe030_power.opt_pso.opt_rmo.opt.line615.yml true 10.68 6.95 None safe030_tso.line359.yml true 6.96 4.60 None safe030_tso.line360.yml true 6.98 4.87 None safe030_tso.line387.yml true 9.09 5.74 None safe030_tso.line388.yml true 6.95 4.91 None safe030_tso.line415.yml true 7.36 5.00 None safe030_tso.line416.yml true 7.93 5.74 None safe031_power.oepc_pso.oepc_rmo.oepc.line706.yml true 20.41 12.61 None safe031_power.oepc_pso.oepc_rmo.oepc.line707.yml true 19.64 12.99 None safe031_power.oepc_pso.oepc_rmo.oepc.line734.yml true 19.85 13.79 None safe031_power.oepc_pso.oepc_rmo.oepc.line735.yml true 24.77 15.02 None safe031_power.oepc_pso.oepc_rmo.oepc.line762.yml true 29.94 18.73 None safe031_power.oepc_pso.oepc_rmo.oepc.line763.yml true 30.82 20.71 None safe031_power.opt_pso.opt_rmo.opt.line565.yml true 9.86 6.15 None safe031_power.opt_pso.opt_rmo.opt.line566.yml true 9.14 6.14 None safe031_power.opt_pso.opt_rmo.opt.line593.yml true 10.01 6.29 None safe031_power.opt_pso.opt_rmo.opt.line594.yml true 12.95 7.22 None safe031_power.opt_pso.opt_rmo.opt.line621.yml true 11.71 7.07 None safe031_power.opt_pso.opt_rmo.opt.line622.yml true 11.52 7.57 None safe031_tso.line366.yml true 7.29 4.99 None safe031_tso.line367.yml true 7.00 4.79 None safe031_tso.line394.yml true 9.03 5.71 None safe031_tso.line395.yml true 7.38 5.06 None safe031_tso.line422.yml true 9.05 5.73 None safe031_tso.line423.yml true 8.84 5.70 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line1000.yml true 88.17 54.78 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line1001.yml true 94.91 59.89 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line944.yml true 61.72 36.47 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line945.yml true 51.59 32.56 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line972.yml true 54.68 33.66 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line973.yml true 49.87 31.16 None safe032_tso.line370.yml true 7.61 5.05 None safe032_tso.line371.yml true 7.31 5.09 None safe032_tso.line398.yml true 9.46 5.92 None safe032_tso.line399.yml true 7.56 5.14 None safe032_tso.line426.yml true 9.00 5.58 None safe032_tso.line427.yml true 8.99 6.00 None safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line614.yml true 6.49 4.50 None safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line615.yml true 8.52 5.30 None safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line642.yml true 7.09 4.67 None safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line643.yml true 7.69 5.03 None safe033_tso.line328.yml true 5.80 4.17 None safe033_tso.line329.yml true 7.17 4.60 None safe033_tso.line356.yml true 6.03 4.09 None safe033_tso.line357.yml true 5.97 4.27 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line666.yml true 12.25 8.21 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line667.yml true 15.85 9.25 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line694.yml true 11.70 7.38 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line695.yml true 12.19 7.50 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line722.yml true 15.96 10.16 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line723.yml true 16.19 10.60 None safe034_tso.line373.yml true 7.60 5.31 None safe034_tso.line374.yml true 7.74 5.18 None safe034_tso.line401.yml true 8.09 5.30 None safe034_tso.line402.yml true 9.69 6.03 None safe034_tso.line429.yml true 8.28 5.78 None safe034_tso.line430.yml true 8.78 6.08 None safe035_power.line1115.yml true 34.35 21.65 None safe035_power.line1116.yml true 35.47 22.25 None safe035_power.line1143.yml true 44.86 27.14 None safe035_power.line1144.yml true 38.15 24.79 None safe035_power.line1171.yml true 58.90 38.97 None safe035_power.line1172.yml true 59.50 37.47 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line377.yml true 7.75 5.17 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line378.yml true 7.89 5.27 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line405.yml true 7.62 5.10 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line406.yml true 7.83 5.32 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line433.yml true 9.11 5.89 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line434.yml true 11.63 7.00 None safe036.line335.yml true 5.70 3.87 None safe036.line336.yml true 6.26 4.25 None safe036.line363.yml true 6.31 4.23 None safe036.line364.yml true 6.22 4.14 None safe037.line380.yml true 8.85 5.66 None safe037.line381.yml true 8.17 5.15 None safe037.line408.yml true 7.69 5.14 None safe037.line409.yml true 7.37 4.99 None safe037.line436.yml true 12.05 7.15 None safe037.line437.yml true 9.16 6.19 None scull.line1005.yml OUT OF MEMORY 464.83 245.54 None scull.line1006.yml OUT OF MEMORY 476.60 249.11 None scull.line1017.yml OUT OF MEMORY 446.36 231.19 None scull.line1018.yml OUT OF MEMORY 428.79 221.79 None scull.line1029.yml OUT OF MEMORY 463.16 247.98 None scull.line1030.yml OUT OF MEMORY 606.03 314.27 None scull.line963.yml true 12.66 7.97 None scull.line964.yml true 13.17 8.46 None scull.line978.yml true 13.28 8.29 None scull.line979.yml true 13.64 9.06 None scull.line993.yml true 16.14 10.03 None scull.line994.yml true 15.00 10.12 None security.wvr.line167.yml true 5.98 4.24 None security.wvr.line168.yml true 6.51 4.39 None security.wvr.line182.yml true 6.19 4.56 None security.wvr.line183.yml true 5.70 4.00 None security.wvr.line194.yml true 5.84 4.24 None security.wvr.line195.yml true 6.56 4.62 None security.wvr.line206.yml true 6.24 4.50 None security.wvr.line207.yml true 6.65 4.34 None singleton-b.line340.yml true 34.32 25.95 None singleton-b.line341.yml true 34.97 27.76 None singleton-b.line352.yml false(unreach-call) 10.28 7.70 None singleton-b.line353.yml false(unreach-call) 10.33 7.28 None singleton-b.line367.yml true 35.91 26.57 None singleton-b.line368.yml true 34.26 24.74 None singleton-b.line382.yml true 34.49 26.43 None singleton-b.line383.yml true 42.26 28.30 None singleton-b.line397.yml true 35.15 28.64 None singleton-b.line398.yml true 35.71 26.00 None singleton-b.line412.yml true 51.41 37.98 None singleton-b.line413.yml true 50.33 38.05 None singleton-b.line424.yml true 466.59 275.28 None singleton-b.line425.yml true 250.72 159.29 None singleton-b.line436.yml OUT OF MEMORY 368.80 238.76 None singleton-b.line437.yml OUT OF MEMORY 333.07 200.67 None singleton-b.line448.yml OUT OF MEMORY 331.97 200.70 None singleton-b.line449.yml OUT OF MEMORY 398.58 236.49 None singleton-b.line460.yml OUT OF MEMORY 315.58 197.35 None singleton-b.line461.yml OUT OF MEMORY 358.14 216.39 None singleton-b.line586.yml OUT OF MEMORY 306.37 186.61 None singleton-b.line587.yml OUT OF MEMORY 351.99 211.45 None singleton-b.line609.yml true 208.99 139.48 None singleton-b.line610.yml true 230.09 143.16 None singleton-b.line690.yml true 38.06 26.52 None singleton-b.line691.yml true 38.03 26.61 None singleton-b.line702.yml false(unreach-call) 11.07 7.26 None singleton-b.line703.yml false(unreach-call) 10.88 7.13 None singleton-b.line714.yml OUT OF MEMORY 633.04 355.10 None singleton-b.line715.yml OUT OF MEMORY 586.14 330.44 None singleton.line349.yml true 66.86 45.64 None singleton.line350.yml true 69.23 48.18 None singleton.line361.yml false(unreach-call) 9.63 7.01 None singleton.line362.yml false(unreach-call) 9.86 7.45 None singleton.line376.yml true 64.87 43.93 None singleton.line377.yml true 66.60 45.66 None singleton.line391.yml true 67.32 45.63 None singleton.line392.yml true 67.72 45.77 None singleton.line406.yml true 66.96 47.82 None singleton.line407.yml true 74.23 51.97 None singleton.line421.yml true 102.14 73.64 None singleton.line422.yml true 100.83 70.44 None singleton.line433.yml OUT OF MEMORY 412.00 235.26 None singleton.line434.yml OUT OF MEMORY 383.16 220.99 None singleton.line445.yml OUT OF MEMORY 525.82 295.63 None singleton.line446.yml OUT OF MEMORY 296.70 182.40 None singleton.line457.yml OUT OF MEMORY 343.83 202.85 None singleton.line458.yml OUT OF MEMORY 328.91 196.68 None singleton.line469.yml OUT OF MEMORY 346.04 205.73 None singleton.line470.yml OUT OF MEMORY 380.50 223.79 None singleton.line597.yml OUT OF MEMORY 557.93 317.14 None singleton.line598.yml OUT OF MEMORY 397.12 238.63 None singleton.line624.yml OUT OF MEMORY 355.38 219.86 None singleton.line625.yml OUT OF MEMORY 363.97 215.68 None singleton.line707.yml true 62.11 42.79 None singleton.line708.yml true 64.54 44.96 None singleton.line719.yml false(unreach-call) 8.85 6.58 None singleton.line720.yml false(unreach-call) 9.12 6.35 None singleton.line731.yml OUT OF MEMORY 347.21 198.62 None singleton.line732.yml OUT OF MEMORY 405.92 233.97 None singleton_with-uninit-problems-b.line340.yml true 34.72 25.97 None singleton_with-uninit-problems-b.line341.yml true 34.96 24.88 None singleton_with-uninit-problems-b.line352.yml false(unreach-call) 12.23 8.16 None singleton_with-uninit-problems-b.line353.yml false(unreach-call) 9.45 6.93 None singleton_with-uninit-problems-b.line367.yml true 32.44 24.98 None singleton_with-uninit-problems-b.line368.yml true 33.05 24.68 None singleton_with-uninit-problems-b.line382.yml true 38.58 26.78 None singleton_with-uninit-problems-b.line383.yml true 35.14 26.28 None singleton_with-uninit-problems-b.line397.yml true 32.67 24.09 None singleton_with-uninit-problems-b.line398.yml true 42.48 29.34 None singleton_with-uninit-problems-b.line412.yml true 46.73 33.80 None singleton_with-uninit-problems-b.line413.yml true 48.45 36.61 None singleton_with-uninit-problems-b.line424.yml true 395.37 244.81 None singleton_with-uninit-problems-b.line425.yml true 289.90 175.06 None singleton_with-uninit-problems-b.line436.yml OUT OF MEMORY 363.73 223.00 None singleton_with-uninit-problems-b.line437.yml OUT OF MEMORY 295.13 183.76 None singleton_with-uninit-problems-b.line448.yml OUT OF MEMORY 393.43 237.17 None singleton_with-uninit-problems-b.line449.yml OUT OF MEMORY 387.46 241.75 None singleton_with-uninit-problems-b.line460.yml OUT OF MEMORY 453.57 267.24 None singleton_with-uninit-problems-b.line461.yml OUT OF MEMORY 348.93 211.90 None singleton_with-uninit-problems-b.line586.yml OUT OF MEMORY 314.96 192.76 None singleton_with-uninit-problems-b.line587.yml OUT OF MEMORY 419.70 249.15 None singleton_with-uninit-problems-b.line609.yml true 190.63 124.09 None singleton_with-uninit-problems-b.line610.yml true 229.56 141.08 None singleton_with-uninit-problems-b.line692.yml true 34.22 24.81 None singleton_with-uninit-problems-b.line693.yml true 31.77 23.70 None singleton_with-uninit-problems-b.line704.yml false(unreach-call) 8.88 6.14 None singleton_with-uninit-problems-b.line705.yml false(unreach-call) 11.31 7.32 None singleton_with-uninit-problems-b.line716.yml OUT OF MEMORY 568.27 322.39 None singleton_with-uninit-problems-b.line717.yml OUT OF MEMORY 385.69 240.73 None singleton_with-uninit-problems-b.line729.yml OUT OF MEMORY 548.09 378.69 None singleton_with-uninit-problems-b.line730.yml OUT OF MEMORY 392.74 239.17 None singleton_with-uninit-problems.line349.yml true 62.41 43.73 None singleton_with-uninit-problems.line350.yml true 81.84 52.54 None singleton_with-uninit-problems.line361.yml false(unreach-call) 9.74 7.00 None singleton_with-uninit-problems.line362.yml false(unreach-call) 9.69 6.95 None singleton_with-uninit-problems.line376.yml true 75.79 53.88 None singleton_with-uninit-problems.line377.yml true 68.52 50.88 None singleton_with-uninit-problems.line391.yml true 67.94 45.84 None singleton_with-uninit-problems.line392.yml true 67.76 52.75 None singleton_with-uninit-problems.line406.yml true 71.03 52.46 None singleton_with-uninit-problems.line407.yml true 75.26 63.19 None singleton_with-uninit-problems.line421.yml true 111.90 116.77 None singleton_with-uninit-problems.line422.yml true 123.37 79.93 None singleton_with-uninit-problems.line433.yml OUT OF MEMORY 383.41 218.44 None singleton_with-uninit-problems.line434.yml OUT OF MEMORY 376.96 227.50 None singleton_with-uninit-problems.line445.yml OUT OF MEMORY 657.40 426.95 None singleton_with-uninit-problems.line446.yml OUT OF MEMORY 396.76 236.26 None singleton_with-uninit-problems.line457.yml OUT OF MEMORY 572.04 358.94 None singleton_with-uninit-problems.line458.yml OUT OF MEMORY 364.49 269.29 None singleton_with-uninit-problems.line469.yml OUT OF MEMORY 435.11 259.07 None singleton_with-uninit-problems.line470.yml OUT OF MEMORY 597.12 369.94 None singleton_with-uninit-problems.line597.yml OUT OF MEMORY 567.93 318.49 None singleton_with-uninit-problems.line598.yml OUT OF MEMORY 631.50 456.99 None singleton_with-uninit-problems.line624.yml OUT OF MEMORY 318.65 198.30 None singleton_with-uninit-problems.line625.yml OUT OF MEMORY 404.27 237.50 None singleton_with-uninit-problems.line709.yml true 64.82 44.69 None singleton_with-uninit-problems.line710.yml true 68.44 45.88 None singleton_with-uninit-problems.line721.yml false(unreach-call) 9.35 7.00 None singleton_with-uninit-problems.line722.yml false(unreach-call) 9.22 6.58 None singleton_with-uninit-problems.line733.yml OUT OF MEMORY 399.53 236.07 None singleton_with-uninit-problems.line734.yml OUT OF MEMORY 474.51 265.90 None singleton_with-uninit-problems.line746.yml OUT OF MEMORY 352.16 201.23 None singleton_with-uninit-problems.line747.yml OUT OF MEMORY 366.02 212.04 None spaghetti.wvr.line309.yml true 19.68 13.60 None spaghetti.wvr.line310.yml true 19.10 12.17 None spaghetti.wvr.line324.yml true 23.37 14.69 None spaghetti.wvr.line325.yml true 18.22 12.75 None spaghetti.wvr.line339.yml true 20.33 13.46 None spaghetti.wvr.line340.yml true 27.53 21.37 None spaghetti.wvr.line354.yml true 27.58 23.92 None spaghetti.wvr.line355.yml true 27.59 20.45 None spaghetti.wvr.line366.yml true 268.18 165.47 None spaghetti.wvr.line367.yml true 216.13 122.23 None spaghetti.wvr.line378.yml OUT OF MEMORY 464.16 268.58 None spaghetti.wvr.line379.yml OUT OF MEMORY 422.85 225.40 None spaghetti.wvr.line390.yml OUT OF MEMORY 555.06 293.48 None spaghetti.wvr.line391.yml OUT OF MEMORY 544.03 282.17 None spaghetti.wvr.line402.yml OUT OF MEMORY 434.52 227.25 None spaghetti.wvr.line403.yml OUT OF MEMORY 423.04 224.60 None stack-1.line299.yml true 18.21 10.66 None stack-1.line300.yml OUT OF MEMORY 211.87 160.36 None stack-1.line411.yml true 30.29 20.40 None stack-1.line412.yml false(unreach-call) 73.14 48.83 None stack-1.line601.yml true 6.69 4.68 None stack-1.line602.yml true 7.27 4.92 None stack-1.line616.yml true 7.24 4.83 None stack-1.line617.yml true 6.99 4.73 None stack-1.line628.yml true 9.49 6.27 None stack-1.line629.yml true 10.37 6.33 None stack-1.line640.yml true 19.75 12.57 None stack-1.line641.yml true 51.12 33.67 None stack-2.line299.yml true 21.95 13.19 None stack-2.line300.yml OUT OF MEMORY 257.25 211.83 None stack-2.line423.yml true 38.74 24.56 None stack-2.line424.yml false(unreach-call) 79.93 52.95 None stack-2.line613.yml true 6.60 4.56 None stack-2.line614.yml true 7.34 4.85 None stack-2.line628.yml true 6.70 4.94 None stack-2.line629.yml true 7.13 4.77 None stack-2.line640.yml true 9.51 6.07 None stack-2.line641.yml true 10.36 6.19 None stack-2.line652.yml true 20.17 12.91 None stack-2.line653.yml true 36.98 22.53 None stack_longer-1.line300.yml true 17.10 10.92 None stack_longer-1.line301.yml TIMEOUT 900.88 734.54 None stack_longer-1.line424.yml true 50.64 33.24 None stack_longer-1.line425.yml OUT OF MEMORY 329.18 269.56 None stack_longer-1.line595.yml true 7.24 4.91 None stack_longer-1.line596.yml true 8.56 5.50 None -------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 42494.61 2440.26 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk02 Run set 3 of 19 with options '--force-no-wrapper --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.trace.refinement.strategy BADGER -s ../../../trunk/examples/settings/gemcutter/SleepMap-ConcreteSmt-VarAbsGlobalSyntactic.epf' and propertyfile 'None' inputfile status cpu time wall time host -------------------------------------------------------------------------------------------------------------------------------------------- safe028_rmo.line864.yml OUT OF MEMORY 253.99 143.14 None safe028_rmo.line865.yml OUT OF MEMORY 396.98 215.38 None safe028_rmo.line877.yml OUT OF MEMORY 822.27 426.98 None safe028_rmo.line878.yml OUT OF MEMORY 596.15 310.65 None safe028_rmo.line904.yml OUT OF MEMORY 288.07 160.38 None safe028_rmo.line905.yml OUT OF MEMORY 774.79 414.55 None safe028_rmo.line919.yml OUT OF MEMORY 383.26 208.71 None safe028_rmo.line920.yml TIMEOUT 920.91 485.58 None safe029_power.oepc_pso.oepc_rmo.oepc.line513.yml true 7.84 4.97 None safe029_power.oepc_pso.oepc_rmo.oepc.line514.yml true 6.78 4.50 None safe029_power.oepc_pso.oepc_rmo.oepc.line541.yml true 7.39 5.51 None safe029_power.oepc_pso.oepc_rmo.oepc.line542.yml true 7.02 4.93 None safe029_power.opt_pso.opt_rmo.opt.line513.yml true 5.98 4.20 None safe029_power.opt_pso.opt_rmo.opt.line514.yml true 6.42 4.26 None safe029_power.opt_pso.opt_rmo.opt.line541.yml true 6.85 4.72 None safe029_power.opt_pso.opt_rmo.opt.line542.yml true 6.92 4.57 None safe029_tso.line321.yml true 5.91 4.05 None safe029_tso.line322.yml true 7.47 5.12 None safe029_tso.line349.yml true 6.18 4.50 None safe029_tso.line350.yml true 6.48 4.39 None safe030_power.oepc_pso.oepc_rmo.oepc.line605.yml true 18.33 11.53 None safe030_power.oepc_pso.oepc_rmo.oepc.line606.yml true 19.68 11.77 None safe030_power.oepc_pso.oepc_rmo.oepc.line633.yml true 20.45 12.72 None safe030_power.oepc_pso.oepc_rmo.oepc.line634.yml true 18.39 12.36 None safe030_power.oepc_pso.oepc_rmo.oepc.line661.yml true 26.92 18.34 None safe030_power.oepc_pso.oepc_rmo.oepc.line662.yml true 35.28 20.59 None safe030_power.opt_pso.opt_rmo.opt.line558.yml true 11.98 6.86 None safe030_power.opt_pso.opt_rmo.opt.line559.yml true 10.34 6.50 None safe030_power.opt_pso.opt_rmo.opt.line586.yml true 10.83 7.18 None safe030_power.opt_pso.opt_rmo.opt.line587.yml true 11.16 6.76 None safe030_power.opt_pso.opt_rmo.opt.line614.yml true 12.92 8.05 None safe030_power.opt_pso.opt_rmo.opt.line615.yml true 13.53 8.10 None safe030_tso.line359.yml true 7.95 5.37 None safe030_tso.line360.yml true 7.58 5.47 None safe030_tso.line387.yml true 7.12 4.99 None safe030_tso.line388.yml true 10.48 6.31 None safe030_tso.line415.yml true 9.99 6.71 None safe030_tso.line416.yml true 9.42 6.40 None safe031_power.oepc_pso.oepc_rmo.oepc.line706.yml true 32.43 21.23 None safe031_power.oepc_pso.oepc_rmo.oepc.line707.yml true 32.50 20.44 None safe031_power.oepc_pso.oepc_rmo.oepc.line734.yml true 32.48 20.07 None safe031_power.oepc_pso.oepc_rmo.oepc.line735.yml true 39.31 23.57 None safe031_power.oepc_pso.oepc_rmo.oepc.line762.yml true 52.50 34.30 None safe031_power.oepc_pso.oepc_rmo.oepc.line763.yml true 49.84 33.61 None safe031_power.opt_pso.opt_rmo.opt.line565.yml true 10.45 6.74 None safe031_power.opt_pso.opt_rmo.opt.line566.yml true 11.62 7.31 None safe031_power.opt_pso.opt_rmo.opt.line593.yml true 12.83 7.26 None safe031_power.opt_pso.opt_rmo.opt.line594.yml true 15.66 9.02 None safe031_power.opt_pso.opt_rmo.opt.line621.yml true 14.20 8.69 None safe031_power.opt_pso.opt_rmo.opt.line622.yml true 14.33 9.48 None safe031_tso.line366.yml true 8.69 5.56 None safe031_tso.line367.yml true 8.97 5.65 None safe031_tso.line394.yml true 10.70 6.61 None safe031_tso.line395.yml true 9.45 5.65 None safe031_tso.line422.yml true 10.08 6.38 None safe031_tso.line423.yml true 10.54 6.58 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line1000.yml OUT OF MEMORY 132.65 79.92 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line1001.yml true 162.12 103.03 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line944.yml true 114.13 66.41 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line945.yml true 86.75 53.13 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line972.yml true 92.44 57.07 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line973.yml true 90.32 55.62 None safe032_tso.line370.yml true 8.46 5.53 None safe032_tso.line371.yml true 9.12 5.85 None safe032_tso.line398.yml true 8.79 5.84 None safe032_tso.line399.yml true 8.25 5.59 None safe032_tso.line426.yml true 11.26 7.27 None safe032_tso.line427.yml true 10.41 7.08 None safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line614.yml true 7.07 4.60 None safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line615.yml true 6.94 4.79 None safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line642.yml true 9.85 5.92 None safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line643.yml true 7.35 4.79 None safe033_tso.line328.yml true 5.39 3.95 None safe033_tso.line329.yml true 6.31 4.46 None safe033_tso.line356.yml true 7.71 4.91 None safe033_tso.line357.yml true 6.42 4.49 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line666.yml true 15.75 10.14 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line667.yml true 15.53 9.82 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line694.yml true 16.17 11.01 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line695.yml true 22.42 12.53 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line722.yml true 23.15 15.10 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line723.yml true 22.81 14.08 None safe034_tso.line373.yml true 8.87 5.94 None safe034_tso.line374.yml true 8.24 5.60 None safe034_tso.line401.yml true 8.72 5.66 None safe034_tso.line402.yml true 8.86 5.80 None safe034_tso.line429.yml true 11.99 7.20 None safe034_tso.line430.yml true 14.53 8.21 None safe035_power.line1115.yml true 56.86 36.64 None safe035_power.line1116.yml true 55.38 34.40 None safe035_power.line1143.yml true 58.30 37.14 None safe035_power.line1144.yml true 58.29 38.03 None safe035_power.line1171.yml true 100.54 65.53 None safe035_power.line1172.yml true 101.05 67.98 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line377.yml true 10.67 6.54 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line378.yml true 9.18 5.85 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line405.yml true 11.82 7.13 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line406.yml true 9.51 6.39 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line433.yml true 13.91 8.18 None safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line434.yml true 11.49 7.26 None safe036.line335.yml true 5.88 4.20 None safe036.line336.yml true 7.53 4.86 None safe036.line363.yml true 6.40 4.50 None safe036.line364.yml true 6.24 4.17 None safe037.line380.yml true 10.93 6.51 None safe037.line381.yml true 8.43 5.77 None safe037.line408.yml true 8.60 5.56 None safe037.line409.yml true 11.12 6.80 None safe037.line436.yml true 10.96 6.60 None safe037.line437.yml true 10.72 6.89 None scull.line1005.yml OUT OF MEMORY 668.94 341.03 None scull.line1006.yml OUT OF MEMORY 846.09 427.04 None scull.line1017.yml OUT OF MEMORY 675.89 346.23 None scull.line1018.yml OUT OF MEMORY 645.21 326.89 None scull.line1029.yml OUT OF MEMORY 637.69 330.68 None scull.line1030.yml OUT OF MEMORY 616.68 311.89 None scull.line963.yml true 19.00 11.39 None scull.line964.yml true 17.87 10.91 None scull.line978.yml true 20.24 11.86 None scull.line979.yml true 16.25 10.38 None scull.line993.yml true 22.24 13.77 None scull.line994.yml true 21.76 13.46 None security.wvr.line167.yml true 7.17 4.62 None security.wvr.line168.yml true 6.37 4.68 None security.wvr.line182.yml true 7.59 4.65 None security.wvr.line183.yml true 5.83 4.24 None security.wvr.line194.yml true 7.43 4.81 None security.wvr.line195.yml true 5.98 4.22 None security.wvr.line206.yml true 6.55 4.48 None security.wvr.line207.yml true 6.72 4.71 None singleton-b.line340.yml true 67.47 44.79 None singleton-b.line341.yml true 57.32 41.19 None singleton-b.line352.yml false(unreach-call) 11.13 7.94 None singleton-b.line353.yml false(unreach-call) 10.89 7.68 None singleton-b.line367.yml true 57.51 41.10 None singleton-b.line368.yml true 58.41 40.79 None singleton-b.line382.yml true 57.21 41.28 None singleton-b.line383.yml true 68.49 44.16 None singleton-b.line397.yml true 56.60 39.95 None singleton-b.line398.yml true 59.58 44.28 None singleton-b.line412.yml true 75.91 54.10 None singleton-b.line413.yml true 82.24 59.00 None singleton-b.line424.yml TIMEOUT 921.07 488.38 None singleton-b.line425.yml OUT OF MEMORY 461.07 260.12 None singleton-b.line436.yml OUT OF MEMORY 694.55 376.84 None singleton-b.line437.yml OUT OF MEMORY 508.34 271.41 None singleton-b.line448.yml OUT OF MEMORY 630.11 338.14 None singleton-b.line449.yml OUT OF MEMORY 682.42 381.75 None singleton-b.line460.yml TIMEOUT 921.31 489.15 None singleton-b.line461.yml OUT OF MEMORY 826.85 437.70 None singleton-b.line586.yml OUT OF MEMORY 498.20 278.14 None singleton-b.line587.yml OUT OF MEMORY 525.31 290.07 None singleton-b.line609.yml OUT OF MEMORY 241.71 144.07 None singleton-b.line610.yml true 366.23 234.14 None singleton-b.line690.yml true 53.51 38.89 None singleton-b.line691.yml true 54.71 38.88 None singleton-b.line702.yml false(unreach-call) 9.76 6.99 None singleton-b.line703.yml false(unreach-call) 9.68 6.86 None singleton-b.line714.yml OUT OF MEMORY 713.24 380.14 None singleton-b.line715.yml OUT OF MEMORY 591.47 314.92 None singleton.line349.yml true 122.40 81.69 None singleton.line350.yml true 139.63 88.50 None singleton.line361.yml false(unreach-call) 11.12 8.11 None singleton.line362.yml false(unreach-call) 10.64 7.84 None singleton.line376.yml true 114.58 77.81 None singleton.line377.yml true 116.47 78.92 None singleton.line391.yml true 137.91 88.16 None singleton.line392.yml true 123.48 82.05 None singleton.line406.yml true 114.81 76.74 None singleton.line407.yml true 117.36 81.20 None singleton.line421.yml true 183.22 123.22 None singleton.line422.yml true 188.33 138.03 None singleton.line433.yml OUT OF MEMORY 595.66 318.63 None singleton.line434.yml OUT OF MEMORY 543.27 287.22 None singleton.line445.yml OUT OF MEMORY 705.86 373.07 None singleton.line446.yml OUT OF MEMORY 693.65 369.57 None singleton.line457.yml OUT OF MEMORY 820.48 428.38 None singleton.line458.yml OUT OF MEMORY 623.24 328.48 None singleton.line469.yml OUT OF MEMORY 836.59 435.60 None singleton.line470.yml OUT OF MEMORY 599.78 322.12 None singleton.line597.yml OUT OF MEMORY 603.82 345.41 None singleton.line598.yml OUT OF MEMORY 461.34 262.96 None singleton.line624.yml OUT OF MEMORY 640.28 352.07 None singleton.line625.yml OUT OF MEMORY 472.55 267.73 None singleton.line707.yml true 111.40 74.40 None singleton.line708.yml true 120.31 80.96 None singleton.line719.yml false(unreach-call) 10.37 6.83 None singleton.line720.yml false(unreach-call) 9.65 6.48 None singleton.line731.yml OUT OF MEMORY 607.66 319.58 None singleton.line732.yml OUT OF MEMORY 631.75 332.82 None singleton_with-uninit-problems-b.line340.yml true 55.04 37.76 None singleton_with-uninit-problems-b.line341.yml true 56.80 39.95 None singleton_with-uninit-problems-b.line352.yml false(unreach-call) 10.31 7.18 None singleton_with-uninit-problems-b.line353.yml false(unreach-call) 10.11 7.18 None singleton_with-uninit-problems-b.line367.yml true 51.31 36.49 None singleton_with-uninit-problems-b.line368.yml true 56.24 39.93 None singleton_with-uninit-problems-b.line382.yml true 52.87 36.68 None singleton_with-uninit-problems-b.line383.yml true 66.91 43.97 None singleton_with-uninit-problems-b.line397.yml true 52.28 37.22 None singleton_with-uninit-problems-b.line398.yml true 57.67 41.40 None singleton_with-uninit-problems-b.line412.yml true 83.89 61.89 None singleton_with-uninit-problems-b.line413.yml true 80.34 58.12 None singleton_with-uninit-problems-b.line424.yml OUT OF MEMORY 651.38 344.71 None singleton_with-uninit-problems-b.line425.yml OUT OF MEMORY 483.01 276.79 None singleton_with-uninit-problems-b.line436.yml OUT OF MEMORY 554.43 311.42 None singleton_with-uninit-problems-b.line437.yml OUT OF MEMORY 561.56 299.33 None singleton_with-uninit-problems-b.line448.yml OUT OF MEMORY 880.82 461.38 None singleton_with-uninit-problems-b.line449.yml OUT OF MEMORY 809.87 429.36 None singleton_with-uninit-problems-b.line460.yml OUT OF MEMORY 822.78 436.43 None singleton_with-uninit-problems-b.line461.yml OUT OF MEMORY 687.03 366.86 None singleton_with-uninit-problems-b.line586.yml OUT OF MEMORY 295.02 173.43 None singleton_with-uninit-problems-b.line587.yml OUT OF MEMORY 552.69 310.78 None singleton_with-uninit-problems-b.line609.yml true 436.92 267.88 None singleton_with-uninit-problems-b.line610.yml true 441.65 267.31 None singleton_with-uninit-problems-b.line692.yml true 52.58 36.99 None singleton_with-uninit-problems-b.line693.yml true 52.22 36.10 None singleton_with-uninit-problems-b.line704.yml false(unreach-call) 10.29 7.28 None singleton_with-uninit-problems-b.line705.yml false(unreach-call) 8.88 6.45 None singleton_with-uninit-problems-b.line716.yml OUT OF MEMORY 802.39 422.95 None singleton_with-uninit-problems-b.line717.yml OUT OF MEMORY 735.32 395.18 None singleton_with-uninit-problems-b.line729.yml OUT OF MEMORY 665.87 351.72 None singleton_with-uninit-problems-b.line730.yml OUT OF MEMORY 754.01 397.16 None singleton_with-uninit-problems.line349.yml true 114.44 81.68 None singleton_with-uninit-problems.line350.yml true 111.48 74.00 None singleton_with-uninit-problems.line361.yml false(unreach-call) 13.53 8.76 None singleton_with-uninit-problems.line362.yml false(unreach-call) 10.80 7.48 None singleton_with-uninit-problems.line376.yml true 139.71 89.20 None singleton_with-uninit-problems.line377.yml true 140.18 88.95 None singleton_with-uninit-problems.line391.yml true 117.00 77.75 None singleton_with-uninit-problems.line392.yml true 124.88 85.24 None singleton_with-uninit-problems.line406.yml true 114.35 75.81 None singleton_with-uninit-problems.line407.yml true 126.17 89.17 None singleton_with-uninit-problems.line421.yml true 188.74 127.57 None singleton_with-uninit-problems.line422.yml true 190.56 125.53 None singleton_with-uninit-problems.line433.yml OUT OF MEMORY 796.05 415.71 None singleton_with-uninit-problems.line434.yml OUT OF MEMORY 762.31 398.73 None singleton_with-uninit-problems.line445.yml OUT OF MEMORY 703.43 371.38 None singleton_with-uninit-problems.line446.yml OUT OF MEMORY 681.47 360.19 None singleton_with-uninit-problems.line457.yml OUT OF MEMORY 608.78 319.55 None singleton_with-uninit-problems.line458.yml OUT OF MEMORY 825.21 429.31 None singleton_with-uninit-problems.line469.yml OUT OF MEMORY 846.12 440.04 None singleton_with-uninit-problems.line470.yml OUT OF MEMORY 806.41 430.42 None singleton_with-uninit-problems.line597.yml OUT OF MEMORY 279.70 168.48 None singleton_with-uninit-problems.line598.yml OUT OF MEMORY 545.26 307.13 None singleton_with-uninit-problems.line624.yml OUT OF MEMORY 369.51 214.80 None singleton_with-uninit-problems.line625.yml OUT OF MEMORY 304.59 184.03 None singleton_with-uninit-problems.line709.yml true 117.93 78.54 None singleton_with-uninit-problems.line710.yml true 118.46 77.17 None singleton_with-uninit-problems.line721.yml false(unreach-call) 9.60 7.11 None singleton_with-uninit-problems.line722.yml false(unreach-call) 9.64 6.83 None singleton_with-uninit-problems.line733.yml OUT OF MEMORY 740.33 394.33 None singleton_with-uninit-problems.line734.yml OUT OF MEMORY 689.86 359.50 None singleton_with-uninit-problems.line746.yml OUT OF MEMORY 688.06 362.65 None singleton_with-uninit-problems.line747.yml OUT OF MEMORY 564.13 295.62 None spaghetti.wvr.line309.yml true 28.00 17.83 None spaghetti.wvr.line310.yml true 27.67 18.88 None spaghetti.wvr.line324.yml true 29.22 19.25 None spaghetti.wvr.line325.yml true 28.53 18.92 None spaghetti.wvr.line339.yml true 28.42 18.73 None spaghetti.wvr.line340.yml true 29.78 20.27 None spaghetti.wvr.line354.yml true 50.09 31.27 None spaghetti.wvr.line355.yml true 40.52 27.17 None spaghetti.wvr.line366.yml true 395.83 209.44 None spaghetti.wvr.line367.yml true 430.10 224.43 None spaghetti.wvr.line378.yml OUT OF MEMORY 561.96 290.61 None spaghetti.wvr.line379.yml OUT OF MEMORY 761.67 386.67 None spaghetti.wvr.line390.yml OUT OF MEMORY 582.23 296.54 None spaghetti.wvr.line391.yml OUT OF MEMORY 639.30 331.23 None spaghetti.wvr.line402.yml OUT OF MEMORY 757.33 386.09 None spaghetti.wvr.line403.yml OUT OF MEMORY 726.53 369.34 None stack-1.line299.yml true 25.91 16.09 None stack-1.line300.yml OUT OF MEMORY 233.04 163.46 None stack-1.line411.yml true 50.38 35.21 None stack-1.line412.yml false(unreach-call) 89.52 69.80 None stack-1.line601.yml true 7.03 5.68 None stack-1.line602.yml true 7.50 5.62 None stack-1.line616.yml true 6.77 4.52 None stack-1.line617.yml true 7.29 5.85 None stack-1.line628.yml true 11.69 6.72 None stack-1.line629.yml true 11.80 7.98 None stack-1.line640.yml true 30.09 19.07 None stack-1.line641.yml true 91.45 70.20 None stack-2.line299.yml true 26.32 18.09 None stack-2.line300.yml OUT OF MEMORY 195.34 142.89 None stack-2.line423.yml true 80.67 58.82 None stack-2.line424.yml false(unreach-call) 169.12 128.22 None stack-2.line613.yml true 6.55 4.30 None stack-2.line614.yml true 9.29 5.76 None stack-2.line628.yml true 6.49 4.43 None stack-2.line629.yml true 9.27 5.68 None stack-2.line640.yml true 11.94 7.23 None stack-2.line641.yml true 12.54 13.89 None stack-2.line652.yml true 37.07 28.78 None stack-2.line653.yml true 60.87 42.76 None stack_longer-1.line300.yml true 27.35 18.51 None stack_longer-1.line301.yml TIMEOUT 900.55 748.71 None stack_longer-1.line424.yml true 134.64 82.00 None stack_longer-1.line425.yml OUT OF MEMORY 202.58 158.02 None stack_longer-1.line595.yml true 7.06 4.98 None stack_longer-1.line596.yml true 7.24 5.27 None -------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 61163.14 3069.45 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk02 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk02 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk02 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk02 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk02 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk02 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk02 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk02 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk02 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk02 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk02 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk02 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk02 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk02 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk02 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk02 Run set 19 of 19: skipped Statistics: 900 Files correct: 607 correct true: 607 correct false: 0 incorrect: 54 incorrect true: 0 incorrect false: 54 unknown: 239 Score: 350 (max: 1800)