BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk21, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk21, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk21 date: Sun, 2022-10-23 13:23:34 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-chunk21 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.line6665.yml OUT OF MEMORY 349.88 196.53 None elimination_backoff_stack.line6666.yml OUT OF MEMORY 416.38 233.33 None elimination_backoff_stack.line6698.yml OUT OF MEMORY 542.37 287.76 None elimination_backoff_stack.line6699.yml OUT OF MEMORY 360.45 202.56 None elimination_backoff_stack.line6712.yml OUT OF MEMORY 575.21 309.70 None elimination_backoff_stack.line6713.yml OUT OF MEMORY 411.29 236.01 None elimination_backoff_stack.line6726.yml OUT OF MEMORY 533.59 286.99 None elimination_backoff_stack.line6727.yml OUT OF MEMORY 460.46 249.77 None elimination_backoff_stack.line673.yml OUT OF MEMORY 521.36 279.84 None elimination_backoff_stack.line6736.yml OUT OF MEMORY 56.82 34.18 None elimination_backoff_stack.line6737.yml OUT OF MEMORY 323.80 185.52 None elimination_backoff_stack.line674.yml OUT OF MEMORY 440.93 240.27 None elimination_backoff_stack.line6764.yml OUT OF MEMORY 386.32 214.94 None elimination_backoff_stack.line6765.yml OUT OF MEMORY 291.28 164.18 None elimination_backoff_stack.line6777.yml OUT OF MEMORY 319.29 178.19 None elimination_backoff_stack.line6778.yml OUT OF MEMORY 370.19 203.40 None elimination_backoff_stack.line6811.yml OUT OF MEMORY 549.58 299.93 None elimination_backoff_stack.line6812.yml OUT OF MEMORY 392.67 220.28 None elimination_backoff_stack.line6823.yml OUT OF MEMORY 335.69 187.46 None elimination_backoff_stack.line6824.yml OUT OF MEMORY 331.38 185.06 None elimination_backoff_stack.line6842.yml OUT OF MEMORY 359.45 199.58 None elimination_backoff_stack.line6843.yml OUT OF MEMORY 375.36 209.50 None elimination_backoff_stack.line6855.yml OUT OF MEMORY 435.72 244.85 None elimination_backoff_stack.line6856.yml OUT OF MEMORY 516.14 282.17 None elimination_backoff_stack.line687.yml OUT OF MEMORY 517.17 278.71 None elimination_backoff_stack.line688.yml OUT OF MEMORY 479.72 257.09 None elimination_backoff_stack.line6885.yml OUT OF MEMORY 455.45 246.96 None elimination_backoff_stack.line6886.yml OUT OF MEMORY 479.25 257.49 None elimination_backoff_stack.line6904.yml OUT OF MEMORY 378.48 209.74 None elimination_backoff_stack.line6905.yml OUT OF MEMORY 313.39 174.23 None elimination_backoff_stack.line6917.yml OUT OF MEMORY 432.50 235.19 None elimination_backoff_stack.line6918.yml OUT OF MEMORY 310.36 173.85 None elimination_backoff_stack.line6939.yml OUT OF MEMORY 388.99 217.71 None elimination_backoff_stack.line6940.yml OUT OF MEMORY 460.75 253.26 None elimination_backoff_stack.line6949.yml OUT OF MEMORY 437.77 238.12 None elimination_backoff_stack.line6950.yml OUT OF MEMORY 422.30 236.16 None elimination_backoff_stack.line6960.yml OUT OF MEMORY 650.29 349.25 None elimination_backoff_stack.line6961.yml OUT OF MEMORY 383.73 212.95 None elimination_backoff_stack.line697.yml OUT OF MEMORY 435.80 238.58 None elimination_backoff_stack.line6970.yml OUT OF MEMORY 529.58 284.96 None elimination_backoff_stack.line6971.yml OUT OF MEMORY 526.12 281.84 None elimination_backoff_stack.line698.yml OUT OF MEMORY 523.14 280.63 None elimination_backoff_stack.line6982.yml OUT OF MEMORY 396.44 216.51 None elimination_backoff_stack.line6983.yml OUT OF MEMORY 552.33 293.54 None elimination_backoff_stack.line7022.yml OUT OF MEMORY 275.80 154.11 None elimination_backoff_stack.line7023.yml OUT OF MEMORY 344.52 191.60 None elimination_backoff_stack.line7034.yml OUT OF MEMORY 458.25 251.29 None elimination_backoff_stack.line7035.yml OUT OF MEMORY 575.06 310.45 None elimination_backoff_stack.line7046.yml OUT OF MEMORY 589.33 317.60 None elimination_backoff_stack.line7047.yml TIMEOUT 911.23 506.97 None elimination_backoff_stack.line7056.yml OUT OF MEMORY 373.96 205.60 None elimination_backoff_stack.line7057.yml OUT OF MEMORY 450.29 246.31 None elimination_backoff_stack.line7066.yml OUT OF MEMORY 419.59 228.61 None elimination_backoff_stack.line7067.yml OUT OF MEMORY 389.79 212.63 None elimination_backoff_stack.line7077.yml OUT OF MEMORY 608.04 329.54 None elimination_backoff_stack.line7078.yml OUT OF MEMORY 535.51 286.78 None elimination_backoff_stack.line7087.yml OUT OF MEMORY 376.12 207.58 None elimination_backoff_stack.line7088.yml OUT OF MEMORY 618.72 327.38 None elimination_backoff_stack.line709.yml OUT OF MEMORY 397.85 224.73 None elimination_backoff_stack.line710.yml OUT OF MEMORY 543.68 288.17 None elimination_backoff_stack.line7100.yml OUT OF MEMORY 387.06 214.09 None elimination_backoff_stack.line7101.yml OUT OF MEMORY 410.61 225.78 None elimination_backoff_stack.line7136.yml OUT OF MEMORY 401.09 221.68 None elimination_backoff_stack.line7137.yml OUT OF MEMORY 452.93 250.48 None elimination_backoff_stack.line7149.yml OUT OF MEMORY 463.45 252.51 None elimination_backoff_stack.line7150.yml OUT OF MEMORY 428.05 230.46 None elimination_backoff_stack.line7179.yml OUT OF MEMORY 566.71 306.83 None elimination_backoff_stack.line7180.yml OUT OF MEMORY 86.97 52.68 None elimination_backoff_stack.line7191.yml OUT OF MEMORY 416.19 232.87 None elimination_backoff_stack.line7192.yml OUT OF MEMORY 244.46 140.67 None elimination_backoff_stack.line7203.yml OUT OF MEMORY 399.78 223.85 None elimination_backoff_stack.line7204.yml OUT OF MEMORY 465.07 250.30 None elimination_backoff_stack.line7213.yml OUT OF MEMORY 472.58 254.44 None elimination_backoff_stack.line7214.yml OUT OF MEMORY 698.55 376.07 None elimination_backoff_stack.line7223.yml OUT OF MEMORY 526.89 282.33 None elimination_backoff_stack.line7224.yml OUT OF MEMORY 364.36 201.37 None elimination_backoff_stack.line7234.yml OUT OF MEMORY 549.34 296.72 None elimination_backoff_stack.line7235.yml OUT OF MEMORY 364.63 199.31 None elimination_backoff_stack.line7244.yml OUT OF MEMORY 386.47 213.06 None elimination_backoff_stack.line7245.yml OUT OF MEMORY 456.14 252.21 None elimination_backoff_stack.line7257.yml OUT OF MEMORY 380.13 214.36 None elimination_backoff_stack.line7258.yml OUT OF MEMORY 452.01 247.71 None elimination_backoff_stack.line7285.yml OUT OF MEMORY 502.81 273.96 None elimination_backoff_stack.line7286.yml OUT OF MEMORY 559.03 303.88 None elimination_backoff_stack.line7297.yml OUT OF MEMORY 476.30 262.75 None elimination_backoff_stack.line7298.yml OUT OF MEMORY 442.07 238.68 None elimination_backoff_stack.line731.yml OUT OF MEMORY 421.89 231.91 None elimination_backoff_stack.line7310.yml OUT OF MEMORY 474.33 256.89 None elimination_backoff_stack.line7311.yml OUT OF MEMORY 328.33 182.01 None elimination_backoff_stack.line732.yml OUT OF MEMORY 472.87 258.94 None elimination_backoff_stack.line7329.yml OUT OF MEMORY 364.79 202.23 None elimination_backoff_stack.line7330.yml OUT OF MEMORY 582.42 314.24 None elimination_backoff_stack.line7342.yml OUT OF MEMORY 472.35 270.05 None elimination_backoff_stack.line7343.yml OUT OF MEMORY 424.29 233.70 None elimination_backoff_stack.line7376.yml OUT OF MEMORY 387.72 212.16 None elimination_backoff_stack.line7377.yml OUT OF MEMORY 729.44 384.29 None elimination_backoff_stack.line7388.yml OUT OF MEMORY 651.54 353.61 None elimination_backoff_stack.line7389.yml OUT OF MEMORY 434.11 238.03 None elimination_backoff_stack.line7402.yml OUT OF MEMORY 306.75 173.06 None elimination_backoff_stack.line7403.yml OUT OF MEMORY 522.05 279.91 None elimination_backoff_stack.line7412.yml OUT OF MEMORY 420.76 228.98 None elimination_backoff_stack.line7413.yml OUT OF MEMORY 596.05 326.68 None elimination_backoff_stack.line7424.yml OUT OF MEMORY 424.17 232.05 None elimination_backoff_stack.line7425.yml OUT OF MEMORY 468.45 251.40 None elimination_backoff_stack.line744.yml OUT OF MEMORY 461.61 250.82 None elimination_backoff_stack.line7446.yml OUT OF MEMORY 451.42 245.26 None elimination_backoff_stack.line7447.yml OUT OF MEMORY 336.62 189.09 None elimination_backoff_stack.line745.yml OUT OF MEMORY 60.88 38.87 None elimination_backoff_stack.line7459.yml OUT OF MEMORY 607.59 329.16 None elimination_backoff_stack.line7460.yml OUT OF MEMORY 323.36 181.28 None elimination_backoff_stack.line7483.yml OUT OF MEMORY 351.26 203.98 None elimination_backoff_stack.line7484.yml OUT OF MEMORY 444.56 244.95 None elimination_backoff_stack.line7493.yml OUT OF MEMORY 318.25 177.23 None elimination_backoff_stack.line7494.yml OUT OF MEMORY 501.62 269.85 None elimination_backoff_stack.line7504.yml OUT OF MEMORY 529.51 283.97 None elimination_backoff_stack.line7505.yml OUT OF MEMORY 470.62 252.81 None elimination_backoff_stack.line7514.yml OUT OF MEMORY 460.10 248.63 None elimination_backoff_stack.line7515.yml OUT OF MEMORY 374.76 209.51 None elimination_backoff_stack.line7549.yml OUT OF MEMORY 560.22 309.13 None elimination_backoff_stack.line7550.yml OUT OF MEMORY 573.15 310.04 None elimination_backoff_stack.line7565.yml OUT OF MEMORY 115.82 65.73 None elimination_backoff_stack.line7566.yml OUT OF MEMORY 442.53 242.59 None elimination_backoff_stack.line7575.yml OUT OF MEMORY 58.45 35.14 None elimination_backoff_stack.line7576.yml OUT OF MEMORY 495.67 267.97 None elimination_backoff_stack.line7616.yml OUT OF MEMORY 771.29 423.14 None elimination_backoff_stack.line7617.yml OUT OF MEMORY 462.92 249.82 None elimination_backoff_stack.line7656.yml OUT OF MEMORY 378.70 208.08 None elimination_backoff_stack.line7657.yml OUT OF MEMORY 283.30 163.71 None elimination_backoff_stack.line768.yml OUT OF MEMORY 460.79 255.78 None elimination_backoff_stack.line7686.yml OUT OF MEMORY 622.84 338.54 None elimination_backoff_stack.line7687.yml OUT OF MEMORY 233.33 133.99 None elimination_backoff_stack.line769.yml OUT OF MEMORY 543.45 288.92 None elimination_backoff_stack.line7698.yml OUT OF MEMORY 535.95 286.88 None elimination_backoff_stack.line7699.yml OUT OF MEMORY 517.17 277.76 None elimination_backoff_stack.line7711.yml OUT OF MEMORY 60.02 35.87 None elimination_backoff_stack.line7712.yml OUT OF MEMORY 268.68 150.65 None elimination_backoff_stack.line7721.yml OUT OF MEMORY 301.27 169.05 None elimination_backoff_stack.line7722.yml OUT OF MEMORY 516.89 286.69 None elimination_backoff_stack.line7731.yml OUT OF MEMORY 448.22 250.19 None elimination_backoff_stack.line7732.yml OUT OF MEMORY 394.08 222.39 None elimination_backoff_stack.line7743.yml OUT OF MEMORY 270.51 149.40 None elimination_backoff_stack.line7744.yml OUT OF MEMORY 519.77 281.68 None elimination_backoff_stack.line7753.yml OUT OF MEMORY 576.34 313.97 None elimination_backoff_stack.line7754.yml OUT OF MEMORY 635.80 345.24 None elimination_backoff_stack.line7763.yml OUT OF MEMORY 444.37 243.88 None elimination_backoff_stack.line7764.yml OUT OF MEMORY 313.21 175.47 None elimination_backoff_stack.line778.yml OUT OF MEMORY 761.66 403.80 None elimination_backoff_stack.line779.yml OUT OF MEMORY 491.36 281.36 None elimination_backoff_stack.line789.yml OUT OF MEMORY 493.75 263.79 None elimination_backoff_stack.line790.yml OUT OF MEMORY 459.69 248.22 None elimination_backoff_stack.line7975.yml OUT OF MEMORY 500.90 268.87 None elimination_backoff_stack.line7976.yml OUT OF MEMORY 482.72 265.30 None elimination_backoff_stack.line799.yml OUT OF MEMORY 421.62 233.13 None elimination_backoff_stack.line7996.yml OUT OF MEMORY 546.22 297.49 None elimination_backoff_stack.line7997.yml OUT OF MEMORY 398.70 221.83 None elimination_backoff_stack.line800.yml OUT OF MEMORY 443.33 244.44 None elimination_backoff_stack.line8017.yml OUT OF MEMORY 386.12 211.62 None elimination_backoff_stack.line8018.yml OUT OF MEMORY 87.37 52.93 None elimination_backoff_stack.line8028.yml OUT OF MEMORY 371.64 203.56 None elimination_backoff_stack.line8029.yml OUT OF MEMORY 336.90 186.43 None elimination_backoff_stack.line8044.yml OUT OF MEMORY 468.57 252.89 None elimination_backoff_stack.line8045.yml OUT OF MEMORY 525.31 286.88 None elimination_backoff_stack.line8056.yml OUT OF MEMORY 539.41 309.25 None elimination_backoff_stack.line8057.yml OUT OF MEMORY 544.12 291.04 None elimination_backoff_stack.line8069.yml OUT OF MEMORY 419.90 231.77 None elimination_backoff_stack.line8070.yml OUT OF MEMORY 470.60 255.39 None elimination_backoff_stack.line8088.yml OUT OF MEMORY 612.32 329.02 None elimination_backoff_stack.line8089.yml OUT OF MEMORY 407.18 232.34 None elimination_backoff_stack.line8101.yml OUT OF MEMORY 482.19 263.24 None elimination_backoff_stack.line8102.yml OUT OF MEMORY 562.09 301.27 None elimination_backoff_stack.line8135.yml OUT OF MEMORY 327.68 182.35 None elimination_backoff_stack.line8136.yml OUT OF MEMORY 474.70 255.54 None elimination_backoff_stack.line8147.yml OUT OF MEMORY 338.30 187.41 None elimination_backoff_stack.line8148.yml OUT OF MEMORY 521.46 287.76 None elimination_backoff_stack.line8161.yml OUT OF MEMORY 343.15 191.38 None elimination_backoff_stack.line8162.yml OUT OF MEMORY 592.80 315.59 None elimination_backoff_stack.line8171.yml OUT OF MEMORY 410.69 227.52 None elimination_backoff_stack.line8172.yml OUT OF MEMORY 538.74 287.43 None elimination_backoff_stack.line8183.yml OUT OF MEMORY 457.89 254.91 None elimination_backoff_stack.line8184.yml OUT OF MEMORY 440.45 239.81 None elimination_backoff_stack.line8205.yml OUT OF MEMORY 499.73 267.54 None elimination_backoff_stack.line8206.yml OUT OF MEMORY 364.41 198.82 None elimination_backoff_stack.line8218.yml OUT OF MEMORY 451.36 253.98 None elimination_backoff_stack.line8219.yml OUT OF MEMORY 390.03 219.05 None elimination_backoff_stack.line8242.yml OUT OF MEMORY 467.44 260.62 None elimination_backoff_stack.line8243.yml OUT OF MEMORY 510.64 274.65 None elimination_backoff_stack.line8252.yml OUT OF MEMORY 572.12 307.16 None elimination_backoff_stack.line8253.yml OUT OF MEMORY 314.61 176.56 None elimination_backoff_stack.line8263.yml OUT OF MEMORY 507.79 276.68 None elimination_backoff_stack.line8264.yml OUT OF MEMORY 334.49 186.10 None elimination_backoff_stack.line8273.yml OUT OF MEMORY 330.40 183.59 None elimination_backoff_stack.line8274.yml OUT OF MEMORY 629.78 339.51 None elimination_backoff_stack.line8308.yml OUT OF MEMORY 402.95 223.42 None elimination_backoff_stack.line8309.yml OUT OF MEMORY 527.75 282.48 None elimination_backoff_stack.line8324.yml OUT OF MEMORY 537.87 290.66 None elimination_backoff_stack.line8325.yml OUT OF MEMORY 572.53 304.07 None elimination_backoff_stack.line8334.yml OUT OF MEMORY 565.36 318.02 None elimination_backoff_stack.line8335.yml OUT OF MEMORY 157.43 92.13 None elimination_backoff_stack.line834.yml OUT OF MEMORY 56.51 34.09 None elimination_backoff_stack.line835.yml OUT OF MEMORY 428.69 236.81 None elimination_backoff_stack.line8361.yml OUT OF MEMORY 414.98 227.29 None elimination_backoff_stack.line8362.yml OUT OF MEMORY 496.31 267.18 None elimination_backoff_stack.line8374.yml OUT OF MEMORY 424.03 234.45 None elimination_backoff_stack.line8375.yml OUT OF MEMORY 327.77 182.07 None elimination_backoff_stack.line8383.yml OUT OF MEMORY 322.35 181.01 None elimination_backoff_stack.line8384.yml OUT OF MEMORY 388.63 216.62 None elimination_backoff_stack.line8405.yml OUT OF MEMORY 433.35 242.03 None elimination_backoff_stack.line8406.yml OUT OF MEMORY 480.81 265.05 None elimination_backoff_stack.line8418.yml OUT OF MEMORY 469.92 254.10 None elimination_backoff_stack.line8419.yml OUT OF MEMORY 541.23 290.22 None elimination_backoff_stack.line8451.yml OUT OF MEMORY 564.73 306.82 None elimination_backoff_stack.line8452.yml OUT OF MEMORY 312.11 174.63 None elimination_backoff_stack.line8465.yml OUT OF MEMORY 429.64 238.93 None elimination_backoff_stack.line8466.yml OUT OF MEMORY 548.03 292.40 None elimination_backoff_stack.line8479.yml OUT OF MEMORY 393.04 215.71 None elimination_backoff_stack.line8480.yml OUT OF MEMORY 425.21 234.35 None elimination_backoff_stack.line8489.yml OUT OF MEMORY 402.60 234.81 None elimination_backoff_stack.line8490.yml OUT OF MEMORY 499.86 278.34 None elimination_backoff_stack.line850.yml OUT OF MEMORY 488.63 263.42 None elimination_backoff_stack.line851.yml OUT OF MEMORY 412.39 229.89 None elimination_backoff_stack.line8517.yml OUT OF MEMORY 375.56 211.73 None elimination_backoff_stack.line8518.yml OUT OF MEMORY 390.76 217.26 None elimination_backoff_stack.line8530.yml OUT OF MEMORY 420.71 236.48 None elimination_backoff_stack.line8531.yml OUT OF MEMORY 423.63 232.26 None elimination_backoff_stack.line8564.yml OUT OF MEMORY 501.68 267.92 None elimination_backoff_stack.line8565.yml OUT OF MEMORY 447.95 249.54 None elimination_backoff_stack.line8576.yml OUT OF MEMORY 288.43 161.21 None elimination_backoff_stack.line8577.yml OUT OF MEMORY 607.06 332.55 None elimination_backoff_stack.line8595.yml OUT OF MEMORY 379.12 208.11 None elimination_backoff_stack.line8596.yml OUT OF MEMORY 391.70 216.03 None elimination_backoff_stack.line860.yml OUT OF MEMORY 379.81 210.98 None elimination_backoff_stack.line8608.yml OUT OF MEMORY 471.51 253.61 None elimination_backoff_stack.line8609.yml OUT OF MEMORY 450.22 248.42 None elimination_backoff_stack.line861.yml OUT OF MEMORY 433.28 238.12 None elimination_backoff_stack.line8638.yml OUT OF MEMORY 458.08 245.96 None elimination_backoff_stack.line8639.yml OUT OF MEMORY 440.41 242.29 None elimination_backoff_stack.line8657.yml OUT OF MEMORY 309.21 171.93 None elimination_backoff_stack.line8658.yml OUT OF MEMORY 302.16 170.33 None elimination_backoff_stack.line8670.yml OUT OF MEMORY 496.94 270.52 None elimination_backoff_stack.line8671.yml OUT OF MEMORY 510.13 274.84 None elimination_backoff_stack.line8692.yml OUT OF MEMORY 354.56 200.45 None elimination_backoff_stack.line8693.yml OUT OF MEMORY 412.52 225.39 None elimination_backoff_stack.line8702.yml OUT OF MEMORY 393.73 215.26 None elimination_backoff_stack.line8703.yml OUT OF MEMORY 436.54 237.28 None elimination_backoff_stack.line8713.yml OUT OF MEMORY 419.66 230.58 None elimination_backoff_stack.line8714.yml OUT OF MEMORY 460.42 246.27 None elimination_backoff_stack.line8723.yml OUT OF MEMORY 392.91 219.31 None elimination_backoff_stack.line8724.yml OUT OF MEMORY 492.68 264.36 None elimination_backoff_stack.line8735.yml OUT OF MEMORY 341.23 189.95 None elimination_backoff_stack.line8736.yml OUT OF MEMORY 383.13 210.48 None elimination_backoff_stack.line8775.yml OUT OF MEMORY 543.06 307.06 None elimination_backoff_stack.line8776.yml OUT OF MEMORY 393.96 220.51 None elimination_backoff_stack.line8787.yml OUT OF MEMORY 409.11 227.28 None elimination_backoff_stack.line8788.yml OUT OF MEMORY 443.58 240.28 None elimination_backoff_stack.line8799.yml OUT OF MEMORY 388.17 213.99 None elimination_backoff_stack.line8800.yml OUT OF MEMORY 363.31 202.52 None elimination_backoff_stack.line8809.yml OUT OF MEMORY 535.42 290.74 None elimination_backoff_stack.line8810.yml OUT OF MEMORY 539.48 289.50 None elimination_backoff_stack.line8819.yml OUT OF MEMORY 381.86 210.44 None elimination_backoff_stack.line8820.yml OUT OF MEMORY 654.83 357.35 None elimination_backoff_stack.line8830.yml OUT OF MEMORY 558.32 302.20 None elimination_backoff_stack.line8831.yml OUT OF MEMORY 494.63 264.73 None elimination_backoff_stack.line8840.yml OUT OF MEMORY 462.16 252.94 None elimination_backoff_stack.line8841.yml OUT OF MEMORY 667.78 353.74 None elimination_backoff_stack.line8853.yml OUT OF MEMORY 488.30 267.77 None elimination_backoff_stack.line8854.yml OUT OF MEMORY 433.38 249.56 None elimination_backoff_stack.line887.yml OUT OF MEMORY 436.92 244.48 None elimination_backoff_stack.line888.yml OUT OF MEMORY 53.04 31.70 None elimination_backoff_stack.line8889.yml OUT OF MEMORY 461.83 254.72 None elimination_backoff_stack.line8890.yml OUT OF MEMORY 424.97 230.00 None elimination_backoff_stack.line8902.yml OUT OF MEMORY 290.32 163.76 None elimination_backoff_stack.line8903.yml OUT OF MEMORY 316.90 178.88 None elimination_backoff_stack.line8932.yml OUT OF MEMORY 325.79 186.00 None elimination_backoff_stack.line8933.yml OUT OF MEMORY 384.37 208.93 None elimination_backoff_stack.line8944.yml OUT OF MEMORY 547.98 293.24 None elimination_backoff_stack.line8945.yml OUT OF MEMORY 390.23 212.21 None elimination_backoff_stack.line8956.yml OUT OF MEMORY 423.11 233.87 None elimination_backoff_stack.line8957.yml OUT OF MEMORY 391.40 219.96 None elimination_backoff_stack.line8966.yml OUT OF MEMORY 392.34 215.00 None elimination_backoff_stack.line8967.yml OUT OF MEMORY 410.63 229.74 None elimination_backoff_stack.line8976.yml OUT OF MEMORY 412.45 230.55 None elimination_backoff_stack.line8977.yml OUT OF MEMORY 379.05 208.75 None elimination_backoff_stack.line8987.yml OUT OF MEMORY 445.25 244.15 None elimination_backoff_stack.line8988.yml OUT OF MEMORY 459.49 246.98 None elimination_backoff_stack.line8997.yml OUT OF MEMORY 520.54 278.50 None elimination_backoff_stack.line8998.yml OUT OF MEMORY 441.43 239.68 None elimination_backoff_stack.line900.yml OUT OF MEMORY 478.02 261.58 None elimination_backoff_stack.line901.yml OUT OF MEMORY 485.50 261.55 None elimination_backoff_stack.line9010.yml OUT OF MEMORY 306.73 170.86 None elimination_backoff_stack.line9011.yml OUT OF MEMORY 315.17 181.27 None elimination_backoff_stack.line9038.yml OUT OF MEMORY 349.57 199.77 None elimination_backoff_stack.line9039.yml OUT OF MEMORY 273.65 154.02 None elimination_backoff_stack.line9050.yml OUT OF MEMORY 443.41 239.10 None elimination_backoff_stack.line9051.yml OUT OF MEMORY 529.80 286.44 None elimination_backoff_stack.line9063.yml OUT OF MEMORY 303.04 170.91 None elimination_backoff_stack.line9064.yml OUT OF MEMORY 470.10 264.30 None elimination_backoff_stack.line9082.yml OUT OF MEMORY 402.42 223.38 None elimination_backoff_stack.line9083.yml OUT OF MEMORY 423.16 228.99 None elimination_backoff_stack.line9095.yml OUT OF MEMORY 350.62 195.36 None elimination_backoff_stack.line9096.yml OUT OF MEMORY 283.70 159.52 None ------------------------------------------------------------------------------------------------------- Run set 1 done 130639.42 5211.27 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk21 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.line6665.yml OUT OF MEMORY 381.11 210.32 None elimination_backoff_stack.line6666.yml OUT OF MEMORY 460.48 257.30 None elimination_backoff_stack.line6698.yml OUT OF MEMORY 550.69 291.72 None elimination_backoff_stack.line6699.yml OUT OF MEMORY 55.93 33.52 None elimination_backoff_stack.line6712.yml OUT OF MEMORY 431.77 239.52 None elimination_backoff_stack.line6713.yml OUT OF MEMORY 412.35 239.64 None elimination_backoff_stack.line6726.yml OUT OF MEMORY 587.78 313.53 None elimination_backoff_stack.line6727.yml OUT OF MEMORY 555.78 300.46 None elimination_backoff_stack.line673.yml OUT OF MEMORY 592.44 316.19 None elimination_backoff_stack.line6736.yml OUT OF MEMORY 56.54 34.15 None elimination_backoff_stack.line6737.yml OUT OF MEMORY 658.98 355.60 None elimination_backoff_stack.line674.yml OUT OF MEMORY 405.38 223.18 None elimination_backoff_stack.line6764.yml OUT OF MEMORY 351.00 196.43 None elimination_backoff_stack.line6765.yml OUT OF MEMORY 339.35 187.53 None elimination_backoff_stack.line6777.yml OUT OF MEMORY 344.41 192.72 None elimination_backoff_stack.line6778.yml OUT OF MEMORY 147.04 84.70 None elimination_backoff_stack.line6811.yml OUT OF MEMORY 330.29 184.64 None elimination_backoff_stack.line6812.yml OUT OF MEMORY 304.47 169.88 None elimination_backoff_stack.line6823.yml OUT OF MEMORY 370.97 206.58 None elimination_backoff_stack.line6824.yml OUT OF MEMORY 460.85 254.08 None elimination_backoff_stack.line6842.yml OUT OF MEMORY 440.36 241.28 None elimination_backoff_stack.line6843.yml OUT OF MEMORY 354.55 196.97 None elimination_backoff_stack.line6855.yml OUT OF MEMORY 289.63 163.71 None elimination_backoff_stack.line6856.yml OUT OF MEMORY 488.36 276.67 None elimination_backoff_stack.line687.yml OUT OF MEMORY 393.90 219.87 None elimination_backoff_stack.line688.yml OUT OF MEMORY 528.89 284.11 None elimination_backoff_stack.line6885.yml OUT OF MEMORY 592.24 316.16 None elimination_backoff_stack.line6886.yml OUT OF MEMORY 297.53 166.46 None elimination_backoff_stack.line6904.yml OUT OF MEMORY 450.81 244.83 None elimination_backoff_stack.line6905.yml OUT OF MEMORY 524.78 282.69 None elimination_backoff_stack.line6917.yml OUT OF MEMORY 501.24 273.28 None elimination_backoff_stack.line6918.yml OUT OF MEMORY 385.76 212.75 None elimination_backoff_stack.line6939.yml OUT OF MEMORY 367.69 203.99 None elimination_backoff_stack.line6940.yml OUT OF MEMORY 392.72 221.83 None elimination_backoff_stack.line6949.yml OUT OF MEMORY 524.32 282.35 None elimination_backoff_stack.line6950.yml OUT OF MEMORY 514.82 280.83 None elimination_backoff_stack.line6960.yml OUT OF MEMORY 441.28 244.12 None elimination_backoff_stack.line6961.yml OUT OF MEMORY 336.40 188.03 None elimination_backoff_stack.line697.yml OUT OF MEMORY 159.35 93.59 None elimination_backoff_stack.line6970.yml OUT OF MEMORY 437.60 251.87 None elimination_backoff_stack.line6971.yml OUT OF MEMORY 475.48 258.25 None elimination_backoff_stack.line698.yml OUT OF MEMORY 54.02 32.62 None elimination_backoff_stack.line6982.yml OUT OF MEMORY 322.23 185.92 None elimination_backoff_stack.line6983.yml OUT OF MEMORY 562.61 300.09 None elimination_backoff_stack.line7022.yml OUT OF MEMORY 493.39 266.81 None elimination_backoff_stack.line7023.yml OUT OF MEMORY 129.67 75.43 None elimination_backoff_stack.line7034.yml OUT OF MEMORY 454.69 256.57 None elimination_backoff_stack.line7035.yml OUT OF MEMORY 76.27 45.13 None elimination_backoff_stack.line7046.yml OUT OF MEMORY 459.68 258.69 None elimination_backoff_stack.line7047.yml OUT OF MEMORY 181.01 105.40 None elimination_backoff_stack.line7056.yml OUT OF MEMORY 433.16 238.67 None elimination_backoff_stack.line7057.yml OUT OF MEMORY 203.82 113.13 None elimination_backoff_stack.line7066.yml OUT OF MEMORY 345.19 192.59 None elimination_backoff_stack.line7067.yml OUT OF MEMORY 421.68 232.53 None elimination_backoff_stack.line7077.yml OUT OF MEMORY 170.10 99.34 None elimination_backoff_stack.line7078.yml OUT OF MEMORY 527.70 286.23 None elimination_backoff_stack.line7087.yml OUT OF MEMORY 461.28 250.46 None elimination_backoff_stack.line7088.yml OUT OF MEMORY 517.65 283.04 None elimination_backoff_stack.line709.yml OUT OF MEMORY 439.27 254.47 None elimination_backoff_stack.line710.yml OUT OF MEMORY 521.74 281.07 None elimination_backoff_stack.line7100.yml OUT OF MEMORY 268.44 152.50 None elimination_backoff_stack.line7101.yml OUT OF MEMORY 389.18 212.56 None elimination_backoff_stack.line7136.yml OUT OF MEMORY 468.62 259.28 None elimination_backoff_stack.line7137.yml OUT OF MEMORY 528.21 285.58 None elimination_backoff_stack.line7149.yml OUT OF MEMORY 359.37 199.09 None elimination_backoff_stack.line7150.yml OUT OF MEMORY 603.15 319.77 None elimination_backoff_stack.line7179.yml OUT OF MEMORY 59.11 35.94 None elimination_backoff_stack.line7180.yml OUT OF MEMORY 57.85 35.06 None elimination_backoff_stack.line7191.yml OUT OF MEMORY 344.30 194.43 None elimination_backoff_stack.line7192.yml OUT OF MEMORY 63.27 37.34 None elimination_backoff_stack.line7203.yml OUT OF MEMORY 435.89 239.78 None elimination_backoff_stack.line7204.yml OUT OF MEMORY 331.34 183.33 None elimination_backoff_stack.line7213.yml OUT OF MEMORY 316.65 177.05 None elimination_backoff_stack.line7214.yml OUT OF MEMORY 53.88 32.61 None elimination_backoff_stack.line7223.yml OUT OF MEMORY 575.31 309.39 None elimination_backoff_stack.line7224.yml OUT OF MEMORY 362.77 215.16 None elimination_backoff_stack.line7234.yml OUT OF MEMORY 227.51 130.53 None elimination_backoff_stack.line7235.yml OUT OF MEMORY 554.36 296.11 None elimination_backoff_stack.line7244.yml OUT OF MEMORY 355.49 197.24 None elimination_backoff_stack.line7245.yml OUT OF MEMORY 539.54 291.02 None elimination_backoff_stack.line7257.yml OUT OF MEMORY 325.81 181.98 None elimination_backoff_stack.line7258.yml OUT OF MEMORY 513.14 279.40 None elimination_backoff_stack.line7285.yml OUT OF MEMORY 372.28 210.00 None elimination_backoff_stack.line7286.yml OUT OF MEMORY 397.78 218.79 None elimination_backoff_stack.line7297.yml OUT OF MEMORY 233.85 131.95 None elimination_backoff_stack.line7298.yml OUT OF MEMORY 381.93 208.10 None elimination_backoff_stack.line731.yml OUT OF MEMORY 202.81 118.09 None elimination_backoff_stack.line7310.yml OUT OF MEMORY 411.22 228.71 None elimination_backoff_stack.line7311.yml OUT OF MEMORY 536.12 287.70 None elimination_backoff_stack.line732.yml OUT OF MEMORY 67.30 41.73 None elimination_backoff_stack.line7329.yml OUT OF MEMORY 556.06 300.21 None elimination_backoff_stack.line7330.yml OUT OF MEMORY 328.31 180.01 None elimination_backoff_stack.line7342.yml OUT OF MEMORY 410.73 223.97 None elimination_backoff_stack.line7343.yml OUT OF MEMORY 366.18 207.43 None elimination_backoff_stack.line7376.yml OUT OF MEMORY 386.83 213.46 None elimination_backoff_stack.line7377.yml OUT OF MEMORY 520.39 280.70 None elimination_backoff_stack.line7388.yml OUT OF MEMORY 168.34 98.71 None elimination_backoff_stack.line7389.yml OUT OF MEMORY 369.06 209.25 None elimination_backoff_stack.line7402.yml OUT OF MEMORY 539.55 290.95 None elimination_backoff_stack.line7403.yml OUT OF MEMORY 530.11 284.91 None elimination_backoff_stack.line7412.yml OUT OF MEMORY 375.49 208.57 None elimination_backoff_stack.line7413.yml OUT OF MEMORY 54.77 34.69 None elimination_backoff_stack.line7424.yml OUT OF MEMORY 306.02 170.68 None elimination_backoff_stack.line7425.yml OUT OF MEMORY 422.03 233.97 None elimination_backoff_stack.line744.yml OUT OF MEMORY 455.97 249.59 None elimination_backoff_stack.line7446.yml OUT OF MEMORY 286.45 160.85 None elimination_backoff_stack.line7447.yml OUT OF MEMORY 555.61 296.41 None elimination_backoff_stack.line745.yml OUT OF MEMORY 54.10 34.53 None elimination_backoff_stack.line7459.yml OUT OF MEMORY 319.67 178.31 None elimination_backoff_stack.line7460.yml OUT OF MEMORY 557.59 299.17 None elimination_backoff_stack.line7483.yml OUT OF MEMORY 350.65 199.05 None elimination_backoff_stack.line7484.yml OUT OF MEMORY 462.84 263.07 None elimination_backoff_stack.line7493.yml OUT OF MEMORY 61.11 37.79 None elimination_backoff_stack.line7494.yml OUT OF MEMORY 492.66 271.16 None elimination_backoff_stack.line7504.yml OUT OF MEMORY 420.09 231.38 None elimination_backoff_stack.line7505.yml OUT OF MEMORY 511.10 276.50 None elimination_backoff_stack.line7514.yml OUT OF MEMORY 359.17 199.69 None elimination_backoff_stack.line7515.yml OUT OF MEMORY 378.49 207.05 None elimination_backoff_stack.line7549.yml OUT OF MEMORY 101.65 59.37 None elimination_backoff_stack.line7550.yml OUT OF MEMORY 611.04 323.80 None elimination_backoff_stack.line7565.yml OUT OF MEMORY 117.86 71.89 None elimination_backoff_stack.line7566.yml OUT OF MEMORY 66.66 41.29 None elimination_backoff_stack.line7575.yml OUT OF MEMORY 120.38 71.71 None elimination_backoff_stack.line7576.yml OUT OF MEMORY 519.33 281.25 None elimination_backoff_stack.line7616.yml OUT OF MEMORY 60.51 36.76 None elimination_backoff_stack.line7617.yml OUT OF MEMORY 482.24 265.38 None elimination_backoff_stack.line7656.yml OUT OF MEMORY 240.04 138.82 None elimination_backoff_stack.line7657.yml OUT OF MEMORY 430.80 234.78 None elimination_backoff_stack.line768.yml OUT OF MEMORY 387.46 215.30 None elimination_backoff_stack.line7686.yml OUT OF MEMORY 523.34 280.54 None elimination_backoff_stack.line7687.yml OUT OF MEMORY 356.26 199.04 None elimination_backoff_stack.line769.yml OUT OF MEMORY 376.20 211.13 None elimination_backoff_stack.line7698.yml OUT OF MEMORY 366.86 217.28 None elimination_backoff_stack.line7699.yml OUT OF MEMORY 350.86 196.96 None elimination_backoff_stack.line7711.yml OUT OF MEMORY 91.93 53.27 None elimination_backoff_stack.line7712.yml OUT OF MEMORY 341.62 192.64 None elimination_backoff_stack.line7721.yml OUT OF MEMORY 314.88 177.16 None elimination_backoff_stack.line7722.yml OUT OF MEMORY 531.17 285.25 None elimination_backoff_stack.line7731.yml OUT OF MEMORY 486.08 263.02 None elimination_backoff_stack.line7732.yml OUT OF MEMORY 594.60 322.10 None elimination_backoff_stack.line7743.yml OUT OF MEMORY 68.73 40.87 None elimination_backoff_stack.line7744.yml OUT OF MEMORY 601.67 319.63 None elimination_backoff_stack.line7753.yml OUT OF MEMORY 63.65 39.43 None elimination_backoff_stack.line7754.yml OUT OF MEMORY 138.39 82.35 None elimination_backoff_stack.line7763.yml OUT OF MEMORY 65.02 38.84 None elimination_backoff_stack.line7764.yml OUT OF MEMORY 421.70 232.52 None elimination_backoff_stack.line778.yml OUT OF MEMORY 77.71 45.99 None elimination_backoff_stack.line779.yml OUT OF MEMORY 443.62 242.39 None elimination_backoff_stack.line789.yml OUT OF MEMORY 436.47 245.77 None elimination_backoff_stack.line790.yml OUT OF MEMORY 199.86 114.52 None elimination_backoff_stack.line7975.yml OUT OF MEMORY 372.01 205.75 None elimination_backoff_stack.line7976.yml OUT OF MEMORY 472.16 257.93 None elimination_backoff_stack.line799.yml OUT OF MEMORY 487.60 267.50 None elimination_backoff_stack.line7996.yml OUT OF MEMORY 68.37 39.68 None elimination_backoff_stack.line7997.yml OUT OF MEMORY 629.37 332.77 None elimination_backoff_stack.line800.yml OUT OF MEMORY 400.42 222.46 None elimination_backoff_stack.line8017.yml OUT OF MEMORY 585.14 311.12 None elimination_backoff_stack.line8018.yml OUT OF MEMORY 59.49 36.76 None elimination_backoff_stack.line8028.yml OUT OF MEMORY 286.86 161.15 None elimination_backoff_stack.line8029.yml OUT OF MEMORY 595.17 318.21 None elimination_backoff_stack.line8044.yml OUT OF MEMORY 509.36 276.00 None elimination_backoff_stack.line8045.yml OUT OF MEMORY 407.52 221.64 None elimination_backoff_stack.line8056.yml OUT OF MEMORY 214.58 124.90 None elimination_backoff_stack.line8057.yml OUT OF MEMORY 371.86 209.69 None elimination_backoff_stack.line8069.yml OUT OF MEMORY 421.79 240.34 None elimination_backoff_stack.line8070.yml OUT OF MEMORY 375.53 211.58 None elimination_backoff_stack.line8088.yml OUT OF MEMORY 468.01 257.80 None elimination_backoff_stack.line8089.yml OUT OF MEMORY 88.05 53.82 None elimination_backoff_stack.line8101.yml OUT OF MEMORY 525.58 283.43 None elimination_backoff_stack.line8102.yml OUT OF MEMORY 314.79 176.72 None elimination_backoff_stack.line8135.yml OUT OF MEMORY 465.07 254.13 None elimination_backoff_stack.line8136.yml OUT OF MEMORY 375.22 209.95 None elimination_backoff_stack.line8147.yml OUT OF MEMORY 280.77 158.41 None elimination_backoff_stack.line8148.yml OUT OF MEMORY 80.39 47.26 None elimination_backoff_stack.line8161.yml OUT OF MEMORY 60.82 36.71 None elimination_backoff_stack.line8162.yml OUT OF MEMORY 583.18 311.56 None elimination_backoff_stack.line8171.yml OUT OF MEMORY 66.92 38.64 None elimination_backoff_stack.line8172.yml OUT OF MEMORY 314.89 176.43 None elimination_backoff_stack.line8183.yml OUT OF MEMORY 420.74 230.29 None elimination_backoff_stack.line8184.yml OUT OF MEMORY 57.20 36.19 None elimination_backoff_stack.line8205.yml OUT OF MEMORY 655.08 346.42 None elimination_backoff_stack.line8206.yml OUT OF MEMORY 363.82 202.41 None elimination_backoff_stack.line8218.yml OUT OF MEMORY 447.65 242.01 None elimination_backoff_stack.line8219.yml OUT OF MEMORY 330.33 188.19 None elimination_backoff_stack.line8242.yml OUT OF MEMORY 356.43 199.13 None elimination_backoff_stack.line8243.yml OUT OF MEMORY 423.84 247.42 None elimination_backoff_stack.line8252.yml OUT OF MEMORY 434.07 238.45 None elimination_backoff_stack.line8253.yml OUT OF MEMORY 366.02 205.88 None elimination_backoff_stack.line8263.yml OUT OF MEMORY 446.50 245.32 None elimination_backoff_stack.line8264.yml OUT OF MEMORY 444.57 241.93 None elimination_backoff_stack.line8273.yml OUT OF MEMORY 595.07 317.38 None elimination_backoff_stack.line8274.yml OUT OF MEMORY 490.01 267.74 None elimination_backoff_stack.line8308.yml OUT OF MEMORY 275.39 155.28 None elimination_backoff_stack.line8309.yml OUT OF MEMORY 362.35 203.18 None elimination_backoff_stack.line8324.yml OUT OF MEMORY 57.76 36.09 None elimination_backoff_stack.line8325.yml OUT OF MEMORY 618.29 332.73 None elimination_backoff_stack.line8334.yml OUT OF MEMORY 599.49 321.81 None elimination_backoff_stack.line8335.yml OUT OF MEMORY 583.64 312.33 None elimination_backoff_stack.line834.yml OUT OF MEMORY 70.43 39.44 None elimination_backoff_stack.line835.yml OUT OF MEMORY 169.99 105.91 None elimination_backoff_stack.line8361.yml OUT OF MEMORY 326.46 183.93 None elimination_backoff_stack.line8362.yml OUT OF MEMORY 419.28 230.22 None elimination_backoff_stack.line8374.yml OUT OF MEMORY 456.17 247.81 None elimination_backoff_stack.line8375.yml OUT OF MEMORY 362.39 201.51 None elimination_backoff_stack.line8383.yml OUT OF MEMORY 436.60 239.16 None elimination_backoff_stack.line8384.yml OUT OF MEMORY 361.86 197.55 None elimination_backoff_stack.line8405.yml OUT OF MEMORY 366.46 204.24 None elimination_backoff_stack.line8406.yml OUT OF MEMORY 50.08 32.49 None elimination_backoff_stack.line8418.yml OUT OF MEMORY 564.54 311.59 None elimination_backoff_stack.line8419.yml OUT OF MEMORY 442.14 245.05 None elimination_backoff_stack.line8451.yml OUT OF MEMORY 372.49 209.19 None elimination_backoff_stack.line8452.yml OUT OF MEMORY 332.09 183.37 None elimination_backoff_stack.line8465.yml OUT OF MEMORY 289.60 167.82 None elimination_backoff_stack.line8466.yml OUT OF MEMORY 413.94 227.66 None elimination_backoff_stack.line8479.yml OUT OF MEMORY 436.70 239.57 None elimination_backoff_stack.line8480.yml OUT OF MEMORY 63.65 38.09 None elimination_backoff_stack.line8489.yml OUT OF MEMORY 351.12 197.51 None elimination_backoff_stack.line8490.yml OUT OF MEMORY 60.62 35.36 None elimination_backoff_stack.line850.yml OUT OF MEMORY 341.37 190.73 None elimination_backoff_stack.line851.yml OUT OF MEMORY 524.19 282.41 None elimination_backoff_stack.line8517.yml OUT OF MEMORY 420.32 235.25 None elimination_backoff_stack.line8518.yml OUT OF MEMORY 591.17 314.71 None elimination_backoff_stack.line8530.yml OUT OF MEMORY 60.43 35.44 None elimination_backoff_stack.line8531.yml OUT OF MEMORY 351.61 195.02 None elimination_backoff_stack.line8564.yml OUT OF MEMORY 524.78 281.62 None elimination_backoff_stack.line8565.yml OUT OF MEMORY 379.37 207.23 None elimination_backoff_stack.line8576.yml OUT OF MEMORY 379.21 210.92 None elimination_backoff_stack.line8577.yml OUT OF MEMORY 406.80 227.05 None elimination_backoff_stack.line8595.yml OUT OF MEMORY 498.12 271.10 None elimination_backoff_stack.line8596.yml OUT OF MEMORY 319.61 190.27 None elimination_backoff_stack.line860.yml OUT OF MEMORY 295.67 166.29 None elimination_backoff_stack.line8608.yml OUT OF MEMORY 435.77 240.21 None elimination_backoff_stack.line8609.yml OUT OF MEMORY 367.11 204.23 None elimination_backoff_stack.line861.yml OUT OF MEMORY 357.39 200.30 None elimination_backoff_stack.line8638.yml OUT OF MEMORY 222.08 126.80 None elimination_backoff_stack.line8639.yml OUT OF MEMORY 425.55 235.82 None elimination_backoff_stack.line8657.yml OUT OF MEMORY 530.15 284.72 None elimination_backoff_stack.line8658.yml OUT OF MEMORY 612.49 330.27 None elimination_backoff_stack.line8670.yml OUT OF MEMORY 71.24 41.15 None elimination_backoff_stack.line8671.yml OUT OF MEMORY 364.62 205.88 None elimination_backoff_stack.line8692.yml OUT OF MEMORY 593.49 316.89 None elimination_backoff_stack.line8693.yml OUT OF MEMORY 587.72 312.81 None elimination_backoff_stack.line8702.yml OUT OF MEMORY 547.28 294.45 None elimination_backoff_stack.line8703.yml OUT OF MEMORY 334.43 186.03 None elimination_backoff_stack.line8713.yml OUT OF MEMORY 426.71 243.97 None elimination_backoff_stack.line8714.yml OUT OF MEMORY 317.90 175.17 None elimination_backoff_stack.line8723.yml OUT OF MEMORY 424.78 235.88 None elimination_backoff_stack.line8724.yml OUT OF MEMORY 329.24 182.56 None elimination_backoff_stack.line8735.yml OUT OF MEMORY 614.22 329.09 None elimination_backoff_stack.line8736.yml OUT OF MEMORY 125.15 76.29 None elimination_backoff_stack.line8775.yml OUT OF MEMORY 444.29 244.27 None elimination_backoff_stack.line8776.yml OUT OF MEMORY 422.54 235.48 None elimination_backoff_stack.line8787.yml OUT OF MEMORY 377.53 210.18 None elimination_backoff_stack.line8788.yml OUT OF MEMORY 422.94 231.92 None elimination_backoff_stack.line8799.yml OUT OF MEMORY 423.81 230.63 None elimination_backoff_stack.line8800.yml OUT OF MEMORY 349.79 191.56 None elimination_backoff_stack.line8809.yml OUT OF MEMORY 83.03 50.16 None elimination_backoff_stack.line8810.yml OUT OF MEMORY 232.91 146.52 None elimination_backoff_stack.line8819.yml OUT OF MEMORY 386.29 218.01 None elimination_backoff_stack.line8820.yml OUT OF MEMORY 403.39 224.51 None elimination_backoff_stack.line8830.yml OUT OF MEMORY 587.82 313.15 None elimination_backoff_stack.line8831.yml OUT OF MEMORY 429.08 235.11 None elimination_backoff_stack.line8840.yml OUT OF MEMORY 79.31 45.46 None elimination_backoff_stack.line8841.yml OUT OF MEMORY 80.57 47.59 None elimination_backoff_stack.line8853.yml OUT OF MEMORY 531.60 284.52 None elimination_backoff_stack.line8854.yml OUT OF MEMORY 514.68 277.89 None elimination_backoff_stack.line887.yml OUT OF MEMORY 430.36 236.53 None elimination_backoff_stack.line888.yml OUT OF MEMORY 338.00 188.12 None elimination_backoff_stack.line8889.yml OUT OF MEMORY 276.02 157.91 None elimination_backoff_stack.line8890.yml OUT OF MEMORY 527.76 283.46 None elimination_backoff_stack.line8902.yml OUT OF MEMORY 422.24 235.31 None elimination_backoff_stack.line8903.yml OUT OF MEMORY 432.10 244.22 None elimination_backoff_stack.line8932.yml OUT OF MEMORY 444.85 240.60 None elimination_backoff_stack.line8933.yml OUT OF MEMORY 387.56 215.35 None elimination_backoff_stack.line8944.yml OUT OF MEMORY 417.94 229.83 None elimination_backoff_stack.line8945.yml OUT OF MEMORY 386.72 215.40 None elimination_backoff_stack.line8956.yml OUT OF MEMORY 338.89 188.71 None elimination_backoff_stack.line8957.yml OUT OF MEMORY 381.25 211.45 None elimination_backoff_stack.line8966.yml OUT OF MEMORY 250.11 142.54 None elimination_backoff_stack.line8967.yml OUT OF MEMORY 460.51 249.72 None elimination_backoff_stack.line8976.yml OUT OF MEMORY 594.03 320.30 None elimination_backoff_stack.line8977.yml OUT OF MEMORY 447.31 242.46 None elimination_backoff_stack.line8987.yml OUT OF MEMORY 551.23 294.28 None elimination_backoff_stack.line8988.yml OUT OF MEMORY 205.79 121.15 None elimination_backoff_stack.line8997.yml OUT OF MEMORY 364.85 205.00 None elimination_backoff_stack.line8998.yml OUT OF MEMORY 425.39 241.89 None elimination_backoff_stack.line900.yml OUT OF MEMORY 216.58 123.02 None elimination_backoff_stack.line901.yml OUT OF MEMORY 690.32 365.77 None elimination_backoff_stack.line9010.yml OUT OF MEMORY 407.26 228.22 None elimination_backoff_stack.line9011.yml OUT OF MEMORY 376.84 213.98 None elimination_backoff_stack.line9038.yml OUT OF MEMORY 486.34 268.09 None elimination_backoff_stack.line9039.yml OUT OF MEMORY 340.60 190.35 None elimination_backoff_stack.line9050.yml OUT OF MEMORY 410.78 233.76 None elimination_backoff_stack.line9051.yml OUT OF MEMORY 440.85 243.93 None elimination_backoff_stack.line9063.yml OUT OF MEMORY 394.30 217.43 None elimination_backoff_stack.line9064.yml OUT OF MEMORY 80.24 47.92 None elimination_backoff_stack.line9082.yml OUT OF MEMORY 363.89 203.69 None elimination_backoff_stack.line9083.yml OUT OF MEMORY 485.22 262.32 None elimination_backoff_stack.line9095.yml OUT OF MEMORY 293.57 173.87 None elimination_backoff_stack.line9096.yml OUT OF MEMORY 649.49 344.20 None ------------------------------------------------------------------------------------------------------- Run set 2 done 111226.76 4617.72 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk21 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.line6665.yml OUT OF MEMORY 821.47 426.79 None elimination_backoff_stack.line6666.yml OUT OF MEMORY 689.73 360.23 None elimination_backoff_stack.line6698.yml TIMEOUT 916.85 474.33 None elimination_backoff_stack.line6699.yml OUT OF MEMORY 429.88 223.86 None elimination_backoff_stack.line6712.yml OUT OF MEMORY 870.60 450.24 None elimination_backoff_stack.line6713.yml OUT OF MEMORY 856.27 450.36 None elimination_backoff_stack.line6726.yml TIMEOUT 916.13 474.53 None elimination_backoff_stack.line6727.yml TIMEOUT 915.33 475.45 None elimination_backoff_stack.line673.yml TIMEOUT 914.97 473.97 None elimination_backoff_stack.line6736.yml OUT OF MEMORY 55.43 31.60 None elimination_backoff_stack.line6737.yml OUT OF MEMORY 711.98 368.62 None elimination_backoff_stack.line674.yml OUT OF MEMORY 813.70 417.71 None elimination_backoff_stack.line6764.yml OUT OF MEMORY 795.58 410.92 None elimination_backoff_stack.line6765.yml OUT OF MEMORY 581.23 298.10 None elimination_backoff_stack.line6777.yml OUT OF MEMORY 586.18 303.14 None elimination_backoff_stack.line6778.yml OUT OF MEMORY 583.65 301.58 None elimination_backoff_stack.line6811.yml OUT OF MEMORY 476.36 246.01 None elimination_backoff_stack.line6812.yml OUT OF MEMORY 660.10 340.52 None elimination_backoff_stack.line6823.yml OUT OF MEMORY 799.56 414.21 None elimination_backoff_stack.line6824.yml TIMEOUT 921.26 486.99 None elimination_backoff_stack.line6842.yml OUT OF MEMORY 641.46 332.43 None elimination_backoff_stack.line6843.yml OUT OF MEMORY 798.14 411.81 None elimination_backoff_stack.line6855.yml OUT OF MEMORY 635.88 329.66 None elimination_backoff_stack.line6856.yml OUT OF MEMORY 715.51 366.74 None elimination_backoff_stack.line687.yml OUT OF MEMORY 618.15 333.54 None elimination_backoff_stack.line688.yml TIMEOUT 915.02 473.96 None elimination_backoff_stack.line6885.yml TIMEOUT 917.25 474.88 None elimination_backoff_stack.line6886.yml OUT OF MEMORY 849.71 435.68 None elimination_backoff_stack.line6904.yml TIMEOUT 914.01 473.50 None elimination_backoff_stack.line6905.yml OUT OF MEMORY 591.45 305.83 None elimination_backoff_stack.line6917.yml OUT OF MEMORY 590.03 302.88 None elimination_backoff_stack.line6918.yml OUT OF MEMORY 530.58 275.50 None elimination_backoff_stack.line6939.yml OUT OF MEMORY 786.30 405.96 None elimination_backoff_stack.line6940.yml OUT OF MEMORY 616.08 321.19 None elimination_backoff_stack.line6949.yml OUT OF MEMORY 784.50 405.37 None elimination_backoff_stack.line6950.yml OUT OF MEMORY 698.84 368.75 None elimination_backoff_stack.line6960.yml OUT OF MEMORY 847.51 439.30 None elimination_backoff_stack.line6961.yml OUT OF MEMORY 600.46 311.40 None elimination_backoff_stack.line697.yml OUT OF MEMORY 51.06 30.05 None elimination_backoff_stack.line6970.yml OUT OF MEMORY 577.31 296.60 None elimination_backoff_stack.line6971.yml OUT OF MEMORY 580.47 304.72 None elimination_backoff_stack.line698.yml OUT OF MEMORY 50.74 29.86 None elimination_backoff_stack.line6982.yml OUT OF MEMORY 575.21 298.64 None elimination_backoff_stack.line6983.yml TIMEOUT 916.59 473.94 None elimination_backoff_stack.line7022.yml TIMEOUT 917.39 474.85 None elimination_backoff_stack.line7023.yml OUT OF MEMORY 807.16 414.33 None elimination_backoff_stack.line7034.yml TIMEOUT 917.09 475.02 None elimination_backoff_stack.line7035.yml OUT OF MEMORY 50.32 28.59 None elimination_backoff_stack.line7046.yml OUT OF MEMORY 589.41 303.51 None elimination_backoff_stack.line7047.yml OUT OF MEMORY 246.62 130.71 None elimination_backoff_stack.line7056.yml OUT OF MEMORY 804.41 413.32 None elimination_backoff_stack.line7057.yml OUT OF MEMORY 46.53 27.27 None elimination_backoff_stack.line7066.yml TIMEOUT 921.24 484.98 None elimination_backoff_stack.line7067.yml OUT OF MEMORY 657.58 350.80 None elimination_backoff_stack.line7077.yml OUT OF MEMORY 66.38 38.99 None elimination_backoff_stack.line7078.yml OUT OF MEMORY 735.22 375.74 None elimination_backoff_stack.line7087.yml OUT OF MEMORY 726.24 377.78 None elimination_backoff_stack.line7088.yml OUT OF MEMORY 502.74 262.69 None elimination_backoff_stack.line709.yml OUT OF MEMORY 838.56 431.65 None elimination_backoff_stack.line710.yml TIMEOUT 918.80 478.15 None elimination_backoff_stack.line7100.yml OUT OF MEMORY 807.69 421.78 None elimination_backoff_stack.line7101.yml OUT OF MEMORY 628.00 323.80 None elimination_backoff_stack.line7136.yml OUT OF MEMORY 744.80 383.65 None elimination_backoff_stack.line7137.yml OUT OF MEMORY 883.71 452.82 None elimination_backoff_stack.line7149.yml TIMEOUT 916.35 473.90 None elimination_backoff_stack.line7150.yml TIMEOUT 916.59 473.40 None elimination_backoff_stack.line7179.yml OUT OF MEMORY 53.25 30.89 None elimination_backoff_stack.line7180.yml OUT OF MEMORY 220.18 118.20 None elimination_backoff_stack.line7191.yml OUT OF MEMORY 692.40 366.51 None elimination_backoff_stack.line7192.yml OUT OF MEMORY 50.03 28.90 None elimination_backoff_stack.line7203.yml OUT OF MEMORY 858.72 441.32 None elimination_backoff_stack.line7204.yml TIMEOUT 913.91 476.60 None elimination_backoff_stack.line7213.yml OUT OF MEMORY 495.81 255.22 None elimination_backoff_stack.line7214.yml OUT OF MEMORY 625.60 322.85 None elimination_backoff_stack.line7223.yml OUT OF MEMORY 592.71 306.45 None elimination_backoff_stack.line7224.yml OUT OF MEMORY 852.59 439.25 None elimination_backoff_stack.line7234.yml OUT OF MEMORY 766.95 397.13 None elimination_backoff_stack.line7235.yml TIMEOUT 900.17 464.76 None elimination_backoff_stack.line7244.yml OUT OF MEMORY 668.81 346.86 None elimination_backoff_stack.line7245.yml OUT OF MEMORY 853.81 437.21 None elimination_backoff_stack.line7257.yml OUT OF MEMORY 487.78 252.18 None elimination_backoff_stack.line7258.yml OUT OF MEMORY 863.07 441.81 None elimination_backoff_stack.line7285.yml OUT OF MEMORY 812.46 423.60 None elimination_backoff_stack.line7286.yml OUT OF MEMORY 825.14 421.19 None elimination_backoff_stack.line7297.yml TIMEOUT 918.57 475.93 None elimination_backoff_stack.line7298.yml OUT OF MEMORY 772.16 395.52 None elimination_backoff_stack.line731.yml OUT OF MEMORY 713.26 364.72 None elimination_backoff_stack.line7310.yml TIMEOUT 921.37 479.63 None elimination_backoff_stack.line7311.yml OUT OF MEMORY 625.23 325.48 None elimination_backoff_stack.line732.yml TIMEOUT 905.62 462.26 None elimination_backoff_stack.line7329.yml OUT OF MEMORY 604.18 316.78 None elimination_backoff_stack.line7330.yml OUT OF MEMORY 813.02 421.77 None elimination_backoff_stack.line7342.yml OUT OF MEMORY 678.98 348.85 None elimination_backoff_stack.line7343.yml OUT OF MEMORY 831.61 431.94 None elimination_backoff_stack.line7376.yml OUT OF MEMORY 758.50 389.28 None elimination_backoff_stack.line7377.yml OUT OF MEMORY 830.87 425.23 None elimination_backoff_stack.line7388.yml OUT OF MEMORY 51.23 29.77 None elimination_backoff_stack.line7389.yml OUT OF MEMORY 786.84 416.65 None elimination_backoff_stack.line7402.yml OUT OF MEMORY 670.49 345.89 None elimination_backoff_stack.line7403.yml OUT OF MEMORY 891.62 455.88 None elimination_backoff_stack.line7412.yml OUT OF MEMORY 615.66 317.45 None elimination_backoff_stack.line7413.yml OUT OF MEMORY 899.95 460.59 None elimination_backoff_stack.line7424.yml OUT OF MEMORY 860.67 444.47 None elimination_backoff_stack.line7425.yml TIMEOUT 917.87 474.15 None elimination_backoff_stack.line744.yml OUT OF MEMORY 615.68 315.71 None elimination_backoff_stack.line7446.yml OUT OF MEMORY 840.28 433.07 None elimination_backoff_stack.line7447.yml OUT OF MEMORY 867.30 453.31 None elimination_backoff_stack.line745.yml TIMEOUT 906.58 462.77 None elimination_backoff_stack.line7459.yml TIMEOUT 913.16 471.47 None elimination_backoff_stack.line7460.yml OUT OF MEMORY 855.40 444.82 None elimination_backoff_stack.line7483.yml OUT OF MEMORY 567.43 295.16 None elimination_backoff_stack.line7484.yml OUT OF MEMORY 731.98 375.35 None elimination_backoff_stack.line7493.yml OUT OF MEMORY 351.47 182.53 None elimination_backoff_stack.line7494.yml OUT OF MEMORY 844.08 442.83 None elimination_backoff_stack.line7504.yml OUT OF MEMORY 583.28 299.87 None elimination_backoff_stack.line7505.yml OUT OF MEMORY 835.51 426.79 None elimination_backoff_stack.line7514.yml OUT OF MEMORY 841.40 435.01 None elimination_backoff_stack.line7515.yml OUT OF MEMORY 834.09 436.14 None elimination_backoff_stack.line7549.yml TIMEOUT 920.92 473.12 None elimination_backoff_stack.line7550.yml OUT OF MEMORY 778.19 399.02 None elimination_backoff_stack.line7565.yml OUT OF MEMORY 206.58 109.60 None elimination_backoff_stack.line7566.yml OUT OF MEMORY 66.35 38.06 None elimination_backoff_stack.line7575.yml TIMEOUT 912.20 474.02 None elimination_backoff_stack.line7576.yml OUT OF MEMORY 798.22 415.11 None elimination_backoff_stack.line7616.yml OUT OF MEMORY 113.16 62.70 None elimination_backoff_stack.line7617.yml OUT OF MEMORY 779.33 400.11 None elimination_backoff_stack.line7656.yml OUT OF MEMORY 623.83 323.81 None elimination_backoff_stack.line7657.yml OUT OF MEMORY 771.20 395.56 None elimination_backoff_stack.line768.yml OUT OF MEMORY 592.98 307.46 None elimination_backoff_stack.line7686.yml TIMEOUT 915.57 476.52 None elimination_backoff_stack.line7687.yml OUT OF MEMORY 669.32 345.04 None elimination_backoff_stack.line769.yml OUT OF MEMORY 798.38 431.11 None elimination_backoff_stack.line7698.yml OUT OF MEMORY 765.66 394.11 None elimination_backoff_stack.line7699.yml OUT OF MEMORY 846.14 439.62 None elimination_backoff_stack.line7711.yml OUT OF MEMORY 769.44 396.29 None elimination_backoff_stack.line7712.yml OUT OF MEMORY 712.22 364.85 None elimination_backoff_stack.line7721.yml OUT OF MEMORY 794.58 406.22 None elimination_backoff_stack.line7722.yml OUT OF MEMORY 722.15 373.71 None elimination_backoff_stack.line7731.yml OUT OF MEMORY 731.31 378.18 None elimination_backoff_stack.line7732.yml OUT OF MEMORY 540.17 277.81 None elimination_backoff_stack.line7743.yml OUT OF MEMORY 55.24 31.53 None elimination_backoff_stack.line7744.yml OUT OF MEMORY 787.08 404.91 None elimination_backoff_stack.line7753.yml TIMEOUT 914.24 470.47 None elimination_backoff_stack.line7754.yml OUT OF MEMORY 48.84 28.35 None elimination_backoff_stack.line7763.yml OUT OF MEMORY 530.42 272.74 None elimination_backoff_stack.line7764.yml OUT OF MEMORY 762.05 388.05 None elimination_backoff_stack.line778.yml TIMEOUT 915.06 472.02 None elimination_backoff_stack.line779.yml OUT OF MEMORY 600.88 316.90 None elimination_backoff_stack.line789.yml TIMEOUT 917.09 475.84 None elimination_backoff_stack.line790.yml OUT OF MEMORY 797.74 411.98 None elimination_backoff_stack.line7975.yml OUT OF MEMORY 866.34 443.63 None elimination_backoff_stack.line7976.yml OUT OF MEMORY 652.64 339.50 None elimination_backoff_stack.line799.yml OUT OF MEMORY 642.87 332.27 None elimination_backoff_stack.line7996.yml OUT OF MEMORY 89.18 50.16 None elimination_backoff_stack.line7997.yml OUT OF MEMORY 643.14 331.92 None elimination_backoff_stack.line800.yml OUT OF MEMORY 853.61 440.33 None elimination_backoff_stack.line8017.yml TIMEOUT 917.40 473.63 None elimination_backoff_stack.line8018.yml OUT OF MEMORY 817.63 416.57 None elimination_backoff_stack.line8028.yml OUT OF MEMORY 671.21 348.49 None elimination_backoff_stack.line8029.yml OUT OF MEMORY 782.99 400.79 None elimination_backoff_stack.line8044.yml OUT OF MEMORY 532.34 280.39 None elimination_backoff_stack.line8045.yml OUT OF MEMORY 737.79 394.37 None elimination_backoff_stack.line8056.yml OUT OF MEMORY 827.76 425.82 None elimination_backoff_stack.line8057.yml OUT OF MEMORY 861.64 443.53 None elimination_backoff_stack.line8069.yml TIMEOUT 915.72 479.55 None elimination_backoff_stack.line8070.yml OUT OF MEMORY 589.15 304.05 None elimination_backoff_stack.line8088.yml OUT OF MEMORY 655.06 340.81 None elimination_backoff_stack.line8089.yml OUT OF MEMORY 516.62 266.51 None elimination_backoff_stack.line8101.yml OUT OF MEMORY 888.77 453.84 None elimination_backoff_stack.line8102.yml OUT OF MEMORY 777.57 400.99 None elimination_backoff_stack.line8135.yml OUT OF MEMORY 715.55 368.64 None elimination_backoff_stack.line8136.yml OUT OF MEMORY 862.18 443.08 None elimination_backoff_stack.line8147.yml OUT OF MEMORY 537.59 279.10 None elimination_backoff_stack.line8148.yml TIMEOUT 916.08 470.76 None elimination_backoff_stack.line8161.yml OUT OF MEMORY 49.90 29.15 None elimination_backoff_stack.line8162.yml OUT OF MEMORY 577.52 296.76 None elimination_backoff_stack.line8171.yml OUT OF MEMORY 819.02 421.89 None elimination_backoff_stack.line8172.yml OUT OF MEMORY 880.96 448.72 None elimination_backoff_stack.line8183.yml OUT OF MEMORY 734.77 377.88 None elimination_backoff_stack.line8184.yml TIMEOUT 910.38 471.02 None elimination_backoff_stack.line8205.yml OUT OF MEMORY 711.66 367.01 None elimination_backoff_stack.line8206.yml OUT OF MEMORY 865.34 444.68 None elimination_backoff_stack.line8218.yml OUT OF MEMORY 727.95 375.36 None elimination_backoff_stack.line8219.yml TIMEOUT 921.19 486.12 None elimination_backoff_stack.line8242.yml OUT OF MEMORY 509.87 263.79 None elimination_backoff_stack.line8243.yml OUT OF MEMORY 885.61 453.58 None elimination_backoff_stack.line8252.yml OUT OF MEMORY 810.03 419.29 None elimination_backoff_stack.line8253.yml OUT OF MEMORY 713.19 363.13 None elimination_backoff_stack.line8263.yml OUT OF MEMORY 774.59 402.29 None elimination_backoff_stack.line8264.yml TIMEOUT 916.46 473.57 None elimination_backoff_stack.line8273.yml OUT OF MEMORY 869.76 457.13 None elimination_backoff_stack.line8274.yml OUT OF MEMORY 547.78 283.43 None elimination_backoff_stack.line8308.yml OUT OF MEMORY 752.31 386.61 None elimination_backoff_stack.line8309.yml OUT OF MEMORY 846.91 433.73 None elimination_backoff_stack.line8324.yml OUT OF MEMORY 53.81 30.85 None elimination_backoff_stack.line8325.yml OUT OF MEMORY 686.09 354.35 None elimination_backoff_stack.line8334.yml OUT OF MEMORY 588.69 306.37 None elimination_backoff_stack.line8335.yml OUT OF MEMORY 46.83 29.29 None elimination_backoff_stack.line834.yml OUT OF MEMORY 92.81 51.58 None elimination_backoff_stack.line835.yml OUT OF MEMORY 796.68 413.28 None elimination_backoff_stack.line8361.yml OUT OF MEMORY 707.62 361.36 None elimination_backoff_stack.line8362.yml TIMEOUT 917.14 476.97 None elimination_backoff_stack.line8374.yml OUT OF MEMORY 699.78 362.71 None elimination_backoff_stack.line8375.yml OUT OF MEMORY 859.28 443.54 None elimination_backoff_stack.line8383.yml OUT OF MEMORY 877.16 449.63 None elimination_backoff_stack.line8384.yml OUT OF MEMORY 676.28 349.43 None elimination_backoff_stack.line8405.yml OUT OF MEMORY 767.74 399.07 None elimination_backoff_stack.line8406.yml OUT OF MEMORY 50.06 29.29 None elimination_backoff_stack.line8418.yml TIMEOUT 917.94 476.01 None elimination_backoff_stack.line8419.yml OUT OF MEMORY 496.43 257.92 None elimination_backoff_stack.line8451.yml OUT OF MEMORY 768.30 397.43 None elimination_backoff_stack.line8452.yml OUT OF MEMORY 586.49 307.82 None elimination_backoff_stack.line8465.yml OUT OF MEMORY 830.13 426.32 None elimination_backoff_stack.line8466.yml OUT OF MEMORY 859.50 439.32 None elimination_backoff_stack.line8479.yml OUT OF MEMORY 507.26 261.39 None elimination_backoff_stack.line8480.yml OUT OF MEMORY 90.69 52.28 None elimination_backoff_stack.line8489.yml OUT OF MEMORY 702.20 363.11 None elimination_backoff_stack.line8490.yml OUT OF MEMORY 849.59 435.38 None elimination_backoff_stack.line850.yml OUT OF MEMORY 822.94 424.03 None elimination_backoff_stack.line851.yml OUT OF MEMORY 878.36 450.53 None elimination_backoff_stack.line8517.yml OUT OF MEMORY 867.36 448.29 None elimination_backoff_stack.line8518.yml OUT OF MEMORY 600.74 310.78 None elimination_backoff_stack.line8530.yml OUT OF MEMORY 517.35 265.51 None elimination_backoff_stack.line8531.yml OUT OF MEMORY 888.41 456.18 None elimination_backoff_stack.line8564.yml OUT OF MEMORY 660.90 351.76 None elimination_backoff_stack.line8565.yml OUT OF MEMORY 520.34 268.11 None elimination_backoff_stack.line8576.yml OUT OF MEMORY 732.19 377.85 None elimination_backoff_stack.line8577.yml OUT OF MEMORY 866.30 444.31 None elimination_backoff_stack.line8595.yml OUT OF MEMORY 840.59 429.73 None elimination_backoff_stack.line8596.yml OUT OF MEMORY 796.61 408.79 None elimination_backoff_stack.line860.yml OUT OF MEMORY 659.82 339.10 None elimination_backoff_stack.line8608.yml TIMEOUT 921.25 483.25 None elimination_backoff_stack.line8609.yml OUT OF MEMORY 721.71 370.54 None elimination_backoff_stack.line861.yml OUT OF MEMORY 867.82 448.81 None elimination_backoff_stack.line8638.yml OUT OF MEMORY 580.23 301.66 None elimination_backoff_stack.line8639.yml OUT OF MEMORY 575.64 295.26 None elimination_backoff_stack.line8657.yml OUT OF MEMORY 672.17 355.11 None elimination_backoff_stack.line8658.yml TIMEOUT 914.93 473.45 None elimination_backoff_stack.line8670.yml OUT OF MEMORY 310.93 164.57 None elimination_backoff_stack.line8671.yml OUT OF MEMORY 790.12 405.25 None elimination_backoff_stack.line8692.yml OUT OF MEMORY 821.18 420.70 None elimination_backoff_stack.line8693.yml OUT OF MEMORY 871.79 449.83 None elimination_backoff_stack.line8702.yml OUT OF MEMORY 611.01 317.35 None elimination_backoff_stack.line8703.yml OUT OF MEMORY 846.26 432.54 None elimination_backoff_stack.line8713.yml OUT OF MEMORY 606.97 313.80 None elimination_backoff_stack.line8714.yml TIMEOUT 917.55 473.57 None elimination_backoff_stack.line8723.yml OUT OF MEMORY 501.11 260.70 None elimination_backoff_stack.line8724.yml OUT OF MEMORY 591.17 305.99 None elimination_backoff_stack.line8735.yml OUT OF MEMORY 572.63 294.01 None elimination_backoff_stack.line8736.yml OUT OF MEMORY 813.04 420.19 None elimination_backoff_stack.line8775.yml OUT OF MEMORY 628.81 335.50 None elimination_backoff_stack.line8776.yml OUT OF MEMORY 777.59 402.27 None elimination_backoff_stack.line8787.yml OUT OF MEMORY 792.99 405.98 None elimination_backoff_stack.line8788.yml OUT OF MEMORY 818.26 420.54 None elimination_backoff_stack.line8799.yml OUT OF MEMORY 864.28 446.92 None elimination_backoff_stack.line8800.yml OUT OF MEMORY 522.95 271.33 None elimination_backoff_stack.line8809.yml TIMEOUT 910.97 469.09 None elimination_backoff_stack.line8810.yml TIMEOUT 921.32 481.96 None elimination_backoff_stack.line8819.yml OUT OF MEMORY 754.69 389.09 None elimination_backoff_stack.line8820.yml OUT OF MEMORY 583.86 298.51 None elimination_backoff_stack.line8830.yml OUT OF MEMORY 765.47 396.46 None elimination_backoff_stack.line8831.yml OUT OF MEMORY 890.35 453.33 None elimination_backoff_stack.line8840.yml OUT OF MEMORY 749.34 502.00 None elimination_backoff_stack.line8841.yml TIMEOUT 921.30 540.89 None elimination_backoff_stack.line8853.yml OUT OF MEMORY 748.39 392.27 None elimination_backoff_stack.line8854.yml OUT OF MEMORY 732.32 377.68 None elimination_backoff_stack.line887.yml OUT OF MEMORY 692.16 361.03 None elimination_backoff_stack.line888.yml OUT OF MEMORY 148.90 91.16 None elimination_backoff_stack.line8889.yml TIMEOUT 916.62 518.84 None elimination_backoff_stack.line8890.yml TIMEOUT 916.36 576.12 None elimination_backoff_stack.line8902.yml OUT OF MEMORY 825.46 443.55 None elimination_backoff_stack.line8903.yml OUT OF MEMORY 631.02 328.30 None elimination_backoff_stack.line8932.yml OUT OF MEMORY 734.86 469.47 None elimination_backoff_stack.line8933.yml OUT OF MEMORY 815.35 435.01 None elimination_backoff_stack.line8944.yml OUT OF MEMORY 596.42 314.78 None elimination_backoff_stack.line8945.yml OUT OF MEMORY 787.32 420.01 None elimination_backoff_stack.line8956.yml TIMEOUT 919.05 476.26 None elimination_backoff_stack.line8957.yml TIMEOUT 921.41 487.44 None elimination_backoff_stack.line8966.yml OUT OF MEMORY 659.40 342.90 None elimination_backoff_stack.line8967.yml OUT OF MEMORY 782.24 401.46 None elimination_backoff_stack.line8976.yml TIMEOUT 920.95 589.12 None elimination_backoff_stack.line8977.yml TIMEOUT 915.60 520.87 None elimination_backoff_stack.line8987.yml OUT OF MEMORY 628.42 324.40 None elimination_backoff_stack.line8988.yml OUT OF MEMORY 805.40 417.44 None elimination_backoff_stack.line8997.yml TIMEOUT 919.92 497.17 None elimination_backoff_stack.line8998.yml OUT OF MEMORY 658.20 343.70 None elimination_backoff_stack.line900.yml OUT OF MEMORY 652.53 336.39 None elimination_backoff_stack.line901.yml OUT OF MEMORY 498.54 289.46 None elimination_backoff_stack.line9010.yml OUT OF MEMORY 821.10 426.09 None elimination_backoff_stack.line9011.yml TIMEOUT 918.43 573.80 None elimination_backoff_stack.line9038.yml OUT OF MEMORY 748.49 390.26 None elimination_backoff_stack.line9039.yml OUT OF MEMORY 606.84 313.57 None elimination_backoff_stack.line9050.yml TIMEOUT 915.53 471.66 None elimination_backoff_stack.line9051.yml OUT OF MEMORY 631.89 326.86 None elimination_backoff_stack.line9063.yml OUT OF MEMORY 812.32 419.06 None elimination_backoff_stack.line9064.yml OUT OF MEMORY 713.28 457.11 None elimination_backoff_stack.line9082.yml OUT OF MEMORY 559.12 290.79 None elimination_backoff_stack.line9083.yml OUT OF MEMORY 887.53 460.65 None elimination_backoff_stack.line9095.yml TIMEOUT 909.96 519.85 None elimination_backoff_stack.line9096.yml TIMEOUT 913.30 474.40 None ------------------------------------------------------------------------------------------------------- Run set 3 done 210964.51 8127.18 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk21 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk21 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk21 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk21 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk21 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk21 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk21 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk21 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk21 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk21 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk21 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk21 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk21 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk21 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk21 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk21 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)