BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk20, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk20, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk20 date: Sun, 2022-10-23 10:51:13 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-chunk20 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 --------------------------------------------------------------------------------------------------------------------- elimination_backoff_stack.line909.yml OUT OF MEMORY 569.93 310.75 None elimination_backoff_stack.line910.yml OUT OF MEMORY 569.92 311.43 None elimination_backoff_stack.line9129.yml OUT OF MEMORY 528.86 283.26 None elimination_backoff_stack.line9130.yml OUT OF MEMORY 380.59 209.70 None elimination_backoff_stack.line9141.yml OUT OF MEMORY 365.22 202.97 None elimination_backoff_stack.line9142.yml OUT OF MEMORY 478.83 266.41 None elimination_backoff_stack.line9155.yml OUT OF MEMORY 601.54 319.20 None elimination_backoff_stack.line9156.yml OUT OF MEMORY 472.18 254.54 None elimination_backoff_stack.line9165.yml OUT OF MEMORY 597.56 316.79 None elimination_backoff_stack.line9166.yml OUT OF MEMORY 429.32 232.93 None elimination_backoff_stack.line9177.yml OUT OF MEMORY 593.58 318.73 None elimination_backoff_stack.line9178.yml OUT OF MEMORY 473.67 258.31 None elimination_backoff_stack.line9199.yml OUT OF MEMORY 505.03 275.05 None elimination_backoff_stack.line9200.yml OUT OF MEMORY 615.74 329.53 None elimination_backoff_stack.line9212.yml OUT OF MEMORY 661.76 358.37 None elimination_backoff_stack.line9213.yml OUT OF MEMORY 324.15 181.06 None elimination_backoff_stack.line9236.yml OUT OF MEMORY 505.82 272.53 None elimination_backoff_stack.line9237.yml OUT OF MEMORY 500.68 270.33 None elimination_backoff_stack.line9246.yml OUT OF MEMORY 399.18 221.10 None elimination_backoff_stack.line9247.yml OUT OF MEMORY 450.72 254.31 None elimination_backoff_stack.line9257.yml OUT OF MEMORY 397.76 222.05 None elimination_backoff_stack.line9258.yml OUT OF MEMORY 581.87 308.32 None elimination_backoff_stack.line9267.yml OUT OF MEMORY 565.75 307.27 None elimination_backoff_stack.line9268.yml OUT OF MEMORY 434.24 242.02 None elimination_backoff_stack.line9302.yml OUT OF MEMORY 642.37 343.73 None elimination_backoff_stack.line9303.yml OUT OF MEMORY 497.73 271.29 None elimination_backoff_stack.line931.yml OUT OF MEMORY 482.50 260.16 None elimination_backoff_stack.line9318.yml OUT OF MEMORY 348.18 190.84 None elimination_backoff_stack.line9319.yml OUT OF MEMORY 515.42 278.16 None elimination_backoff_stack.line932.yml OUT OF MEMORY 404.64 229.24 None elimination_backoff_stack.line9328.yml OUT OF MEMORY 475.23 265.00 None elimination_backoff_stack.line9329.yml OUT OF MEMORY 364.55 203.64 None elimination_backoff_stack.line9369.yml OUT OF MEMORY 316.92 178.34 None elimination_backoff_stack.line9370.yml OUT OF MEMORY 575.12 328.67 None elimination_backoff_stack.line9409.yml OUT OF MEMORY 473.82 256.64 None elimination_backoff_stack.line9410.yml OUT OF MEMORY 444.00 249.42 None elimination_backoff_stack.line9439.yml OUT OF MEMORY 465.16 260.09 None elimination_backoff_stack.line944.yml OUT OF MEMORY 527.25 281.30 None elimination_backoff_stack.line9440.yml OUT OF MEMORY 577.60 313.80 None elimination_backoff_stack.line945.yml OUT OF MEMORY 511.74 273.28 None elimination_backoff_stack.line9451.yml OUT OF MEMORY 476.59 260.09 None elimination_backoff_stack.line9452.yml OUT OF MEMORY 484.04 259.62 None elimination_backoff_stack.line9464.yml OUT OF MEMORY 431.53 236.16 None elimination_backoff_stack.line9465.yml OUT OF MEMORY 390.34 214.07 None elimination_backoff_stack.line9474.yml OUT OF MEMORY 658.53 351.87 None elimination_backoff_stack.line9475.yml OUT OF MEMORY 355.64 194.83 None elimination_backoff_stack.line9484.yml OUT OF MEMORY 623.01 336.74 None elimination_backoff_stack.line9485.yml OUT OF MEMORY 483.34 260.37 None elimination_backoff_stack.line9496.yml OUT OF MEMORY 472.95 258.54 None elimination_backoff_stack.line9497.yml OUT OF MEMORY 355.28 199.09 None elimination_backoff_stack.line9506.yml OUT OF MEMORY 390.62 221.00 None elimination_backoff_stack.line9507.yml OUT OF MEMORY 519.20 277.80 None elimination_backoff_stack.line9516.yml OUT OF MEMORY 713.92 381.64 None elimination_backoff_stack.line9517.yml OUT OF MEMORY 438.23 240.93 None elimination_backoff_stack.line9728.yml OUT OF MEMORY 613.94 332.88 None elimination_backoff_stack.line9729.yml OUT OF MEMORY 429.18 235.74 None elimination_backoff_stack.line9749.yml OUT OF MEMORY 320.33 180.02 None elimination_backoff_stack.line9750.yml OUT OF MEMORY 448.03 243.68 None elimination_backoff_stack.line977.yml OUT OF MEMORY 531.91 283.97 None elimination_backoff_stack.line9770.yml OUT OF MEMORY 575.83 313.05 None elimination_backoff_stack.line9771.yml OUT OF MEMORY 534.28 287.00 None elimination_backoff_stack.line978.yml OUT OF MEMORY 352.96 197.72 None elimination_backoff_stack.line9781.yml OUT OF MEMORY 393.29 218.45 None elimination_backoff_stack.line9782.yml OUT OF MEMORY 390.65 227.46 None elimination_backoff_stack.line9797.yml OUT OF MEMORY 421.75 235.50 None elimination_backoff_stack.line9798.yml OUT OF MEMORY 429.41 239.66 None elimination_backoff_stack.line9809.yml OUT OF MEMORY 349.91 196.12 None elimination_backoff_stack.line9810.yml OUT OF MEMORY 456.66 247.68 None elimination_backoff_stack.line9822.yml OUT OF MEMORY 441.66 239.42 None elimination_backoff_stack.line9823.yml OUT OF MEMORY 475.22 261.40 None elimination_backoff_stack.line9841.yml OUT OF MEMORY 527.22 282.73 None elimination_backoff_stack.line9842.yml OUT OF MEMORY 458.77 252.13 None elimination_backoff_stack.line9854.yml OUT OF MEMORY 463.34 250.14 None elimination_backoff_stack.line9855.yml OUT OF MEMORY 460.86 255.37 None elimination_backoff_stack.line9888.yml OUT OF MEMORY 335.43 189.01 None elimination_backoff_stack.line9889.yml OUT OF MEMORY 446.90 254.26 None elimination_backoff_stack.line9900.yml OUT OF MEMORY 105.93 63.50 None elimination_backoff_stack.line9901.yml OUT OF MEMORY 453.94 246.71 None elimination_backoff_stack.line991.yml OUT OF MEMORY 507.36 271.08 None elimination_backoff_stack.line9914.yml OUT OF MEMORY 450.08 247.78 None elimination_backoff_stack.line9915.yml OUT OF MEMORY 466.66 256.57 None elimination_backoff_stack.line992.yml OUT OF MEMORY 443.82 245.79 None elimination_backoff_stack.line9924.yml OUT OF MEMORY 319.22 178.65 None elimination_backoff_stack.line9925.yml OUT OF MEMORY 515.42 276.64 None elimination_backoff_stack.line9936.yml OUT OF MEMORY 330.69 181.75 None elimination_backoff_stack.line9937.yml OUT OF MEMORY 409.16 225.17 None elimination_backoff_stack.line9958.yml OUT OF MEMORY 499.10 268.16 None elimination_backoff_stack.line9959.yml OUT OF MEMORY 473.59 260.54 None elimination_backoff_stack.line9971.yml OUT OF MEMORY 524.60 280.00 None elimination_backoff_stack.line9972.yml OUT OF MEMORY 576.85 310.57 None elimination_backoff_stack.line9995.yml OUT OF MEMORY 308.77 177.38 None elimination_backoff_stack.line9996.yml OUT OF MEMORY 309.41 173.57 None fib_safe-10.line374.yml true 6.39 4.34 None fib_safe-10.line375.yml true 6.98 4.55 None fib_safe-10.line389.yml true 6.27 4.17 None fib_safe-10.line390.yml true 6.55 4.48 None fib_safe-11.line374.yml true 6.22 4.27 None fib_safe-11.line375.yml true 6.88 4.63 None fib_safe-11.line389.yml true 6.14 4.42 None fib_safe-11.line390.yml true 6.45 4.51 None fib_safe-12.line374.yml true 6.30 4.36 None fib_safe-12.line375.yml true 6.39 4.83 None fib_safe-12.line389.yml true 6.18 4.16 None fib_safe-12.line390.yml true 6.07 4.27 None fib_safe-5.line374.yml true 6.20 4.25 None fib_safe-5.line375.yml true 8.02 4.99 None fib_safe-5.line389.yml true 6.21 4.28 None fib_safe-5.line390.yml true 6.03 4.11 None fib_safe-6.line374.yml true 5.98 4.46 None fib_safe-6.line375.yml true 6.76 4.50 None fib_safe-6.line389.yml true 6.20 4.22 None fib_safe-6.line390.yml true 6.19 4.49 None fib_safe-7.line374.yml true 5.86 4.31 None fib_safe-7.line375.yml true 8.31 5.15 None fib_safe-7.line389.yml true 5.82 4.09 None fib_safe-7.line390.yml true 5.88 4.13 None fib_unsafe-10.line374.yml true 5.86 4.13 None fib_unsafe-10.line375.yml true 6.41 4.42 None fib_unsafe-10.line389.yml true 7.37 4.74 None fib_unsafe-10.line390.yml true 5.88 4.13 None fib_unsafe-11.line374.yml true 6.47 4.06 None fib_unsafe-11.line375.yml true 6.44 4.42 None fib_unsafe-11.line389.yml true 5.92 4.38 None fib_unsafe-11.line390.yml true 7.68 4.85 None fib_unsafe-12.line374.yml true 5.76 4.03 None fib_unsafe-12.line375.yml true 6.34 4.25 None fib_unsafe-12.line389.yml true 5.68 4.07 None fib_unsafe-12.line390.yml true 5.75 4.19 None fib_unsafe-5.line376.yml true 7.65 4.85 None fib_unsafe-5.line377.yml true 6.54 4.43 None fib_unsafe-5.line391.yml true 6.39 4.15 None fib_unsafe-5.line392.yml true 6.01 4.14 None fib_unsafe-6.line374.yml true 6.57 4.56 None fib_unsafe-6.line375.yml true 7.15 4.88 None fib_unsafe-6.line389.yml true 7.75 4.87 None fib_unsafe-6.line390.yml true 6.14 4.22 None fib_unsafe-7.line374.yml true 5.90 4.15 None fib_unsafe-7.line375.yml true 6.92 4.64 None fib_unsafe-7.line389.yml true 5.90 4.28 None fib_unsafe-7.line390.yml true 6.78 4.52 None fibonacci.wvr.line379.yml true 8.18 5.10 None fibonacci.wvr.line380.yml true 6.66 4.46 None fibonacci.wvr.line394.yml true 6.16 4.16 None fibonacci.wvr.line395.yml true 6.88 4.58 None fibonacci.wvr.line406.yml true 8.04 5.24 None fibonacci.wvr.line407.yml true 9.49 6.19 None fibonacci.wvr.line418.yml true 10.44 6.35 None fibonacci.wvr.line419.yml true 11.85 6.97 None floating_read-10.line328.yml TIMEOUT 912.98 524.20 None floating_read-10.line329.yml OUT OF MEMORY 708.15 425.76 None floating_read-10.line357.yml OUT OF MEMORY 445.22 250.10 None floating_read-10.line358.yml OUT OF MEMORY 503.21 278.89 None floating_read-15.line328.yml OUT OF MEMORY 746.91 423.85 None floating_read-15.line329.yml OUT OF MEMORY 420.10 233.98 None floating_read-15.line357.yml OUT OF MEMORY 627.35 341.19 None floating_read-15.line358.yml OUT OF MEMORY 396.86 231.81 None floating_read-20.line328.yml OUT OF MEMORY 642.91 394.23 None floating_read-20.line329.yml OUT OF MEMORY 404.83 226.18 None floating_read-20.line357.yml OUT OF MEMORY 466.26 259.90 None floating_read-20.line358.yml OUT OF MEMORY 567.99 306.62 None floating_read-25.line328.yml TIMEOUT 917.39 522.02 None floating_read-25.line329.yml OUT OF MEMORY 308.37 181.70 None floating_read-25.line357.yml OUT OF MEMORY 392.83 221.51 None floating_read-25.line358.yml OUT OF MEMORY 543.54 301.58 None floating_read-5.line328.yml OUT OF MEMORY 357.93 205.10 None floating_read-5.line329.yml true 217.44 137.60 None floating_read-5.line357.yml OUT OF MEMORY 474.55 262.28 None floating_read-5.line358.yml OUT OF MEMORY 571.25 313.67 None gcd-2.line368.yml true 6.07 4.36 None gcd-2.line369.yml true 6.93 4.64 None gcd-2.line383.yml true 6.28 4.50 None gcd-2.line384.yml true 6.06 4.15 None gcd-2.line395.yml true 6.41 4.39 None gcd-2.line396.yml true 6.64 4.70 None gcd-2.line407.yml true 6.21 4.55 None gcd-2.line408.yml true 6.77 4.61 None lamport-b.line395.yml true 5.80 4.13 None lamport-b.line396.yml true 6.27 4.63 None lamport-b.line410.yml true 5.75 4.36 None lamport-b.line411.yml true 6.13 4.44 None lamport-b.line422.yml true 6.71 4.84 None lamport-b.line423.yml true 7.51 5.07 None lamport-b.line434.yml true 8.49 5.49 None lamport-b.line435.yml true 9.30 5.89 None lamport.line554.yml true 6.54 4.74 None lamport.line555.yml true 6.77 4.77 None lamport.line569.yml true 5.88 4.26 None lamport.line570.yml true 6.33 4.45 None lamport.line581.yml true 12.52 7.20 None lamport.line582.yml true 10.46 6.75 None lamport.line593.yml true 25.73 15.72 None lamport.line594.yml true 23.19 14.98 None lazy01.line399.yml true 6.78 4.99 None lazy01.line400.yml true 7.24 5.06 None lazy01.line414.yml true 7.25 4.95 None lazy01.line415.yml true 7.24 5.04 None lazy01.line429.yml true 7.16 5.51 None lazy01.line430.yml true 7.11 5.02 None lazy01.line441.yml true 10.56 6.54 None lazy01.line442.yml true 11.90 7.45 None lazy01.line453.yml true 14.35 9.26 None lazy01.line454.yml true 14.02 9.28 None lazy01.line465.yml true 13.87 9.51 None lazy01.line466.yml true 17.34 10.59 None mix000.oepc.line840.yml true 6.51 4.38 None mix000.oepc.line841.yml true 7.16 5.08 None mix000.oepc.line868.yml true 7.26 4.79 None mix000.oepc.line869.yml true 7.57 5.19 None mix000.opt.line793.yml true 6.66 4.63 None mix000.opt.line794.yml true 6.89 5.08 None mix000.opt.line821.yml true 7.35 5.05 None mix000.opt.line822.yml true 7.39 4.76 None mix001.oepc.line1000.yml true 42.47 28.74 None mix001.oepc.line943.yml true 34.20 20.13 None mix001.oepc.line944.yml true 26.38 17.33 None mix001.oepc.line971.yml true 26.75 17.98 None mix001.oepc.line972.yml true 27.28 16.79 None mix001.oepc.line999.yml true 43.60 27.57 None mix001.opt.line849.yml true 12.66 7.91 None mix001.opt.line850.yml true 12.09 8.28 None mix001.opt.line877.yml true 11.35 7.33 None mix001.opt.line878.yml true 12.73 8.42 None mix001.opt.line905.yml true 22.31 13.11 None mix001.opt.line906.yml true 17.19 10.65 None mix002.oepc.line787.yml true 14.54 9.58 None mix002.oepc.line788.yml true 15.55 10.76 None mix002.oepc.line815.yml true 15.17 10.50 None mix002.oepc.line816.yml true 16.04 10.44 None mix002.oepc.line843.yml true 23.02 15.41 None mix002.oepc.line844.yml true 23.58 14.36 None mix002.opt.line857.yml true 16.61 9.97 None mix002.opt.line858.yml true 15.12 10.03 None mix002.opt.line885.yml true 15.15 9.23 None mix002.opt.line886.yml true 13.61 8.95 None mix002.opt.line913.yml true 20.47 13.57 None mix002.opt.line914.yml true 18.97 12.22 None mix003.oepc.line771.yml true 14.36 9.93 None mix003.oepc.line772.yml true 19.15 11.20 None mix003.oepc.line799.yml true 14.29 9.10 None mix003.oepc.line800.yml true 14.45 10.61 None mix003.oepc.line827.yml true 21.22 13.58 None mix003.oepc.line828.yml true 19.33 12.33 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line841.yml true 12.32 8.11 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line842.yml true 11.57 7.78 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line869.yml true 11.52 7.45 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line870.yml true 13.03 8.11 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line897.yml true 16.81 9.87 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line898.yml true 21.16 12.54 None mix004.oepc.line866.yml OUT OF MEMORY 300.48 175.70 None mix004.oepc.line867.yml OUT OF MEMORY 299.70 181.46 None mix004.oepc.line894.yml OUT OF MEMORY 315.68 179.13 None mix004.oepc.line895.yml OUT OF MEMORY 361.39 203.97 None mix004.oepc.line922.yml OUT OF MEMORY 268.89 151.65 None mix004.oepc.line923.yml OUT OF MEMORY 351.69 199.40 None mix004.oepc.line950.yml OUT OF MEMORY 492.14 267.94 None mix004.oepc.line951.yml OUT OF MEMORY 360.63 196.90 None mix004.opt.line889.yml true 211.41 114.67 None mix004.opt.line890.yml true 206.67 112.04 None mix004.opt.line917.yml true 167.61 93.90 None mix004.opt.line918.yml true 166.11 91.21 None mix004.opt.line945.yml true 211.93 114.98 None mix004.opt.line946.yml true 209.93 113.85 None mix004.opt.line973.yml true 328.85 178.51 None mix004.opt.line974.yml true 415.92 221.29 None mix005.opt.line886.yml true 160.52 87.97 None mix005.opt.line887.yml true 168.16 92.31 None mix005.opt.line914.yml true 205.85 112.19 None mix005.opt.line915.yml true 175.20 100.99 None mix005.opt.line942.yml true 171.28 94.15 None mix005.opt.line943.yml true 171.95 100.27 None mix005.opt.line970.yml true 323.38 178.67 None mix005.opt.line971.yml true 318.42 173.32 None mix005_power.oepc_pso.oepc_rmo.oepc.line863.yml OUT OF MEMORY 373.96 210.64 None mix005_power.oepc_pso.oepc_rmo.oepc.line864.yml OUT OF MEMORY 373.45 208.12 None mix005_power.oepc_pso.oepc_rmo.oepc.line891.yml OUT OF MEMORY 445.87 244.36 None mix005_power.oepc_pso.oepc_rmo.oepc.line892.yml OUT OF MEMORY 352.84 195.26 None mix005_power.oepc_pso.oepc_rmo.oepc.line919.yml OUT OF MEMORY 111.08 67.10 None mix005_power.oepc_pso.oepc_rmo.oepc.line920.yml OUT OF MEMORY 460.07 252.83 None mix005_power.oepc_pso.oepc_rmo.oepc.line947.yml OUT OF MEMORY 428.88 233.51 None mix005_power.oepc_pso.oepc_rmo.oepc.line948.yml OUT OF MEMORY 426.93 241.08 None mix005_tso.oepc.line722.yml OUT OF MEMORY 272.60 156.27 None mix005_tso.oepc.line723.yml OUT OF MEMORY 331.70 184.50 None mix005_tso.oepc.line750.yml OUT OF MEMORY 298.35 170.14 None mix005_tso.oepc.line751.yml OUT OF MEMORY 221.04 128.01 None mix005_tso.oepc.line778.yml OUT OF MEMORY 351.33 193.14 None mix005_tso.oepc.line779.yml OUT OF MEMORY 321.41 180.59 None mix005_tso.oepc.line806.yml OUT OF MEMORY 397.17 216.62 None mix005_tso.oepc.line807.yml OUT OF MEMORY 351.24 195.36 None mix006.opt.line838.yml true 14.24 8.33 None mix006.opt.line839.yml true 12.69 8.09 None mix006.opt.line866.yml true 14.31 8.72 None mix006.opt.line867.yml true 15.61 9.52 None mix006.opt.line894.yml true 24.54 13.85 None mix006.opt.line895.yml true 18.52 10.86 None mix006_power.oepc_pso.oepc_rmo.oepc.line768.yml true 17.96 10.99 None mix006_power.oepc_pso.oepc_rmo.oepc.line769.yml true 19.90 13.11 None mix006_power.oepc_pso.oepc_rmo.oepc.line796.yml true 21.66 12.50 None mix006_power.oepc_pso.oepc_rmo.oepc.line797.yml true 15.81 9.96 None mix006_power.oepc_pso.oepc_rmo.oepc.line824.yml true 26.96 16.52 None mix006_power.oepc_pso.oepc_rmo.oepc.line825.yml true 26.43 15.61 None --------------------------------------------------------------------------------------------------------------------- Run set 1 done 67163.68 2759.68 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk20 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 --------------------------------------------------------------------------------------------------------------------- elimination_backoff_stack.line909.yml OUT OF MEMORY 290.20 164.36 None elimination_backoff_stack.line910.yml OUT OF MEMORY 52.02 32.69 None elimination_backoff_stack.line9129.yml OUT OF MEMORY 221.56 123.33 None elimination_backoff_stack.line9130.yml OUT OF MEMORY 434.04 238.02 None elimination_backoff_stack.line9141.yml OUT OF MEMORY 438.93 240.79 None elimination_backoff_stack.line9142.yml OUT OF MEMORY 457.13 260.49 None elimination_backoff_stack.line9155.yml OUT OF MEMORY 534.99 287.55 None elimination_backoff_stack.line9156.yml OUT OF MEMORY 602.96 322.23 None elimination_backoff_stack.line9165.yml OUT OF MEMORY 615.57 328.01 None elimination_backoff_stack.line9166.yml OUT OF MEMORY 463.31 253.11 None elimination_backoff_stack.line9177.yml OUT OF MEMORY 502.69 276.38 None elimination_backoff_stack.line9178.yml OUT OF MEMORY 607.78 325.47 None elimination_backoff_stack.line9199.yml OUT OF MEMORY 171.82 99.36 None elimination_backoff_stack.line9200.yml OUT OF MEMORY 55.91 34.91 None elimination_backoff_stack.line9212.yml OUT OF MEMORY 194.14 109.82 None elimination_backoff_stack.line9213.yml OUT OF MEMORY 421.21 228.88 None elimination_backoff_stack.line9236.yml OUT OF MEMORY 577.10 310.29 None elimination_backoff_stack.line9237.yml OUT OF MEMORY 457.66 246.97 None elimination_backoff_stack.line9246.yml OUT OF MEMORY 193.63 113.08 None elimination_backoff_stack.line9247.yml OUT OF MEMORY 439.23 242.21 None elimination_backoff_stack.line9257.yml OUT OF MEMORY 198.14 113.76 None elimination_backoff_stack.line9258.yml OUT OF MEMORY 434.20 236.66 None elimination_backoff_stack.line9267.yml OUT OF MEMORY 57.76 36.01 None elimination_backoff_stack.line9268.yml OUT OF MEMORY 655.32 352.65 None elimination_backoff_stack.line9302.yml OUT OF MEMORY 89.09 55.40 None elimination_backoff_stack.line9303.yml OUT OF MEMORY 485.45 260.52 None elimination_backoff_stack.line931.yml OUT OF MEMORY 391.08 219.67 None elimination_backoff_stack.line9318.yml OUT OF MEMORY 486.16 263.96 None elimination_backoff_stack.line9319.yml OUT OF MEMORY 309.07 173.55 None elimination_backoff_stack.line932.yml OUT OF MEMORY 474.18 274.21 None elimination_backoff_stack.line9328.yml OUT OF MEMORY 594.20 316.43 None elimination_backoff_stack.line9329.yml OUT OF MEMORY 150.72 87.84 None elimination_backoff_stack.line9369.yml OUT OF MEMORY 577.71 309.98 None elimination_backoff_stack.line9370.yml OUT OF MEMORY 54.92 33.49 None elimination_backoff_stack.line9409.yml OUT OF MEMORY 585.91 313.56 None elimination_backoff_stack.line9410.yml OUT OF MEMORY 419.68 230.16 None elimination_backoff_stack.line9439.yml OUT OF MEMORY 435.51 235.83 None elimination_backoff_stack.line944.yml OUT OF MEMORY 342.80 191.21 None elimination_backoff_stack.line9440.yml OUT OF MEMORY 440.50 242.71 None elimination_backoff_stack.line945.yml OUT OF MEMORY 344.10 191.64 None elimination_backoff_stack.line9451.yml OUT OF MEMORY 380.40 211.16 None elimination_backoff_stack.line9452.yml OUT OF MEMORY 233.61 133.90 None elimination_backoff_stack.line9464.yml OUT OF MEMORY 352.89 194.91 None elimination_backoff_stack.line9465.yml OUT OF MEMORY 522.41 281.61 None elimination_backoff_stack.line9474.yml OUT OF MEMORY 75.74 45.51 None elimination_backoff_stack.line9475.yml OUT OF MEMORY 361.37 202.58 None elimination_backoff_stack.line9484.yml OUT OF MEMORY 719.19 383.67 None elimination_backoff_stack.line9485.yml OUT OF MEMORY 425.29 235.71 None elimination_backoff_stack.line9496.yml OUT OF MEMORY 379.74 213.80 None elimination_backoff_stack.line9497.yml OUT OF MEMORY 499.15 274.79 None elimination_backoff_stack.line9506.yml OUT OF MEMORY 525.10 282.45 None elimination_backoff_stack.line9507.yml OUT OF MEMORY 526.79 282.41 None elimination_backoff_stack.line9516.yml OUT OF MEMORY 568.32 305.04 None elimination_backoff_stack.line9517.yml OUT OF MEMORY 506.55 273.92 None elimination_backoff_stack.line9728.yml OUT OF MEMORY 93.08 55.97 None elimination_backoff_stack.line9729.yml OUT OF MEMORY 605.13 321.98 None elimination_backoff_stack.line9749.yml OUT OF MEMORY 425.22 234.95 None elimination_backoff_stack.line9750.yml OUT OF MEMORY 359.26 202.11 None elimination_backoff_stack.line977.yml OUT OF MEMORY 338.64 186.85 None elimination_backoff_stack.line9770.yml OUT OF MEMORY 402.39 223.93 None elimination_backoff_stack.line9771.yml OUT OF MEMORY 529.81 285.69 None elimination_backoff_stack.line978.yml OUT OF MEMORY 141.12 84.63 None elimination_backoff_stack.line9781.yml OUT OF MEMORY 417.20 228.19 None elimination_backoff_stack.line9782.yml OUT OF MEMORY 317.13 177.57 None elimination_backoff_stack.line9797.yml OUT OF MEMORY 485.66 276.62 None elimination_backoff_stack.line9798.yml OUT OF MEMORY 79.00 50.05 None elimination_backoff_stack.line9809.yml OUT OF MEMORY 74.04 41.69 None elimination_backoff_stack.line9810.yml OUT OF MEMORY 528.33 285.03 None elimination_backoff_stack.line9822.yml OUT OF MEMORY 550.75 299.16 None elimination_backoff_stack.line9823.yml OUT OF MEMORY 58.16 35.96 None elimination_backoff_stack.line9841.yml OUT OF MEMORY 442.06 247.03 None elimination_backoff_stack.line9842.yml OUT OF MEMORY 433.29 237.16 None elimination_backoff_stack.line9854.yml OUT OF MEMORY 530.75 286.27 None elimination_backoff_stack.line9855.yml OUT OF MEMORY 352.11 195.42 None elimination_backoff_stack.line9888.yml OUT OF MEMORY 245.40 141.89 None elimination_backoff_stack.line9889.yml OUT OF MEMORY 476.30 263.37 None elimination_backoff_stack.line9900.yml OUT OF MEMORY 115.59 66.26 None elimination_backoff_stack.line9901.yml OUT OF MEMORY 411.09 228.78 None elimination_backoff_stack.line991.yml OUT OF MEMORY 520.11 278.84 None elimination_backoff_stack.line9914.yml OUT OF MEMORY 421.38 232.09 None elimination_backoff_stack.line9915.yml OUT OF MEMORY 357.50 198.16 None elimination_backoff_stack.line992.yml OUT OF MEMORY 579.68 313.18 None elimination_backoff_stack.line9924.yml OUT OF MEMORY 358.84 197.23 None elimination_backoff_stack.line9925.yml OUT OF MEMORY 270.68 154.08 None elimination_backoff_stack.line9936.yml OUT OF MEMORY 465.74 256.96 None elimination_backoff_stack.line9937.yml OUT OF MEMORY 569.30 314.09 None elimination_backoff_stack.line9958.yml OUT OF MEMORY 226.06 138.21 None elimination_backoff_stack.line9959.yml OUT OF MEMORY 427.55 249.84 None elimination_backoff_stack.line9971.yml OUT OF MEMORY 448.28 263.27 None elimination_backoff_stack.line9972.yml OUT OF MEMORY 76.06 44.29 None elimination_backoff_stack.line9995.yml OUT OF MEMORY 63.09 40.05 None elimination_backoff_stack.line9996.yml OUT OF MEMORY 452.18 262.28 None fib_safe-10.line374.yml true 6.23 4.25 None fib_safe-10.line375.yml true 7.01 4.67 None fib_safe-10.line389.yml true 6.23 4.28 None fib_safe-10.line390.yml true 8.21 5.11 None fib_safe-11.line374.yml true 6.31 4.70 None fib_safe-11.line375.yml true 6.82 4.55 None fib_safe-11.line389.yml true 7.97 5.00 None fib_safe-11.line390.yml true 5.77 4.21 None fib_safe-12.line374.yml true 6.29 4.20 None fib_safe-12.line375.yml true 8.04 5.11 None fib_safe-12.line389.yml true 6.39 4.44 None fib_safe-12.line390.yml true 6.52 4.40 None fib_safe-5.line374.yml true 7.83 4.85 None fib_safe-5.line375.yml true 6.44 4.41 None fib_safe-5.line389.yml true 6.13 4.11 None fib_safe-5.line390.yml true 6.37 4.43 None fib_safe-6.line374.yml true 7.54 4.83 None fib_safe-6.line375.yml true 6.88 4.56 None fib_safe-6.line389.yml true 6.58 4.27 None fib_safe-6.line390.yml true 6.03 4.48 None fib_safe-7.line374.yml true 7.18 4.65 None fib_safe-7.line375.yml true 7.05 4.74 None fib_safe-7.line389.yml true 6.10 4.20 None fib_safe-7.line390.yml true 6.57 4.51 None fib_unsafe-10.line374.yml true 6.07 4.93 None fib_unsafe-10.line375.yml true 8.11 5.12 None fib_unsafe-10.line389.yml true 7.64 4.90 None fib_unsafe-10.line390.yml true 6.40 4.35 None fib_unsafe-11.line374.yml true 6.08 4.17 None fib_unsafe-11.line375.yml true 6.68 4.46 None fib_unsafe-11.line389.yml true 5.97 4.49 None fib_unsafe-11.line390.yml true 7.63 4.92 None fib_unsafe-12.line374.yml true 5.81 4.66 None fib_unsafe-12.line375.yml true 6.83 4.51 None fib_unsafe-12.line389.yml true 7.32 4.67 None fib_unsafe-12.line390.yml true 5.72 4.03 None fib_unsafe-5.line376.yml true 6.26 4.23 None fib_unsafe-5.line377.yml true 6.28 4.71 None fib_unsafe-5.line391.yml true 7.60 4.84 None fib_unsafe-5.line392.yml true 6.19 4.63 None fib_unsafe-6.line374.yml true 7.06 4.35 None fib_unsafe-6.line375.yml true 7.86 4.99 None fib_unsafe-6.line389.yml true 5.90 4.11 None fib_unsafe-6.line390.yml true 6.37 4.39 None fib_unsafe-7.line374.yml true 5.85 4.25 None fib_unsafe-7.line375.yml true 8.23 5.19 None fib_unsafe-7.line389.yml true 6.22 4.31 None fib_unsafe-7.line390.yml true 6.24 5.14 None fibonacci.wvr.line379.yml true 7.72 4.94 None fibonacci.wvr.line380.yml true 7.16 4.96 None fibonacci.wvr.line394.yml true 7.15 4.69 None fibonacci.wvr.line395.yml true 6.71 4.94 None fibonacci.wvr.line406.yml true 9.09 5.72 None fibonacci.wvr.line407.yml true 11.35 6.63 None fibonacci.wvr.line418.yml true 10.05 6.58 None fibonacci.wvr.line419.yml true 14.13 8.03 None floating_read-10.line328.yml OUT OF MEMORY 277.96 201.15 None floating_read-10.line329.yml OUT OF MEMORY 312.22 180.47 None floating_read-10.line357.yml OUT OF MEMORY 502.71 290.73 None floating_read-10.line358.yml OUT OF MEMORY 474.00 261.36 None floating_read-15.line328.yml OUT OF MEMORY 783.14 514.62 None floating_read-15.line329.yml OUT OF MEMORY 755.93 572.20 None floating_read-15.line357.yml OUT OF MEMORY 645.23 390.13 None floating_read-15.line358.yml OUT OF MEMORY 561.60 300.80 None floating_read-20.line328.yml OUT OF MEMORY 685.73 403.58 None floating_read-20.line329.yml OUT OF MEMORY 315.57 187.89 None floating_read-20.line357.yml OUT OF MEMORY 717.53 445.62 None floating_read-20.line358.yml OUT OF MEMORY 487.96 277.96 None floating_read-25.line328.yml OUT OF MEMORY 281.11 164.61 None floating_read-25.line329.yml OUT OF MEMORY 297.87 181.78 None floating_read-25.line357.yml OUT OF MEMORY 516.75 282.84 None floating_read-25.line358.yml OUT OF MEMORY 426.35 272.77 None floating_read-5.line328.yml OUT OF MEMORY 267.60 150.85 None floating_read-5.line329.yml true 187.30 116.00 None floating_read-5.line357.yml OUT OF MEMORY 431.40 243.41 None floating_read-5.line358.yml OUT OF MEMORY 242.92 140.59 None gcd-2.line368.yml true 6.74 4.53 None gcd-2.line369.yml true 6.84 4.92 None gcd-2.line383.yml true 6.39 4.35 None gcd-2.line384.yml true 6.60 4.85 None gcd-2.line395.yml true 6.68 4.62 None gcd-2.line396.yml true 6.64 4.75 None gcd-2.line407.yml true 6.72 4.60 None gcd-2.line408.yml true 7.17 5.05 None lamport-b.line395.yml true 6.21 5.04 None lamport-b.line396.yml true 6.72 4.89 None lamport-b.line410.yml true 6.11 4.32 None lamport-b.line411.yml true 6.61 4.53 None lamport-b.line422.yml true 7.01 4.78 None lamport-b.line423.yml true 7.57 5.04 None lamport-b.line434.yml true 9.07 5.77 None lamport-b.line435.yml true 9.59 6.11 None lamport.line554.yml true 6.27 4.47 None lamport.line555.yml true 7.36 4.87 None lamport.line569.yml true 6.50 5.12 None lamport.line570.yml true 6.85 4.88 None lamport.line581.yml true 11.65 6.78 None lamport.line582.yml true 11.87 7.44 None lamport.line593.yml true 23.43 15.27 None lamport.line594.yml true 21.32 13.95 None lazy01.line399.yml true 9.24 7.20 None lazy01.line400.yml true 8.25 5.57 None lazy01.line414.yml true 9.09 5.95 None lazy01.line415.yml true 7.83 5.33 None lazy01.line429.yml true 9.21 5.84 None lazy01.line430.yml true 7.74 5.50 None lazy01.line441.yml true 13.29 7.96 None lazy01.line442.yml true 11.41 7.37 None lazy01.line453.yml true 13.65 8.74 None lazy01.line454.yml true 14.69 9.03 None lazy01.line465.yml true 13.24 8.85 None lazy01.line466.yml true 16.91 9.86 None mix000.oepc.line840.yml true 7.45 5.08 None mix000.oepc.line841.yml true 7.22 4.90 None mix000.oepc.line868.yml true 8.73 5.55 None mix000.oepc.line869.yml true 8.77 5.35 None mix000.opt.line793.yml true 7.37 5.24 None mix000.opt.line794.yml true 6.79 4.91 None mix000.opt.line821.yml true 7.58 5.05 None mix000.opt.line822.yml true 9.34 5.74 None mix001.oepc.line1000.yml true 36.99 23.68 None mix001.oepc.line943.yml true 22.34 15.12 None mix001.oepc.line944.yml true 24.57 16.22 None mix001.oepc.line971.yml true 25.52 16.72 None mix001.oepc.line972.yml true 24.44 16.89 None mix001.oepc.line999.yml true 45.89 28.23 None mix001.opt.line849.yml true 12.14 8.62 None mix001.opt.line850.yml true 13.62 8.47 None mix001.opt.line877.yml true 14.02 9.55 None mix001.opt.line878.yml true 13.55 8.87 None mix001.opt.line905.yml true 23.10 13.32 None mix001.opt.line906.yml true 19.88 11.51 None mix002.oepc.line787.yml true 14.25 9.60 None mix002.oepc.line788.yml true 15.61 9.80 None mix002.oepc.line815.yml true 16.17 10.24 None mix002.oepc.line816.yml true 15.54 10.20 None mix002.oepc.line843.yml true 22.60 14.14 None mix002.oepc.line844.yml true 25.11 15.19 None mix002.opt.line857.yml true 17.48 10.35 None mix002.opt.line858.yml true 13.30 8.98 None mix002.opt.line885.yml true 14.67 9.25 None mix002.opt.line886.yml true 13.04 8.57 None mix002.opt.line913.yml true 20.15 13.35 None mix002.opt.line914.yml true 20.44 12.77 None mix003.oepc.line771.yml true 12.98 8.46 None mix003.oepc.line772.yml true 13.70 9.22 None mix003.oepc.line799.yml true 17.84 10.65 None mix003.oepc.line800.yml true 13.95 8.94 None mix003.oepc.line827.yml true 20.42 13.81 None mix003.oepc.line828.yml true 19.15 12.07 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line841.yml true 14.57 8.68 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line842.yml true 11.61 7.75 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line869.yml true 12.75 8.29 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line870.yml true 11.72 7.35 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line897.yml true 17.59 11.29 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line898.yml true 16.52 10.62 None mix004.oepc.line866.yml OUT OF MEMORY 236.88 138.84 None mix004.oepc.line867.yml OUT OF MEMORY 386.95 230.41 None mix004.oepc.line894.yml OUT OF MEMORY 382.21 212.19 None mix004.oepc.line895.yml OUT OF MEMORY 314.04 181.57 None mix004.oepc.line922.yml OUT OF MEMORY 320.58 182.98 None mix004.oepc.line923.yml OUT OF MEMORY 233.68 158.63 None mix004.oepc.line950.yml OUT OF MEMORY 468.86 252.60 None mix004.oepc.line951.yml OUT OF MEMORY 491.93 273.88 None mix004.opt.line889.yml true 159.12 93.22 None mix004.opt.line890.yml true 153.97 86.33 None mix004.opt.line917.yml true 195.97 133.15 None mix004.opt.line918.yml true 156.48 89.40 None mix004.opt.line945.yml true 189.04 127.00 None mix004.opt.line946.yml true 156.25 122.03 None mix004.opt.line973.yml true 307.64 173.79 None mix004.opt.line974.yml true 318.27 184.16 None mix005.opt.line886.yml true 150.91 86.24 None mix005.opt.line887.yml true 155.29 88.59 None mix005.opt.line914.yml true 146.70 84.71 None mix005.opt.line915.yml true 188.14 105.98 None mix005.opt.line942.yml true 159.17 91.00 None mix005.opt.line943.yml true 163.52 95.04 None mix005.opt.line970.yml true 379.60 246.32 None mix005.opt.line971.yml true 319.84 254.66 None mix005_power.oepc_pso.oepc_rmo.oepc.line863.yml OUT OF MEMORY 472.55 255.75 None mix005_power.oepc_pso.oepc_rmo.oepc.line864.yml OUT OF MEMORY 265.13 151.66 None mix005_power.oepc_pso.oepc_rmo.oepc.line891.yml OUT OF MEMORY 319.84 182.28 None mix005_power.oepc_pso.oepc_rmo.oepc.line892.yml OUT OF MEMORY 464.43 278.17 None mix005_power.oepc_pso.oepc_rmo.oepc.line919.yml OUT OF MEMORY 256.23 188.26 None mix005_power.oepc_pso.oepc_rmo.oepc.line920.yml OUT OF MEMORY 327.56 189.71 None mix005_power.oepc_pso.oepc_rmo.oepc.line947.yml OUT OF MEMORY 385.80 215.58 None mix005_power.oepc_pso.oepc_rmo.oepc.line948.yml OUT OF MEMORY 652.07 402.68 None mix005_tso.oepc.line722.yml OUT OF MEMORY 352.51 196.58 None mix005_tso.oepc.line723.yml OUT OF MEMORY 325.84 186.78 None mix005_tso.oepc.line750.yml OUT OF MEMORY 379.76 212.24 None mix005_tso.oepc.line751.yml OUT OF MEMORY 289.34 186.82 None mix005_tso.oepc.line778.yml OUT OF MEMORY 274.18 156.41 None mix005_tso.oepc.line779.yml OUT OF MEMORY 273.11 161.19 None mix005_tso.oepc.line806.yml OUT OF MEMORY 394.34 261.17 None mix005_tso.oepc.line807.yml OUT OF MEMORY 581.84 342.56 None mix006.opt.line838.yml true 13.91 8.08 None mix006.opt.line839.yml true 15.07 8.82 None mix006.opt.line866.yml true 15.22 8.62 None mix006.opt.line867.yml true 13.88 9.01 None mix006.opt.line894.yml true 17.42 17.11 None mix006.opt.line895.yml true 20.91 12.24 None mix006_power.oepc_pso.oepc_rmo.oepc.line768.yml true 13.88 9.34 None mix006_power.oepc_pso.oepc_rmo.oepc.line769.yml true 14.29 10.33 None mix006_power.oepc_pso.oepc_rmo.oepc.line796.yml true 16.82 10.51 None mix006_power.oepc_pso.oepc_rmo.oepc.line797.yml true 16.05 10.53 None mix006_power.oepc_pso.oepc_rmo.oepc.line824.yml true 18.53 13.66 None mix006_power.oepc_pso.oepc_rmo.oepc.line825.yml true 27.18 15.46 None --------------------------------------------------------------------------------------------------------------------- Run set 2 done 57982.54 2619.69 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk20 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 --------------------------------------------------------------------------------------------------------------------- elimination_backoff_stack.line909.yml TIMEOUT 911.94 469.00 None elimination_backoff_stack.line910.yml OUT OF MEMORY 899.95 462.08 None elimination_backoff_stack.line9129.yml TIMEOUT 903.73 457.73 None elimination_backoff_stack.line9130.yml OUT OF MEMORY 622.99 322.40 None elimination_backoff_stack.line9141.yml TIMEOUT 920.64 484.01 None elimination_backoff_stack.line9142.yml TIMEOUT 921.27 536.20 None elimination_backoff_stack.line9155.yml TIMEOUT 917.56 490.85 None elimination_backoff_stack.line9156.yml TIMEOUT 917.57 507.29 None elimination_backoff_stack.line9165.yml TIMEOUT 916.52 501.83 None elimination_backoff_stack.line9166.yml OUT OF MEMORY 862.92 443.03 None elimination_backoff_stack.line9177.yml TIMEOUT 905.34 469.72 None elimination_backoff_stack.line9178.yml OUT OF MEMORY 875.40 452.62 None elimination_backoff_stack.line9199.yml OUT OF MEMORY 275.07 149.65 None elimination_backoff_stack.line9200.yml TIMEOUT 907.13 493.29 None elimination_backoff_stack.line9212.yml OUT OF MEMORY 131.14 71.17 None elimination_backoff_stack.line9213.yml OUT OF MEMORY 681.69 351.03 None elimination_backoff_stack.line9236.yml OUT OF MEMORY 400.72 209.08 None elimination_backoff_stack.line9237.yml OUT OF MEMORY 518.80 269.49 None elimination_backoff_stack.line9246.yml OUT OF MEMORY 843.23 431.96 None elimination_backoff_stack.line9247.yml OUT OF MEMORY 886.44 453.02 None elimination_backoff_stack.line9257.yml OUT OF MEMORY 655.61 340.49 None elimination_backoff_stack.line9258.yml TIMEOUT 918.88 478.59 None elimination_backoff_stack.line9267.yml OUT OF MEMORY 49.03 28.99 None elimination_backoff_stack.line9268.yml OUT OF MEMORY 228.73 122.69 None elimination_backoff_stack.line9302.yml OUT OF MEMORY 97.60 53.06 None elimination_backoff_stack.line9303.yml OUT OF MEMORY 534.31 274.85 None elimination_backoff_stack.line931.yml OUT OF MEMORY 835.20 434.55 None elimination_backoff_stack.line9318.yml OUT OF MEMORY 885.01 452.30 None elimination_backoff_stack.line9319.yml TIMEOUT 915.64 472.83 None elimination_backoff_stack.line932.yml OUT OF MEMORY 725.12 374.55 None elimination_backoff_stack.line9328.yml OUT OF MEMORY 822.68 434.70 None elimination_backoff_stack.line9329.yml TIMEOUT 914.16 470.89 None elimination_backoff_stack.line9369.yml OUT OF MEMORY 728.31 375.95 None elimination_backoff_stack.line9370.yml TIMEOUT 914.91 472.23 None elimination_backoff_stack.line9409.yml OUT OF MEMORY 674.89 347.28 None elimination_backoff_stack.line9410.yml OUT OF MEMORY 472.87 243.32 None elimination_backoff_stack.line9439.yml OUT OF MEMORY 801.62 416.76 None elimination_backoff_stack.line944.yml OUT OF MEMORY 813.09 416.55 None elimination_backoff_stack.line9440.yml OUT OF MEMORY 500.03 259.34 None elimination_backoff_stack.line945.yml TIMEOUT 918.76 475.54 None elimination_backoff_stack.line9451.yml OUT OF MEMORY 711.71 368.46 None elimination_backoff_stack.line9452.yml OUT OF MEMORY 805.24 413.74 None elimination_backoff_stack.line9464.yml OUT OF MEMORY 899.62 465.68 None elimination_backoff_stack.line9465.yml TIMEOUT 917.14 474.25 None elimination_backoff_stack.line9474.yml TIMEOUT 905.57 473.79 None elimination_backoff_stack.line9475.yml OUT OF MEMORY 808.54 413.75 None elimination_backoff_stack.line9484.yml OUT OF MEMORY 571.68 292.73 None elimination_backoff_stack.line9485.yml TIMEOUT 916.52 474.18 None elimination_backoff_stack.line9496.yml OUT OF MEMORY 507.35 263.21 None elimination_backoff_stack.line9497.yml OUT OF MEMORY 658.69 340.14 None elimination_backoff_stack.line9506.yml OUT OF MEMORY 486.79 253.24 None elimination_backoff_stack.line9507.yml OUT OF MEMORY 824.89 423.75 None elimination_backoff_stack.line9516.yml OUT OF MEMORY 74.20 43.13 None elimination_backoff_stack.line9517.yml OUT OF MEMORY 725.60 377.36 None elimination_backoff_stack.line9728.yml OUT OF MEMORY 50.45 29.19 None elimination_backoff_stack.line9729.yml OUT OF MEMORY 600.48 310.68 None elimination_backoff_stack.line9749.yml OUT OF MEMORY 498.31 257.52 None elimination_backoff_stack.line9750.yml OUT OF MEMORY 789.87 405.32 None elimination_backoff_stack.line977.yml OUT OF MEMORY 786.87 404.86 None elimination_backoff_stack.line9770.yml TIMEOUT 919.20 477.68 None elimination_backoff_stack.line9771.yml OUT OF MEMORY 769.96 395.98 None elimination_backoff_stack.line978.yml TIMEOUT 909.38 467.20 None elimination_backoff_stack.line9781.yml OUT OF MEMORY 586.73 304.86 None elimination_backoff_stack.line9782.yml TIMEOUT 921.30 484.60 None elimination_backoff_stack.line9797.yml OUT OF MEMORY 869.66 444.19 None elimination_backoff_stack.line9798.yml TIMEOUT 904.12 472.29 None elimination_backoff_stack.line9809.yml TIMEOUT 908.94 466.92 None elimination_backoff_stack.line9810.yml OUT OF MEMORY 651.63 333.42 None elimination_backoff_stack.line9822.yml OUT OF MEMORY 588.61 304.78 None elimination_backoff_stack.line9823.yml OUT OF MEMORY 103.17 59.88 None elimination_backoff_stack.line9841.yml OUT OF MEMORY 860.54 444.77 None elimination_backoff_stack.line9842.yml OUT OF MEMORY 817.98 420.80 None elimination_backoff_stack.line9854.yml OUT OF MEMORY 531.87 275.15 None elimination_backoff_stack.line9855.yml OUT OF MEMORY 858.79 439.67 None elimination_backoff_stack.line9888.yml OUT OF MEMORY 841.74 431.75 None elimination_backoff_stack.line9889.yml OUT OF MEMORY 796.90 409.14 None elimination_backoff_stack.line9900.yml OUT OF MEMORY 874.27 444.50 None elimination_backoff_stack.line9901.yml OUT OF MEMORY 798.92 409.66 None elimination_backoff_stack.line991.yml OUT OF MEMORY 812.12 417.53 None elimination_backoff_stack.line9914.yml OUT OF MEMORY 504.55 265.07 None elimination_backoff_stack.line9915.yml OUT OF MEMORY 820.28 438.13 None elimination_backoff_stack.line992.yml OUT OF MEMORY 577.00 296.48 None elimination_backoff_stack.line9924.yml OUT OF MEMORY 734.92 377.10 None elimination_backoff_stack.line9925.yml OUT OF MEMORY 861.15 441.51 None elimination_backoff_stack.line9936.yml OUT OF MEMORY 760.35 391.19 None elimination_backoff_stack.line9937.yml OUT OF MEMORY 726.35 376.86 None elimination_backoff_stack.line9958.yml OUT OF MEMORY 694.66 356.40 None elimination_backoff_stack.line9959.yml OUT OF MEMORY 788.82 407.87 None elimination_backoff_stack.line9971.yml OUT OF MEMORY 610.30 317.19 None elimination_backoff_stack.line9972.yml OUT OF MEMORY 53.29 30.53 None elimination_backoff_stack.line9995.yml OUT OF MEMORY 857.98 437.88 None elimination_backoff_stack.line9996.yml OUT OF MEMORY 576.02 297.27 None fib_safe-10.line374.yml true 6.84 4.59 None fib_safe-10.line375.yml true 6.89 4.72 None fib_safe-10.line389.yml true 6.61 4.41 None fib_safe-10.line390.yml true 6.93 4.68 None fib_safe-11.line374.yml true 6.95 4.86 None fib_safe-11.line375.yml true 7.46 5.08 None fib_safe-11.line389.yml true 6.69 4.56 None fib_safe-11.line390.yml true 6.56 4.56 None fib_safe-12.line374.yml true 6.80 4.61 None fib_safe-12.line375.yml true 7.25 4.88 None fib_safe-12.line389.yml true 6.73 4.53 None fib_safe-12.line390.yml true 8.08 5.10 None fib_safe-5.line374.yml true 6.70 4.44 None fib_safe-5.line375.yml true 8.67 5.34 None fib_safe-5.line389.yml true 6.66 4.75 None fib_safe-5.line390.yml true 6.86 4.86 None fib_safe-6.line374.yml true 8.07 5.13 None fib_safe-6.line375.yml true 7.34 4.93 None fib_safe-6.line389.yml true 7.95 5.06 None fib_safe-6.line390.yml true 6.53 4.61 None fib_safe-7.line374.yml true 6.83 4.95 None fib_safe-7.line375.yml true 6.69 4.92 None fib_safe-7.line389.yml true 7.77 4.86 None fib_safe-7.line390.yml true 6.55 4.68 None fib_unsafe-10.line374.yml true 6.24 4.68 None fib_unsafe-10.line375.yml true 8.85 5.45 None fib_unsafe-10.line389.yml true 7.86 4.96 None fib_unsafe-10.line390.yml true 6.49 4.75 None fib_unsafe-11.line374.yml true 6.50 4.60 None fib_unsafe-11.line375.yml true 8.12 5.66 None fib_unsafe-11.line389.yml true 8.47 5.26 None fib_unsafe-11.line390.yml true 6.65 4.49 None fib_unsafe-12.line374.yml true 6.10 4.17 None fib_unsafe-12.line375.yml true 7.09 4.88 None fib_unsafe-12.line389.yml true 7.51 4.85 None fib_unsafe-12.line390.yml true 8.38 5.26 None fib_unsafe-5.line376.yml true 6.57 4.27 None fib_unsafe-5.line377.yml true 6.23 4.87 None fib_unsafe-5.line391.yml true 6.45 4.97 None fib_unsafe-5.line392.yml true 8.29 5.18 None fib_unsafe-6.line374.yml true 6.12 4.19 None fib_unsafe-6.line375.yml true 8.65 5.37 None fib_unsafe-6.line389.yml true 6.41 4.63 None fib_unsafe-6.line390.yml true 6.65 4.92 None fib_unsafe-7.line374.yml true 6.77 4.49 None fib_unsafe-7.line375.yml true 8.42 5.27 None fib_unsafe-7.line389.yml true 8.20 5.04 None fib_unsafe-7.line390.yml true 6.49 4.92 None fibonacci.wvr.line379.yml true 6.87 4.68 None fibonacci.wvr.line380.yml true 7.36 4.86 None fibonacci.wvr.line394.yml true 8.72 5.83 None fibonacci.wvr.line395.yml true 8.88 5.45 None fibonacci.wvr.line406.yml true 10.70 6.55 None fibonacci.wvr.line407.yml true 11.43 7.32 None fibonacci.wvr.line418.yml true 14.51 8.51 None fibonacci.wvr.line419.yml true 19.24 10.61 None floating_read-10.line328.yml OUT OF MEMORY 190.80 107.72 None floating_read-10.line329.yml OUT OF MEMORY 471.34 264.70 None floating_read-10.line357.yml OUT OF MEMORY 720.96 391.01 None floating_read-10.line358.yml OUT OF MEMORY 570.39 311.27 None floating_read-15.line328.yml OUT OF MEMORY 676.14 355.47 None floating_read-15.line329.yml OUT OF MEMORY 277.63 171.86 None floating_read-15.line357.yml OUT OF MEMORY 314.07 179.86 None floating_read-15.line358.yml OUT OF MEMORY 726.82 388.42 None floating_read-20.line328.yml OUT OF MEMORY 660.28 345.73 None floating_read-20.line329.yml OUT OF MEMORY 584.39 318.93 None floating_read-20.line357.yml OUT OF MEMORY 599.96 330.13 None floating_read-20.line358.yml OUT OF MEMORY 631.81 343.38 None floating_read-25.line328.yml OUT OF MEMORY 500.43 263.40 None floating_read-25.line329.yml OUT OF MEMORY 501.79 273.65 None floating_read-25.line357.yml OUT OF MEMORY 413.51 232.45 None floating_read-25.line358.yml OUT OF MEMORY 685.93 377.51 None floating_read-5.line328.yml OUT OF MEMORY 471.81 253.21 None floating_read-5.line329.yml true 448.92 266.29 None floating_read-5.line357.yml OUT OF MEMORY 409.18 228.55 None floating_read-5.line358.yml OUT OF MEMORY 751.82 403.76 None gcd-2.line368.yml true 6.48 4.68 None gcd-2.line369.yml true 7.08 5.09 None gcd-2.line383.yml true 6.52 4.96 None gcd-2.line384.yml true 7.06 4.89 None gcd-2.line395.yml true 6.44 4.43 None gcd-2.line396.yml true 7.02 4.81 None gcd-2.line407.yml true 6.88 4.75 None gcd-2.line408.yml true 7.05 4.89 None lamport-b.line395.yml true 6.62 4.82 None lamport-b.line396.yml true 6.84 4.61 None lamport-b.line410.yml true 6.36 4.39 None lamport-b.line411.yml true 8.01 5.07 None lamport-b.line422.yml true 7.48 4.97 None lamport-b.line423.yml true 7.99 5.36 None lamport-b.line434.yml true 14.43 7.94 None lamport-b.line435.yml true 11.13 6.62 None lamport.line554.yml true 7.06 4.80 None lamport.line555.yml true 9.20 5.64 None lamport.line569.yml true 6.75 5.08 None lamport.line570.yml true 8.56 5.28 None lamport.line581.yml true 13.59 7.91 None lamport.line582.yml true 14.55 8.58 None lamport.line593.yml true 32.09 22.92 None lamport.line594.yml true 37.54 22.75 None lazy01.line399.yml true 7.37 5.06 None lazy01.line400.yml true 8.40 5.77 None lazy01.line414.yml true 9.23 5.88 None lazy01.line415.yml true 7.93 5.26 None lazy01.line429.yml true 8.10 5.37 None lazy01.line430.yml true 8.26 5.71 None lazy01.line441.yml true 13.98 9.50 None lazy01.line442.yml true 15.15 9.15 None lazy01.line453.yml true 19.46 11.31 None lazy01.line454.yml true 17.69 10.97 None lazy01.line465.yml true 18.33 11.98 None lazy01.line466.yml true 18.04 11.91 None mix000.oepc.line840.yml true 9.07 5.60 None mix000.oepc.line841.yml true 7.57 6.03 None mix000.oepc.line868.yml true 8.47 5.37 None mix000.oepc.line869.yml true 10.61 6.40 None mix000.opt.line793.yml true 7.14 4.78 None mix000.opt.line794.yml true 8.79 5.46 None mix000.opt.line821.yml true 7.91 5.78 None mix000.opt.line822.yml true 8.23 6.26 None mix001.oepc.line1000.yml true 59.14 38.58 None mix001.oepc.line943.yml true 36.88 22.85 None mix001.oepc.line944.yml true 36.69 24.55 None mix001.oepc.line971.yml true 47.61 28.44 None mix001.oepc.line972.yml true 37.23 24.75 None mix001.oepc.line999.yml true 71.21 44.66 None mix001.opt.line849.yml true 17.84 11.91 None mix001.opt.line850.yml true 17.43 12.48 None mix001.opt.line877.yml true 16.53 10.94 None mix001.opt.line878.yml true 17.47 11.70 None mix001.opt.line905.yml true 23.24 15.04 None mix001.opt.line906.yml true 23.00 14.60 None mix002.oepc.line787.yml true 19.49 13.30 None mix002.oepc.line788.yml true 20.97 13.85 None mix002.oepc.line815.yml true 22.17 14.85 None mix002.oepc.line816.yml true 28.71 16.84 None mix002.oepc.line843.yml true 32.20 22.06 None mix002.oepc.line844.yml true 30.88 20.63 None mix002.opt.line857.yml true 19.29 12.21 None mix002.opt.line858.yml true 18.93 11.67 None mix002.opt.line885.yml true 17.89 11.44 None mix002.opt.line886.yml true 18.58 11.87 None mix002.opt.line913.yml true 27.54 18.18 None mix002.opt.line914.yml true 25.63 17.22 None mix003.oepc.line771.yml true 23.67 14.09 None mix003.oepc.line772.yml true 23.93 14.20 None mix003.oepc.line799.yml true 20.44 12.58 None mix003.oepc.line800.yml true 19.32 12.20 None mix003.oepc.line827.yml true 26.17 16.86 None mix003.oepc.line828.yml true 27.14 18.55 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line841.yml true 15.60 10.80 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line842.yml true 15.63 10.94 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line869.yml true 16.24 9.78 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line870.yml true 15.04 9.97 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line897.yml true 23.51 15.41 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.line898.yml true 21.81 14.21 None mix004.oepc.line866.yml OUT OF MEMORY 531.45 276.35 None mix004.oepc.line867.yml OUT OF MEMORY 390.10 206.41 None mix004.oepc.line894.yml OUT OF MEMORY 411.31 214.98 None mix004.oepc.line895.yml OUT OF MEMORY 422.40 232.08 None mix004.oepc.line922.yml OUT OF MEMORY 369.53 195.96 None mix004.oepc.line923.yml OUT OF MEMORY 425.39 223.10 None mix004.oepc.line950.yml OUT OF MEMORY 676.12 345.35 None mix004.oepc.line951.yml OUT OF MEMORY 704.76 363.70 None mix004.opt.line889.yml true 262.51 149.59 None mix004.opt.line890.yml true 329.78 183.99 None mix004.opt.line917.yml true 272.74 155.84 None mix004.opt.line918.yml true 272.65 154.91 None mix004.opt.line945.yml true 276.58 159.41 None mix004.opt.line946.yml true 264.59 152.15 None mix004.opt.line973.yml OUT OF MEMORY 260.34 147.85 None mix004.opt.line974.yml true 519.67 295.52 None mix005.opt.line886.yml true 330.38 185.00 None mix005.opt.line887.yml true 253.08 143.91 None mix005.opt.line914.yml true 331.70 185.61 None mix005.opt.line915.yml true 256.95 148.79 None mix005.opt.line942.yml true 320.34 180.70 None mix005.opt.line943.yml true 267.82 155.98 None mix005.opt.line970.yml true 488.28 274.45 None mix005.opt.line971.yml true 508.90 294.56 None mix005_power.oepc_pso.oepc_rmo.oepc.line863.yml OUT OF MEMORY 786.50 403.21 None mix005_power.oepc_pso.oepc_rmo.oepc.line864.yml OUT OF MEMORY 444.42 241.04 None mix005_power.oepc_pso.oepc_rmo.oepc.line891.yml OUT OF MEMORY 449.36 234.73 None mix005_power.oepc_pso.oepc_rmo.oepc.line892.yml OUT OF MEMORY 629.69 327.02 None mix005_power.oepc_pso.oepc_rmo.oepc.line919.yml OUT OF MEMORY 322.65 173.80 None mix005_power.oepc_pso.oepc_rmo.oepc.line920.yml OUT OF MEMORY 480.99 250.38 None mix005_power.oepc_pso.oepc_rmo.oepc.line947.yml OUT OF MEMORY 734.05 380.45 None mix005_power.oepc_pso.oepc_rmo.oepc.line948.yml OUT OF MEMORY 666.72 344.94 None mix005_tso.oepc.line722.yml OUT OF MEMORY 502.96 263.25 None mix005_tso.oepc.line723.yml OUT OF MEMORY 529.75 274.47 None mix005_tso.oepc.line750.yml OUT OF MEMORY 825.56 422.03 None mix005_tso.oepc.line751.yml OUT OF MEMORY 402.31 212.82 None mix005_tso.oepc.line778.yml OUT OF MEMORY 311.02 164.77 None mix005_tso.oepc.line779.yml OUT OF MEMORY 297.22 159.79 None mix005_tso.oepc.line806.yml OUT OF MEMORY 606.99 312.56 None mix005_tso.oepc.line807.yml OUT OF MEMORY 603.19 310.07 None mix006.opt.line838.yml true 16.68 10.25 None mix006.opt.line839.yml true 15.63 9.68 None mix006.opt.line866.yml true 15.36 9.75 None mix006.opt.line867.yml true 15.93 10.08 None mix006.opt.line894.yml true 22.70 14.14 None mix006.opt.line895.yml true 23.76 14.54 None mix006_power.oepc_pso.oepc_rmo.oepc.line768.yml true 21.19 13.09 None mix006_power.oepc_pso.oepc_rmo.oepc.line769.yml true 19.20 12.74 None mix006_power.oepc_pso.oepc_rmo.oepc.line796.yml true 19.09 12.24 None mix006_power.oepc_pso.oepc_rmo.oepc.line797.yml true 18.98 12.36 None mix006_power.oepc_pso.oepc_rmo.oepc.line824.yml true 28.09 18.08 None mix006_power.oepc_pso.oepc_rmo.oepc.line825.yml true 35.72 21.33 None --------------------------------------------------------------------------------------------------------------------- Run set 3 done 95504.75 3755.29 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk20 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk20 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk20 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk20 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk20 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk20 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk20 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk20 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk20 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk20 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk20 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk20 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk20 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk20 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk20 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk20 Run set 19 of 19: skipped Statistics: 900 Files correct: 494 correct true: 494 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 406 Score: 988 (max: 1800)