BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk18, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk18, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk18 date: Sat, 2022-10-22 18:48:29 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-chunk18 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 ------------------------------------------------------------------------------------------------------------------------------------------- mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line776.yml true 16.26 10.62 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line777.yml true 14.40 10.46 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line804.yml true 20.18 11.67 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line805.yml true 15.54 9.70 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line832.yml true 23.18 15.32 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line833.yml true 21.01 15.08 None mix024_power.opt_pso.opt_rmo.opt.line729.yml true 27.90 16.60 None mix024_power.opt_pso.opt_rmo.opt.line730.yml true 27.33 16.20 None mix024_power.opt_pso.opt_rmo.opt.line757.yml true 28.60 17.05 None mix024_power.opt_pso.opt_rmo.opt.line758.yml true 31.58 27.77 None mix024_power.opt_pso.opt_rmo.opt.line785.yml true 39.89 41.23 None mix024_power.opt_pso.opt_rmo.opt.line786.yml true 39.17 25.54 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line760.yml true 13.71 9.88 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line761.yml true 13.83 8.92 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line788.yml true 13.18 8.56 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line789.yml true 14.70 9.17 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line816.yml true 20.79 13.42 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line817.yml true 21.62 14.03 None mix025_pso.opt_rmo.opt.line713.yml true 23.92 15.42 None mix025_pso.opt_rmo.opt.line714.yml true 27.24 15.96 None mix025_pso.opt_rmo.opt.line741.yml true 21.56 16.21 None mix025_pso.opt_rmo.opt.line742.yml true 23.59 15.36 None mix025_pso.opt_rmo.opt.line769.yml true 43.05 26.17 None mix025_pso.opt_rmo.opt.line770.yml true 41.84 24.90 None mix026.oepc.line855.yml OUT OF MEMORY 387.88 215.44 None mix026.oepc.line856.yml OUT OF MEMORY 298.93 169.66 None mix026.oepc.line883.yml OUT OF MEMORY 368.02 204.49 None mix026.oepc.line884.yml OUT OF MEMORY 363.19 203.63 None mix026.oepc.line911.yml OUT OF MEMORY 374.67 213.82 None mix026.oepc.line912.yml OUT OF MEMORY 410.29 232.38 None mix026.oepc.line939.yml OUT OF MEMORY 491.55 265.97 None mix026.oepc.line940.yml OUT OF MEMORY 614.77 324.59 None mix026_power.opt_tso.opt.line808.yml OUT OF MEMORY 611.91 374.51 None mix026_power.opt_tso.opt.line809.yml OUT OF MEMORY 467.88 263.59 None mix026_power.opt_tso.opt.line836.yml OUT OF MEMORY 449.58 269.43 None mix026_power.opt_tso.opt.line837.yml OUT OF MEMORY 603.86 519.55 None mix026_power.opt_tso.opt.line864.yml OUT OF MEMORY 664.66 356.67 None mix026_power.opt_tso.opt.line865.yml OUT OF MEMORY 596.18 319.43 None mix026_power.opt_tso.opt.line892.yml OUT OF MEMORY 464.28 248.92 None mix026_power.opt_tso.opt.line893.yml OUT OF MEMORY 495.92 266.06 None mix026_pso.opt_rmo.opt.line761.yml OUT OF MEMORY 380.15 214.68 None mix026_pso.opt_rmo.opt.line762.yml OUT OF MEMORY 535.15 281.61 None mix026_pso.opt_rmo.opt.line789.yml OUT OF MEMORY 418.57 230.05 None mix026_pso.opt_rmo.opt.line790.yml OUT OF MEMORY 372.20 203.34 None mix026_pso.opt_rmo.opt.line817.yml OUT OF MEMORY 455.78 243.47 None mix026_pso.opt_rmo.opt.line818.yml OUT OF MEMORY 338.66 194.62 None mix026_pso.opt_rmo.opt.line845.yml OUT OF MEMORY 463.95 250.55 None mix026_pso.opt_rmo.opt.line846.yml OUT OF MEMORY 547.50 282.90 None mix027_power.oepc_pso.oepc_rmo.oepc.line852.yml OUT OF MEMORY 373.42 208.69 None mix027_power.oepc_pso.oepc_rmo.oepc.line853.yml OUT OF MEMORY 376.95 209.65 None mix027_power.oepc_pso.oepc_rmo.oepc.line880.yml OUT OF MEMORY 550.64 349.46 None mix027_power.oepc_pso.oepc_rmo.oepc.line881.yml OUT OF MEMORY 336.29 186.76 None mix027_power.oepc_pso.oepc_rmo.oepc.line908.yml OUT OF MEMORY 440.15 245.91 None mix027_power.oepc_pso.oepc_rmo.oepc.line909.yml OUT OF MEMORY 388.38 218.45 None mix027_power.oepc_pso.oepc_rmo.oepc.line936.yml OUT OF MEMORY 403.05 227.67 None mix027_power.oepc_pso.oepc_rmo.oepc.line937.yml OUT OF MEMORY 476.45 265.93 None mix027_power.opt_pso.opt_rmo.opt.line758.yml OUT OF MEMORY 252.90 139.59 None mix027_power.opt_pso.opt_rmo.opt.line759.yml OUT OF MEMORY 429.08 229.71 None mix027_power.opt_pso.opt_rmo.opt.line786.yml OUT OF MEMORY 298.35 164.33 None mix027_power.opt_pso.opt_rmo.opt.line787.yml OUT OF MEMORY 322.37 188.01 None mix027_power.opt_pso.opt_rmo.opt.line814.yml OUT OF MEMORY 362.64 268.16 None mix027_power.opt_pso.opt_rmo.opt.line815.yml OUT OF MEMORY 348.21 188.53 None mix027_power.opt_pso.opt_rmo.opt.line842.yml OUT OF MEMORY 543.15 282.07 None mix027_power.opt_pso.opt_rmo.opt.line843.yml OUT OF MEMORY 404.50 212.86 None mix027_tso.line711.yml OUT OF MEMORY 344.33 192.88 None mix027_tso.line712.yml OUT OF MEMORY 342.35 191.46 None mix027_tso.line739.yml OUT OF MEMORY 329.57 197.80 None mix027_tso.line740.yml OUT OF MEMORY 284.77 177.78 None mix027_tso.line767.yml OUT OF MEMORY 108.39 75.38 None mix027_tso.line768.yml OUT OF MEMORY 281.48 164.09 None mix027_tso.line795.yml OUT OF MEMORY 388.87 237.07 None mix027_tso.line796.yml OUT OF MEMORY 498.24 266.30 None mix028_power.oepc_pso.oepc_rmo.oepc.line757.yml true 20.59 18.64 None mix028_power.oepc_pso.oepc_rmo.oepc.line758.yml true 14.46 10.06 None mix028_power.oepc_pso.oepc_rmo.oepc.line785.yml true 18.13 10.99 None mix028_power.oepc_pso.oepc_rmo.oepc.line786.yml true 14.24 10.21 None mix028_power.oepc_pso.oepc_rmo.oepc.line813.yml true 31.30 22.94 None mix028_power.oepc_pso.oepc_rmo.oepc.line814.yml true 27.52 16.11 None mix028_power.opt_pso.opt_rmo.opt.line616.yml true 14.64 9.46 None mix028_power.opt_pso.opt_rmo.opt.line617.yml true 14.54 10.08 None mix028_power.opt_pso.opt_rmo.opt.line644.yml true 14.42 9.97 None mix028_power.opt_pso.opt_rmo.opt.line645.yml true 14.21 10.91 None mix028_power.opt_pso.opt_rmo.opt.line672.yml true 22.47 13.80 None mix028_power.opt_pso.opt_rmo.opt.line673.yml true 20.78 13.74 None mix028_tso.line733.yml true 12.56 8.64 None mix028_tso.line734.yml true 9.89 7.53 None mix028_tso.line761.yml true 11.73 7.22 None mix028_tso.line762.yml true 12.97 8.66 None mix028_tso.line789.yml true 11.54 8.96 None mix028_tso.line790.yml true 13.24 8.58 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line852.yml OUT OF MEMORY 390.55 218.24 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line853.yml OUT OF MEMORY 401.78 233.32 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line880.yml OUT OF MEMORY 334.85 195.98 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line881.yml OUT OF MEMORY 425.19 239.90 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line908.yml OUT OF MEMORY 309.75 176.21 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line909.yml OUT OF MEMORY 371.13 205.76 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line936.yml OUT OF MEMORY 535.51 305.90 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line937.yml OUT OF MEMORY 446.26 239.38 None mix029_power.opt_pso.opt_rmo.opt.line664.yml true 253.70 147.05 None mix029_power.opt_pso.opt_rmo.opt.line665.yml true 248.55 144.57 None mix029_power.opt_pso.opt_rmo.opt.line692.yml true 251.15 144.01 None mix029_power.opt_pso.opt_rmo.opt.line693.yml true 295.54 165.35 None mix029_power.opt_pso.opt_rmo.opt.line720.yml true 253.55 160.13 None mix029_power.opt_pso.opt_rmo.opt.line721.yml true 240.33 137.97 None mix029_power.opt_pso.opt_rmo.opt.line748.yml true 616.82 326.08 None mix029_power.opt_pso.opt_rmo.opt.line749.yml true 507.57 279.01 None mix030_power.oepc_pso.oepc_rmo.oepc.line849.yml OUT OF MEMORY 515.43 288.04 None mix030_power.oepc_pso.oepc_rmo.oepc.line850.yml OUT OF MEMORY 448.24 253.42 None mix030_power.oepc_pso.oepc_rmo.oepc.line877.yml OUT OF MEMORY 334.29 190.31 None mix030_power.oepc_pso.oepc_rmo.oepc.line878.yml OUT OF MEMORY 397.80 222.09 None mix030_power.oepc_pso.oepc_rmo.oepc.line905.yml OUT OF MEMORY 324.26 183.02 None mix030_power.oepc_pso.oepc_rmo.oepc.line906.yml OUT OF MEMORY 297.60 168.18 None mix030_power.oepc_pso.oepc_rmo.oepc.line933.yml OUT OF MEMORY 429.42 235.82 None mix030_power.oepc_pso.oepc_rmo.oepc.line934.yml OUT OF MEMORY 553.81 296.74 None mix030_power.opt_pso.opt_rmo.opt.line661.yml true 232.04 132.34 None mix030_power.opt_pso.opt_rmo.opt.line662.yml true 253.54 144.38 None mix030_power.opt_pso.opt_rmo.opt.line689.yml true 235.56 134.12 None mix030_power.opt_pso.opt_rmo.opt.line690.yml true 248.14 152.03 None mix030_power.opt_pso.opt_rmo.opt.line717.yml true 231.97 132.15 None mix030_power.opt_pso.opt_rmo.opt.line718.yml true 248.38 140.35 None mix030_power.opt_pso.opt_rmo.opt.line745.yml true 469.33 252.78 None mix030_power.opt_pso.opt_rmo.opt.line746.yml true 614.27 324.26 None mix030_tso.line778.yml true 72.75 41.28 None mix030_tso.line779.yml true 57.43 34.59 None mix030_tso.line806.yml true 56.38 33.31 None mix030_tso.line807.yml true 58.05 35.97 None mix030_tso.line834.yml true 56.71 35.85 None mix030_tso.line835.yml true 58.80 36.26 None mix030_tso.line862.yml true 117.13 67.02 None mix030_tso.line863.yml true 96.91 59.89 None mix031.oepc.line692.yml true 6.24 4.70 None mix031.oepc.line693.yml true 6.63 4.51 None mix031.oepc.line720.yml true 6.88 4.56 None mix031.oepc.line721.yml true 7.17 4.71 None mix031.opt.line645.yml true 7.25 4.72 None mix031.opt.line646.yml true 6.72 4.67 None mix031.opt.line673.yml true 7.31 4.74 None mix031.opt.line674.yml true 7.31 4.86 None mix032.oepc.line787.yml true 16.38 9.94 None mix032.oepc.line788.yml true 16.57 10.04 None mix032.oepc.line815.yml true 15.72 9.91 None mix032.oepc.line816.yml true 16.17 10.28 None mix032.oepc.line843.yml true 22.03 14.28 None mix032.oepc.line844.yml true 21.67 15.20 None mix032.opt.line693.yml true 10.97 7.39 None mix032.opt.line694.yml true 11.28 7.71 None mix032.opt.line721.yml true 11.37 7.50 None mix032.opt.line722.yml true 11.98 7.78 None mix032.opt.line749.yml true 17.02 10.23 None mix032.opt.line750.yml true 15.06 9.80 None mix033.opt.line690.yml true 12.48 7.82 None mix033.opt.line691.yml true 11.26 7.35 None mix033.opt.line718.yml true 14.81 8.69 None mix033.opt.line719.yml true 12.45 7.81 None mix033.opt.line746.yml true 16.31 10.58 None mix033.opt.line747.yml true 14.78 9.29 None mix033_power.oepc_pso.oepc_rmo.oepc.line784.yml true 14.24 10.00 None mix033_power.oepc_pso.oepc_rmo.oepc.line785.yml true 14.83 9.55 None mix033_power.oepc_pso.oepc_rmo.oepc.line812.yml true 14.44 9.30 None mix033_power.oepc_pso.oepc_rmo.oepc.line813.yml true 13.85 9.41 None mix033_power.oepc_pso.oepc_rmo.oepc.line840.yml true 27.59 16.12 None mix033_power.oepc_pso.oepc_rmo.oepc.line841.yml true 21.54 13.37 None mix033_tso.oepc.line643.yml true 13.82 8.39 None mix033_tso.oepc.line644.yml true 13.62 9.50 None mix033_tso.oepc.line671.yml true 14.64 9.42 None mix033_tso.oepc.line672.yml true 14.15 9.28 None mix033_tso.oepc.line699.yml true 19.83 13.29 None mix033_tso.oepc.line700.yml true 25.90 15.03 None mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line676.yml true 6.31 4.30 None mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line677.yml true 6.42 4.31 None mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line704.yml true 6.74 4.96 None mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line705.yml true 6.87 4.56 None mix034_pso.opt_tso.opt.line629.yml true 6.07 4.49 None mix034_pso.opt_tso.opt.line630.yml true 8.13 5.07 None mix034_pso.opt_tso.opt.line657.yml true 6.71 5.03 None mix034_pso.opt_tso.opt.line658.yml true 6.55 4.41 None mix035.oepc.line771.yml true 13.07 8.61 None mix035.oepc.line772.yml true 13.16 9.37 None mix035.oepc.line799.yml true 14.24 9.40 None mix035.oepc.line800.yml true 14.19 9.38 None mix035.oepc.line827.yml true 23.74 14.24 None mix035.oepc.line828.yml true 19.58 13.41 None mix035_power.opt_rmo.opt.line724.yml true 20.81 13.18 None mix035_power.opt_rmo.opt.line725.yml true 26.81 15.78 None mix035_power.opt_rmo.opt.line752.yml true 20.85 12.95 None mix035_power.opt_rmo.opt.line753.yml true 21.43 14.03 None mix035_power.opt_rmo.opt.line780.yml true 35.96 23.19 None mix035_power.opt_rmo.opt.line781.yml true 43.45 25.56 None mix035_pso.opt_tso.opt.line677.yml true 11.37 7.79 None mix035_pso.opt_tso.opt.line678.yml true 12.01 7.60 None mix035_pso.opt_tso.opt.line705.yml true 11.05 7.33 None mix035_pso.opt_tso.opt.line706.yml true 11.63 7.71 None mix035_pso.opt_tso.opt.line733.yml true 16.24 9.86 None mix035_pso.opt_tso.opt.line734.yml true 14.33 9.35 None mix036.oepc.line866.yml OUT OF MEMORY 492.92 266.31 None mix036.oepc.line867.yml OUT OF MEMORY 359.06 202.10 None mix036.oepc.line894.yml OUT OF MEMORY 356.35 195.45 None mix036.oepc.line895.yml OUT OF MEMORY 265.35 158.17 None mix036.oepc.line922.yml OUT OF MEMORY 298.97 177.63 None mix036.oepc.line923.yml OUT OF MEMORY 320.40 180.67 None mix036.oepc.line950.yml OUT OF MEMORY 425.43 233.44 None mix036.oepc.line951.yml OUT OF MEMORY 558.44 298.60 None mix036_power.opt_rmo.opt.line772.yml OUT OF MEMORY 357.83 191.56 None mix036_power.opt_rmo.opt.line773.yml OUT OF MEMORY 246.36 136.67 None mix036_power.opt_rmo.opt.line800.yml OUT OF MEMORY 380.72 207.28 None mix036_power.opt_rmo.opt.line801.yml OUT OF MEMORY 477.86 254.09 None mix036_power.opt_rmo.opt.line828.yml OUT OF MEMORY 213.48 120.15 None mix036_power.opt_rmo.opt.line829.yml OUT OF MEMORY 321.12 175.65 None mix036_power.opt_rmo.opt.line856.yml OUT OF MEMORY 449.60 241.85 None mix036_power.opt_rmo.opt.line857.yml OUT OF MEMORY 563.20 291.00 None mix036_pso.opt_tso.opt.line725.yml true 165.26 93.73 None mix036_pso.opt_tso.opt.line726.yml true 169.77 96.26 None mix036_pso.opt_tso.opt.line753.yml true 153.14 83.69 None mix036_pso.opt_tso.opt.line754.yml true 168.05 94.35 None mix036_pso.opt_tso.opt.line781.yml true 167.53 93.02 None mix036_pso.opt_tso.opt.line782.yml true 161.80 89.60 None mix036_pso.opt_tso.opt.line809.yml true 334.63 181.27 None mix036_pso.opt_tso.opt.line810.yml true 336.48 183.57 None mix037.opt.line722.yml true 200.09 107.35 None mix037.opt.line723.yml true 197.18 106.53 None mix037.opt.line750.yml true 163.71 97.59 None mix037.opt.line751.yml true 164.19 92.88 None mix037.opt.line778.yml true 156.58 85.83 None mix037.opt.line779.yml true 166.80 93.01 None mix037.opt.line806.yml true 310.70 168.82 None mix037.opt.line807.yml true 310.44 168.42 None mix037_power.oepc_pso.oepc_rmo.oepc.line863.yml OUT OF MEMORY 382.62 214.23 None mix037_power.oepc_pso.oepc_rmo.oepc.line864.yml OUT OF MEMORY 386.32 215.85 None mix037_power.oepc_pso.oepc_rmo.oepc.line891.yml OUT OF MEMORY 300.88 171.47 None mix037_power.oepc_pso.oepc_rmo.oepc.line892.yml OUT OF MEMORY 323.60 192.18 None mix037_power.oepc_pso.oepc_rmo.oepc.line919.yml OUT OF MEMORY 355.03 203.59 None mix037_power.oepc_pso.oepc_rmo.oepc.line920.yml OUT OF MEMORY 387.09 214.50 None mix037_power.oepc_pso.oepc_rmo.oepc.line947.yml OUT OF MEMORY 509.99 274.98 None mix037_power.oepc_pso.oepc_rmo.oepc.line948.yml OUT OF MEMORY 398.73 217.64 None mix037_tso.oepc.line722.yml OUT OF MEMORY 349.99 197.45 None mix037_tso.oepc.line723.yml OUT OF MEMORY 372.08 209.69 None mix037_tso.oepc.line750.yml OUT OF MEMORY 321.87 182.95 None mix037_tso.oepc.line751.yml OUT OF MEMORY 361.20 201.28 None mix037_tso.oepc.line778.yml OUT OF MEMORY 316.93 183.78 None mix037_tso.oepc.line779.yml OUT OF MEMORY 239.44 136.99 None mix037_tso.oepc.line806.yml OUT OF MEMORY 532.26 282.67 None mix037_tso.oepc.line807.yml OUT OF MEMORY 382.04 206.21 None mix038.opt.line674.yml true 12.31 7.59 None mix038.opt.line675.yml true 13.11 7.88 None mix038.opt.line702.yml true 12.43 7.80 None mix038.opt.line703.yml true 13.35 8.18 None mix038.opt.line730.yml true 16.30 11.07 None mix038.opt.line731.yml true 15.67 9.72 None mix038_power.oepc_pso.oepc_rmo.oepc.line768.yml true 14.08 10.01 None mix038_power.oepc_pso.oepc_rmo.oepc.line769.yml true 14.56 9.75 None mix038_power.oepc_pso.oepc_rmo.oepc.line796.yml true 15.24 9.39 None mix038_power.oepc_pso.oepc_rmo.oepc.line797.yml true 17.24 10.51 None mix038_power.oepc_pso.oepc_rmo.oepc.line824.yml true 21.68 14.29 None mix038_power.oepc_pso.oepc_rmo.oepc.line825.yml true 29.75 16.84 None mix038_tso.oepc.line627.yml true 14.12 8.67 None mix038_tso.oepc.line628.yml true 12.45 9.90 None mix038_tso.oepc.line655.yml true 13.04 8.44 None mix038_tso.oepc.line656.yml true 13.96 9.31 None mix038_tso.oepc.line683.yml true 19.37 12.68 None mix038_tso.oepc.line684.yml true 19.58 13.16 None mix039.oepc.line863.yml OUT OF MEMORY 380.53 213.20 None mix039.oepc.line864.yml OUT OF MEMORY 288.56 165.04 None mix039.oepc.line891.yml OUT OF MEMORY 436.22 249.75 None mix039.oepc.line892.yml OUT OF MEMORY 361.73 200.40 None mix039.oepc.line919.yml OUT OF MEMORY 285.76 164.07 None mix039.oepc.line920.yml OUT OF MEMORY 357.93 202.96 None mix039.oepc.line947.yml OUT OF MEMORY 465.31 256.45 None mix039.oepc.line948.yml OUT OF MEMORY 464.36 254.28 None mix039.opt.line722.yml true 166.83 92.96 None mix039.opt.line723.yml true 160.78 88.83 None mix039.opt.line750.yml true 199.65 107.61 None mix039.opt.line751.yml true 200.50 108.62 None mix039.opt.line778.yml true 166.73 92.77 None mix039.opt.line779.yml true 161.83 90.90 None mix039.opt.line806.yml true 290.08 156.47 None mix039.opt.line807.yml true 387.71 207.69 None mix040.opt.line719.yml true 205.63 110.92 None mix040.opt.line720.yml true 156.39 85.05 None mix040.opt.line747.yml true 158.33 86.71 None mix040.opt.line748.yml true 197.54 107.18 None mix040.opt.line775.yml true 166.03 95.46 None mix040.opt.line776.yml true 161.62 89.60 None mix040.opt.line803.yml true 318.53 172.52 None mix040.opt.line804.yml true 392.88 209.47 None mix040_power.oepc_pso.oepc_rmo.oepc.line860.yml OUT OF MEMORY 306.59 173.85 None mix040_power.oepc_pso.oepc_rmo.oepc.line861.yml OUT OF MEMORY 465.21 258.24 None mix040_power.oepc_pso.oepc_rmo.oepc.line888.yml OUT OF MEMORY 249.89 145.32 None mix040_power.oepc_pso.oepc_rmo.oepc.line889.yml OUT OF MEMORY 364.29 200.71 None mix040_power.oepc_pso.oepc_rmo.oepc.line916.yml OUT OF MEMORY 283.09 163.28 None mix040_power.oepc_pso.oepc_rmo.oepc.line917.yml OUT OF MEMORY 381.73 215.32 None mix040_power.oepc_pso.oepc_rmo.oepc.line944.yml OUT OF MEMORY 503.50 268.78 None mix040_power.oepc_pso.oepc_rmo.oepc.line945.yml OUT OF MEMORY 390.16 213.06 None mix040_tso.oepc.line672.yml true 247.53 143.45 None mix040_tso.oepc.line673.yml true 231.86 131.38 None mix040_tso.oepc.line700.yml true 294.01 162.89 None mix040_tso.oepc.line701.yml true 286.32 159.72 None mix040_tso.oepc.line728.yml true 235.68 136.66 None mix040_tso.oepc.line729.yml true 223.16 127.48 None mix040_tso.oepc.line756.yml true 434.82 236.23 None mix040_tso.oepc.line757.yml true 533.75 284.35 None ------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 61754.77 2691.37 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk18 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 ------------------------------------------------------------------------------------------------------------------------------------------- mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line776.yml true 13.14 8.83 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line777.yml true 13.34 9.40 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line804.yml true 16.50 10.12 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line805.yml true 14.17 9.03 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line832.yml true 19.42 13.56 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line833.yml true 19.52 13.55 None mix024_power.opt_pso.opt_rmo.opt.line729.yml true 24.20 14.77 None mix024_power.opt_pso.opt_rmo.opt.line730.yml true 24.95 15.09 None mix024_power.opt_pso.opt_rmo.opt.line757.yml true 24.41 14.71 None mix024_power.opt_pso.opt_rmo.opt.line758.yml true 21.05 13.05 None mix024_power.opt_pso.opt_rmo.opt.line785.yml true 32.32 21.65 None mix024_power.opt_pso.opt_rmo.opt.line786.yml true 31.86 21.32 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line760.yml true 12.65 8.34 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line761.yml true 12.77 8.05 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line788.yml true 14.53 8.64 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line789.yml true 14.72 9.10 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line816.yml true 19.23 12.13 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line817.yml true 19.48 11.70 None mix025_pso.opt_rmo.opt.line713.yml true 18.14 12.83 None mix025_pso.opt_rmo.opt.line714.yml true 22.86 14.06 None mix025_pso.opt_rmo.opt.line741.yml true 19.45 12.31 None mix025_pso.opt_rmo.opt.line742.yml true 19.29 14.17 None mix025_pso.opt_rmo.opt.line769.yml true 30.89 21.07 None mix025_pso.opt_rmo.opt.line770.yml true 37.47 22.81 None mix026.oepc.line855.yml OUT OF MEMORY 295.75 170.19 None mix026.oepc.line856.yml OUT OF MEMORY 270.96 156.80 None mix026.oepc.line883.yml OUT OF MEMORY 336.39 186.98 None mix026.oepc.line884.yml OUT OF MEMORY 520.55 287.61 None mix026.oepc.line911.yml OUT OF MEMORY 257.59 151.73 None mix026.oepc.line912.yml OUT OF MEMORY 279.12 163.45 None mix026.oepc.line939.yml OUT OF MEMORY 442.93 240.18 None mix026.oepc.line940.yml OUT OF MEMORY 439.38 241.17 None mix026_power.opt_tso.opt.line808.yml OUT OF MEMORY 345.10 198.27 None mix026_power.opt_tso.opt.line809.yml OUT OF MEMORY 512.25 277.40 None mix026_power.opt_tso.opt.line836.yml OUT OF MEMORY 305.11 172.84 None mix026_power.opt_tso.opt.line837.yml OUT OF MEMORY 389.63 232.28 None mix026_power.opt_tso.opt.line864.yml OUT OF MEMORY 446.85 250.87 None mix026_power.opt_tso.opt.line865.yml OUT OF MEMORY 556.97 302.30 None mix026_power.opt_tso.opt.line892.yml OUT OF MEMORY 547.34 291.49 None mix026_power.opt_tso.opt.line893.yml OUT OF MEMORY 428.83 232.48 None mix026_pso.opt_rmo.opt.line761.yml OUT OF MEMORY 389.61 213.00 None mix026_pso.opt_rmo.opt.line762.yml OUT OF MEMORY 455.52 243.71 None mix026_pso.opt_rmo.opt.line789.yml OUT OF MEMORY 347.58 188.33 None mix026_pso.opt_rmo.opt.line790.yml OUT OF MEMORY 357.70 192.06 None mix026_pso.opt_rmo.opt.line817.yml OUT OF MEMORY 355.69 196.30 None mix026_pso.opt_rmo.opt.line818.yml OUT OF MEMORY 271.23 156.11 None mix026_pso.opt_rmo.opt.line845.yml OUT OF MEMORY 496.53 259.85 None mix026_pso.opt_rmo.opt.line846.yml OUT OF MEMORY 416.91 221.20 None mix027_power.oepc_pso.oepc_rmo.oepc.line852.yml OUT OF MEMORY 288.14 168.61 None mix027_power.oepc_pso.oepc_rmo.oepc.line853.yml OUT OF MEMORY 373.90 209.24 None mix027_power.oepc_pso.oepc_rmo.oepc.line880.yml OUT OF MEMORY 384.44 213.80 None mix027_power.oepc_pso.oepc_rmo.oepc.line881.yml OUT OF MEMORY 451.19 248.49 None mix027_power.oepc_pso.oepc_rmo.oepc.line908.yml OUT OF MEMORY 263.16 153.22 None mix027_power.oepc_pso.oepc_rmo.oepc.line909.yml OUT OF MEMORY 203.69 120.92 None mix027_power.oepc_pso.oepc_rmo.oepc.line936.yml OUT OF MEMORY 513.44 276.58 None mix027_power.oepc_pso.oepc_rmo.oepc.line937.yml OUT OF MEMORY 428.58 231.80 None mix027_power.opt_pso.opt_rmo.opt.line758.yml OUT OF MEMORY 322.14 182.52 None mix027_power.opt_pso.opt_rmo.opt.line759.yml OUT OF MEMORY 361.65 201.27 None mix027_power.opt_pso.opt_rmo.opt.line786.yml OUT OF MEMORY 368.11 198.92 None mix027_power.opt_pso.opt_rmo.opt.line787.yml OUT OF MEMORY 291.57 164.51 None mix027_power.opt_pso.opt_rmo.opt.line814.yml OUT OF MEMORY 277.74 153.45 None mix027_power.opt_pso.opt_rmo.opt.line815.yml OUT OF MEMORY 353.71 195.24 None mix027_power.opt_pso.opt_rmo.opt.line842.yml OUT OF MEMORY 600.42 310.87 None mix027_power.opt_pso.opt_rmo.opt.line843.yml OUT OF MEMORY 418.26 219.31 None mix027_tso.line711.yml OUT OF MEMORY 257.37 150.18 None mix027_tso.line712.yml OUT OF MEMORY 295.32 169.52 None mix027_tso.line739.yml OUT OF MEMORY 248.05 144.69 None mix027_tso.line740.yml OUT OF MEMORY 359.71 201.42 None mix027_tso.line767.yml OUT OF MEMORY 285.95 175.59 None mix027_tso.line768.yml OUT OF MEMORY 344.29 193.61 None mix027_tso.line795.yml OUT OF MEMORY 444.56 246.56 None mix027_tso.line796.yml OUT OF MEMORY 442.56 244.23 None mix028_power.oepc_pso.oepc_rmo.oepc.line757.yml true 16.91 9.99 None mix028_power.oepc_pso.oepc_rmo.oepc.line758.yml true 13.06 8.56 None mix028_power.oepc_pso.oepc_rmo.oepc.line785.yml true 15.87 9.70 None mix028_power.oepc_pso.oepc_rmo.oepc.line786.yml true 13.15 8.61 None mix028_power.oepc_pso.oepc_rmo.oepc.line813.yml true 22.72 13.64 None mix028_power.oepc_pso.oepc_rmo.oepc.line814.yml true 18.97 12.19 None mix028_power.opt_pso.opt_rmo.opt.line616.yml true 15.80 9.54 None mix028_power.opt_pso.opt_rmo.opt.line617.yml true 13.63 8.30 None mix028_power.opt_pso.opt_rmo.opt.line644.yml true 13.86 8.96 None mix028_power.opt_pso.opt_rmo.opt.line645.yml true 16.04 9.67 None mix028_power.opt_pso.opt_rmo.opt.line672.yml true 19.26 12.01 None mix028_power.opt_pso.opt_rmo.opt.line673.yml true 17.69 11.19 None mix028_tso.line733.yml true 9.02 6.08 None mix028_tso.line734.yml true 9.55 6.70 None mix028_tso.line761.yml true 12.07 7.10 None mix028_tso.line762.yml true 9.75 6.42 None mix028_tso.line789.yml true 11.78 7.24 None mix028_tso.line790.yml true 13.73 8.27 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line852.yml OUT OF MEMORY 339.97 194.93 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line853.yml OUT OF MEMORY 242.50 142.16 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line880.yml OUT OF MEMORY 447.19 245.79 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line881.yml OUT OF MEMORY 334.66 189.42 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line908.yml OUT OF MEMORY 251.73 148.64 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line909.yml OUT OF MEMORY 258.14 151.72 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line936.yml OUT OF MEMORY 379.55 209.94 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line937.yml OUT OF MEMORY 426.59 230.69 None mix029_power.opt_pso.opt_rmo.opt.line664.yml true 203.19 129.34 None mix029_power.opt_pso.opt_rmo.opt.line665.yml true 246.79 136.76 None mix029_power.opt_pso.opt_rmo.opt.line692.yml true 247.26 139.29 None mix029_power.opt_pso.opt_rmo.opt.line693.yml true 248.57 136.98 None mix029_power.opt_pso.opt_rmo.opt.line720.yml true 196.38 110.84 None mix029_power.opt_pso.opt_rmo.opt.line721.yml true 206.50 119.08 None mix029_power.opt_pso.opt_rmo.opt.line748.yml true 398.60 221.49 None mix029_power.opt_pso.opt_rmo.opt.line749.yml true 417.01 235.37 None mix030_power.oepc_pso.oepc_rmo.oepc.line849.yml OUT OF MEMORY 289.37 168.93 None mix030_power.oepc_pso.oepc_rmo.oepc.line850.yml OUT OF MEMORY 354.31 201.47 None mix030_power.oepc_pso.oepc_rmo.oepc.line877.yml OUT OF MEMORY 279.26 163.56 None mix030_power.oepc_pso.oepc_rmo.oepc.line878.yml OUT OF MEMORY 435.78 253.45 None mix030_power.oepc_pso.oepc_rmo.oepc.line905.yml OUT OF MEMORY 384.51 219.60 None mix030_power.oepc_pso.oepc_rmo.oepc.line906.yml OUT OF MEMORY 399.38 222.60 None mix030_power.oepc_pso.oepc_rmo.oepc.line933.yml OUT OF MEMORY 532.17 284.10 None mix030_power.oepc_pso.oepc_rmo.oepc.line934.yml OUT OF MEMORY 434.42 234.58 None mix030_power.opt_pso.opt_rmo.opt.line661.yml true 242.58 134.21 None mix030_power.opt_pso.opt_rmo.opt.line662.yml true 247.96 137.20 None mix030_power.opt_pso.opt_rmo.opt.line689.yml true 202.65 114.66 None mix030_power.opt_pso.opt_rmo.opt.line690.yml true 192.12 109.53 None mix030_power.opt_pso.opt_rmo.opt.line717.yml true 203.47 119.60 None mix030_power.opt_pso.opt_rmo.opt.line718.yml true 207.81 117.02 None mix030_power.opt_pso.opt_rmo.opt.line745.yml true 376.07 209.35 None mix030_power.opt_pso.opt_rmo.opt.line746.yml true 393.23 221.10 None mix030_tso.line778.yml true 50.65 30.59 None mix030_tso.line779.yml true 52.21 32.19 None mix030_tso.line806.yml true 62.87 36.37 None mix030_tso.line807.yml true 64.19 36.84 None mix030_tso.line834.yml true 56.31 34.83 None mix030_tso.line835.yml true 50.70 30.69 None mix030_tso.line862.yml true 93.35 54.59 None mix030_tso.line863.yml true 110.87 64.62 None mix031.oepc.line692.yml true 6.32 4.37 None mix031.oepc.line693.yml true 6.65 4.53 None mix031.oepc.line720.yml true 9.01 5.58 None mix031.oepc.line721.yml true 7.40 5.00 None mix031.opt.line645.yml true 6.86 4.78 None mix031.opt.line646.yml true 6.77 4.56 None mix031.opt.line673.yml true 7.16 4.87 None mix031.opt.line674.yml true 7.39 4.91 None mix032.oepc.line787.yml true 18.20 10.58 None mix032.oepc.line788.yml true 13.67 8.73 None mix032.oepc.line815.yml true 14.41 9.83 None mix032.oepc.line816.yml true 14.49 9.73 None mix032.oepc.line843.yml true 23.92 14.38 None mix032.oepc.line844.yml true 25.83 15.10 None mix032.opt.line693.yml true 11.41 7.23 None mix032.opt.line694.yml true 10.50 7.41 None mix032.opt.line721.yml true 12.30 7.72 None mix032.opt.line722.yml true 12.20 7.81 None mix032.opt.line749.yml true 16.42 10.88 None mix032.opt.line750.yml true 16.09 9.69 None mix033.opt.line690.yml true 11.57 7.75 None mix033.opt.line691.yml true 12.76 8.25 None mix033.opt.line718.yml true 11.55 7.59 None mix033.opt.line719.yml true 12.96 8.44 None mix033.opt.line746.yml true 22.06 12.38 None mix033.opt.line747.yml true 20.63 11.91 None mix033_power.oepc_pso.oepc_rmo.oepc.line784.yml true 13.59 9.30 None mix033_power.oepc_pso.oepc_rmo.oepc.line785.yml true 13.40 9.34 None mix033_power.oepc_pso.oepc_rmo.oepc.line812.yml true 13.95 9.24 None mix033_power.oepc_pso.oepc_rmo.oepc.line813.yml true 13.55 8.62 None mix033_power.oepc_pso.oepc_rmo.oepc.line840.yml true 21.95 14.33 None mix033_power.oepc_pso.oepc_rmo.oepc.line841.yml true 21.08 13.60 None mix033_tso.oepc.line643.yml true 13.81 8.54 None mix033_tso.oepc.line644.yml true 13.18 8.49 None mix033_tso.oepc.line671.yml true 16.41 9.87 None mix033_tso.oepc.line672.yml true 18.25 10.50 None mix033_tso.oepc.line699.yml true 18.49 12.54 None mix033_tso.oepc.line700.yml true 17.64 11.12 None mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line676.yml true 6.41 4.35 None mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line677.yml true 6.08 4.61 None mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line704.yml true 7.04 4.97 None mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line705.yml true 6.94 4.74 None mix034_pso.opt_tso.opt.line629.yml true 6.54 4.36 None mix034_pso.opt_tso.opt.line630.yml true 6.16 4.51 None mix034_pso.opt_tso.opt.line657.yml true 7.21 4.84 None mix034_pso.opt_tso.opt.line658.yml true 7.56 5.19 None mix035.oepc.line771.yml true 12.01 7.80 None mix035.oepc.line772.yml true 14.94 9.13 None mix035.oepc.line799.yml true 16.67 9.99 None mix035.oepc.line800.yml true 13.63 8.66 None mix035.oepc.line827.yml true 18.42 11.60 None mix035.oepc.line828.yml true 17.19 11.63 None mix035_power.opt_rmo.opt.line724.yml true 24.71 14.32 None mix035_power.opt_rmo.opt.line725.yml true 19.04 12.71 None mix035_power.opt_rmo.opt.line752.yml true 19.49 13.02 None mix035_power.opt_rmo.opt.line753.yml true 19.68 12.41 None mix035_power.opt_rmo.opt.line780.yml true 30.16 20.95 None mix035_power.opt_rmo.opt.line781.yml true 31.46 20.66 None mix035_pso.opt_tso.opt.line677.yml true 12.75 7.84 None mix035_pso.opt_tso.opt.line678.yml true 14.25 8.25 None mix035_pso.opt_tso.opt.line705.yml true 11.55 7.18 None mix035_pso.opt_tso.opt.line706.yml true 10.95 7.31 None mix035_pso.opt_tso.opt.line733.yml true 14.51 9.56 None mix035_pso.opt_tso.opt.line734.yml true 16.71 10.35 None mix036.oepc.line866.yml OUT OF MEMORY 331.79 187.17 None mix036.oepc.line867.yml OUT OF MEMORY 443.83 241.05 None mix036.oepc.line894.yml OUT OF MEMORY 403.56 226.47 None mix036.oepc.line895.yml OUT OF MEMORY 326.02 183.60 None mix036.oepc.line922.yml OUT OF MEMORY 241.96 144.07 None mix036.oepc.line923.yml OUT OF MEMORY 319.54 183.44 None mix036.oepc.line950.yml OUT OF MEMORY 515.26 277.26 None mix036.oepc.line951.yml OUT OF MEMORY 494.32 265.89 None mix036_power.opt_rmo.opt.line772.yml OUT OF MEMORY 311.30 174.74 None mix036_power.opt_rmo.opt.line773.yml OUT OF MEMORY 327.89 180.55 None mix036_power.opt_rmo.opt.line800.yml OUT OF MEMORY 362.70 197.34 None mix036_power.opt_rmo.opt.line801.yml OUT OF MEMORY 468.04 248.47 None mix036_power.opt_rmo.opt.line828.yml OUT OF MEMORY 206.54 119.24 None mix036_power.opt_rmo.opt.line829.yml OUT OF MEMORY 226.91 131.06 None mix036_power.opt_rmo.opt.line856.yml OUT OF MEMORY 445.35 232.98 None mix036_power.opt_rmo.opt.line857.yml OUT OF MEMORY 566.04 295.12 None mix036_pso.opt_tso.opt.line725.yml true 141.28 89.35 None mix036_pso.opt_tso.opt.line726.yml true 178.87 99.32 None mix036_pso.opt_tso.opt.line753.yml true 137.85 78.63 None mix036_pso.opt_tso.opt.line754.yml true 147.95 85.19 None mix036_pso.opt_tso.opt.line781.yml true 143.34 81.89 None mix036_pso.opt_tso.opt.line782.yml true 148.71 86.03 None mix036_pso.opt_tso.opt.line809.yml true 281.11 154.72 None mix036_pso.opt_tso.opt.line810.yml true 287.21 161.46 None mix037.opt.line722.yml true 181.58 99.77 None mix037.opt.line723.yml true 174.26 96.87 None mix037.opt.line750.yml true 137.41 77.30 None mix037.opt.line751.yml true 150.45 86.91 None mix037.opt.line778.yml true 152.36 93.55 None mix037.opt.line779.yml true 146.89 83.84 None mix037.opt.line806.yml true 303.19 168.46 None mix037.opt.line807.yml true 302.93 168.01 None mix037_power.oepc_pso.oepc_rmo.oepc.line863.yml OUT OF MEMORY 368.85 207.90 None mix037_power.oepc_pso.oepc_rmo.oepc.line864.yml OUT OF MEMORY 312.81 181.79 None mix037_power.oepc_pso.oepc_rmo.oepc.line891.yml OUT OF MEMORY 383.17 213.37 None mix037_power.oepc_pso.oepc_rmo.oepc.line892.yml OUT OF MEMORY 213.20 124.96 None mix037_power.oepc_pso.oepc_rmo.oepc.line919.yml OUT OF MEMORY 255.03 151.05 None mix037_power.oepc_pso.oepc_rmo.oepc.line920.yml OUT OF MEMORY 340.02 201.30 None mix037_power.oepc_pso.oepc_rmo.oepc.line947.yml OUT OF MEMORY 589.88 313.09 None mix037_power.oepc_pso.oepc_rmo.oepc.line948.yml OUT OF MEMORY 417.31 240.02 None mix037_tso.oepc.line722.yml OUT OF MEMORY 258.04 157.44 None mix037_tso.oepc.line723.yml OUT OF MEMORY 329.66 186.15 None mix037_tso.oepc.line750.yml OUT OF MEMORY 259.49 153.76 None mix037_tso.oepc.line751.yml OUT OF MEMORY 297.54 178.96 None mix037_tso.oepc.line778.yml OUT OF MEMORY 361.93 208.38 None mix037_tso.oepc.line779.yml OUT OF MEMORY 208.10 123.77 None mix037_tso.oepc.line806.yml OUT OF MEMORY 465.80 254.68 None mix037_tso.oepc.line807.yml OUT OF MEMORY 608.33 320.82 None mix038.opt.line674.yml true 13.75 8.47 None mix038.opt.line675.yml true 15.04 8.82 None mix038.opt.line702.yml true 11.87 7.37 None mix038.opt.line703.yml true 14.27 8.73 None mix038.opt.line730.yml true 15.79 9.81 None mix038.opt.line731.yml true 21.09 12.08 None mix038_power.oepc_pso.oepc_rmo.oepc.line768.yml true 13.40 8.52 None mix038_power.oepc_pso.oepc_rmo.oepc.line769.yml true 15.98 9.71 None mix038_power.oepc_pso.oepc_rmo.oepc.line796.yml true 14.34 8.80 None mix038_power.oepc_pso.oepc_rmo.oepc.line797.yml true 14.26 9.40 None mix038_power.oepc_pso.oepc_rmo.oepc.line824.yml true 20.80 12.89 None mix038_power.oepc_pso.oepc_rmo.oepc.line825.yml true 23.24 13.80 None mix038_tso.oepc.line627.yml true 14.24 8.49 None mix038_tso.oepc.line628.yml true 13.44 9.04 None mix038_tso.oepc.line655.yml true 14.12 8.78 None mix038_tso.oepc.line656.yml true 17.51 10.32 None mix038_tso.oepc.line683.yml true 18.03 12.57 None mix038_tso.oepc.line684.yml true 18.78 12.35 None mix039.oepc.line863.yml OUT OF MEMORY 378.58 212.19 None mix039.oepc.line864.yml OUT OF MEMORY 288.34 167.14 None mix039.oepc.line891.yml OUT OF MEMORY 263.01 153.56 None mix039.oepc.line892.yml OUT OF MEMORY 275.85 160.07 None mix039.oepc.line919.yml OUT OF MEMORY 322.16 184.20 None mix039.oepc.line920.yml OUT OF MEMORY 280.92 163.28 None mix039.oepc.line947.yml OUT OF MEMORY 448.23 242.75 None mix039.oepc.line948.yml OUT OF MEMORY 418.86 227.19 None mix039.opt.line722.yml true 147.53 88.50 None mix039.opt.line723.yml true 153.31 88.34 None mix039.opt.line750.yml true 150.34 86.17 None mix039.opt.line751.yml true 175.08 97.45 None mix039.opt.line778.yml true 148.40 88.78 None mix039.opt.line779.yml true 151.38 88.04 None mix039.opt.line806.yml true 273.82 151.11 None mix039.opt.line807.yml true 272.80 151.23 None mix040.opt.line719.yml true 145.14 84.17 None mix040.opt.line720.yml true 147.07 85.45 None mix040.opt.line747.yml true 146.34 84.07 None mix040.opt.line748.yml true 147.90 85.25 None mix040.opt.line775.yml true 181.35 100.34 None mix040.opt.line776.yml true 174.13 97.09 None mix040.opt.line803.yml true 345.13 187.36 None mix040.opt.line804.yml true 293.20 164.87 None mix040_power.oepc_pso.oepc_rmo.oepc.line860.yml OUT OF MEMORY 324.95 185.41 None mix040_power.oepc_pso.oepc_rmo.oepc.line861.yml OUT OF MEMORY 348.33 199.67 None mix040_power.oepc_pso.oepc_rmo.oepc.line888.yml OUT OF MEMORY 317.31 179.72 None mix040_power.oepc_pso.oepc_rmo.oepc.line889.yml OUT OF MEMORY 311.59 180.87 None mix040_power.oepc_pso.oepc_rmo.oepc.line916.yml OUT OF MEMORY 263.19 152.20 None mix040_power.oepc_pso.oepc_rmo.oepc.line917.yml OUT OF MEMORY 271.72 161.82 None mix040_power.oepc_pso.oepc_rmo.oepc.line944.yml OUT OF MEMORY 382.44 206.73 None mix040_power.oepc_pso.oepc_rmo.oepc.line945.yml OUT OF MEMORY 409.97 224.55 None mix040_tso.oepc.line672.yml true 251.69 139.10 None mix040_tso.oepc.line673.yml true 243.23 134.72 None mix040_tso.oepc.line700.yml true 194.36 110.40 None mix040_tso.oepc.line701.yml true 194.95 111.51 None mix040_tso.oepc.line728.yml true 187.80 109.64 None mix040_tso.oepc.line729.yml true 222.89 126.39 None mix040_tso.oepc.line756.yml true 356.64 205.75 None mix040_tso.oepc.line757.yml true 338.26 192.21 None ------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 55589.73 2379.02 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk18 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 ------------------------------------------------------------------------------------------------------------------------------------------- mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line776.yml true 20.53 14.21 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line777.yml true 20.05 13.05 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line804.yml true 27.36 16.08 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line805.yml true 21.16 13.18 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line832.yml true 30.10 20.40 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line833.yml true 30.06 21.60 None mix024_power.opt_pso.opt_rmo.opt.line729.yml true 39.15 23.23 None mix024_power.opt_pso.opt_rmo.opt.line730.yml true 37.93 22.88 None mix024_power.opt_pso.opt_rmo.opt.line757.yml true 37.29 22.90 None mix024_power.opt_pso.opt_rmo.opt.line758.yml true 34.18 20.95 None mix024_power.opt_pso.opt_rmo.opt.line785.yml true 52.40 34.94 None mix024_power.opt_pso.opt_rmo.opt.line786.yml true 50.06 33.91 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line760.yml true 18.17 12.37 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line761.yml true 17.95 11.31 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line788.yml true 17.19 11.12 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line789.yml true 19.29 12.30 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line816.yml true 26.18 17.22 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line817.yml true 27.25 17.42 None mix025_pso.opt_rmo.opt.line713.yml true 28.72 18.82 None mix025_pso.opt_rmo.opt.line714.yml true 35.56 21.51 None mix025_pso.opt_rmo.opt.line741.yml true 33.19 21.26 None mix025_pso.opt_rmo.opt.line742.yml true 30.58 19.14 None mix025_pso.opt_rmo.opt.line769.yml true 48.32 33.03 None mix025_pso.opt_rmo.opt.line770.yml true 49.84 31.49 None mix026.oepc.line855.yml OUT OF MEMORY 579.88 302.16 None mix026.oepc.line856.yml OUT OF MEMORY 538.30 280.68 None mix026.oepc.line883.yml OUT OF MEMORY 870.57 445.13 None mix026.oepc.line884.yml OUT OF MEMORY 596.53 309.18 None mix026.oepc.line911.yml OUT OF MEMORY 593.93 313.67 None mix026.oepc.line912.yml OUT OF MEMORY 387.67 207.51 None mix026.oepc.line939.yml OUT OF MEMORY 739.66 382.16 None mix026.oepc.line940.yml OUT OF MEMORY 712.39 371.39 None mix026_power.opt_tso.opt.line808.yml OUT OF MEMORY 757.30 390.48 None mix026_power.opt_tso.opt.line809.yml OUT OF MEMORY 878.29 448.64 None mix026_power.opt_tso.opt.line836.yml OUT OF MEMORY 660.06 338.89 None mix026_power.opt_tso.opt.line837.yml OUT OF MEMORY 710.07 369.63 None mix026_power.opt_tso.opt.line864.yml OUT OF MEMORY 564.04 293.87 None mix026_power.opt_tso.opt.line865.yml OUT OF MEMORY 607.03 326.65 None mix026_power.opt_tso.opt.line892.yml OUT OF MEMORY 642.54 328.27 None mix026_power.opt_tso.opt.line893.yml OUT OF MEMORY 856.07 437.69 None mix026_pso.opt_rmo.opt.line761.yml OUT OF MEMORY 754.94 386.07 None mix026_pso.opt_rmo.opt.line762.yml OUT OF MEMORY 616.07 316.61 None mix026_pso.opt_rmo.opt.line789.yml OUT OF MEMORY 608.92 315.43 None mix026_pso.opt_rmo.opt.line790.yml OUT OF MEMORY 582.11 295.38 None mix026_pso.opt_rmo.opt.line817.yml OUT OF MEMORY 573.87 295.14 None mix026_pso.opt_rmo.opt.line818.yml OUT OF MEMORY 453.61 239.30 None mix026_pso.opt_rmo.opt.line845.yml OUT OF MEMORY 640.01 326.96 None mix026_pso.opt_rmo.opt.line846.yml OUT OF MEMORY 657.00 337.00 None mix027_power.oepc_pso.oepc_rmo.oepc.line852.yml OUT OF MEMORY 405.24 214.32 None mix027_power.oepc_pso.oepc_rmo.oepc.line853.yml OUT OF MEMORY 239.36 133.02 None mix027_power.oepc_pso.oepc_rmo.oepc.line880.yml OUT OF MEMORY 808.42 414.81 None mix027_power.oepc_pso.oepc_rmo.oepc.line881.yml OUT OF MEMORY 885.91 452.76 None mix027_power.oepc_pso.oepc_rmo.oepc.line908.yml OUT OF MEMORY 354.37 193.27 None mix027_power.oepc_pso.oepc_rmo.oepc.line909.yml OUT OF MEMORY 430.83 227.68 None mix027_power.oepc_pso.oepc_rmo.oepc.line936.yml OUT OF MEMORY 675.41 352.11 None mix027_power.oepc_pso.oepc_rmo.oepc.line937.yml OUT OF MEMORY 698.55 361.75 None mix027_power.opt_pso.opt_rmo.opt.line758.yml OUT OF MEMORY 567.52 288.96 None mix027_power.opt_pso.opt_rmo.opt.line759.yml OUT OF MEMORY 594.56 311.58 None mix027_power.opt_pso.opt_rmo.opt.line786.yml OUT OF MEMORY 582.46 302.96 None mix027_power.opt_pso.opt_rmo.opt.line787.yml OUT OF MEMORY 560.45 286.86 None mix027_power.opt_pso.opt_rmo.opt.line814.yml OUT OF MEMORY 672.59 345.38 None mix027_power.opt_pso.opt_rmo.opt.line815.yml OUT OF MEMORY 411.58 213.19 None mix027_power.opt_pso.opt_rmo.opt.line842.yml OUT OF MEMORY 822.27 417.17 None mix027_power.opt_pso.opt_rmo.opt.line843.yml OUT OF MEMORY 661.78 339.58 None mix027_tso.line711.yml OUT OF MEMORY 583.93 308.63 None mix027_tso.line712.yml OUT OF MEMORY 399.93 209.76 None mix027_tso.line739.yml OUT OF MEMORY 406.22 215.25 None mix027_tso.line740.yml OUT OF MEMORY 388.92 205.58 None mix027_tso.line767.yml OUT OF MEMORY 468.94 247.54 None mix027_tso.line768.yml OUT OF MEMORY 312.45 167.23 None mix027_tso.line795.yml OUT OF MEMORY 644.19 330.53 None mix027_tso.line796.yml OUT OF MEMORY 610.85 316.49 None mix028_power.oepc_pso.oepc_rmo.oepc.line757.yml true 17.32 11.84 None mix028_power.oepc_pso.oepc_rmo.oepc.line758.yml true 17.76 13.21 None mix028_power.oepc_pso.oepc_rmo.oepc.line785.yml true 18.06 12.70 None mix028_power.oepc_pso.oepc_rmo.oepc.line786.yml true 19.68 12.86 None mix028_power.oepc_pso.oepc_rmo.oepc.line813.yml true 27.40 18.00 None mix028_power.oepc_pso.oepc_rmo.oepc.line814.yml true 27.54 19.12 None mix028_power.opt_pso.opt_rmo.opt.line616.yml true 16.71 11.85 None mix028_power.opt_pso.opt_rmo.opt.line617.yml true 18.05 11.69 None mix028_power.opt_pso.opt_rmo.opt.line644.yml true 17.73 11.86 None mix028_power.opt_pso.opt_rmo.opt.line645.yml true 20.56 12.81 None mix028_power.opt_pso.opt_rmo.opt.line672.yml true 27.78 18.67 None mix028_power.opt_pso.opt_rmo.opt.line673.yml true 28.10 17.40 None mix028_tso.line733.yml true 11.19 7.30 None mix028_tso.line734.yml true 11.73 7.15 None mix028_tso.line761.yml true 11.12 6.82 None mix028_tso.line762.yml true 11.41 7.90 None mix028_tso.line789.yml true 15.41 9.02 None mix028_tso.line790.yml true 13.61 8.42 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line852.yml OUT OF MEMORY 366.94 195.22 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line853.yml OUT OF MEMORY 758.86 401.80 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line880.yml OUT OF MEMORY 660.70 344.41 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line881.yml OUT OF MEMORY 625.56 327.60 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line908.yml OUT OF MEMORY 526.72 276.65 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line909.yml OUT OF MEMORY 401.08 214.42 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line936.yml OUT OF MEMORY 692.15 359.95 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.line937.yml OUT OF MEMORY 796.72 408.33 None mix029_power.opt_pso.opt_rmo.opt.line664.yml OUT OF MEMORY 438.02 231.03 None mix029_power.opt_pso.opt_rmo.opt.line665.yml OUT OF MEMORY 422.30 216.99 None mix029_power.opt_pso.opt_rmo.opt.line692.yml true 562.97 296.41 None mix029_power.opt_pso.opt_rmo.opt.line693.yml true 586.83 305.14 None mix029_power.opt_pso.opt_rmo.opt.line720.yml OUT OF MEMORY 377.50 197.65 None mix029_power.opt_pso.opt_rmo.opt.line721.yml true 477.04 254.22 None mix029_power.opt_pso.opt_rmo.opt.line748.yml OUT OF MEMORY 387.28 208.72 None mix029_power.opt_pso.opt_rmo.opt.line749.yml OUT OF MEMORY 354.21 187.22 None mix030_power.oepc_pso.oepc_rmo.oepc.line849.yml OUT OF MEMORY 486.29 255.05 None mix030_power.oepc_pso.oepc_rmo.oepc.line850.yml OUT OF MEMORY 184.88 99.02 None mix030_power.oepc_pso.oepc_rmo.oepc.line877.yml OUT OF MEMORY 421.31 219.78 None mix030_power.oepc_pso.oepc_rmo.oepc.line878.yml OUT OF MEMORY 487.00 256.57 None mix030_power.oepc_pso.oepc_rmo.oepc.line905.yml OUT OF MEMORY 345.86 185.50 None mix030_power.oepc_pso.oepc_rmo.oepc.line906.yml OUT OF MEMORY 492.70 261.78 None mix030_power.oepc_pso.oepc_rmo.oepc.line933.yml OUT OF MEMORY 688.16 355.65 None mix030_power.oepc_pso.oepc_rmo.oepc.line934.yml OUT OF MEMORY 730.75 375.80 None mix030_power.opt_pso.opt_rmo.opt.line661.yml OUT OF MEMORY 425.24 224.06 None mix030_power.opt_pso.opt_rmo.opt.line662.yml OUT OF MEMORY 534.32 275.13 None mix030_power.opt_pso.opt_rmo.opt.line689.yml OUT OF MEMORY 381.91 196.29 None mix030_power.opt_pso.opt_rmo.opt.line690.yml OUT OF MEMORY 397.55 205.26 None mix030_power.opt_pso.opt_rmo.opt.line717.yml true 581.87 304.56 None mix030_power.opt_pso.opt_rmo.opt.line718.yml OUT OF MEMORY 513.31 264.88 None mix030_power.opt_pso.opt_rmo.opt.line745.yml OUT OF MEMORY 380.23 204.84 None mix030_power.opt_pso.opt_rmo.opt.line746.yml OUT OF MEMORY 395.95 211.35 None mix030_tso.line778.yml true 86.83 50.85 None mix030_tso.line779.yml true 105.85 62.10 None mix030_tso.line806.yml true 86.32 52.94 None mix030_tso.line807.yml true 86.90 51.59 None mix030_tso.line834.yml true 106.73 62.55 None mix030_tso.line835.yml true 88.19 54.27 None mix030_tso.line862.yml true 155.06 93.65 None mix030_tso.line863.yml true 149.53 90.11 None mix031.oepc.line692.yml true 6.84 4.82 None mix031.oepc.line693.yml true 7.05 4.93 None mix031.oepc.line720.yml true 8.34 5.28 None mix031.oepc.line721.yml true 7.35 5.27 None mix031.opt.line645.yml true 6.88 5.11 None mix031.opt.line646.yml true 7.25 4.87 None mix031.opt.line673.yml true 7.90 5.16 None mix031.opt.line674.yml true 8.24 5.23 None mix032.oepc.line787.yml true 22.65 14.67 None mix032.oepc.line788.yml true 20.82 12.95 None mix032.oepc.line815.yml true 20.72 13.94 None mix032.oepc.line816.yml true 20.26 13.20 None mix032.oepc.line843.yml true 36.64 22.48 None mix032.oepc.line844.yml true 31.86 21.17 None mix032.opt.line693.yml true 14.63 9.26 None mix032.opt.line694.yml true 16.49 10.45 None mix032.opt.line721.yml true 15.10 10.05 None mix032.opt.line722.yml true 16.78 10.27 None mix032.opt.line749.yml true 27.31 16.18 None mix032.opt.line750.yml true 24.32 15.31 None mix033.opt.line690.yml true 14.86 10.25 None mix033.opt.line691.yml true 19.48 11.52 None mix033.opt.line718.yml true 16.65 10.72 None mix033.opt.line719.yml true 15.79 9.92 None mix033.opt.line746.yml true 24.64 15.29 None mix033.opt.line747.yml true 34.57 18.98 None mix033_power.oepc_pso.oepc_rmo.oepc.line784.yml true 19.14 13.03 None mix033_power.oepc_pso.oepc_rmo.oepc.line785.yml true 20.87 13.44 None mix033_power.oepc_pso.oepc_rmo.oepc.line812.yml true 22.47 14.78 None mix033_power.oepc_pso.oepc_rmo.oepc.line813.yml true 26.70 15.72 None mix033_power.oepc_pso.oepc_rmo.oepc.line840.yml true 32.68 22.31 None mix033_power.oepc_pso.oepc_rmo.oepc.line841.yml true 31.67 20.41 None mix033_tso.oepc.line643.yml true 22.82 13.71 None mix033_tso.oepc.line644.yml true 18.60 11.93 None mix033_tso.oepc.line671.yml true 19.57 12.61 None mix033_tso.oepc.line672.yml true 26.43 15.24 None mix033_tso.oepc.line699.yml true 34.59 21.09 None mix033_tso.oepc.line700.yml true 28.34 17.50 None mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line676.yml true 6.64 4.50 None mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line677.yml true 8.72 5.44 None mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line704.yml true 7.53 5.15 None mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line705.yml true 7.34 4.75 None mix034_pso.opt_tso.opt.line629.yml true 6.93 4.89 None mix034_pso.opt_tso.opt.line630.yml true 6.89 4.58 None mix034_pso.opt_tso.opt.line657.yml true 7.51 5.64 None mix034_pso.opt_tso.opt.line658.yml true 7.89 5.26 None mix035.oepc.line771.yml true 22.98 13.66 None mix035.oepc.line772.yml true 19.62 12.76 None mix035.oepc.line799.yml true 18.27 11.84 None mix035.oepc.line800.yml true 18.18 12.81 None mix035.oepc.line827.yml true 29.75 18.13 None mix035.oepc.line828.yml true 33.26 20.84 None mix035_power.opt_rmo.opt.line724.yml true 30.67 20.08 None mix035_power.opt_rmo.opt.line725.yml true 29.82 21.50 None mix035_power.opt_rmo.opt.line752.yml true 31.69 21.10 None mix035_power.opt_rmo.opt.line753.yml true 31.07 19.10 None mix035_power.opt_rmo.opt.line780.yml true 56.63 35.56 None mix035_power.opt_rmo.opt.line781.yml true 49.91 31.36 None mix035_pso.opt_tso.opt.line677.yml true 14.18 9.64 None mix035_pso.opt_tso.opt.line678.yml true 18.05 10.56 None mix035_pso.opt_tso.opt.line705.yml true 16.45 9.63 None mix035_pso.opt_tso.opt.line706.yml true 15.42 10.89 None mix035_pso.opt_tso.opt.line733.yml true 25.06 15.17 None mix035_pso.opt_tso.opt.line734.yml true 23.05 13.85 None mix036.oepc.line866.yml OUT OF MEMORY 834.89 429.54 None mix036.oepc.line867.yml OUT OF MEMORY 749.78 389.39 None mix036.oepc.line894.yml OUT OF MEMORY 716.60 369.47 None mix036.oepc.line895.yml OUT OF MEMORY 550.43 291.69 None mix036.oepc.line922.yml OUT OF MEMORY 514.06 272.24 None mix036.oepc.line923.yml OUT OF MEMORY 293.67 160.66 None mix036.oepc.line950.yml OUT OF MEMORY 703.32 365.55 None mix036.oepc.line951.yml OUT OF MEMORY 657.84 335.45 None mix036_power.opt_rmo.opt.line772.yml OUT OF MEMORY 476.36 257.26 None mix036_power.opt_rmo.opt.line773.yml OUT OF MEMORY 584.51 300.37 None mix036_power.opt_rmo.opt.line800.yml OUT OF MEMORY 751.00 383.25 None mix036_power.opt_rmo.opt.line801.yml OUT OF MEMORY 577.36 295.79 None mix036_power.opt_rmo.opt.line828.yml OUT OF MEMORY 288.81 152.56 None mix036_power.opt_rmo.opt.line829.yml OUT OF MEMORY 679.63 349.23 None mix036_power.opt_rmo.opt.line856.yml OUT OF MEMORY 666.97 341.35 None mix036_power.opt_rmo.opt.line857.yml OUT OF MEMORY 622.65 316.92 None mix036_pso.opt_tso.opt.line725.yml true 248.46 145.36 None mix036_pso.opt_tso.opt.line726.yml true 296.70 167.72 None mix036_pso.opt_tso.opt.line753.yml true 247.42 145.58 None mix036_pso.opt_tso.opt.line754.yml true 244.63 139.61 None mix036_pso.opt_tso.opt.line781.yml true 255.89 149.86 None mix036_pso.opt_tso.opt.line782.yml true 234.39 134.31 None mix036_pso.opt_tso.opt.line809.yml OUT OF MEMORY 244.74 139.80 None mix036_pso.opt_tso.opt.line810.yml OUT OF MEMORY 237.06 136.67 None mix037.opt.line722.yml true 303.56 170.39 None mix037.opt.line723.yml true 243.66 140.91 None mix037.opt.line750.yml true 316.33 176.16 None mix037.opt.line751.yml true 251.59 145.58 None mix037.opt.line778.yml true 311.68 175.63 None mix037.opt.line779.yml true 253.06 144.89 None mix037.opt.line806.yml true 595.86 331.81 None mix037.opt.line807.yml OUT OF MEMORY 227.18 131.39 None mix037_power.oepc_pso.oepc_rmo.oepc.line863.yml OUT OF MEMORY 511.58 269.60 None mix037_power.oepc_pso.oepc_rmo.oepc.line864.yml OUT OF MEMORY 303.52 160.98 None mix037_power.oepc_pso.oepc_rmo.oepc.line891.yml OUT OF MEMORY 401.75 212.81 None mix037_power.oepc_pso.oepc_rmo.oepc.line892.yml OUT OF MEMORY 695.08 359.36 None mix037_power.oepc_pso.oepc_rmo.oepc.line919.yml OUT OF MEMORY 493.56 262.82 None mix037_power.oepc_pso.oepc_rmo.oepc.line920.yml OUT OF MEMORY 470.11 250.98 None mix037_power.oepc_pso.oepc_rmo.oepc.line947.yml OUT OF MEMORY 731.80 380.05 None mix037_power.oepc_pso.oepc_rmo.oepc.line948.yml OUT OF MEMORY 826.80 424.88 None mix037_tso.oepc.line722.yml OUT OF MEMORY 643.93 340.65 None mix037_tso.oepc.line723.yml TIMEOUT 903.47 460.99 None mix037_tso.oepc.line750.yml OUT OF MEMORY 518.59 268.76 None mix037_tso.oepc.line751.yml OUT OF MEMORY 429.55 227.41 None mix037_tso.oepc.line778.yml OUT OF MEMORY 552.56 291.02 None mix037_tso.oepc.line779.yml OUT OF MEMORY 470.80 243.20 None mix037_tso.oepc.line806.yml OUT OF MEMORY 640.89 328.29 None mix037_tso.oepc.line807.yml OUT OF MEMORY 682.48 349.37 None mix038.opt.line674.yml true 16.48 10.13 None mix038.opt.line675.yml true 16.68 9.89 None mix038.opt.line702.yml true 14.90 9.64 None mix038.opt.line703.yml true 17.92 10.81 None mix038.opt.line730.yml true 21.22 13.85 None mix038.opt.line731.yml true 24.03 15.00 None mix038_power.oepc_pso.oepc_rmo.oepc.line768.yml true 22.43 13.50 None mix038_power.oepc_pso.oepc_rmo.oepc.line769.yml true 19.23 12.68 None mix038_power.oepc_pso.oepc_rmo.oepc.line796.yml true 18.71 12.77 None mix038_power.oepc_pso.oepc_rmo.oepc.line797.yml true 25.03 14.59 None mix038_power.oepc_pso.oepc_rmo.oepc.line824.yml true 29.40 19.28 None mix038_power.oepc_pso.oepc_rmo.oepc.line825.yml true 28.12 19.19 None mix038_tso.oepc.line627.yml true 17.85 11.74 None mix038_tso.oepc.line628.yml true 22.02 13.20 None mix038_tso.oepc.line655.yml true 17.69 11.14 None mix038_tso.oepc.line656.yml true 17.16 12.12 None mix038_tso.oepc.line683.yml true 33.08 19.54 None mix038_tso.oepc.line684.yml true 27.44 18.07 None mix039.oepc.line863.yml OUT OF MEMORY 573.10 302.03 None mix039.oepc.line864.yml OUT OF MEMORY 388.70 210.43 None mix039.oepc.line891.yml OUT OF MEMORY 423.72 227.39 None mix039.oepc.line892.yml OUT OF MEMORY 530.57 276.72 None mix039.oepc.line919.yml OUT OF MEMORY 275.07 150.96 None mix039.oepc.line920.yml OUT OF MEMORY 417.16 224.04 None mix039.oepc.line947.yml OUT OF MEMORY 649.38 332.17 None mix039.oepc.line948.yml OUT OF MEMORY 700.74 370.45 None mix039.opt.line722.yml true 302.65 169.52 None mix039.opt.line723.yml true 254.32 147.57 None mix039.opt.line750.yml true 319.56 178.26 None mix039.opt.line751.yml true 261.40 151.81 None mix039.opt.line778.yml true 321.73 180.63 None mix039.opt.line779.yml true 248.43 143.09 None mix039.opt.line806.yml true 495.75 282.46 None mix039.opt.line807.yml OUT OF MEMORY 275.20 160.77 None mix040.opt.line719.yml true 304.51 172.49 None mix040.opt.line720.yml true 264.29 153.52 None mix040.opt.line747.yml true 257.57 150.60 None mix040.opt.line748.yml true 252.97 146.59 None mix040.opt.line775.yml true 313.71 176.43 None mix040.opt.line776.yml true 246.62 141.53 None mix040.opt.line803.yml OUT OF MEMORY 284.63 159.50 None mix040.opt.line804.yml true 462.37 264.65 None mix040_power.oepc_pso.oepc_rmo.oepc.line860.yml OUT OF MEMORY 300.75 160.27 None mix040_power.oepc_pso.oepc_rmo.oepc.line861.yml OUT OF MEMORY 609.25 312.98 None mix040_power.oepc_pso.oepc_rmo.oepc.line888.yml OUT OF MEMORY 559.18 290.88 None mix040_power.oepc_pso.oepc_rmo.oepc.line889.yml OUT OF MEMORY 678.02 347.62 None mix040_power.oepc_pso.oepc_rmo.oepc.line916.yml OUT OF MEMORY 455.05 239.48 None mix040_power.oepc_pso.oepc_rmo.oepc.line917.yml OUT OF MEMORY 409.61 219.90 None mix040_power.oepc_pso.oepc_rmo.oepc.line944.yml OUT OF MEMORY 724.89 373.29 None mix040_power.oepc_pso.oepc_rmo.oepc.line945.yml OUT OF MEMORY 801.68 409.85 None mix040_tso.oepc.line672.yml OUT OF MEMORY 393.59 203.69 None mix040_tso.oepc.line673.yml OUT OF MEMORY 398.65 208.09 None mix040_tso.oepc.line700.yml OUT OF MEMORY 476.50 245.41 None mix040_tso.oepc.line701.yml OUT OF MEMORY 506.40 260.88 None mix040_tso.oepc.line728.yml OUT OF MEMORY 405.72 211.09 None mix040_tso.oepc.line729.yml OUT OF MEMORY 377.03 195.06 None mix040_tso.oepc.line756.yml OUT OF MEMORY 324.19 169.05 None mix040_tso.oepc.line757.yml OUT OF MEMORY 360.10 190.63 None ------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 88357.06 3451.46 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk18 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk18 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk18 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk18 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk18 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk18 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk18 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk18 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk18 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk18 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk18 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk18 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk18 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk18 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk18 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk18 Run set 19 of 19: skipped Statistics: 900 Files correct: 539 correct true: 539 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 361 Score: 1078 (max: 1800)