BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk28, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk28, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk28 date: Mon, 2022-10-24 19:22:41 CEST tool: ULTIMATE Automizer 0.2.2-e57bdd35 tool executable: ./Ultimate.py options: --force-no-wrapper --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.trace.refinement.strategy BADGER parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-5.11.22-4-pve-x86_64-with-glibc2.31 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 4549.121 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ GemCutter.NewStatesSleep.single-assert-memsafety-chunk28 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 --------------------------------------------------------------------------------------------------------------------------------------------- 13-privatized_57-singlethreaded-unlock_true.line310.yml true 5.34 3.67 None 13-privatized_57-singlethreaded-unlock_true.line311.yml true 5.34 3.88 None 13-privatized_58-singlethreaded-lock_true.line322.yml true 7.34 4.21 None 13-privatized_58-singlethreaded-lock_true.line323.yml true 5.70 3.62 None 13-privatized_66-mine-W-init_true.line263.yml true 5.16 3.50 None 13-privatized_66-mine-W-init_true.line264.yml true 5.22 4.01 None 13-privatized_67-pthread_cond_wait_true.line1076.yml true 7.92 5.00 None 13-privatized_67-pthread_cond_wait_true.line1077.yml true 8.60 5.40 None 13-privatized_67-pthread_cond_wait_true.line1097.yml true 8.00 5.08 None 13-privatized_67-pthread_cond_wait_true.line1098.yml true 6.64 4.46 None 13-privatized_67-pthread_cond_wait_true.line1109.yml true 7.27 4.73 None 13-privatized_67-pthread_cond_wait_true.line1110.yml true 7.29 4.96 None 13-privatized_67-pthread_cond_wait_true.line1121.yml true 7.44 4.98 None 13-privatized_67-pthread_cond_wait_true.line1122.yml true 7.95 4.94 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1076.yml true 6.49 4.67 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1077.yml true 6.99 4.69 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1097.yml true 6.52 4.65 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1098.yml true 6.34 4.65 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1109.yml true 6.99 5.00 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1110.yml true 9.46 5.74 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1121.yml true 7.63 4.91 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1122.yml true 7.82 5.24 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1076.yml true 7.64 4.82 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1077.yml true 6.91 4.79 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1097.yml true 6.11 4.15 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1098.yml true 6.36 4.42 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1109.yml true 8.45 5.19 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1110.yml true 9.21 5.63 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1121.yml true 7.43 4.98 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1122.yml true 7.64 5.40 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line246.yml false(unreach-call) 24.71 14.47 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line247.yml true 8.56 5.82 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line262.yml false(unreach-call) 34.53 24.41 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line263.yml true 14.65 8.47 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line285.yml OUT OF MEMORY 529.77 414.77 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line286.yml true 8.49 5.70 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line307.yml OUT OF MEMORY 491.10 418.67 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line308.yml true 11.03 6.37 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line319.yml TIMEOUT (ERROR: EXCEPTION) 901.21 688.92 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line320.yml true 9.28 5.82 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line331.yml OUT OF MEMORY 533.86 390.58 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line332.yml true 12.19 6.86 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line482.yml true 5.89 4.00 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line483.yml true 6.87 4.63 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line502.yml true 5.22 3.77 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line503.yml true 5.17 3.57 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line536.yml true 7.45 4.77 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line537.yml true 9.96 5.75 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line548.yml true 7.39 4.96 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line549.yml true 8.13 5.08 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line560.yml true 9.66 5.58 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line561.yml true 8.22 5.51 None 13-privatized_69-refine-protected-loop-interval_true.line400.yml true 5.54 4.04 None 13-privatized_69-refine-protected-loop-interval_true.line401.yml true 5.56 3.84 None 17_szymanski.line309.yml true 4.70 3.55 None 17_szymanski.line310.yml true 6.76 4.12 None 18_read_write_lock.line311.yml true 5.36 3.88 None 18_read_write_lock.line312.yml true 5.74 3.73 None 23_lu-fig2.fixed.line322.yml true 4.97 3.69 None 23_lu-fig2.fixed.line323.yml true 5.38 3.65 None 36-apron_11-traces-max-simple_true.line329.yml true 4.99 3.37 None 36-apron_11-traces-max-simple_true.line330.yml true 6.48 4.00 None 36-apron_16-traces-unprot2_true.line278.yml true 4.89 3.57 None 36-apron_16-traces-unprot2_true.line279.yml true 5.11 3.57 None 36-apron_17-traces-rpb-litmus_unknown_1_neg.line362.yml true 6.81 4.10 None 36-apron_17-traces-rpb-litmus_unknown_1_neg.line363.yml true 5.48 3.69 None 36-apron_17-traces-rpb-litmus_unknown_1_pos.line362.yml true 5.63 3.66 None 36-apron_17-traces-rpb-litmus_unknown_1_pos.line363.yml true 5.04 3.71 None 36-apron_21-traces-cluster-based_true.line540.yml true 8.04 5.32 None 36-apron_21-traces-cluster-based_true.line541.yml true 8.70 6.01 None 36-apron_21-traces-cluster-based_true.line555.yml true 8.08 5.78 None 36-apron_21-traces-cluster-based_true.line556.yml true 11.80 6.81 None 36-apron_21-traces-cluster-based_true.line570.yml true 9.11 6.39 None 36-apron_21-traces-cluster-based_true.line571.yml true 9.57 6.57 None 36-apron_22-traces-write-centered-vs-meet-mutex_true.line462.yml true 5.61 3.69 None 36-apron_22-traces-write-centered-vs-meet-mutex_true.line463.yml true 5.64 3.91 None 36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.line513.yml true 7.11 4.39 None 36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.line514.yml true 5.80 3.87 None 36-apron_41-threadenter-no-locals_unknown_1_neg.line278.yml true 5.11 3.85 None 36-apron_41-threadenter-no-locals_unknown_1_neg.line279.yml true 5.18 3.82 None 36-apron_41-threadenter-no-locals_unknown_1_pos.line278.yml true 4.59 3.19 None 36-apron_41-threadenter-no-locals_unknown_1_pos.line279.yml true 5.11 3.44 None airline-10.line355.yml OUT OF MEMORY 236.19 137.27 None airline-10.line356.yml OUT OF MEMORY 330.92 186.37 None airline-10.line378.yml OUT OF MEMORY 375.18 210.52 None airline-10.line379.yml OUT OF MEMORY 323.63 182.77 None airline-15.line355.yml OUT OF MEMORY 222.63 127.91 None airline-15.line356.yml OUT OF MEMORY 242.42 143.07 None airline-15.line378.yml OUT OF MEMORY 486.48 267.28 None airline-15.line379.yml OUT OF MEMORY 274.94 164.15 None airline-20.line355.yml OUT OF MEMORY 214.73 128.86 None airline-20.line356.yml OUT OF MEMORY 237.46 139.81 None airline-20.line378.yml OUT OF MEMORY 401.58 220.94 None airline-20.line379.yml OUT OF MEMORY 275.45 166.72 None airline-25.line355.yml OUT OF MEMORY 268.80 156.76 None airline-25.line356.yml OUT OF MEMORY 214.98 126.82 None airline-25.line378.yml OUT OF MEMORY 496.88 273.26 None airline-25.line379.yml OUT OF MEMORY 269.36 159.14 None airline-5.line355.yml OUT OF MEMORY 321.06 179.89 None airline-5.line356.yml OUT OF MEMORY 301.68 171.84 None airline-5.line378.yml OUT OF MEMORY 471.68 260.61 None airline-5.line379.yml OUT OF MEMORY 433.04 247.73 None arithmetic_prog_bad.line564.yml true 6.73 4.41 None arithmetic_prog_bad.line565.yml true 6.95 4.56 None arithmetic_prog_bad.line579.yml true 6.10 4.15 None arithmetic_prog_bad.line580.yml true 6.91 4.58 None arithmetic_prog_bad.line591.yml true 7.89 4.98 None arithmetic_prog_bad.line592.yml true 8.06 5.08 None arithmetic_prog_bad.line603.yml true 13.19 7.92 None arithmetic_prog_bad.line604.yml true 17.47 10.41 None arithmetic_prog_ok.line564.yml true 6.41 4.24 None arithmetic_prog_ok.line565.yml true 6.84 4.84 None arithmetic_prog_ok.line579.yml true 6.84 4.24 None arithmetic_prog_ok.line580.yml true 6.79 4.63 None arithmetic_prog_ok.line591.yml true 7.74 4.97 None arithmetic_prog_ok.line592.yml true 7.53 5.31 None arithmetic_prog_ok.line603.yml true 14.88 8.46 None arithmetic_prog_ok.line604.yml true 20.57 12.05 None bench-exp1x3.wvr.line164.yml true 5.94 4.24 None bench-exp1x3.wvr.line165.yml true 6.20 4.49 None bench-exp1x3.wvr.line179.yml true 5.43 3.84 None bench-exp1x3.wvr.line180.yml true 5.79 4.24 None bench-exp1x3.wvr.line191.yml true 5.63 4.08 None bench-exp1x3.wvr.line192.yml true 6.43 4.27 None bench-exp1x3.wvr.line203.yml true 5.75 4.24 None bench-exp1x3.wvr.line204.yml true 5.72 4.48 None bench-exp2x3.wvr.line246.yml true 6.92 5.23 None bench-exp2x3.wvr.line247.yml true 7.64 5.57 None bench-exp2x3.wvr.line261.yml true 6.90 4.85 None bench-exp2x3.wvr.line262.yml true 7.54 5.47 None bench-exp2x3.wvr.line276.yml true 7.30 5.30 None bench-exp2x3.wvr.line277.yml true 7.74 5.38 None bench-exp2x3.wvr.line291.yml true 6.77 5.11 None bench-exp2x3.wvr.line292.yml true 7.34 5.30 None bench-exp2x3.wvr.line303.yml true 8.11 5.55 None bench-exp2x3.wvr.line304.yml true 7.86 5.41 None bench-exp2x3.wvr.line315.yml true 7.91 5.68 None bench-exp2x3.wvr.line316.yml true 8.75 6.29 None bench-exp2x3.wvr.line327.yml true 8.29 5.91 None bench-exp2x3.wvr.line328.yml true 8.36 5.60 None bench-exp2x3.wvr.line339.yml true 8.63 6.17 None bench-exp2x3.wvr.line340.yml true 8.46 5.78 None bench-exp2x4.wvr.line250.yml true 6.74 5.59 None bench-exp2x4.wvr.line251.yml true 7.64 5.75 None bench-exp2x4.wvr.line265.yml true 6.88 4.98 None bench-exp2x4.wvr.line266.yml true 7.58 5.44 None bench-exp2x4.wvr.line280.yml true 7.14 5.35 None bench-exp2x4.wvr.line281.yml true 7.34 5.14 None bench-exp2x4.wvr.line295.yml true 7.32 5.16 None bench-exp2x4.wvr.line296.yml true 7.78 5.68 None bench-exp2x4.wvr.line307.yml true 10.42 6.76 None bench-exp2x4.wvr.line308.yml true 8.13 5.84 None bench-exp2x4.wvr.line319.yml true 9.62 6.44 None bench-exp2x4.wvr.line320.yml true 9.71 7.16 None bench-exp2x4.wvr.line331.yml true 9.52 6.25 None bench-exp2x4.wvr.line332.yml true 12.10 7.35 None bench-exp2x4.wvr.line343.yml true 10.37 7.01 None bench-exp2x4.wvr.line344.yml true 12.43 7.65 None bench-exp2x6.wvr.line258.yml true 7.57 5.50 None bench-exp2x6.wvr.line259.yml true 10.16 6.54 None bench-exp2x6.wvr.line273.yml true 6.94 4.95 None bench-exp2x6.wvr.line274.yml true 7.94 6.65 None bench-exp2x6.wvr.line288.yml true 7.73 5.39 None bench-exp2x6.wvr.line289.yml true 9.73 6.42 None bench-exp2x6.wvr.line303.yml true 8.19 5.94 None bench-exp2x6.wvr.line304.yml true 8.86 6.01 None bench-exp2x6.wvr.line315.yml true 14.20 8.38 None bench-exp2x6.wvr.line316.yml true 13.58 8.27 None bench-exp2x6.wvr.line327.yml true 11.96 7.72 None bench-exp2x6.wvr.line328.yml true 13.60 8.52 None bench-exp2x6.wvr.line339.yml true 12.31 8.99 None bench-exp2x6.wvr.line340.yml true 14.36 9.34 None bench-exp2x6.wvr.line351.yml true 15.79 9.57 None bench-exp2x6.wvr.line352.yml true 13.67 9.03 None bench-exp2x9.wvr.line270.yml true 10.93 6.89 None bench-exp2x9.wvr.line271.yml true 8.94 6.02 None bench-exp2x9.wvr.line285.yml true 10.78 6.81 None bench-exp2x9.wvr.line286.yml true 9.55 6.19 None bench-exp2x9.wvr.line300.yml true 8.43 6.24 None bench-exp2x9.wvr.line301.yml true 9.64 6.61 None bench-exp2x9.wvr.line315.yml true 10.06 6.70 None bench-exp2x9.wvr.line316.yml true 12.34 7.59 None bench-exp2x9.wvr.line327.yml true 15.76 10.21 None bench-exp2x9.wvr.line328.yml true 19.98 12.02 None bench-exp2x9.wvr.line339.yml true 27.70 16.91 None bench-exp2x9.wvr.line340.yml true 23.73 14.72 None bench-exp2x9.wvr.line351.yml true 23.57 14.65 None bench-exp2x9.wvr.line352.yml true 23.02 16.58 None bench-exp2x9.wvr.line363.yml true 24.78 16.44 None bench-exp2x9.wvr.line364.yml true 24.40 16.27 None bench-exp3x3-opt.wvr.line328.yml true 12.94 9.81 None bench-exp3x3-opt.wvr.line329.yml true 18.90 11.79 None bench-exp3x3-opt.wvr.line343.yml true 13.28 9.16 None bench-exp3x3-opt.wvr.line344.yml true 19.03 11.96 None bench-exp3x3-opt.wvr.line358.yml true 13.94 10.77 None bench-exp3x3-opt.wvr.line359.yml true 14.98 10.13 None bench-exp3x3-opt.wvr.line373.yml true 14.15 9.65 None bench-exp3x3-opt.wvr.line374.yml true 18.64 11.99 None bench-exp3x3-opt.wvr.line388.yml true 18.28 11.56 None bench-exp3x3-opt.wvr.line389.yml true 14.16 9.80 None bench-exp3x3-opt.wvr.line403.yml true 17.81 12.16 None bench-exp3x3-opt.wvr.line404.yml true 17.37 12.52 None bench-exp3x3-opt.wvr.line415.yml true 27.49 19.17 None bench-exp3x3-opt.wvr.line416.yml true 34.90 21.43 None bench-exp3x3-opt.wvr.line427.yml true 39.22 26.11 None bench-exp3x3-opt.wvr.line428.yml true 36.02 26.20 None bench-exp3x3-opt.wvr.line439.yml true 38.97 25.91 None bench-exp3x3-opt.wvr.line440.yml true 36.45 24.84 None bench-exp3x3-opt.wvr.line451.yml true 48.25 31.82 None bench-exp3x3-opt.wvr.line452.yml true 41.69 29.13 None bench-exp3x3-opt.wvr.line463.yml true 48.92 31.44 None bench-exp3x3-opt.wvr.line464.yml true 40.83 31.06 None bench-exp3x3-opt.wvr.line475.yml true 40.94 27.46 None bench-exp3x3-opt.wvr.line476.yml true 43.26 30.29 None bench-exp3x3.wvr.line328.yml true 17.72 11.06 None bench-exp3x3.wvr.line329.yml true 15.22 9.99 None bench-exp3x3.wvr.line343.yml true 13.32 9.33 None bench-exp3x3.wvr.line344.yml true 13.89 9.49 None bench-exp3x3.wvr.line358.yml true 13.64 9.32 None bench-exp3x3.wvr.line359.yml true 17.02 11.06 None bench-exp3x3.wvr.line373.yml true 14.40 9.58 None bench-exp3x3.wvr.line374.yml true 18.76 11.75 None bench-exp3x3.wvr.line388.yml true 16.04 10.08 None bench-exp3x3.wvr.line389.yml true 21.82 13.55 None bench-exp3x3.wvr.line403.yml true 19.04 11.91 None bench-exp3x3.wvr.line404.yml true 18.09 12.19 None bench-exp3x3.wvr.line415.yml true 24.26 17.13 None bench-exp3x3.wvr.line416.yml true 25.23 18.86 None bench-exp3x3.wvr.line427.yml true 36.59 24.75 None bench-exp3x3.wvr.line428.yml true 47.72 30.03 None bench-exp3x3.wvr.line439.yml true 37.75 28.04 None bench-exp3x3.wvr.line440.yml true 41.46 28.21 None bench-exp3x3.wvr.line451.yml true 40.86 27.92 None bench-exp3x3.wvr.line452.yml true 45.87 29.94 None bench-exp3x3.wvr.line463.yml true 41.18 27.38 None bench-exp3x3.wvr.line464.yml true 39.40 27.98 None bench-exp3x3.wvr.line475.yml true 47.70 30.79 None bench-exp3x3.wvr.line476.yml true 40.33 26.34 None bigshot_p.line294.yml true 7.72 5.38 None bigshot_p.line295.yml false(unreach-call) 24.45 15.63 None bigshot_p.line296.yml true 6.99 4.83 None bigshot_p.line297.yml false(unreach-call) 14.82 8.88 None bigshot_p.line300.yml true 7.50 5.23 None bigshot_p.line301.yml false(unreach-call) 26.46 16.94 None bigshot_p.line422.yml true 5.76 4.06 None bigshot_p.line423.yml true 8.27 5.14 None bigshot_p.line437.yml false(unreach-call) 6.09 3.92 None bigshot_p.line438.yml false(unreach-call) 5.75 3.86 None bigshot_p.line449.yml false(unreach-call) 6.41 4.40 None bigshot_p.line450.yml false(unreach-call) 6.33 4.29 None bigshot_p.line461.yml true 7.50 4.87 None bigshot_p.line462.yml true 7.30 4.77 None bigshot_p.line476.yml true 8.02 5.29 None bigshot_p.line477.yml true 7.23 5.52 None bigshot_s.line285.yml true 7.03 5.18 None bigshot_s.line286.yml false(unreach-call) 54.11 34.41 None bigshot_s.line287.yml true 7.75 5.16 None bigshot_s.line288.yml false(unreach-call) 13.85 9.00 None bigshot_s.line291.yml true 7.50 5.24 None bigshot_s.line292.yml false(unreach-call) 32.17 19.46 None bigshot_s.line413.yml true 7.19 4.67 None bigshot_s.line414.yml true 6.18 4.19 None bigshot_s.line425.yml false(unreach-call) 5.96 3.72 None bigshot_s.line426.yml false(unreach-call) 5.71 3.73 None bigshot_s.line440.yml true 6.11 4.37 None bigshot_s.line441.yml true 6.28 4.98 None bigshot_s.line452.yml true 7.46 4.74 None bigshot_s.line453.yml true 6.00 4.58 None bigshot_s.line467.yml true 6.16 4.20 None bigshot_s.line468.yml true 6.48 4.34 None bigshot_s2.line285.yml true 8.67 5.58 None bigshot_s2.line286.yml false(unreach-call) 42.27 30.48 None bigshot_s2.line287.yml true 6.28 4.86 None bigshot_s2.line288.yml false(unreach-call) 13.10 8.75 None bigshot_s2.line291.yml true 6.61 4.98 None bigshot_s2.line292.yml false(unreach-call) 38.53 22.79 None bigshot_s2.line412.yml true 5.84 4.47 None bigshot_s2.line413.yml true 6.31 4.42 None bigshot_s2.line424.yml false(unreach-call) 5.87 3.69 None bigshot_s2.line425.yml false(unreach-call) 6.01 3.81 None bigshot_s2.line439.yml true 7.51 4.82 None bigshot_s2.line440.yml true 6.43 4.61 None bigshot_s2.line451.yml true 5.95 4.51 None bigshot_s2.line452.yml true 6.00 4.25 None bigshot_s2.line463.yml true 6.23 4.47 None bigshot_s2.line464.yml true 6.51 4.39 None chl-collitem-subst.wvr.line736.yml true 17.35 10.83 None chl-collitem-subst.wvr.line737.yml true 22.76 13.36 None chl-collitem-subst.wvr.line751.yml true 17.96 12.15 None chl-collitem-subst.wvr.line752.yml true 19.21 12.25 None chl-collitem-subst.wvr.line766.yml true 25.23 16.67 None chl-collitem-subst.wvr.line767.yml true 25.83 17.44 None chl-collitem-subst.wvr.line778.yml OUT OF MEMORY 372.38 192.30 None chl-collitem-subst.wvr.line779.yml OUT OF MEMORY 431.25 222.06 None chl-collitem-subst.wvr.line790.yml OUT OF MEMORY 312.54 161.95 None chl-collitem-subst.wvr.line791.yml OUT OF MEMORY 339.07 176.66 None chl-collitem-subst.wvr.line802.yml OUT OF MEMORY 298.23 154.63 None chl-collitem-subst.wvr.line803.yml OUT OF MEMORY 322.04 167.24 None chl-collitem-symm.wvr.line521.yml true 6.71 4.60 None chl-collitem-symm.wvr.line522.yml true 8.24 5.12 None --------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 14439.61 771.38 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk28 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 --------------------------------------------------------------------------------------------------------------------------------------------- 13-privatized_57-singlethreaded-unlock_true.line310.yml true 5.30 3.85 None 13-privatized_57-singlethreaded-unlock_true.line311.yml true 5.48 3.72 None 13-privatized_58-singlethreaded-lock_true.line322.yml true 7.25 4.18 None 13-privatized_58-singlethreaded-lock_true.line323.yml true 5.74 3.83 None 13-privatized_66-mine-W-init_true.line263.yml true 4.99 3.58 None 13-privatized_66-mine-W-init_true.line264.yml true 5.31 4.44 None 13-privatized_67-pthread_cond_wait_true.line1076.yml true 8.07 5.16 None 13-privatized_67-pthread_cond_wait_true.line1077.yml true 8.88 5.54 None 13-privatized_67-pthread_cond_wait_true.line1097.yml true 8.40 5.27 None 13-privatized_67-pthread_cond_wait_true.line1098.yml true 7.20 4.71 None 13-privatized_67-pthread_cond_wait_true.line1109.yml true 7.37 5.01 None 13-privatized_67-pthread_cond_wait_true.line1110.yml true 7.08 5.06 None 13-privatized_67-pthread_cond_wait_true.line1121.yml true 7.94 5.25 None 13-privatized_67-pthread_cond_wait_true.line1122.yml true 7.98 5.12 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1076.yml true 6.26 4.78 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1077.yml true 7.06 4.94 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1097.yml true 7.27 4.54 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1098.yml true 6.86 5.05 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1109.yml true 8.76 5.44 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1110.yml true 7.15 5.84 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1121.yml true 7.79 5.01 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1122.yml true 8.10 5.75 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1076.yml true 6.11 4.62 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1077.yml true 8.60 5.30 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1097.yml true 6.60 4.39 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1098.yml true 8.57 5.34 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1109.yml true 6.56 4.45 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1110.yml true 9.33 5.69 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1121.yml true 7.44 4.90 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1122.yml true 7.76 5.15 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line246.yml false(unreach-call) 26.35 18.70 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line247.yml true 9.51 6.22 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line262.yml false(unreach-call) 78.61 49.14 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line263.yml true 15.54 9.51 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line285.yml false(unreach-call) 94.10 73.87 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line286.yml true 8.77 5.61 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line307.yml false(unreach-call) 132.59 92.87 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line308.yml true 8.71 6.79 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line319.yml false(unreach-call) 704.90 534.01 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line320.yml true 11.02 6.55 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line331.yml OUT OF MEMORY 451.83 391.73 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line332.yml true 11.60 6.77 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line482.yml true 6.19 4.02 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line483.yml true 6.87 4.91 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line502.yml true 5.74 4.19 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line503.yml true 5.40 4.27 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line536.yml true 7.79 5.48 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line537.yml true 10.10 5.81 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line548.yml true 7.97 5.00 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line549.yml true 10.23 5.95 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line560.yml true 7.39 4.70 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line561.yml true 8.60 5.26 None 13-privatized_69-refine-protected-loop-interval_true.line400.yml true 5.42 4.19 None 13-privatized_69-refine-protected-loop-interval_true.line401.yml true 5.55 3.99 None 17_szymanski.line309.yml true 5.36 3.60 None 17_szymanski.line310.yml true 5.37 3.62 None 18_read_write_lock.line311.yml true 6.52 4.13 None 18_read_write_lock.line312.yml true 5.28 3.95 None 23_lu-fig2.fixed.line322.yml true 5.14 3.68 None 23_lu-fig2.fixed.line323.yml true 5.29 3.77 None 36-apron_11-traces-max-simple_true.line329.yml true 6.22 3.93 None 36-apron_11-traces-max-simple_true.line330.yml true 5.54 3.61 None 36-apron_16-traces-unprot2_true.line278.yml true 5.14 3.58 None 36-apron_16-traces-unprot2_true.line279.yml true 5.52 3.66 None 36-apron_17-traces-rpb-litmus_unknown_1_neg.line362.yml true 5.31 3.62 None 36-apron_17-traces-rpb-litmus_unknown_1_neg.line363.yml true 7.10 4.37 None 36-apron_17-traces-rpb-litmus_unknown_1_pos.line362.yml true 5.27 3.67 None 36-apron_17-traces-rpb-litmus_unknown_1_pos.line363.yml true 5.68 4.06 None 36-apron_21-traces-cluster-based_true.line540.yml true 7.70 5.26 None 36-apron_21-traces-cluster-based_true.line541.yml true 11.41 6.74 None 36-apron_21-traces-cluster-based_true.line555.yml true 7.77 5.12 None 36-apron_21-traces-cluster-based_true.line556.yml true 8.77 5.62 None 36-apron_21-traces-cluster-based_true.line570.yml true 9.22 6.27 None 36-apron_21-traces-cluster-based_true.line571.yml true 8.80 6.52 None 36-apron_22-traces-write-centered-vs-meet-mutex_true.line462.yml true 5.47 3.75 None 36-apron_22-traces-write-centered-vs-meet-mutex_true.line463.yml true 7.17 4.36 None 36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.line513.yml true 5.83 4.04 None 36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.line514.yml true 6.24 4.11 None 36-apron_41-threadenter-no-locals_unknown_1_neg.line278.yml true 4.77 3.27 None 36-apron_41-threadenter-no-locals_unknown_1_neg.line279.yml true 6.52 4.02 None 36-apron_41-threadenter-no-locals_unknown_1_pos.line278.yml true 5.33 3.43 None 36-apron_41-threadenter-no-locals_unknown_1_pos.line279.yml true 5.02 3.47 None airline-10.line355.yml OUT OF MEMORY 223.21 133.34 None airline-10.line356.yml OUT OF MEMORY 732.74 430.69 None airline-10.line378.yml OUT OF MEMORY 433.14 244.91 None airline-10.line379.yml OUT OF MEMORY 247.68 148.80 None airline-15.line355.yml OUT OF MEMORY 399.46 251.56 None airline-15.line356.yml OUT OF MEMORY 246.64 149.30 None airline-15.line378.yml OUT OF MEMORY 440.86 245.15 None airline-15.line379.yml OUT OF MEMORY 309.39 181.10 None airline-20.line355.yml OUT OF MEMORY 181.75 110.17 None airline-20.line356.yml OUT OF MEMORY 221.63 129.58 None airline-20.line378.yml OUT OF MEMORY 458.82 254.55 None airline-20.line379.yml OUT OF MEMORY 273.87 161.04 None airline-25.line355.yml OUT OF MEMORY 293.96 182.73 None airline-25.line356.yml OUT OF MEMORY 248.98 147.87 None airline-25.line378.yml OUT OF MEMORY 393.00 219.29 None airline-25.line379.yml OUT OF MEMORY 289.16 173.43 None airline-5.line355.yml OUT OF MEMORY 489.99 292.51 None airline-5.line356.yml OUT OF MEMORY 200.62 118.20 None airline-5.line378.yml OUT OF MEMORY 403.05 225.01 None airline-5.line379.yml OUT OF MEMORY 250.64 161.96 None arithmetic_prog_bad.line564.yml true 6.88 4.70 None arithmetic_prog_bad.line565.yml true 7.31 4.85 None arithmetic_prog_bad.line579.yml true 6.57 4.45 None arithmetic_prog_bad.line580.yml true 6.54 4.56 None arithmetic_prog_bad.line591.yml true 7.22 5.04 None arithmetic_prog_bad.line592.yml true 7.96 5.16 None arithmetic_prog_bad.line603.yml true 12.88 7.84 None arithmetic_prog_bad.line604.yml true 15.45 9.72 None arithmetic_prog_ok.line564.yml true 6.50 4.51 None arithmetic_prog_ok.line565.yml true 7.11 4.79 None arithmetic_prog_ok.line579.yml true 5.96 4.18 None arithmetic_prog_ok.line580.yml true 6.71 4.89 None arithmetic_prog_ok.line591.yml true 7.91 5.26 None arithmetic_prog_ok.line592.yml true 7.48 4.90 None arithmetic_prog_ok.line603.yml true 12.47 7.76 None arithmetic_prog_ok.line604.yml true 18.91 12.05 None bench-exp1x3.wvr.line164.yml true 5.78 4.08 None bench-exp1x3.wvr.line165.yml true 6.36 4.34 None bench-exp1x3.wvr.line179.yml true 6.06 4.49 None bench-exp1x3.wvr.line180.yml true 6.08 4.40 None bench-exp1x3.wvr.line191.yml true 6.09 4.18 None bench-exp1x3.wvr.line192.yml true 6.26 4.58 None bench-exp1x3.wvr.line203.yml true 6.38 4.43 None bench-exp1x3.wvr.line204.yml true 6.22 4.41 None bench-exp2x3.wvr.line246.yml true 7.75 5.46 None bench-exp2x3.wvr.line247.yml true 8.06 5.78 None bench-exp2x3.wvr.line261.yml true 9.30 6.12 None bench-exp2x3.wvr.line262.yml true 8.16 5.80 None bench-exp2x3.wvr.line276.yml true 7.80 5.55 None bench-exp2x3.wvr.line277.yml true 7.92 6.37 None bench-exp2x3.wvr.line291.yml true 7.53 5.20 None bench-exp2x3.wvr.line292.yml true 7.44 5.47 None bench-exp2x3.wvr.line303.yml true 10.01 6.34 None bench-exp2x3.wvr.line304.yml true 8.77 6.35 None bench-exp2x3.wvr.line315.yml true 8.25 6.08 None bench-exp2x3.wvr.line316.yml true 8.36 5.78 None bench-exp2x3.wvr.line327.yml true 8.55 5.69 None bench-exp2x3.wvr.line328.yml true 8.75 6.36 None bench-exp2x3.wvr.line339.yml true 11.50 7.17 None bench-exp2x3.wvr.line340.yml true 8.73 6.24 None bench-exp2x4.wvr.line250.yml true 7.38 5.58 None bench-exp2x4.wvr.line251.yml true 7.68 5.82 None bench-exp2x4.wvr.line265.yml true 7.60 5.39 None bench-exp2x4.wvr.line266.yml true 8.09 5.78 None bench-exp2x4.wvr.line280.yml true 7.11 5.22 None bench-exp2x4.wvr.line281.yml true 7.36 5.24 None bench-exp2x4.wvr.line295.yml true 9.88 6.33 None bench-exp2x4.wvr.line296.yml true 7.91 5.45 None bench-exp2x4.wvr.line307.yml true 8.78 6.04 None bench-exp2x4.wvr.line308.yml true 8.96 6.28 None bench-exp2x4.wvr.line319.yml true 9.93 6.62 None bench-exp2x4.wvr.line320.yml true 9.83 6.80 None bench-exp2x4.wvr.line331.yml true 9.51 6.59 None bench-exp2x4.wvr.line332.yml true 10.02 6.61 None bench-exp2x4.wvr.line343.yml true 12.67 7.80 None bench-exp2x4.wvr.line344.yml true 10.26 7.00 None bench-exp2x6.wvr.line258.yml true 7.45 5.37 None bench-exp2x6.wvr.line259.yml true 8.37 5.91 None bench-exp2x6.wvr.line273.yml true 7.98 5.93 None bench-exp2x6.wvr.line274.yml true 8.33 5.82 None bench-exp2x6.wvr.line288.yml true 7.90 5.42 None bench-exp2x6.wvr.line289.yml true 8.34 5.82 None bench-exp2x6.wvr.line303.yml true 10.49 6.67 None bench-exp2x6.wvr.line304.yml true 8.19 5.84 None bench-exp2x6.wvr.line315.yml true 10.56 7.02 None bench-exp2x6.wvr.line316.yml true 10.99 7.26 None bench-exp2x6.wvr.line327.yml true 12.22 8.18 None bench-exp2x6.wvr.line328.yml true 12.87 8.43 None bench-exp2x6.wvr.line339.yml true 12.75 8.69 None bench-exp2x6.wvr.line340.yml true 12.76 8.47 None bench-exp2x6.wvr.line351.yml true 17.93 10.57 None bench-exp2x6.wvr.line352.yml true 12.78 8.77 None bench-exp2x9.wvr.line270.yml true 9.18 6.35 None bench-exp2x9.wvr.line271.yml true 8.96 6.40 None bench-exp2x9.wvr.line285.yml true 8.61 5.86 None bench-exp2x9.wvr.line286.yml true 9.58 6.74 None bench-exp2x9.wvr.line300.yml true 9.08 6.48 None bench-exp2x9.wvr.line301.yml true 9.75 6.70 None bench-exp2x9.wvr.line315.yml true 10.31 6.80 None bench-exp2x9.wvr.line316.yml true 12.83 7.87 None bench-exp2x9.wvr.line327.yml true 15.01 10.10 None bench-exp2x9.wvr.line328.yml true 15.64 9.99 None bench-exp2x9.wvr.line339.yml true 23.10 14.97 None bench-exp2x9.wvr.line340.yml true 22.85 15.14 None bench-exp2x9.wvr.line351.yml true 23.69 15.69 None bench-exp2x9.wvr.line352.yml true 23.22 15.90 None bench-exp2x9.wvr.line363.yml true 29.12 17.46 None bench-exp2x9.wvr.line364.yml true 25.44 17.06 None bench-exp3x3-opt.wvr.line328.yml true 13.97 9.85 None bench-exp3x3-opt.wvr.line329.yml true 14.89 9.85 None bench-exp3x3-opt.wvr.line343.yml true 13.96 9.45 None bench-exp3x3-opt.wvr.line344.yml true 14.65 10.32 None bench-exp3x3-opt.wvr.line358.yml true 13.89 9.71 None bench-exp3x3-opt.wvr.line359.yml true 15.13 10.39 None bench-exp3x3-opt.wvr.line373.yml true 14.03 9.64 None bench-exp3x3-opt.wvr.line374.yml true 14.54 10.34 None bench-exp3x3-opt.wvr.line388.yml true 14.64 10.15 None bench-exp3x3-opt.wvr.line389.yml true 15.02 10.17 None bench-exp3x3-opt.wvr.line403.yml true 21.89 13.84 None bench-exp3x3-opt.wvr.line404.yml true 19.36 12.61 None bench-exp3x3-opt.wvr.line415.yml true 24.97 18.68 None bench-exp3x3-opt.wvr.line416.yml true 25.30 18.77 None bench-exp3x3-opt.wvr.line427.yml true 37.56 25.32 None bench-exp3x3-opt.wvr.line428.yml true 37.25 25.91 None bench-exp3x3-opt.wvr.line439.yml true 39.92 27.95 None bench-exp3x3-opt.wvr.line440.yml true 38.58 27.05 None bench-exp3x3-opt.wvr.line451.yml true 38.32 26.32 None bench-exp3x3-opt.wvr.line452.yml true 48.13 31.89 None bench-exp3x3-opt.wvr.line463.yml true 42.26 29.56 None bench-exp3x3-opt.wvr.line464.yml true 38.78 27.71 None bench-exp3x3-opt.wvr.line475.yml true 39.02 27.75 None bench-exp3x3-opt.wvr.line476.yml true 38.72 29.09 None bench-exp3x3.wvr.line328.yml true 13.43 9.36 None bench-exp3x3.wvr.line329.yml true 14.80 10.27 None bench-exp3x3.wvr.line343.yml true 13.85 9.26 None bench-exp3x3.wvr.line344.yml true 14.57 10.53 None bench-exp3x3.wvr.line358.yml true 14.11 9.94 None bench-exp3x3.wvr.line359.yml true 14.90 9.97 None bench-exp3x3.wvr.line373.yml true 13.84 9.95 None bench-exp3x3.wvr.line374.yml true 14.23 9.78 None bench-exp3x3.wvr.line388.yml true 15.50 10.79 None bench-exp3x3.wvr.line389.yml true 18.33 12.28 None bench-exp3x3.wvr.line403.yml true 17.34 12.04 None bench-exp3x3.wvr.line404.yml true 21.21 13.65 None bench-exp3x3.wvr.line415.yml true 32.09 21.17 None bench-exp3x3.wvr.line416.yml true 26.45 18.97 None bench-exp3x3.wvr.line427.yml true 35.87 26.31 None bench-exp3x3.wvr.line428.yml true 36.12 24.10 None bench-exp3x3.wvr.line439.yml true 38.36 27.05 None bench-exp3x3.wvr.line440.yml true 37.96 25.82 None bench-exp3x3.wvr.line451.yml true 39.09 29.16 None bench-exp3x3.wvr.line452.yml true 40.56 28.47 None bench-exp3x3.wvr.line463.yml true 39.48 27.62 None bench-exp3x3.wvr.line464.yml true 38.19 28.04 None bench-exp3x3.wvr.line475.yml true 46.47 30.30 None bench-exp3x3.wvr.line476.yml true 45.63 30.34 None bigshot_p.line294.yml true 7.13 5.15 None bigshot_p.line295.yml false(unreach-call) 33.77 18.46 None bigshot_p.line296.yml true 7.16 5.01 None bigshot_p.line297.yml false(unreach-call) 14.18 8.71 None bigshot_p.line300.yml true 7.34 4.90 None bigshot_p.line301.yml false(unreach-call) 27.56 16.49 None bigshot_p.line422.yml true 5.86 4.30 None bigshot_p.line423.yml true 6.42 4.53 None bigshot_p.line437.yml false(unreach-call) 5.90 3.66 None bigshot_p.line438.yml false(unreach-call) 6.15 3.79 None bigshot_p.line449.yml false(unreach-call) 5.93 3.96 None bigshot_p.line450.yml false(unreach-call) 6.16 4.00 None bigshot_p.line461.yml true 7.33 4.83 None bigshot_p.line462.yml true 7.94 5.63 None bigshot_p.line476.yml true 7.40 4.81 None bigshot_p.line477.yml true 7.20 5.36 None bigshot_s.line285.yml true 6.87 5.80 None bigshot_s.line286.yml false(unreach-call) 41.65 31.00 None bigshot_s.line287.yml true 6.05 4.63 None bigshot_s.line288.yml false(unreach-call) 12.79 8.44 None bigshot_s.line291.yml true 6.90 5.24 None bigshot_s.line292.yml false(unreach-call) 30.58 19.25 None bigshot_s.line413.yml true 5.73 3.95 None bigshot_s.line414.yml true 8.04 5.08 None bigshot_s.line425.yml false(unreach-call) 5.92 3.94 None bigshot_s.line426.yml false(unreach-call) 5.98 4.07 None bigshot_s.line440.yml true 7.60 4.85 None bigshot_s.line441.yml true 6.27 4.68 None bigshot_s.line452.yml true 5.87 4.42 None bigshot_s.line453.yml true 6.20 4.69 None bigshot_s.line467.yml true 6.59 4.39 None bigshot_s.line468.yml true 6.64 4.51 None bigshot_s2.line285.yml true 8.96 5.66 None bigshot_s2.line286.yml false(unreach-call) 43.03 31.99 None bigshot_s2.line287.yml true 6.09 4.42 None bigshot_s2.line288.yml false(unreach-call) 18.18 10.45 None bigshot_s2.line291.yml true 6.80 4.86 None bigshot_s2.line292.yml false(unreach-call) 38.28 22.84 None bigshot_s2.line412.yml true 5.72 4.45 None bigshot_s2.line413.yml true 6.25 4.62 None bigshot_s2.line424.yml false(unreach-call) 5.86 3.64 None bigshot_s2.line425.yml false(unreach-call) 6.01 4.02 None bigshot_s2.line439.yml true 6.19 4.21 None bigshot_s2.line440.yml true 6.57 4.43 None bigshot_s2.line451.yml true 7.55 4.81 None bigshot_s2.line452.yml true 6.38 4.62 None bigshot_s2.line463.yml true 6.13 4.34 None bigshot_s2.line464.yml true 6.29 5.30 None chl-collitem-subst.wvr.line736.yml true 17.21 11.04 None chl-collitem-subst.wvr.line737.yml true 18.94 12.62 None chl-collitem-subst.wvr.line751.yml true 17.30 11.14 None chl-collitem-subst.wvr.line752.yml true 18.23 11.89 None chl-collitem-subst.wvr.line766.yml true 31.04 18.57 None chl-collitem-subst.wvr.line767.yml true 24.40 15.88 None chl-collitem-subst.wvr.line778.yml OUT OF MEMORY 363.46 193.71 None chl-collitem-subst.wvr.line779.yml OUT OF MEMORY 508.01 262.39 None chl-collitem-subst.wvr.line790.yml OUT OF MEMORY 300.98 161.77 None chl-collitem-subst.wvr.line791.yml OUT OF MEMORY 324.68 170.69 None chl-collitem-subst.wvr.line802.yml OUT OF MEMORY 260.37 138.45 None chl-collitem-subst.wvr.line803.yml OUT OF MEMORY 334.69 176.10 None chl-collitem-symm.wvr.line521.yml true 6.61 4.48 None chl-collitem-symm.wvr.line522.yml true 7.06 4.78 None --------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 13708.30 787.14 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk28 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 --------------------------------------------------------------------------------------------------------------------------------------------- 13-privatized_57-singlethreaded-unlock_true.line310.yml true 5.56 3.97 None 13-privatized_57-singlethreaded-unlock_true.line311.yml true 5.83 4.16 None 13-privatized_58-singlethreaded-lock_true.line322.yml true 6.98 4.27 None 13-privatized_58-singlethreaded-lock_true.line323.yml true 5.68 3.71 None 13-privatized_66-mine-W-init_true.line263.yml true 5.32 3.74 None 13-privatized_66-mine-W-init_true.line264.yml true 5.20 4.07 None 13-privatized_67-pthread_cond_wait_true.line1076.yml true 8.16 5.13 None 13-privatized_67-pthread_cond_wait_true.line1077.yml true 9.19 5.66 None 13-privatized_67-pthread_cond_wait_true.line1097.yml true 8.46 5.29 None 13-privatized_67-pthread_cond_wait_true.line1098.yml true 6.97 4.62 None 13-privatized_67-pthread_cond_wait_true.line1109.yml true 7.58 5.01 None 13-privatized_67-pthread_cond_wait_true.line1110.yml true 7.77 5.54 None 13-privatized_67-pthread_cond_wait_true.line1121.yml true 9.14 5.84 None 13-privatized_67-pthread_cond_wait_true.line1122.yml true 8.77 5.34 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1076.yml true 6.88 4.51 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1077.yml true 7.21 5.00 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1097.yml true 7.15 4.95 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1098.yml true 7.08 5.19 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1109.yml true 7.46 5.18 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1110.yml true 10.26 6.12 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1121.yml true 8.18 5.20 None 13-privatized_67-pthread_cond_wait_unknown_1_neg.line1122.yml true 9.20 6.08 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1076.yml true 7.99 5.53 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1077.yml true 8.99 5.73 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1097.yml true 6.74 4.47 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1098.yml true 6.58 4.65 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1109.yml true 9.44 5.74 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1110.yml true 7.65 5.34 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1121.yml true 8.36 5.35 None 13-privatized_67-pthread_cond_wait_unknown_1_pos.line1122.yml true 8.90 5.74 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line246.yml false(unreach-call) 28.15 18.06 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line247.yml true 9.47 6.50 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line262.yml false(unreach-call) 63.68 48.08 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line263.yml true 16.80 9.69 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line285.yml OUT OF MEMORY 897.05 709.53 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line286.yml true 9.06 5.69 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line307.yml OUT OF MEMORY 736.22 518.39 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line308.yml true 11.99 6.93 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line319.yml OUT OF MEMORY 294.17 206.72 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line320.yml true 10.43 6.47 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line331.yml OUT OF MEMORY 881.73 690.62 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line332.yml true 12.84 7.46 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line482.yml true 6.58 4.33 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line483.yml true 6.90 4.45 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line502.yml true 5.78 4.02 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line503.yml true 6.16 4.32 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line536.yml true 10.30 5.93 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line537.yml true 8.70 5.97 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line548.yml true 8.29 5.17 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line549.yml true 11.71 6.57 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line560.yml true 8.19 5.46 None 13-privatized_68-pfscan_protected_loop_minimal_interval_true.line561.yml true 9.66 5.87 None 13-privatized_69-refine-protected-loop-interval_true.line400.yml true 5.50 3.82 None 13-privatized_69-refine-protected-loop-interval_true.line401.yml true 5.30 3.67 None 17_szymanski.line309.yml true 5.18 3.60 None 17_szymanski.line310.yml true 6.68 4.20 None 18_read_write_lock.line311.yml true 5.08 3.49 None 18_read_write_lock.line312.yml true 5.23 4.11 None 23_lu-fig2.fixed.line322.yml true 4.92 3.41 None 23_lu-fig2.fixed.line323.yml true 5.35 3.94 None 36-apron_11-traces-max-simple_true.line329.yml true 6.83 4.23 None 36-apron_11-traces-max-simple_true.line330.yml true 5.64 3.70 None 36-apron_16-traces-unprot2_true.line278.yml true 4.79 3.73 None 36-apron_16-traces-unprot2_true.line279.yml true 5.56 3.71 None 36-apron_17-traces-rpb-litmus_unknown_1_neg.line362.yml true 5.57 3.84 None 36-apron_17-traces-rpb-litmus_unknown_1_neg.line363.yml true 5.53 4.02 None 36-apron_17-traces-rpb-litmus_unknown_1_pos.line362.yml true 6.85 4.18 None 36-apron_17-traces-rpb-litmus_unknown_1_pos.line363.yml true 5.50 4.11 None 36-apron_21-traces-cluster-based_true.line540.yml true 9.04 6.03 None 36-apron_21-traces-cluster-based_true.line541.yml true 10.20 6.34 None 36-apron_21-traces-cluster-based_true.line555.yml true 12.45 7.43 None 36-apron_21-traces-cluster-based_true.line556.yml true 9.70 6.77 None 36-apron_21-traces-cluster-based_true.line570.yml true 10.84 6.86 None 36-apron_21-traces-cluster-based_true.line571.yml true 11.73 7.24 None 36-apron_22-traces-write-centered-vs-meet-mutex_true.line462.yml true 5.75 3.78 None 36-apron_22-traces-write-centered-vs-meet-mutex_true.line463.yml true 7.75 4.59 None 36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.line513.yml true 6.08 3.92 None 36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.line514.yml true 5.32 4.04 None 36-apron_41-threadenter-no-locals_unknown_1_neg.line278.yml true 4.51 3.20 None 36-apron_41-threadenter-no-locals_unknown_1_neg.line279.yml true 5.12 3.67 None 36-apron_41-threadenter-no-locals_unknown_1_pos.line278.yml true 4.94 3.48 None 36-apron_41-threadenter-no-locals_unknown_1_pos.line279.yml true 6.53 4.14 None airline-10.line355.yml OUT OF MEMORY 357.93 192.54 None airline-10.line356.yml OUT OF MEMORY 234.81 138.20 None airline-10.line378.yml OUT OF MEMORY 508.69 274.34 None airline-10.line379.yml OUT OF MEMORY 302.01 172.61 None airline-15.line355.yml OUT OF MEMORY 371.85 200.58 None airline-15.line356.yml OUT OF MEMORY 195.14 113.37 None airline-15.line378.yml OUT OF MEMORY 469.61 256.52 None airline-15.line379.yml OUT OF MEMORY 281.73 162.10 None airline-20.line355.yml OUT OF MEMORY 279.47 153.46 None airline-20.line356.yml OUT OF MEMORY 273.66 162.63 None airline-20.line378.yml OUT OF MEMORY 324.69 183.02 None airline-20.line379.yml OUT OF MEMORY 133.40 82.54 None airline-25.line355.yml OUT OF MEMORY 318.03 173.53 None airline-25.line356.yml OUT OF MEMORY 275.33 160.60 None airline-25.line378.yml OUT OF MEMORY 601.13 324.36 None airline-25.line379.yml OUT OF MEMORY 763.80 410.73 None airline-5.line355.yml OUT OF MEMORY 400.87 220.58 None airline-5.line356.yml OUT OF MEMORY 447.81 244.23 None airline-5.line378.yml OUT OF MEMORY 580.51 311.43 None airline-5.line379.yml OUT OF MEMORY 332.35 187.40 None arithmetic_prog_bad.line564.yml true 6.68 4.59 None arithmetic_prog_bad.line565.yml true 6.80 4.62 None arithmetic_prog_bad.line579.yml true 6.44 4.52 None arithmetic_prog_bad.line580.yml true 7.01 5.07 None arithmetic_prog_bad.line591.yml true 8.78 5.49 None arithmetic_prog_bad.line592.yml true 8.57 5.53 None arithmetic_prog_bad.line603.yml true 16.61 10.14 None arithmetic_prog_bad.line604.yml true 23.07 14.91 None arithmetic_prog_ok.line564.yml true 6.93 4.66 None arithmetic_prog_ok.line565.yml true 7.52 4.99 None arithmetic_prog_ok.line579.yml true 6.85 4.54 None arithmetic_prog_ok.line580.yml true 6.92 4.79 None arithmetic_prog_ok.line591.yml true 8.74 5.38 None arithmetic_prog_ok.line592.yml true 9.07 5.62 None arithmetic_prog_ok.line603.yml true 17.00 10.54 None arithmetic_prog_ok.line604.yml true 28.76 17.89 None bench-exp1x3.wvr.line164.yml true 6.20 4.18 None bench-exp1x3.wvr.line165.yml true 6.66 4.38 None bench-exp1x3.wvr.line179.yml true 6.13 4.41 None bench-exp1x3.wvr.line180.yml true 6.64 4.46 None bench-exp1x3.wvr.line191.yml true 6.12 4.32 None bench-exp1x3.wvr.line192.yml true 6.67 4.53 None bench-exp1x3.wvr.line203.yml true 6.72 4.62 None bench-exp1x3.wvr.line204.yml true 6.67 4.48 None bench-exp2x3.wvr.line246.yml true 7.32 5.29 None bench-exp2x3.wvr.line247.yml true 8.53 5.88 None bench-exp2x3.wvr.line261.yml true 7.80 5.39 None bench-exp2x3.wvr.line262.yml true 8.44 5.90 None bench-exp2x3.wvr.line276.yml true 9.91 6.38 None bench-exp2x3.wvr.line277.yml true 7.90 6.04 None bench-exp2x3.wvr.line291.yml true 8.93 5.89 None bench-exp2x3.wvr.line292.yml true 8.15 5.61 None bench-exp2x3.wvr.line303.yml true 9.13 6.21 None bench-exp2x3.wvr.line304.yml true 9.40 6.43 None bench-exp2x3.wvr.line315.yml true 14.35 8.35 None bench-exp2x3.wvr.line316.yml true 11.67 7.34 None bench-exp2x3.wvr.line327.yml true 10.60 6.86 None bench-exp2x3.wvr.line328.yml true 10.69 7.22 None bench-exp2x3.wvr.line339.yml true 11.31 7.16 None bench-exp2x3.wvr.line340.yml true 14.44 8.59 None bench-exp2x4.wvr.line250.yml true 8.51 5.58 None bench-exp2x4.wvr.line251.yml true 8.83 6.08 None bench-exp2x4.wvr.line265.yml true 7.85 5.66 None bench-exp2x4.wvr.line266.yml true 8.69 6.19 None bench-exp2x4.wvr.line280.yml true 8.64 5.88 None bench-exp2x4.wvr.line281.yml true 9.22 6.11 None bench-exp2x4.wvr.line295.yml true 11.23 6.98 None bench-exp2x4.wvr.line296.yml true 8.62 6.21 None bench-exp2x4.wvr.line307.yml true 11.24 7.04 None bench-exp2x4.wvr.line308.yml true 11.50 7.08 None bench-exp2x4.wvr.line319.yml true 13.18 7.88 None bench-exp2x4.wvr.line320.yml true 16.63 9.65 None bench-exp2x4.wvr.line331.yml true 13.70 8.28 None bench-exp2x4.wvr.line332.yml true 14.17 8.70 None bench-exp2x4.wvr.line343.yml true 13.42 8.40 None bench-exp2x4.wvr.line344.yml true 13.80 8.48 None bench-exp2x6.wvr.line258.yml true 9.11 6.25 None bench-exp2x6.wvr.line259.yml true 12.05 7.31 None bench-exp2x6.wvr.line273.yml true 9.10 6.69 None bench-exp2x6.wvr.line274.yml true 9.89 6.50 None bench-exp2x6.wvr.line288.yml true 8.69 5.98 None bench-exp2x6.wvr.line289.yml true 10.04 6.41 None bench-exp2x6.wvr.line303.yml true 12.89 7.87 None bench-exp2x6.wvr.line304.yml true 10.21 7.79 None bench-exp2x6.wvr.line315.yml true 16.83 9.56 None bench-exp2x6.wvr.line316.yml true 14.25 9.13 None bench-exp2x6.wvr.line327.yml true 17.58 11.23 None bench-exp2x6.wvr.line328.yml true 22.00 13.24 None bench-exp2x6.wvr.line339.yml true 16.65 11.52 None bench-exp2x6.wvr.line340.yml true 19.02 11.62 None bench-exp2x6.wvr.line351.yml true 18.35 12.01 None bench-exp2x6.wvr.line352.yml true 18.03 11.62 None bench-exp2x9.wvr.line270.yml true 10.01 6.69 None bench-exp2x9.wvr.line271.yml true 14.09 8.59 None bench-exp2x9.wvr.line285.yml true 10.33 7.27 None bench-exp2x9.wvr.line286.yml true 11.25 7.26 None bench-exp2x9.wvr.line300.yml true 10.80 7.43 None bench-exp2x9.wvr.line301.yml true 11.82 7.22 None bench-exp2x9.wvr.line315.yml true 11.82 7.82 None bench-exp2x9.wvr.line316.yml true 12.11 7.95 None bench-exp2x9.wvr.line327.yml true 28.56 17.40 None bench-exp2x9.wvr.line328.yml true 22.77 16.46 None bench-exp2x9.wvr.line339.yml true 34.15 22.20 None bench-exp2x9.wvr.line340.yml true 36.27 23.70 None bench-exp2x9.wvr.line351.yml true 36.09 22.83 None bench-exp2x9.wvr.line352.yml true 35.25 23.29 None bench-exp2x9.wvr.line363.yml true 36.58 24.19 None bench-exp2x9.wvr.line364.yml true 34.46 24.93 None bench-exp3x3-opt.wvr.line328.yml true 23.10 14.88 None bench-exp3x3-opt.wvr.line329.yml true 19.45 13.40 None bench-exp3x3-opt.wvr.line343.yml true 18.58 13.01 None bench-exp3x3-opt.wvr.line344.yml true 26.29 16.61 None bench-exp3x3-opt.wvr.line358.yml true 20.48 13.43 None bench-exp3x3-opt.wvr.line359.yml true 22.71 14.46 None bench-exp3x3-opt.wvr.line373.yml true 19.58 13.83 None bench-exp3x3-opt.wvr.line374.yml true 25.88 16.24 None bench-exp3x3-opt.wvr.line388.yml true 20.95 14.05 None bench-exp3x3-opt.wvr.line389.yml true 20.44 14.21 None bench-exp3x3-opt.wvr.line403.yml true 23.80 16.89 None bench-exp3x3-opt.wvr.line404.yml true 25.38 18.88 None bench-exp3x3-opt.wvr.line415.yml true 47.77 32.62 None bench-exp3x3-opt.wvr.line416.yml true 41.64 30.14 None bench-exp3x3-opt.wvr.line427.yml true 62.76 43.77 None bench-exp3x3-opt.wvr.line428.yml true 71.89 48.78 None bench-exp3x3-opt.wvr.line439.yml true 66.81 45.98 None bench-exp3x3-opt.wvr.line440.yml true 67.07 47.82 None bench-exp3x3-opt.wvr.line451.yml true 67.05 45.54 None bench-exp3x3-opt.wvr.line452.yml true 65.04 49.93 None bench-exp3x3-opt.wvr.line463.yml true 65.54 46.24 None bench-exp3x3-opt.wvr.line464.yml true 81.25 54.09 None bench-exp3x3-opt.wvr.line475.yml true 82.14 52.71 None bench-exp3x3-opt.wvr.line476.yml true 67.58 48.31 None bench-exp3x3.wvr.line328.yml true 19.25 13.59 None bench-exp3x3.wvr.line329.yml true 20.57 13.58 None bench-exp3x3.wvr.line343.yml true 23.16 15.06 None bench-exp3x3.wvr.line344.yml true 20.59 14.22 None bench-exp3x3.wvr.line358.yml true 20.70 13.82 None bench-exp3x3.wvr.line359.yml true 19.40 14.03 None bench-exp3x3.wvr.line373.yml true 18.85 13.27 None bench-exp3x3.wvr.line374.yml true 20.14 14.82 None bench-exp3x3.wvr.line388.yml true 20.60 13.86 None bench-exp3x3.wvr.line389.yml true 28.44 17.87 None bench-exp3x3.wvr.line403.yml true 25.52 17.47 None bench-exp3x3.wvr.line404.yml true 26.18 18.01 None bench-exp3x3.wvr.line415.yml true 40.66 29.24 None bench-exp3x3.wvr.line416.yml true 40.57 28.16 None bench-exp3x3.wvr.line427.yml true 59.21 41.66 None bench-exp3x3.wvr.line428.yml true 62.68 42.72 None bench-exp3x3.wvr.line439.yml true 64.77 48.43 None bench-exp3x3.wvr.line440.yml true 83.56 52.98 None bench-exp3x3.wvr.line451.yml true 77.81 52.01 None bench-exp3x3.wvr.line452.yml true 77.08 50.49 None bench-exp3x3.wvr.line463.yml true 68.85 48.17 None bench-exp3x3.wvr.line464.yml true 66.99 47.32 None bench-exp3x3.wvr.line475.yml true 67.83 48.91 None bench-exp3x3.wvr.line476.yml true 63.68 44.13 None bigshot_p.line294.yml true 8.10 5.45 None bigshot_p.line295.yml false(unreach-call) 25.25 15.28 None bigshot_p.line296.yml true 6.99 5.03 None bigshot_p.line297.yml false(unreach-call) 14.39 9.15 None bigshot_p.line300.yml true 7.72 5.39 None bigshot_p.line301.yml false(unreach-call) 28.40 16.39 None bigshot_p.line422.yml true 5.91 4.28 None bigshot_p.line423.yml true 6.48 4.74 None bigshot_p.line437.yml false(unreach-call) 6.07 3.87 None bigshot_p.line438.yml false(unreach-call) 5.96 3.86 None bigshot_p.line449.yml false(unreach-call) 5.80 4.30 None bigshot_p.line450.yml false(unreach-call) 7.86 4.58 None bigshot_p.line461.yml true 8.14 5.63 None bigshot_p.line462.yml true 8.42 5.60 None bigshot_p.line476.yml true 9.23 5.66 None bigshot_p.line477.yml true 8.29 5.34 None bigshot_s.line285.yml true 9.15 5.76 None bigshot_s.line286.yml false(unreach-call) 55.83 35.39 None bigshot_s.line287.yml true 8.49 5.33 None bigshot_s.line288.yml false(unreach-call) 13.93 9.67 None bigshot_s.line291.yml true 9.11 5.83 None bigshot_s.line292.yml false(unreach-call) 32.44 19.74 None bigshot_s.line413.yml true 6.24 4.48 None bigshot_s.line414.yml true 6.12 4.59 None bigshot_s.line425.yml false(unreach-call) 6.12 3.94 None bigshot_s.line426.yml false(unreach-call) 6.27 4.00 None bigshot_s.line440.yml true 5.92 4.30 None bigshot_s.line441.yml true 8.52 5.28 None bigshot_s.line452.yml true 7.78 4.94 None bigshot_s.line453.yml true 6.68 4.56 None bigshot_s.line467.yml true 6.56 4.33 None bigshot_s.line468.yml true 8.21 5.13 None bigshot_s2.line285.yml true 7.17 5.00 None bigshot_s2.line286.yml false(unreach-call) 41.15 30.43 None bigshot_s2.line287.yml true 6.65 5.12 None bigshot_s2.line288.yml false(unreach-call) 13.81 8.97 None bigshot_s2.line291.yml true 7.30 5.35 None bigshot_s2.line292.yml false(unreach-call) 41.76 23.80 None bigshot_s2.line412.yml true 7.56 4.72 None bigshot_s2.line413.yml true 6.60 4.50 None bigshot_s2.line424.yml false(unreach-call) 6.14 3.79 None bigshot_s2.line425.yml false(unreach-call) 7.66 4.58 None bigshot_s2.line439.yml true 6.16 4.32 None bigshot_s2.line440.yml true 6.46 4.64 None bigshot_s2.line451.yml true 6.44 4.34 None bigshot_s2.line452.yml true 7.95 5.06 None bigshot_s2.line463.yml true 6.63 4.65 None bigshot_s2.line464.yml true 6.33 5.18 None chl-collitem-subst.wvr.line736.yml true 30.64 18.69 None chl-collitem-subst.wvr.line737.yml true 26.26 17.76 None chl-collitem-subst.wvr.line751.yml true 27.02 18.58 None chl-collitem-subst.wvr.line752.yml true 25.53 16.75 None chl-collitem-subst.wvr.line766.yml true 35.30 23.22 None chl-collitem-subst.wvr.line767.yml true 39.88 26.29 None chl-collitem-subst.wvr.line778.yml OUT OF MEMORY 682.45 346.22 None chl-collitem-subst.wvr.line779.yml OUT OF MEMORY 546.51 277.94 None chl-collitem-subst.wvr.line790.yml OUT OF MEMORY 330.62 174.15 None chl-collitem-subst.wvr.line791.yml OUT OF MEMORY 288.86 149.68 None chl-collitem-subst.wvr.line802.yml OUT OF MEMORY 323.60 168.67 None chl-collitem-subst.wvr.line803.yml OUT OF MEMORY 329.36 173.04 None chl-collitem-symm.wvr.line521.yml true 8.32 5.20 None chl-collitem-symm.wvr.line522.yml true 7.47 5.47 None --------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 17426.05 1000.95 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk28 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk28 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk28 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk28 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk28 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk28 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk28 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk28 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk28 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk28 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk28 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk28 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk28 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk28 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk28 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk28 Run set 19 of 19: skipped Statistics: 900 Files correct: 753 correct true: 753 correct false: 0 incorrect: 60 incorrect true: 0 incorrect false: 60 unknown: 87 Score: 546 (max: 1800)