BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk08, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk08, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk08 date: Thu, 2022-10-20 17:41:37 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-chunk08 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 ------------------------------------------------------------------------------------------------------------------------------------------- safe009_power.oepc.line818.yml true 706.35 374.09 None safe009_power.oepc.line819.yml OUT OF MEMORY 732.49 400.13 None safe009_power.oepc.line837.yml OUT OF MEMORY 696.69 359.36 None safe009_power.oepc.line838.yml OUT OF MEMORY 540.63 287.42 None safe009_power.oepc.line852.yml OUT OF MEMORY 597.79 320.72 None safe009_power.oepc.line853.yml OUT OF MEMORY 679.90 379.66 None safe009_power.opt.line1110.yml true 88.89 51.02 None safe009_power.opt.line1111.yml true 87.80 51.11 None safe009_power.opt.line1138.yml true 91.45 52.62 None safe009_power.opt.line1139.yml true 74.72 43.84 None safe009_power.opt.line1166.yml true 142.68 84.85 None safe009_power.opt.line1167.yml true 137.40 82.20 None safe009_power.opt.line1200.yml OUT OF MEMORY 804.42 425.77 None safe009_power.opt.line1201.yml OUT OF MEMORY 741.13 386.03 None safe009_power.opt.line1215.yml OUT OF MEMORY 804.21 419.27 None safe009_power.opt.line1216.yml TIMEOUT 921.13 487.30 None safe009_power.opt.line1263.yml TIMEOUT 904.83 471.21 None safe009_power.opt.line1264.yml TIMEOUT 907.14 470.17 None safe009_power.opt.line320.yml OUT OF MEMORY 464.81 253.48 None safe009_power.opt.line321.yml OUT OF MEMORY 527.07 288.03 None safe009_power.opt.line335.yml OUT OF MEMORY 512.36 272.87 None safe009_power.opt.line336.yml OUT OF MEMORY 579.65 316.13 None safe009_power.opt.line459.yml false(unreach-call) 77.82 48.70 None safe009_power.opt.line460.yml false(unreach-call) 98.83 55.81 None safe009_power.opt.line474.yml false(unreach-call) 91.62 55.76 None safe009_power.opt.line475.yml false(unreach-call) 92.26 54.62 None safe009_power.opt.line491.yml OUT OF MEMORY 492.02 275.28 None safe009_power.opt.line492.yml OUT OF MEMORY 556.46 301.60 None safe009_power.opt.line523.yml OUT OF MEMORY 573.83 308.90 None safe009_power.opt.line524.yml OUT OF MEMORY 532.46 293.09 None safe009_power.opt.line544.yml false(unreach-call) 121.92 68.88 None safe009_power.opt.line545.yml false(unreach-call) 97.26 57.56 None safe009_power.opt.line758.yml false(unreach-call) 97.19 58.16 None safe009_power.opt.line759.yml false(unreach-call) 101.69 59.81 None safe009_power.opt.line773.yml false(unreach-call) 866.44 485.91 None safe009_power.opt.line774.yml OUT OF MEMORY 828.61 471.06 None safe009_power.opt.line786.yml false(unreach-call) 123.54 69.32 None safe009_power.opt.line787.yml false(unreach-call) 100.48 60.31 None safe009_power.opt.line813.yml false(unreach-call) 103.93 62.10 None safe009_power.opt.line814.yml false(unreach-call) 121.53 69.20 None safe009_power.opt.line828.yml false(unreach-call) 125.69 72.68 None safe009_power.opt.line829.yml false(unreach-call) 125.68 72.18 None safe009_power.opt.line909.yml OUT OF MEMORY 795.43 439.03 None safe009_power.opt.line910.yml TIMEOUT 914.19 500.88 None safe009_power.opt.line924.yml TIMEOUT 903.25 488.59 None safe009_power.opt.line925.yml TIMEOUT 914.14 498.78 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line357.yml true 9.00 5.84 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line358.yml true 9.13 5.76 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line385.yml true 9.00 5.71 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line386.yml true 9.44 5.93 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line413.yml true 10.53 6.48 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line414.yml true 11.21 6.80 None safe009_rmo.oepc.line1010.yml OUT OF MEMORY 865.36 463.34 None safe009_rmo.oepc.line1011.yml OUT OF MEMORY 838.65 451.71 None safe009_rmo.oepc.line1059.yml TIMEOUT 909.17 491.62 None safe009_rmo.oepc.line1060.yml OUT OF MEMORY 831.16 469.74 None safe009_rmo.oepc.line1072.yml OUT OF MEMORY 781.86 471.30 None safe009_rmo.oepc.line1073.yml OUT OF MEMORY 712.82 392.89 None safe009_rmo.oepc.line1092.yml OUT OF MEMORY 797.13 444.61 None safe009_rmo.oepc.line1093.yml OUT OF MEMORY 772.73 426.21 None safe009_rmo.oepc.line1222.yml OUT OF MEMORY 827.60 462.27 None safe009_rmo.oepc.line1223.yml OUT OF MEMORY 805.49 469.98 None safe009_rmo.oepc.line1244.yml OUT OF MEMORY 821.69 471.79 None safe009_rmo.oepc.line1245.yml TIMEOUT 903.47 495.20 None safe009_rmo.oepc.line1259.yml OUT OF MEMORY 899.44 515.46 None safe009_rmo.oepc.line1260.yml OUT OF MEMORY 802.79 449.58 None safe009_rmo.oepc.line1272.yml TIMEOUT 901.99 543.95 None safe009_rmo.oepc.line1273.yml TIMEOUT 903.12 582.83 None safe009_rmo.oepc.line307.yml false(unreach-call) 38.41 24.49 None safe009_rmo.oepc.line308.yml false(unreach-call) 41.08 27.84 None safe009_rmo.oepc.line320.yml false(unreach-call) 39.86 27.96 None safe009_rmo.oepc.line321.yml false(unreach-call) 47.29 32.07 None safe009_rmo.oepc.line340.yml false(unreach-call) 40.60 27.76 None safe009_rmo.oepc.line341.yml false(unreach-call) 40.72 35.37 None safe009_rmo.oepc.line468.yml false(unreach-call) 39.58 27.97 None safe009_rmo.oepc.line469.yml false(unreach-call) 38.34 28.64 None safe009_rmo.oepc.line483.yml OUT OF MEMORY 469.60 260.27 None safe009_rmo.oepc.line484.yml OUT OF MEMORY 609.02 382.26 None safe009_rmo.oepc.line496.yml false(unreach-call) 40.57 28.14 None safe009_rmo.oepc.line497.yml false(unreach-call) 39.42 25.31 None safe009_rmo.oepc.line553.yml false(unreach-call) 41.44 36.37 None safe009_rmo.oepc.line554.yml false(unreach-call) 45.87 30.71 None safe009_rmo.oepc.line572.yml false(unreach-call) 42.92 38.97 None safe009_rmo.oepc.line573.yml false(unreach-call) 44.39 32.05 None safe009_rmo.oepc.line587.yml false(unreach-call) 44.87 36.79 None safe009_rmo.oepc.line588.yml false(unreach-call) 43.67 51.19 None safe009_rmo.oepc.line658.yml OUT OF MEMORY 775.10 478.15 None safe009_rmo.oepc.line659.yml OUT OF MEMORY 739.25 405.63 None safe009_rmo.oepc.line677.yml OUT OF MEMORY 760.88 419.97 None safe009_rmo.oepc.line678.yml OUT OF MEMORY 659.25 476.12 None safe009_rmo.oepc.line692.yml OUT OF MEMORY 424.98 231.34 None safe009_rmo.oepc.line693.yml OUT OF MEMORY 732.68 395.39 None safe009_rmo.oepc.line905.yml true 35.97 22.65 None safe009_rmo.oepc.line906.yml true 38.88 24.39 None safe009_rmo.oepc.line933.yml true 42.08 27.17 None safe009_rmo.oepc.line934.yml true 37.89 24.46 None safe009_rmo.oepc.line961.yml true 67.31 42.68 None safe009_rmo.oepc.line962.yml true 63.37 39.50 None safe009_rmo.oepc.line995.yml OUT OF MEMORY 520.44 280.69 None safe009_rmo.oepc.line996.yml OUT OF MEMORY 714.25 414.82 None safe009_rmo.opt.line1027.yml OUT OF MEMORY 585.05 320.27 None safe009_rmo.opt.line1028.yml OUT OF MEMORY 491.83 269.04 None safe009_rmo.opt.line1042.yml TIMEOUT 903.88 483.06 None safe009_rmo.opt.line1043.yml OUT OF MEMORY 754.21 422.11 None safe009_rmo.opt.line1090.yml TIMEOUT 902.31 562.88 None safe009_rmo.opt.line1091.yml OUT OF MEMORY 772.07 442.13 None safe009_rmo.opt.line288.yml false(unreach-call) 46.70 28.77 None safe009_rmo.opt.line289.yml false(unreach-call) 48.22 30.01 None safe009_rmo.opt.line307.yml false(unreach-call) 59.41 42.00 None safe009_rmo.opt.line308.yml false(unreach-call) 46.71 28.48 None safe009_rmo.opt.line322.yml false(unreach-call) 51.33 34.99 None safe009_rmo.opt.line323.yml false(unreach-call) 49.05 31.32 None safe009_rmo.opt.line424.yml false(unreach-call) 52.58 43.80 None safe009_rmo.opt.line425.yml false(unreach-call) 62.24 47.43 None safe009_rmo.opt.line437.yml false(unreach-call) 51.61 31.88 None safe009_rmo.opt.line438.yml false(unreach-call) 50.01 30.96 None safe009_rmo.opt.line457.yml false(unreach-call) 48.84 40.54 None safe009_rmo.opt.line458.yml false(unreach-call) 48.18 29.02 None safe009_rmo.opt.line585.yml false(unreach-call) 59.96 34.41 None safe009_rmo.opt.line586.yml false(unreach-call) 51.91 32.90 None safe009_rmo.opt.line600.yml false(unreach-call) 112.85 70.75 None safe009_rmo.opt.line601.yml false(unreach-call) 111.74 81.01 None safe009_rmo.opt.line613.yml false(unreach-call) 48.02 28.53 None safe009_rmo.opt.line614.yml false(unreach-call) 62.03 35.75 None safe009_rmo.opt.line640.yml false(unreach-call) 49.82 31.72 None safe009_rmo.opt.line641.yml false(unreach-call) 50.82 30.20 None safe009_rmo.opt.line655.yml false(unreach-call) 49.85 29.30 None safe009_rmo.opt.line656.yml false(unreach-call) 51.92 32.39 None safe009_rmo.opt.line736.yml OUT OF MEMORY 794.18 432.62 None safe009_rmo.opt.line737.yml TIMEOUT 908.58 538.10 None safe009_rmo.opt.line751.yml OUT OF MEMORY 742.09 531.51 None safe009_rmo.opt.line752.yml TIMEOUT 902.79 523.03 None safe009_rmo.opt.line937.yml true 42.93 26.45 None safe009_rmo.opt.line938.yml true 43.37 26.04 None safe009_rmo.opt.line965.yml true 44.30 27.62 None safe009_rmo.opt.line966.yml true 47.34 28.94 None safe009_rmo.opt.line993.yml true 80.59 74.20 None safe009_rmo.opt.line994.yml true 78.96 48.62 None safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line516.yml true 6.78 4.49 None safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line517.yml true 6.82 4.57 None safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line544.yml true 6.72 5.34 None safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line545.yml true 7.13 4.92 None safe010_tso.line324.yml true 5.97 6.52 None safe010_tso.line325.yml true 6.10 4.93 None safe010_tso.line352.yml true 6.19 6.80 None safe010_tso.line353.yml true 6.40 4.87 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line608.yml true 14.41 10.71 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line609.yml true 14.50 10.47 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line636.yml true 15.30 15.59 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line637.yml true 15.12 10.27 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line664.yml true 21.78 14.76 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line665.yml true 20.66 16.95 None safe011_power.opt_pso.opt.line608.yml true 16.01 10.42 None safe011_power.opt_pso.opt.line609.yml true 16.05 9.94 None safe011_power.opt_pso.opt.line636.yml true 14.74 9.32 None safe011_power.opt_pso.opt.line637.yml true 15.01 9.49 None safe011_power.opt_pso.opt.line664.yml true 20.28 14.33 None safe011_power.opt_pso.opt.line665.yml true 20.70 19.65 None safe011_tso.line362.yml true 6.88 5.77 None safe011_tso.line363.yml true 8.03 5.50 None safe011_tso.line390.yml true 7.55 10.14 None safe011_tso.line391.yml true 7.85 6.61 None safe011_tso.line418.yml true 8.68 6.38 None safe011_tso.line419.yml true 9.59 6.45 None safe012_power.oepc.line1025.yml true 29.86 20.05 None safe012_power.oepc.line1026.yml true 30.86 20.20 None safe012_power.oepc.line1059.yml OUT OF MEMORY 534.20 288.44 None safe012_power.oepc.line1060.yml OUT OF MEMORY 557.15 472.18 None safe012_power.oepc.line1074.yml OUT OF MEMORY 555.95 420.74 None safe012_power.oepc.line1075.yml OUT OF MEMORY 744.65 481.81 None safe012_power.oepc.line1122.yml OUT OF MEMORY 677.38 373.09 None safe012_power.oepc.line1123.yml OUT OF MEMORY 676.25 376.42 None safe012_power.oepc.line333.yml false(unreach-call) 23.16 14.09 None safe012_power.oepc.line334.yml false(unreach-call) 22.16 14.84 None safe012_power.oepc.line348.yml false(unreach-call) 22.97 14.80 None safe012_power.oepc.line349.yml false(unreach-call) 32.46 17.56 None safe012_power.oepc.line365.yml OUT OF MEMORY 359.46 190.65 None safe012_power.oepc.line366.yml OUT OF MEMORY 359.64 190.99 None safe012_power.oepc.line397.yml OUT OF MEMORY 458.83 244.58 None safe012_power.oepc.line398.yml OUT OF MEMORY 467.17 270.16 None safe012_power.oepc.line418.yml false(unreach-call) 20.09 12.85 None safe012_power.oepc.line419.yml false(unreach-call) 24.49 16.10 None safe012_power.oepc.line632.yml false(unreach-call) 27.50 15.61 None safe012_power.oepc.line633.yml false(unreach-call) 20.63 13.45 None safe012_power.oepc.line647.yml OUT OF MEMORY 357.74 189.81 None safe012_power.oepc.line648.yml OUT OF MEMORY 524.41 274.57 None safe012_power.oepc.line660.yml false(unreach-call) 24.16 15.22 None safe012_power.oepc.line661.yml false(unreach-call) 28.66 16.21 None safe012_power.oepc.line747.yml true 162.12 93.86 None safe012_power.oepc.line748.yml OUT OF MEMORY 718.01 370.67 None safe012_power.oepc.line766.yml true 439.19 241.23 None safe012_power.oepc.line767.yml OUT OF MEMORY 515.20 274.56 None safe012_power.oepc.line781.yml OUT OF MEMORY 430.45 229.34 None safe012_power.oepc.line782.yml OUT OF MEMORY 296.56 157.56 None safe012_power.oepc.line969.yml true 24.12 16.37 None safe012_power.oepc.line970.yml true 18.64 12.11 None safe012_power.oepc.line997.yml true 19.03 12.44 None safe012_power.oepc.line998.yml true 18.97 11.73 None safe012_power.opt.line1050.yml true 11.61 7.39 None safe012_power.opt.line1051.yml true 14.36 8.77 None safe012_power.opt.line1078.yml true 11.40 7.15 None safe012_power.opt.line1079.yml true 12.07 7.69 None safe012_power.opt.line1106.yml true 15.19 9.95 None safe012_power.opt.line1107.yml true 22.06 12.57 None safe012_power.opt.line1140.yml OUT OF MEMORY 401.12 251.32 None safe012_power.opt.line1141.yml OUT OF MEMORY 446.06 245.31 None safe012_power.opt.line1155.yml OUT OF MEMORY 566.66 325.12 None safe012_power.opt.line1156.yml OUT OF MEMORY 590.94 350.35 None safe012_power.opt.line1203.yml OUT OF MEMORY 819.65 587.33 None safe012_power.opt.line1204.yml TIMEOUT 902.54 557.02 None safe012_power.opt.line354.yml OUT OF MEMORY 92.12 62.80 None safe012_power.opt.line355.yml OUT OF MEMORY 293.22 206.75 None safe012_power.opt.line369.yml false(unreach-call) 24.52 14.08 None safe012_power.opt.line370.yml false(unreach-call) 23.20 13.35 None safe012_power.opt.line493.yml true 56.82 35.34 None safe012_power.opt.line494.yml OUT OF MEMORY 500.44 275.02 None safe012_power.opt.line508.yml true 118.16 70.91 None safe012_power.opt.line509.yml OUT OF MEMORY 807.76 447.33 None safe012_power.opt.line525.yml OUT OF MEMORY 677.31 387.21 None safe012_power.opt.line526.yml OUT OF MEMORY 397.29 246.38 None safe012_power.opt.line557.yml true 167.19 106.53 None safe012_power.opt.line558.yml OUT OF MEMORY 399.12 230.76 None safe012_power.opt.line578.yml true 256.49 143.74 None safe012_power.opt.line579.yml OUT OF MEMORY 404.45 227.57 None safe012_power.opt.line792.yml OUT OF MEMORY 645.38 341.61 None safe012_power.opt.line793.yml OUT OF MEMORY 845.20 447.71 None safe012_power.opt.line807.yml OUT OF MEMORY 521.05 289.74 None safe012_power.opt.line808.yml OUT OF MEMORY 636.13 348.86 None safe012_power.opt.line820.yml OUT OF MEMORY 653.14 349.47 None safe012_power.opt.line821.yml OUT OF MEMORY 795.06 428.53 None safe012_power.opt.line847.yml OUT OF MEMORY 425.49 238.33 None safe012_power.opt.line848.yml OUT OF MEMORY 675.63 369.26 None safe012_power.opt.line862.yml OUT OF MEMORY 528.72 300.94 None safe012_power.opt.line863.yml OUT OF MEMORY 559.97 314.61 None safe012_pso.oepc_pso.opt_rmo.opt.line708.yml true 23.68 15.54 None safe012_pso.oepc_pso.opt_rmo.opt.line709.yml true 22.82 14.42 None safe012_pso.oepc_pso.opt_rmo.opt.line736.yml true 22.34 14.56 None safe012_pso.oepc_pso.opt_rmo.opt.line737.yml true 27.97 16.43 None safe012_pso.oepc_pso.opt_rmo.opt.line764.yml true 47.65 27.59 None safe012_pso.oepc_pso.opt_rmo.opt.line765.yml true 37.50 23.19 None safe012_rmo.oepc.line311.yml false(unreach-call) 16.30 10.66 None safe012_rmo.oepc.line312.yml false(unreach-call) 16.54 10.09 None safe012_rmo.oepc.line324.yml false(unreach-call) 22.73 12.71 None safe012_rmo.oepc.line325.yml false(unreach-call) 17.66 10.92 None safe012_rmo.oepc.line344.yml false(unreach-call) 15.89 10.21 None safe012_rmo.oepc.line345.yml false(unreach-call) 15.65 9.63 None safe012_rmo.oepc.line472.yml false(unreach-call) 24.30 13.60 None safe012_rmo.oepc.line473.yml false(unreach-call) 15.62 10.56 None safe012_rmo.oepc.line487.yml OUT OF MEMORY 486.93 252.22 None safe012_rmo.oepc.line488.yml OUT OF MEMORY 323.61 173.14 None safe012_rmo.oepc.line500.yml false(unreach-call) 18.09 11.65 None safe012_rmo.oepc.line501.yml false(unreach-call) 17.22 10.31 None safe012_rmo.oepc.line587.yml true 154.93 89.51 None safe012_rmo.oepc.line588.yml OUT OF MEMORY 616.64 315.95 None safe012_rmo.oepc.line606.yml true 365.39 203.23 None safe012_rmo.oepc.line607.yml OUT OF MEMORY 364.66 188.71 None safe012_rmo.oepc.line621.yml OUT OF MEMORY 567.50 297.53 None safe012_rmo.oepc.line622.yml OUT OF MEMORY 404.36 213.55 None safe012_rmo.oepc.line809.yml true 18.19 10.45 None safe012_rmo.oepc.line810.yml true 18.79 10.66 None safe012_rmo.oepc.line837.yml true 17.74 10.37 None safe012_rmo.oepc.line838.yml true 13.83 9.19 None safe012_rmo.oepc.line865.yml true 27.10 15.06 None safe012_rmo.oepc.line866.yml true 27.83 15.45 None safe012_rmo.oepc.line899.yml OUT OF MEMORY 456.78 246.98 None safe012_rmo.oepc.line900.yml OUT OF MEMORY 550.68 286.47 None safe012_rmo.oepc.line914.yml OUT OF MEMORY 588.21 310.79 None safe012_rmo.oepc.line915.yml OUT OF MEMORY 511.37 281.41 None safe012_rmo.oepc.line962.yml OUT OF MEMORY 539.57 294.09 None safe012_rmo.oepc.line963.yml OUT OF MEMORY 474.96 266.36 None safe012_tso.line368.yml true 6.93 5.29 None safe012_tso.line369.yml true 7.34 5.22 None safe012_tso.line396.yml true 7.10 5.40 None safe012_tso.line397.yml true 7.61 5.07 None safe012_tso.line424.yml true 9.28 5.86 None safe012_tso.line425.yml true 8.68 5.83 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line709.yml true 22.04 14.06 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line710.yml true 23.25 15.14 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line737.yml true 23.02 14.19 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line738.yml true 22.75 14.73 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line765.yml true 36.76 23.19 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line766.yml true 35.00 22.83 None safe013_tso.line369.yml true 7.10 4.89 None safe013_tso.line370.yml true 7.41 4.99 None safe013_tso.line397.yml true 7.86 5.47 None safe013_tso.line398.yml true 7.64 5.11 None safe013_tso.line425.yml true 8.39 5.99 None safe013_tso.line426.yml true 8.72 5.71 None safe014_power.oepc.line1022.yml true 29.06 17.88 None safe014_power.oepc.line1023.yml true 27.93 17.95 None safe014_power.oepc.line1056.yml OUT OF MEMORY 451.35 236.15 None safe014_power.oepc.line1057.yml OUT OF MEMORY 491.34 261.28 None safe014_power.oepc.line1071.yml OUT OF MEMORY 579.56 305.15 None safe014_power.oepc.line1072.yml OUT OF MEMORY 520.27 279.76 None safe014_power.oepc.line1119.yml OUT OF MEMORY 664.16 373.77 None safe014_power.oepc.line1120.yml OUT OF MEMORY 647.48 362.74 None safe014_power.oepc.line331.yml false(unreach-call) 19.15 11.82 None safe014_power.oepc.line332.yml false(unreach-call) 30.14 16.65 None safe014_power.oepc.line346.yml false(unreach-call) 19.41 11.96 None safe014_power.oepc.line347.yml false(unreach-call) 20.33 11.61 None ------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 85250.37 3638.05 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk08 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 ------------------------------------------------------------------------------------------------------------------------------------------- safe009_power.oepc.line818.yml true 550.19 301.99 None safe009_power.oepc.line819.yml OUT OF MEMORY 716.53 397.11 None safe009_power.oepc.line837.yml OUT OF MEMORY 719.31 374.35 None safe009_power.oepc.line838.yml OUT OF MEMORY 516.66 279.11 None safe009_power.oepc.line852.yml OUT OF MEMORY 600.75 321.40 None safe009_power.oepc.line853.yml OUT OF MEMORY 662.29 378.85 None safe009_power.opt.line1110.yml true 75.59 45.23 None safe009_power.opt.line1111.yml true 76.94 46.11 None safe009_power.opt.line1138.yml true 77.50 45.66 None safe009_power.opt.line1139.yml true 62.79 38.30 None safe009_power.opt.line1166.yml true 123.30 76.11 None safe009_power.opt.line1167.yml true 117.42 73.45 None safe009_power.opt.line1200.yml OUT OF MEMORY 637.14 353.16 None safe009_power.opt.line1201.yml OUT OF MEMORY 602.69 327.01 None safe009_power.opt.line1215.yml OUT OF MEMORY 841.57 477.95 None safe009_power.opt.line1216.yml TIMEOUT 902.94 501.66 None safe009_power.opt.line1263.yml TIMEOUT 901.49 506.11 None safe009_power.opt.line1264.yml TIMEOUT 901.18 503.28 None safe009_power.opt.line320.yml OUT OF MEMORY 521.23 283.25 None safe009_power.opt.line321.yml OUT OF MEMORY 561.64 308.02 None safe009_power.opt.line335.yml OUT OF MEMORY 373.51 206.14 None safe009_power.opt.line336.yml OUT OF MEMORY 632.75 341.86 None safe009_power.opt.line459.yml false(unreach-call) 72.27 44.88 None safe009_power.opt.line460.yml false(unreach-call) 67.24 40.20 None safe009_power.opt.line474.yml false(unreach-call) 68.64 43.87 None safe009_power.opt.line475.yml false(unreach-call) 68.92 42.73 None safe009_power.opt.line491.yml OUT OF MEMORY 498.78 284.93 None safe009_power.opt.line492.yml OUT OF MEMORY 504.02 281.49 None safe009_power.opt.line523.yml OUT OF MEMORY 772.66 417.94 None safe009_power.opt.line524.yml OUT OF MEMORY 513.92 304.35 None safe009_power.opt.line544.yml false(unreach-call) 72.30 44.12 None safe009_power.opt.line545.yml false(unreach-call) 67.54 41.05 None safe009_power.opt.line758.yml false(unreach-call) 69.46 43.77 None safe009_power.opt.line759.yml false(unreach-call) 72.32 45.26 None safe009_power.opt.line773.yml false(unreach-call) 189.87 120.43 None safe009_power.opt.line774.yml false(unreach-call) 176.22 111.51 None safe009_power.opt.line786.yml false(unreach-call) 71.34 45.43 None safe009_power.opt.line787.yml false(unreach-call) 73.15 45.05 None safe009_power.opt.line813.yml false(unreach-call) 71.77 43.83 None safe009_power.opt.line814.yml false(unreach-call) 71.02 44.36 None safe009_power.opt.line828.yml false(unreach-call) 70.44 42.82 None safe009_power.opt.line829.yml false(unreach-call) 70.53 42.44 None safe009_power.opt.line909.yml OUT OF MEMORY 676.35 378.28 None safe009_power.opt.line910.yml TIMEOUT 903.27 497.58 None safe009_power.opt.line924.yml OUT OF MEMORY 897.47 506.98 None safe009_power.opt.line925.yml TIMEOUT 920.73 508.41 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line357.yml true 7.93 5.32 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line358.yml true 8.61 5.53 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line385.yml true 7.41 5.36 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line386.yml true 9.21 5.85 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line413.yml true 8.37 5.77 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line414.yml true 8.65 5.86 None safe009_rmo.oepc.line1010.yml OUT OF MEMORY 813.53 446.99 None safe009_rmo.oepc.line1011.yml OUT OF MEMORY 796.75 435.67 None safe009_rmo.oepc.line1059.yml OUT OF MEMORY 816.60 488.12 None safe009_rmo.oepc.line1060.yml OUT OF MEMORY 874.81 540.77 None safe009_rmo.oepc.line1072.yml OUT OF MEMORY 785.23 476.03 None safe009_rmo.oepc.line1073.yml TIMEOUT 903.54 550.22 None safe009_rmo.oepc.line1092.yml OUT OF MEMORY 878.44 538.91 None safe009_rmo.oepc.line1093.yml TIMEOUT 902.17 544.40 None safe009_rmo.oepc.line1222.yml OUT OF MEMORY 885.47 581.56 None safe009_rmo.oepc.line1223.yml TIMEOUT 902.12 548.84 None safe009_rmo.oepc.line1244.yml OUT OF MEMORY 885.03 548.70 None safe009_rmo.oepc.line1245.yml TIMEOUT 902.54 549.39 None safe009_rmo.oepc.line1259.yml TIMEOUT 900.98 563.04 None safe009_rmo.oepc.line1260.yml TIMEOUT 902.38 579.82 None safe009_rmo.oepc.line1272.yml OUT OF MEMORY 883.78 565.87 None safe009_rmo.oepc.line1273.yml OUT OF MEMORY 899.06 562.54 None safe009_rmo.oepc.line307.yml false(unreach-call) 34.57 21.24 None safe009_rmo.oepc.line308.yml false(unreach-call) 40.39 24.18 None safe009_rmo.oepc.line320.yml false(unreach-call) 34.29 21.20 None safe009_rmo.oepc.line321.yml false(unreach-call) 40.26 24.36 None safe009_rmo.oepc.line340.yml false(unreach-call) 33.02 20.79 None safe009_rmo.oepc.line341.yml false(unreach-call) 34.58 22.32 None safe009_rmo.oepc.line468.yml false(unreach-call) 42.71 25.18 None safe009_rmo.oepc.line469.yml false(unreach-call) 35.26 21.50 None safe009_rmo.oepc.line483.yml OUT OF MEMORY 674.61 369.56 None safe009_rmo.oepc.line484.yml OUT OF MEMORY 855.64 459.26 None safe009_rmo.oepc.line496.yml false(unreach-call) 34.57 21.49 None safe009_rmo.oepc.line497.yml false(unreach-call) 33.64 20.79 None safe009_rmo.oepc.line553.yml false(unreach-call) 34.85 21.44 None safe009_rmo.oepc.line554.yml false(unreach-call) 36.15 21.94 None safe009_rmo.oepc.line572.yml false(unreach-call) 37.11 24.09 None safe009_rmo.oepc.line573.yml false(unreach-call) 36.76 23.52 None safe009_rmo.oepc.line587.yml false(unreach-call) 36.91 22.20 None safe009_rmo.oepc.line588.yml false(unreach-call) 35.79 21.73 None safe009_rmo.oepc.line658.yml OUT OF MEMORY 706.82 380.08 None safe009_rmo.oepc.line659.yml OUT OF MEMORY 753.94 417.42 None safe009_rmo.oepc.line677.yml OUT OF MEMORY 533.40 285.45 None safe009_rmo.oepc.line678.yml OUT OF MEMORY 555.14 297.13 None safe009_rmo.oepc.line692.yml OUT OF MEMORY 474.85 268.62 None safe009_rmo.oepc.line693.yml TIMEOUT 908.92 487.62 None safe009_rmo.oepc.line905.yml true 31.01 19.32 None safe009_rmo.oepc.line906.yml true 30.11 18.80 None safe009_rmo.oepc.line933.yml true 33.62 21.69 None safe009_rmo.oepc.line934.yml true 32.69 20.54 None safe009_rmo.oepc.line961.yml true 51.18 32.51 None safe009_rmo.oepc.line962.yml true 51.33 31.97 None safe009_rmo.oepc.line995.yml OUT OF MEMORY 553.08 303.32 None safe009_rmo.oepc.line996.yml OUT OF MEMORY 461.41 251.89 None safe009_rmo.opt.line1027.yml OUT OF MEMORY 470.54 272.16 None safe009_rmo.opt.line1028.yml OUT OF MEMORY 497.23 270.27 None safe009_rmo.opt.line1042.yml OUT OF MEMORY 837.82 458.03 None safe009_rmo.opt.line1043.yml OUT OF MEMORY 508.75 295.45 None safe009_rmo.opt.line1090.yml TIMEOUT 901.78 543.18 None safe009_rmo.opt.line1091.yml TIMEOUT 901.91 543.26 None safe009_rmo.opt.line288.yml false(unreach-call) 40.64 27.36 None safe009_rmo.opt.line289.yml false(unreach-call) 41.96 26.30 None safe009_rmo.opt.line307.yml false(unreach-call) 41.13 26.49 None safe009_rmo.opt.line308.yml false(unreach-call) 42.01 26.02 None safe009_rmo.opt.line322.yml false(unreach-call) 41.67 26.55 None safe009_rmo.opt.line323.yml false(unreach-call) 41.94 26.46 None safe009_rmo.opt.line424.yml false(unreach-call) 41.56 25.76 None safe009_rmo.opt.line425.yml false(unreach-call) 44.62 27.96 None safe009_rmo.opt.line437.yml false(unreach-call) 43.14 26.17 None safe009_rmo.opt.line438.yml false(unreach-call) 43.83 28.64 None safe009_rmo.opt.line457.yml false(unreach-call) 42.58 28.10 None safe009_rmo.opt.line458.yml false(unreach-call) 42.74 26.74 None safe009_rmo.opt.line585.yml false(unreach-call) 43.37 27.61 None safe009_rmo.opt.line586.yml false(unreach-call) 43.91 28.04 None safe009_rmo.opt.line600.yml false(unreach-call) 94.54 61.51 None safe009_rmo.opt.line601.yml false(unreach-call) 91.76 58.39 None safe009_rmo.opt.line613.yml false(unreach-call) 43.91 27.21 None safe009_rmo.opt.line614.yml false(unreach-call) 45.63 27.76 None safe009_rmo.opt.line640.yml false(unreach-call) 44.69 27.50 None safe009_rmo.opt.line641.yml false(unreach-call) 42.42 26.29 None safe009_rmo.opt.line655.yml false(unreach-call) 46.49 28.26 None safe009_rmo.opt.line656.yml false(unreach-call) 45.52 28.70 None safe009_rmo.opt.line736.yml OUT OF MEMORY 677.58 382.22 None safe009_rmo.opt.line737.yml TIMEOUT 901.37 500.71 None safe009_rmo.opt.line751.yml OUT OF MEMORY 381.84 227.83 None safe009_rmo.opt.line752.yml TIMEOUT 903.45 542.88 None safe009_rmo.opt.line937.yml true 38.86 25.80 None safe009_rmo.opt.line938.yml true 39.30 25.46 None safe009_rmo.opt.line965.yml true 37.94 23.26 None safe009_rmo.opt.line966.yml true 38.89 25.20 None safe009_rmo.opt.line993.yml true 62.17 38.94 None safe009_rmo.opt.line994.yml true 65.47 45.72 None safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line516.yml true 6.67 4.43 None safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line517.yml true 7.16 4.76 None safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line544.yml true 7.77 4.75 None safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line545.yml true 7.60 5.03 None safe010_tso.line324.yml true 6.10 4.08 None safe010_tso.line325.yml true 6.06 4.42 None safe010_tso.line352.yml true 6.17 4.50 None safe010_tso.line353.yml true 6.44 4.55 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line608.yml true 17.43 10.33 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line609.yml true 16.78 10.01 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line636.yml true 13.82 8.94 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line637.yml true 14.62 8.80 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line664.yml true 19.10 12.47 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line665.yml true 19.76 12.62 None safe011_power.opt_pso.opt.line608.yml true 17.34 10.07 None safe011_power.opt_pso.opt.line609.yml true 13.65 8.45 None safe011_power.opt_pso.opt.line636.yml true 14.74 8.94 None safe011_power.opt_pso.opt.line637.yml true 12.85 8.18 None safe011_power.opt_pso.opt.line664.yml true 22.06 13.22 None safe011_power.opt_pso.opt.line665.yml true 19.04 11.41 None safe011_tso.line362.yml true 7.25 5.63 None safe011_tso.line363.yml true 7.73 5.67 None safe011_tso.line390.yml true 7.40 5.46 None safe011_tso.line391.yml true 7.76 5.09 None safe011_tso.line418.yml true 9.04 5.63 None safe011_tso.line419.yml true 8.25 5.62 None safe012_power.oepc.line1025.yml true 24.09 14.88 None safe012_power.oepc.line1026.yml true 27.33 16.79 None safe012_power.oepc.line1059.yml OUT OF MEMORY 510.12 269.99 None safe012_power.oepc.line1060.yml OUT OF MEMORY 471.92 248.11 None safe012_power.oepc.line1074.yml OUT OF MEMORY 549.79 294.35 None safe012_power.oepc.line1075.yml OUT OF MEMORY 488.12 271.82 None safe012_power.oepc.line1122.yml TIMEOUT 908.83 527.74 None safe012_power.oepc.line1123.yml OUT OF MEMORY 829.22 488.25 None safe012_power.oepc.line333.yml false(unreach-call) 19.17 12.07 None safe012_power.oepc.line334.yml false(unreach-call) 18.56 11.92 None safe012_power.oepc.line348.yml false(unreach-call) 21.05 12.33 None safe012_power.oepc.line349.yml false(unreach-call) 20.32 12.53 None safe012_power.oepc.line365.yml OUT OF MEMORY 429.10 235.80 None safe012_power.oepc.line366.yml OUT OF MEMORY 345.79 189.97 None safe012_power.oepc.line397.yml OUT OF MEMORY 460.63 246.02 None safe012_power.oepc.line398.yml OUT OF MEMORY 170.35 98.39 None safe012_power.oepc.line418.yml false(unreach-call) 25.19 14.44 None safe012_power.oepc.line419.yml false(unreach-call) 19.06 11.95 None safe012_power.oepc.line632.yml false(unreach-call) 23.22 13.67 None safe012_power.oepc.line633.yml false(unreach-call) 19.15 12.03 None safe012_power.oepc.line647.yml OUT OF MEMORY 392.13 210.46 None safe012_power.oepc.line648.yml OUT OF MEMORY 434.03 227.98 None safe012_power.oepc.line660.yml false(unreach-call) 18.24 12.41 None safe012_power.oepc.line661.yml false(unreach-call) 24.76 14.36 None safe012_power.oepc.line747.yml true 139.97 80.82 None safe012_power.oepc.line748.yml OUT OF MEMORY 473.92 262.73 None safe012_power.oepc.line766.yml true 433.53 231.57 None safe012_power.oepc.line767.yml OUT OF MEMORY 350.56 184.94 None safe012_power.oepc.line781.yml OUT OF MEMORY 599.42 318.82 None safe012_power.oepc.line782.yml OUT OF MEMORY 369.99 193.78 None safe012_power.oepc.line969.yml true 17.12 10.89 None safe012_power.oepc.line970.yml true 17.81 11.14 None safe012_power.oepc.line997.yml true 19.85 12.75 None safe012_power.oepc.line998.yml true 19.14 11.64 None safe012_power.opt.line1050.yml true 12.76 7.65 None safe012_power.opt.line1051.yml true 12.43 7.65 None safe012_power.opt.line1078.yml true 11.96 7.82 None safe012_power.opt.line1079.yml true 11.73 7.73 None safe012_power.opt.line1106.yml true 14.07 8.92 None safe012_power.opt.line1107.yml true 18.79 10.87 None safe012_power.opt.line1140.yml OUT OF MEMORY 466.41 260.13 None safe012_power.opt.line1141.yml OUT OF MEMORY 485.47 263.54 None safe012_power.opt.line1155.yml OUT OF MEMORY 408.24 235.58 None safe012_power.opt.line1156.yml OUT OF MEMORY 603.73 334.27 None safe012_power.opt.line1203.yml TIMEOUT 902.17 586.05 None safe012_power.opt.line1204.yml OUT OF MEMORY 134.11 90.88 None safe012_power.opt.line354.yml OUT OF MEMORY 263.67 210.05 None safe012_power.opt.line355.yml OUT OF MEMORY 105.15 80.66 None safe012_power.opt.line369.yml false(unreach-call) 19.09 11.43 None safe012_power.opt.line370.yml false(unreach-call) 27.33 15.10 None safe012_power.opt.line493.yml true 45.90 28.89 None safe012_power.opt.line494.yml OUT OF MEMORY 360.10 204.12 None safe012_power.opt.line508.yml true 120.55 70.20 None safe012_power.opt.line509.yml OUT OF MEMORY 644.58 347.63 None safe012_power.opt.line525.yml OUT OF MEMORY 168.14 114.53 None safe012_power.opt.line526.yml OUT OF MEMORY 267.89 192.65 None safe012_power.opt.line557.yml true 152.83 98.53 None safe012_power.opt.line558.yml OUT OF MEMORY 325.69 188.47 None safe012_power.opt.line578.yml true 294.80 163.87 None safe012_power.opt.line579.yml OUT OF MEMORY 521.02 291.85 None safe012_power.opt.line792.yml OUT OF MEMORY 421.73 236.67 None safe012_power.opt.line793.yml OUT OF MEMORY 641.45 352.71 None safe012_power.opt.line807.yml OUT OF MEMORY 426.78 242.63 None safe012_power.opt.line808.yml OUT OF MEMORY 615.91 335.86 None safe012_power.opt.line820.yml OUT OF MEMORY 287.54 165.83 None safe012_power.opt.line821.yml OUT OF MEMORY 741.51 406.02 None safe012_power.opt.line847.yml OUT OF MEMORY 530.06 293.06 None safe012_power.opt.line848.yml TIMEOUT 912.38 491.25 None safe012_power.opt.line862.yml OUT OF MEMORY 520.05 303.75 None safe012_power.opt.line863.yml OUT OF MEMORY 750.78 409.99 None safe012_pso.oepc_pso.opt_rmo.opt.line708.yml true 21.20 13.61 None safe012_pso.oepc_pso.opt_rmo.opt.line709.yml true 20.98 13.77 None safe012_pso.oepc_pso.opt_rmo.opt.line736.yml true 22.82 14.13 None safe012_pso.oepc_pso.opt_rmo.opt.line737.yml true 21.58 13.39 None safe012_pso.oepc_pso.opt_rmo.opt.line764.yml true 31.35 20.33 None safe012_pso.oepc_pso.opt_rmo.opt.line765.yml true 31.36 19.83 None safe012_rmo.oepc.line311.yml false(unreach-call) 15.40 9.94 None safe012_rmo.oepc.line312.yml false(unreach-call) 15.73 10.18 None safe012_rmo.oepc.line324.yml false(unreach-call) 15.09 9.24 None safe012_rmo.oepc.line325.yml false(unreach-call) 15.00 9.84 None safe012_rmo.oepc.line344.yml false(unreach-call) 16.81 9.82 None safe012_rmo.oepc.line345.yml false(unreach-call) 15.91 9.61 None safe012_rmo.oepc.line472.yml false(unreach-call) 15.81 10.45 None safe012_rmo.oepc.line473.yml false(unreach-call) 16.36 9.71 None safe012_rmo.oepc.line487.yml OUT OF MEMORY 543.80 282.95 None safe012_rmo.oepc.line488.yml OUT OF MEMORY 248.23 134.00 None safe012_rmo.oepc.line500.yml false(unreach-call) 15.74 10.65 None safe012_rmo.oepc.line501.yml false(unreach-call) 15.39 9.64 None safe012_rmo.oepc.line587.yml true 140.45 81.73 None safe012_rmo.oepc.line588.yml OUT OF MEMORY 389.58 204.49 None safe012_rmo.oepc.line606.yml true 295.80 168.20 None safe012_rmo.oepc.line607.yml OUT OF MEMORY 462.30 244.49 None safe012_rmo.oepc.line621.yml OUT OF MEMORY 442.66 243.93 None safe012_rmo.oepc.line622.yml OUT OF MEMORY 317.03 167.04 None safe012_rmo.oepc.line809.yml true 14.48 9.35 None safe012_rmo.oepc.line810.yml true 14.10 9.54 None safe012_rmo.oepc.line837.yml true 15.10 9.47 None safe012_rmo.oepc.line838.yml true 20.30 11.40 None safe012_rmo.oepc.line865.yml true 19.31 12.25 None safe012_rmo.oepc.line866.yml true 19.72 12.71 None safe012_rmo.oepc.line899.yml OUT OF MEMORY 587.80 308.73 None safe012_rmo.oepc.line900.yml OUT OF MEMORY 604.02 313.40 None safe012_rmo.oepc.line914.yml OUT OF MEMORY 399.18 218.85 None safe012_rmo.oepc.line915.yml OUT OF MEMORY 671.78 362.28 None safe012_rmo.oepc.line962.yml OUT OF MEMORY 595.56 352.53 None safe012_rmo.oepc.line963.yml OUT OF MEMORY 450.54 257.86 None safe012_tso.line368.yml true 6.82 4.81 None safe012_tso.line369.yml true 7.38 5.00 None safe012_tso.line396.yml true 7.28 5.10 None safe012_tso.line397.yml true 7.91 5.24 None safe012_tso.line424.yml true 7.95 5.55 None safe012_tso.line425.yml true 9.30 5.72 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line709.yml true 19.76 13.32 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line710.yml true 19.34 12.39 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line737.yml true 20.65 13.06 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line738.yml true 21.62 13.21 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line765.yml true 31.15 21.17 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line766.yml true 31.65 19.74 None safe013_tso.line369.yml true 8.13 5.62 None safe013_tso.line370.yml true 7.11 4.89 None safe013_tso.line397.yml true 10.31 6.20 None safe013_tso.line398.yml true 7.70 5.32 None safe013_tso.line425.yml true 9.20 5.98 None safe013_tso.line426.yml true 9.40 6.51 None safe014_power.oepc.line1022.yml true 24.80 15.06 None safe014_power.oepc.line1023.yml true 25.98 17.10 None safe014_power.oepc.line1056.yml OUT OF MEMORY 572.89 297.69 None safe014_power.oepc.line1057.yml OUT OF MEMORY 556.38 291.17 None safe014_power.oepc.line1071.yml OUT OF MEMORY 476.56 256.18 None safe014_power.oepc.line1072.yml OUT OF MEMORY 425.36 238.22 None safe014_power.oepc.line1119.yml OUT OF MEMORY 751.10 462.30 None safe014_power.oepc.line1120.yml OUT OF MEMORY 750.06 473.15 None safe014_power.oepc.line331.yml false(unreach-call) 19.22 13.05 None safe014_power.oepc.line332.yml false(unreach-call) 23.28 13.64 None safe014_power.oepc.line346.yml false(unreach-call) 18.74 12.28 None safe014_power.oepc.line347.yml false(unreach-call) 23.54 13.70 None ------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 79518.55 3520.15 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk08 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 ------------------------------------------------------------------------------------------------------------------------------------------- safe009_power.oepc.line818.yml OUT OF MEMORY 845.54 448.07 None safe009_power.oepc.line819.yml TIMEOUT 909.72 488.21 None safe009_power.oepc.line837.yml TIMEOUT 904.78 467.58 None safe009_power.oepc.line838.yml OUT OF MEMORY 722.32 378.94 None safe009_power.oepc.line852.yml OUT OF MEMORY 816.97 427.37 None safe009_power.oepc.line853.yml TIMEOUT 904.77 481.25 None safe009_power.opt.line1110.yml true 130.90 78.50 None safe009_power.opt.line1111.yml true 134.38 80.04 None safe009_power.opt.line1138.yml true 134.43 80.24 None safe009_power.opt.line1139.yml true 107.74 66.70 None safe009_power.opt.line1166.yml true 203.82 129.80 None safe009_power.opt.line1167.yml true 202.65 126.81 None safe009_power.opt.line1200.yml OUT OF MEMORY 494.86 259.95 None safe009_power.opt.line1201.yml OUT OF MEMORY 483.69 247.68 None safe009_power.opt.line1215.yml OUT OF MEMORY 486.66 250.32 None safe009_power.opt.line1216.yml OUT OF MEMORY 656.94 337.62 None safe009_power.opt.line1263.yml OUT OF MEMORY 649.27 334.82 None safe009_power.opt.line1264.yml OUT OF MEMORY 649.91 336.29 None safe009_power.opt.line320.yml OUT OF MEMORY 301.51 169.44 None safe009_power.opt.line321.yml OUT OF MEMORY 416.85 232.75 None safe009_power.opt.line335.yml OUT OF MEMORY 276.62 153.01 None safe009_power.opt.line336.yml OUT OF MEMORY 584.08 312.47 None safe009_power.opt.line459.yml false(unreach-call) 115.70 73.45 None safe009_power.opt.line460.yml false(unreach-call) 115.54 71.34 None safe009_power.opt.line474.yml false(unreach-call) 148.94 96.04 None safe009_power.opt.line475.yml false(unreach-call) 145.80 91.19 None safe009_power.opt.line491.yml OUT OF MEMORY 566.06 302.66 None safe009_power.opt.line492.yml OUT OF MEMORY 394.26 218.59 None safe009_power.opt.line523.yml OUT OF MEMORY 317.27 179.40 None safe009_power.opt.line524.yml OUT OF MEMORY 606.24 327.95 None safe009_power.opt.line544.yml OUT OF MEMORY 359.54 214.36 None safe009_power.opt.line545.yml false(unreach-call) 820.89 480.16 None safe009_power.opt.line758.yml OUT OF MEMORY 433.61 251.70 None safe009_power.opt.line759.yml OUT OF MEMORY 402.72 239.74 None safe009_power.opt.line773.yml OUT OF MEMORY 466.91 272.03 None safe009_power.opt.line774.yml OUT OF MEMORY 423.80 245.91 None safe009_power.opt.line786.yml OUT OF MEMORY 554.90 308.85 None safe009_power.opt.line787.yml OUT OF MEMORY 403.23 251.02 None safe009_power.opt.line813.yml OUT OF MEMORY 266.18 161.57 None safe009_power.opt.line814.yml OUT OF MEMORY 221.34 137.21 None safe009_power.opt.line828.yml OUT OF MEMORY 444.27 253.28 None safe009_power.opt.line829.yml OUT OF MEMORY 418.18 242.26 None safe009_power.opt.line909.yml TIMEOUT 907.15 483.41 None safe009_power.opt.line910.yml OUT OF MEMORY 588.98 321.83 None safe009_power.opt.line924.yml OUT OF MEMORY 301.80 200.04 None safe009_power.opt.line925.yml OUT OF MEMORY 449.86 248.90 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line357.yml true 9.18 5.70 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line358.yml true 8.28 5.89 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line385.yml true 8.42 5.60 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line386.yml true 8.82 5.80 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line413.yml true 9.94 6.62 None safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.line414.yml true 10.05 6.47 None safe009_rmo.oepc.line1010.yml OUT OF MEMORY 298.32 174.81 None safe009_rmo.oepc.line1011.yml OUT OF MEMORY 642.75 378.46 None safe009_rmo.oepc.line1059.yml OUT OF MEMORY 265.74 156.23 None safe009_rmo.oepc.line1060.yml OUT OF MEMORY 275.23 162.32 None safe009_rmo.oepc.line1072.yml OUT OF MEMORY 466.28 293.13 None safe009_rmo.oepc.line1073.yml OUT OF MEMORY 426.87 252.78 None safe009_rmo.oepc.line1092.yml OUT OF MEMORY 320.63 182.89 None safe009_rmo.oepc.line1093.yml OUT OF MEMORY 333.78 201.68 None safe009_rmo.oepc.line1222.yml OUT OF MEMORY 254.51 148.39 None safe009_rmo.oepc.line1223.yml OUT OF MEMORY 612.89 379.33 None safe009_rmo.oepc.line1244.yml OUT OF MEMORY 346.83 212.71 None safe009_rmo.oepc.line1245.yml OUT OF MEMORY 287.72 168.44 None safe009_rmo.oepc.line1259.yml OUT OF MEMORY 627.99 388.51 None safe009_rmo.oepc.line1260.yml OUT OF MEMORY 433.58 256.80 None safe009_rmo.oepc.line1272.yml OUT OF MEMORY 328.70 201.75 None safe009_rmo.oepc.line1273.yml OUT OF MEMORY 312.35 177.57 None safe009_rmo.oepc.line307.yml false(unreach-call) 52.49 33.61 None safe009_rmo.oepc.line308.yml false(unreach-call) 62.53 37.67 None safe009_rmo.oepc.line320.yml false(unreach-call) 51.91 32.73 None safe009_rmo.oepc.line321.yml false(unreach-call) 53.01 33.57 None safe009_rmo.oepc.line340.yml false(unreach-call) 52.06 33.84 None safe009_rmo.oepc.line341.yml false(unreach-call) 54.51 33.67 None safe009_rmo.oepc.line468.yml false(unreach-call) 62.80 37.62 None safe009_rmo.oepc.line469.yml false(unreach-call) 52.22 32.22 None safe009_rmo.oepc.line483.yml OUT OF MEMORY 595.40 320.39 None safe009_rmo.oepc.line484.yml TIMEOUT 900.68 474.99 None safe009_rmo.oepc.line496.yml false(unreach-call) 52.02 35.72 None safe009_rmo.oepc.line497.yml false(unreach-call) 50.90 31.91 None safe009_rmo.oepc.line553.yml false(unreach-call) 52.02 31.92 None safe009_rmo.oepc.line554.yml false(unreach-call) 65.93 39.23 None safe009_rmo.oepc.line572.yml false(unreach-call) 55.77 35.45 None safe009_rmo.oepc.line573.yml false(unreach-call) 54.63 35.10 None safe009_rmo.oepc.line587.yml false(unreach-call) 55.05 35.29 None safe009_rmo.oepc.line588.yml false(unreach-call) 56.66 34.79 None safe009_rmo.oepc.line658.yml OUT OF MEMORY 585.39 305.58 None safe009_rmo.oepc.line659.yml TIMEOUT 905.26 480.90 None safe009_rmo.oepc.line677.yml TIMEOUT 917.99 478.89 None safe009_rmo.oepc.line678.yml TIMEOUT 921.42 494.03 None safe009_rmo.oepc.line692.yml OUT OF MEMORY 699.62 369.35 None safe009_rmo.oepc.line693.yml TIMEOUT 921.35 504.70 None safe009_rmo.oepc.line905.yml true 50.61 32.06 None safe009_rmo.oepc.line906.yml true 52.61 33.03 None safe009_rmo.oepc.line933.yml true 65.33 38.79 None safe009_rmo.oepc.line934.yml true 63.02 38.70 None safe009_rmo.oepc.line961.yml true 87.95 56.65 None safe009_rmo.oepc.line962.yml true 92.03 57.69 None safe009_rmo.oepc.line995.yml OUT OF MEMORY 320.79 181.08 None safe009_rmo.oepc.line996.yml OUT OF MEMORY 496.05 273.43 None safe009_rmo.opt.line1027.yml OUT OF MEMORY 269.63 157.50 None safe009_rmo.opt.line1028.yml OUT OF MEMORY 290.41 170.34 None safe009_rmo.opt.line1042.yml OUT OF MEMORY 281.40 167.37 None safe009_rmo.opt.line1043.yml OUT OF MEMORY 293.33 175.82 None safe009_rmo.opt.line1090.yml OUT OF MEMORY 336.41 191.54 None safe009_rmo.opt.line1091.yml OUT OF MEMORY 278.77 163.84 None safe009_rmo.opt.line288.yml false(unreach-call) 63.65 40.18 None safe009_rmo.opt.line289.yml false(unreach-call) 64.48 40.11 None safe009_rmo.opt.line307.yml false(unreach-call) 62.47 38.75 None safe009_rmo.opt.line308.yml false(unreach-call) 63.59 40.55 None safe009_rmo.opt.line322.yml false(unreach-call) 62.41 38.98 None safe009_rmo.opt.line323.yml false(unreach-call) 66.51 40.97 None safe009_rmo.opt.line424.yml false(unreach-call) 63.21 39.06 None safe009_rmo.opt.line425.yml false(unreach-call) 69.97 44.51 None safe009_rmo.opt.line437.yml false(unreach-call) 64.32 40.20 None safe009_rmo.opt.line438.yml false(unreach-call) 66.18 42.16 None safe009_rmo.opt.line457.yml false(unreach-call) 81.66 48.14 None safe009_rmo.opt.line458.yml false(unreach-call) 69.88 42.30 None safe009_rmo.opt.line585.yml false(unreach-call) 65.82 40.52 None safe009_rmo.opt.line586.yml false(unreach-call) 67.63 41.74 None safe009_rmo.opt.line600.yml false(unreach-call) 158.30 102.29 None safe009_rmo.opt.line601.yml false(unreach-call) 170.79 110.47 None safe009_rmo.opt.line613.yml false(unreach-call) 68.59 44.05 None safe009_rmo.opt.line614.yml false(unreach-call) 81.37 48.15 None safe009_rmo.opt.line640.yml false(unreach-call) 68.43 42.29 None safe009_rmo.opt.line641.yml false(unreach-call) 67.47 41.80 None safe009_rmo.opt.line655.yml false(unreach-call) 68.20 40.29 None safe009_rmo.opt.line656.yml false(unreach-call) 70.14 43.65 None safe009_rmo.opt.line736.yml TIMEOUT 921.27 491.27 None safe009_rmo.opt.line737.yml TIMEOUT 911.99 479.60 None safe009_rmo.opt.line751.yml TIMEOUT 904.51 485.06 None safe009_rmo.opt.line752.yml OUT OF MEMORY 385.02 213.18 None safe009_rmo.opt.line937.yml true 73.73 44.90 None safe009_rmo.opt.line938.yml true 58.41 36.11 None safe009_rmo.opt.line965.yml true 61.01 40.37 None safe009_rmo.opt.line966.yml true 60.48 38.55 None safe009_rmo.opt.line993.yml true 125.73 76.18 None safe009_rmo.opt.line994.yml true 126.32 77.50 None safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line516.yml true 6.61 4.42 None safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line517.yml true 7.00 4.57 None safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line544.yml true 7.29 4.84 None safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line545.yml true 7.39 4.91 None safe010_tso.line324.yml true 6.32 4.27 None safe010_tso.line325.yml true 7.70 4.95 None safe010_tso.line352.yml true 6.03 4.36 None safe010_tso.line353.yml true 6.16 4.32 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line608.yml true 17.23 11.06 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line609.yml true 17.92 11.70 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line636.yml true 24.58 14.38 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line637.yml true 20.45 13.59 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line664.yml true 27.29 17.63 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.line665.yml true 26.74 18.08 None safe011_power.opt_pso.opt.line608.yml true 18.91 11.58 None safe011_power.opt_pso.opt.line609.yml true 17.16 10.75 None safe011_power.opt_pso.opt.line636.yml true 17.78 11.50 None safe011_power.opt_pso.opt.line637.yml true 18.08 11.53 None safe011_power.opt_pso.opt.line664.yml true 34.69 19.80 None safe011_power.opt_pso.opt.line665.yml true 25.77 17.13 None safe011_tso.line362.yml true 8.28 5.67 None safe011_tso.line363.yml true 8.01 5.31 None safe011_tso.line390.yml true 8.04 5.87 None safe011_tso.line391.yml true 8.17 6.65 None safe011_tso.line418.yml true 9.70 6.39 None safe011_tso.line419.yml true 10.25 6.68 None safe012_power.oepc.line1025.yml true 35.66 22.46 None safe012_power.oepc.line1026.yml true 37.81 23.15 None safe012_power.oepc.line1059.yml OUT OF MEMORY 629.51 331.52 None safe012_power.oepc.line1060.yml OUT OF MEMORY 652.58 348.89 None safe012_power.oepc.line1074.yml OUT OF MEMORY 304.40 181.05 None safe012_power.oepc.line1075.yml OUT OF MEMORY 577.30 320.10 None safe012_power.oepc.line1122.yml TIMEOUT 919.22 530.66 None safe012_power.oepc.line1123.yml OUT OF MEMORY 728.18 439.17 None safe012_power.oepc.line333.yml false(unreach-call) 25.81 15.95 None safe012_power.oepc.line334.yml false(unreach-call) 24.26 15.42 None safe012_power.oepc.line348.yml false(unreach-call) 32.84 19.86 None safe012_power.oepc.line349.yml false(unreach-call) 33.89 19.64 None safe012_power.oepc.line365.yml OUT OF MEMORY 442.08 227.53 None safe012_power.oepc.line366.yml OUT OF MEMORY 377.60 198.35 None safe012_power.oepc.line397.yml OUT OF MEMORY 683.70 352.15 None safe012_power.oepc.line398.yml OUT OF MEMORY 194.63 105.70 None safe012_power.oepc.line418.yml false(unreach-call) 26.02 15.97 None safe012_power.oepc.line419.yml false(unreach-call) 29.28 17.23 None safe012_power.oepc.line632.yml false(unreach-call) 33.01 19.15 None safe012_power.oepc.line633.yml false(unreach-call) 25.52 15.82 None safe012_power.oepc.line647.yml OUT OF MEMORY 592.28 302.91 None safe012_power.oepc.line648.yml OUT OF MEMORY 452.86 232.61 None safe012_power.oepc.line660.yml false(unreach-call) 30.97 18.34 None safe012_power.oepc.line661.yml false(unreach-call) 25.62 16.46 None safe012_power.oepc.line747.yml true 219.46 129.71 None safe012_power.oepc.line748.yml OUT OF MEMORY 443.99 229.34 None safe012_power.oepc.line766.yml OUT OF MEMORY 305.54 158.26 None safe012_power.oepc.line767.yml OUT OF MEMORY 405.16 208.52 None safe012_power.oepc.line781.yml OUT OF MEMORY 434.67 228.84 None safe012_power.oepc.line782.yml OUT OF MEMORY 255.60 136.70 None safe012_power.oepc.line969.yml true 21.78 14.64 None safe012_power.oepc.line970.yml true 23.46 17.23 None safe012_power.oepc.line997.yml true 24.68 17.04 None safe012_power.oepc.line998.yml true 24.98 16.23 None safe012_power.opt.line1050.yml true 13.84 8.86 None safe012_power.opt.line1051.yml true 16.96 9.91 None safe012_power.opt.line1078.yml true 14.38 9.04 None safe012_power.opt.line1079.yml true 17.51 10.35 None safe012_power.opt.line1106.yml true 17.32 11.87 None safe012_power.opt.line1107.yml true 21.08 12.56 None safe012_power.opt.line1140.yml OUT OF MEMORY 287.61 161.75 None safe012_power.opt.line1141.yml OUT OF MEMORY 665.23 351.96 None safe012_power.opt.line1155.yml TIMEOUT 913.67 503.61 None safe012_power.opt.line1156.yml OUT OF MEMORY 611.50 363.76 None safe012_power.opt.line1203.yml OUT OF MEMORY 247.03 160.84 None safe012_power.opt.line1204.yml OUT OF MEMORY 198.44 126.09 None safe012_power.opt.line354.yml OUT OF MEMORY 108.43 77.02 None safe012_power.opt.line355.yml OUT OF MEMORY 155.24 115.10 None safe012_power.opt.line369.yml false(unreach-call) 26.98 15.92 None safe012_power.opt.line370.yml false(unreach-call) 33.74 19.08 None safe012_power.opt.line493.yml true 78.97 49.94 None safe012_power.opt.line494.yml TIMEOUT 913.95 480.33 None safe012_power.opt.line508.yml true 216.79 129.51 None safe012_power.opt.line509.yml OUT OF MEMORY 305.20 178.05 None safe012_power.opt.line525.yml OUT OF MEMORY 425.18 274.13 None safe012_power.opt.line526.yml OUT OF MEMORY 272.91 176.07 None safe012_power.opt.line557.yml true 389.90 247.17 None safe012_power.opt.line558.yml OUT OF MEMORY 305.41 165.22 None safe012_power.opt.line578.yml OUT OF MEMORY 512.75 268.84 None safe012_power.opt.line579.yml TIMEOUT 919.17 484.67 None safe012_power.opt.line792.yml OUT OF MEMORY 774.54 402.86 None safe012_power.opt.line793.yml OUT OF MEMORY 714.65 369.88 None safe012_power.opt.line807.yml OUT OF MEMORY 760.90 398.84 None safe012_power.opt.line808.yml OUT OF MEMORY 231.10 127.42 None safe012_power.opt.line820.yml OUT OF MEMORY 513.34 271.84 None safe012_power.opt.line821.yml OUT OF MEMORY 637.37 336.23 None safe012_power.opt.line847.yml OUT OF MEMORY 139.14 79.91 None safe012_power.opt.line848.yml OUT OF MEMORY 611.33 324.44 None safe012_power.opt.line862.yml OUT OF MEMORY 531.48 284.34 None safe012_power.opt.line863.yml OUT OF MEMORY 323.39 178.15 None safe012_pso.oepc_pso.opt_rmo.opt.line708.yml true 31.49 19.56 None safe012_pso.oepc_pso.opt_rmo.opt.line709.yml true 32.92 20.38 None safe012_pso.oepc_pso.opt_rmo.opt.line736.yml true 31.36 20.68 None safe012_pso.oepc_pso.opt_rmo.opt.line737.yml true 33.36 21.05 None safe012_pso.oepc_pso.opt_rmo.opt.line764.yml true 48.21 30.90 None safe012_pso.oepc_pso.opt_rmo.opt.line765.yml true 50.47 35.17 None safe012_rmo.oepc.line311.yml false(unreach-call) 19.69 13.01 None safe012_rmo.oepc.line312.yml false(unreach-call) 19.64 13.10 None safe012_rmo.oepc.line324.yml false(unreach-call) 21.01 12.60 None safe012_rmo.oepc.line325.yml false(unreach-call) 22.59 13.98 None safe012_rmo.oepc.line344.yml false(unreach-call) 21.89 13.64 None safe012_rmo.oepc.line345.yml false(unreach-call) 19.77 12.13 None safe012_rmo.oepc.line472.yml false(unreach-call) 19.41 13.15 None safe012_rmo.oepc.line473.yml false(unreach-call) 20.44 12.87 None safe012_rmo.oepc.line487.yml OUT OF MEMORY 210.52 109.84 None safe012_rmo.oepc.line488.yml OUT OF MEMORY 321.21 170.34 None safe012_rmo.oepc.line500.yml false(unreach-call) 25.38 14.64 None safe012_rmo.oepc.line501.yml false(unreach-call) 21.64 14.19 None safe012_rmo.oepc.line587.yml true 303.77 175.77 None safe012_rmo.oepc.line588.yml OUT OF MEMORY 380.35 195.87 None safe012_rmo.oepc.line606.yml OUT OF MEMORY 468.90 243.68 None safe012_rmo.oepc.line607.yml OUT OF MEMORY 377.58 196.51 None safe012_rmo.oepc.line621.yml OUT OF MEMORY 622.43 320.24 None safe012_rmo.oepc.line622.yml OUT OF MEMORY 345.30 177.76 None safe012_rmo.oepc.line809.yml true 19.25 11.93 None safe012_rmo.oepc.line810.yml true 19.66 11.92 None safe012_rmo.oepc.line837.yml true 20.21 12.77 None safe012_rmo.oepc.line838.yml true 20.56 12.13 None safe012_rmo.oepc.line865.yml true 25.91 16.20 None safe012_rmo.oepc.line866.yml true 26.27 16.23 None safe012_rmo.oepc.line899.yml OUT OF MEMORY 724.58 371.76 None safe012_rmo.oepc.line900.yml OUT OF MEMORY 635.82 328.84 None safe012_rmo.oepc.line914.yml OUT OF MEMORY 694.45 365.52 None safe012_rmo.oepc.line915.yml OUT OF MEMORY 686.40 367.23 None safe012_rmo.oepc.line962.yml OUT OF MEMORY 538.95 311.41 None safe012_rmo.oepc.line963.yml OUT OF MEMORY 568.27 318.12 None safe012_tso.line368.yml true 7.31 5.14 None safe012_tso.line369.yml true 8.27 5.33 None safe012_tso.line396.yml true 7.89 5.46 None safe012_tso.line397.yml true 8.55 5.80 None safe012_tso.line424.yml true 9.54 6.55 None safe012_tso.line425.yml true 13.49 7.82 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line709.yml true 31.00 20.86 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line710.yml true 30.98 22.27 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line737.yml true 40.43 24.28 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line738.yml true 30.95 20.65 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line765.yml true 48.74 32.80 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line766.yml true 50.88 33.78 None safe013_tso.line369.yml true 11.04 6.86 None safe013_tso.line370.yml true 10.68 6.55 None safe013_tso.line397.yml true 8.33 5.53 None safe013_tso.line398.yml true 10.86 6.63 None safe013_tso.line425.yml true 10.24 6.96 None safe013_tso.line426.yml true 11.35 6.71 None safe014_power.oepc.line1022.yml true 42.51 25.58 None safe014_power.oepc.line1023.yml true 33.89 22.73 None safe014_power.oepc.line1056.yml OUT OF MEMORY 560.24 296.82 None safe014_power.oepc.line1057.yml OUT OF MEMORY 579.48 303.02 None safe014_power.oepc.line1071.yml OUT OF MEMORY 284.66 174.93 None safe014_power.oepc.line1072.yml OUT OF MEMORY 673.34 360.57 None safe014_power.oepc.line1119.yml OUT OF MEMORY 798.57 490.11 None safe014_power.oepc.line1120.yml OUT OF MEMORY 244.06 154.43 None safe014_power.oepc.line331.yml false(unreach-call) 24.36 16.42 None safe014_power.oepc.line332.yml false(unreach-call) 24.81 16.57 None safe014_power.oepc.line346.yml false(unreach-call) 24.59 16.12 None safe014_power.oepc.line347.yml false(unreach-call) 28.96 17.64 None ------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 76305.22 3316.10 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk08 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk08 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk08 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk08 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk08 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk08 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk08 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk08 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk08 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk08 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk08 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk08 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk08 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk08 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk08 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk08 Run set 19 of 19: skipped Statistics: 900 Files correct: 305 correct true: 305 correct false: 0 incorrect: 228 incorrect true: 0 incorrect false: 228 unknown: 367 Score: -3038 (max: 1800)