BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk30, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk30, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk30 date: Mon, 2022-10-24 21:20:17 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-chunk30 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 ------------------------------------------------------------------------------------------------------------ 04-mutex_22-deref_read.line333.yml true 6.20 4.80 None 04-mutex_22-deref_read.line334.yml true 6.69 4.41 None 04-mutex_24-sound_lock.line356.yml true 6.88 4.17 None 04-mutex_24-sound_lock.line357.yml true 5.75 3.76 None 04-mutex_24-sound_lock.line381.yml true 5.60 4.00 None 04-mutex_24-sound_lock.line382.yml true 5.94 4.42 None 04-mutex_25-single_acc.line251.yml true 6.79 4.43 None 04-mutex_25-single_acc.line252.yml true 7.01 4.52 None 04-mutex_25-single_acc.line266.yml true 6.67 4.33 None 04-mutex_25-single_acc.line267.yml true 5.60 3.94 None 04-mutex_27-base_rc.line398.yml true 5.55 4.15 None 04-mutex_27-base_rc.line399.yml true 5.64 4.01 None 04-mutex_28-base_nr.line385.yml true 5.41 4.11 None 04-mutex_28-base_nr.line386.yml true 5.40 3.56 None 04-mutex_37-indirect_rc.line211.yml true 6.33 4.31 None 04-mutex_37-indirect_rc.line212.yml true 6.90 4.58 None 04-mutex_37-indirect_rc.line223.yml true 5.99 4.30 None 04-mutex_37-indirect_rc.line224.yml true 6.62 4.39 None 04-mutex_37-indirect_rc.line329.yml true 5.34 3.76 None 04-mutex_37-indirect_rc.line330.yml true 6.87 4.23 None 04-mutex_37-indirect_rc.line341.yml true 6.25 4.24 None 04-mutex_37-indirect_rc.line342.yml true 6.66 4.43 None 04-mutex_37-indirect_rc.line353.yml true 5.56 3.77 None 04-mutex_37-indirect_rc.line354.yml true 7.66 4.65 None 04-mutex_37-indirect_rc.line364.yml true 5.56 4.14 None 04-mutex_37-indirect_rc.line365.yml true 7.45 4.56 None 04-mutex_41-pt_rwlock.line400.yml true 6.97 4.31 None 04-mutex_41-pt_rwlock.line401.yml true 5.50 3.84 None 04-mutex_41-pt_rwlock.line436.yml true 5.57 3.87 None 04-mutex_41-pt_rwlock.line437.yml true 5.65 3.76 None 04-mutex_42-trylock_2mutex.line339.yml true 5.00 3.51 None 04-mutex_42-trylock_2mutex.line340.yml true 5.72 4.26 None 04-mutex_42-trylock_2mutex.line395.yml true 6.33 4.12 None 04-mutex_42-trylock_2mutex.line396.yml true 8.48 5.03 None 04-mutex_43-thread_create_nr.line332.yml true 5.33 3.55 None 04-mutex_43-thread_create_nr.line333.yml true 5.61 3.95 None 04-mutex_44-malloc_sound.line360.yml true 8.72 6.38 None 04-mutex_44-malloc_sound.line361.yml true 9.44 6.02 None 04-mutex_47-fun_write.line357.yml true 5.24 3.85 None 04-mutex_47-fun_write.line358.yml true 7.49 4.34 None 04-mutex_47-fun_write.line382.yml true 7.01 4.36 None 04-mutex_47-fun_write.line383.yml true 7.20 4.41 None 04-mutex_50-funptr_rc.line358.yml true 5.14 3.92 None 04-mutex_50-funptr_rc.line359.yml true 5.31 3.77 None 04-mutex_50-funptr_rc.line417.yml true 5.76 3.83 None 04-mutex_50-funptr_rc.line418.yml ERROR: EXCEPTION 6.59 4.01 None 04-mutex_51-mutex_ptr.line250.yml true 6.32 4.25 None 04-mutex_51-mutex_ptr.line251.yml true 7.42 5.03 None 04-mutex_51-mutex_ptr.line261.yml true 6.13 4.31 None 04-mutex_51-mutex_ptr.line262.yml true 6.61 4.48 None 04-mutex_51-mutex_ptr.line376.yml true 6.80 4.29 None 04-mutex_51-mutex_ptr.line377.yml true 6.87 4.27 None 04-mutex_51-mutex_ptr.line400.yml true 7.82 4.72 None 04-mutex_51-mutex_ptr.line401.yml true 8.14 4.90 None 04-mutex_51-mutex_ptr.line411.yml true 6.25 4.37 None 04-mutex_51-mutex_ptr.line412.yml true 6.07 4.82 None 04-mutex_51-mutex_ptr.line422.yml true 5.82 4.02 None 04-mutex_51-mutex_ptr.line423.yml true 6.10 4.42 None 04-mutex_54-pt_rwlock_ww.line400.yml true 5.31 3.65 None 04-mutex_54-pt_rwlock_ww.line401.yml true 5.70 3.81 None 04-mutex_54-pt_rwlock_ww.line436.yml true 6.00 3.91 None 04-mutex_54-pt_rwlock_ww.line437.yml true 6.17 4.05 None 04-mutex_55-pt_rwlock_rr.line400.yml true 4.96 3.48 None 04-mutex_55-pt_rwlock_rr.line401.yml true 5.61 3.68 None 04-mutex_55-pt_rwlock_rr.line436.yml true 7.52 4.61 None 04-mutex_55-pt_rwlock_rr.line437.yml true 7.75 4.52 None 05-lval_ls_03-fld_rc.line308.yml true 6.39 4.04 None 05-lval_ls_03-fld_rc.line309.yml true 6.47 4.02 None 05-lval_ls_04-fld_nr.line308.yml true 5.21 3.88 None 05-lval_ls_04-fld_nr.line309.yml true 5.34 3.54 None 05-lval_ls_05-glob_idx_rc.line190.yml false(unreach-call) 5.95 4.43 None 05-lval_ls_05-glob_idx_rc.line191.yml true 5.79 4.17 None 05-lval_ls_05-glob_idx_rc.line202.yml false(unreach-call) 5.80 4.04 None 05-lval_ls_05-glob_idx_rc.line203.yml true 5.42 4.26 None 05-lval_ls_05-glob_idx_rc.line270.yml true 5.34 3.56 None 05-lval_ls_05-glob_idx_rc.line271.yml true 5.10 3.42 None 05-lval_ls_05-glob_idx_rc.line282.yml true 5.33 3.83 None 05-lval_ls_05-glob_idx_rc.line283.yml true 5.60 3.92 None 05-lval_ls_05-glob_idx_rc.line294.yml true 6.78 4.22 None 05-lval_ls_05-glob_idx_rc.line295.yml true 6.89 4.29 None 05-lval_ls_07-glob_fld_rc.line189.yml false(unreach-call) 7.73 4.87 None 05-lval_ls_07-glob_fld_rc.line190.yml true 7.81 4.93 None 05-lval_ls_07-glob_fld_rc.line201.yml false(unreach-call) 6.29 4.62 None 05-lval_ls_07-glob_fld_rc.line202.yml true 5.72 3.91 None 05-lval_ls_07-glob_fld_rc.line277.yml true 4.97 3.77 None 05-lval_ls_07-glob_fld_rc.line278.yml true 5.50 3.65 None 05-lval_ls_07-glob_fld_rc.line289.yml true 5.65 3.90 None 05-lval_ls_07-glob_fld_rc.line290.yml true 6.21 3.95 None 05-lval_ls_07-glob_fld_rc.line301.yml true 5.41 4.35 None 05-lval_ls_07-glob_fld_rc.line302.yml true 5.84 4.44 None 05-lval_ls_08-glob_fld_2_rc.line189.yml false(unreach-call) 6.61 4.81 None 05-lval_ls_08-glob_fld_2_rc.line190.yml true 8.80 6.31 None 05-lval_ls_08-glob_fld_2_rc.line201.yml false(unreach-call) 8.01 5.23 None 05-lval_ls_08-glob_fld_2_rc.line202.yml true 14.04 8.41 None 05-lval_ls_08-glob_fld_2_rc.line293.yml true 5.51 3.85 None 05-lval_ls_08-glob_fld_2_rc.line294.yml true 7.65 4.83 None 05-lval_ls_08-glob_fld_2_rc.line308.yml true 7.23 4.63 None 05-lval_ls_08-glob_fld_2_rc.line309.yml true 5.99 4.41 None 05-lval_ls_08-glob_fld_2_rc.line320.yml true 6.77 4.49 None 05-lval_ls_08-glob_fld_2_rc.line321.yml true 7.54 5.50 None 05-lval_ls_08-glob_fld_2_rc.line332.yml true 6.43 4.61 None 05-lval_ls_08-glob_fld_2_rc.line333.yml true 7.88 5.04 None 05-lval_ls_11-fldsense_rc.line207.yml false(unreach-call) 6.60 4.51 None 05-lval_ls_11-fldsense_rc.line208.yml true 6.68 5.05 None 05-lval_ls_11-fldsense_rc.line219.yml false(unreach-call) 6.41 4.56 None 05-lval_ls_11-fldsense_rc.line220.yml true 6.30 4.25 None 05-lval_ls_11-fldsense_rc.line347.yml true 5.62 3.67 None 05-lval_ls_11-fldsense_rc.line348.yml true 6.80 4.39 None 05-lval_ls_11-fldsense_rc.line370.yml true 7.92 4.74 None 05-lval_ls_11-fldsense_rc.line371.yml true 8.27 4.97 None 05-lval_ls_11-fldsense_rc.line382.yml true 6.31 4.65 None 05-lval_ls_11-fldsense_rc.line383.yml true 6.40 4.12 None 05-lval_ls_12-fldsense_nr.line207.yml false(unreach-call) 7.16 4.87 None 05-lval_ls_12-fldsense_nr.line208.yml true 7.01 4.74 None 05-lval_ls_12-fldsense_nr.line219.yml false(unreach-call) 7.55 5.35 None 05-lval_ls_12-fldsense_nr.line220.yml true 6.42 4.66 None 05-lval_ls_12-fldsense_nr.line350.yml true 5.25 3.69 None 05-lval_ls_12-fldsense_nr.line351.yml true 5.63 3.92 None 05-lval_ls_12-fldsense_nr.line373.yml true 7.91 4.78 None 05-lval_ls_12-fldsense_nr.line374.yml true 6.45 4.10 None 05-lval_ls_12-fldsense_nr.line385.yml true 6.17 4.22 None 05-lval_ls_12-fldsense_nr.line386.yml true 7.85 4.76 None 05-lval_ls_12-fldsense_nr.line408.yml true 6.77 4.04 None 05-lval_ls_12-fldsense_nr.line409.yml true 7.60 4.82 None 05-lval_ls_12-fldsense_nr.line420.yml true 8.32 4.95 None 05-lval_ls_12-fldsense_nr.line421.yml true 8.56 5.27 None 05-lval_ls_14-idxunknown_access.line190.yml false(unreach-call) 6.17 4.79 None 05-lval_ls_14-idxunknown_access.line191.yml true 6.21 4.88 None 05-lval_ls_14-idxunknown_access.line202.yml false(unreach-call) 5.90 4.07 None 05-lval_ls_14-idxunknown_access.line203.yml true 5.45 4.06 None 05-lval_ls_14-idxunknown_access.line286.yml true 5.33 3.88 None 05-lval_ls_14-idxunknown_access.line287.yml true 5.07 4.10 None 05-lval_ls_14-idxunknown_access.line298.yml true 5.63 3.68 None 05-lval_ls_14-idxunknown_access.line299.yml true 6.87 5.01 None 05-lval_ls_14-idxunknown_access.line310.yml true 6.95 4.32 None 05-lval_ls_14-idxunknown_access.line311.yml true 6.15 3.94 None 05-lval_ls_15-fldunknown_access.line223.yml false(unreach-call) 7.83 5.01 None 05-lval_ls_15-fldunknown_access.line224.yml true 6.55 4.78 None 05-lval_ls_15-fldunknown_access.line235.yml false(unreach-call) 7.92 4.99 None 05-lval_ls_15-fldunknown_access.line236.yml true 6.18 4.35 None 05-lval_ls_15-fldunknown_access.line323.yml true 4.97 3.53 None 05-lval_ls_15-fldunknown_access.line324.yml true 6.66 4.14 None 05-lval_ls_15-fldunknown_access.line335.yml true 6.01 4.20 None 05-lval_ls_15-fldunknown_access.line336.yml true 7.47 5.10 None 05-lval_ls_15-fldunknown_access.line347.yml true 6.23 4.24 None 05-lval_ls_15-fldunknown_access.line348.yml true 6.60 5.17 None 06-symbeq_10-equ_rc.line259.yml false(unreach-call) 7.30 4.76 None 06-symbeq_10-equ_rc.line260.yml true 8.46 5.37 None 06-symbeq_10-equ_rc.line424.yml true 5.46 3.69 None 06-symbeq_10-equ_rc.line425.yml true 5.94 4.45 None 06-symbeq_10-equ_rc.line448.yml true 7.44 4.83 None 06-symbeq_10-equ_rc.line449.yml true 10.79 6.24 None 06-symbeq_11-equ_nr.line259.yml false(unreach-call) 7.77 5.18 None 06-symbeq_11-equ_nr.line260.yml true 8.37 5.22 None 06-symbeq_11-equ_nr.line424.yml true 5.56 3.72 None 06-symbeq_11-equ_nr.line425.yml true 5.63 3.79 None 06-symbeq_11-equ_nr.line448.yml true 9.65 5.66 None 06-symbeq_11-equ_nr.line449.yml true 8.55 5.76 None 06-symbeq_13-equ_proc_nr.line259.yml false(unreach-call) 7.29 5.68 None 06-symbeq_13-equ_proc_nr.line260.yml true 6.57 4.82 None 06-symbeq_13-equ_proc_nr.line402.yml true 5.52 3.63 None 06-symbeq_13-equ_proc_nr.line403.yml true 5.63 3.65 None 06-symbeq_13-equ_proc_nr.line430.yml true 7.86 5.06 None 06-symbeq_13-equ_proc_nr.line431.yml true 11.71 6.81 None 09-regions_01-list_rc.line321.yml false(unreach-call) 7.52 4.94 None 09-regions_01-list_rc.line322.yml true 7.01 4.70 None 09-regions_01-list_rc.line331.yml false(unreach-call) 7.38 4.94 None 09-regions_01-list_rc.line332.yml true 7.00 4.97 None 09-regions_01-list_rc.line353.yml false(unreach-call) 10.10 6.16 None 09-regions_01-list_rc.line354.yml true 9.34 5.92 None 09-regions_01-list_rc.line366.yml false(unreach-call) 7.81 5.05 None 09-regions_01-list_rc.line367.yml true 9.03 5.53 None 09-regions_01-list_rc.line376.yml false(unreach-call) 10.03 6.03 None 09-regions_01-list_rc.line377.yml true 7.31 4.92 None 09-regions_01-list_rc.line548.yml true 6.01 4.19 None 09-regions_01-list_rc.line549.yml true 6.26 4.55 None 09-regions_01-list_rc.line558.yml true 6.05 4.11 None 09-regions_01-list_rc.line559.yml true 6.37 4.44 None 09-regions_01-list_rc.line590.yml true 6.46 4.12 None 09-regions_01-list_rc.line591.yml true 6.46 4.36 None 09-regions_01-list_rc.line600.yml true 7.71 4.53 None 09-regions_01-list_rc.line601.yml true 6.35 4.77 None 09-regions_01-list_rc.line612.yml true 6.25 4.64 None 09-regions_01-list_rc.line613.yml true 6.75 4.28 None 09-regions_01-list_rc.line624.yml true 6.01 4.06 None 09-regions_01-list_rc.line625.yml true 6.99 4.41 None 09-regions_01-list_rc.line647.yml false(unreach-call) 8.65 5.03 None 09-regions_01-list_rc.line648.yml false(unreach-call) 9.45 5.39 None 09-regions_01-list_rc.line660.yml false(unreach-call) 9.97 6.58 None 09-regions_01-list_rc.line661.yml false(unreach-call) 13.01 7.56 None 09-regions_02-list_nr.line322.yml false(unreach-call) 10.34 6.05 None 09-regions_02-list_nr.line323.yml true 7.08 4.69 None 09-regions_02-list_nr.line332.yml false(unreach-call) 7.90 5.53 None 09-regions_02-list_nr.line333.yml true 6.80 4.68 None 09-regions_02-list_nr.line354.yml false(unreach-call) 11.13 6.56 None 09-regions_02-list_nr.line355.yml true 9.59 6.12 None 09-regions_02-list_nr.line367.yml false(unreach-call) 9.08 5.60 None 09-regions_02-list_nr.line368.yml true 7.30 5.28 None 09-regions_02-list_nr.line377.yml false(unreach-call) 8.69 6.33 None 09-regions_02-list_nr.line378.yml true 7.46 4.83 None 09-regions_02-list_nr.line533.yml true 7.32 4.51 None 09-regions_02-list_nr.line534.yml true 7.62 4.62 None 09-regions_02-list_nr.line543.yml true 5.52 3.75 None 09-regions_02-list_nr.line544.yml true 6.08 4.66 None 09-regions_02-list_nr.line575.yml true 8.04 4.83 None 09-regions_02-list_nr.line576.yml true 6.08 4.08 None 09-regions_02-list_nr.line585.yml true 5.90 4.16 None 09-regions_02-list_nr.line586.yml true 6.63 4.41 None 09-regions_02-list_nr.line597.yml true 6.12 3.97 None 09-regions_02-list_nr.line598.yml true 6.21 4.32 None 09-regions_02-list_nr.line609.yml true 6.61 4.22 None 09-regions_02-list_nr.line610.yml true 8.64 5.21 None 09-regions_02-list_nr.line632.yml false(unreach-call) 9.40 5.18 None 09-regions_02-list_nr.line633.yml false(unreach-call) 7.93 4.89 None 09-regions_02-list_nr.line645.yml false(unreach-call) 13.45 7.37 None 09-regions_02-list_nr.line646.yml false(unreach-call) 11.82 8.10 None 09-regions_03-list2_rc.line306.yml false(unreach-call) 9.10 5.62 None 09-regions_03-list2_rc.line307.yml true 8.44 5.67 None 09-regions_03-list2_rc.line316.yml false(unreach-call) 18.50 12.88 None 09-regions_03-list2_rc.line317.yml true 24.83 14.76 None 09-regions_03-list2_rc.line328.yml false(unreach-call) 9.32 6.07 None 09-regions_03-list2_rc.line329.yml true 7.40 5.17 None 09-regions_03-list2_rc.line352.yml false(unreach-call) 10.12 6.19 None 09-regions_03-list2_rc.line353.yml true 7.69 5.31 None 09-regions_03-list2_rc.line362.yml false(unreach-call) 34.34 21.73 None 09-regions_03-list2_rc.line363.yml true 34.41 25.29 None 09-regions_03-list2_rc.line374.yml false(unreach-call) 13.21 7.62 None 09-regions_03-list2_rc.line375.yml true 9.48 5.83 None 09-regions_03-list2_rc.line576.yml true 6.15 4.00 None 09-regions_03-list2_rc.line577.yml true 6.21 4.75 None 09-regions_03-list2_rc.line586.yml true 7.73 4.69 None 09-regions_03-list2_rc.line587.yml true 6.84 4.47 None 09-regions_03-list2_rc.line618.yml true 6.16 4.48 None 09-regions_03-list2_rc.line619.yml true 6.39 4.96 None 09-regions_03-list2_rc.line628.yml true 6.13 4.08 None 09-regions_03-list2_rc.line629.yml true 6.23 4.11 None 09-regions_03-list2_rc.line640.yml true 6.30 4.06 None 09-regions_03-list2_rc.line641.yml true 8.56 5.12 None 09-regions_03-list2_rc.line670.yml true 6.20 4.55 None 09-regions_03-list2_rc.line671.yml true 8.56 5.18 None 09-regions_03-list2_rc.line680.yml true 8.11 4.95 None 09-regions_03-list2_rc.line681.yml true 7.01 4.62 None 09-regions_03-list2_rc.line692.yml true 6.55 4.45 None 09-regions_03-list2_rc.line693.yml true 6.87 4.46 None 09-regions_03-list2_rc.line704.yml true 7.31 4.85 None 09-regions_03-list2_rc.line705.yml true 7.37 4.68 None 09-regions_03-list2_rc.line727.yml true 7.01 4.66 None 09-regions_03-list2_rc.line728.yml true 8.45 5.20 None 09-regions_03-list2_rc.line740.yml false(unreach-call) 25.02 14.29 None 09-regions_03-list2_rc.line741.yml false(unreach-call) 27.27 15.74 None 09-regions_03-list2_rc.line763.yml true 7.17 4.70 None 09-regions_03-list2_rc.line764.yml true 8.17 5.29 None 09-regions_03-list2_rc.line776.yml false(unreach-call) 24.64 16.35 None 09-regions_03-list2_rc.line777.yml false(unreach-call) 26.81 15.76 None 09-regions_04-list2_nr.line306.yml false(unreach-call) 12.45 7.43 None 09-regions_04-list2_nr.line307.yml true 8.97 6.07 None 09-regions_04-list2_nr.line316.yml false(unreach-call) 22.81 16.67 None 09-regions_04-list2_nr.line317.yml true 32.89 21.57 None 09-regions_04-list2_nr.line328.yml false(unreach-call) 9.57 6.57 None 09-regions_04-list2_nr.line329.yml true 7.60 4.95 None 09-regions_04-list2_nr.line352.yml false(unreach-call) 10.34 6.39 None 09-regions_04-list2_nr.line353.yml true 7.80 5.45 None 09-regions_04-list2_nr.line362.yml false(unreach-call) 27.86 19.35 None 09-regions_04-list2_nr.line363.yml true 35.63 23.76 None 09-regions_04-list2_nr.line374.yml false(unreach-call) 13.91 7.92 None 09-regions_04-list2_nr.line375.yml true 8.11 5.16 None 09-regions_04-list2_nr.line577.yml true 6.33 4.84 None 09-regions_04-list2_nr.line578.yml true 6.08 4.28 None 09-regions_04-list2_nr.line587.yml true 6.10 4.31 None 09-regions_04-list2_nr.line588.yml true 6.80 4.51 None 09-regions_04-list2_nr.line619.yml true 8.04 4.90 None 09-regions_04-list2_nr.line620.yml true 6.46 4.19 None 09-regions_04-list2_nr.line629.yml true 6.05 3.94 None 09-regions_04-list2_nr.line630.yml true 8.84 5.11 None 09-regions_04-list2_nr.line641.yml true 6.21 4.15 None 09-regions_04-list2_nr.line642.yml true 6.63 4.70 None 09-regions_04-list2_nr.line671.yml true 8.34 5.05 None 09-regions_04-list2_nr.line672.yml true 8.55 5.10 None 09-regions_04-list2_nr.line681.yml true 6.52 4.26 None 09-regions_04-list2_nr.line682.yml true 6.80 4.68 None 09-regions_04-list2_nr.line713.yml true 7.20 4.56 None 09-regions_04-list2_nr.line714.yml true 6.93 4.97 None 09-regions_04-list2_nr.line723.yml true 6.30 4.85 None 09-regions_04-list2_nr.line724.yml true 8.73 5.24 None 09-regions_04-list2_nr.line735.yml true 7.02 4.67 None 09-regions_04-list2_nr.line736.yml true 9.30 5.47 None 09-regions_04-list2_nr.line747.yml true 7.50 4.95 None 09-regions_04-list2_nr.line748.yml true 8.58 5.46 None 09-regions_04-list2_nr.line770.yml true 9.73 5.74 None 09-regions_04-list2_nr.line771.yml true 11.36 6.60 None 09-regions_04-list2_nr.line783.yml false(unreach-call) 24.33 16.15 None 09-regions_04-list2_nr.line784.yml false(unreach-call) 33.97 22.01 None 09-regions_04-list2_nr.line806.yml true 6.93 5.29 None 09-regions_04-list2_nr.line807.yml true 7.87 4.88 None 09-regions_04-list2_nr.line819.yml false(unreach-call) 11.88 7.64 None 09-regions_04-list2_nr.line820.yml false(unreach-call) 16.93 9.22 None 09-regions_09-arraylist.line351.yml false(unreach-call) 9.24 6.12 None 09-regions_09-arraylist.line352.yml true 7.40 5.20 None 09-regions_09-arraylist.line361.yml false(unreach-call) 12.74 7.31 None 09-regions_09-arraylist.line362.yml true 7.44 5.20 None ------------------------------------------------------------------------------------------------------------ Run set 1 done 2460.81 133.05 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk30 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 ------------------------------------------------------------------------------------------------------------ 04-mutex_22-deref_read.line333.yml true 6.67 4.37 None 04-mutex_22-deref_read.line334.yml true 7.12 4.96 None 04-mutex_24-sound_lock.line356.yml true 7.02 4.33 None 04-mutex_24-sound_lock.line357.yml true 6.11 3.71 None 04-mutex_24-sound_lock.line381.yml true 5.95 4.04 None 04-mutex_24-sound_lock.line382.yml true 5.84 4.67 None 04-mutex_25-single_acc.line251.yml true 6.78 4.42 None 04-mutex_25-single_acc.line252.yml true 7.34 4.68 None 04-mutex_25-single_acc.line266.yml true 6.95 4.68 None 04-mutex_25-single_acc.line267.yml true 5.75 3.99 None 04-mutex_27-base_rc.line398.yml true 5.54 4.03 None 04-mutex_27-base_rc.line399.yml true 5.69 3.99 None 04-mutex_28-base_nr.line385.yml true 5.30 4.27 None 04-mutex_28-base_nr.line386.yml true 5.49 3.66 None 04-mutex_37-indirect_rc.line211.yml true 6.52 4.32 None 04-mutex_37-indirect_rc.line212.yml true 6.85 4.57 None 04-mutex_37-indirect_rc.line223.yml true 6.13 4.44 None 04-mutex_37-indirect_rc.line224.yml true 6.48 4.35 None 04-mutex_37-indirect_rc.line329.yml true 5.43 3.86 None 04-mutex_37-indirect_rc.line330.yml true 5.67 3.89 None 04-mutex_37-indirect_rc.line341.yml true 7.87 4.76 None 04-mutex_37-indirect_rc.line342.yml true 6.62 4.59 None 04-mutex_37-indirect_rc.line353.yml true 5.99 4.00 None 04-mutex_37-indirect_rc.line354.yml true 7.94 4.73 None 04-mutex_37-indirect_rc.line364.yml true 5.79 4.58 None 04-mutex_37-indirect_rc.line365.yml true 7.79 4.48 None 04-mutex_41-pt_rwlock.line400.yml true 6.74 4.14 None 04-mutex_41-pt_rwlock.line401.yml true 5.48 4.02 None 04-mutex_41-pt_rwlock.line436.yml true 6.08 4.27 None 04-mutex_41-pt_rwlock.line437.yml true 6.49 4.39 None 04-mutex_42-trylock_2mutex.line339.yml true 5.46 3.58 None 04-mutex_42-trylock_2mutex.line340.yml true 5.50 3.73 None 04-mutex_42-trylock_2mutex.line395.yml true 5.99 3.97 None 04-mutex_42-trylock_2mutex.line396.yml true 6.55 4.21 None 04-mutex_43-thread_create_nr.line332.yml true 5.17 3.57 None 04-mutex_43-thread_create_nr.line333.yml true 7.00 4.29 None 04-mutex_44-malloc_sound.line360.yml true 9.45 5.64 None 04-mutex_44-malloc_sound.line361.yml true 9.87 6.04 None 04-mutex_47-fun_write.line357.yml true 6.66 4.16 None 04-mutex_47-fun_write.line358.yml true 6.96 4.31 None 04-mutex_47-fun_write.line382.yml true 7.32 4.47 None 04-mutex_47-fun_write.line383.yml true 5.73 4.03 None 04-mutex_50-funptr_rc.line358.yml true 5.28 3.61 None 04-mutex_50-funptr_rc.line359.yml true 5.14 3.53 None 04-mutex_50-funptr_rc.line417.yml true 5.79 4.07 None 04-mutex_50-funptr_rc.line418.yml true 6.47 4.23 None 04-mutex_51-mutex_ptr.line250.yml true 6.62 4.57 None 04-mutex_51-mutex_ptr.line251.yml true 7.42 4.96 None 04-mutex_51-mutex_ptr.line261.yml true 6.70 4.44 None 04-mutex_51-mutex_ptr.line262.yml true 8.24 5.13 None 04-mutex_51-mutex_ptr.line376.yml true 5.28 3.82 None 04-mutex_51-mutex_ptr.line377.yml true 7.06 4.32 None 04-mutex_51-mutex_ptr.line400.yml true 7.85 4.79 None 04-mutex_51-mutex_ptr.line401.yml true 8.40 5.01 None 04-mutex_51-mutex_ptr.line411.yml true 6.02 4.27 None 04-mutex_51-mutex_ptr.line412.yml true 6.52 4.44 None 04-mutex_51-mutex_ptr.line422.yml true 5.97 3.88 None 04-mutex_51-mutex_ptr.line423.yml true 5.89 3.86 None 04-mutex_54-pt_rwlock_ww.line400.yml true 5.44 3.85 None 04-mutex_54-pt_rwlock_ww.line401.yml true 5.37 3.76 None 04-mutex_54-pt_rwlock_ww.line436.yml true 5.84 3.98 None 04-mutex_54-pt_rwlock_ww.line437.yml true 6.08 3.92 None 04-mutex_55-pt_rwlock_rr.line400.yml true 5.64 3.96 None 04-mutex_55-pt_rwlock_rr.line401.yml true 5.44 4.33 None 04-mutex_55-pt_rwlock_rr.line436.yml true 7.46 4.54 None 04-mutex_55-pt_rwlock_rr.line437.yml true 7.48 4.59 None 05-lval_ls_03-fld_rc.line308.yml true 6.09 3.87 None 05-lval_ls_03-fld_rc.line309.yml true 6.83 4.18 None 05-lval_ls_04-fld_nr.line308.yml true 4.97 3.28 None 05-lval_ls_04-fld_nr.line309.yml true 5.29 3.59 None 05-lval_ls_05-glob_idx_rc.line190.yml false(unreach-call) 5.98 4.76 None 05-lval_ls_05-glob_idx_rc.line191.yml true 5.79 3.96 None 05-lval_ls_05-glob_idx_rc.line202.yml false(unreach-call) 5.48 4.13 None 05-lval_ls_05-glob_idx_rc.line203.yml true 5.37 4.03 None 05-lval_ls_05-glob_idx_rc.line270.yml true 4.89 3.40 None 05-lval_ls_05-glob_idx_rc.line271.yml true 5.79 3.78 None 05-lval_ls_05-glob_idx_rc.line282.yml true 5.73 4.25 None 05-lval_ls_05-glob_idx_rc.line283.yml true 5.62 3.74 None 05-lval_ls_05-glob_idx_rc.line294.yml true 6.99 4.30 None 05-lval_ls_05-glob_idx_rc.line295.yml true 5.48 3.85 None 05-lval_ls_07-glob_fld_rc.line189.yml false(unreach-call) 7.73 4.90 None 05-lval_ls_07-glob_fld_rc.line190.yml true 7.73 4.85 None 05-lval_ls_07-glob_fld_rc.line201.yml false(unreach-call) 7.56 4.83 None 05-lval_ls_07-glob_fld_rc.line202.yml true 6.20 4.09 None 05-lval_ls_07-glob_fld_rc.line277.yml true 4.87 3.30 None 05-lval_ls_07-glob_fld_rc.line278.yml true 5.18 4.01 None 05-lval_ls_07-glob_fld_rc.line289.yml true 6.29 4.28 None 05-lval_ls_07-glob_fld_rc.line290.yml true 6.09 3.96 None 05-lval_ls_07-glob_fld_rc.line301.yml true 5.07 3.59 None 05-lval_ls_07-glob_fld_rc.line302.yml true 5.99 4.39 None 05-lval_ls_08-glob_fld_2_rc.line189.yml false(unreach-call) 6.62 4.80 None 05-lval_ls_08-glob_fld_2_rc.line190.yml true 9.29 6.58 None 05-lval_ls_08-glob_fld_2_rc.line201.yml false(unreach-call) 6.81 4.69 None 05-lval_ls_08-glob_fld_2_rc.line202.yml true 13.26 8.06 None 05-lval_ls_08-glob_fld_2_rc.line293.yml true 5.53 3.88 None 05-lval_ls_08-glob_fld_2_rc.line294.yml true 6.08 4.28 None 05-lval_ls_08-glob_fld_2_rc.line308.yml true 7.02 4.55 None 05-lval_ls_08-glob_fld_2_rc.line309.yml true 7.36 4.67 None 05-lval_ls_08-glob_fld_2_rc.line320.yml true 8.28 5.14 None 05-lval_ls_08-glob_fld_2_rc.line321.yml true 6.24 4.58 None 05-lval_ls_08-glob_fld_2_rc.line332.yml true 6.79 4.63 None 05-lval_ls_08-glob_fld_2_rc.line333.yml true 8.28 5.25 None 05-lval_ls_11-fldsense_rc.line207.yml false(unreach-call) 7.16 5.03 None 05-lval_ls_11-fldsense_rc.line208.yml true 6.71 4.60 None 05-lval_ls_11-fldsense_rc.line219.yml false(unreach-call) 6.36 4.99 None 05-lval_ls_11-fldsense_rc.line220.yml true 6.47 4.62 None 05-lval_ls_11-fldsense_rc.line347.yml true 5.30 3.51 None 05-lval_ls_11-fldsense_rc.line348.yml true 5.69 3.73 None 05-lval_ls_11-fldsense_rc.line370.yml true 8.07 4.85 None 05-lval_ls_11-fldsense_rc.line371.yml true 6.90 4.95 None 05-lval_ls_11-fldsense_rc.line382.yml true 7.93 4.78 None 05-lval_ls_11-fldsense_rc.line383.yml true 6.05 4.27 None 05-lval_ls_12-fldsense_nr.line207.yml false(unreach-call) 7.28 4.87 None 05-lval_ls_12-fldsense_nr.line208.yml true 8.52 5.24 None 05-lval_ls_12-fldsense_nr.line219.yml false(unreach-call) 7.22 4.77 None 05-lval_ls_12-fldsense_nr.line220.yml true 6.58 4.40 None 05-lval_ls_12-fldsense_nr.line350.yml true 5.24 3.79 None 05-lval_ls_12-fldsense_nr.line351.yml true 7.29 4.44 None 05-lval_ls_12-fldsense_nr.line373.yml true 6.38 4.13 None 05-lval_ls_12-fldsense_nr.line374.yml true 6.64 4.24 None 05-lval_ls_12-fldsense_nr.line385.yml true 6.01 4.00 None 05-lval_ls_12-fldsense_nr.line386.yml true 6.23 4.48 None 05-lval_ls_12-fldsense_nr.line408.yml true 7.75 4.67 None 05-lval_ls_12-fldsense_nr.line409.yml true 6.70 5.15 None 05-lval_ls_12-fldsense_nr.line420.yml true 6.19 4.26 None 05-lval_ls_12-fldsense_nr.line421.yml true 8.43 5.03 None 05-lval_ls_14-idxunknown_access.line190.yml false(unreach-call) 6.02 4.25 None 05-lval_ls_14-idxunknown_access.line191.yml true 5.45 4.35 None 05-lval_ls_14-idxunknown_access.line202.yml false(unreach-call) 7.40 4.71 None 05-lval_ls_14-idxunknown_access.line203.yml true 5.78 3.95 None 05-lval_ls_14-idxunknown_access.line286.yml true 5.15 3.55 None 05-lval_ls_14-idxunknown_access.line287.yml true 5.23 3.48 None 05-lval_ls_14-idxunknown_access.line298.yml true 7.59 4.63 None 05-lval_ls_14-idxunknown_access.line299.yml true 6.67 4.92 None 05-lval_ls_14-idxunknown_access.line310.yml true 5.11 3.47 None 05-lval_ls_14-idxunknown_access.line311.yml true 5.81 4.12 None 05-lval_ls_15-fldunknown_access.line223.yml false(unreach-call) 7.90 4.96 None 05-lval_ls_15-fldunknown_access.line224.yml true 6.26 4.29 None 05-lval_ls_15-fldunknown_access.line235.yml false(unreach-call) 6.33 4.47 None 05-lval_ls_15-fldunknown_access.line236.yml true 6.14 4.52 None 05-lval_ls_15-fldunknown_access.line323.yml true 5.63 3.75 None 05-lval_ls_15-fldunknown_access.line324.yml true 5.35 3.59 None 05-lval_ls_15-fldunknown_access.line335.yml true 6.11 3.96 None 05-lval_ls_15-fldunknown_access.line336.yml true 9.36 5.47 None 05-lval_ls_15-fldunknown_access.line347.yml true 5.70 4.41 None 05-lval_ls_15-fldunknown_access.line348.yml true 8.58 5.09 None 06-symbeq_10-equ_rc.line259.yml false(unreach-call) 7.93 5.09 None 06-symbeq_10-equ_rc.line260.yml true 8.96 5.54 None 06-symbeq_10-equ_rc.line424.yml true 5.77 4.09 None 06-symbeq_10-equ_rc.line425.yml true 5.70 3.93 None 06-symbeq_10-equ_rc.line448.yml true 8.02 5.36 None 06-symbeq_10-equ_rc.line449.yml true 8.60 5.31 None 06-symbeq_11-equ_nr.line259.yml false(unreach-call) 7.55 5.06 None 06-symbeq_11-equ_nr.line260.yml true 6.81 4.60 None 06-symbeq_11-equ_nr.line424.yml true 6.79 4.17 None 06-symbeq_11-equ_nr.line425.yml true 5.73 3.92 None 06-symbeq_11-equ_nr.line448.yml true 7.49 4.69 None 06-symbeq_11-equ_nr.line449.yml true 8.10 5.63 None 06-symbeq_13-equ_proc_nr.line259.yml false(unreach-call) 10.29 6.17 None 06-symbeq_13-equ_proc_nr.line260.yml true 7.80 4.91 None 06-symbeq_13-equ_proc_nr.line402.yml true 5.38 3.55 None 06-symbeq_13-equ_proc_nr.line403.yml true 5.85 3.93 None 06-symbeq_13-equ_proc_nr.line430.yml true 7.96 5.04 None 06-symbeq_13-equ_proc_nr.line431.yml true 11.96 6.94 None 09-regions_01-list_rc.line321.yml false(unreach-call) 9.94 6.00 None 09-regions_01-list_rc.line322.yml true 7.12 4.91 None 09-regions_01-list_rc.line331.yml false(unreach-call) 7.67 4.90 None 09-regions_01-list_rc.line332.yml true 6.97 4.63 None 09-regions_01-list_rc.line353.yml false(unreach-call) 8.14 5.16 None 09-regions_01-list_rc.line354.yml true 9.06 5.69 None 09-regions_01-list_rc.line366.yml false(unreach-call) 7.39 4.83 None 09-regions_01-list_rc.line367.yml true 7.12 4.71 None 09-regions_01-list_rc.line376.yml false(unreach-call) 8.34 5.72 None 09-regions_01-list_rc.line377.yml true 7.02 4.90 None 09-regions_01-list_rc.line548.yml true 7.91 4.58 None 09-regions_01-list_rc.line549.yml true 6.01 4.35 None 09-regions_01-list_rc.line558.yml true 7.44 4.54 None 09-regions_01-list_rc.line559.yml true 6.22 4.37 None 09-regions_01-list_rc.line590.yml true 6.03 4.34 None 09-regions_01-list_rc.line591.yml true 6.17 4.11 None 09-regions_01-list_rc.line600.yml true 7.68 4.60 None 09-regions_01-list_rc.line601.yml true 6.45 4.69 None 09-regions_01-list_rc.line612.yml true 5.94 3.92 None 09-regions_01-list_rc.line613.yml true 6.88 4.39 None 09-regions_01-list_rc.line624.yml true 7.91 4.81 None 09-regions_01-list_rc.line625.yml true 6.95 4.61 None 09-regions_01-list_rc.line647.yml false(unreach-call) 6.77 5.04 None 09-regions_01-list_rc.line648.yml false(unreach-call) 9.28 5.31 None 09-regions_01-list_rc.line660.yml false(unreach-call) 9.84 6.32 None 09-regions_01-list_rc.line661.yml false(unreach-call) 11.65 6.84 None 09-regions_02-list_nr.line322.yml false(unreach-call) 9.88 5.86 None 09-regions_02-list_nr.line323.yml true 6.34 4.58 None 09-regions_02-list_nr.line332.yml false(unreach-call) 7.99 5.14 None 09-regions_02-list_nr.line333.yml true 6.86 4.79 None 09-regions_02-list_nr.line354.yml false(unreach-call) 9.33 5.77 None 09-regions_02-list_nr.line355.yml true 11.46 6.80 None 09-regions_02-list_nr.line367.yml false(unreach-call) 8.88 5.55 None 09-regions_02-list_nr.line368.yml true 7.04 4.91 None 09-regions_02-list_nr.line377.yml false(unreach-call) 11.46 6.74 None 09-regions_02-list_nr.line378.yml true 7.27 5.02 None 09-regions_02-list_nr.line533.yml true 5.32 4.31 None 09-regions_02-list_nr.line534.yml true 7.45 4.58 None 09-regions_02-list_nr.line543.yml true 5.46 4.21 None 09-regions_02-list_nr.line544.yml true 7.66 4.71 None 09-regions_02-list_nr.line575.yml true 5.69 3.83 None 09-regions_02-list_nr.line576.yml true 6.20 4.48 None 09-regions_02-list_nr.line585.yml true 6.11 4.04 None 09-regions_02-list_nr.line586.yml true 6.59 4.18 None 09-regions_02-list_nr.line597.yml true 6.36 4.20 None 09-regions_02-list_nr.line598.yml true 6.21 4.00 None 09-regions_02-list_nr.line609.yml true 6.23 4.05 None 09-regions_02-list_nr.line610.yml true 6.99 4.52 None 09-regions_02-list_nr.line632.yml false(unreach-call) 7.00 4.61 None 09-regions_02-list_nr.line633.yml false(unreach-call) 9.84 5.42 None 09-regions_02-list_nr.line645.yml false(unreach-call) 12.93 7.16 None 09-regions_02-list_nr.line646.yml false(unreach-call) 16.15 8.68 None 09-regions_03-list2_rc.line306.yml false(unreach-call) 8.85 5.90 None 09-regions_03-list2_rc.line307.yml true 8.53 5.90 None 09-regions_03-list2_rc.line316.yml false(unreach-call) 18.97 11.92 None 09-regions_03-list2_rc.line317.yml true 24.19 14.40 None 09-regions_03-list2_rc.line328.yml false(unreach-call) 9.96 6.39 None 09-regions_03-list2_rc.line329.yml true 7.42 4.85 None 09-regions_03-list2_rc.line352.yml false(unreach-call) 9.98 7.13 None 09-regions_03-list2_rc.line353.yml true 8.20 5.22 None 09-regions_03-list2_rc.line362.yml false(unreach-call) 32.67 21.54 None 09-regions_03-list2_rc.line363.yml true 33.53 24.12 None 09-regions_03-list2_rc.line374.yml false(unreach-call) 10.55 6.97 None 09-regions_03-list2_rc.line375.yml true 9.86 5.87 None 09-regions_03-list2_rc.line576.yml true 6.36 4.08 None 09-regions_03-list2_rc.line577.yml true 6.43 4.37 None 09-regions_03-list2_rc.line586.yml true 6.03 4.41 None 09-regions_03-list2_rc.line587.yml true 8.26 5.00 None 09-regions_03-list2_rc.line618.yml true 6.23 4.03 None 09-regions_03-list2_rc.line619.yml true 6.29 4.25 None 09-regions_03-list2_rc.line628.yml true 7.47 4.51 None 09-regions_03-list2_rc.line629.yml true 6.25 4.18 None 09-regions_03-list2_rc.line640.yml true 5.84 4.50 None 09-regions_03-list2_rc.line641.yml true 6.60 4.22 None 09-regions_03-list2_rc.line670.yml true 6.34 4.27 None 09-regions_03-list2_rc.line671.yml true 6.56 4.70 None 09-regions_03-list2_rc.line680.yml true 7.91 4.77 None 09-regions_03-list2_rc.line681.yml true 7.11 4.45 None 09-regions_03-list2_rc.line692.yml true 7.92 4.74 None 09-regions_03-list2_rc.line693.yml true 6.89 4.45 None 09-regions_03-list2_rc.line704.yml true 6.90 4.50 None 09-regions_03-list2_rc.line705.yml true 10.12 5.95 None 09-regions_03-list2_rc.line727.yml true 7.13 4.71 None 09-regions_03-list2_rc.line728.yml true 8.43 5.19 None 09-regions_03-list2_rc.line740.yml false(unreach-call) 18.19 14.26 None 09-regions_03-list2_rc.line741.yml false(unreach-call) 20.64 13.54 None 09-regions_03-list2_rc.line763.yml true 9.06 5.33 None 09-regions_03-list2_rc.line764.yml true 7.70 5.19 None 09-regions_03-list2_rc.line776.yml false(unreach-call) 32.32 18.91 None 09-regions_03-list2_rc.line777.yml false(unreach-call) 21.76 13.14 None 09-regions_04-list2_nr.line306.yml false(unreach-call) 12.64 7.20 None 09-regions_04-list2_nr.line307.yml true 8.86 6.30 None 09-regions_04-list2_nr.line316.yml false(unreach-call) 23.14 16.16 None 09-regions_04-list2_nr.line317.yml true 29.23 22.20 None 09-regions_04-list2_nr.line328.yml false(unreach-call) 12.39 7.17 None 09-regions_04-list2_nr.line329.yml true 7.51 4.93 None 09-regions_04-list2_nr.line352.yml false(unreach-call) 13.57 7.80 None 09-regions_04-list2_nr.line353.yml true 7.93 5.34 None 09-regions_04-list2_nr.line362.yml false(unreach-call) 27.57 18.80 None 09-regions_04-list2_nr.line363.yml true 35.53 23.42 None 09-regions_04-list2_nr.line374.yml false(unreach-call) 13.82 7.89 None 09-regions_04-list2_nr.line375.yml true 7.83 5.04 None 09-regions_04-list2_nr.line577.yml true 6.20 4.17 None 09-regions_04-list2_nr.line578.yml true 7.83 4.72 None 09-regions_04-list2_nr.line587.yml true 6.37 4.29 None 09-regions_04-list2_nr.line588.yml true 7.88 4.79 None 09-regions_04-list2_nr.line619.yml true 6.24 4.37 None 09-regions_04-list2_nr.line620.yml true 6.26 4.63 None 09-regions_04-list2_nr.line629.yml true 6.13 4.00 None 09-regions_04-list2_nr.line630.yml true 6.72 4.34 None 09-regions_04-list2_nr.line641.yml true 6.31 4.45 None 09-regions_04-list2_nr.line642.yml true 7.39 4.69 None 09-regions_04-list2_nr.line671.yml true 8.51 5.11 None 09-regions_04-list2_nr.line672.yml true 8.49 5.09 None 09-regions_04-list2_nr.line681.yml true 6.27 4.50 None 09-regions_04-list2_nr.line682.yml true 6.82 4.49 None 09-regions_04-list2_nr.line713.yml true 6.69 4.20 None 09-regions_04-list2_nr.line714.yml true 8.51 5.11 None 09-regions_04-list2_nr.line723.yml true 6.29 4.35 None 09-regions_04-list2_nr.line724.yml true 8.50 5.06 None 09-regions_04-list2_nr.line735.yml true 6.93 4.35 None 09-regions_04-list2_nr.line736.yml true 7.25 4.88 None 09-regions_04-list2_nr.line747.yml true 7.83 5.11 None 09-regions_04-list2_nr.line748.yml true 10.53 6.15 None 09-regions_04-list2_nr.line770.yml true 9.49 5.64 None 09-regions_04-list2_nr.line771.yml true 8.91 5.42 None 09-regions_04-list2_nr.line783.yml false(unreach-call) 24.00 15.93 None 09-regions_04-list2_nr.line784.yml false(unreach-call) 32.27 21.21 None 09-regions_04-list2_nr.line806.yml true 7.02 5.27 None 09-regions_04-list2_nr.line807.yml true 10.03 5.86 None 09-regions_04-list2_nr.line819.yml false(unreach-call) 13.07 7.39 None 09-regions_04-list2_nr.line820.yml false(unreach-call) 16.72 9.19 None 09-regions_09-arraylist.line351.yml false(unreach-call) 9.63 6.51 None 09-regions_09-arraylist.line352.yml true 7.62 5.00 None 09-regions_09-arraylist.line361.yml false(unreach-call) 9.58 5.99 None 09-regions_09-arraylist.line362.yml true 7.56 4.91 None ------------------------------------------------------------------------------------------------------------ Run set 2 done 2450.10 131.47 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk30 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 ------------------------------------------------------------------------------------------------------------ 04-mutex_22-deref_read.line333.yml true 6.42 4.49 None 04-mutex_22-deref_read.line334.yml true 6.67 5.00 None 04-mutex_24-sound_lock.line356.yml true 7.01 4.34 None 04-mutex_24-sound_lock.line357.yml true 5.88 3.84 None 04-mutex_24-sound_lock.line381.yml true 5.72 4.06 None 04-mutex_24-sound_lock.line382.yml true 5.91 4.26 None 04-mutex_25-single_acc.line251.yml true 6.85 4.50 None 04-mutex_25-single_acc.line252.yml true 7.29 4.59 None 04-mutex_25-single_acc.line266.yml true 6.89 4.45 None 04-mutex_25-single_acc.line267.yml true 5.80 3.99 None 04-mutex_27-base_rc.line398.yml true 5.57 3.89 None 04-mutex_27-base_rc.line399.yml true 5.55 3.88 None 04-mutex_28-base_nr.line385.yml true 5.37 3.63 None 04-mutex_28-base_nr.line386.yml true 5.46 3.57 None 04-mutex_37-indirect_rc.line211.yml true 6.37 4.31 None 04-mutex_37-indirect_rc.line212.yml true 6.70 4.69 None 04-mutex_37-indirect_rc.line223.yml true 6.33 4.23 None 04-mutex_37-indirect_rc.line224.yml true 5.96 4.11 None 04-mutex_37-indirect_rc.line329.yml true 5.33 3.67 None 04-mutex_37-indirect_rc.line330.yml true 5.53 3.57 None 04-mutex_37-indirect_rc.line341.yml true 6.38 4.41 None 04-mutex_37-indirect_rc.line342.yml true 6.68 4.52 None 04-mutex_37-indirect_rc.line353.yml true 7.64 4.65 None 04-mutex_37-indirect_rc.line354.yml true 6.31 4.72 None 04-mutex_37-indirect_rc.line364.yml true 7.35 4.50 None 04-mutex_37-indirect_rc.line365.yml true 7.96 4.78 None 04-mutex_41-pt_rwlock.line400.yml true 6.88 4.22 None 04-mutex_41-pt_rwlock.line401.yml true 5.31 4.08 None 04-mutex_41-pt_rwlock.line436.yml true 6.00 3.92 None 04-mutex_41-pt_rwlock.line437.yml true 5.94 4.16 None 04-mutex_42-trylock_2mutex.line339.yml true 5.68 3.71 None 04-mutex_42-trylock_2mutex.line340.yml true 5.35 3.54 None 04-mutex_42-trylock_2mutex.line395.yml true 5.81 4.28 None 04-mutex_42-trylock_2mutex.line396.yml true 6.20 4.00 None 04-mutex_43-thread_create_nr.line332.yml true 5.05 3.66 None 04-mutex_43-thread_create_nr.line333.yml true 5.40 4.10 None 04-mutex_44-malloc_sound.line360.yml true 12.01 6.80 None 04-mutex_44-malloc_sound.line361.yml true 13.40 7.24 None 04-mutex_47-fun_write.line357.yml true 6.93 4.32 None 04-mutex_47-fun_write.line358.yml true 5.52 4.35 None 04-mutex_47-fun_write.line382.yml true 5.81 3.81 None 04-mutex_47-fun_write.line383.yml true 7.44 4.54 None 04-mutex_50-funptr_rc.line358.yml true 5.28 3.53 None 04-mutex_50-funptr_rc.line359.yml true 5.39 3.61 None 04-mutex_50-funptr_rc.line417.yml true 6.07 3.87 None 04-mutex_50-funptr_rc.line418.yml true 6.15 4.01 None 04-mutex_51-mutex_ptr.line250.yml true 6.40 5.08 None 04-mutex_51-mutex_ptr.line251.yml true 6.62 4.45 None 04-mutex_51-mutex_ptr.line261.yml true 5.87 4.50 None 04-mutex_51-mutex_ptr.line262.yml true 6.26 4.71 None 04-mutex_51-mutex_ptr.line376.yml true 5.38 3.65 None 04-mutex_51-mutex_ptr.line377.yml true 7.02 4.35 None 04-mutex_51-mutex_ptr.line400.yml true 6.12 4.86 None 04-mutex_51-mutex_ptr.line401.yml true 8.90 5.21 None 04-mutex_51-mutex_ptr.line411.yml true 6.32 4.15 None 04-mutex_51-mutex_ptr.line412.yml true 6.16 4.01 None 04-mutex_51-mutex_ptr.line422.yml true 7.81 4.72 None 04-mutex_51-mutex_ptr.line423.yml true 6.69 4.27 None 04-mutex_54-pt_rwlock_ww.line400.yml true 5.63 3.88 None 04-mutex_54-pt_rwlock_ww.line401.yml true 7.14 4.38 None 04-mutex_54-pt_rwlock_ww.line436.yml true 6.00 4.10 None 04-mutex_54-pt_rwlock_ww.line437.yml true 6.07 4.66 None 04-mutex_55-pt_rwlock_rr.line400.yml true 5.22 3.95 None 04-mutex_55-pt_rwlock_rr.line401.yml true 5.55 3.83 None 04-mutex_55-pt_rwlock_rr.line436.yml true 5.64 3.91 None 04-mutex_55-pt_rwlock_rr.line437.yml true 8.02 4.82 None 05-lval_ls_03-fld_rc.line308.yml true 5.19 4.04 None 05-lval_ls_03-fld_rc.line309.yml true 6.45 4.08 None 05-lval_ls_04-fld_nr.line308.yml true 5.16 3.50 None 05-lval_ls_04-fld_nr.line309.yml true 5.58 3.68 None 05-lval_ls_05-glob_idx_rc.line190.yml false(unreach-call) 6.18 4.37 None 05-lval_ls_05-glob_idx_rc.line191.yml true 6.21 4.20 None 05-lval_ls_05-glob_idx_rc.line202.yml false(unreach-call) 6.75 4.40 None 05-lval_ls_05-glob_idx_rc.line203.yml true 7.26 4.63 None 05-lval_ls_05-glob_idx_rc.line270.yml true 5.11 3.68 None 05-lval_ls_05-glob_idx_rc.line271.yml true 5.09 3.70 None 05-lval_ls_05-glob_idx_rc.line282.yml true 5.25 3.68 None 05-lval_ls_05-glob_idx_rc.line283.yml true 5.80 3.85 None 05-lval_ls_05-glob_idx_rc.line294.yml true 5.43 3.69 None 05-lval_ls_05-glob_idx_rc.line295.yml true 5.57 4.03 None 05-lval_ls_07-glob_fld_rc.line189.yml false(unreach-call) 8.20 5.09 None 05-lval_ls_07-glob_fld_rc.line190.yml true 5.90 4.02 None 05-lval_ls_07-glob_fld_rc.line201.yml false(unreach-call) 7.38 4.71 None 05-lval_ls_07-glob_fld_rc.line202.yml true 5.98 4.15 None 05-lval_ls_07-glob_fld_rc.line277.yml true 4.99 3.41 None 05-lval_ls_07-glob_fld_rc.line278.yml true 5.26 3.39 None 05-lval_ls_07-glob_fld_rc.line289.yml true 5.69 3.96 None 05-lval_ls_07-glob_fld_rc.line290.yml true 5.98 4.02 None 05-lval_ls_07-glob_fld_rc.line301.yml true 7.42 4.48 None 05-lval_ls_07-glob_fld_rc.line302.yml true 6.00 4.44 None 05-lval_ls_08-glob_fld_2_rc.line189.yml false(unreach-call) 8.73 5.56 None 05-lval_ls_08-glob_fld_2_rc.line190.yml true 9.48 6.66 None 05-lval_ls_08-glob_fld_2_rc.line201.yml false(unreach-call) 6.48 4.70 None 05-lval_ls_08-glob_fld_2_rc.line202.yml true 12.74 8.10 None 05-lval_ls_08-glob_fld_2_rc.line293.yml true 5.85 4.01 None 05-lval_ls_08-glob_fld_2_rc.line294.yml true 6.01 4.14 None 05-lval_ls_08-glob_fld_2_rc.line308.yml true 7.57 4.82 None 05-lval_ls_08-glob_fld_2_rc.line309.yml true 5.93 4.47 None 05-lval_ls_08-glob_fld_2_rc.line320.yml true 7.27 4.78 None 05-lval_ls_08-glob_fld_2_rc.line321.yml true 8.68 5.34 None 05-lval_ls_08-glob_fld_2_rc.line332.yml true 7.51 5.05 None 05-lval_ls_08-glob_fld_2_rc.line333.yml true 8.12 5.53 None 05-lval_ls_11-fldsense_rc.line207.yml false(unreach-call) 8.75 5.38 None 05-lval_ls_11-fldsense_rc.line208.yml true 6.80 4.93 None 05-lval_ls_11-fldsense_rc.line219.yml false(unreach-call) 6.45 4.75 None 05-lval_ls_11-fldsense_rc.line220.yml true 7.97 5.04 None 05-lval_ls_11-fldsense_rc.line347.yml true 5.21 3.49 None 05-lval_ls_11-fldsense_rc.line348.yml true 5.58 3.65 None 05-lval_ls_11-fldsense_rc.line370.yml true 6.43 4.24 None 05-lval_ls_11-fldsense_rc.line371.yml true 6.21 4.14 None 05-lval_ls_11-fldsense_rc.line382.yml true 7.86 4.85 None 05-lval_ls_11-fldsense_rc.line383.yml true 6.84 4.34 None 05-lval_ls_12-fldsense_nr.line207.yml false(unreach-call) 9.69 5.87 None 05-lval_ls_12-fldsense_nr.line208.yml true 6.49 4.44 None 05-lval_ls_12-fldsense_nr.line219.yml false(unreach-call) 7.24 4.69 None 05-lval_ls_12-fldsense_nr.line220.yml true 6.99 5.17 None 05-lval_ls_12-fldsense_nr.line350.yml true 5.05 3.84 None 05-lval_ls_12-fldsense_nr.line351.yml true 6.94 4.34 None 05-lval_ls_12-fldsense_nr.line373.yml true 6.49 4.19 None 05-lval_ls_12-fldsense_nr.line374.yml true 6.54 4.37 None 05-lval_ls_12-fldsense_nr.line385.yml true 6.33 4.03 None 05-lval_ls_12-fldsense_nr.line386.yml true 8.00 4.79 None 05-lval_ls_12-fldsense_nr.line408.yml true 6.62 4.32 None 05-lval_ls_12-fldsense_nr.line409.yml true 7.56 5.48 None 05-lval_ls_12-fldsense_nr.line420.yml true 6.77 4.32 None 05-lval_ls_12-fldsense_nr.line421.yml true 8.82 5.28 None 05-lval_ls_14-idxunknown_access.line190.yml false(unreach-call) 6.16 4.15 None 05-lval_ls_14-idxunknown_access.line191.yml true 6.27 4.75 None 05-lval_ls_14-idxunknown_access.line202.yml false(unreach-call) 6.03 4.11 None 05-lval_ls_14-idxunknown_access.line203.yml true 7.14 4.61 None 05-lval_ls_14-idxunknown_access.line286.yml true 6.49 4.04 None 05-lval_ls_14-idxunknown_access.line287.yml true 5.59 4.48 None 05-lval_ls_14-idxunknown_access.line298.yml true 6.33 4.07 None 05-lval_ls_14-idxunknown_access.line299.yml true 6.79 5.02 None 05-lval_ls_14-idxunknown_access.line310.yml true 5.53 3.83 None 05-lval_ls_14-idxunknown_access.line311.yml true 7.89 4.71 None 05-lval_ls_15-fldunknown_access.line223.yml false(unreach-call) 6.44 4.38 None 05-lval_ls_15-fldunknown_access.line224.yml true 6.56 4.43 None 05-lval_ls_15-fldunknown_access.line235.yml false(unreach-call) 5.74 4.02 None 05-lval_ls_15-fldunknown_access.line236.yml true 6.22 4.71 None 05-lval_ls_15-fldunknown_access.line323.yml true 6.63 4.15 None 05-lval_ls_15-fldunknown_access.line324.yml true 5.37 3.56 None 05-lval_ls_15-fldunknown_access.line335.yml true 5.75 4.54 None 05-lval_ls_15-fldunknown_access.line336.yml true 9.28 5.50 None 05-lval_ls_15-fldunknown_access.line347.yml true 5.71 4.45 None 05-lval_ls_15-fldunknown_access.line348.yml true 7.16 4.42 None 06-symbeq_10-equ_rc.line259.yml false(unreach-call) 7.85 5.61 None 06-symbeq_10-equ_rc.line260.yml true 8.78 5.41 None 06-symbeq_10-equ_rc.line424.yml true 5.94 3.83 None 06-symbeq_10-equ_rc.line425.yml true 5.40 4.43 None 06-symbeq_10-equ_rc.line448.yml true 9.54 5.62 None 06-symbeq_10-equ_rc.line449.yml true 8.64 5.38 None 06-symbeq_11-equ_nr.line259.yml false(unreach-call) 7.96 5.36 None 06-symbeq_11-equ_nr.line260.yml true 6.70 4.50 None 06-symbeq_11-equ_nr.line424.yml true 7.33 4.48 None 06-symbeq_11-equ_nr.line425.yml true 5.99 4.39 None 06-symbeq_11-equ_nr.line448.yml true 7.26 5.45 None 06-symbeq_11-equ_nr.line449.yml true 8.24 5.11 None 06-symbeq_13-equ_proc_nr.line259.yml false(unreach-call) 8.12 5.18 None 06-symbeq_13-equ_proc_nr.line260.yml true 6.71 5.04 None 06-symbeq_13-equ_proc_nr.line402.yml true 7.52 4.32 None 06-symbeq_13-equ_proc_nr.line403.yml true 7.37 4.40 None 06-symbeq_13-equ_proc_nr.line430.yml true 7.63 5.26 None 06-symbeq_13-equ_proc_nr.line431.yml true 9.13 6.19 None 09-regions_01-list_rc.line321.yml false(unreach-call) 10.01 5.80 None 09-regions_01-list_rc.line322.yml true 7.52 4.81 None 09-regions_01-list_rc.line331.yml false(unreach-call) 7.77 5.00 None 09-regions_01-list_rc.line332.yml true 7.35 4.98 None 09-regions_01-list_rc.line353.yml false(unreach-call) 10.81 6.30 None 09-regions_01-list_rc.line354.yml true 9.46 6.33 None 09-regions_01-list_rc.line366.yml false(unreach-call) 10.68 6.38 None 09-regions_01-list_rc.line367.yml true 7.09 5.05 None 09-regions_01-list_rc.line376.yml false(unreach-call) 7.86 5.74 None 09-regions_01-list_rc.line377.yml true 7.53 4.86 None 09-regions_01-list_rc.line548.yml true 5.81 3.95 None 09-regions_01-list_rc.line549.yml true 8.04 4.63 None 09-regions_01-list_rc.line558.yml true 5.83 3.92 None 09-regions_01-list_rc.line559.yml true 6.18 4.29 None 09-regions_01-list_rc.line590.yml true 6.03 3.91 None 09-regions_01-list_rc.line591.yml true 6.17 4.04 None 09-regions_01-list_rc.line600.yml true 5.83 4.03 None 09-regions_01-list_rc.line601.yml true 7.88 4.74 None 09-regions_01-list_rc.line612.yml true 6.28 4.24 None 09-regions_01-list_rc.line613.yml true 9.00 5.14 None 09-regions_01-list_rc.line624.yml true 6.55 4.35 None 09-regions_01-list_rc.line625.yml true 7.46 4.58 None 09-regions_01-list_rc.line647.yml false(unreach-call) 9.33 5.24 None 09-regions_01-list_rc.line648.yml false(unreach-call) 7.48 5.04 None 09-regions_01-list_rc.line660.yml false(unreach-call) 10.16 6.10 None 09-regions_01-list_rc.line661.yml false(unreach-call) 11.82 8.19 None 09-regions_02-list_nr.line322.yml false(unreach-call) 9.96 5.96 None 09-regions_02-list_nr.line323.yml true 7.48 4.90 None 09-regions_02-list_nr.line332.yml false(unreach-call) 8.11 5.72 None 09-regions_02-list_nr.line333.yml true 7.41 4.82 None 09-regions_02-list_nr.line354.yml false(unreach-call) 9.37 5.94 None 09-regions_02-list_nr.line355.yml true 12.20 6.89 None 09-regions_02-list_nr.line367.yml false(unreach-call) 9.20 6.11 None 09-regions_02-list_nr.line368.yml true 7.71 5.13 None 09-regions_02-list_nr.line377.yml false(unreach-call) 9.68 5.98 None 09-regions_02-list_nr.line378.yml true 10.01 6.05 None 09-regions_02-list_nr.line533.yml true 5.99 4.16 None 09-regions_02-list_nr.line534.yml true 7.67 4.64 None 09-regions_02-list_nr.line543.yml true 5.76 4.05 None 09-regions_02-list_nr.line544.yml true 6.32 4.12 None 09-regions_02-list_nr.line575.yml true 6.06 3.91 None 09-regions_02-list_nr.line576.yml true 7.79 4.76 None 09-regions_02-list_nr.line585.yml true 6.49 4.40 None 09-regions_02-list_nr.line586.yml true 6.15 3.99 None 09-regions_02-list_nr.line597.yml true 5.82 5.26 None 09-regions_02-list_nr.line598.yml true 6.54 4.67 None 09-regions_02-list_nr.line609.yml true 6.13 4.17 None 09-regions_02-list_nr.line610.yml true 7.19 4.68 None 09-regions_02-list_nr.line632.yml false(unreach-call) 9.13 5.21 None 09-regions_02-list_nr.line633.yml false(unreach-call) 9.70 5.51 None 09-regions_02-list_nr.line645.yml false(unreach-call) 10.73 6.34 None 09-regions_02-list_nr.line646.yml false(unreach-call) 12.26 7.24 None 09-regions_03-list2_rc.line306.yml false(unreach-call) 12.33 7.03 None 09-regions_03-list2_rc.line307.yml true 9.06 5.69 None 09-regions_03-list2_rc.line316.yml false(unreach-call) 19.05 11.81 None 09-regions_03-list2_rc.line317.yml true 25.53 14.96 None 09-regions_03-list2_rc.line328.yml false(unreach-call) 9.51 6.13 None 09-regions_03-list2_rc.line329.yml true 6.94 4.83 None 09-regions_03-list2_rc.line352.yml false(unreach-call) 10.48 6.76 None 09-regions_03-list2_rc.line353.yml true 8.29 5.53 None 09-regions_03-list2_rc.line362.yml false(unreach-call) 28.51 21.93 None 09-regions_03-list2_rc.line363.yml true 32.15 23.66 None 09-regions_03-list2_rc.line374.yml false(unreach-call) 13.57 7.82 None 09-regions_03-list2_rc.line375.yml true 10.35 6.19 None 09-regions_03-list2_rc.line576.yml true 6.28 4.16 None 09-regions_03-list2_rc.line577.yml true 6.67 4.25 None 09-regions_03-list2_rc.line586.yml true 6.78 4.65 None 09-regions_03-list2_rc.line587.yml true 8.29 4.92 None 09-regions_03-list2_rc.line618.yml true 6.19 4.09 None 09-regions_03-list2_rc.line619.yml true 6.14 4.36 None 09-regions_03-list2_rc.line628.yml true 6.13 4.40 None 09-regions_03-list2_rc.line629.yml true 6.52 4.32 None 09-regions_03-list2_rc.line640.yml true 6.12 3.97 None 09-regions_03-list2_rc.line641.yml true 6.55 4.16 None 09-regions_03-list2_rc.line670.yml true 6.55 4.51 None 09-regions_03-list2_rc.line671.yml true 6.80 4.74 None 09-regions_03-list2_rc.line680.yml true 7.84 4.74 None 09-regions_03-list2_rc.line681.yml true 6.99 4.34 None 09-regions_03-list2_rc.line692.yml true 6.07 4.03 None 09-regions_03-list2_rc.line693.yml true 8.81 5.24 None 09-regions_03-list2_rc.line704.yml true 8.64 5.13 None 09-regions_03-list2_rc.line705.yml true 7.40 4.82 None 09-regions_03-list2_rc.line727.yml true 7.10 4.58 None 09-regions_03-list2_rc.line728.yml true 8.60 5.32 None 09-regions_03-list2_rc.line740.yml false(unreach-call) 20.81 12.09 None 09-regions_03-list2_rc.line741.yml false(unreach-call) 21.45 13.39 None 09-regions_03-list2_rc.line763.yml true 9.63 5.73 None 09-regions_03-list2_rc.line764.yml true 8.31 5.19 None 09-regions_03-list2_rc.line776.yml false(unreach-call) 23.23 16.39 None 09-regions_03-list2_rc.line777.yml false(unreach-call) 27.00 15.83 None 09-regions_04-list2_nr.line306.yml false(unreach-call) 10.61 6.24 None 09-regions_04-list2_nr.line307.yml true 11.57 6.84 None 09-regions_04-list2_nr.line316.yml false(unreach-call) 31.28 18.66 None 09-regions_04-list2_nr.line317.yml true 31.75 22.45 None 09-regions_04-list2_nr.line328.yml false(unreach-call) 9.97 6.16 None 09-regions_04-list2_nr.line329.yml true 7.72 5.00 None 09-regions_04-list2_nr.line352.yml false(unreach-call) 10.96 6.66 None 09-regions_04-list2_nr.line353.yml true 10.35 6.21 None 09-regions_04-list2_nr.line362.yml false(unreach-call) 29.74 18.97 None 09-regions_04-list2_nr.line363.yml true 43.64 27.21 None 09-regions_04-list2_nr.line374.yml false(unreach-call) 11.22 6.78 None 09-regions_04-list2_nr.line375.yml true 8.23 5.55 None 09-regions_04-list2_nr.line577.yml true 5.99 4.00 None 09-regions_04-list2_nr.line578.yml true 6.51 4.17 None 09-regions_04-list2_nr.line587.yml true 6.12 4.13 None 09-regions_04-list2_nr.line588.yml true 7.90 4.80 None 09-regions_04-list2_nr.line619.yml true 6.08 4.55 None 09-regions_04-list2_nr.line620.yml true 6.79 4.73 None 09-regions_04-list2_nr.line629.yml true 5.90 4.09 None 09-regions_04-list2_nr.line630.yml true 6.39 4.46 None 09-regions_04-list2_nr.line641.yml true 6.32 4.19 None 09-regions_04-list2_nr.line642.yml true 6.34 4.23 None 09-regions_04-list2_nr.line671.yml true 7.01 4.42 None 09-regions_04-list2_nr.line672.yml true 8.80 5.22 None 09-regions_04-list2_nr.line681.yml true 6.41 4.23 None 09-regions_04-list2_nr.line682.yml true 6.40 4.26 None 09-regions_04-list2_nr.line713.yml true 8.79 5.20 None 09-regions_04-list2_nr.line714.yml true 6.78 4.71 None 09-regions_04-list2_nr.line723.yml true 6.76 4.44 None 09-regions_04-list2_nr.line724.yml true 7.29 5.36 None 09-regions_04-list2_nr.line735.yml true 7.02 4.53 None 09-regions_04-list2_nr.line736.yml true 7.35 4.75 None 09-regions_04-list2_nr.line747.yml true 9.54 5.61 None 09-regions_04-list2_nr.line748.yml true 8.21 5.05 None 09-regions_04-list2_nr.line770.yml true 8.20 5.27 None 09-regions_04-list2_nr.line771.yml true 8.78 5.53 None 09-regions_04-list2_nr.line783.yml false(unreach-call) 31.08 18.40 None 09-regions_04-list2_nr.line784.yml false(unreach-call) 33.30 22.02 None 09-regions_04-list2_nr.line806.yml true 9.68 5.70 None 09-regions_04-list2_nr.line807.yml true 7.85 5.14 None 09-regions_04-list2_nr.line819.yml false(unreach-call) 12.49 7.10 None 09-regions_04-list2_nr.line820.yml false(unreach-call) 12.99 7.73 None 09-regions_09-arraylist.line351.yml false(unreach-call) 9.62 6.24 None 09-regions_09-arraylist.line352.yml true 7.29 5.11 None 09-regions_09-arraylist.line361.yml false(unreach-call) 10.03 6.16 None 09-regions_09-arraylist.line362.yml true 7.95 4.96 None ------------------------------------------------------------------------------------------------------------ Run set 3 done 2486.92 133.44 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk30 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk30 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk30 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk30 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk30 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk30 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk30 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk30 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk30 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk30 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk30 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk30 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk30 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk30 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk30 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk30 Run set 19 of 19: skipped Statistics: 900 Files correct: 728 correct true: 728 correct false: 0 incorrect: 171 incorrect true: 0 incorrect false: 171 unknown: 1 Score: -1280 (max: 1800)