BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk31, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk31, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk31 date: Mon, 2022-10-24 21:27:01 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-chunk31 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 ---------------------------------------------------------------------------------------------------------- 00-sanity_09-include.line337.yml true 5.40 3.63 None 00-sanity_09-include.line338.yml true 4.93 3.76 None 01b_inc.line338.yml OUT OF MEMORY 428.86 245.19 None 01b_inc.line339.yml OUT OF MEMORY 296.97 183.01 None 02-base_24-malloc_races.line293.yml false(unreach-call) 7.41 4.89 None 02-base_24-malloc_races.line294.yml true 7.08 4.88 None 02-base_24-malloc_races.line303.yml false(unreach-call) 9.04 5.58 None 02-base_24-malloc_races.line304.yml true 7.84 4.94 None 02-base_24-malloc_races.line474.yml true 6.93 4.32 None 02-base_24-malloc_races.line475.yml true 6.48 4.17 None 02-base_24-malloc_races.line498.yml true 6.52 4.54 None 02-base_24-malloc_races.line499.yml true 6.48 4.34 None 02-base_24-malloc_races.line511.yml true 5.94 4.58 None 02-base_24-malloc_races.line512.yml true 6.01 3.89 None 02-base_25-malloc_race_cp.line293.yml false(unreach-call) 7.26 5.00 None 02-base_25-malloc_race_cp.line294.yml true 6.40 4.78 None 02-base_25-malloc_race_cp.line303.yml false(unreach-call) 7.46 4.78 None 02-base_25-malloc_race_cp.line304.yml true 6.45 4.28 None 02-base_25-malloc_race_cp.line477.yml true 7.06 4.36 None 02-base_25-malloc_race_cp.line478.yml true 6.26 4.14 None 02-base_25-malloc_race_cp.line501.yml true 6.19 4.27 None 02-base_25-malloc_race_cp.line502.yml true 6.40 4.21 None 02-base_25-malloc_race_cp.line514.yml true 6.25 4.57 None 02-base_25-malloc_race_cp.line515.yml true 6.29 4.24 None 02-base_26-malloc_struct.line292.yml false(unreach-call) 9.03 5.40 None 02-base_26-malloc_struct.line293.yml true 7.62 4.82 None 02-base_26-malloc_struct.line302.yml false(unreach-call) 7.53 4.87 None 02-base_26-malloc_struct.line303.yml true 6.02 4.47 None 02-base_26-malloc_struct.line459.yml true 5.45 3.78 None 02-base_26-malloc_struct.line460.yml true 5.96 4.11 None 02-base_26-malloc_struct.line483.yml true 7.22 4.42 None 02-base_26-malloc_struct.line484.yml true 5.89 3.82 None 02-base_26-malloc_struct.line496.yml true 5.78 3.62 None 02-base_26-malloc_struct.line497.yml true 6.02 4.47 None 03-practical_07-nonterm.line366.yml true 5.09 3.50 None 03-practical_07-nonterm.line367.yml true 5.64 3.85 None 03-practical_07-nonterm.line391.yml true 6.93 4.30 None 03-practical_07-nonterm.line392.yml true 7.15 4.38 None 03-practical_08-nonterm1.line386.yml true 5.25 3.68 None 03-practical_08-nonterm1.line387.yml true 5.19 3.77 None 03-practical_08-nonterm1.line411.yml true 5.64 3.75 None 03-practical_08-nonterm1.line412.yml true 5.59 4.14 None 03-practical_15-exit_problems.line350.yml true 4.72 3.42 None 03-practical_15-exit_problems.line351.yml true 5.63 4.46 None 04-mutex_01-simple_rc.line346.yml true 6.47 4.03 None 04-mutex_01-simple_rc.line347.yml true 5.33 3.74 None 04-mutex_01-simple_rc.line371.yml true 5.61 3.78 None 04-mutex_01-simple_rc.line372.yml true 5.70 3.72 None 04-mutex_02-simple_nr.line331.yml true 6.36 4.04 None 04-mutex_02-simple_nr.line332.yml true 6.78 4.23 None 04-mutex_02-simple_nr.line356.yml true 5.49 3.79 None 04-mutex_02-simple_nr.line357.yml true 5.57 3.90 None 04-mutex_03-munge_rc.line356.yml true 5.15 4.18 None 04-mutex_03-munge_rc.line357.yml true 5.72 3.66 None 04-mutex_03-munge_rc.line387.yml true 5.58 4.14 None 04-mutex_03-munge_rc.line388.yml true 6.00 4.13 None 04-mutex_04-munge_nr.line328.yml true 6.35 3.98 None 04-mutex_04-munge_nr.line329.yml true 5.67 4.03 None 04-mutex_04-munge_nr.line359.yml true 6.15 3.78 None 04-mutex_04-munge_nr.line360.yml true 5.63 4.32 None 04-mutex_05-lockfuns.line329.yml true 6.37 4.00 None 04-mutex_05-lockfuns.line330.yml true 6.52 4.09 None 04-mutex_05-lockfuns.line363.yml true 6.14 3.79 None 04-mutex_05-lockfuns.line364.yml true 5.67 3.90 None 04-mutex_06-ps_rc.line371.yml true 5.05 3.39 None 04-mutex_06-ps_rc.line372.yml true 5.47 3.93 None 04-mutex_07-ps_nr.line343.yml true 4.92 3.46 None 04-mutex_07-ps_nr.line344.yml true 5.55 3.62 None 04-mutex_09-ptrmunge_rc.line253.yml true 8.43 5.26 None 04-mutex_09-ptrmunge_rc.line254.yml true 7.10 4.78 None 04-mutex_09-ptrmunge_rc.line264.yml true 6.27 4.64 None 04-mutex_09-ptrmunge_rc.line265.yml true 6.46 4.74 None 04-mutex_09-ptrmunge_rc.line398.yml true 6.69 4.19 None 04-mutex_09-ptrmunge_rc.line399.yml true 6.96 4.32 None 04-mutex_09-ptrmunge_rc.line426.yml true 6.99 4.42 None 04-mutex_09-ptrmunge_rc.line427.yml true 7.02 4.67 None 04-mutex_09-ptrmunge_rc.line437.yml true 6.18 4.11 None 04-mutex_09-ptrmunge_rc.line438.yml true 6.29 4.36 None 04-mutex_09-ptrmunge_rc.line450.yml true 5.65 3.87 None 04-mutex_09-ptrmunge_rc.line451.yml true 5.83 3.90 None 04-mutex_10-ptrmunge_nr.line253.yml true 6.82 4.49 None 04-mutex_10-ptrmunge_nr.line254.yml true 7.10 4.95 None 04-mutex_10-ptrmunge_nr.line264.yml true 7.89 4.92 None 04-mutex_10-ptrmunge_nr.line265.yml true 6.22 4.84 None 04-mutex_10-ptrmunge_nr.line407.yml true 6.85 4.25 None 04-mutex_10-ptrmunge_nr.line408.yml true 7.61 4.31 None 04-mutex_10-ptrmunge_nr.line435.yml true 6.59 4.10 None 04-mutex_10-ptrmunge_nr.line436.yml true 6.99 4.72 None 04-mutex_10-ptrmunge_nr.line446.yml true 6.34 4.70 None 04-mutex_10-ptrmunge_nr.line447.yml true 6.30 4.31 None 04-mutex_10-ptrmunge_nr.line459.yml true 6.50 4.20 None 04-mutex_10-ptrmunge_nr.line460.yml true 6.25 4.16 None 04-mutex_11-ptr_rc.line244.yml true 6.77 4.50 None 04-mutex_11-ptr_rc.line245.yml true 6.97 4.74 None 04-mutex_11-ptr_rc.line255.yml true 7.65 4.86 None 04-mutex_11-ptr_rc.line256.yml true 8.11 5.11 None 04-mutex_11-ptr_rc.line382.yml true 4.83 3.54 None 04-mutex_11-ptr_rc.line383.yml true 6.68 4.01 None 04-mutex_11-ptr_rc.line405.yml true 6.31 4.11 None 04-mutex_11-ptr_rc.line406.yml true 6.81 4.56 None 04-mutex_11-ptr_rc.line416.yml true 6.09 4.20 None 04-mutex_11-ptr_rc.line417.yml true 6.26 4.04 None 04-mutex_11-ptr_rc.line427.yml true 5.62 3.96 None 04-mutex_11-ptr_rc.line428.yml true 5.60 3.94 None 04-mutex_12-ptr_nr.line245.yml true 6.17 4.68 None 04-mutex_12-ptr_nr.line246.yml true 6.43 4.63 None 04-mutex_12-ptr_nr.line256.yml true 6.18 4.33 None 04-mutex_12-ptr_nr.line257.yml true 7.78 4.90 None 04-mutex_12-ptr_nr.line367.yml true 6.66 4.12 None 04-mutex_12-ptr_nr.line368.yml true 5.42 3.65 None 04-mutex_12-ptr_nr.line390.yml true 7.53 4.60 None 04-mutex_12-ptr_nr.line391.yml true 6.76 4.33 None 04-mutex_12-ptr_nr.line401.yml true 5.93 3.92 None 04-mutex_12-ptr_nr.line402.yml true 6.02 4.29 None 04-mutex_12-ptr_nr.line412.yml true 5.50 3.93 None 04-mutex_12-ptr_nr.line413.yml true 5.99 3.97 None 04-mutex_14-funarg_rc.line385.yml true 5.33 3.99 None 04-mutex_14-funarg_rc.line386.yml true 5.40 3.81 None 04-mutex_14-funarg_rc.line434.yml true 5.98 4.50 None 04-mutex_14-funarg_rc.line435.yml true 5.95 3.89 None 04-mutex_15-funarg_nr.line353.yml true 6.48 4.01 None 04-mutex_15-funarg_nr.line354.yml true 6.79 4.22 None 04-mutex_15-funarg_nr.line402.yml true 5.80 3.80 None 04-mutex_15-funarg_nr.line403.yml true 7.55 4.61 None 04-mutex_16-ps_add1_rc.line345.yml true 4.98 3.57 None 04-mutex_16-ps_add1_rc.line346.yml true 5.60 3.65 None 04-mutex_17-ps_add1_nr.line345.yml true 5.15 3.80 None 04-mutex_17-ps_add1_nr.line346.yml true 5.30 3.61 None 04-mutex_18-glob_guards.line313.yml true 5.17 3.59 None 04-mutex_18-glob_guards.line314.yml true 5.17 3.94 None 04-mutex_18-glob_guards.line328.yml true 5.14 3.47 None 04-mutex_18-glob_guards.line329.yml true 6.75 4.17 None 04-mutex_19-call_by_ptr_rc.line324.yml true 5.69 3.85 None 04-mutex_19-call_by_ptr_rc.line325.yml true 5.37 3.82 None 04-mutex_19-call_by_ptr_rc.line393.yml true 6.40 4.39 None 04-mutex_19-call_by_ptr_rc.line394.yml true 12.92 7.32 None 04-mutex_21-sound_base.line336.yml true 5.57 3.63 None 04-mutex_21-sound_base.line337.yml true 6.94 4.03 None 04-mutex_22-deref_read.line209.yml false(unreach-call) 6.98 4.74 None 04-mutex_22-deref_read.line210.yml true 8.58 5.30 None 04-mutex_22-deref_read.line308.yml true 5.42 3.82 None 04-mutex_22-deref_read.line309.yml true 5.06 3.43 None ---------------------------------------------------------------------------------------------------------- Run set 1 done 1613.75 245.39 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk31 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 ---------------------------------------------------------------------------------------------------------- 00-sanity_09-include.line337.yml true 4.92 3.98 None 00-sanity_09-include.line338.yml true 5.14 3.72 None 01b_inc.line338.yml OUT OF MEMORY 328.53 194.11 None 01b_inc.line339.yml OUT OF MEMORY 259.03 157.08 None 02-base_24-malloc_races.line293.yml false(unreach-call) 7.09 5.26 None 02-base_24-malloc_races.line294.yml true 6.84 5.32 None 02-base_24-malloc_races.line303.yml false(unreach-call) 8.87 5.47 None 02-base_24-malloc_races.line304.yml true 7.58 4.84 None 02-base_24-malloc_races.line474.yml true 7.15 4.42 None 02-base_24-malloc_races.line475.yml true 6.36 4.01 None 02-base_24-malloc_races.line498.yml true 6.23 4.19 None 02-base_24-malloc_races.line499.yml true 6.39 4.19 None 02-base_24-malloc_races.line511.yml true 5.97 4.24 None 02-base_24-malloc_races.line512.yml true 6.19 4.02 None 02-base_25-malloc_race_cp.line293.yml false(unreach-call) 6.96 4.75 None 02-base_25-malloc_race_cp.line294.yml true 7.12 4.89 None 02-base_25-malloc_race_cp.line303.yml false(unreach-call) 7.45 4.87 None 02-base_25-malloc_race_cp.line304.yml true 5.99 4.18 None 02-base_25-malloc_race_cp.line477.yml true 5.87 3.97 None 02-base_25-malloc_race_cp.line478.yml true 6.64 4.50 None 02-base_25-malloc_race_cp.line501.yml true 5.97 3.97 None 02-base_25-malloc_race_cp.line502.yml true 8.28 5.04 None 02-base_25-malloc_race_cp.line514.yml true 7.46 4.53 None 02-base_25-malloc_race_cp.line515.yml true 6.15 4.32 None 02-base_26-malloc_struct.line292.yml false(unreach-call) 6.93 5.11 None 02-base_26-malloc_struct.line293.yml true 7.74 4.96 None 02-base_26-malloc_struct.line302.yml false(unreach-call) 7.33 4.77 None 02-base_26-malloc_struct.line303.yml true 6.38 4.27 None 02-base_26-malloc_struct.line459.yml true 5.22 3.66 None 02-base_26-malloc_struct.line460.yml true 5.86 3.99 None 02-base_26-malloc_struct.line483.yml true 6.11 4.46 None 02-base_26-malloc_struct.line484.yml true 5.82 3.85 None 02-base_26-malloc_struct.line496.yml true 6.05 3.96 None 02-base_26-malloc_struct.line497.yml true 7.94 4.82 None 03-practical_07-nonterm.line366.yml true 6.83 4.43 None 03-practical_07-nonterm.line367.yml true 5.27 4.15 None 03-practical_07-nonterm.line391.yml true 5.78 4.30 None 03-practical_07-nonterm.line392.yml true 7.16 4.58 None 03-practical_08-nonterm1.line386.yml true 5.00 3.58 None 03-practical_08-nonterm1.line387.yml true 5.30 3.88 None 03-practical_08-nonterm1.line411.yml true 5.81 3.75 None 03-practical_08-nonterm1.line412.yml true 6.06 4.05 None 03-practical_15-exit_problems.line350.yml true 5.23 3.63 None 03-practical_15-exit_problems.line351.yml true 5.45 3.75 None 04-mutex_01-simple_rc.line346.yml true 5.40 3.63 None 04-mutex_01-simple_rc.line347.yml true 5.11 3.92 None 04-mutex_01-simple_rc.line371.yml true 6.68 4.21 None 04-mutex_01-simple_rc.line372.yml true 7.25 4.46 None 04-mutex_02-simple_nr.line331.yml true 5.17 3.75 None 04-mutex_02-simple_nr.line332.yml true 6.67 4.10 None 04-mutex_02-simple_nr.line356.yml true 5.30 3.91 None 04-mutex_02-simple_nr.line357.yml true 5.50 3.66 None 04-mutex_03-munge_rc.line356.yml true 5.17 3.61 None 04-mutex_03-munge_rc.line357.yml true 5.52 3.66 None 04-mutex_03-munge_rc.line387.yml true 5.71 4.19 None 04-mutex_03-munge_rc.line388.yml true 5.91 4.06 None 04-mutex_04-munge_nr.line328.yml true 5.28 3.55 None 04-mutex_04-munge_nr.line329.yml true 5.65 4.13 None 04-mutex_04-munge_nr.line359.yml true 7.15 4.30 None 04-mutex_04-munge_nr.line360.yml true 5.61 4.21 None 04-mutex_05-lockfuns.line329.yml true 6.58 4.13 None 04-mutex_05-lockfuns.line330.yml true 6.58 4.13 None 04-mutex_05-lockfuns.line363.yml true 6.13 3.92 None 04-mutex_05-lockfuns.line364.yml true 5.65 4.22 None 04-mutex_06-ps_rc.line371.yml true 5.39 3.54 None 04-mutex_06-ps_rc.line372.yml true 5.72 3.72 None 04-mutex_07-ps_nr.line343.yml true 5.15 3.45 None 04-mutex_07-ps_nr.line344.yml true 5.41 3.75 None 04-mutex_09-ptrmunge_rc.line253.yml true 6.46 4.55 None 04-mutex_09-ptrmunge_rc.line254.yml true 7.31 5.10 None 04-mutex_09-ptrmunge_rc.line264.yml true 7.88 4.96 None 04-mutex_09-ptrmunge_rc.line265.yml true 6.71 4.72 None 04-mutex_09-ptrmunge_rc.line398.yml true 7.01 4.34 None 04-mutex_09-ptrmunge_rc.line399.yml true 6.81 4.21 None 04-mutex_09-ptrmunge_rc.line426.yml true 6.53 4.33 None 04-mutex_09-ptrmunge_rc.line427.yml true 7.10 4.55 None 04-mutex_09-ptrmunge_rc.line437.yml true 6.71 4.39 None 04-mutex_09-ptrmunge_rc.line438.yml true 7.03 4.40 None 04-mutex_09-ptrmunge_rc.line450.yml true 5.86 4.19 None 04-mutex_09-ptrmunge_rc.line451.yml true 6.19 4.13 None 04-mutex_10-ptrmunge_nr.line253.yml true 6.87 4.58 None 04-mutex_10-ptrmunge_nr.line254.yml true 7.13 5.13 None 04-mutex_10-ptrmunge_nr.line264.yml true 7.71 5.11 None 04-mutex_10-ptrmunge_nr.line265.yml true 8.13 5.13 None 04-mutex_10-ptrmunge_nr.line407.yml true 5.36 3.81 None 04-mutex_10-ptrmunge_nr.line408.yml true 6.91 4.21 None 04-mutex_10-ptrmunge_nr.line435.yml true 6.32 4.36 None 04-mutex_10-ptrmunge_nr.line436.yml true 6.78 4.35 None 04-mutex_10-ptrmunge_nr.line446.yml true 6.58 4.36 None 04-mutex_10-ptrmunge_nr.line447.yml true 6.66 4.26 None 04-mutex_10-ptrmunge_nr.line459.yml true 6.16 4.37 None 04-mutex_10-ptrmunge_nr.line460.yml true 6.31 4.09 None 04-mutex_11-ptr_rc.line244.yml true 6.48 4.66 None 04-mutex_11-ptr_rc.line245.yml true 6.82 4.72 None 04-mutex_11-ptr_rc.line255.yml true 7.41 4.75 None 04-mutex_11-ptr_rc.line256.yml true 6.70 4.51 None 04-mutex_11-ptr_rc.line382.yml true 6.06 3.68 None 04-mutex_11-ptr_rc.line383.yml true 6.91 4.27 None 04-mutex_11-ptr_rc.line405.yml true 8.06 4.95 None 04-mutex_11-ptr_rc.line406.yml true 6.60 4.23 None 04-mutex_11-ptr_rc.line416.yml true 6.10 3.92 None 04-mutex_11-ptr_rc.line417.yml true 6.40 4.25 None 04-mutex_11-ptr_rc.line427.yml true 5.65 3.96 None 04-mutex_11-ptr_rc.line428.yml true 6.19 4.09 None 04-mutex_12-ptr_nr.line245.yml true 6.28 4.38 None 04-mutex_12-ptr_nr.line246.yml true 6.79 4.81 None 04-mutex_12-ptr_nr.line256.yml true 6.25 4.59 None 04-mutex_12-ptr_nr.line257.yml true 8.21 5.17 None 04-mutex_12-ptr_nr.line367.yml true 6.76 4.28 None 04-mutex_12-ptr_nr.line368.yml true 5.42 4.01 None 04-mutex_12-ptr_nr.line390.yml true 6.78 4.31 None 04-mutex_12-ptr_nr.line391.yml true 6.78 4.75 None 04-mutex_12-ptr_nr.line401.yml true 6.25 4.15 None 04-mutex_12-ptr_nr.line402.yml true 6.64 4.95 None 04-mutex_12-ptr_nr.line412.yml true 6.05 4.39 None 04-mutex_12-ptr_nr.line413.yml true 7.47 4.53 None 04-mutex_14-funarg_rc.line385.yml true 5.39 3.77 None 04-mutex_14-funarg_rc.line386.yml true 5.63 4.10 None 04-mutex_14-funarg_rc.line434.yml true 5.77 3.93 None 04-mutex_14-funarg_rc.line435.yml true 5.85 3.82 None 04-mutex_15-funarg_nr.line353.yml true 6.48 4.08 None 04-mutex_15-funarg_nr.line354.yml true 5.46 3.67 None 04-mutex_15-funarg_nr.line402.yml true 5.85 3.79 None 04-mutex_15-funarg_nr.line403.yml true 7.40 4.58 None 04-mutex_16-ps_add1_rc.line345.yml true 5.33 3.55 None 04-mutex_16-ps_add1_rc.line346.yml true 5.22 4.29 None 04-mutex_17-ps_add1_nr.line345.yml true 6.64 4.12 None 04-mutex_17-ps_add1_nr.line346.yml true 5.28 3.57 None 04-mutex_18-glob_guards.line313.yml true 5.08 4.02 None 04-mutex_18-glob_guards.line314.yml true 5.62 4.04 None 04-mutex_18-glob_guards.line328.yml true 5.32 3.88 None 04-mutex_18-glob_guards.line329.yml true 5.29 4.44 None 04-mutex_19-call_by_ptr_rc.line324.yml true 5.30 3.59 None 04-mutex_19-call_by_ptr_rc.line325.yml true 5.72 3.76 None 04-mutex_19-call_by_ptr_rc.line393.yml true 8.36 4.99 None 04-mutex_19-call_by_ptr_rc.line394.yml true 11.62 7.08 None 04-mutex_21-sound_base.line336.yml true 5.10 3.45 None 04-mutex_21-sound_base.line337.yml true 5.48 4.11 None 04-mutex_22-deref_read.line209.yml false(unreach-call) 8.75 5.45 None 04-mutex_22-deref_read.line210.yml true 8.64 5.37 None 04-mutex_22-deref_read.line308.yml true 4.93 3.58 None 04-mutex_22-deref_read.line309.yml true 4.92 3.34 None ---------------------------------------------------------------------------------------------------------- Run set 2 done 1481.70 194.31 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk31 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 ---------------------------------------------------------------------------------------------------------- 00-sanity_09-include.line337.yml true 5.45 3.63 None 00-sanity_09-include.line338.yml true 5.23 3.78 None 01b_inc.line338.yml OUT OF MEMORY 408.62 225.50 None 01b_inc.line339.yml OUT OF MEMORY 443.43 240.92 None 02-base_24-malloc_races.line293.yml false(unreach-call) 7.68 5.45 None 02-base_24-malloc_races.line294.yml true 6.91 5.12 None 02-base_24-malloc_races.line303.yml false(unreach-call) 9.29 5.71 None 02-base_24-malloc_races.line304.yml true 8.23 5.13 None 02-base_24-malloc_races.line474.yml true 7.37 4.55 None 02-base_24-malloc_races.line475.yml true 6.47 4.23 None 02-base_24-malloc_races.line498.yml true 6.30 4.46 None 02-base_24-malloc_races.line499.yml true 6.93 4.68 None 02-base_24-malloc_races.line511.yml true 6.16 4.27 None 02-base_24-malloc_races.line512.yml true 6.41 4.10 None 02-base_25-malloc_race_cp.line293.yml false(unreach-call) 7.39 5.27 None 02-base_25-malloc_race_cp.line294.yml true 6.67 4.93 None 02-base_25-malloc_race_cp.line303.yml false(unreach-call) 7.39 4.86 None 02-base_25-malloc_race_cp.line304.yml true 6.71 4.52 None 02-base_25-malloc_race_cp.line477.yml true 6.23 4.05 None 02-base_25-malloc_race_cp.line478.yml true 6.99 4.68 None 02-base_25-malloc_race_cp.line501.yml true 7.72 4.68 None 02-base_25-malloc_race_cp.line502.yml true 6.76 4.43 None 02-base_25-malloc_race_cp.line514.yml true 6.27 4.55 None 02-base_25-malloc_race_cp.line515.yml true 8.42 5.02 None 02-base_26-malloc_struct.line292.yml false(unreach-call) 7.60 5.25 None 02-base_26-malloc_struct.line293.yml true 7.58 4.86 None 02-base_26-malloc_struct.line302.yml false(unreach-call) 7.18 5.22 None 02-base_26-malloc_struct.line303.yml true 6.38 4.73 None 02-base_26-malloc_struct.line459.yml true 6.11 3.91 None 02-base_26-malloc_struct.line460.yml true 6.10 4.01 None 02-base_26-malloc_struct.line483.yml true 6.44 3.99 None 02-base_26-malloc_struct.line484.yml true 6.84 4.54 None 02-base_26-malloc_struct.line496.yml true 6.31 4.56 None 02-base_26-malloc_struct.line497.yml true 7.90 4.76 None 03-practical_07-nonterm.line366.yml true 5.28 4.30 None 03-practical_07-nonterm.line367.yml true 6.98 4.30 None 03-practical_07-nonterm.line391.yml true 7.26 4.54 None 03-practical_07-nonterm.line392.yml true 5.84 4.26 None 03-practical_08-nonterm1.line386.yml true 5.68 3.80 None 03-practical_08-nonterm1.line387.yml true 6.25 3.94 None 03-practical_08-nonterm1.line411.yml true 5.63 3.79 None 03-practical_08-nonterm1.line412.yml true 5.82 4.42 None 03-practical_15-exit_problems.line350.yml true 5.25 3.92 None 03-practical_15-exit_problems.line351.yml true 5.93 4.00 None 04-mutex_01-simple_rc.line346.yml true 5.37 4.07 None 04-mutex_01-simple_rc.line347.yml true 5.83 4.01 None 04-mutex_01-simple_rc.line371.yml true 7.02 4.29 None 04-mutex_01-simple_rc.line372.yml true 7.32 4.51 None 04-mutex_02-simple_nr.line331.yml true 5.24 3.76 None 04-mutex_02-simple_nr.line332.yml true 6.69 4.13 None 04-mutex_02-simple_nr.line356.yml true 5.68 3.75 None 04-mutex_02-simple_nr.line357.yml true 5.79 4.35 None 04-mutex_03-munge_rc.line356.yml true 5.24 3.51 None 04-mutex_03-munge_rc.line357.yml true 5.27 3.65 None 04-mutex_03-munge_rc.line387.yml true 5.92 4.17 None 04-mutex_03-munge_rc.line388.yml true 5.96 4.00 None 04-mutex_04-munge_nr.line328.yml true 4.90 3.46 None 04-mutex_04-munge_nr.line329.yml true 5.37 4.25 None 04-mutex_04-munge_nr.line359.yml true 7.25 4.39 None 04-mutex_04-munge_nr.line360.yml true 5.84 4.42 None 04-mutex_05-lockfuns.line329.yml true 6.92 4.04 None 04-mutex_05-lockfuns.line330.yml true 6.52 4.06 None 04-mutex_05-lockfuns.line363.yml true 5.75 3.82 None 04-mutex_05-lockfuns.line364.yml true 5.46 3.66 None 04-mutex_06-ps_rc.line371.yml true 5.41 4.03 None 04-mutex_06-ps_rc.line372.yml true 5.87 4.12 None 04-mutex_07-ps_nr.line343.yml true 5.20 3.56 None 04-mutex_07-ps_nr.line344.yml true 5.43 4.09 None 04-mutex_09-ptrmunge_rc.line253.yml true 7.46 5.04 None 04-mutex_09-ptrmunge_rc.line254.yml true 6.85 5.23 None 04-mutex_09-ptrmunge_rc.line264.yml true 8.28 5.18 None 04-mutex_09-ptrmunge_rc.line265.yml true 9.00 5.58 None 04-mutex_09-ptrmunge_rc.line398.yml true 5.49 3.90 None 04-mutex_09-ptrmunge_rc.line399.yml true 7.86 4.77 None 04-mutex_09-ptrmunge_rc.line426.yml true 6.77 4.27 None 04-mutex_09-ptrmunge_rc.line427.yml true 7.28 4.61 None 04-mutex_09-ptrmunge_rc.line437.yml true 6.13 4.20 None 04-mutex_09-ptrmunge_rc.line438.yml true 6.95 4.62 None 04-mutex_09-ptrmunge_rc.line450.yml true 5.93 4.16 None 04-mutex_09-ptrmunge_rc.line451.yml true 6.31 4.11 None 04-mutex_10-ptrmunge_nr.line253.yml true 7.25 5.00 None 04-mutex_10-ptrmunge_nr.line254.yml true 6.89 4.70 None 04-mutex_10-ptrmunge_nr.line264.yml true 6.44 4.64 None 04-mutex_10-ptrmunge_nr.line265.yml true 8.54 5.32 None 04-mutex_10-ptrmunge_nr.line407.yml true 6.98 4.36 None 04-mutex_10-ptrmunge_nr.line408.yml true 5.49 3.69 None 04-mutex_10-ptrmunge_nr.line435.yml true 8.32 5.09 None 04-mutex_10-ptrmunge_nr.line436.yml true 6.70 4.32 None 04-mutex_10-ptrmunge_nr.line446.yml true 6.24 4.15 None 04-mutex_10-ptrmunge_nr.line447.yml true 6.49 4.42 None 04-mutex_10-ptrmunge_nr.line459.yml true 6.20 4.33 None 04-mutex_10-ptrmunge_nr.line460.yml true 6.27 4.16 None 04-mutex_11-ptr_rc.line244.yml true 6.72 4.61 None 04-mutex_11-ptr_rc.line245.yml true 7.25 5.11 None 04-mutex_11-ptr_rc.line255.yml true 6.28 4.82 None 04-mutex_11-ptr_rc.line256.yml true 6.67 4.44 None 04-mutex_11-ptr_rc.line382.yml true 6.59 4.07 None 04-mutex_11-ptr_rc.line383.yml true 7.84 4.52 None 04-mutex_11-ptr_rc.line405.yml true 6.80 4.40 None 04-mutex_11-ptr_rc.line406.yml true 6.49 4.30 None 04-mutex_11-ptr_rc.line416.yml true 7.91 4.84 None 04-mutex_11-ptr_rc.line417.yml true 6.29 4.30 None 04-mutex_11-ptr_rc.line427.yml true 5.80 3.96 None 04-mutex_11-ptr_rc.line428.yml true 6.20 4.19 None 04-mutex_12-ptr_nr.line245.yml true 6.76 5.23 None 04-mutex_12-ptr_nr.line246.yml true 8.77 5.74 None 04-mutex_12-ptr_nr.line256.yml true 6.10 4.15 None 04-mutex_12-ptr_nr.line257.yml true 7.01 4.98 None 04-mutex_12-ptr_nr.line367.yml true 5.11 3.57 None 04-mutex_12-ptr_nr.line368.yml true 5.43 3.71 None 04-mutex_12-ptr_nr.line390.yml true 8.29 4.89 None 04-mutex_12-ptr_nr.line391.yml true 7.45 4.65 None 04-mutex_12-ptr_nr.line401.yml true 6.40 4.49 None 04-mutex_12-ptr_nr.line402.yml true 6.15 4.43 None 04-mutex_12-ptr_nr.line412.yml true 6.29 4.28 None 04-mutex_12-ptr_nr.line413.yml true 7.95 4.81 None 04-mutex_14-funarg_rc.line385.yml true 5.40 3.69 None 04-mutex_14-funarg_rc.line386.yml true 5.70 3.76 None 04-mutex_14-funarg_rc.line434.yml true 5.79 4.04 None 04-mutex_14-funarg_rc.line435.yml true 6.74 4.81 None 04-mutex_15-funarg_nr.line353.yml true 5.19 3.51 None 04-mutex_15-funarg_nr.line354.yml true 6.59 4.14 None 04-mutex_15-funarg_nr.line402.yml true 6.06 3.93 None 04-mutex_15-funarg_nr.line403.yml true 7.94 4.72 None 04-mutex_16-ps_add1_rc.line345.yml true 5.30 3.72 None 04-mutex_16-ps_add1_rc.line346.yml true 5.34 4.21 None 04-mutex_17-ps_add1_nr.line345.yml true 5.07 3.67 None 04-mutex_17-ps_add1_nr.line346.yml true 6.79 4.24 None 04-mutex_18-glob_guards.line313.yml true 5.15 3.94 None 04-mutex_18-glob_guards.line314.yml true 5.45 3.63 None 04-mutex_18-glob_guards.line328.yml true 5.19 3.62 None 04-mutex_18-glob_guards.line329.yml true 5.44 3.99 None 04-mutex_19-call_by_ptr_rc.line324.yml true 5.60 3.69 None 04-mutex_19-call_by_ptr_rc.line325.yml true 5.55 3.94 None 04-mutex_19-call_by_ptr_rc.line393.yml true 6.65 4.44 None 04-mutex_19-call_by_ptr_rc.line394.yml true 17.04 9.33 None 04-mutex_21-sound_base.line336.yml true 5.35 3.82 None 04-mutex_21-sound_base.line337.yml true 5.62 3.98 None 04-mutex_22-deref_read.line209.yml false(unreach-call) 9.49 5.84 None 04-mutex_22-deref_read.line210.yml true 8.61 5.33 None 04-mutex_22-deref_read.line308.yml true 5.32 3.94 None 04-mutex_22-deref_read.line309.yml true 5.05 3.44 None ---------------------------------------------------------------------------------------------------------- Run set 3 done 1773.39 241.14 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk31 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk31 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk31 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk31 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk31 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk31 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk31 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk31 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk31 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk31 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk31 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk31 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk31 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk31 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk31 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk31 Run set 19 of 19: skipped Statistics: 426 Files correct: 399 correct true: 399 correct false: 0 incorrect: 21 incorrect true: 0 incorrect false: 21 unknown: 6 Score: 462 (max: 852)