BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk17, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk17, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk17 date: Fri, 2022-10-21 19:40:43 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-chunk17 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 -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- mix041_power.oepc_pso.oepc_rmo.oepc.line673.yml true 6.42 4.46 None mix041_power.oepc_pso.oepc_rmo.oepc.line674.yml true 6.43 4.60 None mix041_power.oepc_pso.oepc_rmo.oepc.line701.yml true 8.26 5.21 None mix041_power.oepc_pso.oepc_rmo.oepc.line702.yml true 6.87 4.40 None mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line532.yml true 6.11 4.39 None mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line533.yml true 6.12 4.66 None mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line560.yml true 7.69 4.93 None mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line561.yml true 8.06 5.13 None mix042.oepc.line768.yml true 17.53 10.29 None mix042.oepc.line769.yml true 12.87 8.23 None mix042.oepc.line796.yml true 13.45 8.79 None mix042.oepc.line797.yml true 14.03 9.27 None mix042.oepc.line824.yml true 17.72 12.66 None mix042.oepc.line825.yml true 19.25 11.85 None mix042.opt.line580.yml true 8.88 5.68 None mix042.opt.line581.yml true 8.87 5.83 None mix042.opt.line608.yml true 8.85 5.84 None mix042.opt.line609.yml true 8.37 5.89 None mix042.opt.line636.yml true 11.12 6.91 None mix042.opt.line637.yml true 14.06 8.17 None mix043.oepc.line863.yml OUT OF MEMORY 372.36 208.15 None mix043.oepc.line864.yml OUT OF MEMORY 380.29 209.95 None mix043.oepc.line891.yml OUT OF MEMORY 263.98 150.77 None mix043.oepc.line892.yml OUT OF MEMORY 338.65 191.76 None mix043.oepc.line919.yml OUT OF MEMORY 361.80 203.12 None mix043.oepc.line920.yml OUT OF MEMORY 315.50 179.54 None mix043.oepc.line947.yml OUT OF MEMORY 495.80 267.23 None mix043.oepc.line948.yml OUT OF MEMORY 480.69 260.27 None mix043.opt.line628.yml true 58.44 34.72 None mix043.opt.line629.yml true 57.09 34.26 None mix043.opt.line656.yml true 57.38 35.29 None mix043.opt.line657.yml true 56.52 32.34 None mix043.opt.line684.yml true 57.64 34.06 None mix043.opt.line685.yml true 71.97 40.51 None mix043.opt.line712.yml true 97.95 56.68 None mix043.opt.line713.yml true 103.28 60.39 None mix044.opt.line625.yml true 59.35 34.92 None mix044.opt.line626.yml true 58.58 35.28 None mix044.opt.line653.yml true 56.89 35.03 None mix044.opt.line654.yml true 69.88 39.22 None mix044.opt.line681.yml true 58.39 34.70 None mix044.opt.line682.yml true 58.19 35.67 None mix044.opt.line709.yml true 101.98 61.21 None mix044.opt.line710.yml true 126.98 70.34 None mix044_power.oepc_pso.oepc_rmo.oepc.line860.yml OUT OF MEMORY 292.11 165.95 None mix044_power.oepc_pso.oepc_rmo.oepc.line861.yml OUT OF MEMORY 373.37 210.35 None mix044_power.oepc_pso.oepc_rmo.oepc.line888.yml OUT OF MEMORY 366.03 205.47 None mix044_power.oepc_pso.oepc_rmo.oepc.line889.yml OUT OF MEMORY 381.76 219.14 None mix044_power.oepc_pso.oepc_rmo.oepc.line916.yml OUT OF MEMORY 375.04 209.08 None mix044_power.oepc_pso.oepc_rmo.oepc.line917.yml OUT OF MEMORY 263.72 153.17 None mix044_power.oepc_pso.oepc_rmo.oepc.line944.yml OUT OF MEMORY 454.86 245.99 None mix044_power.oepc_pso.oepc_rmo.oepc.line945.yml OUT OF MEMORY 372.24 205.46 None mix044_tso.oepc.line719.yml OUT OF MEMORY 337.45 193.71 None mix044_tso.oepc.line720.yml OUT OF MEMORY 339.48 188.54 None mix044_tso.oepc.line747.yml OUT OF MEMORY 431.75 235.36 None mix044_tso.oepc.line748.yml OUT OF MEMORY 380.29 211.01 None mix044_tso.oepc.line775.yml OUT OF MEMORY 270.81 153.58 None mix044_tso.oepc.line776.yml OUT OF MEMORY 244.68 142.69 None mix044_tso.oepc.line803.yml OUT OF MEMORY 458.73 246.40 None mix044_tso.oepc.line804.yml OUT OF MEMORY 379.56 207.04 None mix045_power.oepc_pso.oepc_rmo.oepc.line765.yml true 14.20 9.49 None mix045_power.oepc_pso.oepc_rmo.oepc.line766.yml true 14.90 9.01 None mix045_power.oepc_pso.oepc_rmo.oepc.line793.yml true 14.04 9.25 None mix045_power.oepc_pso.oepc_rmo.oepc.line794.yml true 14.72 9.67 None mix045_power.oepc_pso.oepc_rmo.oepc.line821.yml true 20.00 13.21 None mix045_power.oepc_pso.oepc_rmo.oepc.line822.yml true 22.10 15.05 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line577.yml true 9.41 5.95 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line578.yml true 9.02 5.94 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line605.yml true 8.94 6.07 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line606.yml true 9.35 6.40 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line633.yml true 11.58 7.54 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line634.yml true 10.93 6.99 None mix046.oepc.line860.yml OUT OF MEMORY 438.89 242.94 None mix046.oepc.line861.yml OUT OF MEMORY 409.89 224.09 None mix046.oepc.line888.yml OUT OF MEMORY 363.10 209.30 None mix046.oepc.line889.yml OUT OF MEMORY 336.30 204.81 None mix046.oepc.line916.yml OUT OF MEMORY 296.94 172.22 None mix046.oepc.line917.yml OUT OF MEMORY 329.74 185.46 None mix046.oepc.line944.yml OUT OF MEMORY 421.34 229.48 None mix046.oepc.line945.yml OUT OF MEMORY 589.33 314.61 None mix046.opt.line625.yml true 59.41 34.95 None mix046.opt.line626.yml true 57.20 33.64 None mix046.opt.line653.yml true 73.10 40.83 None mix046.opt.line654.yml true 60.40 35.05 None mix046.opt.line681.yml true 73.40 41.97 None mix046.opt.line682.yml true 57.01 32.98 None mix046.opt.line709.yml true 131.59 72.13 None mix046.opt.line710.yml true 105.32 63.17 None mix047_power.oepc_pso.oepc_rmo.oepc.line857.yml OUT OF MEMORY 384.62 211.56 None mix047_power.oepc_pso.oepc_rmo.oepc.line858.yml OUT OF MEMORY 513.89 277.14 None mix047_power.oepc_pso.oepc_rmo.oepc.line885.yml OUT OF MEMORY 370.30 206.10 None mix047_power.oepc_pso.oepc_rmo.oepc.line886.yml OUT OF MEMORY 535.39 287.89 None mix047_power.oepc_pso.oepc_rmo.oepc.line913.yml OUT OF MEMORY 385.46 212.24 None mix047_power.oepc_pso.oepc_rmo.oepc.line914.yml OUT OF MEMORY 401.05 224.94 None mix047_power.oepc_pso.oepc_rmo.oepc.line941.yml OUT OF MEMORY 415.66 241.90 None mix047_power.oepc_pso.oepc_rmo.oepc.line942.yml OUT OF MEMORY 424.10 232.95 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line622.yml true 58.00 34.69 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line623.yml true 57.45 34.03 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line650.yml true 58.64 35.02 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line651.yml true 58.18 34.49 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line678.yml true 57.75 34.36 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line679.yml true 59.36 34.29 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line706.yml true 107.41 61.12 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line707.yml true 101.00 60.70 None mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line660.yml true 6.48 4.47 None mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line661.yml true 6.65 4.70 None mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line688.yml true 6.45 4.41 None mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line689.yml true 6.54 4.63 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line755.yml true 13.99 9.69 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line756.yml true 14.07 9.42 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line783.yml true 13.66 8.69 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line784.yml true 14.21 9.41 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line811.yml true 19.78 12.84 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line812.yml true 20.50 12.97 None mix050.line850.yml OUT OF MEMORY 362.89 202.35 None mix050.line851.yml OUT OF MEMORY 470.77 260.75 None mix050.line878.yml OUT OF MEMORY 364.85 204.49 None mix050.line879.yml OUT OF MEMORY 516.17 277.59 None mix050.line906.yml OUT OF MEMORY 286.12 164.24 None mix050.line907.yml OUT OF MEMORY 273.20 155.58 None mix050.line934.yml OUT OF MEMORY 512.51 274.42 None mix050.line935.yml OUT OF MEMORY 427.84 232.59 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line847.yml OUT OF MEMORY 399.20 218.42 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line848.yml OUT OF MEMORY 387.89 216.08 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line875.yml OUT OF MEMORY 322.71 187.65 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line876.yml OUT OF MEMORY 318.99 183.62 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line903.yml OUT OF MEMORY 494.67 276.15 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line904.yml OUT OF MEMORY 395.82 220.12 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line931.yml OUT OF MEMORY 377.20 204.73 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line932.yml OUT OF MEMORY 400.24 222.61 None mix051_pso.opt_rmo.opt_tso.opt.line706.yml true 162.88 89.92 None mix051_pso.opt_rmo.opt_tso.opt.line707.yml true 155.50 85.93 None mix051_pso.opt_rmo.opt_tso.opt.line734.yml true 163.30 89.90 None mix051_pso.opt_rmo.opt_tso.opt.line735.yml true 166.78 92.96 None mix051_pso.opt_rmo.opt_tso.opt.line762.yml true 168.02 94.02 None mix051_pso.opt_rmo.opt_tso.opt.line763.yml true 157.94 87.00 None mix051_pso.opt_rmo.opt_tso.opt.line790.yml true 329.57 178.24 None mix051_pso.opt_rmo.opt_tso.opt.line791.yml true 299.84 162.74 None mix051_tso.oepc.line706.yml OUT OF MEMORY 389.48 212.42 None mix051_tso.oepc.line707.yml OUT OF MEMORY 432.33 242.75 None mix051_tso.oepc.line734.yml OUT OF MEMORY 336.05 186.59 None mix051_tso.oepc.line735.yml OUT OF MEMORY 340.04 189.18 None mix051_tso.oepc.line762.yml OUT OF MEMORY 347.81 195.99 None mix051_tso.oepc.line763.yml OUT OF MEMORY 330.16 185.39 None mix051_tso.oepc.line790.yml OUT OF MEMORY 326.30 179.97 None mix051_tso.oepc.line791.yml OUT OF MEMORY 397.29 220.67 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line752.yml true 14.09 9.12 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line753.yml true 14.02 8.90 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line780.yml true 15.36 9.63 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line781.yml true 13.76 8.67 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line808.yml true 22.23 14.59 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line809.yml true 20.81 12.51 None mix052_pso.opt_rmo.opt_tso.opt.line658.yml true 11.08 7.44 None mix052_pso.opt_rmo.opt_tso.opt.line659.yml true 11.72 7.64 None mix052_pso.opt_rmo.opt_tso.opt.line686.yml true 11.69 7.41 None mix052_pso.opt_rmo.opt_tso.opt.line687.yml true 11.93 7.52 None mix052_pso.opt_rmo.opt_tso.opt.line714.yml true 16.18 9.64 None mix052_pso.opt_rmo.opt_tso.opt.line715.yml true 15.95 10.15 None mix052_tso.oepc.line611.yml true 13.46 8.71 None mix052_tso.oepc.line612.yml true 13.74 8.96 None mix052_tso.oepc.line639.yml true 14.01 8.41 None mix052_tso.oepc.line640.yml true 13.69 10.01 None mix052_tso.oepc.line667.yml true 20.74 13.00 None mix052_tso.oepc.line668.yml true 20.14 12.30 None mix053.opt.line703.yml true 153.35 84.53 None mix053.opt.line704.yml true 161.08 99.00 None mix053.opt.line731.yml true 167.92 95.44 None mix053.opt.line732.yml true 164.21 94.21 None mix053.opt.line759.yml true 159.20 88.31 None mix053.opt.line760.yml true 165.38 97.45 None mix053.opt.line787.yml true 392.57 209.41 None mix053.opt.line788.yml true 398.57 211.93 None mix053_power.oepc_pso.oepc_rmo.oepc.line844.yml OUT OF MEMORY 371.71 206.56 None mix053_power.oepc_pso.oepc_rmo.oepc.line845.yml OUT OF MEMORY 264.63 152.96 None mix053_power.oepc_pso.oepc_rmo.oepc.line872.yml OUT OF MEMORY 441.38 246.09 None mix053_power.oepc_pso.oepc_rmo.oepc.line873.yml OUT OF MEMORY 317.21 182.87 None mix053_power.oepc_pso.oepc_rmo.oepc.line900.yml OUT OF MEMORY 267.00 169.63 None mix053_power.oepc_pso.oepc_rmo.oepc.line901.yml OUT OF MEMORY 268.69 156.36 None mix053_power.oepc_pso.oepc_rmo.oepc.line928.yml OUT OF MEMORY 476.68 261.24 None mix053_power.oepc_pso.oepc_rmo.oepc.line929.yml OUT OF MEMORY 556.01 296.86 None mix053_tso.oepc.line656.yml true 240.37 137.84 None mix053_tso.oepc.line657.yml true 249.29 145.29 None mix053_tso.oepc.line684.yml true 242.44 141.07 None mix053_tso.oepc.line685.yml true 238.76 138.99 None mix053_tso.oepc.line712.yml true 232.05 132.20 None mix053_tso.oepc.line713.yml true 239.70 136.75 None mix053_tso.oepc.line740.yml true 472.37 255.55 None mix053_tso.oepc.line741.yml true 503.20 275.60 None mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.line657.yml true 7.11 4.50 None mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.line658.yml true 8.31 5.25 None mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.line685.yml true 6.91 5.09 None mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.line686.yml true 6.89 4.72 None mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.line516.yml true 8.07 4.99 None mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.line517.yml true 6.36 4.60 None mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.line544.yml true 6.70 4.94 None mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.line545.yml true 8.39 5.38 None mix055.opt.line609.yml true 57.90 37.69 None mix055.opt.line610.yml true 59.20 35.74 None mix055.opt.line637.yml true 60.60 36.85 None mix055.opt.line638.yml true 70.21 39.78 None mix055.opt.line665.yml true 69.78 39.90 None mix055.opt.line666.yml true 70.98 40.76 None mix055.opt.line693.yml true 103.54 63.23 None mix055.opt.line694.yml true 106.24 65.46 None mix055_power.oepc_pso.oepc_rmo.oepc.line844.yml OUT OF MEMORY 406.44 234.95 None mix055_power.oepc_pso.oepc_rmo.oepc.line845.yml OUT OF MEMORY 393.47 218.19 None mix055_power.oepc_pso.oepc_rmo.oepc.line872.yml OUT OF MEMORY 462.60 252.58 None mix055_power.oepc_pso.oepc_rmo.oepc.line873.yml OUT OF MEMORY 424.73 235.22 None mix055_power.oepc_pso.oepc_rmo.oepc.line900.yml OUT OF MEMORY 386.89 215.25 None mix055_power.oepc_pso.oepc_rmo.oepc.line901.yml OUT OF MEMORY 465.17 255.83 None mix055_power.oepc_pso.oepc_rmo.oepc.line928.yml OUT OF MEMORY 411.74 224.78 None mix055_power.oepc_pso.oepc_rmo.oepc.line929.yml OUT OF MEMORY 386.03 214.79 None mix055_tso.oepc.line703.yml OUT OF MEMORY 228.28 132.75 None mix055_tso.oepc.line704.yml OUT OF MEMORY 291.72 173.92 None mix055_tso.oepc.line731.yml OUT OF MEMORY 257.79 148.42 None mix055_tso.oepc.line732.yml OUT OF MEMORY 429.15 236.67 None mix055_tso.oepc.line759.yml OUT OF MEMORY 295.58 167.24 None mix055_tso.oepc.line760.yml OUT OF MEMORY 299.88 170.72 None mix055_tso.oepc.line787.yml OUT OF MEMORY 390.74 214.97 None mix055_tso.oepc.line788.yml OUT OF MEMORY 322.15 176.54 None mix056_power.oepc_pso.oepc_rmo.oepc.line749.yml true 14.43 9.48 None mix056_power.oepc_pso.oepc_rmo.oepc.line750.yml true 18.24 10.88 None mix056_power.oepc_pso.oepc_rmo.oepc.line777.yml true 13.68 9.07 None mix056_power.oepc_pso.oepc_rmo.oepc.line778.yml true 14.56 10.17 None mix056_power.oepc_pso.oepc_rmo.oepc.line805.yml true 24.70 14.63 None mix056_power.oepc_pso.oepc_rmo.oepc.line806.yml true 21.81 14.03 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line561.yml true 9.59 6.42 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line562.yml true 11.61 6.82 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line589.yml true 8.56 5.96 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line590.yml true 9.01 5.96 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line617.yml true 13.20 7.94 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line618.yml true 14.53 8.52 None mix057_power.oepc_pso.oepc_rmo.oepc.line841.yml OUT OF MEMORY 314.18 181.30 None mix057_power.oepc_pso.oepc_rmo.oepc.line842.yml OUT OF MEMORY 322.36 187.04 None mix057_power.oepc_pso.oepc_rmo.oepc.line869.yml OUT OF MEMORY 289.64 168.32 None mix057_power.oepc_pso.oepc_rmo.oepc.line870.yml OUT OF MEMORY 362.93 200.19 None mix057_power.oepc_pso.oepc_rmo.oepc.line897.yml OUT OF MEMORY 362.09 202.11 None mix057_power.oepc_pso.oepc_rmo.oepc.line898.yml OUT OF MEMORY 372.59 206.18 None mix057_power.oepc_pso.oepc_rmo.oepc.line925.yml OUT OF MEMORY 465.89 251.45 None mix057_power.oepc_pso.oepc_rmo.oepc.line926.yml OUT OF MEMORY 410.06 225.78 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line606.yml true 57.95 35.13 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line607.yml true 58.46 34.98 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line634.yml true 67.38 38.29 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line635.yml true 56.00 32.42 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line662.yml true 60.29 35.21 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line663.yml true 70.13 39.74 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line690.yml true 98.21 57.07 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line691.yml true 94.35 54.79 None mult-comm.wvr.line169.yml true 5.78 4.31 None mult-comm.wvr.line170.yml true 6.22 4.41 None mult-comm.wvr.line184.yml true 5.49 3.82 None mult-comm.wvr.line185.yml true 5.93 4.20 None mult-comm.wvr.line196.yml true 7.07 4.63 None mult-comm.wvr.line197.yml true 6.43 4.40 None mult-comm.wvr.line208.yml true 6.03 4.31 None mult-comm.wvr.line209.yml true 6.58 4.44 None mult-dist.wvr.line220.yml true 7.81 5.19 None mult-dist.wvr.line221.yml true 7.24 5.05 None mult-dist.wvr.line235.yml true 6.29 4.46 None mult-dist.wvr.line236.yml true 8.40 5.41 None mult-dist.wvr.line250.yml true 6.53 4.86 None mult-dist.wvr.line251.yml true 6.65 4.62 None mult-dist.wvr.line262.yml true 8.24 5.35 None mult-dist.wvr.line263.yml true 6.28 4.72 None mult-dist.wvr.line274.yml true 7.53 5.06 None mult-dist.wvr.line275.yml true 8.01 5.63 None mult-dist.wvr.line286.yml true 9.58 5.99 None mult-dist.wvr.line287.yml true 7.60 5.53 None mult-flipped-dist.wvr.line220.yml true 6.36 4.56 None mult-flipped-dist.wvr.line221.yml true 7.20 4.87 None mult-flipped-dist.wvr.line235.yml true 6.39 4.83 None mult-flipped-dist.wvr.line236.yml true 8.30 5.42 None mult-flipped-dist.wvr.line250.yml true 5.86 4.56 None mult-flipped-dist.wvr.line251.yml true 6.48 4.59 None mult-flipped-dist.wvr.line262.yml true 7.05 4.77 None mult-flipped-dist.wvr.line263.yml true 6.99 4.83 None mult-flipped-dist.wvr.line274.yml true 7.46 5.40 None mult-flipped-dist.wvr.line275.yml true 7.10 4.94 None mult-flipped-dist.wvr.line286.yml true 7.53 5.64 None mult-flipped-dist.wvr.line287.yml true 10.00 6.45 None parallel-bakery-2.wvr.line325.yml true 6.29 4.25 None parallel-bakery-2.wvr.line326.yml true 6.58 4.45 None parallel-bakery-2.wvr.line340.yml true 6.29 4.64 None parallel-bakery-2.wvr.line341.yml true 6.37 4.55 None parallel-bakery-2.wvr.line352.yml true 8.66 5.55 None parallel-bakery-2.wvr.line353.yml true 8.85 5.44 None parallel-bakery-2.wvr.line364.yml true 10.97 6.98 None parallel-bakery-2.wvr.line365.yml true 11.71 6.99 None parallel-bakery-3.wvr.line560.yml true 16.18 10.42 None parallel-bakery-3.wvr.line561.yml true 16.24 9.68 None parallel-bakery-3.wvr.line575.yml true 18.19 10.83 None parallel-bakery-3.wvr.line576.yml true 15.21 9.65 None parallel-bakery-3.wvr.line590.yml true 21.18 13.55 None parallel-bakery-3.wvr.line591.yml true 22.22 12.95 None parallel-bakery-3.wvr.line602.yml OUT OF MEMORY 450.20 237.85 None parallel-bakery-3.wvr.line603.yml OUT OF MEMORY 455.35 239.05 None parallel-bakery-3.wvr.line614.yml OUT OF MEMORY 393.09 205.52 None parallel-bakery-3.wvr.line615.yml OUT OF MEMORY 397.22 208.10 None parallel-bakery-3.wvr.line626.yml OUT OF MEMORY 431.02 226.01 None parallel-bakery-3.wvr.line627.yml OUT OF MEMORY 513.45 266.60 None -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 49591.58 2149.38 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk17 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 -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- mix041_power.oepc_pso.oepc_rmo.oepc.line673.yml true 6.46 4.72 None mix041_power.oepc_pso.oepc_rmo.oepc.line674.yml true 6.33 4.66 None mix041_power.oepc_pso.oepc_rmo.oepc.line701.yml true 8.85 5.45 None mix041_power.oepc_pso.oepc_rmo.oepc.line702.yml true 7.08 4.62 None mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line532.yml true 6.40 5.22 None mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line533.yml true 6.59 4.92 None mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line560.yml true 8.51 5.24 None mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line561.yml true 8.51 5.29 None mix042.oepc.line768.yml true 14.53 9.09 None mix042.oepc.line769.yml true 12.82 8.03 None mix042.oepc.line796.yml true 13.06 8.62 None mix042.oepc.line797.yml true 13.00 8.79 None mix042.oepc.line824.yml true 18.13 11.61 None mix042.oepc.line825.yml true 17.98 11.12 None mix042.opt.line580.yml true 8.95 5.77 None mix042.opt.line581.yml true 8.56 5.97 None mix042.opt.line608.yml true 8.63 6.29 None mix042.opt.line609.yml true 10.24 6.26 None mix042.opt.line636.yml true 10.80 7.38 None mix042.opt.line637.yml true 14.25 8.31 None mix043.oepc.line863.yml OUT OF MEMORY 369.93 209.28 None mix043.oepc.line864.yml OUT OF MEMORY 378.13 210.48 None mix043.oepc.line891.yml OUT OF MEMORY 264.68 154.69 None mix043.oepc.line892.yml OUT OF MEMORY 371.78 210.92 None mix043.oepc.line919.yml OUT OF MEMORY 459.46 254.39 None mix043.oepc.line920.yml OUT OF MEMORY 361.76 205.15 None mix043.oepc.line947.yml OUT OF MEMORY 362.60 200.30 None mix043.oepc.line948.yml OUT OF MEMORY 414.39 229.41 None mix043.opt.line628.yml true 54.28 32.04 None mix043.opt.line629.yml true 49.46 30.03 None mix043.opt.line656.yml true 54.91 35.86 None mix043.opt.line657.yml true 53.62 32.73 None mix043.opt.line684.yml true 54.60 33.88 None mix043.opt.line685.yml true 64.37 37.50 None mix043.opt.line712.yml true 91.69 53.61 None mix043.opt.line713.yml true 98.63 59.53 None mix044.opt.line625.yml true 52.92 33.07 None mix044.opt.line626.yml true 53.81 32.47 None mix044.opt.line653.yml true 53.54 34.44 None mix044.opt.line654.yml true 62.21 35.94 None mix044.opt.line681.yml true 53.60 32.86 None mix044.opt.line682.yml true 56.09 34.55 None mix044.opt.line709.yml true 100.03 64.54 None mix044.opt.line710.yml true 115.20 65.20 None mix044_power.oepc_pso.oepc_rmo.oepc.line860.yml OUT OF MEMORY 242.27 141.08 None mix044_power.oepc_pso.oepc_rmo.oepc.line861.yml OUT OF MEMORY 432.99 235.92 None mix044_power.oepc_pso.oepc_rmo.oepc.line888.yml OUT OF MEMORY 269.60 158.18 None mix044_power.oepc_pso.oepc_rmo.oepc.line889.yml OUT OF MEMORY 371.86 210.72 None mix044_power.oepc_pso.oepc_rmo.oepc.line916.yml OUT OF MEMORY 425.90 248.28 None mix044_power.oepc_pso.oepc_rmo.oepc.line917.yml OUT OF MEMORY 356.84 201.10 None mix044_power.oepc_pso.oepc_rmo.oepc.line944.yml OUT OF MEMORY 398.49 215.76 None mix044_power.oepc_pso.oepc_rmo.oepc.line945.yml OUT OF MEMORY 386.88 210.12 None mix044_tso.oepc.line719.yml OUT OF MEMORY 436.63 239.94 None mix044_tso.oepc.line720.yml OUT OF MEMORY 456.56 251.16 None mix044_tso.oepc.line747.yml OUT OF MEMORY 458.00 248.99 None mix044_tso.oepc.line748.yml OUT OF MEMORY 291.59 168.65 None mix044_tso.oepc.line775.yml OUT OF MEMORY 219.36 130.18 None mix044_tso.oepc.line776.yml OUT OF MEMORY 294.86 172.33 None mix044_tso.oepc.line803.yml OUT OF MEMORY 413.75 223.92 None mix044_tso.oepc.line804.yml OUT OF MEMORY 397.95 219.88 None mix045_power.oepc_pso.oepc_rmo.oepc.line765.yml true 13.42 8.56 None mix045_power.oepc_pso.oepc_rmo.oepc.line766.yml true 13.43 8.81 None mix045_power.oepc_pso.oepc_rmo.oepc.line793.yml true 13.82 9.33 None mix045_power.oepc_pso.oepc_rmo.oepc.line794.yml true 14.83 9.14 None mix045_power.oepc_pso.oepc_rmo.oepc.line821.yml true 19.16 12.06 None mix045_power.oepc_pso.oepc_rmo.oepc.line822.yml true 18.66 12.08 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line577.yml true 11.86 6.91 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line578.yml true 9.73 6.80 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line605.yml true 11.43 6.93 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line606.yml true 9.08 6.13 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line633.yml true 11.43 6.95 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line634.yml true 11.97 7.64 None mix046.oepc.line860.yml OUT OF MEMORY 317.29 180.55 None mix046.oepc.line861.yml OUT OF MEMORY 406.60 227.22 None mix046.oepc.line888.yml OUT OF MEMORY 239.42 141.98 None mix046.oepc.line889.yml OUT OF MEMORY 385.43 217.33 None mix046.oepc.line916.yml OUT OF MEMORY 239.13 139.19 None mix046.oepc.line917.yml OUT OF MEMORY 369.44 212.11 None mix046.oepc.line944.yml OUT OF MEMORY 396.67 221.95 None mix046.oepc.line945.yml OUT OF MEMORY 540.88 292.64 None mix046.opt.line625.yml true 50.23 30.03 None mix046.opt.line626.yml true 50.34 30.25 None mix046.opt.line653.yml true 63.92 37.00 None mix046.opt.line654.yml true 64.29 37.00 None mix046.opt.line681.yml true 63.44 36.81 None mix046.opt.line682.yml true 53.83 31.97 None mix046.opt.line709.yml true 99.76 57.36 None mix046.opt.line710.yml true 96.54 57.74 None mix047_power.oepc_pso.oepc_rmo.oepc.line857.yml OUT OF MEMORY 452.34 246.79 None mix047_power.oepc_pso.oepc_rmo.oepc.line858.yml OUT OF MEMORY 413.69 227.24 None mix047_power.oepc_pso.oepc_rmo.oepc.line885.yml OUT OF MEMORY 440.65 241.45 None mix047_power.oepc_pso.oepc_rmo.oepc.line886.yml OUT OF MEMORY 304.85 174.99 None mix047_power.oepc_pso.oepc_rmo.oepc.line913.yml OUT OF MEMORY 191.30 112.56 None mix047_power.oepc_pso.oepc_rmo.oepc.line914.yml OUT OF MEMORY 253.68 147.85 None mix047_power.oepc_pso.oepc_rmo.oepc.line941.yml OUT OF MEMORY 447.94 244.63 None mix047_power.oepc_pso.oepc_rmo.oepc.line942.yml OUT OF MEMORY 475.38 258.29 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line622.yml true 63.58 36.51 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line623.yml true 60.85 35.52 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line650.yml true 53.20 32.19 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line651.yml true 53.04 31.53 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line678.yml true 53.30 33.09 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line679.yml true 52.11 36.25 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line706.yml true 112.28 65.19 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line707.yml true 97.50 58.17 None mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line660.yml true 6.77 4.65 None mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line661.yml true 6.86 5.09 None mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line688.yml true 6.99 4.56 None mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line689.yml true 7.22 4.83 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line755.yml true 12.98 8.55 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line756.yml true 12.41 8.07 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line783.yml true 14.64 9.16 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line784.yml true 13.55 9.14 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line811.yml true 21.15 12.28 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line812.yml true 19.59 12.31 None mix050.line850.yml OUT OF MEMORY 312.68 194.97 None mix050.line851.yml OUT OF MEMORY 361.72 204.35 None mix050.line878.yml OUT OF MEMORY 286.53 166.46 None mix050.line879.yml OUT OF MEMORY 344.02 196.04 None mix050.line906.yml OUT OF MEMORY 145.15 86.88 None mix050.line907.yml OUT OF MEMORY 269.62 155.56 None mix050.line934.yml OUT OF MEMORY 574.13 304.09 None mix050.line935.yml OUT OF MEMORY 454.23 245.07 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line847.yml OUT OF MEMORY 293.27 170.69 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line848.yml OUT OF MEMORY 299.30 170.08 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line875.yml OUT OF MEMORY 338.88 192.10 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line876.yml OUT OF MEMORY 376.69 213.24 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line903.yml OUT OF MEMORY 223.88 131.60 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line904.yml OUT OF MEMORY 506.78 277.25 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line931.yml OUT OF MEMORY 466.27 255.36 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line932.yml OUT OF MEMORY 377.73 205.36 None mix051_pso.opt_rmo.opt_tso.opt.line706.yml true 150.27 87.66 None mix051_pso.opt_rmo.opt_tso.opt.line707.yml true 147.87 88.70 None mix051_pso.opt_rmo.opt_tso.opt.line734.yml true 152.82 88.62 None mix051_pso.opt_rmo.opt_tso.opt.line735.yml true 151.09 85.86 None mix051_pso.opt_rmo.opt_tso.opt.line762.yml true 146.76 82.71 None mix051_pso.opt_rmo.opt_tso.opt.line763.yml true 143.38 81.19 None mix051_pso.opt_rmo.opt_tso.opt.line790.yml true 356.78 193.26 None mix051_pso.opt_rmo.opt_tso.opt.line791.yml true 302.65 171.96 None mix051_tso.oepc.line706.yml OUT OF MEMORY 359.98 202.46 None mix051_tso.oepc.line707.yml OUT OF MEMORY 299.64 171.67 None mix051_tso.oepc.line734.yml OUT OF MEMORY 407.20 237.37 None mix051_tso.oepc.line735.yml OUT OF MEMORY 282.68 164.66 None mix051_tso.oepc.line762.yml OUT OF MEMORY 252.01 152.19 None mix051_tso.oepc.line763.yml OUT OF MEMORY 266.52 153.83 None mix051_tso.oepc.line790.yml OUT OF MEMORY 433.29 237.63 None mix051_tso.oepc.line791.yml OUT OF MEMORY 407.94 220.11 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line752.yml true 17.56 10.33 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line753.yml true 16.07 9.76 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line780.yml true 17.07 10.19 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line781.yml true 16.54 9.86 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line808.yml true 19.33 11.75 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line809.yml true 23.90 14.24 None mix052_pso.opt_rmo.opt_tso.opt.line658.yml true 11.23 7.21 None mix052_pso.opt_rmo.opt_tso.opt.line659.yml true 14.01 8.47 None mix052_pso.opt_rmo.opt_tso.opt.line686.yml true 11.89 7.33 None mix052_pso.opt_rmo.opt_tso.opt.line687.yml true 14.53 8.72 None mix052_pso.opt_rmo.opt_tso.opt.line714.yml true 16.19 9.87 None mix052_pso.opt_rmo.opt_tso.opt.line715.yml true 15.54 10.17 None mix052_tso.oepc.line611.yml true 15.00 9.23 None mix052_tso.oepc.line612.yml true 13.38 8.61 None mix052_tso.oepc.line639.yml true 12.81 8.12 None mix052_tso.oepc.line640.yml true 13.12 8.58 None mix052_tso.oepc.line667.yml true 23.51 13.70 None mix052_tso.oepc.line668.yml true 17.55 11.70 None mix053.opt.line703.yml true 136.62 78.02 None mix053.opt.line704.yml true 147.78 86.33 None mix053.opt.line731.yml true 146.42 84.32 None mix053.opt.line732.yml true 174.56 97.96 None mix053.opt.line759.yml true 180.55 100.35 None mix053.opt.line760.yml true 154.60 91.04 None mix053.opt.line787.yml true 297.12 166.85 None mix053.opt.line788.yml true 276.88 153.57 None mix053_power.oepc_pso.oepc_rmo.oepc.line844.yml OUT OF MEMORY 356.61 203.22 None mix053_power.oepc_pso.oepc_rmo.oepc.line845.yml OUT OF MEMORY 368.49 206.68 None mix053_power.oepc_pso.oepc_rmo.oepc.line872.yml OUT OF MEMORY 364.81 204.16 None mix053_power.oepc_pso.oepc_rmo.oepc.line873.yml OUT OF MEMORY 226.95 132.87 None mix053_power.oepc_pso.oepc_rmo.oepc.line900.yml OUT OF MEMORY 310.48 180.30 None mix053_power.oepc_pso.oepc_rmo.oepc.line901.yml OUT OF MEMORY 315.83 184.18 None mix053_power.oepc_pso.oepc_rmo.oepc.line928.yml OUT OF MEMORY 418.14 237.78 None mix053_power.oepc_pso.oepc_rmo.oepc.line929.yml OUT OF MEMORY 571.53 302.52 None mix053_tso.oepc.line656.yml true 195.15 110.28 None mix053_tso.oepc.line657.yml true 200.83 115.22 None mix053_tso.oepc.line684.yml true 250.06 137.30 None mix053_tso.oepc.line685.yml true 194.68 110.42 None mix053_tso.oepc.line712.yml true 191.73 109.32 None mix053_tso.oepc.line713.yml true 204.38 116.60 None mix053_tso.oepc.line740.yml true 379.62 212.20 None mix053_tso.oepc.line741.yml true 381.92 213.22 None mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.line657.yml true 6.73 4.71 None mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.line658.yml true 7.15 4.51 None mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.line685.yml true 7.13 4.95 None mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.line686.yml true 6.84 4.59 None mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.line516.yml true 6.43 4.59 None mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.line517.yml true 6.57 4.45 None mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.line544.yml true 6.59 4.77 None mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.line545.yml true 6.68 4.57 None mix055.opt.line609.yml true 61.23 35.75 None mix055.opt.line610.yml true 53.52 33.50 None mix055.opt.line637.yml true 54.37 32.82 None mix055.opt.line638.yml true 52.62 32.56 None mix055.opt.line665.yml true 64.25 37.45 None mix055.opt.line666.yml true 63.79 37.15 None mix055.opt.line693.yml true 96.05 56.97 None mix055.opt.line694.yml true 100.41 61.07 None mix055_power.oepc_pso.oepc_rmo.oepc.line844.yml OUT OF MEMORY 366.12 205.04 None mix055_power.oepc_pso.oepc_rmo.oepc.line845.yml OUT OF MEMORY 306.07 175.49 None mix055_power.oepc_pso.oepc_rmo.oepc.line872.yml OUT OF MEMORY 312.98 182.25 None mix055_power.oepc_pso.oepc_rmo.oepc.line873.yml OUT OF MEMORY 315.91 181.04 None mix055_power.oepc_pso.oepc_rmo.oepc.line900.yml OUT OF MEMORY 349.38 195.41 None mix055_power.oepc_pso.oepc_rmo.oepc.line901.yml OUT OF MEMORY 255.34 150.74 None mix055_power.oepc_pso.oepc_rmo.oepc.line928.yml OUT OF MEMORY 516.20 275.00 None mix055_power.oepc_pso.oepc_rmo.oepc.line929.yml OUT OF MEMORY 425.83 230.62 None mix055_tso.oepc.line703.yml OUT OF MEMORY 246.50 144.65 None mix055_tso.oepc.line704.yml OUT OF MEMORY 249.84 157.84 None mix055_tso.oepc.line731.yml OUT OF MEMORY 296.54 173.30 None mix055_tso.oepc.line732.yml OUT OF MEMORY 402.18 222.72 None mix055_tso.oepc.line759.yml OUT OF MEMORY 279.70 161.53 None mix055_tso.oepc.line760.yml OUT OF MEMORY 248.17 146.84 None mix055_tso.oepc.line787.yml OUT OF MEMORY 351.23 190.70 None mix055_tso.oepc.line788.yml OUT OF MEMORY 439.95 243.54 None mix056_power.oepc_pso.oepc_rmo.oepc.line749.yml true 13.57 9.42 None mix056_power.oepc_pso.oepc_rmo.oepc.line750.yml true 14.08 8.90 None mix056_power.oepc_pso.oepc_rmo.oepc.line777.yml true 13.53 9.28 None mix056_power.oepc_pso.oepc_rmo.oepc.line778.yml true 13.21 8.88 None mix056_power.oepc_pso.oepc_rmo.oepc.line805.yml true 18.81 11.99 None mix056_power.oepc_pso.oepc_rmo.oepc.line806.yml true 19.07 12.56 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line561.yml true 8.95 6.16 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line562.yml true 11.55 6.98 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line589.yml true 8.86 6.28 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line590.yml true 9.06 6.01 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line617.yml true 14.97 8.65 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line618.yml true 14.85 8.48 None mix057_power.oepc_pso.oepc_rmo.oepc.line841.yml OUT OF MEMORY 231.69 137.31 None mix057_power.oepc_pso.oepc_rmo.oepc.line842.yml OUT OF MEMORY 316.42 185.00 None mix057_power.oepc_pso.oepc_rmo.oepc.line869.yml OUT OF MEMORY 253.96 149.92 None mix057_power.oepc_pso.oepc_rmo.oepc.line870.yml OUT OF MEMORY 299.71 184.23 None mix057_power.oepc_pso.oepc_rmo.oepc.line897.yml OUT OF MEMORY 289.02 164.89 None mix057_power.oepc_pso.oepc_rmo.oepc.line898.yml OUT OF MEMORY 324.09 184.48 None mix057_power.oepc_pso.oepc_rmo.oepc.line925.yml OUT OF MEMORY 477.03 259.51 None mix057_power.oepc_pso.oepc_rmo.oepc.line926.yml OUT OF MEMORY 451.43 244.64 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line606.yml true 63.33 36.75 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line607.yml true 51.43 31.15 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line634.yml true 48.98 29.78 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line635.yml true 63.16 36.81 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line662.yml true 53.21 31.82 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line663.yml true 50.85 30.25 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line690.yml true 88.29 55.08 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line691.yml true 88.90 53.38 None mult-comm.wvr.line169.yml true 7.29 4.71 None mult-comm.wvr.line170.yml true 7.59 4.88 None mult-comm.wvr.line184.yml true 6.25 4.42 None mult-comm.wvr.line185.yml true 6.00 4.20 None mult-comm.wvr.line196.yml true 7.37 4.73 None mult-comm.wvr.line197.yml true 6.03 4.22 None mult-comm.wvr.line208.yml true 6.10 4.33 None mult-comm.wvr.line209.yml true 7.96 5.05 None mult-dist.wvr.line220.yml true 6.54 4.56 None mult-dist.wvr.line221.yml true 9.08 5.78 None mult-dist.wvr.line235.yml true 6.35 4.56 None mult-dist.wvr.line236.yml true 7.17 5.10 None mult-dist.wvr.line250.yml true 8.12 5.23 None mult-dist.wvr.line251.yml true 6.85 4.71 None mult-dist.wvr.line262.yml true 6.93 4.82 None mult-dist.wvr.line263.yml true 9.09 5.79 None mult-dist.wvr.line274.yml true 7.84 5.33 None mult-dist.wvr.line275.yml true 9.72 6.10 None mult-dist.wvr.line286.yml true 8.28 5.54 None mult-dist.wvr.line287.yml true 7.88 5.22 None mult-flipped-dist.wvr.line220.yml true 8.18 5.29 None mult-flipped-dist.wvr.line221.yml true 9.15 5.91 None mult-flipped-dist.wvr.line235.yml true 6.52 5.24 None mult-flipped-dist.wvr.line236.yml true 6.98 4.79 None mult-flipped-dist.wvr.line250.yml true 8.19 5.28 None mult-flipped-dist.wvr.line251.yml true 6.92 4.67 None mult-flipped-dist.wvr.line262.yml true 9.05 5.76 None mult-flipped-dist.wvr.line263.yml true 7.15 5.22 None mult-flipped-dist.wvr.line274.yml true 9.62 6.12 None mult-flipped-dist.wvr.line275.yml true 7.95 5.27 None mult-flipped-dist.wvr.line286.yml true 10.09 6.28 None mult-flipped-dist.wvr.line287.yml true 8.02 5.32 None parallel-bakery-2.wvr.line325.yml true 8.05 5.08 None parallel-bakery-2.wvr.line326.yml true 6.83 5.21 None parallel-bakery-2.wvr.line340.yml true 6.83 4.54 None parallel-bakery-2.wvr.line341.yml true 8.42 5.11 None parallel-bakery-2.wvr.line352.yml true 11.75 6.57 None parallel-bakery-2.wvr.line353.yml true 8.57 5.48 None parallel-bakery-2.wvr.line364.yml true 10.46 6.64 None parallel-bakery-2.wvr.line365.yml true 14.84 8.43 None parallel-bakery-3.wvr.line560.yml true 13.19 9.60 None parallel-bakery-3.wvr.line561.yml true 14.36 9.37 None parallel-bakery-3.wvr.line575.yml true 15.78 9.47 None parallel-bakery-3.wvr.line576.yml true 18.35 10.75 None parallel-bakery-3.wvr.line590.yml true 18.70 11.60 None parallel-bakery-3.wvr.line591.yml true 23.52 14.08 None parallel-bakery-3.wvr.line602.yml OUT OF MEMORY 536.78 278.48 None parallel-bakery-3.wvr.line603.yml OUT OF MEMORY 389.66 205.66 None parallel-bakery-3.wvr.line614.yml OUT OF MEMORY 424.84 223.08 None parallel-bakery-3.wvr.line615.yml OUT OF MEMORY 565.92 293.18 None parallel-bakery-3.wvr.line626.yml OUT OF MEMORY 413.59 218.02 None parallel-bakery-3.wvr.line627.yml OUT OF MEMORY 420.97 226.88 None -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 46444.26 2058.74 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk17 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 -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- mix041_power.oepc_pso.oepc_rmo.oepc.line673.yml true 6.26 4.39 None mix041_power.oepc_pso.oepc_rmo.oepc.line674.yml true 6.39 4.76 None mix041_power.oepc_pso.oepc_rmo.oepc.line701.yml true 8.76 5.46 None mix041_power.oepc_pso.oepc_rmo.oepc.line702.yml true 6.79 4.53 None mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line532.yml true 6.21 4.74 None mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line533.yml true 6.04 4.32 None mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line560.yml true 8.25 5.11 None mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line561.yml true 8.34 5.15 None mix042.oepc.line768.yml true 19.91 12.54 None mix042.oepc.line769.yml true 18.65 11.46 None mix042.oepc.line796.yml true 20.60 12.65 None mix042.oepc.line797.yml true 18.04 11.84 None mix042.oepc.line824.yml FAILED None mix042.oepc.line825.yml true 22.92 15.19 None mix042.opt.line580.yml true 9.84 6.88 None mix042.opt.line581.yml true 11.13 6.94 None mix042.opt.line608.yml true 10.90 6.57 None mix042.opt.line609.yml true 9.66 6.79 None mix042.opt.line636.yml true 13.12 8.49 None mix042.opt.line637.yml true 19.46 10.48 None mix043.oepc.line863.yml OUT OF MEMORY 512.40 269.59 None mix043.oepc.line864.yml OUT OF MEMORY 514.17 270.49 None mix043.oepc.line891.yml OUT OF MEMORY 315.51 169.70 None mix043.oepc.line892.yml OUT OF MEMORY 417.88 225.92 None mix043.oepc.line919.yml OUT OF MEMORY 383.34 206.26 None mix043.oepc.line920.yml OUT OF MEMORY 254.80 139.40 None mix043.oepc.line947.yml OUT OF MEMORY 705.86 364.14 None mix043.oepc.line948.yml OUT OF MEMORY 673.17 344.80 None mix043.opt.line628.yml true 102.80 59.44 None mix043.opt.line629.yml true 85.44 52.91 None mix043.opt.line656.yml true 86.01 53.42 None mix043.opt.line657.yml true 83.39 49.07 None mix043.opt.line684.yml true 103.86 60.89 None mix043.opt.line685.yml true 81.29 49.04 None mix043.opt.line712.yml true 159.26 97.46 None mix043.opt.line713.yml true 151.04 91.47 None mix044.opt.line625.yml true 104.52 60.64 None mix044.opt.line626.yml true 101.45 59.45 None mix044.opt.line653.yml true 80.89 48.61 None mix044.opt.line654.yml true 102.96 59.40 None mix044.opt.line681.yml true 101.97 59.77 None mix044.opt.line682.yml true 84.23 49.97 None mix044.opt.line709.yml true 151.95 92.62 None mix044.opt.line710.yml true 144.85 85.46 None mix044_power.oepc_pso.oepc_rmo.oepc.line860.yml OUT OF MEMORY 364.79 192.73 None mix044_power.oepc_pso.oepc_rmo.oepc.line861.yml OUT OF MEMORY 587.68 305.02 None mix044_power.oepc_pso.oepc_rmo.oepc.line888.yml OUT OF MEMORY 285.55 153.36 None mix044_power.oepc_pso.oepc_rmo.oepc.line889.yml OUT OF MEMORY 751.73 386.91 None mix044_power.oepc_pso.oepc_rmo.oepc.line916.yml OUT OF MEMORY 399.09 211.23 None mix044_power.oepc_pso.oepc_rmo.oepc.line917.yml OUT OF MEMORY 406.43 216.90 None mix044_power.oepc_pso.oepc_rmo.oepc.line944.yml OUT OF MEMORY 722.85 386.28 None mix044_power.oepc_pso.oepc_rmo.oepc.line945.yml OUT OF MEMORY 645.29 330.18 None mix044_tso.oepc.line719.yml OUT OF MEMORY 650.54 339.20 None mix044_tso.oepc.line720.yml OUT OF MEMORY 791.77 406.26 None mix044_tso.oepc.line747.yml OUT OF MEMORY 798.88 409.60 None mix044_tso.oepc.line748.yml OUT OF MEMORY 505.80 265.31 None mix044_tso.oepc.line775.yml OUT OF MEMORY 513.27 268.42 None mix044_tso.oepc.line776.yml OUT OF MEMORY 550.27 285.24 None mix044_tso.oepc.line803.yml OUT OF MEMORY 691.85 355.38 None mix044_tso.oepc.line804.yml OUT OF MEMORY 653.83 334.04 None mix045_power.oepc_pso.oepc_rmo.oepc.line765.yml true 19.58 12.14 None mix045_power.oepc_pso.oepc_rmo.oepc.line766.yml true 19.08 12.31 None mix045_power.oepc_pso.oepc_rmo.oepc.line793.yml true 18.15 12.11 None mix045_power.oepc_pso.oepc_rmo.oepc.line794.yml true 19.51 12.85 None mix045_power.oepc_pso.oepc_rmo.oepc.line821.yml true 29.36 18.77 None mix045_power.oepc_pso.oepc_rmo.oepc.line822.yml true 28.89 18.38 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line577.yml true 11.28 6.92 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line578.yml true 12.34 7.20 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line605.yml true 10.99 7.16 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line606.yml true 11.00 7.01 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line633.yml true 15.44 9.03 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line634.yml true 13.51 8.38 None mix046.oepc.line860.yml OUT OF MEMORY 367.33 194.48 None mix046.oepc.line861.yml OUT OF MEMORY 684.03 354.95 None mix046.oepc.line888.yml OUT OF MEMORY 314.87 169.75 None mix046.oepc.line889.yml OUT OF MEMORY 774.07 397.72 None mix046.oepc.line916.yml OUT OF MEMORY 133.12 76.53 None mix046.oepc.line917.yml OUT OF MEMORY 467.26 249.01 None mix046.oepc.line944.yml OUT OF MEMORY 704.87 374.52 None mix046.oepc.line945.yml OUT OF MEMORY 689.13 356.47 None mix046.opt.line625.yml true 87.57 54.37 None mix046.opt.line626.yml true 85.39 51.59 None mix046.opt.line653.yml true 104.44 60.74 None mix046.opt.line654.yml true 103.75 60.80 None mix046.opt.line681.yml true 89.69 53.80 None mix046.opt.line682.yml true 85.82 51.98 None mix046.opt.line709.yml true 145.05 87.99 None mix046.opt.line710.yml true 151.07 91.96 None mix047_power.oepc_pso.oepc_rmo.oepc.line857.yml OUT OF MEMORY 845.82 434.20 None mix047_power.oepc_pso.oepc_rmo.oepc.line858.yml OUT OF MEMORY 817.65 419.62 None mix047_power.oepc_pso.oepc_rmo.oepc.line885.yml OUT OF MEMORY 609.19 314.01 None mix047_power.oepc_pso.oepc_rmo.oepc.line886.yml OUT OF MEMORY 576.15 297.19 None mix047_power.oepc_pso.oepc_rmo.oepc.line913.yml OUT OF MEMORY 490.80 254.77 None mix047_power.oepc_pso.oepc_rmo.oepc.line914.yml OUT OF MEMORY 492.37 256.75 None mix047_power.oepc_pso.oepc_rmo.oepc.line941.yml OUT OF MEMORY 628.50 322.96 None mix047_power.oepc_pso.oepc_rmo.oepc.line942.yml OUT OF MEMORY 726.17 376.92 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line622.yml true 103.04 60.20 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line623.yml true 89.00 52.45 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line650.yml true 105.20 60.41 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line651.yml true 83.22 49.89 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line678.yml true 98.56 58.01 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line679.yml true 87.67 53.48 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line706.yml true 177.55 104.35 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line707.yml true 153.00 95.08 None mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line660.yml true 5.94 4.27 None mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line661.yml true 6.31 4.38 None mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line688.yml true 6.90 4.87 None mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line689.yml true 7.04 5.09 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line755.yml true 18.28 11.96 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line756.yml true 18.21 12.42 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line783.yml true 21.23 13.01 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line784.yml true 18.48 12.49 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line811.yml true 27.00 17.76 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.line812.yml true 27.06 18.82 None mix050.line850.yml OUT OF MEMORY 589.30 303.57 None mix050.line851.yml OUT OF MEMORY 600.08 321.33 None mix050.line878.yml OUT OF MEMORY 838.85 430.99 None mix050.line879.yml OUT OF MEMORY 552.34 285.65 None mix050.line906.yml OUT OF MEMORY 502.68 262.64 None mix050.line907.yml OUT OF MEMORY 599.53 315.60 None mix050.line934.yml OUT OF MEMORY 686.74 351.46 None mix050.line935.yml OUT OF MEMORY 668.17 345.03 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line847.yml OUT OF MEMORY 411.62 217.45 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line848.yml OUT OF MEMORY 319.94 171.06 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line875.yml OUT OF MEMORY 527.79 275.41 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line876.yml OUT OF MEMORY 678.60 352.69 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line903.yml OUT OF MEMORY 218.38 121.71 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line904.yml OUT OF MEMORY 483.61 254.59 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line931.yml OUT OF MEMORY 704.95 362.62 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.line932.yml OUT OF MEMORY 644.78 331.22 None mix051_pso.opt_rmo.opt_tso.opt.line706.yml true 258.58 146.21 None mix051_pso.opt_rmo.opt_tso.opt.line707.yml true 239.16 134.65 None mix051_pso.opt_rmo.opt_tso.opt.line734.yml true 255.26 143.31 None mix051_pso.opt_rmo.opt_tso.opt.line735.yml true 255.64 150.22 None mix051_pso.opt_rmo.opt_tso.opt.line762.yml true 264.84 149.51 None mix051_pso.opt_rmo.opt_tso.opt.line763.yml true 244.64 140.04 None mix051_pso.opt_rmo.opt_tso.opt.line790.yml true 505.89 288.30 None mix051_pso.opt_rmo.opt_tso.opt.line791.yml OUT OF MEMORY 325.48 179.67 None mix051_tso.oepc.line706.yml OUT OF MEMORY 371.48 195.87 None mix051_tso.oepc.line707.yml OUT OF MEMORY 478.08 253.19 None mix051_tso.oepc.line734.yml OUT OF MEMORY 685.03 354.90 None mix051_tso.oepc.line735.yml OUT OF MEMORY 479.79 251.07 None mix051_tso.oepc.line762.yml OUT OF MEMORY 286.42 167.70 None mix051_tso.oepc.line763.yml OUT OF MEMORY 332.23 180.87 None mix051_tso.oepc.line790.yml OUT OF MEMORY 789.54 402.67 None mix051_tso.oepc.line791.yml OUT OF MEMORY 574.34 295.70 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line752.yml true 24.62 14.46 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line753.yml true 26.95 15.21 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line780.yml true 22.94 13.95 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line781.yml true 24.06 14.11 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line808.yml true 35.89 21.07 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.line809.yml true 35.16 20.98 None mix052_pso.opt_rmo.opt_tso.opt.line658.yml true 22.97 12.49 None mix052_pso.opt_rmo.opt_tso.opt.line659.yml true 15.19 9.44 None mix052_pso.opt_rmo.opt_tso.opt.line686.yml true 19.25 11.47 None mix052_pso.opt_rmo.opt_tso.opt.line687.yml true 15.70 9.88 None mix052_pso.opt_rmo.opt_tso.opt.line714.yml true 25.89 15.29 None mix052_pso.opt_rmo.opt_tso.opt.line715.yml true 29.05 16.64 None mix052_tso.oepc.line611.yml true 18.46 11.73 None mix052_tso.oepc.line612.yml true 15.51 10.02 None mix052_tso.oepc.line639.yml true 22.89 13.23 None mix052_tso.oepc.line640.yml true 17.29 10.91 None mix052_tso.oepc.line667.yml true 31.87 19.02 None mix052_tso.oepc.line668.yml true 25.48 16.65 None mix053.opt.line703.yml true 230.71 130.01 None mix053.opt.line704.yml true 241.38 140.04 None mix053.opt.line731.yml true 237.86 137.64 None mix053.opt.line732.yml true 303.28 169.91 None mix053.opt.line759.yml true 245.30 140.59 None mix053.opt.line760.yml true 304.70 171.66 None mix053.opt.line787.yml OUT OF MEMORY 328.07 182.73 None mix053.opt.line788.yml true 486.18 280.46 None mix053_power.oepc_pso.oepc_rmo.oepc.line844.yml OUT OF MEMORY 483.29 251.31 None mix053_power.oepc_pso.oepc_rmo.oepc.line845.yml OUT OF MEMORY 382.40 199.81 None mix053_power.oepc_pso.oepc_rmo.oepc.line872.yml OUT OF MEMORY 343.76 181.54 None mix053_power.oepc_pso.oepc_rmo.oepc.line873.yml OUT OF MEMORY 324.38 173.49 None mix053_power.oepc_pso.oepc_rmo.oepc.line900.yml OUT OF MEMORY 414.82 227.02 None mix053_power.oepc_pso.oepc_rmo.oepc.line901.yml OUT OF MEMORY 516.78 272.01 None mix053_power.oepc_pso.oepc_rmo.oepc.line928.yml OUT OF MEMORY 712.25 365.61 None mix053_power.oepc_pso.oepc_rmo.oepc.line929.yml OUT OF MEMORY 653.18 335.96 None mix053_tso.oepc.line656.yml OUT OF MEMORY 517.26 265.34 None mix053_tso.oepc.line657.yml OUT OF MEMORY 542.78 280.05 None mix053_tso.oepc.line684.yml OUT OF MEMORY 418.28 218.48 None mix053_tso.oepc.line685.yml OUT OF MEMORY 513.72 264.04 None mix053_tso.oepc.line712.yml OUT OF MEMORY 410.21 213.76 None mix053_tso.oepc.line713.yml OUT OF MEMORY 389.44 203.79 None mix053_tso.oepc.line740.yml OUT OF MEMORY 313.36 160.06 None mix053_tso.oepc.line741.yml OUT OF MEMORY 347.06 182.71 None mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.line657.yml true 7.28 5.03 None mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.line658.yml true 7.12 4.82 None mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.line685.yml true 7.82 5.35 None mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.line686.yml true 8.05 5.29 None mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.line516.yml true 7.11 4.82 None mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.line517.yml true 7.07 5.03 None mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.line544.yml true 6.89 4.69 None mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.line545.yml true 7.90 5.46 None mix055.opt.line609.yml true 87.40 52.37 None mix055.opt.line610.yml true 85.84 57.33 None mix055.opt.line637.yml true 88.40 55.44 None mix055.opt.line638.yml true 102.64 60.61 None mix055.opt.line665.yml true 91.75 57.81 None mix055.opt.line666.yml true 84.52 57.62 None mix055.opt.line693.yml true 182.09 107.00 None mix055.opt.line694.yml true 191.15 111.37 None mix055_power.oepc_pso.oepc_rmo.oepc.line844.yml OUT OF MEMORY 481.91 251.39 None mix055_power.oepc_pso.oepc_rmo.oepc.line845.yml OUT OF MEMORY 382.64 202.27 None mix055_power.oepc_pso.oepc_rmo.oepc.line872.yml OUT OF MEMORY 232.67 125.05 None mix055_power.oepc_pso.oepc_rmo.oepc.line873.yml OUT OF MEMORY 589.12 308.54 None mix055_power.oepc_pso.oepc_rmo.oepc.line900.yml OUT OF MEMORY 325.45 175.98 None mix055_power.oepc_pso.oepc_rmo.oepc.line901.yml OUT OF MEMORY 390.39 218.55 None mix055_power.oepc_pso.oepc_rmo.oepc.line928.yml OUT OF MEMORY 649.69 333.47 None mix055_power.oepc_pso.oepc_rmo.oepc.line929.yml OUT OF MEMORY 681.61 349.20 None mix055_tso.oepc.line703.yml OUT OF MEMORY 399.15 210.77 None mix055_tso.oepc.line704.yml OUT OF MEMORY 396.24 209.49 None mix055_tso.oepc.line731.yml OUT OF MEMORY 590.98 307.31 None mix055_tso.oepc.line732.yml OUT OF MEMORY 821.46 422.38 None mix055_tso.oepc.line759.yml OUT OF MEMORY 473.50 248.03 None mix055_tso.oepc.line760.yml OUT OF MEMORY 314.70 169.13 None mix055_tso.oepc.line787.yml OUT OF MEMORY 674.49 346.44 None mix055_tso.oepc.line788.yml OUT OF MEMORY 633.60 325.51 None mix056_power.oepc_pso.oepc_rmo.oepc.line749.yml true 17.43 12.54 None mix056_power.oepc_pso.oepc_rmo.oepc.line750.yml true 17.76 12.66 None mix056_power.oepc_pso.oepc_rmo.oepc.line777.yml true 20.11 12.55 None mix056_power.oepc_pso.oepc_rmo.oepc.line778.yml true 20.19 11.65 None mix056_power.oepc_pso.oepc_rmo.oepc.line805.yml true 25.37 18.58 None mix056_power.oepc_pso.oepc_rmo.oepc.line806.yml true 27.01 18.50 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line561.yml true 12.23 7.08 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line562.yml true 10.36 6.69 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line589.yml true 9.92 6.38 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line590.yml true 11.13 6.96 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line617.yml true 13.59 8.14 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line618.yml true 14.70 8.61 None mix057_power.oepc_pso.oepc_rmo.oepc.line841.yml OUT OF MEMORY 442.53 230.92 None mix057_power.oepc_pso.oepc_rmo.oepc.line842.yml OUT OF MEMORY 452.28 245.84 None mix057_power.oepc_pso.oepc_rmo.oepc.line869.yml OUT OF MEMORY 384.02 202.07 None mix057_power.oepc_pso.oepc_rmo.oepc.line870.yml OUT OF MEMORY 350.32 184.49 None mix057_power.oepc_pso.oepc_rmo.oepc.line897.yml OUT OF MEMORY 576.45 300.81 None mix057_power.oepc_pso.oepc_rmo.oepc.line898.yml OUT OF MEMORY 459.99 244.83 None mix057_power.oepc_pso.oepc_rmo.oepc.line925.yml OUT OF MEMORY 846.09 431.38 None mix057_power.oepc_pso.oepc_rmo.oepc.line926.yml OUT OF MEMORY 750.58 384.29 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line606.yml true 81.36 48.75 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line607.yml true 85.81 52.28 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line634.yml true 84.31 51.27 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line635.yml true 85.54 51.44 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line662.yml true 81.60 49.39 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line663.yml true 82.78 49.81 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line690.yml true 145.33 90.92 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line691.yml true 143.52 85.11 None mult-comm.wvr.line169.yml true 7.27 4.69 None mult-comm.wvr.line170.yml true 7.92 4.99 None mult-comm.wvr.line184.yml true 5.68 4.06 None mult-comm.wvr.line185.yml true 7.73 4.90 None mult-comm.wvr.line196.yml true 5.74 4.04 None mult-comm.wvr.line197.yml true 6.06 4.46 None mult-comm.wvr.line208.yml true 7.91 5.02 None mult-comm.wvr.line209.yml true 7.04 4.59 None mult-dist.wvr.line220.yml true 6.87 4.84 None mult-dist.wvr.line221.yml true 7.15 4.88 None mult-dist.wvr.line235.yml true 6.86 4.83 None mult-dist.wvr.line236.yml true 8.91 5.69 None mult-dist.wvr.line250.yml true 6.99 4.96 None mult-dist.wvr.line251.yml true 6.72 4.72 None mult-dist.wvr.line262.yml true 7.20 4.94 None mult-dist.wvr.line263.yml true 7.54 5.15 None mult-dist.wvr.line274.yml true 10.80 6.59 None mult-dist.wvr.line275.yml true 8.94 6.04 None mult-dist.wvr.line286.yml true 8.67 6.04 None mult-dist.wvr.line287.yml true 8.57 5.97 None mult-flipped-dist.wvr.line220.yml true 6.51 4.58 None mult-flipped-dist.wvr.line221.yml true 7.27 4.98 None mult-flipped-dist.wvr.line235.yml true 8.19 5.36 None mult-flipped-dist.wvr.line236.yml true 6.79 5.14 None mult-flipped-dist.wvr.line250.yml true 6.79 5.26 None mult-flipped-dist.wvr.line251.yml true 6.72 4.81 None mult-flipped-dist.wvr.line262.yml true 6.87 5.25 None mult-flipped-dist.wvr.line263.yml true 7.81 5.18 None mult-flipped-dist.wvr.line274.yml true 7.90 5.50 None mult-flipped-dist.wvr.line275.yml true 11.31 6.88 None mult-flipped-dist.wvr.line286.yml true 8.92 5.80 None mult-flipped-dist.wvr.line287.yml true 9.06 6.21 None parallel-bakery-2.wvr.line325.yml true 6.56 4.44 None parallel-bakery-2.wvr.line326.yml true 6.99 4.94 None parallel-bakery-2.wvr.line340.yml true 6.74 4.67 None parallel-bakery-2.wvr.line341.yml true 6.55 4.44 None parallel-bakery-2.wvr.line352.yml true 11.44 6.53 None parallel-bakery-2.wvr.line353.yml true 11.03 6.68 None parallel-bakery-2.wvr.line364.yml true 17.60 10.00 None parallel-bakery-2.wvr.line365.yml true 14.24 8.59 None parallel-bakery-3.wvr.line560.yml true 18.18 11.96 None parallel-bakery-3.wvr.line561.yml true 20.65 13.21 None parallel-bakery-3.wvr.line575.yml true 21.49 13.70 None parallel-bakery-3.wvr.line576.yml true 22.25 13.14 None parallel-bakery-3.wvr.line590.yml true 27.30 18.23 None parallel-bakery-3.wvr.line591.yml true 26.77 18.81 None parallel-bakery-3.wvr.line602.yml OUT OF MEMORY 745.72 378.90 None parallel-bakery-3.wvr.line603.yml OUT OF MEMORY 607.86 310.87 None parallel-bakery-3.wvr.line614.yml OUT OF MEMORY 548.66 282.34 None parallel-bakery-3.wvr.line615.yml OUT OF MEMORY 618.05 318.20 None parallel-bakery-3.wvr.line626.yml OUT OF MEMORY 571.39 291.21 None parallel-bakery-3.wvr.line627.yml OUT OF MEMORY 724.54 367.55 None -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 70502.52 79051.09 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk17 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk17 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk17 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk17 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk17 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk17 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk17 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk17 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk17 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk17 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk17 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk17 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk17 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk17 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk17 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk17 Run set 19 of 19: skipped Statistics: 900 Files correct: 583 correct true: 583 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 317 Score: 1166 (max: 1800)