BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk24, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk24, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk24 date: Mon, 2022-10-24 04:52:54 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-chunk24 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.line10361.yml OUT OF MEMORY 749.83 405.73 None elimination_backoff_stack.line10362.yml OUT OF MEMORY 556.63 304.11 None elimination_backoff_stack.line10391.yml OUT OF MEMORY 694.80 370.58 None elimination_backoff_stack.line10392.yml OUT OF MEMORY 509.45 277.71 None elimination_backoff_stack.line10410.yml OUT OF MEMORY 615.72 343.35 None elimination_backoff_stack.line10411.yml OUT OF MEMORY 743.68 403.65 None elimination_backoff_stack.line10423.yml OUT OF MEMORY 672.63 361.26 None elimination_backoff_stack.line10424.yml OUT OF MEMORY 503.02 272.55 None elimination_backoff_stack.line1043.yml OUT OF MEMORY 683.82 368.27 None elimination_backoff_stack.line1044.yml OUT OF MEMORY 448.31 244.33 None elimination_backoff_stack.line10445.yml OUT OF MEMORY 491.37 273.48 None elimination_backoff_stack.line10446.yml OUT OF MEMORY 490.09 267.32 None elimination_backoff_stack.line10455.yml OUT OF MEMORY 501.61 275.60 None elimination_backoff_stack.line10456.yml OUT OF MEMORY 524.20 292.65 None elimination_backoff_stack.line10466.yml OUT OF MEMORY 384.07 210.79 None elimination_backoff_stack.line10467.yml OUT OF MEMORY 234.85 134.95 None elimination_backoff_stack.line10476.yml OUT OF MEMORY 493.99 265.87 None elimination_backoff_stack.line10477.yml OUT OF MEMORY 648.88 359.75 None elimination_backoff_stack.line10488.yml OUT OF MEMORY 643.66 356.98 None elimination_backoff_stack.line10489.yml OUT OF MEMORY 392.21 214.98 None elimination_backoff_stack.line10528.yml OUT OF MEMORY 466.04 255.17 None elimination_backoff_stack.line10529.yml OUT OF MEMORY 553.85 302.08 None elimination_backoff_stack.line10540.yml OUT OF MEMORY 716.68 403.40 None elimination_backoff_stack.line10541.yml OUT OF MEMORY 567.63 303.23 None elimination_backoff_stack.line10552.yml OUT OF MEMORY 560.00 300.51 None elimination_backoff_stack.line10553.yml OUT OF MEMORY 565.93 301.60 None elimination_backoff_stack.line1056.yml OUT OF MEMORY 598.38 327.18 None elimination_backoff_stack.line10562.yml OUT OF MEMORY 610.14 347.09 None elimination_backoff_stack.line10563.yml OUT OF MEMORY 737.87 406.48 None elimination_backoff_stack.line1057.yml OUT OF MEMORY 325.94 181.59 None elimination_backoff_stack.line10572.yml OUT OF MEMORY 437.00 244.40 None elimination_backoff_stack.line10573.yml OUT OF MEMORY 785.31 418.83 None elimination_backoff_stack.line10583.yml OUT OF MEMORY 410.17 229.61 None elimination_backoff_stack.line10584.yml OUT OF MEMORY 452.00 249.09 None elimination_backoff_stack.line10593.yml OUT OF MEMORY 372.83 213.02 None elimination_backoff_stack.line10594.yml OUT OF MEMORY 461.36 256.95 None elimination_backoff_stack.line10606.yml OUT OF MEMORY 385.07 212.21 None elimination_backoff_stack.line10607.yml OUT OF MEMORY 478.16 258.71 None elimination_backoff_stack.line10642.yml OUT OF MEMORY 487.59 262.54 None elimination_backoff_stack.line10643.yml OUT OF MEMORY 565.90 302.28 None elimination_backoff_stack.line10655.yml OUT OF MEMORY 616.07 332.20 None elimination_backoff_stack.line10656.yml OUT OF MEMORY 390.72 215.76 None elimination_backoff_stack.line10685.yml OUT OF MEMORY 699.73 384.85 None elimination_backoff_stack.line10686.yml OUT OF MEMORY 546.91 306.44 None elimination_backoff_stack.line10697.yml OUT OF MEMORY 621.10 339.68 None elimination_backoff_stack.line10698.yml OUT OF MEMORY 525.00 290.69 None elimination_backoff_stack.line10709.yml TIMEOUT 909.06 503.09 None elimination_backoff_stack.line10710.yml OUT OF MEMORY 368.34 203.36 None elimination_backoff_stack.line10719.yml OUT OF MEMORY 490.00 268.90 None elimination_backoff_stack.line10720.yml OUT OF MEMORY 610.79 334.04 None elimination_backoff_stack.line10729.yml OUT OF MEMORY 535.77 287.65 None elimination_backoff_stack.line10730.yml OUT OF MEMORY 787.84 416.19 None elimination_backoff_stack.line10740.yml OUT OF MEMORY 446.08 245.43 None elimination_backoff_stack.line10741.yml OUT OF MEMORY 404.94 221.63 None elimination_backoff_stack.line10750.yml OUT OF MEMORY 588.32 314.10 None elimination_backoff_stack.line10751.yml OUT OF MEMORY 324.39 178.86 None elimination_backoff_stack.line10763.yml OUT OF MEMORY 469.17 259.30 None elimination_backoff_stack.line10764.yml OUT OF MEMORY 610.55 330.79 None elimination_backoff_stack.line10791.yml OUT OF MEMORY 438.99 252.19 None elimination_backoff_stack.line10792.yml OUT OF MEMORY 456.13 252.92 None elimination_backoff_stack.line10803.yml OUT OF MEMORY 721.95 385.64 None elimination_backoff_stack.line10804.yml OUT OF MEMORY 697.90 386.26 None elimination_backoff_stack.line10816.yml OUT OF MEMORY 612.73 325.45 None elimination_backoff_stack.line10817.yml OUT OF MEMORY 387.82 214.57 None elimination_backoff_stack.line10835.yml OUT OF MEMORY 501.04 270.36 None elimination_backoff_stack.line10836.yml OUT OF MEMORY 444.25 251.04 None elimination_backoff_stack.line10848.yml OUT OF MEMORY 368.55 203.15 None elimination_backoff_stack.line10849.yml OUT OF MEMORY 573.87 306.04 None elimination_backoff_stack.line10882.yml OUT OF MEMORY 613.63 344.12 None elimination_backoff_stack.line10883.yml OUT OF MEMORY 111.92 63.90 None elimination_backoff_stack.line10894.yml OUT OF MEMORY 463.13 269.25 None elimination_backoff_stack.line10895.yml OUT OF MEMORY 436.05 250.32 None elimination_backoff_stack.line1090.yml OUT OF MEMORY 473.55 260.02 None elimination_backoff_stack.line10908.yml OUT OF MEMORY 548.29 297.59 None elimination_backoff_stack.line10909.yml OUT OF MEMORY 728.23 387.47 None elimination_backoff_stack.line1091.yml OUT OF MEMORY 407.42 223.92 None elimination_backoff_stack.line10918.yml OUT OF MEMORY 445.61 241.59 None elimination_backoff_stack.line10919.yml OUT OF MEMORY 493.46 272.86 None elimination_backoff_stack.line10930.yml OUT OF MEMORY 467.55 254.00 None elimination_backoff_stack.line10931.yml OUT OF MEMORY 585.37 312.75 None elimination_backoff_stack.line10952.yml OUT OF MEMORY 693.19 378.69 None elimination_backoff_stack.line10953.yml OUT OF MEMORY 590.31 334.81 None elimination_backoff_stack.line10965.yml OUT OF MEMORY 567.42 303.24 None elimination_backoff_stack.line10966.yml OUT OF MEMORY 659.74 365.89 None elimination_backoff_stack.line10989.yml OUT OF MEMORY 477.94 264.89 None elimination_backoff_stack.line10990.yml OUT OF MEMORY 448.01 248.29 None elimination_backoff_stack.line10999.yml OUT OF MEMORY 381.96 211.46 None elimination_backoff_stack.line11000.yml OUT OF MEMORY 518.40 299.22 None elimination_backoff_stack.line11010.yml OUT OF MEMORY 330.50 183.82 None elimination_backoff_stack.line11011.yml OUT OF MEMORY 395.19 219.34 None elimination_backoff_stack.line1102.yml OUT OF MEMORY 652.01 349.33 None elimination_backoff_stack.line11020.yml OUT OF MEMORY 677.39 368.00 None elimination_backoff_stack.line11021.yml OUT OF MEMORY 548.99 293.73 None elimination_backoff_stack.line1103.yml OUT OF MEMORY 547.45 294.13 None elimination_backoff_stack.line11055.yml OUT OF MEMORY 363.05 201.34 None elimination_backoff_stack.line11056.yml OUT OF MEMORY 561.15 314.00 None elimination_backoff_stack.line11071.yml OUT OF MEMORY 353.85 195.33 None elimination_backoff_stack.line11072.yml OUT OF MEMORY 469.22 258.91 None elimination_backoff_stack.line11081.yml OUT OF MEMORY 397.90 225.23 None elimination_backoff_stack.line11082.yml OUT OF MEMORY 705.63 379.61 None elimination_backoff_stack.line11122.yml OUT OF MEMORY 552.59 294.92 None elimination_backoff_stack.line11123.yml OUT OF MEMORY 605.30 324.52 None elimination_backoff_stack.line11162.yml OUT OF MEMORY 436.30 242.19 None elimination_backoff_stack.line11163.yml OUT OF MEMORY 622.43 348.40 None elimination_backoff_stack.line11192.yml OUT OF MEMORY 337.55 188.57 None elimination_backoff_stack.line11193.yml OUT OF MEMORY 511.35 275.18 None elimination_backoff_stack.line11204.yml OUT OF MEMORY 559.00 297.91 None elimination_backoff_stack.line11205.yml OUT OF MEMORY 548.05 293.16 None elimination_backoff_stack.line1121.yml OUT OF MEMORY 527.86 296.22 None elimination_backoff_stack.line11217.yml OUT OF MEMORY 502.44 271.15 None elimination_backoff_stack.line11218.yml OUT OF MEMORY 347.68 197.97 None elimination_backoff_stack.line1122.yml OUT OF MEMORY 460.12 253.02 None elimination_backoff_stack.line11227.yml OUT OF MEMORY 729.26 404.38 None elimination_backoff_stack.line11228.yml OUT OF MEMORY 512.36 274.02 None elimination_backoff_stack.line11237.yml OUT OF MEMORY 642.99 358.13 None elimination_backoff_stack.line11238.yml OUT OF MEMORY 589.54 318.06 None elimination_backoff_stack.line11249.yml OUT OF MEMORY 554.47 298.18 None elimination_backoff_stack.line11250.yml OUT OF MEMORY 676.47 364.96 None elimination_backoff_stack.line11259.yml OUT OF MEMORY 502.97 277.91 None elimination_backoff_stack.line11260.yml OUT OF MEMORY 655.96 364.67 None elimination_backoff_stack.line11269.yml OUT OF MEMORY 552.05 299.68 None elimination_backoff_stack.line11270.yml OUT OF MEMORY 615.46 329.33 None elimination_backoff_stack.line1134.yml OUT OF MEMORY 559.10 299.83 None elimination_backoff_stack.line1135.yml OUT OF MEMORY 625.38 332.16 None elimination_backoff_stack.line11481.yml OUT OF MEMORY 415.13 230.59 None elimination_backoff_stack.line11482.yml OUT OF MEMORY 504.00 282.85 None elimination_backoff_stack.line11502.yml OUT OF MEMORY 647.23 341.87 None elimination_backoff_stack.line11503.yml OUT OF MEMORY 448.59 245.31 None elimination_backoff_stack.line11523.yml OUT OF MEMORY 663.94 354.86 None elimination_backoff_stack.line11524.yml OUT OF MEMORY 494.41 280.97 None elimination_backoff_stack.line11534.yml OUT OF MEMORY 548.62 306.66 None elimination_backoff_stack.line11535.yml OUT OF MEMORY 631.97 347.92 None elimination_backoff_stack.line11550.yml OUT OF MEMORY 93.66 56.76 None elimination_backoff_stack.line11551.yml OUT OF MEMORY 389.29 214.25 None elimination_backoff_stack.line11562.yml OUT OF MEMORY 870.93 462.62 None elimination_backoff_stack.line11563.yml OUT OF MEMORY 536.03 293.58 None elimination_backoff_stack.line11575.yml OUT OF MEMORY 588.23 314.12 None elimination_backoff_stack.line11576.yml OUT OF MEMORY 614.02 342.80 None elimination_backoff_stack.line11594.yml OUT OF MEMORY 480.48 277.43 None elimination_backoff_stack.line11595.yml OUT OF MEMORY 466.95 252.24 None elimination_backoff_stack.line11607.yml OUT OF MEMORY 591.59 314.41 None elimination_backoff_stack.line11608.yml OUT OF MEMORY 443.44 243.20 None elimination_backoff_stack.line1164.yml OUT OF MEMORY 710.06 376.28 None elimination_backoff_stack.line11641.yml OUT OF MEMORY 564.45 313.62 None elimination_backoff_stack.line11642.yml OUT OF MEMORY 388.06 213.46 None elimination_backoff_stack.line1165.yml OUT OF MEMORY 622.73 349.00 None elimination_backoff_stack.line11653.yml OUT OF MEMORY 465.81 252.99 None elimination_backoff_stack.line11654.yml OUT OF MEMORY 576.55 315.08 None elimination_backoff_stack.line11667.yml OUT OF MEMORY 471.88 255.88 None elimination_backoff_stack.line11668.yml OUT OF MEMORY 704.83 380.17 None elimination_backoff_stack.line11677.yml OUT OF MEMORY 498.11 276.16 None elimination_backoff_stack.line11678.yml OUT OF MEMORY 554.86 295.43 None elimination_backoff_stack.line11689.yml OUT OF MEMORY 390.97 217.42 None elimination_backoff_stack.line11690.yml OUT OF MEMORY 567.95 316.41 None elimination_backoff_stack.line11711.yml OUT OF MEMORY 593.55 315.47 None elimination_backoff_stack.line11712.yml OUT OF MEMORY 394.90 216.17 None elimination_backoff_stack.line11724.yml OUT OF MEMORY 472.17 259.62 None elimination_backoff_stack.line11725.yml OUT OF MEMORY 727.16 405.07 None elimination_backoff_stack.line11748.yml OUT OF MEMORY 432.96 237.77 None elimination_backoff_stack.line11749.yml OUT OF MEMORY 487.55 262.46 None elimination_backoff_stack.line11758.yml OUT OF MEMORY 505.19 272.40 None elimination_backoff_stack.line11759.yml OUT OF MEMORY 610.24 340.75 None elimination_backoff_stack.line11769.yml OUT OF MEMORY 441.97 241.85 None elimination_backoff_stack.line11770.yml OUT OF MEMORY 413.67 230.66 None elimination_backoff_stack.line11779.yml OUT OF MEMORY 366.82 208.41 None elimination_backoff_stack.line11780.yml OUT OF MEMORY 334.81 187.40 None elimination_backoff_stack.line11814.yml OUT OF MEMORY 740.51 390.26 None elimination_backoff_stack.line11815.yml OUT OF MEMORY 735.56 403.33 None elimination_backoff_stack.line1183.yml OUT OF MEMORY 463.38 258.21 None elimination_backoff_stack.line11830.yml OUT OF MEMORY 607.19 326.08 None elimination_backoff_stack.line11831.yml OUT OF MEMORY 850.41 457.04 None elimination_backoff_stack.line1184.yml OUT OF MEMORY 575.93 312.01 None elimination_backoff_stack.line11840.yml OUT OF MEMORY 502.14 269.90 None elimination_backoff_stack.line11841.yml OUT OF MEMORY 419.36 230.30 None elimination_backoff_stack.line11867.yml OUT OF MEMORY 426.60 238.27 None elimination_backoff_stack.line11868.yml OUT OF MEMORY 594.50 323.19 None elimination_backoff_stack.line11880.yml OUT OF MEMORY 461.42 257.22 None elimination_backoff_stack.line11881.yml OUT OF MEMORY 463.75 251.38 None elimination_backoff_stack.line11889.yml OUT OF MEMORY 828.82 453.61 None elimination_backoff_stack.line11890.yml TIMEOUT 901.61 497.78 None elimination_backoff_stack.line11911.yml OUT OF MEMORY 663.79 360.86 None elimination_backoff_stack.line11912.yml OUT OF MEMORY 583.61 309.19 None elimination_backoff_stack.line11924.yml OUT OF MEMORY 479.67 259.93 None elimination_backoff_stack.line11925.yml OUT OF MEMORY 412.38 225.41 None elimination_backoff_stack.line11957.yml OUT OF MEMORY 505.66 279.44 None elimination_backoff_stack.line11958.yml OUT OF MEMORY 503.96 272.96 None elimination_backoff_stack.line1196.yml OUT OF MEMORY 488.38 262.12 None elimination_backoff_stack.line1197.yml OUT OF MEMORY 390.84 215.91 None elimination_backoff_stack.line11971.yml OUT OF MEMORY 541.29 290.30 None elimination_backoff_stack.line11972.yml OUT OF MEMORY 503.57 281.83 None elimination_backoff_stack.line11985.yml OUT OF MEMORY 397.42 223.21 None elimination_backoff_stack.line11986.yml OUT OF MEMORY 683.93 378.18 None elimination_backoff_stack.line11995.yml OUT OF MEMORY 366.82 203.72 None elimination_backoff_stack.line11996.yml OUT OF MEMORY 692.60 437.51 None elimination_backoff_stack.line12023.yml OUT OF MEMORY 427.20 235.82 None elimination_backoff_stack.line12024.yml OUT OF MEMORY 658.74 371.98 None elimination_backoff_stack.line12036.yml OUT OF MEMORY 608.32 321.01 None elimination_backoff_stack.line12037.yml OUT OF MEMORY 749.08 418.62 None elimination_backoff_stack.line12070.yml OUT OF MEMORY 414.01 242.48 None elimination_backoff_stack.line12071.yml OUT OF MEMORY 513.90 338.72 None elimination_backoff_stack.line12082.yml OUT OF MEMORY 663.82 531.59 None elimination_backoff_stack.line12083.yml OUT OF MEMORY 562.13 366.53 None elimination_backoff_stack.line12101.yml OUT OF MEMORY 431.58 255.44 None elimination_backoff_stack.line12102.yml OUT OF MEMORY 491.11 309.24 None elimination_backoff_stack.line12114.yml OUT OF MEMORY 556.46 340.70 None elimination_backoff_stack.line12115.yml OUT OF MEMORY 430.25 240.67 None elimination_backoff_stack.line12144.yml OUT OF MEMORY 782.50 419.00 None elimination_backoff_stack.line12145.yml OUT OF MEMORY 444.59 243.58 None elimination_backoff_stack.line12163.yml OUT OF MEMORY 653.68 354.16 None elimination_backoff_stack.line12164.yml OUT OF MEMORY 695.51 393.29 None elimination_backoff_stack.line12176.yml OUT OF MEMORY 571.47 304.06 None elimination_backoff_stack.line12177.yml OUT OF MEMORY 756.10 440.34 None elimination_backoff_stack.line1218.yml OUT OF MEMORY 537.47 299.42 None elimination_backoff_stack.line1219.yml OUT OF MEMORY 666.80 386.29 None elimination_backoff_stack.line12198.yml OUT OF MEMORY 463.28 252.02 None elimination_backoff_stack.line12199.yml OUT OF MEMORY 823.47 480.26 None elimination_backoff_stack.line12208.yml OUT OF MEMORY 759.95 448.98 None elimination_backoff_stack.line12209.yml OUT OF MEMORY 680.77 375.07 None elimination_backoff_stack.line12219.yml OUT OF MEMORY 773.85 436.72 None elimination_backoff_stack.line12220.yml OUT OF MEMORY 276.54 157.14 None elimination_backoff_stack.line12229.yml OUT OF MEMORY 792.99 629.97 None elimination_backoff_stack.line12230.yml OUT OF MEMORY 475.56 260.47 None elimination_backoff_stack.line12241.yml OUT OF MEMORY 449.23 245.76 None elimination_backoff_stack.line12242.yml OUT OF MEMORY 565.83 301.63 None elimination_backoff_stack.line1228.yml OUT OF MEMORY 631.09 346.31 None elimination_backoff_stack.line12281.yml OUT OF MEMORY 415.49 229.73 None elimination_backoff_stack.line12282.yml OUT OF MEMORY 487.52 275.13 None elimination_backoff_stack.line1229.yml OUT OF MEMORY 475.01 276.58 None elimination_backoff_stack.line12293.yml OUT OF MEMORY 568.68 337.32 None elimination_backoff_stack.line12294.yml OUT OF MEMORY 600.15 402.69 None elimination_backoff_stack.line12305.yml OUT OF MEMORY 719.97 408.37 None elimination_backoff_stack.line12306.yml OUT OF MEMORY 691.76 380.61 None elimination_backoff_stack.line12315.yml OUT OF MEMORY 658.13 435.32 None elimination_backoff_stack.line12316.yml OUT OF MEMORY 463.61 253.31 None elimination_backoff_stack.line12325.yml OUT OF MEMORY 764.83 447.20 None elimination_backoff_stack.line12326.yml OUT OF MEMORY 392.67 219.69 None elimination_backoff_stack.line12336.yml OUT OF MEMORY 598.07 412.15 None elimination_backoff_stack.line12337.yml OUT OF MEMORY 580.95 311.06 None elimination_backoff_stack.line12346.yml OUT OF MEMORY 643.62 361.55 None elimination_backoff_stack.line12347.yml OUT OF MEMORY 698.75 383.90 None elimination_backoff_stack.line12359.yml OUT OF MEMORY 442.22 245.84 None elimination_backoff_stack.line12360.yml OUT OF MEMORY 585.14 316.50 None elimination_backoff_stack.line1239.yml OUT OF MEMORY 745.26 450.92 None elimination_backoff_stack.line12395.yml OUT OF MEMORY 460.29 251.12 None elimination_backoff_stack.line12396.yml OUT OF MEMORY 570.01 374.35 None elimination_backoff_stack.line1240.yml OUT OF MEMORY 870.88 626.64 None elimination_backoff_stack.line12408.yml OUT OF MEMORY 514.75 277.74 None elimination_backoff_stack.line12409.yml OUT OF MEMORY 521.35 282.43 None elimination_backoff_stack.line12438.yml OUT OF MEMORY 495.80 266.68 None elimination_backoff_stack.line12439.yml OUT OF MEMORY 694.94 375.40 None elimination_backoff_stack.line12450.yml OUT OF MEMORY 756.62 469.30 None elimination_backoff_stack.line12451.yml OUT OF MEMORY 593.08 337.14 None elimination_backoff_stack.line12462.yml OUT OF MEMORY 646.07 403.58 None elimination_backoff_stack.line12463.yml OUT OF MEMORY 800.24 460.73 None elimination_backoff_stack.line12472.yml OUT OF MEMORY 563.49 317.93 None elimination_backoff_stack.line12473.yml OUT OF MEMORY 384.79 213.95 None elimination_backoff_stack.line12482.yml OUT OF MEMORY 513.85 282.68 None elimination_backoff_stack.line12483.yml OUT OF MEMORY 654.22 358.24 None elimination_backoff_stack.line1249.yml OUT OF MEMORY 642.17 347.64 None elimination_backoff_stack.line12493.yml OUT OF MEMORY 499.05 267.77 None elimination_backoff_stack.line12494.yml OUT OF MEMORY 675.31 373.81 None elimination_backoff_stack.line1250.yml OUT OF MEMORY 756.88 413.75 None elimination_backoff_stack.line12503.yml OUT OF MEMORY 226.07 130.63 None elimination_backoff_stack.line12504.yml OUT OF MEMORY 418.89 230.29 None elimination_backoff_stack.line12516.yml OUT OF MEMORY 554.36 306.26 None elimination_backoff_stack.line12517.yml OUT OF MEMORY 667.99 368.68 None elimination_backoff_stack.line12544.yml OUT OF MEMORY 336.11 186.75 None elimination_backoff_stack.line12545.yml OUT OF MEMORY 361.27 202.81 None elimination_backoff_stack.line12556.yml OUT OF MEMORY 595.39 319.74 None elimination_backoff_stack.line12557.yml OUT OF MEMORY 492.16 264.78 None elimination_backoff_stack.line12569.yml OUT OF MEMORY 630.11 350.01 None elimination_backoff_stack.line12570.yml OUT OF MEMORY 523.42 279.49 None elimination_backoff_stack.line12588.yml OUT OF MEMORY 469.17 263.76 None elimination_backoff_stack.line12589.yml OUT OF MEMORY 376.90 217.46 None elimination_backoff_stack.line12601.yml OUT OF MEMORY 473.53 259.61 None elimination_backoff_stack.line12602.yml OUT OF MEMORY 425.52 233.63 None elimination_backoff_stack.line1261.yml OUT OF MEMORY 376.25 207.74 None elimination_backoff_stack.line1262.yml OUT OF MEMORY 383.92 215.16 None elimination_backoff_stack.line12635.yml OUT OF MEMORY 536.66 286.23 None elimination_backoff_stack.line12636.yml OUT OF MEMORY 627.66 343.36 None elimination_backoff_stack.line12647.yml OUT OF MEMORY 546.36 291.85 None elimination_backoff_stack.line12648.yml OUT OF MEMORY 538.64 287.72 None elimination_backoff_stack.line12661.yml OUT OF MEMORY 490.98 273.88 None elimination_backoff_stack.line12662.yml OUT OF MEMORY 517.43 293.28 None elimination_backoff_stack.line12671.yml OUT OF MEMORY 413.39 227.47 None elimination_backoff_stack.line12672.yml OUT OF MEMORY 488.20 275.20 None elimination_backoff_stack.line12683.yml OUT OF MEMORY 430.03 234.06 None elimination_backoff_stack.line12684.yml OUT OF MEMORY 555.92 308.38 None elimination_backoff_stack.line12705.yml OUT OF MEMORY 536.06 293.07 None elimination_backoff_stack.line12706.yml OUT OF MEMORY 452.01 245.07 None elimination_backoff_stack.line12718.yml OUT OF MEMORY 54.67 33.44 None elimination_backoff_stack.line12719.yml OUT OF MEMORY 552.82 312.83 None elimination_backoff_stack.line12742.yml OUT OF MEMORY 569.67 308.57 None elimination_backoff_stack.line12743.yml OUT OF MEMORY 513.26 274.12 None elimination_backoff_stack.line12752.yml OUT OF MEMORY 513.40 274.74 None elimination_backoff_stack.line12753.yml OUT OF MEMORY 482.77 264.82 None elimination_backoff_stack.line12763.yml OUT OF MEMORY 462.47 249.11 None elimination_backoff_stack.line12764.yml OUT OF MEMORY 398.92 220.82 None elimination_backoff_stack.line12773.yml OUT OF MEMORY 313.75 176.60 None elimination_backoff_stack.line12774.yml OUT OF MEMORY 548.49 292.96 None -------------------------------------------------------------------------------------------------------- Run set 1 done 161834.47 6591.45 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk24 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.line10361.yml OUT OF MEMORY 498.73 276.08 None elimination_backoff_stack.line10362.yml OUT OF MEMORY 507.47 280.56 None elimination_backoff_stack.line10391.yml OUT OF MEMORY 100.24 56.49 None elimination_backoff_stack.line10392.yml OUT OF MEMORY 433.37 237.43 None elimination_backoff_stack.line10410.yml OUT OF MEMORY 841.66 461.34 None elimination_backoff_stack.line10411.yml OUT OF MEMORY 527.56 298.07 None elimination_backoff_stack.line10423.yml OUT OF MEMORY 64.30 37.56 None elimination_backoff_stack.line10424.yml OUT OF MEMORY 610.11 326.22 None elimination_backoff_stack.line1043.yml OUT OF MEMORY 62.12 36.51 None elimination_backoff_stack.line1044.yml OUT OF MEMORY 439.87 240.42 None elimination_backoff_stack.line10445.yml OUT OF MEMORY 521.23 285.44 None elimination_backoff_stack.line10446.yml OUT OF MEMORY 427.79 235.48 None elimination_backoff_stack.line10455.yml OUT OF MEMORY 59.99 38.11 None elimination_backoff_stack.line10456.yml OUT OF MEMORY 84.92 51.72 None elimination_backoff_stack.line10466.yml OUT OF MEMORY 612.73 326.91 None elimination_backoff_stack.line10467.yml OUT OF MEMORY 546.27 294.40 None elimination_backoff_stack.line10476.yml OUT OF MEMORY 519.44 287.58 None elimination_backoff_stack.line10477.yml OUT OF MEMORY 530.36 290.56 None elimination_backoff_stack.line10488.yml OUT OF MEMORY 546.39 293.28 None elimination_backoff_stack.line10489.yml OUT OF MEMORY 390.71 219.07 None elimination_backoff_stack.line10528.yml OUT OF MEMORY 222.78 127.21 None elimination_backoff_stack.line10529.yml OUT OF MEMORY 359.63 201.29 None elimination_backoff_stack.line10540.yml OUT OF MEMORY 548.22 306.31 None elimination_backoff_stack.line10541.yml OUT OF MEMORY 489.89 269.61 None elimination_backoff_stack.line10552.yml OUT OF MEMORY 464.13 262.72 None elimination_backoff_stack.line10553.yml OUT OF MEMORY 515.49 286.01 None elimination_backoff_stack.line1056.yml OUT OF MEMORY 353.01 197.58 None elimination_backoff_stack.line10562.yml OUT OF MEMORY 552.35 298.79 None elimination_backoff_stack.line10563.yml OUT OF MEMORY 538.61 291.45 None elimination_backoff_stack.line1057.yml OUT OF MEMORY 169.74 100.11 None elimination_backoff_stack.line10572.yml OUT OF MEMORY 72.12 41.89 None elimination_backoff_stack.line10573.yml OUT OF MEMORY 72.24 41.76 None elimination_backoff_stack.line10583.yml OUT OF MEMORY 518.88 282.91 None elimination_backoff_stack.line10584.yml OUT OF MEMORY 760.22 400.10 None elimination_backoff_stack.line10593.yml OUT OF MEMORY 572.90 306.44 None elimination_backoff_stack.line10594.yml OUT OF MEMORY 350.46 195.34 None elimination_backoff_stack.line10606.yml OUT OF MEMORY 451.31 251.79 None elimination_backoff_stack.line10607.yml OUT OF MEMORY 384.70 211.74 None elimination_backoff_stack.line10642.yml OUT OF MEMORY 609.31 342.80 None elimination_backoff_stack.line10643.yml OUT OF MEMORY 176.64 106.25 None elimination_backoff_stack.line10655.yml OUT OF MEMORY 462.90 257.11 None elimination_backoff_stack.line10656.yml OUT OF MEMORY 474.55 263.57 None elimination_backoff_stack.line10685.yml OUT OF MEMORY 538.91 298.97 None elimination_backoff_stack.line10686.yml OUT OF MEMORY 692.26 386.90 None elimination_backoff_stack.line10697.yml OUT OF MEMORY 63.51 37.60 None elimination_backoff_stack.line10698.yml OUT OF MEMORY 753.43 399.24 None elimination_backoff_stack.line10709.yml OUT OF MEMORY 66.37 41.56 None elimination_backoff_stack.line10710.yml OUT OF MEMORY 670.53 356.01 None elimination_backoff_stack.line10719.yml OUT OF MEMORY 339.96 189.86 None elimination_backoff_stack.line10720.yml OUT OF MEMORY 462.63 252.91 None elimination_backoff_stack.line10729.yml OUT OF MEMORY 476.24 262.42 None elimination_backoff_stack.line10730.yml OUT OF MEMORY 233.26 133.81 None elimination_backoff_stack.line10740.yml OUT OF MEMORY 507.96 279.73 None elimination_backoff_stack.line10741.yml OUT OF MEMORY 546.40 294.50 None elimination_backoff_stack.line10750.yml OUT OF MEMORY 417.53 227.91 None elimination_backoff_stack.line10751.yml OUT OF MEMORY 801.81 436.84 None elimination_backoff_stack.line10763.yml OUT OF MEMORY 376.71 212.02 None elimination_backoff_stack.line10764.yml OUT OF MEMORY 252.36 145.32 None elimination_backoff_stack.line10791.yml OUT OF MEMORY 366.33 209.08 None elimination_backoff_stack.line10792.yml OUT OF MEMORY 150.33 86.93 None elimination_backoff_stack.line10803.yml OUT OF MEMORY 578.12 319.07 None elimination_backoff_stack.line10804.yml OUT OF MEMORY 96.99 57.21 None elimination_backoff_stack.line10816.yml OUT OF MEMORY 493.01 270.23 None elimination_backoff_stack.line10817.yml OUT OF MEMORY 428.98 237.13 None elimination_backoff_stack.line10835.yml OUT OF MEMORY 485.85 276.95 None elimination_backoff_stack.line10836.yml OUT OF MEMORY 473.99 269.06 None elimination_backoff_stack.line10848.yml OUT OF MEMORY 532.20 288.63 None elimination_backoff_stack.line10849.yml OUT OF MEMORY 380.46 215.14 None elimination_backoff_stack.line10882.yml OUT OF MEMORY 59.56 36.62 None elimination_backoff_stack.line10883.yml OUT OF MEMORY 73.47 43.87 None elimination_backoff_stack.line10894.yml OUT OF MEMORY 300.48 175.16 None elimination_backoff_stack.line10895.yml OUT OF MEMORY 544.57 292.05 None elimination_backoff_stack.line1090.yml OUT OF MEMORY 531.10 295.16 None elimination_backoff_stack.line10908.yml OUT OF MEMORY 614.05 327.27 None elimination_backoff_stack.line10909.yml OUT OF MEMORY 60.40 37.08 None elimination_backoff_stack.line1091.yml OUT OF MEMORY 375.48 207.11 None elimination_backoff_stack.line10918.yml OUT OF MEMORY 330.78 183.13 None elimination_backoff_stack.line10919.yml OUT OF MEMORY 452.86 250.89 None elimination_backoff_stack.line10930.yml OUT OF MEMORY 448.00 248.62 None elimination_backoff_stack.line10931.yml OUT OF MEMORY 530.22 293.60 None elimination_backoff_stack.line10952.yml OUT OF MEMORY 461.65 251.44 None elimination_backoff_stack.line10953.yml OUT OF MEMORY 490.42 276.29 None elimination_backoff_stack.line10965.yml OUT OF MEMORY 715.49 387.63 None elimination_backoff_stack.line10966.yml OUT OF MEMORY 396.18 231.47 None elimination_backoff_stack.line10989.yml OUT OF MEMORY 829.80 452.77 None elimination_backoff_stack.line10990.yml OUT OF MEMORY 349.00 193.00 None elimination_backoff_stack.line10999.yml OUT OF MEMORY 615.13 329.10 None elimination_backoff_stack.line11000.yml OUT OF MEMORY 358.94 198.09 None elimination_backoff_stack.line11010.yml OUT OF MEMORY 615.25 327.91 None elimination_backoff_stack.line11011.yml OUT OF MEMORY 543.59 301.56 None elimination_backoff_stack.line1102.yml OUT OF MEMORY 70.24 40.35 None elimination_backoff_stack.line11020.yml OUT OF MEMORY 547.03 295.91 None elimination_backoff_stack.line11021.yml OUT OF MEMORY 443.16 242.71 None elimination_backoff_stack.line1103.yml OUT OF MEMORY 551.51 304.29 None elimination_backoff_stack.line11055.yml OUT OF MEMORY 438.05 239.72 None elimination_backoff_stack.line11056.yml OUT OF MEMORY 498.25 270.48 None elimination_backoff_stack.line11071.yml OUT OF MEMORY 539.61 291.76 None elimination_backoff_stack.line11072.yml OUT OF MEMORY 428.86 255.34 None elimination_backoff_stack.line11081.yml OUT OF MEMORY 528.77 295.85 None elimination_backoff_stack.line11082.yml OUT OF MEMORY 468.37 259.82 None elimination_backoff_stack.line11122.yml OUT OF MEMORY 593.71 319.17 None elimination_backoff_stack.line11123.yml OUT OF MEMORY 322.65 182.92 None elimination_backoff_stack.line11162.yml OUT OF MEMORY 492.22 274.10 None elimination_backoff_stack.line11163.yml OUT OF MEMORY 710.16 375.11 None elimination_backoff_stack.line11192.yml OUT OF MEMORY 529.64 287.81 None elimination_backoff_stack.line11193.yml OUT OF MEMORY 436.77 239.14 None elimination_backoff_stack.line11204.yml OUT OF MEMORY 757.06 401.42 None elimination_backoff_stack.line11205.yml OUT OF MEMORY 729.04 400.50 None elimination_backoff_stack.line1121.yml OUT OF MEMORY 508.45 276.18 None elimination_backoff_stack.line11217.yml OUT OF MEMORY 462.72 265.99 None elimination_backoff_stack.line11218.yml OUT OF MEMORY 284.79 162.30 None elimination_backoff_stack.line1122.yml OUT OF MEMORY 469.56 259.54 None elimination_backoff_stack.line11227.yml OUT OF MEMORY 603.26 324.17 None elimination_backoff_stack.line11228.yml OUT OF MEMORY 407.07 229.66 None elimination_backoff_stack.line11237.yml OUT OF MEMORY 53.32 33.48 None elimination_backoff_stack.line11238.yml OUT OF MEMORY 652.27 349.60 None elimination_backoff_stack.line11249.yml OUT OF MEMORY 495.06 276.04 None elimination_backoff_stack.line11250.yml OUT OF MEMORY 370.02 207.62 None elimination_backoff_stack.line11259.yml OUT OF MEMORY 630.02 336.17 None elimination_backoff_stack.line11260.yml OUT OF MEMORY 58.05 35.36 None elimination_backoff_stack.line11269.yml OUT OF MEMORY 182.32 105.50 None elimination_backoff_stack.line11270.yml OUT OF MEMORY 61.93 37.91 None elimination_backoff_stack.line1134.yml OUT OF MEMORY 541.17 293.52 None elimination_backoff_stack.line1135.yml OUT OF MEMORY 439.04 247.74 None elimination_backoff_stack.line11481.yml OUT OF MEMORY 432.13 235.33 None elimination_backoff_stack.line11482.yml OUT OF MEMORY 83.20 51.49 None elimination_backoff_stack.line11502.yml OUT OF MEMORY 619.06 335.73 None elimination_backoff_stack.line11503.yml OUT OF MEMORY 593.08 315.79 None elimination_backoff_stack.line11523.yml OUT OF MEMORY 505.66 275.26 None elimination_backoff_stack.line11524.yml OUT OF MEMORY 474.52 264.39 None elimination_backoff_stack.line11534.yml OUT OF MEMORY 602.38 322.49 None elimination_backoff_stack.line11535.yml OUT OF MEMORY 63.36 37.13 None elimination_backoff_stack.line11550.yml OUT OF MEMORY 64.49 39.34 None elimination_backoff_stack.line11551.yml OUT OF MEMORY 449.58 249.89 None elimination_backoff_stack.line11562.yml OUT OF MEMORY 72.90 42.30 None elimination_backoff_stack.line11563.yml OUT OF MEMORY 727.78 401.34 None elimination_backoff_stack.line11575.yml OUT OF MEMORY 609.57 328.22 None elimination_backoff_stack.line11576.yml OUT OF MEMORY 100.67 63.21 None elimination_backoff_stack.line11594.yml OUT OF MEMORY 454.09 253.84 None elimination_backoff_stack.line11595.yml OUT OF MEMORY 271.72 153.23 None elimination_backoff_stack.line11607.yml OUT OF MEMORY 517.54 282.30 None elimination_backoff_stack.line11608.yml OUT OF MEMORY 500.89 290.41 None elimination_backoff_stack.line1164.yml OUT OF MEMORY 220.90 122.35 None elimination_backoff_stack.line11641.yml OUT OF MEMORY 354.32 196.96 None elimination_backoff_stack.line11642.yml OUT OF MEMORY 592.85 329.32 None elimination_backoff_stack.line1165.yml OUT OF MEMORY 178.08 101.66 None elimination_backoff_stack.line11653.yml OUT OF MEMORY 553.21 296.72 None elimination_backoff_stack.line11654.yml OUT OF MEMORY 622.26 342.07 None elimination_backoff_stack.line11667.yml OUT OF MEMORY 522.88 288.08 None elimination_backoff_stack.line11668.yml OUT OF MEMORY 613.55 327.98 None elimination_backoff_stack.line11677.yml OUT OF MEMORY 59.51 37.65 None elimination_backoff_stack.line11678.yml OUT OF MEMORY 553.95 299.47 None elimination_backoff_stack.line11689.yml OUT OF MEMORY 432.43 236.09 None elimination_backoff_stack.line11690.yml OUT OF MEMORY 501.51 271.76 None elimination_backoff_stack.line11711.yml OUT OF MEMORY 573.84 315.84 None elimination_backoff_stack.line11712.yml OUT OF MEMORY 122.49 73.14 None elimination_backoff_stack.line11724.yml OUT OF MEMORY 564.52 302.11 None elimination_backoff_stack.line11725.yml OUT OF MEMORY 607.38 329.30 None elimination_backoff_stack.line11748.yml OUT OF MEMORY 458.30 266.89 None elimination_backoff_stack.line11749.yml OUT OF MEMORY 575.69 319.80 None elimination_backoff_stack.line11758.yml OUT OF MEMORY 436.64 239.16 None elimination_backoff_stack.line11759.yml OUT OF MEMORY 542.58 290.30 None elimination_backoff_stack.line11769.yml OUT OF MEMORY 480.82 271.26 None elimination_backoff_stack.line11770.yml OUT OF MEMORY 475.10 263.23 None elimination_backoff_stack.line11779.yml OUT OF MEMORY 437.60 241.40 None elimination_backoff_stack.line11780.yml OUT OF MEMORY 288.34 166.87 None elimination_backoff_stack.line11814.yml OUT OF MEMORY 615.22 329.20 None elimination_backoff_stack.line11815.yml OUT OF MEMORY 602.97 322.49 None elimination_backoff_stack.line1183.yml OUT OF MEMORY 557.95 302.43 None elimination_backoff_stack.line11830.yml OUT OF MEMORY 875.10 469.43 None elimination_backoff_stack.line11831.yml OUT OF MEMORY 94.23 55.39 None elimination_backoff_stack.line1184.yml OUT OF MEMORY 536.82 297.18 None elimination_backoff_stack.line11840.yml OUT OF MEMORY 636.82 340.18 None elimination_backoff_stack.line11841.yml OUT OF MEMORY 441.62 244.36 None elimination_backoff_stack.line11867.yml OUT OF MEMORY 552.06 303.24 None elimination_backoff_stack.line11868.yml OUT OF MEMORY 337.45 189.97 None elimination_backoff_stack.line11880.yml OUT OF MEMORY 241.56 141.40 None elimination_backoff_stack.line11881.yml OUT OF MEMORY 275.07 154.73 None elimination_backoff_stack.line11889.yml OUT OF MEMORY 85.61 52.35 None elimination_backoff_stack.line11890.yml OUT OF MEMORY 191.16 106.63 None elimination_backoff_stack.line11911.yml OUT OF MEMORY 531.88 292.59 None elimination_backoff_stack.line11912.yml OUT OF MEMORY 403.51 226.80 None elimination_backoff_stack.line11924.yml OUT OF MEMORY 507.49 285.28 None elimination_backoff_stack.line11925.yml OUT OF MEMORY 327.60 186.53 None elimination_backoff_stack.line11957.yml OUT OF MEMORY 554.08 298.29 None elimination_backoff_stack.line11958.yml OUT OF MEMORY 757.93 400.52 None elimination_backoff_stack.line1196.yml OUT OF MEMORY 543.66 290.76 None elimination_backoff_stack.line1197.yml OUT OF MEMORY 278.71 157.03 None elimination_backoff_stack.line11971.yml OUT OF MEMORY 402.42 222.50 None elimination_backoff_stack.line11972.yml OUT OF MEMORY 66.83 43.22 None elimination_backoff_stack.line11985.yml OUT OF MEMORY 632.91 351.55 None elimination_backoff_stack.line11986.yml OUT OF MEMORY 642.11 343.70 None elimination_backoff_stack.line11995.yml OUT OF MEMORY 540.89 292.13 None elimination_backoff_stack.line11996.yml OUT OF MEMORY 106.80 65.49 None elimination_backoff_stack.line12023.yml OUT OF MEMORY 524.58 286.14 None elimination_backoff_stack.line12024.yml OUT OF MEMORY 482.72 267.01 None elimination_backoff_stack.line12036.yml OUT OF MEMORY 419.29 232.26 None elimination_backoff_stack.line12037.yml OUT OF MEMORY 513.99 287.55 None elimination_backoff_stack.line12070.yml OUT OF MEMORY 410.70 231.03 None elimination_backoff_stack.line12071.yml OUT OF MEMORY 453.62 254.38 None elimination_backoff_stack.line12082.yml OUT OF MEMORY 353.93 197.02 None elimination_backoff_stack.line12083.yml OUT OF MEMORY 429.48 246.26 None elimination_backoff_stack.line12101.yml OUT OF MEMORY 665.19 352.46 None elimination_backoff_stack.line12102.yml OUT OF MEMORY 538.45 291.37 None elimination_backoff_stack.line12114.yml OUT OF MEMORY 624.17 333.49 None elimination_backoff_stack.line12115.yml OUT OF MEMORY 434.38 238.61 None elimination_backoff_stack.line12144.yml OUT OF MEMORY 188.74 105.54 None elimination_backoff_stack.line12145.yml OUT OF MEMORY 641.01 360.64 None elimination_backoff_stack.line12163.yml OUT OF MEMORY 483.81 264.75 None elimination_backoff_stack.line12164.yml OUT OF MEMORY 409.01 228.60 None elimination_backoff_stack.line12176.yml OUT OF MEMORY 440.66 241.33 None elimination_backoff_stack.line12177.yml OUT OF MEMORY 594.35 323.86 None elimination_backoff_stack.line1218.yml OUT OF MEMORY 641.43 345.30 None elimination_backoff_stack.line1219.yml OUT OF MEMORY 197.47 113.18 None elimination_backoff_stack.line12198.yml OUT OF MEMORY 479.94 267.74 None elimination_backoff_stack.line12199.yml OUT OF MEMORY 489.64 276.59 None elimination_backoff_stack.line12208.yml OUT OF MEMORY 80.93 44.06 None elimination_backoff_stack.line12209.yml OUT OF MEMORY 571.59 307.58 None elimination_backoff_stack.line12219.yml OUT OF MEMORY 765.38 407.75 None elimination_backoff_stack.line12220.yml OUT OF MEMORY 563.98 303.96 None elimination_backoff_stack.line12229.yml OUT OF MEMORY 165.11 93.30 None elimination_backoff_stack.line12230.yml OUT OF MEMORY 492.41 269.98 None elimination_backoff_stack.line12241.yml OUT OF MEMORY 264.28 152.08 None elimination_backoff_stack.line12242.yml OUT OF MEMORY 445.99 245.34 None elimination_backoff_stack.line1228.yml OUT OF MEMORY 323.84 179.80 None elimination_backoff_stack.line12281.yml OUT OF MEMORY 642.83 341.88 None elimination_backoff_stack.line12282.yml OUT OF MEMORY 498.94 269.19 None elimination_backoff_stack.line1229.yml OUT OF MEMORY 480.21 269.65 None elimination_backoff_stack.line12293.yml OUT OF MEMORY 172.42 102.55 None elimination_backoff_stack.line12294.yml OUT OF MEMORY 793.35 437.21 None elimination_backoff_stack.line12305.yml OUT OF MEMORY 480.66 275.85 None elimination_backoff_stack.line12306.yml OUT OF MEMORY 457.14 250.78 None elimination_backoff_stack.line12315.yml OUT OF MEMORY 322.43 182.83 None elimination_backoff_stack.line12316.yml OUT OF MEMORY 606.73 326.61 None elimination_backoff_stack.line12325.yml OUT OF MEMORY 443.86 242.76 None elimination_backoff_stack.line12326.yml OUT OF MEMORY 569.16 306.73 None elimination_backoff_stack.line12336.yml OUT OF MEMORY 593.06 317.82 None elimination_backoff_stack.line12337.yml OUT OF MEMORY 384.52 213.14 None elimination_backoff_stack.line12346.yml OUT OF MEMORY 408.27 231.32 None elimination_backoff_stack.line12347.yml OUT OF MEMORY 542.04 293.18 None elimination_backoff_stack.line12359.yml OUT OF MEMORY 459.37 254.51 None elimination_backoff_stack.line12360.yml OUT OF MEMORY 544.36 292.15 None elimination_backoff_stack.line1239.yml OUT OF MEMORY 587.35 319.57 None elimination_backoff_stack.line12395.yml OUT OF MEMORY 383.21 219.26 None elimination_backoff_stack.line12396.yml OUT OF MEMORY 618.05 349.78 None elimination_backoff_stack.line1240.yml OUT OF MEMORY 107.89 61.71 None elimination_backoff_stack.line12408.yml OUT OF MEMORY 375.51 208.55 None elimination_backoff_stack.line12409.yml OUT OF MEMORY 582.03 316.95 None elimination_backoff_stack.line12438.yml OUT OF MEMORY 650.35 345.87 None elimination_backoff_stack.line12439.yml OUT OF MEMORY 533.38 296.06 None elimination_backoff_stack.line12450.yml OUT OF MEMORY 743.02 406.51 None elimination_backoff_stack.line12451.yml OUT OF MEMORY 538.10 291.59 None elimination_backoff_stack.line12462.yml OUT OF MEMORY 594.82 319.55 None elimination_backoff_stack.line12463.yml OUT OF MEMORY 560.62 313.07 None elimination_backoff_stack.line12472.yml OUT OF MEMORY 523.62 286.16 None elimination_backoff_stack.line12473.yml OUT OF MEMORY 470.71 258.94 None elimination_backoff_stack.line12482.yml OUT OF MEMORY 83.18 53.22 None elimination_backoff_stack.line12483.yml OUT OF MEMORY 549.14 294.33 None elimination_backoff_stack.line1249.yml OUT OF MEMORY 507.69 282.84 None elimination_backoff_stack.line12493.yml OUT OF MEMORY 352.10 195.36 None elimination_backoff_stack.line12494.yml OUT OF MEMORY 509.03 287.21 None elimination_backoff_stack.line1250.yml OUT OF MEMORY 542.44 298.65 None elimination_backoff_stack.line12503.yml OUT OF MEMORY 56.03 34.85 None elimination_backoff_stack.line12504.yml OUT OF MEMORY 524.35 291.60 None elimination_backoff_stack.line12516.yml OUT OF MEMORY 463.18 254.49 None elimination_backoff_stack.line12517.yml OUT OF MEMORY 598.15 320.77 None elimination_backoff_stack.line12544.yml OUT OF MEMORY 553.44 297.58 None elimination_backoff_stack.line12545.yml OUT OF MEMORY 452.60 247.32 None elimination_backoff_stack.line12556.yml OUT OF MEMORY 529.65 285.11 None elimination_backoff_stack.line12557.yml OUT OF MEMORY 526.49 288.80 None elimination_backoff_stack.line12569.yml OUT OF MEMORY 516.28 293.84 None elimination_backoff_stack.line12570.yml OUT OF MEMORY 460.01 255.25 None elimination_backoff_stack.line12588.yml OUT OF MEMORY 668.30 374.06 None elimination_backoff_stack.line12589.yml OUT OF MEMORY 552.78 296.89 None elimination_backoff_stack.line12601.yml OUT OF MEMORY 77.39 47.78 None elimination_backoff_stack.line12602.yml OUT OF MEMORY 639.88 354.14 None elimination_backoff_stack.line1261.yml OUT OF MEMORY 445.48 251.40 None elimination_backoff_stack.line1262.yml OUT OF MEMORY 458.07 261.00 None elimination_backoff_stack.line12635.yml OUT OF MEMORY 378.01 212.11 None elimination_backoff_stack.line12636.yml OUT OF MEMORY 373.73 209.60 None elimination_backoff_stack.line12647.yml OUT OF MEMORY 439.84 240.33 None elimination_backoff_stack.line12648.yml OUT OF MEMORY 615.03 328.87 None elimination_backoff_stack.line12661.yml OUT OF MEMORY 60.48 37.60 None elimination_backoff_stack.line12662.yml OUT OF MEMORY 637.54 341.25 None elimination_backoff_stack.line12671.yml OUT OF MEMORY 594.08 318.49 None elimination_backoff_stack.line12672.yml OUT OF MEMORY 423.82 232.27 None elimination_backoff_stack.line12683.yml OUT OF MEMORY 540.12 301.98 None elimination_backoff_stack.line12684.yml OUT OF MEMORY 453.03 250.50 None elimination_backoff_stack.line12705.yml OUT OF MEMORY 713.92 376.24 None elimination_backoff_stack.line12706.yml OUT OF MEMORY 347.03 199.97 None elimination_backoff_stack.line12718.yml OUT OF MEMORY 60.88 37.59 None elimination_backoff_stack.line12719.yml OUT OF MEMORY 507.12 282.07 None elimination_backoff_stack.line12742.yml OUT OF MEMORY 483.68 266.98 None elimination_backoff_stack.line12743.yml OUT OF MEMORY 468.07 265.02 None elimination_backoff_stack.line12752.yml OUT OF MEMORY 587.44 321.56 None elimination_backoff_stack.line12753.yml OUT OF MEMORY 494.26 269.96 None elimination_backoff_stack.line12763.yml OUT OF MEMORY 462.21 251.24 None elimination_backoff_stack.line12764.yml OUT OF MEMORY 416.75 228.25 None elimination_backoff_stack.line12773.yml OUT OF MEMORY 288.41 164.44 None elimination_backoff_stack.line12774.yml OUT OF MEMORY 380.46 214.52 None -------------------------------------------------------------------------------------------------------- Run set 2 done 133441.27 5346.89 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk24 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.line10361.yml TIMEOUT 912.22 481.67 None elimination_backoff_stack.line10362.yml TIMEOUT 921.27 482.52 None elimination_backoff_stack.line10391.yml TIMEOUT 914.60 472.87 None elimination_backoff_stack.line10392.yml OUT OF MEMORY 871.17 447.96 None elimination_backoff_stack.line10410.yml TIMEOUT 915.42 484.80 None elimination_backoff_stack.line10411.yml TIMEOUT 903.35 472.47 None elimination_backoff_stack.line10423.yml OUT OF MEMORY 736.22 379.17 None elimination_backoff_stack.line10424.yml OUT OF MEMORY 893.38 457.49 None elimination_backoff_stack.line1043.yml TIMEOUT 903.11 459.72 None elimination_backoff_stack.line1044.yml OUT OF MEMORY 789.29 403.81 None elimination_backoff_stack.line10445.yml TIMEOUT 921.25 485.27 None elimination_backoff_stack.line10446.yml OUT OF MEMORY 847.36 435.80 None elimination_backoff_stack.line10455.yml TIMEOUT 915.19 473.31 None elimination_backoff_stack.line10456.yml OUT OF MEMORY 725.18 371.25 None elimination_backoff_stack.line10466.yml OUT OF MEMORY 755.79 392.71 None elimination_backoff_stack.line10467.yml TIMEOUT 917.38 477.05 None elimination_backoff_stack.line10476.yml OUT OF MEMORY 762.46 391.22 None elimination_backoff_stack.line10477.yml OUT OF MEMORY 861.30 443.08 None elimination_backoff_stack.line10488.yml OUT OF MEMORY 712.57 367.66 None elimination_backoff_stack.line10489.yml OUT OF MEMORY 855.66 439.33 None elimination_backoff_stack.line10528.yml OUT OF MEMORY 829.14 426.03 None elimination_backoff_stack.line10529.yml TIMEOUT 921.37 478.59 None elimination_backoff_stack.line10540.yml TIMEOUT 914.90 487.55 None elimination_backoff_stack.line10541.yml OUT OF MEMORY 865.76 447.33 None elimination_backoff_stack.line10552.yml TIMEOUT 910.97 478.76 None elimination_backoff_stack.line10553.yml OUT OF MEMORY 833.13 431.53 None elimination_backoff_stack.line1056.yml TIMEOUT 913.77 482.06 None elimination_backoff_stack.line10562.yml TIMEOUT 921.23 489.64 None elimination_backoff_stack.line10563.yml OUT OF MEMORY 639.80 332.98 None elimination_backoff_stack.line1057.yml OUT OF MEMORY 84.05 47.40 None elimination_backoff_stack.line10572.yml OUT OF MEMORY 721.35 370.35 None elimination_backoff_stack.line10573.yml OUT OF MEMORY 51.53 29.93 None elimination_backoff_stack.line10583.yml OUT OF MEMORY 834.56 426.48 None elimination_backoff_stack.line10584.yml OUT OF MEMORY 648.42 333.20 None elimination_backoff_stack.line10593.yml OUT OF MEMORY 740.83 380.83 None elimination_backoff_stack.line10594.yml TIMEOUT 917.59 476.48 None elimination_backoff_stack.line10606.yml OUT OF MEMORY 878.73 451.88 None elimination_backoff_stack.line10607.yml OUT OF MEMORY 805.81 419.77 None elimination_backoff_stack.line10642.yml OUT OF MEMORY 649.21 339.55 None elimination_backoff_stack.line10643.yml TIMEOUT 920.05 477.89 None elimination_backoff_stack.line10655.yml TIMEOUT 910.30 479.17 None elimination_backoff_stack.line10656.yml OUT OF MEMORY 773.91 405.34 None elimination_backoff_stack.line10685.yml TIMEOUT 915.92 488.48 None elimination_backoff_stack.line10686.yml TIMEOUT 921.21 489.69 None elimination_backoff_stack.line10697.yml OUT OF MEMORY 54.31 31.39 None elimination_backoff_stack.line10698.yml OUT OF MEMORY 825.69 427.26 None elimination_backoff_stack.line10709.yml OUT OF MEMORY 51.40 29.76 None elimination_backoff_stack.line10710.yml OUT OF MEMORY 712.55 365.47 None elimination_backoff_stack.line10719.yml OUT OF MEMORY 612.71 317.35 None elimination_backoff_stack.line10720.yml OUT OF MEMORY 699.46 361.86 None elimination_backoff_stack.line10729.yml TIMEOUT 915.07 481.63 None elimination_backoff_stack.line10730.yml OUT OF MEMORY 63.31 35.89 None elimination_backoff_stack.line10740.yml TIMEOUT 913.88 474.03 None elimination_backoff_stack.line10741.yml TIMEOUT 921.22 487.28 None elimination_backoff_stack.line10750.yml TIMEOUT 917.16 477.03 None elimination_backoff_stack.line10751.yml TIMEOUT 919.46 476.81 None elimination_backoff_stack.line10763.yml OUT OF MEMORY 861.84 455.47 None elimination_backoff_stack.line10764.yml TIMEOUT 919.05 476.90 None elimination_backoff_stack.line10791.yml TIMEOUT 909.33 475.94 None elimination_backoff_stack.line10792.yml TIMEOUT 918.41 486.47 None elimination_backoff_stack.line10803.yml OUT OF MEMORY 856.47 446.35 None elimination_backoff_stack.line10804.yml OUT OF MEMORY 834.24 427.42 None elimination_backoff_stack.line10816.yml OUT OF MEMORY 833.05 430.78 None elimination_backoff_stack.line10817.yml OUT OF MEMORY 795.43 407.30 None elimination_backoff_stack.line10835.yml OUT OF MEMORY 845.86 434.64 None elimination_backoff_stack.line10836.yml OUT OF MEMORY 808.09 423.46 None elimination_backoff_stack.line10848.yml OUT OF MEMORY 876.96 448.85 None elimination_backoff_stack.line10849.yml TIMEOUT 921.46 484.76 None elimination_backoff_stack.line10882.yml TIMEOUT 920.14 482.73 None elimination_backoff_stack.line10883.yml TIMEOUT 903.00 459.66 None elimination_backoff_stack.line10894.yml TIMEOUT 918.89 477.28 None elimination_backoff_stack.line10895.yml TIMEOUT 921.42 479.55 None elimination_backoff_stack.line1090.yml OUT OF MEMORY 761.93 397.95 None elimination_backoff_stack.line10908.yml TIMEOUT 910.31 481.68 None elimination_backoff_stack.line10909.yml TIMEOUT 921.51 484.86 None elimination_backoff_stack.line1091.yml OUT OF MEMORY 812.12 417.39 None elimination_backoff_stack.line10918.yml OUT OF MEMORY 776.28 396.79 None elimination_backoff_stack.line10919.yml OUT OF MEMORY 867.72 448.72 None elimination_backoff_stack.line10930.yml OUT OF MEMORY 834.45 431.30 None elimination_backoff_stack.line10931.yml OUT OF MEMORY 850.43 444.82 None elimination_backoff_stack.line10952.yml OUT OF MEMORY 830.04 425.25 None elimination_backoff_stack.line10953.yml TIMEOUT 917.60 476.77 None elimination_backoff_stack.line10965.yml TIMEOUT 921.34 492.96 None elimination_backoff_stack.line10966.yml OUT OF MEMORY 716.18 371.44 None elimination_backoff_stack.line10989.yml TIMEOUT 921.34 488.44 None elimination_backoff_stack.line10990.yml TIMEOUT 918.81 477.40 None elimination_backoff_stack.line10999.yml OUT OF MEMORY 718.90 369.66 None elimination_backoff_stack.line11000.yml OUT OF MEMORY 689.90 356.25 None elimination_backoff_stack.line11010.yml TIMEOUT 921.41 478.43 None elimination_backoff_stack.line11011.yml OUT OF MEMORY 763.00 408.95 None elimination_backoff_stack.line1102.yml TIMEOUT 921.26 484.40 None elimination_backoff_stack.line11020.yml OUT OF MEMORY 748.59 387.63 None elimination_backoff_stack.line11021.yml OUT OF MEMORY 707.25 365.16 None elimination_backoff_stack.line1103.yml OUT OF MEMORY 823.79 434.93 None elimination_backoff_stack.line11055.yml TIMEOUT 917.58 475.89 None elimination_backoff_stack.line11056.yml TIMEOUT 903.34 469.93 None elimination_backoff_stack.line11071.yml OUT OF MEMORY 611.46 316.09 None elimination_backoff_stack.line11072.yml OUT OF MEMORY 740.75 380.77 None elimination_backoff_stack.line11081.yml TIMEOUT 917.07 476.58 None elimination_backoff_stack.line11082.yml TIMEOUT 919.45 478.02 None elimination_backoff_stack.line11122.yml OUT OF MEMORY 762.41 400.70 None elimination_backoff_stack.line11123.yml OUT OF MEMORY 876.00 454.21 None elimination_backoff_stack.line11162.yml TIMEOUT 909.52 480.15 None elimination_backoff_stack.line11163.yml OUT OF MEMORY 224.98 121.53 None elimination_backoff_stack.line11192.yml OUT OF MEMORY 881.08 455.65 None elimination_backoff_stack.line11193.yml TIMEOUT 920.52 478.77 None elimination_backoff_stack.line11204.yml TIMEOUT 908.74 485.06 None elimination_backoff_stack.line11205.yml OUT OF MEMORY 784.51 406.55 None elimination_backoff_stack.line1121.yml OUT OF MEMORY 574.07 305.73 None elimination_backoff_stack.line11217.yml OUT OF MEMORY 784.33 406.02 None elimination_backoff_stack.line11218.yml OUT OF MEMORY 613.80 316.82 None elimination_backoff_stack.line1122.yml TIMEOUT 918.08 475.79 None elimination_backoff_stack.line11227.yml OUT OF MEMORY 645.65 334.30 None elimination_backoff_stack.line11228.yml OUT OF MEMORY 752.82 396.79 None elimination_backoff_stack.line11237.yml TIMEOUT 903.33 460.40 None elimination_backoff_stack.line11238.yml OUT OF MEMORY 861.67 447.15 None elimination_backoff_stack.line11249.yml TIMEOUT 920.05 478.59 None elimination_backoff_stack.line11250.yml TIMEOUT 906.49 481.83 None elimination_backoff_stack.line11259.yml OUT OF MEMORY 777.32 399.76 None elimination_backoff_stack.line11260.yml TIMEOUT 903.72 459.77 None elimination_backoff_stack.line11269.yml OUT OF MEMORY 65.30 37.88 None elimination_backoff_stack.line11270.yml OUT OF MEMORY 311.00 166.25 None elimination_backoff_stack.line1134.yml OUT OF MEMORY 741.03 382.86 None elimination_backoff_stack.line1135.yml TIMEOUT 918.50 489.69 None elimination_backoff_stack.line11481.yml OUT OF MEMORY 782.48 401.47 None elimination_backoff_stack.line11482.yml OUT OF MEMORY 619.37 318.79 None elimination_backoff_stack.line11502.yml TIMEOUT 921.31 481.54 None elimination_backoff_stack.line11503.yml OUT OF MEMORY 775.24 400.36 None elimination_backoff_stack.line11523.yml TIMEOUT 921.35 485.90 None elimination_backoff_stack.line11524.yml TIMEOUT 917.31 475.87 None elimination_backoff_stack.line11534.yml OUT OF MEMORY 808.70 418.15 None elimination_backoff_stack.line11535.yml TIMEOUT 914.06 473.34 None elimination_backoff_stack.line11550.yml OUT OF MEMORY 820.12 420.48 None elimination_backoff_stack.line11551.yml TIMEOUT 919.04 479.00 None elimination_backoff_stack.line11562.yml TIMEOUT 911.44 478.66 None elimination_backoff_stack.line11563.yml OUT OF MEMORY 717.56 373.75 None elimination_backoff_stack.line11575.yml OUT OF MEMORY 797.34 411.48 None elimination_backoff_stack.line11576.yml TIMEOUT 913.04 470.39 None elimination_backoff_stack.line11594.yml OUT OF MEMORY 723.74 372.25 None elimination_backoff_stack.line11595.yml OUT OF MEMORY 841.57 445.76 None elimination_backoff_stack.line11607.yml OUT OF MEMORY 844.84 437.95 None elimination_backoff_stack.line11608.yml OUT OF MEMORY 830.26 429.50 None elimination_backoff_stack.line1164.yml TIMEOUT 912.02 480.99 None elimination_backoff_stack.line11641.yml OUT OF MEMORY 887.57 454.87 None elimination_backoff_stack.line11642.yml OUT OF MEMORY 767.58 406.80 None elimination_backoff_stack.line1165.yml TIMEOUT 916.78 474.97 None elimination_backoff_stack.line11653.yml OUT OF MEMORY 528.05 278.58 None elimination_backoff_stack.line11654.yml TIMEOUT 919.49 477.01 None elimination_backoff_stack.line11667.yml OUT OF MEMORY 795.68 409.44 None elimination_backoff_stack.line11668.yml OUT OF MEMORY 711.30 366.12 None elimination_backoff_stack.line11677.yml TIMEOUT 903.65 459.40 None elimination_backoff_stack.line11678.yml TIMEOUT 912.21 484.74 None elimination_backoff_stack.line11689.yml TIMEOUT 917.75 476.35 None elimination_backoff_stack.line11690.yml TIMEOUT 910.99 479.73 None elimination_backoff_stack.line11711.yml OUT OF MEMORY 840.83 431.95 None elimination_backoff_stack.line11712.yml OUT OF MEMORY 754.56 392.14 None elimination_backoff_stack.line11724.yml OUT OF MEMORY 679.45 351.08 None elimination_backoff_stack.line11725.yml OUT OF MEMORY 882.39 458.47 None elimination_backoff_stack.line11748.yml OUT OF MEMORY 786.74 404.63 None elimination_backoff_stack.line11749.yml OUT OF MEMORY 851.34 443.05 None elimination_backoff_stack.line11758.yml OUT OF MEMORY 617.54 319.72 None elimination_backoff_stack.line11759.yml OUT OF MEMORY 775.78 398.32 None elimination_backoff_stack.line11769.yml OUT OF MEMORY 816.78 420.56 None elimination_backoff_stack.line11770.yml TIMEOUT 919.46 479.38 None elimination_backoff_stack.line11779.yml TIMEOUT 920.10 478.23 None elimination_backoff_stack.line11780.yml TIMEOUT 907.79 478.93 None elimination_backoff_stack.line11814.yml TIMEOUT 919.85 477.29 None elimination_backoff_stack.line11815.yml OUT OF MEMORY 646.39 341.23 None elimination_backoff_stack.line1183.yml OUT OF MEMORY 679.69 352.61 None elimination_backoff_stack.line11830.yml TIMEOUT 911.40 469.47 None elimination_backoff_stack.line11831.yml OUT OF MEMORY 343.17 184.00 None elimination_backoff_stack.line1184.yml OUT OF MEMORY 768.37 395.86 None elimination_backoff_stack.line11840.yml TIMEOUT 915.56 476.63 None elimination_backoff_stack.line11841.yml OUT OF MEMORY 658.06 345.21 None elimination_backoff_stack.line11867.yml OUT OF MEMORY 522.93 271.72 None elimination_backoff_stack.line11868.yml TIMEOUT 911.73 477.76 None elimination_backoff_stack.line11880.yml TIMEOUT 921.28 489.12 None elimination_backoff_stack.line11881.yml OUT OF MEMORY 853.73 438.69 None elimination_backoff_stack.line11889.yml OUT OF MEMORY 847.38 434.72 None elimination_backoff_stack.line11890.yml TIMEOUT 913.64 469.75 None elimination_backoff_stack.line11911.yml TIMEOUT 921.38 487.25 None elimination_backoff_stack.line11912.yml TIMEOUT 919.60 477.89 None elimination_backoff_stack.line11924.yml TIMEOUT 905.33 470.88 None elimination_backoff_stack.line11925.yml TIMEOUT 918.04 475.78 None elimination_backoff_stack.line11957.yml OUT OF MEMORY 803.23 411.67 None elimination_backoff_stack.line11958.yml OUT OF MEMORY 857.63 442.35 None elimination_backoff_stack.line1196.yml OUT OF MEMORY 716.63 368.59 None elimination_backoff_stack.line1197.yml OUT OF MEMORY 898.23 467.17 None elimination_backoff_stack.line11971.yml OUT OF MEMORY 765.29 393.44 None elimination_backoff_stack.line11972.yml OUT OF MEMORY 611.76 313.22 None elimination_backoff_stack.line11985.yml OUT OF MEMORY 683.29 359.49 None elimination_backoff_stack.line11986.yml TIMEOUT 920.91 496.52 None elimination_backoff_stack.line11995.yml OUT OF MEMORY 683.63 358.03 None elimination_backoff_stack.line11996.yml TIMEOUT 910.21 468.27 None elimination_backoff_stack.line12023.yml TIMEOUT 921.32 488.86 None elimination_backoff_stack.line12024.yml OUT OF MEMORY 834.96 428.38 None elimination_backoff_stack.line12036.yml OUT OF MEMORY 616.99 319.01 None elimination_backoff_stack.line12037.yml OUT OF MEMORY 757.08 389.74 None elimination_backoff_stack.line12070.yml TIMEOUT 909.45 477.21 None elimination_backoff_stack.line12071.yml OUT OF MEMORY 885.94 452.93 None elimination_backoff_stack.line12082.yml OUT OF MEMORY 769.80 398.22 None elimination_backoff_stack.line12083.yml OUT OF MEMORY 822.30 421.90 None elimination_backoff_stack.line12101.yml OUT OF MEMORY 569.92 298.34 None elimination_backoff_stack.line12102.yml TIMEOUT 916.07 474.11 None elimination_backoff_stack.line12114.yml TIMEOUT 906.83 472.62 None elimination_backoff_stack.line12115.yml OUT OF MEMORY 745.51 385.65 None elimination_backoff_stack.line12144.yml OUT OF MEMORY 798.36 408.42 None elimination_backoff_stack.line12145.yml OUT OF MEMORY 849.19 445.87 None elimination_backoff_stack.line12163.yml OUT OF MEMORY 799.08 411.25 None elimination_backoff_stack.line12164.yml TIMEOUT 918.49 476.32 None elimination_backoff_stack.line12176.yml TIMEOUT 901.63 462.28 None elimination_backoff_stack.line12177.yml TIMEOUT 921.32 488.46 None elimination_backoff_stack.line1218.yml OUT OF MEMORY 781.22 401.70 None elimination_backoff_stack.line1219.yml TIMEOUT 913.20 472.46 None elimination_backoff_stack.line12198.yml TIMEOUT 919.61 476.24 None elimination_backoff_stack.line12199.yml OUT OF MEMORY 893.64 468.34 None elimination_backoff_stack.line12208.yml OUT OF MEMORY 160.40 85.76 None elimination_backoff_stack.line12209.yml OUT OF MEMORY 840.84 430.72 None elimination_backoff_stack.line12219.yml OUT OF MEMORY 532.17 287.03 None elimination_backoff_stack.line12220.yml OUT OF MEMORY 802.47 412.03 None elimination_backoff_stack.line12229.yml OUT OF MEMORY 803.02 413.09 None elimination_backoff_stack.line12230.yml OUT OF MEMORY 515.91 268.05 None elimination_backoff_stack.line12241.yml OUT OF MEMORY 851.73 453.74 None elimination_backoff_stack.line12242.yml OUT OF MEMORY 669.00 347.91 None elimination_backoff_stack.line1228.yml OUT OF MEMORY 637.96 329.25 None elimination_backoff_stack.line12281.yml TIMEOUT 915.91 476.19 None elimination_backoff_stack.line12282.yml TIMEOUT 915.91 477.05 None elimination_backoff_stack.line1229.yml OUT OF MEMORY 771.35 402.70 None elimination_backoff_stack.line12293.yml TIMEOUT 916.16 482.75 None elimination_backoff_stack.line12294.yml OUT OF MEMORY 875.44 449.28 None elimination_backoff_stack.line12305.yml TIMEOUT 907.08 470.80 None elimination_backoff_stack.line12306.yml TIMEOUT 917.28 474.78 None elimination_backoff_stack.line12315.yml OUT OF MEMORY 603.38 312.06 None elimination_backoff_stack.line12316.yml TIMEOUT 913.80 472.20 None elimination_backoff_stack.line12325.yml OUT OF MEMORY 730.32 376.59 None elimination_backoff_stack.line12326.yml OUT OF MEMORY 832.41 430.83 None elimination_backoff_stack.line12336.yml OUT OF MEMORY 623.40 323.46 None elimination_backoff_stack.line12337.yml OUT OF MEMORY 731.99 376.53 None elimination_backoff_stack.line12346.yml OUT OF MEMORY 853.78 447.41 None elimination_backoff_stack.line12347.yml OUT OF MEMORY 589.44 305.66 None elimination_backoff_stack.line12359.yml OUT OF MEMORY 865.82 447.04 None elimination_backoff_stack.line12360.yml TIMEOUT 917.55 476.08 None elimination_backoff_stack.line1239.yml TIMEOUT 917.76 474.37 None elimination_backoff_stack.line12395.yml OUT OF MEMORY 704.66 366.27 None elimination_backoff_stack.line12396.yml OUT OF MEMORY 718.18 371.91 None elimination_backoff_stack.line1240.yml OUT OF MEMORY 854.40 435.35 None elimination_backoff_stack.line12408.yml TIMEOUT 921.39 486.00 None elimination_backoff_stack.line12409.yml TIMEOUT 919.55 476.28 None elimination_backoff_stack.line12438.yml OUT OF MEMORY 800.72 411.78 None elimination_backoff_stack.line12439.yml TIMEOUT 905.66 473.40 None elimination_backoff_stack.line12450.yml TIMEOUT 915.68 474.75 None elimination_backoff_stack.line12451.yml OUT OF MEMORY 804.01 413.24 None elimination_backoff_stack.line12462.yml OUT OF MEMORY 732.41 375.42 None elimination_backoff_stack.line12463.yml OUT OF MEMORY 852.74 453.65 None elimination_backoff_stack.line12472.yml OUT OF MEMORY 889.20 461.85 None elimination_backoff_stack.line12473.yml OUT OF MEMORY 873.00 454.77 None elimination_backoff_stack.line12482.yml OUT OF MEMORY 818.46 422.36 None elimination_backoff_stack.line12483.yml TIMEOUT 915.48 474.54 None elimination_backoff_stack.line1249.yml TIMEOUT 915.98 475.79 None elimination_backoff_stack.line12493.yml OUT OF MEMORY 642.92 332.65 None elimination_backoff_stack.line12494.yml OUT OF MEMORY 526.70 274.92 None elimination_backoff_stack.line1250.yml TIMEOUT 918.23 474.63 None elimination_backoff_stack.line12503.yml TIMEOUT 914.99 475.53 None elimination_backoff_stack.line12504.yml OUT OF MEMORY 836.76 437.84 None elimination_backoff_stack.line12516.yml OUT OF MEMORY 730.31 375.41 None elimination_backoff_stack.line12517.yml OUT OF MEMORY 607.47 314.91 None elimination_backoff_stack.line12544.yml TIMEOUT 916.81 474.51 None elimination_backoff_stack.line12545.yml OUT OF MEMORY 733.58 387.50 None elimination_backoff_stack.line12556.yml OUT OF MEMORY 496.28 256.64 None elimination_backoff_stack.line12557.yml OUT OF MEMORY 841.86 434.80 None elimination_backoff_stack.line12569.yml OUT OF MEMORY 825.89 426.15 None elimination_backoff_stack.line12570.yml OUT OF MEMORY 835.17 432.17 None elimination_backoff_stack.line12588.yml OUT OF MEMORY 614.02 318.51 None elimination_backoff_stack.line12589.yml TIMEOUT 916.75 475.84 None elimination_backoff_stack.line12601.yml TIMEOUT 915.20 470.75 None elimination_backoff_stack.line12602.yml OUT OF MEMORY 742.28 381.58 None elimination_backoff_stack.line1261.yml OUT OF MEMORY 499.34 259.95 None elimination_backoff_stack.line1262.yml OUT OF MEMORY 800.69 408.76 None elimination_backoff_stack.line12635.yml TIMEOUT 905.05 468.77 None elimination_backoff_stack.line12636.yml OUT OF MEMORY 813.32 421.82 None elimination_backoff_stack.line12647.yml OUT OF MEMORY 589.32 303.80 None elimination_backoff_stack.line12648.yml TIMEOUT 914.53 473.58 None elimination_backoff_stack.line12661.yml OUT OF MEMORY 288.69 159.15 None elimination_backoff_stack.line12662.yml OUT OF MEMORY 860.29 444.46 None elimination_backoff_stack.line12671.yml OUT OF MEMORY 61.74 35.97 None elimination_backoff_stack.line12672.yml OUT OF MEMORY 661.74 347.98 None elimination_backoff_stack.line12683.yml OUT OF MEMORY 821.18 425.05 None elimination_backoff_stack.line12684.yml OUT OF MEMORY 684.60 358.45 None elimination_backoff_stack.line12705.yml OUT OF MEMORY 576.46 297.58 None elimination_backoff_stack.line12706.yml TIMEOUT 906.70 481.99 None elimination_backoff_stack.line12718.yml OUT OF MEMORY 55.28 31.89 None elimination_backoff_stack.line12719.yml OUT OF MEMORY 652.10 335.67 None elimination_backoff_stack.line12742.yml OUT OF MEMORY 710.85 364.99 None elimination_backoff_stack.line12743.yml TIMEOUT 914.25 471.77 None elimination_backoff_stack.line12752.yml TIMEOUT 912.37 471.80 None elimination_backoff_stack.line12753.yml OUT OF MEMORY 858.77 438.97 None elimination_backoff_stack.line12763.yml OUT OF MEMORY 794.79 409.10 None elimination_backoff_stack.line12764.yml OUT OF MEMORY 776.68 404.26 None elimination_backoff_stack.line12773.yml OUT OF MEMORY 554.10 287.93 None elimination_backoff_stack.line12774.yml OUT OF MEMORY 816.27 419.53 None -------------------------------------------------------------------------------------------------------- Run set 3 done 237437.71 9029.93 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk24 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk24 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk24 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk24 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk24 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk24 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk24 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk24 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk24 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk24 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk24 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk24 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk24 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk24 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk24 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk24 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)