BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk22, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk22, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk22 date: Sun, 2022-10-23 18:22:57 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-chunk22 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 ------------------------------------------------------------------------------------------------------- elimination_backoff_stack.line3695.yml OUT OF MEMORY 374.74 207.42 None elimination_backoff_stack.line3696.yml OUT OF MEMORY 444.61 247.53 None elimination_backoff_stack.line3705.yml OUT OF MEMORY 532.88 283.85 None elimination_backoff_stack.line3706.yml OUT OF MEMORY 214.30 123.59 None elimination_backoff_stack.line3715.yml OUT OF MEMORY 595.99 325.97 None elimination_backoff_stack.line3716.yml OUT OF MEMORY 637.24 357.64 None elimination_backoff_stack.line3727.yml OUT OF MEMORY 636.87 341.11 None elimination_backoff_stack.line3728.yml OUT OF MEMORY 713.02 381.40 None elimination_backoff_stack.line3737.yml OUT OF MEMORY 583.00 315.73 None elimination_backoff_stack.line3738.yml OUT OF MEMORY 373.76 206.12 None elimination_backoff_stack.line3747.yml OUT OF MEMORY 574.45 311.05 None elimination_backoff_stack.line3748.yml OUT OF MEMORY 652.44 349.70 None elimination_backoff_stack.line3931.yml OUT OF MEMORY 397.18 221.45 None elimination_backoff_stack.line3932.yml OUT OF MEMORY 594.54 321.68 None elimination_backoff_stack.line3943.yml OUT OF MEMORY 300.95 169.85 None elimination_backoff_stack.line3944.yml OUT OF MEMORY 269.28 152.50 None elimination_backoff_stack.line3979.yml OUT OF MEMORY 492.16 268.76 None elimination_backoff_stack.line3980.yml OUT OF MEMORY 398.73 219.60 None elimination_backoff_stack.line4000.yml OUT OF MEMORY 592.57 321.92 None elimination_backoff_stack.line4001.yml OUT OF MEMORY 470.26 253.00 None elimination_backoff_stack.line4021.yml OUT OF MEMORY 407.55 227.69 None elimination_backoff_stack.line4022.yml OUT OF MEMORY 496.73 273.60 None elimination_backoff_stack.line4032.yml OUT OF MEMORY 639.29 343.75 None elimination_backoff_stack.line4033.yml OUT OF MEMORY 317.24 175.12 None elimination_backoff_stack.line4042.yml OUT OF MEMORY 551.36 300.08 None elimination_backoff_stack.line4043.yml OUT OF MEMORY 535.67 284.97 None elimination_backoff_stack.line4058.yml OUT OF MEMORY 356.83 197.52 None elimination_backoff_stack.line4059.yml OUT OF MEMORY 618.83 344.52 None elimination_backoff_stack.line4070.yml OUT OF MEMORY 413.06 226.96 None elimination_backoff_stack.line4071.yml OUT OF MEMORY 542.28 290.14 None elimination_backoff_stack.line4083.yml OUT OF MEMORY 532.16 288.48 None elimination_backoff_stack.line4084.yml OUT OF MEMORY 448.96 246.57 None elimination_backoff_stack.line4102.yml OUT OF MEMORY 245.10 137.55 None elimination_backoff_stack.line4103.yml OUT OF MEMORY 317.72 177.84 None elimination_backoff_stack.line4115.yml OUT OF MEMORY 548.34 292.09 None elimination_backoff_stack.line4116.yml OUT OF MEMORY 620.20 331.97 None elimination_backoff_stack.line4149.yml OUT OF MEMORY 536.75 289.95 None elimination_backoff_stack.line4150.yml OUT OF MEMORY 390.28 220.32 None elimination_backoff_stack.line4161.yml OUT OF MEMORY 374.11 206.27 None elimination_backoff_stack.line4162.yml OUT OF MEMORY 443.80 243.26 None elimination_backoff_stack.line4175.yml OUT OF MEMORY 452.57 245.53 None elimination_backoff_stack.line4176.yml OUT OF MEMORY 368.17 203.12 None elimination_backoff_stack.line4185.yml OUT OF MEMORY 394.15 214.73 None elimination_backoff_stack.line4186.yml OUT OF MEMORY 521.33 281.06 None elimination_backoff_stack.line4197.yml OUT OF MEMORY 319.94 180.37 None elimination_backoff_stack.line4198.yml OUT OF MEMORY 459.27 261.06 None elimination_backoff_stack.line4219.yml OUT OF MEMORY 438.80 241.88 None elimination_backoff_stack.line4220.yml OUT OF MEMORY 380.05 214.22 None elimination_backoff_stack.line4232.yml OUT OF MEMORY 303.38 170.36 None elimination_backoff_stack.line4233.yml OUT OF MEMORY 617.24 335.49 None elimination_backoff_stack.line4256.yml OUT OF MEMORY 464.63 249.31 None elimination_backoff_stack.line4257.yml OUT OF MEMORY 257.10 144.28 None elimination_backoff_stack.line4266.yml OUT OF MEMORY 51.75 32.49 None elimination_backoff_stack.line4267.yml OUT OF MEMORY 432.40 241.80 None elimination_backoff_stack.line4277.yml OUT OF MEMORY 663.06 351.37 None elimination_backoff_stack.line4278.yml OUT OF MEMORY 62.42 35.48 None elimination_backoff_stack.line4287.yml OUT OF MEMORY 451.75 246.27 None elimination_backoff_stack.line4288.yml OUT OF MEMORY 53.30 32.13 None elimination_backoff_stack.line4322.yml OUT OF MEMORY 377.35 212.20 None elimination_backoff_stack.line4323.yml OUT OF MEMORY 63.52 36.71 None elimination_backoff_stack.line4338.yml OUT OF MEMORY 438.31 245.43 None elimination_backoff_stack.line4339.yml OUT OF MEMORY 383.94 215.77 None elimination_backoff_stack.line4348.yml OUT OF MEMORY 386.96 213.44 None elimination_backoff_stack.line4349.yml OUT OF MEMORY 461.29 246.63 None elimination_backoff_stack.line4375.yml OUT OF MEMORY 373.52 205.41 None elimination_backoff_stack.line4376.yml OUT OF MEMORY 444.58 254.87 None elimination_backoff_stack.line4388.yml OUT OF MEMORY 594.97 320.35 None elimination_backoff_stack.line4389.yml OUT OF MEMORY 161.51 92.50 None elimination_backoff_stack.line4397.yml OUT OF MEMORY 368.94 202.86 None elimination_backoff_stack.line4398.yml OUT OF MEMORY 260.58 143.01 None elimination_backoff_stack.line4419.yml OUT OF MEMORY 205.06 117.76 None elimination_backoff_stack.line4420.yml OUT OF MEMORY 614.64 332.73 None elimination_backoff_stack.line443.yml OUT OF MEMORY 389.38 214.61 None elimination_backoff_stack.line4432.yml OUT OF MEMORY 660.48 357.72 None elimination_backoff_stack.line4433.yml OUT OF MEMORY 427.29 234.01 None elimination_backoff_stack.line444.yml OUT OF MEMORY 568.11 303.82 None elimination_backoff_stack.line4465.yml OUT OF MEMORY 800.62 424.18 None elimination_backoff_stack.line4466.yml OUT OF MEMORY 344.92 191.51 None elimination_backoff_stack.line4479.yml OUT OF MEMORY 560.09 299.66 None elimination_backoff_stack.line4480.yml OUT OF MEMORY 435.47 248.91 None elimination_backoff_stack.line4493.yml OUT OF MEMORY 572.57 304.89 None elimination_backoff_stack.line4494.yml OUT OF MEMORY 377.92 212.14 None elimination_backoff_stack.line4503.yml OUT OF MEMORY 119.85 67.08 None elimination_backoff_stack.line4504.yml OUT OF MEMORY 296.59 165.27 None elimination_backoff_stack.line4531.yml OUT OF MEMORY 425.44 231.48 None elimination_backoff_stack.line4532.yml OUT OF MEMORY 450.58 244.81 None elimination_backoff_stack.line4544.yml OUT OF MEMORY 411.75 226.62 None elimination_backoff_stack.line4545.yml OUT OF MEMORY 344.95 192.24 None elimination_backoff_stack.line455.yml OUT OF MEMORY 408.37 224.97 None elimination_backoff_stack.line456.yml OUT OF MEMORY 393.61 220.80 None elimination_backoff_stack.line4578.yml OUT OF MEMORY 358.25 196.29 None elimination_backoff_stack.line4579.yml OUT OF MEMORY 84.36 52.67 None elimination_backoff_stack.line4590.yml OUT OF MEMORY 405.26 224.72 None elimination_backoff_stack.line4591.yml OUT OF MEMORY 482.15 272.85 None elimination_backoff_stack.line4609.yml OUT OF MEMORY 591.48 322.40 None elimination_backoff_stack.line4610.yml OUT OF MEMORY 464.01 253.04 None elimination_backoff_stack.line4622.yml OUT OF MEMORY 470.17 253.71 None elimination_backoff_stack.line4623.yml OUT OF MEMORY 632.44 339.82 None elimination_backoff_stack.line4652.yml OUT OF MEMORY 395.94 213.77 None elimination_backoff_stack.line4653.yml OUT OF MEMORY 568.76 304.34 None elimination_backoff_stack.line4671.yml OUT OF MEMORY 337.81 188.57 None elimination_backoff_stack.line4672.yml OUT OF MEMORY 604.54 324.39 None elimination_backoff_stack.line4684.yml OUT OF MEMORY 526.08 280.26 None elimination_backoff_stack.line4685.yml OUT OF MEMORY 404.38 222.75 None elimination_backoff_stack.line4706.yml OUT OF MEMORY 491.61 262.20 None elimination_backoff_stack.line4707.yml OUT OF MEMORY 335.50 189.32 None elimination_backoff_stack.line4716.yml OUT OF MEMORY 534.50 289.58 None elimination_backoff_stack.line4717.yml OUT OF MEMORY 507.08 282.05 None elimination_backoff_stack.line4727.yml OUT OF MEMORY 379.90 206.89 None elimination_backoff_stack.line4728.yml OUT OF MEMORY 351.62 194.56 None elimination_backoff_stack.line4737.yml OUT OF MEMORY 53.73 33.75 None elimination_backoff_stack.line4738.yml OUT OF MEMORY 516.98 275.91 None elimination_backoff_stack.line4749.yml OUT OF MEMORY 549.77 298.50 None elimination_backoff_stack.line4750.yml OUT OF MEMORY 491.30 271.69 None elimination_backoff_stack.line4789.yml OUT OF MEMORY 460.05 247.37 None elimination_backoff_stack.line4790.yml OUT OF MEMORY 435.37 236.87 None elimination_backoff_stack.line4801.yml OUT OF MEMORY 561.89 303.07 None elimination_backoff_stack.line4802.yml OUT OF MEMORY 411.60 226.68 None elimination_backoff_stack.line4813.yml OUT OF MEMORY 470.10 254.55 None elimination_backoff_stack.line4814.yml OUT OF MEMORY 492.24 266.02 None elimination_backoff_stack.line4823.yml OUT OF MEMORY 371.74 203.26 None elimination_backoff_stack.line4824.yml OUT OF MEMORY 364.22 202.44 None elimination_backoff_stack.line4833.yml OUT OF MEMORY 543.03 289.34 None elimination_backoff_stack.line4834.yml OUT OF MEMORY 402.37 223.59 None elimination_backoff_stack.line4844.yml OUT OF MEMORY 460.37 262.99 None elimination_backoff_stack.line4845.yml OUT OF MEMORY 671.73 362.60 None elimination_backoff_stack.line4854.yml OUT OF MEMORY 461.89 252.78 None elimination_backoff_stack.line4855.yml OUT OF MEMORY 510.06 277.69 None elimination_backoff_stack.line4867.yml OUT OF MEMORY 624.93 339.86 None elimination_backoff_stack.line4868.yml OUT OF MEMORY 585.68 311.82 None elimination_backoff_stack.line4903.yml OUT OF MEMORY 585.45 316.67 None elimination_backoff_stack.line4904.yml OUT OF MEMORY 368.73 202.63 None elimination_backoff_stack.line491.yml OUT OF MEMORY 564.61 306.82 None elimination_backoff_stack.line4916.yml OUT OF MEMORY 386.73 213.77 None elimination_backoff_stack.line4917.yml OUT OF MEMORY 465.62 262.74 None elimination_backoff_stack.line492.yml OUT OF MEMORY 664.59 357.42 None elimination_backoff_stack.line4946.yml OUT OF MEMORY 486.52 271.71 None elimination_backoff_stack.line4947.yml OUT OF MEMORY 542.10 288.80 None elimination_backoff_stack.line4958.yml OUT OF MEMORY 562.68 318.85 None elimination_backoff_stack.line4959.yml OUT OF MEMORY 328.58 185.10 None elimination_backoff_stack.line4970.yml OUT OF MEMORY 362.75 200.31 None elimination_backoff_stack.line4971.yml OUT OF MEMORY 306.71 172.98 None elimination_backoff_stack.line4980.yml OUT OF MEMORY 414.69 230.30 None elimination_backoff_stack.line4981.yml OUT OF MEMORY 525.15 282.71 None elimination_backoff_stack.line4990.yml OUT OF MEMORY 459.44 247.19 None elimination_backoff_stack.line4991.yml OUT OF MEMORY 460.84 252.28 None elimination_backoff_stack.line5001.yml OUT OF MEMORY 394.38 218.10 None elimination_backoff_stack.line5002.yml OUT OF MEMORY 539.92 296.62 None elimination_backoff_stack.line5011.yml OUT OF MEMORY 525.18 281.05 None elimination_backoff_stack.line5012.yml OUT OF MEMORY 552.64 300.13 None elimination_backoff_stack.line5024.yml OUT OF MEMORY 367.25 200.56 None elimination_backoff_stack.line5025.yml OUT OF MEMORY 384.46 210.65 None elimination_backoff_stack.line5052.yml OUT OF MEMORY 322.48 179.16 None elimination_backoff_stack.line5053.yml OUT OF MEMORY 539.38 286.31 None elimination_backoff_stack.line5064.yml OUT OF MEMORY 365.88 202.23 None elimination_backoff_stack.line5065.yml OUT OF MEMORY 385.43 212.96 None elimination_backoff_stack.line5077.yml OUT OF MEMORY 194.03 113.77 None elimination_backoff_stack.line5078.yml OUT OF MEMORY 440.89 244.97 None elimination_backoff_stack.line5096.yml OUT OF MEMORY 481.68 258.02 None elimination_backoff_stack.line5097.yml OUT OF MEMORY 443.61 245.51 None elimination_backoff_stack.line5109.yml OUT OF MEMORY 112.58 64.33 None elimination_backoff_stack.line5110.yml OUT OF MEMORY 312.96 174.00 None elimination_backoff_stack.line512.yml OUT OF MEMORY 339.16 188.06 None elimination_backoff_stack.line513.yml OUT OF MEMORY 495.39 264.86 None elimination_backoff_stack.line5143.yml OUT OF MEMORY 436.76 249.60 None elimination_backoff_stack.line5144.yml OUT OF MEMORY 661.19 358.09 None elimination_backoff_stack.line5155.yml OUT OF MEMORY 111.00 66.22 None elimination_backoff_stack.line5156.yml OUT OF MEMORY 312.50 173.57 None elimination_backoff_stack.line5169.yml OUT OF MEMORY 521.15 281.06 None elimination_backoff_stack.line5170.yml OUT OF MEMORY 346.58 194.96 None elimination_backoff_stack.line5179.yml OUT OF MEMORY 390.84 215.45 None elimination_backoff_stack.line5180.yml OUT OF MEMORY 397.46 217.87 None elimination_backoff_stack.line5191.yml OUT OF MEMORY 533.62 284.57 None elimination_backoff_stack.line5192.yml OUT OF MEMORY 411.50 226.77 None elimination_backoff_stack.line5213.yml OUT OF MEMORY 429.80 237.18 None elimination_backoff_stack.line5214.yml OUT OF MEMORY 360.45 201.43 None elimination_backoff_stack.line5226.yml OUT OF MEMORY 468.99 254.30 None elimination_backoff_stack.line5227.yml OUT OF MEMORY 378.71 211.55 None elimination_backoff_stack.line5250.yml OUT OF MEMORY 272.36 152.32 None elimination_backoff_stack.line5251.yml OUT OF MEMORY 386.42 225.28 None elimination_backoff_stack.line5260.yml OUT OF MEMORY 561.22 305.89 None elimination_backoff_stack.line5261.yml OUT OF MEMORY 536.59 287.39 None elimination_backoff_stack.line5271.yml OUT OF MEMORY 353.92 198.93 None elimination_backoff_stack.line5272.yml OUT OF MEMORY 388.78 212.47 None elimination_backoff_stack.line5281.yml OUT OF MEMORY 361.94 201.87 None elimination_backoff_stack.line5282.yml OUT OF MEMORY 431.39 234.01 None elimination_backoff_stack.line5316.yml OUT OF MEMORY 336.90 189.56 None elimination_backoff_stack.line5317.yml OUT OF MEMORY 56.58 34.36 None elimination_backoff_stack.line533.yml OUT OF MEMORY 491.63 262.47 None elimination_backoff_stack.line5332.yml OUT OF MEMORY 600.84 317.46 None elimination_backoff_stack.line5333.yml OUT OF MEMORY 432.59 238.82 None elimination_backoff_stack.line534.yml OUT OF MEMORY 452.54 250.48 None elimination_backoff_stack.line5342.yml OUT OF MEMORY 330.36 184.29 None elimination_backoff_stack.line5343.yml OUT OF MEMORY 518.68 277.26 None elimination_backoff_stack.line5391.yml OUT OF MEMORY 569.74 319.50 None elimination_backoff_stack.line5392.yml OUT OF MEMORY 502.66 272.06 None elimination_backoff_stack.line5403.yml OUT OF MEMORY 456.26 249.58 None elimination_backoff_stack.line5404.yml OUT OF MEMORY 587.16 314.87 None elimination_backoff_stack.line5414.yml OUT OF MEMORY 554.53 294.22 None elimination_backoff_stack.line5415.yml OUT OF MEMORY 145.85 85.13 None elimination_backoff_stack.line5426.yml OUT OF MEMORY 456.14 250.31 None elimination_backoff_stack.line5427.yml OUT OF MEMORY 469.39 261.86 None elimination_backoff_stack.line5439.yml OUT OF MEMORY 333.04 185.93 None elimination_backoff_stack.line544.yml OUT OF MEMORY 49.44 30.92 None elimination_backoff_stack.line5440.yml OUT OF MEMORY 499.64 276.22 None elimination_backoff_stack.line5449.yml OUT OF MEMORY 65.81 39.50 None elimination_backoff_stack.line545.yml OUT OF MEMORY 270.11 154.52 None elimination_backoff_stack.line5450.yml OUT OF MEMORY 576.27 311.39 None elimination_backoff_stack.line5459.yml OUT OF MEMORY 62.82 37.45 None elimination_backoff_stack.line5460.yml OUT OF MEMORY 425.27 229.01 None elimination_backoff_stack.line5471.yml OUT OF MEMORY 368.77 202.61 None elimination_backoff_stack.line5472.yml OUT OF MEMORY 529.59 282.28 None elimination_backoff_stack.line5481.yml OUT OF MEMORY 507.44 276.74 None elimination_backoff_stack.line5482.yml OUT OF MEMORY 401.47 221.53 None elimination_backoff_stack.line5491.yml OUT OF MEMORY 329.22 183.73 None elimination_backoff_stack.line5492.yml OUT OF MEMORY 53.37 32.63 None elimination_backoff_stack.line554.yml OUT OF MEMORY 551.56 299.34 None elimination_backoff_stack.line555.yml OUT OF MEMORY 508.89 280.10 None elimination_backoff_stack.line570.yml OUT OF MEMORY 400.64 224.25 None elimination_backoff_stack.line571.yml OUT OF MEMORY 656.18 351.78 None elimination_backoff_stack.line5739.yml OUT OF MEMORY 631.82 333.54 None elimination_backoff_stack.line5740.yml OUT OF MEMORY 380.64 212.63 None elimination_backoff_stack.line582.yml OUT OF MEMORY 503.41 275.45 None elimination_backoff_stack.line583.yml OUT OF MEMORY 348.21 190.59 None elimination_backoff_stack.line5844.yml OUT OF MEMORY 524.70 282.81 None elimination_backoff_stack.line5845.yml OUT OF MEMORY 439.53 240.53 None elimination_backoff_stack.line5859.yml OUT OF MEMORY 560.14 303.97 None elimination_backoff_stack.line5860.yml OUT OF MEMORY 644.51 349.31 None elimination_backoff_stack.line5874.yml OUT OF MEMORY 552.69 293.75 None elimination_backoff_stack.line5875.yml OUT OF MEMORY 396.78 218.18 None elimination_backoff_stack.line5889.yml OUT OF MEMORY 412.81 225.40 None elimination_backoff_stack.line5890.yml OUT OF MEMORY 648.13 360.93 None elimination_backoff_stack.line5904.yml OUT OF MEMORY 514.84 280.66 None elimination_backoff_stack.line5905.yml OUT OF MEMORY 501.67 280.17 None elimination_backoff_stack.line5919.yml OUT OF MEMORY 408.33 224.31 None elimination_backoff_stack.line5920.yml OUT OF MEMORY 480.22 260.33 None elimination_backoff_stack.line5934.yml OUT OF MEMORY 512.30 281.29 None elimination_backoff_stack.line5935.yml OUT OF MEMORY 392.90 222.26 None elimination_backoff_stack.line595.yml OUT OF MEMORY 310.49 174.41 None elimination_backoff_stack.line596.yml OUT OF MEMORY 532.48 284.57 None elimination_backoff_stack.line614.yml OUT OF MEMORY 374.76 209.08 None elimination_backoff_stack.line615.yml OUT OF MEMORY 320.90 178.85 None elimination_backoff_stack.line6222.yml OUT OF MEMORY 369.58 208.68 None elimination_backoff_stack.line6223.yml OUT OF MEMORY 666.97 356.17 None elimination_backoff_stack.line6243.yml OUT OF MEMORY 386.67 212.50 None elimination_backoff_stack.line6244.yml OUT OF MEMORY 367.45 201.68 None elimination_backoff_stack.line6264.yml OUT OF MEMORY 157.44 91.70 None elimination_backoff_stack.line6265.yml OUT OF MEMORY 366.92 203.17 None elimination_backoff_stack.line627.yml OUT OF MEMORY 494.63 273.32 None elimination_backoff_stack.line6275.yml OUT OF MEMORY 455.27 252.54 None elimination_backoff_stack.line6276.yml OUT OF MEMORY 486.89 273.15 None elimination_backoff_stack.line628.yml OUT OF MEMORY 541.18 293.72 None elimination_backoff_stack.line6291.yml OUT OF MEMORY 132.97 78.54 None elimination_backoff_stack.line6292.yml OUT OF MEMORY 537.04 291.81 None elimination_backoff_stack.line6303.yml OUT OF MEMORY 618.56 334.02 None elimination_backoff_stack.line6304.yml OUT OF MEMORY 547.17 292.27 None elimination_backoff_stack.line6316.yml OUT OF MEMORY 500.54 271.82 None elimination_backoff_stack.line6317.yml OUT OF MEMORY 635.71 335.58 None elimination_backoff_stack.line6335.yml OUT OF MEMORY 357.16 198.80 None elimination_backoff_stack.line6336.yml OUT OF MEMORY 338.38 186.52 None elimination_backoff_stack.line6348.yml OUT OF MEMORY 454.53 246.63 None elimination_backoff_stack.line6349.yml OUT OF MEMORY 317.13 178.00 None elimination_backoff_stack.line6382.yml OUT OF MEMORY 515.40 275.53 None elimination_backoff_stack.line6383.yml OUT OF MEMORY 513.42 284.09 None elimination_backoff_stack.line6394.yml OUT OF MEMORY 645.50 349.21 None elimination_backoff_stack.line6395.yml OUT OF MEMORY 501.29 274.62 None elimination_backoff_stack.line6408.yml OUT OF MEMORY 411.23 227.92 None elimination_backoff_stack.line6409.yml OUT OF MEMORY 628.81 331.20 None elimination_backoff_stack.line6418.yml OUT OF MEMORY 469.91 255.33 None elimination_backoff_stack.line6419.yml OUT OF MEMORY 412.28 232.59 None elimination_backoff_stack.line6430.yml OUT OF MEMORY 509.20 272.38 None elimination_backoff_stack.line6431.yml OUT OF MEMORY 598.55 326.57 None elimination_backoff_stack.line6452.yml OUT OF MEMORY 438.48 241.43 None elimination_backoff_stack.line6453.yml OUT OF MEMORY 582.21 315.58 None elimination_backoff_stack.line6465.yml OUT OF MEMORY 404.77 224.16 None elimination_backoff_stack.line6466.yml OUT OF MEMORY 615.68 324.85 None elimination_backoff_stack.line6489.yml OUT OF MEMORY 452.78 244.65 None elimination_backoff_stack.line6490.yml OUT OF MEMORY 357.95 206.49 None elimination_backoff_stack.line6499.yml OUT OF MEMORY 312.91 176.05 None elimination_backoff_stack.line6500.yml OUT OF MEMORY 373.21 217.40 None elimination_backoff_stack.line6510.yml OUT OF MEMORY 446.64 246.44 None elimination_backoff_stack.line6511.yml OUT OF MEMORY 98.02 59.30 None elimination_backoff_stack.line6520.yml OUT OF MEMORY 319.81 178.61 None elimination_backoff_stack.line6521.yml OUT OF MEMORY 579.78 313.57 None elimination_backoff_stack.line6555.yml OUT OF MEMORY 371.04 207.73 None elimination_backoff_stack.line6556.yml OUT OF MEMORY 528.96 284.57 None elimination_backoff_stack.line6571.yml OUT OF MEMORY 309.62 172.94 None elimination_backoff_stack.line6572.yml OUT OF MEMORY 517.06 278.38 None elimination_backoff_stack.line6581.yml OUT OF MEMORY 457.89 253.01 None elimination_backoff_stack.line6582.yml OUT OF MEMORY 578.81 310.50 None elimination_backoff_stack.line6608.yml OUT OF MEMORY 417.24 226.87 None elimination_backoff_stack.line6609.yml OUT OF MEMORY 403.77 225.27 None elimination_backoff_stack.line661.yml OUT OF MEMORY 469.18 252.72 None elimination_backoff_stack.line662.yml OUT OF MEMORY 459.78 248.11 None elimination_backoff_stack.line6621.yml OUT OF MEMORY 462.30 269.00 None elimination_backoff_stack.line6622.yml OUT OF MEMORY 370.28 203.40 None elimination_backoff_stack.line6630.yml OUT OF MEMORY 367.12 203.50 None elimination_backoff_stack.line6631.yml OUT OF MEMORY 434.68 238.94 None elimination_backoff_stack.line6652.yml OUT OF MEMORY 395.08 219.48 None elimination_backoff_stack.line6653.yml OUT OF MEMORY 367.21 201.60 None ------------------------------------------------------------------------------------------------------- Run set 1 done 130880.51 5234.75 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk22 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 ------------------------------------------------------------------------------------------------------- elimination_backoff_stack.line3695.yml OUT OF MEMORY 58.68 36.96 None elimination_backoff_stack.line3696.yml OUT OF MEMORY 354.79 198.77 None elimination_backoff_stack.line3705.yml OUT OF MEMORY 531.77 285.81 None elimination_backoff_stack.line3706.yml OUT OF MEMORY 55.76 33.35 None elimination_backoff_stack.line3715.yml OUT OF MEMORY 478.98 263.93 None elimination_backoff_stack.line3716.yml OUT OF MEMORY 440.09 247.55 None elimination_backoff_stack.line3727.yml OUT OF MEMORY 542.48 291.84 None elimination_backoff_stack.line3728.yml OUT OF MEMORY 589.10 314.75 None elimination_backoff_stack.line3737.yml OUT OF MEMORY 554.84 297.26 None elimination_backoff_stack.line3738.yml OUT OF MEMORY 425.12 231.73 None elimination_backoff_stack.line3747.yml OUT OF MEMORY 195.15 114.13 None elimination_backoff_stack.line3748.yml OUT OF MEMORY 392.14 217.23 None elimination_backoff_stack.line3931.yml OUT OF MEMORY 485.96 270.09 None elimination_backoff_stack.line3932.yml OUT OF MEMORY 479.86 258.90 None elimination_backoff_stack.line3943.yml OUT OF MEMORY 421.17 232.79 None elimination_backoff_stack.line3944.yml OUT OF MEMORY 433.78 241.07 None elimination_backoff_stack.line3979.yml OUT OF MEMORY 226.05 130.86 None elimination_backoff_stack.line3980.yml OUT OF MEMORY 414.97 231.48 None elimination_backoff_stack.line4000.yml OUT OF MEMORY 587.62 316.93 None elimination_backoff_stack.line4001.yml OUT OF MEMORY 306.25 170.24 None elimination_backoff_stack.line4021.yml OUT OF MEMORY 60.74 38.46 None elimination_backoff_stack.line4022.yml OUT OF MEMORY 363.26 217.08 None elimination_backoff_stack.line4032.yml OUT OF MEMORY 126.85 74.30 None elimination_backoff_stack.line4033.yml OUT OF MEMORY 455.63 251.47 None elimination_backoff_stack.line4042.yml OUT OF MEMORY 58.49 36.12 None elimination_backoff_stack.line4043.yml OUT OF MEMORY 352.95 196.19 None elimination_backoff_stack.line4058.yml OUT OF MEMORY 542.97 294.62 None elimination_backoff_stack.line4059.yml OUT OF MEMORY 66.36 41.41 None elimination_backoff_stack.line4070.yml OUT OF MEMORY 209.45 115.71 None elimination_backoff_stack.line4071.yml OUT OF MEMORY 526.96 284.46 None elimination_backoff_stack.line4083.yml OUT OF MEMORY 538.15 291.07 None elimination_backoff_stack.line4084.yml OUT OF MEMORY 423.15 234.25 None elimination_backoff_stack.line4102.yml OUT OF MEMORY 657.30 349.54 None elimination_backoff_stack.line4103.yml OUT OF MEMORY 392.14 219.98 None elimination_backoff_stack.line4115.yml OUT OF MEMORY 297.75 165.64 None elimination_backoff_stack.line4116.yml OUT OF MEMORY 391.45 211.41 None elimination_backoff_stack.line4149.yml OUT OF MEMORY 142.06 81.92 None elimination_backoff_stack.line4150.yml OUT OF MEMORY 381.55 211.91 None elimination_backoff_stack.line4161.yml OUT OF MEMORY 371.62 219.04 None elimination_backoff_stack.line4162.yml OUT OF MEMORY 491.52 269.68 None elimination_backoff_stack.line4175.yml OUT OF MEMORY 295.21 166.80 None elimination_backoff_stack.line4176.yml OUT OF MEMORY 422.42 229.80 None elimination_backoff_stack.line4185.yml OUT OF MEMORY 484.25 264.03 None elimination_backoff_stack.line4186.yml OUT OF MEMORY 426.41 236.43 None elimination_backoff_stack.line4197.yml OUT OF MEMORY 346.34 194.10 None elimination_backoff_stack.line4198.yml OUT OF MEMORY 447.44 249.82 None elimination_backoff_stack.line4219.yml OUT OF MEMORY 469.22 258.91 None elimination_backoff_stack.line4220.yml OUT OF MEMORY 521.99 281.14 None elimination_backoff_stack.line4232.yml OUT OF MEMORY 494.34 268.13 None elimination_backoff_stack.line4233.yml OUT OF MEMORY 604.33 322.32 None elimination_backoff_stack.line4256.yml OUT OF MEMORY 439.92 246.84 None elimination_backoff_stack.line4257.yml OUT OF MEMORY 423.68 232.93 None elimination_backoff_stack.line4266.yml OUT OF MEMORY 91.45 54.38 None elimination_backoff_stack.line4267.yml OUT OF MEMORY 376.41 221.59 None elimination_backoff_stack.line4277.yml OUT OF MEMORY 66.28 38.59 None elimination_backoff_stack.line4278.yml OUT OF MEMORY 56.01 34.02 None elimination_backoff_stack.line4287.yml OUT OF MEMORY 364.27 202.18 None elimination_backoff_stack.line4288.yml OUT OF MEMORY 69.57 42.57 None elimination_backoff_stack.line4322.yml OUT OF MEMORY 525.56 281.85 None elimination_backoff_stack.line4323.yml OUT OF MEMORY 59.40 36.89 None elimination_backoff_stack.line4338.yml OUT OF MEMORY 454.85 248.37 None elimination_backoff_stack.line4339.yml OUT OF MEMORY 427.02 236.52 None elimination_backoff_stack.line4348.yml OUT OF MEMORY 514.42 282.53 None elimination_backoff_stack.line4349.yml OUT OF MEMORY 528.53 286.19 None elimination_backoff_stack.line4375.yml OUT OF MEMORY 414.96 224.10 None elimination_backoff_stack.line4376.yml OUT OF MEMORY 102.67 62.90 None elimination_backoff_stack.line4388.yml OUT OF MEMORY 595.08 319.01 None elimination_backoff_stack.line4389.yml OUT OF MEMORY 63.12 37.21 None elimination_backoff_stack.line4397.yml OUT OF MEMORY 396.53 217.84 None elimination_backoff_stack.line4398.yml OUT OF MEMORY 159.73 93.57 None elimination_backoff_stack.line4419.yml OUT OF MEMORY 136.30 80.88 None elimination_backoff_stack.line4420.yml OUT OF MEMORY 73.91 42.97 None elimination_backoff_stack.line443.yml OUT OF MEMORY 489.96 269.99 None elimination_backoff_stack.line4432.yml OUT OF MEMORY 423.55 232.76 None elimination_backoff_stack.line4433.yml OUT OF MEMORY 603.21 321.26 None elimination_backoff_stack.line444.yml OUT OF MEMORY 480.89 260.23 None elimination_backoff_stack.line4465.yml OUT OF MEMORY 224.05 126.24 None elimination_backoff_stack.line4466.yml OUT OF MEMORY 346.05 196.46 None elimination_backoff_stack.line4479.yml OUT OF MEMORY 466.16 258.12 None elimination_backoff_stack.line4480.yml OUT OF MEMORY 503.05 271.57 None elimination_backoff_stack.line4493.yml OUT OF MEMORY 292.75 164.29 None elimination_backoff_stack.line4494.yml OUT OF MEMORY 539.74 290.30 None elimination_backoff_stack.line4503.yml OUT OF MEMORY 694.95 372.25 None elimination_backoff_stack.line4504.yml OUT OF MEMORY 487.35 267.67 None elimination_backoff_stack.line4531.yml OUT OF MEMORY 342.97 190.02 None elimination_backoff_stack.line4532.yml OUT OF MEMORY 277.68 157.13 None elimination_backoff_stack.line4544.yml OUT OF MEMORY 355.45 199.88 None elimination_backoff_stack.line4545.yml OUT OF MEMORY 505.56 284.42 None elimination_backoff_stack.line455.yml OUT OF MEMORY 69.77 40.80 None elimination_backoff_stack.line456.yml OUT OF MEMORY 477.07 263.89 None elimination_backoff_stack.line4578.yml OUT OF MEMORY 360.88 199.75 None elimination_backoff_stack.line4579.yml OUT OF MEMORY 61.02 36.43 None elimination_backoff_stack.line4590.yml OUT OF MEMORY 99.88 57.93 None elimination_backoff_stack.line4591.yml OUT OF MEMORY 65.44 38.72 None elimination_backoff_stack.line4609.yml OUT OF MEMORY 551.36 295.21 None elimination_backoff_stack.line4610.yml OUT OF MEMORY 413.26 229.43 None elimination_backoff_stack.line4622.yml OUT OF MEMORY 493.09 266.28 None elimination_backoff_stack.line4623.yml OUT OF MEMORY 615.80 330.01 None elimination_backoff_stack.line4652.yml OUT OF MEMORY 518.08 279.84 None elimination_backoff_stack.line4653.yml OUT OF MEMORY 395.82 221.33 None elimination_backoff_stack.line4671.yml OUT OF MEMORY 367.59 203.84 None elimination_backoff_stack.line4672.yml OUT OF MEMORY 75.15 44.11 None elimination_backoff_stack.line4684.yml OUT OF MEMORY 510.68 278.65 None elimination_backoff_stack.line4685.yml OUT OF MEMORY 331.87 184.57 None elimination_backoff_stack.line4706.yml OUT OF MEMORY 532.12 286.12 None elimination_backoff_stack.line4707.yml OUT OF MEMORY 334.29 186.12 None elimination_backoff_stack.line4716.yml OUT OF MEMORY 73.41 45.59 None elimination_backoff_stack.line4717.yml OUT OF MEMORY 364.69 206.14 None elimination_backoff_stack.line4727.yml OUT OF MEMORY 586.77 328.27 None elimination_backoff_stack.line4728.yml OUT OF MEMORY 563.38 303.37 None elimination_backoff_stack.line4737.yml OUT OF MEMORY 95.79 57.38 None elimination_backoff_stack.line4738.yml OUT OF MEMORY 329.97 183.38 None elimination_backoff_stack.line4749.yml OUT OF MEMORY 291.86 164.71 None elimination_backoff_stack.line4750.yml OUT OF MEMORY 556.20 299.19 None elimination_backoff_stack.line4789.yml OUT OF MEMORY 420.67 231.57 None elimination_backoff_stack.line4790.yml OUT OF MEMORY 189.28 108.92 None elimination_backoff_stack.line4801.yml OUT OF MEMORY 459.09 247.83 None elimination_backoff_stack.line4802.yml OUT OF MEMORY 454.23 246.33 None elimination_backoff_stack.line4813.yml OUT OF MEMORY 419.71 230.19 None elimination_backoff_stack.line4814.yml OUT OF MEMORY 605.73 325.48 None elimination_backoff_stack.line4823.yml OUT OF MEMORY 491.47 268.96 None elimination_backoff_stack.line4824.yml OUT OF MEMORY 519.25 284.71 None elimination_backoff_stack.line4833.yml OUT OF MEMORY 283.16 159.14 None elimination_backoff_stack.line4834.yml OUT OF MEMORY 573.41 306.28 None elimination_backoff_stack.line4844.yml OUT OF MEMORY 428.49 233.28 None elimination_backoff_stack.line4845.yml OUT OF MEMORY 60.24 36.20 None elimination_backoff_stack.line4854.yml OUT OF MEMORY 207.66 117.80 None elimination_backoff_stack.line4855.yml OUT OF MEMORY 167.52 97.19 None elimination_backoff_stack.line4867.yml OUT OF MEMORY 504.07 274.89 None elimination_backoff_stack.line4868.yml OUT OF MEMORY 228.62 134.24 None elimination_backoff_stack.line4903.yml OUT OF MEMORY 528.25 282.21 None elimination_backoff_stack.line4904.yml OUT OF MEMORY 620.08 328.68 None elimination_backoff_stack.line491.yml OUT OF MEMORY 55.66 34.58 None elimination_backoff_stack.line4916.yml OUT OF MEMORY 56.26 35.32 None elimination_backoff_stack.line4917.yml OUT OF MEMORY 515.04 277.65 None elimination_backoff_stack.line492.yml OUT OF MEMORY 385.48 210.40 None elimination_backoff_stack.line4946.yml OUT OF MEMORY 360.02 199.69 None elimination_backoff_stack.line4947.yml OUT OF MEMORY 301.17 169.43 None elimination_backoff_stack.line4958.yml OUT OF MEMORY 377.89 208.83 None elimination_backoff_stack.line4959.yml OUT OF MEMORY 337.87 191.87 None elimination_backoff_stack.line4970.yml OUT OF MEMORY 788.84 418.64 None elimination_backoff_stack.line4971.yml OUT OF MEMORY 453.69 259.42 None elimination_backoff_stack.line4980.yml OUT OF MEMORY 319.44 184.13 None elimination_backoff_stack.line4981.yml OUT OF MEMORY 423.41 235.99 None elimination_backoff_stack.line4990.yml OUT OF MEMORY 492.26 265.44 None elimination_backoff_stack.line4991.yml OUT OF MEMORY 426.26 237.27 None elimination_backoff_stack.line5001.yml OUT OF MEMORY 410.90 226.03 None elimination_backoff_stack.line5002.yml OUT OF MEMORY 64.27 37.76 None elimination_backoff_stack.line5011.yml OUT OF MEMORY 286.89 163.60 None elimination_backoff_stack.line5012.yml OUT OF MEMORY 457.77 248.44 None elimination_backoff_stack.line5024.yml OUT OF MEMORY 487.63 265.76 None elimination_backoff_stack.line5025.yml OUT OF MEMORY 534.05 287.83 None elimination_backoff_stack.line5052.yml OUT OF MEMORY 410.13 227.65 None elimination_backoff_stack.line5053.yml OUT OF MEMORY 366.10 202.72 None elimination_backoff_stack.line5064.yml OUT OF MEMORY 348.09 195.24 None elimination_backoff_stack.line5065.yml OUT OF MEMORY 450.11 245.40 None elimination_backoff_stack.line5077.yml OUT OF MEMORY 51.49 33.07 None elimination_backoff_stack.line5078.yml OUT OF MEMORY 430.04 246.80 None elimination_backoff_stack.line5096.yml OUT OF MEMORY 330.75 189.60 None elimination_backoff_stack.line5097.yml OUT OF MEMORY 375.94 209.87 None elimination_backoff_stack.line5109.yml OUT OF MEMORY 105.59 61.26 None elimination_backoff_stack.line5110.yml OUT OF MEMORY 320.44 178.81 None elimination_backoff_stack.line512.yml OUT OF MEMORY 326.36 181.35 None elimination_backoff_stack.line513.yml OUT OF MEMORY 576.42 309.23 None elimination_backoff_stack.line5143.yml OUT OF MEMORY 459.42 253.23 None elimination_backoff_stack.line5144.yml OUT OF MEMORY 370.36 205.21 None elimination_backoff_stack.line5155.yml OUT OF MEMORY 63.47 39.07 None elimination_backoff_stack.line5156.yml OUT OF MEMORY 429.33 235.73 None elimination_backoff_stack.line5169.yml OUT OF MEMORY 79.16 45.99 None elimination_backoff_stack.line5170.yml OUT OF MEMORY 534.60 287.92 None elimination_backoff_stack.line5179.yml OUT OF MEMORY 453.14 251.07 None elimination_backoff_stack.line5180.yml OUT OF MEMORY 489.57 266.21 None elimination_backoff_stack.line5191.yml OUT OF MEMORY 711.40 375.68 None elimination_backoff_stack.line5192.yml OUT OF MEMORY 65.92 38.24 None elimination_backoff_stack.line5213.yml OUT OF MEMORY 363.70 203.88 None elimination_backoff_stack.line5214.yml OUT OF MEMORY 538.82 289.27 None elimination_backoff_stack.line5226.yml OUT OF MEMORY 364.12 209.04 None elimination_backoff_stack.line5227.yml OUT OF MEMORY 514.85 279.35 None elimination_backoff_stack.line5250.yml OUT OF MEMORY 235.51 133.11 None elimination_backoff_stack.line5251.yml OUT OF MEMORY 403.57 220.34 None elimination_backoff_stack.line5260.yml OUT OF MEMORY 57.47 35.14 None elimination_backoff_stack.line5261.yml OUT OF MEMORY 416.12 228.67 None elimination_backoff_stack.line5271.yml OUT OF MEMORY 198.79 118.47 None elimination_backoff_stack.line5272.yml OUT OF MEMORY 434.17 237.24 None elimination_backoff_stack.line5281.yml OUT OF MEMORY 509.16 277.81 None elimination_backoff_stack.line5282.yml OUT OF MEMORY 472.24 258.10 None elimination_backoff_stack.line5316.yml OUT OF MEMORY 593.35 316.92 None elimination_backoff_stack.line5317.yml OUT OF MEMORY 56.97 35.02 None elimination_backoff_stack.line533.yml OUT OF MEMORY 428.32 235.36 None elimination_backoff_stack.line5332.yml OUT OF MEMORY 578.81 317.60 None elimination_backoff_stack.line5333.yml OUT OF MEMORY 572.45 304.48 None elimination_backoff_stack.line534.yml OUT OF MEMORY 493.41 272.12 None elimination_backoff_stack.line5342.yml OUT OF MEMORY 266.13 149.21 None elimination_backoff_stack.line5343.yml OUT OF MEMORY 351.05 196.11 None elimination_backoff_stack.line5391.yml OUT OF MEMORY 488.81 264.50 None elimination_backoff_stack.line5392.yml OUT OF MEMORY 438.41 238.00 None elimination_backoff_stack.line5403.yml OUT OF MEMORY 519.46 280.27 None elimination_backoff_stack.line5404.yml OUT OF MEMORY 53.54 32.41 None elimination_backoff_stack.line5414.yml OUT OF MEMORY 489.14 266.09 None elimination_backoff_stack.line5415.yml OUT OF MEMORY 57.30 34.82 None elimination_backoff_stack.line5426.yml OUT OF MEMORY 362.84 201.48 None elimination_backoff_stack.line5427.yml OUT OF MEMORY 75.18 45.41 None elimination_backoff_stack.line5439.yml OUT OF MEMORY 427.75 235.93 None elimination_backoff_stack.line544.yml OUT OF MEMORY 67.72 42.31 None elimination_backoff_stack.line5440.yml OUT OF MEMORY 76.00 47.35 None elimination_backoff_stack.line5449.yml OUT OF MEMORY 231.04 131.07 None elimination_backoff_stack.line545.yml OUT OF MEMORY 58.56 36.73 None elimination_backoff_stack.line5450.yml OUT OF MEMORY 436.57 242.31 None elimination_backoff_stack.line5459.yml OUT OF MEMORY 221.71 127.02 None elimination_backoff_stack.line5460.yml OUT OF MEMORY 75.96 45.40 None elimination_backoff_stack.line5471.yml OUT OF MEMORY 432.67 238.65 None elimination_backoff_stack.line5472.yml OUT OF MEMORY 434.17 237.08 None elimination_backoff_stack.line5481.yml OUT OF MEMORY 598.54 319.49 None elimination_backoff_stack.line5482.yml OUT OF MEMORY 404.17 225.49 None elimination_backoff_stack.line5491.yml OUT OF MEMORY 513.16 292.27 None elimination_backoff_stack.line5492.yml OUT OF MEMORY 91.02 53.23 None elimination_backoff_stack.line554.yml OUT OF MEMORY 597.37 317.72 None elimination_backoff_stack.line555.yml OUT OF MEMORY 601.16 327.19 None elimination_backoff_stack.line570.yml OUT OF MEMORY 418.26 227.08 None elimination_backoff_stack.line571.yml OUT OF MEMORY 150.64 85.69 None elimination_backoff_stack.line5739.yml OUT OF MEMORY 504.03 271.85 None elimination_backoff_stack.line5740.yml OUT OF MEMORY 504.78 275.89 None elimination_backoff_stack.line582.yml OUT OF MEMORY 436.16 243.52 None elimination_backoff_stack.line583.yml OUT OF MEMORY 196.79 113.77 None elimination_backoff_stack.line5844.yml OUT OF MEMORY 82.70 47.30 None elimination_backoff_stack.line5845.yml OUT OF MEMORY 283.04 163.62 None elimination_backoff_stack.line5859.yml OUT OF MEMORY 595.15 319.54 None elimination_backoff_stack.line5860.yml OUT OF MEMORY 542.83 297.03 None elimination_backoff_stack.line5874.yml OUT OF MEMORY 403.97 219.10 None elimination_backoff_stack.line5875.yml OUT OF MEMORY 468.74 254.50 None elimination_backoff_stack.line5889.yml OUT OF MEMORY 383.89 211.34 None elimination_backoff_stack.line5890.yml OUT OF MEMORY 379.41 206.70 None elimination_backoff_stack.line5904.yml OUT OF MEMORY 452.52 259.16 None elimination_backoff_stack.line5905.yml OUT OF MEMORY 508.25 275.53 None elimination_backoff_stack.line5919.yml OUT OF MEMORY 500.56 271.49 None elimination_backoff_stack.line5920.yml OUT OF MEMORY 503.07 274.15 None elimination_backoff_stack.line5934.yml OUT OF MEMORY 366.83 213.08 None elimination_backoff_stack.line5935.yml OUT OF MEMORY 324.92 186.27 None elimination_backoff_stack.line595.yml OUT OF MEMORY 449.69 245.98 None elimination_backoff_stack.line596.yml OUT OF MEMORY 311.35 176.82 None elimination_backoff_stack.line614.yml OUT OF MEMORY 352.92 197.69 None elimination_backoff_stack.line615.yml OUT OF MEMORY 215.38 123.68 None elimination_backoff_stack.line6222.yml OUT OF MEMORY 333.54 185.44 None elimination_backoff_stack.line6223.yml OUT OF MEMORY 54.88 34.05 None elimination_backoff_stack.line6243.yml OUT OF MEMORY 433.35 238.83 None elimination_backoff_stack.line6244.yml OUT OF MEMORY 166.58 93.82 None elimination_backoff_stack.line6264.yml OUT OF MEMORY 56.88 33.53 None elimination_backoff_stack.line6265.yml OUT OF MEMORY 255.73 145.49 None elimination_backoff_stack.line627.yml OUT OF MEMORY 340.33 195.84 None elimination_backoff_stack.line6275.yml OUT OF MEMORY 462.58 254.96 None elimination_backoff_stack.line6276.yml OUT OF MEMORY 352.28 197.35 None elimination_backoff_stack.line628.yml OUT OF MEMORY 68.65 41.82 None elimination_backoff_stack.line6291.yml OUT OF MEMORY 55.49 33.71 None elimination_backoff_stack.line6292.yml OUT OF MEMORY 587.67 312.44 None elimination_backoff_stack.line6303.yml OUT OF MEMORY 552.62 294.43 None elimination_backoff_stack.line6304.yml OUT OF MEMORY 398.29 216.21 None elimination_backoff_stack.line6316.yml OUT OF MEMORY 60.19 36.09 None elimination_backoff_stack.line6317.yml OUT OF MEMORY 603.43 322.38 None elimination_backoff_stack.line6335.yml OUT OF MEMORY 359.25 201.61 None elimination_backoff_stack.line6336.yml OUT OF MEMORY 537.00 288.21 None elimination_backoff_stack.line6348.yml OUT OF MEMORY 380.21 211.12 None elimination_backoff_stack.line6349.yml OUT OF MEMORY 441.49 244.02 None elimination_backoff_stack.line6382.yml OUT OF MEMORY 511.17 278.53 None elimination_backoff_stack.line6383.yml OUT OF MEMORY 381.03 212.47 None elimination_backoff_stack.line6394.yml OUT OF MEMORY 644.87 343.84 None elimination_backoff_stack.line6395.yml OUT OF MEMORY 569.75 322.56 None elimination_backoff_stack.line6408.yml OUT OF MEMORY 74.08 46.59 None elimination_backoff_stack.line6409.yml OUT OF MEMORY 423.64 234.41 None elimination_backoff_stack.line6418.yml OUT OF MEMORY 723.69 389.30 None elimination_backoff_stack.line6419.yml OUT OF MEMORY 215.44 124.42 None elimination_backoff_stack.line6430.yml OUT OF MEMORY 325.83 180.53 None elimination_backoff_stack.line6431.yml OUT OF MEMORY 302.74 171.09 None elimination_backoff_stack.line6452.yml OUT OF MEMORY 719.45 385.83 None elimination_backoff_stack.line6453.yml OUT OF MEMORY 573.78 306.19 None elimination_backoff_stack.line6465.yml OUT OF MEMORY 431.68 234.15 None elimination_backoff_stack.line6466.yml OUT OF MEMORY 327.48 186.01 None elimination_backoff_stack.line6489.yml OUT OF MEMORY 526.19 282.43 None elimination_backoff_stack.line6490.yml OUT OF MEMORY 601.56 323.38 None elimination_backoff_stack.line6499.yml OUT OF MEMORY 446.03 248.68 None elimination_backoff_stack.line6500.yml OUT OF MEMORY 418.16 231.16 None elimination_backoff_stack.line6510.yml OUT OF MEMORY 355.69 197.14 None elimination_backoff_stack.line6511.yml OUT OF MEMORY 61.27 36.81 None elimination_backoff_stack.line6520.yml OUT OF MEMORY 412.83 234.60 None elimination_backoff_stack.line6521.yml OUT OF MEMORY 388.41 214.78 None elimination_backoff_stack.line6555.yml OUT OF MEMORY 453.26 264.64 None elimination_backoff_stack.line6556.yml OUT OF MEMORY 409.47 224.03 None elimination_backoff_stack.line6571.yml OUT OF MEMORY 347.90 194.29 None elimination_backoff_stack.line6572.yml OUT OF MEMORY 69.98 40.76 None elimination_backoff_stack.line6581.yml OUT OF MEMORY 407.49 225.99 None elimination_backoff_stack.line6582.yml OUT OF MEMORY 434.27 237.40 None elimination_backoff_stack.line6608.yml OUT OF MEMORY 288.62 165.82 None elimination_backoff_stack.line6609.yml OUT OF MEMORY 72.06 42.43 None elimination_backoff_stack.line661.yml OUT OF MEMORY 408.86 230.78 None elimination_backoff_stack.line662.yml OUT OF MEMORY 396.89 219.38 None elimination_backoff_stack.line6621.yml OUT OF MEMORY 629.79 335.45 None elimination_backoff_stack.line6622.yml OUT OF MEMORY 500.71 270.64 None elimination_backoff_stack.line6630.yml OUT OF MEMORY 422.77 232.63 None elimination_backoff_stack.line6631.yml OUT OF MEMORY 62.53 37.91 None elimination_backoff_stack.line6652.yml OUT OF MEMORY 327.67 188.55 None elimination_backoff_stack.line6653.yml OUT OF MEMORY 488.74 275.44 None ------------------------------------------------------------------------------------------------------- Run set 2 done 110889.27 4509.15 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk22 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 ------------------------------------------------------------------------------------------------------- elimination_backoff_stack.line3695.yml OUT OF MEMORY 275.89 145.67 None elimination_backoff_stack.line3696.yml OUT OF MEMORY 862.11 446.66 None elimination_backoff_stack.line3705.yml TIMEOUT 916.87 473.93 None elimination_backoff_stack.line3706.yml OUT OF MEMORY 57.91 33.52 None elimination_backoff_stack.line3715.yml OUT OF MEMORY 830.97 432.07 None elimination_backoff_stack.line3716.yml OUT OF MEMORY 736.66 393.17 None elimination_backoff_stack.line3727.yml TIMEOUT 916.14 474.94 None elimination_backoff_stack.line3728.yml TIMEOUT 914.23 475.11 None elimination_backoff_stack.line3737.yml TIMEOUT 915.34 473.70 None elimination_backoff_stack.line3738.yml OUT OF MEMORY 832.10 426.10 None elimination_backoff_stack.line3747.yml OUT OF MEMORY 799.86 413.58 None elimination_backoff_stack.line3748.yml OUT OF MEMORY 879.77 453.73 None elimination_backoff_stack.line3931.yml OUT OF MEMORY 691.94 356.79 None elimination_backoff_stack.line3932.yml OUT OF MEMORY 598.21 306.51 None elimination_backoff_stack.line3943.yml OUT OF MEMORY 764.93 393.58 None elimination_backoff_stack.line3944.yml OUT OF MEMORY 887.23 454.18 None elimination_backoff_stack.line3979.yml OUT OF MEMORY 519.90 266.96 None elimination_backoff_stack.line3980.yml OUT OF MEMORY 828.19 426.36 None elimination_backoff_stack.line4000.yml OUT OF MEMORY 871.59 459.94 None elimination_backoff_stack.line4001.yml OUT OF MEMORY 787.64 407.03 None elimination_backoff_stack.line4021.yml OUT OF MEMORY 56.05 32.31 None elimination_backoff_stack.line4022.yml OUT OF MEMORY 544.32 281.80 None elimination_backoff_stack.line4032.yml OUT OF MEMORY 743.34 381.38 None elimination_backoff_stack.line4033.yml OUT OF MEMORY 808.46 419.87 None elimination_backoff_stack.line4042.yml TIMEOUT 907.32 463.57 None elimination_backoff_stack.line4043.yml OUT OF MEMORY 605.55 312.80 None elimination_backoff_stack.line4058.yml OUT OF MEMORY 899.94 459.69 None elimination_backoff_stack.line4059.yml TIMEOUT 916.09 472.14 None elimination_backoff_stack.line4070.yml OUT OF MEMORY 476.68 246.27 None elimination_backoff_stack.line4071.yml TIMEOUT 918.27 477.01 None elimination_backoff_stack.line4083.yml OUT OF MEMORY 731.91 373.14 None elimination_backoff_stack.line4084.yml OUT OF MEMORY 803.17 412.64 None elimination_backoff_stack.line4102.yml OUT OF MEMORY 553.41 286.33 None elimination_backoff_stack.line4103.yml OUT OF MEMORY 753.94 387.18 None elimination_backoff_stack.line4115.yml OUT OF MEMORY 803.14 411.93 None elimination_backoff_stack.line4116.yml OUT OF MEMORY 616.04 321.08 None elimination_backoff_stack.line4149.yml OUT OF MEMORY 622.25 324.69 None elimination_backoff_stack.line4150.yml OUT OF MEMORY 848.16 437.37 None elimination_backoff_stack.line4161.yml OUT OF MEMORY 580.11 308.94 None elimination_backoff_stack.line4162.yml OUT OF MEMORY 654.13 340.76 None elimination_backoff_stack.line4175.yml OUT OF MEMORY 642.56 333.74 None elimination_backoff_stack.line4176.yml OUT OF MEMORY 880.68 450.54 None elimination_backoff_stack.line4185.yml OUT OF MEMORY 819.72 417.26 None elimination_backoff_stack.line4186.yml OUT OF MEMORY 737.92 377.15 None elimination_backoff_stack.line4197.yml TIMEOUT 918.03 475.71 None elimination_backoff_stack.line4198.yml OUT OF MEMORY 707.47 364.50 None elimination_backoff_stack.line4219.yml OUT OF MEMORY 879.20 452.22 None elimination_backoff_stack.line4220.yml OUT OF MEMORY 635.05 329.83 None elimination_backoff_stack.line4232.yml OUT OF MEMORY 755.98 387.91 None elimination_backoff_stack.line4233.yml OUT OF MEMORY 806.95 419.64 None elimination_backoff_stack.line4256.yml OUT OF MEMORY 851.09 453.16 None elimination_backoff_stack.line4257.yml OUT OF MEMORY 518.12 269.22 None elimination_backoff_stack.line4266.yml OUT OF MEMORY 242.58 128.00 None elimination_backoff_stack.line4267.yml OUT OF MEMORY 753.03 388.90 None elimination_backoff_stack.line4277.yml TIMEOUT 913.65 469.89 None elimination_backoff_stack.line4278.yml OUT OF MEMORY 50.76 28.59 None elimination_backoff_stack.line4287.yml OUT OF MEMORY 770.94 398.28 None elimination_backoff_stack.line4288.yml OUT OF MEMORY 53.45 29.12 None elimination_backoff_stack.line4322.yml OUT OF MEMORY 779.72 400.61 None elimination_backoff_stack.line4323.yml OUT OF MEMORY 881.70 447.65 None elimination_backoff_stack.line4338.yml OUT OF MEMORY 59.72 33.45 None elimination_backoff_stack.line4339.yml TIMEOUT 917.29 475.60 None elimination_backoff_stack.line4348.yml OUT OF MEMORY 683.56 351.68 None elimination_backoff_stack.line4349.yml TIMEOUT 916.49 476.55 None elimination_backoff_stack.line4375.yml OUT OF MEMORY 774.21 397.73 None elimination_backoff_stack.line4376.yml OUT OF MEMORY 493.59 254.63 None elimination_backoff_stack.line4388.yml OUT OF MEMORY 795.35 408.87 None elimination_backoff_stack.line4389.yml OUT OF MEMORY 817.05 416.41 None elimination_backoff_stack.line4397.yml OUT OF MEMORY 870.59 447.87 None elimination_backoff_stack.line4398.yml OUT OF MEMORY 711.61 366.74 None elimination_backoff_stack.line4419.yml OUT OF MEMORY 228.47 121.00 None elimination_backoff_stack.line4420.yml OUT OF MEMORY 169.17 90.10 None elimination_backoff_stack.line443.yml OUT OF MEMORY 653.29 339.88 None elimination_backoff_stack.line4432.yml OUT OF MEMORY 768.23 400.27 None elimination_backoff_stack.line4433.yml OUT OF MEMORY 695.68 359.45 None elimination_backoff_stack.line444.yml TIMEOUT 921.37 482.82 None elimination_backoff_stack.line4465.yml OUT OF MEMORY 152.46 81.31 None elimination_backoff_stack.line4466.yml OUT OF MEMORY 620.95 320.44 None elimination_backoff_stack.line4479.yml OUT OF MEMORY 867.02 442.18 None elimination_backoff_stack.line4480.yml OUT OF MEMORY 589.28 305.75 None elimination_backoff_stack.line4493.yml OUT OF MEMORY 560.57 288.27 None elimination_backoff_stack.line4494.yml OUT OF MEMORY 841.00 430.35 None elimination_backoff_stack.line4503.yml OUT OF MEMORY 849.12 431.54 None elimination_backoff_stack.line4504.yml TIMEOUT 916.02 475.67 None elimination_backoff_stack.line4531.yml OUT OF MEMORY 852.01 434.88 None elimination_backoff_stack.line4532.yml OUT OF MEMORY 631.67 337.77 None elimination_backoff_stack.line4544.yml OUT OF MEMORY 815.78 422.28 None elimination_backoff_stack.line4545.yml OUT OF MEMORY 871.94 454.73 None elimination_backoff_stack.line455.yml OUT OF MEMORY 820.15 418.45 None elimination_backoff_stack.line456.yml OUT OF MEMORY 763.17 392.45 None elimination_backoff_stack.line4578.yml OUT OF MEMORY 894.37 462.56 None elimination_backoff_stack.line4579.yml OUT OF MEMORY 49.51 29.10 None elimination_backoff_stack.line4590.yml OUT OF MEMORY 872.30 447.86 None elimination_backoff_stack.line4591.yml OUT OF MEMORY 75.23 42.46 None elimination_backoff_stack.line4609.yml OUT OF MEMORY 585.72 301.45 None elimination_backoff_stack.line4610.yml OUT OF MEMORY 899.45 462.35 None elimination_backoff_stack.line4622.yml OUT OF MEMORY 872.32 447.10 None elimination_backoff_stack.line4623.yml TIMEOUT 918.83 475.30 None elimination_backoff_stack.line4652.yml OUT OF MEMORY 879.25 451.65 None elimination_backoff_stack.line4653.yml OUT OF MEMORY 837.81 436.96 None elimination_backoff_stack.line4671.yml OUT OF MEMORY 685.26 351.66 None elimination_backoff_stack.line4672.yml OUT OF MEMORY 680.05 347.52 None elimination_backoff_stack.line4684.yml OUT OF MEMORY 820.85 424.63 None elimination_backoff_stack.line4685.yml OUT OF MEMORY 494.15 254.26 None elimination_backoff_stack.line4706.yml OUT OF MEMORY 533.93 276.56 None elimination_backoff_stack.line4707.yml OUT OF MEMORY 833.86 431.99 None elimination_backoff_stack.line4716.yml OUT OF MEMORY 50.34 28.82 None elimination_backoff_stack.line4717.yml OUT OF MEMORY 509.68 264.59 None elimination_backoff_stack.line4727.yml OUT OF MEMORY 814.51 420.39 None elimination_backoff_stack.line4728.yml OUT OF MEMORY 500.98 261.72 None elimination_backoff_stack.line4737.yml TIMEOUT 912.91 470.41 None elimination_backoff_stack.line4738.yml OUT OF MEMORY 853.19 436.66 None elimination_backoff_stack.line4749.yml OUT OF MEMORY 745.66 381.13 None elimination_backoff_stack.line4750.yml TIMEOUT 915.94 475.18 None elimination_backoff_stack.line4789.yml OUT OF MEMORY 564.50 301.55 None elimination_backoff_stack.line4790.yml OUT OF MEMORY 654.84 340.25 None elimination_backoff_stack.line4801.yml TIMEOUT 900.22 461.61 None elimination_backoff_stack.line4802.yml OUT OF MEMORY 580.53 300.25 None elimination_backoff_stack.line4813.yml OUT OF MEMORY 758.68 390.16 None elimination_backoff_stack.line4814.yml OUT OF MEMORY 51.89 30.56 None elimination_backoff_stack.line4823.yml OUT OF MEMORY 824.86 423.23 None elimination_backoff_stack.line4824.yml OUT OF MEMORY 778.68 404.25 None elimination_backoff_stack.line4833.yml OUT OF MEMORY 773.50 396.85 None elimination_backoff_stack.line4834.yml OUT OF MEMORY 873.56 452.15 None elimination_backoff_stack.line4844.yml OUT OF MEMORY 626.75 328.19 None elimination_backoff_stack.line4845.yml OUT OF MEMORY 653.20 340.00 None elimination_backoff_stack.line4854.yml OUT OF MEMORY 563.89 290.84 None elimination_backoff_stack.line4855.yml OUT OF MEMORY 178.63 95.09 None elimination_backoff_stack.line4867.yml OUT OF MEMORY 845.04 433.53 None elimination_backoff_stack.line4868.yml TIMEOUT 901.45 460.89 None elimination_backoff_stack.line4903.yml TIMEOUT 913.39 471.65 None elimination_backoff_stack.line4904.yml OUT OF MEMORY 598.78 309.81 None elimination_backoff_stack.line491.yml TIMEOUT 905.76 460.93 None elimination_backoff_stack.line4916.yml OUT OF MEMORY 265.96 139.64 None elimination_backoff_stack.line4917.yml TIMEOUT 900.36 461.36 None elimination_backoff_stack.line492.yml OUT OF MEMORY 652.62 336.06 None elimination_backoff_stack.line4946.yml OUT OF MEMORY 856.15 445.77 None elimination_backoff_stack.line4947.yml OUT OF MEMORY 850.54 441.67 None elimination_backoff_stack.line4958.yml TIMEOUT 919.18 483.29 None elimination_backoff_stack.line4959.yml TIMEOUT 915.10 474.81 None elimination_backoff_stack.line4970.yml OUT OF MEMORY 564.67 291.71 None elimination_backoff_stack.line4971.yml OUT OF MEMORY 792.73 413.36 None elimination_backoff_stack.line4980.yml OUT OF MEMORY 629.23 331.67 None elimination_backoff_stack.line4981.yml OUT OF MEMORY 702.93 362.07 None elimination_backoff_stack.line4990.yml OUT OF MEMORY 618.02 321.39 None elimination_backoff_stack.line4991.yml OUT OF MEMORY 517.63 268.50 None elimination_backoff_stack.line5001.yml OUT OF MEMORY 836.93 427.12 None elimination_backoff_stack.line5002.yml OUT OF MEMORY 875.26 444.92 None elimination_backoff_stack.line5011.yml OUT OF MEMORY 819.26 420.63 None elimination_backoff_stack.line5012.yml OUT OF MEMORY 572.21 295.35 None elimination_backoff_stack.line5024.yml OUT OF MEMORY 888.61 455.07 None elimination_backoff_stack.line5025.yml OUT OF MEMORY 567.65 297.79 None elimination_backoff_stack.line5052.yml OUT OF MEMORY 846.66 437.08 None elimination_backoff_stack.line5053.yml OUT OF MEMORY 677.13 355.49 None elimination_backoff_stack.line5064.yml OUT OF MEMORY 800.86 422.28 None elimination_backoff_stack.line5065.yml TIMEOUT 917.81 474.46 None elimination_backoff_stack.line5077.yml OUT OF MEMORY 56.10 32.93 None elimination_backoff_stack.line5078.yml OUT OF MEMORY 618.33 328.71 None elimination_backoff_stack.line5096.yml OUT OF MEMORY 581.75 302.54 None elimination_backoff_stack.line5097.yml OUT OF MEMORY 786.59 403.52 None elimination_backoff_stack.line5109.yml OUT OF MEMORY 69.50 39.31 None elimination_backoff_stack.line5110.yml OUT OF MEMORY 556.14 287.35 None elimination_backoff_stack.line512.yml OUT OF MEMORY 630.81 324.62 None elimination_backoff_stack.line513.yml OUT OF MEMORY 693.24 361.15 None elimination_backoff_stack.line5143.yml TIMEOUT 917.50 475.23 None elimination_backoff_stack.line5144.yml OUT OF MEMORY 823.85 423.61 None elimination_backoff_stack.line5155.yml TIMEOUT 919.50 474.47 None elimination_backoff_stack.line5156.yml OUT OF MEMORY 761.76 394.49 None elimination_backoff_stack.line5169.yml OUT OF MEMORY 668.75 341.80 None elimination_backoff_stack.line5170.yml OUT OF MEMORY 550.48 288.04 None elimination_backoff_stack.line5179.yml OUT OF MEMORY 843.20 433.73 None elimination_backoff_stack.line5180.yml OUT OF MEMORY 608.64 313.97 None elimination_backoff_stack.line5191.yml OUT OF MEMORY 603.56 312.52 None elimination_backoff_stack.line5192.yml TIMEOUT 910.15 477.37 None elimination_backoff_stack.line5213.yml OUT OF MEMORY 666.51 344.57 None elimination_backoff_stack.line5214.yml OUT OF MEMORY 713.30 364.78 None elimination_backoff_stack.line5226.yml OUT OF MEMORY 889.09 457.51 None elimination_backoff_stack.line5227.yml OUT OF MEMORY 777.78 405.47 None elimination_backoff_stack.line5250.yml OUT OF MEMORY 593.60 307.12 None elimination_backoff_stack.line5251.yml TIMEOUT 914.99 474.22 None elimination_backoff_stack.line5260.yml OUT OF MEMORY 91.95 52.66 None elimination_backoff_stack.line5261.yml OUT OF MEMORY 699.38 363.19 None elimination_backoff_stack.line5271.yml OUT OF MEMORY 752.05 391.67 None elimination_backoff_stack.line5272.yml OUT OF MEMORY 827.51 421.52 None elimination_backoff_stack.line5281.yml OUT OF MEMORY 763.42 391.60 None elimination_backoff_stack.line5282.yml OUT OF MEMORY 834.98 430.66 None elimination_backoff_stack.line5316.yml TIMEOUT 915.52 473.31 None elimination_backoff_stack.line5317.yml OUT OF MEMORY 754.63 385.12 None elimination_backoff_stack.line533.yml OUT OF MEMORY 848.69 435.56 None elimination_backoff_stack.line5332.yml OUT OF MEMORY 699.98 358.25 None elimination_backoff_stack.line5333.yml OUT OF MEMORY 684.63 366.43 None elimination_backoff_stack.line534.yml OUT OF MEMORY 765.22 392.41 None elimination_backoff_stack.line5342.yml OUT OF MEMORY 492.45 256.27 None elimination_backoff_stack.line5343.yml OUT OF MEMORY 790.28 407.73 None elimination_backoff_stack.line5391.yml OUT OF MEMORY 810.96 419.39 None elimination_backoff_stack.line5392.yml OUT OF MEMORY 873.74 449.25 None elimination_backoff_stack.line5403.yml OUT OF MEMORY 636.66 327.31 None elimination_backoff_stack.line5404.yml TIMEOUT 911.35 466.58 None elimination_backoff_stack.line5414.yml TIMEOUT 918.93 475.68 None elimination_backoff_stack.line5415.yml OUT OF MEMORY 255.83 134.59 None elimination_backoff_stack.line5426.yml OUT OF MEMORY 862.15 446.76 None elimination_backoff_stack.line5427.yml OUT OF MEMORY 52.28 30.03 None elimination_backoff_stack.line5439.yml OUT OF MEMORY 602.40 311.77 None elimination_backoff_stack.line544.yml OUT OF MEMORY 47.26 27.77 None elimination_backoff_stack.line5440.yml OUT OF MEMORY 239.62 125.98 None elimination_backoff_stack.line5449.yml OUT OF MEMORY 96.26 53.65 None elimination_backoff_stack.line545.yml OUT OF MEMORY 63.35 36.24 None elimination_backoff_stack.line5450.yml OUT OF MEMORY 792.99 412.86 None elimination_backoff_stack.line5459.yml OUT OF MEMORY 610.46 311.65 None elimination_backoff_stack.line5460.yml OUT OF MEMORY 891.35 457.25 None elimination_backoff_stack.line5471.yml OUT OF MEMORY 842.79 432.98 None elimination_backoff_stack.line5472.yml OUT OF MEMORY 811.83 416.69 None elimination_backoff_stack.line5481.yml TIMEOUT 916.75 474.68 None elimination_backoff_stack.line5482.yml OUT OF MEMORY 823.45 426.31 None elimination_backoff_stack.line5491.yml OUT OF MEMORY 776.67 397.55 None elimination_backoff_stack.line5492.yml OUT OF MEMORY 271.66 143.16 None elimination_backoff_stack.line554.yml OUT OF MEMORY 671.81 347.03 None elimination_backoff_stack.line555.yml OUT OF MEMORY 546.38 287.25 None elimination_backoff_stack.line570.yml OUT OF MEMORY 782.51 399.49 None elimination_backoff_stack.line571.yml OUT OF MEMORY 92.14 51.10 None elimination_backoff_stack.line5739.yml OUT OF MEMORY 715.01 371.13 None elimination_backoff_stack.line5740.yml TIMEOUT 910.78 470.38 None elimination_backoff_stack.line582.yml TIMEOUT 917.41 475.41 None elimination_backoff_stack.line583.yml OUT OF MEMORY 588.72 301.35 None elimination_backoff_stack.line5844.yml TIMEOUT 904.45 474.95 None elimination_backoff_stack.line5845.yml OUT OF MEMORY 854.33 440.74 None elimination_backoff_stack.line5859.yml OUT OF MEMORY 839.92 435.17 None elimination_backoff_stack.line5860.yml TIMEOUT 917.08 473.27 None elimination_backoff_stack.line5874.yml OUT OF MEMORY 650.82 342.36 None elimination_backoff_stack.line5875.yml OUT OF MEMORY 630.84 324.67 None elimination_backoff_stack.line5889.yml OUT OF MEMORY 828.70 426.80 None elimination_backoff_stack.line5890.yml TIMEOUT 912.17 468.31 None elimination_backoff_stack.line5904.yml OUT OF MEMORY 620.59 318.80 None elimination_backoff_stack.line5905.yml OUT OF MEMORY 626.75 319.57 None elimination_backoff_stack.line5919.yml OUT OF MEMORY 731.36 379.08 None elimination_backoff_stack.line5920.yml TIMEOUT 907.77 464.77 None elimination_backoff_stack.line5934.yml OUT OF MEMORY 697.49 358.97 None elimination_backoff_stack.line5935.yml TIMEOUT 908.04 464.21 None elimination_backoff_stack.line595.yml OUT OF MEMORY 529.33 273.26 None elimination_backoff_stack.line596.yml OUT OF MEMORY 505.50 266.85 None elimination_backoff_stack.line614.yml OUT OF MEMORY 736.33 391.30 None elimination_backoff_stack.line615.yml OUT OF MEMORY 721.40 374.08 None elimination_backoff_stack.line6222.yml OUT OF MEMORY 860.84 438.69 None elimination_backoff_stack.line6223.yml OUT OF MEMORY 499.87 260.84 None elimination_backoff_stack.line6243.yml TIMEOUT 913.83 472.99 None elimination_backoff_stack.line6244.yml OUT OF MEMORY 697.78 359.08 None elimination_backoff_stack.line6264.yml OUT OF MEMORY 52.20 29.47 None elimination_backoff_stack.line6265.yml OUT OF MEMORY 751.21 384.50 None elimination_backoff_stack.line627.yml OUT OF MEMORY 822.57 421.19 None elimination_backoff_stack.line6275.yml OUT OF MEMORY 806.60 418.98 None elimination_backoff_stack.line6276.yml OUT OF MEMORY 774.90 403.72 None elimination_backoff_stack.line628.yml OUT OF MEMORY 53.98 32.06 None elimination_backoff_stack.line6291.yml OUT OF MEMORY 50.07 29.57 None elimination_backoff_stack.line6292.yml OUT OF MEMORY 733.66 377.21 None elimination_backoff_stack.line6303.yml OUT OF MEMORY 763.11 393.56 None elimination_backoff_stack.line6304.yml TIMEOUT 918.78 474.80 None elimination_backoff_stack.line6316.yml TIMEOUT 918.31 478.60 None elimination_backoff_stack.line6317.yml OUT OF MEMORY 819.26 421.77 None elimination_backoff_stack.line6335.yml OUT OF MEMORY 527.00 286.86 None elimination_backoff_stack.line6336.yml TIMEOUT 915.66 473.73 None elimination_backoff_stack.line6348.yml OUT OF MEMORY 679.65 353.92 None elimination_backoff_stack.line6349.yml OUT OF MEMORY 707.18 369.20 None elimination_backoff_stack.line6382.yml OUT OF MEMORY 573.49 295.65 None elimination_backoff_stack.line6383.yml OUT OF MEMORY 766.28 395.03 None elimination_backoff_stack.line6394.yml OUT OF MEMORY 265.90 139.08 None elimination_backoff_stack.line6395.yml OUT OF MEMORY 676.55 351.34 None elimination_backoff_stack.line6408.yml TIMEOUT 906.50 467.57 None elimination_backoff_stack.line6409.yml OUT OF MEMORY 540.43 280.65 None elimination_backoff_stack.line6418.yml OUT OF MEMORY 798.83 411.65 None elimination_backoff_stack.line6419.yml OUT OF MEMORY 794.63 418.12 None elimination_backoff_stack.line6430.yml TIMEOUT 915.52 474.19 None elimination_backoff_stack.line6431.yml OUT OF MEMORY 840.42 430.42 None elimination_backoff_stack.line6452.yml OUT OF MEMORY 50.56 29.84 None elimination_backoff_stack.line6453.yml OUT OF MEMORY 726.53 379.21 None elimination_backoff_stack.line6465.yml OUT OF MEMORY 549.20 285.26 None elimination_backoff_stack.line6466.yml OUT OF MEMORY 586.62 302.46 None elimination_backoff_stack.line6489.yml OUT OF MEMORY 733.76 377.78 None elimination_backoff_stack.line6490.yml OUT OF MEMORY 867.40 447.51 None elimination_backoff_stack.line6499.yml OUT OF MEMORY 848.99 434.96 None elimination_backoff_stack.line6500.yml OUT OF MEMORY 761.51 391.77 None elimination_backoff_stack.line6510.yml OUT OF MEMORY 512.52 267.38 None elimination_backoff_stack.line6511.yml OUT OF MEMORY 54.32 32.49 None elimination_backoff_stack.line6520.yml OUT OF MEMORY 811.58 420.01 None elimination_backoff_stack.line6521.yml OUT OF MEMORY 840.45 435.55 None elimination_backoff_stack.line6555.yml OUT OF MEMORY 819.61 419.98 None elimination_backoff_stack.line6556.yml OUT OF MEMORY 592.52 315.24 None elimination_backoff_stack.line6571.yml OUT OF MEMORY 541.48 279.53 None elimination_backoff_stack.line6572.yml OUT OF MEMORY 387.74 203.45 None elimination_backoff_stack.line6581.yml TIMEOUT 911.58 469.66 None elimination_backoff_stack.line6582.yml OUT OF MEMORY 597.01 310.40 None elimination_backoff_stack.line6608.yml TIMEOUT 911.11 466.54 None elimination_backoff_stack.line6609.yml OUT OF MEMORY 319.15 167.99 None elimination_backoff_stack.line661.yml OUT OF MEMORY 702.53 362.40 None elimination_backoff_stack.line662.yml OUT OF MEMORY 767.20 393.79 None elimination_backoff_stack.line6621.yml TIMEOUT 906.73 464.27 None elimination_backoff_stack.line6622.yml OUT OF MEMORY 755.04 389.05 None elimination_backoff_stack.line6630.yml TIMEOUT 909.10 467.92 None elimination_backoff_stack.line6631.yml OUT OF MEMORY 83.46 47.75 None elimination_backoff_stack.line6652.yml OUT OF MEMORY 471.59 243.38 None elimination_backoff_stack.line6653.yml OUT OF MEMORY 53.53 31.17 None ------------------------------------------------------------------------------------------------------- Run set 3 done 204484.19 7763.82 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk22 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk22 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk22 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk22 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk22 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk22 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk22 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk22 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk22 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk22 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk22 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk22 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk22 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk22 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk22 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk22 Run set 19 of 19: skipped Statistics: 900 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 900 Score: 0 (max: 1800)