BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk01, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk01, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk01 date: Wed, 2022-10-19 14:30:12 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-chunk01 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 ---------------------------------------------------------------------------------------------------------------------- stack_longer-1.line610.yml true 6.37 4.82 None stack_longer-1.line611.yml true 6.30 4.79 None stack_longer-1.line622.yml true 12.03 7.04 None stack_longer-1.line623.yml true 10.34 6.16 None stack_longer-1.line634.yml true 19.81 12.83 None stack_longer-1.line635.yml OUT OF MEMORY 820.31 742.48 None stack_longer-2.line300.yml true 17.58 10.38 None stack_longer-2.line301.yml TIMEOUT 901.58 696.05 None stack_longer-2.line412.yml true 25.07 14.92 None stack_longer-2.line413.yml OUT OF MEMORY 239.38 190.89 None stack_longer-2.line583.yml true 6.69 5.60 None stack_longer-2.line584.yml true 6.49 4.93 None stack_longer-2.line598.yml true 6.13 4.86 None stack_longer-2.line599.yml true 6.41 4.34 None stack_longer-2.line610.yml true 9.13 5.71 None stack_longer-2.line611.yml true 9.10 5.98 None stack_longer-2.line622.yml true 19.58 13.04 None stack_longer-2.line623.yml TIMEOUT 900.76 813.06 None stack_longest-1.line300.yml true 17.09 10.92 None stack_longest-1.line301.yml TIMEOUT 903.32 829.87 None stack_longest-1.line424.yml OUT OF MEMORY 63.48 40.29 None stack_longest-1.line425.yml OUT OF MEMORY 310.60 214.19 None stack_longest-1.line595.yml true 8.05 5.07 None stack_longest-1.line596.yml true 6.88 4.57 None stack_longest-1.line610.yml true 6.54 4.60 None stack_longest-1.line611.yml true 6.92 5.33 None stack_longest-1.line622.yml true 12.17 7.18 None stack_longest-1.line623.yml true 9.67 6.06 None stack_longest-1.line634.yml true 23.52 13.82 None stack_longest-1.line635.yml TIMEOUT 900.97 784.37 None stack_longest-2.line300.yml true 14.17 8.75 None stack_longest-2.line301.yml TIMEOUT (ERROR: EXCEPTION) 900.57 818.33 None stack_longest-2.line412.yml true 20.28 13.52 None stack_longest-2.line413.yml OUT OF MEMORY 169.76 120.12 None stack_longest-2.line583.yml true 8.10 5.01 None stack_longest-2.line584.yml true 6.67 4.70 None stack_longest-2.line598.yml true 7.80 4.92 None stack_longest-2.line599.yml true 8.07 5.16 None stack_longest-2.line610.yml true 8.48 5.69 None stack_longest-2.line611.yml true 9.12 6.05 None stack_longest-2.line622.yml true 21.86 12.98 None stack_longest-2.line623.yml TIMEOUT 900.83 707.02 None stateful01-1.line414.yml true 5.86 4.58 None stateful01-1.line415.yml true 6.64 4.81 None stateful01-1.line429.yml true 5.62 4.10 None stateful01-1.line430.yml true 6.35 4.50 None stateful01-1.line441.yml true 6.55 4.65 None stateful01-1.line442.yml true 8.98 5.55 None stateful01-1.line453.yml true 7.79 5.09 None stateful01-1.line454.yml true 7.60 5.35 None stateful01-2.line414.yml true 5.42 3.95 None stateful01-2.line415.yml true 6.50 4.34 None stateful01-2.line429.yml true 7.18 4.66 None stateful01-2.line430.yml true 6.15 4.88 None stateful01-2.line441.yml true 6.75 5.12 None stateful01-2.line442.yml true 6.93 4.53 None stateful01-2.line453.yml true 9.74 5.86 None stateful01-2.line454.yml true 7.50 5.01 None sync01.line507.yml true 6.44 4.53 None sync01.line508.yml true 7.07 4.71 None sync01.line522.yml true 7.55 4.91 None sync01.line523.yml true 6.40 4.44 None sync01.line534.yml true 7.01 4.76 None sync01.line535.yml true 7.71 4.76 None sync01.line546.yml true 10.93 6.54 None sync01.line547.yml true 8.57 5.59 None szymanski-b.line371.yml true 5.72 4.04 None szymanski-b.line372.yml true 5.95 4.06 None szymanski-b.line386.yml true 5.38 4.02 None szymanski-b.line387.yml true 5.75 4.05 None szymanski-b.line398.yml true 7.62 4.86 None szymanski-b.line399.yml true 6.73 4.44 None szymanski-b.line410.yml true 7.47 5.03 None szymanski-b.line411.yml true 7.37 4.98 None szymanski.line510.yml true 6.58 4.29 None szymanski.line511.yml true 8.12 5.11 None szymanski.line525.yml true 5.83 4.41 None szymanski.line526.yml true 6.10 4.36 None szymanski.line537.yml true 10.12 6.08 None szymanski.line538.yml true 12.71 7.09 None szymanski.line549.yml true 14.99 9.15 None szymanski.line550.yml true 15.46 9.42 None test-easy1.wvr.line168.yml true 5.63 3.93 None test-easy1.wvr.line169.yml true 7.66 4.87 None test-easy1.wvr.line183.yml true 5.61 3.96 None test-easy1.wvr.line184.yml true 5.48 3.95 None test-easy1.wvr.line195.yml true 6.86 4.50 None test-easy1.wvr.line196.yml true 6.10 4.57 None test-easy1.wvr.line207.yml true 5.59 3.88 None test-easy1.wvr.line208.yml true 5.97 4.26 None test-easy10.wvr.line396.yml true 72.95 41.21 None test-easy10.wvr.line397.yml true 62.20 35.86 None test-easy10.wvr.line411.yml true 66.55 38.45 None test-easy10.wvr.line412.yml true 62.49 38.24 None test-easy10.wvr.line426.yml true 61.43 35.75 None test-easy10.wvr.line427.yml true 58.98 34.65 None test-easy10.wvr.line441.yml true 98.59 59.07 None test-easy10.wvr.line442.yml true 118.07 66.59 None test-easy10.wvr.line453.yml OUT OF MEMORY 402.51 214.21 None test-easy10.wvr.line454.yml OUT OF MEMORY 370.59 194.43 None test-easy10.wvr.line465.yml OUT OF MEMORY 358.52 186.24 None test-easy10.wvr.line466.yml OUT OF MEMORY 472.27 267.55 None test-easy10.wvr.line477.yml OUT OF MEMORY 415.45 217.57 None test-easy10.wvr.line478.yml OUT OF MEMORY 529.83 272.34 None test-easy10.wvr.line489.yml OUT OF MEMORY 549.61 282.19 None test-easy10.wvr.line490.yml OUT OF MEMORY 448.79 235.39 None test-easy11.wvr.line180.yml true 5.49 3.80 None test-easy11.wvr.line181.yml true 6.07 4.09 None test-easy11.wvr.line195.yml true 5.56 3.96 None test-easy11.wvr.line196.yml true 5.79 3.99 None test-easy11.wvr.line207.yml true 6.36 4.29 None test-easy11.wvr.line208.yml true 5.88 4.09 None test-easy11.wvr.line219.yml true 5.82 4.09 None test-easy11.wvr.line220.yml true 6.28 4.30 None test-easy6.wvr.line276.yml true 6.15 4.29 None test-easy6.wvr.line277.yml true 6.30 4.26 None test-easy6.wvr.line291.yml true 6.21 4.20 None test-easy6.wvr.line292.yml true 6.03 4.07 None test-easy6.wvr.line303.yml true 8.11 5.13 None test-easy6.wvr.line304.yml true 7.97 4.89 None test-easy6.wvr.line315.yml true 10.21 6.36 None test-easy6.wvr.line316.yml true 9.53 5.85 None test-easy7.wvr.line176.yml true 5.97 4.18 None test-easy7.wvr.line177.yml true 6.25 4.24 None test-easy7.wvr.line191.yml true 5.96 4.09 None test-easy7.wvr.line192.yml true 5.46 3.85 None test-easy7.wvr.line203.yml true 6.18 4.19 None test-easy7.wvr.line204.yml true 5.91 4.01 None test-easy7.wvr.line215.yml true 5.93 4.07 None test-easy7.wvr.line216.yml true 6.28 4.22 None test-hard1.wvr.line330.yml true 15.63 10.96 None test-hard1.wvr.line331.yml true 15.86 10.41 None test-hard1.wvr.line345.yml true 15.52 9.89 None test-hard1.wvr.line346.yml true 15.98 10.56 None test-hard1.wvr.line360.yml true 15.54 10.34 None test-hard1.wvr.line361.yml true 16.24 10.27 None test-hard1.wvr.line375.yml true 21.36 14.39 None test-hard1.wvr.line376.yml true 21.65 13.60 None test-hard1.wvr.line387.yml true 151.18 86.74 None test-hard1.wvr.line388.yml true 158.85 93.02 None test-hard1.wvr.line399.yml OUT OF MEMORY 331.85 177.42 None test-hard1.wvr.line400.yml OUT OF MEMORY 355.89 190.22 None test-hard1.wvr.line411.yml OUT OF MEMORY 454.43 238.64 None test-hard1.wvr.line412.yml OUT OF MEMORY 551.99 286.38 None test-hard1.wvr.line423.yml OUT OF MEMORY 361.54 193.95 None test-hard1.wvr.line424.yml OUT OF MEMORY 378.44 200.21 None test-semi1.wvr.line182.yml true 5.87 4.23 None test-semi1.wvr.line183.yml true 6.44 4.38 None test-semi1.wvr.line197.yml true 5.71 4.09 None test-semi1.wvr.line198.yml true 5.97 4.16 None test-semi1.wvr.line209.yml true 5.44 3.85 None test-semi1.wvr.line210.yml true 6.42 4.49 None test-semi1.wvr.line221.yml true 5.59 4.27 None test-semi1.wvr.line222.yml true 6.50 4.45 None thin002_power.oepc.line1022.yml OUT OF MEMORY 389.55 203.19 None thin002_power.oepc.line1023.yml OUT OF MEMORY 376.55 193.37 None thin002_power.oepc.line1050.yml OUT OF MEMORY 336.20 175.26 None thin002_power.oepc.line1051.yml OUT OF MEMORY 484.09 249.40 None thin002_power.oepc.line1078.yml OUT OF MEMORY 406.18 210.36 None thin002_power.oepc.line1079.yml OUT OF MEMORY 302.80 159.31 None thin002_power.oepc.line1106.yml OUT OF MEMORY 496.37 263.86 None thin002_power.oepc.line1107.yml OUT OF MEMORY 554.60 282.83 None thin002_power.oepc.line1140.yml OUT OF MEMORY 428.34 228.90 None thin002_power.oepc.line1141.yml OUT OF MEMORY 586.21 300.54 None thin002_power.oepc.line1155.yml OUT OF MEMORY 479.40 251.32 None thin002_power.oepc.line1156.yml OUT OF MEMORY 499.79 262.18 None thin002_power.oepc.line1203.yml OUT OF MEMORY 457.91 237.11 None thin002_power.oepc.line1204.yml OUT OF MEMORY 455.36 234.50 None thin002_power.oepc.line347.yml OUT OF MEMORY 379.93 204.38 None thin002_power.oepc.line348.yml OUT OF MEMORY 412.45 217.25 None thin002_power.oepc.line362.yml OUT OF MEMORY 427.53 221.46 None thin002_power.oepc.line363.yml OUT OF MEMORY 387.15 199.27 None thin002_power.oepc.line379.yml OUT OF MEMORY 495.18 253.59 None thin002_power.oepc.line380.yml OUT OF MEMORY 512.07 262.68 None thin002_power.oepc.line411.yml OUT OF MEMORY 390.99 205.62 None thin002_power.oepc.line412.yml OUT OF MEMORY 368.34 195.94 None thin002_power.oepc.line432.yml OUT OF MEMORY 486.59 249.57 None thin002_power.oepc.line433.yml OUT OF MEMORY 406.94 211.86 None thin002_power.oepc.line646.yml OUT OF MEMORY 398.43 208.04 None thin002_power.oepc.line647.yml OUT OF MEMORY 422.72 223.53 None thin002_power.oepc.line661.yml OUT OF MEMORY 409.88 213.42 None thin002_power.oepc.line662.yml OUT OF MEMORY 393.21 202.05 None thin002_power.oepc.line674.yml OUT OF MEMORY 398.22 203.56 None thin002_power.oepc.line675.yml OUT OF MEMORY 386.59 201.52 None thin002_power.oepc.line791.yml OUT OF MEMORY 382.69 198.19 None thin002_power.oepc.line792.yml OUT OF MEMORY 520.38 265.79 None thin002_power.oepc.line810.yml OUT OF MEMORY 418.92 226.90 None thin002_power.oepc.line811.yml OUT OF MEMORY 491.75 256.91 None thin002_power.oepc.line825.yml OUT OF MEMORY 407.96 222.42 None thin002_power.oepc.line826.yml OUT OF MEMORY 494.18 261.28 None thin002_power.opt.line1104.yml true 105.19 61.29 None thin002_power.opt.line1105.yml true 103.55 61.05 None thin002_power.opt.line1132.yml true 104.05 58.78 None thin002_power.opt.line1133.yml true 100.97 56.10 None thin002_power.opt.line1160.yml true 109.00 63.10 None thin002_power.opt.line1161.yml true 131.43 72.45 None thin002_power.opt.line1188.yml true 215.56 128.06 None thin002_power.opt.line1189.yml true 208.99 116.55 None thin002_power.opt.line1222.yml OUT OF MEMORY 396.35 220.43 None thin002_power.opt.line1223.yml OUT OF MEMORY 396.67 226.52 None thin002_power.opt.line1237.yml OUT OF MEMORY 446.44 252.40 None thin002_power.opt.line1238.yml OUT OF MEMORY 402.52 221.67 None thin002_power.opt.line1285.yml OUT OF MEMORY 379.00 209.31 None thin002_power.opt.line1286.yml OUT OF MEMORY 405.21 225.35 None thin002_power.opt.line399.yml OUT OF MEMORY 625.70 404.44 None thin002_power.opt.line400.yml TIMEOUT 918.02 578.56 None thin002_power.opt.line414.yml false(unreach-call) 119.68 66.80 None thin002_power.opt.line415.yml false(unreach-call) 132.00 75.77 None thin002_power.opt.line538.yml OUT OF MEMORY 518.33 281.46 None thin002_power.opt.line539.yml OUT OF MEMORY 808.47 457.85 None thin002_power.opt.line553.yml OUT OF MEMORY 805.02 422.57 None thin002_power.opt.line554.yml OUT OF MEMORY 731.56 391.25 None thin002_power.opt.line570.yml TIMEOUT 918.66 521.50 None thin002_power.opt.line571.yml TIMEOUT 901.30 523.94 None thin002_power.opt.line602.yml OUT OF MEMORY 570.48 312.77 None thin002_power.opt.line603.yml OUT OF MEMORY 826.50 445.89 None thin002_power.opt.line623.yml OUT OF MEMORY 634.55 346.60 None thin002_power.opt.line624.yml OUT OF MEMORY 823.85 441.24 None thin002_power.opt.line837.yml OUT OF MEMORY 680.66 371.04 None thin002_power.opt.line838.yml OUT OF MEMORY 892.71 484.51 None thin002_power.opt.line852.yml OUT OF MEMORY 830.93 455.72 None thin002_power.opt.line853.yml TIMEOUT 916.53 494.85 None thin002_power.opt.line865.yml OUT OF MEMORY 773.23 419.32 None thin002_power.opt.line866.yml OUT OF MEMORY 898.77 482.76 None thin002_power.opt.line892.yml OUT OF MEMORY 838.17 445.13 None thin002_power.opt.line893.yml OUT OF MEMORY 889.84 497.59 None thin002_power.opt.line907.yml OUT OF MEMORY 897.57 493.64 None thin002_power.opt.line908.yml TIMEOUT 921.27 515.81 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line409.yml true 31.77 18.67 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line410.yml true 34.79 20.13 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line437.yml true 31.77 18.82 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line438.yml true 25.10 15.60 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line465.yml true 26.33 16.15 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line466.yml true 34.28 20.01 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line493.yml true 54.61 31.44 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line494.yml true 43.58 26.02 None thin002_rmo.line1043.yml OUT OF MEMORY 480.40 247.00 None thin002_rmo.line1044.yml OUT OF MEMORY 521.52 275.75 None thin002_rmo.line325.yml false(unreach-call) 336.08 177.11 None thin002_rmo.line326.yml false(unreach-call) 279.88 147.86 None thin002_rmo.line338.yml false(unreach-call) 343.86 180.73 None thin002_rmo.line339.yml false(unreach-call) 261.81 142.67 None thin002_rmo.line358.yml false(unreach-call) 268.27 146.47 None thin002_rmo.line359.yml false(unreach-call) 263.64 139.72 None thin002_rmo.line486.yml false(unreach-call) 340.99 179.80 None thin002_rmo.line487.yml false(unreach-call) 266.56 144.64 None thin002_rmo.line501.yml OUT OF MEMORY 862.72 445.61 None thin002_rmo.line502.yml OUT OF MEMORY 674.89 356.31 None thin002_rmo.line514.yml false(unreach-call) 341.94 180.30 None thin002_rmo.line515.yml false(unreach-call) 254.99 133.16 None thin002_rmo.line631.yml OUT OF MEMORY 634.00 333.98 None thin002_rmo.line632.yml OUT OF MEMORY 636.69 334.15 None thin002_rmo.line650.yml OUT OF MEMORY 595.22 310.27 None thin002_rmo.line651.yml OUT OF MEMORY 842.43 434.98 None thin002_rmo.line665.yml OUT OF MEMORY 630.69 327.52 None thin002_rmo.line666.yml OUT OF MEMORY 675.12 355.23 None thin002_rmo.line862.yml true 335.53 178.89 None thin002_rmo.line863.yml true 263.69 142.69 None thin002_rmo.line890.yml true 262.78 147.93 None thin002_rmo.line891.yml true 252.71 134.43 None thin002_rmo.line918.yml true 342.56 179.66 None thin002_rmo.line919.yml true 282.16 151.71 None thin002_rmo.line946.yml true 482.72 248.46 None thin002_rmo.line947.yml true 497.36 260.14 None thin002_rmo.line980.yml OUT OF MEMORY 411.10 222.39 None thin002_rmo.line981.yml OUT OF MEMORY 562.48 288.89 None thin002_rmo.line995.yml OUT OF MEMORY 476.88 250.34 None thin002_rmo.line996.yml OUT OF MEMORY 435.72 228.48 None time_var_mutex.line421.yml true 8.31 5.23 None time_var_mutex.line422.yml true 8.66 5.61 None time_var_mutex.line436.yml true 6.63 4.96 None time_var_mutex.line437.yml true 6.50 4.40 None time_var_mutex.line448.yml true 8.81 5.43 None time_var_mutex.line449.yml true 7.21 4.82 None time_var_mutex.line460.yml true 8.23 5.22 None time_var_mutex.line461.yml true 10.03 6.14 None triangular-1.line331.yml true 6.08 4.49 None triangular-1.line332.yml true 6.48 4.32 None triangular-1.line346.yml true 6.03 4.75 None triangular-1.line347.yml true 6.35 4.51 None triangular-2.line331.yml true 7.23 4.71 None triangular-2.line332.yml true 6.24 4.25 None triangular-2.line346.yml true 5.93 4.48 None triangular-2.line347.yml true 6.02 4.63 None triangular-longer-1.line331.yml true 7.29 4.68 None triangular-longer-1.line332.yml true 6.38 4.27 None triangular-longer-1.line346.yml true 6.15 4.49 None triangular-longer-1.line347.yml true 6.22 4.36 None triangular-longer-2.line331.yml true 7.75 4.67 None triangular-longer-2.line332.yml true 6.42 4.32 None triangular-longer-2.line346.yml true 5.90 4.45 None triangular-longer-2.line347.yml true 6.09 4.31 None triangular-longest-1.line331.yml true 7.06 4.54 None triangular-longest-1.line332.yml true 6.36 4.34 None triangular-longest-1.line346.yml true 5.95 4.42 None triangular-longest-1.line347.yml true 5.96 4.36 None triangular-longest-2.line331.yml true 7.10 4.59 None triangular-longest-2.line332.yml true 6.25 4.28 None triangular-longest-2.line346.yml true 7.27 4.72 None triangular-longest-2.line347.yml true 6.21 4.60 None ---------------------------------------------------------------------------------------------------------------------- Run set 1 done 66605.33 2843.29 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk01 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 ---------------------------------------------------------------------------------------------------------------------- stack_longer-1.line610.yml true 6.32 4.41 None stack_longer-1.line611.yml true 6.67 4.90 None stack_longer-1.line622.yml true 12.16 6.79 None stack_longer-1.line623.yml true 9.77 5.89 None stack_longer-1.line634.yml true 18.97 11.92 None stack_longer-1.line635.yml OUT OF MEMORY 855.41 782.74 None stack_longer-2.line300.yml true 19.25 10.54 None stack_longer-2.line301.yml TIMEOUT 903.62 678.72 None stack_longer-2.line412.yml true 22.87 13.83 None stack_longer-2.line413.yml OUT OF MEMORY 276.76 204.76 None stack_longer-2.line583.yml true 6.12 4.66 None stack_longer-2.line584.yml true 6.49 4.46 None stack_longer-2.line598.yml true 6.19 4.30 None stack_longer-2.line599.yml true 6.44 4.32 None stack_longer-2.line610.yml true 8.53 5.86 None stack_longer-2.line611.yml true 9.32 5.73 None stack_longer-2.line622.yml true 19.05 12.87 None stack_longer-2.line623.yml TIMEOUT 901.83 808.13 None stack_longest-1.line300.yml true 16.64 10.62 None stack_longest-1.line301.yml TIMEOUT 901.33 835.31 None stack_longest-1.line424.yml true 46.83 30.02 None stack_longest-1.line425.yml OUT OF MEMORY 442.29 316.68 None stack_longest-1.line595.yml true 6.45 4.33 None stack_longest-1.line596.yml true 7.02 5.21 None stack_longest-1.line610.yml true 7.87 4.94 None stack_longest-1.line611.yml true 6.76 4.72 None stack_longest-1.line622.yml true 11.90 6.87 None stack_longest-1.line623.yml true 9.15 5.62 None stack_longest-1.line634.yml true 17.75 12.06 None stack_longest-1.line635.yml TIMEOUT 902.97 686.48 None stack_longest-2.line300.yml true 13.36 8.74 None stack_longest-2.line301.yml TIMEOUT 901.31 834.10 None stack_longest-2.line412.yml true 19.14 12.24 None stack_longest-2.line413.yml OUT OF MEMORY 229.88 166.91 None stack_longest-2.line583.yml true 7.85 4.98 None stack_longest-2.line584.yml true 6.87 4.83 None stack_longest-2.line598.yml true 7.99 5.00 None stack_longest-2.line599.yml true 6.47 4.64 None stack_longest-2.line610.yml true 8.31 5.67 None stack_longest-2.line611.yml true 8.36 5.54 None stack_longest-2.line622.yml true 22.26 13.12 None stack_longest-2.line623.yml TIMEOUT 901.04 801.28 None stateful01-1.line414.yml true 5.77 4.18 None stateful01-1.line415.yml true 6.52 4.49 None stateful01-1.line429.yml true 6.31 4.27 None stateful01-1.line430.yml true 5.92 4.09 None stateful01-1.line441.yml true 6.86 4.56 None stateful01-1.line442.yml true 6.54 4.63 None stateful01-1.line453.yml true 7.26 4.79 None stateful01-1.line454.yml true 9.50 5.74 None stateful01-2.line414.yml true 5.90 3.94 None stateful01-2.line415.yml true 6.11 4.34 None stateful01-2.line429.yml true 6.11 4.18 None stateful01-2.line430.yml true 5.90 4.14 None stateful01-2.line441.yml true 6.43 4.40 None stateful01-2.line442.yml true 8.48 5.30 None stateful01-2.line453.yml true 7.45 4.82 None stateful01-2.line454.yml true 7.58 5.33 None sync01.line507.yml true 5.74 4.06 None sync01.line508.yml true 8.15 5.10 None sync01.line522.yml true 6.28 4.25 None sync01.line523.yml true 5.95 4.14 None sync01.line534.yml true 6.50 4.63 None sync01.line535.yml true 9.01 5.46 None sync01.line546.yml true 8.65 5.37 None sync01.line547.yml true 8.81 5.67 None szymanski-b.line371.yml true 5.61 3.90 None szymanski-b.line372.yml true 7.39 4.76 None szymanski-b.line386.yml true 5.87 4.13 None szymanski-b.line387.yml true 6.05 4.18 None szymanski-b.line398.yml true 5.91 4.30 None szymanski-b.line399.yml true 8.03 5.04 None szymanski-b.line410.yml true 7.34 5.01 None szymanski-b.line411.yml true 7.29 4.61 None szymanski.line510.yml true 5.55 4.09 None szymanski.line511.yml true 8.04 5.04 None szymanski.line525.yml true 6.10 4.29 None szymanski.line526.yml true 5.86 4.10 None szymanski.line537.yml true 8.79 5.32 None szymanski.line538.yml true 8.39 5.30 None szymanski.line549.yml true 16.82 9.67 None szymanski.line550.yml true 12.28 7.94 None test-easy1.wvr.line168.yml true 6.15 4.06 None test-easy1.wvr.line169.yml true 6.23 4.29 None test-easy1.wvr.line183.yml true 5.71 3.91 None test-easy1.wvr.line184.yml true 5.64 4.13 None test-easy1.wvr.line195.yml true 5.89 4.01 None test-easy1.wvr.line196.yml true 7.51 4.79 None test-easy1.wvr.line207.yml true 5.80 4.23 None test-easy1.wvr.line208.yml true 5.89 4.18 None test-easy10.wvr.line396.yml true 52.48 31.40 None test-easy10.wvr.line397.yml true 53.79 32.94 None test-easy10.wvr.line411.yml true 64.29 37.65 None test-easy10.wvr.line412.yml true 53.47 32.78 None test-easy10.wvr.line426.yml true 53.62 32.14 None test-easy10.wvr.line427.yml true 53.54 33.47 None test-easy10.wvr.line441.yml true 86.40 52.65 None test-easy10.wvr.line442.yml true 104.64 60.62 None test-easy10.wvr.line453.yml OUT OF MEMORY 386.80 202.31 None test-easy10.wvr.line454.yml OUT OF MEMORY 421.23 219.94 None test-easy10.wvr.line465.yml OUT OF MEMORY 417.79 219.11 None test-easy10.wvr.line466.yml OUT OF MEMORY 393.49 204.56 None test-easy10.wvr.line477.yml OUT OF MEMORY 548.97 283.46 None test-easy10.wvr.line478.yml OUT OF MEMORY 426.86 220.98 None test-easy10.wvr.line489.yml OUT OF MEMORY 558.25 287.34 None test-easy10.wvr.line490.yml OUT OF MEMORY 375.55 196.23 None test-easy11.wvr.line180.yml true 5.85 4.28 None test-easy11.wvr.line181.yml true 5.93 4.07 None test-easy11.wvr.line195.yml true 5.68 3.96 None test-easy11.wvr.line196.yml true 5.82 4.12 None test-easy11.wvr.line207.yml true 6.03 4.07 None test-easy11.wvr.line208.yml true 5.97 4.22 None test-easy11.wvr.line219.yml true 6.26 4.20 None test-easy11.wvr.line220.yml true 6.30 4.49 None test-easy6.wvr.line276.yml true 5.97 4.22 None test-easy6.wvr.line277.yml true 6.45 4.26 None test-easy6.wvr.line291.yml true 5.75 4.16 None test-easy6.wvr.line292.yml true 6.10 4.57 None test-easy6.wvr.line303.yml true 7.51 4.81 None test-easy6.wvr.line304.yml true 7.28 5.03 None test-easy6.wvr.line315.yml true 8.95 5.86 None test-easy6.wvr.line316.yml true 9.24 5.65 None test-easy7.wvr.line176.yml true 5.98 4.28 None test-easy7.wvr.line177.yml true 6.41 4.41 None test-easy7.wvr.line191.yml true 5.60 4.29 None test-easy7.wvr.line192.yml true 5.87 4.03 None test-easy7.wvr.line203.yml true 5.76 4.20 None test-easy7.wvr.line204.yml true 6.12 4.43 None test-easy7.wvr.line215.yml true 6.09 4.12 None test-easy7.wvr.line216.yml true 6.74 4.50 None test-hard1.wvr.line330.yml true 15.52 10.31 None test-hard1.wvr.line331.yml true 16.28 10.26 None test-hard1.wvr.line345.yml true 14.34 9.89 None test-hard1.wvr.line346.yml true 16.24 10.51 None test-hard1.wvr.line360.yml true 15.28 10.22 None test-hard1.wvr.line361.yml true 16.79 10.72 None test-hard1.wvr.line375.yml true 20.25 13.08 None test-hard1.wvr.line376.yml true 21.99 13.89 None test-hard1.wvr.line387.yml true 139.58 81.62 None test-hard1.wvr.line388.yml true 145.31 85.59 None test-hard1.wvr.line399.yml OUT OF MEMORY 348.11 185.07 None test-hard1.wvr.line400.yml OUT OF MEMORY 309.05 165.81 None test-hard1.wvr.line411.yml OUT OF MEMORY 477.28 250.55 None test-hard1.wvr.line412.yml OUT OF MEMORY 363.56 197.08 None test-hard1.wvr.line423.yml OUT OF MEMORY 336.98 182.13 None test-hard1.wvr.line424.yml OUT OF MEMORY 363.56 193.94 None test-semi1.wvr.line182.yml true 7.33 4.77 None test-semi1.wvr.line183.yml true 7.81 4.97 None test-semi1.wvr.line197.yml true 7.41 4.75 None test-semi1.wvr.line198.yml true 6.09 4.24 None test-semi1.wvr.line209.yml true 6.13 4.20 None test-semi1.wvr.line210.yml true 8.06 5.03 None test-semi1.wvr.line221.yml true 6.28 4.22 None test-semi1.wvr.line222.yml true 8.02 5.09 None thin002_power.oepc.line1022.yml OUT OF MEMORY 348.49 181.82 None thin002_power.oepc.line1023.yml OUT OF MEMORY 463.74 240.57 None thin002_power.oepc.line1050.yml OUT OF MEMORY 334.86 177.31 None thin002_power.oepc.line1051.yml OUT OF MEMORY 453.31 237.45 None thin002_power.oepc.line1078.yml OUT OF MEMORY 296.55 157.66 None thin002_power.oepc.line1079.yml OUT OF MEMORY 317.94 168.98 None thin002_power.oepc.line1106.yml OUT OF MEMORY 416.15 216.39 None thin002_power.oepc.line1107.yml OUT OF MEMORY 525.44 268.91 None thin002_power.oepc.line1140.yml OUT OF MEMORY 441.15 231.73 None thin002_power.oepc.line1141.yml OUT OF MEMORY 469.89 248.82 None thin002_power.oepc.line1155.yml OUT OF MEMORY 514.20 269.40 None thin002_power.oepc.line1156.yml OUT OF MEMORY 428.27 222.23 None thin002_power.oepc.line1203.yml OUT OF MEMORY 484.02 251.85 None thin002_power.oepc.line1204.yml OUT OF MEMORY 507.84 269.44 None thin002_power.oepc.line347.yml OUT OF MEMORY 326.40 176.66 None thin002_power.oepc.line348.yml OUT OF MEMORY 332.97 177.87 None thin002_power.oepc.line362.yml OUT OF MEMORY 459.22 238.71 None thin002_power.oepc.line363.yml OUT OF MEMORY 480.02 248.64 None thin002_power.oepc.line379.yml OUT OF MEMORY 371.50 195.77 None thin002_power.oepc.line380.yml OUT OF MEMORY 525.21 270.98 None thin002_power.oepc.line411.yml OUT OF MEMORY 375.97 201.75 None thin002_power.oepc.line412.yml OUT OF MEMORY 341.61 179.13 None thin002_power.oepc.line432.yml OUT OF MEMORY 506.10 262.55 None thin002_power.oepc.line433.yml OUT OF MEMORY 347.37 187.95 None thin002_power.oepc.line646.yml OUT OF MEMORY 422.49 224.61 None thin002_power.oepc.line647.yml OUT OF MEMORY 369.24 204.30 None thin002_power.oepc.line661.yml OUT OF MEMORY 358.06 185.97 None thin002_power.oepc.line662.yml OUT OF MEMORY 351.75 185.29 None thin002_power.oepc.line674.yml OUT OF MEMORY 444.29 235.25 None thin002_power.oepc.line675.yml OUT OF MEMORY 470.17 248.68 None thin002_power.oepc.line791.yml OUT OF MEMORY 559.24 289.57 None thin002_power.oepc.line792.yml OUT OF MEMORY 454.68 242.26 None thin002_power.oepc.line810.yml OUT OF MEMORY 584.73 301.65 None thin002_power.oepc.line811.yml OUT OF MEMORY 351.89 188.08 None thin002_power.oepc.line825.yml OUT OF MEMORY 348.65 182.95 None thin002_power.oepc.line826.yml OUT OF MEMORY 504.51 260.19 None thin002_power.opt.line1104.yml true 95.44 56.23 None thin002_power.opt.line1105.yml true 90.17 51.92 None thin002_power.opt.line1132.yml true 93.15 62.54 None thin002_power.opt.line1133.yml true 94.29 54.20 None thin002_power.opt.line1160.yml true 97.23 57.88 None thin002_power.opt.line1161.yml true 99.89 57.62 None thin002_power.opt.line1188.yml true 217.60 120.29 None thin002_power.opt.line1189.yml true 168.84 95.09 None thin002_power.opt.line1222.yml OUT OF MEMORY 386.03 222.32 None thin002_power.opt.line1223.yml OUT OF MEMORY 375.71 205.95 None thin002_power.opt.line1237.yml OUT OF MEMORY 391.10 214.91 None thin002_power.opt.line1238.yml OUT OF MEMORY 391.11 214.71 None thin002_power.opt.line1285.yml OUT OF MEMORY 446.38 245.05 None thin002_power.opt.line1286.yml OUT OF MEMORY 338.88 188.36 None thin002_power.opt.line399.yml TIMEOUT 902.14 642.84 None thin002_power.opt.line400.yml TIMEOUT 902.28 617.12 None thin002_power.opt.line414.yml false(unreach-call) 108.27 61.34 None thin002_power.opt.line415.yml false(unreach-call) 106.61 60.41 None thin002_power.opt.line538.yml OUT OF MEMORY 739.87 394.14 None thin002_power.opt.line539.yml OUT OF MEMORY 898.54 483.00 None thin002_power.opt.line553.yml OUT OF MEMORY 588.34 318.23 None thin002_power.opt.line554.yml TIMEOUT 920.19 500.47 None thin002_power.opt.line570.yml TIMEOUT 901.41 545.05 None thin002_power.opt.line571.yml TIMEOUT 902.58 536.05 None thin002_power.opt.line602.yml OUT OF MEMORY 571.75 316.19 None thin002_power.opt.line603.yml OUT OF MEMORY 788.37 437.75 None thin002_power.opt.line623.yml OUT OF MEMORY 618.63 336.43 None thin002_power.opt.line624.yml OUT OF MEMORY 774.69 423.69 None thin002_power.opt.line837.yml OUT OF MEMORY 727.24 393.72 None thin002_power.opt.line838.yml OUT OF MEMORY 750.92 411.22 None thin002_power.opt.line852.yml OUT OF MEMORY 849.20 453.15 None thin002_power.opt.line853.yml TIMEOUT 911.01 489.75 None thin002_power.opt.line865.yml OUT OF MEMORY 759.13 404.30 None thin002_power.opt.line866.yml OUT OF MEMORY 872.44 473.94 None thin002_power.opt.line892.yml TIMEOUT 914.82 490.41 None thin002_power.opt.line893.yml OUT OF MEMORY 879.49 478.56 None thin002_power.opt.line907.yml TIMEOUT 913.13 498.07 None thin002_power.opt.line908.yml TIMEOUT 915.95 513.64 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line409.yml true 26.37 17.90 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line410.yml true 27.01 16.70 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line437.yml true 22.97 16.06 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line438.yml true 24.14 17.52 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line465.yml true 23.56 14.92 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line466.yml true 24.43 16.48 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line493.yml true 40.71 26.38 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line494.yml true 51.02 30.03 None thin002_rmo.line1043.yml OUT OF MEMORY 526.59 278.02 None thin002_rmo.line1044.yml OUT OF MEMORY 469.21 242.68 None thin002_rmo.line325.yml false(unreach-call) 226.53 130.46 None thin002_rmo.line326.yml false(unreach-call) 230.06 126.09 None thin002_rmo.line338.yml false(unreach-call) 238.01 129.85 None thin002_rmo.line339.yml false(unreach-call) 277.86 150.08 None thin002_rmo.line358.yml false(unreach-call) 224.96 127.04 None thin002_rmo.line359.yml false(unreach-call) 233.28 136.38 None thin002_rmo.line486.yml false(unreach-call) 239.57 135.13 None thin002_rmo.line487.yml false(unreach-call) 278.54 151.69 None thin002_rmo.line501.yml OUT OF MEMORY 547.36 296.77 None thin002_rmo.line502.yml OUT OF MEMORY 806.95 492.32 None thin002_rmo.line514.yml false(unreach-call) 211.42 114.40 None thin002_rmo.line515.yml false(unreach-call) 226.02 126.26 None thin002_rmo.line631.yml OUT OF MEMORY 650.53 375.77 None thin002_rmo.line632.yml OUT OF MEMORY 768.17 402.57 None thin002_rmo.line650.yml OUT OF MEMORY 655.73 363.62 None thin002_rmo.line651.yml OUT OF MEMORY 684.01 476.88 None thin002_rmo.line665.yml OUT OF MEMORY 735.69 393.95 None thin002_rmo.line666.yml OUT OF MEMORY 679.96 367.40 None thin002_rmo.line862.yml true 215.44 118.28 None thin002_rmo.line863.yml true 283.98 154.75 None thin002_rmo.line890.yml true 229.22 129.51 None thin002_rmo.line891.yml true 236.65 135.40 None thin002_rmo.line918.yml true 290.37 155.80 None thin002_rmo.line919.yml true 238.44 137.93 None thin002_rmo.line946.yml true 432.26 233.94 None thin002_rmo.line947.yml true 434.32 231.89 None thin002_rmo.line980.yml OUT OF MEMORY 494.19 268.67 None thin002_rmo.line981.yml OUT OF MEMORY 592.17 306.57 None thin002_rmo.line995.yml OUT OF MEMORY 438.37 235.30 None thin002_rmo.line996.yml OUT OF MEMORY 549.08 284.68 None time_var_mutex.line421.yml true 6.97 5.54 None time_var_mutex.line422.yml true 7.38 5.21 None time_var_mutex.line436.yml true 6.89 5.29 None time_var_mutex.line437.yml true 6.84 5.69 None time_var_mutex.line448.yml true 7.99 6.67 None time_var_mutex.line449.yml true 7.49 6.55 None time_var_mutex.line460.yml true 8.09 6.19 None time_var_mutex.line461.yml true 8.70 6.78 None triangular-1.line331.yml true 6.62 5.73 None triangular-1.line332.yml true 6.28 5.42 None triangular-1.line346.yml true 5.99 5.46 None triangular-1.line347.yml true 6.10 5.32 None triangular-2.line331.yml true 6.03 4.78 None triangular-2.line332.yml true 6.70 5.54 None triangular-2.line346.yml true 6.20 5.17 None triangular-2.line347.yml true 6.33 4.87 None triangular-longer-1.line331.yml true 5.97 4.78 None triangular-longer-1.line332.yml true 6.49 5.00 None triangular-longer-1.line346.yml true 5.85 4.19 None triangular-longer-1.line347.yml true 6.30 5.02 None triangular-longer-2.line331.yml true 6.15 5.60 None triangular-longer-2.line332.yml true 6.67 5.23 None triangular-longer-2.line346.yml true 6.17 5.08 None triangular-longer-2.line347.yml true 6.17 4.96 None triangular-longest-1.line331.yml true 6.26 4.93 None triangular-longest-1.line332.yml true 7.85 4.96 None triangular-longest-1.line346.yml true 6.20 5.40 None triangular-longest-1.line347.yml true 6.12 4.58 None triangular-longest-2.line331.yml true 6.15 5.42 None triangular-longest-2.line332.yml true 8.37 5.34 None triangular-longest-2.line346.yml true 5.97 5.38 None triangular-longest-2.line347.yml true 6.26 4.90 None ---------------------------------------------------------------------------------------------------------------------- Run set 2 done 65425.54 2869.16 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk01 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 ---------------------------------------------------------------------------------------------------------------------- stack_longer-1.line610.yml true 7.07 5.17 None stack_longer-1.line611.yml true 6.83 5.64 None stack_longer-1.line622.yml true 14.97 8.52 None stack_longer-1.line623.yml true 11.13 6.83 None stack_longer-1.line634.yml true 33.82 22.74 None stack_longer-1.line635.yml TIMEOUT 905.95 802.33 None stack_longer-2.line300.yml true 28.87 16.62 None stack_longer-2.line301.yml TIMEOUT (ERROR: EXCEPTION) 903.13 715.76 None stack_longer-2.line412.yml true 42.36 25.57 None stack_longer-2.line413.yml OUT OF MEMORY 351.49 268.42 None stack_longer-2.line583.yml true 7.29 6.49 None stack_longer-2.line584.yml true 7.10 6.80 None stack_longer-2.line598.yml true 6.37 5.60 None stack_longer-2.line599.yml true 6.48 4.39 None stack_longer-2.line610.yml true 11.06 6.60 None stack_longer-2.line611.yml true 12.69 8.30 None stack_longer-2.line622.yml true 30.11 19.64 None stack_longer-2.line623.yml TIMEOUT 900.92 804.99 None stack_longest-1.line300.yml true 28.24 20.30 None stack_longest-1.line301.yml TIMEOUT 900.63 742.21 None stack_longest-1.line424.yml true 119.16 77.31 None stack_longest-1.line425.yml OUT OF MEMORY 132.24 86.69 None stack_longest-1.line595.yml true 6.86 4.52 None stack_longest-1.line596.yml true 7.67 5.14 None stack_longest-1.line610.yml true 6.69 4.43 None stack_longest-1.line611.yml true 8.55 5.33 None stack_longest-1.line622.yml true 11.67 7.41 None stack_longest-1.line623.yml true 11.15 6.65 None stack_longest-1.line634.yml true 36.56 21.79 None stack_longest-1.line635.yml TIMEOUT 902.65 772.57 None stack_longest-2.line300.yml true 20.72 13.61 None stack_longest-2.line301.yml TIMEOUT 901.57 714.16 None stack_longest-2.line412.yml true 35.08 23.09 None stack_longest-2.line413.yml OUT OF MEMORY 314.70 257.36 None stack_longest-2.line583.yml true 6.68 4.47 None stack_longest-2.line584.yml true 7.03 4.63 None stack_longest-2.line598.yml true 6.72 4.49 None stack_longest-2.line599.yml true 6.86 4.80 None stack_longest-2.line610.yml true 10.26 6.30 None stack_longest-2.line611.yml true 15.08 8.46 None stack_longest-2.line622.yml true 31.72 20.27 None stack_longest-2.line623.yml TIMEOUT 900.61 760.29 None stateful01-1.line414.yml true 6.45 4.52 None stateful01-1.line415.yml true 8.30 5.25 None stateful01-1.line429.yml true 6.90 4.82 None stateful01-1.line430.yml true 7.80 4.97 None stateful01-1.line441.yml true 7.83 5.07 None stateful01-1.line442.yml true 9.18 5.58 None stateful01-1.line453.yml true 8.04 5.55 None stateful01-1.line454.yml true 9.16 5.62 None stateful01-2.line414.yml true 7.74 4.88 None stateful01-2.line415.yml true 6.71 4.78 None stateful01-2.line429.yml true 6.61 4.67 None stateful01-2.line430.yml true 7.96 5.08 None stateful01-2.line441.yml true 7.26 4.85 None stateful01-2.line442.yml true 7.61 5.15 None stateful01-2.line453.yml true 11.02 6.32 None stateful01-2.line454.yml true 8.34 5.46 None sync01.line507.yml true 6.76 4.58 None sync01.line508.yml true 6.47 4.38 None sync01.line522.yml true 6.83 4.83 None sync01.line523.yml true 6.23 4.61 None sync01.line534.yml true 9.17 5.64 None sync01.line535.yml true 8.18 5.42 None sync01.line546.yml true 9.52 6.14 None sync01.line547.yml true 10.26 6.40 None szymanski-b.line371.yml true 7.51 4.78 None szymanski-b.line372.yml true 6.64 4.87 None szymanski-b.line386.yml true 7.44 4.74 None szymanski-b.line387.yml true 7.44 4.75 None szymanski-b.line398.yml true 6.52 4.91 None szymanski-b.line399.yml true 7.43 4.92 None szymanski-b.line410.yml true 7.99 5.19 None szymanski-b.line411.yml true 10.34 6.13 None szymanski.line510.yml true 7.87 4.96 None szymanski.line511.yml true 6.59 4.82 None szymanski.line525.yml true 6.60 4.91 None szymanski.line526.yml true 6.72 4.74 None szymanski.line537.yml true 15.10 8.43 None szymanski.line538.yml true 13.94 8.14 None szymanski.line549.yml true 21.03 12.75 None szymanski.line550.yml true 21.90 13.01 None test-easy1.wvr.line168.yml true 5.79 4.17 None test-easy1.wvr.line169.yml true 6.50 4.47 None test-easy1.wvr.line183.yml true 7.57 4.79 None test-easy1.wvr.line184.yml true 7.79 4.84 None test-easy1.wvr.line195.yml true 6.06 4.25 None test-easy1.wvr.line196.yml true 7.96 4.98 None test-easy1.wvr.line207.yml true 6.34 4.57 None test-easy1.wvr.line208.yml true 8.08 5.09 None test-easy10.wvr.line396.yml true 93.08 55.74 None test-easy10.wvr.line397.yml true 93.87 57.28 None test-easy10.wvr.line411.yml true 92.28 57.18 None test-easy10.wvr.line412.yml true 111.38 64.56 None test-easy10.wvr.line426.yml true 112.59 65.66 None test-easy10.wvr.line427.yml true 95.92 57.86 None test-easy10.wvr.line441.yml true 148.21 89.28 None test-easy10.wvr.line442.yml true 147.58 90.89 None test-easy10.wvr.line453.yml OUT OF MEMORY 796.72 403.53 None test-easy10.wvr.line454.yml OUT OF MEMORY 725.94 367.65 None test-easy10.wvr.line465.yml OUT OF MEMORY 606.73 310.37 None test-easy10.wvr.line466.yml OUT OF MEMORY 622.60 315.54 None test-easy10.wvr.line477.yml OUT OF MEMORY 539.45 276.24 None test-easy10.wvr.line478.yml OUT OF MEMORY 583.62 298.57 None test-easy10.wvr.line489.yml OUT OF MEMORY 630.68 322.69 None test-easy10.wvr.line490.yml OUT OF MEMORY 609.86 312.46 None test-easy11.wvr.line180.yml true 5.71 4.19 None test-easy11.wvr.line181.yml true 6.00 4.24 None test-easy11.wvr.line195.yml true 5.72 4.08 None test-easy11.wvr.line196.yml true 7.66 4.80 None test-easy11.wvr.line207.yml true 6.80 4.81 None test-easy11.wvr.line208.yml true 7.56 4.85 None test-easy11.wvr.line219.yml true 6.71 5.03 None test-easy11.wvr.line220.yml true 8.35 5.21 None test-easy6.wvr.line276.yml true 5.53 4.41 None test-easy6.wvr.line277.yml true 6.44 4.61 None test-easy6.wvr.line291.yml true 5.56 3.87 None test-easy6.wvr.line292.yml true 7.58 4.80 None test-easy6.wvr.line303.yml true 8.84 5.95 None test-easy6.wvr.line304.yml true 8.51 5.62 None test-easy6.wvr.line315.yml true 15.38 8.78 None test-easy6.wvr.line316.yml true 13.20 7.45 None test-easy7.wvr.line176.yml true 6.25 4.66 None test-easy7.wvr.line177.yml true 6.79 5.03 None test-easy7.wvr.line191.yml true 5.73 4.14 None test-easy7.wvr.line192.yml true 7.20 4.62 None test-easy7.wvr.line203.yml true 6.16 4.36 None test-easy7.wvr.line204.yml true 6.94 4.58 None test-easy7.wvr.line215.yml true 6.39 4.59 None test-easy7.wvr.line216.yml true 8.99 5.49 None test-hard1.wvr.line330.yml true 26.09 16.42 None test-hard1.wvr.line331.yml true 21.80 15.06 None test-hard1.wvr.line345.yml true 22.25 14.52 None test-hard1.wvr.line346.yml true 22.49 15.66 None test-hard1.wvr.line360.yml true 28.74 17.39 None test-hard1.wvr.line361.yml true 23.71 15.71 None test-hard1.wvr.line375.yml true 32.25 22.08 None test-hard1.wvr.line376.yml true 32.34 20.89 None test-hard1.wvr.line387.yml true 305.82 176.35 None test-hard1.wvr.line388.yml true 238.89 143.27 None test-hard1.wvr.line399.yml OUT OF MEMORY 710.40 362.19 None test-hard1.wvr.line400.yml OUT OF MEMORY 627.73 324.16 None test-hard1.wvr.line411.yml OUT OF MEMORY 584.88 300.18 None test-hard1.wvr.line412.yml OUT OF MEMORY 598.17 307.24 None test-hard1.wvr.line423.yml OUT OF MEMORY 752.18 384.72 None test-hard1.wvr.line424.yml OUT OF MEMORY 739.71 376.66 None test-semi1.wvr.line182.yml true 6.53 4.35 None test-semi1.wvr.line183.yml true 7.05 4.78 None test-semi1.wvr.line197.yml true 6.05 4.30 None test-semi1.wvr.line198.yml true 6.26 4.26 None test-semi1.wvr.line209.yml true 6.24 4.54 None test-semi1.wvr.line210.yml true 6.66 4.48 None test-semi1.wvr.line221.yml true 6.41 4.54 None test-semi1.wvr.line222.yml true 7.38 4.96 None thin002_power.oepc.line1022.yml OUT OF MEMORY 589.26 304.49 None thin002_power.oepc.line1023.yml OUT OF MEMORY 591.29 300.48 None thin002_power.oepc.line1050.yml OUT OF MEMORY 773.23 392.87 None thin002_power.oepc.line1051.yml OUT OF MEMORY 587.60 302.05 None thin002_power.oepc.line1078.yml OUT OF MEMORY 387.10 206.99 None thin002_power.oepc.line1079.yml OUT OF MEMORY 411.79 210.68 None thin002_power.oepc.line1106.yml OUT OF MEMORY 642.45 327.26 None thin002_power.oepc.line1107.yml OUT OF MEMORY 669.07 338.80 None thin002_power.oepc.line1140.yml OUT OF MEMORY 664.61 336.86 None thin002_power.oepc.line1141.yml OUT OF MEMORY 666.39 344.53 None thin002_power.oepc.line1155.yml OUT OF MEMORY 699.64 356.50 None thin002_power.oepc.line1156.yml OUT OF MEMORY 849.37 429.85 None thin002_power.oepc.line1203.yml OUT OF MEMORY 648.19 339.89 None thin002_power.oepc.line1204.yml OUT OF MEMORY 604.61 306.22 None thin002_power.oepc.line347.yml OUT OF MEMORY 567.63 287.94 None thin002_power.oepc.line348.yml OUT OF MEMORY 537.72 278.33 None thin002_power.oepc.line362.yml OUT OF MEMORY 616.42 316.45 None thin002_power.oepc.line363.yml OUT OF MEMORY 717.52 363.57 None thin002_power.oepc.line379.yml OUT OF MEMORY 754.37 381.16 None thin002_power.oepc.line380.yml OUT OF MEMORY 582.54 300.93 None thin002_power.oepc.line411.yml OUT OF MEMORY 730.50 369.26 None thin002_power.oepc.line412.yml OUT OF MEMORY 592.08 302.37 None thin002_power.oepc.line432.yml OUT OF MEMORY 620.92 314.43 None thin002_power.oepc.line433.yml OUT OF MEMORY 586.74 300.95 None thin002_power.oepc.line646.yml OUT OF MEMORY 617.09 314.72 None thin002_power.oepc.line647.yml OUT OF MEMORY 560.36 282.73 None thin002_power.oepc.line661.yml OUT OF MEMORY 585.26 302.48 None thin002_power.oepc.line662.yml OUT OF MEMORY 572.18 297.90 None thin002_power.oepc.line674.yml OUT OF MEMORY 574.64 291.62 None thin002_power.oepc.line675.yml OUT OF MEMORY 799.69 403.55 None thin002_power.oepc.line791.yml OUT OF MEMORY 572.87 296.48 None thin002_power.oepc.line792.yml OUT OF MEMORY 502.02 257.97 None thin002_power.oepc.line810.yml OUT OF MEMORY 727.30 368.01 None thin002_power.oepc.line811.yml OUT OF MEMORY 748.34 378.24 None thin002_power.oepc.line825.yml OUT OF MEMORY 584.97 299.59 None thin002_power.oepc.line826.yml OUT OF MEMORY 715.58 361.06 None thin002_power.opt.line1104.yml true 156.89 91.34 None thin002_power.opt.line1105.yml true 162.89 96.22 None thin002_power.opt.line1132.yml true 153.21 89.45 None thin002_power.opt.line1133.yml true 168.71 99.54 None thin002_power.opt.line1160.yml true 162.73 99.66 None thin002_power.opt.line1161.yml true 163.72 96.34 None thin002_power.opt.line1188.yml true 307.84 179.30 None thin002_power.opt.line1189.yml OUT OF MEMORY 252.00 139.32 None thin002_power.opt.line1222.yml OUT OF MEMORY 702.83 366.05 None thin002_power.opt.line1223.yml OUT OF MEMORY 639.66 329.86 None thin002_power.opt.line1237.yml OUT OF MEMORY 611.77 312.20 None thin002_power.opt.line1238.yml OUT OF MEMORY 726.28 375.52 None thin002_power.opt.line1285.yml OUT OF MEMORY 670.00 348.57 None thin002_power.opt.line1286.yml OUT OF MEMORY 636.92 327.88 None thin002_power.opt.line399.yml OUT OF MEMORY 426.02 309.20 None thin002_power.opt.line400.yml TIMEOUT 902.16 640.93 None thin002_power.opt.line414.yml false(unreach-call) 223.95 126.58 None thin002_power.opt.line415.yml false(unreach-call) 183.33 106.19 None thin002_power.opt.line538.yml OUT OF MEMORY 464.69 251.52 None thin002_power.opt.line539.yml TIMEOUT 905.06 478.75 None thin002_power.opt.line553.yml OUT OF MEMORY 485.05 264.45 None thin002_power.opt.line554.yml TIMEOUT 914.52 486.84 None thin002_power.opt.line570.yml OUT OF MEMORY 462.11 279.39 None thin002_power.opt.line571.yml TIMEOUT 900.84 519.13 None thin002_power.opt.line602.yml OUT OF MEMORY 355.05 210.40 None thin002_power.opt.line603.yml OUT OF MEMORY 509.09 277.47 None thin002_power.opt.line623.yml OUT OF MEMORY 365.22 208.61 None thin002_power.opt.line624.yml TIMEOUT 921.23 500.13 None thin002_power.opt.line837.yml OUT OF MEMORY 381.81 216.86 None thin002_power.opt.line838.yml OUT OF MEMORY 788.43 421.14 None thin002_power.opt.line852.yml TIMEOUT 911.66 486.59 None thin002_power.opt.line853.yml OUT OF MEMORY 829.03 441.23 None thin002_power.opt.line865.yml TIMEOUT 909.24 485.09 None thin002_power.opt.line866.yml OUT OF MEMORY 579.32 314.75 None thin002_power.opt.line892.yml OUT OF MEMORY 676.99 359.49 None thin002_power.opt.line893.yml OUT OF MEMORY 767.75 410.15 None thin002_power.opt.line907.yml TIMEOUT 921.23 499.93 None thin002_power.opt.line908.yml OUT OF MEMORY 526.79 288.04 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line409.yml true 38.10 24.08 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line410.yml true 38.45 23.75 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line437.yml true 36.66 23.17 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line438.yml true 36.25 23.34 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line465.yml true 49.98 29.64 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line466.yml true 38.55 24.03 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line493.yml true 70.97 43.93 None thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.line494.yml true 61.19 38.62 None thin002_rmo.line1043.yml OUT OF MEMORY 678.07 346.46 None thin002_rmo.line1044.yml OUT OF MEMORY 865.94 437.09 None thin002_rmo.line325.yml OUT OF MEMORY 391.64 200.21 None thin002_rmo.line326.yml false(unreach-call) 590.25 304.14 None thin002_rmo.line338.yml OUT OF MEMORY 395.03 208.91 None thin002_rmo.line339.yml OUT OF MEMORY 414.74 212.70 None thin002_rmo.line358.yml OUT OF MEMORY 429.03 220.03 None thin002_rmo.line359.yml OUT OF MEMORY 417.64 222.46 None thin002_rmo.line486.yml OUT OF MEMORY 563.89 287.37 None thin002_rmo.line487.yml OUT OF MEMORY 389.45 198.08 None thin002_rmo.line501.yml OUT OF MEMORY 428.71 223.10 None thin002_rmo.line502.yml OUT OF MEMORY 520.78 264.92 None thin002_rmo.line514.yml OUT OF MEMORY 435.03 224.18 None thin002_rmo.line515.yml OUT OF MEMORY 426.33 217.84 None thin002_rmo.line631.yml OUT OF MEMORY 382.82 200.91 None thin002_rmo.line632.yml OUT OF MEMORY 406.54 206.73 None thin002_rmo.line650.yml OUT OF MEMORY 413.49 213.58 None thin002_rmo.line651.yml OUT OF MEMORY 555.55 284.07 None thin002_rmo.line665.yml OUT OF MEMORY 415.08 210.71 None thin002_rmo.line666.yml OUT OF MEMORY 370.92 200.09 None thin002_rmo.line862.yml OUT OF MEMORY 407.63 212.03 None thin002_rmo.line863.yml OUT OF MEMORY 440.23 228.26 None thin002_rmo.line890.yml OUT OF MEMORY 382.69 196.34 None thin002_rmo.line891.yml OUT OF MEMORY 540.27 275.35 None thin002_rmo.line918.yml OUT OF MEMORY 418.10 216.14 None thin002_rmo.line919.yml OUT OF MEMORY 526.61 267.95 None thin002_rmo.line946.yml OUT OF MEMORY 348.87 181.01 None thin002_rmo.line947.yml OUT OF MEMORY 474.88 241.44 None thin002_rmo.line980.yml OUT OF MEMORY 603.88 310.47 None thin002_rmo.line981.yml OUT OF MEMORY 601.70 304.85 None thin002_rmo.line995.yml OUT OF MEMORY 612.27 312.46 None thin002_rmo.line996.yml OUT OF MEMORY 586.83 302.01 None time_var_mutex.line421.yml true 6.73 4.46 None time_var_mutex.line422.yml true 7.51 5.01 None time_var_mutex.line436.yml true 7.25 5.48 None time_var_mutex.line437.yml true 6.86 4.52 None time_var_mutex.line448.yml true 8.08 5.48 None time_var_mutex.line449.yml true 7.88 5.08 None time_var_mutex.line460.yml true 9.11 5.92 None time_var_mutex.line461.yml true 8.73 5.53 None triangular-1.line331.yml true 5.90 4.45 None triangular-1.line332.yml true 6.73 4.90 None triangular-1.line346.yml true 6.28 4.76 None triangular-1.line347.yml true 6.15 4.22 None triangular-2.line331.yml true 5.99 4.27 None triangular-2.line332.yml true 6.79 4.65 None triangular-2.line346.yml true 5.99 4.60 None triangular-2.line347.yml true 6.43 4.29 None triangular-longer-1.line331.yml true 6.09 4.32 None triangular-longer-1.line332.yml true 6.69 4.77 None triangular-longer-1.line346.yml true 5.89 4.00 None triangular-longer-1.line347.yml true 6.19 4.61 None triangular-longer-2.line331.yml true 5.91 4.23 None triangular-longer-2.line332.yml true 6.77 4.73 None triangular-longer-2.line346.yml true 6.23 4.06 None triangular-longer-2.line347.yml true 6.56 4.81 None triangular-longest-1.line331.yml true 5.88 4.23 None triangular-longest-1.line332.yml true 6.23 4.22 None triangular-longest-1.line346.yml true 6.19 4.42 None triangular-longest-1.line347.yml true 6.03 4.27 None triangular-longest-2.line331.yml true 6.15 4.41 None triangular-longest-2.line332.yml true 6.36 4.33 None triangular-longest-2.line346.yml true 6.16 4.34 None triangular-longest-2.line347.yml true 6.21 4.32 None ---------------------------------------------------------------------------------------------------------------------- Run set 3 done 78636.02 3288.08 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk01 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk01 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk01 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk01 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk01 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk01 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk01 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk01 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk01 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk01 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk01 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk01 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk01 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk01 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk01 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk01 Run set 19 of 19: skipped Statistics: 900 Files correct: 548 correct true: 548 correct false: 0 incorrect: 27 incorrect true: 0 incorrect false: 27 unknown: 325 Score: 664 (max: 1800)