BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk19, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk19, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk19 date: Sat, 2022-10-22 21:10:38 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-chunk19 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 ------------------------------------------------------------------------------------------------------------------------------------------- mix006_tso.oepc.line1242.yml true 35.45 22.37 None mix006_tso.oepc.line1243.yml true 32.97 20.81 None mix006_tso.oepc.line1270.yml true 41.19 24.39 None mix006_tso.oepc.line1271.yml true 33.29 20.73 None mix006_tso.oepc.line1298.yml true 55.78 36.06 None mix006_tso.oepc.line1299.yml true 56.77 37.54 None mix007.oepc.line863.yml OUT OF MEMORY 487.06 263.06 None mix007.oepc.line864.yml OUT OF MEMORY 325.05 184.62 None mix007.oepc.line891.yml OUT OF MEMORY 378.07 208.94 None mix007.oepc.line892.yml OUT OF MEMORY 321.08 179.33 None mix007.oepc.line919.yml OUT OF MEMORY 495.94 275.09 None mix007.oepc.line920.yml OUT OF MEMORY 350.60 196.57 None mix007.oepc.line947.yml OUT OF MEMORY 439.46 240.66 None mix007.oepc.line948.yml OUT OF MEMORY 443.97 238.62 None mix007.opt.line886.yml true 166.62 94.24 None mix007.opt.line887.yml true 169.11 92.88 None mix007.opt.line914.yml true 176.31 97.34 None mix007.opt.line915.yml true 214.06 116.17 None mix007.opt.line942.yml true 174.69 97.49 None mix007.opt.line943.yml true 171.03 99.67 None mix007.opt.line970.yml true 329.94 179.39 None mix007.opt.line971.yml true 319.70 173.15 None mix008.opt.line883.yml true 174.32 98.02 None mix008.opt.line884.yml true 171.98 96.87 None mix008.opt.line911.yml true 168.66 100.48 None mix008.opt.line912.yml true 212.47 114.76 None mix008.opt.line939.yml true 167.69 91.47 None mix008.opt.line940.yml true 211.45 114.73 None mix008.opt.line967.yml true 333.04 179.58 None mix008.opt.line968.yml true 411.72 220.98 None mix008_power.oepc_pso.oepc_rmo.oepc.line860.yml OUT OF MEMORY 384.48 215.71 None mix008_power.oepc_pso.oepc_rmo.oepc.line861.yml OUT OF MEMORY 310.50 177.98 None mix008_power.oepc_pso.oepc_rmo.oepc.line888.yml OUT OF MEMORY 414.66 238.22 None mix008_power.oepc_pso.oepc_rmo.oepc.line889.yml OUT OF MEMORY 305.11 172.02 None mix008_power.oepc_pso.oepc_rmo.oepc.line916.yml OUT OF MEMORY 420.19 234.73 None mix008_power.oepc_pso.oepc_rmo.oepc.line917.yml OUT OF MEMORY 421.03 228.58 None mix008_power.oepc_pso.oepc_rmo.oepc.line944.yml OUT OF MEMORY 568.61 303.14 None mix008_power.oepc_pso.oepc_rmo.oepc.line945.yml OUT OF MEMORY 443.81 238.96 None mix008_tso.oepc.line1294.yml OUT OF MEMORY 340.01 189.81 None mix008_tso.oepc.line1295.yml OUT OF MEMORY 372.92 202.60 None mix008_tso.oepc.line1322.yml OUT OF MEMORY 323.00 179.04 None mix008_tso.oepc.line1323.yml OUT OF MEMORY 474.07 254.06 None mix008_tso.oepc.line1350.yml OUT OF MEMORY 299.39 166.54 None mix008_tso.oepc.line1351.yml OUT OF MEMORY 326.22 181.62 None mix008_tso.oepc.line1378.yml OUT OF MEMORY 401.80 211.30 None mix008_tso.oepc.line1379.yml OUT OF MEMORY 528.45 275.30 None mix009.oepc.line684.yml true 6.81 4.97 None mix009.oepc.line685.yml true 7.42 5.38 None mix009.oepc.line712.yml true 7.09 4.98 None mix009.oepc.line713.yml true 7.14 4.88 None mix009.opt.line801.yml true 7.21 4.80 None mix009.opt.line802.yml true 7.04 4.87 None mix009.opt.line829.yml true 7.19 4.80 None mix009.opt.line830.yml true 7.34 4.93 None mix010.oepc.line779.yml true 14.76 9.83 None mix010.oepc.line780.yml true 16.47 10.80 None mix010.oepc.line807.yml true 15.11 10.55 None mix010.oepc.line808.yml true 14.47 9.54 None mix010.oepc.line835.yml true 21.87 14.74 None mix010.oepc.line836.yml true 24.40 14.97 None mix010.opt.line849.yml true 11.86 7.51 None mix010.opt.line850.yml true 13.68 8.20 None mix010.opt.line877.yml true 18.38 9.94 None mix010.opt.line878.yml true 12.30 7.83 None mix010.opt.line905.yml true 17.46 10.65 None mix010.opt.line906.yml true 15.87 9.92 None mix011.opt.line846.yml true 12.38 8.01 None mix011.opt.line847.yml true 11.85 7.80 None mix011.opt.line874.yml true 13.30 8.45 None mix011.opt.line875.yml true 15.32 9.05 None mix011.opt.line902.yml true 17.76 11.27 None mix011.opt.line903.yml true 16.78 11.04 None mix011_power.oepc_pso.oepc_rmo.oepc.line776.yml true 14.59 10.26 None mix011_power.oepc_pso.oepc_rmo.oepc.line777.yml true 15.32 10.22 None mix011_power.oepc_pso.oepc_rmo.oepc.line804.yml true 15.06 9.42 None mix011_power.oepc_pso.oepc_rmo.oepc.line805.yml true 14.89 9.76 None mix011_power.oepc_pso.oepc_rmo.oepc.line832.yml true 28.12 16.37 None mix011_power.oepc_pso.oepc_rmo.oepc.line833.yml true 22.81 14.79 None mix011_tso.oepc.line635.yml true 14.35 8.89 None mix011_tso.oepc.line636.yml true 13.15 9.16 None mix011_tso.oepc.line663.yml true 14.33 9.77 None mix011_tso.oepc.line664.yml true 14.20 9.40 None mix011_tso.oepc.line691.yml true 20.11 12.40 None mix011_tso.oepc.line692.yml true 21.38 13.31 None mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line668.yml true 6.43 4.34 None mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line669.yml true 6.21 4.86 None mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line696.yml true 8.17 5.16 None mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line697.yml true 6.34 4.86 None mix012_pso.opt_tso.opt.line785.yml true 6.47 4.40 None mix012_pso.opt_tso.opt.line786.yml true 6.80 4.82 None mix012_pso.opt_tso.opt.line813.yml true 7.19 4.79 None mix012_pso.opt_tso.opt.line814.yml true 7.35 4.81 None mix013.oepc.line866.yml OUT OF MEMORY 379.26 215.03 None mix013.oepc.line867.yml OUT OF MEMORY 390.61 218.11 None mix013.oepc.line894.yml OUT OF MEMORY 381.24 214.82 None mix013.oepc.line895.yml OUT OF MEMORY 332.29 192.98 None mix013.oepc.line922.yml OUT OF MEMORY 445.87 243.22 None mix013.oepc.line923.yml OUT OF MEMORY 274.66 158.68 None mix013.oepc.line950.yml OUT OF MEMORY 360.80 196.64 None mix013.oepc.line951.yml OUT OF MEMORY 416.53 225.89 None mix013.opt.line889.yml true 200.50 110.08 None mix013.opt.line890.yml true 249.98 134.55 None mix013.opt.line917.yml true 245.61 131.71 None mix013.opt.line918.yml true 199.43 110.36 None mix013.opt.line945.yml true 186.56 102.18 None mix013.opt.line946.yml true 199.79 111.22 None mix013.opt.line973.yml true 424.92 234.94 None mix013.opt.line974.yml true 507.73 276.83 None mix014.opt.line886.yml true 245.66 133.39 None mix014.opt.line887.yml true 204.81 114.21 None mix014.opt.line914.yml true 249.46 135.31 None mix014.opt.line915.yml true 197.71 117.84 None mix014.opt.line942.yml true 190.40 105.38 None mix014.opt.line943.yml true 188.46 102.98 None mix014.opt.line970.yml true 402.15 227.90 None mix014.opt.line971.yml true 407.53 225.57 None mix014_power.oepc_pso.oepc_rmo.oepc.line863.yml OUT OF MEMORY 509.28 279.82 None mix014_power.oepc_pso.oepc_rmo.oepc.line864.yml OUT OF MEMORY 259.16 149.29 None mix014_power.oepc_pso.oepc_rmo.oepc.line891.yml OUT OF MEMORY 386.67 216.27 None mix014_power.oepc_pso.oepc_rmo.oepc.line892.yml OUT OF MEMORY 507.02 272.07 None mix014_power.oepc_pso.oepc_rmo.oepc.line919.yml OUT OF MEMORY 323.86 184.07 None mix014_power.oepc_pso.oepc_rmo.oepc.line920.yml OUT OF MEMORY 274.93 158.46 None mix014_power.oepc_pso.oepc_rmo.oepc.line947.yml OUT OF MEMORY 356.71 194.73 None mix014_power.oepc_pso.oepc_rmo.oepc.line948.yml OUT OF MEMORY 591.05 315.13 None mix014_tso.oepc.line1227.yml OUT OF MEMORY 447.30 259.52 None mix014_tso.oepc.line1228.yml OUT OF MEMORY 561.08 300.20 None mix014_tso.oepc.line1255.yml OUT OF MEMORY 461.99 253.83 None mix014_tso.oepc.line1256.yml OUT OF MEMORY 472.47 261.65 None mix014_tso.oepc.line1283.yml OUT OF MEMORY 664.09 352.52 None mix014_tso.oepc.line1284.yml OUT OF MEMORY 563.56 307.09 None mix014_tso.oepc.line1311.yml OUT OF MEMORY 499.47 276.26 None mix014_tso.oepc.line1312.yml OUT OF MEMORY 390.34 217.87 None mix015.oepc.line779.yml true 16.13 9.91 None mix015.oepc.line780.yml true 15.58 9.78 None mix015.oepc.line807.yml true 14.72 9.64 None mix015.oepc.line808.yml true 16.35 10.23 None mix015.oepc.line835.yml true 23.43 14.95 None mix015.oepc.line836.yml true 23.00 14.50 None mix015.opt.line849.yml true 13.75 8.76 None mix015.opt.line850.yml true 13.71 8.85 None mix015.opt.line877.yml true 12.93 8.26 None mix015.opt.line878.yml true 15.50 9.66 None mix015.opt.line905.yml true 19.49 12.48 None mix015.opt.line906.yml true 19.49 11.87 None mix016.oepc.line763.yml true 14.91 9.92 None mix016.oepc.line764.yml true 19.76 11.31 None mix016.oepc.line791.yml true 14.53 9.40 None mix016.oepc.line792.yml true 14.75 9.73 None mix016.oepc.line819.yml true 20.81 13.41 None mix016.oepc.line820.yml true 19.68 12.14 None mix016_power.opt_rmo.opt.line716.yml true 21.70 13.81 None mix016_power.opt_rmo.opt.line717.yml true 28.63 16.72 None mix016_power.opt_rmo.opt.line744.yml true 22.13 14.17 None mix016_power.opt_rmo.opt.line745.yml true 21.20 13.30 None mix016_power.opt_rmo.opt.line772.yml true 35.86 22.56 None mix016_power.opt_rmo.opt.line773.yml true 34.73 21.48 None mix016_pso.opt_tso.opt.line833.yml true 11.79 7.98 None mix016_pso.opt_tso.opt.line834.yml true 16.81 9.43 None mix016_pso.opt_tso.opt.line861.yml true 13.38 8.13 None mix016_pso.opt_tso.opt.line862.yml true 12.79 8.02 None mix016_pso.opt_tso.opt.line889.yml true 21.08 11.95 None mix016_pso.opt_tso.opt.line890.yml true 15.60 9.57 None mix017.oepc.line858.yml OUT OF MEMORY 322.26 181.06 None mix017.oepc.line859.yml OUT OF MEMORY 314.17 180.76 None mix017.oepc.line886.yml OUT OF MEMORY 312.38 176.68 None mix017.oepc.line887.yml OUT OF MEMORY 302.38 171.31 None mix017.oepc.line914.yml OUT OF MEMORY 366.77 202.96 None mix017.oepc.line915.yml OUT OF MEMORY 346.91 207.18 None mix017.oepc.line942.yml OUT OF MEMORY 527.16 282.91 None mix017.oepc.line943.yml OUT OF MEMORY 523.69 279.11 None mix017_power.opt_rmo.opt.line764.yml OUT OF MEMORY 334.50 180.51 None mix017_power.opt_rmo.opt.line765.yml OUT OF MEMORY 392.50 212.08 None mix017_power.opt_rmo.opt.line792.yml OUT OF MEMORY 403.00 216.11 None mix017_power.opt_rmo.opt.line793.yml OUT OF MEMORY 425.99 228.58 None mix017_power.opt_rmo.opt.line820.yml OUT OF MEMORY 298.16 162.31 None mix017_power.opt_rmo.opt.line821.yml OUT OF MEMORY 312.32 170.05 None mix017_power.opt_rmo.opt.line848.yml OUT OF MEMORY 408.44 215.23 None mix017_power.opt_rmo.opt.line849.yml OUT OF MEMORY 477.49 252.24 None mix017_pso.opt_tso.opt.line881.yml true 162.83 92.60 None mix017_pso.opt_tso.opt.line882.yml true 202.21 109.15 None mix017_pso.opt_tso.opt.line909.yml true 163.33 91.83 None mix017_pso.opt_tso.opt.line910.yml true 197.43 107.83 None mix017_pso.opt_tso.opt.line937.yml true 158.73 88.10 None mix017_pso.opt_tso.opt.line938.yml true 162.42 91.10 None mix017_pso.opt_tso.opt.line965.yml true 337.23 185.12 None mix017_pso.opt_tso.opt.line966.yml true 322.70 177.94 None mix018.opt.line878.yml true 201.25 108.44 None mix018.opt.line879.yml true 164.36 92.14 None mix018.opt.line906.yml true 154.54 84.42 None mix018.opt.line907.yml true 197.51 106.03 None mix018.opt.line934.yml true 199.16 106.80 None mix018.opt.line935.yml true 198.56 107.94 None mix018.opt.line962.yml true 307.84 165.16 None mix018.opt.line963.yml true 322.69 173.41 None mix018_power.oepc_pso.oepc_rmo.oepc.line855.yml OUT OF MEMORY 406.72 225.55 None mix018_power.oepc_pso.oepc_rmo.oepc.line856.yml OUT OF MEMORY 352.66 200.18 None mix018_power.oepc_pso.oepc_rmo.oepc.line883.yml OUT OF MEMORY 359.42 199.77 None mix018_power.oepc_pso.oepc_rmo.oepc.line884.yml OUT OF MEMORY 390.67 215.19 None mix018_power.oepc_pso.oepc_rmo.oepc.line911.yml OUT OF MEMORY 286.31 162.29 None mix018_power.oepc_pso.oepc_rmo.oepc.line912.yml OUT OF MEMORY 418.39 229.49 None mix018_power.oepc_pso.oepc_rmo.oepc.line939.yml OUT OF MEMORY 412.74 229.20 None mix018_power.oepc_pso.oepc_rmo.oepc.line940.yml OUT OF MEMORY 504.28 270.23 None mix018_tso.oepc.line714.yml OUT OF MEMORY 340.97 188.73 None mix018_tso.oepc.line715.yml OUT OF MEMORY 346.11 193.64 None mix018_tso.oepc.line742.yml OUT OF MEMORY 279.47 177.00 None mix018_tso.oepc.line743.yml OUT OF MEMORY 412.03 230.73 None mix018_tso.oepc.line770.yml OUT OF MEMORY 245.66 143.50 None mix018_tso.oepc.line771.yml OUT OF MEMORY 342.89 191.94 None mix018_tso.oepc.line798.yml OUT OF MEMORY 343.10 186.26 None mix018_tso.oepc.line799.yml OUT OF MEMORY 370.90 204.42 None mix019.opt.line830.yml true 12.94 7.57 None mix019.opt.line831.yml true 12.92 8.26 None mix019.opt.line858.yml true 12.21 7.56 None mix019.opt.line859.yml true 11.94 8.26 None mix019.opt.line886.yml true 16.28 9.94 None mix019.opt.line887.yml true 17.25 10.46 None mix019_power.oepc_pso.oepc_rmo.oepc.line760.yml true 16.51 9.67 None mix019_power.oepc_pso.oepc_rmo.oepc.line761.yml true 15.08 10.45 None mix019_power.oepc_pso.oepc_rmo.oepc.line788.yml true 15.65 9.69 None mix019_power.oepc_pso.oepc_rmo.oepc.line789.yml true 13.96 9.93 None mix019_power.oepc_pso.oepc_rmo.oepc.line816.yml true 25.63 15.36 None mix019_power.oepc_pso.oepc_rmo.oepc.line817.yml true 20.06 13.06 None mix019_tso.oepc.line619.yml true 14.32 8.80 None mix019_tso.oepc.line620.yml true 16.98 10.08 None mix019_tso.oepc.line647.yml true 13.43 9.68 None mix019_tso.oepc.line648.yml true 13.92 8.92 None mix019_tso.oepc.line675.yml true 19.56 11.99 None mix019_tso.oepc.line676.yml true 18.87 12.77 None mix020.oepc.line855.yml OUT OF MEMORY 360.08 201.95 None mix020.oepc.line856.yml OUT OF MEMORY 326.56 184.44 None mix020.oepc.line883.yml OUT OF MEMORY 389.48 217.01 None mix020.oepc.line884.yml OUT OF MEMORY 488.79 263.48 None mix020.oepc.line911.yml OUT OF MEMORY 306.96 174.40 None mix020.oepc.line912.yml OUT OF MEMORY 399.57 223.07 None mix020.oepc.line939.yml OUT OF MEMORY 412.26 225.81 None mix020.oepc.line940.yml OUT OF MEMORY 391.33 215.11 None mix020.opt.line878.yml true 162.87 96.02 None mix020.opt.line879.yml true 165.32 90.08 None mix020.opt.line906.yml true 199.42 107.84 None mix020.opt.line907.yml true 166.19 91.95 None mix020.opt.line934.yml true 163.59 100.49 None mix020.opt.line935.yml true 156.17 86.41 None mix020.opt.line962.yml true 307.36 170.96 None mix020.opt.line963.yml true 322.37 173.65 None mix021.opt.line875.yml true 166.39 93.40 None mix021.opt.line876.yml true 201.79 109.91 None mix021.opt.line903.yml true 160.95 89.33 None mix021.opt.line904.yml true 199.19 108.57 None mix021.opt.line931.yml true 202.62 110.33 None mix021.opt.line932.yml true 157.23 87.10 None mix021.opt.line959.yml true 313.87 175.33 None mix021.opt.line960.yml true 315.20 170.87 None mix021_power.oepc_pso.oepc_rmo.oepc.line852.yml OUT OF MEMORY 316.19 179.48 None mix021_power.oepc_pso.oepc_rmo.oepc.line853.yml OUT OF MEMORY 304.39 175.27 None mix021_power.oepc_pso.oepc_rmo.oepc.line880.yml OUT OF MEMORY 363.99 203.53 None mix021_power.oepc_pso.oepc_rmo.oepc.line881.yml OUT OF MEMORY 384.54 215.71 None mix021_power.oepc_pso.oepc_rmo.oepc.line908.yml OUT OF MEMORY 367.14 204.01 None mix021_power.oepc_pso.oepc_rmo.oepc.line909.yml OUT OF MEMORY 285.84 164.29 None mix021_power.oepc_pso.oepc_rmo.oepc.line936.yml OUT OF MEMORY 586.86 310.83 None mix021_power.oepc_pso.oepc_rmo.oepc.line937.yml OUT OF MEMORY 360.99 197.44 None mix021_tso.oepc.line664.yml true 295.74 164.78 None mix021_tso.oepc.line665.yml true 238.34 136.90 None mix021_tso.oepc.line692.yml true 301.09 168.78 None mix021_tso.oepc.line693.yml true 249.04 143.94 None mix021_tso.oepc.line720.yml true 243.68 141.37 None mix021_tso.oepc.line721.yml true 239.42 136.41 None mix021_tso.oepc.line748.yml true 496.92 267.16 None mix021_tso.oepc.line749.yml true 494.84 269.90 None mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line665.yml true 6.39 4.36 None mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line666.yml true 6.73 4.37 None mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line693.yml true 6.93 4.55 None mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line694.yml true 7.10 4.70 None mix022_tso.line688.yml true 7.50 4.51 None mix022_tso.line689.yml true 6.38 4.57 None mix022_tso.line716.yml true 6.63 4.45 None mix022_tso.line717.yml true 6.90 4.63 None mix023_power.oepc_pso.oepc_rmo.oepc.line860.yml OUT OF MEMORY 320.19 181.19 None mix023_power.oepc_pso.oepc_rmo.oepc.line861.yml OUT OF MEMORY 292.18 166.79 None mix023_power.oepc_pso.oepc_rmo.oepc.line888.yml OUT OF MEMORY 264.42 150.81 None mix023_power.oepc_pso.oepc_rmo.oepc.line889.yml OUT OF MEMORY 398.82 219.90 None mix023_power.oepc_pso.oepc_rmo.oepc.line916.yml OUT OF MEMORY 367.73 203.75 None mix023_power.oepc_pso.oepc_rmo.oepc.line917.yml OUT OF MEMORY 341.49 189.90 None mix023_power.oepc_pso.oepc_rmo.oepc.line944.yml OUT OF MEMORY 411.50 223.82 None mix023_power.oepc_pso.oepc_rmo.oepc.line945.yml OUT OF MEMORY 599.81 319.04 None mix023_power.opt_pso.opt_rmo.opt.line766.yml OUT OF MEMORY 321.22 171.61 None mix023_power.opt_pso.opt_rmo.opt.line767.yml OUT OF MEMORY 433.03 234.64 None mix023_power.opt_pso.opt_rmo.opt.line794.yml OUT OF MEMORY 334.02 181.18 None mix023_power.opt_pso.opt_rmo.opt.line795.yml OUT OF MEMORY 442.33 234.30 None mix023_power.opt_pso.opt_rmo.opt.line822.yml OUT OF MEMORY 294.47 161.09 None mix023_power.opt_pso.opt_rmo.opt.line823.yml OUT OF MEMORY 305.45 166.38 None mix023_power.opt_pso.opt_rmo.opt.line850.yml OUT OF MEMORY 443.74 235.61 None mix023_power.opt_pso.opt_rmo.opt.line851.yml OUT OF MEMORY 495.36 257.24 None mix023_tso.line1247.yml OUT OF MEMORY 330.41 182.35 None mix023_tso.line1248.yml OUT OF MEMORY 387.67 215.13 None mix023_tso.line1275.yml OUT OF MEMORY 451.80 247.11 None mix023_tso.line1276.yml OUT OF MEMORY 377.96 211.73 None mix023_tso.line1303.yml OUT OF MEMORY 619.68 328.63 None mix023_tso.line1304.yml OUT OF MEMORY 511.98 277.69 None mix023_tso.line1331.yml OUT OF MEMORY 369.32 201.40 None mix023_tso.line1332.yml OUT OF MEMORY 409.02 224.56 None ------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 66292.96 2746.56 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk19 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 ------------------------------------------------------------------------------------------------------------------------------------------- mix006_tso.oepc.line1242.yml true 29.74 19.44 None mix006_tso.oepc.line1243.yml true 29.79 19.41 None mix006_tso.oepc.line1270.yml true 34.51 20.93 None mix006_tso.oepc.line1271.yml FAILED None mix006_tso.oepc.line1298.yml true 47.54 30.98 None mix006_tso.oepc.line1299.yml true 51.75 35.57 None mix007.oepc.line863.yml OUT OF MEMORY 467.44 253.11 None mix007.oepc.line864.yml OUT OF MEMORY 289.27 164.93 None mix007.oepc.line891.yml OUT OF MEMORY 318.13 181.00 None mix007.oepc.line892.yml OUT OF MEMORY 346.91 196.09 None mix007.oepc.line919.yml OUT OF MEMORY 309.79 180.35 None mix007.oepc.line920.yml OUT OF MEMORY 317.05 183.90 None mix007.oepc.line947.yml OUT OF MEMORY 450.15 243.40 None mix007.oepc.line948.yml OUT OF MEMORY 395.81 212.78 None mix007.opt.line886.yml true 153.77 86.68 None mix007.opt.line887.yml true 151.97 87.83 None mix007.opt.line914.yml true 177.05 98.08 None mix007.opt.line915.yml true 151.10 87.98 None mix007.opt.line942.yml true 153.62 93.93 None mix007.opt.line943.yml true 156.81 90.71 None mix007.opt.line970.yml true 304.11 169.68 None mix007.opt.line971.yml true 298.52 167.45 None mix008.opt.line883.yml true 174.39 96.59 None mix008.opt.line884.yml true 149.91 85.63 None mix008.opt.line911.yml true 182.46 101.33 None mix008.opt.line912.yml true 155.27 89.11 None mix008.opt.line939.yml true 180.35 99.72 None mix008.opt.line940.yml true 154.77 89.45 None mix008.opt.line967.yml true 284.99 156.83 None mix008.opt.line968.yml true 309.51 172.20 None mix008_power.oepc_pso.oepc_rmo.oepc.line860.yml OUT OF MEMORY 300.42 169.31 None mix008_power.oepc_pso.oepc_rmo.oepc.line861.yml OUT OF MEMORY 339.28 197.33 None mix008_power.oepc_pso.oepc_rmo.oepc.line888.yml OUT OF MEMORY 428.77 234.63 None mix008_power.oepc_pso.oepc_rmo.oepc.line889.yml OUT OF MEMORY 229.16 139.66 None mix008_power.oepc_pso.oepc_rmo.oepc.line916.yml OUT OF MEMORY 279.44 160.27 None mix008_power.oepc_pso.oepc_rmo.oepc.line917.yml OUT OF MEMORY 324.16 184.37 None mix008_power.oepc_pso.oepc_rmo.oepc.line944.yml OUT OF MEMORY 417.97 229.79 None mix008_power.oepc_pso.oepc_rmo.oepc.line945.yml OUT OF MEMORY 423.82 230.50 None mix008_tso.oepc.line1294.yml OUT OF MEMORY 313.09 175.90 None mix008_tso.oepc.line1295.yml OUT OF MEMORY 441.60 238.98 None mix008_tso.oepc.line1322.yml OUT OF MEMORY 306.26 181.09 None mix008_tso.oepc.line1323.yml OUT OF MEMORY 309.26 175.45 None mix008_tso.oepc.line1350.yml OUT OF MEMORY 258.22 148.67 None mix008_tso.oepc.line1351.yml OUT OF MEMORY 292.38 164.70 None mix008_tso.oepc.line1378.yml OUT OF MEMORY 352.43 195.59 None mix008_tso.oepc.line1379.yml OUT OF MEMORY 384.36 215.34 None mix009.oepc.line684.yml true 7.89 5.00 None mix009.oepc.line685.yml true 8.18 5.13 None mix009.oepc.line712.yml true 8.91 5.51 None mix009.oepc.line713.yml true 8.91 5.48 None mix009.opt.line801.yml true 8.71 5.40 None mix009.opt.line802.yml true 8.79 5.41 None mix009.opt.line829.yml true 9.13 5.61 None mix009.opt.line830.yml true 9.48 5.86 None mix010.oepc.line779.yml true 16.37 10.07 None mix010.oepc.line780.yml true 16.74 10.37 None mix010.oepc.line807.yml true 16.06 9.83 None mix010.oepc.line808.yml true 17.00 10.48 None mix010.oepc.line835.yml true 23.36 14.27 None mix010.oepc.line836.yml true 23.90 14.46 None mix010.opt.line849.yml true 11.80 8.08 None mix010.opt.line850.yml true 16.82 9.58 None mix010.opt.line877.yml true 12.76 8.49 None mix010.opt.line878.yml true 11.76 7.74 None mix010.opt.line905.yml true 21.81 12.36 None mix010.opt.line906.yml true 16.12 11.09 None mix011.opt.line846.yml true 16.05 9.21 None mix011.opt.line847.yml true 15.53 9.14 None mix011.opt.line874.yml true 11.62 7.47 None mix011.opt.line875.yml true 17.39 9.80 None mix011.opt.line902.yml true 20.19 11.80 None mix011.opt.line903.yml true 16.51 10.65 None mix011_power.oepc_pso.oepc_rmo.oepc.line776.yml true 13.81 9.32 None mix011_power.oepc_pso.oepc_rmo.oepc.line777.yml true 16.33 10.04 None mix011_power.oepc_pso.oepc_rmo.oepc.line804.yml true 17.94 10.69 None mix011_power.oepc_pso.oepc_rmo.oepc.line805.yml true 14.83 9.41 None mix011_power.oepc_pso.oepc_rmo.oepc.line832.yml true 18.90 12.56 None mix011_power.oepc_pso.oepc_rmo.oepc.line833.yml true 24.86 14.65 None mix011_tso.oepc.line635.yml true 16.77 9.97 None mix011_tso.oepc.line636.yml true 13.80 9.13 None mix011_tso.oepc.line663.yml true 13.79 9.08 None mix011_tso.oepc.line664.yml true 13.30 8.81 None mix011_tso.oepc.line691.yml true 25.35 14.57 None mix011_tso.oepc.line692.yml true 20.37 13.39 None mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line668.yml true 8.11 5.33 None mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line669.yml true 6.49 4.71 None mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line696.yml true 7.34 4.83 None mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line697.yml true 8.70 5.38 None mix012_pso.opt_tso.opt.line785.yml true 8.70 5.45 None mix012_pso.opt_tso.opt.line786.yml true 6.97 4.88 None mix012_pso.opt_tso.opt.line813.yml true 7.55 5.18 None mix012_pso.opt_tso.opt.line814.yml true 7.56 5.21 None mix013.oepc.line866.yml OUT OF MEMORY 260.21 151.27 None mix013.oepc.line867.yml OUT OF MEMORY 252.26 144.29 None mix013.oepc.line894.yml OUT OF MEMORY 281.40 163.24 None mix013.oepc.line895.yml OUT OF MEMORY 447.92 245.77 None mix013.oepc.line922.yml OUT OF MEMORY 341.40 191.62 None mix013.oepc.line923.yml OUT OF MEMORY 311.06 182.79 None mix013.oepc.line950.yml OUT OF MEMORY 466.36 252.12 None mix013.oepc.line951.yml OUT OF MEMORY 561.02 298.20 None mix013.opt.line889.yml true 183.48 102.18 None mix013.opt.line890.yml true 176.46 99.58 None mix013.opt.line917.yml true 164.71 90.92 None mix013.opt.line918.yml true 179.87 101.38 None mix013.opt.line945.yml true 183.23 103.53 None mix013.opt.line946.yml true 173.92 97.30 None mix013.opt.line973.yml true 367.92 212.82 None mix013.opt.line974.yml true 326.08 177.35 None mix014.opt.line886.yml true 213.17 118.34 None mix014.opt.line887.yml true 180.46 101.72 None mix014.opt.line914.yml true 180.02 102.35 None mix014.opt.line915.yml true 213.83 118.72 None mix014.opt.line942.yml true 179.43 102.50 None mix014.opt.line943.yml true 178.73 101.65 None mix014.opt.line970.yml true 345.98 191.59 None mix014.opt.line971.yml true 363.69 198.75 None mix014_power.oepc_pso.oepc_rmo.oepc.line863.yml OUT OF MEMORY 508.19 275.02 None mix014_power.oepc_pso.oepc_rmo.oepc.line864.yml OUT OF MEMORY 344.58 195.25 None mix014_power.oepc_pso.oepc_rmo.oepc.line891.yml OUT OF MEMORY 290.78 171.46 None mix014_power.oepc_pso.oepc_rmo.oepc.line892.yml OUT OF MEMORY 449.09 245.56 None mix014_power.oepc_pso.oepc_rmo.oepc.line919.yml OUT OF MEMORY 259.35 153.48 None mix014_power.oepc_pso.oepc_rmo.oepc.line920.yml OUT OF MEMORY 368.39 209.45 None mix014_power.oepc_pso.oepc_rmo.oepc.line947.yml OUT OF MEMORY 518.58 280.40 None mix014_power.oepc_pso.oepc_rmo.oepc.line948.yml OUT OF MEMORY 428.67 233.89 None mix014_tso.oepc.line1227.yml OUT OF MEMORY 368.71 204.50 None mix014_tso.oepc.line1228.yml OUT OF MEMORY 463.57 253.90 None mix014_tso.oepc.line1255.yml OUT OF MEMORY 417.41 244.59 None mix014_tso.oepc.line1256.yml OUT OF MEMORY 394.99 220.42 None mix014_tso.oepc.line1283.yml OUT OF MEMORY 479.70 265.62 None mix014_tso.oepc.line1284.yml OUT OF MEMORY 464.36 258.99 None mix014_tso.oepc.line1311.yml OUT OF MEMORY 486.46 263.57 None mix014_tso.oepc.line1312.yml OUT OF MEMORY 411.37 224.52 None mix015.oepc.line779.yml true 19.05 11.15 None mix015.oepc.line780.yml true 12.98 8.33 None mix015.oepc.line807.yml true 18.19 11.03 None mix015.oepc.line808.yml true 16.63 10.33 None mix015.oepc.line835.yml true 19.94 12.50 None mix015.oepc.line836.yml true 23.82 14.45 None mix015.opt.line849.yml true 16.91 9.96 None mix015.opt.line850.yml true 12.47 7.85 None mix015.opt.line877.yml true 18.09 10.33 None mix015.opt.line878.yml true 16.76 9.98 None mix015.opt.line905.yml true 18.26 12.48 None mix015.opt.line906.yml true 24.46 13.99 None mix016.oepc.line763.yml true 12.72 7.99 None mix016.oepc.line764.yml true 15.42 9.43 None mix016.oepc.line791.yml true 13.16 8.37 None mix016.oepc.line792.yml true 17.07 9.91 None mix016.oepc.line819.yml true 18.39 12.02 None mix016.oepc.line820.yml true 22.40 13.60 None mix016_power.opt_rmo.opt.line716.yml true 22.89 13.91 None mix016_power.opt_rmo.opt.line717.yml true 19.44 12.30 None mix016_power.opt_rmo.opt.line744.yml true 24.05 14.52 None mix016_power.opt_rmo.opt.line745.yml true 20.04 13.66 None mix016_power.opt_rmo.opt.line772.yml true 35.30 21.47 None mix016_power.opt_rmo.opt.line773.yml true 38.03 22.75 None mix016_pso.opt_tso.opt.line833.yml true 14.62 8.65 None mix016_pso.opt_tso.opt.line834.yml true 11.41 7.13 None mix016_pso.opt_tso.opt.line861.yml true 14.56 8.68 None mix016_pso.opt_tso.opt.line862.yml true 10.78 7.05 None mix016_pso.opt_tso.opt.line889.yml true 19.85 11.54 None mix016_pso.opt_tso.opt.line890.yml true 15.05 9.05 None mix017.oepc.line858.yml OUT OF MEMORY 335.33 191.70 None mix017.oepc.line859.yml OUT OF MEMORY 332.47 191.45 None mix017.oepc.line886.yml OUT OF MEMORY 260.95 150.52 None mix017.oepc.line887.yml OUT OF MEMORY 254.10 151.81 None mix017.oepc.line914.yml OUT OF MEMORY 190.71 112.26 None mix017.oepc.line915.yml OUT OF MEMORY 284.62 164.40 None mix017.oepc.line942.yml OUT OF MEMORY 519.28 278.47 None mix017.oepc.line943.yml OUT OF MEMORY 536.74 284.29 None mix017_power.opt_rmo.opt.line764.yml OUT OF MEMORY 345.64 188.63 None mix017_power.opt_rmo.opt.line765.yml OUT OF MEMORY 344.78 191.45 None mix017_power.opt_rmo.opt.line792.yml OUT OF MEMORY 341.52 186.76 None mix017_power.opt_rmo.opt.line793.yml OUT OF MEMORY 296.82 167.63 None mix017_power.opt_rmo.opt.line820.yml OUT OF MEMORY 224.74 126.30 None mix017_power.opt_rmo.opt.line821.yml OUT OF MEMORY 218.15 126.46 None mix017_power.opt_rmo.opt.line848.yml OUT OF MEMORY 589.15 306.39 None mix017_power.opt_rmo.opt.line849.yml OUT OF MEMORY 426.77 231.50 None mix017_pso.opt_tso.opt.line881.yml true 173.35 97.66 None mix017_pso.opt_tso.opt.line882.yml true 141.20 80.86 None mix017_pso.opt_tso.opt.line909.yml true 142.96 82.74 None mix017_pso.opt_tso.opt.line910.yml true 137.84 77.82 None mix017_pso.opt_tso.opt.line937.yml true 136.77 77.76 None mix017_pso.opt_tso.opt.line938.yml true 150.07 87.21 None mix017_pso.opt_tso.opt.line965.yml true 344.81 187.66 None mix017_pso.opt_tso.opt.line966.yml true 277.72 156.23 None mix018.opt.line878.yml true 147.04 84.52 None mix018.opt.line879.yml true 146.04 84.47 None mix018.opt.line906.yml true 167.85 92.17 None mix018.opt.line907.yml true 149.42 84.74 None mix018.opt.line934.yml true 149.58 84.87 None mix018.opt.line935.yml true 176.57 100.34 None mix018.opt.line962.yml true 275.51 152.59 None mix018.opt.line963.yml true 269.93 150.02 None mix018_power.oepc_pso.oepc_rmo.oepc.line855.yml OUT OF MEMORY 315.78 182.07 None mix018_power.oepc_pso.oepc_rmo.oepc.line856.yml OUT OF MEMORY 295.42 169.38 None mix018_power.oepc_pso.oepc_rmo.oepc.line883.yml OUT OF MEMORY 415.59 229.95 None mix018_power.oepc_pso.oepc_rmo.oepc.line884.yml OUT OF MEMORY 355.29 200.08 None mix018_power.oepc_pso.oepc_rmo.oepc.line911.yml OUT OF MEMORY 268.90 158.27 None mix018_power.oepc_pso.oepc_rmo.oepc.line912.yml OUT OF MEMORY 306.18 176.53 None mix018_power.oepc_pso.oepc_rmo.oepc.line939.yml OUT OF MEMORY 460.79 255.77 None mix018_power.oepc_pso.oepc_rmo.oepc.line940.yml OUT OF MEMORY 503.05 270.35 None mix018_tso.oepc.line714.yml OUT OF MEMORY 284.78 167.54 None mix018_tso.oepc.line715.yml OUT OF MEMORY 350.74 196.74 None mix018_tso.oepc.line742.yml OUT OF MEMORY 335.49 189.01 None mix018_tso.oepc.line743.yml OUT OF MEMORY 237.36 140.00 None mix018_tso.oepc.line770.yml OUT OF MEMORY 227.73 134.12 None mix018_tso.oepc.line771.yml OUT OF MEMORY 255.07 150.85 None mix018_tso.oepc.line798.yml OUT OF MEMORY 408.19 223.98 None mix018_tso.oepc.line799.yml OUT OF MEMORY 398.53 216.17 None mix019.opt.line830.yml true 15.24 8.87 None mix019.opt.line831.yml true 14.66 8.66 None mix019.opt.line858.yml true 14.61 8.72 None mix019.opt.line859.yml true 14.80 8.51 None mix019.opt.line886.yml true 20.00 11.79 None mix019.opt.line887.yml true 16.17 10.32 None mix019_power.oepc_pso.oepc_rmo.oepc.line760.yml true 13.42 8.77 None mix019_power.oepc_pso.oepc_rmo.oepc.line761.yml true 12.55 8.50 None mix019_power.oepc_pso.oepc_rmo.oepc.line788.yml true 18.59 10.82 None mix019_power.oepc_pso.oepc_rmo.oepc.line789.yml true 13.91 8.96 None mix019_power.oepc_pso.oepc_rmo.oepc.line816.yml true 17.82 12.26 None mix019_power.oepc_pso.oepc_rmo.oepc.line817.yml true 18.55 12.12 None mix019_tso.oepc.line619.yml true 13.99 8.77 None mix019_tso.oepc.line620.yml true 15.92 9.69 None mix019_tso.oepc.line647.yml true 13.07 8.15 None mix019_tso.oepc.line648.yml true 13.32 8.50 None mix019_tso.oepc.line675.yml true 17.09 11.75 None mix019_tso.oepc.line676.yml true 16.97 10.84 None mix020.oepc.line855.yml OUT OF MEMORY 359.21 207.77 None mix020.oepc.line856.yml OUT OF MEMORY 269.73 157.10 None mix020.oepc.line883.yml OUT OF MEMORY 330.28 187.37 None mix020.oepc.line884.yml OUT OF MEMORY 338.27 189.47 None mix020.oepc.line911.yml OUT OF MEMORY 308.83 175.79 None mix020.oepc.line912.yml OUT OF MEMORY 268.56 156.16 None mix020.oepc.line939.yml OUT OF MEMORY 428.95 243.28 None mix020.oepc.line940.yml OUT OF MEMORY 431.77 232.60 None mix020.opt.line878.yml true 174.93 97.79 None mix020.opt.line879.yml true 171.81 97.15 None mix020.opt.line906.yml true 151.54 86.53 None mix020.opt.line907.yml true 143.70 81.72 None mix020.opt.line934.yml true 171.53 95.03 None mix020.opt.line935.yml true 148.37 84.42 None mix020.opt.line962.yml true 292.14 161.67 None mix020.opt.line963.yml true 343.08 185.34 None mix021.opt.line875.yml true 171.76 94.71 None mix021.opt.line876.yml true 151.57 85.25 None mix021.opt.line903.yml true 147.12 84.13 None mix021.opt.line904.yml true 136.31 77.40 None mix021.opt.line931.yml true 136.52 76.86 None mix021.opt.line932.yml true 147.41 85.61 None mix021.opt.line959.yml true 283.07 154.59 None mix021.opt.line960.yml true 291.95 163.66 None mix021_power.oepc_pso.oepc_rmo.oepc.line852.yml OUT OF MEMORY 258.89 148.27 None mix021_power.oepc_pso.oepc_rmo.oepc.line853.yml OUT OF MEMORY 242.15 140.23 None mix021_power.oepc_pso.oepc_rmo.oepc.line880.yml OUT OF MEMORY 269.17 152.76 None mix021_power.oepc_pso.oepc_rmo.oepc.line881.yml OUT OF MEMORY 235.54 136.65 None mix021_power.oepc_pso.oepc_rmo.oepc.line908.yml OUT OF MEMORY 278.67 159.30 None mix021_power.oepc_pso.oepc_rmo.oepc.line909.yml OUT OF MEMORY 338.97 193.53 None mix021_power.oepc_pso.oepc_rmo.oepc.line936.yml OUT OF MEMORY 314.61 173.14 None mix021_power.oepc_pso.oepc_rmo.oepc.line937.yml OUT OF MEMORY 439.17 242.57 None mix021_tso.oepc.line664.yml true 195.79 113.46 None mix021_tso.oepc.line665.yml true 199.12 113.72 None mix021_tso.oepc.line692.yml true 239.87 134.04 None mix021_tso.oepc.line693.yml true 196.79 114.47 None mix021_tso.oepc.line720.yml true 241.03 133.19 None mix021_tso.oepc.line721.yml true 200.65 116.15 None mix021_tso.oepc.line748.yml true 401.82 223.43 None mix021_tso.oepc.line749.yml true 372.35 207.38 None mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line665.yml true 7.78 4.99 None mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line666.yml true 6.53 4.51 None mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line693.yml true 8.82 5.43 None mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line694.yml true 7.01 4.70 None mix022_tso.line688.yml true 6.99 5.00 None mix022_tso.line689.yml true 7.92 5.05 None mix022_tso.line716.yml true 6.53 4.62 None mix022_tso.line717.yml true 7.77 5.21 None mix023_power.oepc_pso.oepc_rmo.oepc.line860.yml OUT OF MEMORY 285.18 163.05 None mix023_power.oepc_pso.oepc_rmo.oepc.line861.yml OUT OF MEMORY 357.46 203.69 None mix023_power.oepc_pso.oepc_rmo.oepc.line888.yml OUT OF MEMORY 287.90 168.06 None mix023_power.oepc_pso.oepc_rmo.oepc.line889.yml OUT OF MEMORY 339.03 192.92 None mix023_power.oepc_pso.oepc_rmo.oepc.line916.yml OUT OF MEMORY 265.40 155.77 None mix023_power.oepc_pso.oepc_rmo.oepc.line917.yml OUT OF MEMORY 325.30 184.86 None mix023_power.oepc_pso.oepc_rmo.oepc.line944.yml OUT OF MEMORY 504.73 269.68 None mix023_power.oepc_pso.oepc_rmo.oepc.line945.yml OUT OF MEMORY 447.81 244.34 None mix023_power.opt_pso.opt_rmo.opt.line766.yml OUT OF MEMORY 379.97 206.70 None mix023_power.opt_pso.opt_rmo.opt.line767.yml OUT OF MEMORY 338.41 190.79 None mix023_power.opt_pso.opt_rmo.opt.line794.yml OUT OF MEMORY 461.00 247.15 None mix023_power.opt_pso.opt_rmo.opt.line795.yml OUT OF MEMORY 438.70 233.06 None mix023_power.opt_pso.opt_rmo.opt.line822.yml OUT OF MEMORY 375.40 208.47 None mix023_power.opt_pso.opt_rmo.opt.line823.yml OUT OF MEMORY 263.66 147.12 None mix023_power.opt_pso.opt_rmo.opt.line850.yml OUT OF MEMORY 414.48 216.82 None mix023_power.opt_pso.opt_rmo.opt.line851.yml OUT OF MEMORY 413.52 219.79 None mix023_tso.line1247.yml OUT OF MEMORY 470.88 254.25 None mix023_tso.line1248.yml OUT OF MEMORY 385.04 214.58 None mix023_tso.line1275.yml OUT OF MEMORY 369.55 205.17 None mix023_tso.line1276.yml OUT OF MEMORY 350.08 205.63 None mix023_tso.line1303.yml OUT OF MEMORY 405.48 223.81 None mix023_tso.line1304.yml OUT OF MEMORY 385.97 215.63 None mix023_tso.line1331.yml OUT OF MEMORY 509.45 270.62 None mix023_tso.line1332.yml OUT OF MEMORY 386.37 207.38 None ------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 59657.44 42653.34 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk19 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 ------------------------------------------------------------------------------------------------------------------------------------------- mix006_tso.oepc.line1242.yml true 49.68 31.36 None mix006_tso.oepc.line1243.yml true 48.71 31.39 None mix006_tso.oepc.line1270.yml true 60.64 36.79 None mix006_tso.oepc.line1271.yml true 47.98 30.10 None mix006_tso.oepc.line1298.yml true 82.69 56.09 None mix006_tso.oepc.line1299.yml true 83.26 57.92 None mix007.oepc.line863.yml OUT OF MEMORY 847.58 433.35 None mix007.oepc.line864.yml OUT OF MEMORY 520.66 273.26 None mix007.oepc.line891.yml OUT OF MEMORY 608.60 317.50 None mix007.oepc.line892.yml OUT OF MEMORY 675.17 346.27 None mix007.oepc.line919.yml OUT OF MEMORY 387.60 209.68 None mix007.oepc.line920.yml OUT OF MEMORY 341.85 180.86 None mix007.oepc.line947.yml OUT OF MEMORY 678.99 351.78 None mix007.oepc.line948.yml OUT OF MEMORY 647.79 330.69 None mix007.opt.line886.yml true 257.36 147.80 None mix007.opt.line887.yml true 275.55 154.60 None mix007.opt.line914.yml true 264.88 151.03 None mix007.opt.line915.yml true 329.59 184.21 None mix007.opt.line942.yml true 274.15 161.49 None mix007.opt.line943.yml true 272.16 161.83 None mix007.opt.line970.yml OUT OF MEMORY 245.58 138.16 None mix007.opt.line971.yml true 515.03 297.57 None mix008.opt.line883.yml true 251.65 145.40 None mix008.opt.line884.yml true 272.49 158.12 None mix008.opt.line911.yml true 269.74 154.64 None mix008.opt.line912.yml true 263.94 151.99 None mix008.opt.line939.yml true 260.65 151.09 None mix008.opt.line940.yml true 324.59 181.72 None mix008.opt.line967.yml OUT OF MEMORY 321.50 176.67 None mix008.opt.line968.yml OUT OF MEMORY 236.72 136.18 None mix008_power.oepc_pso.oepc_rmo.oepc.line860.yml OUT OF MEMORY 730.11 376.61 None mix008_power.oepc_pso.oepc_rmo.oepc.line861.yml OUT OF MEMORY 439.61 233.50 None mix008_power.oepc_pso.oepc_rmo.oepc.line888.yml OUT OF MEMORY 641.10 326.44 None mix008_power.oepc_pso.oepc_rmo.oepc.line889.yml OUT OF MEMORY 421.77 223.42 None mix008_power.oepc_pso.oepc_rmo.oepc.line916.yml OUT OF MEMORY 351.75 187.55 None mix008_power.oepc_pso.oepc_rmo.oepc.line917.yml OUT OF MEMORY 409.77 221.16 None mix008_power.oepc_pso.oepc_rmo.oepc.line944.yml OUT OF MEMORY 752.05 390.12 None mix008_power.oepc_pso.oepc_rmo.oepc.line945.yml OUT OF MEMORY 675.94 355.04 None mix008_tso.oepc.line1294.yml OUT OF MEMORY 614.56 321.90 None mix008_tso.oepc.line1295.yml OUT OF MEMORY 824.00 419.86 None mix008_tso.oepc.line1322.yml OUT OF MEMORY 770.09 394.05 None mix008_tso.oepc.line1323.yml OUT OF MEMORY 783.05 400.57 None mix008_tso.oepc.line1350.yml OUT OF MEMORY 491.64 256.59 None mix008_tso.oepc.line1351.yml OUT OF MEMORY 590.49 305.27 None mix008_tso.oepc.line1378.yml OUT OF MEMORY 659.37 336.22 None mix008_tso.oepc.line1379.yml OUT OF MEMORY 653.68 340.07 None mix009.oepc.line684.yml true 7.12 4.90 None mix009.oepc.line685.yml true 7.01 4.86 None mix009.oepc.line712.yml true 7.50 5.22 None mix009.oepc.line713.yml true 7.35 5.08 None mix009.opt.line801.yml true 7.47 5.11 None mix009.opt.line802.yml true 7.55 5.03 None mix009.opt.line829.yml true 7.99 5.39 None mix009.opt.line830.yml true 8.41 5.59 None mix010.oepc.line779.yml true 19.71 13.26 None mix010.oepc.line780.yml true 19.54 13.12 None mix010.oepc.line807.yml true 21.90 14.67 None mix010.oepc.line808.yml true 19.58 13.41 None mix010.oepc.line835.yml true 29.01 19.18 None mix010.oepc.line836.yml true 30.66 20.50 None mix010.opt.line849.yml true 15.91 10.08 None mix010.opt.line850.yml true 19.15 11.47 None mix010.opt.line877.yml true 15.32 10.16 None mix010.opt.line878.yml true 17.44 10.79 None mix010.opt.line905.yml true 22.94 14.00 None mix010.opt.line906.yml true 22.57 14.47 None mix011.opt.line846.yml true 16.79 10.41 None mix011.opt.line847.yml true 13.95 8.95 None mix011.opt.line874.yml true 16.24 10.85 None mix011.opt.line875.yml true 16.40 10.38 None mix011.opt.line902.yml true 20.98 13.34 None mix011.opt.line903.yml true 21.72 14.31 None mix011_power.oepc_pso.oepc_rmo.oepc.line776.yml true 21.38 13.76 None mix011_power.oepc_pso.oepc_rmo.oepc.line777.yml true 18.52 13.58 None mix011_power.oepc_pso.oepc_rmo.oepc.line804.yml true 23.08 14.18 None mix011_power.oepc_pso.oepc_rmo.oepc.line805.yml true 19.75 12.26 None mix011_power.oepc_pso.oepc_rmo.oepc.line832.yml true 34.13 21.49 None mix011_power.oepc_pso.oepc_rmo.oepc.line833.yml true 28.99 19.16 None mix011_tso.oepc.line635.yml true 17.58 11.19 None mix011_tso.oepc.line636.yml true 18.22 12.21 None mix011_tso.oepc.line663.yml true 26.06 14.91 None mix011_tso.oepc.line664.yml true 19.06 11.75 None mix011_tso.oepc.line691.yml true 30.66 18.36 None mix011_tso.oepc.line692.yml true 27.46 20.11 None mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line668.yml true 6.52 5.02 None mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line669.yml true 7.41 5.08 None mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line696.yml true 7.66 4.89 None mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.line697.yml true 9.26 5.67 None mix012_pso.opt_tso.opt.line785.yml true 7.37 5.07 None mix012_pso.opt_tso.opt.line786.yml true 7.28 5.17 None mix012_pso.opt_tso.opt.line813.yml true 7.98 5.18 None mix012_pso.opt_tso.opt.line814.yml true 8.29 5.20 None mix013.oepc.line866.yml OUT OF MEMORY 594.08 311.57 None mix013.oepc.line867.yml OUT OF MEMORY 464.88 251.22 None mix013.oepc.line894.yml OUT OF MEMORY 396.16 218.68 None mix013.oepc.line895.yml OUT OF MEMORY 677.76 350.90 None mix013.oepc.line922.yml OUT OF MEMORY 395.24 207.63 None mix013.oepc.line923.yml OUT OF MEMORY 364.94 193.05 None mix013.oepc.line950.yml OUT OF MEMORY 673.76 359.99 None mix013.oepc.line951.yml OUT OF MEMORY 728.17 382.28 None mix013.opt.line889.yml true 350.68 193.19 None mix013.opt.line890.yml OUT OF MEMORY (true) 428.34 233.54 None mix013.opt.line917.yml true 431.87 232.59 None mix013.opt.line918.yml OUT OF MEMORY 402.72 210.23 None mix013.opt.line945.yml OUT OF MEMORY 326.49 169.50 None mix013.opt.line946.yml true 338.55 184.71 None mix013.opt.line973.yml OUT OF MEMORY 508.34 271.72 None mix013.opt.line974.yml OUT OF MEMORY 490.55 265.75 None mix014.opt.line886.yml OUT OF MEMORY 335.30 176.77 None mix014.opt.line887.yml OUT OF MEMORY 341.03 182.62 None mix014.opt.line914.yml OUT OF MEMORY 337.18 179.05 None mix014.opt.line915.yml OUT OF MEMORY 316.20 166.59 None mix014.opt.line942.yml true 425.31 227.94 None mix014.opt.line943.yml OUT OF MEMORY 430.70 225.84 None mix014.opt.line970.yml OUT OF MEMORY 711.35 382.01 None mix014.opt.line971.yml OUT OF MEMORY 450.78 246.55 None mix014_power.oepc_pso.oepc_rmo.oepc.line863.yml OUT OF MEMORY 740.08 382.09 None mix014_power.oepc_pso.oepc_rmo.oepc.line864.yml OUT OF MEMORY 479.37 255.45 None mix014_power.oepc_pso.oepc_rmo.oepc.line891.yml OUT OF MEMORY 468.09 247.72 None mix014_power.oepc_pso.oepc_rmo.oepc.line892.yml OUT OF MEMORY 745.63 383.78 None mix014_power.oepc_pso.oepc_rmo.oepc.line919.yml OUT OF MEMORY 472.85 252.32 None mix014_power.oepc_pso.oepc_rmo.oepc.line920.yml OUT OF MEMORY 341.87 183.01 None mix014_power.oepc_pso.oepc_rmo.oepc.line947.yml OUT OF MEMORY 772.97 402.29 None mix014_power.oepc_pso.oepc_rmo.oepc.line948.yml OUT OF MEMORY 604.55 307.96 None mix014_tso.oepc.line1227.yml OUT OF MEMORY 571.91 302.32 None mix014_tso.oepc.line1228.yml OUT OF MEMORY 625.45 321.94 None mix014_tso.oepc.line1255.yml OUT OF MEMORY 769.67 401.10 None mix014_tso.oepc.line1256.yml OUT OF MEMORY 658.54 345.13 None mix014_tso.oepc.line1283.yml TIMEOUT 905.08 468.56 None mix014_tso.oepc.line1284.yml OUT OF MEMORY 667.82 352.67 None mix014_tso.oepc.line1311.yml OUT OF MEMORY 695.59 356.01 None mix014_tso.oepc.line1312.yml OUT OF MEMORY 668.98 354.72 None mix015.oepc.line779.yml true 21.56 14.21 None mix015.oepc.line780.yml true 21.23 13.89 None mix015.oepc.line807.yml true 20.97 14.34 None mix015.oepc.line808.yml true 21.55 14.73 None mix015.oepc.line835.yml true 39.19 23.45 None mix015.oepc.line836.yml true 33.36 22.09 None mix015.opt.line849.yml true 18.18 11.80 None mix015.opt.line850.yml true 21.17 12.67 None mix015.opt.line877.yml true 18.90 12.23 None mix015.opt.line878.yml true 18.41 11.79 None mix015.opt.line905.yml true 34.29 19.92 None mix015.opt.line906.yml true 27.19 17.43 None mix016.oepc.line763.yml true 18.36 11.96 None mix016.oepc.line764.yml true 23.08 14.15 None mix016.oepc.line791.yml true 19.60 13.23 None mix016.oepc.line792.yml true 19.42 13.33 None mix016.oepc.line819.yml true 28.23 17.73 None mix016.oepc.line820.yml true 28.47 17.58 None mix016_power.opt_rmo.opt.line716.yml true 30.59 21.07 None mix016_power.opt_rmo.opt.line717.yml true 35.80 21.96 None mix016_power.opt_rmo.opt.line744.yml true 34.14 21.47 None mix016_power.opt_rmo.opt.line745.yml true 32.49 20.82 None mix016_power.opt_rmo.opt.line772.yml true 48.68 30.52 None mix016_power.opt_rmo.opt.line773.yml true 43.93 29.09 None mix016_pso.opt_tso.opt.line833.yml true 16.26 9.43 None mix016_pso.opt_tso.opt.line834.yml true 15.80 9.66 None mix016_pso.opt_tso.opt.line861.yml true 18.08 11.00 None mix016_pso.opt_tso.opt.line862.yml true 16.75 10.19 None mix016_pso.opt_tso.opt.line889.yml true 27.37 15.77 None mix016_pso.opt_tso.opt.line890.yml true 22.88 13.74 None mix017.oepc.line858.yml OUT OF MEMORY 491.44 260.20 None mix017.oepc.line859.yml OUT OF MEMORY 663.50 348.22 None mix017.oepc.line886.yml OUT OF MEMORY 125.82 72.61 None mix017.oepc.line887.yml OUT OF MEMORY 696.47 360.22 None mix017.oepc.line914.yml OUT OF MEMORY 238.66 131.00 None mix017.oepc.line915.yml OUT OF MEMORY 322.23 172.81 None mix017.oepc.line942.yml OUT OF MEMORY 652.41 333.36 None mix017.oepc.line943.yml OUT OF MEMORY 713.87 369.17 None mix017_power.opt_rmo.opt.line764.yml OUT OF MEMORY 703.94 360.43 None mix017_power.opt_rmo.opt.line765.yml OUT OF MEMORY 836.86 423.83 None mix017_power.opt_rmo.opt.line792.yml OUT OF MEMORY 766.58 391.56 None mix017_power.opt_rmo.opt.line793.yml OUT OF MEMORY 648.79 330.41 None mix017_power.opt_rmo.opt.line820.yml OUT OF MEMORY 576.40 299.51 None mix017_power.opt_rmo.opt.line821.yml OUT OF MEMORY 385.72 203.75 None mix017_power.opt_rmo.opt.line848.yml OUT OF MEMORY 629.25 327.37 None mix017_power.opt_rmo.opt.line849.yml OUT OF MEMORY 625.51 318.84 None mix017_pso.opt_tso.opt.line881.yml true 302.35 173.01 None mix017_pso.opt_tso.opt.line882.yml true 254.48 147.11 None mix017_pso.opt_tso.opt.line909.yml true 236.96 134.05 None mix017_pso.opt_tso.opt.line910.yml true 260.09 155.51 None mix017_pso.opt_tso.opt.line937.yml true 257.68 146.93 None mix017_pso.opt_tso.opt.line938.yml true 304.64 171.44 None mix017_pso.opt_tso.opt.line965.yml true 482.04 278.31 None mix017_pso.opt_tso.opt.line966.yml OUT OF MEMORY 242.12 138.41 None mix018.opt.line878.yml true 307.77 173.88 None mix018.opt.line879.yml true 253.81 145.60 None mix018.opt.line906.yml true 249.47 145.33 None mix018.opt.line907.yml true 246.15 139.66 None mix018.opt.line934.yml true 237.32 134.86 None mix018.opt.line935.yml true 249.93 143.13 None mix018.opt.line962.yml OUT OF MEMORY 243.57 138.40 None mix018.opt.line963.yml OUT OF MEMORY 247.56 141.55 None mix018_power.oepc_pso.oepc_rmo.oepc.line855.yml OUT OF MEMORY 377.52 202.94 None mix018_power.oepc_pso.oepc_rmo.oepc.line856.yml OUT OF MEMORY 631.35 327.46 None mix018_power.oepc_pso.oepc_rmo.oepc.line883.yml OUT OF MEMORY 879.20 450.01 None mix018_power.oepc_pso.oepc_rmo.oepc.line884.yml TIMEOUT 921.33 479.96 None mix018_power.oepc_pso.oepc_rmo.oepc.line911.yml OUT OF MEMORY 540.60 285.11 None mix018_power.oepc_pso.oepc_rmo.oepc.line912.yml OUT OF MEMORY 421.60 224.12 None mix018_power.oepc_pso.oepc_rmo.oepc.line939.yml OUT OF MEMORY 725.65 373.44 None mix018_power.oepc_pso.oepc_rmo.oepc.line940.yml OUT OF MEMORY 711.62 371.60 None mix018_tso.oepc.line714.yml OUT OF MEMORY 420.96 221.99 None mix018_tso.oepc.line715.yml OUT OF MEMORY 464.64 240.04 None mix018_tso.oepc.line742.yml OUT OF MEMORY 385.97 211.22 None mix018_tso.oepc.line743.yml OUT OF MEMORY 405.91 212.80 None mix018_tso.oepc.line770.yml OUT OF MEMORY 449.42 237.47 None mix018_tso.oepc.line771.yml OUT OF MEMORY 380.62 202.74 None mix018_tso.oepc.line798.yml OUT OF MEMORY 673.24 344.41 None mix018_tso.oepc.line799.yml OUT OF MEMORY 827.37 422.96 None mix019.opt.line830.yml true 14.70 10.05 None mix019.opt.line831.yml true 14.58 9.34 None mix019.opt.line858.yml true 21.39 12.43 None mix019.opt.line859.yml true 16.12 10.78 None mix019.opt.line886.yml true 26.22 16.37 None mix019.opt.line887.yml true 24.10 14.32 None mix019_power.oepc_pso.oepc_rmo.oepc.line760.yml true 23.01 13.79 None mix019_power.oepc_pso.oepc_rmo.oepc.line761.yml true 18.01 12.36 None mix019_power.oepc_pso.oepc_rmo.oepc.line788.yml true 18.55 11.71 None mix019_power.oepc_pso.oepc_rmo.oepc.line789.yml true 21.96 12.85 None mix019_power.oepc_pso.oepc_rmo.oepc.line816.yml true 30.78 18.17 None mix019_power.oepc_pso.oepc_rmo.oepc.line817.yml true 28.14 19.44 None mix019_tso.oepc.line619.yml true 22.82 13.34 None mix019_tso.oepc.line620.yml true 17.92 11.72 None mix019_tso.oepc.line647.yml true 18.83 11.51 None mix019_tso.oepc.line648.yml true 19.01 11.51 None mix019_tso.oepc.line675.yml true 25.53 16.71 None mix019_tso.oepc.line676.yml true 29.70 18.41 None mix020.oepc.line855.yml OUT OF MEMORY 348.53 185.31 None mix020.oepc.line856.yml OUT OF MEMORY 535.39 279.86 None mix020.oepc.line883.yml OUT OF MEMORY 549.92 294.27 None mix020.oepc.line884.yml OUT OF MEMORY 560.17 288.49 None mix020.oepc.line911.yml OUT OF MEMORY 466.98 245.24 None mix020.oepc.line912.yml OUT OF MEMORY 282.26 156.75 None mix020.oepc.line939.yml OUT OF MEMORY 674.20 350.29 None mix020.oepc.line940.yml OUT OF MEMORY 705.52 362.25 None mix020.opt.line878.yml true 249.85 143.24 None mix020.opt.line879.yml true 251.44 144.08 None mix020.opt.line906.yml true 307.89 171.99 None mix020.opt.line907.yml true 305.66 171.46 None mix020.opt.line934.yml true 268.51 154.24 None mix020.opt.line935.yml true 261.36 150.07 None mix020.opt.line962.yml OUT OF MEMORY 246.35 139.25 None mix020.opt.line963.yml true 487.05 273.99 None mix021.opt.line875.yml true 252.58 148.23 None mix021.opt.line876.yml true 245.82 140.88 None mix021.opt.line903.yml true 312.34 176.39 None mix021.opt.line904.yml true 309.28 173.43 None mix021.opt.line931.yml true 242.30 136.49 None mix021.opt.line932.yml true 254.83 150.16 None mix021.opt.line959.yml OUT OF MEMORY 288.45 160.23 None mix021.opt.line960.yml OUT OF MEMORY 281.21 160.49 None mix021_power.oepc_pso.oepc_rmo.oepc.line852.yml OUT OF MEMORY 408.68 214.78 None mix021_power.oepc_pso.oepc_rmo.oepc.line853.yml OUT OF MEMORY 258.14 138.40 None mix021_power.oepc_pso.oepc_rmo.oepc.line880.yml OUT OF MEMORY 855.47 440.03 None mix021_power.oepc_pso.oepc_rmo.oepc.line881.yml OUT OF MEMORY 744.15 382.98 None mix021_power.oepc_pso.oepc_rmo.oepc.line908.yml OUT OF MEMORY 409.29 213.90 None mix021_power.oepc_pso.oepc_rmo.oepc.line909.yml OUT OF MEMORY 399.50 219.19 None mix021_power.oepc_pso.oepc_rmo.oepc.line936.yml OUT OF MEMORY 651.58 334.32 None mix021_power.oepc_pso.oepc_rmo.oepc.line937.yml OUT OF MEMORY 633.08 323.94 None mix021_tso.oepc.line664.yml OUT OF MEMORY 483.13 248.38 None mix021_tso.oepc.line665.yml OUT OF MEMORY 412.28 215.22 None mix021_tso.oepc.line692.yml OUT OF MEMORY 538.25 278.70 None mix021_tso.oepc.line693.yml OUT OF MEMORY 413.70 213.71 None mix021_tso.oepc.line720.yml OUT OF MEMORY 522.96 269.44 None mix021_tso.oepc.line721.yml OUT OF MEMORY 429.92 223.97 None mix021_tso.oepc.line748.yml OUT OF MEMORY 351.18 183.41 None mix021_tso.oepc.line749.yml OUT OF MEMORY 337.92 174.10 None mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line665.yml true 6.87 4.87 None mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line666.yml true 6.98 4.89 None mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line693.yml true 7.54 5.28 None mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line694.yml true 7.47 5.09 None mix022_tso.line688.yml true 6.96 4.81 None mix022_tso.line689.yml true 6.52 4.47 None mix022_tso.line716.yml true 7.18 4.84 None mix022_tso.line717.yml true 6.86 4.71 None mix023_power.oepc_pso.oepc_rmo.oepc.line860.yml OUT OF MEMORY 462.48 242.84 None mix023_power.oepc_pso.oepc_rmo.oepc.line861.yml OUT OF MEMORY 413.36 219.91 None mix023_power.oepc_pso.oepc_rmo.oepc.line888.yml OUT OF MEMORY 504.68 272.80 None mix023_power.oepc_pso.oepc_rmo.oepc.line889.yml OUT OF MEMORY 523.24 275.71 None mix023_power.oepc_pso.oepc_rmo.oepc.line916.yml OUT OF MEMORY 406.22 216.12 None mix023_power.oepc_pso.oepc_rmo.oepc.line917.yml OUT OF MEMORY 392.27 208.88 None mix023_power.oepc_pso.oepc_rmo.oepc.line944.yml OUT OF MEMORY 755.18 388.59 None mix023_power.oepc_pso.oepc_rmo.oepc.line945.yml OUT OF MEMORY 634.96 326.41 None mix023_power.opt_pso.opt_rmo.opt.line766.yml OUT OF MEMORY 656.10 334.64 None mix023_power.opt_pso.opt_rmo.opt.line767.yml OUT OF MEMORY 868.66 440.25 None mix023_power.opt_pso.opt_rmo.opt.line794.yml OUT OF MEMORY 680.14 354.57 None mix023_power.opt_pso.opt_rmo.opt.line795.yml OUT OF MEMORY 821.26 418.54 None mix023_power.opt_pso.opt_rmo.opt.line822.yml OUT OF MEMORY 530.52 270.97 None mix023_power.opt_pso.opt_rmo.opt.line823.yml OUT OF MEMORY 715.69 366.57 None mix023_power.opt_pso.opt_rmo.opt.line850.yml OUT OF MEMORY 618.69 320.55 None mix023_power.opt_pso.opt_rmo.opt.line851.yml OUT OF MEMORY 636.43 326.40 None mix023_tso.line1247.yml OUT OF MEMORY 667.65 345.14 None mix023_tso.line1248.yml OUT OF MEMORY 796.73 408.14 None mix023_tso.line1275.yml OUT OF MEMORY 549.12 295.30 None mix023_tso.line1276.yml OUT OF MEMORY 666.75 344.58 None mix023_tso.line1303.yml OUT OF MEMORY 344.36 181.60 None mix023_tso.line1304.yml OUT OF MEMORY 566.63 295.14 None mix023_tso.line1331.yml OUT OF MEMORY 617.90 316.03 None mix023_tso.line1332.yml OUT OF MEMORY 605.31 312.61 None ------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 96273.64 3828.49 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk19 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk19 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk19 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk19 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk19 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk19 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk19 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk19 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk19 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk19 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk19 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk19 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk19 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk19 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk19 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk19 Run set 19 of 19: skipped Statistics: 900 Files correct: 510 correct true: 510 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 390 Score: 1020 (max: 1800)