BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk23, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk23, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk23 date: Sun, 2022-10-23 23:14:52 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-chunk23 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.line12808.yml OUT OF MEMORY 458.45 248.34 None elimination_backoff_stack.line12809.yml OUT OF MEMORY 567.47 307.33 None elimination_backoff_stack.line12824.yml OUT OF MEMORY 468.76 251.33 None elimination_backoff_stack.line12825.yml OUT OF MEMORY 428.28 235.00 None elimination_backoff_stack.line12834.yml OUT OF MEMORY 380.18 211.11 None elimination_backoff_stack.line12835.yml OUT OF MEMORY 450.18 258.05 None elimination_backoff_stack.line12875.yml OUT OF MEMORY 514.37 274.99 None elimination_backoff_stack.line12876.yml OUT OF MEMORY 462.99 250.20 None elimination_backoff_stack.line12915.yml OUT OF MEMORY 489.74 263.48 None elimination_backoff_stack.line12916.yml OUT OF MEMORY 325.98 181.15 None elimination_backoff_stack.line12945.yml OUT OF MEMORY 397.61 220.18 None elimination_backoff_stack.line12946.yml OUT OF MEMORY 437.18 240.39 None elimination_backoff_stack.line12957.yml OUT OF MEMORY 84.68 52.33 None elimination_backoff_stack.line12958.yml OUT OF MEMORY 327.27 181.72 None elimination_backoff_stack.line12970.yml OUT OF MEMORY 378.29 209.27 None elimination_backoff_stack.line12971.yml OUT OF MEMORY 314.52 176.16 None elimination_backoff_stack.line12980.yml OUT OF MEMORY 282.14 157.97 None elimination_backoff_stack.line12981.yml OUT OF MEMORY 581.62 316.48 None elimination_backoff_stack.line12990.yml OUT OF MEMORY 380.69 212.66 None elimination_backoff_stack.line12991.yml OUT OF MEMORY 369.98 204.66 None elimination_backoff_stack.line13002.yml OUT OF MEMORY 559.11 301.40 None elimination_backoff_stack.line13003.yml OUT OF MEMORY 471.91 259.56 None elimination_backoff_stack.line1301.yml OUT OF MEMORY 458.03 248.15 None elimination_backoff_stack.line13012.yml OUT OF MEMORY 572.26 304.51 None elimination_backoff_stack.line13013.yml OUT OF MEMORY 345.36 201.14 None elimination_backoff_stack.line1302.yml OUT OF MEMORY 390.89 224.69 None elimination_backoff_stack.line13022.yml OUT OF MEMORY 534.45 286.23 None elimination_backoff_stack.line13023.yml OUT OF MEMORY 457.47 248.08 None elimination_backoff_stack.line1313.yml OUT OF MEMORY 455.47 247.17 None elimination_backoff_stack.line1314.yml OUT OF MEMORY 304.47 168.81 None elimination_backoff_stack.line1325.yml OUT OF MEMORY 349.32 193.92 None elimination_backoff_stack.line1326.yml OUT OF MEMORY 346.63 196.19 None elimination_backoff_stack.line1335.yml OUT OF MEMORY 420.44 231.65 None elimination_backoff_stack.line1336.yml OUT OF MEMORY 386.34 222.21 None elimination_backoff_stack.line1345.yml OUT OF MEMORY 413.26 230.25 None elimination_backoff_stack.line1346.yml OUT OF MEMORY 597.99 317.32 None elimination_backoff_stack.line1356.yml OUT OF MEMORY 439.35 238.73 None elimination_backoff_stack.line1357.yml OUT OF MEMORY 367.67 201.39 None elimination_backoff_stack.line1366.yml OUT OF MEMORY 510.43 272.71 None elimination_backoff_stack.line1367.yml OUT OF MEMORY 592.91 321.08 None elimination_backoff_stack.line1379.yml OUT OF MEMORY 468.34 257.73 None elimination_backoff_stack.line1380.yml OUT OF MEMORY 458.36 249.66 None elimination_backoff_stack.line1415.yml OUT OF MEMORY 341.36 189.09 None elimination_backoff_stack.line1416.yml OUT OF MEMORY 418.06 230.44 None elimination_backoff_stack.line1428.yml OUT OF MEMORY 557.90 297.82 None elimination_backoff_stack.line1429.yml OUT OF MEMORY 577.72 313.00 None elimination_backoff_stack.line1458.yml OUT OF MEMORY 429.81 235.02 None elimination_backoff_stack.line1459.yml OUT OF MEMORY 342.16 194.66 None elimination_backoff_stack.line1470.yml OUT OF MEMORY 304.10 168.96 None elimination_backoff_stack.line1471.yml OUT OF MEMORY 523.58 287.88 None elimination_backoff_stack.line1482.yml OUT OF MEMORY 310.84 174.58 None elimination_backoff_stack.line1483.yml OUT OF MEMORY 472.36 259.13 None elimination_backoff_stack.line1492.yml OUT OF MEMORY 281.33 160.00 None elimination_backoff_stack.line1493.yml OUT OF MEMORY 580.30 307.96 None elimination_backoff_stack.line1502.yml OUT OF MEMORY 78.48 44.16 None elimination_backoff_stack.line1503.yml OUT OF MEMORY 480.58 261.94 None elimination_backoff_stack.line1513.yml OUT OF MEMORY 697.14 367.10 None elimination_backoff_stack.line1514.yml OUT OF MEMORY 72.20 41.17 None elimination_backoff_stack.line1523.yml OUT OF MEMORY 410.96 234.01 None elimination_backoff_stack.line1524.yml OUT OF MEMORY 489.38 261.78 None elimination_backoff_stack.line1536.yml OUT OF MEMORY 434.29 245.94 None elimination_backoff_stack.line1537.yml OUT OF MEMORY 388.49 212.55 None elimination_backoff_stack.line1564.yml OUT OF MEMORY 537.25 286.43 None elimination_backoff_stack.line1565.yml OUT OF MEMORY 345.53 194.90 None elimination_backoff_stack.line1576.yml OUT OF MEMORY 389.96 213.28 None elimination_backoff_stack.line1577.yml OUT OF MEMORY 352.33 202.55 None elimination_backoff_stack.line1589.yml OUT OF MEMORY 392.06 220.73 None elimination_backoff_stack.line1590.yml OUT OF MEMORY 603.63 329.44 None elimination_backoff_stack.line1608.yml OUT OF MEMORY 408.86 224.23 None elimination_backoff_stack.line1609.yml OUT OF MEMORY 633.45 341.97 None elimination_backoff_stack.line1621.yml OUT OF MEMORY 426.79 237.61 None elimination_backoff_stack.line1622.yml OUT OF MEMORY 58.87 35.57 None elimination_backoff_stack.line1655.yml OUT OF MEMORY 57.38 34.84 None elimination_backoff_stack.line1656.yml OUT OF MEMORY 609.79 326.82 None elimination_backoff_stack.line1667.yml OUT OF MEMORY 561.11 302.37 None elimination_backoff_stack.line1668.yml OUT OF MEMORY 420.61 240.79 None elimination_backoff_stack.line1681.yml OUT OF MEMORY 466.84 256.26 None elimination_backoff_stack.line1682.yml OUT OF MEMORY 356.88 198.38 None elimination_backoff_stack.line1691.yml OUT OF MEMORY 414.54 228.65 None elimination_backoff_stack.line1692.yml OUT OF MEMORY 453.26 249.19 None elimination_backoff_stack.line1703.yml OUT OF MEMORY 396.52 221.32 None elimination_backoff_stack.line1704.yml OUT OF MEMORY 537.60 285.67 None elimination_backoff_stack.line1725.yml OUT OF MEMORY 474.98 257.22 None elimination_backoff_stack.line1726.yml OUT OF MEMORY 541.30 292.19 None elimination_backoff_stack.line1738.yml OUT OF MEMORY 548.31 298.57 None elimination_backoff_stack.line1739.yml OUT OF MEMORY 453.87 249.55 None elimination_backoff_stack.line1762.yml OUT OF MEMORY 391.86 220.77 None elimination_backoff_stack.line1763.yml OUT OF MEMORY 448.65 251.34 None elimination_backoff_stack.line1772.yml OUT OF MEMORY 523.61 286.62 None elimination_backoff_stack.line1773.yml OUT OF MEMORY 309.36 172.69 None elimination_backoff_stack.line1783.yml OUT OF MEMORY 624.64 337.70 None elimination_backoff_stack.line1784.yml OUT OF MEMORY 420.75 234.11 None elimination_backoff_stack.line1793.yml OUT OF MEMORY 477.97 261.38 None elimination_backoff_stack.line1794.yml OUT OF MEMORY 542.98 289.03 None elimination_backoff_stack.line1828.yml OUT OF MEMORY 580.94 308.37 None elimination_backoff_stack.line1829.yml OUT OF MEMORY 527.55 283.36 None elimination_backoff_stack.line1844.yml OUT OF MEMORY 503.57 269.25 None elimination_backoff_stack.line1845.yml OUT OF MEMORY 375.21 208.70 None elimination_backoff_stack.line1854.yml OUT OF MEMORY 53.80 32.88 None elimination_backoff_stack.line1855.yml OUT OF MEMORY 318.66 175.33 None elimination_backoff_stack.line1903.yml OUT OF MEMORY 52.23 31.70 None elimination_backoff_stack.line1904.yml OUT OF MEMORY 457.32 251.48 None elimination_backoff_stack.line1915.yml OUT OF MEMORY 357.73 196.59 None elimination_backoff_stack.line1916.yml OUT OF MEMORY 512.77 285.13 None elimination_backoff_stack.line1926.yml OUT OF MEMORY 468.41 257.16 None elimination_backoff_stack.line1927.yml OUT OF MEMORY 642.52 344.82 None elimination_backoff_stack.line1938.yml OUT OF MEMORY 331.39 184.86 None elimination_backoff_stack.line1939.yml OUT OF MEMORY 381.53 209.42 None elimination_backoff_stack.line1951.yml OUT OF MEMORY 473.91 254.56 None elimination_backoff_stack.line1952.yml OUT OF MEMORY 540.58 289.15 None elimination_backoff_stack.line1961.yml OUT OF MEMORY 461.54 254.16 None elimination_backoff_stack.line1962.yml OUT OF MEMORY 531.58 284.22 None elimination_backoff_stack.line1971.yml OUT OF MEMORY 452.79 249.24 None elimination_backoff_stack.line1972.yml OUT OF MEMORY 346.13 190.70 None elimination_backoff_stack.line1983.yml OUT OF MEMORY 523.75 279.50 None elimination_backoff_stack.line1984.yml OUT OF MEMORY 476.59 257.54 None elimination_backoff_stack.line1993.yml OUT OF MEMORY 462.39 255.87 None elimination_backoff_stack.line1994.yml OUT OF MEMORY 349.34 197.02 None elimination_backoff_stack.line2003.yml OUT OF MEMORY 555.00 300.08 None elimination_backoff_stack.line2004.yml OUT OF MEMORY 559.51 305.03 None elimination_backoff_stack.line2187.yml OUT OF MEMORY 384.24 223.76 None elimination_backoff_stack.line2188.yml OUT OF MEMORY 340.22 187.83 None elimination_backoff_stack.line2199.yml OUT OF MEMORY 389.96 212.53 None elimination_backoff_stack.line2200.yml OUT OF MEMORY 398.29 222.33 None elimination_backoff_stack.line2235.yml OUT OF MEMORY 474.75 262.53 None elimination_backoff_stack.line2236.yml OUT OF MEMORY 462.66 251.37 None elimination_backoff_stack.line2256.yml OUT OF MEMORY 468.44 255.97 None elimination_backoff_stack.line2257.yml OUT OF MEMORY 604.59 320.95 None elimination_backoff_stack.line2277.yml OUT OF MEMORY 478.54 258.44 None elimination_backoff_stack.line2278.yml OUT OF MEMORY 428.60 236.24 None elimination_backoff_stack.line2288.yml OUT OF MEMORY 319.71 180.12 None elimination_backoff_stack.line2289.yml OUT OF MEMORY 382.65 210.26 None elimination_backoff_stack.line2298.yml OUT OF MEMORY 299.52 168.01 None elimination_backoff_stack.line2299.yml OUT OF MEMORY 509.13 291.46 None elimination_backoff_stack.line2314.yml OUT OF MEMORY 541.44 288.80 None elimination_backoff_stack.line2315.yml OUT OF MEMORY 389.24 215.41 None elimination_backoff_stack.line2326.yml OUT OF MEMORY 458.70 251.49 None elimination_backoff_stack.line2327.yml OUT OF MEMORY 470.35 260.06 None elimination_backoff_stack.line2339.yml OUT OF MEMORY 389.14 216.41 None elimination_backoff_stack.line2340.yml OUT OF MEMORY 451.50 250.92 None elimination_backoff_stack.line2358.yml OUT OF MEMORY 512.06 278.27 None elimination_backoff_stack.line2359.yml OUT OF MEMORY 390.98 210.08 None elimination_backoff_stack.line2371.yml OUT OF MEMORY 599.70 320.94 None elimination_backoff_stack.line2372.yml OUT OF MEMORY 452.68 248.13 None elimination_backoff_stack.line2405.yml OUT OF MEMORY 390.70 214.12 None elimination_backoff_stack.line2406.yml OUT OF MEMORY 376.29 207.61 None elimination_backoff_stack.line2417.yml OUT OF MEMORY 561.92 299.37 None elimination_backoff_stack.line2418.yml OUT OF MEMORY 464.11 252.58 None elimination_backoff_stack.line2431.yml OUT OF MEMORY 340.71 192.20 None elimination_backoff_stack.line2432.yml OUT OF MEMORY 393.59 217.96 None elimination_backoff_stack.line2441.yml OUT OF MEMORY 602.01 330.40 None elimination_backoff_stack.line2442.yml OUT OF MEMORY 300.94 168.82 None elimination_backoff_stack.line2453.yml OUT OF MEMORY 472.56 254.45 None elimination_backoff_stack.line2454.yml OUT OF MEMORY 559.27 312.13 None elimination_backoff_stack.line2475.yml OUT OF MEMORY 546.15 305.10 None elimination_backoff_stack.line2476.yml OUT OF MEMORY 57.88 33.76 None elimination_backoff_stack.line2488.yml OUT OF MEMORY 372.25 206.63 None elimination_backoff_stack.line2489.yml OUT OF MEMORY 356.13 195.54 None elimination_backoff_stack.line2512.yml OUT OF MEMORY 522.46 294.35 None elimination_backoff_stack.line2513.yml OUT OF MEMORY 297.39 165.70 None elimination_backoff_stack.line2522.yml OUT OF MEMORY 371.57 227.63 None elimination_backoff_stack.line2523.yml OUT OF MEMORY 442.82 384.28 None elimination_backoff_stack.line2533.yml OUT OF MEMORY 50.82 32.21 None elimination_backoff_stack.line2534.yml OUT OF MEMORY 716.67 474.12 None elimination_backoff_stack.line2543.yml OUT OF MEMORY 360.02 215.60 None elimination_backoff_stack.line2544.yml OUT OF MEMORY 587.59 360.63 None elimination_backoff_stack.line2578.yml OUT OF MEMORY 495.39 283.88 None elimination_backoff_stack.line2579.yml OUT OF MEMORY 636.66 448.23 None elimination_backoff_stack.line2594.yml OUT OF MEMORY 363.47 206.97 None elimination_backoff_stack.line2595.yml OUT OF MEMORY 669.14 361.95 None elimination_backoff_stack.line2604.yml OUT OF MEMORY 379.76 211.78 None elimination_backoff_stack.line2605.yml OUT OF MEMORY 529.95 312.77 None elimination_backoff_stack.line2631.yml OUT OF MEMORY 863.67 534.64 None elimination_backoff_stack.line2632.yml OUT OF MEMORY 729.95 419.83 None elimination_backoff_stack.line2644.yml OUT OF MEMORY 746.69 447.15 None elimination_backoff_stack.line2645.yml OUT OF MEMORY 587.33 342.89 None elimination_backoff_stack.line2653.yml OUT OF MEMORY 585.40 337.15 None elimination_backoff_stack.line2654.yml OUT OF MEMORY 448.15 250.11 None elimination_backoff_stack.line2675.yml OUT OF MEMORY 477.76 263.93 None elimination_backoff_stack.line2676.yml OUT OF MEMORY 616.34 343.05 None elimination_backoff_stack.line2688.yml OUT OF MEMORY 644.06 454.92 None elimination_backoff_stack.line2689.yml OUT OF MEMORY 577.69 326.67 None elimination_backoff_stack.line2721.yml OUT OF MEMORY 612.30 324.80 None elimination_backoff_stack.line2722.yml OUT OF MEMORY 476.90 262.11 None elimination_backoff_stack.line2735.yml OUT OF MEMORY 724.01 432.17 None elimination_backoff_stack.line2736.yml OUT OF MEMORY 432.51 260.37 None elimination_backoff_stack.line2749.yml OUT OF MEMORY 565.32 309.66 None elimination_backoff_stack.line2750.yml OUT OF MEMORY 400.13 220.10 None elimination_backoff_stack.line2759.yml OUT OF MEMORY 398.28 219.39 None elimination_backoff_stack.line2760.yml OUT OF MEMORY 476.55 264.11 None elimination_backoff_stack.line2787.yml OUT OF MEMORY 386.90 217.08 None elimination_backoff_stack.line2788.yml OUT OF MEMORY 539.72 308.04 None elimination_backoff_stack.line2800.yml OUT OF MEMORY 436.97 243.84 None elimination_backoff_stack.line2801.yml OUT OF MEMORY 476.57 298.77 None elimination_backoff_stack.line2834.yml OUT OF MEMORY 459.59 260.87 None elimination_backoff_stack.line2835.yml OUT OF MEMORY 451.59 247.48 None elimination_backoff_stack.line2846.yml OUT OF MEMORY 442.08 242.27 None elimination_backoff_stack.line2847.yml OUT OF MEMORY 428.35 270.02 None elimination_backoff_stack.line2865.yml OUT OF MEMORY 560.77 297.94 None elimination_backoff_stack.line2866.yml OUT OF MEMORY 385.31 212.85 None elimination_backoff_stack.line2878.yml OUT OF MEMORY 459.47 259.78 None elimination_backoff_stack.line2879.yml OUT OF MEMORY 574.84 452.48 None elimination_backoff_stack.line2908.yml OUT OF MEMORY 513.18 283.53 None elimination_backoff_stack.line2909.yml OUT OF MEMORY 362.05 204.19 None elimination_backoff_stack.line2927.yml OUT OF MEMORY 564.27 331.37 None elimination_backoff_stack.line2928.yml OUT OF MEMORY 769.09 548.70 None elimination_backoff_stack.line2940.yml OUT OF MEMORY 737.23 472.62 None elimination_backoff_stack.line2941.yml OUT OF MEMORY 721.49 453.85 None elimination_backoff_stack.line2962.yml OUT OF MEMORY 421.24 259.76 None elimination_backoff_stack.line2963.yml OUT OF MEMORY 739.66 511.94 None elimination_backoff_stack.line2972.yml OUT OF MEMORY 386.19 212.18 None elimination_backoff_stack.line2973.yml OUT OF MEMORY 462.93 254.04 None elimination_backoff_stack.line2983.yml OUT OF MEMORY 735.38 482.41 None elimination_backoff_stack.line2984.yml OUT OF MEMORY 349.28 207.06 None elimination_backoff_stack.line2993.yml OUT OF MEMORY 470.58 262.59 None elimination_backoff_stack.line2994.yml OUT OF MEMORY 581.46 310.13 None elimination_backoff_stack.line3005.yml OUT OF MEMORY 233.85 143.59 None elimination_backoff_stack.line3006.yml OUT OF MEMORY 504.63 277.23 None elimination_backoff_stack.line3045.yml OUT OF MEMORY 661.52 374.73 None elimination_backoff_stack.line3046.yml OUT OF MEMORY 583.77 324.27 None elimination_backoff_stack.line3057.yml OUT OF MEMORY 632.54 352.93 None elimination_backoff_stack.line3058.yml OUT OF MEMORY 770.51 433.64 None elimination_backoff_stack.line3069.yml OUT OF MEMORY 431.95 239.27 None elimination_backoff_stack.line3070.yml OUT OF MEMORY 636.95 488.87 None elimination_backoff_stack.line3079.yml OUT OF MEMORY 674.28 391.67 None elimination_backoff_stack.line3080.yml OUT OF MEMORY 576.97 305.88 None elimination_backoff_stack.line3089.yml OUT OF MEMORY 631.70 365.30 None elimination_backoff_stack.line3090.yml OUT OF MEMORY 741.13 418.00 None elimination_backoff_stack.line3100.yml OUT OF MEMORY 694.44 409.22 None elimination_backoff_stack.line3101.yml OUT OF MEMORY 385.21 212.63 None elimination_backoff_stack.line3110.yml OUT OF MEMORY 353.26 199.26 None elimination_backoff_stack.line3111.yml OUT OF MEMORY 563.70 338.97 None elimination_backoff_stack.line3123.yml OUT OF MEMORY 551.59 330.74 None elimination_backoff_stack.line3124.yml OUT OF MEMORY 428.38 241.53 None elimination_backoff_stack.line3159.yml OUT OF MEMORY 668.86 367.11 None elimination_backoff_stack.line3160.yml OUT OF MEMORY 673.85 362.96 None elimination_backoff_stack.line3172.yml OUT OF MEMORY 546.85 289.28 None elimination_backoff_stack.line3173.yml OUT OF MEMORY 494.75 268.91 None elimination_backoff_stack.line3202.yml OUT OF MEMORY 432.26 235.73 None elimination_backoff_stack.line3203.yml OUT OF MEMORY 367.62 201.84 None elimination_backoff_stack.line3214.yml OUT OF MEMORY 358.13 201.34 None elimination_backoff_stack.line3215.yml OUT OF MEMORY 475.85 269.06 None elimination_backoff_stack.line3226.yml OUT OF MEMORY 458.09 246.38 None elimination_backoff_stack.line3227.yml OUT OF MEMORY 598.66 324.36 None elimination_backoff_stack.line3236.yml OUT OF MEMORY 568.63 314.30 None elimination_backoff_stack.line3237.yml OUT OF MEMORY 487.29 262.76 None elimination_backoff_stack.line3246.yml OUT OF MEMORY 322.33 182.78 None elimination_backoff_stack.line3247.yml OUT OF MEMORY 522.13 281.03 None elimination_backoff_stack.line3257.yml OUT OF MEMORY 304.24 171.34 None elimination_backoff_stack.line3258.yml OUT OF MEMORY 377.33 211.28 None elimination_backoff_stack.line3267.yml OUT OF MEMORY 422.20 229.11 None elimination_backoff_stack.line3268.yml OUT OF MEMORY 406.09 224.14 None elimination_backoff_stack.line3280.yml OUT OF MEMORY 440.01 242.75 None elimination_backoff_stack.line3281.yml OUT OF MEMORY 379.87 211.87 None elimination_backoff_stack.line3308.yml OUT OF MEMORY 368.70 200.59 None elimination_backoff_stack.line3309.yml OUT OF MEMORY 450.61 249.69 None elimination_backoff_stack.line3320.yml OUT OF MEMORY 589.73 319.24 None elimination_backoff_stack.line3321.yml OUT OF MEMORY 322.11 180.53 None elimination_backoff_stack.line3333.yml OUT OF MEMORY 434.10 236.27 None elimination_backoff_stack.line3334.yml OUT OF MEMORY 90.94 52.14 None elimination_backoff_stack.line3352.yml OUT OF MEMORY 457.25 248.50 None elimination_backoff_stack.line3353.yml OUT OF MEMORY 555.23 306.93 None elimination_backoff_stack.line3365.yml OUT OF MEMORY 472.06 255.51 None elimination_backoff_stack.line3366.yml OUT OF MEMORY 441.15 248.31 None elimination_backoff_stack.line3399.yml OUT OF MEMORY 430.25 232.80 None elimination_backoff_stack.line3400.yml OUT OF MEMORY 380.74 210.90 None elimination_backoff_stack.line3411.yml OUT OF MEMORY 572.75 306.52 None elimination_backoff_stack.line3412.yml OUT OF MEMORY 601.14 331.36 None elimination_backoff_stack.line3425.yml OUT OF MEMORY 376.46 209.72 None elimination_backoff_stack.line3426.yml OUT OF MEMORY 462.00 257.45 None elimination_backoff_stack.line3435.yml OUT OF MEMORY 336.77 188.84 None elimination_backoff_stack.line3436.yml OUT OF MEMORY 622.58 345.84 None elimination_backoff_stack.line3447.yml OUT OF MEMORY 400.39 219.16 None elimination_backoff_stack.line3448.yml OUT OF MEMORY 563.19 299.89 None elimination_backoff_stack.line3469.yml OUT OF MEMORY 396.22 222.01 None elimination_backoff_stack.line3470.yml OUT OF MEMORY 547.83 294.70 None elimination_backoff_stack.line3482.yml OUT OF MEMORY 370.77 203.26 None elimination_backoff_stack.line3483.yml OUT OF MEMORY 381.71 211.67 None elimination_backoff_stack.line3506.yml OUT OF MEMORY 651.27 354.67 None elimination_backoff_stack.line3507.yml OUT OF MEMORY 546.77 293.36 None elimination_backoff_stack.line3516.yml OUT OF MEMORY 381.90 211.43 None elimination_backoff_stack.line3517.yml OUT OF MEMORY 429.69 239.44 None elimination_backoff_stack.line3527.yml OUT OF MEMORY 409.33 229.71 None elimination_backoff_stack.line3528.yml OUT OF MEMORY 533.30 283.30 None elimination_backoff_stack.line3537.yml OUT OF MEMORY 511.13 285.04 None elimination_backoff_stack.line3538.yml OUT OF MEMORY 322.39 180.54 None elimination_backoff_stack.line3572.yml OUT OF MEMORY 86.45 52.46 None elimination_backoff_stack.line3573.yml OUT OF MEMORY 459.73 247.94 None elimination_backoff_stack.line3588.yml OUT OF MEMORY 509.42 275.70 None elimination_backoff_stack.line3589.yml OUT OF MEMORY 340.88 190.12 None elimination_backoff_stack.line3598.yml OUT OF MEMORY 502.02 285.20 None elimination_backoff_stack.line3599.yml OUT OF MEMORY 494.48 267.73 None elimination_backoff_stack.line3647.yml OUT OF MEMORY 513.86 274.12 None elimination_backoff_stack.line3648.yml OUT OF MEMORY 311.10 173.57 None elimination_backoff_stack.line3659.yml OUT OF MEMORY 454.22 251.42 None elimination_backoff_stack.line3660.yml OUT OF MEMORY 467.18 252.61 None elimination_backoff_stack.line3670.yml OUT OF MEMORY 579.32 318.97 None elimination_backoff_stack.line3671.yml OUT OF MEMORY 55.18 32.84 None elimination_backoff_stack.line3682.yml OUT OF MEMORY 346.06 192.18 None elimination_backoff_stack.line3683.yml OUT OF MEMORY 370.79 208.27 None -------------------------------------------------------------------------------------------------------- Run set 1 done 137533.96 5654.41 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk23 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.line12808.yml OUT OF MEMORY 455.07 249.41 None elimination_backoff_stack.line12809.yml OUT OF MEMORY 350.97 199.20 None elimination_backoff_stack.line12824.yml OUT OF MEMORY 526.65 283.74 None elimination_backoff_stack.line12825.yml OUT OF MEMORY 327.50 183.37 None elimination_backoff_stack.line12834.yml OUT OF MEMORY 582.22 321.89 None elimination_backoff_stack.line12835.yml OUT OF MEMORY 377.29 214.93 None elimination_backoff_stack.line12875.yml OUT OF MEMORY 567.74 305.46 None elimination_backoff_stack.line12876.yml OUT OF MEMORY 594.35 318.04 None elimination_backoff_stack.line12915.yml OUT OF MEMORY 727.66 383.90 None elimination_backoff_stack.line12916.yml OUT OF MEMORY 314.78 175.86 None elimination_backoff_stack.line12945.yml OUT OF MEMORY 232.33 134.78 None elimination_backoff_stack.line12946.yml OUT OF MEMORY 577.92 311.64 None elimination_backoff_stack.line12957.yml OUT OF MEMORY 83.61 51.67 None elimination_backoff_stack.line12958.yml OUT OF MEMORY 493.77 269.95 None elimination_backoff_stack.line12970.yml OUT OF MEMORY 440.96 243.12 None elimination_backoff_stack.line12971.yml OUT OF MEMORY 449.20 248.97 None elimination_backoff_stack.line12980.yml OUT OF MEMORY 335.06 187.27 None elimination_backoff_stack.line12981.yml OUT OF MEMORY 329.10 184.10 None elimination_backoff_stack.line12990.yml OUT OF MEMORY 268.83 154.25 None elimination_backoff_stack.line12991.yml OUT OF MEMORY 544.17 306.07 None elimination_backoff_stack.line13002.yml OUT OF MEMORY 497.81 273.69 None elimination_backoff_stack.line13003.yml OUT OF MEMORY 344.05 193.04 None elimination_backoff_stack.line1301.yml OUT OF MEMORY 534.76 287.39 None elimination_backoff_stack.line13012.yml OUT OF MEMORY 452.54 249.32 None elimination_backoff_stack.line13013.yml OUT OF MEMORY 531.82 285.89 None elimination_backoff_stack.line1302.yml OUT OF MEMORY 451.97 249.85 None elimination_backoff_stack.line13022.yml OUT OF MEMORY 527.26 284.86 None elimination_backoff_stack.line13023.yml OUT OF MEMORY 558.15 309.06 None elimination_backoff_stack.line1313.yml OUT OF MEMORY 373.45 209.68 None elimination_backoff_stack.line1314.yml OUT OF MEMORY 217.04 123.50 None elimination_backoff_stack.line1325.yml OUT OF MEMORY 316.16 176.78 None elimination_backoff_stack.line1326.yml OUT OF MEMORY 544.36 291.33 None elimination_backoff_stack.line1335.yml OUT OF MEMORY 277.06 157.37 None elimination_backoff_stack.line1336.yml OUT OF MEMORY 387.78 215.73 None elimination_backoff_stack.line1345.yml OUT OF MEMORY 61.28 36.79 None elimination_backoff_stack.line1346.yml OUT OF MEMORY 453.79 260.85 None elimination_backoff_stack.line1356.yml OUT OF MEMORY 448.85 249.94 None elimination_backoff_stack.line1357.yml OUT OF MEMORY 354.28 196.24 None elimination_backoff_stack.line1366.yml OUT OF MEMORY 443.31 247.46 None elimination_backoff_stack.line1367.yml OUT OF MEMORY 502.31 277.70 None elimination_backoff_stack.line1379.yml OUT OF MEMORY 468.93 255.10 None elimination_backoff_stack.line1380.yml OUT OF MEMORY 499.75 274.25 None elimination_backoff_stack.line1415.yml OUT OF MEMORY 379.06 215.45 None elimination_backoff_stack.line1416.yml OUT OF MEMORY 535.28 285.59 None elimination_backoff_stack.line1428.yml OUT OF MEMORY 526.55 287.40 None elimination_backoff_stack.line1429.yml OUT OF MEMORY 548.14 295.59 None elimination_backoff_stack.line1458.yml OUT OF MEMORY 643.40 355.72 None elimination_backoff_stack.line1459.yml OUT OF MEMORY 422.81 230.49 None elimination_backoff_stack.line1470.yml OUT OF MEMORY 292.23 165.08 None elimination_backoff_stack.line1471.yml OUT OF MEMORY 475.35 257.30 None elimination_backoff_stack.line1482.yml OUT OF MEMORY 630.79 344.35 None elimination_backoff_stack.line1483.yml OUT OF MEMORY 557.01 312.23 None elimination_backoff_stack.line1492.yml OUT OF MEMORY 446.09 255.86 None elimination_backoff_stack.line1493.yml OUT OF MEMORY 527.64 291.17 None elimination_backoff_stack.line1502.yml OUT OF MEMORY 60.29 37.12 None elimination_backoff_stack.line1503.yml OUT OF MEMORY 692.88 370.36 None elimination_backoff_stack.line1513.yml OUT OF MEMORY 409.12 229.49 None elimination_backoff_stack.line1514.yml OUT OF MEMORY 66.82 39.72 None elimination_backoff_stack.line1523.yml OUT OF MEMORY 442.05 241.51 None elimination_backoff_stack.line1524.yml OUT OF MEMORY 590.33 314.35 None elimination_backoff_stack.line1536.yml OUT OF MEMORY 368.99 204.76 None elimination_backoff_stack.line1537.yml OUT OF MEMORY 552.58 297.90 None elimination_backoff_stack.line1564.yml OUT OF MEMORY 599.23 320.48 None elimination_backoff_stack.line1565.yml OUT OF MEMORY 693.56 368.85 None elimination_backoff_stack.line1576.yml OUT OF MEMORY 361.49 202.02 None elimination_backoff_stack.line1577.yml OUT OF MEMORY 563.08 315.04 None elimination_backoff_stack.line1589.yml OUT OF MEMORY 629.73 357.06 None elimination_backoff_stack.line1590.yml OUT OF MEMORY 207.10 121.23 None elimination_backoff_stack.line1608.yml OUT OF MEMORY 603.89 327.33 None elimination_backoff_stack.line1609.yml OUT OF MEMORY 378.53 212.21 None elimination_backoff_stack.line1621.yml OUT OF MEMORY 501.80 275.90 None elimination_backoff_stack.line1622.yml OUT OF MEMORY 599.01 329.01 None elimination_backoff_stack.line1655.yml OUT OF MEMORY 69.40 42.14 None elimination_backoff_stack.line1656.yml OUT OF MEMORY 718.39 386.12 None elimination_backoff_stack.line1667.yml OUT OF MEMORY 66.05 38.87 None elimination_backoff_stack.line1668.yml OUT OF MEMORY 596.72 319.80 None elimination_backoff_stack.line1681.yml OUT OF MEMORY 61.05 37.86 None elimination_backoff_stack.line1682.yml OUT OF MEMORY 484.35 265.41 None elimination_backoff_stack.line1691.yml OUT OF MEMORY 609.33 333.04 None elimination_backoff_stack.line1692.yml OUT OF MEMORY 639.88 340.60 None elimination_backoff_stack.line1703.yml OUT OF MEMORY 547.99 294.78 None elimination_backoff_stack.line1704.yml OUT OF MEMORY 542.26 292.45 None elimination_backoff_stack.line1725.yml OUT OF MEMORY 589.13 318.07 None elimination_backoff_stack.line1726.yml OUT OF MEMORY 353.28 197.37 None elimination_backoff_stack.line1738.yml OUT OF MEMORY 534.93 298.72 None elimination_backoff_stack.line1739.yml OUT OF MEMORY 58.67 35.79 None elimination_backoff_stack.line1762.yml OUT OF MEMORY 471.06 267.45 None elimination_backoff_stack.line1763.yml OUT OF MEMORY 360.15 200.77 None elimination_backoff_stack.line1772.yml OUT OF MEMORY 351.64 197.67 None elimination_backoff_stack.line1773.yml OUT OF MEMORY 596.52 327.88 None elimination_backoff_stack.line1783.yml OUT OF MEMORY 94.55 57.81 None elimination_backoff_stack.line1784.yml OUT OF MEMORY 366.18 203.23 None elimination_backoff_stack.line1793.yml OUT OF MEMORY 451.85 248.03 None elimination_backoff_stack.line1794.yml OUT OF MEMORY 434.77 241.38 None elimination_backoff_stack.line1828.yml OUT OF MEMORY 526.41 284.48 None elimination_backoff_stack.line1829.yml OUT OF MEMORY 426.75 232.09 None elimination_backoff_stack.line1844.yml OUT OF MEMORY 596.26 324.17 None elimination_backoff_stack.line1845.yml OUT OF MEMORY 387.62 218.65 None elimination_backoff_stack.line1854.yml OUT OF MEMORY 90.55 51.42 None elimination_backoff_stack.line1855.yml OUT OF MEMORY 482.18 260.51 None elimination_backoff_stack.line1903.yml OUT OF MEMORY 69.29 42.68 None elimination_backoff_stack.line1904.yml OUT OF MEMORY 439.51 248.04 None elimination_backoff_stack.line1915.yml OUT OF MEMORY 680.18 359.26 None elimination_backoff_stack.line1916.yml OUT OF MEMORY 379.11 213.81 None elimination_backoff_stack.line1926.yml OUT OF MEMORY 59.56 36.73 None elimination_backoff_stack.line1927.yml OUT OF MEMORY 514.48 286.24 None elimination_backoff_stack.line1938.yml OUT OF MEMORY 238.92 137.47 None elimination_backoff_stack.line1939.yml OUT OF MEMORY 302.59 169.67 None elimination_backoff_stack.line1951.yml OUT OF MEMORY 434.87 238.25 None elimination_backoff_stack.line1952.yml OUT OF MEMORY 315.33 177.07 None elimination_backoff_stack.line1961.yml OUT OF MEMORY 598.37 326.17 None elimination_backoff_stack.line1962.yml OUT OF MEMORY 503.81 276.22 None elimination_backoff_stack.line1971.yml OUT OF MEMORY 376.72 211.91 None elimination_backoff_stack.line1972.yml OUT OF MEMORY 526.51 285.38 None elimination_backoff_stack.line1983.yml OUT OF MEMORY 411.65 228.70 None elimination_backoff_stack.line1984.yml OUT OF MEMORY 439.46 244.27 None elimination_backoff_stack.line1993.yml OUT OF MEMORY 104.51 62.82 None elimination_backoff_stack.line1994.yml OUT OF MEMORY 386.20 217.79 None elimination_backoff_stack.line2003.yml OUT OF MEMORY 531.07 286.91 None elimination_backoff_stack.line2004.yml OUT OF MEMORY 338.53 189.03 None elimination_backoff_stack.line2187.yml OUT OF MEMORY 345.99 195.77 None elimination_backoff_stack.line2188.yml OUT OF MEMORY 298.56 168.18 None elimination_backoff_stack.line2199.yml OUT OF MEMORY 614.30 343.28 None elimination_backoff_stack.line2200.yml OUT OF MEMORY 495.83 267.08 None elimination_backoff_stack.line2235.yml TIMEOUT 902.77 475.38 None elimination_backoff_stack.line2236.yml OUT OF MEMORY 573.80 308.64 None elimination_backoff_stack.line2256.yml OUT OF MEMORY 469.07 257.91 None elimination_backoff_stack.line2257.yml OUT OF MEMORY 441.32 244.22 None elimination_backoff_stack.line2277.yml OUT OF MEMORY 187.49 108.39 None elimination_backoff_stack.line2278.yml OUT OF MEMORY 389.14 219.13 None elimination_backoff_stack.line2288.yml OUT OF MEMORY 337.78 193.39 None elimination_backoff_stack.line2289.yml OUT OF MEMORY 499.69 276.72 None elimination_backoff_stack.line2298.yml OUT OF MEMORY 554.87 299.22 None elimination_backoff_stack.line2299.yml OUT OF MEMORY 213.80 120.90 None elimination_backoff_stack.line2314.yml OUT OF MEMORY 482.58 272.22 None elimination_backoff_stack.line2315.yml OUT OF MEMORY 519.57 282.01 None elimination_backoff_stack.line2326.yml OUT OF MEMORY 338.84 188.69 None elimination_backoff_stack.line2327.yml OUT OF MEMORY 437.62 238.54 None elimination_backoff_stack.line2339.yml OUT OF MEMORY 547.95 293.99 None elimination_backoff_stack.line2340.yml OUT OF MEMORY 618.06 334.83 None elimination_backoff_stack.line2358.yml OUT OF MEMORY 553.53 306.70 None elimination_backoff_stack.line2359.yml OUT OF MEMORY 57.03 35.63 None elimination_backoff_stack.line2371.yml OUT OF MEMORY 499.22 271.97 None elimination_backoff_stack.line2372.yml OUT OF MEMORY 74.03 41.91 None elimination_backoff_stack.line2405.yml OUT OF MEMORY 624.62 348.38 None elimination_backoff_stack.line2406.yml OUT OF MEMORY 493.71 269.32 None elimination_backoff_stack.line2417.yml OUT OF MEMORY 541.41 291.08 None elimination_backoff_stack.line2418.yml OUT OF MEMORY 428.15 243.11 None elimination_backoff_stack.line2431.yml OUT OF MEMORY 325.37 182.76 None elimination_backoff_stack.line2432.yml OUT OF MEMORY 538.19 298.92 None elimination_backoff_stack.line2441.yml OUT OF MEMORY 532.81 288.54 None elimination_backoff_stack.line2442.yml OUT OF MEMORY 65.56 38.38 None elimination_backoff_stack.line2453.yml OUT OF MEMORY 450.91 247.28 None elimination_backoff_stack.line2454.yml OUT OF MEMORY 473.73 259.63 None elimination_backoff_stack.line2475.yml OUT OF MEMORY 522.01 281.91 None elimination_backoff_stack.line2476.yml OUT OF MEMORY 175.66 96.39 None elimination_backoff_stack.line2488.yml OUT OF MEMORY 481.55 262.31 None elimination_backoff_stack.line2489.yml OUT OF MEMORY 466.95 258.65 None elimination_backoff_stack.line2512.yml OUT OF MEMORY 322.18 184.88 None elimination_backoff_stack.line2513.yml OUT OF MEMORY 452.67 250.37 None elimination_backoff_stack.line2522.yml OUT OF MEMORY 443.81 248.52 None elimination_backoff_stack.line2523.yml OUT OF MEMORY 372.83 210.75 None elimination_backoff_stack.line2533.yml OUT OF MEMORY 73.51 41.57 None elimination_backoff_stack.line2534.yml OUT OF MEMORY 67.44 38.02 None elimination_backoff_stack.line2543.yml OUT OF MEMORY 80.54 50.19 None elimination_backoff_stack.line2544.yml OUT OF MEMORY 516.02 277.35 None elimination_backoff_stack.line2578.yml OUT OF MEMORY 520.39 280.83 None elimination_backoff_stack.line2579.yml OUT OF MEMORY 515.43 278.55 None elimination_backoff_stack.line2594.yml OUT OF MEMORY 469.90 262.20 None elimination_backoff_stack.line2595.yml OUT OF MEMORY 57.95 36.37 None elimination_backoff_stack.line2604.yml OUT OF MEMORY 349.57 194.87 None elimination_backoff_stack.line2605.yml OUT OF MEMORY 588.35 320.33 None elimination_backoff_stack.line2631.yml OUT OF MEMORY 599.98 333.23 None elimination_backoff_stack.line2632.yml OUT OF MEMORY 185.18 103.17 None elimination_backoff_stack.line2644.yml OUT OF MEMORY 533.41 295.58 None elimination_backoff_stack.line2645.yml OUT OF MEMORY 369.78 206.37 None elimination_backoff_stack.line2653.yml OUT OF MEMORY 563.90 311.51 None elimination_backoff_stack.line2654.yml OUT OF MEMORY 469.22 257.97 None elimination_backoff_stack.line2675.yml OUT OF MEMORY 223.09 129.64 None elimination_backoff_stack.line2676.yml OUT OF MEMORY 77.29 47.43 None elimination_backoff_stack.line2688.yml OUT OF MEMORY 616.24 327.26 None elimination_backoff_stack.line2689.yml OUT OF MEMORY 456.94 259.03 None elimination_backoff_stack.line2721.yml OUT OF MEMORY 498.33 270.93 None elimination_backoff_stack.line2722.yml OUT OF MEMORY 79.13 45.06 None elimination_backoff_stack.line2735.yml OUT OF MEMORY 689.17 378.00 None elimination_backoff_stack.line2736.yml OUT OF MEMORY 559.87 303.93 None elimination_backoff_stack.line2749.yml OUT OF MEMORY 652.76 346.90 None elimination_backoff_stack.line2750.yml OUT OF MEMORY 366.37 210.82 None elimination_backoff_stack.line2759.yml OUT OF MEMORY 583.51 312.44 None elimination_backoff_stack.line2760.yml OUT OF MEMORY 405.65 225.27 None elimination_backoff_stack.line2787.yml OUT OF MEMORY 892.57 488.69 None elimination_backoff_stack.line2788.yml OUT OF MEMORY 606.49 358.57 None elimination_backoff_stack.line2800.yml OUT OF MEMORY 639.81 360.08 None elimination_backoff_stack.line2801.yml OUT OF MEMORY 568.45 308.29 None elimination_backoff_stack.line2834.yml OUT OF MEMORY 549.43 304.14 None elimination_backoff_stack.line2835.yml OUT OF MEMORY 787.40 429.63 None elimination_backoff_stack.line2846.yml OUT OF MEMORY 56.65 35.33 None elimination_backoff_stack.line2847.yml OUT OF MEMORY 536.16 292.25 None elimination_backoff_stack.line2865.yml OUT OF MEMORY 386.96 217.74 None elimination_backoff_stack.line2866.yml OUT OF MEMORY 331.44 186.27 None elimination_backoff_stack.line2878.yml OUT OF MEMORY 357.96 201.41 None elimination_backoff_stack.line2879.yml OUT OF MEMORY 528.78 287.18 None elimination_backoff_stack.line2908.yml OUT OF MEMORY 608.11 325.36 None elimination_backoff_stack.line2909.yml OUT OF MEMORY 619.57 330.58 None elimination_backoff_stack.line2927.yml OUT OF MEMORY 485.54 278.88 None elimination_backoff_stack.line2928.yml OUT OF MEMORY 479.03 258.24 None elimination_backoff_stack.line2940.yml OUT OF MEMORY 55.78 35.06 None elimination_backoff_stack.line2941.yml OUT OF MEMORY 49.56 32.39 None elimination_backoff_stack.line2962.yml OUT OF MEMORY 483.52 272.04 None elimination_backoff_stack.line2963.yml OUT OF MEMORY 287.73 165.52 None elimination_backoff_stack.line2972.yml OUT OF MEMORY 620.82 340.12 None elimination_backoff_stack.line2973.yml OUT OF MEMORY 394.06 219.45 None elimination_backoff_stack.line2983.yml OUT OF MEMORY 386.41 220.34 None elimination_backoff_stack.line2984.yml OUT OF MEMORY 322.78 183.10 None elimination_backoff_stack.line2993.yml OUT OF MEMORY 514.56 276.89 None elimination_backoff_stack.line2994.yml OUT OF MEMORY 452.79 257.23 None elimination_backoff_stack.line3005.yml OUT OF MEMORY 63.30 37.04 None elimination_backoff_stack.line3006.yml OUT OF MEMORY 239.28 133.12 None elimination_backoff_stack.line3045.yml OUT OF MEMORY 418.04 241.62 None elimination_backoff_stack.line3046.yml OUT OF MEMORY 472.80 264.43 None elimination_backoff_stack.line3057.yml OUT OF MEMORY 585.86 334.60 None elimination_backoff_stack.line3058.yml OUT OF MEMORY 216.61 125.98 None elimination_backoff_stack.line3069.yml OUT OF MEMORY 225.14 125.58 None elimination_backoff_stack.line3070.yml OUT OF MEMORY 547.84 293.11 None elimination_backoff_stack.line3079.yml OUT OF MEMORY 460.40 252.73 None elimination_backoff_stack.line3080.yml OUT OF MEMORY 408.22 225.88 None elimination_backoff_stack.line3089.yml OUT OF MEMORY 254.78 157.43 None elimination_backoff_stack.line3090.yml OUT OF MEMORY 672.78 374.48 None elimination_backoff_stack.line3100.yml OUT OF MEMORY 600.13 323.57 None elimination_backoff_stack.line3101.yml OUT OF MEMORY 388.35 221.52 None elimination_backoff_stack.line3110.yml OUT OF MEMORY 550.32 296.38 None elimination_backoff_stack.line3111.yml OUT OF MEMORY 80.74 47.61 None elimination_backoff_stack.line3123.yml OUT OF MEMORY 820.69 446.86 None elimination_backoff_stack.line3124.yml OUT OF MEMORY 358.10 212.89 None elimination_backoff_stack.line3159.yml OUT OF MEMORY 561.84 305.97 None elimination_backoff_stack.line3160.yml OUT OF MEMORY 507.43 289.36 None elimination_backoff_stack.line3172.yml OUT OF MEMORY 482.89 280.51 None elimination_backoff_stack.line3173.yml OUT OF MEMORY 543.24 301.38 None elimination_backoff_stack.line3202.yml OUT OF MEMORY 458.83 250.87 None elimination_backoff_stack.line3203.yml OUT OF MEMORY 345.90 193.06 None elimination_backoff_stack.line3214.yml OUT OF MEMORY 625.88 332.78 None elimination_backoff_stack.line3215.yml OUT OF MEMORY 496.61 284.82 None elimination_backoff_stack.line3226.yml OUT OF MEMORY 453.10 254.14 None elimination_backoff_stack.line3227.yml OUT OF MEMORY 554.23 307.03 None elimination_backoff_stack.line3236.yml OUT OF MEMORY 554.90 299.77 None elimination_backoff_stack.line3237.yml OUT OF MEMORY 626.15 332.56 None elimination_backoff_stack.line3246.yml OUT OF MEMORY 538.80 314.36 None elimination_backoff_stack.line3247.yml OUT OF MEMORY 386.55 213.67 None elimination_backoff_stack.line3257.yml OUT OF MEMORY 450.82 251.37 None elimination_backoff_stack.line3258.yml OUT OF MEMORY 551.20 300.27 None elimination_backoff_stack.line3267.yml OUT OF MEMORY 417.41 239.68 None elimination_backoff_stack.line3268.yml OUT OF MEMORY 434.40 240.52 None elimination_backoff_stack.line3280.yml OUT OF MEMORY 398.29 224.91 None elimination_backoff_stack.line3281.yml OUT OF MEMORY 357.01 208.74 None elimination_backoff_stack.line3308.yml OUT OF MEMORY 517.47 300.43 None elimination_backoff_stack.line3309.yml OUT OF MEMORY 639.52 353.01 None elimination_backoff_stack.line3320.yml OUT OF MEMORY 74.02 41.83 None elimination_backoff_stack.line3321.yml OUT OF MEMORY 716.05 377.69 None elimination_backoff_stack.line3333.yml OUT OF MEMORY 559.42 314.75 None elimination_backoff_stack.line3334.yml OUT OF MEMORY 57.11 35.90 None elimination_backoff_stack.line3352.yml OUT OF MEMORY 604.45 321.22 None elimination_backoff_stack.line3353.yml OUT OF MEMORY 65.51 38.03 None elimination_backoff_stack.line3365.yml OUT OF MEMORY 458.38 269.57 None elimination_backoff_stack.line3366.yml OUT OF MEMORY 430.68 248.18 None elimination_backoff_stack.line3399.yml OUT OF MEMORY 198.65 115.81 None elimination_backoff_stack.line3400.yml OUT OF MEMORY 695.24 368.02 None elimination_backoff_stack.line3411.yml OUT OF MEMORY 54.13 33.71 None elimination_backoff_stack.line3412.yml OUT OF MEMORY 466.51 261.31 None elimination_backoff_stack.line3425.yml OUT OF MEMORY 555.91 314.46 None elimination_backoff_stack.line3426.yml OUT OF MEMORY 535.94 289.03 None elimination_backoff_stack.line3435.yml OUT OF MEMORY 359.71 200.60 None elimination_backoff_stack.line3436.yml OUT OF MEMORY 449.09 254.21 None elimination_backoff_stack.line3447.yml OUT OF MEMORY 242.05 138.28 None elimination_backoff_stack.line3448.yml OUT OF MEMORY 571.61 322.66 None elimination_backoff_stack.line3469.yml OUT OF MEMORY 494.13 271.22 None elimination_backoff_stack.line3470.yml OUT OF MEMORY 451.06 257.08 None elimination_backoff_stack.line3482.yml OUT OF MEMORY 603.99 335.46 None elimination_backoff_stack.line3483.yml OUT OF MEMORY 345.83 194.02 None elimination_backoff_stack.line3506.yml OUT OF MEMORY 589.37 328.98 None elimination_backoff_stack.line3507.yml OUT OF MEMORY 375.94 208.36 None elimination_backoff_stack.line3516.yml OUT OF MEMORY 469.44 259.69 None elimination_backoff_stack.line3517.yml OUT OF MEMORY 516.64 279.85 None elimination_backoff_stack.line3527.yml OUT OF MEMORY 550.03 293.29 None elimination_backoff_stack.line3528.yml OUT OF MEMORY 447.08 253.35 None elimination_backoff_stack.line3537.yml OUT OF MEMORY 729.58 386.81 None elimination_backoff_stack.line3538.yml OUT OF MEMORY 597.18 338.92 None elimination_backoff_stack.line3572.yml OUT OF MEMORY 209.74 118.28 None elimination_backoff_stack.line3573.yml OUT OF MEMORY 323.70 179.83 None elimination_backoff_stack.line3588.yml OUT OF MEMORY 428.78 236.67 None elimination_backoff_stack.line3589.yml OUT OF MEMORY 569.65 316.68 None elimination_backoff_stack.line3598.yml OUT OF MEMORY 549.73 296.92 None elimination_backoff_stack.line3599.yml OUT OF MEMORY 452.02 252.24 None elimination_backoff_stack.line3647.yml OUT OF MEMORY 551.82 297.04 None elimination_backoff_stack.line3648.yml OUT OF MEMORY 382.11 216.67 None elimination_backoff_stack.line3659.yml OUT OF MEMORY 538.15 298.20 None elimination_backoff_stack.line3660.yml OUT OF MEMORY 510.39 274.97 None elimination_backoff_stack.line3670.yml OUT OF MEMORY 68.05 44.03 None elimination_backoff_stack.line3671.yml OUT OF MEMORY 325.81 183.93 None elimination_backoff_stack.line3682.yml OUT OF MEMORY 499.33 269.55 None elimination_backoff_stack.line3683.yml OUT OF MEMORY 322.96 182.51 None -------------------------------------------------------------------------------------------------------- Run set 2 done 129896.03 5239.04 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk23 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.line12808.yml TIMEOUT 915.81 490.27 None elimination_backoff_stack.line12809.yml OUT OF MEMORY 893.03 462.05 None elimination_backoff_stack.line12824.yml TIMEOUT 918.43 477.20 None elimination_backoff_stack.line12825.yml OUT OF MEMORY 827.79 425.56 None elimination_backoff_stack.line12834.yml TIMEOUT 915.84 481.76 None elimination_backoff_stack.line12835.yml OUT OF MEMORY 865.29 454.58 None elimination_backoff_stack.line12875.yml TIMEOUT 917.54 477.13 None elimination_backoff_stack.line12876.yml TIMEOUT 916.64 476.56 None elimination_backoff_stack.line12915.yml TIMEOUT 918.66 476.64 None elimination_backoff_stack.line12916.yml OUT OF MEMORY 804.71 413.75 None elimination_backoff_stack.line12945.yml OUT OF MEMORY 882.31 457.73 None elimination_backoff_stack.line12946.yml OUT OF MEMORY 627.40 327.37 None elimination_backoff_stack.line12957.yml OUT OF MEMORY 671.71 351.21 None elimination_backoff_stack.line12958.yml OUT OF MEMORY 849.75 438.87 None elimination_backoff_stack.line12970.yml OUT OF MEMORY 780.46 402.13 None elimination_backoff_stack.line12971.yml OUT OF MEMORY 847.04 442.01 None elimination_backoff_stack.line12980.yml OUT OF MEMORY 735.31 378.11 None elimination_backoff_stack.line12981.yml OUT OF MEMORY 614.03 318.12 None elimination_backoff_stack.line12990.yml OUT OF MEMORY 624.07 326.46 None elimination_backoff_stack.line12991.yml TIMEOUT 921.38 494.28 None elimination_backoff_stack.line13002.yml OUT OF MEMORY 823.01 433.26 None elimination_backoff_stack.line13003.yml OUT OF MEMORY 825.81 428.59 None elimination_backoff_stack.line1301.yml TIMEOUT 919.05 477.44 None elimination_backoff_stack.line13012.yml TIMEOUT 916.81 475.55 None elimination_backoff_stack.line13013.yml TIMEOUT 914.74 472.88 None elimination_backoff_stack.line1302.yml TIMEOUT 919.32 478.24 None elimination_backoff_stack.line13022.yml TIMEOUT 919.87 495.74 None elimination_backoff_stack.line13023.yml TIMEOUT 910.98 483.93 None elimination_backoff_stack.line1313.yml OUT OF MEMORY 718.79 371.13 None elimination_backoff_stack.line1314.yml OUT OF MEMORY 605.48 313.71 None elimination_backoff_stack.line1325.yml OUT OF MEMORY 819.82 424.57 None elimination_backoff_stack.line1326.yml OUT OF MEMORY 773.78 397.95 None elimination_backoff_stack.line1335.yml OUT OF MEMORY 837.28 437.13 None elimination_backoff_stack.line1336.yml OUT OF MEMORY 640.87 337.49 None elimination_backoff_stack.line1345.yml TIMEOUT 916.01 476.92 None elimination_backoff_stack.line1346.yml TIMEOUT 921.25 490.55 None elimination_backoff_stack.line1356.yml TIMEOUT 904.74 462.60 None elimination_backoff_stack.line1357.yml TIMEOUT 917.68 475.59 None elimination_backoff_stack.line1366.yml OUT OF MEMORY 880.24 450.03 None elimination_backoff_stack.line1367.yml TIMEOUT 919.73 477.14 None elimination_backoff_stack.line1379.yml TIMEOUT 911.22 485.55 None elimination_backoff_stack.line1380.yml TIMEOUT 920.04 488.64 None elimination_backoff_stack.line1415.yml OUT OF MEMORY 788.54 405.99 None elimination_backoff_stack.line1416.yml OUT OF MEMORY 873.81 450.63 None elimination_backoff_stack.line1428.yml OUT OF MEMORY 663.98 342.83 None elimination_backoff_stack.line1429.yml OUT OF MEMORY 785.33 404.52 None elimination_backoff_stack.line1458.yml OUT OF MEMORY 838.83 432.06 None elimination_backoff_stack.line1459.yml OUT OF MEMORY 638.15 336.10 None elimination_backoff_stack.line1470.yml OUT OF MEMORY 844.20 444.75 None elimination_backoff_stack.line1471.yml OUT OF MEMORY 850.47 435.41 None elimination_backoff_stack.line1482.yml TIMEOUT 913.84 473.80 None elimination_backoff_stack.line1483.yml TIMEOUT 919.71 477.10 None elimination_backoff_stack.line1492.yml TIMEOUT 920.07 477.86 None elimination_backoff_stack.line1493.yml OUT OF MEMORY 896.90 473.51 None elimination_backoff_stack.line1502.yml TIMEOUT 915.94 484.70 None elimination_backoff_stack.line1503.yml OUT OF MEMORY 239.97 126.16 None elimination_backoff_stack.line1513.yml TIMEOUT 912.72 486.66 None elimination_backoff_stack.line1514.yml OUT OF MEMORY 67.25 39.19 None elimination_backoff_stack.line1523.yml OUT OF MEMORY 664.62 345.17 None elimination_backoff_stack.line1524.yml TIMEOUT 921.48 494.13 None elimination_backoff_stack.line1536.yml OUT OF MEMORY 782.70 402.92 None elimination_backoff_stack.line1537.yml OUT OF MEMORY 810.29 417.21 None elimination_backoff_stack.line1564.yml OUT OF MEMORY 652.56 340.10 None elimination_backoff_stack.line1565.yml TIMEOUT 918.73 478.22 None elimination_backoff_stack.line1576.yml OUT OF MEMORY 635.03 334.88 None elimination_backoff_stack.line1577.yml TIMEOUT 921.42 479.22 None elimination_backoff_stack.line1589.yml TIMEOUT 917.73 476.39 None elimination_backoff_stack.line1590.yml TIMEOUT 914.96 471.49 None elimination_backoff_stack.line1608.yml TIMEOUT 921.41 478.88 None elimination_backoff_stack.line1609.yml TIMEOUT 921.49 479.19 None elimination_backoff_stack.line1621.yml TIMEOUT 902.83 470.95 None elimination_backoff_stack.line1622.yml OUT OF MEMORY 778.23 403.96 None elimination_backoff_stack.line1655.yml TIMEOUT 912.36 478.55 None elimination_backoff_stack.line1656.yml TIMEOUT 902.77 471.00 None elimination_backoff_stack.line1667.yml OUT OF MEMORY 156.01 84.31 None elimination_backoff_stack.line1668.yml OUT OF MEMORY 630.75 325.41 None elimination_backoff_stack.line1681.yml OUT OF MEMORY 740.26 379.30 None elimination_backoff_stack.line1682.yml OUT OF MEMORY 862.07 454.76 None elimination_backoff_stack.line1691.yml OUT OF MEMORY 857.66 442.35 None elimination_backoff_stack.line1692.yml OUT OF MEMORY 898.20 469.21 None elimination_backoff_stack.line1703.yml TIMEOUT 920.52 479.38 None elimination_backoff_stack.line1704.yml OUT OF MEMORY 802.99 413.28 None elimination_backoff_stack.line1725.yml OUT OF MEMORY 763.94 392.66 None elimination_backoff_stack.line1726.yml TIMEOUT 920.47 479.12 None elimination_backoff_stack.line1738.yml OUT OF MEMORY 811.79 422.57 None elimination_backoff_stack.line1739.yml TIMEOUT 914.19 488.31 None elimination_backoff_stack.line1762.yml TIMEOUT 921.36 479.04 None elimination_backoff_stack.line1763.yml TIMEOUT 919.23 476.88 None elimination_backoff_stack.line1772.yml TIMEOUT 921.34 484.86 None elimination_backoff_stack.line1773.yml TIMEOUT 917.90 492.09 None elimination_backoff_stack.line1783.yml OUT OF MEMORY 627.80 320.79 None elimination_backoff_stack.line1784.yml TIMEOUT 907.25 478.34 None elimination_backoff_stack.line1793.yml OUT OF MEMORY 898.56 466.54 None elimination_backoff_stack.line1794.yml OUT OF MEMORY 779.97 408.41 None elimination_backoff_stack.line1828.yml OUT OF MEMORY 893.64 459.93 None elimination_backoff_stack.line1829.yml OUT OF MEMORY 533.32 277.31 None elimination_backoff_stack.line1844.yml OUT OF MEMORY 633.16 325.81 None elimination_backoff_stack.line1845.yml OUT OF MEMORY 839.68 429.39 None elimination_backoff_stack.line1854.yml TIMEOUT 903.94 461.22 None elimination_backoff_stack.line1855.yml TIMEOUT 915.00 472.36 None elimination_backoff_stack.line1903.yml OUT OF MEMORY 112.12 60.54 None elimination_backoff_stack.line1904.yml TIMEOUT 921.35 476.77 None elimination_backoff_stack.line1915.yml OUT OF MEMORY 886.42 467.76 None elimination_backoff_stack.line1916.yml TIMEOUT 908.59 481.69 None elimination_backoff_stack.line1926.yml TIMEOUT 916.70 478.48 None elimination_backoff_stack.line1927.yml TIMEOUT 920.02 479.77 None elimination_backoff_stack.line1938.yml OUT OF MEMORY 801.11 420.71 None elimination_backoff_stack.line1939.yml OUT OF MEMORY 570.76 295.99 None elimination_backoff_stack.line1951.yml TIMEOUT 921.35 488.61 None elimination_backoff_stack.line1952.yml OUT OF MEMORY 749.39 397.06 None elimination_backoff_stack.line1961.yml OUT OF MEMORY 749.11 383.62 None elimination_backoff_stack.line1962.yml OUT OF MEMORY 789.42 408.01 None elimination_backoff_stack.line1971.yml OUT OF MEMORY 815.47 420.48 None elimination_backoff_stack.line1972.yml TIMEOUT 917.95 476.55 None elimination_backoff_stack.line1983.yml TIMEOUT 918.51 475.40 None elimination_backoff_stack.line1984.yml OUT OF MEMORY 767.28 394.65 None elimination_backoff_stack.line1993.yml TIMEOUT 916.49 485.85 None elimination_backoff_stack.line1994.yml TIMEOUT 919.39 476.88 None elimination_backoff_stack.line2003.yml TIMEOUT 910.41 481.37 None elimination_backoff_stack.line2004.yml TIMEOUT 918.46 488.78 None elimination_backoff_stack.line2187.yml TIMEOUT 918.40 476.00 None elimination_backoff_stack.line2188.yml OUT OF MEMORY 896.17 467.48 None elimination_backoff_stack.line2199.yml OUT OF MEMORY 878.45 454.55 None elimination_backoff_stack.line2200.yml OUT OF MEMORY 688.66 353.80 None elimination_backoff_stack.line2235.yml OUT OF MEMORY 835.72 426.48 None elimination_backoff_stack.line2236.yml OUT OF MEMORY 795.97 412.34 None elimination_backoff_stack.line2256.yml OUT OF MEMORY 871.64 445.63 None elimination_backoff_stack.line2257.yml OUT OF MEMORY 770.78 398.48 None elimination_backoff_stack.line2277.yml TIMEOUT 900.58 460.40 None elimination_backoff_stack.line2278.yml TIMEOUT 919.83 478.25 None elimination_backoff_stack.line2288.yml TIMEOUT 919.67 477.85 None elimination_backoff_stack.line2289.yml OUT OF MEMORY 828.79 425.33 None elimination_backoff_stack.line2298.yml OUT OF MEMORY 867.12 456.68 None elimination_backoff_stack.line2299.yml OUT OF MEMORY 145.78 82.04 None elimination_backoff_stack.line2314.yml TIMEOUT 918.60 476.98 None elimination_backoff_stack.line2315.yml OUT OF MEMORY 537.27 283.91 None elimination_backoff_stack.line2326.yml TIMEOUT 921.44 491.55 None elimination_backoff_stack.line2327.yml TIMEOUT 902.79 464.08 None elimination_backoff_stack.line2339.yml OUT OF MEMORY 855.04 456.18 None elimination_backoff_stack.line2340.yml TIMEOUT 913.45 482.75 None elimination_backoff_stack.line2358.yml TIMEOUT 909.17 466.58 None elimination_backoff_stack.line2359.yml TIMEOUT 914.42 472.39 None elimination_backoff_stack.line2371.yml OUT OF MEMORY 647.12 335.11 None elimination_backoff_stack.line2372.yml OUT OF MEMORY 107.88 61.99 None elimination_backoff_stack.line2405.yml TIMEOUT 917.97 478.80 None elimination_backoff_stack.line2406.yml OUT OF MEMORY 788.48 421.18 None elimination_backoff_stack.line2417.yml OUT OF MEMORY 761.78 390.49 None elimination_backoff_stack.line2418.yml TIMEOUT 915.85 476.21 None elimination_backoff_stack.line2431.yml OUT OF MEMORY 854.84 448.49 None elimination_backoff_stack.line2432.yml TIMEOUT 920.98 477.51 None elimination_backoff_stack.line2441.yml TIMEOUT 921.42 480.19 None elimination_backoff_stack.line2442.yml OUT OF MEMORY 166.97 90.21 None elimination_backoff_stack.line2453.yml TIMEOUT 919.14 493.16 None elimination_backoff_stack.line2454.yml TIMEOUT 921.41 489.36 None elimination_backoff_stack.line2475.yml TIMEOUT 912.17 484.81 None elimination_backoff_stack.line2476.yml OUT OF MEMORY 111.28 62.85 None elimination_backoff_stack.line2488.yml OUT OF MEMORY 862.15 447.48 None elimination_backoff_stack.line2489.yml OUT OF MEMORY 801.21 413.26 None elimination_backoff_stack.line2512.yml OUT OF MEMORY 628.88 327.01 None elimination_backoff_stack.line2513.yml TIMEOUT 902.40 463.22 None elimination_backoff_stack.line2522.yml OUT OF MEMORY 677.54 348.91 None elimination_backoff_stack.line2523.yml OUT OF MEMORY 778.42 412.05 None elimination_backoff_stack.line2533.yml TIMEOUT 902.83 459.46 None elimination_backoff_stack.line2534.yml TIMEOUT 919.98 494.20 None elimination_backoff_stack.line2543.yml OUT OF MEMORY 683.02 348.31 None elimination_backoff_stack.line2544.yml TIMEOUT 921.49 478.67 None elimination_backoff_stack.line2578.yml TIMEOUT 921.44 480.36 None elimination_backoff_stack.line2579.yml OUT OF MEMORY 799.08 413.27 None elimination_backoff_stack.line2594.yml TIMEOUT 916.62 487.42 None elimination_backoff_stack.line2595.yml TIMEOUT 908.02 469.46 None elimination_backoff_stack.line2604.yml TIMEOUT 905.17 466.91 None elimination_backoff_stack.line2605.yml TIMEOUT 913.07 474.25 None elimination_backoff_stack.line2631.yml TIMEOUT 913.20 483.51 None elimination_backoff_stack.line2632.yml OUT OF MEMORY 66.54 37.95 None elimination_backoff_stack.line2644.yml OUT OF MEMORY 790.70 407.44 None elimination_backoff_stack.line2645.yml OUT OF MEMORY 750.85 387.05 None elimination_backoff_stack.line2653.yml OUT OF MEMORY 786.82 403.27 None elimination_backoff_stack.line2654.yml TIMEOUT 902.77 459.85 None elimination_backoff_stack.line2675.yml TIMEOUT 904.63 460.50 None elimination_backoff_stack.line2676.yml TIMEOUT 921.34 484.02 None elimination_backoff_stack.line2688.yml OUT OF MEMORY 811.48 417.97 None elimination_backoff_stack.line2689.yml TIMEOUT 903.16 458.53 None elimination_backoff_stack.line2721.yml OUT OF MEMORY 810.86 414.39 None elimination_backoff_stack.line2722.yml TIMEOUT 915.16 475.74 None elimination_backoff_stack.line2735.yml TIMEOUT 917.92 489.99 None elimination_backoff_stack.line2736.yml OUT OF MEMORY 858.01 443.63 None elimination_backoff_stack.line2749.yml TIMEOUT 921.39 485.89 None elimination_backoff_stack.line2750.yml TIMEOUT 911.20 479.86 None elimination_backoff_stack.line2759.yml OUT OF MEMORY 795.99 407.20 None elimination_backoff_stack.line2760.yml OUT OF MEMORY 851.16 437.62 None elimination_backoff_stack.line2787.yml OUT OF MEMORY 820.67 425.17 None elimination_backoff_stack.line2788.yml TIMEOUT 917.42 476.25 None elimination_backoff_stack.line2800.yml TIMEOUT 921.56 480.03 None elimination_backoff_stack.line2801.yml OUT OF MEMORY 651.51 335.69 None elimination_backoff_stack.line2834.yml OUT OF MEMORY 893.34 480.02 None elimination_backoff_stack.line2835.yml TIMEOUT 902.94 457.80 None elimination_backoff_stack.line2846.yml TIMEOUT 902.96 458.94 None elimination_backoff_stack.line2847.yml OUT OF MEMORY 880.82 453.65 None elimination_backoff_stack.line2865.yml OUT OF MEMORY 799.18 409.55 None elimination_backoff_stack.line2866.yml TIMEOUT 921.37 495.19 None elimination_backoff_stack.line2878.yml TIMEOUT 913.08 479.30 None elimination_backoff_stack.line2879.yml OUT OF MEMORY 883.94 458.58 None elimination_backoff_stack.line2908.yml OUT OF MEMORY 869.81 446.16 None elimination_backoff_stack.line2909.yml TIMEOUT 910.79 480.19 None elimination_backoff_stack.line2927.yml OUT OF MEMORY 869.32 465.66 None elimination_backoff_stack.line2928.yml OUT OF MEMORY 639.04 330.11 None elimination_backoff_stack.line2940.yml OUT OF MEMORY 642.57 330.23 None elimination_backoff_stack.line2941.yml TIMEOUT 905.22 461.43 None elimination_backoff_stack.line2962.yml TIMEOUT 921.46 477.43 None elimination_backoff_stack.line2963.yml TIMEOUT 921.29 492.53 None elimination_backoff_stack.line2972.yml TIMEOUT 921.46 478.13 None elimination_backoff_stack.line2973.yml OUT OF MEMORY 621.15 322.31 None elimination_backoff_stack.line2983.yml OUT OF MEMORY 816.56 422.16 None elimination_backoff_stack.line2984.yml TIMEOUT 921.53 483.94 None elimination_backoff_stack.line2993.yml OUT OF MEMORY 820.85 430.81 None elimination_backoff_stack.line2994.yml TIMEOUT 918.72 488.41 None elimination_backoff_stack.line3005.yml TIMEOUT 916.78 475.92 None elimination_backoff_stack.line3006.yml OUT OF MEMORY 667.76 343.60 None elimination_backoff_stack.line3045.yml TIMEOUT 920.26 486.37 None elimination_backoff_stack.line3046.yml TIMEOUT 917.28 477.31 None elimination_backoff_stack.line3057.yml OUT OF MEMORY 862.97 454.69 None elimination_backoff_stack.line3058.yml TIMEOUT 903.12 460.49 None elimination_backoff_stack.line3069.yml OUT OF MEMORY 737.87 376.45 None elimination_backoff_stack.line3070.yml TIMEOUT 921.58 478.74 None elimination_backoff_stack.line3079.yml OUT OF MEMORY 888.38 458.08 None elimination_backoff_stack.line3080.yml OUT OF MEMORY 717.13 369.32 None elimination_backoff_stack.line3089.yml OUT OF MEMORY 845.21 436.08 None elimination_backoff_stack.line3090.yml TIMEOUT 915.57 484.90 None elimination_backoff_stack.line3100.yml OUT OF MEMORY 809.81 421.69 None elimination_backoff_stack.line3101.yml OUT OF MEMORY 752.07 387.61 None elimination_backoff_stack.line3110.yml OUT OF MEMORY 833.08 432.88 None elimination_backoff_stack.line3111.yml TIMEOUT 904.15 470.52 None elimination_backoff_stack.line3123.yml OUT OF MEMORY 754.77 396.05 None elimination_backoff_stack.line3124.yml TIMEOUT 917.97 478.00 None elimination_backoff_stack.line3159.yml TIMEOUT 921.34 492.94 None elimination_backoff_stack.line3160.yml OUT OF MEMORY 762.18 391.11 None elimination_backoff_stack.line3172.yml TIMEOUT 917.83 476.40 None elimination_backoff_stack.line3173.yml OUT OF MEMORY 718.02 370.36 None elimination_backoff_stack.line3202.yml OUT OF MEMORY 769.62 397.54 None elimination_backoff_stack.line3203.yml TIMEOUT 920.24 478.05 None elimination_backoff_stack.line3214.yml TIMEOUT 920.56 476.48 None elimination_backoff_stack.line3215.yml TIMEOUT 913.33 479.98 None elimination_backoff_stack.line3226.yml OUT OF MEMORY 715.29 373.35 None elimination_backoff_stack.line3227.yml OUT OF MEMORY 783.65 400.35 None elimination_backoff_stack.line3236.yml OUT OF MEMORY 863.28 452.82 None elimination_backoff_stack.line3237.yml OUT OF MEMORY 876.72 456.39 None elimination_backoff_stack.line3246.yml TIMEOUT 912.86 487.48 None elimination_backoff_stack.line3247.yml TIMEOUT 917.44 477.70 None elimination_backoff_stack.line3257.yml OUT OF MEMORY 622.59 321.94 None elimination_backoff_stack.line3258.yml OUT OF MEMORY 859.26 444.88 None elimination_backoff_stack.line3267.yml OUT OF MEMORY 662.05 340.65 None elimination_backoff_stack.line3268.yml TIMEOUT 920.57 480.68 None elimination_backoff_stack.line3280.yml OUT OF MEMORY 799.62 415.75 None elimination_backoff_stack.line3281.yml TIMEOUT 904.16 466.37 None elimination_backoff_stack.line3308.yml TIMEOUT 921.35 479.90 None elimination_backoff_stack.line3309.yml TIMEOUT 904.30 459.37 None elimination_backoff_stack.line3320.yml TIMEOUT 902.87 461.87 None elimination_backoff_stack.line3321.yml OUT OF MEMORY 548.60 286.75 None elimination_backoff_stack.line3333.yml TIMEOUT 904.22 475.85 None elimination_backoff_stack.line3334.yml TIMEOUT 913.78 479.42 None elimination_backoff_stack.line3352.yml TIMEOUT 921.27 487.41 None elimination_backoff_stack.line3353.yml OUT OF MEMORY 651.11 334.26 None elimination_backoff_stack.line3365.yml TIMEOUT 915.72 485.49 None elimination_backoff_stack.line3366.yml OUT OF MEMORY 850.25 439.29 None elimination_backoff_stack.line3399.yml OUT OF MEMORY 848.42 433.78 None elimination_backoff_stack.line3400.yml OUT OF MEMORY 827.59 429.63 None elimination_backoff_stack.line3411.yml OUT OF MEMORY 51.68 29.77 None elimination_backoff_stack.line3412.yml TIMEOUT 916.99 475.98 None elimination_backoff_stack.line3425.yml OUT OF MEMORY 571.74 296.36 None elimination_backoff_stack.line3426.yml OUT OF MEMORY 863.67 448.08 None elimination_backoff_stack.line3435.yml OUT OF MEMORY 841.57 433.19 None elimination_backoff_stack.line3436.yml TIMEOUT 919.67 477.11 None elimination_backoff_stack.line3447.yml TIMEOUT 921.15 478.81 None elimination_backoff_stack.line3448.yml OUT OF MEMORY 523.96 274.64 None elimination_backoff_stack.line3469.yml TIMEOUT 921.44 494.16 None elimination_backoff_stack.line3470.yml OUT OF MEMORY 788.23 417.34 None elimination_backoff_stack.line3482.yml TIMEOUT 915.29 480.53 None elimination_backoff_stack.line3483.yml TIMEOUT 909.30 477.03 None elimination_backoff_stack.line3506.yml TIMEOUT 915.33 476.04 None elimination_backoff_stack.line3507.yml OUT OF MEMORY 709.73 365.49 None elimination_backoff_stack.line3516.yml TIMEOUT 914.05 480.42 None elimination_backoff_stack.line3517.yml OUT OF MEMORY 789.52 407.28 None elimination_backoff_stack.line3527.yml OUT OF MEMORY 734.30 377.86 None elimination_backoff_stack.line3528.yml TIMEOUT 916.70 475.79 None elimination_backoff_stack.line3537.yml OUT OF MEMORY 849.71 441.02 None elimination_backoff_stack.line3538.yml OUT OF MEMORY 891.22 457.61 None elimination_backoff_stack.line3572.yml TIMEOUT 904.56 460.16 None elimination_backoff_stack.line3573.yml TIMEOUT 919.23 476.33 None elimination_backoff_stack.line3588.yml TIMEOUT 909.80 479.26 None elimination_backoff_stack.line3589.yml OUT OF MEMORY 791.21 413.31 None elimination_backoff_stack.line3598.yml OUT OF MEMORY 724.75 372.44 None elimination_backoff_stack.line3599.yml OUT OF MEMORY 832.98 431.99 None elimination_backoff_stack.line3647.yml OUT OF MEMORY 789.00 421.68 None elimination_backoff_stack.line3648.yml TIMEOUT 916.50 473.47 None elimination_backoff_stack.line3659.yml TIMEOUT 909.18 476.07 None elimination_backoff_stack.line3660.yml OUT OF MEMORY 598.85 310.25 None elimination_backoff_stack.line3670.yml TIMEOUT 907.78 465.52 None elimination_backoff_stack.line3671.yml TIMEOUT 911.12 471.48 None elimination_backoff_stack.line3682.yml TIMEOUT 910.83 468.15 None elimination_backoff_stack.line3683.yml OUT OF MEMORY 775.35 398.47 None -------------------------------------------------------------------------------------------------------- Run set 3 done 245964.22 9382.31 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk23 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk23 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk23 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk23 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk23 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk23 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk23 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk23 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk23 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk23 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk23 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk23 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk23 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk23 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk23 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk23 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)