BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk13, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk13, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk13 date: Fri, 2022-10-21 11:30:41 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-chunk13 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 ------------------------------------------------------------------------------------------------------------------------------------------ race-1_1-join.line1002.yml true 6.29 4.55 None race-1_1-join.line1003.yml true 6.20 4.36 None race-1_1-join.line1059.yml true 8.71 5.19 None race-1_1-join.line1060.yml true 7.06 4.58 None race-1_1-join.line1071.yml true 6.73 4.67 None race-1_1-join.line1072.yml true 6.27 4.38 None race-1_2-join.line1002.yml true 7.75 4.75 None race-1_2-join.line1003.yml true 7.84 4.82 None race-1_2-join.line1080.yml true 8.64 5.19 None race-1_2-join.line1081.yml true 7.30 4.56 None race-1_2-join.line1092.yml true 6.26 4.40 None race-1_2-join.line1093.yml true 6.76 4.68 None race-1_2b-join.line1002.yml true 5.96 4.10 None race-1_2b-join.line1003.yml true 6.49 3.93 None race-1_2b-join.line1072.yml true 6.57 4.16 None race-1_2b-join.line1073.yml true 7.03 4.72 None race-1_2b-join.line1084.yml true 6.25 4.42 None race-1_2b-join.line1085.yml true 6.30 4.45 None race-1_3-join.line1002.yml true 6.61 4.53 None race-1_3-join.line1003.yml true 6.56 4.33 None race-1_3-join.line1080.yml true 7.00 4.41 None race-1_3-join.line1081.yml true 7.62 4.76 None race-1_3-join.line1092.yml true 6.65 4.71 None race-1_3-join.line1093.yml true 6.69 4.50 None race-1_3b-join.line1002.yml true 7.68 4.62 None race-1_3b-join.line1003.yml true 8.03 4.76 None race-1_3b-join.line1072.yml true 8.96 5.28 None race-1_3b-join.line1073.yml true 8.97 5.33 None race-1_3b-join.line1084.yml true 6.14 4.00 None race-1_3b-join.line1085.yml true 6.68 4.67 None race-4_1-thread_local_vars.line1015.yml false(unreach-call) 41.54 27.09 None race-4_1-thread_local_vars.line1016.yml false(unreach-call) 65.32 43.27 None race-4_1-thread_local_vars.line1027.yml false(unreach-call) 33.93 21.37 None race-4_1-thread_local_vars.line1028.yml false(unreach-call) 37.64 21.46 None race-4_1-thread_local_vars.line1299.yml true 24.62 15.21 None race-4_1-thread_local_vars.line1300.yml true 22.66 15.37 None race-4_1-thread_local_vars.line1356.yml false(unreach-call) 9.18 5.32 None race-4_1-thread_local_vars.line1357.yml false(unreach-call) 9.39 5.48 None race-4_1-thread_local_vars.line1368.yml false(unreach-call) 56.70 35.16 None race-4_1-thread_local_vars.line1369.yml false(unreach-call) 55.96 32.59 None race-4_1-thread_local_vars.line950.yml false(unreach-call) 44.56 25.26 None race-4_1-thread_local_vars.line951.yml false(unreach-call) 43.27 24.44 None race-4_2-thread_local_vars.line1028.yml false(unreach-call) 41.76 26.03 None race-4_2-thread_local_vars.line1029.yml false(unreach-call) 62.07 41.93 None race-4_2-thread_local_vars.line1040.yml false(unreach-call) 35.66 21.62 None race-4_2-thread_local_vars.line1041.yml false(unreach-call) 36.49 23.31 None race-4_2-thread_local_vars.line1312.yml true 28.10 17.56 None race-4_2-thread_local_vars.line1313.yml true 26.07 16.45 None race-4_2-thread_local_vars.line1369.yml false(unreach-call) 9.61 5.74 None race-4_2-thread_local_vars.line1370.yml false(unreach-call) 9.69 5.56 None race-4_2-thread_local_vars.line1381.yml false(unreach-call) 143.77 92.35 None race-4_2-thread_local_vars.line1382.yml false(unreach-call) 130.04 82.19 None race-4_2-thread_local_vars.line950.yml false(unreach-call) 35.01 22.52 None race-4_2-thread_local_vars.line951.yml false(unreach-call) 33.12 20.54 None read_write_lock-1.line375.yml true 11.68 7.81 None read_write_lock-1.line376.yml true 11.73 7.45 None read_write_lock-1.line390.yml true 10.91 7.31 None read_write_lock-1.line391.yml true 12.18 7.47 None read_write_lock-1.line405.yml true 11.36 7.91 None read_write_lock-1.line406.yml true 12.62 8.18 None read_write_lock-1.line420.yml true 18.36 11.04 None read_write_lock-1.line421.yml true 13.95 9.01 None read_write_lock-1.line432.yml true 75.59 47.39 None read_write_lock-1.line433.yml true 89.22 53.12 None read_write_lock-1.line444.yml OUT OF MEMORY 533.01 301.45 None read_write_lock-1.line445.yml OUT OF MEMORY 546.44 301.14 None read_write_lock-1.line456.yml true 384.28 219.38 None read_write_lock-1.line457.yml true 402.26 232.58 None read_write_lock-1.line468.yml true 398.27 230.47 None read_write_lock-1.line469.yml true 477.61 266.15 None read_write_lock-1b.line347.yml true 8.28 5.63 None read_write_lock-1b.line348.yml true 8.85 6.25 None read_write_lock-1b.line362.yml true 8.40 5.69 None read_write_lock-1b.line363.yml true 8.98 6.16 None read_write_lock-1b.line377.yml true 8.76 5.86 None read_write_lock-1b.line378.yml true 8.50 5.84 None read_write_lock-1b.line392.yml true 8.67 5.88 None read_write_lock-1b.line393.yml true 8.88 6.24 None read_write_lock-1b.line404.yml true 12.98 8.35 None read_write_lock-1b.line405.yml true 12.83 8.81 None read_write_lock-1b.line416.yml true 25.52 16.97 None read_write_lock-1b.line417.yml true 24.39 18.19 None read_write_lock-1b.line428.yml true 23.58 15.51 None read_write_lock-1b.line429.yml true 23.05 15.66 None read_write_lock-1b.line440.yml true 23.31 15.55 None read_write_lock-1b.line441.yml true 25.22 16.37 None read_write_lock-2.line379.yml true 15.80 10.96 None read_write_lock-2.line380.yml true 15.94 10.61 None read_write_lock-2.line394.yml true 15.68 10.60 None read_write_lock-2.line395.yml true 21.61 12.82 None read_write_lock-2.line409.yml true 16.06 11.63 None read_write_lock-2.line410.yml true 17.22 10.92 None read_write_lock-2.line424.yml true 21.79 14.31 None read_write_lock-2.line425.yml true 22.76 14.69 None read_write_lock-2.line436.yml true 303.09 171.20 None read_write_lock-2.line437.yml true 371.68 205.15 None read_write_lock-2.line448.yml OUT OF MEMORY 587.93 332.53 None read_write_lock-2.line449.yml OUT OF MEMORY 575.38 309.78 None read_write_lock-2.line460.yml OUT OF MEMORY 513.46 282.70 None read_write_lock-2.line461.yml OUT OF MEMORY 722.17 380.95 None read_write_lock-2.line472.yml OUT OF MEMORY 545.56 302.94 None read_write_lock-2.line473.yml OUT OF MEMORY 648.17 346.08 None read_write_lock-2b.line343.yml true 8.86 6.50 None read_write_lock-2b.line344.yml true 9.74 6.66 None read_write_lock-2b.line358.yml true 7.93 5.52 None read_write_lock-2b.line359.yml true 9.03 6.21 None read_write_lock-2b.line373.yml true 8.16 5.98 None read_write_lock-2b.line374.yml true 8.52 6.32 None read_write_lock-2b.line388.yml true 9.29 6.11 None read_write_lock-2b.line389.yml true 9.12 7.36 None read_write_lock-2b.line400.yml true 14.15 10.18 None read_write_lock-2b.line401.yml true 14.73 9.97 None read_write_lock-2b.line412.yml true 27.36 17.93 None read_write_lock-2b.line413.yml true 27.37 18.86 None read_write_lock-2b.line424.yml true 26.31 18.56 None read_write_lock-2b.line425.yml true 25.46 18.33 None read_write_lock-2b.line436.yml true 26.21 17.05 None read_write_lock-2b.line437.yml true 25.60 17.57 None reorder_c11_bad-10.line340.yml OUT OF MEMORY 537.93 305.12 None reorder_c11_bad-10.line341.yml OUT OF MEMORY 498.35 293.16 None reorder_c11_bad-10.line366.yml OUT OF MEMORY 322.71 198.49 None reorder_c11_bad-10.line367.yml OUT OF MEMORY 647.09 355.02 None reorder_c11_bad-10.line389.yml OUT OF MEMORY 426.98 242.60 None reorder_c11_bad-10.line390.yml OUT OF MEMORY 461.90 264.23 None reorder_c11_bad-10.line412.yml OUT OF MEMORY 439.30 247.17 None reorder_c11_bad-10.line413.yml OUT OF MEMORY 449.94 262.06 None reorder_c11_bad-20.line340.yml OUT OF MEMORY 438.15 258.56 None reorder_c11_bad-20.line341.yml OUT OF MEMORY 501.94 293.17 None reorder_c11_bad-20.line366.yml OUT OF MEMORY 323.73 193.29 None reorder_c11_bad-20.line367.yml OUT OF MEMORY 396.51 247.86 None reorder_c11_bad-20.line389.yml OUT OF MEMORY 620.62 338.19 None reorder_c11_bad-20.line390.yml OUT OF MEMORY 547.79 303.79 None reorder_c11_bad-20.line412.yml OUT OF MEMORY 420.25 241.08 None reorder_c11_bad-20.line413.yml OUT OF MEMORY 213.93 127.89 None reorder_c11_bad-30.line340.yml OUT OF MEMORY 366.86 213.97 None reorder_c11_bad-30.line341.yml OUT OF MEMORY 412.88 249.10 None reorder_c11_bad-30.line366.yml OUT OF MEMORY 404.89 238.54 None reorder_c11_bad-30.line367.yml OUT OF MEMORY 451.22 260.44 None reorder_c11_bad-30.line389.yml OUT OF MEMORY 424.66 239.32 None reorder_c11_bad-30.line390.yml OUT OF MEMORY 541.83 304.65 None reorder_c11_bad-30.line412.yml OUT OF MEMORY 526.42 298.04 None reorder_c11_bad-30.line413.yml OUT OF MEMORY 495.29 277.54 None reorder_c11_bad-40.line340.yml OUT OF MEMORY 529.14 312.46 None reorder_c11_bad-40.line341.yml OUT OF MEMORY 424.26 249.25 None reorder_c11_bad-40.line366.yml OUT OF MEMORY 343.68 209.53 None reorder_c11_bad-40.line367.yml OUT OF MEMORY 439.53 252.83 None reorder_c11_bad-40.line389.yml OUT OF MEMORY 668.42 358.17 None reorder_c11_bad-40.line390.yml OUT OF MEMORY 370.32 214.42 None reorder_c11_bad-40.line412.yml OUT OF MEMORY 554.98 303.26 None reorder_c11_bad-40.line413.yml OUT OF MEMORY 504.01 289.96 None reorder_c11_bad-50.line340.yml OUT OF MEMORY 218.15 134.41 None reorder_c11_bad-50.line341.yml OUT OF MEMORY 396.33 236.09 None reorder_c11_bad-50.line366.yml OUT OF MEMORY 415.62 245.86 None reorder_c11_bad-50.line367.yml OUT OF MEMORY 427.43 247.24 None reorder_c11_bad-50.line389.yml OUT OF MEMORY 647.98 353.00 None reorder_c11_bad-50.line390.yml OUT OF MEMORY 425.32 243.27 None reorder_c11_bad-50.line412.yml OUT OF MEMORY 670.27 366.01 None reorder_c11_bad-50.line413.yml OUT OF MEMORY 475.59 271.40 None reorder_c11_good-10.line340.yml OUT OF MEMORY 412.17 241.87 None reorder_c11_good-10.line341.yml OUT OF MEMORY 422.00 257.08 None reorder_c11_good-10.line366.yml OUT OF MEMORY 309.70 178.00 None reorder_c11_good-10.line367.yml OUT OF MEMORY 390.10 212.86 None reorder_c11_good-10.line389.yml OUT OF MEMORY 454.91 243.00 None reorder_c11_good-10.line390.yml OUT OF MEMORY 530.75 287.36 None reorder_c11_good-10.line412.yml OUT OF MEMORY 565.35 306.71 None reorder_c11_good-10.line413.yml OUT OF MEMORY 437.01 244.80 None reorder_c11_good-20.line340.yml OUT OF MEMORY 511.50 281.55 None reorder_c11_good-20.line341.yml OUT OF MEMORY 427.46 245.81 None reorder_c11_good-20.line366.yml OUT OF MEMORY 270.85 155.88 None reorder_c11_good-20.line367.yml OUT OF MEMORY 497.97 278.55 None reorder_c11_good-20.line389.yml OUT OF MEMORY 525.19 287.03 None reorder_c11_good-20.line390.yml OUT OF MEMORY 376.70 213.95 None reorder_c11_good-20.line412.yml OUT OF MEMORY 453.78 242.08 None reorder_c11_good-20.line413.yml OUT OF MEMORY 432.51 261.74 None reorder_c11_good-30.line340.yml OUT OF MEMORY 449.00 248.62 None reorder_c11_good-30.line341.yml OUT OF MEMORY 526.34 292.77 None reorder_c11_good-30.line366.yml OUT OF MEMORY 273.34 154.30 None reorder_c11_good-30.line367.yml OUT OF MEMORY 383.29 212.12 None reorder_c11_good-30.line389.yml OUT OF MEMORY 502.34 268.80 None reorder_c11_good-30.line390.yml OUT OF MEMORY 502.82 274.99 None reorder_c11_good-30.line412.yml OUT OF MEMORY 471.15 257.64 None reorder_c11_good-30.line413.yml OUT OF MEMORY 418.03 237.54 None reorder_c11_good-40.line340.yml OUT OF MEMORY 425.26 244.04 None reorder_c11_good-40.line341.yml OUT OF MEMORY 509.90 281.84 None reorder_c11_good-40.line366.yml OUT OF MEMORY 326.72 183.50 None reorder_c11_good-40.line367.yml OUT OF MEMORY 382.77 213.98 None reorder_c11_good-40.line389.yml OUT OF MEMORY 470.67 251.51 None reorder_c11_good-40.line390.yml OUT OF MEMORY 400.40 226.10 None reorder_c11_good-40.line412.yml OUT OF MEMORY 493.42 289.85 None reorder_c11_good-40.line413.yml OUT OF MEMORY 506.35 278.78 None reorder_c11_good-50.line340.yml OUT OF MEMORY 346.47 194.22 None reorder_c11_good-50.line341.yml OUT OF MEMORY 476.99 302.59 None reorder_c11_good-50.line366.yml OUT OF MEMORY 310.45 178.12 None reorder_c11_good-50.line367.yml OUT OF MEMORY 487.66 275.72 None reorder_c11_good-50.line389.yml OUT OF MEMORY 593.85 320.75 None reorder_c11_good-50.line390.yml OUT OF MEMORY 428.25 252.51 None reorder_c11_good-50.line412.yml OUT OF MEMORY 627.74 385.92 None reorder_c11_good-50.line413.yml OUT OF MEMORY 365.64 222.66 None rfi000_power.oepc_pso.oepc_rmo.oepc.line857.yml true 6.95 4.55 None rfi000_power.oepc_pso.oepc_rmo.oepc.line858.yml true 7.13 4.72 None rfi000_power.oepc_pso.oepc_rmo.oepc.line885.yml true 6.97 4.56 None rfi000_power.oepc_pso.oepc_rmo.oepc.line886.yml true 7.00 4.65 None rfi000_power.opt_pso.opt_rmo.opt.line529.yml true 6.31 4.28 None rfi000_power.opt_pso.opt_rmo.opt.line530.yml true 6.35 4.28 None rfi000_power.opt_pso.opt_rmo.opt.line557.yml true 6.62 4.44 None rfi000_power.opt_pso.opt_rmo.opt.line558.yml true 9.05 5.51 None rfi000_tso.line857.yml true 7.06 4.66 None rfi000_tso.line858.yml true 9.45 5.70 None rfi000_tso.line885.yml true 6.84 4.52 None rfi000_tso.line886.yml true 7.18 4.72 None rfi001_power.oepc_pso.oepc_rmo.oepc.line673.yml true 8.26 5.23 None rfi001_power.oepc_pso.oepc_rmo.oepc.line674.yml true 6.35 4.52 None rfi001_power.oepc_pso.oepc_rmo.oepc.line701.yml true 6.98 4.57 None rfi001_power.oepc_pso.oepc_rmo.oepc.line702.yml true 6.81 4.54 None rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line532.yml true 7.97 5.04 None rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line533.yml true 6.37 4.47 None rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line560.yml true 7.07 4.41 None rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line561.yml true 5.95 4.08 None rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line911.yml true 8.91 5.46 None rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line912.yml true 6.95 4.68 None rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line939.yml true 7.84 5.11 None rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line940.yml true 7.72 5.01 None rfi002_tso.line1189.yml true 8.50 5.35 None rfi002_tso.line1190.yml true 7.64 5.07 None rfi002_tso.line1217.yml true 10.92 6.36 None rfi002_tso.line1218.yml true 7.92 7.03 None rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line630.yml true 6.65 4.48 None rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line631.yml true 7.80 4.99 None rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line658.yml true 7.10 7.63 None rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line659.yml true 9.42 5.71 None rfi003_tso.line911.yml true 7.78 4.89 None rfi003_tso.line912.yml true 7.30 5.98 None rfi003_tso.line939.yml true 8.25 5.37 None rfi003_tso.line940.yml true 7.68 5.03 None rfi004.line633.yml true 8.11 5.10 None rfi004.line634.yml true 6.99 5.40 None rfi004.line661.yml true 7.94 5.17 None rfi004.line662.yml true 7.32 5.70 None rfi005.line836.yml true 7.60 4.92 None rfi005.line837.yml true 9.27 5.77 None rfi005.line864.yml true 7.25 7.02 None rfi005.line865.yml true 8.73 5.56 None rfi006_power.oepc.line1012.yml OUT OF MEMORY 589.44 406.32 None rfi006_power.oepc.line1013.yml OUT OF MEMORY 475.87 257.93 None rfi006_power.oepc.line1199.yml true 191.83 106.23 None rfi006_power.oepc.line1200.yml true 157.53 99.56 None rfi006_power.oepc.line1227.yml true 165.77 95.59 None rfi006_power.oepc.line1228.yml true 199.45 133.82 None rfi006_power.oepc.line1255.yml true 313.21 275.85 None rfi006_power.oepc.line1256.yml true 313.55 185.39 None rfi006_power.oepc.line1289.yml OUT OF MEMORY 649.49 342.75 None rfi006_power.oepc.line1290.yml OUT OF MEMORY 570.70 324.82 None rfi006_power.oepc.line1304.yml OUT OF MEMORY 855.94 441.98 None rfi006_power.oepc.line1305.yml OUT OF MEMORY 499.97 274.52 None rfi006_power.oepc.line1352.yml TIMEOUT 921.38 563.00 None rfi006_power.oepc.line1353.yml OUT OF MEMORY 598.74 322.18 None rfi006_power.oepc.line331.yml false(unreach-call) 159.55 90.61 None rfi006_power.oepc.line332.yml false(unreach-call) 194.01 123.78 None rfi006_power.oepc.line346.yml false(unreach-call) 163.65 94.55 None rfi006_power.oepc.line347.yml false(unreach-call) 158.21 89.24 None rfi006_power.oepc.line363.yml OUT OF MEMORY 858.65 505.32 None rfi006_power.oepc.line364.yml OUT OF MEMORY 892.38 516.28 None rfi006_power.oepc.line395.yml TIMEOUT 903.24 588.44 None rfi006_power.oepc.line396.yml TIMEOUT 902.37 545.58 None rfi006_power.oepc.line416.yml false(unreach-call) 162.14 91.70 None rfi006_power.oepc.line417.yml false(unreach-call) 159.38 131.46 None rfi006_power.oepc.line630.yml false(unreach-call) 159.45 92.99 None rfi006_power.oepc.line631.yml false(unreach-call) 162.83 92.49 None rfi006_power.oepc.line645.yml false(unreach-call) 151.58 85.87 None rfi006_power.oepc.line646.yml false(unreach-call) 159.16 94.46 None rfi006_power.oepc.line658.yml false(unreach-call) 161.37 91.97 None rfi006_power.oepc.line659.yml false(unreach-call) 160.04 91.03 None rfi006_power.oepc.line744.yml false(unreach-call) 159.27 89.74 None rfi006_power.oepc.line745.yml false(unreach-call) 159.15 100.57 None rfi006_power.oepc.line757.yml false(unreach-call) 169.71 97.53 None rfi006_power.oepc.line758.yml false(unreach-call) 164.32 96.05 None rfi006_power.oepc.line777.yml false(unreach-call) 153.11 87.33 None rfi006_power.oepc.line778.yml false(unreach-call) 161.30 92.58 None rfi006_power.oepc.line903.yml false(unreach-call) 159.15 92.46 None rfi006_power.oepc.line904.yml false(unreach-call) 164.80 102.21 None rfi006_power.oepc.line918.yml false(unreach-call) 242.99 139.46 None rfi006_power.oepc.line919.yml false(unreach-call) 231.05 170.38 None rfi006_power.oepc.line931.yml false(unreach-call) 203.29 112.21 None rfi006_power.oepc.line932.yml false(unreach-call) 176.91 101.62 None rfi006_power.oepc.line978.yml OUT OF MEMORY 596.54 386.46 None rfi006_power.oepc.line979.yml OUT OF MEMORY 716.31 391.09 None rfi006_power.oepc.line997.yml OUT OF MEMORY 572.10 324.81 None rfi006_power.oepc.line998.yml OUT OF MEMORY 599.49 319.08 None rfi006_power.opt.line1010.yml OUT OF MEMORY 594.90 333.23 None rfi006_power.opt.line1011.yml OUT OF MEMORY 874.22 471.90 None rfi006_power.opt.line1025.yml OUT OF MEMORY 491.50 261.39 None rfi006_power.opt.line1026.yml TIMEOUT 902.45 505.68 None rfi006_power.opt.line1212.yml true 189.35 122.55 None rfi006_power.opt.line1213.yml true 157.37 135.30 None rfi006_power.opt.line1240.yml true 163.70 92.79 None rfi006_power.opt.line1241.yml true 155.66 88.22 None rfi006_power.opt.line1268.yml true 359.83 241.99 None rfi006_power.opt.line1269.yml true 364.17 223.13 None rfi006_power.opt.line1302.yml OUT OF MEMORY 617.46 333.11 None rfi006_power.opt.line1303.yml OUT OF MEMORY 580.03 387.58 None ------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 67680.37 3019.38 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk13 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 ------------------------------------------------------------------------------------------------------------------------------------------ race-1_1-join.line1002.yml true 6.76 4.74 None race-1_1-join.line1003.yml true 6.35 4.93 None race-1_1-join.line1059.yml true 8.76 5.22 None race-1_1-join.line1060.yml true 7.56 4.72 None race-1_1-join.line1071.yml true 6.82 4.81 None race-1_1-join.line1072.yml true 6.58 4.93 None race-1_2-join.line1002.yml true 8.22 4.81 None race-1_2-join.line1003.yml true 8.59 5.04 None race-1_2-join.line1080.yml true 8.87 6.98 None race-1_2-join.line1081.yml true 7.63 4.77 None race-1_2-join.line1092.yml true 6.92 4.58 None race-1_2-join.line1093.yml true 6.90 4.63 None race-1_2b-join.line1002.yml true 6.11 4.13 None race-1_2b-join.line1003.yml true 6.80 4.15 None race-1_2b-join.line1072.yml true 6.50 5.13 None race-1_2b-join.line1073.yml true 7.00 4.39 None race-1_2b-join.line1084.yml true 6.97 4.69 None race-1_2b-join.line1085.yml true 7.19 4.99 None race-1_3-join.line1002.yml true 6.58 4.21 None race-1_3-join.line1003.yml true 6.35 4.88 None race-1_3-join.line1080.yml true 7.70 4.78 None race-1_3-join.line1081.yml true 7.46 5.04 None race-1_3-join.line1092.yml true 8.54 5.20 None race-1_3-join.line1093.yml true 7.24 4.88 None race-1_3b-join.line1002.yml true 6.40 5.15 None race-1_3b-join.line1003.yml true 7.85 4.87 None race-1_3b-join.line1072.yml true 8.84 5.24 None race-1_3b-join.line1073.yml true 9.23 6.55 None race-1_3b-join.line1084.yml true 6.39 6.41 None race-1_3b-join.line1085.yml true 7.37 4.68 None race-4_1-thread_local_vars.line1015.yml false(unreach-call) 44.85 28.38 None race-4_1-thread_local_vars.line1016.yml false(unreach-call) 63.70 44.45 None race-4_1-thread_local_vars.line1027.yml false(unreach-call) 33.27 22.07 None race-4_1-thread_local_vars.line1028.yml false(unreach-call) 35.31 21.61 None race-4_1-thread_local_vars.line1299.yml true 26.50 17.05 None race-4_1-thread_local_vars.line1300.yml true 23.46 15.82 None race-4_1-thread_local_vars.line1356.yml false(unreach-call) 9.91 5.67 None race-4_1-thread_local_vars.line1357.yml false(unreach-call) 11.75 8.73 None race-4_1-thread_local_vars.line1368.yml false(unreach-call) 59.32 40.13 None race-4_1-thread_local_vars.line1369.yml false(unreach-call) 42.75 38.10 None race-4_1-thread_local_vars.line950.yml false(unreach-call) 45.96 26.02 None race-4_1-thread_local_vars.line951.yml false(unreach-call) 41.84 28.38 None race-4_2-thread_local_vars.line1028.yml false(unreach-call) 44.48 26.54 None race-4_2-thread_local_vars.line1029.yml false(unreach-call) 61.77 44.64 None race-4_2-thread_local_vars.line1040.yml false(unreach-call) 35.98 22.18 None race-4_2-thread_local_vars.line1041.yml false(unreach-call) 46.65 30.41 None race-4_2-thread_local_vars.line1312.yml true 24.48 17.24 None race-4_2-thread_local_vars.line1313.yml true 27.12 17.24 None race-4_2-thread_local_vars.line1369.yml false(unreach-call) 9.56 5.56 None race-4_2-thread_local_vars.line1370.yml false(unreach-call) 9.74 5.91 None race-4_2-thread_local_vars.line1381.yml false(unreach-call) 128.16 85.12 None race-4_2-thread_local_vars.line1382.yml false(unreach-call) 108.37 76.03 None race-4_2-thread_local_vars.line950.yml false(unreach-call) 38.36 24.72 None race-4_2-thread_local_vars.line951.yml false(unreach-call) 37.01 21.59 None read_write_lock-1.line375.yml true 11.39 7.94 None read_write_lock-1.line376.yml true 12.03 7.81 None read_write_lock-1.line390.yml true 14.62 12.20 None read_write_lock-1.line391.yml true 12.37 8.37 None read_write_lock-1.line405.yml true 12.10 8.62 None read_write_lock-1.line406.yml true 11.73 8.63 None read_write_lock-1.line420.yml true 13.59 13.98 None read_write_lock-1.line421.yml true 15.47 9.30 None read_write_lock-1.line432.yml true 84.44 63.97 None read_write_lock-1.line433.yml true 85.46 58.32 None read_write_lock-1.line444.yml OUT OF MEMORY 746.75 418.86 None read_write_lock-1.line445.yml OUT OF MEMORY 532.34 310.35 None read_write_lock-1.line456.yml true 353.58 210.27 None read_write_lock-1.line457.yml true 437.13 269.03 None read_write_lock-1.line468.yml true 363.70 219.58 None read_write_lock-1.line469.yml true 350.04 206.84 None read_write_lock-1b.line347.yml true 8.07 5.61 None read_write_lock-1b.line348.yml true 8.78 5.93 None read_write_lock-1b.line362.yml true 7.95 6.04 None read_write_lock-1b.line363.yml true 8.94 6.28 None read_write_lock-1b.line377.yml true 8.52 5.96 None read_write_lock-1b.line378.yml true 8.53 7.63 None read_write_lock-1b.line392.yml true 9.41 11.20 None read_write_lock-1b.line393.yml true 9.83 7.05 None read_write_lock-1b.line404.yml true 14.03 9.42 None read_write_lock-1b.line405.yml true 13.59 11.66 None read_write_lock-1b.line416.yml true 29.41 21.97 None read_write_lock-1b.line417.yml true 27.22 25.68 None read_write_lock-1b.line428.yml true 22.90 16.78 None read_write_lock-1b.line429.yml true 25.29 20.56 None read_write_lock-1b.line440.yml true 23.34 16.91 None read_write_lock-1b.line441.yml true 26.80 18.73 None read_write_lock-2.line379.yml true 15.22 15.62 None read_write_lock-2.line380.yml true 15.89 13.87 None read_write_lock-2.line394.yml true 19.25 14.00 None read_write_lock-2.line395.yml true 17.69 11.40 None read_write_lock-2.line409.yml true 22.89 17.36 None read_write_lock-2.line410.yml true 17.28 11.45 None read_write_lock-2.line424.yml true 23.82 16.86 None read_write_lock-2.line425.yml true 20.58 17.34 None read_write_lock-2.line436.yml true 308.25 170.71 None read_write_lock-2.line437.yml true 246.07 156.62 None read_write_lock-2.line448.yml OUT OF MEMORY 762.56 414.48 None read_write_lock-2.line449.yml OUT OF MEMORY 658.03 362.59 None read_write_lock-2.line460.yml OUT OF MEMORY 567.23 313.49 None read_write_lock-2.line461.yml OUT OF MEMORY 687.30 374.43 None read_write_lock-2.line472.yml OUT OF MEMORY 509.99 285.89 None read_write_lock-2.line473.yml OUT OF MEMORY 536.21 297.24 None read_write_lock-2b.line343.yml true 8.51 5.93 None read_write_lock-2b.line344.yml true 9.01 6.10 None read_write_lock-2b.line358.yml true 8.13 5.73 None read_write_lock-2b.line359.yml true 9.06 6.09 None read_write_lock-2b.line373.yml true 8.48 6.02 None read_write_lock-2b.line374.yml true 8.77 6.09 None read_write_lock-2b.line388.yml true 8.77 5.95 None read_write_lock-2b.line389.yml true 9.13 6.57 None read_write_lock-2b.line400.yml true 14.09 9.14 None read_write_lock-2b.line401.yml true 13.43 9.29 None read_write_lock-2b.line412.yml true 25.17 17.14 None read_write_lock-2b.line413.yml true 24.79 18.37 None read_write_lock-2b.line424.yml true 24.29 17.45 None read_write_lock-2b.line425.yml true 24.69 17.64 None read_write_lock-2b.line436.yml true 30.97 19.41 None read_write_lock-2b.line437.yml true 23.78 16.19 None reorder_c11_bad-10.line340.yml OUT OF MEMORY 446.94 274.14 None reorder_c11_bad-10.line341.yml OUT OF MEMORY 215.80 143.47 None reorder_c11_bad-10.line366.yml OUT OF MEMORY 358.79 217.55 None reorder_c11_bad-10.line367.yml OUT OF MEMORY 589.79 324.89 None reorder_c11_bad-10.line389.yml OUT OF MEMORY 410.22 236.27 None reorder_c11_bad-10.line390.yml OUT OF MEMORY 538.96 304.30 None reorder_c11_bad-10.line412.yml OUT OF MEMORY 441.53 260.26 None reorder_c11_bad-10.line413.yml OUT OF MEMORY 196.37 127.47 None reorder_c11_bad-20.line340.yml OUT OF MEMORY 266.01 162.05 None reorder_c11_bad-20.line341.yml OUT OF MEMORY 484.05 287.12 None reorder_c11_bad-20.line366.yml OUT OF MEMORY 436.56 259.30 None reorder_c11_bad-20.line367.yml OUT OF MEMORY 436.55 253.77 None reorder_c11_bad-20.line389.yml OUT OF MEMORY 418.25 238.87 None reorder_c11_bad-20.line390.yml OUT OF MEMORY 527.68 297.09 None reorder_c11_bad-20.line412.yml OUT OF MEMORY 440.74 253.96 None reorder_c11_bad-20.line413.yml OUT OF MEMORY 523.64 296.23 None reorder_c11_bad-30.line340.yml OUT OF MEMORY 488.47 285.46 None reorder_c11_bad-30.line341.yml OUT OF MEMORY 235.19 151.18 None reorder_c11_bad-30.line366.yml OUT OF MEMORY 281.71 187.64 None reorder_c11_bad-30.line367.yml OUT OF MEMORY 426.43 244.04 None reorder_c11_bad-30.line389.yml OUT OF MEMORY 455.74 263.37 None reorder_c11_bad-30.line390.yml OUT OF MEMORY 253.92 152.94 None reorder_c11_bad-30.line412.yml OUT OF MEMORY 552.59 305.55 None reorder_c11_bad-30.line413.yml OUT OF MEMORY 214.20 135.39 None reorder_c11_bad-40.line340.yml OUT OF MEMORY 508.16 293.63 None reorder_c11_bad-40.line341.yml OUT OF MEMORY 242.56 154.90 None reorder_c11_bad-40.line366.yml OUT OF MEMORY 285.59 177.28 None reorder_c11_bad-40.line367.yml OUT OF MEMORY 450.11 260.16 None reorder_c11_bad-40.line389.yml OUT OF MEMORY 428.77 263.78 None reorder_c11_bad-40.line390.yml OUT OF MEMORY 541.81 304.07 None reorder_c11_bad-40.line412.yml OUT OF MEMORY 436.53 257.81 None reorder_c11_bad-40.line413.yml OUT OF MEMORY 293.74 176.50 None reorder_c11_bad-50.line340.yml OUT OF MEMORY 542.11 307.34 None reorder_c11_bad-50.line341.yml OUT OF MEMORY 261.42 167.86 None reorder_c11_bad-50.line366.yml OUT OF MEMORY 336.20 208.56 None reorder_c11_bad-50.line367.yml OUT OF MEMORY 455.32 257.36 None reorder_c11_bad-50.line389.yml OUT OF MEMORY 420.84 246.80 None reorder_c11_bad-50.line390.yml OUT OF MEMORY 425.28 251.95 None reorder_c11_bad-50.line412.yml OUT OF MEMORY 405.41 234.76 None reorder_c11_bad-50.line413.yml OUT OF MEMORY 352.91 204.28 None reorder_c11_good-10.line340.yml OUT OF MEMORY 567.63 314.96 None reorder_c11_good-10.line341.yml OUT OF MEMORY 436.27 253.22 None reorder_c11_good-10.line366.yml OUT OF MEMORY 251.96 151.25 None reorder_c11_good-10.line367.yml OUT OF MEMORY 420.55 254.08 None reorder_c11_good-10.line389.yml OUT OF MEMORY 426.65 244.58 None reorder_c11_good-10.line390.yml OUT OF MEMORY 394.89 233.11 None reorder_c11_good-10.line412.yml OUT OF MEMORY 374.03 203.88 None reorder_c11_good-10.line413.yml OUT OF MEMORY 502.88 288.79 None reorder_c11_good-20.line340.yml OUT OF MEMORY 389.17 221.99 None reorder_c11_good-20.line341.yml OUT OF MEMORY 507.28 297.30 None reorder_c11_good-20.line366.yml OUT OF MEMORY 284.69 165.13 None reorder_c11_good-20.line367.yml OUT OF MEMORY 465.39 272.01 None reorder_c11_good-20.line389.yml OUT OF MEMORY 549.64 293.53 None reorder_c11_good-20.line390.yml OUT OF MEMORY 612.59 335.36 None reorder_c11_good-20.line412.yml OUT OF MEMORY 446.01 243.86 None reorder_c11_good-20.line413.yml OUT OF MEMORY 223.71 143.41 None reorder_c11_good-30.line340.yml OUT OF MEMORY 251.36 148.74 None reorder_c11_good-30.line341.yml OUT OF MEMORY 461.40 273.23 None reorder_c11_good-30.line366.yml OUT OF MEMORY 322.58 187.07 None reorder_c11_good-30.line367.yml OUT OF MEMORY 289.70 181.09 None reorder_c11_good-30.line389.yml OUT OF MEMORY 512.28 273.60 None reorder_c11_good-30.line390.yml OUT OF MEMORY 401.11 233.20 None reorder_c11_good-30.line412.yml OUT OF MEMORY 364.92 197.66 None reorder_c11_good-30.line413.yml OUT OF MEMORY 583.34 328.59 None reorder_c11_good-40.line340.yml OUT OF MEMORY 258.74 157.56 None reorder_c11_good-40.line341.yml OUT OF MEMORY 583.08 332.93 None reorder_c11_good-40.line366.yml OUT OF MEMORY 273.58 158.45 None reorder_c11_good-40.line367.yml OUT OF MEMORY 384.05 229.04 None reorder_c11_good-40.line389.yml OUT OF MEMORY 469.29 255.71 None reorder_c11_good-40.line390.yml OUT OF MEMORY 526.60 298.46 None reorder_c11_good-40.line412.yml OUT OF MEMORY 362.29 205.43 None reorder_c11_good-40.line413.yml OUT OF MEMORY 213.15 136.77 None reorder_c11_good-50.line340.yml OUT OF MEMORY 515.24 286.29 None reorder_c11_good-50.line341.yml OUT OF MEMORY 488.26 279.01 None reorder_c11_good-50.line366.yml OUT OF MEMORY 297.43 174.05 None reorder_c11_good-50.line367.yml OUT OF MEMORY 430.18 247.16 None reorder_c11_good-50.line389.yml OUT OF MEMORY 466.67 254.06 None reorder_c11_good-50.line390.yml OUT OF MEMORY 396.55 229.53 None reorder_c11_good-50.line412.yml OUT OF MEMORY 525.26 283.31 None reorder_c11_good-50.line413.yml OUT OF MEMORY 445.64 264.34 None rfi000_power.oepc_pso.oepc_rmo.oepc.line857.yml true 7.55 5.12 None rfi000_power.oepc_pso.oepc_rmo.oepc.line858.yml true 7.43 4.99 None rfi000_power.oepc_pso.oepc_rmo.oepc.line885.yml true 7.38 5.57 None rfi000_power.oepc_pso.oepc_rmo.oepc.line886.yml true 7.50 5.13 None rfi000_power.opt_pso.opt_rmo.opt.line529.yml true 6.44 5.51 None rfi000_power.opt_pso.opt_rmo.opt.line530.yml true 6.59 4.62 None rfi000_power.opt_pso.opt_rmo.opt.line557.yml true 6.68 4.85 None rfi000_power.opt_pso.opt_rmo.opt.line558.yml true 7.08 5.24 None rfi000_tso.line857.yml true 6.93 4.78 None rfi000_tso.line858.yml true 6.87 4.98 None rfi000_tso.line885.yml true 7.76 5.40 None rfi000_tso.line886.yml true 7.29 5.57 None rfi001_power.oepc_pso.oepc_rmo.oepc.line673.yml true 6.38 4.44 None rfi001_power.oepc_pso.oepc_rmo.oepc.line674.yml true 6.74 4.79 None rfi001_power.oepc_pso.oepc_rmo.oepc.line701.yml true 6.71 5.73 None rfi001_power.oepc_pso.oepc_rmo.oepc.line702.yml true 6.97 4.92 None rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line532.yml true 6.54 4.94 None rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line533.yml true 6.70 5.25 None rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line560.yml true 6.99 5.31 None rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line561.yml true 7.63 5.22 None rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line911.yml true 7.46 4.98 None rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line912.yml true 7.36 5.97 None rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line939.yml true 8.07 5.44 None rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line940.yml true 8.28 5.90 None rfi002_tso.line1189.yml true 7.96 5.66 None rfi002_tso.line1190.yml true 9.99 6.05 None rfi002_tso.line1217.yml true 9.25 6.34 None rfi002_tso.line1218.yml true 8.85 6.33 None rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line630.yml true 6.75 4.76 None rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line631.yml true 6.97 5.34 None rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line658.yml true 8.75 5.48 None rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line659.yml true 7.67 5.33 None rfi003_tso.line911.yml true 6.90 5.28 None rfi003_tso.line912.yml true 6.73 5.04 None rfi003_tso.line939.yml true 8.07 6.07 None rfi003_tso.line940.yml true 9.70 5.96 None rfi004.line633.yml true 6.83 4.46 None rfi004.line634.yml true 7.56 4.76 None rfi004.line661.yml true 7.08 5.04 None rfi004.line662.yml true 7.35 5.14 None rfi005.line836.yml true 8.70 5.43 None rfi005.line837.yml true 7.40 5.03 None rfi005.line864.yml true 7.75 5.05 None rfi005.line865.yml true 7.20 5.34 None rfi006_power.oepc.line1012.yml OUT OF MEMORY 469.56 270.07 None rfi006_power.oepc.line1013.yml OUT OF MEMORY 685.49 363.84 None rfi006_power.oepc.line1199.yml true 132.96 78.03 None rfi006_power.oepc.line1200.yml true 136.51 80.15 None rfi006_power.oepc.line1227.yml true 129.01 78.59 None rfi006_power.oepc.line1228.yml true 133.64 79.44 None rfi006_power.oepc.line1255.yml true 309.42 171.83 None rfi006_power.oepc.line1256.yml true 324.04 179.65 None rfi006_power.oepc.line1289.yml OUT OF MEMORY 558.55 296.80 None rfi006_power.oepc.line1290.yml OUT OF MEMORY 501.46 268.08 None rfi006_power.oepc.line1304.yml OUT OF MEMORY 471.59 254.48 None rfi006_power.oepc.line1305.yml OUT OF MEMORY 535.27 282.93 None rfi006_power.oepc.line1352.yml OUT OF MEMORY 600.99 317.98 None rfi006_power.oepc.line1353.yml OUT OF MEMORY 663.83 349.99 None rfi006_power.oepc.line331.yml false(unreach-call) 133.59 78.75 None rfi006_power.oepc.line332.yml false(unreach-call) 138.48 83.10 None rfi006_power.oepc.line346.yml false(unreach-call) 160.92 92.20 None rfi006_power.oepc.line347.yml false(unreach-call) 132.08 79.67 None rfi006_power.oepc.line363.yml TIMEOUT 901.02 529.96 None rfi006_power.oepc.line364.yml TIMEOUT 900.78 523.07 None rfi006_power.oepc.line395.yml TIMEOUT 905.06 527.64 None rfi006_power.oepc.line396.yml TIMEOUT 901.84 550.27 None rfi006_power.oepc.line416.yml false(unreach-call) 161.49 91.80 None rfi006_power.oepc.line417.yml false(unreach-call) 163.53 92.71 None rfi006_power.oepc.line630.yml false(unreach-call) 132.23 88.02 None rfi006_power.oepc.line631.yml false(unreach-call) 161.27 91.51 None rfi006_power.oepc.line645.yml false(unreach-call) 168.04 94.74 None rfi006_power.oepc.line646.yml false(unreach-call) 137.43 81.29 None rfi006_power.oepc.line658.yml false(unreach-call) 128.72 75.41 None rfi006_power.oepc.line659.yml false(unreach-call) 127.24 73.43 None rfi006_power.oepc.line744.yml false(unreach-call) 133.67 76.55 None rfi006_power.oepc.line745.yml false(unreach-call) 136.68 84.35 None rfi006_power.oepc.line757.yml false(unreach-call) 165.04 92.80 None rfi006_power.oepc.line758.yml false(unreach-call) 139.87 83.34 None rfi006_power.oepc.line777.yml false(unreach-call) 169.35 95.14 None rfi006_power.oepc.line778.yml false(unreach-call) 136.19 78.69 None rfi006_power.oepc.line903.yml false(unreach-call) 131.53 76.93 None rfi006_power.oepc.line904.yml false(unreach-call) 167.30 95.12 None rfi006_power.oepc.line918.yml false(unreach-call) 181.08 107.46 None rfi006_power.oepc.line919.yml false(unreach-call) 190.01 115.56 None rfi006_power.oepc.line931.yml false(unreach-call) 133.75 77.65 None rfi006_power.oepc.line932.yml false(unreach-call) 134.15 80.70 None rfi006_power.oepc.line978.yml OUT OF MEMORY 619.85 332.10 None rfi006_power.oepc.line979.yml OUT OF MEMORY 566.03 319.31 None rfi006_power.oepc.line997.yml OUT OF MEMORY 474.77 260.60 None rfi006_power.oepc.line998.yml OUT OF MEMORY 480.60 264.60 None rfi006_power.opt.line1010.yml OUT OF MEMORY 615.98 330.82 None rfi006_power.opt.line1011.yml OUT OF MEMORY 890.44 486.78 None rfi006_power.opt.line1025.yml OUT OF MEMORY 426.17 232.36 None rfi006_power.opt.line1026.yml TIMEOUT 902.59 541.49 None rfi006_power.opt.line1212.yml true 127.74 72.66 None rfi006_power.opt.line1213.yml true 133.02 77.26 None rfi006_power.opt.line1240.yml true 124.89 72.09 None rfi006_power.opt.line1241.yml true 133.90 78.46 None rfi006_power.opt.line1268.yml true 231.97 132.86 None rfi006_power.opt.line1269.yml true 243.92 140.96 None rfi006_power.opt.line1302.yml OUT OF MEMORY 498.69 269.39 None rfi006_power.opt.line1303.yml OUT OF MEMORY 531.80 284.30 None ------------------------------------------------------------------------------------------------------------------------------------------ Run set 2 done 62085.09 2793.37 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk13 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 ------------------------------------------------------------------------------------------------------------------------------------------ race-1_1-join.line1002.yml true 6.77 4.49 None race-1_1-join.line1003.yml true 6.33 4.44 None race-1_1-join.line1059.yml true 8.73 5.21 None race-1_1-join.line1060.yml true 7.78 4.79 None race-1_1-join.line1071.yml true 6.97 4.59 None race-1_1-join.line1072.yml true 6.64 5.18 None race-1_2-join.line1002.yml true 8.04 4.83 None race-1_2-join.line1003.yml true 8.38 5.01 None race-1_2-join.line1080.yml true 9.02 5.30 None race-1_2-join.line1081.yml true 7.84 4.88 None race-1_2-join.line1092.yml true 7.34 4.95 None race-1_2-join.line1093.yml true 6.78 4.55 None race-1_2b-join.line1002.yml true 6.35 4.39 None race-1_2b-join.line1003.yml true 6.24 4.05 None race-1_2b-join.line1072.yml true 7.14 4.50 None race-1_2b-join.line1073.yml true 7.26 4.92 None race-1_2b-join.line1084.yml true 6.72 4.53 None race-1_2b-join.line1085.yml true 7.03 4.56 None race-1_3-join.line1002.yml true 6.61 4.62 None race-1_3-join.line1003.yml true 6.14 4.12 None race-1_3-join.line1080.yml true 7.27 4.46 None race-1_3-join.line1081.yml true 9.51 5.61 None race-1_3-join.line1092.yml true 7.11 4.48 None race-1_3-join.line1093.yml true 7.43 4.80 None race-1_3b-join.line1002.yml true 8.00 4.79 None race-1_3b-join.line1003.yml true 8.58 5.05 None race-1_3b-join.line1072.yml true 7.15 5.35 None race-1_3b-join.line1073.yml true 9.47 5.54 None race-1_3b-join.line1084.yml true 6.49 4.14 None race-1_3b-join.line1085.yml true 6.81 4.69 None race-4_1-thread_local_vars.line1015.yml false(unreach-call) 98.35 67.83 None race-4_1-thread_local_vars.line1016.yml false(unreach-call) 173.55 119.96 None race-4_1-thread_local_vars.line1027.yml false(unreach-call) 77.43 53.66 None race-4_1-thread_local_vars.line1028.yml false(unreach-call) 74.60 49.69 None race-4_1-thread_local_vars.line1299.yml true 35.85 24.23 None race-4_1-thread_local_vars.line1300.yml true 35.26 22.86 None race-4_1-thread_local_vars.line1356.yml false(unreach-call) 13.73 7.51 None race-4_1-thread_local_vars.line1357.yml false(unreach-call) 11.59 6.84 None race-4_1-thread_local_vars.line1368.yml false(unreach-call) 97.75 63.61 None race-4_1-thread_local_vars.line1369.yml false(unreach-call) 88.31 56.64 None race-4_1-thread_local_vars.line950.yml false(unreach-call) 61.74 42.52 None race-4_1-thread_local_vars.line951.yml false(unreach-call) 73.32 46.26 None race-4_2-thread_local_vars.line1028.yml false(unreach-call) 96.18 66.03 None race-4_2-thread_local_vars.line1029.yml false(unreach-call) 152.26 103.51 None race-4_2-thread_local_vars.line1040.yml false(unreach-call) 83.60 57.32 None race-4_2-thread_local_vars.line1041.yml false(unreach-call) 95.47 61.12 None race-4_2-thread_local_vars.line1312.yml true 37.39 24.74 None race-4_2-thread_local_vars.line1313.yml true 36.01 24.25 None race-4_2-thread_local_vars.line1369.yml false(unreach-call) 12.43 7.30 None race-4_2-thread_local_vars.line1370.yml false(unreach-call) 14.68 8.05 None race-4_2-thread_local_vars.line1381.yml false(unreach-call) 233.59 162.65 None race-4_2-thread_local_vars.line1382.yml false(unreach-call) 234.01 165.51 None race-4_2-thread_local_vars.line950.yml false(unreach-call) 61.79 40.61 None race-4_2-thread_local_vars.line951.yml false(unreach-call) 60.45 41.79 None read_write_lock-1.line375.yml true 15.49 9.78 None read_write_lock-1.line376.yml true 18.39 11.65 None read_write_lock-1.line390.yml true 17.37 10.88 None read_write_lock-1.line391.yml true 14.88 10.03 None read_write_lock-1.line405.yml true 20.03 12.02 None read_write_lock-1.line406.yml true 15.42 10.34 None read_write_lock-1.line420.yml true 18.33 12.66 None read_write_lock-1.line421.yml true 27.08 15.33 None read_write_lock-1.line432.yml true 145.35 87.80 None read_write_lock-1.line433.yml true 146.29 88.51 None read_write_lock-1.line444.yml OUT OF MEMORY 892.24 458.87 None read_write_lock-1.line445.yml TIMEOUT 901.22 469.81 None read_write_lock-1.line456.yml OUT OF MEMORY 821.74 433.48 None read_write_lock-1.line457.yml TIMEOUT 911.40 471.45 None read_write_lock-1.line468.yml OUT OF MEMORY 790.09 410.79 None read_write_lock-1.line469.yml TIMEOUT 909.72 470.05 None read_write_lock-1b.line347.yml true 9.63 6.42 None read_write_lock-1b.line348.yml true 9.40 6.64 None read_write_lock-1b.line362.yml true 9.48 6.14 None read_write_lock-1b.line363.yml true 9.52 6.55 None read_write_lock-1b.line377.yml true 9.92 6.38 None read_write_lock-1b.line378.yml true 9.65 6.88 None read_write_lock-1b.line392.yml true 10.45 6.78 None read_write_lock-1b.line393.yml true 10.56 6.85 None read_write_lock-1b.line404.yml true 17.39 11.66 None read_write_lock-1b.line405.yml true 19.22 12.34 None read_write_lock-1b.line416.yml true 47.02 31.59 None read_write_lock-1b.line417.yml true 45.94 34.63 None read_write_lock-1b.line428.yml true 37.74 27.02 None read_write_lock-1b.line429.yml true 39.95 27.44 None read_write_lock-1b.line440.yml true 38.65 26.94 None read_write_lock-1b.line441.yml true 38.82 27.34 None read_write_lock-2.line379.yml true 21.23 14.54 None read_write_lock-2.line380.yml true 22.07 15.07 None read_write_lock-2.line394.yml true 27.86 16.80 None read_write_lock-2.line395.yml true 26.91 17.23 None read_write_lock-2.line409.yml true 21.38 14.64 None read_write_lock-2.line410.yml true 22.25 15.37 None read_write_lock-2.line424.yml true 35.03 22.14 None read_write_lock-2.line425.yml true 36.71 22.94 None read_write_lock-2.line436.yml OUT OF MEMORY 482.27 250.81 None read_write_lock-2.line437.yml OUT OF MEMORY 513.04 269.73 None read_write_lock-2.line448.yml TIMEOUT 906.71 472.93 None read_write_lock-2.line449.yml TIMEOUT 921.17 484.18 None read_write_lock-2.line460.yml TIMEOUT 906.27 466.61 None read_write_lock-2.line461.yml TIMEOUT 904.80 466.04 None read_write_lock-2.line472.yml OUT OF MEMORY 751.60 387.44 None read_write_lock-2.line473.yml OUT OF MEMORY 815.96 426.56 None read_write_lock-2b.line343.yml true 9.59 6.31 None read_write_lock-2b.line344.yml true 10.23 6.52 None read_write_lock-2b.line358.yml true 9.52 6.29 None read_write_lock-2b.line359.yml true 10.32 6.70 None read_write_lock-2b.line373.yml true 10.52 7.58 None read_write_lock-2b.line374.yml true 10.05 6.61 None read_write_lock-2b.line388.yml true 10.63 7.83 None read_write_lock-2b.line389.yml true 11.53 7.10 None read_write_lock-2b.line400.yml true 19.01 13.19 None read_write_lock-2b.line401.yml true 20.08 12.87 None read_write_lock-2b.line412.yml true 43.71 32.37 None read_write_lock-2b.line413.yml true 43.38 29.73 None read_write_lock-2b.line424.yml true 40.88 29.21 None read_write_lock-2b.line425.yml true 41.32 28.57 None read_write_lock-2b.line436.yml true 38.28 26.33 None read_write_lock-2b.line437.yml true 38.97 29.42 None reorder_c11_bad-10.line340.yml OUT OF MEMORY 575.63 331.15 None reorder_c11_bad-10.line341.yml OUT OF MEMORY 391.50 236.88 None reorder_c11_bad-10.line366.yml OUT OF MEMORY 435.43 248.45 None reorder_c11_bad-10.line367.yml OUT OF MEMORY 396.67 234.42 None reorder_c11_bad-10.line389.yml OUT OF MEMORY 605.91 344.66 None reorder_c11_bad-10.line390.yml OUT OF MEMORY 263.05 147.80 None reorder_c11_bad-10.line412.yml OUT OF MEMORY 719.00 382.93 None reorder_c11_bad-10.line413.yml OUT OF MEMORY 713.99 398.51 None reorder_c11_bad-20.line340.yml OUT OF MEMORY 169.77 109.36 None reorder_c11_bad-20.line341.yml OUT OF MEMORY 207.10 137.87 None reorder_c11_bad-20.line366.yml OUT OF MEMORY 166.61 102.27 None reorder_c11_bad-20.line367.yml OUT OF MEMORY 883.98 481.06 None reorder_c11_bad-20.line389.yml OUT OF MEMORY 841.52 446.86 None reorder_c11_bad-20.line390.yml OUT OF MEMORY 207.39 117.01 None reorder_c11_bad-20.line412.yml OUT OF MEMORY 407.13 229.86 None reorder_c11_bad-20.line413.yml OUT OF MEMORY 527.69 304.38 None reorder_c11_bad-30.line340.yml OUT OF MEMORY 170.83 112.95 None reorder_c11_bad-30.line341.yml OUT OF MEMORY 529.16 310.20 None reorder_c11_bad-30.line366.yml OUT OF MEMORY 497.08 274.50 None reorder_c11_bad-30.line367.yml OUT OF MEMORY 632.50 358.34 None reorder_c11_bad-30.line389.yml OUT OF MEMORY 743.43 403.51 None reorder_c11_bad-30.line390.yml OUT OF MEMORY 206.81 115.35 None reorder_c11_bad-30.line412.yml OUT OF MEMORY 749.61 402.79 None reorder_c11_bad-30.line413.yml OUT OF MEMORY 489.22 293.73 None reorder_c11_bad-40.line340.yml OUT OF MEMORY 279.21 180.79 None reorder_c11_bad-40.line341.yml OUT OF MEMORY 268.79 175.32 None reorder_c11_bad-40.line366.yml OUT OF MEMORY 366.90 213.12 None reorder_c11_bad-40.line367.yml OUT OF MEMORY 711.46 391.06 None reorder_c11_bad-40.line389.yml OUT OF MEMORY 849.03 450.56 None reorder_c11_bad-40.line390.yml OUT OF MEMORY 248.05 137.40 None reorder_c11_bad-40.line412.yml OUT OF MEMORY 205.88 121.71 None reorder_c11_bad-40.line413.yml OUT OF MEMORY 234.61 152.46 None reorder_c11_bad-50.line340.yml OUT OF MEMORY 517.29 296.22 None reorder_c11_bad-50.line341.yml OUT OF MEMORY 408.07 252.72 None reorder_c11_bad-50.line366.yml OUT OF MEMORY 182.21 106.64 None reorder_c11_bad-50.line367.yml OUT OF MEMORY 257.15 164.47 None reorder_c11_bad-50.line389.yml OUT OF MEMORY 296.40 173.24 None reorder_c11_bad-50.line390.yml OUT OF MEMORY 253.24 136.98 None reorder_c11_bad-50.line412.yml OUT OF MEMORY 502.51 276.76 None reorder_c11_bad-50.line413.yml OUT OF MEMORY 513.32 302.23 None reorder_c11_good-10.line340.yml OUT OF MEMORY 474.10 276.05 None reorder_c11_good-10.line341.yml OUT OF MEMORY 575.57 335.38 None reorder_c11_good-10.line366.yml OUT OF MEMORY 390.26 213.71 None reorder_c11_good-10.line367.yml OUT OF MEMORY 478.94 294.08 None reorder_c11_good-10.line389.yml OUT OF MEMORY 629.43 332.31 None reorder_c11_good-10.line390.yml OUT OF MEMORY 368.86 199.09 None reorder_c11_good-10.line412.yml OUT OF MEMORY 329.82 184.14 None reorder_c11_good-10.line413.yml OUT OF MEMORY 558.58 310.32 None reorder_c11_good-20.line340.yml OUT OF MEMORY 685.26 377.61 None reorder_c11_good-20.line341.yml OUT OF MEMORY 186.03 124.95 None reorder_c11_good-20.line366.yml OUT OF MEMORY 336.19 182.25 None reorder_c11_good-20.line367.yml OUT OF MEMORY 474.12 273.20 None reorder_c11_good-20.line389.yml OUT OF MEMORY 535.31 281.67 None reorder_c11_good-20.line390.yml OUT OF MEMORY 371.08 202.16 None reorder_c11_good-20.line412.yml OUT OF MEMORY 514.94 271.07 None reorder_c11_good-20.line413.yml OUT OF MEMORY 522.44 293.06 None reorder_c11_good-30.line340.yml OUT OF MEMORY 504.38 295.09 None reorder_c11_good-30.line341.yml OUT OF MEMORY 315.44 191.71 None reorder_c11_good-30.line366.yml OUT OF MEMORY 273.37 152.38 None reorder_c11_good-30.line367.yml OUT OF MEMORY 533.53 320.91 None reorder_c11_good-30.line389.yml OUT OF MEMORY 574.63 306.29 None reorder_c11_good-30.line390.yml OUT OF MEMORY 271.48 149.70 None reorder_c11_good-30.line412.yml OUT OF MEMORY 544.48 287.35 None reorder_c11_good-30.line413.yml OUT OF MEMORY 271.54 163.05 None reorder_c11_good-40.line340.yml OUT OF MEMORY 688.65 381.63 None reorder_c11_good-40.line341.yml OUT OF MEMORY 491.74 296.03 None reorder_c11_good-40.line366.yml OUT OF MEMORY 569.71 304.55 None reorder_c11_good-40.line367.yml OUT OF MEMORY 267.83 164.98 None reorder_c11_good-40.line389.yml OUT OF MEMORY 597.26 313.09 None reorder_c11_good-40.line390.yml OUT OF MEMORY 214.63 119.74 None reorder_c11_good-40.line412.yml OUT OF MEMORY 362.56 195.55 None reorder_c11_good-40.line413.yml OUT OF MEMORY 156.42 97.47 None reorder_c11_good-50.line340.yml OUT OF MEMORY 528.84 304.18 None reorder_c11_good-50.line341.yml OUT OF MEMORY 487.27 289.63 None reorder_c11_good-50.line366.yml OUT OF MEMORY 339.15 189.91 None reorder_c11_good-50.line367.yml OUT OF MEMORY 508.22 290.62 None reorder_c11_good-50.line389.yml OUT OF MEMORY 584.75 306.32 None reorder_c11_good-50.line390.yml OUT OF MEMORY 304.14 169.18 None reorder_c11_good-50.line412.yml OUT OF MEMORY 565.28 302.08 None reorder_c11_good-50.line413.yml OUT OF MEMORY 236.80 143.68 None rfi000_power.oepc_pso.oepc_rmo.oepc.line857.yml true 7.49 5.01 None rfi000_power.oepc_pso.oepc_rmo.oepc.line858.yml true 7.22 4.84 None rfi000_power.oepc_pso.oepc_rmo.oepc.line885.yml true 7.77 5.14 None rfi000_power.oepc_pso.oepc_rmo.oepc.line886.yml true 8.03 5.36 None rfi000_power.opt_pso.opt_rmo.opt.line529.yml true 6.89 4.87 None rfi000_power.opt_pso.opt_rmo.opt.line530.yml true 6.77 4.55 None rfi000_power.opt_pso.opt_rmo.opt.line557.yml true 6.93 4.54 None rfi000_power.opt_pso.opt_rmo.opt.line558.yml true 7.22 4.91 None rfi000_tso.line857.yml true 7.51 4.83 None rfi000_tso.line858.yml true 7.39 5.08 None rfi000_tso.line885.yml true 7.85 5.02 None rfi000_tso.line886.yml true 7.43 4.95 None rfi001_power.oepc_pso.oepc_rmo.oepc.line673.yml true 6.76 4.48 None rfi001_power.oepc_pso.oepc_rmo.oepc.line674.yml true 6.64 4.87 None rfi001_power.oepc_pso.oepc_rmo.oepc.line701.yml true 7.14 4.66 None rfi001_power.oepc_pso.oepc_rmo.oepc.line702.yml true 7.37 5.26 None rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line532.yml true 6.53 4.40 None rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line533.yml true 7.01 4.96 None rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line560.yml true 7.32 4.78 None rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.line561.yml true 7.52 4.92 None rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line911.yml true 7.70 5.33 None rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line912.yml true 7.62 5.20 None rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line939.yml true 9.09 5.52 None rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line940.yml true 8.67 5.63 None rfi002_tso.line1189.yml true 8.40 5.64 None rfi002_tso.line1190.yml true 8.18 5.26 None rfi002_tso.line1217.yml true 9.30 5.96 None rfi002_tso.line1218.yml true 9.61 6.19 None rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line630.yml true 6.82 4.52 None rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line631.yml true 6.70 4.42 None rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line658.yml true 7.61 5.42 None rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line659.yml true 7.58 5.23 None rfi003_tso.line911.yml true 6.90 4.60 None rfi003_tso.line912.yml true 7.19 4.92 None rfi003_tso.line939.yml true 7.91 5.10 None rfi003_tso.line940.yml true 8.06 5.08 None rfi004.line633.yml true 7.06 5.18 None rfi004.line634.yml true 7.25 4.86 None rfi004.line661.yml true 7.75 4.91 None rfi004.line662.yml true 7.84 5.08 None rfi005.line836.yml true 7.36 5.05 None rfi005.line837.yml true 7.30 5.65 None rfi005.line864.yml true 8.00 5.24 None rfi005.line865.yml true 8.06 5.34 None rfi006_power.oepc.line1012.yml OUT OF MEMORY 357.91 205.89 None rfi006_power.oepc.line1013.yml OUT OF MEMORY 719.62 386.80 None rfi006_power.oepc.line1199.yml true 225.75 135.67 None rfi006_power.oepc.line1200.yml true 225.76 134.33 None rfi006_power.oepc.line1227.yml true 232.45 137.72 None rfi006_power.oepc.line1228.yml true 285.17 165.10 None rfi006_power.oepc.line1255.yml OUT OF MEMORY 231.99 138.45 None rfi006_power.oepc.line1256.yml OUT OF MEMORY 327.49 186.99 None rfi006_power.oepc.line1289.yml TIMEOUT 921.35 477.61 None rfi006_power.oepc.line1290.yml OUT OF MEMORY 733.52 376.00 None rfi006_power.oepc.line1304.yml OUT OF MEMORY 748.73 382.77 None rfi006_power.oepc.line1305.yml OUT OF MEMORY 696.83 354.85 None rfi006_power.oepc.line1352.yml OUT OF MEMORY 736.34 375.39 None rfi006_power.oepc.line1353.yml OUT OF MEMORY 746.99 387.11 None rfi006_power.oepc.line331.yml false(unreach-call) 242.44 144.15 None rfi006_power.oepc.line332.yml false(unreach-call) 226.80 132.38 None rfi006_power.oepc.line346.yml false(unreach-call) 235.87 142.63 None rfi006_power.oepc.line347.yml false(unreach-call) 247.08 150.49 None rfi006_power.oepc.line363.yml OUT OF MEMORY 366.25 206.92 None rfi006_power.oepc.line364.yml OUT OF MEMORY 795.23 430.77 None rfi006_power.oepc.line395.yml OUT OF MEMORY 892.39 507.53 None rfi006_power.oepc.line396.yml OUT OF MEMORY 680.27 394.18 None rfi006_power.oepc.line416.yml false(unreach-call) 243.16 143.54 None rfi006_power.oepc.line417.yml false(unreach-call) 235.42 144.68 None rfi006_power.oepc.line630.yml false(unreach-call) 242.94 146.22 None rfi006_power.oepc.line631.yml false(unreach-call) 281.93 163.49 None rfi006_power.oepc.line645.yml false(unreach-call) 282.11 162.93 None rfi006_power.oepc.line646.yml false(unreach-call) 240.83 142.22 None rfi006_power.oepc.line658.yml false(unreach-call) 235.58 144.52 None rfi006_power.oepc.line659.yml false(unreach-call) 239.29 139.36 None rfi006_power.oepc.line744.yml false(unreach-call) 237.28 141.99 None rfi006_power.oepc.line745.yml false(unreach-call) 248.38 147.47 None rfi006_power.oepc.line757.yml false(unreach-call) 233.61 138.31 None rfi006_power.oepc.line758.yml false(unreach-call) 238.43 139.38 None rfi006_power.oepc.line777.yml false(unreach-call) 285.10 163.12 None rfi006_power.oepc.line778.yml false(unreach-call) 236.51 143.29 None rfi006_power.oepc.line903.yml false(unreach-call) 290.42 165.59 None rfi006_power.oepc.line904.yml false(unreach-call) 289.07 166.24 None rfi006_power.oepc.line918.yml false(unreach-call) 346.72 212.06 None rfi006_power.oepc.line919.yml false(unreach-call) 345.82 208.75 None rfi006_power.oepc.line931.yml false(unreach-call) 240.01 145.94 None rfi006_power.oepc.line932.yml OUT OF MEMORY (false(unreach-call)) 237.92 138.77 None rfi006_power.oepc.line978.yml OUT OF MEMORY 489.63 273.19 None rfi006_power.oepc.line979.yml OUT OF MEMORY 505.23 283.96 None rfi006_power.oepc.line997.yml OUT OF MEMORY 249.90 147.38 None rfi006_power.oepc.line998.yml OUT OF MEMORY 416.20 233.35 None rfi006_power.opt.line1010.yml OUT OF MEMORY 423.59 241.30 None rfi006_power.opt.line1011.yml OUT OF MEMORY 391.95 229.51 None rfi006_power.opt.line1025.yml OUT OF MEMORY 296.62 168.35 None rfi006_power.opt.line1026.yml OUT OF MEMORY 495.32 297.55 None rfi006_power.opt.line1212.yml true 276.62 158.64 None rfi006_power.opt.line1213.yml true 285.44 163.55 None rfi006_power.opt.line1240.yml true 231.19 139.79 None rfi006_power.opt.line1241.yml true 233.29 139.25 None rfi006_power.opt.line1268.yml OUT OF MEMORY 281.21 162.61 None rfi006_power.opt.line1269.yml OUT OF MEMORY 208.28 122.22 None rfi006_power.opt.line1302.yml OUT OF MEMORY 728.84 372.49 None rfi006_power.opt.line1303.yml TIMEOUT 916.42 471.59 None ------------------------------------------------------------------------------------------------------------------------------------------ Run set 3 done 73117.54 3309.48 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk13 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk13 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk13 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk13 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk13 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk13 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk13 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk13 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk13 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk13 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk13 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk13 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk13 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk13 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk13 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk13 Run set 19 of 19: skipped Statistics: 900 Files correct: 428 correct true: 428 correct false: 0 incorrect: 131 incorrect true: 0 incorrect false: 131 unknown: 341 Score: -1240 (max: 1800)