BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk09, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk09, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk09 date: Thu, 2022-10-20 20:36:17 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-chunk09 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 ---------------------------------------------------------------------------------------------------------------------------------------------------------------- safe006_power.oepc-thin000_power.oepc.line319.yml false(unreach-call) 8.39 5.86 None safe006_power.oepc-thin000_power.oepc.line320.yml false(unreach-call) 8.68 6.38 None safe006_power.oepc-thin000_power.oepc.line334.yml false(unreach-call) 11.48 6.80 None safe006_power.oepc-thin000_power.oepc.line335.yml false(unreach-call) 9.01 5.69 None safe006_power.oepc-thin000_power.oepc.line351.yml true 24.55 15.46 None safe006_power.oepc-thin000_power.oepc.line352.yml true 24.81 16.48 None safe006_power.oepc-thin000_power.oepc.line383.yml true 32.60 18.54 None safe006_power.oepc-thin000_power.oepc.line384.yml true 31.91 18.26 None safe006_power.oepc-thin000_power.oepc.line404.yml false(unreach-call) 10.80 6.57 None safe006_power.oepc-thin000_power.oepc.line405.yml false(unreach-call) 9.06 5.82 None safe006_power.oepc-thin000_power.oepc.line618.yml false(unreach-call) 8.91 6.14 None safe006_power.oepc-thin000_power.oepc.line619.yml false(unreach-call) 8.84 6.03 None safe006_power.oepc-thin000_power.oepc.line633.yml false(unreach-call) 94.49 58.15 None safe006_power.oepc-thin000_power.oepc.line634.yml false(unreach-call) 90.01 52.24 None safe006_power.oepc-thin000_power.oepc.line646.yml false(unreach-call) 9.51 6.02 None safe006_power.oepc-thin000_power.oepc.line647.yml false(unreach-call) 9.71 6.75 None safe006_power.oepc-thin000_power.oepc.line703.yml true 17.20 9.94 None safe006_power.oepc-thin000_power.oepc.line704.yml true 137.62 83.26 None safe006_power.oepc-thin000_power.oepc.line722.yml true 22.14 13.06 None safe006_power.oepc-thin000_power.oepc.line723.yml true 92.74 55.43 None safe006_power.oepc-thin000_power.oepc.line737.yml true 33.23 18.36 None safe006_power.oepc-thin000_power.oepc.line738.yml true 248.73 132.44 None safe006_power.oepc-thin000_power.oepc.line916.yml true 7.72 5.01 None safe006_power.oepc-thin000_power.oepc.line917.yml true 8.14 5.37 None safe006_power.oepc-thin000_power.oepc.line944.yml true 8.30 5.62 None safe006_power.oepc-thin000_power.oepc.line945.yml true 7.99 5.18 None safe006_power.oepc-thin000_power.oepc.line978.yml true 161.68 107.20 None safe006_power.oepc-thin000_power.oepc.line979.yml true 234.71 145.96 None safe006_power.oepc-thin000_power.oepc.line993.yml true 421.67 248.27 None safe006_power.oepc-thin000_power.oepc.line994.yml true 561.34 341.17 None safe006_power.opt-thin000_power.opt.line1024.yml true 9.67 5.65 None safe006_power.opt-thin000_power.opt.line1025.yml true 7.92 5.43 None safe006_power.opt-thin000_power.opt.line1058.yml TIMEOUT 901.27 526.30 None safe006_power.opt-thin000_power.opt.line1059.yml OUT OF MEMORY 742.90 427.53 None safe006_power.opt-thin000_power.opt.line1073.yml TIMEOUT 901.07 519.90 None safe006_power.opt-thin000_power.opt.line1074.yml TIMEOUT 902.39 545.06 None safe006_power.opt-thin000_power.opt.line1121.yml OUT OF MEMORY 87.39 53.47 None safe006_power.opt-thin000_power.opt.line1122.yml OUT OF MEMORY 71.21 44.91 None safe006_power.opt-thin000_power.opt.line309.yml OUT OF MEMORY 78.16 53.48 None safe006_power.opt-thin000_power.opt.line310.yml OUT OF MEMORY 85.81 58.27 None safe006_power.opt-thin000_power.opt.line324.yml false(unreach-call) 19.55 11.10 None safe006_power.opt-thin000_power.opt.line325.yml false(unreach-call) 15.01 8.75 None safe006_power.opt-thin000_power.opt.line448.yml true 18.96 10.53 None safe006_power.opt-thin000_power.opt.line449.yml true 69.99 42.97 None safe006_power.opt-thin000_power.opt.line463.yml true 16.92 10.10 None safe006_power.opt-thin000_power.opt.line464.yml true 136.39 77.53 None safe006_power.opt-thin000_power.opt.line480.yml true 308.94 190.43 None safe006_power.opt-thin000_power.opt.line481.yml true 305.04 190.35 None safe006_power.opt-thin000_power.opt.line512.yml true 55.89 38.12 None safe006_power.opt-thin000_power.opt.line513.yml true 157.72 97.04 None safe006_power.opt-thin000_power.opt.line533.yml true 31.92 17.43 None safe006_power.opt-thin000_power.opt.line534.yml OUT OF MEMORY 460.49 252.66 None safe006_power.opt-thin000_power.opt.line747.yml true 99.87 57.22 None safe006_power.opt-thin000_power.opt.line748.yml OUT OF MEMORY 641.19 352.57 None safe006_power.opt-thin000_power.opt.line762.yml true 91.94 54.98 None safe006_power.opt-thin000_power.opt.line763.yml OUT OF MEMORY 745.52 396.43 None safe006_power.opt-thin000_power.opt.line775.yml true 104.23 58.60 None safe006_power.opt-thin000_power.opt.line776.yml OUT OF MEMORY 568.17 308.62 None safe006_power.opt-thin000_power.opt.line802.yml true 92.53 57.98 None safe006_power.opt-thin000_power.opt.line803.yml OUT OF MEMORY 834.59 443.49 None safe006_power.opt-thin000_power.opt.line817.yml true 267.46 150.34 None safe006_power.opt-thin000_power.opt.line818.yml OUT OF MEMORY 527.80 314.76 None safe006_power.opt-thin000_power.opt.line996.yml true 6.68 4.60 None safe006_power.opt-thin000_power.opt.line997.yml true 7.44 4.84 None safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.line327.yml true 5.81 4.15 None safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.line328.yml true 5.73 4.01 None safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.line355.yml true 5.95 4.53 None safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.line356.yml true 6.12 4.64 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line297.yml false(unreach-call) 7.75 5.34 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line298.yml false(unreach-call) 8.15 5.74 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line310.yml false(unreach-call) 8.08 5.41 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line311.yml false(unreach-call) 7.71 5.21 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line330.yml false(unreach-call) 8.07 5.44 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line331.yml false(unreach-call) 7.87 5.33 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line458.yml false(unreach-call) 8.71 5.84 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line459.yml false(unreach-call) 8.67 5.81 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line473.yml false(unreach-call) 79.33 47.18 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line474.yml false(unreach-call) 78.39 47.47 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line486.yml false(unreach-call) 8.70 5.72 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line487.yml false(unreach-call) 10.04 6.43 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line543.yml true 18.43 11.18 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line544.yml true 85.12 52.62 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line562.yml true 24.59 14.51 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line563.yml true 195.99 116.99 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line577.yml true 25.97 15.11 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line578.yml true 87.84 49.81 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line756.yml true 7.04 4.68 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line757.yml true 7.03 4.68 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line784.yml true 8.14 5.11 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line785.yml true 10.70 6.38 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line818.yml true 117.13 74.81 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line819.yml true 249.39 147.70 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line833.yml true 283.08 181.53 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line834.yml true 432.83 264.21 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line881.yml OUT OF MEMORY 247.13 161.28 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line882.yml OUT OF MEMORY 304.89 198.79 None safe007_power.oepc-thin001_power.oepc.line1025.yml true 26.72 16.78 None safe007_power.oepc-thin001_power.oepc.line1026.yml true 27.12 16.80 None safe007_power.oepc-thin001_power.oepc.line1059.yml OUT OF MEMORY 512.84 270.89 None safe007_power.oepc-thin001_power.oepc.line1060.yml OUT OF MEMORY 499.05 260.39 None safe007_power.oepc-thin001_power.oepc.line1074.yml OUT OF MEMORY 537.43 292.77 None safe007_power.oepc-thin001_power.oepc.line1075.yml OUT OF MEMORY 691.49 363.06 None safe007_power.oepc-thin001_power.oepc.line1122.yml OUT OF MEMORY 644.30 357.86 None safe007_power.oepc-thin001_power.oepc.line1123.yml OUT OF MEMORY 670.30 369.84 None safe007_power.oepc-thin001_power.oepc.line333.yml false(unreach-call) 24.92 14.39 None safe007_power.oepc-thin001_power.oepc.line334.yml false(unreach-call) 26.07 14.93 None safe007_power.oepc-thin001_power.oepc.line348.yml false(unreach-call) 23.81 13.74 None safe007_power.oepc-thin001_power.oepc.line349.yml false(unreach-call) 25.23 14.36 None safe007_power.oepc-thin001_power.oepc.line365.yml OUT OF MEMORY 421.63 235.02 None safe007_power.oepc-thin001_power.oepc.line366.yml OUT OF MEMORY 359.55 190.04 None safe007_power.oepc-thin001_power.oepc.line397.yml OUT OF MEMORY 431.63 225.29 None safe007_power.oepc-thin001_power.oepc.line398.yml OUT OF MEMORY 324.88 172.45 None safe007_power.oepc-thin001_power.oepc.line418.yml false(unreach-call) 20.25 12.37 None safe007_power.oepc-thin001_power.oepc.line419.yml false(unreach-call) 22.00 13.26 None safe007_power.oepc-thin001_power.oepc.line632.yml false(unreach-call) 21.41 13.21 None safe007_power.oepc-thin001_power.oepc.line633.yml false(unreach-call) 22.06 13.74 None safe007_power.oepc-thin001_power.oepc.line647.yml OUT OF MEMORY 396.66 210.09 None safe007_power.oepc-thin001_power.oepc.line648.yml OUT OF MEMORY 480.70 247.79 None safe007_power.oepc-thin001_power.oepc.line660.yml false(unreach-call) 28.07 15.67 None safe007_power.oepc-thin001_power.oepc.line661.yml false(unreach-call) 22.74 13.96 None safe007_power.oepc-thin001_power.oepc.line747.yml true 190.28 102.26 None safe007_power.oepc-thin001_power.oepc.line748.yml OUT OF MEMORY 513.03 272.58 None safe007_power.oepc-thin001_power.oepc.line766.yml OUT OF MEMORY 349.56 184.60 None safe007_power.oepc-thin001_power.oepc.line767.yml OUT OF MEMORY 398.42 207.16 None safe007_power.oepc-thin001_power.oepc.line781.yml OUT OF MEMORY 386.70 206.60 None safe007_power.oepc-thin001_power.oepc.line782.yml OUT OF MEMORY 366.57 190.93 None safe007_power.oepc-thin001_power.oepc.line969.yml true 18.74 11.56 None safe007_power.oepc-thin001_power.oepc.line970.yml true 22.71 13.12 None safe007_power.oepc-thin001_power.oepc.line997.yml true 18.99 12.81 None safe007_power.oepc-thin001_power.oepc.line998.yml true 17.90 11.80 None safe007_power.opt-thin001_power.opt.line1050.yml true 15.20 8.85 None safe007_power.opt-thin001_power.opt.line1051.yml true 13.81 8.21 None safe007_power.opt-thin001_power.opt.line1078.yml true 11.68 7.78 None safe007_power.opt-thin001_power.opt.line1079.yml true 15.14 8.81 None safe007_power.opt-thin001_power.opt.line1106.yml true 13.93 9.90 None safe007_power.opt-thin001_power.opt.line1107.yml true 15.81 10.32 None safe007_power.opt-thin001_power.opt.line1140.yml OUT OF MEMORY 610.62 323.88 None safe007_power.opt-thin001_power.opt.line1141.yml OUT OF MEMORY 545.29 289.08 None safe007_power.opt-thin001_power.opt.line1155.yml OUT OF MEMORY 463.02 264.08 None safe007_power.opt-thin001_power.opt.line1156.yml OUT OF MEMORY 420.19 242.92 None safe007_power.opt-thin001_power.opt.line1203.yml OUT OF MEMORY 727.49 452.79 None safe007_power.opt-thin001_power.opt.line1204.yml OUT OF MEMORY 726.27 453.57 None safe007_power.opt-thin001_power.opt.line354.yml OUT OF MEMORY 125.65 80.14 None safe007_power.opt-thin001_power.opt.line355.yml OUT OF MEMORY 336.07 243.87 None safe007_power.opt-thin001_power.opt.line369.yml false(unreach-call) 21.11 12.08 None safe007_power.opt-thin001_power.opt.line370.yml false(unreach-call) 20.39 11.99 None safe007_power.opt-thin001_power.opt.line493.yml true 51.07 30.56 None safe007_power.opt-thin001_power.opt.line494.yml OUT OF MEMORY 277.79 156.50 None safe007_power.opt-thin001_power.opt.line508.yml true 127.75 73.57 None safe007_power.opt-thin001_power.opt.line509.yml TIMEOUT 910.84 499.12 None safe007_power.opt-thin001_power.opt.line525.yml OUT OF MEMORY 393.14 236.76 None safe007_power.opt-thin001_power.opt.line526.yml OUT OF MEMORY 286.84 176.10 None safe007_power.opt-thin001_power.opt.line557.yml true 155.87 99.53 None safe007_power.opt-thin001_power.opt.line558.yml OUT OF MEMORY 456.86 251.55 None safe007_power.opt-thin001_power.opt.line578.yml true 307.46 168.56 None safe007_power.opt-thin001_power.opt.line579.yml OUT OF MEMORY 779.35 421.95 None safe007_power.opt-thin001_power.opt.line792.yml OUT OF MEMORY 411.48 236.95 None safe007_power.opt-thin001_power.opt.line793.yml OUT OF MEMORY 543.32 297.84 None safe007_power.opt-thin001_power.opt.line807.yml OUT OF MEMORY 426.92 236.75 None safe007_power.opt-thin001_power.opt.line808.yml OUT OF MEMORY 662.24 358.92 None safe007_power.opt-thin001_power.opt.line820.yml OUT OF MEMORY 577.21 311.61 None safe007_power.opt-thin001_power.opt.line821.yml OUT OF MEMORY 593.89 324.46 None safe007_power.opt-thin001_power.opt.line847.yml OUT OF MEMORY 612.02 339.91 None safe007_power.opt-thin001_power.opt.line848.yml TIMEOUT 906.08 480.66 None safe007_power.opt-thin001_power.opt.line862.yml OUT OF MEMORY 272.48 158.97 None safe007_power.opt-thin001_power.opt.line863.yml OUT OF MEMORY 577.02 327.49 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line368.yml true 7.57 5.46 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line369.yml true 7.52 5.31 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line396.yml true 7.03 5.19 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line397.yml true 7.94 5.68 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line424.yml true 8.38 6.06 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line425.yml true 9.01 6.00 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line311.yml false(unreach-call) 17.49 11.35 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line312.yml false(unreach-call) 18.14 11.17 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line324.yml false(unreach-call) 18.68 11.76 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line325.yml false(unreach-call) 15.51 9.42 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line344.yml false(unreach-call) 15.72 11.01 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line345.yml false(unreach-call) 18.45 11.85 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line472.yml false(unreach-call) 16.04 10.42 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line473.yml false(unreach-call) 16.44 9.93 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line487.yml OUT OF MEMORY 420.64 242.35 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line488.yml OUT OF MEMORY 222.32 120.42 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line500.yml false(unreach-call) 18.93 11.70 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line501.yml false(unreach-call) 18.34 10.80 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line587.yml true 157.05 90.08 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line588.yml OUT OF MEMORY 449.06 238.88 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line606.yml true 355.49 194.65 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line607.yml OUT OF MEMORY 409.53 213.71 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line621.yml OUT OF MEMORY 519.58 275.96 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line622.yml OUT OF MEMORY 631.62 324.51 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line809.yml true 19.56 11.28 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line810.yml true 20.58 11.75 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line837.yml true 16.49 9.91 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line838.yml true 22.18 12.46 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line865.yml true 23.55 15.90 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line866.yml true 24.52 13.99 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line899.yml OUT OF MEMORY 571.76 296.64 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line900.yml OUT OF MEMORY 575.81 297.88 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line914.yml OUT OF MEMORY 501.40 273.66 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line915.yml OUT OF MEMORY 485.26 273.86 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line962.yml OUT OF MEMORY 576.67 312.33 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line963.yml OUT OF MEMORY 562.39 313.44 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line611.yml true 15.10 9.56 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line612.yml true 14.08 8.98 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line639.yml true 14.14 8.78 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line640.yml true 16.13 10.04 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line667.yml true 21.07 13.16 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line668.yml true 23.23 14.25 None safe008_power.opt.line1118.yml true 73.21 42.47 None safe008_power.opt.line1119.yml true 73.58 49.63 None safe008_power.opt.line1146.yml true 74.97 44.99 None safe008_power.opt.line1147.yml true 72.93 44.26 None safe008_power.opt.line1174.yml true 139.21 83.74 None safe008_power.opt.line1175.yml true 127.76 75.40 None safe008_power.opt.line1208.yml OUT OF MEMORY 827.79 444.51 None safe008_power.opt.line1209.yml OUT OF MEMORY 889.69 470.93 None safe008_power.opt.line1223.yml OUT OF MEMORY 560.30 302.52 None safe008_power.opt.line1224.yml TIMEOUT 905.57 468.65 None safe008_power.opt.line1271.yml OUT OF MEMORY 857.45 452.30 None safe008_power.opt.line1272.yml OUT OF MEMORY 711.51 370.63 None safe008_power.opt.line322.yml OUT OF MEMORY 397.79 217.49 None safe008_power.opt.line323.yml OUT OF MEMORY 453.13 250.77 None safe008_power.opt.line337.yml OUT OF MEMORY 536.77 287.18 None safe008_power.opt.line338.yml OUT OF MEMORY 729.33 382.75 None safe008_power.opt.line461.yml false(unreach-call) 99.62 57.17 None safe008_power.opt.line462.yml false(unreach-call) 96.01 54.82 None safe008_power.opt.line476.yml false(unreach-call) 88.82 52.09 None safe008_power.opt.line477.yml false(unreach-call) 91.90 56.13 None safe008_power.opt.line493.yml OUT OF MEMORY 677.37 360.28 None safe008_power.opt.line494.yml OUT OF MEMORY 664.85 352.96 None safe008_power.opt.line525.yml OUT OF MEMORY 608.59 327.70 None safe008_power.opt.line526.yml OUT OF MEMORY 524.35 288.03 None safe008_power.opt.line546.yml false(unreach-call) 92.68 55.27 None safe008_power.opt.line547.yml false(unreach-call) 94.46 57.31 None safe008_power.opt.line760.yml false(unreach-call) 94.52 56.20 None safe008_power.opt.line761.yml false(unreach-call) 95.08 57.59 None safe008_power.opt.line775.yml OUT OF MEMORY 346.34 208.64 None safe008_power.opt.line776.yml OUT OF MEMORY 860.57 486.45 None safe008_power.opt.line788.yml false(unreach-call) 98.85 58.32 None safe008_power.opt.line789.yml false(unreach-call) 97.16 58.75 None safe008_power.opt.line815.yml false(unreach-call) 94.98 56.15 None safe008_power.opt.line816.yml false(unreach-call) 98.00 63.30 None safe008_power.opt.line830.yml false(unreach-call) 101.66 62.54 None safe008_power.opt.line831.yml false(unreach-call) 98.95 59.97 None safe008_power.opt.line916.yml OUT OF MEMORY 702.59 391.39 None safe008_power.opt.line917.yml OUT OF MEMORY 874.76 468.95 None safe008_power.opt.line931.yml OUT OF MEMORY 671.98 379.60 None safe008_power.opt.line932.yml TIMEOUT 921.08 533.46 None safe008_tso.line365.yml true 9.21 5.78 None safe008_tso.line366.yml true 8.13 5.80 None safe008_tso.line393.yml true 9.30 5.77 None safe008_tso.line394.yml true 7.78 5.14 None safe008_tso.line421.yml true 10.75 6.60 None safe008_tso.line422.yml true 10.39 6.39 None safe009_power.oepc.line1065.yml true 57.65 35.57 None safe009_power.oepc.line1066.yml true 69.41 39.13 None safe009_power.oepc.line1093.yml true 64.42 37.33 None safe009_power.oepc.line1094.yml true 60.55 36.28 None safe009_power.oepc.line1121.yml true 96.84 56.40 None safe009_power.oepc.line1122.yml true 99.42 58.26 None safe009_power.oepc.line1155.yml OUT OF MEMORY 778.14 407.04 None safe009_power.oepc.line1156.yml OUT OF MEMORY 770.19 406.43 None safe009_power.oepc.line1170.yml OUT OF MEMORY 800.88 442.61 None safe009_power.oepc.line1171.yml TIMEOUT 902.91 481.30 None safe009_power.oepc.line1219.yml TIMEOUT 902.12 481.12 None safe009_power.oepc.line1220.yml OUT OF MEMORY 841.40 466.11 None safe009_power.oepc.line1232.yml OUT OF MEMORY 824.96 449.01 None safe009_power.oepc.line1233.yml OUT OF MEMORY 672.20 365.88 None safe009_power.oepc.line1252.yml OUT OF MEMORY 743.63 400.33 None safe009_power.oepc.line1253.yml OUT OF MEMORY 807.03 446.17 None safe009_power.oepc.line1382.yml OUT OF MEMORY 775.29 417.76 None safe009_power.oepc.line1383.yml OUT OF MEMORY 818.43 453.95 None safe009_power.oepc.line1404.yml OUT OF MEMORY 655.98 352.29 None safe009_power.oepc.line1405.yml TIMEOUT 902.48 478.18 None safe009_power.oepc.line1419.yml OUT OF MEMORY 771.25 418.35 None safe009_power.oepc.line1420.yml TIMEOUT 903.84 482.23 None safe009_power.oepc.line1432.yml OUT OF MEMORY 836.74 457.43 None safe009_power.oepc.line1433.yml OUT OF MEMORY 772.68 419.24 None safe009_power.oepc.line329.yml false(unreach-call) 57.29 34.01 None safe009_power.oepc.line330.yml false(unreach-call) 55.75 34.56 None safe009_power.oepc.line344.yml false(unreach-call) 55.87 33.88 None safe009_power.oepc.line345.yml false(unreach-call) 70.46 39.60 None safe009_power.oepc.line361.yml OUT OF MEMORY 854.72 453.29 None safe009_power.oepc.line362.yml OUT OF MEMORY 628.35 347.67 None safe009_power.oepc.line393.yml OUT OF MEMORY 728.50 393.03 None safe009_power.oepc.line394.yml OUT OF MEMORY 768.91 430.36 None safe009_power.oepc.line414.yml false(unreach-call) 68.93 39.05 None safe009_power.oepc.line415.yml false(unreach-call) 68.14 38.77 None safe009_power.oepc.line628.yml false(unreach-call) 71.52 40.14 None safe009_power.oepc.line629.yml false(unreach-call) 71.15 40.28 None safe009_power.oepc.line643.yml OUT OF MEMORY 660.80 344.73 None safe009_power.oepc.line644.yml OUT OF MEMORY 474.27 254.40 None safe009_power.oepc.line656.yml false(unreach-call) 57.28 33.37 None safe009_power.oepc.line657.yml false(unreach-call) 57.41 35.87 None safe009_power.oepc.line713.yml false(unreach-call) 58.73 34.03 None safe009_power.oepc.line714.yml false(unreach-call) 62.95 38.49 None safe009_power.oepc.line732.yml false(unreach-call) 60.10 37.55 None safe009_power.oepc.line733.yml false(unreach-call) 61.58 35.57 None safe009_power.oepc.line747.yml false(unreach-call) 59.19 34.50 None safe009_power.oepc.line748.yml false(unreach-call) 60.79 36.30 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 78673.02 3262.41 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk09 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 ---------------------------------------------------------------------------------------------------------------------------------------------------------------- safe006_power.oepc-thin000_power.oepc.line319.yml false(unreach-call) 9.18 6.24 None safe006_power.oepc-thin000_power.oepc.line320.yml false(unreach-call) 8.35 6.14 None safe006_power.oepc-thin000_power.oepc.line334.yml false(unreach-call) 11.04 6.60 None safe006_power.oepc-thin000_power.oepc.line335.yml false(unreach-call) 8.93 5.71 None safe006_power.oepc-thin000_power.oepc.line351.yml true 25.93 17.06 None safe006_power.oepc-thin000_power.oepc.line352.yml true 24.76 18.09 None safe006_power.oepc-thin000_power.oepc.line383.yml true 32.27 19.02 None safe006_power.oepc-thin000_power.oepc.line384.yml true 30.86 18.65 None safe006_power.oepc-thin000_power.oepc.line404.yml false(unreach-call) 10.71 6.62 None safe006_power.oepc-thin000_power.oepc.line405.yml false(unreach-call) 9.45 5.96 None safe006_power.oepc-thin000_power.oepc.line618.yml false(unreach-call) 9.44 6.37 None safe006_power.oepc-thin000_power.oepc.line619.yml false(unreach-call) 9.54 6.45 None safe006_power.oepc-thin000_power.oepc.line633.yml false(unreach-call) 75.01 49.40 None safe006_power.oepc-thin000_power.oepc.line634.yml false(unreach-call) 70.79 43.38 None safe006_power.oepc-thin000_power.oepc.line646.yml false(unreach-call) 9.49 6.10 None safe006_power.oepc-thin000_power.oepc.line647.yml false(unreach-call) 9.93 6.26 None safe006_power.oepc-thin000_power.oepc.line703.yml true 16.27 10.02 None safe006_power.oepc-thin000_power.oepc.line704.yml true 114.75 71.92 None safe006_power.oepc-thin000_power.oepc.line722.yml true 21.31 12.70 None safe006_power.oepc-thin000_power.oepc.line723.yml true 82.71 48.19 None safe006_power.oepc-thin000_power.oepc.line737.yml true 31.90 17.62 None safe006_power.oepc-thin000_power.oepc.line738.yml true 201.39 110.05 None safe006_power.oepc-thin000_power.oepc.line916.yml true 7.41 4.94 None safe006_power.oepc-thin000_power.oepc.line917.yml true 8.11 5.20 None safe006_power.oepc-thin000_power.oepc.line944.yml true 8.30 5.76 None safe006_power.oepc-thin000_power.oepc.line945.yml true 8.91 5.79 None safe006_power.oepc-thin000_power.oepc.line978.yml true 140.77 94.05 None safe006_power.oepc-thin000_power.oepc.line979.yml true 225.56 146.98 None safe006_power.oepc-thin000_power.oepc.line993.yml true 221.77 164.47 None safe006_power.oepc-thin000_power.oepc.line994.yml OUT OF MEMORY 333.06 216.35 None safe006_power.opt-thin000_power.opt.line1024.yml true 9.82 5.97 None safe006_power.opt-thin000_power.opt.line1025.yml true 7.90 5.18 None safe006_power.opt-thin000_power.opt.line1058.yml TIMEOUT 902.03 562.62 None safe006_power.opt-thin000_power.opt.line1059.yml TIMEOUT 917.99 566.11 None safe006_power.opt-thin000_power.opt.line1073.yml TIMEOUT 901.81 560.39 None safe006_power.opt-thin000_power.opt.line1074.yml TIMEOUT 902.13 578.43 None safe006_power.opt-thin000_power.opt.line1121.yml OUT OF MEMORY 654.70 415.10 None safe006_power.opt-thin000_power.opt.line1122.yml OUT OF MEMORY 78.91 53.94 None safe006_power.opt-thin000_power.opt.line309.yml OUT OF MEMORY 95.42 71.95 None safe006_power.opt-thin000_power.opt.line310.yml OUT OF MEMORY 111.19 87.07 None safe006_power.opt-thin000_power.opt.line324.yml false(unreach-call) 15.82 9.48 None safe006_power.opt-thin000_power.opt.line325.yml false(unreach-call) 16.22 9.56 None safe006_power.opt-thin000_power.opt.line448.yml true 14.50 8.58 None safe006_power.opt-thin000_power.opt.line449.yml true 63.74 41.23 None safe006_power.opt-thin000_power.opt.line463.yml true 17.18 10.02 None safe006_power.opt-thin000_power.opt.line464.yml true 93.00 56.44 None safe006_power.opt-thin000_power.opt.line480.yml OUT OF MEMORY 86.94 61.16 None safe006_power.opt-thin000_power.opt.line481.yml OUT OF MEMORY 245.94 160.21 None safe006_power.opt-thin000_power.opt.line512.yml true 50.03 35.09 None safe006_power.opt-thin000_power.opt.line513.yml true 99.32 61.56 None safe006_power.opt-thin000_power.opt.line533.yml true 21.64 12.67 None safe006_power.opt-thin000_power.opt.line534.yml true 338.02 191.93 None safe006_power.opt-thin000_power.opt.line747.yml true 66.23 41.79 None safe006_power.opt-thin000_power.opt.line748.yml OUT OF MEMORY 707.97 379.26 None safe006_power.opt-thin000_power.opt.line762.yml true 99.08 60.81 None safe006_power.opt-thin000_power.opt.line763.yml OUT OF MEMORY 563.46 307.52 None safe006_power.opt-thin000_power.opt.line775.yml true 79.73 50.12 None safe006_power.opt-thin000_power.opt.line776.yml OUT OF MEMORY 846.71 451.09 None safe006_power.opt-thin000_power.opt.line802.yml true 95.66 58.38 None safe006_power.opt-thin000_power.opt.line803.yml OUT OF MEMORY 737.54 396.55 None safe006_power.opt-thin000_power.opt.line817.yml true 272.99 164.23 None safe006_power.opt-thin000_power.opt.line818.yml OUT OF MEMORY 746.58 406.81 None safe006_power.opt-thin000_power.opt.line996.yml true 7.65 4.99 None safe006_power.opt-thin000_power.opt.line997.yml true 7.64 5.02 None safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.line327.yml true 5.79 4.15 None safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.line328.yml true 5.97 4.14 None safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.line355.yml true 7.38 4.72 None safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.line356.yml true 6.38 4.48 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line297.yml false(unreach-call) 10.33 6.43 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line298.yml false(unreach-call) 8.47 5.71 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line310.yml false(unreach-call) 10.75 6.63 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line311.yml false(unreach-call) 8.76 5.92 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line330.yml false(unreach-call) 11.39 6.81 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line331.yml false(unreach-call) 9.42 6.14 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line458.yml false(unreach-call) 9.80 6.04 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line459.yml false(unreach-call) 11.57 7.07 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line473.yml false(unreach-call) 66.62 40.62 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line474.yml false(unreach-call) 70.66 42.00 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line486.yml false(unreach-call) 8.82 6.00 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line487.yml false(unreach-call) 9.28 6.00 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line543.yml true 21.31 11.93 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line544.yml true 65.81 42.80 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line562.yml true 20.25 12.64 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line563.yml true 182.00 103.96 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line577.yml true 24.40 15.44 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line578.yml true 76.37 45.04 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line756.yml true 7.29 5.00 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line757.yml true 7.62 5.23 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line784.yml true 7.76 5.19 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line785.yml true 8.26 5.40 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line818.yml OUT OF MEMORY 112.70 77.64 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line819.yml true 202.37 142.80 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line833.yml OUT OF MEMORY 229.09 168.72 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line834.yml OUT OF MEMORY 108.83 76.82 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line881.yml OUT OF MEMORY 150.68 101.09 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line882.yml OUT OF MEMORY 138.52 96.65 None safe007_power.oepc-thin001_power.oepc.line1025.yml true 25.36 15.27 None safe007_power.oepc-thin001_power.oepc.line1026.yml true 23.92 14.59 None safe007_power.oepc-thin001_power.oepc.line1059.yml OUT OF MEMORY 438.46 229.55 None safe007_power.oepc-thin001_power.oepc.line1060.yml OUT OF MEMORY 592.42 308.88 None safe007_power.oepc-thin001_power.oepc.line1074.yml OUT OF MEMORY 516.10 276.22 None safe007_power.oepc-thin001_power.oepc.line1075.yml OUT OF MEMORY 556.34 310.59 None safe007_power.oepc-thin001_power.oepc.line1122.yml TIMEOUT 907.93 529.39 None safe007_power.oepc-thin001_power.oepc.line1123.yml TIMEOUT 902.40 535.01 None safe007_power.oepc-thin001_power.oepc.line333.yml false(unreach-call) 24.25 14.03 None safe007_power.oepc-thin001_power.oepc.line334.yml false(unreach-call) 18.36 11.76 None safe007_power.oepc-thin001_power.oepc.line348.yml false(unreach-call) 20.36 12.67 None safe007_power.oepc-thin001_power.oepc.line349.yml false(unreach-call) 17.54 11.65 None safe007_power.oepc-thin001_power.oepc.line365.yml OUT OF MEMORY 245.12 139.40 None safe007_power.oepc-thin001_power.oepc.line366.yml OUT OF MEMORY 449.34 241.34 None safe007_power.oepc-thin001_power.oepc.line397.yml OUT OF MEMORY 413.63 226.89 None safe007_power.oepc-thin001_power.oepc.line398.yml OUT OF MEMORY 328.85 183.28 None safe007_power.oepc-thin001_power.oepc.line418.yml false(unreach-call) 18.72 11.59 None safe007_power.oepc-thin001_power.oepc.line419.yml false(unreach-call) 18.48 12.08 None safe007_power.oepc-thin001_power.oepc.line632.yml false(unreach-call) 19.47 11.64 None safe007_power.oepc-thin001_power.oepc.line633.yml false(unreach-call) 18.36 12.17 None safe007_power.oepc-thin001_power.oepc.line647.yml OUT OF MEMORY 329.92 175.19 None safe007_power.oepc-thin001_power.oepc.line648.yml OUT OF MEMORY 490.90 256.87 None safe007_power.oepc-thin001_power.oepc.line660.yml false(unreach-call) 22.41 13.23 None safe007_power.oepc-thin001_power.oepc.line661.yml false(unreach-call) 20.27 12.64 None safe007_power.oepc-thin001_power.oepc.line747.yml true 138.95 78.21 None safe007_power.oepc-thin001_power.oepc.line748.yml OUT OF MEMORY 597.48 315.21 None safe007_power.oepc-thin001_power.oepc.line766.yml OUT OF MEMORY 335.53 182.22 None safe007_power.oepc-thin001_power.oepc.line767.yml OUT OF MEMORY 454.79 239.65 None safe007_power.oepc-thin001_power.oepc.line781.yml OUT OF MEMORY 292.96 159.52 None safe007_power.oepc-thin001_power.oepc.line782.yml OUT OF MEMORY 467.27 249.95 None safe007_power.oepc-thin001_power.oepc.line969.yml true 19.70 11.19 None safe007_power.oepc-thin001_power.oepc.line970.yml true 19.63 11.30 None safe007_power.oepc-thin001_power.oepc.line997.yml true 17.74 10.96 None safe007_power.oepc-thin001_power.oepc.line998.yml true 22.58 13.23 None safe007_power.opt-thin001_power.opt.line1050.yml true 11.30 7.43 None safe007_power.opt-thin001_power.opt.line1051.yml true 11.35 7.18 None safe007_power.opt-thin001_power.opt.line1078.yml true 11.99 7.31 None safe007_power.opt-thin001_power.opt.line1079.yml true 11.38 7.22 None safe007_power.opt-thin001_power.opt.line1106.yml true 15.40 9.12 None safe007_power.opt-thin001_power.opt.line1107.yml true 18.25 10.61 None safe007_power.opt-thin001_power.opt.line1140.yml OUT OF MEMORY 617.64 329.95 None safe007_power.opt-thin001_power.opt.line1141.yml OUT OF MEMORY 411.64 226.31 None safe007_power.opt-thin001_power.opt.line1155.yml OUT OF MEMORY 510.47 291.39 None safe007_power.opt-thin001_power.opt.line1156.yml OUT OF MEMORY 423.11 244.09 None safe007_power.opt-thin001_power.opt.line1203.yml TIMEOUT 902.30 569.12 None safe007_power.opt-thin001_power.opt.line1204.yml TIMEOUT 902.08 610.69 None safe007_power.opt-thin001_power.opt.line354.yml OUT OF MEMORY 110.79 78.83 None safe007_power.opt-thin001_power.opt.line355.yml OUT OF MEMORY 109.15 81.58 None safe007_power.opt-thin001_power.opt.line369.yml false(unreach-call) 20.88 12.41 None safe007_power.opt-thin001_power.opt.line370.yml false(unreach-call) 21.23 12.84 None safe007_power.opt-thin001_power.opt.line493.yml true 52.12 31.68 None safe007_power.opt-thin001_power.opt.line494.yml OUT OF MEMORY 300.29 178.77 None safe007_power.opt-thin001_power.opt.line508.yml true 104.34 63.59 None safe007_power.opt-thin001_power.opt.line509.yml OUT OF MEMORY 625.21 339.54 None safe007_power.opt-thin001_power.opt.line525.yml OUT OF MEMORY 465.29 308.23 None safe007_power.opt-thin001_power.opt.line526.yml OUT OF MEMORY 94.51 66.01 None safe007_power.opt-thin001_power.opt.line557.yml true 158.24 102.78 None safe007_power.opt-thin001_power.opt.line558.yml OUT OF MEMORY 527.62 291.11 None safe007_power.opt-thin001_power.opt.line578.yml true 226.98 129.59 None safe007_power.opt-thin001_power.opt.line579.yml OUT OF MEMORY 509.72 283.94 None safe007_power.opt-thin001_power.opt.line792.yml OUT OF MEMORY 295.68 170.62 None safe007_power.opt-thin001_power.opt.line793.yml OUT OF MEMORY 852.92 452.11 None safe007_power.opt-thin001_power.opt.line807.yml OUT OF MEMORY 654.20 359.83 None safe007_power.opt-thin001_power.opt.line808.yml OUT OF MEMORY 682.13 374.63 None safe007_power.opt-thin001_power.opt.line820.yml OUT OF MEMORY 287.87 168.86 None safe007_power.opt-thin001_power.opt.line821.yml OUT OF MEMORY 743.10 401.78 None safe007_power.opt-thin001_power.opt.line847.yml OUT OF MEMORY 527.31 290.35 None safe007_power.opt-thin001_power.opt.line848.yml OUT OF MEMORY 602.13 325.92 None safe007_power.opt-thin001_power.opt.line862.yml OUT OF MEMORY 71.42 44.82 None safe007_power.opt-thin001_power.opt.line863.yml OUT OF MEMORY 453.82 257.73 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line368.yml true 7.24 5.17 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line369.yml true 7.73 5.03 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line396.yml true 7.60 5.25 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line397.yml true 7.61 5.12 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line424.yml true 11.10 6.72 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line425.yml true 9.26 5.85 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line311.yml false(unreach-call) 15.63 10.05 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line312.yml false(unreach-call) 19.00 11.29 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line324.yml false(unreach-call) 16.16 9.61 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line325.yml false(unreach-call) 15.65 10.07 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line344.yml false(unreach-call) 15.55 9.84 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line345.yml false(unreach-call) 16.63 10.03 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line472.yml false(unreach-call) 20.66 12.00 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line473.yml false(unreach-call) 16.80 10.50 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line487.yml OUT OF MEMORY 301.32 163.84 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line488.yml OUT OF MEMORY 289.57 155.24 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line500.yml false(unreach-call) 20.89 12.13 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line501.yml false(unreach-call) 17.28 10.76 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line587.yml true 134.63 78.48 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line588.yml OUT OF MEMORY 598.54 308.35 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line606.yml true 331.85 196.79 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line607.yml OUT OF MEMORY 512.91 266.36 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line621.yml OUT OF MEMORY 423.75 231.28 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line622.yml OUT OF MEMORY 636.35 328.86 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line809.yml true 13.72 9.67 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line810.yml true 15.53 9.74 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line837.yml true 15.80 9.83 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line838.yml true 15.79 9.56 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line865.yml true 18.04 12.85 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line866.yml true 21.02 12.97 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line899.yml OUT OF MEMORY 481.42 253.82 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line900.yml OUT OF MEMORY 391.36 219.00 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line914.yml OUT OF MEMORY 722.07 386.78 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line915.yml OUT OF MEMORY 395.43 212.31 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line962.yml OUT OF MEMORY 690.00 394.30 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line963.yml OUT OF MEMORY 503.98 287.29 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line611.yml true 12.84 8.53 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line612.yml true 16.25 9.86 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line639.yml true 13.52 8.30 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line640.yml true 14.41 8.98 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line667.yml true 20.05 12.68 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line668.yml true 24.75 14.46 None safe008_power.opt.line1118.yml true 64.01 39.86 None safe008_power.opt.line1119.yml true 62.52 39.67 None safe008_power.opt.line1146.yml true 67.27 42.33 None safe008_power.opt.line1147.yml true 77.37 45.69 None safe008_power.opt.line1174.yml true 115.55 73.79 None safe008_power.opt.line1175.yml true 115.00 70.47 None safe008_power.opt.line1208.yml OUT OF MEMORY 694.87 383.61 None safe008_power.opt.line1209.yml OUT OF MEMORY 833.42 446.97 None safe008_power.opt.line1223.yml OUT OF MEMORY 703.63 397.22 None safe008_power.opt.line1224.yml TIMEOUT 900.98 498.45 None safe008_power.opt.line1271.yml OUT OF MEMORY 733.02 424.77 None safe008_power.opt.line1272.yml OUT OF MEMORY 777.81 450.90 None safe008_power.opt.line322.yml OUT OF MEMORY 598.45 319.36 None safe008_power.opt.line323.yml OUT OF MEMORY 395.62 217.29 None safe008_power.opt.line337.yml OUT OF MEMORY 422.29 246.90 None safe008_power.opt.line338.yml OUT OF MEMORY 463.85 250.56 None safe008_power.opt.line461.yml false(unreach-call) 85.55 50.10 None safe008_power.opt.line462.yml false(unreach-call) 73.23 47.60 None safe008_power.opt.line476.yml false(unreach-call) 84.28 49.31 None safe008_power.opt.line477.yml false(unreach-call) 72.45 46.76 None safe008_power.opt.line493.yml OUT OF MEMORY 767.49 411.17 None safe008_power.opt.line494.yml OUT OF MEMORY 585.51 327.43 None safe008_power.opt.line525.yml OUT OF MEMORY 680.41 376.61 None safe008_power.opt.line526.yml OUT OF MEMORY 533.51 302.49 None safe008_power.opt.line546.yml false(unreach-call) 69.14 41.56 None safe008_power.opt.line547.yml false(unreach-call) 69.53 44.81 None safe008_power.opt.line760.yml false(unreach-call) 68.98 41.42 None safe008_power.opt.line761.yml false(unreach-call) 73.70 45.62 None safe008_power.opt.line775.yml false(unreach-call) 185.27 115.14 None safe008_power.opt.line776.yml false(unreach-call) 219.10 131.47 None safe008_power.opt.line788.yml false(unreach-call) 70.53 44.12 None safe008_power.opt.line789.yml false(unreach-call) 68.72 41.63 None safe008_power.opt.line815.yml false(unreach-call) 71.99 46.49 None safe008_power.opt.line816.yml false(unreach-call) 69.84 42.95 None safe008_power.opt.line830.yml false(unreach-call) 73.03 45.53 None safe008_power.opt.line831.yml false(unreach-call) 69.80 42.11 None safe008_power.opt.line916.yml OUT OF MEMORY 853.19 468.71 None safe008_power.opt.line917.yml TIMEOUT 908.46 502.09 None safe008_power.opt.line931.yml OUT OF MEMORY 507.37 301.96 None safe008_power.opt.line932.yml OUT OF MEMORY 790.31 439.76 None safe008_tso.line365.yml true 7.17 4.90 None safe008_tso.line366.yml true 7.14 5.02 None safe008_tso.line393.yml true 7.21 4.83 None safe008_tso.line394.yml true 7.27 5.12 None safe008_tso.line421.yml true 8.53 5.43 None safe008_tso.line422.yml true 8.43 5.69 None safe009_power.oepc.line1065.yml true 46.76 28.52 None safe009_power.oepc.line1066.yml true 46.86 27.90 None safe009_power.oepc.line1093.yml true 49.90 31.60 None safe009_power.oepc.line1094.yml true 47.45 29.62 None safe009_power.oepc.line1121.yml true 101.67 58.98 None safe009_power.oepc.line1122.yml true 80.50 48.16 None safe009_power.oepc.line1155.yml OUT OF MEMORY 506.98 275.36 None safe009_power.oepc.line1156.yml OUT OF MEMORY 535.13 307.34 None safe009_power.oepc.line1170.yml OUT OF MEMORY 691.18 391.21 None safe009_power.oepc.line1171.yml TIMEOUT 902.57 498.11 None safe009_power.oepc.line1219.yml OUT OF MEMORY 877.96 506.72 None safe009_power.oepc.line1220.yml OUT OF MEMORY 697.04 400.80 None safe009_power.oepc.line1232.yml OUT OF MEMORY 669.76 398.09 None safe009_power.oepc.line1233.yml OUT OF MEMORY 739.14 439.70 None safe009_power.oepc.line1252.yml OUT OF MEMORY 709.70 418.02 None safe009_power.oepc.line1253.yml OUT OF MEMORY 896.89 510.22 None safe009_power.oepc.line1382.yml OUT OF MEMORY 729.33 437.47 None safe009_power.oepc.line1383.yml OUT OF MEMORY 690.61 405.48 None safe009_power.oepc.line1404.yml OUT OF MEMORY 689.26 430.44 None safe009_power.oepc.line1405.yml OUT OF MEMORY 869.96 496.83 None safe009_power.oepc.line1419.yml OUT OF MEMORY 710.92 421.51 None safe009_power.oepc.line1420.yml TIMEOUT 901.95 550.05 None safe009_power.oepc.line1432.yml OUT OF MEMORY 733.56 436.76 None safe009_power.oepc.line1433.yml OUT OF MEMORY 687.50 402.30 None safe009_power.oepc.line329.yml false(unreach-call) 52.11 31.77 None safe009_power.oepc.line330.yml false(unreach-call) 49.52 31.01 None safe009_power.oepc.line344.yml false(unreach-call) 51.02 31.29 None safe009_power.oepc.line345.yml false(unreach-call) 61.68 35.85 None safe009_power.oepc.line361.yml TIMEOUT 921.20 511.28 None safe009_power.oepc.line362.yml OUT OF MEMORY 881.66 483.85 None safe009_power.oepc.line393.yml TIMEOUT 909.93 500.86 None safe009_power.oepc.line394.yml TIMEOUT 902.83 489.61 None safe009_power.oepc.line414.yml false(unreach-call) 61.91 36.18 None safe009_power.oepc.line415.yml false(unreach-call) 60.55 35.49 None safe009_power.oepc.line628.yml false(unreach-call) 61.80 35.88 None safe009_power.oepc.line629.yml false(unreach-call) 63.44 36.71 None safe009_power.oepc.line643.yml OUT OF MEMORY 648.42 343.92 None safe009_power.oepc.line644.yml OUT OF MEMORY 460.44 252.46 None safe009_power.oepc.line656.yml false(unreach-call) 49.85 31.09 None safe009_power.oepc.line657.yml false(unreach-call) 62.03 35.72 None safe009_power.oepc.line713.yml false(unreach-call) 51.91 33.58 None safe009_power.oepc.line714.yml false(unreach-call) 67.07 39.02 None safe009_power.oepc.line732.yml false(unreach-call) 51.53 33.37 None safe009_power.oepc.line733.yml false(unreach-call) 52.95 33.19 None safe009_power.oepc.line747.yml false(unreach-call) 66.87 38.55 None safe009_power.oepc.line748.yml false(unreach-call) 52.67 33.29 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 74630.86 3194.17 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk09 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 ---------------------------------------------------------------------------------------------------------------------------------------------------------------- safe006_power.oepc-thin000_power.oepc.line319.yml false(unreach-call) 9.03 6.13 None safe006_power.oepc-thin000_power.oepc.line320.yml false(unreach-call) 9.61 6.62 None safe006_power.oepc-thin000_power.oepc.line334.yml false(unreach-call) 12.14 7.18 None safe006_power.oepc-thin000_power.oepc.line335.yml false(unreach-call) 9.86 6.27 None safe006_power.oepc-thin000_power.oepc.line351.yml true 41.20 26.54 None safe006_power.oepc-thin000_power.oepc.line352.yml true 40.12 27.46 None safe006_power.oepc-thin000_power.oepc.line383.yml true 45.98 28.61 None safe006_power.oepc-thin000_power.oepc.line384.yml true 49.78 30.51 None safe006_power.oepc-thin000_power.oepc.line404.yml false(unreach-call) 11.62 7.08 None safe006_power.oepc-thin000_power.oepc.line405.yml false(unreach-call) 9.77 6.09 None safe006_power.oepc-thin000_power.oepc.line618.yml false(unreach-call) 10.08 6.53 None safe006_power.oepc-thin000_power.oepc.line619.yml false(unreach-call) 10.35 6.82 None safe006_power.oepc-thin000_power.oepc.line633.yml false(unreach-call) 136.82 87.81 None safe006_power.oepc-thin000_power.oepc.line634.yml false(unreach-call) 127.86 80.88 None safe006_power.oepc-thin000_power.oepc.line646.yml false(unreach-call) 10.07 6.50 None safe006_power.oepc-thin000_power.oepc.line647.yml false(unreach-call) 10.96 6.76 None safe006_power.oepc-thin000_power.oepc.line703.yml true 19.73 11.86 None safe006_power.oepc-thin000_power.oepc.line704.yml true 228.10 143.56 None safe006_power.oepc-thin000_power.oepc.line722.yml true 27.94 17.46 None safe006_power.oepc-thin000_power.oepc.line723.yml true 129.53 77.66 None safe006_power.oepc-thin000_power.oepc.line737.yml true 40.62 23.82 None safe006_power.oepc-thin000_power.oepc.line738.yml true 351.83 199.04 None safe006_power.oepc-thin000_power.oepc.line916.yml true 8.01 5.46 None safe006_power.oepc-thin000_power.oepc.line917.yml true 8.47 5.41 None safe006_power.oepc-thin000_power.oepc.line944.yml true 9.54 5.92 None safe006_power.oepc-thin000_power.oepc.line945.yml true 9.54 6.04 None safe006_power.oepc-thin000_power.oepc.line978.yml true 426.09 263.75 None safe006_power.oepc-thin000_power.oepc.line979.yml true 720.53 436.76 None safe006_power.oepc-thin000_power.oepc.line993.yml OUT OF MEMORY 241.30 168.16 None safe006_power.oepc-thin000_power.oepc.line994.yml TIMEOUT 903.01 574.07 None safe006_power.opt-thin000_power.opt.line1024.yml true 8.07 5.48 None safe006_power.opt-thin000_power.opt.line1025.yml true 7.98 5.67 None safe006_power.opt-thin000_power.opt.line1058.yml TIMEOUT 901.16 544.12 None safe006_power.opt-thin000_power.opt.line1059.yml TIMEOUT 902.17 565.03 None safe006_power.opt-thin000_power.opt.line1073.yml TIMEOUT 901.07 554.66 None safe006_power.opt-thin000_power.opt.line1074.yml TIMEOUT 901.18 568.96 None safe006_power.opt-thin000_power.opt.line1121.yml OUT OF MEMORY 121.92 87.60 None safe006_power.opt-thin000_power.opt.line1122.yml OUT OF MEMORY 87.17 57.45 None safe006_power.opt-thin000_power.opt.line309.yml OUT OF MEMORY 76.33 52.78 None safe006_power.opt-thin000_power.opt.line310.yml OUT OF MEMORY 103.30 76.13 None safe006_power.opt-thin000_power.opt.line324.yml false(unreach-call) 20.38 12.32 None safe006_power.opt-thin000_power.opt.line325.yml false(unreach-call) 18.73 11.44 None safe006_power.opt-thin000_power.opt.line448.yml true 16.91 10.06 None safe006_power.opt-thin000_power.opt.line449.yml true 117.39 75.44 None safe006_power.opt-thin000_power.opt.line463.yml true 22.91 13.93 None safe006_power.opt-thin000_power.opt.line464.yml true 246.53 150.11 None safe006_power.opt-thin000_power.opt.line480.yml OUT OF MEMORY 616.14 392.23 None safe006_power.opt-thin000_power.opt.line481.yml TIMEOUT 902.75 573.51 None safe006_power.opt-thin000_power.opt.line512.yml true 103.05 79.26 None safe006_power.opt-thin000_power.opt.line513.yml true 312.37 193.01 None safe006_power.opt-thin000_power.opt.line533.yml true 39.81 22.85 None safe006_power.opt-thin000_power.opt.line534.yml TIMEOUT 904.96 463.74 None safe006_power.opt-thin000_power.opt.line747.yml true 167.83 103.35 None safe006_power.opt-thin000_power.opt.line748.yml TIMEOUT 911.99 471.05 None safe006_power.opt-thin000_power.opt.line762.yml OUT OF MEMORY 156.87 97.65 None safe006_power.opt-thin000_power.opt.line763.yml TIMEOUT 913.28 475.47 None safe006_power.opt-thin000_power.opt.line775.yml true 167.24 102.57 None safe006_power.opt-thin000_power.opt.line776.yml TIMEOUT 905.72 466.34 None safe006_power.opt-thin000_power.opt.line802.yml true 165.81 105.20 None safe006_power.opt-thin000_power.opt.line803.yml TIMEOUT 921.27 485.11 None safe006_power.opt-thin000_power.opt.line817.yml true 460.38 280.67 None safe006_power.opt-thin000_power.opt.line818.yml OUT OF MEMORY 379.96 202.36 None safe006_power.opt-thin000_power.opt.line996.yml true 7.54 5.12 None safe006_power.opt-thin000_power.opt.line997.yml true 7.12 5.12 None safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.line327.yml true 5.62 4.09 None safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.line328.yml true 6.33 4.66 None safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.line355.yml true 6.04 4.43 None safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.line356.yml true 5.64 4.03 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line297.yml false(unreach-call) 8.89 5.94 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line298.yml false(unreach-call) 11.38 6.97 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line310.yml false(unreach-call) 8.99 6.16 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line311.yml false(unreach-call) 10.89 6.70 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line330.yml false(unreach-call) 8.80 6.45 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line331.yml false(unreach-call) 11.83 7.08 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line458.yml false(unreach-call) 11.55 7.03 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line459.yml false(unreach-call) 8.75 6.19 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line473.yml false(unreach-call) 128.77 78.14 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line474.yml false(unreach-call) 122.52 74.95 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line486.yml false(unreach-call) 12.12 7.30 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line487.yml false(unreach-call) 8.51 6.14 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line543.yml true 21.05 12.83 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line544.yml true 128.92 83.66 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line562.yml true 33.86 19.86 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line563.yml true 296.78 184.63 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line577.yml true 34.71 22.25 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line578.yml true 139.48 80.49 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line756.yml true 7.96 5.75 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line757.yml true 7.79 5.20 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line784.yml true 8.56 5.84 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line785.yml true 9.13 5.61 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line818.yml true 319.82 206.32 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line819.yml OUT OF MEMORY 462.27 279.79 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line833.yml OUT OF MEMORY 210.12 142.35 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line834.yml OUT OF MEMORY 288.66 198.04 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line881.yml TIMEOUT 902.13 561.56 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.line882.yml TIMEOUT 902.13 560.99 None safe007_power.oepc-thin001_power.oepc.line1025.yml true 43.13 25.96 None safe007_power.oepc-thin001_power.oepc.line1026.yml true 37.81 24.40 None safe007_power.oepc-thin001_power.oepc.line1059.yml OUT OF MEMORY 744.06 384.53 None safe007_power.oepc-thin001_power.oepc.line1060.yml OUT OF MEMORY 639.30 343.28 None safe007_power.oepc-thin001_power.oepc.line1074.yml OUT OF MEMORY 731.10 397.96 None safe007_power.oepc-thin001_power.oepc.line1075.yml OUT OF MEMORY 811.49 436.76 None safe007_power.oepc-thin001_power.oepc.line1122.yml OUT OF MEMORY 749.61 445.26 None safe007_power.oepc-thin001_power.oepc.line1123.yml OUT OF MEMORY 758.15 456.75 None safe007_power.oepc-thin001_power.oepc.line333.yml false(unreach-call) 31.23 18.30 None safe007_power.oepc-thin001_power.oepc.line334.yml false(unreach-call) 32.14 18.77 None safe007_power.oepc-thin001_power.oepc.line348.yml false(unreach-call) 27.53 16.62 None safe007_power.oepc-thin001_power.oepc.line349.yml false(unreach-call) 32.06 18.77 None safe007_power.oepc-thin001_power.oepc.line365.yml OUT OF MEMORY 321.11 169.71 None safe007_power.oepc-thin001_power.oepc.line366.yml OUT OF MEMORY 407.43 212.39 None safe007_power.oepc-thin001_power.oepc.line397.yml OUT OF MEMORY 637.55 328.09 None safe007_power.oepc-thin001_power.oepc.line398.yml OUT OF MEMORY 413.45 214.32 None safe007_power.oepc-thin001_power.oepc.line418.yml false(unreach-call) 30.80 18.09 None safe007_power.oepc-thin001_power.oepc.line419.yml false(unreach-call) 32.83 18.99 None safe007_power.oepc-thin001_power.oepc.line632.yml false(unreach-call) 32.28 18.98 None safe007_power.oepc-thin001_power.oepc.line633.yml false(unreach-call) 33.72 19.53 None safe007_power.oepc-thin001_power.oepc.line647.yml OUT OF MEMORY 605.94 310.45 None safe007_power.oepc-thin001_power.oepc.line648.yml OUT OF MEMORY 484.30 248.72 None safe007_power.oepc-thin001_power.oepc.line660.yml false(unreach-call) 27.11 16.60 None safe007_power.oepc-thin001_power.oepc.line661.yml false(unreach-call) 26.53 16.30 None safe007_power.oepc-thin001_power.oepc.line747.yml true 215.84 125.79 None safe007_power.oepc-thin001_power.oepc.line748.yml OUT OF MEMORY 323.54 169.85 None safe007_power.oepc-thin001_power.oepc.line766.yml OUT OF MEMORY 419.34 221.94 None safe007_power.oepc-thin001_power.oepc.line767.yml OUT OF MEMORY 334.50 171.61 None safe007_power.oepc-thin001_power.oepc.line781.yml OUT OF MEMORY 631.25 325.11 None safe007_power.oepc-thin001_power.oepc.line782.yml OUT OF MEMORY 648.95 332.70 None safe007_power.oepc-thin001_power.oepc.line969.yml true 26.83 17.39 None safe007_power.oepc-thin001_power.oepc.line970.yml true 23.21 14.58 None safe007_power.oepc-thin001_power.oepc.line997.yml true 25.73 16.81 None safe007_power.oepc-thin001_power.oepc.line998.yml true 30.53 17.86 None safe007_power.opt-thin001_power.opt.line1050.yml true 14.07 8.41 None safe007_power.opt-thin001_power.opt.line1051.yml true 14.74 8.89 None safe007_power.opt-thin001_power.opt.line1078.yml true 13.78 8.49 None safe007_power.opt-thin001_power.opt.line1079.yml true 19.22 10.91 None safe007_power.opt-thin001_power.opt.line1106.yml true 20.92 12.38 None safe007_power.opt-thin001_power.opt.line1107.yml true 19.34 11.73 None safe007_power.opt-thin001_power.opt.line1140.yml OUT OF MEMORY 477.89 255.65 None safe007_power.opt-thin001_power.opt.line1141.yml OUT OF MEMORY 589.60 313.37 None safe007_power.opt-thin001_power.opt.line1155.yml OUT OF MEMORY 867.56 474.67 None safe007_power.opt-thin001_power.opt.line1156.yml OUT OF MEMORY 590.64 340.30 None safe007_power.opt-thin001_power.opt.line1203.yml OUT OF MEMORY 254.51 167.75 None safe007_power.opt-thin001_power.opt.line1204.yml OUT OF MEMORY 588.89 374.18 None safe007_power.opt-thin001_power.opt.line354.yml OUT OF MEMORY 105.55 76.76 None safe007_power.opt-thin001_power.opt.line355.yml OUT OF MEMORY 103.95 75.95 None safe007_power.opt-thin001_power.opt.line369.yml false(unreach-call) 26.65 16.03 None safe007_power.opt-thin001_power.opt.line370.yml false(unreach-call) 26.45 15.54 None safe007_power.opt-thin001_power.opt.line493.yml true 80.98 50.91 None safe007_power.opt-thin001_power.opt.line494.yml OUT OF MEMORY 488.30 256.95 None safe007_power.opt-thin001_power.opt.line508.yml true 207.87 124.38 None safe007_power.opt-thin001_power.opt.line509.yml OUT OF MEMORY 422.25 245.24 None safe007_power.opt-thin001_power.opt.line525.yml OUT OF MEMORY 328.22 199.78 None safe007_power.opt-thin001_power.opt.line526.yml OUT OF MEMORY 431.45 274.90 None safe007_power.opt-thin001_power.opt.line557.yml true 343.76 224.53 None safe007_power.opt-thin001_power.opt.line558.yml OUT OF MEMORY 586.72 308.94 None safe007_power.opt-thin001_power.opt.line578.yml OUT OF MEMORY 659.80 343.72 None safe007_power.opt-thin001_power.opt.line579.yml TIMEOUT 908.65 469.32 None safe007_power.opt-thin001_power.opt.line792.yml OUT OF MEMORY 592.92 310.95 None safe007_power.opt-thin001_power.opt.line793.yml OUT OF MEMORY 685.22 355.68 None safe007_power.opt-thin001_power.opt.line807.yml OUT OF MEMORY 106.44 62.72 None safe007_power.opt-thin001_power.opt.line808.yml OUT OF MEMORY 615.15 319.42 None safe007_power.opt-thin001_power.opt.line820.yml TIMEOUT 913.45 476.02 None safe007_power.opt-thin001_power.opt.line821.yml OUT OF MEMORY 239.64 136.08 None safe007_power.opt-thin001_power.opt.line847.yml OUT OF MEMORY 884.24 459.99 None safe007_power.opt-thin001_power.opt.line848.yml OUT OF MEMORY 658.33 343.00 None safe007_power.opt-thin001_power.opt.line862.yml OUT OF MEMORY 114.77 68.40 None safe007_power.opt-thin001_power.opt.line863.yml OUT OF MEMORY 176.36 99.43 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line368.yml true 7.93 5.51 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line369.yml true 8.04 5.48 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line396.yml true 8.30 5.61 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line397.yml true 8.49 6.16 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line424.yml true 10.42 6.64 None safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.line425.yml true 10.66 6.76 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line311.yml false(unreach-call) 19.41 12.45 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line312.yml false(unreach-call) 20.98 13.64 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line324.yml false(unreach-call) 21.38 13.11 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line325.yml false(unreach-call) 18.58 12.16 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line344.yml false(unreach-call) 21.90 14.90 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line345.yml false(unreach-call) 22.44 13.17 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line472.yml false(unreach-call) 22.26 13.49 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line473.yml false(unreach-call) 21.01 12.77 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line487.yml OUT OF MEMORY 438.40 234.36 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line488.yml OUT OF MEMORY 412.70 214.78 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line500.yml false(unreach-call) 20.61 13.78 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line501.yml false(unreach-call) 28.62 16.20 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line587.yml true 251.22 150.36 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line588.yml OUT OF MEMORY 402.60 208.45 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line606.yml OUT OF MEMORY 475.27 246.31 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line607.yml OUT OF MEMORY 772.41 390.77 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line621.yml OUT OF MEMORY 609.68 314.32 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line622.yml OUT OF MEMORY 365.77 190.07 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line809.yml true 18.25 11.20 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line810.yml true 19.72 11.95 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line837.yml true 18.38 11.58 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line838.yml true 19.64 12.18 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line865.yml true 28.17 17.12 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line866.yml true 26.44 16.32 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line899.yml OUT OF MEMORY 562.46 290.71 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line900.yml OUT OF MEMORY 483.62 251.05 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line914.yml OUT OF MEMORY 538.02 286.72 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line915.yml OUT OF MEMORY 624.52 332.37 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line962.yml OUT OF MEMORY 568.62 328.53 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.line963.yml OUT OF MEMORY 598.03 341.35 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line611.yml true 19.81 13.08 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line612.yml true 18.29 12.94 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line639.yml true 19.32 13.04 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line640.yml true 18.91 12.91 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line667.yml true 31.65 20.59 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line668.yml true 29.99 19.96 None safe008_power.opt.line1118.yml true 113.00 71.60 None safe008_power.opt.line1119.yml true 117.05 72.67 None safe008_power.opt.line1146.yml true 110.95 70.05 None safe008_power.opt.line1147.yml true 110.98 79.15 None safe008_power.opt.line1174.yml true 200.56 124.09 None safe008_power.opt.line1175.yml true 236.54 141.85 None safe008_power.opt.line1208.yml OUT OF MEMORY 571.12 295.08 None safe008_power.opt.line1209.yml OUT OF MEMORY 591.19 308.92 None safe008_power.opt.line1223.yml OUT OF MEMORY 557.55 289.77 None safe008_power.opt.line1224.yml OUT OF MEMORY 572.57 301.33 None safe008_power.opt.line1271.yml OUT OF MEMORY 727.85 372.66 None safe008_power.opt.line1272.yml OUT OF MEMORY 748.96 383.04 None safe008_power.opt.line322.yml OUT OF MEMORY 358.88 198.37 None safe008_power.opt.line323.yml OUT OF MEMORY 419.47 233.43 None safe008_power.opt.line337.yml OUT OF MEMORY 329.43 182.35 None safe008_power.opt.line338.yml OUT OF MEMORY 497.21 271.17 None safe008_power.opt.line461.yml false(unreach-call) 110.60 68.71 None safe008_power.opt.line462.yml false(unreach-call) 113.24 69.41 None safe008_power.opt.line476.yml false(unreach-call) 146.21 98.41 None safe008_power.opt.line477.yml false(unreach-call) 172.47 104.27 None safe008_power.opt.line493.yml OUT OF MEMORY 515.62 282.88 None safe008_power.opt.line494.yml OUT OF MEMORY 743.10 389.78 None safe008_power.opt.line525.yml OUT OF MEMORY 318.89 179.22 None safe008_power.opt.line526.yml OUT OF MEMORY 634.76 339.00 None safe008_power.opt.line546.yml false(unreach-call) 719.26 434.91 None safe008_power.opt.line547.yml OUT OF MEMORY 278.45 173.06 None safe008_power.opt.line760.yml OUT OF MEMORY 672.22 368.87 None safe008_power.opt.line761.yml OUT OF MEMORY 610.41 338.20 None safe008_power.opt.line775.yml OUT OF MEMORY 575.12 326.46 None safe008_power.opt.line776.yml OUT OF MEMORY 264.35 172.89 None safe008_power.opt.line788.yml OUT OF MEMORY 461.17 267.18 None safe008_power.opt.line789.yml OUT OF MEMORY 347.60 203.32 None safe008_power.opt.line815.yml OUT OF MEMORY 349.03 200.92 None safe008_power.opt.line816.yml OUT OF MEMORY 581.49 321.83 None safe008_power.opt.line830.yml OUT OF MEMORY 245.38 151.93 None safe008_power.opt.line831.yml OUT OF MEMORY 268.80 161.90 None safe008_power.opt.line916.yml TIMEOUT 913.37 501.17 None safe008_power.opt.line917.yml OUT OF MEMORY 720.99 383.22 None safe008_power.opt.line931.yml OUT OF MEMORY 882.42 500.74 None safe008_power.opt.line932.yml TIMEOUT 919.88 496.20 None safe008_tso.line365.yml true 10.33 6.39 None safe008_tso.line366.yml true 10.31 6.65 None safe008_tso.line393.yml true 9.98 6.33 None safe008_tso.line394.yml true 10.86 6.70 None safe008_tso.line421.yml true 10.63 6.66 None safe008_tso.line422.yml true 9.61 6.24 None safe009_power.oepc.line1065.yml true 93.71 55.94 None safe009_power.oepc.line1066.yml true 76.98 47.34 None safe009_power.oepc.line1093.yml true 79.26 48.95 None safe009_power.oepc.line1094.yml true 78.32 49.58 None safe009_power.oepc.line1121.yml true 144.30 92.07 None safe009_power.oepc.line1122.yml true 170.85 102.17 None safe009_power.oepc.line1155.yml OUT OF MEMORY 383.01 217.30 None safe009_power.oepc.line1156.yml OUT OF MEMORY 490.80 271.96 None safe009_power.oepc.line1170.yml OUT OF MEMORY 390.65 223.66 None safe009_power.oepc.line1171.yml OUT OF MEMORY 405.89 231.94 None safe009_power.oepc.line1219.yml OUT OF MEMORY 449.48 252.08 None safe009_power.oepc.line1220.yml OUT OF MEMORY 396.17 231.80 None safe009_power.oepc.line1232.yml OUT OF MEMORY 385.65 221.32 None safe009_power.oepc.line1233.yml OUT OF MEMORY 395.23 227.58 None safe009_power.oepc.line1252.yml OUT OF MEMORY 735.59 398.02 None safe009_power.oepc.line1253.yml OUT OF MEMORY 459.15 256.80 None safe009_power.oepc.line1382.yml OUT OF MEMORY 376.26 214.45 None safe009_power.oepc.line1383.yml OUT OF MEMORY 401.01 227.84 None safe009_power.oepc.line1404.yml OUT OF MEMORY 358.08 206.30 None safe009_power.oepc.line1405.yml OUT OF MEMORY 408.82 232.52 None safe009_power.oepc.line1419.yml OUT OF MEMORY 384.56 222.84 None safe009_power.oepc.line1420.yml OUT OF MEMORY 476.34 267.13 None safe009_power.oepc.line1432.yml OUT OF MEMORY 450.27 252.96 None safe009_power.oepc.line1433.yml OUT OF MEMORY 394.20 224.50 None safe009_power.oepc.line329.yml false(unreach-call) 81.33 52.90 None safe009_power.oepc.line330.yml false(unreach-call) 80.33 49.96 None safe009_power.oepc.line344.yml false(unreach-call) 80.67 49.14 None safe009_power.oepc.line345.yml false(unreach-call) 102.61 58.94 None safe009_power.oepc.line361.yml TIMEOUT 906.60 479.14 None safe009_power.oepc.line362.yml TIMEOUT 903.44 476.12 None safe009_power.oepc.line393.yml TIMEOUT 919.80 482.97 None safe009_power.oepc.line394.yml TIMEOUT 919.82 488.79 None safe009_power.oepc.line414.yml false(unreach-call) 78.22 48.89 None safe009_power.oepc.line415.yml false(unreach-call) 85.04 52.20 None safe009_power.oepc.line628.yml false(unreach-call) 81.48 49.34 None safe009_power.oepc.line629.yml false(unreach-call) 81.44 50.03 None safe009_power.oepc.line643.yml OUT OF MEMORY 369.40 205.54 None safe009_power.oepc.line644.yml OUT OF MEMORY 670.86 358.38 None safe009_power.oepc.line656.yml false(unreach-call) 84.05 52.00 None safe009_power.oepc.line657.yml false(unreach-call) 99.72 58.79 None safe009_power.oepc.line713.yml false(unreach-call) 89.58 54.60 None safe009_power.oepc.line714.yml false(unreach-call) 87.61 53.07 None safe009_power.oepc.line732.yml false(unreach-call) 83.40 51.98 None safe009_power.oepc.line733.yml false(unreach-call) 83.06 50.88 None safe009_power.oepc.line747.yml false(unreach-call) 93.32 55.20 None safe009_power.oepc.line748.yml false(unreach-call) 80.00 49.74 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 83851.79 3622.70 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk09 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk09 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk09 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk09 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk09 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk09 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk09 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk09 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk09 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk09 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk09 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk09 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk09 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk09 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk09 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk09 Run set 19 of 19: skipped Statistics: 900 Files correct: 312 correct true: 312 correct false: 0 incorrect: 227 incorrect true: 0 incorrect false: 227 unknown: 361 Score: -3008 (max: 1800)