BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk16, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk16, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk16 date: Fri, 2022-10-21 16:51:21 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-chunk16 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 ---------------------------------------------------------------------------------------------------------------- parallel-bakery-4.wvr.line871.yml OUT OF MEMORY 522.71 279.51 None parallel-bakery-4.wvr.line872.yml OUT OF MEMORY 488.86 261.62 None parallel-bakery-4.wvr.line886.yml OUT OF MEMORY 608.87 319.32 None parallel-bakery-4.wvr.line887.yml OUT OF MEMORY 481.56 254.95 None parallel-bakery-4.wvr.line901.yml OUT OF MEMORY 488.96 264.56 None parallel-bakery-4.wvr.line902.yml OUT OF MEMORY 421.06 239.88 None parallel-bakery-4.wvr.line916.yml OUT OF MEMORY 647.54 334.38 None parallel-bakery-4.wvr.line917.yml OUT OF MEMORY 617.69 320.80 None parallel-bakery-4.wvr.line928.yml OUT OF MEMORY 628.99 327.97 None parallel-bakery-4.wvr.line929.yml OUT OF MEMORY 481.16 252.61 None parallel-bakery-4.wvr.line940.yml OUT OF MEMORY 573.50 303.55 None parallel-bakery-4.wvr.line941.yml OUT OF MEMORY 528.30 278.08 None parallel-bakery-4.wvr.line952.yml OUT OF MEMORY 536.57 284.96 None parallel-bakery-4.wvr.line953.yml OUT OF MEMORY 503.92 261.31 None parallel-bakery-4.wvr.line964.yml OUT OF MEMORY 416.40 227.56 None parallel-bakery-4.wvr.line965.yml OUT OF MEMORY 432.76 226.63 None parallel-barrier-loop.wvr.line118.yml false(unreach-call) 49.83 32.05 None parallel-barrier-loop.wvr.line119.yml false(unreach-call) 48.33 31.26 None parallel-barrier-loop.wvr.line133.yml false(unreach-call) 50.53 33.18 None parallel-barrier-loop.wvr.line134.yml false(unreach-call) 49.96 33.82 None parallel-barrier-loop.wvr.line145.yml false(unreach-call) 59.90 39.87 None parallel-barrier-loop.wvr.line146.yml false(unreach-call) 60.21 40.23 None parallel-barrier-loop.wvr.line157.yml OUT OF MEMORY 284.07 172.77 None parallel-barrier-loop.wvr.line158.yml OUT OF MEMORY 306.45 183.56 None parallel-barrier-loop.wvr.line413.yml OUT OF MEMORY 293.05 170.35 None parallel-barrier-loop.wvr.line414.yml OUT OF MEMORY 490.04 277.16 None parallel-barrier-loop.wvr.line428.yml OUT OF MEMORY 492.54 275.53 None parallel-barrier-loop.wvr.line429.yml OUT OF MEMORY 432.60 247.49 None parallel-barrier-loop.wvr.line440.yml OUT OF MEMORY 333.08 193.54 None parallel-barrier-loop.wvr.line441.yml OUT OF MEMORY 573.31 311.92 None parallel-barrier-loop.wvr.line452.yml OUT OF MEMORY 486.05 274.76 None parallel-barrier-loop.wvr.line453.yml OUT OF MEMORY 558.27 311.40 None parallel-barrier-loop.wvr.line808.yml OUT OF MEMORY 573.44 313.24 None parallel-barrier-loop.wvr.line809.yml OUT OF MEMORY 521.60 288.20 None parallel-barrier-loop.wvr.line823.yml false(unreach-call) 7.21 5.11 None parallel-barrier-loop.wvr.line824.yml false(unreach-call) 7.60 5.06 None parallel-barrier-loop.wvr.line835.yml false(unreach-call) 6.80 4.57 None parallel-barrier-loop.wvr.line836.yml false(unreach-call) 7.36 5.76 None parallel-barrier-loop.wvr.line847.yml false(unreach-call) 9.29 5.86 None parallel-barrier-loop.wvr.line848.yml false(unreach-call) 9.51 6.70 None parallel-barrier.wvr.line117.yml false(unreach-call) 49.85 32.40 None parallel-barrier.wvr.line118.yml false(unreach-call) 47.73 35.19 None parallel-barrier.wvr.line132.yml false(unreach-call) 44.68 29.23 None parallel-barrier.wvr.line133.yml false(unreach-call) 47.17 33.04 None parallel-barrier.wvr.line144.yml false(unreach-call) 58.79 38.29 None parallel-barrier.wvr.line145.yml false(unreach-call) 58.22 39.12 None parallel-barrier.wvr.line156.yml OUT OF MEMORY 288.42 168.11 None parallel-barrier.wvr.line157.yml OUT OF MEMORY 323.89 193.55 None parallel-barrier.wvr.line359.yml OUT OF MEMORY 414.39 242.04 None parallel-barrier.wvr.line360.yml OUT OF MEMORY 382.13 219.05 None parallel-barrier.wvr.line374.yml OUT OF MEMORY 362.58 200.46 None parallel-barrier.wvr.line375.yml OUT OF MEMORY 346.17 194.14 None parallel-barrier.wvr.line386.yml OUT OF MEMORY 396.15 223.87 None parallel-barrier.wvr.line387.yml OUT OF MEMORY 431.50 243.67 None parallel-barrier.wvr.line398.yml OUT OF MEMORY 456.50 251.88 None parallel-barrier.wvr.line399.yml OUT OF MEMORY 428.83 239.53 None parallel-barrier.wvr.line689.yml OUT OF MEMORY 412.76 226.09 None parallel-barrier.wvr.line690.yml OUT OF MEMORY 490.39 265.57 None parallel-barrier.wvr.line704.yml false(unreach-call) 9.18 5.64 None parallel-barrier.wvr.line705.yml false(unreach-call) 9.20 5.62 None parallel-barrier.wvr.line716.yml false(unreach-call) 8.75 5.40 None parallel-barrier.wvr.line717.yml false(unreach-call) 9.21 5.57 None parallel-barrier.wvr.line728.yml OUT OF MEMORY 492.18 272.00 None parallel-barrier.wvr.line729.yml OUT OF MEMORY 518.24 283.99 None parallel-bluetooth.wvr.line303.yml true 6.30 4.26 None parallel-bluetooth.wvr.line304.yml true 6.36 4.25 None parallel-bluetooth.wvr.line318.yml true 6.90 4.32 None parallel-bluetooth.wvr.line319.yml true 6.89 4.15 None parallel-bluetooth.wvr.line330.yml true 7.16 4.61 None parallel-bluetooth.wvr.line331.yml true 7.57 4.80 None parallel-bluetooth.wvr.line342.yml true 7.85 5.02 None parallel-bluetooth.wvr.line343.yml true 8.14 5.57 None parallel-misc-2-unrolled-atomic.wvr.line217.yml true 5.73 3.98 None parallel-misc-2-unrolled-atomic.wvr.line218.yml true 5.99 4.56 None parallel-misc-2-unrolled-atomic.wvr.line232.yml true 5.82 3.87 None parallel-misc-2-unrolled-atomic.wvr.line233.yml true 5.93 4.63 None parallel-misc-2-unrolled-atomic.wvr.line244.yml true 6.18 4.46 None parallel-misc-2-unrolled-atomic.wvr.line245.yml true 6.61 4.99 None parallel-misc-2-unrolled-atomic.wvr.line256.yml true 6.50 4.33 None parallel-misc-2-unrolled-atomic.wvr.line257.yml true 7.06 4.62 None parallel-misc-2-unrolled.wvr.line212.yml true 5.96 4.05 None parallel-misc-2-unrolled.wvr.line213.yml true 5.83 4.40 None parallel-misc-2-unrolled.wvr.line227.yml true 6.00 4.13 None parallel-misc-2-unrolled.wvr.line228.yml true 6.10 4.22 None parallel-misc-2-unrolled.wvr.line239.yml true 6.40 4.66 None parallel-misc-2-unrolled.wvr.line240.yml true 6.73 4.50 None parallel-misc-2-unrolled.wvr.line251.yml true 6.62 4.78 None parallel-misc-2-unrolled.wvr.line252.yml true 6.84 4.55 None parallel-misc-2.wvr.line224.yml true 5.98 4.34 None parallel-misc-2.wvr.line225.yml true 6.68 4.45 None parallel-misc-2.wvr.line239.yml true 5.64 4.04 None parallel-misc-2.wvr.line240.yml true 6.11 4.14 None parallel-misc-2.wvr.line251.yml true 6.64 4.49 None parallel-misc-2.wvr.line252.yml true 6.38 4.55 None parallel-misc-2.wvr.line263.yml true 6.95 4.51 None parallel-misc-2.wvr.line264.yml true 6.94 4.58 None parallel-misc-3-extended.wvr.line274.yml true 7.16 4.88 None parallel-misc-3-extended.wvr.line275.yml true 8.05 5.32 None parallel-misc-3-extended.wvr.line289.yml true 7.24 5.03 None parallel-misc-3-extended.wvr.line290.yml true 8.01 5.26 None parallel-misc-3-extended.wvr.line304.yml true 8.29 5.93 None parallel-misc-3-extended.wvr.line305.yml true 7.62 4.99 None parallel-misc-3-extended.wvr.line316.yml true 12.86 7.96 None parallel-misc-3-extended.wvr.line317.yml true 12.92 8.36 None parallel-misc-3-extended.wvr.line328.yml true 18.02 11.43 None parallel-misc-3-extended.wvr.line329.yml true 22.71 15.84 None parallel-misc-3-extended.wvr.line340.yml true 18.21 10.94 None parallel-misc-3-extended.wvr.line341.yml true 34.60 24.26 None parallel-misc-3.wvr.line208.yml true 5.62 4.31 None parallel-misc-3.wvr.line209.yml true 6.14 4.29 None parallel-misc-3.wvr.line223.yml true 5.85 4.08 None parallel-misc-3.wvr.line224.yml true 5.62 4.40 None parallel-misc-3.wvr.line235.yml true 6.23 4.29 None parallel-misc-3.wvr.line236.yml true 6.21 4.23 None parallel-misc-3.wvr.line247.yml true 7.21 4.62 None parallel-misc-3.wvr.line248.yml true 7.67 5.45 None parallel-misc-4.wvr.line259.yml true 7.38 5.06 None parallel-misc-4.wvr.line260.yml true 7.87 5.26 None parallel-misc-4.wvr.line274.yml true 6.92 4.98 None parallel-misc-4.wvr.line275.yml true 7.51 5.09 None parallel-misc-4.wvr.line289.yml true 7.81 5.31 None parallel-misc-4.wvr.line290.yml true 7.78 5.32 None parallel-misc-4.wvr.line301.yml true 10.83 7.11 None parallel-misc-4.wvr.line302.yml true 11.02 6.64 None parallel-misc-4.wvr.line313.yml true 14.63 8.84 None parallel-misc-4.wvr.line314.yml true 14.45 9.49 None parallel-misc-4.wvr.line325.yml true 13.76 9.01 None parallel-misc-4.wvr.line326.yml true 15.48 9.04 None parallel-misc-5.wvr.line309.yml true 8.34 5.82 None parallel-misc-5.wvr.line310.yml true 9.23 5.86 None parallel-misc-5.wvr.line324.yml true 7.97 5.68 None parallel-misc-5.wvr.line325.yml true 8.63 5.77 None parallel-misc-5.wvr.line339.yml true 10.50 6.39 None parallel-misc-5.wvr.line340.yml true 10.53 6.59 None parallel-misc-5.wvr.line351.yml true 17.18 10.61 None parallel-misc-5.wvr.line352.yml true 17.55 10.70 None parallel-misc-5.wvr.line363.yml true 24.56 14.78 None parallel-misc-5.wvr.line364.yml true 23.87 16.27 None parallel-misc-5.wvr.line375.yml true 23.41 15.46 None parallel-misc-5.wvr.line376.yml true 24.03 14.66 None parallel-simple-equiv.wvr.line197.yml true 7.04 5.02 None parallel-simple-equiv.wvr.line198.yml true 6.45 4.73 None parallel-simple-equiv.wvr.line212.yml true 7.05 4.80 None parallel-simple-equiv.wvr.line213.yml true 6.80 4.89 None parallel-simple-equiv.wvr.line227.yml true 6.02 4.37 None parallel-simple-equiv.wvr.line228.yml true 6.60 5.00 None parallel-simple-equiv.wvr.line239.yml true 7.18 4.91 None parallel-simple-equiv.wvr.line240.yml true 6.93 5.09 None parallel-simple-equiv.wvr.line251.yml true 7.70 5.67 None parallel-simple-equiv.wvr.line252.yml true 7.40 5.42 None parallel-simple-equiv.wvr.line263.yml true 8.12 5.33 None parallel-simple-equiv.wvr.line264.yml true 7.37 5.01 None parallel-ticket-2.wvr.line252.yml true 6.36 4.24 None parallel-ticket-2.wvr.line253.yml true 6.38 4.83 None parallel-ticket-2.wvr.line267.yml true 5.88 4.54 None parallel-ticket-2.wvr.line268.yml true 6.25 4.54 None parallel-ticket-2.wvr.line279.yml true 6.77 4.77 None parallel-ticket-2.wvr.line280.yml true 7.33 4.79 None parallel-ticket-2.wvr.line291.yml true 7.65 5.02 None parallel-ticket-2.wvr.line292.yml true 8.11 5.14 None parallel-ticket-3.wvr.line324.yml true 7.64 5.20 None parallel-ticket-3.wvr.line325.yml true 8.71 6.31 None parallel-ticket-3.wvr.line339.yml true 7.89 5.55 None parallel-ticket-3.wvr.line340.yml true 8.51 5.60 None parallel-ticket-3.wvr.line354.yml true 9.35 5.90 None parallel-ticket-3.wvr.line355.yml true 9.02 5.87 None parallel-ticket-3.wvr.line366.yml true 28.24 18.57 None parallel-ticket-3.wvr.line367.yml true 30.02 18.06 None parallel-ticket-3.wvr.line378.yml true 58.44 36.36 None parallel-ticket-3.wvr.line379.yml true 58.09 36.36 None parallel-ticket-3.wvr.line390.yml true 58.04 39.16 None parallel-ticket-3.wvr.line391.yml true 58.54 34.88 None parallel-ticket-4.wvr.line396.yml true 55.09 34.38 None parallel-ticket-4.wvr.line397.yml true 54.25 33.08 None parallel-ticket-4.wvr.line411.yml true 56.13 35.78 None parallel-ticket-4.wvr.line412.yml true 57.54 36.21 None parallel-ticket-4.wvr.line426.yml true 55.24 34.10 None parallel-ticket-4.wvr.line427.yml true 57.16 35.60 None parallel-ticket-4.wvr.line441.yml true 110.61 64.90 None parallel-ticket-4.wvr.line442.yml true 92.90 56.94 None parallel-ticket-4.wvr.line453.yml OUT OF MEMORY 501.95 268.58 None parallel-ticket-4.wvr.line454.yml OUT OF MEMORY 424.38 226.18 None parallel-ticket-4.wvr.line465.yml OUT OF MEMORY 430.21 231.86 None parallel-ticket-4.wvr.line466.yml OUT OF MEMORY 476.48 250.77 None parallel-ticket-4.wvr.line477.yml OUT OF MEMORY 533.99 293.89 None parallel-ticket-4.wvr.line478.yml OUT OF MEMORY 508.61 270.85 None parallel-ticket-4.wvr.line489.yml OUT OF MEMORY 498.47 262.43 None parallel-ticket-4.wvr.line490.yml OUT OF MEMORY 513.16 274.21 None parallel-ticket-5.wvr.line468.yml OUT OF MEMORY 464.27 258.85 None parallel-ticket-5.wvr.line469.yml OUT OF MEMORY 565.26 304.58 None parallel-ticket-5.wvr.line483.yml OUT OF MEMORY 540.18 296.02 None parallel-ticket-5.wvr.line484.yml OUT OF MEMORY 556.26 300.12 None parallel-ticket-5.wvr.line498.yml OUT OF MEMORY 533.64 291.51 None parallel-ticket-5.wvr.line499.yml OUT OF MEMORY 574.61 311.52 None parallel-ticket-5.wvr.line513.yml OUT OF MEMORY 513.00 281.95 None parallel-ticket-5.wvr.line514.yml OUT OF MEMORY 561.43 317.94 None parallel-ticket-5.wvr.line528.yml OUT OF MEMORY 475.05 251.27 None parallel-ticket-5.wvr.line529.yml OUT OF MEMORY 479.44 259.21 None parallel-ticket-5.wvr.line540.yml OUT OF MEMORY 456.94 245.97 None parallel-ticket-5.wvr.line541.yml OUT OF MEMORY 404.69 218.99 None parallel-ticket-5.wvr.line552.yml OUT OF MEMORY 536.84 297.50 None parallel-ticket-5.wvr.line553.yml OUT OF MEMORY 556.53 307.37 None parallel-ticket-5.wvr.line564.yml OUT OF MEMORY 519.26 300.55 None parallel-ticket-5.wvr.line565.yml OUT OF MEMORY 635.82 336.71 None parallel-ticket-5.wvr.line576.yml OUT OF MEMORY 557.92 302.84 None parallel-ticket-5.wvr.line577.yml OUT OF MEMORY 600.34 321.18 None parallel-ticket-5.wvr.line588.yml OUT OF MEMORY 628.71 335.58 None parallel-ticket-5.wvr.line589.yml OUT OF MEMORY 615.11 328.74 None parallel-ticket-6.wvr.line540.yml OUT OF MEMORY 379.25 214.42 None parallel-ticket-6.wvr.line541.yml OUT OF MEMORY 406.15 226.50 None parallel-ticket-6.wvr.line555.yml OUT OF MEMORY 415.38 230.22 None parallel-ticket-6.wvr.line556.yml OUT OF MEMORY 460.84 262.17 None parallel-ticket-6.wvr.line570.yml OUT OF MEMORY 473.30 265.44 None parallel-ticket-6.wvr.line571.yml OUT OF MEMORY 602.07 340.69 None parallel-ticket-6.wvr.line585.yml OUT OF MEMORY 566.99 314.87 None parallel-ticket-6.wvr.line586.yml OUT OF MEMORY 529.33 300.19 None parallel-ticket-6.wvr.line600.yml OUT OF MEMORY 438.79 241.02 None parallel-ticket-6.wvr.line601.yml OUT OF MEMORY 514.77 276.05 None parallel-ticket-6.wvr.line615.yml OUT OF MEMORY 588.21 310.51 None parallel-ticket-6.wvr.line616.yml OUT OF MEMORY 610.54 320.05 None parallel-ticket-6.wvr.line627.yml OUT OF MEMORY 559.25 298.37 None parallel-ticket-6.wvr.line628.yml OUT OF MEMORY 382.13 209.14 None parallel-ticket-6.wvr.line639.yml OUT OF MEMORY 544.61 291.63 None parallel-ticket-6.wvr.line640.yml OUT OF MEMORY 440.68 238.03 None parallel-ticket-6.wvr.line651.yml OUT OF MEMORY 403.80 217.35 None parallel-ticket-6.wvr.line652.yml OUT OF MEMORY 447.27 241.98 None parallel-ticket-6.wvr.line663.yml OUT OF MEMORY 510.23 275.34 None parallel-ticket-6.wvr.line664.yml OUT OF MEMORY 490.81 282.29 None parallel-ticket-6.wvr.line675.yml OUT OF MEMORY 478.93 261.18 None parallel-ticket-6.wvr.line676.yml OUT OF MEMORY 476.84 263.09 None parallel-ticket-6.wvr.line687.yml OUT OF MEMORY 414.00 231.89 None parallel-ticket-6.wvr.line688.yml OUT OF MEMORY 432.22 234.89 None parallel-ticket-7.wvr.line612.yml OUT OF MEMORY 383.04 215.86 None parallel-ticket-7.wvr.line613.yml OUT OF MEMORY 312.86 177.79 None parallel-ticket-7.wvr.line627.yml OUT OF MEMORY 331.76 189.83 None parallel-ticket-7.wvr.line628.yml OUT OF MEMORY 434.28 241.83 None parallel-ticket-7.wvr.line642.yml OUT OF MEMORY 430.76 240.03 None parallel-ticket-7.wvr.line643.yml OUT OF MEMORY 572.58 308.49 None parallel-ticket-7.wvr.line657.yml OUT OF MEMORY 622.15 339.45 None parallel-ticket-7.wvr.line658.yml OUT OF MEMORY 551.83 305.94 None parallel-ticket-7.wvr.line672.yml OUT OF MEMORY 492.63 266.86 None parallel-ticket-7.wvr.line673.yml OUT OF MEMORY 471.62 271.41 None parallel-ticket-7.wvr.line687.yml OUT OF MEMORY 502.37 277.57 None parallel-ticket-7.wvr.line688.yml OUT OF MEMORY 380.65 208.61 None parallel-ticket-7.wvr.line702.yml OUT OF MEMORY 404.57 225.56 None parallel-ticket-7.wvr.line703.yml OUT OF MEMORY 429.43 238.73 None parallel-ticket-7.wvr.line714.yml OUT OF MEMORY 332.90 187.50 None parallel-ticket-7.wvr.line715.yml OUT OF MEMORY 433.98 239.68 None parallel-ticket-7.wvr.line726.yml OUT OF MEMORY 365.07 204.62 None parallel-ticket-7.wvr.line727.yml OUT OF MEMORY 490.93 266.20 None parallel-ticket-7.wvr.line738.yml OUT OF MEMORY 479.77 260.98 None parallel-ticket-7.wvr.line739.yml OUT OF MEMORY 591.77 313.35 None parallel-ticket-7.wvr.line750.yml OUT OF MEMORY 467.76 257.51 None parallel-ticket-7.wvr.line751.yml OUT OF MEMORY 397.45 224.36 None parallel-ticket-7.wvr.line762.yml OUT OF MEMORY 346.87 194.08 None parallel-ticket-7.wvr.line763.yml OUT OF MEMORY 349.41 194.62 None parallel-ticket-7.wvr.line774.yml OUT OF MEMORY 527.69 284.22 None parallel-ticket-7.wvr.line775.yml OUT OF MEMORY 376.22 207.47 None parallel-ticket-7.wvr.line786.yml OUT OF MEMORY 466.99 257.55 None parallel-ticket-7.wvr.line787.yml OUT OF MEMORY 457.46 256.09 None parallel-ticket-8.wvr.line684.yml OUT OF MEMORY 406.46 232.42 None parallel-ticket-8.wvr.line685.yml OUT OF MEMORY 370.34 208.67 None parallel-ticket-8.wvr.line699.yml OUT OF MEMORY 382.60 218.98 None parallel-ticket-8.wvr.line700.yml OUT OF MEMORY 455.95 249.18 None parallel-ticket-8.wvr.line714.yml OUT OF MEMORY 432.14 240.06 None parallel-ticket-8.wvr.line715.yml OUT OF MEMORY 363.17 204.49 None parallel-ticket-8.wvr.line729.yml OUT OF MEMORY 459.44 252.27 None parallel-ticket-8.wvr.line730.yml OUT OF MEMORY 545.18 304.17 None parallel-ticket-8.wvr.line744.yml OUT OF MEMORY 413.47 223.51 None parallel-ticket-8.wvr.line745.yml OUT OF MEMORY 430.67 237.28 None parallel-ticket-8.wvr.line759.yml OUT OF MEMORY 435.78 240.58 None parallel-ticket-8.wvr.line760.yml OUT OF MEMORY 387.19 225.94 None parallel-ticket-8.wvr.line774.yml OUT OF MEMORY 501.25 269.99 None parallel-ticket-8.wvr.line775.yml OUT OF MEMORY 400.23 226.53 None parallel-ticket-8.wvr.line789.yml OUT OF MEMORY 409.19 231.27 None parallel-ticket-8.wvr.line790.yml OUT OF MEMORY 474.98 261.14 None parallel-ticket-8.wvr.line801.yml OUT OF MEMORY 475.94 266.55 None parallel-ticket-8.wvr.line802.yml OUT OF MEMORY 477.41 265.69 None parallel-ticket-8.wvr.line813.yml OUT OF MEMORY 361.26 202.03 None parallel-ticket-8.wvr.line814.yml OUT OF MEMORY 489.43 268.77 None parallel-ticket-8.wvr.line825.yml OUT OF MEMORY 380.18 211.65 None parallel-ticket-8.wvr.line826.yml OUT OF MEMORY 395.94 219.96 None parallel-ticket-8.wvr.line837.yml OUT OF MEMORY 392.73 221.83 None parallel-ticket-8.wvr.line838.yml OUT OF MEMORY 387.65 218.77 None parallel-ticket-8.wvr.line849.yml OUT OF MEMORY 451.65 266.80 None parallel-ticket-8.wvr.line850.yml OUT OF MEMORY 376.74 214.30 None parallel-ticket-8.wvr.line861.yml OUT OF MEMORY 460.60 253.60 None parallel-ticket-8.wvr.line862.yml OUT OF MEMORY 393.71 224.26 None parallel-ticket-8.wvr.line873.yml OUT OF MEMORY 487.94 265.98 None parallel-ticket-8.wvr.line874.yml OUT OF MEMORY 445.32 246.81 None parallel-ticket-8.wvr.line885.yml OUT OF MEMORY 426.61 239.13 None parallel-ticket-8.wvr.line886.yml OUT OF MEMORY 321.18 185.90 None peterson-b.line324.yml true 7.25 4.70 None peterson-b.line325.yml true 6.27 4.30 None peterson-b.line339.yml true 5.82 4.03 None peterson-b.line340.yml true 7.77 4.97 None peterson-b.line351.yml true 6.38 4.35 None peterson-b.line352.yml true 8.05 5.00 None peterson-b.line363.yml true 8.12 5.16 None peterson-b.line364.yml true 7.00 4.59 None ---------------------------------------------------------------------------------------------------------------- Run set 1 done 74222.84 3018.14 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk16 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 ---------------------------------------------------------------------------------------------------------------- parallel-bakery-4.wvr.line871.yml OUT OF MEMORY 444.64 244.38 None parallel-bakery-4.wvr.line872.yml OUT OF MEMORY 381.84 212.06 None parallel-bakery-4.wvr.line886.yml OUT OF MEMORY 506.54 270.51 None parallel-bakery-4.wvr.line887.yml OUT OF MEMORY 372.16 204.64 None parallel-bakery-4.wvr.line901.yml OUT OF MEMORY 432.36 237.55 None parallel-bakery-4.wvr.line902.yml OUT OF MEMORY 329.74 188.78 None parallel-bakery-4.wvr.line916.yml OUT OF MEMORY 623.82 324.02 None parallel-bakery-4.wvr.line917.yml OUT OF MEMORY 598.32 312.58 None parallel-bakery-4.wvr.line928.yml OUT OF MEMORY 626.88 328.73 None parallel-bakery-4.wvr.line929.yml OUT OF MEMORY 424.87 226.29 None parallel-bakery-4.wvr.line940.yml OUT OF MEMORY 481.92 257.31 None parallel-bakery-4.wvr.line941.yml OUT OF MEMORY 491.60 259.71 None parallel-bakery-4.wvr.line952.yml OUT OF MEMORY 448.37 238.71 None parallel-bakery-4.wvr.line953.yml OUT OF MEMORY 459.73 239.92 None parallel-bakery-4.wvr.line964.yml OUT OF MEMORY 412.72 225.44 None parallel-bakery-4.wvr.line965.yml OUT OF MEMORY 395.36 211.10 None parallel-barrier-loop.wvr.line118.yml false(unreach-call) 41.17 28.80 None parallel-barrier-loop.wvr.line119.yml false(unreach-call) 46.76 28.60 None parallel-barrier-loop.wvr.line133.yml false(unreach-call) 40.67 27.30 None parallel-barrier-loop.wvr.line134.yml false(unreach-call) 41.27 29.42 None parallel-barrier-loop.wvr.line145.yml false(unreach-call) 49.58 30.61 None parallel-barrier-loop.wvr.line146.yml false(unreach-call) 47.38 31.80 None parallel-barrier-loop.wvr.line157.yml OUT OF MEMORY 347.43 205.66 None parallel-barrier-loop.wvr.line158.yml OUT OF MEMORY 297.59 178.09 None parallel-barrier-loop.wvr.line413.yml OUT OF MEMORY 454.85 253.49 None parallel-barrier-loop.wvr.line414.yml OUT OF MEMORY 375.79 212.00 None parallel-barrier-loop.wvr.line428.yml OUT OF MEMORY 422.25 238.61 None parallel-barrier-loop.wvr.line429.yml OUT OF MEMORY 425.68 241.24 None parallel-barrier-loop.wvr.line440.yml OUT OF MEMORY 536.37 289.57 None parallel-barrier-loop.wvr.line441.yml OUT OF MEMORY 430.28 236.58 None parallel-barrier-loop.wvr.line452.yml OUT OF MEMORY 409.97 231.58 None parallel-barrier-loop.wvr.line453.yml OUT OF MEMORY 555.42 302.56 None parallel-barrier-loop.wvr.line808.yml OUT OF MEMORY 491.64 268.09 None parallel-barrier-loop.wvr.line809.yml OUT OF MEMORY 499.61 272.52 None parallel-barrier-loop.wvr.line823.yml false(unreach-call) 7.76 6.03 None parallel-barrier-loop.wvr.line824.yml false(unreach-call) 7.85 5.05 None parallel-barrier-loop.wvr.line835.yml false(unreach-call) 7.11 5.55 None parallel-barrier-loop.wvr.line836.yml false(unreach-call) 8.26 5.31 None parallel-barrier-loop.wvr.line847.yml false(unreach-call) 9.63 7.59 None parallel-barrier-loop.wvr.line848.yml false(unreach-call) 10.18 6.41 None parallel-barrier.wvr.line117.yml false(unreach-call) 42.28 27.58 None parallel-barrier.wvr.line118.yml false(unreach-call) 41.80 28.05 None parallel-barrier.wvr.line132.yml false(unreach-call) 39.71 30.60 None parallel-barrier.wvr.line133.yml false(unreach-call) 43.73 30.18 None parallel-barrier.wvr.line144.yml false(unreach-call) 47.75 33.07 None parallel-barrier.wvr.line145.yml false(unreach-call) 50.61 34.23 None parallel-barrier.wvr.line156.yml OUT OF MEMORY 352.08 216.42 None parallel-barrier.wvr.line157.yml OUT OF MEMORY 397.45 226.68 None parallel-barrier.wvr.line359.yml OUT OF MEMORY 407.42 230.39 None parallel-barrier.wvr.line360.yml OUT OF MEMORY 336.76 190.63 None parallel-barrier.wvr.line374.yml OUT OF MEMORY 263.52 152.36 None parallel-barrier.wvr.line375.yml OUT OF MEMORY 370.39 209.88 None parallel-barrier.wvr.line386.yml OUT OF MEMORY 263.92 161.18 None parallel-barrier.wvr.line387.yml OUT OF MEMORY 220.38 131.15 None parallel-barrier.wvr.line398.yml OUT OF MEMORY 363.09 205.82 None parallel-barrier.wvr.line399.yml OUT OF MEMORY 361.97 206.38 None parallel-barrier.wvr.line689.yml OUT OF MEMORY 449.42 245.00 None parallel-barrier.wvr.line690.yml OUT OF MEMORY 475.96 263.25 None parallel-barrier.wvr.line704.yml false(unreach-call) 8.63 5.38 None parallel-barrier.wvr.line705.yml false(unreach-call) 8.95 5.48 None parallel-barrier.wvr.line716.yml false(unreach-call) 9.17 5.57 None parallel-barrier.wvr.line717.yml false(unreach-call) 9.29 5.68 None parallel-barrier.wvr.line728.yml OUT OF MEMORY 598.74 325.36 None parallel-barrier.wvr.line729.yml OUT OF MEMORY 575.33 313.08 None parallel-bluetooth.wvr.line303.yml true 6.48 4.33 None parallel-bluetooth.wvr.line304.yml true 7.08 4.78 None parallel-bluetooth.wvr.line318.yml true 6.93 4.65 None parallel-bluetooth.wvr.line319.yml true 7.03 4.74 None parallel-bluetooth.wvr.line330.yml true 7.39 4.82 None parallel-bluetooth.wvr.line331.yml true 7.84 5.09 None parallel-bluetooth.wvr.line342.yml true 8.36 5.36 None parallel-bluetooth.wvr.line343.yml true 8.55 5.36 None parallel-misc-2-unrolled-atomic.wvr.line217.yml true 6.45 4.43 None parallel-misc-2-unrolled-atomic.wvr.line218.yml true 7.05 4.63 None parallel-misc-2-unrolled-atomic.wvr.line232.yml true 6.24 4.61 None parallel-misc-2-unrolled-atomic.wvr.line233.yml true 6.87 4.33 None parallel-misc-2-unrolled-atomic.wvr.line244.yml true 6.90 4.53 None parallel-misc-2-unrolled-atomic.wvr.line245.yml true 7.13 4.88 None parallel-misc-2-unrolled-atomic.wvr.line256.yml true 7.00 4.70 None parallel-misc-2-unrolled-atomic.wvr.line257.yml true 7.21 4.75 None parallel-misc-2-unrolled.wvr.line212.yml true 5.93 4.38 None parallel-misc-2-unrolled.wvr.line213.yml true 6.75 4.49 None parallel-misc-2-unrolled.wvr.line227.yml true 6.20 4.23 None parallel-misc-2-unrolled.wvr.line228.yml true 6.41 4.68 None parallel-misc-2-unrolled.wvr.line239.yml true 6.73 4.80 None parallel-misc-2-unrolled.wvr.line240.yml true 6.60 4.45 None parallel-misc-2-unrolled.wvr.line251.yml true 7.16 4.74 None parallel-misc-2-unrolled.wvr.line252.yml true 7.70 4.95 None parallel-misc-2.wvr.line224.yml true 5.93 4.19 None parallel-misc-2.wvr.line225.yml true 6.83 5.02 None parallel-misc-2.wvr.line239.yml true 6.13 4.23 None parallel-misc-2.wvr.line240.yml true 6.50 4.38 None parallel-misc-2.wvr.line251.yml true 6.50 5.07 None parallel-misc-2.wvr.line252.yml true 7.12 4.66 None parallel-misc-2.wvr.line263.yml true 7.01 5.31 None parallel-misc-2.wvr.line264.yml true 7.11 4.69 None parallel-misc-3-extended.wvr.line274.yml true 7.73 5.02 None parallel-misc-3-extended.wvr.line275.yml true 8.52 5.62 None parallel-misc-3-extended.wvr.line289.yml true 6.97 4.95 None parallel-misc-3-extended.wvr.line290.yml true 7.57 5.18 None parallel-misc-3-extended.wvr.line304.yml true 7.39 5.20 None parallel-misc-3-extended.wvr.line305.yml true 8.45 5.59 None parallel-misc-3-extended.wvr.line316.yml true 12.48 8.07 None parallel-misc-3-extended.wvr.line317.yml true 14.14 8.67 None parallel-misc-3-extended.wvr.line328.yml true 20.37 11.58 None parallel-misc-3-extended.wvr.line329.yml true 20.88 13.36 None parallel-misc-3-extended.wvr.line340.yml true 16.50 11.95 None parallel-misc-3-extended.wvr.line341.yml true 28.40 18.69 None parallel-misc-3.wvr.line208.yml true 5.61 4.08 None parallel-misc-3.wvr.line209.yml true 6.68 4.64 None parallel-misc-3.wvr.line223.yml true 5.89 4.31 None parallel-misc-3.wvr.line224.yml true 5.96 4.29 None parallel-misc-3.wvr.line235.yml true 6.20 4.18 None parallel-misc-3.wvr.line236.yml true 6.31 4.75 None parallel-misc-3.wvr.line247.yml true 6.30 4.77 None parallel-misc-3.wvr.line248.yml true 7.59 5.39 None parallel-misc-4.wvr.line259.yml true 7.41 5.28 None parallel-misc-4.wvr.line260.yml true 8.13 5.79 None parallel-misc-4.wvr.line274.yml true 7.49 5.22 None parallel-misc-4.wvr.line275.yml true 7.86 5.28 None parallel-misc-4.wvr.line289.yml true 8.06 5.39 None parallel-misc-4.wvr.line290.yml true 8.42 5.64 None parallel-misc-4.wvr.line301.yml true 10.13 6.57 None parallel-misc-4.wvr.line302.yml true 10.22 7.04 None parallel-misc-4.wvr.line313.yml true 12.81 8.49 None parallel-misc-4.wvr.line314.yml true 14.24 8.89 None parallel-misc-4.wvr.line325.yml true 13.10 8.77 None parallel-misc-4.wvr.line326.yml true 13.51 8.66 None parallel-misc-5.wvr.line309.yml true 8.07 5.27 None parallel-misc-5.wvr.line310.yml true 9.67 6.00 None parallel-misc-5.wvr.line324.yml true 8.40 5.65 None parallel-misc-5.wvr.line325.yml true 9.30 5.93 None parallel-misc-5.wvr.line339.yml true 9.41 6.45 None parallel-misc-5.wvr.line340.yml true 10.17 7.11 None parallel-misc-5.wvr.line351.yml true 14.42 8.87 None parallel-misc-5.wvr.line352.yml true 15.95 10.92 None parallel-misc-5.wvr.line363.yml true 19.23 12.09 None parallel-misc-5.wvr.line364.yml true 20.43 12.45 None parallel-misc-5.wvr.line375.yml true 19.32 13.61 None parallel-misc-5.wvr.line376.yml true 21.19 13.36 None parallel-simple-equiv.wvr.line197.yml true 6.54 4.80 None parallel-simple-equiv.wvr.line198.yml true 7.21 5.40 None parallel-simple-equiv.wvr.line212.yml true 6.18 4.49 None parallel-simple-equiv.wvr.line213.yml true 7.04 5.24 None parallel-simple-equiv.wvr.line227.yml true 6.65 4.84 None parallel-simple-equiv.wvr.line228.yml true 6.34 4.79 None parallel-simple-equiv.wvr.line239.yml true 6.90 4.69 None parallel-simple-equiv.wvr.line240.yml true 7.42 5.08 None parallel-simple-equiv.wvr.line251.yml true 6.96 5.07 None parallel-simple-equiv.wvr.line252.yml true 7.80 5.27 None parallel-simple-equiv.wvr.line263.yml true 7.87 5.54 None parallel-simple-equiv.wvr.line264.yml true 7.74 5.21 None parallel-ticket-2.wvr.line252.yml true 6.18 4.47 None parallel-ticket-2.wvr.line253.yml true 6.57 4.38 None parallel-ticket-2.wvr.line267.yml true 6.64 4.41 None parallel-ticket-2.wvr.line268.yml true 6.36 4.52 None parallel-ticket-2.wvr.line279.yml true 6.55 4.65 None parallel-ticket-2.wvr.line280.yml true 7.18 4.93 None parallel-ticket-2.wvr.line291.yml true 7.64 5.67 None parallel-ticket-2.wvr.line292.yml true 7.93 5.31 None parallel-ticket-3.wvr.line324.yml true 7.47 5.06 None parallel-ticket-3.wvr.line325.yml true 8.31 5.63 None parallel-ticket-3.wvr.line339.yml true 8.44 5.53 None parallel-ticket-3.wvr.line340.yml true 8.22 5.41 None parallel-ticket-3.wvr.line354.yml true 9.25 5.83 None parallel-ticket-3.wvr.line355.yml true 8.79 6.25 None parallel-ticket-3.wvr.line366.yml true 23.89 16.76 None parallel-ticket-3.wvr.line367.yml true 25.04 15.37 None parallel-ticket-3.wvr.line378.yml true 45.46 27.54 None parallel-ticket-3.wvr.line379.yml true 45.74 28.45 None parallel-ticket-3.wvr.line390.yml true 49.31 28.75 None parallel-ticket-3.wvr.line391.yml true 46.83 28.42 None parallel-ticket-4.wvr.line396.yml true 42.25 26.45 None parallel-ticket-4.wvr.line397.yml true 43.41 26.82 None parallel-ticket-4.wvr.line411.yml true 43.64 26.94 None parallel-ticket-4.wvr.line412.yml true 44.06 27.39 None parallel-ticket-4.wvr.line426.yml true 43.67 27.83 None parallel-ticket-4.wvr.line427.yml true 43.59 31.17 None parallel-ticket-4.wvr.line441.yml true 69.49 44.58 None parallel-ticket-4.wvr.line442.yml true 69.70 41.89 None parallel-ticket-4.wvr.line453.yml OUT OF MEMORY 433.68 225.74 None parallel-ticket-4.wvr.line454.yml OUT OF MEMORY 451.15 237.02 None parallel-ticket-4.wvr.line465.yml OUT OF MEMORY 478.78 249.26 None parallel-ticket-4.wvr.line466.yml OUT OF MEMORY 470.58 249.07 None parallel-ticket-4.wvr.line477.yml OUT OF MEMORY 505.12 263.67 None parallel-ticket-4.wvr.line478.yml OUT OF MEMORY 530.13 276.88 None parallel-ticket-4.wvr.line489.yml OUT OF MEMORY 477.49 248.24 None parallel-ticket-4.wvr.line490.yml OUT OF MEMORY 430.70 233.27 None parallel-ticket-5.wvr.line468.yml OUT OF MEMORY 581.88 308.02 None parallel-ticket-5.wvr.line469.yml OUT OF MEMORY 396.10 214.23 None parallel-ticket-5.wvr.line483.yml OUT OF MEMORY 457.97 249.66 None parallel-ticket-5.wvr.line484.yml OUT OF MEMORY 559.26 302.94 None parallel-ticket-5.wvr.line498.yml OUT OF MEMORY 586.58 352.88 None parallel-ticket-5.wvr.line499.yml OUT OF MEMORY 509.52 298.05 None parallel-ticket-5.wvr.line513.yml OUT OF MEMORY 488.75 265.46 None parallel-ticket-5.wvr.line514.yml OUT OF MEMORY 500.59 283.82 None parallel-ticket-5.wvr.line528.yml OUT OF MEMORY 479.08 251.44 None parallel-ticket-5.wvr.line529.yml OUT OF MEMORY 559.11 297.12 None parallel-ticket-5.wvr.line540.yml OUT OF MEMORY 426.75 335.24 None parallel-ticket-5.wvr.line541.yml OUT OF MEMORY 410.73 277.68 None parallel-ticket-5.wvr.line552.yml OUT OF MEMORY 497.53 275.78 None parallel-ticket-5.wvr.line553.yml OUT OF MEMORY 522.20 283.72 None parallel-ticket-5.wvr.line564.yml OUT OF MEMORY 466.08 271.96 None parallel-ticket-5.wvr.line565.yml OUT OF MEMORY 450.24 256.57 None parallel-ticket-5.wvr.line576.yml OUT OF MEMORY 641.22 334.58 None parallel-ticket-5.wvr.line577.yml OUT OF MEMORY 670.34 392.41 None parallel-ticket-5.wvr.line588.yml OUT OF MEMORY 682.28 409.57 None parallel-ticket-5.wvr.line589.yml OUT OF MEMORY 442.94 238.62 None parallel-ticket-6.wvr.line540.yml OUT OF MEMORY 457.42 249.03 None parallel-ticket-6.wvr.line541.yml OUT OF MEMORY 661.13 400.03 None parallel-ticket-6.wvr.line555.yml OUT OF MEMORY 420.12 234.13 None parallel-ticket-6.wvr.line556.yml OUT OF MEMORY 521.90 321.55 None parallel-ticket-6.wvr.line570.yml OUT OF MEMORY 423.87 235.24 None parallel-ticket-6.wvr.line571.yml OUT OF MEMORY 575.00 319.93 None parallel-ticket-6.wvr.line585.yml OUT OF MEMORY 570.77 317.39 None parallel-ticket-6.wvr.line586.yml OUT OF MEMORY 537.32 292.91 None parallel-ticket-6.wvr.line600.yml OUT OF MEMORY 504.31 270.54 None parallel-ticket-6.wvr.line601.yml OUT OF MEMORY 419.63 284.27 None parallel-ticket-6.wvr.line615.yml OUT OF MEMORY 574.89 299.51 None parallel-ticket-6.wvr.line616.yml OUT OF MEMORY 453.75 240.56 None parallel-ticket-6.wvr.line627.yml OUT OF MEMORY 418.09 223.46 None parallel-ticket-6.wvr.line628.yml OUT OF MEMORY 399.57 219.19 None parallel-ticket-6.wvr.line639.yml OUT OF MEMORY 545.44 292.80 None parallel-ticket-6.wvr.line640.yml OUT OF MEMORY 427.90 227.61 None parallel-ticket-6.wvr.line651.yml OUT OF MEMORY 490.16 262.60 None parallel-ticket-6.wvr.line652.yml OUT OF MEMORY 450.36 245.41 None parallel-ticket-6.wvr.line663.yml OUT OF MEMORY 417.10 243.70 None parallel-ticket-6.wvr.line664.yml OUT OF MEMORY 460.65 245.61 None parallel-ticket-6.wvr.line675.yml OUT OF MEMORY 448.99 242.52 None parallel-ticket-6.wvr.line676.yml OUT OF MEMORY 494.65 362.86 None parallel-ticket-6.wvr.line687.yml OUT OF MEMORY 602.88 365.43 None parallel-ticket-6.wvr.line688.yml OUT OF MEMORY 651.33 418.54 None parallel-ticket-7.wvr.line612.yml OUT OF MEMORY 435.54 239.93 None parallel-ticket-7.wvr.line613.yml OUT OF MEMORY 371.95 204.01 None parallel-ticket-7.wvr.line627.yml OUT OF MEMORY 305.76 174.09 None parallel-ticket-7.wvr.line628.yml OUT OF MEMORY 360.91 202.79 None parallel-ticket-7.wvr.line642.yml OUT OF MEMORY 365.01 203.06 None parallel-ticket-7.wvr.line643.yml OUT OF MEMORY 442.08 273.22 None parallel-ticket-7.wvr.line657.yml OUT OF MEMORY 478.02 276.16 None parallel-ticket-7.wvr.line658.yml OUT OF MEMORY 431.60 241.33 None parallel-ticket-7.wvr.line672.yml OUT OF MEMORY 497.95 356.51 None parallel-ticket-7.wvr.line673.yml OUT OF MEMORY 516.98 292.80 None parallel-ticket-7.wvr.line687.yml OUT OF MEMORY 505.68 272.13 None parallel-ticket-7.wvr.line688.yml OUT OF MEMORY 485.51 259.48 None parallel-ticket-7.wvr.line702.yml OUT OF MEMORY 466.15 247.20 None parallel-ticket-7.wvr.line703.yml OUT OF MEMORY 481.15 267.43 None parallel-ticket-7.wvr.line714.yml OUT OF MEMORY 388.75 219.71 None parallel-ticket-7.wvr.line715.yml OUT OF MEMORY 531.42 280.79 None parallel-ticket-7.wvr.line726.yml OUT OF MEMORY 510.44 443.77 None parallel-ticket-7.wvr.line727.yml OUT OF MEMORY 664.57 437.03 None parallel-ticket-7.wvr.line738.yml OUT OF MEMORY 669.82 455.39 None parallel-ticket-7.wvr.line739.yml OUT OF MEMORY 420.27 228.56 None parallel-ticket-7.wvr.line750.yml OUT OF MEMORY 638.28 375.43 None parallel-ticket-7.wvr.line751.yml OUT OF MEMORY 413.83 241.59 None parallel-ticket-7.wvr.line762.yml OUT OF MEMORY 372.90 202.23 None parallel-ticket-7.wvr.line763.yml OUT OF MEMORY 501.67 273.10 None parallel-ticket-7.wvr.line774.yml OUT OF MEMORY 481.20 257.50 None parallel-ticket-7.wvr.line775.yml OUT OF MEMORY 344.15 186.59 None parallel-ticket-7.wvr.line786.yml OUT OF MEMORY 416.12 223.40 None parallel-ticket-7.wvr.line787.yml OUT OF MEMORY 452.76 245.57 None parallel-ticket-8.wvr.line684.yml OUT OF MEMORY 431.08 306.89 None parallel-ticket-8.wvr.line685.yml OUT OF MEMORY 503.25 270.84 None parallel-ticket-8.wvr.line699.yml OUT OF MEMORY 344.18 196.37 None parallel-ticket-8.wvr.line700.yml OUT OF MEMORY 418.12 228.33 None parallel-ticket-8.wvr.line714.yml OUT OF MEMORY 357.64 207.07 None parallel-ticket-8.wvr.line715.yml OUT OF MEMORY 333.19 185.75 None parallel-ticket-8.wvr.line729.yml OUT OF MEMORY 499.74 273.27 None parallel-ticket-8.wvr.line730.yml OUT OF MEMORY 466.38 258.48 None parallel-ticket-8.wvr.line744.yml OUT OF MEMORY 592.10 338.56 None parallel-ticket-8.wvr.line745.yml OUT OF MEMORY 532.00 287.12 None parallel-ticket-8.wvr.line759.yml OUT OF MEMORY 508.77 331.71 None parallel-ticket-8.wvr.line760.yml OUT OF MEMORY 416.31 230.38 None parallel-ticket-8.wvr.line774.yml OUT OF MEMORY 630.90 345.54 None parallel-ticket-8.wvr.line775.yml OUT OF MEMORY 449.91 243.84 None parallel-ticket-8.wvr.line789.yml OUT OF MEMORY 506.15 270.26 None parallel-ticket-8.wvr.line790.yml OUT OF MEMORY 438.08 249.17 None parallel-ticket-8.wvr.line801.yml OUT OF MEMORY 569.05 315.01 None parallel-ticket-8.wvr.line802.yml OUT OF MEMORY 327.34 180.98 None parallel-ticket-8.wvr.line813.yml OUT OF MEMORY 386.04 215.13 None parallel-ticket-8.wvr.line814.yml OUT OF MEMORY 352.72 194.48 None parallel-ticket-8.wvr.line825.yml OUT OF MEMORY 350.95 195.19 None parallel-ticket-8.wvr.line826.yml OUT OF MEMORY 358.91 199.51 None parallel-ticket-8.wvr.line837.yml OUT OF MEMORY 369.91 202.80 None parallel-ticket-8.wvr.line838.yml OUT OF MEMORY 332.85 187.27 None parallel-ticket-8.wvr.line849.yml OUT OF MEMORY 303.54 168.50 None parallel-ticket-8.wvr.line850.yml OUT OF MEMORY 330.45 184.54 None parallel-ticket-8.wvr.line861.yml OUT OF MEMORY 314.83 182.31 None parallel-ticket-8.wvr.line862.yml OUT OF MEMORY 319.15 179.25 None parallel-ticket-8.wvr.line873.yml OUT OF MEMORY 292.85 161.62 None parallel-ticket-8.wvr.line874.yml OUT OF MEMORY 482.70 256.42 None parallel-ticket-8.wvr.line885.yml OUT OF MEMORY 310.22 174.59 None parallel-ticket-8.wvr.line886.yml OUT OF MEMORY 437.78 236.14 None peterson-b.line324.yml true 7.67 5.00 None peterson-b.line325.yml true 8.04 5.10 None peterson-b.line339.yml true 7.35 4.72 None peterson-b.line340.yml true 7.48 4.82 None peterson-b.line351.yml true 7.39 4.69 None peterson-b.line352.yml true 7.78 4.92 None peterson-b.line363.yml true 8.53 5.20 None peterson-b.line364.yml true 8.09 5.07 None ---------------------------------------------------------------------------------------------------------------- Run set 2 done 72598.68 3050.98 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk16 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 ---------------------------------------------------------------------------------------------------------------- parallel-bakery-4.wvr.line871.yml OUT OF MEMORY 181.35 100.37 None parallel-bakery-4.wvr.line872.yml OUT OF MEMORY 564.75 298.45 None parallel-bakery-4.wvr.line886.yml OUT OF MEMORY 824.68 423.98 None parallel-bakery-4.wvr.line887.yml OUT OF MEMORY 591.86 306.67 None parallel-bakery-4.wvr.line901.yml OUT OF MEMORY 372.41 199.10 None parallel-bakery-4.wvr.line902.yml OUT OF MEMORY 351.70 193.74 None parallel-bakery-4.wvr.line916.yml TIMEOUT 904.16 458.68 None parallel-bakery-4.wvr.line917.yml TIMEOUT 921.33 476.42 None parallel-bakery-4.wvr.line928.yml TIMEOUT 921.32 476.26 None parallel-bakery-4.wvr.line929.yml OUT OF MEMORY 732.80 372.29 None parallel-bakery-4.wvr.line940.yml OUT OF MEMORY 694.50 356.08 None parallel-bakery-4.wvr.line941.yml OUT OF MEMORY 692.09 355.59 None parallel-bakery-4.wvr.line952.yml OUT OF MEMORY 668.30 341.22 None parallel-bakery-4.wvr.line953.yml OUT OF MEMORY 688.30 348.93 None parallel-bakery-4.wvr.line964.yml OUT OF MEMORY 694.27 355.46 None parallel-bakery-4.wvr.line965.yml OUT OF MEMORY 595.09 314.03 None parallel-barrier-loop.wvr.line118.yml false(unreach-call) 68.74 45.59 None parallel-barrier-loop.wvr.line119.yml false(unreach-call) 67.10 44.78 None parallel-barrier-loop.wvr.line133.yml false(unreach-call) 66.45 44.15 None parallel-barrier-loop.wvr.line134.yml false(unreach-call) 68.49 45.57 None parallel-barrier-loop.wvr.line145.yml false(unreach-call) 77.88 50.28 None parallel-barrier-loop.wvr.line146.yml false(unreach-call) 80.01 50.21 None parallel-barrier-loop.wvr.line157.yml OUT OF MEMORY 701.77 372.43 None parallel-barrier-loop.wvr.line158.yml OUT OF MEMORY 577.40 311.91 None parallel-barrier-loop.wvr.line413.yml OUT OF MEMORY 573.94 304.24 None parallel-barrier-loop.wvr.line414.yml OUT OF MEMORY 707.12 373.40 None parallel-barrier-loop.wvr.line428.yml OUT OF MEMORY 728.53 387.10 None parallel-barrier-loop.wvr.line429.yml OUT OF MEMORY 601.19 319.02 None parallel-barrier-loop.wvr.line440.yml OUT OF MEMORY 569.98 304.70 None parallel-barrier-loop.wvr.line441.yml OUT OF MEMORY 738.68 388.26 None parallel-barrier-loop.wvr.line452.yml TIMEOUT 900.27 473.25 None parallel-barrier-loop.wvr.line453.yml OUT OF MEMORY 758.30 400.06 None parallel-barrier-loop.wvr.line808.yml OUT OF MEMORY 220.94 128.82 None parallel-barrier-loop.wvr.line809.yml OUT OF MEMORY 880.16 460.09 None parallel-barrier-loop.wvr.line823.yml false(unreach-call) 9.41 5.69 None parallel-barrier-loop.wvr.line824.yml false(unreach-call) 9.60 5.92 None parallel-barrier-loop.wvr.line835.yml false(unreach-call) 9.34 5.73 None parallel-barrier-loop.wvr.line836.yml false(unreach-call) 9.74 5.92 None parallel-barrier-loop.wvr.line847.yml OUT OF MEMORY 790.33 408.92 None parallel-barrier-loop.wvr.line848.yml OUT OF MEMORY 611.70 324.84 None parallel-barrier.wvr.line117.yml false(unreach-call) 78.56 51.39 None parallel-barrier.wvr.line118.yml false(unreach-call) 77.05 50.48 None parallel-barrier.wvr.line132.yml false(unreach-call) 65.20 44.67 None parallel-barrier.wvr.line133.yml false(unreach-call) 62.39 44.20 None parallel-barrier.wvr.line144.yml false(unreach-call) 83.65 58.95 None parallel-barrier.wvr.line145.yml false(unreach-call) 82.47 57.13 None parallel-barrier.wvr.line156.yml OUT OF MEMORY 752.01 392.04 None parallel-barrier.wvr.line157.yml OUT OF MEMORY 589.58 306.71 None parallel-barrier.wvr.line359.yml OUT OF MEMORY 336.42 183.83 None parallel-barrier.wvr.line360.yml OUT OF MEMORY 264.52 146.31 None parallel-barrier.wvr.line374.yml OUT OF MEMORY 492.36 261.77 None parallel-barrier.wvr.line375.yml OUT OF MEMORY 481.54 253.65 None parallel-barrier.wvr.line386.yml OUT OF MEMORY 565.85 297.65 None parallel-barrier.wvr.line387.yml OUT OF MEMORY 203.32 114.90 None parallel-barrier.wvr.line398.yml OUT OF MEMORY 576.34 304.10 None parallel-barrier.wvr.line399.yml OUT OF MEMORY 563.71 308.14 None parallel-barrier.wvr.line689.yml OUT OF MEMORY 518.49 276.83 None parallel-barrier.wvr.line690.yml OUT OF MEMORY 682.64 364.14 None parallel-barrier.wvr.line704.yml false(unreach-call) 7.32 4.84 None parallel-barrier.wvr.line705.yml false(unreach-call) 6.93 4.65 None parallel-barrier.wvr.line716.yml false(unreach-call) 6.99 4.89 None parallel-barrier.wvr.line717.yml false(unreach-call) 7.22 5.03 None parallel-barrier.wvr.line728.yml OUT OF MEMORY 215.81 136.84 None parallel-barrier.wvr.line729.yml OUT OF MEMORY 474.32 280.36 None parallel-bluetooth.wvr.line303.yml true 8.55 5.32 None parallel-bluetooth.wvr.line304.yml true 9.07 5.59 None parallel-bluetooth.wvr.line318.yml true 8.23 5.18 None parallel-bluetooth.wvr.line319.yml true 8.53 5.33 None parallel-bluetooth.wvr.line330.yml true 10.79 6.37 None parallel-bluetooth.wvr.line331.yml true 10.34 6.29 None parallel-bluetooth.wvr.line342.yml true 12.65 7.19 None parallel-bluetooth.wvr.line343.yml true 12.56 7.44 None parallel-misc-2-unrolled-atomic.wvr.line217.yml true 8.89 5.17 None parallel-misc-2-unrolled-atomic.wvr.line218.yml true 8.58 5.30 None parallel-misc-2-unrolled-atomic.wvr.line232.yml true 8.39 5.19 None parallel-misc-2-unrolled-atomic.wvr.line233.yml true 7.90 5.01 None parallel-misc-2-unrolled-atomic.wvr.line244.yml true 8.69 5.35 None parallel-misc-2-unrolled-atomic.wvr.line245.yml true 9.06 5.55 None parallel-misc-2-unrolled-atomic.wvr.line256.yml true 9.03 5.65 None parallel-misc-2-unrolled-atomic.wvr.line257.yml true 9.25 5.66 None parallel-misc-2-unrolled.wvr.line212.yml true 7.52 4.82 None parallel-misc-2-unrolled.wvr.line213.yml true 8.26 5.11 None parallel-misc-2-unrolled.wvr.line227.yml true 7.33 4.72 None parallel-misc-2-unrolled.wvr.line228.yml true 8.38 5.15 None parallel-misc-2-unrolled.wvr.line239.yml true 8.34 5.23 None parallel-misc-2-unrolled.wvr.line240.yml true 8.43 5.28 None parallel-misc-2-unrolled.wvr.line251.yml true 9.68 5.84 None parallel-misc-2-unrolled.wvr.line252.yml true 9.40 5.72 None parallel-misc-2.wvr.line224.yml true 7.61 4.82 None parallel-misc-2.wvr.line225.yml true 8.83 5.42 None parallel-misc-2.wvr.line239.yml true 7.87 5.04 None parallel-misc-2.wvr.line240.yml true 8.32 5.30 None parallel-misc-2.wvr.line251.yml true 8.91 5.55 None parallel-misc-2.wvr.line252.yml true 8.72 5.36 None parallel-misc-2.wvr.line263.yml true 9.55 5.70 None parallel-misc-2.wvr.line264.yml true 10.18 6.15 None parallel-misc-3-extended.wvr.line274.yml true 9.74 6.13 None parallel-misc-3-extended.wvr.line275.yml true 10.74 6.56 None parallel-misc-3-extended.wvr.line289.yml true 10.70 6.48 None parallel-misc-3-extended.wvr.line290.yml true 10.52 6.43 None parallel-misc-3-extended.wvr.line304.yml true 11.02 6.76 None parallel-misc-3-extended.wvr.line305.yml true 11.66 7.08 None parallel-misc-3-extended.wvr.line316.yml true 21.86 12.40 None parallel-misc-3-extended.wvr.line317.yml true 18.36 10.82 None parallel-misc-3-extended.wvr.line328.yml true 30.48 18.35 None parallel-misc-3-extended.wvr.line329.yml true 32.62 22.11 None parallel-misc-3-extended.wvr.line340.yml true 33.81 19.26 None parallel-misc-3-extended.wvr.line341.yml true 53.80 35.48 None parallel-misc-3.wvr.line208.yml true 7.43 4.77 None parallel-misc-3.wvr.line209.yml true 7.90 5.01 None parallel-misc-3.wvr.line223.yml true 6.14 4.19 None parallel-misc-3.wvr.line224.yml true 7.40 4.72 None parallel-misc-3.wvr.line235.yml true 6.77 4.48 None parallel-misc-3.wvr.line236.yml true 8.74 5.39 None parallel-misc-3.wvr.line247.yml true 9.47 5.72 None parallel-misc-3.wvr.line248.yml true 11.25 6.68 None parallel-misc-4.wvr.line259.yml true 8.32 5.70 None parallel-misc-4.wvr.line260.yml true 8.72 5.70 None parallel-misc-4.wvr.line274.yml true 10.28 6.38 None parallel-misc-4.wvr.line275.yml true 9.08 6.37 None parallel-misc-4.wvr.line289.yml true 12.94 7.42 None parallel-misc-4.wvr.line290.yml true 9.66 6.30 None parallel-misc-4.wvr.line301.yml true 18.73 10.71 None parallel-misc-4.wvr.line302.yml true 13.54 8.28 None parallel-misc-4.wvr.line313.yml true 23.23 13.29 None parallel-misc-4.wvr.line314.yml true 18.58 11.91 None parallel-misc-4.wvr.line325.yml true 23.29 13.48 None parallel-misc-4.wvr.line326.yml true 17.88 11.70 None parallel-misc-5.wvr.line309.yml true 10.21 6.35 None parallel-misc-5.wvr.line310.yml true 15.19 8.62 None parallel-misc-5.wvr.line324.yml true 10.36 6.77 None parallel-misc-5.wvr.line325.yml true 12.14 7.01 None parallel-misc-5.wvr.line339.yml true 12.26 7.36 None parallel-misc-5.wvr.line340.yml true 15.23 8.86 None parallel-misc-5.wvr.line351.yml true 23.31 14.27 None parallel-misc-5.wvr.line352.yml true 22.47 14.95 None parallel-misc-5.wvr.line363.yml true 37.29 22.02 None parallel-misc-5.wvr.line364.yml true 35.70 21.17 None parallel-misc-5.wvr.line375.yml true 31.52 19.26 None parallel-misc-5.wvr.line376.yml true 31.07 19.45 None parallel-simple-equiv.wvr.line197.yml true 6.67 4.69 None parallel-simple-equiv.wvr.line198.yml true 9.65 6.13 None parallel-simple-equiv.wvr.line212.yml true 6.47 4.84 None parallel-simple-equiv.wvr.line213.yml true 6.72 4.93 None parallel-simple-equiv.wvr.line227.yml true 8.29 5.43 None parallel-simple-equiv.wvr.line228.yml true 6.76 4.67 None parallel-simple-equiv.wvr.line239.yml true 7.61 5.60 None parallel-simple-equiv.wvr.line240.yml true 8.12 5.62 None parallel-simple-equiv.wvr.line251.yml true 10.31 6.36 None parallel-simple-equiv.wvr.line252.yml true 8.31 5.43 None parallel-simple-equiv.wvr.line263.yml true 9.43 5.89 None parallel-simple-equiv.wvr.line264.yml true 9.03 5.77 None parallel-ticket-2.wvr.line252.yml true 7.75 4.87 None parallel-ticket-2.wvr.line253.yml true 8.63 5.28 None parallel-ticket-2.wvr.line267.yml true 6.89 4.42 None parallel-ticket-2.wvr.line268.yml true 6.68 5.10 None parallel-ticket-2.wvr.line279.yml true 7.39 4.72 None parallel-ticket-2.wvr.line280.yml true 9.70 5.85 None parallel-ticket-2.wvr.line291.yml true 8.66 5.85 None parallel-ticket-2.wvr.line292.yml true 9.25 5.61 None parallel-ticket-3.wvr.line324.yml true 11.15 6.78 None parallel-ticket-3.wvr.line325.yml true 11.59 6.76 None parallel-ticket-3.wvr.line339.yml true 11.49 7.02 None parallel-ticket-3.wvr.line340.yml true 9.14 5.91 None parallel-ticket-3.wvr.line354.yml true 11.01 6.75 None parallel-ticket-3.wvr.line355.yml true 15.55 8.57 None parallel-ticket-3.wvr.line366.yml true 39.34 23.61 None parallel-ticket-3.wvr.line367.yml true 37.14 22.40 None parallel-ticket-3.wvr.line378.yml true 81.39 47.51 None parallel-ticket-3.wvr.line379.yml true 73.09 42.89 None parallel-ticket-3.wvr.line390.yml true 71.29 43.47 None parallel-ticket-3.wvr.line391.yml true 88.70 50.55 None parallel-ticket-4.wvr.line396.yml true 70.18 42.66 None parallel-ticket-4.wvr.line397.yml true 75.02 47.05 None parallel-ticket-4.wvr.line411.yml true 87.42 52.77 None parallel-ticket-4.wvr.line412.yml true 89.59 53.64 None parallel-ticket-4.wvr.line426.yml true 72.86 44.64 None parallel-ticket-4.wvr.line427.yml true 78.48 47.40 None parallel-ticket-4.wvr.line441.yml true 118.64 73.30 None parallel-ticket-4.wvr.line442.yml true 115.43 72.19 None parallel-ticket-4.wvr.line453.yml OUT OF MEMORY 610.73 309.78 None parallel-ticket-4.wvr.line454.yml OUT OF MEMORY 807.70 409.00 None parallel-ticket-4.wvr.line465.yml OUT OF MEMORY 654.45 336.61 None parallel-ticket-4.wvr.line466.yml OUT OF MEMORY 805.59 407.63 None parallel-ticket-4.wvr.line477.yml OUT OF MEMORY 797.12 405.08 None parallel-ticket-4.wvr.line478.yml OUT OF MEMORY 619.94 318.52 None parallel-ticket-4.wvr.line489.yml OUT OF MEMORY 782.29 397.18 None parallel-ticket-4.wvr.line490.yml OUT OF MEMORY 617.16 314.51 None parallel-ticket-5.wvr.line468.yml OUT OF MEMORY 582.64 314.81 None parallel-ticket-5.wvr.line469.yml OUT OF MEMORY 743.07 388.44 None parallel-ticket-5.wvr.line483.yml OUT OF MEMORY 692.56 370.82 None parallel-ticket-5.wvr.line484.yml OUT OF MEMORY 695.62 372.32 None parallel-ticket-5.wvr.line498.yml OUT OF MEMORY 606.40 319.21 None parallel-ticket-5.wvr.line499.yml OUT OF MEMORY 608.23 322.88 None parallel-ticket-5.wvr.line513.yml OUT OF MEMORY 666.47 353.30 None parallel-ticket-5.wvr.line514.yml OUT OF MEMORY 686.76 369.28 None parallel-ticket-5.wvr.line528.yml OUT OF MEMORY 662.65 337.64 None parallel-ticket-5.wvr.line529.yml OUT OF MEMORY 639.47 336.01 None parallel-ticket-5.wvr.line540.yml OUT OF MEMORY 662.01 340.33 None parallel-ticket-5.wvr.line541.yml OUT OF MEMORY 643.60 327.00 None parallel-ticket-5.wvr.line552.yml OUT OF MEMORY 347.11 193.62 None parallel-ticket-5.wvr.line553.yml OUT OF MEMORY 294.92 169.43 None parallel-ticket-5.wvr.line564.yml OUT OF MEMORY 650.72 348.63 None parallel-ticket-5.wvr.line565.yml OUT OF MEMORY 365.66 201.43 None parallel-ticket-5.wvr.line576.yml OUT OF MEMORY 379.19 213.69 None parallel-ticket-5.wvr.line577.yml OUT OF MEMORY 468.37 255.86 None parallel-ticket-5.wvr.line588.yml OUT OF MEMORY 298.83 171.57 None parallel-ticket-5.wvr.line589.yml OUT OF MEMORY 297.08 169.76 None parallel-ticket-6.wvr.line540.yml OUT OF MEMORY 515.20 277.58 None parallel-ticket-6.wvr.line541.yml OUT OF MEMORY 521.13 282.96 None parallel-ticket-6.wvr.line555.yml OUT OF MEMORY 792.26 414.23 None parallel-ticket-6.wvr.line556.yml OUT OF MEMORY 720.96 385.08 None parallel-ticket-6.wvr.line570.yml OUT OF MEMORY 206.22 118.05 None parallel-ticket-6.wvr.line571.yml OUT OF MEMORY 613.83 327.95 None parallel-ticket-6.wvr.line585.yml OUT OF MEMORY 754.21 396.40 None parallel-ticket-6.wvr.line586.yml OUT OF MEMORY 148.16 92.12 None parallel-ticket-6.wvr.line600.yml OUT OF MEMORY 616.82 320.65 None parallel-ticket-6.wvr.line601.yml OUT OF MEMORY 814.43 414.22 None parallel-ticket-6.wvr.line615.yml OUT OF MEMORY 665.59 341.99 None parallel-ticket-6.wvr.line616.yml OUT OF MEMORY 671.45 343.30 None parallel-ticket-6.wvr.line627.yml OUT OF MEMORY 667.58 339.28 None parallel-ticket-6.wvr.line628.yml OUT OF MEMORY 829.80 420.80 None parallel-ticket-6.wvr.line639.yml OUT OF MEMORY 845.38 430.18 None parallel-ticket-6.wvr.line640.yml OUT OF MEMORY 594.15 305.54 None parallel-ticket-6.wvr.line651.yml OUT OF MEMORY 594.52 307.19 None parallel-ticket-6.wvr.line652.yml OUT OF MEMORY 657.25 339.94 None parallel-ticket-6.wvr.line663.yml OUT OF MEMORY 578.14 296.38 None parallel-ticket-6.wvr.line664.yml OUT OF MEMORY 589.63 311.01 None parallel-ticket-6.wvr.line675.yml OUT OF MEMORY 669.10 345.19 None parallel-ticket-6.wvr.line676.yml OUT OF MEMORY 793.87 404.51 None parallel-ticket-6.wvr.line687.yml OUT OF MEMORY 590.73 308.20 None parallel-ticket-6.wvr.line688.yml OUT OF MEMORY 626.95 323.72 None parallel-ticket-7.wvr.line612.yml OUT OF MEMORY 613.81 319.41 None parallel-ticket-7.wvr.line613.yml OUT OF MEMORY 581.41 298.55 None parallel-ticket-7.wvr.line627.yml OUT OF MEMORY 646.25 335.19 None parallel-ticket-7.wvr.line628.yml OUT OF MEMORY 841.07 431.76 None parallel-ticket-7.wvr.line642.yml OUT OF MEMORY 861.07 440.93 None parallel-ticket-7.wvr.line643.yml OUT OF MEMORY 733.89 379.98 None parallel-ticket-7.wvr.line657.yml TIMEOUT 904.23 470.37 None parallel-ticket-7.wvr.line658.yml OUT OF MEMORY 212.20 123.29 None parallel-ticket-7.wvr.line672.yml OUT OF MEMORY 604.91 313.26 None parallel-ticket-7.wvr.line673.yml OUT OF MEMORY 654.84 339.29 None parallel-ticket-7.wvr.line687.yml OUT OF MEMORY 664.70 342.08 None parallel-ticket-7.wvr.line688.yml OUT OF MEMORY 689.64 353.88 None parallel-ticket-7.wvr.line702.yml OUT OF MEMORY 710.11 365.16 None parallel-ticket-7.wvr.line703.yml OUT OF MEMORY 682.38 347.04 None parallel-ticket-7.wvr.line714.yml OUT OF MEMORY 697.54 358.03 None parallel-ticket-7.wvr.line715.yml OUT OF MEMORY 633.37 323.15 None parallel-ticket-7.wvr.line726.yml OUT OF MEMORY 638.40 329.88 None parallel-ticket-7.wvr.line727.yml OUT OF MEMORY 863.18 440.51 None parallel-ticket-7.wvr.line738.yml OUT OF MEMORY 784.22 401.03 None parallel-ticket-7.wvr.line739.yml OUT OF MEMORY 641.35 328.13 None parallel-ticket-7.wvr.line750.yml OUT OF MEMORY 655.95 340.13 None parallel-ticket-7.wvr.line751.yml OUT OF MEMORY 853.07 433.78 None parallel-ticket-7.wvr.line762.yml OUT OF MEMORY 626.50 333.08 None parallel-ticket-7.wvr.line763.yml OUT OF MEMORY 818.87 417.87 None parallel-ticket-7.wvr.line774.yml OUT OF MEMORY 614.19 320.73 None parallel-ticket-7.wvr.line775.yml OUT OF MEMORY 625.27 323.39 None parallel-ticket-7.wvr.line786.yml OUT OF MEMORY 654.32 334.67 None parallel-ticket-7.wvr.line787.yml OUT OF MEMORY 614.40 313.74 None parallel-ticket-8.wvr.line684.yml OUT OF MEMORY 692.22 359.35 None parallel-ticket-8.wvr.line685.yml OUT OF MEMORY 687.37 354.84 None parallel-ticket-8.wvr.line699.yml OUT OF MEMORY 630.78 324.59 None parallel-ticket-8.wvr.line700.yml OUT OF MEMORY 856.35 438.57 None parallel-ticket-8.wvr.line714.yml OUT OF MEMORY 672.59 344.67 None parallel-ticket-8.wvr.line715.yml OUT OF MEMORY 593.05 309.62 None parallel-ticket-8.wvr.line729.yml TIMEOUT 908.16 473.85 None parallel-ticket-8.wvr.line730.yml OUT OF MEMORY 645.81 350.63 None parallel-ticket-8.wvr.line744.yml OUT OF MEMORY 655.70 337.26 None parallel-ticket-8.wvr.line745.yml OUT OF MEMORY 617.39 314.31 None parallel-ticket-8.wvr.line759.yml OUT OF MEMORY 670.63 348.94 None parallel-ticket-8.wvr.line760.yml OUT OF MEMORY 869.73 442.01 None parallel-ticket-8.wvr.line774.yml OUT OF MEMORY 588.80 301.37 None parallel-ticket-8.wvr.line775.yml OUT OF MEMORY 614.08 316.60 None parallel-ticket-8.wvr.line789.yml OUT OF MEMORY 724.01 373.60 None parallel-ticket-8.wvr.line790.yml TIMEOUT 913.48 471.37 None parallel-ticket-8.wvr.line801.yml OUT OF MEMORY 738.74 383.34 None parallel-ticket-8.wvr.line802.yml OUT OF MEMORY 622.31 324.42 None parallel-ticket-8.wvr.line813.yml OUT OF MEMORY 655.37 335.89 None parallel-ticket-8.wvr.line814.yml OUT OF MEMORY 751.18 385.34 None parallel-ticket-8.wvr.line825.yml OUT OF MEMORY 619.48 327.87 None parallel-ticket-8.wvr.line826.yml OUT OF MEMORY 621.33 316.81 None parallel-ticket-8.wvr.line837.yml OUT OF MEMORY 698.11 361.88 None parallel-ticket-8.wvr.line838.yml OUT OF MEMORY 593.72 304.22 None parallel-ticket-8.wvr.line849.yml OUT OF MEMORY 601.91 311.42 None parallel-ticket-8.wvr.line850.yml OUT OF MEMORY 628.61 324.79 None parallel-ticket-8.wvr.line861.yml OUT OF MEMORY 795.33 407.71 None parallel-ticket-8.wvr.line862.yml OUT OF MEMORY 606.30 313.82 None parallel-ticket-8.wvr.line873.yml OUT OF MEMORY 649.29 334.62 None parallel-ticket-8.wvr.line874.yml OUT OF MEMORY 808.34 413.57 None parallel-ticket-8.wvr.line885.yml OUT OF MEMORY 557.19 293.13 None parallel-ticket-8.wvr.line886.yml OUT OF MEMORY 803.23 412.51 None peterson-b.line324.yml true 6.29 4.32 None peterson-b.line325.yml true 6.60 4.55 None peterson-b.line339.yml true 6.27 4.73 None peterson-b.line340.yml true 6.25 4.51 None peterson-b.line351.yml true 6.67 4.53 None peterson-b.line352.yml true 6.79 4.74 None peterson-b.line363.yml true 7.26 5.32 None peterson-b.line364.yml true 6.97 5.12 None ---------------------------------------------------------------------------------------------------------------- Run set 3 done 102826.22 4086.43 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk16 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk16 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk16 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk16 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk16 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk16 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk16 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk16 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk16 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk16 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk16 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk16 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk16 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk16 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk16 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk16 Run set 19 of 19: skipped Statistics: 900 Files correct: 372 correct true: 372 correct false: 0 incorrect: 64 incorrect true: 0 incorrect false: 64 unknown: 464 Score: -280 (max: 1800)