BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk29, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk29, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk29 date: Mon, 2022-10-24 20:05:27 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-chunk29 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 ------------------------------------------------------------------------------------------------------------------------------------------------------- 09-regions_09-arraylist.line375.yml false(unreach-call) 10.21 6.44 None 09-regions_09-arraylist.line376.yml false(unreach-call) 15.20 9.43 None 09-regions_09-arraylist.line390.yml false(unreach-call) 10.43 6.21 None 09-regions_09-arraylist.line391.yml false(unreach-call) 8.39 5.17 None 09-regions_09-arraylist.line403.yml false(unreach-call) 10.01 6.67 None 09-regions_09-arraylist.line404.yml true 7.62 5.03 None 09-regions_09-arraylist.line413.yml false(unreach-call) 13.34 7.76 None 09-regions_09-arraylist.line414.yml true 10.89 6.46 None 09-regions_09-arraylist.line595.yml true 7.54 4.59 None 09-regions_09-arraylist.line596.yml true 6.56 4.16 None 09-regions_09-arraylist.line605.yml true 6.58 4.57 None 09-regions_09-arraylist.line606.yml true 6.37 4.37 None 09-regions_09-arraylist.line620.yml true 6.50 4.44 None 09-regions_09-arraylist.line621.yml true 8.52 5.15 None 09-regions_09-arraylist.line651.yml true 5.87 3.82 None 09-regions_09-arraylist.line652.yml true 6.27 4.55 None 09-regions_09-arraylist.line661.yml true 6.01 4.37 None 09-regions_09-arraylist.line662.yml true 8.47 5.04 None 09-regions_09-arraylist.line675.yml true 6.12 4.18 None 09-regions_09-arraylist.line676.yml true 7.45 4.97 None 09-regions_09-arraylist.line690.yml true 9.59 5.97 None 09-regions_09-arraylist.line691.yml true 11.99 7.46 None 09-regions_09-arraylist.line703.yml true 8.34 4.97 None 09-regions_09-arraylist.line704.yml true 6.51 4.35 None 09-regions_09-arraylist.line713.yml true 8.57 5.01 None 09-regions_09-arraylist.line714.yml true 7.52 4.89 None 09-regions_09-arraylist.line729.yml true 8.20 4.92 None 09-regions_09-arraylist.line730.yml true 7.79 4.83 None 09-regions_09-arraylist.line752.yml false(unreach-call) 9.26 5.53 None 09-regions_09-arraylist.line753.yml false(unreach-call) 9.58 5.62 None 09-regions_09-arraylist.line762.yml false(unreach-call) 25.44 16.92 None 09-regions_09-arraylist.line763.yml false(unreach-call) 41.76 31.42 None 09-regions_09-arraylist.line776.yml false(unreach-call) 40.40 24.93 None 09-regions_09-arraylist.line777.yml false(unreach-call) 32.25 24.08 None 09-regions_16-arrayloop_rc.line345.yml OUT OF MEMORY 142.44 93.44 None 09-regions_16-arrayloop_rc.line346.yml OUT OF MEMORY 148.51 91.17 None 09-regions_16-arrayloop_rc.line355.yml OUT OF MEMORY 165.44 99.49 None 09-regions_16-arrayloop_rc.line356.yml false(unreach-call) 98.81 60.61 None 09-regions_16-arrayloop_rc.line369.yml false(unreach-call) 72.82 45.60 None 09-regions_16-arrayloop_rc.line370.yml false(unreach-call) 215.79 144.86 None 09-regions_16-arrayloop_rc.line384.yml TIMEOUT 901.79 826.17 None 09-regions_16-arrayloop_rc.line385.yml TIMEOUT 901.34 762.69 None 09-regions_16-arrayloop_rc.line397.yml TIMEOUT 902.15 856.22 None 09-regions_16-arrayloop_rc.line398.yml false(unreach-call) 83.64 53.00 None 09-regions_16-arrayloop_rc.line407.yml OUT OF MEMORY 109.19 70.04 None 09-regions_16-arrayloop_rc.line408.yml false(unreach-call) 84.65 58.38 None 09-regions_16-arrayloop_rc.line570.yml true 7.98 4.74 None 09-regions_16-arrayloop_rc.line571.yml true 7.58 4.61 None 09-regions_16-arrayloop_rc.line580.yml true 5.71 4.02 None 09-regions_16-arrayloop_rc.line581.yml true 7.82 4.73 None 09-regions_16-arrayloop_rc.line595.yml true 6.62 4.52 None 09-regions_16-arrayloop_rc.line596.yml true 136.17 95.02 None 09-regions_16-arrayloop_rc.line613.yml true 14.14 8.29 None 09-regions_16-arrayloop_rc.line614.yml true 15.29 8.81 None 09-regions_16-arrayloop_rc.line663.yml OUT OF MEMORY 72.39 44.88 None 09-regions_16-arrayloop_rc.line664.yml OUT OF MEMORY 88.83 57.39 None 09-regions_16-arrayloop_rc.line673.yml OUT OF MEMORY 86.87 57.72 None 09-regions_16-arrayloop_rc.line674.yml false(unreach-call) 109.52 71.76 None 09-regions_16-arrayloop_rc.line687.yml false(unreach-call) 22.06 12.39 None 09-regions_16-arrayloop_rc.line688.yml false(unreach-call) 160.60 123.30 None 09-regions_16-arrayloop_rc.line702.yml TIMEOUT 901.91 765.18 None 09-regions_16-arrayloop_rc.line703.yml TIMEOUT 901.58 851.78 None 09-regions_16-arrayloop_rc.line715.yml OUT OF MEMORY 117.43 77.11 None 09-regions_16-arrayloop_rc.line716.yml false(unreach-call) 88.30 63.61 None 09-regions_16-arrayloop_rc.line725.yml OUT OF MEMORY 111.10 66.46 None 09-regions_16-arrayloop_rc.line726.yml false(unreach-call) 92.61 67.19 None 09-regions_16-arrayloop_rc.line738.yml OUT OF MEMORY 84.49 57.32 None 09-regions_16-arrayloop_rc.line739.yml false(unreach-call) 117.19 80.38 None 09-regions_16-arrayloop_rc.line748.yml false(unreach-call) 162.89 113.15 None 09-regions_16-arrayloop_rc.line749.yml false(unreach-call) 170.20 115.06 None 09-regions_16-arrayloop_rc.line762.yml TIMEOUT 908.57 691.27 None 09-regions_16-arrayloop_rc.line763.yml TIMEOUT 906.24 707.27 None 09-regions_17-arrayloop_nr.line345.yml OUT OF MEMORY 101.62 65.66 None 09-regions_17-arrayloop_nr.line346.yml OUT OF MEMORY 114.81 74.90 None 09-regions_17-arrayloop_nr.line355.yml OUT OF MEMORY 86.39 54.97 None 09-regions_17-arrayloop_nr.line356.yml false(unreach-call) 60.19 35.23 None 09-regions_17-arrayloop_nr.line369.yml false(unreach-call) 28.34 15.11 None 09-regions_17-arrayloop_nr.line370.yml false(unreach-call) 196.70 133.90 None 09-regions_17-arrayloop_nr.line384.yml TIMEOUT 901.72 854.92 None 09-regions_17-arrayloop_nr.line385.yml TIMEOUT 901.18 774.98 None 09-regions_17-arrayloop_nr.line397.yml OUT OF MEMORY 280.02 221.13 None 09-regions_17-arrayloop_nr.line398.yml false(unreach-call) 87.52 51.10 None 09-regions_17-arrayloop_nr.line407.yml OUT OF MEMORY 95.59 61.00 None 09-regions_17-arrayloop_nr.line408.yml false(unreach-call) 80.43 48.49 None 09-regions_17-arrayloop_nr.line570.yml true 7.50 4.55 None 09-regions_17-arrayloop_nr.line571.yml true 7.27 4.51 None 09-regions_17-arrayloop_nr.line580.yml true 7.33 4.51 None 09-regions_17-arrayloop_nr.line581.yml true 5.85 3.94 None 09-regions_17-arrayloop_nr.line595.yml true 7.92 4.77 None 09-regions_17-arrayloop_nr.line596.yml true 87.79 73.03 None 09-regions_17-arrayloop_nr.line613.yml true 18.89 10.23 None 09-regions_17-arrayloop_nr.line614.yml true 19.40 10.54 None 09-regions_17-arrayloop_nr.line663.yml OUT OF MEMORY 85.17 50.53 None 09-regions_17-arrayloop_nr.line664.yml OUT OF MEMORY 132.79 77.01 None 09-regions_17-arrayloop_nr.line673.yml OUT OF MEMORY 141.47 85.11 None 09-regions_17-arrayloop_nr.line674.yml false(unreach-call) 98.73 64.42 None 09-regions_17-arrayloop_nr.line687.yml false(unreach-call) 21.83 12.32 None 09-regions_17-arrayloop_nr.line688.yml false(unreach-call) 141.63 106.85 None 09-regions_17-arrayloop_nr.line702.yml TIMEOUT 900.48 729.89 None 09-regions_17-arrayloop_nr.line703.yml TIMEOUT 903.91 789.33 None 09-regions_17-arrayloop_nr.line715.yml OUT OF MEMORY 196.68 122.81 None 09-regions_17-arrayloop_nr.line716.yml false(unreach-call) 85.47 58.80 None 09-regions_17-arrayloop_nr.line725.yml OUT OF MEMORY 111.38 75.09 None 09-regions_17-arrayloop_nr.line726.yml false(unreach-call) 81.60 58.22 None 09-regions_17-arrayloop_nr.line738.yml OUT OF MEMORY 110.82 70.21 None 09-regions_17-arrayloop_nr.line739.yml false(unreach-call) 72.76 49.08 None 09-regions_17-arrayloop_nr.line748.yml false(unreach-call) 110.32 79.63 None 09-regions_17-arrayloop_nr.line749.yml false(unreach-call) 118.89 87.44 None 09-regions_17-arrayloop_nr.line762.yml TIMEOUT 905.60 704.46 None 09-regions_17-arrayloop_nr.line763.yml TIMEOUT 901.87 739.18 None 09-regions_26-alloc_region_rc.line327.yml false(unreach-call) 7.52 5.04 None 09-regions_26-alloc_region_rc.line328.yml false(unreach-call) 7.68 5.09 None 09-regions_26-alloc_region_rc.line337.yml false(unreach-call) 7.22 4.71 None 09-regions_26-alloc_region_rc.line338.yml false(unreach-call) 7.42 4.92 None 09-regions_26-alloc_region_rc.line364.yml false(unreach-call) 7.88 5.18 None 09-regions_26-alloc_region_rc.line365.yml false(unreach-call) 8.49 5.44 None 09-regions_26-alloc_region_rc.line375.yml false(unreach-call) 7.69 5.10 None 09-regions_26-alloc_region_rc.line376.yml false(unreach-call) 8.38 5.20 None 09-regions_26-alloc_region_rc.line386.yml false(unreach-call) 7.80 5.07 None 09-regions_26-alloc_region_rc.line387.yml false(unreach-call) 8.30 5.27 None 09-regions_26-alloc_region_rc.line409.yml false(unreach-call) 7.85 4.97 None 09-regions_26-alloc_region_rc.line410.yml false(unreach-call) 8.33 5.29 None 09-regions_26-alloc_region_rc.line421.yml false(unreach-call) 7.37 4.85 None 09-regions_26-alloc_region_rc.line422.yml false(unreach-call) 8.44 5.34 None 09-regions_26-alloc_region_rc.line608.yml true 6.48 4.25 None 09-regions_26-alloc_region_rc.line609.yml true 6.94 4.50 None 09-regions_26-alloc_region_rc.line618.yml true 6.49 4.16 None 09-regions_26-alloc_region_rc.line619.yml true 6.13 4.08 None 09-regions_26-alloc_region_rc.line634.yml true 7.35 4.53 None 09-regions_26-alloc_region_rc.line635.yml true 7.14 4.83 None 09-regions_26-alloc_region_rc.line644.yml true 6.18 3.99 None 09-regions_26-alloc_region_rc.line645.yml true 7.74 5.02 None 09-regions_26-alloc_region_rc.line659.yml true 7.20 4.26 None 09-regions_26-alloc_region_rc.line660.yml true 6.89 4.40 None 09-regions_26-alloc_region_rc.line692.yml false(unreach-call) 7.07 4.37 None 09-regions_26-alloc_region_rc.line693.yml false(unreach-call) 7.85 4.62 None 09-regions_26-alloc_region_rc.line702.yml false(unreach-call) 6.95 4.14 None 09-regions_26-alloc_region_rc.line703.yml false(unreach-call) 7.44 4.59 None 09-regions_26-alloc_region_rc.line729.yml false(unreach-call) 8.11 4.79 None 09-regions_26-alloc_region_rc.line730.yml false(unreach-call) 8.12 5.44 None 09-regions_26-alloc_region_rc.line740.yml false(unreach-call) 8.28 4.91 None 09-regions_26-alloc_region_rc.line741.yml false(unreach-call) 8.16 4.88 None 09-regions_26-alloc_region_rc.line751.yml false(unreach-call) 7.12 4.52 None 09-regions_26-alloc_region_rc.line752.yml false(unreach-call) 7.89 4.87 None 09-regions_26-alloc_region_rc.line774.yml false(unreach-call) 7.85 4.68 None 09-regions_26-alloc_region_rc.line775.yml false(unreach-call) 8.64 5.07 None 09-regions_26-alloc_region_rc.line789.yml false(unreach-call) 60.11 42.58 None 09-regions_26-alloc_region_rc.line790.yml false(unreach-call) 60.74 49.18 None 09-regions_26-alloc_region_rc.line806.yml false(unreach-call) 39.21 26.69 None 09-regions_26-alloc_region_rc.line807.yml false(unreach-call) 67.47 56.45 None 09-regions_26-alloc_region_rc.line817.yml false(unreach-call) 8.92 5.19 None 09-regions_26-alloc_region_rc.line818.yml false(unreach-call) 9.00 5.42 None 09-regions_28-list2alloc.line303.yml false(unreach-call) 7.92 5.20 None 09-regions_28-list2alloc.line304.yml true 8.29 5.37 None 09-regions_28-list2alloc.line315.yml false(unreach-call) 7.66 4.91 None 09-regions_28-list2alloc.line316.yml true 6.54 4.30 None 09-regions_28-list2alloc.line338.yml false(unreach-call) 8.01 5.09 None 09-regions_28-list2alloc.line339.yml true 7.26 4.74 None 09-regions_28-list2alloc.line350.yml false(unreach-call) 7.51 4.97 None 09-regions_28-list2alloc.line351.yml true 7.44 4.85 None 09-regions_28-list2alloc.line500.yml true 5.65 3.74 None 09-regions_28-list2alloc.line501.yml true 7.36 4.56 None 09-regions_28-list2alloc.line510.yml true 5.29 3.61 None 09-regions_28-list2alloc.line511.yml true 6.03 3.86 None 09-regions_28-list2alloc.line547.yml true 6.02 3.89 None 09-regions_28-list2alloc.line548.yml true 6.20 3.99 None 09-regions_28-list2alloc.line557.yml true 7.60 4.58 None 09-regions_28-list2alloc.line558.yml true 5.99 3.98 None 09-regions_28-list2alloc.line576.yml true 6.19 4.01 None 09-regions_28-list2alloc.line577.yml true 6.74 4.71 None 09-regions_28-list2alloc.line603.yml true 7.09 4.49 None 09-regions_28-list2alloc.line604.yml true 8.65 5.29 None 10-synch_01-thread_unique.line268.yml true 6.51 4.01 None 10-synch_01-thread_unique.line269.yml true 4.92 3.46 None 10-synch_01-thread_unique.line280.yml true 4.83 3.16 None 10-synch_01-thread_unique.line281.yml true 4.88 3.44 None 10-synch_03-two_unique.line299.yml true 5.94 3.81 None 10-synch_03-two_unique.line300.yml true 5.60 3.90 None 10-synch_03-two_unique.line314.yml true 5.39 3.87 None 10-synch_03-two_unique.line315.yml true 5.69 3.91 None 13-privatized_01-priv_nr_true.line368.yml true 7.24 4.39 None 13-privatized_01-priv_nr_true.line369.yml true 5.56 3.73 None 13-privatized_01-priv_nr_true.line409.yml true 6.25 4.06 None 13-privatized_01-priv_nr_true.line410.yml true 6.38 4.07 None 13-privatized_03-priv_inv.line385.yml true 5.54 3.80 None 13-privatized_03-priv_inv.line386.yml true 5.62 3.71 None 13-privatized_03-priv_inv.line416.yml true 7.69 4.67 None 13-privatized_03-priv_inv.line417.yml true 5.90 4.17 None 13-privatized_04-priv_multi_true.line1157.yml true 8.66 5.79 None 13-privatized_04-priv_multi_true.line1158.yml true 9.22 5.93 None 13-privatized_04-priv_multi_true.line1172.yml true 8.46 5.47 None 13-privatized_04-priv_multi_true.line1173.yml true 9.11 5.73 None 13-privatized_04-priv_multi_true.line1187.yml true 13.81 8.10 None 13-privatized_04-priv_multi_true.line1188.yml true 10.42 6.64 None 13-privatized_18-first-reads_true.line334.yml true 5.50 3.68 None 13-privatized_18-first-reads_true.line335.yml true 5.44 3.63 None 13-privatized_18-first-reads_true.line369.yml true 5.69 3.90 None 13-privatized_18-first-reads_true.line370.yml true 5.84 3.76 None 13-privatized_18-first-reads_unknown_1_neg.line334.yml true 6.03 3.69 None 13-privatized_18-first-reads_unknown_1_neg.line335.yml true 5.64 3.78 None 13-privatized_18-first-reads_unknown_1_neg.line358.yml true 5.88 3.69 None 13-privatized_18-first-reads_unknown_1_neg.line359.yml true 7.61 4.67 None 13-privatized_18-first-reads_unknown_1_pos.line334.yml true 5.46 3.68 None 13-privatized_18-first-reads_unknown_1_pos.line335.yml true 5.43 3.97 None 13-privatized_18-first-reads_unknown_1_pos.line358.yml true 5.30 3.98 None 13-privatized_18-first-reads_unknown_1_pos.line359.yml true 5.88 4.03 None 13-privatized_18-first-reads_unknown_2_neg.line334.yml true 5.20 3.53 None 13-privatized_18-first-reads_unknown_2_neg.line335.yml true 5.42 3.63 None 13-privatized_18-first-reads_unknown_2_neg.line358.yml true 5.91 3.65 None 13-privatized_18-first-reads_unknown_2_neg.line359.yml true 5.62 3.81 None 13-privatized_18-first-reads_unknown_2_pos.line334.yml true 6.85 4.22 None 13-privatized_18-first-reads_unknown_2_pos.line335.yml true 5.37 3.66 None 13-privatized_18-first-reads_unknown_2_pos.line358.yml true 5.52 3.64 None 13-privatized_18-first-reads_unknown_2_pos.line359.yml true 5.74 3.81 None 13-privatized_19-publish-precision_true.line393.yml true 5.39 3.63 None 13-privatized_19-publish-precision_true.line394.yml true 5.61 3.64 None 13-privatized_19-publish-precision_true.line417.yml true 6.07 3.93 None 13-privatized_19-publish-precision_true.line418.yml true 7.91 4.79 None 13-privatized_19-publish-precision_unknown_1_neg.line369.yml true 5.33 3.86 None 13-privatized_19-publish-precision_unknown_1_neg.line370.yml true 5.59 3.68 None 13-privatized_19-publish-precision_unknown_1_neg.line404.yml true 5.49 3.94 None 13-privatized_19-publish-precision_unknown_1_neg.line405.yml true 6.24 4.02 None 13-privatized_19-publish-precision_unknown_1_pos.line369.yml true 5.26 3.48 None 13-privatized_19-publish-precision_unknown_1_pos.line370.yml true 5.34 3.70 None 13-privatized_19-publish-precision_unknown_1_pos.line404.yml true 5.96 4.17 None 13-privatized_19-publish-precision_unknown_1_pos.line405.yml true 8.18 4.94 None 13-privatized_19-publish-precision_unknown_2_neg.line369.yml true 5.76 3.95 None 13-privatized_19-publish-precision_unknown_2_neg.line370.yml true 5.70 3.92 None 13-privatized_19-publish-precision_unknown_2_neg.line404.yml true 6.00 3.95 None 13-privatized_19-publish-precision_unknown_2_neg.line405.yml true 6.07 3.97 None 13-privatized_19-publish-precision_unknown_2_pos.line369.yml true 5.54 3.96 None 13-privatized_19-publish-precision_unknown_2_pos.line370.yml true 6.01 3.86 None 13-privatized_19-publish-precision_unknown_2_pos.line404.yml true 6.15 4.02 None 13-privatized_19-publish-precision_unknown_2_pos.line405.yml true 6.44 4.28 None 13-privatized_20-publish-regression_true.line393.yml true 5.29 3.51 None 13-privatized_20-publish-regression_true.line394.yml true 7.42 4.52 None 13-privatized_20-publish-regression_true.line428.yml true 5.98 3.89 None 13-privatized_20-publish-regression_true.line429.yml true 6.33 4.04 None 13-privatized_24-multiple-protecting_true.line458.yml true 5.15 3.63 None 13-privatized_24-multiple-protecting_true.line459.yml true 5.56 3.72 None 13-privatized_24-multiple-protecting_true.line586.yml true 8.14 5.03 None 13-privatized_24-multiple-protecting_true.line587.yml true 8.38 5.10 None 13-privatized_25-struct_nr_true.line355.yml true 5.56 3.88 None 13-privatized_25-struct_nr_true.line356.yml true 7.43 4.48 None 13-privatized_25-struct_nr_true.line396.yml true 5.48 3.74 None 13-privatized_25-struct_nr_true.line397.yml true 6.15 4.23 None 13-privatized_27-multiple-protecting2_true.line490.yml true 6.07 4.17 None 13-privatized_27-multiple-protecting2_true.line491.yml true 6.59 4.50 None 13-privatized_27-multiple-protecting2_true.line505.yml true 6.38 4.31 None 13-privatized_27-multiple-protecting2_true.line506.yml true 6.12 4.51 None 13-privatized_27-multiple-protecting2_true.line633.yml true 40.19 22.41 None 13-privatized_27-multiple-protecting2_true.line634.yml true 30.67 17.80 None 13-privatized_27-multiple-protecting2_true.line645.yml true 31.08 19.43 None 13-privatized_27-multiple-protecting2_true.line646.yml true 29.87 18.17 None 13-privatized_29-multiple-protecting2-vesal_true.line406.yml true 5.93 3.97 None 13-privatized_29-multiple-protecting2-vesal_true.line407.yml true 5.66 3.81 None 13-privatized_29-multiple-protecting2-vesal_true.line499.yml true 6.98 4.61 None 13-privatized_29-multiple-protecting2-vesal_true.line500.yml true 7.22 4.76 None 13-privatized_30-traces-oplus-vs-meet_true.line381.yml true 5.89 3.89 None 13-privatized_30-traces-oplus-vs-meet_true.line382.yml true 5.73 4.03 None 13-privatized_30-traces-oplus-vs-meet_true.line428.yml true 5.77 4.00 None 13-privatized_30-traces-oplus-vs-meet_true.line429.yml true 6.50 4.18 None 13-privatized_31-traces-mine-vs-mutex_true.line377.yml true 5.75 3.90 None 13-privatized_31-traces-mine-vs-mutex_true.line378.yml true 5.56 4.26 None 13-privatized_31-traces-mine-vs-mutex_true.line436.yml true 6.47 4.30 None 13-privatized_31-traces-mine-vs-mutex_true.line437.yml true 6.64 4.37 None 13-privatized_32-traces-mine-vs-oplus-vs-meet_true.line413.yml true 5.58 3.82 None 13-privatized_32-traces-mine-vs-oplus-vs-meet_true.line414.yml true 6.34 3.71 None 13-privatized_32-traces-mine-vs-oplus-vs-meet_true.line495.yml true 6.55 4.24 None 13-privatized_32-traces-mine-vs-oplus-vs-meet_true.line496.yml true 7.10 4.63 None 13-privatized_33-traces-v-matters_true.line396.yml true 5.81 3.77 None 13-privatized_33-traces-v-matters_true.line397.yml true 5.58 3.58 None 13-privatized_34-traces-minepp-L-needs-to-be-um_true.line413.yml true 5.23 3.79 None 13-privatized_34-traces-minepp-L-needs-to-be-um_true.line414.yml true 5.90 3.85 None 13-privatized_35-traces-ex-2_true.line368.yml true 5.28 3.48 None 13-privatized_35-traces-ex-2_true.line369.yml true 6.92 4.33 None 13-privatized_36-traces-ex-3_true.line355.yml true 5.23 3.54 None 13-privatized_36-traces-ex-3_true.line356.yml true 5.35 4.10 None 13-privatized_37-traces-ex-4_true.line368.yml true 5.34 3.63 None 13-privatized_37-traces-ex-4_true.line369.yml true 5.32 3.82 None 13-privatized_38-traces-ex-4-switch_true.line368.yml true 5.41 3.79 None 13-privatized_38-traces-ex-4-switch_true.line369.yml true 5.67 3.71 None 13-privatized_40-traces-ex-6_true.line355.yml true 5.35 3.56 None 13-privatized_40-traces-ex-6_true.line356.yml true 5.33 3.61 None 13-privatized_41-traces-ex-7_unknown_1_neg.line354.yml true 7.07 4.34 None 13-privatized_41-traces-ex-7_unknown_1_neg.line355.yml true 5.09 3.79 None 13-privatized_41-traces-ex-7_unknown_1_pos.line354.yml true 4.93 3.35 None 13-privatized_41-traces-ex-7_unknown_1_pos.line355.yml true 5.16 3.81 None 13-privatized_42-traces-ex-mini_true.line384.yml true 5.48 3.75 None 13-privatized_42-traces-ex-mini_true.line385.yml true 6.04 3.84 None 13-privatized_44-traces-mine2_true.line356.yml true 5.21 3.53 None 13-privatized_44-traces-mine2_true.line357.yml true 5.30 3.70 None 13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.line355.yml true 6.87 4.25 None 13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.line356.yml true 5.62 3.74 None 13-privatized_46-refine-protected1_true.line297.yml true 5.29 3.78 None 13-privatized_46-refine-protected1_true.line298.yml true 5.58 3.91 None 13-privatized_47-refine-protected2_true.line312.yml true 5.51 3.89 None 13-privatized_47-refine-protected2_true.line313.yml true 5.36 3.58 None 13-privatized_52-refine-protected-loop2-small_true.line382.yml true 5.42 3.59 None 13-privatized_52-refine-protected-loop2-small_true.line383.yml true 5.17 3.53 None ------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 19296.47 1414.56 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk29 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 ------------------------------------------------------------------------------------------------------------------------------------------------------- 09-regions_09-arraylist.line375.yml false(unreach-call) 10.64 6.28 None 09-regions_09-arraylist.line376.yml false(unreach-call) 15.52 9.87 None 09-regions_09-arraylist.line390.yml false(unreach-call) 11.31 6.56 None 09-regions_09-arraylist.line391.yml false(unreach-call) 8.38 5.36 None 09-regions_09-arraylist.line403.yml false(unreach-call) 10.28 6.58 None 09-regions_09-arraylist.line404.yml true 8.00 5.64 None 09-regions_09-arraylist.line413.yml false(unreach-call) 13.95 7.86 None 09-regions_09-arraylist.line414.yml true 11.11 6.61 None 09-regions_09-arraylist.line595.yml true 7.83 4.73 None 09-regions_09-arraylist.line596.yml true 6.61 4.21 None 09-regions_09-arraylist.line605.yml true 6.78 4.45 None 09-regions_09-arraylist.line606.yml true 6.59 4.58 None 09-regions_09-arraylist.line620.yml true 7.13 4.57 None 09-regions_09-arraylist.line621.yml true 8.44 5.18 None 09-regions_09-arraylist.line651.yml true 6.87 4.34 None 09-regions_09-arraylist.line652.yml true 7.03 4.65 None 09-regions_09-arraylist.line661.yml true 5.96 4.19 None 09-regions_09-arraylist.line662.yml true 6.37 4.51 None 09-regions_09-arraylist.line675.yml true 8.03 4.82 None 09-regions_09-arraylist.line676.yml true 7.58 4.69 None 09-regions_09-arraylist.line690.yml true 9.97 6.11 None 09-regions_09-arraylist.line691.yml true 11.77 8.53 None 09-regions_09-arraylist.line703.yml true 6.78 4.43 None 09-regions_09-arraylist.line704.yml true 8.61 5.12 None 09-regions_09-arraylist.line713.yml true 6.89 4.59 None 09-regions_09-arraylist.line714.yml true 9.54 5.59 None 09-regions_09-arraylist.line729.yml true 8.46 5.07 None 09-regions_09-arraylist.line730.yml true 8.02 4.89 None 09-regions_09-arraylist.line752.yml false(unreach-call) 8.53 5.27 None 09-regions_09-arraylist.line753.yml false(unreach-call) 10.12 5.87 None 09-regions_09-arraylist.line762.yml false(unreach-call) 25.25 17.48 None 09-regions_09-arraylist.line763.yml false(unreach-call) 51.10 34.05 None 09-regions_09-arraylist.line776.yml false(unreach-call) 29.41 21.15 None 09-regions_09-arraylist.line777.yml false(unreach-call) 35.19 24.35 None 09-regions_16-arrayloop_rc.line345.yml OUT OF MEMORY 172.07 110.04 None 09-regions_16-arrayloop_rc.line346.yml OUT OF MEMORY 102.97 71.20 None 09-regions_16-arrayloop_rc.line355.yml OUT OF MEMORY 175.81 116.00 None 09-regions_16-arrayloop_rc.line356.yml false(unreach-call) 107.25 64.97 None 09-regions_16-arrayloop_rc.line369.yml false(unreach-call) 129.83 81.80 None 09-regions_16-arrayloop_rc.line370.yml false(unreach-call) 217.01 146.17 None 09-regions_16-arrayloop_rc.line384.yml TIMEOUT 901.89 823.04 None 09-regions_16-arrayloop_rc.line385.yml TIMEOUT 901.13 779.15 None 09-regions_16-arrayloop_rc.line397.yml TIMEOUT 902.19 857.69 None 09-regions_16-arrayloop_rc.line398.yml false(unreach-call) 102.21 67.00 None 09-regions_16-arrayloop_rc.line407.yml OUT OF MEMORY 129.34 83.32 None 09-regions_16-arrayloop_rc.line408.yml false(unreach-call) 81.50 55.80 None 09-regions_16-arrayloop_rc.line570.yml true 6.06 3.92 None 09-regions_16-arrayloop_rc.line571.yml true 6.02 3.88 None 09-regions_16-arrayloop_rc.line580.yml true 6.02 3.96 None 09-regions_16-arrayloop_rc.line581.yml true 8.23 4.90 None 09-regions_16-arrayloop_rc.line595.yml true 6.61 4.22 None 09-regions_16-arrayloop_rc.line596.yml true 136.73 94.88 None 09-regions_16-arrayloop_rc.line613.yml true 15.53 8.43 None 09-regions_16-arrayloop_rc.line614.yml true 14.77 8.35 None 09-regions_16-arrayloop_rc.line663.yml OUT OF MEMORY 125.80 79.89 None 09-regions_16-arrayloop_rc.line664.yml OUT OF MEMORY 135.87 78.05 None 09-regions_16-arrayloop_rc.line673.yml OUT OF MEMORY 101.12 65.93 None 09-regions_16-arrayloop_rc.line674.yml false(unreach-call) 81.88 57.64 None 09-regions_16-arrayloop_rc.line687.yml false(unreach-call) 24.74 13.89 None 09-regions_16-arrayloop_rc.line688.yml false(unreach-call) 205.44 142.92 None 09-regions_16-arrayloop_rc.line702.yml TIMEOUT 903.23 830.68 None 09-regions_16-arrayloop_rc.line703.yml TIMEOUT 901.57 851.86 None 09-regions_16-arrayloop_rc.line715.yml OUT OF MEMORY 101.87 68.44 None 09-regions_16-arrayloop_rc.line716.yml false(unreach-call) 90.61 64.46 None 09-regions_16-arrayloop_rc.line725.yml OUT OF MEMORY 78.10 51.50 None 09-regions_16-arrayloop_rc.line726.yml false(unreach-call) 96.13 61.77 None 09-regions_16-arrayloop_rc.line738.yml false(unreach-call) 96.33 65.81 None 09-regions_16-arrayloop_rc.line739.yml false(unreach-call) 81.10 56.29 None 09-regions_16-arrayloop_rc.line748.yml false(unreach-call) 165.36 112.99 None 09-regions_16-arrayloop_rc.line749.yml false(unreach-call) 168.19 119.19 None 09-regions_16-arrayloop_rc.line762.yml TIMEOUT 901.84 675.53 None 09-regions_16-arrayloop_rc.line763.yml TIMEOUT 901.79 772.80 None 09-regions_17-arrayloop_nr.line345.yml OUT OF MEMORY 92.26 58.86 None 09-regions_17-arrayloop_nr.line346.yml OUT OF MEMORY 94.30 58.53 None 09-regions_17-arrayloop_nr.line355.yml OUT OF MEMORY 204.56 130.90 None 09-regions_17-arrayloop_nr.line356.yml false(unreach-call) 55.95 33.77 None 09-regions_17-arrayloop_nr.line369.yml false(unreach-call) 49.00 26.14 None 09-regions_17-arrayloop_nr.line370.yml false(unreach-call) 143.29 108.36 None 09-regions_17-arrayloop_nr.line384.yml TIMEOUT 901.84 857.76 None 09-regions_17-arrayloop_nr.line385.yml TIMEOUT 905.29 734.74 None 09-regions_17-arrayloop_nr.line397.yml TIMEOUT 905.68 819.55 None 09-regions_17-arrayloop_nr.line398.yml false(unreach-call) 93.66 56.41 None 09-regions_17-arrayloop_nr.line407.yml OUT OF MEMORY 98.50 57.33 None 09-regions_17-arrayloop_nr.line408.yml false(unreach-call) 79.06 45.33 None 09-regions_17-arrayloop_nr.line570.yml true 7.72 4.70 None 09-regions_17-arrayloop_nr.line571.yml true 7.78 4.73 None 09-regions_17-arrayloop_nr.line580.yml true 7.57 4.61 None 09-regions_17-arrayloop_nr.line581.yml true 7.56 4.65 None 09-regions_17-arrayloop_nr.line595.yml true 8.29 5.13 None 09-regions_17-arrayloop_nr.line596.yml true 126.48 88.82 None 09-regions_17-arrayloop_nr.line613.yml true 18.47 10.11 None 09-regions_17-arrayloop_nr.line614.yml true 14.48 8.66 None 09-regions_17-arrayloop_nr.line663.yml OUT OF MEMORY 170.08 103.12 None 09-regions_17-arrayloop_nr.line664.yml false(unreach-call) 138.03 100.13 None 09-regions_17-arrayloop_nr.line673.yml OUT OF MEMORY 132.81 83.14 None 09-regions_17-arrayloop_nr.line674.yml false(unreach-call) 86.62 56.64 None 09-regions_17-arrayloop_nr.line687.yml false(unreach-call) 31.22 16.37 None 09-regions_17-arrayloop_nr.line688.yml false(unreach-call) 196.37 132.75 None 09-regions_17-arrayloop_nr.line702.yml TIMEOUT 900.97 847.36 None 09-regions_17-arrayloop_nr.line703.yml TIMEOUT 901.75 772.41 None 09-regions_17-arrayloop_nr.line715.yml OUT OF MEMORY 132.33 79.62 None 09-regions_17-arrayloop_nr.line716.yml false(unreach-call) 94.33 61.51 None 09-regions_17-arrayloop_nr.line725.yml OUT OF MEMORY 87.98 50.13 None 09-regions_17-arrayloop_nr.line726.yml false(unreach-call) 101.87 68.30 None 09-regions_17-arrayloop_nr.line738.yml false(unreach-call) 128.51 86.43 None 09-regions_17-arrayloop_nr.line739.yml false(unreach-call) 92.41 61.28 None 09-regions_17-arrayloop_nr.line748.yml false(unreach-call) 142.23 94.85 None 09-regions_17-arrayloop_nr.line749.yml false(unreach-call) 162.87 109.11 None 09-regions_17-arrayloop_nr.line762.yml TIMEOUT 904.26 673.67 None 09-regions_17-arrayloop_nr.line763.yml TIMEOUT 906.59 741.09 None 09-regions_26-alloc_region_rc.line327.yml false(unreach-call) 8.10 5.18 None 09-regions_26-alloc_region_rc.line328.yml false(unreach-call) 7.49 4.84 None 09-regions_26-alloc_region_rc.line337.yml false(unreach-call) 7.62 4.80 None 09-regions_26-alloc_region_rc.line338.yml false(unreach-call) 7.66 4.84 None 09-regions_26-alloc_region_rc.line364.yml false(unreach-call) 8.59 5.40 None 09-regions_26-alloc_region_rc.line365.yml false(unreach-call) 9.04 5.66 None 09-regions_26-alloc_region_rc.line375.yml false(unreach-call) 8.26 5.27 None 09-regions_26-alloc_region_rc.line376.yml false(unreach-call) 8.17 5.26 None 09-regions_26-alloc_region_rc.line386.yml false(unreach-call) 8.03 5.24 None 09-regions_26-alloc_region_rc.line387.yml false(unreach-call) 7.97 5.23 None 09-regions_26-alloc_region_rc.line409.yml false(unreach-call) 10.07 6.13 None 09-regions_26-alloc_region_rc.line410.yml false(unreach-call) 8.35 5.36 None 09-regions_26-alloc_region_rc.line421.yml false(unreach-call) 8.63 5.50 None 09-regions_26-alloc_region_rc.line422.yml false(unreach-call) 8.58 5.63 None 09-regions_26-alloc_region_rc.line608.yml true 6.99 4.40 None 09-regions_26-alloc_region_rc.line609.yml true 9.92 5.82 None 09-regions_26-alloc_region_rc.line618.yml true 6.62 4.37 None 09-regions_26-alloc_region_rc.line619.yml true 6.15 4.08 None 09-regions_26-alloc_region_rc.line634.yml true 7.04 4.40 None 09-regions_26-alloc_region_rc.line635.yml true 7.76 4.94 None 09-regions_26-alloc_region_rc.line644.yml true 7.73 4.76 None 09-regions_26-alloc_region_rc.line645.yml true 7.78 4.91 None 09-regions_26-alloc_region_rc.line659.yml true 6.22 4.06 None 09-regions_26-alloc_region_rc.line660.yml true 6.74 4.41 None 09-regions_26-alloc_region_rc.line692.yml false(unreach-call) 9.46 5.35 None 09-regions_26-alloc_region_rc.line693.yml false(unreach-call) 7.61 4.85 None 09-regions_26-alloc_region_rc.line702.yml false(unreach-call) 7.56 4.53 None 09-regions_26-alloc_region_rc.line703.yml false(unreach-call) 7.91 4.92 None 09-regions_26-alloc_region_rc.line729.yml false(unreach-call) 10.14 5.68 None 09-regions_26-alloc_region_rc.line730.yml false(unreach-call) 8.81 5.10 None 09-regions_26-alloc_region_rc.line740.yml false(unreach-call) 8.00 4.66 None 09-regions_26-alloc_region_rc.line741.yml false(unreach-call) 8.32 4.95 None 09-regions_26-alloc_region_rc.line751.yml false(unreach-call) 9.97 5.67 None 09-regions_26-alloc_region_rc.line752.yml false(unreach-call) 8.46 5.14 None 09-regions_26-alloc_region_rc.line774.yml false(unreach-call) 8.25 4.87 None 09-regions_26-alloc_region_rc.line775.yml false(unreach-call) 8.34 5.00 None 09-regions_26-alloc_region_rc.line789.yml false(unreach-call) 60.77 43.34 None 09-regions_26-alloc_region_rc.line790.yml false(unreach-call) 58.19 47.28 None 09-regions_26-alloc_region_rc.line806.yml false(unreach-call) 48.68 31.08 None 09-regions_26-alloc_region_rc.line807.yml false(unreach-call) 73.07 58.86 None 09-regions_26-alloc_region_rc.line817.yml false(unreach-call) 8.32 4.93 None 09-regions_26-alloc_region_rc.line818.yml false(unreach-call) 8.95 5.19 None 09-regions_28-list2alloc.line303.yml false(unreach-call) 10.20 6.12 None 09-regions_28-list2alloc.line304.yml true 7.42 5.09 None 09-regions_28-list2alloc.line315.yml false(unreach-call) 10.51 5.99 None 09-regions_28-list2alloc.line316.yml true 6.81 4.69 None 09-regions_28-list2alloc.line338.yml false(unreach-call) 7.82 5.06 None 09-regions_28-list2alloc.line339.yml true 7.17 5.02 None 09-regions_28-list2alloc.line350.yml false(unreach-call) 9.95 5.95 None 09-regions_28-list2alloc.line351.yml true 7.38 4.88 None 09-regions_28-list2alloc.line500.yml true 5.27 3.65 None 09-regions_28-list2alloc.line501.yml true 5.65 3.74 None 09-regions_28-list2alloc.line510.yml true 7.14 4.42 None 09-regions_28-list2alloc.line511.yml true 5.73 4.03 None 09-regions_28-list2alloc.line547.yml true 5.56 3.85 None 09-regions_28-list2alloc.line548.yml true 6.18 3.97 None 09-regions_28-list2alloc.line557.yml true 5.64 3.98 None 09-regions_28-list2alloc.line558.yml true 7.61 4.62 None 09-regions_28-list2alloc.line576.yml true 6.00 3.88 None 09-regions_28-list2alloc.line577.yml true 6.57 4.38 None 09-regions_28-list2alloc.line603.yml true 6.65 4.41 None 09-regions_28-list2alloc.line604.yml true 8.50 5.21 None 10-synch_01-thread_unique.line268.yml true 4.75 3.26 None 10-synch_01-thread_unique.line269.yml true 6.28 3.97 None 10-synch_01-thread_unique.line280.yml true 5.09 3.34 None 10-synch_01-thread_unique.line281.yml true 5.35 3.73 None 10-synch_03-two_unique.line299.yml true 5.47 3.91 None 10-synch_03-two_unique.line300.yml true 5.59 3.99 None 10-synch_03-two_unique.line314.yml true 5.70 4.19 None 10-synch_03-two_unique.line315.yml true 5.57 3.88 None 13-privatized_01-priv_nr_true.line368.yml true 6.87 4.25 None 13-privatized_01-priv_nr_true.line369.yml true 5.89 3.80 None 13-privatized_01-priv_nr_true.line409.yml true 6.15 4.05 None 13-privatized_01-priv_nr_true.line410.yml true 6.32 4.42 None 13-privatized_03-priv_inv.line385.yml true 5.56 3.79 None 13-privatized_03-priv_inv.line386.yml true 5.46 3.63 None 13-privatized_03-priv_inv.line416.yml true 5.70 3.75 None 13-privatized_03-priv_inv.line417.yml true 6.05 3.91 None 13-privatized_04-priv_multi_true.line1157.yml true 11.04 6.51 None 13-privatized_04-priv_multi_true.line1158.yml true 8.28 5.61 None 13-privatized_04-priv_multi_true.line1172.yml true 9.01 5.82 None 13-privatized_04-priv_multi_true.line1173.yml true 8.85 6.13 None 13-privatized_04-priv_multi_true.line1187.yml true 9.42 6.16 None 13-privatized_04-priv_multi_true.line1188.yml true 9.54 6.00 None 13-privatized_18-first-reads_true.line334.yml true 5.53 3.72 None 13-privatized_18-first-reads_true.line335.yml true 5.62 3.83 None 13-privatized_18-first-reads_true.line369.yml true 7.27 4.45 None 13-privatized_18-first-reads_true.line370.yml true 6.38 4.22 None 13-privatized_18-first-reads_unknown_1_neg.line334.yml true 5.24 3.69 None 13-privatized_18-first-reads_unknown_1_neg.line335.yml true 5.58 3.63 None 13-privatized_18-first-reads_unknown_1_neg.line358.yml true 5.65 3.87 None 13-privatized_18-first-reads_unknown_1_neg.line359.yml true 5.72 3.72 None 13-privatized_18-first-reads_unknown_1_pos.line334.yml true 5.30 3.57 None 13-privatized_18-first-reads_unknown_1_pos.line335.yml true 6.81 4.23 None 13-privatized_18-first-reads_unknown_1_pos.line358.yml true 6.16 3.74 None 13-privatized_18-first-reads_unknown_1_pos.line359.yml true 5.78 4.20 None 13-privatized_18-first-reads_unknown_2_neg.line334.yml true 5.20 3.49 None 13-privatized_18-first-reads_unknown_2_neg.line335.yml true 5.43 3.94 None 13-privatized_18-first-reads_unknown_2_neg.line358.yml true 5.58 3.60 None 13-privatized_18-first-reads_unknown_2_neg.line359.yml true 5.79 4.04 None 13-privatized_18-first-reads_unknown_2_pos.line334.yml true 4.80 3.24 None 13-privatized_18-first-reads_unknown_2_pos.line335.yml true 5.45 3.64 None 13-privatized_18-first-reads_unknown_2_pos.line358.yml true 7.51 4.30 None 13-privatized_18-first-reads_unknown_2_pos.line359.yml true 5.85 4.15 None 13-privatized_19-publish-precision_true.line393.yml true 5.62 3.68 None 13-privatized_19-publish-precision_true.line394.yml true 5.85 4.07 None 13-privatized_19-publish-precision_true.line417.yml true 5.52 3.96 None 13-privatized_19-publish-precision_true.line418.yml true 6.44 4.12 None 13-privatized_19-publish-precision_unknown_1_neg.line369.yml true 5.17 3.54 None 13-privatized_19-publish-precision_unknown_1_neg.line370.yml true 6.12 3.76 None 13-privatized_19-publish-precision_unknown_1_neg.line404.yml true 7.40 4.52 None 13-privatized_19-publish-precision_unknown_1_neg.line405.yml true 6.23 4.11 None 13-privatized_19-publish-precision_unknown_1_pos.line369.yml true 5.99 3.88 None 13-privatized_19-publish-precision_unknown_1_pos.line370.yml true 7.08 4.39 None 13-privatized_19-publish-precision_unknown_1_pos.line404.yml true 5.90 4.09 None 13-privatized_19-publish-precision_unknown_1_pos.line405.yml true 6.36 4.53 None 13-privatized_19-publish-precision_unknown_2_neg.line369.yml true 5.73 3.70 None 13-privatized_19-publish-precision_unknown_2_neg.line370.yml true 5.47 3.64 None 13-privatized_19-publish-precision_unknown_2_neg.line404.yml true 6.23 4.03 None 13-privatized_19-publish-precision_unknown_2_neg.line405.yml true 5.98 4.58 None 13-privatized_19-publish-precision_unknown_2_pos.line369.yml true 6.80 4.05 None 13-privatized_19-publish-precision_unknown_2_pos.line370.yml true 6.64 4.17 None 13-privatized_19-publish-precision_unknown_2_pos.line404.yml true 6.08 4.06 None 13-privatized_19-publish-precision_unknown_2_pos.line405.yml true 6.19 4.07 None 13-privatized_20-publish-regression_true.line393.yml true 5.95 3.86 None 13-privatized_20-publish-regression_true.line394.yml true 5.80 4.11 None 13-privatized_20-publish-regression_true.line428.yml true 5.76 3.94 None 13-privatized_20-publish-regression_true.line429.yml true 8.09 4.85 None 13-privatized_24-multiple-protecting_true.line458.yml true 5.53 3.82 None 13-privatized_24-multiple-protecting_true.line459.yml true 7.17 4.38 None 13-privatized_24-multiple-protecting_true.line586.yml true 7.41 4.60 None 13-privatized_24-multiple-protecting_true.line587.yml true 7.68 4.89 None 13-privatized_25-struct_nr_true.line355.yml true 5.65 3.77 None 13-privatized_25-struct_nr_true.line356.yml true 5.74 3.77 None 13-privatized_25-struct_nr_true.line396.yml true 6.10 4.05 None 13-privatized_25-struct_nr_true.line397.yml true 5.52 3.84 None 13-privatized_27-multiple-protecting2_true.line490.yml true 7.71 4.93 None 13-privatized_27-multiple-protecting2_true.line491.yml true 8.31 5.20 None 13-privatized_27-multiple-protecting2_true.line505.yml true 6.49 4.37 None 13-privatized_27-multiple-protecting2_true.line506.yml true 6.18 4.50 None 13-privatized_27-multiple-protecting2_true.line633.yml true 23.18 14.02 None 13-privatized_27-multiple-protecting2_true.line634.yml true 24.14 15.46 None 13-privatized_27-multiple-protecting2_true.line645.yml true 26.91 16.30 None 13-privatized_27-multiple-protecting2_true.line646.yml true 26.05 16.78 None 13-privatized_29-multiple-protecting2-vesal_true.line406.yml true 7.05 4.33 None 13-privatized_29-multiple-protecting2-vesal_true.line407.yml true 6.92 4.34 None 13-privatized_29-multiple-protecting2-vesal_true.line499.yml true 7.16 4.49 None 13-privatized_29-multiple-protecting2-vesal_true.line500.yml true 7.08 4.48 None 13-privatized_30-traces-oplus-vs-meet_true.line381.yml true 7.17 4.36 None 13-privatized_30-traces-oplus-vs-meet_true.line382.yml true 7.54 4.58 None 13-privatized_30-traces-oplus-vs-meet_true.line428.yml true 6.61 4.10 None 13-privatized_30-traces-oplus-vs-meet_true.line429.yml true 6.01 3.99 None 13-privatized_31-traces-mine-vs-mutex_true.line377.yml true 6.72 4.17 None 13-privatized_31-traces-mine-vs-mutex_true.line378.yml true 7.38 4.51 None 13-privatized_31-traces-mine-vs-mutex_true.line436.yml true 6.30 4.14 None 13-privatized_31-traces-mine-vs-mutex_true.line437.yml true 6.71 4.46 None 13-privatized_32-traces-mine-vs-oplus-vs-meet_true.line413.yml true 5.96 3.71 None 13-privatized_32-traces-mine-vs-oplus-vs-meet_true.line414.yml true 5.73 4.04 None 13-privatized_32-traces-mine-vs-oplus-vs-meet_true.line495.yml true 8.42 5.02 None 13-privatized_32-traces-mine-vs-oplus-vs-meet_true.line496.yml true 6.56 4.55 None 13-privatized_33-traces-v-matters_true.line396.yml true 6.78 4.18 None 13-privatized_33-traces-v-matters_true.line397.yml true 5.52 3.66 None 13-privatized_34-traces-minepp-L-needs-to-be-um_true.line413.yml true 5.53 3.84 None 13-privatized_34-traces-minepp-L-needs-to-be-um_true.line414.yml true 5.78 3.73 None 13-privatized_35-traces-ex-2_true.line368.yml true 5.41 4.01 None 13-privatized_35-traces-ex-2_true.line369.yml true 5.06 3.50 None 13-privatized_36-traces-ex-3_true.line355.yml true 5.30 3.52 None 13-privatized_36-traces-ex-3_true.line356.yml true 7.04 4.37 None 13-privatized_37-traces-ex-4_true.line368.yml true 7.24 4.18 None 13-privatized_37-traces-ex-4_true.line369.yml true 5.83 3.99 None 13-privatized_38-traces-ex-4-switch_true.line368.yml true 5.70 3.86 None 13-privatized_38-traces-ex-4-switch_true.line369.yml true 5.65 3.67 None 13-privatized_40-traces-ex-6_true.line355.yml true 5.11 3.65 None 13-privatized_40-traces-ex-6_true.line356.yml true 5.12 3.60 None 13-privatized_41-traces-ex-7_unknown_1_neg.line354.yml true 5.13 3.44 None 13-privatized_41-traces-ex-7_unknown_1_neg.line355.yml true 5.52 4.01 None 13-privatized_41-traces-ex-7_unknown_1_pos.line354.yml true 5.53 3.65 None 13-privatized_41-traces-ex-7_unknown_1_pos.line355.yml true 5.50 3.65 None 13-privatized_42-traces-ex-mini_true.line384.yml true 6.83 4.23 None 13-privatized_42-traces-ex-mini_true.line385.yml true 7.04 4.34 None 13-privatized_44-traces-mine2_true.line356.yml true 5.26 3.77 None 13-privatized_44-traces-mine2_true.line357.yml true 5.51 3.86 None 13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.line355.yml true 5.04 3.38 None 13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.line356.yml true 5.54 3.61 None 13-privatized_46-refine-protected1_true.line297.yml true 5.71 3.60 None 13-privatized_46-refine-protected1_true.line298.yml true 5.00 3.51 None 13-privatized_47-refine-protected2_true.line312.yml true 4.88 3.47 None 13-privatized_47-refine-protected2_true.line313.yml true 6.47 4.07 None 13-privatized_52-refine-protected-loop2-small_true.line382.yml true 6.66 4.18 None 13-privatized_52-refine-protected-loop2-small_true.line383.yml true 5.15 3.62 None ------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 20395.84 1572.78 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk29 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 ------------------------------------------------------------------------------------------------------------------------------------------------------- 09-regions_09-arraylist.line375.yml false(unreach-call) 10.67 7.00 None 09-regions_09-arraylist.line376.yml false(unreach-call) 15.11 9.82 None 09-regions_09-arraylist.line390.yml false(unreach-call) 11.08 6.57 None 09-regions_09-arraylist.line391.yml false(unreach-call) 8.80 5.58 None 09-regions_09-arraylist.line403.yml false(unreach-call) 10.52 6.56 None 09-regions_09-arraylist.line404.yml true 8.63 5.97 None 09-regions_09-arraylist.line413.yml false(unreach-call) 14.21 8.07 None 09-regions_09-arraylist.line414.yml true 11.53 7.14 None 09-regions_09-arraylist.line595.yml true 7.94 4.85 None 09-regions_09-arraylist.line596.yml true 6.75 4.28 None 09-regions_09-arraylist.line605.yml true 6.50 4.28 None 09-regions_09-arraylist.line606.yml true 6.36 4.59 None 09-regions_09-arraylist.line620.yml true 7.00 4.55 None 09-regions_09-arraylist.line621.yml true 8.34 5.16 None 09-regions_09-arraylist.line651.yml true 6.72 4.34 None 09-regions_09-arraylist.line652.yml true 6.85 4.52 None 09-regions_09-arraylist.line661.yml true 6.24 4.22 None 09-regions_09-arraylist.line662.yml true 6.44 4.24 None 09-regions_09-arraylist.line675.yml true 7.98 4.83 None 09-regions_09-arraylist.line676.yml true 7.16 4.53 None 09-regions_09-arraylist.line690.yml true 10.00 5.95 None 09-regions_09-arraylist.line691.yml true 12.34 8.58 None 09-regions_09-arraylist.line703.yml true 8.48 5.08 None 09-regions_09-arraylist.line704.yml true 6.92 4.45 None 09-regions_09-arraylist.line713.yml true 6.73 4.82 None 09-regions_09-arraylist.line714.yml true 9.40 5.48 None 09-regions_09-arraylist.line729.yml true 8.80 5.24 None 09-regions_09-arraylist.line730.yml true 8.31 5.11 None 09-regions_09-arraylist.line752.yml false(unreach-call) 9.18 5.60 None 09-regions_09-arraylist.line753.yml false(unreach-call) 10.15 6.59 None 09-regions_09-arraylist.line762.yml false(unreach-call) 26.23 17.46 None 09-regions_09-arraylist.line763.yml false(unreach-call) 39.54 29.32 None 09-regions_09-arraylist.line776.yml false(unreach-call) 40.61 25.44 None 09-regions_09-arraylist.line777.yml false(unreach-call) 36.03 24.09 None 09-regions_16-arrayloop_rc.line345.yml OUT OF MEMORY 91.72 59.59 None 09-regions_16-arrayloop_rc.line346.yml OUT OF MEMORY 195.05 129.80 None 09-regions_16-arrayloop_rc.line355.yml OUT OF MEMORY 101.21 62.60 None 09-regions_16-arrayloop_rc.line356.yml false(unreach-call) 91.63 59.42 None 09-regions_16-arrayloop_rc.line369.yml false(unreach-call) 118.24 72.22 None 09-regions_16-arrayloop_rc.line370.yml false(unreach-call) 224.87 152.45 None 09-regions_16-arrayloop_rc.line384.yml TIMEOUT 901.72 821.89 None 09-regions_16-arrayloop_rc.line385.yml TIMEOUT 901.52 725.82 None 09-regions_16-arrayloop_rc.line397.yml TIMEOUT 902.39 853.32 None 09-regions_16-arrayloop_rc.line398.yml false(unreach-call) 94.81 61.91 None 09-regions_16-arrayloop_rc.line407.yml OUT OF MEMORY 558.53 343.33 None 09-regions_16-arrayloop_rc.line408.yml false(unreach-call) 91.09 61.60 None 09-regions_16-arrayloop_rc.line570.yml true 7.78 4.73 None 09-regions_16-arrayloop_rc.line571.yml true 6.62 4.43 None 09-regions_16-arrayloop_rc.line580.yml true 7.87 4.83 None 09-regions_16-arrayloop_rc.line581.yml true 6.44 4.20 None 09-regions_16-arrayloop_rc.line595.yml true 8.29 5.02 None 09-regions_16-arrayloop_rc.line596.yml true 96.82 79.66 None 09-regions_16-arrayloop_rc.line613.yml true 20.31 10.82 None 09-regions_16-arrayloop_rc.line614.yml true 20.36 11.10 None 09-regions_16-arrayloop_rc.line663.yml OUT OF MEMORY 259.45 179.94 None 09-regions_16-arrayloop_rc.line664.yml OUT OF MEMORY 147.16 98.10 None 09-regions_16-arrayloop_rc.line673.yml OUT OF MEMORY 88.91 54.30 None 09-regions_16-arrayloop_rc.line674.yml false(unreach-call) 119.70 79.83 None 09-regions_16-arrayloop_rc.line687.yml false(unreach-call) 27.24 14.96 None 09-regions_16-arrayloop_rc.line688.yml false(unreach-call) 219.06 149.73 None 09-regions_16-arrayloop_rc.line702.yml TIMEOUT 902.48 829.16 None 09-regions_16-arrayloop_rc.line703.yml TIMEOUT 903.48 843.03 None 09-regions_16-arrayloop_rc.line715.yml OUT OF MEMORY 145.05 88.40 None 09-regions_16-arrayloop_rc.line716.yml false(unreach-call) 100.06 69.72 None 09-regions_16-arrayloop_rc.line725.yml OUT OF MEMORY 100.25 64.44 None 09-regions_16-arrayloop_rc.line726.yml false(unreach-call) 122.95 83.03 None 09-regions_16-arrayloop_rc.line738.yml OUT OF MEMORY 141.44 90.00 None 09-regions_16-arrayloop_rc.line739.yml false(unreach-call) 101.10 73.38 None 09-regions_16-arrayloop_rc.line748.yml false(unreach-call) 137.84 103.53 None 09-regions_16-arrayloop_rc.line749.yml false(unreach-call) 156.83 111.43 None 09-regions_16-arrayloop_rc.line762.yml TIMEOUT 908.75 677.98 None 09-regions_16-arrayloop_rc.line763.yml TIMEOUT 904.13 714.40 None 09-regions_17-arrayloop_nr.line345.yml OUT OF MEMORY 91.22 56.88 None 09-regions_17-arrayloop_nr.line346.yml OUT OF MEMORY 97.05 64.48 None 09-regions_17-arrayloop_nr.line355.yml OUT OF MEMORY 81.47 53.02 None 09-regions_17-arrayloop_nr.line356.yml false(unreach-call) 82.74 47.05 None 09-regions_17-arrayloop_nr.line369.yml false(unreach-call) 33.21 17.75 None 09-regions_17-arrayloop_nr.line370.yml false(unreach-call) 145.38 115.60 None 09-regions_17-arrayloop_nr.line384.yml TIMEOUT 902.38 810.41 None 09-regions_17-arrayloop_nr.line385.yml TIMEOUT 901.50 744.99 None 09-regions_17-arrayloop_nr.line397.yml OUT OF MEMORY 550.17 381.19 None 09-regions_17-arrayloop_nr.line398.yml false(unreach-call) 105.00 60.99 None 09-regions_17-arrayloop_nr.line407.yml OUT OF MEMORY 101.26 63.05 None 09-regions_17-arrayloop_nr.line408.yml false(unreach-call) 65.85 42.30 None 09-regions_17-arrayloop_nr.line570.yml true 8.18 4.93 None 09-regions_17-arrayloop_nr.line571.yml true 8.36 4.96 None 09-regions_17-arrayloop_nr.line580.yml true 6.25 4.08 None 09-regions_17-arrayloop_nr.line581.yml true 8.14 4.84 None 09-regions_17-arrayloop_nr.line595.yml true 6.79 4.38 None 09-regions_17-arrayloop_nr.line596.yml true 130.37 90.95 None 09-regions_17-arrayloop_nr.line613.yml true 15.46 8.74 None 09-regions_17-arrayloop_nr.line614.yml true 16.38 9.27 None 09-regions_17-arrayloop_nr.line663.yml OUT OF MEMORY 80.21 50.85 None 09-regions_17-arrayloop_nr.line664.yml OUT OF MEMORY 146.01 96.19 None 09-regions_17-arrayloop_nr.line673.yml OUT OF MEMORY 66.70 41.28 None 09-regions_17-arrayloop_nr.line674.yml false(unreach-call) 86.14 59.81 None 09-regions_17-arrayloop_nr.line687.yml false(unreach-call) 25.94 14.23 None 09-regions_17-arrayloop_nr.line688.yml false(unreach-call) 150.45 113.08 None 09-regions_17-arrayloop_nr.line702.yml TIMEOUT 900.61 724.24 None 09-regions_17-arrayloop_nr.line703.yml TIMEOUT 901.94 823.38 None 09-regions_17-arrayloop_nr.line715.yml OUT OF MEMORY 130.33 84.63 None 09-regions_17-arrayloop_nr.line716.yml false(unreach-call) 90.75 63.79 None 09-regions_17-arrayloop_nr.line725.yml OUT OF MEMORY 102.73 61.80 None 09-regions_17-arrayloop_nr.line726.yml false(unreach-call) 88.95 63.65 None 09-regions_17-arrayloop_nr.line738.yml OUT OF MEMORY 77.53 47.02 None 09-regions_17-arrayloop_nr.line739.yml false(unreach-call) 77.36 52.49 None 09-regions_17-arrayloop_nr.line748.yml false(unreach-call) 132.50 89.49 None 09-regions_17-arrayloop_nr.line749.yml false(unreach-call) 132.97 96.29 None 09-regions_17-arrayloop_nr.line762.yml TIMEOUT 904.53 698.31 None 09-regions_17-arrayloop_nr.line763.yml TIMEOUT 902.45 752.54 None 09-regions_26-alloc_region_rc.line327.yml false(unreach-call) 8.18 5.07 None 09-regions_26-alloc_region_rc.line328.yml false(unreach-call) 8.36 5.27 None 09-regions_26-alloc_region_rc.line337.yml false(unreach-call) 7.15 4.85 None 09-regions_26-alloc_region_rc.line338.yml false(unreach-call) 7.92 5.03 None 09-regions_26-alloc_region_rc.line364.yml false(unreach-call) 8.60 5.62 None 09-regions_26-alloc_region_rc.line365.yml false(unreach-call) 9.67 5.62 None 09-regions_26-alloc_region_rc.line375.yml false(unreach-call) 8.34 5.30 None 09-regions_26-alloc_region_rc.line376.yml false(unreach-call) 8.93 5.57 None 09-regions_26-alloc_region_rc.line386.yml false(unreach-call) 8.36 5.45 None 09-regions_26-alloc_region_rc.line387.yml false(unreach-call) 8.84 5.34 None 09-regions_26-alloc_region_rc.line409.yml false(unreach-call) 7.73 5.30 None 09-regions_26-alloc_region_rc.line410.yml false(unreach-call) 8.50 5.43 None 09-regions_26-alloc_region_rc.line421.yml false(unreach-call) 8.42 5.38 None 09-regions_26-alloc_region_rc.line422.yml false(unreach-call) 8.63 5.53 None 09-regions_26-alloc_region_rc.line608.yml true 6.90 4.39 None 09-regions_26-alloc_region_rc.line609.yml true 8.12 4.94 None 09-regions_26-alloc_region_rc.line618.yml true 6.22 4.16 None 09-regions_26-alloc_region_rc.line619.yml true 6.60 4.22 None 09-regions_26-alloc_region_rc.line634.yml true 7.06 4.42 None 09-regions_26-alloc_region_rc.line635.yml true 7.22 4.64 None 09-regions_26-alloc_region_rc.line644.yml true 6.02 3.96 None 09-regions_26-alloc_region_rc.line645.yml true 8.36 5.13 None 09-regions_26-alloc_region_rc.line659.yml true 6.37 4.31 None 09-regions_26-alloc_region_rc.line660.yml true 6.95 4.32 None 09-regions_26-alloc_region_rc.line692.yml false(unreach-call) 8.05 4.72 None 09-regions_26-alloc_region_rc.line693.yml false(unreach-call) 7.69 4.71 None 09-regions_26-alloc_region_rc.line702.yml false(unreach-call) 7.39 4.44 None 09-regions_26-alloc_region_rc.line703.yml false(unreach-call) 8.26 4.69 None 09-regions_26-alloc_region_rc.line729.yml false(unreach-call) 8.52 5.11 None 09-regions_26-alloc_region_rc.line730.yml false(unreach-call) 8.65 5.23 None 09-regions_26-alloc_region_rc.line740.yml false(unreach-call) 8.32 4.86 None 09-regions_26-alloc_region_rc.line741.yml false(unreach-call) 8.26 5.06 None 09-regions_26-alloc_region_rc.line751.yml false(unreach-call) 8.20 4.80 None 09-regions_26-alloc_region_rc.line752.yml false(unreach-call) 8.37 5.17 None 09-regions_26-alloc_region_rc.line774.yml false(unreach-call) 8.15 4.82 None 09-regions_26-alloc_region_rc.line775.yml false(unreach-call) 8.87 5.23 None 09-regions_26-alloc_region_rc.line789.yml false(unreach-call) 61.63 44.54 None 09-regions_26-alloc_region_rc.line790.yml false(unreach-call) 63.34 51.81 None 09-regions_26-alloc_region_rc.line806.yml false(unreach-call) 43.05 28.80 None 09-regions_26-alloc_region_rc.line807.yml false(unreach-call) 78.92 63.64 None 09-regions_26-alloc_region_rc.line817.yml false(unreach-call) 12.01 6.59 None 09-regions_26-alloc_region_rc.line818.yml false(unreach-call) 13.09 7.02 None 09-regions_28-list2alloc.line303.yml false(unreach-call) 7.96 5.06 None 09-regions_28-list2alloc.line304.yml true 10.83 6.47 None 09-regions_28-list2alloc.line315.yml false(unreach-call) 7.98 5.04 None 09-regions_28-list2alloc.line316.yml true 8.83 5.44 None 09-regions_28-list2alloc.line338.yml false(unreach-call) 7.96 4.95 None 09-regions_28-list2alloc.line339.yml true 7.43 4.79 None 09-regions_28-list2alloc.line350.yml false(unreach-call) 9.94 6.02 None 09-regions_28-list2alloc.line351.yml true 7.57 4.92 None 09-regions_28-list2alloc.line500.yml true 5.73 3.77 None 09-regions_28-list2alloc.line501.yml true 6.10 3.91 None 09-regions_28-list2alloc.line510.yml true 5.61 3.66 None 09-regions_28-list2alloc.line511.yml true 7.72 4.72 None 09-regions_28-list2alloc.line547.yml true 5.96 3.99 None 09-regions_28-list2alloc.line548.yml true 5.96 3.94 None 09-regions_28-list2alloc.line557.yml true 5.70 3.79 None 09-regions_28-list2alloc.line558.yml true 6.08 3.87 None 09-regions_28-list2alloc.line576.yml true 6.21 4.23 None 09-regions_28-list2alloc.line577.yml true 8.76 5.21 None 09-regions_28-list2alloc.line603.yml true 7.03 4.67 None 09-regions_28-list2alloc.line604.yml true 8.68 5.35 None 10-synch_01-thread_unique.line268.yml true 4.75 3.24 None 10-synch_01-thread_unique.line269.yml true 4.89 3.53 None 10-synch_01-thread_unique.line280.yml true 4.74 3.43 None 10-synch_01-thread_unique.line281.yml true 6.27 4.06 None 10-synch_03-two_unique.line299.yml true 5.43 3.83 None 10-synch_03-two_unique.line300.yml true 5.67 3.99 None 10-synch_03-two_unique.line314.yml true 5.14 3.65 None 10-synch_03-two_unique.line315.yml true 5.40 3.93 None 13-privatized_01-priv_nr_true.line368.yml true 5.48 3.69 None 13-privatized_01-priv_nr_true.line369.yml true 7.29 4.47 None 13-privatized_01-priv_nr_true.line409.yml true 6.38 4.06 None 13-privatized_01-priv_nr_true.line410.yml true 6.50 4.06 None 13-privatized_03-priv_inv.line385.yml true 5.76 3.74 None 13-privatized_03-priv_inv.line386.yml true 5.95 4.14 None 13-privatized_03-priv_inv.line416.yml true 5.59 3.89 None 13-privatized_03-priv_inv.line417.yml true 6.20 4.10 None 13-privatized_04-priv_multi_true.line1157.yml true 12.71 7.46 None 13-privatized_04-priv_multi_true.line1158.yml true 10.61 6.62 None 13-privatized_04-priv_multi_true.line1172.yml true 9.83 6.25 None 13-privatized_04-priv_multi_true.line1173.yml true 10.21 6.44 None 13-privatized_04-priv_multi_true.line1187.yml true 11.13 7.13 None 13-privatized_04-priv_multi_true.line1188.yml true 11.57 7.42 None 13-privatized_18-first-reads_true.line334.yml true 5.29 3.52 None 13-privatized_18-first-reads_true.line335.yml true 7.36 4.48 None 13-privatized_18-first-reads_true.line369.yml true 6.05 4.14 None 13-privatized_18-first-reads_true.line370.yml true 6.25 4.00 None 13-privatized_18-first-reads_unknown_1_neg.line334.yml true 5.10 3.45 None 13-privatized_18-first-reads_unknown_1_neg.line335.yml true 5.31 3.45 None 13-privatized_18-first-reads_unknown_1_neg.line358.yml true 7.33 4.49 None 13-privatized_18-first-reads_unknown_1_neg.line359.yml true 5.82 4.00 None 13-privatized_18-first-reads_unknown_1_pos.line334.yml true 6.55 4.11 None 13-privatized_18-first-reads_unknown_1_pos.line335.yml true 5.64 3.92 None 13-privatized_18-first-reads_unknown_1_pos.line358.yml true 5.58 3.96 None 13-privatized_18-first-reads_unknown_1_pos.line359.yml true 5.90 3.92 None 13-privatized_18-first-reads_unknown_2_neg.line334.yml true 5.23 3.54 None 13-privatized_18-first-reads_unknown_2_neg.line335.yml true 5.47 3.66 None 13-privatized_18-first-reads_unknown_2_neg.line358.yml true 7.30 4.47 None 13-privatized_18-first-reads_unknown_2_neg.line359.yml true 5.95 4.09 None 13-privatized_18-first-reads_unknown_2_pos.line334.yml true 6.95 4.31 None 13-privatized_18-first-reads_unknown_2_pos.line335.yml true 5.50 3.64 None 13-privatized_18-first-reads_unknown_2_pos.line358.yml true 5.54 4.01 None 13-privatized_18-first-reads_unknown_2_pos.line359.yml true 5.55 3.65 None 13-privatized_19-publish-precision_true.line393.yml true 5.53 3.66 None 13-privatized_19-publish-precision_true.line394.yml true 5.87 3.83 None 13-privatized_19-publish-precision_true.line417.yml true 5.78 3.93 None 13-privatized_19-publish-precision_true.line418.yml true 8.21 4.87 None 13-privatized_19-publish-precision_unknown_1_neg.line369.yml true 7.18 4.39 None 13-privatized_19-publish-precision_unknown_1_neg.line370.yml true 5.89 4.00 None 13-privatized_19-publish-precision_unknown_1_neg.line404.yml true 5.86 3.86 None 13-privatized_19-publish-precision_unknown_1_neg.line405.yml true 6.33 4.10 None 13-privatized_19-publish-precision_unknown_1_pos.line369.yml true 5.07 4.00 None 13-privatized_19-publish-precision_unknown_1_pos.line370.yml true 5.34 3.56 None 13-privatized_19-publish-precision_unknown_1_pos.line404.yml true 5.98 4.20 None 13-privatized_19-publish-precision_unknown_1_pos.line405.yml true 6.39 4.26 None 13-privatized_19-publish-precision_unknown_2_neg.line369.yml true 6.32 4.08 None 13-privatized_19-publish-precision_unknown_2_neg.line370.yml true 6.95 4.35 None 13-privatized_19-publish-precision_unknown_2_neg.line404.yml true 5.83 3.81 None 13-privatized_19-publish-precision_unknown_2_neg.line405.yml true 6.12 3.95 None 13-privatized_19-publish-precision_unknown_2_pos.line369.yml true 4.99 3.48 None 13-privatized_19-publish-precision_unknown_2_pos.line370.yml true 5.36 3.62 None 13-privatized_19-publish-precision_unknown_2_pos.line404.yml true 6.11 4.04 None 13-privatized_19-publish-precision_unknown_2_pos.line405.yml true 8.01 4.85 None 13-privatized_20-publish-regression_true.line393.yml true 5.66 3.71 None 13-privatized_20-publish-regression_true.line394.yml true 7.27 4.47 None 13-privatized_20-publish-regression_true.line428.yml true 6.05 3.88 None 13-privatized_20-publish-regression_true.line429.yml true 6.26 4.38 None 13-privatized_24-multiple-protecting_true.line458.yml true 5.84 3.80 None 13-privatized_24-multiple-protecting_true.line459.yml true 6.10 3.95 None 13-privatized_24-multiple-protecting_true.line586.yml true 7.90 4.95 None 13-privatized_24-multiple-protecting_true.line587.yml true 8.18 5.41 None 13-privatized_25-struct_nr_true.line355.yml true 5.40 3.60 None 13-privatized_25-struct_nr_true.line356.yml true 5.76 3.78 None 13-privatized_25-struct_nr_true.line396.yml true 7.70 4.69 None 13-privatized_25-struct_nr_true.line397.yml true 6.41 4.10 None 13-privatized_27-multiple-protecting2_true.line490.yml true 8.25 5.15 None 13-privatized_27-multiple-protecting2_true.line491.yml true 6.60 4.74 None 13-privatized_27-multiple-protecting2_true.line505.yml true 6.11 4.22 None 13-privatized_27-multiple-protecting2_true.line506.yml true 6.23 4.36 None 13-privatized_27-multiple-protecting2_true.line633.yml true 36.01 22.18 None 13-privatized_27-multiple-protecting2_true.line634.yml true 36.61 22.68 None 13-privatized_27-multiple-protecting2_true.line645.yml true 39.06 25.22 None 13-privatized_27-multiple-protecting2_true.line646.yml true 45.98 27.20 None 13-privatized_29-multiple-protecting2-vesal_true.line406.yml true 5.51 3.74 None 13-privatized_29-multiple-protecting2-vesal_true.line407.yml true 7.44 4.55 None 13-privatized_29-multiple-protecting2-vesal_true.line499.yml true 6.69 4.32 None 13-privatized_29-multiple-protecting2-vesal_true.line500.yml true 6.92 4.60 None 13-privatized_30-traces-oplus-vs-meet_true.line381.yml true 5.62 3.81 None 13-privatized_30-traces-oplus-vs-meet_true.line382.yml true 7.39 4.51 None 13-privatized_30-traces-oplus-vs-meet_true.line428.yml true 6.48 4.11 None 13-privatized_30-traces-oplus-vs-meet_true.line429.yml true 6.34 4.28 None 13-privatized_31-traces-mine-vs-mutex_true.line377.yml true 5.57 3.96 None 13-privatized_31-traces-mine-vs-mutex_true.line378.yml true 7.70 4.35 None 13-privatized_31-traces-mine-vs-mutex_true.line436.yml true 6.61 3.97 None 13-privatized_31-traces-mine-vs-mutex_true.line437.yml true 6.91 4.56 None 13-privatized_32-traces-mine-vs-oplus-vs-meet_true.line413.yml true 5.73 4.12 None 13-privatized_32-traces-mine-vs-oplus-vs-meet_true.line414.yml true 7.58 4.62 None 13-privatized_32-traces-mine-vs-oplus-vs-meet_true.line495.yml true 6.79 4.27 None 13-privatized_32-traces-mine-vs-oplus-vs-meet_true.line496.yml true 7.22 4.60 None 13-privatized_33-traces-v-matters_true.line396.yml true 5.58 4.02 None 13-privatized_33-traces-v-matters_true.line397.yml true 7.43 4.54 None 13-privatized_34-traces-minepp-L-needs-to-be-um_true.line413.yml true 5.62 3.71 None 13-privatized_34-traces-minepp-L-needs-to-be-um_true.line414.yml true 5.53 3.69 None 13-privatized_35-traces-ex-2_true.line368.yml true 5.39 3.67 None 13-privatized_35-traces-ex-2_true.line369.yml true 5.46 3.67 None 13-privatized_36-traces-ex-3_true.line355.yml true 5.34 3.53 None 13-privatized_36-traces-ex-3_true.line356.yml true 6.86 4.25 None 13-privatized_37-traces-ex-4_true.line368.yml true 5.19 3.54 None 13-privatized_37-traces-ex-4_true.line369.yml true 5.61 3.83 None 13-privatized_38-traces-ex-4-switch_true.line368.yml true 5.39 3.62 None 13-privatized_38-traces-ex-4-switch_true.line369.yml true 5.57 4.05 None 13-privatized_40-traces-ex-6_true.line355.yml true 5.14 3.82 None 13-privatized_40-traces-ex-6_true.line356.yml true 5.65 3.78 None 13-privatized_41-traces-ex-7_unknown_1_neg.line354.yml true 7.02 4.18 None 13-privatized_41-traces-ex-7_unknown_1_neg.line355.yml true 5.36 3.62 None 13-privatized_41-traces-ex-7_unknown_1_pos.line354.yml true 6.95 4.26 None 13-privatized_41-traces-ex-7_unknown_1_pos.line355.yml true 5.69 4.06 None 13-privatized_42-traces-ex-mini_true.line384.yml true 5.37 3.59 None 13-privatized_42-traces-ex-mini_true.line385.yml true 5.40 3.78 None 13-privatized_44-traces-mine2_true.line356.yml true 5.35 3.75 None 13-privatized_44-traces-mine2_true.line357.yml true 5.43 3.62 None 13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.line355.yml true 6.93 4.30 None 13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.line356.yml true 5.67 3.73 None 13-privatized_46-refine-protected1_true.line297.yml true 5.89 3.49 None 13-privatized_46-refine-protected1_true.line298.yml true 6.64 4.12 None 13-privatized_47-refine-protected2_true.line312.yml true 5.10 3.53 None 13-privatized_47-refine-protected2_true.line313.yml true 5.46 3.90 None 13-privatized_52-refine-protected-loop2-small_true.line382.yml true 5.06 3.71 None 13-privatized_52-refine-protected-loop2-small_true.line383.yml true 5.54 3.63 None ------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 20352.49 1496.07 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk29 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk29 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk29 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk29 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk29 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk29 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk29 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk29 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk29 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk29 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk29 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk29 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk29 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk29 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk29 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk29 Run set 19 of 19: skipped Statistics: 900 Files correct: 576 correct true: 576 correct false: 0 incorrect: 225 incorrect true: 0 incorrect false: 225 unknown: 99 Score: -2448 (max: 1800)