BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk12, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk12, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk12 date: Fri, 2022-10-21 08:44:55 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-chunk12 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 ------------------------------------------------------------------------------------------------------------------------------------------ rfi006_power.opt.line1317.yml OUT OF MEMORY 707.67 375.81 None rfi006_power.opt.line1318.yml OUT OF MEMORY 723.86 380.80 None rfi006_power.opt.line1365.yml OUT OF MEMORY 835.20 431.00 None rfi006_power.opt.line1366.yml OUT OF MEMORY 624.50 328.08 None rfi006_power.opt.line331.yml false(unreach-call) 191.35 109.37 None rfi006_power.opt.line332.yml false(unreach-call) 164.98 101.65 None rfi006_power.opt.line346.yml false(unreach-call) 194.29 107.81 None rfi006_power.opt.line347.yml false(unreach-call) 200.14 110.74 None rfi006_power.opt.line363.yml TIMEOUT 904.81 503.28 None rfi006_power.opt.line364.yml OUT OF MEMORY 769.72 436.10 None rfi006_power.opt.line395.yml TIMEOUT 907.23 495.64 None rfi006_power.opt.line396.yml OUT OF MEMORY 535.73 290.39 None rfi006_power.opt.line416.yml false(unreach-call) 160.18 92.97 None rfi006_power.opt.line417.yml false(unreach-call) 159.48 89.78 None rfi006_power.opt.line630.yml false(unreach-call) 161.51 90.39 None rfi006_power.opt.line631.yml false(unreach-call) 164.05 94.84 None rfi006_power.opt.line645.yml false(unreach-call) 171.22 102.60 None rfi006_power.opt.line646.yml false(unreach-call) 201.04 111.30 None rfi006_power.opt.line658.yml false(unreach-call) 186.70 109.36 None rfi006_power.opt.line659.yml false(unreach-call) 199.95 110.36 None rfi006_power.opt.line744.yml false(unreach-call) 159.88 90.54 None rfi006_power.opt.line745.yml false(unreach-call) 163.75 95.30 None rfi006_power.opt.line757.yml false(unreach-call) 161.52 97.78 None rfi006_power.opt.line758.yml false(unreach-call) 188.16 109.92 None rfi006_power.opt.line777.yml false(unreach-call) 193.61 106.09 None rfi006_power.opt.line778.yml false(unreach-call) 200.80 110.81 None rfi006_power.opt.line903.yml false(unreach-call) 159.77 90.19 None rfi006_power.opt.line904.yml false(unreach-call) 160.48 92.10 None rfi006_power.opt.line918.yml false(unreach-call) 247.05 142.42 None rfi006_power.opt.line919.yml false(unreach-call) 253.08 150.53 None rfi006_power.opt.line931.yml false(unreach-call) 195.39 107.84 None rfi006_power.opt.line932.yml false(unreach-call) 159.80 90.25 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line775.yml true 28.92 18.74 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line776.yml true 30.24 18.28 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line803.yml true 28.50 18.36 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line804.yml true 29.97 17.77 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line831.yml true 39.72 24.88 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line832.yml true 43.22 28.09 None rfi006_rmo.line1039.yml true 117.63 66.47 None rfi006_rmo.line1040.yml true 109.29 66.25 None rfi006_rmo.line1067.yml true 97.42 57.20 None rfi006_rmo.line1068.yml true 104.06 63.32 None rfi006_rmo.line1095.yml true 177.79 105.21 None rfi006_rmo.line1096.yml true 200.14 119.65 None rfi006_rmo.line1129.yml OUT OF MEMORY 571.18 300.50 None rfi006_rmo.line1130.yml OUT OF MEMORY 781.58 405.63 None rfi006_rmo.line1144.yml OUT OF MEMORY 599.31 318.98 None rfi006_rmo.line1145.yml OUT OF MEMORY 559.83 304.13 None rfi006_rmo.line1192.yml OUT OF MEMORY 753.06 390.95 None rfi006_rmo.line1193.yml OUT OF MEMORY 753.43 391.10 None rfi006_rmo.line309.yml false(unreach-call) 99.36 57.64 None rfi006_rmo.line310.yml false(unreach-call) 112.92 68.62 None rfi006_rmo.line322.yml false(unreach-call) 106.74 60.59 None rfi006_rmo.line323.yml false(unreach-call) 100.40 60.34 None rfi006_rmo.line342.yml false(unreach-call) 98.16 57.85 None rfi006_rmo.line343.yml false(unreach-call) 98.39 57.13 None rfi006_rmo.line470.yml false(unreach-call) 104.54 63.25 None rfi006_rmo.line471.yml false(unreach-call) 124.37 70.18 None rfi006_rmo.line485.yml false(unreach-call) 109.37 64.21 None rfi006_rmo.line486.yml false(unreach-call) 113.22 68.48 None rfi006_rmo.line498.yml false(unreach-call) 106.23 66.43 None rfi006_rmo.line499.yml false(unreach-call) 118.50 69.05 None rfi006_rmo.line584.yml false(unreach-call) 101.33 59.03 None rfi006_rmo.line585.yml false(unreach-call) 102.04 59.31 None rfi006_rmo.line597.yml false(unreach-call) 108.25 63.91 None rfi006_rmo.line598.yml false(unreach-call) 106.11 63.94 None rfi006_rmo.line617.yml false(unreach-call) 123.32 69.22 None rfi006_rmo.line618.yml false(unreach-call) 112.80 68.05 None rfi006_rmo.line743.yml false(unreach-call) 103.61 64.74 None rfi006_rmo.line744.yml false(unreach-call) 121.08 77.07 None rfi006_rmo.line758.yml false(unreach-call) 170.30 100.05 None rfi006_rmo.line759.yml false(unreach-call) 174.21 101.17 None rfi006_rmo.line771.yml false(unreach-call) 104.85 64.07 None rfi006_rmo.line772.yml false(unreach-call) 107.37 61.91 None rfi006_rmo.line818.yml OUT OF MEMORY 621.44 327.82 None rfi006_rmo.line819.yml OUT OF MEMORY 704.15 403.77 None rfi006_rmo.line837.yml OUT OF MEMORY 767.36 423.01 None rfi006_rmo.line838.yml OUT OF MEMORY 700.19 381.96 None rfi006_rmo.line852.yml OUT OF MEMORY 628.12 343.59 None rfi006_rmo.line853.yml OUT OF MEMORY 630.16 344.70 None rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line665.yml true 6.66 4.40 None rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line666.yml true 6.74 4.54 None rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line693.yml true 7.09 4.78 None rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line694.yml true 7.14 4.74 None rfi007_tso.line688.yml true 6.82 4.58 None rfi007_tso.line689.yml true 7.36 4.93 None rfi007_tso.line716.yml true 7.25 4.76 None rfi007_tso.line717.yml true 7.56 5.04 None rfi008.oepc.line840.yml true 7.69 5.09 None rfi008.oepc.line841.yml true 7.68 5.02 None rfi008.oepc.line868.yml true 7.83 5.13 None rfi008.oepc.line869.yml true 8.20 5.25 None rfi008.opt.line793.yml true 7.54 4.76 None rfi008.opt.line794.yml true 7.52 4.92 None rfi008.opt.line821.yml true 7.68 5.09 None rfi008.opt.line822.yml true 7.82 5.10 None rfi009_power.oepc.line1000.yml OUT OF MEMORY 552.13 309.74 None rfi009_power.oepc.line1014.yml OUT OF MEMORY 563.70 300.85 None rfi009_power.oepc.line1015.yml OUT OF MEMORY 547.85 292.22 None rfi009_power.oepc.line1202.yml true 157.31 88.87 None rfi009_power.oepc.line1203.yml true 157.41 89.43 None rfi009_power.oepc.line1230.yml true 192.98 107.18 None rfi009_power.oepc.line1231.yml true 197.81 111.43 None rfi009_power.oepc.line1258.yml true 317.19 176.54 None rfi009_power.oepc.line1259.yml true 390.59 214.17 None rfi009_power.oepc.line1292.yml OUT OF MEMORY 724.09 377.37 None rfi009_power.oepc.line1293.yml OUT OF MEMORY 782.59 407.35 None rfi009_power.oepc.line1307.yml OUT OF MEMORY 773.95 402.95 None rfi009_power.oepc.line1308.yml OUT OF MEMORY 742.85 386.89 None rfi009_power.oepc.line1355.yml OUT OF MEMORY 612.02 319.42 None rfi009_power.oepc.line1356.yml OUT OF MEMORY 575.94 311.11 None rfi009_power.oepc.line333.yml false(unreach-call) 162.20 92.57 None rfi009_power.oepc.line334.yml false(unreach-call) 167.27 96.51 None rfi009_power.oepc.line348.yml false(unreach-call) 155.84 87.99 None rfi009_power.oepc.line349.yml false(unreach-call) 178.13 103.41 None rfi009_power.oepc.line365.yml TIMEOUT 903.06 526.61 None rfi009_power.oepc.line366.yml TIMEOUT 901.52 548.63 None rfi009_power.oepc.line397.yml TIMEOUT 901.80 512.47 None rfi009_power.oepc.line398.yml TIMEOUT 901.41 539.27 None rfi009_power.oepc.line418.yml false(unreach-call) 157.26 89.55 None rfi009_power.oepc.line419.yml false(unreach-call) 156.74 88.95 None rfi009_power.oepc.line632.yml false(unreach-call) 163.25 93.88 None rfi009_power.oepc.line633.yml false(unreach-call) 187.49 108.75 None rfi009_power.oepc.line647.yml false(unreach-call) 160.15 91.06 None rfi009_power.oepc.line648.yml false(unreach-call) 159.29 91.62 None rfi009_power.oepc.line660.yml false(unreach-call) 159.32 90.24 None rfi009_power.oepc.line661.yml false(unreach-call) 169.90 97.04 None rfi009_power.oepc.line746.yml false(unreach-call) 178.99 104.51 None rfi009_power.oepc.line747.yml false(unreach-call) 164.49 93.23 None rfi009_power.oepc.line759.yml false(unreach-call) 166.04 95.68 None rfi009_power.oepc.line760.yml false(unreach-call) 162.69 92.66 None rfi009_power.oepc.line779.yml false(unreach-call) 160.98 90.78 None rfi009_power.oepc.line780.yml false(unreach-call) 173.12 98.48 None rfi009_power.oepc.line905.yml false(unreach-call) 199.06 109.89 None rfi009_power.oepc.line906.yml false(unreach-call) 204.60 113.61 None rfi009_power.oepc.line920.yml false(unreach-call) 239.40 140.64 None rfi009_power.oepc.line921.yml false(unreach-call) 285.78 160.19 None rfi009_power.oepc.line933.yml false(unreach-call) 176.96 101.68 None rfi009_power.oepc.line934.yml false(unreach-call) 157.18 89.97 None rfi009_power.oepc.line980.yml OUT OF MEMORY 461.30 249.90 None rfi009_power.oepc.line981.yml OUT OF MEMORY 671.53 363.30 None rfi009_power.oepc.line999.yml OUT OF MEMORY 545.31 292.30 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line872.yml true 58.42 37.41 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line873.yml true 66.54 39.26 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line900.yml true 68.55 40.81 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line901.yml true 61.93 38.32 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line928.yml true 114.47 70.75 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line929.yml true 109.94 66.94 None rfi009_rmo.oepc.line1042.yml true 114.70 65.27 None rfi009_rmo.oepc.line1043.yml true 95.67 55.71 None rfi009_rmo.oepc.line1070.yml true 121.14 69.01 None rfi009_rmo.oepc.line1071.yml true 107.08 63.57 None rfi009_rmo.oepc.line1098.yml true 216.40 122.63 None rfi009_rmo.oepc.line1099.yml true 192.49 113.91 None rfi009_rmo.oepc.line1132.yml OUT OF MEMORY 579.02 302.46 None rfi009_rmo.oepc.line1133.yml OUT OF MEMORY 617.91 327.22 None rfi009_rmo.oepc.line1147.yml OUT OF MEMORY 741.18 386.60 None rfi009_rmo.oepc.line1148.yml OUT OF MEMORY 747.60 387.70 None rfi009_rmo.oepc.line1195.yml OUT OF MEMORY 663.05 352.05 None rfi009_rmo.oepc.line1196.yml OUT OF MEMORY 721.01 376.03 None rfi009_rmo.oepc.line311.yml false(unreach-call) 98.33 59.09 None rfi009_rmo.oepc.line312.yml false(unreach-call) 98.75 62.47 None rfi009_rmo.oepc.line324.yml false(unreach-call) 109.87 66.64 None rfi009_rmo.oepc.line325.yml false(unreach-call) 99.07 59.34 None rfi009_rmo.oepc.line344.yml false(unreach-call) 119.81 67.39 None rfi009_rmo.oepc.line345.yml false(unreach-call) 105.25 60.39 None rfi009_rmo.oepc.line472.yml false(unreach-call) 96.94 57.06 None rfi009_rmo.oepc.line473.yml false(unreach-call) 99.65 64.49 None rfi009_rmo.oepc.line487.yml false(unreach-call) 114.13 67.42 None rfi009_rmo.oepc.line488.yml false(unreach-call) 100.00 59.53 None rfi009_rmo.oepc.line500.yml false(unreach-call) 121.26 68.34 None rfi009_rmo.oepc.line501.yml false(unreach-call) 99.49 58.09 None rfi009_rmo.oepc.line586.yml false(unreach-call) 104.85 62.43 None rfi009_rmo.oepc.line587.yml false(unreach-call) 100.54 57.59 None rfi009_rmo.oepc.line599.yml false(unreach-call) 100.80 67.64 None rfi009_rmo.oepc.line600.yml false(unreach-call) 107.55 63.85 None rfi009_rmo.oepc.line619.yml false(unreach-call) 98.76 61.21 None rfi009_rmo.oepc.line620.yml false(unreach-call) 98.57 58.02 None rfi009_rmo.oepc.line745.yml false(unreach-call) 100.82 59.07 None rfi009_rmo.oepc.line746.yml false(unreach-call) 100.09 57.34 None rfi009_rmo.oepc.line760.yml false(unreach-call) 179.83 107.24 None rfi009_rmo.oepc.line761.yml false(unreach-call) 200.27 114.39 None rfi009_rmo.oepc.line773.yml false(unreach-call) 98.02 63.91 None rfi009_rmo.oepc.line774.yml false(unreach-call) 115.32 70.35 None rfi009_rmo.oepc.line820.yml OUT OF MEMORY 587.28 320.92 None rfi009_rmo.oepc.line821.yml OUT OF MEMORY 673.34 363.25 None rfi009_rmo.oepc.line839.yml OUT OF MEMORY 574.51 309.07 None rfi009_rmo.oepc.line840.yml OUT OF MEMORY 572.64 308.42 None rfi009_rmo.oepc.line854.yml OUT OF MEMORY 484.56 262.30 None rfi009_rmo.oepc.line855.yml OUT OF MEMORY 644.60 358.90 None rfi010.line789.yml true 6.98 5.00 None rfi010.line790.yml true 8.07 5.58 None rfi010.line817.yml true 7.44 5.19 None rfi010.line818.yml true 7.84 5.55 None ring_1w1r-1.line228.yml true 9.11 5.91 None ring_1w1r-1.line229.yml true 10.24 6.40 None ring_1w1r-1.line238.yml true 8.18 5.32 None ring_1w1r-1.line239.yml false(unreach-call) 103.20 69.58 None ring_1w1r-1.line251.yml true 7.71 5.71 None ring_1w1r-1.line252.yml true 9.25 6.22 None ring_1w1r-1.line262.yml true 7.96 5.66 None ring_1w1r-1.line263.yml true 9.69 6.65 None ring_1w1r-1.line296.yml true 11.39 6.83 None ring_1w1r-1.line297.yml true 19.78 12.10 None ring_1w1r-1.line306.yml true 9.43 6.33 None ring_1w1r-1.line307.yml true 23.10 13.62 None ring_1w1r-1.line456.yml true 6.45 4.35 None ring_1w1r-1.line457.yml true 6.48 4.32 None ring_1w1r-1.line466.yml true 6.65 4.84 None ring_1w1r-1.line467.yml true 6.42 4.43 None ring_1w1r-1.line480.yml true 6.52 4.31 None ring_1w1r-1.line481.yml true 7.41 5.19 None ring_1w1r-1.line512.yml true 9.61 6.76 None ring_1w1r-1.line513.yml true 9.41 5.86 None ring_1w1r-1.line522.yml true 9.19 5.95 None ring_1w1r-1.line523.yml true 10.64 6.19 None ring_1w1r-1.line541.yml true 9.53 5.89 None ring_1w1r-1.line542.yml true 8.81 5.71 None ring_1w1r-1.line552.yml true 8.82 5.54 None ring_1w1r-1.line553.yml false(unreach-call) 82.49 61.30 None ring_1w1r-1.line562.yml true 8.10 5.53 None ring_1w1r-1.line563.yml true 9.84 6.49 None ring_1w1r-1.line573.yml true 8.86 5.75 None ring_1w1r-1.line574.yml true 9.26 6.04 None ring_1w1r-1.line596.yml true 9.93 6.12 None ring_1w1r-1.line597.yml true 15.85 9.40 None ring_1w1r-2.line229.yml true 9.86 5.98 None ring_1w1r-2.line230.yml true 11.62 6.61 None ring_1w1r-2.line239.yml true 7.25 5.06 None ring_1w1r-2.line240.yml true 9.83 6.31 None ring_1w1r-2.line267.yml true 10.30 6.15 None ring_1w1r-2.line268.yml true 11.03 6.55 None ring_1w1r-2.line277.yml true 8.15 5.45 None ring_1w1r-2.line278.yml false(unreach-call) 108.90 88.49 None ring_1w1r-2.line290.yml true 11.09 6.57 None ring_1w1r-2.line291.yml true 10.04 7.18 None ring_1w1r-2.line301.yml true 10.72 6.22 None ring_1w1r-2.line302.yml true 12.48 7.23 None ring_1w1r-2.line335.yml true 10.51 6.62 None ring_1w1r-2.line336.yml true 30.33 16.27 None ring_1w1r-2.line345.yml true 10.76 6.60 None ring_1w1r-2.line346.yml true 29.86 16.28 None ring_1w1r-2.line495.yml true 7.82 4.57 None ring_1w1r-2.line496.yml true 7.82 4.75 None ring_1w1r-2.line505.yml true 6.27 4.31 None ring_1w1r-2.line506.yml true 8.13 4.94 None ring_1w1r-2.line519.yml true 7.43 5.06 None ring_1w1r-2.line520.yml true 6.70 4.80 None ring_1w1r-2.line551.yml true 11.18 6.39 None ring_1w1r-2.line552.yml true 11.38 6.51 None ring_1w1r-2.line561.yml true 8.54 5.18 None ring_1w1r-2.line562.yml true 9.17 5.92 None ring_1w1r-2.line580.yml true 11.16 6.25 None ring_1w1r-2.line581.yml true 10.90 6.33 None ring_1w1r-2.line591.yml true 10.25 5.95 None ring_1w1r-2.line592.yml false(unreach-call) 102.34 83.31 None ring_1w1r-2.line601.yml true 11.01 6.13 None ring_1w1r-2.line602.yml true 8.53 5.73 None ring_1w1r-2.line612.yml true 10.74 6.21 None ring_1w1r-2.line613.yml true 11.48 6.53 None ring_1w1r-2.line635.yml true 11.83 6.76 None ring_1w1r-2.line636.yml true 17.91 10.90 None ring_2w1r-1.line312.yml true 716.14 381.26 None ring_2w1r-1.line313.yml true 712.32 378.32 None ring_2w1r-1.line322.yml true 730.24 388.80 None ring_2w1r-1.line323.yml true 733.98 392.40 None ring_2w1r-1.line350.yml true 747.40 409.04 None ring_2w1r-1.line351.yml true 720.45 388.89 None ring_2w1r-1.line360.yml true 687.95 373.28 None ring_2w1r-1.line361.yml false(unreach-call) 35.11 21.23 None ring_2w1r-1.line373.yml true 714.23 382.05 None ring_2w1r-1.line374.yml true 654.20 350.15 None ring_2w1r-1.line384.yml true 731.87 391.62 None ring_2w1r-1.line385.yml true 678.04 365.30 None ring_2w1r-1.line408.yml true 604.17 326.84 None ring_2w1r-1.line409.yml OUT OF MEMORY 712.24 385.02 None ring_2w1r-1.line420.yml true 701.00 392.88 None ring_2w1r-1.line421.yml true 865.90 460.71 None ring_2w1r-1.line437.yml true 726.67 387.17 None ring_2w1r-1.line438.yml OUT OF MEMORY 530.44 306.02 None ring_2w1r-1.line451.yml true 715.40 381.92 None ring_2w1r-1.line452.yml TIMEOUT 902.44 521.52 None ring_2w1r-1.line542.yml TIMEOUT 901.00 571.83 None ring_2w1r-1.line543.yml TIMEOUT 901.02 559.94 None ring_2w1r-1.line552.yml TIMEOUT 902.31 525.03 None ring_2w1r-1.line553.yml TIMEOUT 903.32 541.20 None ring_2w1r-1.line571.yml TIMEOUT 902.27 529.42 None ring_2w1r-1.line572.yml TIMEOUT 902.93 549.70 None ring_2w1r-1.line582.yml TIMEOUT 901.65 588.16 None ring_2w1r-1.line583.yml TIMEOUT 901.01 607.87 None ring_2w1r-1.line592.yml TIMEOUT 901.71 545.41 None ring_2w1r-1.line593.yml TIMEOUT 902.25 536.54 None ring_2w1r-1.line603.yml OUT OF MEMORY 277.01 183.04 None ring_2w1r-1.line604.yml TIMEOUT 901.58 477.18 None ring_2w1r-1.line797.yml true 10.00 6.04 None ring_2w1r-1.line798.yml true 10.41 6.19 None ring_2w1r-1.line807.yml true 9.34 5.69 None ring_2w1r-1.line808.yml true 9.85 6.00 None ring_2w1r-1.line821.yml true 10.40 6.28 None ring_2w1r-1.line822.yml true 10.96 6.55 None ------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 75741.00 3244.03 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk12 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 ------------------------------------------------------------------------------------------------------------------------------------------ rfi006_power.opt.line1317.yml OUT OF MEMORY 683.77 368.56 None rfi006_power.opt.line1318.yml OUT OF MEMORY 655.00 348.28 None rfi006_power.opt.line1365.yml OUT OF MEMORY 802.13 417.56 None rfi006_power.opt.line1366.yml OUT OF MEMORY 593.06 314.10 None rfi006_power.opt.line331.yml false(unreach-call) 145.46 86.44 None rfi006_power.opt.line332.yml false(unreach-call) 136.44 88.03 None rfi006_power.opt.line346.yml false(unreach-call) 165.74 93.45 None rfi006_power.opt.line347.yml false(unreach-call) 168.46 95.82 None rfi006_power.opt.line363.yml TIMEOUT 913.80 537.37 None rfi006_power.opt.line364.yml OUT OF MEMORY 558.48 342.82 None rfi006_power.opt.line395.yml OUT OF MEMORY 844.55 474.44 None rfi006_power.opt.line396.yml OUT OF MEMORY 606.23 326.60 None rfi006_power.opt.line416.yml false(unreach-call) 135.89 78.80 None rfi006_power.opt.line417.yml false(unreach-call) 131.44 76.05 None rfi006_power.opt.line630.yml false(unreach-call) 133.05 76.36 None rfi006_power.opt.line631.yml false(unreach-call) 136.09 79.68 None rfi006_power.opt.line645.yml false(unreach-call) 149.07 85.85 None rfi006_power.opt.line646.yml false(unreach-call) 139.95 85.58 None rfi006_power.opt.line658.yml false(unreach-call) 165.74 93.17 None rfi006_power.opt.line659.yml false(unreach-call) 171.94 97.35 None rfi006_power.opt.line744.yml false(unreach-call) 134.70 76.85 None rfi006_power.opt.line745.yml false(unreach-call) 139.74 82.38 None rfi006_power.opt.line757.yml false(unreach-call) 149.32 87.25 None rfi006_power.opt.line758.yml false(unreach-call) 137.48 91.63 None rfi006_power.opt.line777.yml false(unreach-call) 166.61 94.28 None rfi006_power.opt.line778.yml false(unreach-call) 172.09 96.83 None rfi006_power.opt.line903.yml false(unreach-call) 131.94 76.49 None rfi006_power.opt.line904.yml false(unreach-call) 137.55 84.04 None rfi006_power.opt.line918.yml false(unreach-call) 204.35 121.44 None rfi006_power.opt.line919.yml false(unreach-call) 193.13 130.96 None rfi006_power.opt.line931.yml false(unreach-call) 163.54 92.39 None rfi006_power.opt.line932.yml false(unreach-call) 170.58 96.28 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line775.yml true 20.23 13.41 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line776.yml true 21.21 13.76 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line803.yml true 21.87 13.95 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line804.yml true 21.78 14.88 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line831.yml true 35.66 23.53 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line832.yml true 34.65 22.23 None rfi006_rmo.line1039.yml true 76.65 46.19 None rfi006_rmo.line1040.yml true 82.79 49.04 None rfi006_rmo.line1067.yml true 85.29 50.05 None rfi006_rmo.line1068.yml true 90.73 55.09 None rfi006_rmo.line1095.yml true 154.10 92.46 None rfi006_rmo.line1096.yml true 143.91 86.75 None rfi006_rmo.line1129.yml OUT OF MEMORY 893.28 480.66 None rfi006_rmo.line1130.yml TIMEOUT 921.29 492.36 None rfi006_rmo.line1144.yml OUT OF MEMORY 455.58 242.93 None rfi006_rmo.line1145.yml OUT OF MEMORY 838.19 448.59 None rfi006_rmo.line1192.yml TIMEOUT 913.47 484.74 None rfi006_rmo.line1193.yml TIMEOUT 901.95 492.56 None rfi006_rmo.line309.yml false(unreach-call) 84.05 49.84 None rfi006_rmo.line310.yml false(unreach-call) 83.86 53.10 None rfi006_rmo.line322.yml false(unreach-call) 86.30 52.75 None rfi006_rmo.line323.yml false(unreach-call) 103.61 59.61 None rfi006_rmo.line342.yml false(unreach-call) 80.36 48.08 None rfi006_rmo.line343.yml false(unreach-call) 86.70 52.21 None rfi006_rmo.line470.yml false(unreach-call) 82.09 49.00 None rfi006_rmo.line471.yml false(unreach-call) 85.00 52.04 None rfi006_rmo.line485.yml false(unreach-call) 94.43 55.30 None rfi006_rmo.line486.yml false(unreach-call) 93.80 56.40 None rfi006_rmo.line498.yml false(unreach-call) 101.53 59.05 None rfi006_rmo.line499.yml false(unreach-call) 81.02 48.87 None rfi006_rmo.line584.yml false(unreach-call) 83.12 49.39 None rfi006_rmo.line585.yml false(unreach-call) 88.73 54.12 None rfi006_rmo.line597.yml false(unreach-call) 84.32 52.50 None rfi006_rmo.line598.yml false(unreach-call) 93.34 57.26 None rfi006_rmo.line617.yml false(unreach-call) 87.11 54.07 None rfi006_rmo.line618.yml false(unreach-call) 83.61 50.18 None rfi006_rmo.line743.yml false(unreach-call) 103.71 59.83 None rfi006_rmo.line744.yml false(unreach-call) 106.41 61.03 None rfi006_rmo.line758.yml false(unreach-call) 136.02 82.45 None rfi006_rmo.line759.yml false(unreach-call) 140.41 85.24 None rfi006_rmo.line771.yml false(unreach-call) 87.07 53.14 None rfi006_rmo.line772.yml false(unreach-call) 92.64 55.14 None rfi006_rmo.line818.yml OUT OF MEMORY 713.17 384.63 None rfi006_rmo.line819.yml OUT OF MEMORY 552.32 306.72 None rfi006_rmo.line837.yml OUT OF MEMORY 679.59 365.76 None rfi006_rmo.line838.yml OUT OF MEMORY 615.57 326.13 None rfi006_rmo.line852.yml OUT OF MEMORY 495.08 287.76 None rfi006_rmo.line853.yml OUT OF MEMORY 471.68 259.60 None rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line665.yml true 6.79 4.49 None rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line666.yml true 7.14 4.95 None rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line693.yml true 7.27 4.81 None rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line694.yml true 7.47 4.92 None rfi007_tso.line688.yml true 6.83 4.43 None rfi007_tso.line689.yml true 7.10 4.73 None rfi007_tso.line716.yml true 6.86 4.83 None rfi007_tso.line717.yml true 7.57 4.88 None rfi008.oepc.line840.yml true 7.21 4.89 None rfi008.oepc.line841.yml true 7.13 4.74 None rfi008.oepc.line868.yml true 8.23 5.31 None rfi008.oepc.line869.yml true 8.50 5.69 None rfi008.opt.line793.yml true 7.02 4.81 None rfi008.opt.line794.yml true 7.16 4.72 None rfi008.opt.line821.yml true 7.43 4.88 None rfi008.opt.line822.yml true 7.82 5.71 None rfi009_power.oepc.line1000.yml OUT OF MEMORY 455.17 248.03 None rfi009_power.oepc.line1014.yml OUT OF MEMORY 555.14 301.96 None rfi009_power.oepc.line1015.yml OUT OF MEMORY 476.70 263.80 None rfi009_power.oepc.line1202.yml true 137.74 83.85 None rfi009_power.oepc.line1203.yml true 146.79 89.40 None rfi009_power.oepc.line1230.yml true 159.46 90.08 None rfi009_power.oepc.line1231.yml true 158.03 89.73 None rfi009_power.oepc.line1258.yml true 258.44 150.21 None rfi009_power.oepc.line1259.yml true 250.00 141.81 None rfi009_power.oepc.line1292.yml OUT OF MEMORY 582.26 306.60 None rfi009_power.oepc.line1293.yml OUT OF MEMORY 620.28 344.62 None rfi009_power.oepc.line1307.yml OUT OF MEMORY 606.61 318.54 None rfi009_power.oepc.line1308.yml OUT OF MEMORY 611.94 332.65 None rfi009_power.oepc.line1355.yml OUT OF MEMORY 624.60 333.88 None rfi009_power.oepc.line1356.yml OUT OF MEMORY 753.03 392.12 None rfi009_power.oepc.line333.yml false(unreach-call) 153.69 91.92 None rfi009_power.oepc.line334.yml false(unreach-call) 162.07 92.71 None rfi009_power.oepc.line348.yml false(unreach-call) 137.73 80.81 None rfi009_power.oepc.line349.yml false(unreach-call) 164.30 93.72 None rfi009_power.oepc.line365.yml TIMEOUT 901.84 509.96 None rfi009_power.oepc.line366.yml TIMEOUT 900.75 525.27 None rfi009_power.oepc.line397.yml TIMEOUT 900.73 539.38 None rfi009_power.oepc.line398.yml TIMEOUT 901.91 554.89 None rfi009_power.oepc.line418.yml false(unreach-call) 131.68 78.57 None rfi009_power.oepc.line419.yml false(unreach-call) 133.70 80.49 None rfi009_power.oepc.line632.yml false(unreach-call) 161.59 91.68 None rfi009_power.oepc.line633.yml false(unreach-call) 163.49 92.64 None rfi009_power.oepc.line647.yml false(unreach-call) 137.75 82.08 None rfi009_power.oepc.line648.yml false(unreach-call) 137.03 80.89 None rfi009_power.oepc.line660.yml false(unreach-call) 158.73 90.52 None rfi009_power.oepc.line661.yml false(unreach-call) 165.33 93.49 None rfi009_power.oepc.line746.yml false(unreach-call) 135.67 80.11 None rfi009_power.oepc.line747.yml false(unreach-call) 135.77 79.25 None rfi009_power.oepc.line759.yml false(unreach-call) 136.60 80.77 None rfi009_power.oepc.line760.yml false(unreach-call) 137.47 80.73 None rfi009_power.oepc.line779.yml false(unreach-call) 165.50 93.63 None rfi009_power.oepc.line780.yml false(unreach-call) 137.43 88.50 None rfi009_power.oepc.line905.yml false(unreach-call) 167.82 95.93 None rfi009_power.oepc.line906.yml false(unreach-call) 139.88 84.08 None rfi009_power.oepc.line920.yml false(unreach-call) 193.76 119.46 None rfi009_power.oepc.line921.yml false(unreach-call) 189.18 119.83 None rfi009_power.oepc.line933.yml false(unreach-call) 134.53 79.20 None rfi009_power.oepc.line934.yml false(unreach-call) 139.30 83.20 None rfi009_power.oepc.line980.yml OUT OF MEMORY 428.49 235.07 None rfi009_power.oepc.line981.yml OUT OF MEMORY 868.79 464.76 None rfi009_power.oepc.line999.yml OUT OF MEMORY 607.00 325.03 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line872.yml true 47.84 32.05 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line873.yml true 49.09 31.75 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line900.yml true 54.79 33.22 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line901.yml true 46.49 29.54 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line928.yml true 83.36 56.86 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line929.yml true 96.76 58.70 None rfi009_rmo.oepc.line1042.yml true 79.24 49.65 None rfi009_rmo.oepc.line1043.yml true 97.08 55.94 None rfi009_rmo.oepc.line1070.yml true 79.14 48.67 None rfi009_rmo.oepc.line1071.yml true 80.11 48.43 None rfi009_rmo.oepc.line1098.yml true 143.52 85.55 None rfi009_rmo.oepc.line1099.yml true 147.45 88.14 None rfi009_rmo.oepc.line1132.yml OUT OF MEMORY 591.30 327.48 None rfi009_rmo.oepc.line1133.yml OUT OF MEMORY 771.49 416.24 None rfi009_rmo.oepc.line1147.yml OUT OF MEMORY 482.42 260.10 None rfi009_rmo.oepc.line1148.yml TIMEOUT 909.67 481.74 None rfi009_rmo.oepc.line1195.yml OUT OF MEMORY 861.94 465.44 None rfi009_rmo.oepc.line1196.yml TIMEOUT 912.76 481.86 None rfi009_rmo.oepc.line311.yml false(unreach-call) 81.46 49.25 None rfi009_rmo.oepc.line312.yml false(unreach-call) 83.07 50.70 None rfi009_rmo.oepc.line324.yml false(unreach-call) 80.55 47.91 None rfi009_rmo.oepc.line325.yml false(unreach-call) 80.48 50.42 None rfi009_rmo.oepc.line344.yml false(unreach-call) 80.00 47.86 None rfi009_rmo.oepc.line345.yml false(unreach-call) 82.71 50.51 None rfi009_rmo.oepc.line472.yml false(unreach-call) 81.03 49.20 None rfi009_rmo.oepc.line473.yml false(unreach-call) 79.46 47.66 None rfi009_rmo.oepc.line487.yml false(unreach-call) 83.44 52.13 None rfi009_rmo.oepc.line488.yml false(unreach-call) 92.23 56.15 None rfi009_rmo.oepc.line500.yml false(unreach-call) 81.52 48.93 None rfi009_rmo.oepc.line501.yml false(unreach-call) 84.33 51.71 None rfi009_rmo.oepc.line586.yml false(unreach-call) 85.33 51.72 None rfi009_rmo.oepc.line587.yml false(unreach-call) 78.93 47.30 None rfi009_rmo.oepc.line599.yml false(unreach-call) 83.47 51.97 None rfi009_rmo.oepc.line600.yml false(unreach-call) 83.24 49.90 None rfi009_rmo.oepc.line619.yml false(unreach-call) 93.92 56.83 None rfi009_rmo.oepc.line620.yml false(unreach-call) 88.58 53.66 None rfi009_rmo.oepc.line745.yml false(unreach-call) 99.00 57.76 None rfi009_rmo.oepc.line746.yml false(unreach-call) 83.80 51.27 None rfi009_rmo.oepc.line760.yml false(unreach-call) 127.09 78.30 None rfi009_rmo.oepc.line761.yml false(unreach-call) 131.70 82.85 None rfi009_rmo.oepc.line773.yml false(unreach-call) 83.42 49.90 None rfi009_rmo.oepc.line774.yml false(unreach-call) 84.22 52.11 None rfi009_rmo.oepc.line820.yml OUT OF MEMORY 600.90 336.83 None rfi009_rmo.oepc.line821.yml OUT OF MEMORY 845.21 460.35 None rfi009_rmo.oepc.line839.yml OUT OF MEMORY 477.57 263.51 None rfi009_rmo.oepc.line840.yml OUT OF MEMORY 593.28 314.33 None rfi009_rmo.oepc.line854.yml OUT OF MEMORY 423.11 234.27 None rfi009_rmo.oepc.line855.yml OUT OF MEMORY 566.40 312.12 None rfi010.line789.yml true 7.15 4.71 None rfi010.line790.yml true 7.15 4.75 None rfi010.line817.yml true 7.62 5.19 None rfi010.line818.yml true 7.53 4.88 None ring_1w1r-1.line228.yml true 8.07 5.90 None ring_1w1r-1.line229.yml true 8.78 5.60 None ring_1w1r-1.line238.yml true 7.81 5.62 None ring_1w1r-1.line239.yml false(unreach-call) 84.94 63.26 None ring_1w1r-1.line251.yml true 7.78 5.51 None ring_1w1r-1.line252.yml true 10.07 6.23 None ring_1w1r-1.line262.yml true 8.08 5.54 None ring_1w1r-1.line263.yml true 9.63 6.29 None ring_1w1r-1.line296.yml true 8.94 6.45 None ring_1w1r-1.line297.yml true 20.45 12.51 None ring_1w1r-1.line306.yml true 11.87 6.99 None ring_1w1r-1.line307.yml true 19.09 12.44 None ring_1w1r-1.line456.yml true 7.96 4.83 None ring_1w1r-1.line457.yml true 6.04 4.17 None ring_1w1r-1.line466.yml true 7.59 4.63 None ring_1w1r-1.line467.yml true 6.35 4.41 None ring_1w1r-1.line480.yml true 6.12 4.12 None ring_1w1r-1.line481.yml true 8.27 5.00 None ring_1w1r-1.line512.yml true 8.02 6.29 None ring_1w1r-1.line513.yml true 8.59 5.84 None ring_1w1r-1.line522.yml true 10.54 6.12 None ring_1w1r-1.line523.yml true 8.76 5.44 None ring_1w1r-1.line541.yml true 8.08 5.17 None ring_1w1r-1.line542.yml true 10.34 6.60 None ring_1w1r-1.line552.yml true 8.23 6.58 None ring_1w1r-1.line553.yml false(unreach-call) 77.81 60.40 None ring_1w1r-1.line562.yml true 10.51 6.05 None ring_1w1r-1.line563.yml true 9.14 5.96 None ring_1w1r-1.line573.yml true 10.54 6.14 None ring_1w1r-1.line574.yml true 9.31 5.49 None ring_1w1r-1.line596.yml true 9.17 6.57 None ring_1w1r-1.line597.yml true 14.76 8.35 None ring_1w1r-2.line229.yml true 10.37 6.18 None ring_1w1r-2.line230.yml true 9.03 6.12 None ring_1w1r-2.line239.yml true 9.96 5.96 None ring_1w1r-2.line240.yml true 9.06 5.66 None ring_1w1r-2.line267.yml true 8.30 5.47 None ring_1w1r-2.line268.yml true 8.96 6.28 None ring_1w1r-2.line277.yml true 10.25 6.18 None ring_1w1r-2.line278.yml ERROR: EXCEPTION 34.46 22.74 None ring_1w1r-2.line290.yml true 8.50 5.23 None ring_1w1r-2.line291.yml true 9.32 6.09 None ring_1w1r-2.line301.yml true 11.15 6.43 None ring_1w1r-2.line302.yml true 9.32 5.88 None ring_1w1r-2.line335.yml true 9.97 6.33 None ring_1w1r-2.line336.yml true 29.71 16.03 None ring_1w1r-2.line345.yml true 10.94 6.28 None ring_1w1r-2.line346.yml true 22.49 13.81 None ring_1w1r-2.line495.yml true 6.12 4.04 None ring_1w1r-2.line496.yml true 6.51 4.22 None ring_1w1r-2.line505.yml true 6.15 4.17 None ring_1w1r-2.line506.yml true 6.27 4.05 None ring_1w1r-2.line519.yml true 6.50 4.66 None ring_1w1r-2.line520.yml true 8.41 5.05 None ring_1w1r-2.line551.yml true 8.93 5.95 None ring_1w1r-2.line552.yml true 9.18 5.85 None ring_1w1r-2.line561.yml true 8.69 5.24 None ring_1w1r-2.line562.yml true 9.23 5.73 None ring_1w1r-2.line580.yml true 10.66 6.21 None ring_1w1r-2.line581.yml true 8.93 5.92 None ring_1w1r-2.line591.yml true 8.69 5.57 None ring_1w1r-2.line592.yml false(unreach-call) 106.25 76.61 None ring_1w1r-2.line601.yml true 8.87 5.48 None ring_1w1r-2.line602.yml true 11.21 6.50 None ring_1w1r-2.line612.yml true 8.33 5.82 None ring_1w1r-2.line613.yml true 9.41 5.76 None ring_1w1r-2.line635.yml true 9.80 6.15 None ring_1w1r-2.line636.yml true 15.51 9.84 None ring_2w1r-1.line312.yml true 612.72 324.19 None ring_2w1r-1.line313.yml true 523.24 276.28 None ring_2w1r-1.line322.yml true 533.32 284.19 None ring_2w1r-1.line323.yml true 527.21 291.86 None ring_2w1r-1.line350.yml true 543.73 289.55 None ring_2w1r-1.line351.yml true 719.23 378.88 None ring_2w1r-1.line360.yml true 710.90 373.97 None ring_2w1r-1.line361.yml false(unreach-call) 32.02 18.77 None ring_2w1r-1.line373.yml true 593.47 313.97 None ring_2w1r-1.line374.yml true 576.81 306.22 None ring_2w1r-1.line384.yml true 586.51 308.25 None ring_2w1r-1.line385.yml true 726.64 382.72 None ring_2w1r-1.line408.yml true 568.68 305.93 None ring_2w1r-1.line409.yml true 657.89 351.80 None ring_2w1r-1.line420.yml true 611.12 325.38 None ring_2w1r-1.line421.yml true 667.11 352.11 None ring_2w1r-1.line437.yml true 532.43 282.27 None ring_2w1r-1.line438.yml OUT OF MEMORY 729.89 425.80 None ring_2w1r-1.line451.yml true 515.62 275.91 None ring_2w1r-1.line452.yml TIMEOUT 901.34 508.62 None ring_2w1r-1.line542.yml OUT OF MEMORY 780.42 507.52 None ring_2w1r-1.line543.yml TIMEOUT 902.47 564.21 None ring_2w1r-1.line552.yml TIMEOUT 901.90 539.89 None ring_2w1r-1.line553.yml TIMEOUT 902.90 539.36 None ring_2w1r-1.line571.yml TIMEOUT 901.41 529.91 None ring_2w1r-1.line572.yml TIMEOUT 902.55 574.10 None ring_2w1r-1.line582.yml false(unreach-call) 49.88 33.26 None ring_2w1r-1.line583.yml TIMEOUT 900.71 587.99 None ring_2w1r-1.line592.yml TIMEOUT 902.13 550.54 None ring_2w1r-1.line593.yml TIMEOUT 901.78 563.21 None ring_2w1r-1.line603.yml OUT OF MEMORY 301.06 222.08 None ring_2w1r-1.line604.yml TIMEOUT 901.93 506.39 None ring_2w1r-1.line797.yml true 8.94 5.93 None ring_2w1r-1.line798.yml true 8.83 5.96 None ring_2w1r-1.line807.yml true 8.72 5.80 None ring_2w1r-1.line808.yml true 8.30 5.55 None ring_2w1r-1.line821.yml true 9.66 6.47 None ring_2w1r-1.line822.yml true 9.79 6.22 None ------------------------------------------------------------------------------------------------------------------------------------------ Run set 2 done 69770.89 3026.77 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk12 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 ------------------------------------------------------------------------------------------------------------------------------------------ rfi006_power.opt.line1317.yml OUT OF MEMORY 816.81 420.70 None rfi006_power.opt.line1318.yml OUT OF MEMORY 849.78 434.37 None rfi006_power.opt.line1365.yml TIMEOUT 907.46 459.99 None rfi006_power.opt.line1366.yml OUT OF MEMORY 729.48 369.48 None rfi006_power.opt.line331.yml false(unreach-call) 249.12 144.35 None rfi006_power.opt.line332.yml false(unreach-call) 231.44 139.38 None rfi006_power.opt.line346.yml false(unreach-call) 283.36 161.99 None rfi006_power.opt.line347.yml false(unreach-call) 284.74 162.33 None rfi006_power.opt.line363.yml OUT OF MEMORY 670.27 410.00 None rfi006_power.opt.line364.yml OUT OF MEMORY 646.25 404.26 None rfi006_power.opt.line395.yml OUT OF MEMORY 522.64 288.48 None rfi006_power.opt.line396.yml OUT OF MEMORY 536.23 289.93 None rfi006_power.opt.line416.yml false(unreach-call) 234.61 140.50 None rfi006_power.opt.line417.yml false(unreach-call) 229.66 133.39 None rfi006_power.opt.line630.yml false(unreach-call) 228.18 131.40 None rfi006_power.opt.line631.yml false(unreach-call) 236.15 139.36 None rfi006_power.opt.line645.yml false(unreach-call) 238.85 139.66 None rfi006_power.opt.line646.yml false(unreach-call) 245.31 143.54 None rfi006_power.opt.line658.yml false(unreach-call) 288.59 165.24 None rfi006_power.opt.line659.yml false(unreach-call) 289.17 164.05 None rfi006_power.opt.line744.yml false(unreach-call) 230.05 134.78 None rfi006_power.opt.line745.yml false(unreach-call) 240.79 146.91 None rfi006_power.opt.line757.yml false(unreach-call) 237.97 142.26 None rfi006_power.opt.line758.yml false(unreach-call) 248.55 148.52 None rfi006_power.opt.line777.yml false(unreach-call) 246.75 145.98 None rfi006_power.opt.line778.yml false(unreach-call) 244.10 142.04 None rfi006_power.opt.line903.yml false(unreach-call) 290.00 166.88 None rfi006_power.opt.line904.yml false(unreach-call) 289.73 166.76 None rfi006_power.opt.line918.yml false(unreach-call) 344.28 208.10 None rfi006_power.opt.line919.yml false(unreach-call) 336.26 202.51 None rfi006_power.opt.line931.yml false(unreach-call) 238.33 140.20 None rfi006_power.opt.line932.yml false(unreach-call) 293.20 168.34 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line775.yml true 33.72 22.98 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line776.yml true 31.16 21.60 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line803.yml true 31.36 25.10 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line804.yml true 33.82 22.15 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line831.yml true 56.66 36.67 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.line832.yml true 57.77 38.84 None rfi006_rmo.line1039.yml true 140.84 87.83 None rfi006_rmo.line1040.yml true 150.36 94.19 None rfi006_rmo.line1067.yml true 140.66 86.49 None rfi006_rmo.line1068.yml true 141.34 90.01 None rfi006_rmo.line1095.yml true 250.56 153.75 None rfi006_rmo.line1096.yml true 307.27 182.12 None rfi006_rmo.line1129.yml OUT OF MEMORY 714.02 366.33 None rfi006_rmo.line1130.yml OUT OF MEMORY 751.11 390.39 None rfi006_rmo.line1144.yml TIMEOUT 921.23 478.29 None rfi006_rmo.line1145.yml TIMEOUT 921.26 477.79 None rfi006_rmo.line1192.yml OUT OF MEMORY 750.83 387.13 None rfi006_rmo.line1193.yml OUT OF MEMORY 690.38 354.46 None rfi006_rmo.line309.yml false(unreach-call) 154.25 96.09 None rfi006_rmo.line310.yml false(unreach-call) 141.47 88.87 None rfi006_rmo.line322.yml false(unreach-call) 143.33 86.74 None rfi006_rmo.line323.yml false(unreach-call) 139.70 84.70 None rfi006_rmo.line342.yml false(unreach-call) 170.91 100.80 None rfi006_rmo.line343.yml false(unreach-call) 137.19 82.59 None rfi006_rmo.line470.yml false(unreach-call) 142.02 86.01 None rfi006_rmo.line471.yml false(unreach-call) 141.82 92.70 None rfi006_rmo.line485.yml false(unreach-call) 144.13 86.61 None rfi006_rmo.line486.yml false(unreach-call) 166.67 102.98 None rfi006_rmo.line498.yml false(unreach-call) 172.35 100.76 None rfi006_rmo.line499.yml false(unreach-call) 137.89 83.92 None rfi006_rmo.line584.yml false(unreach-call) 169.14 99.28 None rfi006_rmo.line585.yml false(unreach-call) 136.72 82.75 None rfi006_rmo.line597.yml false(unreach-call) 140.90 86.15 None rfi006_rmo.line598.yml false(unreach-call) 140.88 85.81 None rfi006_rmo.line617.yml false(unreach-call) 138.39 89.35 None rfi006_rmo.line618.yml false(unreach-call) 159.43 99.39 None rfi006_rmo.line743.yml false(unreach-call) 171.40 100.36 None rfi006_rmo.line744.yml false(unreach-call) 140.86 84.38 None rfi006_rmo.line758.yml false(unreach-call) 223.54 139.08 None rfi006_rmo.line759.yml false(unreach-call) 279.80 169.32 None rfi006_rmo.line771.yml false(unreach-call) 142.51 86.11 None rfi006_rmo.line772.yml false(unreach-call) 135.26 82.03 None rfi006_rmo.line818.yml OUT OF MEMORY 272.24 156.92 None rfi006_rmo.line819.yml OUT OF MEMORY 417.48 234.54 None rfi006_rmo.line837.yml OUT OF MEMORY 393.14 225.22 None rfi006_rmo.line838.yml OUT OF MEMORY 484.52 266.03 None rfi006_rmo.line852.yml TIMEOUT 918.60 487.20 None rfi006_rmo.line853.yml OUT OF MEMORY 654.13 352.63 None rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line665.yml true 6.98 4.96 None rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line666.yml true 7.47 5.29 None rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line693.yml true 7.52 5.04 None rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line694.yml true 7.36 5.09 None rfi007_tso.line688.yml true 6.84 4.82 None rfi007_tso.line689.yml true 7.27 4.78 None rfi007_tso.line716.yml true 7.39 5.15 None rfi007_tso.line717.yml true 7.44 5.03 None rfi008.oepc.line840.yml true 7.39 4.83 None rfi008.oepc.line841.yml true 7.53 5.07 None rfi008.oepc.line868.yml true 8.75 5.54 None rfi008.oepc.line869.yml true 8.98 5.56 None rfi008.opt.line793.yml true 7.37 5.03 None rfi008.opt.line794.yml true 7.53 5.08 None rfi008.opt.line821.yml true 8.30 5.26 None rfi008.opt.line822.yml true 8.03 5.37 None rfi009_power.oepc.line1000.yml OUT OF MEMORY 474.28 257.08 None rfi009_power.oepc.line1014.yml OUT OF MEMORY 596.55 324.90 None rfi009_power.oepc.line1015.yml OUT OF MEMORY 451.05 249.25 None rfi009_power.oepc.line1202.yml true 231.63 135.58 None rfi009_power.oepc.line1203.yml true 232.49 138.97 None rfi009_power.oepc.line1230.yml true 284.46 164.86 None rfi009_power.oepc.line1231.yml true 236.81 141.34 None rfi009_power.oepc.line1258.yml OUT OF MEMORY 277.09 158.48 None rfi009_power.oepc.line1259.yml OUT OF MEMORY 261.72 150.47 None rfi009_power.oepc.line1292.yml OUT OF MEMORY 766.95 391.91 None rfi009_power.oepc.line1293.yml OUT OF MEMORY 725.32 372.35 None rfi009_power.oepc.line1307.yml OUT OF MEMORY 773.44 397.25 None rfi009_power.oepc.line1308.yml OUT OF MEMORY 694.52 353.06 None rfi009_power.oepc.line1355.yml OUT OF MEMORY 774.61 399.67 None rfi009_power.oepc.line1356.yml OUT OF MEMORY 669.52 354.11 None rfi009_power.oepc.line333.yml false(unreach-call) 289.16 167.23 None rfi009_power.oepc.line334.yml false(unreach-call) 291.92 168.38 None rfi009_power.oepc.line348.yml false(unreach-call) 285.25 165.23 None rfi009_power.oepc.line349.yml false(unreach-call) 234.74 138.12 None rfi009_power.oepc.line365.yml OUT OF MEMORY 504.75 280.58 None rfi009_power.oepc.line366.yml OUT OF MEMORY 644.06 356.26 None rfi009_power.oepc.line397.yml OUT OF MEMORY 688.07 408.71 None rfi009_power.oepc.line398.yml OUT OF MEMORY 630.44 345.61 None rfi009_power.oepc.line418.yml false(unreach-call) 283.12 163.45 None rfi009_power.oepc.line419.yml false(unreach-call) 232.98 138.35 None rfi009_power.oepc.line632.yml false(unreach-call) 290.49 168.04 None rfi009_power.oepc.line633.yml false(unreach-call) 291.95 168.50 None rfi009_power.oepc.line647.yml false(unreach-call) 235.23 138.53 None rfi009_power.oepc.line648.yml false(unreach-call) 245.86 147.06 None rfi009_power.oepc.line660.yml false(unreach-call) 238.64 141.58 None rfi009_power.oepc.line661.yml false(unreach-call) 246.12 145.88 None rfi009_power.oepc.line746.yml false(unreach-call) 235.97 138.94 None rfi009_power.oepc.line747.yml false(unreach-call) 297.33 172.42 None rfi009_power.oepc.line759.yml false(unreach-call) 263.65 160.66 None rfi009_power.oepc.line760.yml false(unreach-call) 297.22 171.63 None rfi009_power.oepc.line779.yml false(unreach-call) 244.82 152.63 None rfi009_power.oepc.line780.yml false(unreach-call) 297.96 170.45 None rfi009_power.oepc.line905.yml false(unreach-call) 252.22 146.67 None rfi009_power.oepc.line906.yml false(unreach-call) 235.65 139.61 None rfi009_power.oepc.line920.yml false(unreach-call) 346.12 210.09 None rfi009_power.oepc.line921.yml false(unreach-call) 348.96 213.30 None rfi009_power.oepc.line933.yml false(unreach-call) 240.01 142.39 None rfi009_power.oepc.line934.yml false(unreach-call) 247.30 144.18 None rfi009_power.oepc.line980.yml OUT OF MEMORY 411.54 228.25 None rfi009_power.oepc.line981.yml OUT OF MEMORY 515.84 297.70 None rfi009_power.oepc.line999.yml OUT OF MEMORY 614.07 342.97 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line872.yml true 94.27 56.20 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line873.yml true 98.37 59.07 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line900.yml true 97.60 59.00 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line901.yml true 80.52 51.52 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line928.yml true 154.31 98.33 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.line929.yml true 170.94 103.07 None rfi009_rmo.oepc.line1042.yml true 162.25 96.02 None rfi009_rmo.oepc.line1043.yml true 163.77 96.70 None rfi009_rmo.oepc.line1070.yml true 136.18 84.57 None rfi009_rmo.oepc.line1071.yml true 170.42 100.36 None rfi009_rmo.oepc.line1098.yml OUT OF MEMORY 214.96 124.16 None rfi009_rmo.oepc.line1099.yml true 243.08 149.32 None rfi009_rmo.oepc.line1132.yml OUT OF MEMORY 753.39 387.39 None rfi009_rmo.oepc.line1133.yml OUT OF MEMORY 786.36 404.29 None rfi009_rmo.oepc.line1147.yml TIMEOUT 907.38 463.81 None rfi009_rmo.oepc.line1148.yml OUT OF MEMORY 706.30 370.59 None rfi009_rmo.oepc.line1195.yml TIMEOUT 905.39 460.73 None rfi009_rmo.oepc.line1196.yml OUT OF MEMORY 769.87 398.16 None rfi009_rmo.oepc.line311.yml false(unreach-call) 170.39 100.12 None rfi009_rmo.oepc.line312.yml false(unreach-call) 142.52 86.91 None rfi009_rmo.oepc.line324.yml false(unreach-call) 170.80 99.83 None rfi009_rmo.oepc.line325.yml false(unreach-call) 141.56 85.21 None rfi009_rmo.oepc.line344.yml false(unreach-call) 138.63 83.82 None rfi009_rmo.oepc.line345.yml false(unreach-call) 142.63 84.54 None rfi009_rmo.oepc.line472.yml false(unreach-call) 146.85 90.54 None rfi009_rmo.oepc.line473.yml false(unreach-call) 172.88 101.04 None rfi009_rmo.oepc.line487.yml false(unreach-call) 173.84 101.49 None rfi009_rmo.oepc.line488.yml false(unreach-call) 140.17 85.55 None rfi009_rmo.oepc.line500.yml false(unreach-call) 141.34 84.74 None rfi009_rmo.oepc.line501.yml false(unreach-call) 140.91 86.85 None rfi009_rmo.oepc.line586.yml false(unreach-call) 139.40 84.79 None rfi009_rmo.oepc.line587.yml false(unreach-call) 153.49 93.73 None rfi009_rmo.oepc.line599.yml false(unreach-call) 147.29 89.89 None rfi009_rmo.oepc.line600.yml false(unreach-call) 136.80 83.16 None rfi009_rmo.oepc.line619.yml false(unreach-call) 172.39 102.68 None rfi009_rmo.oepc.line620.yml false(unreach-call) 142.64 85.52 None rfi009_rmo.oepc.line745.yml false(unreach-call) 179.43 106.65 None rfi009_rmo.oepc.line746.yml false(unreach-call) 144.57 104.29 None rfi009_rmo.oepc.line760.yml false(unreach-call) 241.63 149.78 None rfi009_rmo.oepc.line761.yml false(unreach-call) 254.61 165.17 None rfi009_rmo.oepc.line773.yml false(unreach-call) 165.62 107.79 None rfi009_rmo.oepc.line774.yml false(unreach-call) 141.17 85.95 None rfi009_rmo.oepc.line820.yml OUT OF MEMORY 341.32 190.87 None rfi009_rmo.oepc.line821.yml OUT OF MEMORY 264.15 154.98 None rfi009_rmo.oepc.line839.yml OUT OF MEMORY 418.23 228.71 None rfi009_rmo.oepc.line840.yml OUT OF MEMORY 570.11 318.94 None rfi009_rmo.oepc.line854.yml OUT OF MEMORY 572.71 307.49 None rfi009_rmo.oepc.line855.yml OUT OF MEMORY 346.19 193.00 None rfi010.line789.yml true 7.40 5.03 None rfi010.line790.yml true 7.45 4.87 None rfi010.line817.yml true 8.16 5.58 None rfi010.line818.yml true 8.29 5.38 None ring_1w1r-1.line228.yml true 8.65 5.74 None ring_1w1r-1.line229.yml true 9.58 5.95 None ring_1w1r-1.line238.yml true 8.40 5.57 None ring_1w1r-1.line239.yml false(unreach-call) 75.30 59.54 None ring_1w1r-1.line251.yml true 7.95 5.14 None ring_1w1r-1.line252.yml true 10.12 6.39 None ring_1w1r-1.line262.yml true 8.33 5.31 None ring_1w1r-1.line263.yml true 10.90 7.29 None ring_1w1r-1.line296.yml true 10.61 6.91 None ring_1w1r-1.line297.yml true 21.22 12.32 None ring_1w1r-1.line306.yml true 12.69 7.31 None ring_1w1r-1.line307.yml true 25.01 14.47 None ring_1w1r-1.line456.yml true 6.38 4.12 None ring_1w1r-1.line457.yml true 6.63 4.32 None ring_1w1r-1.line466.yml true 6.31 4.61 None ring_1w1r-1.line467.yml true 6.41 4.10 None ring_1w1r-1.line480.yml true 6.50 4.17 None ring_1w1r-1.line481.yml true 6.81 4.50 None ring_1w1r-1.line512.yml true 9.99 5.76 None ring_1w1r-1.line513.yml true 10.38 6.41 None ring_1w1r-1.line522.yml true 10.15 5.78 None ring_1w1r-1.line523.yml true 10.47 6.55 None ring_1w1r-1.line541.yml true 8.94 5.29 None ring_1w1r-1.line542.yml true 9.80 5.68 None ring_1w1r-1.line552.yml true 8.65 5.45 None ring_1w1r-1.line553.yml false(unreach-call) 79.89 60.83 None ring_1w1r-1.line562.yml true 8.56 5.30 None ring_1w1r-1.line563.yml true 10.24 6.01 None ring_1w1r-1.line573.yml true 8.40 5.50 None ring_1w1r-1.line574.yml true 9.81 5.79 None ring_1w1r-1.line596.yml true 11.42 6.97 None ring_1w1r-1.line597.yml true 17.13 10.12 None ring_1w1r-2.line229.yml true 9.32 5.68 None ring_1w1r-2.line230.yml true 9.37 5.81 None ring_1w1r-2.line239.yml true 8.09 5.21 None ring_1w1r-2.line240.yml true 9.83 6.24 None ring_1w1r-2.line267.yml true 8.47 5.35 None ring_1w1r-2.line268.yml true 10.58 6.96 None ring_1w1r-2.line277.yml true 9.07 5.92 None ring_1w1r-2.line278.yml false(unreach-call) 221.68 176.20 None ring_1w1r-2.line290.yml true 9.38 6.74 None ring_1w1r-2.line291.yml true 9.97 6.22 None ring_1w1r-2.line301.yml true 9.94 6.39 None ring_1w1r-2.line302.yml true 10.68 6.72 None ring_1w1r-2.line335.yml true 16.44 9.26 None ring_1w1r-2.line336.yml true 40.39 23.43 None ring_1w1r-2.line345.yml true 12.50 7.36 None ring_1w1r-2.line346.yml true 37.63 22.82 None ring_1w1r-2.line495.yml true 6.26 4.05 None ring_1w1r-2.line496.yml true 7.74 4.79 None ring_1w1r-2.line505.yml true 5.82 4.37 None ring_1w1r-2.line506.yml true 8.48 5.14 None ring_1w1r-2.line519.yml true 6.38 4.77 None ring_1w1r-2.line520.yml true 6.72 4.31 None ring_1w1r-2.line551.yml true 12.38 6.95 None ring_1w1r-2.line552.yml true 10.40 6.28 None ring_1w1r-2.line561.yml true 13.16 7.30 None ring_1w1r-2.line562.yml true 10.33 6.09 None ring_1w1r-2.line580.yml true 8.95 5.41 None ring_1w1r-2.line581.yml true 9.04 5.47 None ring_1w1r-2.line591.yml true 11.48 6.42 None ring_1w1r-2.line592.yml false(unreach-call) 109.28 86.57 None ring_1w1r-2.line601.yml true 9.30 5.62 None ring_1w1r-2.line602.yml true 13.01 7.16 None ring_1w1r-2.line612.yml true 8.49 5.47 None ring_1w1r-2.line613.yml true 13.41 7.34 None ring_1w1r-2.line635.yml true 11.00 6.99 None ring_1w1r-2.line636.yml true 24.35 13.23 None ring_2w1r-1.line312.yml OUT OF MEMORY 667.77 363.14 None ring_2w1r-1.line313.yml true 877.41 517.99 None ring_2w1r-1.line322.yml TIMEOUT 902.61 481.17 None ring_2w1r-1.line323.yml OUT OF MEMORY 865.18 497.88 None ring_2w1r-1.line350.yml TIMEOUT 918.70 491.71 None ring_2w1r-1.line351.yml TIMEOUT 908.37 483.75 None ring_2w1r-1.line360.yml TIMEOUT 903.68 478.63 None ring_2w1r-1.line361.yml false(unreach-call) 175.91 106.60 None ring_2w1r-1.line373.yml TIMEOUT 911.55 485.65 None ring_2w1r-1.line374.yml TIMEOUT 903.22 477.85 None ring_2w1r-1.line384.yml TIMEOUT 920.98 496.75 None ring_2w1r-1.line385.yml TIMEOUT 915.82 485.50 None ring_2w1r-1.line408.yml OUT OF MEMORY 846.90 452.98 None ring_2w1r-1.line409.yml TIMEOUT 909.31 482.35 None ring_2w1r-1.line420.yml TIMEOUT 907.18 494.77 None ring_2w1r-1.line421.yml TIMEOUT 902.15 474.76 None ring_2w1r-1.line437.yml TIMEOUT 902.75 481.86 None ring_2w1r-1.line438.yml OUT OF MEMORY 179.90 102.21 None ring_2w1r-1.line451.yml OUT OF MEMORY 897.09 494.41 None ring_2w1r-1.line452.yml TIMEOUT 902.77 487.40 None ring_2w1r-1.line542.yml OUT OF MEMORY 757.55 416.26 None ring_2w1r-1.line543.yml OUT OF MEMORY 757.39 430.02 None ring_2w1r-1.line552.yml TIMEOUT 902.72 483.60 None ring_2w1r-1.line553.yml OUT OF MEMORY 771.31 424.27 None ring_2w1r-1.line571.yml TIMEOUT 902.23 498.62 None ring_2w1r-1.line572.yml TIMEOUT 902.74 497.93 None ring_2w1r-1.line582.yml TIMEOUT 902.33 519.81 None ring_2w1r-1.line583.yml TIMEOUT 902.38 485.58 None ring_2w1r-1.line592.yml OUT OF MEMORY 892.80 477.29 None ring_2w1r-1.line593.yml OUT OF MEMORY 871.87 490.53 None ring_2w1r-1.line603.yml TIMEOUT 902.17 500.63 None ring_2w1r-1.line604.yml TIMEOUT 903.09 483.22 None ring_2w1r-1.line797.yml true 7.49 5.20 None ring_2w1r-1.line798.yml true 7.90 5.37 None ring_2w1r-1.line807.yml true 7.54 5.13 None ring_2w1r-1.line808.yml true 8.37 5.70 None ring_2w1r-1.line821.yml true 10.58 6.33 None ring_2w1r-1.line822.yml true 8.50 6.00 None ------------------------------------------------------------------------------------------------------------------------------------------ Run set 3 done 83994.82 3667.72 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk12 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk12 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk12 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk12 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk12 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk12 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk12 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk12 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk12 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk12 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk12 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk12 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk12 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk12 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk12 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk12 Run set 19 of 19: skipped Statistics: 900 Files correct: 391 correct true: 391 correct false: 0 incorrect: 303 incorrect true: 0 incorrect false: 303 unknown: 206 Score: -4066 (max: 1800)