BENCHMARK INFORMATION benchmark definition: ../benchexec/uautomizer-commuhash.xml name: uautomizer-commuhash run sets: sv-comp21_prop-reachsafety, sv-comp21_prop-memsafety, sv-comp21_prop-nooverflow.NoOverflows-Main, sv-comp21_prop-termination.Termination-MainControlFlow date: Fri, 2023-02-17 18:13:52 CET tool: ULTIMATE Automizer 0.2.2-26d01a9c tool executable: ./Ultimate.py options: --full-output 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.15.60-1-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 ------------------------------------------------------------ sv-comp21_prop-reachsafety Run set 1 of 4 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------- array-examples/data_structures_set_multi_proc_ground-1.yml TIMEOUT 900.37 889.86 None array-examples/data_structures_set_multi_proc_ground-2.yml TIMEOUT 900.37 888.51 None array-examples/relax-2-2.yml TIMEOUT 900.48 868.00 None array-examples/sanfoundry_02_ground.yml TIMEOUT 900.42 881.75 None array-examples/sanfoundry_10_ground.yml TIMEOUT 901.23 798.92 None array-examples/sanfoundry_43_ground.yml true 7.53 4.84 None array-examples/sorting_selectionsort_2_ground.yml TIMEOUT 900.79 819.83 None array-examples/sorting_selectionsort_ground-1.yml TIMEOUT 900.72 826.94 None array-examples/sorting_selectionsort_ground-2.yml TIMEOUT 900.74 825.46 None array-examples/standard_allDiff2_ground.yml TIMEOUT 900.95 849.11 None array-examples/standard_copy2_ground-1.yml TIMEOUT 900.34 895.93 None array-examples/standard_copy2_ground-2.yml TIMEOUT 900.44 883.12 None array-examples/standard_copy3_ground-1.yml TIMEOUT 900.36 894.12 None array-examples/standard_copy3_ground-2.yml TIMEOUT 900.35 893.93 None array-examples/standard_copy4_ground-1.yml TIMEOUT 900.35 894.59 None array-examples/standard_copy4_ground-2.yml TIMEOUT 900.36 893.08 None array-examples/standard_copy5_ground-1.yml TIMEOUT 900.35 891.72 None array-examples/standard_copy5_ground-2.yml TIMEOUT 900.37 890.10 None array-examples/standard_copy6_ground-1.yml TIMEOUT 900.39 889.46 None array-examples/standard_copy6_ground-2.yml TIMEOUT 900.34 894.00 None array-examples/standard_copy7_ground-1.yml TIMEOUT 900.34 894.29 None array-examples/standard_copy7_ground-2.yml TIMEOUT 900.39 889.80 None array-examples/standard_copy8_ground-1.yml TIMEOUT 900.34 894.13 None array-examples/standard_copy8_ground-2.yml TIMEOUT 900.35 894.00 None array-examples/standard_copy9_ground-1.yml TIMEOUT 900.36 891.98 None array-examples/standard_copy9_ground-2.yml TIMEOUT 900.35 892.47 None array-examples/standard_copyInitSum2_ground-1.yml TIMEOUT 900.37 891.66 None array-examples/standard_copyInitSum2_ground-2.yml TIMEOUT 900.36 892.35 None array-examples/standard_copyInitSum3_ground.yml TIMEOUT 900.36 891.24 None array-examples/standard_copyInitSum_ground.yml TIMEOUT 900.37 891.54 None array-examples/standard_partial_init_ground.yml TIMEOUT 900.41 887.34 None array-examples/standard_partition_ground-1.yml TIMEOUT 900.36 886.84 None array-examples/standard_partition_ground-2.yml TIMEOUT 900.85 815.25 None array-examples/standard_partition_original_ground.yml TIMEOUT 900.54 880.26 None array-examples/standard_sentinel-2.yml TIMEOUT 900.66 867.94 None array-examples/standard_sentinel.i.v+cfa-reducer.yml TIMEOUT 901.18 810.27 None array-examples/standard_seq_init_ground.yml TIMEOUT 900.34 890.55 None array-examples/standard_two_index_01.yml TIMEOUT 900.37 891.30 None array-examples/standard_two_index_02.yml TIMEOUT 900.34 894.51 None array-examples/standard_two_index_03.yml TIMEOUT 900.36 891.56 None array-examples/standard_two_index_04.yml TIMEOUT 900.36 891.95 None array-examples/standard_two_index_05.yml TIMEOUT 900.34 893.63 None array-examples/standard_two_index_06.yml TIMEOUT 900.33 893.66 None array-examples/standard_two_index_07.yml TIMEOUT 900.64 865.53 None array-examples/standard_two_index_08.yml TIMEOUT 900.54 868.31 None array-examples/standard_two_index_09.yml TIMEOUT 900.47 878.45 None array-examples/standard_vararg_ground.yml TIMEOUT 900.54 869.10 None array-examples/standard_vector_difference_ground.yml TIMEOUT 900.40 886.76 None array-industry-pattern/array_mul_init.yml TIMEOUT 900.33 894.39 None array-industry-pattern/array_of_struct_ptr_mul_init.yml TIMEOUT 900.37 893.48 None array-industry-pattern/array_shadowinit.yml TIMEOUT 900.50 866.83 None array-industry-pattern/check_removal_from_set_after_insertion.yml TIMEOUT 900.67 841.98 None reducercommutativity/avg05-1.yml TIMEOUT 900.60 869.54 None reducercommutativity/avg10-2.yml TIMEOUT 900.70 848.06 None reducercommutativity/avg20-2.yml TIMEOUT 900.82 844.71 None reducercommutativity/avg40-2.yml TIMEOUT 900.85 849.70 None reducercommutativity/avg60-1.yml TIMEOUT 900.37 888.33 None reducercommutativity/rangesum.yml false(unreach-call) 17.85 11.08 None reducercommutativity/rangesum05.yml false(unreach-call) 16.90 11.29 None reducercommutativity/rangesum10.yml false(unreach-call) 23.62 17.17 None reducercommutativity/rangesum20.yml false(unreach-call) 32.52 24.87 None reducercommutativity/rangesum40.yml TIMEOUT 900.43 887.10 None reducercommutativity/rangesum60.yml TIMEOUT 900.36 889.84 None reducercommutativity/sep.yml TIMEOUT 900.47 870.25 None reducercommutativity/sep10-2.yml TIMEOUT 900.51 865.99 None reducercommutativity/sep20-1.yml TIMEOUT 900.74 835.64 None reducercommutativity/sep40-1.yml TIMEOUT 900.93 831.01 None reducercommutativity/sep60-2.yml TIMEOUT 900.36 886.52 None reducercommutativity/sum05-2.yml TIMEOUT 900.58 885.05 None reducercommutativity/sum10-1.yml TIMEOUT 900.54 869.44 None reducercommutativity/sum20-2.yml TIMEOUT 900.65 865.98 None reducercommutativity/sum40-2.yml TIMEOUT 900.84 849.42 None reducercommutativity/sum60-2.yml TIMEOUT 900.37 888.39 None array-tiling/poly2.yml TIMEOUT 900.48 885.16 None array-programs/copysome1-1.yml TIMEOUT 900.35 892.88 None array-programs/copysome1-2.yml TIMEOUT 900.43 886.45 None array-programs/copysome2-1.yml TIMEOUT 900.48 877.65 None array-programs/copysome2-2.yml TIMEOUT 900.52 875.75 None array-programs/partial_mod_count_1.yml TIMEOUT 900.42 884.78 None array-programs/partial_mod_count_2.yml TIMEOUT 900.39 889.40 None array-programs/partial_mod_count_3.yml TIMEOUT 900.38 889.42 None array-programs/partial_mod_count_4.yml TIMEOUT 900.37 891.48 None array-programs/partial_mod_count_5.yml TIMEOUT 900.37 890.05 None array-programs/partial_mod_count_limited_1.yml TIMEOUT 900.52 879.34 None array-programs/partial_mod_count_limited_2.yml TIMEOUT 900.60 875.28 None array-programs/partial_mod_count_limited_3.yml TIMEOUT 900.73 853.47 None array-programs/partial_mod_count_limited_4.yml TIMEOUT 900.64 868.81 None array-programs/partial_mod_count_limited_5.yml TIMEOUT 900.61 871.14 None array-programs/partial_mod_count_limited_base.yml TIMEOUT 900.39 887.76 None array-programs/partial_mod_count_limited_gen.yml TIMEOUT 900.35 893.60 None array-crafted/mapavg1.yml TIMEOUT 900.47 874.95 None array-crafted/mapavg2.yml TIMEOUT 900.46 876.39 None array-crafted/mapavg3.yml TIMEOUT 900.45 876.47 None array-crafted/mapavg4.yml TIMEOUT 900.41 883.25 None array-crafted/mapavg5.yml TIMEOUT 900.40 886.29 None array-crafted/mapsum1.yml TIMEOUT 900.39 886.24 None array-crafted/mapsum2.yml TIMEOUT 900.45 886.83 None array-crafted/mapsum3.yml TIMEOUT 900.39 885.99 None array-crafted/mapsum4.yml TIMEOUT 900.36 887.71 None array-crafted/mapsum5.yml TIMEOUT 900.41 883.05 None array-crafted/zero_sum1.yml OUT OF MEMORY 644.56 616.99 None array-crafted/zero_sum2.yml TIMEOUT 900.90 869.23 None array-crafted/zero_sum3.yml OUT OF MEMORY 727.64 697.94 None array-crafted/zero_sum4.yml TIMEOUT 900.98 870.28 None array-crafted/zero_sum5.yml TIMEOUT 900.48 885.02 None array-crafted/zero_sum_const1.yml TIMEOUT 900.92 862.50 None array-crafted/zero_sum_const2.yml OUT OF MEMORY 332.46 294.00 None array-crafted/zero_sum_const3.yml TIMEOUT 900.50 869.00 None array-crafted/zero_sum_const4.yml TIMEOUT 900.95 853.85 None array-crafted/zero_sum_const5.yml TIMEOUT 900.43 876.62 None array-crafted/zero_sum_const_m2.yml TIMEOUT 900.49 878.33 None array-crafted/zero_sum_const_m3.yml TIMEOUT 900.94 867.75 None array-crafted/zero_sum_const_m4.yml TIMEOUT 900.45 882.29 None array-crafted/zero_sum_const_m5.yml TIMEOUT 900.46 880.66 None array-crafted/zero_sum_m2.yml TIMEOUT 900.65 875.02 None array-crafted/zero_sum_m3.yml TIMEOUT 900.84 876.12 None array-crafted/zero_sum_m4.yml TIMEOUT 900.62 873.54 None array-crafted/zero_sum_m5.yml TIMEOUT 900.47 873.10 None array-multidimensional/copy-partial-3-u.yml TIMEOUT 900.36 893.64 None array-multidimensional/transpose-u.yml TIMEOUT 900.35 894.21 None array-patterns/array10_pattern.yml TIMEOUT 900.67 880.99 None array-patterns/array11_pattern.yml OUT OF MEMORY 864.36 812.59 None array-patterns/array12_pattern.yml OUT OF MEMORY 202.63 162.07 None array-patterns/array13_pattern.yml TIMEOUT 900.35 887.06 None array-patterns/array14_pattern.yml TIMEOUT 900.58 884.44 None array-patterns/array15_pattern.yml OUT OF MEMORY 294.41 272.26 None array-patterns/array16_pattern.yml TIMEOUT 900.89 863.13 None array-patterns/array17_pattern.yml TIMEOUT 900.43 890.13 None array-patterns/array18_pattern.yml TIMEOUT 900.42 885.38 None array-patterns/array19_pattern.yml OUT OF MEMORY 236.49 199.89 None array-patterns/array1_pattern.yml OUT OF MEMORY 236.21 214.31 None array-patterns/array20_pattern.yml OUT OF MEMORY 123.74 99.95 None array-patterns/array21_pattern.yml TIMEOUT 900.68 876.17 None array-patterns/array22_pattern.yml TIMEOUT 900.64 881.96 None array-patterns/array23_pattern.yml TIMEOUT 900.50 879.78 None array-patterns/array24_pattern.yml TIMEOUT 900.37 884.26 None array-patterns/array25_pattern.yml TIMEOUT 900.38 889.04 None array-patterns/array26_pattern.yml TIMEOUT 900.38 890.68 None array-patterns/array27_pattern.yml TIMEOUT 900.42 879.48 None array-patterns/array28_pattern.yml TIMEOUT 900.61 872.05 None array-patterns/array29_pattern.yml TIMEOUT 900.37 892.36 None array-patterns/array2_pattern.yml TIMEOUT 900.86 876.47 None array-patterns/array30_pattern.yml TIMEOUT 900.35 893.10 None array-patterns/array3_pattern.yml TIMEOUT 900.67 872.05 None array-patterns/array4_pattern.yml TIMEOUT 900.40 886.56 None array-patterns/array5_pattern.yml TIMEOUT 900.82 862.88 None array-patterns/array6_pattern.yml TIMEOUT 900.44 878.47 None array-patterns/array7_pattern.yml TIMEOUT 900.56 880.95 None array-patterns/array8_pattern.yml TIMEOUT 900.59 875.24 None array-patterns/array9_pattern.yml TIMEOUT 900.62 883.02 None array-cav19/array_doub_access_init_const.yml TIMEOUT 900.37 888.71 None array-cav19/array_init_both_ends_multiple_sum.yml TIMEOUT 900.38 891.16 None array-cav19/array_init_pair_sum_const.yml TIMEOUT 900.42 889.64 None array-cav19/array_init_pair_symmetr.yml TIMEOUT 900.38 889.36 None array-cav19/array_init_pair_symmetr2.yml TIMEOUT 900.34 892.57 None array-cav19/array_init_var_plus_ind.yml TIMEOUT 900.40 884.59 None array-cav19/array_init_var_plus_ind2.yml TIMEOUT 900.49 880.95 None array-cav19/array_init_var_plus_ind3.yml TIMEOUT 900.41 884.36 None array-cav19/array_min_and_copy_shift_sum_add.yml TIMEOUT 900.45 880.66 None array-cav19/array_tiling_poly6.yml TIMEOUT 900.41 888.91 None array-cav19/array_tiling_tcpy.yml TIMEOUT 900.42 883.67 None array-cav19/array_tripl_access_init_const.yml TIMEOUT 900.30 893.34 None array-lopstr16/motivex.yml TIMEOUT 900.40 889.80 None array-lopstr16/scalar_loopdep.yml TIMEOUT 900.39 891.03 None array-lopstr16/sum_multi_array.yml OUT OF MEMORY 78.79 63.80 None array-fpi/brs1.yml OUT OF MEMORY 667.56 635.61 None array-fpi/brs1f.yml false(unreach-call) 9.09 5.63 None array-fpi/brs2.yml TIMEOUT 900.35 889.09 None array-fpi/brs2f.yml TIMEOUT 900.36 885.06 None array-fpi/brs3.yml TIMEOUT 900.39 886.29 None array-fpi/brs3f.yml false(unreach-call) 9.80 6.03 None array-fpi/brs4.yml TIMEOUT 900.36 890.67 None array-fpi/brs4f.yml false(unreach-call) 8.18 4.79 None array-fpi/brs5.yml TIMEOUT 900.37 889.54 None array-fpi/brs5f.yml false(unreach-call) 8.86 5.27 None array-fpi/conda.yml TIMEOUT 900.36 888.92 None array-fpi/condaf.yml false(unreach-call) 9.90 5.89 None array-fpi/condg.yml TIMEOUT 900.39 885.59 None array-fpi/condgf.yml false(unreach-call) 11.73 6.75 None array-fpi/condm.yml TIMEOUT 900.46 877.08 None array-fpi/condmf.yml false(unreach-call) 8.64 5.66 None array-fpi/eqn1.yml TIMEOUT 900.41 886.94 None array-fpi/eqn1f.yml false(unreach-call) 14.71 10.49 None array-fpi/eqn2.yml OUT OF MEMORY 698.43 671.71 None array-fpi/eqn2f.yml false(unreach-call) 13.40 8.78 None array-fpi/eqn3.yml TIMEOUT 900.40 885.88 None array-fpi/eqn3f.yml false(unreach-call) 9.57 6.33 None array-fpi/eqn4.yml TIMEOUT 900.52 873.73 None array-fpi/eqn4f.yml false(unreach-call) 9.33 6.23 None array-fpi/eqn5.yml TIMEOUT 900.36 890.97 None array-fpi/eqn5f.yml false(unreach-call) 11.05 8.15 None array-fpi/ifcomp.yml TIMEOUT 900.42 886.65 None array-fpi/ifcompf.yml false(unreach-call) 13.20 9.06 None array-fpi/ifeqn1.yml TIMEOUT 900.41 885.05 None array-fpi/ifeqn1f.yml false(unreach-call) 11.16 6.84 None array-fpi/ifeqn2.yml TIMEOUT 900.41 883.62 None array-fpi/ifeqn2f.yml false(unreach-call) 8.75 5.74 None array-fpi/ifeqn3.yml TIMEOUT 900.37 888.08 None array-fpi/ifeqn3f.yml false(unreach-call) 15.79 10.00 None array-fpi/ifeqn4.yml TIMEOUT 900.53 880.37 None array-fpi/ifeqn4f.yml false(unreach-call) 10.73 7.55 None array-fpi/ifeqn5.yml TIMEOUT 900.33 890.28 None array-fpi/ifeqn5f.yml false(unreach-call) 9.53 6.10 None array-fpi/ifncomp.yml OUT OF MEMORY 177.83 151.96 None array-fpi/ifncompf.yml false(unreach-call) 9.83 6.43 None array-fpi/indp1f.yml false(unreach-call) 9.10 5.43 None array-fpi/indp2.yml TIMEOUT 900.39 886.14 None array-fpi/indp2f.yml false(unreach-call) 9.10 5.78 None array-fpi/indp3.yml TIMEOUT 901.19 797.47 None array-fpi/indp3f.yml false(unreach-call) 8.42 5.76 None array-fpi/indp4.yml TIMEOUT 900.83 874.77 None array-fpi/indp4f.yml false(unreach-call) 9.03 6.27 None array-fpi/indp5.yml OUT OF MEMORY 171.93 135.79 None array-fpi/indp5f.yml false(unreach-call) 8.97 5.43 None array-fpi/modn.yml TIMEOUT 900.40 886.56 None array-fpi/modnf.yml false(unreach-call) 8.73 5.55 None array-fpi/modp.yml TIMEOUT 900.44 888.39 None array-fpi/modpf.yml false(unreach-call) 11.65 7.14 None array-fpi/mods.yml OUT OF MEMORY 652.97 617.71 None array-fpi/modsf.yml false(unreach-call) 12.32 7.13 None array-fpi/ms1.yml TIMEOUT 900.43 873.58 None array-fpi/ms1f.yml false(unreach-call) 9.28 5.73 None array-fpi/ms2.yml TIMEOUT 900.36 888.89 None array-fpi/ms2f.yml false(unreach-call) 8.75 5.46 None array-fpi/ms3.yml TIMEOUT 900.37 888.04 None array-fpi/ms3f.yml false(unreach-call) 8.57 5.44 None array-fpi/ms4.yml TIMEOUT 900.36 888.50 None array-fpi/ms4f.yml false(unreach-call) 10.90 6.17 None array-fpi/ms5.yml TIMEOUT 900.41 881.78 None array-fpi/ms5f.yml false(unreach-call) 9.07 5.24 None array-fpi/ncomp.yml TIMEOUT 900.91 865.51 None array-fpi/ncompf.yml false(unreach-call) 8.76 5.60 None array-fpi/nsqm-if.yml TIMEOUT 900.38 887.05 None array-fpi/nsqm-iff.yml false(unreach-call) 12.43 7.42 None array-fpi/nsqm.yml TIMEOUT 900.40 881.59 None array-fpi/nsqmf.yml false(unreach-call) 10.83 6.47 None array-fpi/pcomp.yml TIMEOUT 900.62 862.73 None array-fpi/pcompf.yml OUT OF MEMORY 263.37 237.38 None array-fpi/res1.yml TIMEOUT 900.84 870.39 None array-fpi/res1f.yml false(unreach-call) 8.38 5.37 None array-fpi/res1o.yml OUT OF MEMORY 347.66 279.51 None array-fpi/res1of.yml false(unreach-call) 9.03 5.25 None array-fpi/res2.yml OUT OF MEMORY 394.90 334.39 None array-fpi/res2f.yml false(unreach-call) 8.86 5.42 None array-fpi/res2o.yml TIMEOUT 900.35 889.44 None array-fpi/res2of.yml false(unreach-call) 8.79 5.65 None array-fpi/s12if.yml TIMEOUT 900.34 888.60 None array-fpi/s12iff.yml false(unreach-call) 11.28 6.29 None array-fpi/s1if.yml TIMEOUT 900.45 874.68 None array-fpi/s1iff.yml false(unreach-call) 12.62 8.20 None array-fpi/s1lif.yml TIMEOUT 900.34 890.57 None array-fpi/s1liff.yml false(unreach-call) 9.16 5.57 None array-fpi/s22if.yml TIMEOUT 900.36 887.58 None array-fpi/s22iff.yml false(unreach-call) 8.30 5.35 None array-fpi/s2if.yml TIMEOUT 900.37 888.13 None array-fpi/s2iff.yml false(unreach-call) 12.82 7.90 None array-fpi/s2lif.yml TIMEOUT 900.48 888.18 None array-fpi/s2liff.yml false(unreach-call) 8.81 5.39 None array-fpi/s32if.yml TIMEOUT 900.38 888.67 None array-fpi/s32iff.yml false(unreach-call) 11.16 6.32 None array-fpi/s3if.yml TIMEOUT 900.63 862.63 None array-fpi/s3iff.yml false(unreach-call) 12.16 7.60 None array-fpi/s3lif.yml OUT OF MEMORY 746.00 716.20 None array-fpi/s3liff.yml false(unreach-call) 8.62 5.09 None array-fpi/s42if.yml TIMEOUT 900.60 871.33 None array-fpi/s42iff.yml false(unreach-call) 8.28 5.05 None array-fpi/s4if.yml TIMEOUT 900.79 867.36 None array-fpi/s4iff.yml false(unreach-call) 12.18 7.55 None array-fpi/s4lif.yml TIMEOUT 900.53 889.20 None array-fpi/s4liff.yml false(unreach-call) 8.50 5.05 None array-fpi/s52if.yml TIMEOUT 900.65 875.75 None array-fpi/s52iff.yml false(unreach-call) 8.79 5.59 None array-fpi/s5if.yml TIMEOUT 900.89 874.76 None array-fpi/s5iff.yml false(unreach-call) 11.39 6.34 None array-fpi/s5lif.yml TIMEOUT 900.55 858.75 None array-fpi/s5liff.yml false(unreach-call) 9.29 5.84 None array-fpi/sina1.yml TIMEOUT 900.39 884.08 None array-fpi/sina1f.yml false(unreach-call) 9.02 5.62 None array-fpi/sina2.yml OUT OF MEMORY 210.70 138.76 None array-fpi/sina2f.yml false(unreach-call) 8.98 5.88 None array-fpi/sina3.yml TIMEOUT 900.38 882.57 None array-fpi/sina3f.yml false(unreach-call) 8.67 5.35 None array-fpi/sina4.yml TIMEOUT 900.67 875.44 None array-fpi/sina4f.yml false(unreach-call) 9.81 6.03 None array-fpi/sina5.yml TIMEOUT 900.36 886.57 None array-fpi/sina5f.yml false(unreach-call) 8.63 5.14 None array-fpi/sqm-if.yml TIMEOUT 900.39 887.74 None array-fpi/sqm-iff.yml false(unreach-call) 9.11 5.83 None array-fpi/sqm.yml TIMEOUT 900.82 852.48 None array-fpi/sqmf.yml false(unreach-call) 8.78 5.99 None array-fpi/ss1.yml OUT OF MEMORY 631.95 596.99 None array-fpi/ss1f.yml false(unreach-call) 11.44 6.99 None array-fpi/ss2.yml TIMEOUT 900.57 881.30 None array-fpi/ss2f.yml false(unreach-call) 12.54 7.46 None array-fpi/ss3.yml TIMEOUT 900.88 879.29 None array-fpi/ss3f.yml false(unreach-call) 11.47 7.06 None array-fpi/ss4.yml OUT OF MEMORY 606.53 572.33 None array-fpi/ss4f.yml false(unreach-call) 9.21 6.11 None array-fpi/ssina.yml TIMEOUT 900.60 878.76 None array-fpi/ssinaf.yml false(unreach-call) 9.50 5.94 None bitvector/byte_add-1.yml TIMEOUT 900.47 876.28 None bitvector/byte_add_1-1.yml TIMEOUT 900.39 885.99 None bitvector/byte_add_2-2.yml TIMEOUT 900.60 871.58 None bitvector/gcd_1.yml TIMEOUT 900.64 879.08 None bitvector/gcd_2.yml TIMEOUT 900.40 882.84 None bitvector/gcd_3.yml TIMEOUT 900.37 885.97 None bitvector/gcd_4.yml true 32.18 21.16 None bitvector/interleave_bits.yml true 61.59 51.95 None bitvector/jain_1-1.yml true 9.73 6.23 None bitvector/jain_2-1.yml true 21.94 18.50 None bitvector/jain_4-2.yml true 13.77 10.20 None bitvector/jain_5-2.yml TIMEOUT 900.33 890.68 None bitvector/jain_6-1.yml true 18.37 14.59 None bitvector/jain_7-2.yml true 21.05 17.29 None bitvector/modulus-2.yml true 50.50 30.83 None bitvector/num_conversion_1.yml true 31.06 21.03 None bitvector/num_conversion_2.yml TIMEOUT 900.51 887.17 None bitvector/parity.yml TIMEOUT 900.36 888.42 None bitvector/s3_clnt_2.BV.c.cil-1a.yml true 49.09 30.07 None bitvector/s3_clnt_2.BV.c.cil-2a.yml false(unreach-call) 40.31 23.98 None bitvector/s3_clnt_3.BV.c.cil-1a.yml true 25.35 14.35 None bitvector/s3_clnt_3.BV.c.cil-2a.yml false(unreach-call) 35.02 21.15 None bitvector/s3_srvr_1a.BV.c.cil.yml true 25.28 14.03 None bitvector/s3_srvr_2a.BV.c.cil.yml true 119.84 89.31 None bitvector/s3_srvr_2a_alt.BV.c.cil.yml true 85.99 64.51 None bitvector/s3_srvr_3a.BV.c.cil.yml true 28.30 17.03 None bitvector/s3_srvr_3a_alt.BV.c.cil.yml true 28.39 17.03 None bitvector/soft_float_1-2a.c.cil.yml TIMEOUT 900.62 864.40 None bitvector/soft_float_1-3a.c.cil.yml TIMEOUT 900.55 875.53 None bitvector/soft_float_2a.c.cil.yml true 30.21 17.74 None bitvector/soft_float_3a.c.cil.yml TIMEOUT 900.54 875.92 None bitvector/soft_float_4-2a.c.cil.yml TIMEOUT 900.73 859.50 None bitvector/soft_float_4-3a.c.cil.yml false(unreach-call) 791.76 758.30 None bitvector/soft_float_5a.c.cil.yml true 22.10 14.18 None bitvector/sum02-1.yml TIMEOUT 900.31 895.38 None bitvector/sum02-2.yml TIMEOUT 900.44 889.74 None bitvector-regression/implicitfloatconversion.yml false(unreach-call) 18.18 10.53 None bitvector-regression/implicitunsignedconversion-1.yml false(unreach-call) 9.83 5.68 None bitvector-regression/implicitunsignedconversion-2.yml true 10.24 5.84 None bitvector-regression/integerpromotion-2.yml true 18.50 10.70 None bitvector-regression/integerpromotion-3.yml false(unreach-call) 14.42 9.39 None bitvector-regression/recHanoi03-1.yml false(unreach-call) 335.62 293.26 None bitvector-regression/signextension-1.yml false(unreach-call) 7.84 4.96 None bitvector-regression/signextension-2.yml true 8.42 5.45 None bitvector-regression/signextension2-1.yml true 8.29 5.09 None bitvector-regression/signextension2-2.yml false(unreach-call) 7.98 4.95 None bitvector-loops/diamond_2-1.yml false(unreach-call) 9.22 5.42 None bitvector-loops/overflow_1-2.yml TIMEOUT 900.33 890.95 None bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.yml false(unreach-call) 182.32 170.59 None openssl-simplified/s3_srvr_1b.cil.yml true 9.34 5.71 None locks/test_locks_10.yml true 16.86 9.58 None locks/test_locks_11.yml true 22.19 12.98 None locks/test_locks_12.yml true 34.24 21.39 None locks/test_locks_13.yml OUT OF MEMORY 48.83 33.68 None locks/test_locks_14-1.yml OUT OF MEMORY 49.79 33.62 None locks/test_locks_14-2.yml false(unreach-call) 9.03 5.52 None locks/test_locks_15-1.yml false(unreach-call) 9.48 5.89 None locks/test_locks_15-2.yml OUT OF MEMORY 50.91 34.92 None locks/test_locks_5.yml true 9.62 5.83 None locks/test_locks_6.yml true 10.36 6.18 None locks/test_locks_7.yml true 10.26 6.09 None locks/test_locks_8.yml true 11.75 6.92 None locks/test_locks_9.yml true 13.65 7.92 None ntdrivers/cdaudio.i.cil-1.yml TIMEOUT 900.46 864.24 None ntdrivers/diskperf.i.cil-1.yml TIMEOUT 901.18 844.83 None ntdrivers/diskperf.i.cil-2.yml false(unreach-call) 31.68 17.64 None ntdrivers/floppy.i.cil-1.yml TIMEOUT 900.65 858.09 None ntdrivers/floppy.i.cil-3.yml TIMEOUT 901.15 817.02 None ntdrivers/kbfiltr.i.cil-2.yml TIMEOUT 900.50 860.17 None ntdrivers/parport.i.cil-1.yml unknown 141.61 104.41 None ntdrivers/parport.i.cil-2.yml TIMEOUT 900.58 791.07 None heap-manipulation/bubble_sort_linux-1.yml OUT OF MEMORY 586.21 519.05 None heap-manipulation/bubble_sort_linux-2.yml TIMEOUT 900.74 869.67 None heap-manipulation/dancing.yml TIMEOUT 900.46 871.81 None heap-manipulation/dll_of_dll-1.yml TIMEOUT 900.46 868.67 None heap-manipulation/dll_of_dll-2.yml TIMEOUT 900.71 855.10 None heap-manipulation/merge_sort-1.yml false(unreach-call) 14.55 8.16 None heap-manipulation/merge_sort-2.yml TIMEOUT 900.40 879.36 None heap-manipulation/sll_to_dll_rev-1.yml TIMEOUT 900.64 873.99 None heap-manipulation/sll_to_dll_rev-2.yml TIMEOUT 900.68 874.19 None heap-manipulation/tree-2.yml TIMEOUT 900.56 875.05 None heap-manipulation/tree-3.yml TIMEOUT 900.62 873.43 None heap-manipulation/tree-4.yml TIMEOUT 900.73 870.50 None list-properties/alternating_list-1.yml TIMEOUT 900.42 885.26 None list-properties/alternating_list-2.yml false(unreach-call) 9.58 5.94 None list-properties/list-1.yml TIMEOUT 900.39 885.20 None list-properties/list-2.yml TIMEOUT 900.43 876.91 None list-properties/list_flag-1.yml false(unreach-call) 10.21 5.91 None list-properties/list_flag-2.yml OUT OF MEMORY 138.31 108.41 None list-properties/list_search-1.yml TIMEOUT 900.66 877.77 None list-properties/list_search-2.yml TIMEOUT 900.58 876.16 None list-properties/simple-1.yml false(unreach-call) 10.32 6.12 None list-properties/simple-2.yml TIMEOUT 900.38 887.58 None list-properties/simple_built_from_end.yml TIMEOUT 900.38 883.80 None list-properties/splice-1.yml false(unreach-call) 12.93 7.18 None list-properties/splice-2.yml TIMEOUT 900.70 872.83 None ldv-regression/1_3.yml false(unreach-call) 8.90 5.30 None ldv-regression/alt_test.yml false(unreach-call) 9.51 5.53 None ldv-regression/callfpointer.yml false(unreach-call) 8.06 4.92 None ldv-regression/ex3_forlist.yml true 38.48 23.86 None ldv-regression/fo_test.yml false(unreach-call) 9.32 5.48 None ldv-regression/just_assert.yml true 7.53 4.57 None ldv-regression/mutex_lock_int.yml false(unreach-call) 8.26 4.85 None ldv-regression/mutex_lock_struct.yml false(unreach-call) 8.45 5.47 None ldv-regression/recursive_list.yml false(unreach-call) 8.28 4.90 None ldv-regression/rule57_ebda_blast.c_1.yml true 10.08 5.90 None ldv-regression/rule57_ebda_blast.yml true 10.29 6.08 None ldv-regression/rule57_ebda_blast_2.yml false(unreach-call) 9.88 6.16 None ldv-regression/rule60_list.yml true 11.04 6.48 None ldv-regression/rule60_list2.c_1.yml false(unreach-call) 18.02 11.21 None ldv-regression/rule60_list2.yml true 17.82 11.08 None ldv-regression/sizeofparameters_test.yml true 8.18 4.86 None ldv-regression/test01.yml true 8.31 4.87 None ldv-regression/test02.yml false(unreach-call) 7.49 4.58 None ldv-regression/test12.yml false(unreach-call) 7.62 4.54 None ldv-regression/test13.yml true 8.22 4.87 None ldv-regression/test17.yml true 7.90 4.74 None ldv-regression/test20.yml true 8.08 4.87 None ldv-regression/test21-2.yml false(unreach-call) 7.77 5.14 None ldv-regression/test25-1.yml false(unreach-call) 22.33 13.05 None ldv-regression/test26-2.yml false(unreach-call) 7.82 5.29 None ldv-regression/test28-1.yml false(unreach-call) 7.88 4.70 None ldv-regression/test29-1.yml false(unreach-call) 8.30 5.14 None ldv-regression/test30-2.yml false(unreach-call) 8.14 4.85 None ldv-regression/test_address.yml true 7.84 5.04 None ldv-regression/test_cut_trace.yml true 8.20 4.85 None ldv-regression/test_malloc-1.yml true 8.78 5.29 None ldv-regression/test_malloc-2.yml true 9.14 5.31 None ldv-regression/test_overflow.yml true 8.82 5.42 None ddv-machzwd/ddv_machzwd_all.yml unknown 43.19 26.40 None ddv-machzwd/ddv_machzwd_inb.yml true 12.78 7.73 None ddv-machzwd/ddv_machzwd_inb_p.yml true 12.79 7.45 None ddv-machzwd/ddv_machzwd_inl.yml true 12.48 7.28 None ddv-machzwd/ddv_machzwd_inl_p.yml true 13.17 7.36 None ddv-machzwd/ddv_machzwd_inw_p.yml true 12.86 7.78 None ddv-machzwd/ddv_machzwd_outb.yml unknown 45.36 27.30 None ddv-machzwd/ddv_machzwd_outb_p.yml true 12.41 7.26 None ddv-machzwd/ddv_machzwd_outl.yml true 13.07 7.68 None ddv-machzwd/ddv_machzwd_outl_p.yml true 13.54 7.85 None ddv-machzwd/ddv_machzwd_outw_p.yml true 12.92 7.67 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.yml true 12.73 7.48 None forester-heap/dll-01-1.yml false(unreach-call) 16.17 9.23 None forester-heap/dll-01-2.yml TIMEOUT 900.77 866.75 None forester-heap/dll-circular-1.yml false(unreach-call) 10.18 6.03 None forester-heap/dll-circular-2.yml TIMEOUT 900.39 881.49 None forester-heap/dll-optional-1.yml OUT OF MEMORY 140.38 116.41 None forester-heap/dll-optional-2.yml false(unreach-call) 11.77 6.55 None forester-heap/dll-queue-1.yml TIMEOUT 900.69 857.68 None forester-heap/dll-queue-2.yml TIMEOUT 900.55 873.43 None forester-heap/dll-rb-cnstr_1-1.yml TIMEOUT 900.42 886.46 None forester-heap/dll-rb-cnstr_1-2.yml TIMEOUT 900.39 887.34 None forester-heap/dll-rb-sentinel-1.yml TIMEOUT 900.42 884.93 None forester-heap/dll-rb-sentinel-2.yml TIMEOUT 900.42 883.58 None forester-heap/dll-reverse.yml OUT OF MEMORY 738.36 635.05 None forester-heap/dll-simple-white-blue-1.yml false(unreach-call) 8.84 5.28 None forester-heap/dll-simple-white-blue-2.yml TIMEOUT 900.37 886.78 None forester-heap/dll-sorted-1.yml false(unreach-call) 9.50 5.73 None forester-heap/dll-sorted-2.yml TIMEOUT 900.39 885.65 None forester-heap/dll-token-1.yml TIMEOUT 900.46 881.66 None forester-heap/dll-token-2.yml false(unreach-call) 15.46 8.43 None forester-heap/sll-01-1.yml TIMEOUT 900.62 861.55 None forester-heap/sll-01-2.yml TIMEOUT 900.94 853.63 None forester-heap/sll-buckets-1.yml OUT OF MEMORY 276.90 228.45 None forester-heap/sll-buckets-2.yml OUT OF MEMORY 151.14 124.68 None forester-heap/sll-circular-1.yml TIMEOUT 900.36 886.75 None forester-heap/sll-circular-2.yml false(unreach-call) 12.15 6.74 None forester-heap/sll-optional-1.yml OUT OF MEMORY 492.83 409.96 None forester-heap/sll-optional-2.yml false(unreach-call) 8.79 5.30 None forester-heap/sll-queue-1.yml TIMEOUT 900.70 871.65 None forester-heap/sll-queue-2.yml TIMEOUT 900.73 874.01 None forester-heap/sll-rb-cnstr_1-1.yml TIMEOUT 900.38 889.32 None forester-heap/sll-rb-cnstr_1-2.yml false(unreach-call) 11.87 7.01 None forester-heap/sll-rb-sentinel-1.yml TIMEOUT 900.37 888.06 None forester-heap/sll-rb-sentinel-2.yml TIMEOUT 900.37 888.63 None forester-heap/sll-reverse_simple.yml TIMEOUT 900.43 879.69 None forester-heap/sll-simple-white-blue-1.yml TIMEOUT 900.38 886.88 None forester-heap/sll-simple-white-blue-2.yml false(unreach-call) 9.12 5.22 None forester-heap/sll-sorted-1.yml TIMEOUT 900.41 885.70 None forester-heap/sll-sorted-2.yml TIMEOUT 900.42 883.10 None forester-heap/sll-token-1.yml false(unreach-call) 9.57 5.66 None forester-heap/sll-token-2.yml TIMEOUT 900.73 879.06 None list-ext-properties/list-ext.yml false(unreach-call) 8.97 5.39 None list-ext2-properties/list_and_tree_cnstr-1.yml TIMEOUT 900.39 884.40 None list-ext2-properties/list_and_tree_cnstr-2.yml TIMEOUT 900.41 880.02 None list-ext2-properties/simple_and_skiplist_2lvl-1.yml false(unreach-call) 13.57 7.76 None list-ext2-properties/simple_and_skiplist_2lvl-2.yml TIMEOUT 900.44 875.98 None list-ext2-properties/simple_search_value-1.yml TIMEOUT 900.40 886.24 None list-ext2-properties/simple_search_value-2.yml OUT OF MEMORY 389.38 343.96 None ldv-sets/test_add-1.yml false(unreach-call) 11.48 7.22 None ldv-sets/test_add-2.yml OUT OF MEMORY 348.25 316.52 None ldv-sets/test_mutex.yml TIMEOUT 900.94 864.22 None ldv-sets/test_mutex_double_lock.yml false(unreach-call) 12.97 7.81 None ldv-sets/test_mutex_double_unlock.yml TIMEOUT 901.09 867.04 None ldv-sets/test_mutex_unlock_at_exit.yml OUT OF MEMORY 190.33 125.70 None list-simple/dll2c_append_equal.yml OUT OF MEMORY 143.95 109.53 None list-simple/dll2c_append_unequal.yml OUT OF MEMORY 228.44 203.10 None list-simple/dll2c_insert_equal.yml TIMEOUT 901.26 839.15 None list-simple/dll2c_prepend_equal.yml OUT OF MEMORY 438.01 405.88 None list-simple/dll2c_prepend_unequal.yml TIMEOUT 900.42 881.01 None list-simple/dll2n_append_equal.yml OUT OF MEMORY 98.11 77.68 None list-simple/dll2n_append_unequal.yml TIMEOUT 900.40 884.70 None list-simple/dll2n_insert_equal.yml TIMEOUT 900.51 881.69 None list-simple/dll2n_insert_unequal.yml TIMEOUT 900.42 879.61 None list-simple/dll2n_prepend_equal.yml TIMEOUT 900.42 884.26 None list-simple/dll2n_prepend_unequal.yml TIMEOUT 900.44 878.18 None list-simple/sll2c_append_equal.yml TIMEOUT 900.39 883.56 None list-simple/sll2c_append_unequal.yml TIMEOUT 900.44 878.93 None list-simple/sll2c_insert_equal.yml TIMEOUT 900.39 884.82 None list-simple/sll2c_insert_unequal.yml OUT OF MEMORY 151.63 120.23 None list-simple/sll2c_prepend_equal.yml TIMEOUT 900.53 865.12 None list-simple/sll2c_prepend_unequal.yml TIMEOUT 900.39 886.24 None list-simple/sll2n_append_equal.yml TIMEOUT 900.46 880.65 None list-simple/sll2n_insert_equal.yml TIMEOUT 900.37 886.44 None list-simple/sll2n_insert_unequal.yml TIMEOUT 900.73 872.62 None heap-data/calendar.yml TIMEOUT 900.38 884.44 None heap-data/cart.yml TIMEOUT 900.60 874.31 None heap-data/min_max.yml TIMEOUT 900.43 878.08 None heap-data/packet_filter.yml TIMEOUT 900.62 873.68 None heap-data/process_queue.yml TIMEOUT 900.43 874.71 None heap-data/quick_sort_split.yml true 9.53 5.60 None heap-data/shared_mem1.yml TIMEOUT 900.70 879.91 None heap-data/shared_mem2.yml true 20.20 11.24 None list-ext3-properties/dll_circular_traversal-2.yml TIMEOUT 900.47 883.55 None list-ext3-properties/sll_circular_traversal-1.yml TIMEOUT 900.45 876.35 None list-ext3-properties/sll_length_check-1.yml false(unreach-call) 11.64 7.34 None list-ext3-properties/sll_length_check-2.yml TIMEOUT 900.37 887.61 None list-ext3-properties/sll_nondet_insert-1.yml TIMEOUT 900.38 889.23 None list-ext3-properties/sll_nondet_insert-2.yml TIMEOUT 900.37 888.62 None list-ext3-properties/sll_of_sll_nondet_append-1.yml TIMEOUT 900.39 888.92 None list-ext3-properties/sll_of_sll_nondet_append-2.yml TIMEOUT 900.50 879.84 None loops/array-2.yml false(unreach-call) 11.31 6.49 None loops/bubble_sort-2.yml false(unreach-call) 16.16 8.79 None loops/compact.yml TIMEOUT 900.39 883.66 None loops/count_up_down-1.yml TIMEOUT 900.34 888.39 None loops/count_up_down-2.yml false(unreach-call) 7.64 4.84 None loops/eureka_01-2.yml TIMEOUT 900.48 872.26 None loops/for_infinite_loop_1.yml true 7.91 4.70 None loops/for_infinite_loop_2.yml true 8.34 5.20 None loops/heavy-1.yml TIMEOUT 900.48 882.65 None loops/insertion_sort-1-2.yml TIMEOUT 900.47 885.05 None loops/insertion_sort-2-2.yml TIMEOUT 900.45 878.02 None loops/invert_string-1.yml false(unreach-call) 16.60 9.88 None loops/invert_string-3.yml TIMEOUT 900.40 886.04 None loops/linear_sea.ch.yml TIMEOUT 900.45 876.00 None loops/linear_search.yml OUT OF MEMORY 104.38 83.44 None loops/lu.cmp.yml true 10.95 6.84 None loops/ludcmp.yml ERROR (7) 36.30 30.17 None loops/matrix-1.yml OUT OF MEMORY 208.52 144.56 None loops/matrix-2-2.yml false(unreach-call) 9.39 6.71 None loops/n.c11.yml true 8.78 5.60 None loops/n.c24.yml TIMEOUT 900.85 853.40 None loops/nec20.yml false(unreach-call) 8.80 5.29 None loops/string-2.yml false(unreach-call) 19.56 13.06 None loops/sum01-2.yml true 10.78 6.66 None loops/sum01_bug02.yml false(unreach-call) 11.71 7.38 None loops/sum03-2.yml true 9.59 5.75 None loops/sum_array-2-2.yml TIMEOUT 900.50 871.28 None loops/terminator_02-2.yml true 8.69 5.25 None loops/terminator_02-2_abstracted.yml true 8.66 5.38 None loops/terminator_03-2_abstracted.yml true 8.28 5.02 None loops/trex01-1.yml false(unreach-call) 7.75 4.87 None loops/trex01-2.yml true 8.43 5.21 None loops/trex03-1.yml false(unreach-call) 7.71 4.86 None loops/trex03-2.yml true 8.17 5.03 None loops/trex03-2_abstracted.yml true 8.94 5.47 None loops/trex04.yml true 8.10 5.09 None loops/trex04_abstracted.yml true 8.42 5.11 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 9.09 5.85 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml false(unreach-call) 16.48 11.02 None loops/vogal-1.yml TIMEOUT 900.43 884.14 None loops/vogal-2.yml TIMEOUT 900.53 878.12 None loops/while_infinite_loop_1.yml true 7.92 4.88 None loops/while_infinite_loop_2.yml true 7.71 4.70 None loops/while_infinite_loop_3.yml true 7.69 4.77 None loops/while_infinite_loop_4.yml false(unreach-call) 7.81 5.03 None loop-acceleration/array_4.yml TIMEOUT 870.10 931.00 None loop-acceleration/const_1-1.yml true 9.76 6.57 None loop-acceleration/const_1-2.yml TIMEOUT 900.35 890.98 None loop-acceleration/diamond_1-1.yml true 97.68 78.36 None loop-acceleration/diamond_1-2.yml false(unreach-call) 826.31 791.48 None loop-acceleration/diamond_2-2.yml TIMEOUT 900.50 886.29 None loop-acceleration/functions_1-1.yml true 25.90 15.23 None loop-acceleration/functions_1-2.yml TIMEOUT 900.42 880.36 None loop-acceleration/multivar_1-1.yml true 8.61 5.01 None loop-acceleration/multivar_1-2.yml false(unreach-call) 7.96 8.15 None loop-acceleration/nested_1-1.yml true 35.76 22.32 None loop-acceleration/nested_1-2.yml TIMEOUT 900.37 882.87 None loop-acceleration/overflow_1-1.yml true 10.08 10.05 None loop-acceleration/phases_1-1.yml TIMEOUT 900.42 879.64 None loop-acceleration/phases_1-2.yml TIMEOUT 900.40 889.10 None loop-acceleration/phases_2-1.yml false(unreach-call) 10.27 5.86 None loop-acceleration/phases_2-2.yml true 13.89 10.13 None loop-acceleration/simple_1-1.yml TIMEOUT 900.37 887.11 None loop-acceleration/simple_1-1_abstracted.yml false(unreach-call) 7.80 4.73 None loop-acceleration/simple_1-2.yml true 12.02 7.77 None loop-acceleration/simple_1-2_abstracted.yml true 9.31 5.34 None loop-acceleration/simple_2-1.yml true 9.00 5.32 None loop-acceleration/simple_2-1_abstracted.yml true 8.42 4.95 None loop-acceleration/simple_2-2.yml false(unreach-call) 8.24 4.90 None loop-acceleration/simple_3-1.yml false(unreach-call) 8.52 5.02 None loop-acceleration/simple_3-2.yml true 9.76 5.79 None loop-acceleration/simple_4-1.yml TIMEOUT 900.36 887.53 None loop-acceleration/simple_4-1_abstracted.yml false(unreach-call) 7.76 4.90 None loop-acceleration/simple_4-2.yml true 9.26 6.10 None loop-acceleration/simple_4-2_abstracted.yml true 8.69 5.49 None loop-acceleration/underapprox_1-1.yml false(unreach-call) 10.47 6.71 None loop-acceleration/underapprox_1-2.yml true 67.42 61.05 None loop-acceleration/underapprox_2-1.yml false(unreach-call) 10.21 6.85 None loop-acceleration/underapprox_2-2.yml true 10.43 6.79 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.57 877.52 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 8.46 5.11 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.52 876.41 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 900.57 882.66 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml TIMEOUT 900.49 878.38 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml TIMEOUT 900.47 876.58 None loop-crafted/simple_array_index_value_4.yml TIMEOUT 900.47 880.57 None loop-crafted/simple_vardep_1.yml true 11.72 6.82 None loop-crafted/simple_vardep_2.yml true 14.14 8.56 None loop-invgen/SpamAssassin-loop.yml true 14.33 7.97 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 21.22 11.30 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 49.33 26.94 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 90.15 56.62 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 24.63 13.87 None loop-invgen/apache-get-tag.yml true 13.79 7.84 None loop-invgen/down.yml TIMEOUT 901.36 702.23 None loop-invgen/fragtest_simple.yml TIMEOUT 900.25 745.08 None loop-invgen/heapsort.yml OUT OF MEMORY 55.22 34.10 None loop-invgen/nest-if3.yml true 8.60 5.14 None loop-invgen/seq-3.yml TIMEOUT 900.90 846.09 None loop-invgen/string_concat-noarr.yml TIMEOUT 901.31 815.09 None loop-invgen/up.yml TIMEOUT 900.46 899.37 None loop-lit/afnp2014.yml true 12.26 7.21 None loop-lit/bhmr2007.yml true 14.35 8.15 None loop-lit/cggmp2005_variant.yml true 13.32 7.74 None loop-lit/css2003.yml true 12.22 7.25 None loop-lit/ddlm2013.yml true 14.73 8.87 None loop-lit/gcnr2008.yml false(unreach-call) 11.00 6.25 None loop-lit/gr2006.yml true 71.12 44.76 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 11.27 6.61 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 11.38 6.63 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 11.78 6.82 None loop-lit/gsv2008.yml true 11.04 6.43 None loop-lit/hhk2008.yml true 11.49 6.70 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 9.55 5.81 None loop-lit/jm2006.yml true 11.38 6.63 None loop-lit/jm2006_variant.yml true 10.41 6.32 None loop-new/count_by_nondet.yml TIMEOUT 900.80 689.53 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 12.08 7.22 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 10.43 6.52 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 11.99 7.44 None loop-new/gauss_sum.yml true 9.72 6.46 None loop-new/half.yml true 11.88 7.38 None loop-new/nested-1.yml TIMEOUT 900.84 833.90 None loop-industry-pattern/aiob_1.yml ERROR (7) 12.65 7.38 None loop-industry-pattern/aiob_2.yml ERROR (7) 12.52 7.40 None loop-industry-pattern/aiob_3.yml ERROR (7) 12.91 7.44 None loop-industry-pattern/aiob_4.yml ERROR (7) 12.92 7.74 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 9.11 5.11 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 9.73 5.61 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 9.72 5.69 None loop-industry-pattern/mod3.yml true 9.94 5.70 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.33 889.28 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.35 889.55 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.49 883.45 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.61 871.73 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.35 886.05 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.35 887.75 None loops-crafted-1/iftelse.yml TIMEOUT 900.65 872.43 None loops-crafted-1/in-de20.yml TIMEOUT 900.37 881.97 None loops-crafted-1/in-de31.yml TIMEOUT 900.43 875.77 None loops-crafted-1/in-de32.yml TIMEOUT 900.52 863.43 None loops-crafted-1/in-de41.yml TIMEOUT 900.53 862.51 None loops-crafted-1/in-de42.yml TIMEOUT 900.46 876.00 None loops-crafted-1/in-de51.yml TIMEOUT 900.38 883.22 None loops-crafted-1/in-de52.yml TIMEOUT 901.08 852.39 None loops-crafted-1/in-de61.yml TIMEOUT 900.48 870.75 None loops-crafted-1/in-de62.yml TIMEOUT 900.56 876.33 None loops-crafted-1/loopv2.yml true 9.36 5.64 None loops-crafted-1/loopv3.yml true 21.10 13.24 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 900.28 720.57 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.40 885.55 None loops-crafted-1/mono-crafted_11.yml true 56.91 47.42 None loops-crafted-1/mono-crafted_12.yml true 9.68 6.46 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 900.61 873.58 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 900.54 877.30 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 900.67 692.43 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 900.57 877.36 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 900.63 720.15 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.44 873.16 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 900.58 694.67 None loops-crafted-1/nested3-1.yml TIMEOUT 900.43 875.97 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 900.70 849.02 None loops-crafted-1/nested3-2.yml TIMEOUT 900.40 890.48 None loops-crafted-1/nested3-2_abstracted.yml false(unreach-call) 8.94 5.36 None loops-crafted-1/nested5-1.yml true 21.73 13.76 None loops-crafted-1/nested5-2.yml TIMEOUT 900.35 887.06 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 900.36 827.84 None loops-crafted-1/nested_delay_notd2.yml false(unreach-call) 40.58 26.78 None loops-crafted-1/sum_by_3_abstracted.yml true 14.22 8.63 None loops-crafted-1/sumt2.yml true 9.38 5.99 None loops-crafted-1/sumt3.yml true 9.95 6.09 None loops-crafted-1/sumt4.yml true 9.79 6.07 None loops-crafted-1/sumt5.yml true 9.96 6.24 None loops-crafted-1/sumt6.yml true 10.39 6.77 None loops-crafted-1/sumt7.yml true 11.39 6.76 None loops-crafted-1/sumt8.yml true 9.96 6.00 None loops-crafted-1/sumt9.yml true 12.38 7.37 None loops-crafted-1/theatreSquare.yml TIMEOUT 900.48 890.70 None loop-invariants/bin-suffix-5.yml true 15.21 9.82 None loop-invariants/const.yml true 8.21 5.26 None loop-invariants/eq1.yml true 11.02 6.20 None loop-invariants/eq2.yml true 8.70 5.53 None loop-invariants/even.yml true 11.58 6.68 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 900.49 886.23 None loop-invariants/linear-inequality-inv-b.yml false(unreach-call) 11.78 6.84 None loop-invariants/mod4.yml true 11.94 6.94 None loop-invariants/odd.yml true 12.46 7.13 None loop-simple/deep-nested.yml TIMEOUT 900.81 850.38 None loop-simple/nested_6.yml OUT OF MEMORY 58.52 37.12 None loop-zilu/benchmark02_linear.yml true 7.85 4.85 None loop-zilu/benchmark02_linear_abstracted.yml true 8.64 4.92 None loop-zilu/benchmark04_conjunctive.yml true 9.10 6.06 None loop-zilu/benchmark05_conjunctive.yml true 9.41 5.87 None loop-zilu/benchmark09_conjunctive.yml true 9.07 5.69 None loop-zilu/benchmark10_conjunctive.yml true 9.74 6.06 None loop-zilu/benchmark11_linear.yml true 8.59 5.58 None loop-zilu/benchmark11_linear_abstracted.yml true 8.42 4.98 None loop-zilu/benchmark14_linear.yml true 8.23 5.13 None loop-zilu/benchmark17_conjunctive.yml true 8.29 4.85 None loop-zilu/benchmark18_conjunctive.yml true 8.77 5.55 None loop-zilu/benchmark19_conjunctive.yml true 9.00 5.54 None loop-zilu/benchmark20_conjunctive.yml true 8.54 5.51 None loop-zilu/benchmark23_conjunctive.yml true 58.89 40.12 None loop-zilu/benchmark25_linear.yml true 8.81 5.52 None loop-zilu/benchmark25_linear_abstracted.yml true 8.77 5.31 None loop-zilu/benchmark26_linear.yml true 8.66 5.56 None loop-zilu/benchmark26_linear_abstracted.yml true 8.65 5.40 None loop-zilu/benchmark32_linear.yml true 8.55 5.25 None loop-zilu/benchmark33_linear.yml true 11.18 6.39 None loop-zilu/benchmark34_conjunctive.yml true 10.14 6.67 None loop-zilu/benchmark35_linear.yml true 11.44 6.56 None loop-zilu/benchmark37_conjunctive.yml true 9.37 5.67 None loop-zilu/benchmark43_conjunctive.yml true 9.14 6.05 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 12.60 7.12 None loop-zilu/benchmark51_polynomial.yml true 8.29 5.22 None loop-zilu/benchmark52_polynomial.yml true 8.95 5.71 None verifythis/prefixsum_iter.yml TIMEOUT 900.50 878.46 None verifythis/tree_del_iter.yml false(unreach-call) 14.09 8.42 None verifythis/tree_del_iter_incorrect.yml false(unreach-call) 18.33 10.28 None nla-digbench/bresenham-ll.yml true 13.16 8.11 None nla-digbench/cohencu-ll.yml true 70.58 61.12 None nla-digbench/cohendiv-ll.yml true 12.08 8.28 None nla-digbench/dijkstra-u.yml TIMEOUT 900.40 885.23 None nla-digbench/divbin.yml TIMEOUT 900.64 872.61 None nla-digbench/divbin2.yml TIMEOUT 900.46 877.24 None nla-digbench/egcd-ll.yml true 15.05 10.39 None nla-digbench/egcd2-ll.yml TIMEOUT 900.36 886.96 None nla-digbench/egcd3-ll.yml TIMEOUT 901.03 861.09 None nla-digbench/fermat1-ll.yml true 14.82 11.22 None nla-digbench/fermat2-ll.yml true 11.64 8.36 None nla-digbench/freire1.yml TIMEOUT 18.38 931.00 None nla-digbench/freire2.yml TIMEOUT 48.33 931.00 None nla-digbench/geo1-ll.yml true 10.11 6.86 None nla-digbench/geo1-u.yml false(unreach-call) 10.58 7.81 None nla-digbench/geo2-ll.yml true 9.66 6.45 None nla-digbench/geo3-ll.yml true 9.56 6.79 None nla-digbench/hard-ll.yml TIMEOUT 900.51 879.54 None nla-digbench/hard-u.yml TIMEOUT 900.47 872.39 None nla-digbench/hard2.yml TIMEOUT 900.48 876.58 None nla-digbench/knuth.yml TIMEOUT 900.38 894.56 None nla-digbench/lcm1.yml TIMEOUT 900.33 894.22 None nla-digbench/lcm2.yml TIMEOUT 900.30 896.85 None nla-digbench/mannadiv.yml true 9.27 6.27 None nla-digbench/prod4br-ll.yml true 19.62 12.68 None nla-digbench/prodbin-ll.yml TIMEOUT 900.46 878.98 None nla-digbench/ps2-ll.yml true 9.13 6.37 None nla-digbench/ps3-ll.yml true 11.65 7.13 None nla-digbench/ps4-ll.yml TIMEOUT 900.56 886.05 None nla-digbench/ps5-ll.yml TIMEOUT 900.33 895.46 None nla-digbench/ps6-ll.yml TIMEOUT 900.60 875.76 None nla-digbench/sqrt1-ll.yml true 9.49 6.40 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml false(unreach-call) 9.36 6.51 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml false(unreach-call) 28.12 17.06 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml false(unreach-call) 41.51 29.88 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml false(unreach-call) 17.53 10.61 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml false(unreach-call) 20.82 12.71 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml false(unreach-call) 16.04 11.05 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml false(unreach-call) 33.13 19.98 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 12.95 8.67 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 11.92 7.87 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 16.09 9.62 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 12.63 8.51 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 16.44 9.64 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 12.20 8.39 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 12.44 8.69 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml false(unreach-call) 17.18 10.32 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml false(unreach-call) 156.92 147.15 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml TIMEOUT 900.42 874.06 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml false(unreach-call) 21.19 14.86 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml false(unreach-call) 163.34 150.77 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml false(unreach-call) 140.15 124.18 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml false(unreach-call) 196.67 181.30 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 22.32 16.25 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 134.08 122.88 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 173.46 164.36 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 34.05 25.34 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 495.88 473.39 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 84.53 73.69 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 582.00 567.24 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 10.55 7.27 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 12.97 9.06 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 12.75 8.99 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 12.10 8.52 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 13.60 10.47 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 13.32 9.26 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 12.92 9.13 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 12.14 8.15 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 12.72 8.98 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 12.42 8.35 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 12.27 8.69 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 12.22 8.30 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 12.37 8.68 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 12.32 8.18 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 18.36 15.28 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml TIMEOUT 900.37 889.19 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml TIMEOUT 900.34 890.00 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 68.72 63.60 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml TIMEOUT 900.34 890.65 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml TIMEOUT 900.66 873.84 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml TIMEOUT 900.36 887.68 None nla-digbench-scaling/dijkstra-u_valuebound1.yml true 771.06 738.76 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 900.48 881.74 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 900.50 872.53 None nla-digbench-scaling/dijkstra-u_valuebound2.yml true 412.57 399.34 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 900.59 873.95 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 900.35 888.74 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 900.47 881.68 None nla-digbench-scaling/divbin2_unwindbound1.yml true 26.58 24.18 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 900.45 880.23 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 900.50 868.94 None nla-digbench-scaling/divbin2_unwindbound2.yml true 12.26 9.41 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 900.41 883.64 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 900.46 879.61 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 900.43 880.92 None nla-digbench-scaling/divbin2_valuebound1.yml true 40.89 31.33 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 900.33 894.22 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 900.35 893.09 None nla-digbench-scaling/divbin2_valuebound2.yml true 90.47 75.98 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 900.37 890.40 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 900.59 866.16 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 900.34 893.60 None nla-digbench-scaling/divbin_unwindbound1.yml true 15.09 10.38 None nla-digbench-scaling/divbin_unwindbound10.yml TIMEOUT 900.82 869.06 None nla-digbench-scaling/divbin_unwindbound100.yml TIMEOUT 900.63 866.28 None nla-digbench-scaling/divbin_unwindbound2.yml true 10.89 8.03 None nla-digbench-scaling/divbin_unwindbound20.yml TIMEOUT 900.45 879.48 None nla-digbench-scaling/divbin_unwindbound5.yml true 224.82 209.02 None nla-digbench-scaling/divbin_unwindbound50.yml TIMEOUT 900.51 874.37 None nla-digbench-scaling/divbin_valuebound1.yml TIMEOUT 900.50 869.65 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 900.43 876.30 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 900.44 878.59 None nla-digbench-scaling/divbin_valuebound2.yml true 230.67 208.77 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 900.49 880.99 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 900.39 883.31 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 900.47 877.36 None nla-digbench-scaling/egcd-ll_unwindbound1.yml false(unreach-call) 11.19 7.34 None nla-digbench-scaling/egcd-ll_unwindbound10.yml false(unreach-call) 17.31 11.63 None nla-digbench-scaling/egcd-ll_unwindbound100.yml false(unreach-call) 397.01 379.27 None nla-digbench-scaling/egcd-ll_unwindbound2.yml false(unreach-call) 18.14 11.43 None nla-digbench-scaling/egcd-ll_unwindbound20.yml false(unreach-call) 26.23 16.72 None nla-digbench-scaling/egcd-ll_unwindbound5.yml false(unreach-call) 21.09 13.38 None nla-digbench-scaling/egcd-ll_unwindbound50.yml false(unreach-call) 224.05 208.03 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 12.40 8.47 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 18.56 13.52 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 21.99 15.82 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 17.62 12.00 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 20.06 15.24 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 22.15 15.80 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 17.34 12.49 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml false(unreach-call) 9.59 6.71 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml TIMEOUT 900.38 885.58 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml TIMEOUT 900.41 879.57 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml false(unreach-call) 16.18 10.60 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml TIMEOUT 900.50 868.13 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml false(unreach-call) 87.38 74.74 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml TIMEOUT 900.51 866.11 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 18.05 12.33 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 900.31 890.04 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 900.64 863.94 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 37.16 27.29 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 900.37 883.16 None nla-digbench-scaling/egcd2-ll_valuebound5.yml true 493.84 463.34 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 900.47 873.43 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml false(unreach-call) 9.29 6.83 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml false(unreach-call) 168.94 156.82 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml TIMEOUT 900.95 868.54 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml false(unreach-call) 10.20 7.19 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml TIMEOUT 900.60 862.10 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml false(unreach-call) 40.80 34.19 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml TIMEOUT 900.88 872.41 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 30.11 24.20 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 900.65 880.76 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 900.47 879.11 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 70.58 58.38 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 900.54 874.63 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 900.47 875.75 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 900.47 881.74 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml false(unreach-call) 16.53 11.58 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml false(unreach-call) 26.47 18.79 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml OUT OF MEMORY 866.90 817.78 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml false(unreach-call) 17.82 12.46 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml false(unreach-call) 274.76 254.02 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml false(unreach-call) 18.02 14.07 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml TIMEOUT 900.57 843.91 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 10.18 6.80 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 16.79 13.29 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 13.43 10.37 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 9.87 6.47 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 13.09 9.53 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 12.47 9.26 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 12.76 9.65 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml false(unreach-call) 10.83 7.83 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml false(unreach-call) 11.65 7.92 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml TIMEOUT 900.33 892.71 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml false(unreach-call) 11.54 7.92 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml false(unreach-call) 16.98 10.68 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml false(unreach-call) 13.34 10.33 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml false(unreach-call) 184.20 172.03 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 9.73 6.40 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 9.54 6.33 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 9.27 6.16 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 11.53 8.19 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 9.49 6.37 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 9.70 6.77 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 9.72 6.46 None nla-digbench-scaling/freire1_unwindbound1.yml TIMEOUT 19.43 931.00 None nla-digbench-scaling/freire1_unwindbound10.yml TIMEOUT 22.59 931.00 None nla-digbench-scaling/freire1_unwindbound100.yml TIMEOUT 22.90 931.00 None nla-digbench-scaling/freire1_unwindbound2.yml TIMEOUT 18.96 931.00 None nla-digbench-scaling/freire1_unwindbound20.yml TIMEOUT 18.75 931.00 None nla-digbench-scaling/freire1_unwindbound5.yml TIMEOUT 18.51 931.00 None nla-digbench-scaling/freire1_unwindbound50.yml TIMEOUT 19.14 931.00 None nla-digbench-scaling/freire2_unwindbound1.yml TIMEOUT 39.14 931.00 None nla-digbench-scaling/freire2_unwindbound10.yml TIMEOUT 35.80 931.00 None nla-digbench-scaling/freire2_unwindbound100.yml TIMEOUT 38.52 931.00 None nla-digbench-scaling/freire2_unwindbound2.yml TIMEOUT 34.34 931.00 None nla-digbench-scaling/freire2_unwindbound20.yml TIMEOUT 47.86 931.00 None nla-digbench-scaling/freire2_unwindbound5.yml TIMEOUT 38.95 931.00 None nla-digbench-scaling/freire2_unwindbound50.yml TIMEOUT 37.30 931.00 None nla-digbench-scaling/freire2_valuebound1.yml TIMEOUT 81.95 931.00 None nla-digbench-scaling/freire2_valuebound10.yml TIMEOUT 162.63 931.00 None nla-digbench-scaling/freire2_valuebound100.yml TIMEOUT 164.73 931.00 None nla-digbench-scaling/freire2_valuebound2.yml TIMEOUT 139.96 931.00 None nla-digbench-scaling/freire2_valuebound20.yml TIMEOUT 136.31 931.00 None nla-digbench-scaling/freire2_valuebound5.yml TIMEOUT 151.30 931.00 None nla-digbench-scaling/freire2_valuebound50.yml TIMEOUT 149.88 931.00 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 8.75 6.18 None nla-digbench-scaling/geo1-ll_unwindbound10.yml true 8.85 6.34 None nla-digbench-scaling/geo1-ll_unwindbound100.yml true 9.17 6.34 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 9.04 6.27 None nla-digbench-scaling/geo1-ll_unwindbound20.yml true 8.83 6.37 None nla-digbench-scaling/geo1-ll_unwindbound5.yml true 9.10 6.32 None nla-digbench-scaling/geo1-ll_unwindbound50.yml true 9.25 6.54 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 9.08 6.27 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 9.64 6.84 None nla-digbench-scaling/geo1-ll_valuebound100.yml true 10.07 7.04 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 9.00 6.16 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 9.46 7.03 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 9.13 5.89 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 10.03 7.47 None nla-digbench-scaling/geo1-u_unwindbound1.yml false(unreach-call) 8.51 5.86 None nla-digbench-scaling/geo1-u_unwindbound10.yml false(unreach-call) 8.28 6.09 None nla-digbench-scaling/geo1-u_unwindbound100.yml false(unreach-call) 8.47 5.86 None nla-digbench-scaling/geo1-u_unwindbound2.yml false(unreach-call) 8.59 6.01 None nla-digbench-scaling/geo1-u_unwindbound20.yml false(unreach-call) 8.76 6.16 None nla-digbench-scaling/geo1-u_unwindbound5.yml false(unreach-call) 8.44 5.91 None nla-digbench-scaling/geo1-u_unwindbound50.yml false(unreach-call) 8.47 6.08 None nla-digbench-scaling/geo1-u_valuebound1.yml false(unreach-call) 8.88 6.05 None nla-digbench-scaling/geo1-u_valuebound10.yml false(unreach-call) 8.86 6.14 None nla-digbench-scaling/geo1-u_valuebound100.yml false(unreach-call) 8.36 5.60 None nla-digbench-scaling/geo1-u_valuebound2.yml false(unreach-call) 8.95 6.13 None nla-digbench-scaling/geo1-u_valuebound20.yml false(unreach-call) 8.72 6.16 None nla-digbench-scaling/geo1-u_valuebound5.yml false(unreach-call) 8.69 5.98 None nla-digbench-scaling/geo1-u_valuebound50.yml false(unreach-call) 8.44 5.67 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 8.92 6.07 None nla-digbench-scaling/geo2-ll_unwindbound10.yml true 9.25 6.52 None nla-digbench-scaling/geo2-ll_unwindbound100.yml true 9.48 6.72 None nla-digbench-scaling/geo2-ll_unwindbound2.yml true 9.27 6.68 None nla-digbench-scaling/geo2-ll_unwindbound20.yml true 9.34 6.89 None nla-digbench-scaling/geo2-ll_unwindbound5.yml true 9.67 6.57 None nla-digbench-scaling/geo2-ll_unwindbound50.yml true 9.04 6.59 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 9.03 5.89 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 9.42 6.10 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 9.35 5.98 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 8.73 6.14 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 9.04 5.99 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 9.48 6.99 None nla-digbench-scaling/geo2-ll_valuebound50.yml true 9.12 6.04 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 9.45 6.53 None nla-digbench-scaling/geo3-ll_unwindbound10.yml true 9.56 6.59 None nla-digbench-scaling/geo3-ll_unwindbound100.yml true 9.82 7.03 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 9.63 6.66 None nla-digbench-scaling/geo3-ll_unwindbound20.yml true 10.08 6.96 None nla-digbench-scaling/geo3-ll_unwindbound5.yml true 9.82 7.05 None nla-digbench-scaling/geo3-ll_unwindbound50.yml true 9.55 6.78 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 8.45 5.50 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 9.27 6.07 None nla-digbench-scaling/geo3-ll_valuebound100.yml true 9.37 6.69 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 9.51 6.14 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 9.36 6.15 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 9.61 6.55 None nla-digbench-scaling/geo3-ll_valuebound50.yml true 9.82 6.64 None nla-digbench-scaling/hard-ll_unwindbound1.yml false(unreach-call) 11.31 7.70 None nla-digbench-scaling/hard-ll_unwindbound10.yml TIMEOUT 900.54 868.11 None nla-digbench-scaling/hard-ll_unwindbound100.yml TIMEOUT 900.52 876.86 None nla-digbench-scaling/hard-ll_unwindbound2.yml false(unreach-call) 13.94 9.80 None nla-digbench-scaling/hard-ll_unwindbound20.yml TIMEOUT 900.76 871.07 None nla-digbench-scaling/hard-ll_unwindbound5.yml false(unreach-call) 95.84 74.77 None nla-digbench-scaling/hard-ll_unwindbound50.yml TIMEOUT 900.51 877.73 None nla-digbench-scaling/hard-ll_valuebound1.yml true 31.13 18.79 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 900.49 866.44 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 900.53 864.00 None nla-digbench-scaling/hard-ll_valuebound2.yml true 117.76 102.76 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 900.45 878.64 None nla-digbench-scaling/hard-ll_valuebound5.yml TIMEOUT 900.50 871.91 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 900.54 862.62 None nla-digbench-scaling/hard-u_unwindbound1.yml false(unreach-call) 35.25 27.47 None nla-digbench-scaling/hard-u_unwindbound10.yml TIMEOUT 900.58 870.60 None nla-digbench-scaling/hard-u_unwindbound100.yml TIMEOUT 900.47 879.43 None nla-digbench-scaling/hard-u_unwindbound2.yml false(unreach-call) 24.07 19.22 None nla-digbench-scaling/hard-u_unwindbound20.yml TIMEOUT 900.48 877.56 None nla-digbench-scaling/hard-u_unwindbound5.yml TIMEOUT 900.48 878.01 None nla-digbench-scaling/hard-u_unwindbound50.yml TIMEOUT 900.57 877.37 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 900.43 877.37 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 900.46 874.83 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 900.45 878.43 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 900.44 876.25 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 900.50 862.85 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 900.49 866.52 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 900.47 872.54 None nla-digbench-scaling/hard2_unwindbound1.yml false(unreach-call) 11.82 8.40 None nla-digbench-scaling/hard2_unwindbound10.yml false(unreach-call) 75.93 63.86 None nla-digbench-scaling/hard2_unwindbound100.yml TIMEOUT 900.55 868.75 None nla-digbench-scaling/hard2_unwindbound2.yml false(unreach-call) 11.84 8.25 None nla-digbench-scaling/hard2_unwindbound20.yml TIMEOUT 900.50 874.30 None nla-digbench-scaling/hard2_unwindbound5.yml false(unreach-call) 37.78 27.28 None nla-digbench-scaling/hard2_unwindbound50.yml TIMEOUT 900.47 875.84 None nla-digbench-scaling/hard2_valuebound1.yml true 17.34 11.46 None nla-digbench-scaling/hard2_valuebound10.yml true 120.57 107.25 None nla-digbench-scaling/hard2_valuebound100.yml true 99.61 87.09 None nla-digbench-scaling/hard2_valuebound2.yml true 23.94 16.25 None nla-digbench-scaling/hard2_valuebound20.yml true 105.97 93.41 None nla-digbench-scaling/hard2_valuebound5.yml true 119.09 107.42 None nla-digbench-scaling/hard2_valuebound50.yml true 101.97 90.89 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 900.39 895.33 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 900.38 893.66 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 900.40 892.76 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 900.37 894.32 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 900.38 893.89 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 900.39 892.74 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 900.37 894.62 None nla-digbench-scaling/knuth_valuebound1.yml true 19.55 13.15 None nla-digbench-scaling/knuth_valuebound10.yml ERROR (7) 386.52 376.78 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 900.77 879.90 None nla-digbench-scaling/knuth_valuebound2.yml true 24.64 14.87 None nla-digbench-scaling/knuth_valuebound20.yml ERROR (7) 601.18 581.09 None nla-digbench-scaling/knuth_valuebound5.yml ERROR (7) 468.24 453.89 None nla-digbench-scaling/knuth_valuebound50.yml ERROR (7) 573.12 552.74 None nla-digbench-scaling/lcm1_unwindbound1.yml TIMEOUT 900.30 896.86 None nla-digbench-scaling/lcm1_unwindbound10.yml TIMEOUT 900.31 896.25 None nla-digbench-scaling/lcm1_unwindbound100.yml TIMEOUT 900.34 894.22 None nla-digbench-scaling/lcm1_unwindbound2.yml TIMEOUT 900.35 893.65 None nla-digbench-scaling/lcm1_unwindbound20.yml TIMEOUT 900.32 896.00 None nla-digbench-scaling/lcm1_unwindbound5.yml TIMEOUT 900.31 896.24 None nla-digbench-scaling/lcm1_unwindbound50.yml TIMEOUT 900.32 895.94 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 900.30 896.34 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 900.30 896.93 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 900.32 896.13 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 900.31 895.78 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 900.32 896.62 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 900.34 893.60 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 900.35 893.53 None nla-digbench-scaling/lcm2_unwindbound1.yml TIMEOUT 900.30 896.94 None nla-digbench-scaling/lcm2_unwindbound10.yml TIMEOUT 900.29 897.48 None nla-digbench-scaling/lcm2_unwindbound100.yml TIMEOUT 900.33 894.17 None nla-digbench-scaling/lcm2_unwindbound2.yml TIMEOUT 900.34 894.23 None nla-digbench-scaling/lcm2_unwindbound20.yml TIMEOUT 900.31 896.16 None nla-digbench-scaling/lcm2_unwindbound5.yml TIMEOUT 900.30 896.64 None nla-digbench-scaling/lcm2_unwindbound50.yml TIMEOUT 900.32 895.85 None nla-digbench-scaling/lcm2_valuebound1.yml true 11.64 7.43 None nla-digbench-scaling/lcm2_valuebound10.yml TIMEOUT 900.31 896.85 None nla-digbench-scaling/lcm2_valuebound100.yml TIMEOUT 900.33 896.17 None nla-digbench-scaling/lcm2_valuebound2.yml TIMEOUT 900.31 895.88 None nla-digbench-scaling/lcm2_valuebound20.yml TIMEOUT 900.30 896.08 None nla-digbench-scaling/lcm2_valuebound5.yml TIMEOUT 900.31 896.72 None nla-digbench-scaling/lcm2_valuebound50.yml TIMEOUT 900.34 893.81 None nla-digbench-scaling/mannadiv_unwindbound1.yml false(unreach-call) 12.04 7.69 None nla-digbench-scaling/mannadiv_unwindbound10.yml false(unreach-call) 14.62 9.20 None nla-digbench-scaling/mannadiv_unwindbound100.yml false(unreach-call) 49.62 33.35 None nla-digbench-scaling/mannadiv_unwindbound2.yml false(unreach-call) 12.71 8.33 None nla-digbench-scaling/mannadiv_unwindbound20.yml false(unreach-call) 15.47 10.06 None nla-digbench-scaling/mannadiv_unwindbound5.yml false(unreach-call) 13.24 8.77 None nla-digbench-scaling/mannadiv_unwindbound50.yml false(unreach-call) 28.18 17.47 None nla-digbench-scaling/mannadiv_valuebound1.yml true 12.36 7.48 None nla-digbench-scaling/mannadiv_valuebound10.yml true 12.72 7.72 None nla-digbench-scaling/mannadiv_valuebound100.yml true 12.32 7.53 None nla-digbench-scaling/mannadiv_valuebound2.yml true 12.00 7.28 None nla-digbench-scaling/mannadiv_valuebound20.yml true 12.27 7.42 None nla-digbench-scaling/mannadiv_valuebound5.yml true 11.96 7.22 None nla-digbench-scaling/mannadiv_valuebound50.yml true 12.69 7.56 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml false(unreach-call) 13.85 8.42 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml false(unreach-call) 22.67 13.86 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml TIMEOUT 900.39 883.80 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml false(unreach-call) 16.54 11.65 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml false(unreach-call) 19.94 13.69 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml TIMEOUT 900.32 895.27 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml TIMEOUT 900.33 892.98 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 14.53 8.85 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 44.97 27.11 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 46.47 28.30 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 25.21 14.56 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 46.34 27.84 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 45.97 28.44 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 43.31 26.75 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 13.42 8.17 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 837.97 797.75 None nla-digbench-scaling/prodbin-ll_valuebound100.yml TIMEOUT 900.51 866.10 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 21.78 16.78 None nla-digbench-scaling/prodbin-ll_valuebound20.yml TIMEOUT 900.55 877.92 None nla-digbench-scaling/prodbin-ll_valuebound5.yml TIMEOUT 900.51 879.49 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 900.47 877.17 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 9.61 6.59 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 9.76 6.68 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 9.30 6.63 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 9.42 7.03 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 9.85 6.93 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 9.44 6.57 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 9.34 6.64 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 8.95 5.86 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 9.14 6.25 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 8.92 6.17 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 8.97 6.15 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 8.96 5.82 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 9.11 6.62 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 9.20 5.97 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 8.68 6.30 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 9.16 6.37 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 9.32 6.70 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 9.13 6.34 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 9.22 6.80 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 9.15 6.42 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 9.65 6.57 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 8.92 6.18 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 9.10 6.21 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 8.65 5.66 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 8.69 6.22 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 8.71 6.03 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 8.74 5.85 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 8.95 6.16 None nla-digbench-scaling/ps4-ll_unwindbound1.yml false(unreach-call) 8.86 5.97 None nla-digbench-scaling/ps4-ll_unwindbound10.yml false(unreach-call) 126.39 119.74 None nla-digbench-scaling/ps4-ll_unwindbound100.yml TIMEOUT 900.57 880.69 None nla-digbench-scaling/ps4-ll_unwindbound2.yml false(unreach-call) 10.54 7.63 None nla-digbench-scaling/ps4-ll_unwindbound20.yml false(unreach-call) 631.19 619.94 None nla-digbench-scaling/ps4-ll_unwindbound5.yml false(unreach-call) 44.76 39.46 None nla-digbench-scaling/ps4-ll_unwindbound50.yml TIMEOUT 900.33 892.34 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 39.49 33.78 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 83.03 76.05 None nla-digbench-scaling/ps4-ll_valuebound100.yml TIMEOUT 900.39 882.63 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 53.05 49.29 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 745.91 734.55 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 180.70 175.32 None nla-digbench-scaling/ps4-ll_valuebound50.yml TIMEOUT 900.61 871.54 None nla-digbench-scaling/ps5-ll_unwindbound1.yml false(unreach-call) 9.70 7.18 None nla-digbench-scaling/ps5-ll_unwindbound10.yml false(unreach-call) 111.42 106.71 None nla-digbench-scaling/ps5-ll_unwindbound100.yml TIMEOUT 900.35 893.72 None nla-digbench-scaling/ps5-ll_unwindbound2.yml false(unreach-call) 30.02 26.39 None nla-digbench-scaling/ps5-ll_unwindbound20.yml TIMEOUT 900.36 894.65 None nla-digbench-scaling/ps5-ll_unwindbound5.yml false(unreach-call) 52.16 47.38 None nla-digbench-scaling/ps5-ll_unwindbound50.yml TIMEOUT 900.32 895.51 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 50.16 43.08 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 900.33 893.29 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 900.35 890.25 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 34.17 27.58 None nla-digbench-scaling/ps5-ll_valuebound20.yml TIMEOUT 900.37 888.79 None nla-digbench-scaling/ps5-ll_valuebound5.yml true 877.35 871.04 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 900.32 893.51 None nla-digbench-scaling/ps6-ll_unwindbound1.yml false(unreach-call) 10.66 7.09 None nla-digbench-scaling/ps6-ll_unwindbound10.yml false(unreach-call) 21.74 15.13 None nla-digbench-scaling/ps6-ll_unwindbound100.yml TIMEOUT 900.36 887.78 None nla-digbench-scaling/ps6-ll_unwindbound2.yml false(unreach-call) 10.98 7.79 None nla-digbench-scaling/ps6-ll_unwindbound20.yml TIMEOUT 900.35 890.30 None nla-digbench-scaling/ps6-ll_unwindbound5.yml false(unreach-call) 13.02 9.23 None nla-digbench-scaling/ps6-ll_unwindbound50.yml TIMEOUT 900.36 886.66 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 39.36 35.17 None nla-digbench-scaling/ps6-ll_valuebound10.yml true 35.24 29.29 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 900.41 886.30 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 29.97 26.03 None nla-digbench-scaling/ps6-ll_valuebound20.yml true 468.73 456.96 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 41.00 33.30 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 900.41 883.64 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 10.61 7.20 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 10.92 7.16 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 11.27 7.49 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 11.42 7.75 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 10.47 7.02 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 11.36 7.52 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 10.44 7.05 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 10.71 6.89 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 10.15 6.72 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 11.11 7.29 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 9.81 6.62 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 10.49 6.91 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 10.24 6.60 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 11.12 7.17 None recursive/Ackermann01-2.yml true 15.48 9.48 None recursive/Ackermann02.yml false(unreach-call) 10.57 6.75 None recursive/Ackermann03.yml true 43.49 26.94 None recursive/Ackermann04.yml true 32.90 20.24 None recursive/Addition01-2.yml true 11.02 7.52 None recursive/Addition02.yml false(unreach-call) 9.35 5.68 None recursive/Addition03-1.yml OUT OF MEMORY 321.75 279.11 None recursive/BallRajamani-SPIN2000-Fig1.yml false(unreach-call) 9.15 5.57 None recursive/EvenOdd01-1.yml TIMEOUT 901.07 846.78 None recursive/EvenOdd03.yml false(unreach-call) 8.01 5.19 None recursive/Fibonacci01-1.yml true 13.96 8.74 None recursive/Fibonacci02.yml true 65.80 39.61 None recursive/Fibonacci03.yml true 71.61 48.82 None recursive/Fibonacci04.yml false(unreach-call) 14.96 9.30 None recursive/Fibonacci05.yml false(unreach-call) 17.93 10.69 None recursive/McCarthy91-1.yml false(unreach-call) 8.72 5.42 None recursive/McCarthy91-2.yml true 9.84 6.21 None recursive/MultCommutative-2.yml TIMEOUT 900.70 850.07 None recursive/Primes.yml true 16.76 10.60 None recursive/gcd01-1.yml true 10.55 6.12 None recursive/gcd02.yml TIMEOUT 900.77 827.26 None recursive/recHanoi01.yml TIMEOUT 900.80 853.55 None recursive/recHanoi02-2.yml true 8.85 5.91 None recursive/recHanoi03-2.yml true 38.62 22.52 None recursive-simple/fibo_15-1.yml TIMEOUT 900.92 857.70 None recursive-simple/fibo_15-2.yml false(unreach-call) 478.22 416.91 None recursive-simple/fibo_20-1.yml TIMEOUT 900.62 860.83 None recursive-simple/fibo_20-2.yml TIMEOUT 900.82 852.11 None recursive-simple/fibo_25-1.yml TIMEOUT 900.77 851.70 None recursive-simple/fibo_25-2.yml TIMEOUT 900.92 849.44 None recursive-simple/fibo_2calls_10-1.yml true 141.15 99.11 None recursive-simple/fibo_2calls_10-2.yml false(unreach-call) 82.12 53.07 None recursive-simple/fibo_2calls_15-1.yml TIMEOUT 900.68 845.93 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 900.73 830.75 None recursive-simple/fibo_2calls_20-1.yml TIMEOUT 900.90 846.49 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 900.79 834.20 None recursive-simple/fibo_2calls_25-1.yml TIMEOUT 900.80 832.49 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 900.63 861.43 None recursive-simple/id2_b2_o3.yml true 13.87 7.96 None recursive-simple/id2_b3_o2.yml false(unreach-call) 13.24 7.30 None recursive-simple/id2_b3_o5.yml true 11.66 7.51 None recursive-simple/id2_b5_o10.yml true 13.65 7.70 None recursive-simple/id_b2_o3.yml true 10.13 6.34 None recursive-simple/id_b3_o2-2.yml false(unreach-call) 12.67 7.35 None recursive-simple/id_b3_o5-2.yml true 9.96 6.10 None recursive-simple/id_b5_o10-2.yml true 9.18 6.11 None recursive-simple/id_o10.yml false(unreach-call) 18.22 10.52 None recursive-simple/id_o100.yml TIMEOUT 900.38 883.22 None recursive-simple/id_o1000.yml TIMEOUT 900.39 882.34 None recursive-simple/id_o20.yml false(unreach-call) 62.77 50.30 None recursive-simple/id_o200.yml TIMEOUT 900.38 880.92 None recursive-simple/id_o3.yml false(unreach-call) 11.83 6.86 None recursive-simple/sum_non_eq-2.yml true 13.48 7.64 None recursive-simple/sum_non_eq-3.yml false(unreach-call) 10.26 5.78 None verifythis/prefixsum_rec.yml TIMEOUT 900.46 877.70 None verifythis/tree_del_rec.yml false(unreach-call) 13.21 8.06 None verifythis/tree_del_rec_incorrect.yml false(unreach-call) 14.89 8.77 None verifythis/tree_max.yml TIMEOUT 900.52 869.16 None verifythis/tree_max_incorrect.yml false(unreach-call) 10.13 6.45 None ---------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 527470.00 38231.50 - sv-comp21_prop-memsafety Run set 2 of 4 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe.yml false(valid-deref) 9.51 5.59 None array-memsafety/array01-alloca-2.yml TIMEOUT 900.36 888.68 None array-memsafety/array02-alloca-2.yml TIMEOUT 900.34 887.45 None array-memsafety/bubblesort_unsafe.yml false(valid-deref) 10.98 6.17 None array-memsafety/count_down-alloca-1.yml true 14.67 9.44 None array-memsafety/count_down_unsafe.yml false(valid-deref) 9.37 6.00 None array-memsafety/cstrcat_unsafe.yml false(valid-deref) 10.14 5.81 None array-memsafety/cstrchr_unsafe.yml false(valid-deref) 17.40 9.84 None array-memsafety/cstrlen_unsafe.yml false(valid-deref) 17.44 9.80 None array-memsafety/cstrncat-alloca-2.yml TIMEOUT 900.64 870.00 None array-memsafety/cstrncat_unsafe.yml false(valid-deref) 8.21 5.27 None array-memsafety/cstrncpy-alloca-2.yml TIMEOUT 900.41 880.48 None array-memsafety/cstrncpy_unsafe.yml false(valid-deref) 8.05 4.84 None array-memsafety/cstrpbrk_unsafe.yml false(valid-deref) 14.63 8.89 None array-memsafety/diff-alloca-2.yml TIMEOUT 900.87 863.50 None array-memsafety/diff_usafe.yml false(valid-deref) 8.49 5.21 None array-memsafety/knapsack_alloca_unsafe.yml false(valid-deref) 19.31 11.48 None array-memsafety/lis-alloca-1.yml TIMEOUT 900.99 847.31 None array-memsafety/lis_unsafe.yml false(valid-deref) 16.06 10.43 None array-memsafety/mult_array_unsafe.yml false(valid-deref) 11.54 6.90 None array-memsafety/openbsd_cbzero-alloca-2.yml true 27.24 18.00 None array-memsafety/openbsd_cmemset-alloca-1.yml true 14.62 8.50 None array-memsafety/openbsd_cstrlcpy-alloca-1.yml TIMEOUT 900.77 833.61 None array-memsafety/rec_strlen-alloca-1.yml true 35.31 19.63 None array-memsafety/reverse_array_alloca_unsafe.yml false(valid-deref) 11.28 7.26 None array-memsafety/reverse_array_unsafe.yml false(valid-deref) 12.77 7.26 None array-memsafety/selectionsort_unsafe.yml false(valid-deref) 8.53 5.21 None array-memsafety/stroeder1_unsafe.yml false(valid-deref) 8.08 4.78 None array-memsafety/strreplace-alloca-2.yml true 37.89 23.77 None array-examples/relax-1.yml false(valid-deref) 10.12 6.25 None array-examples/relax-2-2.yml unknown 171.91 139.72 None array-examples/sanfoundry_24-2.yml TIMEOUT 900.38 885.23 None array-examples/standard_strcpy_ground-2.yml TIMEOUT 901.03 813.54 None array-examples/standard_strcpy_original-1.yml TIMEOUT 900.59 871.93 None array-memsafety-realloc/array-realloc-1.yml false(valid-free) 19.70 13.59 None termination-crafted/Arrays01-EquivalentConstantIndices-1.yml true 14.69 8.88 None termination-crafted/Arrays02-EquivalentConstantIndices.yml true 11.56 6.43 None termination-crafted/Arrays03-ValueRestictsIndex-2.yml true 12.18 7.87 None termination-crafted/LexIndexValue-Array-1.yml true 22.29 14.00 None termination-crafted/LexIndexValue-Pointer-2.yml TIMEOUT 900.67 853.34 None termination-crafted/LexIndexValue-Pointer-3.yml TIMEOUT 900.45 874.52 None termination-crafted/NonTerminationSimple7.yml true 7.23 4.37 None verifythis/prefixsum_iter.yml TIMEOUT 900.68 858.40 None memsafety/20020406-1.yml TIMEOUT 900.45 869.66 None memsafety/960521-1-1.yml false(valid-free) 830.00 791.35 None memsafety/960521-1-3.yml TIMEOUT 901.10 846.48 None memsafety/cmp-freed-ptr.yml false(valid-free) 12.13 6.79 None memsafety/global-atexit-2a.yml unknown 16.61 9.10 None memsafety/global-atexit-5.yml unknown 12.68 7.28 None memsafety/lockfree-3.0.yml OUT OF MEMORY 211.31 150.55 None memsafety/lockfree-3.1.yml unknown 39.44 26.49 None memsafety/lockfree-3.2.yml unknown 20.77 13.49 None memsafety/lockfree-3.3.yml unknown 46.33 32.33 None memsafety/test-0019-1.yml true 19.96 11.64 None memsafety/test-0019-2.yml unknown 22.92 15.47 None memsafety/test-0102-1.yml TIMEOUT 900.58 877.34 None memsafety/test-0102-2.yml TIMEOUT 900.57 877.47 None memsafety/test-0134.yml TIMEOUT 900.42 882.58 None memsafety/test-0137.yml TIMEOUT 900.50 868.97 None memsafety/test-0158-1.yml true 10.34 6.33 None memsafety/test-0158-2.yml unknown 17.05 11.00 None memsafety/test-0158-3.yml false(valid-free) 11.12 6.52 None memsafety/test-0214.yml TIMEOUT 900.47 867.51 None memsafety/test-0217.yml TIMEOUT 900.42 878.82 None memsafety/test-0218.yml TIMEOUT 900.47 875.35 None memsafety/test-0219.yml TIMEOUT 900.43 882.96 None memsafety/test-0220.yml TIMEOUT 900.46 879.68 None memsafety/test-0232-1.yml TIMEOUT 900.43 880.69 None memsafety/test-0232-2.yml TIMEOUT 900.45 878.14 None memsafety/test-0232-3.yml TIMEOUT 900.50 875.14 None memsafety/test-0234-1.yml TIMEOUT 900.47 884.08 None memsafety/test-0234-2.yml TIMEOUT 900.77 868.73 None memsafety/test-0235-1.yml TIMEOUT 900.47 876.73 None memsafety/test-0235-2.yml TIMEOUT 900.71 867.75 None memsafety/test-0235-3.yml TIMEOUT 900.43 879.66 None memsafety/test-0236.yml TIMEOUT 900.90 881.47 None memsafety/test-0237.yml TIMEOUT 900.44 885.34 None memsafety/test-0504.yml TIMEOUT 900.42 882.86 None memsafety/test-0513.yml TIMEOUT 900.44 883.90 None memsafety/test-0521.yml OUT OF MEMORY 193.36 152.14 None memsafety/test-memleak_nexttime.yml TIMEOUT 900.39 883.69 None memsafety-ext/dll_extends_pointer.yml TIMEOUT 900.39 881.45 None memsafety-ext/skiplist_2lvl.yml OUT OF MEMORY 595.58 552.77 None memsafety-ext/skiplist_3lvl.yml TIMEOUT 900.70 859.33 None memsafety-ext/tree_cnstr.yml TIMEOUT 900.51 876.04 None memsafety-ext/tree_dsw.yml TIMEOUT 900.72 860.51 None memsafety-ext/tree_of_cslls.yml TIMEOUT 900.42 883.79 None memsafety-ext/tree_parent_ptr.yml TIMEOUT 900.96 860.05 None memsafety-ext/tree_stack.yml OUT OF MEMORY 256.75 198.57 None memsafety-ext2/complex_data_creation_test01-1.yml OUT OF MEMORY 389.71 360.92 None memsafety-ext2/complex_data_creation_test02-2.yml TIMEOUT 900.39 882.60 None memsafety-ext2/split_list_test05-1.yml OUT OF MEMORY 786.03 751.53 None list-ext-properties/960521-1_1-1.yml false(valid-deref) 13.83 8.58 None list-ext-properties/960521-1_1-2.yml TIMEOUT 900.46 879.64 None list-ext-properties/960521-1_1-3.yml false(valid-free) 17.57 11.67 None list-ext-properties/list-ext.yml unknown 25.96 16.61 None list-ext-properties/list-ext_1.yml TIMEOUT 900.45 881.75 None list-ext-properties/list-ext_flag_1.yml TIMEOUT 900.43 883.18 None list-ext-properties/simple-ext_1.yml TIMEOUT 900.51 873.40 None list-ext-properties/test-0019_1-1.yml unknown 32.12 24.85 None list-ext-properties/test-0019_1-2.yml TIMEOUT 900.38 885.44 None list-ext-properties/test-0158_1-1.yml true 13.56 7.54 None list-ext-properties/test-0158_1-2.yml unknown 22.51 13.32 None list-ext-properties/test-0158_1-3.yml false(valid-free) 13.34 7.41 None list-ext-properties/test-0214_1.yml TIMEOUT 900.64 855.65 None list-ext-properties/test-0217_1.yml TIMEOUT 900.54 862.57 None memory-alloca/c.03-alloca-2.yml true 16.05 8.85 None ldv-memsafety/ArraysOfVariableLength2.yml TIMEOUT 900.54 855.95 None ldv-memsafety/ArraysOfVariableLength2_-read.yml false(valid-deref) 8.82 5.29 None ldv-memsafety/ArraysOfVariableLength2_-write.yml false(valid-deref) 9.24 5.59 None ldv-memsafety/ArraysOfVariableLength_-read.yml false(valid-deref) 7.65 4.77 None ldv-memsafety/ArraysOfVariableLength_-write.yml false(valid-deref) 7.97 4.79 None ldv-memsafety/ArraysWithLenghtAtDeclaration_-read.yml TIMEOUT 900.37 858.59 None ldv-memsafety/ArraysWithLenghtAtDeclaration_-write.yml TIMEOUT 900.66 846.46 None ldv-memsafety/StructInitialization.yml true 8.03 4.82 None ldv-memsafety/StructInitialization1.yml true 10.28 5.99 None ldv-memsafety/StructInitialization2.yml true 10.82 6.44 None ldv-memsafety/memleaks_test1-1.yml unknown 15.36 9.51 None ldv-memsafety/memleaks_test1-2.yml false(valid-free) 16.41 10.25 None ldv-memsafety/memleaks_test1-3.yml true 16.54 11.65 None ldv-memsafety/memleaks_test10-1.yml TIMEOUT 900.45 873.98 None ldv-memsafety/memleaks_test10-2.yml TIMEOUT 900.38 884.85 None ldv-memsafety/memleaks_test11.yml TIMEOUT 900.32 888.12 None ldv-memsafety/memleaks_test11_1.yml TIMEOUT 900.18 890.69 None ldv-memsafety/memleaks_test11_2.yml TIMEOUT 900.39 882.67 None ldv-memsafety/memleaks_test12-1.yml TIMEOUT 900.40 882.64 None ldv-memsafety/memleaks_test13.yml TIMEOUT 900.41 879.53 None ldv-memsafety/memleaks_test13_1.yml unknown 28.72 21.45 None ldv-memsafety/memleaks_test13_2.yml unknown 180.14 163.81 None ldv-memsafety/memleaks_test14.yml TIMEOUT 900.38 884.59 None ldv-memsafety/memleaks_test14_1.yml unknown 28.87 18.47 None ldv-memsafety/memleaks_test14_2.yml TIMEOUT 900.42 876.75 None ldv-memsafety/memleaks_test14_3.yml TIMEOUT 900.37 884.77 None ldv-memsafety/memleaks_test15-1.yml OUT OF MEMORY 554.21 506.81 None ldv-memsafety/memleaks_test15-2.yml TIMEOUT 900.43 885.54 None ldv-memsafety/memleaks_test16.yml true 17.39 11.68 None ldv-memsafety/memleaks_test16_1.yml unknown 15.56 9.71 None ldv-memsafety/memleaks_test16_2.yml unknown 14.35 8.73 None ldv-memsafety/memleaks_test17_1-1.yml TIMEOUT 900.45 884.11 None ldv-memsafety/memleaks_test17_1-2.yml OUT OF MEMORY 100.20 72.18 None ldv-memsafety/memleaks_test17_2-1.yml TIMEOUT 900.42 881.62 None ldv-memsafety/memleaks_test19-1.yml true 208.84 189.37 None ldv-memsafety/memleaks_test19-2.yml false(valid-free) 252.98 243.24 None ldv-memsafety/memleaks_test20-1.yml unknown 16.57 10.87 None ldv-memsafety/memleaks_test20-2.yml true 18.24 12.57 None ldv-memsafety/memleaks_test21-1.yml unknown 16.93 10.23 None ldv-memsafety/memleaks_test21-2.yml true 18.88 19.55 None ldv-memsafety/memleaks_test22_2-1.yml unknown 23.77 23.95 None ldv-memsafety/memleaks_test22_3-2.yml false(valid-deref) 49.99 42.74 None ldv-memsafety/memleaks_test22_5.yml false(valid-deref) 53.92 51.10 None ldv-memsafety/memleaks_test23_1.yml TIMEOUT 900.74 889.94 None ldv-memsafety/memleaks_test23_2.yml TIMEOUT 900.47 895.68 None ldv-memsafety/memleaks_test23_3.yml TIMEOUT 900.49 868.58 None ldv-memsafety/memleaks_test23_4.yml TIMEOUT 900.26 922.18 None ldv-memsafety/memleaks_test3-1.yml false(valid-free) 14.85 9.38 None ldv-memsafety/memleaks_test3-2.yml true 16.73 10.97 None ldv-memsafety/memleaks_test4-1.yml unknown 17.79 12.16 None ldv-memsafety/memleaks_test4-2.yml true 28.24 20.53 None ldv-memsafety/memleaks_test5.yml true 16.75 10.71 None ldv-memsafety/memleaks_test5_1.yml unknown 15.37 12.03 None ldv-memsafety/memleaks_test5_2.yml unknown 15.49 9.47 None ldv-memsafety/memleaks_test6.yml true 27.12 20.37 None ldv-memsafety/memleaks_test6_1.yml unknown 23.49 18.20 None ldv-memsafety/memleaks_test6_2.yml false(valid-free) 23.97 17.70 None ldv-memsafety/memleaks_test6_3.yml unknown 23.66 16.26 None ldv-memsafety/memleaks_test7-1.yml unknown 26.31 20.70 None ldv-memsafety/memleaks_test7-2.yml true 43.58 37.54 None ldv-memsafety/memleaks_test8.yml true 16.81 10.84 None ldv-memsafety/memleaks_test8_1.yml unknown 16.52 9.61 None ldv-memsafety/memleaks_test8_2.yml false(valid-free) 17.34 11.00 None ldv-memsafety/memleaks_test9.yml true 17.51 12.74 None ldv-memsafety/memleaks_test9_1.yml unknown 16.43 9.74 None ldv-memsafety/memleaks_test9_2.yml unknown 15.34 9.46 None ldv-memsafety/memset.yml true 8.79 5.40 None ldv-memsafety/memset2.yml true 8.81 5.21 None ldv-memsafety/memset2_-write.yml false(valid-deref) 8.11 5.43 None ldv-memsafety/memset3.yml true 8.82 5.43 None ldv-memsafety/memset3_-write.yml false(valid-deref) 8.48 5.26 None ldv-memsafety/memsetNonZero.yml true 8.87 5.25 None ldv-memsafety/memsetNonZero2.yml true 8.49 5.47 None ldv-memsafety/memsetNonZero2_-write.yml false(valid-deref) 8.14 5.05 None ldv-memsafety/memsetNonZero3.yml true 8.46 5.37 None ldv-memsafety/memsetNonZero3_-write.yml false(valid-deref) 8.64 5.17 None ldv-memsafety/memsetNonZero_-write.yml false(valid-deref) 8.32 4.97 None ldv-memsafety/memset_-write.yml false(valid-deref) 8.19 5.36 None ldv-memsafety-bitfields/test-bitfields-1-1.yml ERROR (7) 16.11 8.92 None ldv-memsafety-bitfields/test-bitfields-1-2.yml ERROR (7) 12.15 7.56 None ldv-memsafety-bitfields/test-bitfields-2-1.yml ERROR (7) 12.34 6.99 None ldv-memsafety-bitfields/test-bitfields-2-2.yml ERROR (7) 12.21 7.62 None ldv-memsafety-bitfields/test-bitfields-2.1-1.yml ERROR (7) 12.61 8.06 None ldv-memsafety-bitfields/test-bitfields-2.1-2.yml ERROR (7) 12.10 7.89 None ldv-memsafety-bitfields/test-bitfields-3-1.yml ERROR (7) 16.62 8.98 None ldv-memsafety-bitfields/test-bitfields-3-2.yml ERROR (7) 16.31 9.70 None ldv-memsafety-bitfields/test-bitfields-3.1-1.yml ERROR (7) 12.73 7.68 None ldv-memsafety-bitfields/test-bitfields-3.1-2.yml ERROR (7) 12.19 7.47 None termination-recursive-malloc/chunk1-2.yml unknown 15.50 9.70 None heap-manipulation/bubble_sort_linux-1.yml OUT OF MEMORY 314.25 251.86 None heap-manipulation/dancing.yml TIMEOUT 900.84 866.62 None heap-manipulation/dll_of_dll-1.yml TIMEOUT 900.53 868.30 None heap-manipulation/merge_sort-2.yml TIMEOUT 900.61 858.19 None heap-manipulation/sll_to_dll_rev-2.yml TIMEOUT 900.82 879.47 None heap-manipulation/tree-1.yml false(valid-deref) 10.71 7.31 None heap-manipulation/tree-2.yml TIMEOUT 900.45 883.05 None forester-heap/dll-01-2.yml TIMEOUT 900.53 873.62 None forester-heap/dll-circular-2.yml TIMEOUT 900.47 878.47 None forester-heap/dll-optional-1.yml TIMEOUT 900.46 877.10 None forester-heap/dll-queue-1.yml TIMEOUT 900.49 885.24 None forester-heap/dll-rb-cnstr_1-1.yml TIMEOUT 900.49 868.76 None forester-heap/dll-rb-cnstr_1-2.yml unknown 30.76 20.04 None forester-heap/dll-rb-sentinel-1.yml unknown 65.42 42.13 None forester-heap/dll-rb-sentinel-2.yml TIMEOUT 900.45 879.04 None forester-heap/dll-reverse.yml TIMEOUT 900.44 879.62 None forester-heap/dll-simple-white-blue-2.yml TIMEOUT 900.42 877.91 None forester-heap/dll-sorted-2.yml TIMEOUT 900.37 880.93 None forester-heap/dll-token-1.yml TIMEOUT 900.58 867.90 None forester-heap/sll-01-1.yml OUT OF MEMORY 164.90 134.53 None forester-heap/sll-01-2.yml false(valid-deref) 38.20 20.48 None forester-heap/sll-buckets-1.yml OUT OF MEMORY 782.59 758.80 None forester-heap/sll-circular-1.yml TIMEOUT 900.48 869.27 None forester-heap/sll-optional-1.yml TIMEOUT 900.43 886.72 None forester-heap/sll-queue-1.yml TIMEOUT 900.43 879.86 None forester-heap/sll-rb-cnstr_1-1.yml TIMEOUT 900.38 883.34 None forester-heap/sll-rb-cnstr_1-2.yml unknown 26.95 16.68 None forester-heap/sll-rb-sentinel-1.yml TIMEOUT 900.42 877.56 None forester-heap/sll-reverse_simple.yml ERROR (7) 69.06 52.63 None forester-heap/sll-simple-white-blue-1.yml TIMEOUT 900.41 881.02 None forester-heap/sll-sorted-2.yml TIMEOUT 900.79 877.09 None forester-heap/sll-token-2.yml TIMEOUT 900.94 862.31 None list-properties/alternating_list-1.yml TIMEOUT 900.53 881.09 None list-properties/list-1.yml unknown 26.24 16.36 None list-properties/list_flag-2.yml unknown 17.70 11.36 None list-properties/simple-2.yml unknown 23.98 15.19 None list-properties/simple_built_from_end.yml unknown 20.27 13.02 None list-properties/splice-2.yml unknown 23.32 13.74 None ddv-machzwd/ddv_machzwd_all.yml unknown 138.89 119.42 None ddv-machzwd/ddv_machzwd_inb.yml unknown 392.82 363.75 None ddv-machzwd/ddv_machzwd_inb_p.yml unknown 402.50 359.11 None ddv-machzwd/ddv_machzwd_inl.yml unknown 398.61 376.36 None ddv-machzwd/ddv_machzwd_inl_p.yml unknown 435.92 390.05 None ddv-machzwd/ddv_machzwd_inw_p.yml unknown 423.11 375.50 None ddv-machzwd/ddv_machzwd_outb.yml unknown 127.71 109.82 None ddv-machzwd/ddv_machzwd_outb_p.yml unknown 393.29 372.47 None ddv-machzwd/ddv_machzwd_outl.yml unknown 400.69 369.90 None ddv-machzwd/ddv_machzwd_outl_p.yml unknown 399.68 373.21 None ddv-machzwd/ddv_machzwd_outw_p.yml unknown 395.06 372.75 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.yml unknown 397.05 367.83 None list-simple/dll2c_append_equal.yml TIMEOUT 900.45 878.43 None list-simple/dll2c_append_unequal.yml TIMEOUT 900.43 872.23 None list-simple/dll2c_insert_equal.yml TIMEOUT 900.42 878.75 None list-simple/dll2c_prepend_equal.yml TIMEOUT 900.40 880.23 None list-simple/dll2c_prepend_unequal.yml TIMEOUT 900.42 877.91 None list-simple/dll2n_append_equal.yml TIMEOUT 900.44 872.65 None list-simple/dll2n_append_unequal.yml TIMEOUT 900.43 874.63 None list-simple/dll2n_insert_equal.yml TIMEOUT 900.37 885.30 None list-simple/dll2n_insert_unequal.yml TIMEOUT 900.37 885.83 None list-simple/dll2n_prepend_equal.yml TIMEOUT 900.54 878.25 None list-simple/dll2n_prepend_unequal.yml TIMEOUT 900.44 881.10 None list-simple/sll2c_append_equal.yml TIMEOUT 900.40 880.12 None list-simple/sll2c_append_unequal.yml TIMEOUT 900.70 862.37 None list-simple/sll2c_insert_equal.yml TIMEOUT 900.37 886.58 None list-simple/sll2c_insert_unequal.yml TIMEOUT 900.46 881.58 None list-simple/sll2c_prepend_equal.yml TIMEOUT 900.42 874.42 None list-simple/sll2c_prepend_unequal.yml TIMEOUT 900.42 880.55 None list-simple/sll2n_append_equal.yml TIMEOUT 900.40 880.90 None list-simple/sll2n_insert_equal.yml OUT OF MEMORY 248.20 219.02 None list-simple/sll2n_insert_unequal.yml TIMEOUT 900.45 873.71 None list-ext3-properties/dll_circular_traversal-1.yml TIMEOUT 900.42 877.54 None list-ext3-properties/dll_circular_traversal-2.yml TIMEOUT 900.44 881.33 None list-ext3-properties/sll_circular_traversal-1.yml TIMEOUT 901.40 867.05 None list-ext3-properties/sll_circular_traversal-2.yml TIMEOUT 900.90 866.26 None list-ext3-properties/sll_length_check-2.yml TIMEOUT 900.43 879.75 None list-ext3-properties/sll_nondet_insert-2.yml TIMEOUT 900.41 886.74 None list-ext3-properties/sll_of_sll_nondet_append-1.yml TIMEOUT 900.37 887.06 None list-ext3-properties/sll_shallow_copy-1.yml true 27.06 19.97 None list-ext3-properties/sll_shallow_copy-2.yml unknown 20.95 14.41 None loops/invert_string-2.yml false(valid-deref) 8.84 5.35 None loop-acceleration/array3.yml TIMEOUT 900.44 884.88 None ntdrivers/floppy.i.cil-2.yml false(valid-deref) 102.54 85.85 None ntdrivers/floppy.i.cil-3.yml TIMEOUT 900.52 874.34 None ntdrivers/floppy2.i.cil.yml ERROR (7) 23.90 13.05 None ntdrivers/kbfiltr.i.cil-1.yml false(valid-deref) 35.49 23.60 None locks/test_locks_10.yml true 13.83 7.76 None locks/test_locks_11.yml true 24.23 12.84 None locks/test_locks_12.yml true 25.92 14.94 None locks/test_locks_13.yml true 40.41 27.01 None locks/test_locks_14-1.yml OUT OF MEMORY 64.17 39.93 None locks/test_locks_14-2.yml unknown 18.88 12.39 None locks/test_locks_15-1.yml unknown 17.70 11.64 None locks/test_locks_15-2.yml OUT OF MEMORY 50.48 32.13 None locks/test_locks_5.yml true 10.13 5.94 None locks/test_locks_6.yml true 10.63 6.46 None locks/test_locks_7.yml true 10.90 6.35 None locks/test_locks_8.yml true 11.96 6.96 None locks/test_locks_9.yml true 13.08 7.43 None memsafety-ext3/derefAfterFree1.yml false(valid-deref) 8.65 5.56 None memsafety-ext3/derefAfterFree2.yml false(valid-deref) 13.57 7.86 None memsafety-ext3/derefInLoop1.yml false(valid-deref) 9.10 5.71 None memsafety-ext3/freeAlloca.yml false(valid-free) 12.76 8.36 None memsafety-ext3/getNumbers1-1.yml false(valid-deref) 11.21 6.74 None memsafety-ext3/getNumbers2.yml false(valid-deref) 21.42 12.57 None memsafety-ext3/getNumbers4-2.yml false(valid-deref) 29.75 19.06 None memsafety-ext3/naturalNumbers1.yml false(valid-deref) 15.90 10.00 None memsafety-ext3/realloc1.yml false(valid-deref) 13.23 8.01 None memsafety-ext3/scopes1.yml false(valid-deref) 10.63 6.01 None memsafety-ext3/scopes2.yml false(valid-deref) 10.67 5.91 None memsafety-ext3/scopes3.yml false(valid-deref) 10.92 6.77 None memsafety-ext3/scopes4-1.yml true 8.96 5.30 None memsafety-ext3/scopes4-2.yml false(valid-deref) 11.32 6.40 None memsafety-ext3/scopes5.yml false(valid-deref) 9.44 5.44 None pthread-memsafety/fillarray.yml false(valid-deref) 19.89 13.18 None pthread-memsafety/fillarray1.yml false(valid-deref) 38.93 29.74 None pthread-memsafety/list1.yml TIMEOUT 900.46 879.15 None termination-crafted/4BitCounterPointer.yml TIMEOUT 901.55 880.10 None busybox-1.22.0/basename-1.yml TIMEOUT 900.49 867.65 None busybox-1.22.0/chgrp-incomplete-1.yml unknown 19.22 10.45 None busybox-1.22.0/chroot-incomplete-2.yml unknown 14.24 8.14 None busybox-1.22.0/dirname-1.yml TIMEOUT 900.44 878.69 None busybox-1.22.0/du-1.yml unknown 20.74 11.20 None busybox-1.22.0/echo-1.yml unknown 14.80 8.61 None busybox-1.22.0/head-1.yml unknown 15.03 9.26 None busybox-1.22.0/head-2.yml unknown 19.02 10.30 None busybox-1.22.0/hostid.yml TIMEOUT 900.52 877.84 None busybox-1.22.0/logname-1.yml unknown 15.22 8.97 None busybox-1.22.0/ls-incomplete-2.yml unknown 17.80 10.21 None busybox-1.22.0/ls-incomplete-3.yml unknown 22.84 12.23 None busybox-1.22.0/mkdir-2.yml unknown 15.96 9.65 None busybox-1.22.0/mkfifo-incomplete-1.yml unknown 15.02 8.53 None busybox-1.22.0/od-3.yml unknown 21.51 11.70 None busybox-1.22.0/printf-2.yml unknown 16.27 9.77 None busybox-1.22.0/readlink-2.yml unknown 15.50 8.86 None busybox-1.22.0/realpath-1.yml unknown 18.62 10.29 None busybox-1.22.0/rm-1.yml unknown 16.41 9.68 None busybox-1.22.0/seq-1.yml unknown 16.66 9.28 None busybox-1.22.0/sleep-1.yml unknown 18.90 10.50 None busybox-1.22.0/stty-2.yml unknown 16.18 9.52 None busybox-1.22.0/sync-2.yml unknown 15.40 8.65 None busybox-1.22.0/test-incomplete-1.yml unknown 16.64 9.46 None busybox-1.22.0/uname-2.yml unknown 15.85 9.35 None busybox-1.22.0/uniq-2.yml unknown 20.99 11.32 None busybox-1.22.0/usleep-2.yml unknown 15.26 9.11 None busybox-1.22.0/uudecode-1.yml unknown 15.79 8.96 None busybox-1.22.0/who-2.yml unknown 16.35 9.58 None busybox-1.22.0/whoami-incomplete-2.yml unknown 15.56 9.12 None busybox-1.22.0/yes-2.yml unknown 20.04 11.11 None openbsd-6.2/if_etherip-double-free.yml ERROR (7) 19.19 11.44 None openbsd-6.2/if_etherip-fixed-double-free-invalid-deref1.yml ERROR (7) 18.43 11.28 None openbsd-6.2/if_etherip-fixed-double-free-invalid-deref2.yml ERROR (7) 18.84 11.79 None openbsd-6.2/if_etherip-fixed-double-free.yml ERROR (7) 22.83 12.89 None ----------------------------------------------------------------------------------------------------------------------------- Run set 2 done 129400.37 9353.82 - sv-comp21_prop-nooverflow.NoOverflows-Main Run set 3 of 4 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host -------------------------------------------------------------------------------------------------------------------------------------------------- recursive/Ackermann01-2.yml OUT OF MEMORY 98.00 68.95 None recursive/Ackermann02.yml OUT OF MEMORY 99.62 71.28 None recursive/Ackermann03.yml OUT OF MEMORY 86.78 61.49 None recursive/Ackermann04.yml OUT OF MEMORY 120.81 77.60 None recursive/Addition01-2.yml TIMEOUT 901.10 802.92 None recursive/Addition02.yml TIMEOUT 900.65 864.24 None recursive/Addition02WithOverflowBug.yml false(no-overflow) 11.19 6.36 None recursive/Addition03-1.yml TIMEOUT 900.42 767.04 None recursive/Addition03-2.yml false(no-overflow) 11.19 6.40 None recursive/BallRajamani-SPIN2000-Fig1.yml true 8.03 4.77 None recursive/EvenOdd01-1.yml TIMEOUT 900.60 865.35 None recursive/EvenOdd03.yml TIMEOUT 900.62 868.26 None recursive/EvenOdd03WithOverflowBug.yml false(no-overflow) 8.04 4.75 None recursive/Fibonacci01-1.yml TIMEOUT 900.97 845.76 None recursive/Fibonacci02.yml true 64.71 38.84 None recursive/Fibonacci03.yml TIMEOUT 900.51 838.08 None recursive/Fibonacci04.yml TIMEOUT 900.88 820.93 None recursive/Fibonacci05.yml TIMEOUT 900.93 816.80 None recursive/McCarthy91-1.yml true 11.36 6.96 None recursive/McCarthy91-2.yml true 11.34 6.77 None recursive/MultCommutative-2.yml TIMEOUT 900.93 843.25 None recursive/Primes.yml TIMEOUT 900.76 845.38 None recursive/gcd01-1.yml true 9.02 5.36 None recursive/gcd02.yml true 14.75 9.73 None recursive/recHanoi01.yml TIMEOUT 900.91 825.49 None recursive/recHanoi02-2.yml TIMEOUT 900.18 745.86 None recursive/recHanoi03-2.yml TIMEOUT 900.72 852.96 None recursive-simple/id2_b2_o3.yml true 10.16 5.92 None recursive-simple/id2_b3_o2.yml true 10.34 5.93 None recursive-simple/id2_b3_o5.yml true 9.82 5.56 None recursive-simple/id2_b5_o10.yml true 9.75 5.62 None recursive-simple/id_b2_o3.yml true 9.99 5.74 None recursive-simple/id_b3_o2-1.yml false(no-overflow) 10.44 5.87 None recursive-simple/id_b3_o2-2.yml true 10.10 6.09 None recursive-simple/id_b3_o5-1.yml false(no-overflow) 10.32 5.77 None recursive-simple/id_b3_o5-2.yml true 9.69 5.69 None recursive-simple/id_b5_o10-1.yml false(no-overflow) 9.79 5.69 None recursive-simple/id_b5_o10-2.yml true 9.57 5.88 None recursive-simple/id_o10.yml true 10.00 5.69 None recursive-simple/id_o100.yml true 7.63 4.64 None recursive-simple/id_o1000.yml true 9.49 5.44 None recursive-simple/id_o20.yml true 10.03 5.74 None recursive-simple/id_o200.yml true 10.15 5.66 None recursive-simple/id_o3.yml true 7.40 4.49 None recursive-simple/sum_non.yml false(no-overflow) 10.09 5.79 None recursive-simple/sum_non_eq-1.yml false(no-overflow) 10.00 5.66 None recursive-simple/sum_non_eq-2.yml true 10.13 5.70 None recursive-simple/sum_non_eq-3.yml true 9.43 5.53 None bitvector/byte_add-1.yml true 9.20 5.35 None bitvector/byte_add-2.yml false(no-overflow) 50.44 28.28 None bitvector/byte_add_1-1.yml true 11.93 6.67 None bitvector/byte_add_1-2.yml false(no-overflow) 38.66 21.72 None bitvector/byte_add_2-1.yml false(no-overflow) 37.77 21.17 None bitvector/byte_add_2-2.yml true 9.17 5.51 None bitvector/gcd_1.yml true 11.10 7.03 None bitvector/gcd_2.yml true 9.24 5.32 None bitvector/gcd_3.yml true 9.04 5.24 None bitvector/gcd_4.yml true 12.93 8.16 None bitvector/interleave_bits.yml true 10.22 5.85 None bitvector/jain_1-1.yml true 7.63 4.63 None bitvector/jain_1-2.yml false(no-overflow) 7.56 4.58 None bitvector/jain_2-1.yml true 7.90 4.77 None bitvector/jain_2-2.yml false(no-overflow) 8.16 4.95 None bitvector/jain_4-1.yml false(no-overflow) 9.91 5.62 None bitvector/jain_4-2.yml true 7.13 4.30 None bitvector/jain_5-1.yml TIMEOUT 901.16 794.15 None bitvector/jain_5-2.yml true 9.81 5.58 None bitvector/jain_6-1.yml true 7.39 4.43 None bitvector/jain_6-2.yml false(no-overflow) 7.92 4.69 None bitvector/jain_7-1.yml false(no-overflow) 8.25 4.88 None bitvector/jain_7-2.yml true 8.97 5.22 None bitvector/modulus-1.yml false(no-overflow) 20.99 12.50 None bitvector/modulus-2.yml true 16.62 10.06 None bitvector/num_conversion_1.yml true 21.19 12.62 None bitvector/num_conversion_2.yml true 16.10 9.97 None bitvector/parity.yml true 8.25 5.23 None bitvector/s3_clnt_1.BV.c.cil-1.yml false(no-overflow) 9.83 5.69 None bitvector/s3_clnt_1.BV.c.cil-1a.yml false(no-overflow) 21.40 13.95 None bitvector/s3_clnt_1.BV.c.cil-2.yml false(no-overflow) 12.38 6.96 None bitvector/s3_clnt_2.BV.c.cil-1.yml false(no-overflow) 9.89 5.99 None bitvector/s3_clnt_2.BV.c.cil-1a.yml true 9.51 6.03 None bitvector/s3_clnt_2.BV.c.cil-2.yml false(no-overflow) 9.75 5.71 None bitvector/s3_clnt_2.BV.c.cil-2a.yml true 11.27 6.39 None bitvector/s3_clnt_3.BV.c.cil-1.yml false(no-overflow) 9.76 5.63 None bitvector/s3_clnt_3.BV.c.cil-1a.yml true 10.63 6.20 None bitvector/s3_clnt_3.BV.c.cil-2.yml false(no-overflow) 9.66 5.87 None bitvector/s3_clnt_3.BV.c.cil-2a.yml true 14.38 7.95 None bitvector/s3_srvr_1.BV.c.cil.yml false(no-overflow) 9.45 6.13 None bitvector/s3_srvr_1_alt.BV.c.cil.yml false(no-overflow) 9.88 5.79 None bitvector/s3_srvr_1a.BV.c.cil.yml true 33.05 17.94 None bitvector/s3_srvr_1a_alt.BV.c.cil.yml false(no-overflow) 29.89 19.01 None bitvector/s3_srvr_2.BV.c.cil.yml false(no-overflow) 12.87 7.37 None bitvector/s3_srvr_2_alt.BV.c.cil.yml false(no-overflow) 10.12 6.26 None bitvector/s3_srvr_2a.BV.c.cil.yml true 9.61 5.94 None bitvector/s3_srvr_2a_alt.BV.c.cil.yml true 9.77 6.11 None bitvector/s3_srvr_3.BV.c.cil.yml false(no-overflow) 9.52 5.66 None bitvector/s3_srvr_3_alt.BV.c.cil.yml false(no-overflow) 9.83 6.35 None bitvector/s3_srvr_3a.BV.c.cil.yml true 49.99 27.95 None bitvector/s3_srvr_3a_alt.BV.c.cil.yml true 36.69 22.42 None bitvector/soft_float_1-2.c.cil.yml false(no-overflow) 20.67 13.65 None bitvector/soft_float_1-2a.c.cil.yml true 71.52 44.68 None bitvector/soft_float_1-3.c.cil.yml false(no-overflow) 19.83 12.75 None bitvector/soft_float_1-3a.c.cil.yml true 54.67 36.58 None bitvector/soft_float_2.c.cil.yml false(no-overflow) 109.19 90.17 None bitvector/soft_float_2a.c.cil.yml OUT OF MEMORY 182.96 126.49 None bitvector/soft_float_3.c.cil.yml false(no-overflow) 110.15 84.84 None bitvector/soft_float_3a.c.cil.yml OUT OF MEMORY 183.29 145.91 None bitvector/soft_float_4-2.c.cil.yml false(no-overflow) 20.51 13.16 None bitvector/soft_float_4-2a.c.cil.yml true 58.30 40.31 None bitvector/soft_float_4-3.c.cil.yml false(no-overflow) 21.05 14.03 None bitvector/soft_float_4-3a.c.cil.yml true 56.35 39.42 None bitvector/soft_float_5.c.cil.yml false(no-overflow) 104.98 86.99 None bitvector/soft_float_5a.c.cil.yml OUT OF MEMORY 258.31 201.67 None bitvector/sum02-1.yml true 7.52 4.66 None bitvector/sum02-2.yml true 8.79 5.76 None psyco/psyco_abp_1-1.yml true 13.63 8.29 None psyco/psyco_abp_1-2.yml TIMEOUT 900.88 864.60 None psyco/psyco_abp_1-3.yml true 8.75 5.24 None loop-zilu/benchmark01_conjunctive.yml false(no-overflow) 14.72 9.13 None loop-zilu/benchmark02_linear.yml true 8.53 5.19 None loop-zilu/benchmark02_linear_abstracted.yml true 9.35 5.40 None loop-zilu/benchmark03_linear.yml TIMEOUT 900.85 861.89 None loop-zilu/benchmark04_conjunctive.yml TIMEOUT 900.96 740.83 None loop-zilu/benchmark05_conjunctive.yml true 9.55 5.90 None loop-zilu/benchmark06_conjunctive.yml false(no-overflow) 10.31 5.95 None loop-zilu/benchmark07_linear.yml false(no-overflow) 9.06 5.70 None loop-zilu/benchmark08_conjunctive.yml TIMEOUT 901.17 821.20 None loop-zilu/benchmark09_conjunctive.yml true 11.32 6.42 None loop-zilu/benchmark10_conjunctive.yml true 229.08 205.61 None loop-zilu/benchmark11_linear.yml true 9.58 6.39 None loop-zilu/benchmark11_linear_abstracted.yml true 10.80 6.14 None loop-zilu/benchmark12_linear.yml false(no-overflow) 8.40 5.37 None loop-zilu/benchmark13_conjunctive.yml TIMEOUT 901.09 753.28 None loop-zilu/benchmark14_linear.yml true 8.57 5.17 None loop-zilu/benchmark15_conjunctive.yml false(no-overflow) 8.83 5.62 None loop-zilu/benchmark16_conjunctive.yml TIMEOUT 900.67 869.38 None loop-zilu/benchmark17_conjunctive.yml TIMEOUT 901.04 869.73 None loop-zilu/benchmark18_conjunctive.yml TIMEOUT 900.99 775.27 None loop-zilu/benchmark19_conjunctive.yml true 9.80 6.28 None loop-zilu/benchmark20_conjunctive.yml true 313.92 292.10 None loop-zilu/benchmark21_disjunctive.yml false(no-overflow) 10.94 6.24 None loop-zilu/benchmark22_conjunctive.yml TIMEOUT 900.31 789.27 None loop-zilu/benchmark23_conjunctive.yml true 107.43 78.24 None loop-zilu/benchmark24_conjunctive.yml TIMEOUT 900.18 765.34 None loop-zilu/benchmark25_linear.yml true 8.18 4.90 None loop-zilu/benchmark25_linear_abstracted.yml true 8.05 4.92 None loop-zilu/benchmark26_linear.yml true 8.28 4.94 None loop-zilu/benchmark26_linear_abstracted.yml true 8.26 4.91 None loop-zilu/benchmark27_linear.yml false(no-overflow) 8.04 4.83 None loop-zilu/benchmark28_linear.yml false(no-overflow) 8.39 5.19 None loop-zilu/benchmark29_linear.yml false(no-overflow) 8.54 5.25 None loop-zilu/benchmark30_conjunctive.yml false(no-overflow) 8.44 5.12 None loop-zilu/benchmark31_disjunctive.yml false(no-overflow) 7.81 4.97 None loop-zilu/benchmark32_linear.yml true 7.63 4.62 None loop-zilu/benchmark33_linear.yml true 8.39 5.22 None loop-zilu/benchmark34_conjunctive.yml TIMEOUT 900.18 766.12 None loop-zilu/benchmark35_linear.yml true 8.56 5.02 None loop-zilu/benchmark36_conjunctive.yml TIMEOUT 900.67 855.16 None loop-zilu/benchmark37_conjunctive.yml true 9.45 6.09 None loop-zilu/benchmark38_conjunctive.yml TIMEOUT 900.92 866.59 None loop-zilu/benchmark39_conjunctive.yml false(no-overflow) 10.16 5.76 None loop-zilu/benchmark40_polynomial.yml false(no-overflow) 10.46 6.02 None loop-zilu/benchmark41_conjunctive.yml TIMEOUT 901.09 712.03 None loop-zilu/benchmark42_conjunctive.yml false(no-overflow) 8.41 4.96 None loop-zilu/benchmark43_conjunctive.yml true 8.21 4.92 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 8.63 5.30 None loop-zilu/benchmark44_disjunctive.yml false(no-overflow) 8.80 5.16 None loop-zilu/benchmark45_disjunctive.yml false(no-overflow) 8.31 5.05 None loop-zilu/benchmark46_disjunctive.yml false(no-overflow) 8.38 4.96 None loop-zilu/benchmark47_linear.yml false(no-overflow) 8.46 5.18 None loop-zilu/benchmark48_linear.yml false(no-overflow) 10.42 6.00 None loop-zilu/benchmark49_linear.yml false(no-overflow) 7.80 4.63 None loop-zilu/benchmark50_linear.yml false(no-overflow) 10.02 5.85 None loop-zilu/benchmark51_polynomial.yml true 9.76 5.94 None loop-zilu/benchmark52_polynomial.yml true 11.34 6.78 None loop-zilu/benchmark53_polynomial.yml false(no-overflow) 8.24 5.14 None signedintegeroverflow-regression/AdditionIntMax.yml false(no-overflow) 10.24 5.89 None signedintegeroverflow-regression/AdditionIntMin.yml false(no-overflow) 8.06 4.92 None signedintegeroverflow-regression/ConversionToSignedInt.yml true 9.78 5.67 None signedintegeroverflow-regression/Division-1.yml false(no-overflow) 8.50 5.07 None signedintegeroverflow-regression/IntegerPromotion-1.yml true 8.16 4.95 None signedintegeroverflow-regression/Multiplication-1.yml true 9.95 5.66 None signedintegeroverflow-regression/Multiplication-2.yml false(no-overflow) 8.21 4.86 None signedintegeroverflow-regression/NoConversion.yml false(no-overflow) 9.90 5.71 None signedintegeroverflow-regression/NoNegativeIntegerConstant.yml true 7.74 4.74 None signedintegeroverflow-regression/PostfixDecrement.yml false(no-overflow) 10.81 5.98 None signedintegeroverflow-regression/PostfixIncrement.yml false(no-overflow) 8.60 5.46 None signedintegeroverflow-regression/PrefixDecrement.yml false(no-overflow) 7.59 4.71 None signedintegeroverflow-regression/PrefixIncrement.yml false(no-overflow) 10.90 6.20 None signedintegeroverflow-regression/UnaryMinus.yml false(no-overflow) 8.19 5.05 None signedintegeroverflow-regression/UsualArithmeticConversions.yml true 7.61 4.61 None termination-crafted/2Nested-2.yml false(no-overflow) 8.40 5.04 None termination-crafted/4BitCounterPointer.yml true 9.94 5.63 None termination-crafted/4NestedWith3Variables-2.yml false(no-overflow) 8.48 5.12 None termination-crafted/Ackermann-1.yml false(no-overflow) 8.69 5.16 None termination-crafted/Arrays01-EquivalentConstantIndices-1.yml TIMEOUT 900.48 873.49 None termination-crafted/Arrays02-EquivalentConstantIndices.yml true 11.18 6.29 None termination-crafted/Arrays03-ValueRestictsIndex-2.yml true 11.06 7.11 None termination-crafted/Bangalore-1.yml false(no-overflow) 8.06 4.70 None termination-crafted/Bangalore-2.yml true 9.02 5.51 None termination-crafted/Bangalore_v2.yml true 10.73 6.32 None termination-crafted/Bangalore_v3.yml false(no-overflow) 8.81 5.15 None termination-crafted/Bangalore_v4.yml true 8.55 5.40 None termination-crafted/Benghazi.yml true 63.61 44.01 None termination-crafted/Benghazi_nondet-1.yml false(no-overflow) 8.32 5.08 None termination-crafted/Binary_Search-1.yml false(no-overflow) 8.71 5.77 None termination-crafted/Cairo.yml true 8.90 5.38 None termination-crafted/Cairo_nondet.yml false(no-overflow) 8.34 5.03 None termination-crafted/Cairo_step2-1.yml true 9.42 6.12 None termination-crafted/Cairo_step2-2.yml TIMEOUT 900.75 777.95 None termination-crafted/Cairo_step2-3.yml true 7.81 4.83 None termination-crafted/Collatz.yml false(no-overflow) 8.19 4.97 None termination-crafted/Collatz_bounded.yml true 12.17 8.14 None termination-crafted/Copenhagen.yml true 8.08 5.00 None termination-crafted/Copenhagen_disj-1.yml false(no-overflow) 7.86 4.58 None termination-crafted/Division-2.yml true 8.04 5.20 None termination-crafted/Gothenburg-2.yml false(no-overflow) 7.91 4.78 None termination-crafted/Gothenburg_v2-2.yml false(no-overflow) 8.35 5.27 None termination-crafted/Hanoi_2vars.yml false(no-overflow) 8.42 5.00 None termination-crafted/Hanoi_3vars.yml false(no-overflow) 8.01 5.12 None termination-crafted/Hanoi_plus.yml false(no-overflow) 8.92 5.37 None termination-crafted/LexIndexValue-Array-1.yml TIMEOUT 900.48 873.70 None termination-crafted/LexIndexValue-Pointer-1.yml TIMEOUT 900.52 864.64 None termination-crafted/Lobnya-Boolean-Reordered-1.yml false(no-overflow) 7.83 5.04 None termination-crafted/Madrid.yml true 7.77 4.78 None termination-crafted/McCarthy91_Iteration.yml TIMEOUT 900.56 879.03 None termination-crafted/McCarthy91_Recursion.yml true 11.69 7.05 None termination-crafted/MenloPark.yml true 17.32 10.75 None termination-crafted/MutualRecursion_1a.yml true 11.30 7.02 None termination-crafted/MutualRecursion_1b.yml true 11.51 7.08 None termination-crafted/Mysore-1.yml false(no-overflow) 8.09 4.95 None termination-crafted/NestedRecursion_1a-1.yml false(no-overflow) 10.52 5.96 None termination-crafted/NestedRecursion_1b.yml true 14.85 9.71 None termination-crafted/NestedRecursion_1c.yml true 10.08 6.07 None termination-crafted/NestedRecursion_1d.yml true 15.72 9.00 None termination-crafted/NestedRecursion_2a.yml false(no-overflow) 7.77 5.58 None termination-crafted/NestedRecursion_2b.yml TIMEOUT 900.69 868.56 None termination-crafted/NestedRecursion_2c.yml TIMEOUT 900.77 862.29 None termination-crafted/NonTermination1.yml false(no-overflow) 8.39 5.25 None termination-crafted/NonTermination2.yml false(no-overflow) 9.88 5.70 None termination-crafted/NonTermination4.yml false(no-overflow) 12.49 8.67 None termination-crafted/NonTerminationSimple2.yml false(no-overflow) 10.34 5.80 None termination-crafted/NonTerminationSimple3.yml false(no-overflow) 10.76 5.92 None termination-crafted/NonTerminationSimple4.yml TIMEOUT 900.60 872.00 None termination-crafted/NonTerminationSimple5.yml false(no-overflow) 10.47 6.02 None termination-crafted/NonTerminationSimple6.yml false(no-overflow) 10.99 6.27 None termination-crafted/NonTerminationSimple7.yml true 11.09 6.64 None termination-crafted/NonTerminationSimple8.yml false(no-overflow) 10.50 6.06 None termination-crafted/NonTerminationSimple9.yml false(no-overflow) 10.16 5.69 None termination-crafted/Nyala-2lex-2.yml true 11.19 6.23 None termination-crafted/Parallel.yml true 11.11 6.21 None termination-crafted/Piecewise.yml true 11.34 6.35 None termination-crafted/Pure2Phase-2.yml false(no-overflow) 9.74 5.58 None termination-crafted/Pure3Phase-2.yml false(no-overflow) 10.79 6.20 None termination-crafted/RecursiveMultiplication-2.yml false(no-overflow) 10.25 5.76 None termination-crafted/RecursiveNonterminating-2.yml false(no-overflow) 10.83 6.10 None termination-crafted/Rotation180-2.yml false(no-overflow) 9.86 5.59 None termination-crafted/Singapore-1.yml false(no-overflow) 10.32 5.91 None termination-crafted/Singapore_plus.yml false(no-overflow) 10.09 5.59 None termination-crafted/Singapore_v1.yml false(no-overflow) 10.19 5.83 None termination-crafted/Singapore_v2.yml false(no-overflow) 9.63 5.59 None termination-crafted/Stockholm-2.yml false(no-overflow) 10.72 6.11 None termination-crafted/SyntaxSupportPointer01-2.yml true 10.55 6.05 None termination-crafted/TelAviv-Amir-Minimum.yml true 8.31 5.00 None termination-crafted/Thun-1.yml false(no-overflow) 10.36 5.83 None termination-crafted/Toulouse-BranchesToLoop-1.yml false(no-overflow) 10.66 5.98 None termination-crafted/Toulouse-MultiBranchesToLoop-1.yml false(no-overflow) 13.88 7.69 None termination-crafted/Waldkirch.yml true 10.40 5.86 None termination-crafted/WhileFalse.yml true 10.23 5.80 None termination-crafted/WhileTrue.yml true 7.11 4.40 None termination-crafted/aaron2-2.yml false(no-overflow) 10.68 6.02 None termination-crafted/aaron3-2.yml false(no-overflow) 10.31 5.90 None termination-crafted/easy1.yml true 8.21 5.01 None termination-crafted/easy2-1.yml TIMEOUT 900.23 745.97 None termination-crafted/easy2-2.yml TIMEOUT 900.23 743.19 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1.yml TIMEOUT 901.15 800.07 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a.yml false(no-overflow) 8.31 5.20 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b.yml false(no-overflow) 8.84 5.58 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2.yml false(no-overflow) 8.22 5.30 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3.yml false(no-overflow) 7.81 5.63 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex.yml false(no-overflow) 8.50 5.69 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a.yml false(no-overflow) 8.32 5.24 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b.yml false(no-overflow) 8.75 5.49 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9.yml true 8.60 5.67 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1.yml true 8.09 5.19 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2-1.yml TIMEOUT 900.69 868.86 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2-2.yml TIMEOUT 900.59 873.10 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini.yml false(no-overflow) 10.46 6.03 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops.yml true 11.73 6.87 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr.yml false(no-overflow) 9.48 5.43 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop-1.yml OUT OF MEMORY 49.01 31.10 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop-2.yml TIMEOUT 901.31 710.72 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d-1.yml OUT OF MEMORY 113.85 92.05 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d-2.yml OUT OF MEMORY 150.54 118.52 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d.yml OUT OF MEMORY 103.38 77.89 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd.yml false(no-overflow) 10.39 5.79 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4.yml false(no-overflow) 10.56 5.93 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2.yml true 9.29 5.85 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3.yml true 13.04 7.93 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4.yml true 8.85 5.48 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate.yml false(no-overflow) 10.27 5.86 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2.yml true 10.72 6.44 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2.yml true 8.32 4.99 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise.yml true 9.60 5.71 None termination-crafted-lit/Avery-FLOPS2006-Table1.yml TIMEOUT 900.72 802.60 None termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3.yml false(no-overflow) 10.35 5.83 None termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified.yml true 9.46 7.39 None termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1.yml true 12.20 7.44 None termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1.yml false(no-overflow) 7.76 5.21 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1.yml true 11.67 6.84 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a.yml TIMEOUT 901.26 821.91 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction.yml true 12.37 8.61 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1.yml false(no-overflow) 11.05 6.25 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12.yml false(no-overflow) 7.60 4.90 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2.yml false(no-overflow) 9.99 5.71 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3.yml false(no-overflow) 8.00 5.20 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4.yml false(no-overflow) 10.81 6.29 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6.yml false(no-overflow) 7.84 5.02 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1.yml true 10.49 6.03 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2.yml TIMEOUT 900.75 873.26 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d.yml OUT OF MEMORY 117.59 96.32 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d.yml OUT OF MEMORY 111.06 83.56 None termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction.yml true 10.07 6.08 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01.yml false(no-overflow) 9.51 5.48 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02.yml false(no-overflow) 10.05 5.81 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03.yml false(no-overflow) 10.03 5.69 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04.yml false(no-overflow) 11.24 6.37 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05.yml false(no-overflow) 10.85 6.08 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01.yml false(no-overflow) 8.45 5.62 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02.yml false(no-overflow) 7.52 4.93 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03.yml false(no-overflow) 11.02 6.22 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04.yml false(no-overflow) 7.95 5.07 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05.yml false(no-overflow) 10.09 5.73 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06.yml false(no-overflow) 8.10 4.82 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07.yml false(no-overflow) 8.13 5.15 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08.yml false(no-overflow) 10.57 5.95 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09.yml false(no-overflow) 10.84 6.14 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10.yml false(no-overflow) 7.75 4.76 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11.yml false(no-overflow) 8.60 5.16 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12.yml false(no-overflow) 8.14 5.35 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13.yml false(no-overflow) 10.28 6.18 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14.yml false(no-overflow) 10.36 6.02 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15.yml false(no-overflow) 8.04 4.72 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16.yml false(no-overflow) 7.91 4.82 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17.yml false(no-overflow) 8.43 4.95 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18.yml false(no-overflow) 8.51 5.25 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19.yml false(no-overflow) 7.84 4.69 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20.yml true 11.00 6.45 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21.yml false(no-overflow) 10.69 6.16 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22.yml false(no-overflow) 8.65 5.03 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01.yml true 9.16 5.54 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02.yml false(no-overflow) 8.41 5.21 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03.yml false(no-overflow) 7.88 4.79 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04.yml false(no-overflow) 8.10 4.82 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05.yml false(no-overflow) 8.27 4.92 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06.yml false(no-overflow) 10.33 5.89 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07.yml false(no-overflow) 10.79 6.09 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08.yml false(no-overflow) 7.92 5.09 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09.yml false(no-overflow) 7.69 4.70 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10.yml false(no-overflow) 8.84 5.19 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01.yml false(no-overflow) 7.89 4.75 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1.yml false(no-overflow) 10.49 5.95 None termination-crafted-lit/ColonSipma-TACAS2001-Fig1.yml false(no-overflow) 11.15 6.35 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1.yml true 8.80 5.85 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a.yml true 8.65 5.16 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b.yml true 8.68 5.20 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified.yml true 9.03 5.40 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a.yml true 11.12 6.30 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b.yml true 12.07 7.21 None termination-crafted-lit/GopanReps-CAV2006-Fig1a.yml true 101.02 72.41 None termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a.yml false(no-overflow) 8.10 5.05 None termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b.yml false(no-overflow) 8.30 4.94 None termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c.yml false(no-overflow) 8.82 5.16 None termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1.yml false(no-overflow) 10.95 6.51 None termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1.yml TIMEOUT 900.51 878.40 None termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2.yml false(no-overflow) 9.57 5.74 None termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3.yml true 11.35 6.41 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1.yml true 12.43 8.01 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2.yml false(no-overflow) 10.40 5.94 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4.yml true 8.34 4.90 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5.yml true 12.58 7.24 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6.yml true 8.21 4.91 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7.yml false(no-overflow) 10.44 6.33 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8.yml false(no-overflow) 10.35 5.81 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9.yml false(no-overflow) 10.45 5.93 None termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample.yml TIMEOUT 900.90 802.98 None termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex.yml true 7.97 4.82 None termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1.yml true 11.01 6.29 None termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1.yml TIMEOUT 900.84 841.62 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1.yml false(no-overflow) 11.30 6.83 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2.yml false(no-overflow) 9.11 5.45 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3.yml false(no-overflow) 11.15 6.30 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4.yml true 12.98 7.82 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5.yml TIMEOUT 900.99 742.25 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6.yml false(no-overflow) 8.66 5.52 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1.yml true 11.11 6.34 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7.yml false(no-overflow) 8.73 5.72 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8.yml false(no-overflow) 10.64 6.07 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9.yml true 11.16 6.33 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1.yml false(no-overflow) 8.20 5.11 None termination-crafted-lit/LeikeHeizmann-WST2014-Ex5.yml false(no-overflow) 11.08 5.97 None termination-crafted-lit/LeikeHeizmann-WST2014-Ex6.yml false(no-overflow) 9.70 5.53 None termination-crafted-lit/LeikeHeizmann-WST2014-Ex9.yml true 8.64 5.67 None termination-crafted-lit/Masse-VMCAI2014-Ex6.yml false(no-overflow) 10.44 6.00 None termination-crafted-lit/Masse-VMCAI2014-Fig1a.yml false(no-overflow) 10.57 6.06 None termination-crafted-lit/Masse-VMCAI2014-Fig1b.yml false(no-overflow) 8.63 5.43 None termination-crafted-lit/NoriSharma-FSE2013-Fig7.yml false(no-overflow) 10.85 6.19 None termination-crafted-lit/NoriSharma-FSE2013-Fig8.yml false(no-overflow) 10.72 5.97 None termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1.yml true 9.95 6.61 None termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3.yml false(no-overflow) 11.22 6.39 None termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2.yml false(no-overflow) 10.79 6.16 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1.yml true 8.67 5.41 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2.yml true 8.88 5.62 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3.yml false(no-overflow) 11.03 6.22 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4.yml true 10.76 5.97 None termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1.yml false(no-overflow) 8.63 5.57 None termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2.yml false(no-overflow) 7.89 4.59 None termination-crafted-lit/Urban-WST2013-Fig1.yml true 10.74 6.15 None termination-crafted-lit/Urban-WST2013-Fig2-modified1000.yml true 10.64 6.12 None termination-crafted-lit/Urban-WST2013-Fig2.yml true 8.61 5.41 None termination-crafted-lit/UrbanMine-ESOP2014-Fig3.yml true 9.53 5.77 None termination-crafted-lit/Velroyen.yml true 10.77 6.11 None termination-crafted-lit/aviad.yml OUT OF MEMORY 346.48 259.99 None termination-crafted-lit/cstrcmp.yml true 8.56 5.05 None termination-crafted-lit/cstrcspn.yml true 9.02 5.41 None termination-crafted-lit/cstrlen.yml true 11.12 6.65 None termination-crafted-lit/cstrncmp.yml false(no-overflow) 8.58 5.05 None termination-crafted-lit/cstrpbrk.yml true 8.74 5.56 None termination-crafted-lit/cstrspn.yml true 8.75 5.21 None termination-crafted-lit/gcd1.yml false(no-overflow) 10.87 6.21 None termination-crafted-lit/genady.yml true 12.02 8.53 None termination-crafted-lit/joey.yml false(no-overflow) 8.56 5.05 None termination-crafted-lit/min_rf.yml false(no-overflow) 10.88 6.22 None termination-crafted-lit/strchr-2.yml true 8.80 5.63 None termination-numeric/Ackermann01-1.yml OUT OF MEMORY 100.37 69.76 None termination-numeric/Addition01-1.yml false(no-overflow) 11.36 6.51 None termination-numeric/Avg_true.yml false(no-overflow) 8.73 5.60 None termination-numeric/Binomial.yml TIMEOUT 900.63 838.25 None termination-numeric/Et1_true.yml false(no-overflow) 8.35 5.39 None termination-numeric/Et2_true.yml false(no-overflow) 8.57 5.33 None termination-numeric/Et3_true.yml false(no-overflow) 8.70 5.31 None termination-numeric/Et4_true.yml false(no-overflow) 8.97 5.45 None termination-numeric/EvenOdd01-2.yml TIMEOUT 900.53 868.65 None termination-numeric/Fibonacci01-2.yml TIMEOUT 900.71 853.44 None termination-numeric/LeUserDefRec.yml true 8.51 5.03 None termination-numeric/LogRecursive.yml TIMEOUT 900.77 875.08 None termination-numeric/MultCommutative-1.yml false(no-overflow) 12.21 8.03 None termination-numeric/Parts.yml TIMEOUT 900.83 848.01 None termination-numeric/TerminatorRec02.yml TIMEOUT 900.36 887.36 None termination-numeric/TwoWay.yml true 23.27 15.49 None termination-numeric/gcd01-2.yml true 11.09 6.35 None termination-numeric/java_LogBuiltIn.yml true 40.68 22.67 None termination-numeric/recHanoi02-1.yml TIMEOUT 901.10 752.98 None termination-numeric/rec_counter1.yml TIMEOUT 901.00 738.83 None termination-numeric/rec_counter3.yml TIMEOUT 901.01 761.82 None termination-numeric/twisted.yml TIMEOUT 901.05 761.71 None loops/sum01_bug02.yml TIMEOUT 900.95 864.45 None loops/sum_array-2-1.yml false(no-overflow) 9.97 5.73 None loops/sum_array-2-2.yml TIMEOUT 900.54 869.60 None termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca-2.yml true 9.91 6.16 None termination-memory-alloca/Masse-alloca-2.yml false(no-overflow) 9.33 5.68 None termination-memory-alloca/Masse-alloca-3.yml true 9.54 5.86 None termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca-2.yml false(no-overflow) 56.17 37.44 None termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca-2.yml false(no-overflow) 95.44 75.96 None termination-memory-alloca/TelAviv-Amir-Minimum-alloca-2.yml true 10.96 6.43 None termination-memory-alloca/Toulouse-BranchesToLoop-alloca-2.yml false(no-overflow) 10.28 6.03 None termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca-2.yml false(no-overflow) 35.01 19.70 None termination-memory-alloca/Urban-2013WST-Fig2-alloca-2.yml true 15.00 9.39 None termination-memory-alloca/Urban-alloca-2.yml OUT OF MEMORY 155.12 124.91 None termination-nla/fermat1-both-nt.yml true 7.86 4.96 None termination-nla/fermat1-both-t.yml true 7.74 4.93 None termination-nla/fermat2-both-nt.yml true 9.60 6.91 None termination-nla/fermat3-both-nt.yml true 7.27 4.62 None termination-recursive-malloc/chunk1-2.yml true 11.07 6.70 None termination-restricted-15/AlternKonv.yml true 8.81 5.52 None termination-restricted-15/ComplInterv2.yml true 8.49 5.20 None termination-restricted-15/ConvLower.yml true 8.09 4.96 None termination-restricted-15/DivMinus.yml TIMEOUT 900.53 877.58 None termination-restricted-15/DivMinus2.yml TIMEOUT 900.61 873.76 None termination-restricted-15/Ex02.yml true 8.36 5.46 None termination-restricted-15/Ex03.yml true 8.11 4.94 None termination-restricted-15/Ex05.yml true 7.32 4.61 None termination-restricted-15/Ex06.yml true 8.70 5.53 None termination-restricted-15/Ex07.yml true 8.72 5.26 None termination-restricted-15/Ex08.yml true 10.74 7.55 None termination-restricted-15/Flip.yml true 7.83 4.88 None termination-restricted-15/Flip2.yml true 8.58 5.50 None termination-restricted-15/GCD-1.yml true 9.06 5.87 None termination-restricted-15/GCD2.yml true 9.38 6.00 None termination-restricted-15/GCD3.yml true 9.13 5.93 None termination-restricted-15/GCD4.yml true 8.73 6.20 None termination-restricted-15/IntPath.yml true 7.16 4.47 None termination-restricted-15/Log.yml TIMEOUT 900.72 873.93 None termination-restricted-15/LogAG.yml TIMEOUT 900.50 876.43 None termination-restricted-15/Loop-2.yml true 8.16 5.28 None termination-restricted-15/McCarthyIterative.yml TIMEOUT 900.86 801.00 None termination-restricted-15/MinusBuiltIn.yml true 9.88 5.75 None termination-restricted-15/MinusUserDefined.yml TIMEOUT 901.20 777.29 None termination-restricted-15/MirrorIntervSim.yml true 8.24 5.21 None termination-restricted-15/NO_00.yml true 8.07 5.04 None termination-restricted-15/NO_01.yml true 8.00 4.95 None termination-restricted-15/NO_02.yml true 7.79 4.99 None termination-restricted-15/NO_03.yml true 8.25 5.52 None termination-restricted-15/NO_04.yml true 14.09 8.45 None termination-restricted-15/NO_13.yml true 10.84 7.10 None termination-restricted-15/NO_21.yml true 10.87 6.13 None termination-restricted-15/NO_22.yml true 8.82 5.89 None termination-restricted-15/NO_23.yml true 9.36 5.35 None termination-restricted-15/NO_24.yml true 12.09 8.18 None termination-restricted-15/NarrowKonv.yml true 11.59 6.69 None termination-restricted-15/Narrowing.yml true 10.82 7.17 None termination-restricted-15/Nested-2.yml true 11.26 6.25 None termination-restricted-15/PastaA1.yml true 11.69 6.90 None termination-restricted-15/PastaA10.yml true 8.72 5.37 None termination-restricted-15/PastaA4.yml true 8.03 5.11 None termination-restricted-15/PastaA7.yml true 10.45 5.89 None termination-restricted-15/PastaB1.yml true 8.21 5.23 None termination-restricted-15/PastaB14.yml true 11.83 7.02 None termination-restricted-15/PastaB15.yml true 9.33 6.12 None termination-restricted-15/PastaB16.yml true 10.89 6.15 None termination-restricted-15/PastaB17.yml true 8.62 5.29 None termination-restricted-15/PastaB2.yml true 10.40 5.92 None termination-restricted-15/PastaB4.yml true 7.44 4.81 None termination-restricted-15/PastaB6.yml true 10.93 6.21 None termination-restricted-15/PastaB7.yml true 8.55 5.28 None termination-restricted-15/PastaC3.yml true 10.14 5.79 None termination-restricted-15/PastaC7.yml true 9.02 5.74 None termination-restricted-15/PastaC9.yml true 10.83 6.17 None termination-restricted-15/Sequence.yml true 9.03 6.28 None termination-restricted-15/Sunset.yml true 10.87 6.15 None termination-restricted-15/Swingers.yml true 7.92 5.07 None termination-restricted-15/TwoFloatInterv.yml true 8.80 5.44 None termination-restricted-15/UpAndDown.yml true 10.57 5.98 None termination-restricted-15/UpAndDownIneq.yml true 10.80 6.05 None termination-restricted-15/WhileDecr.yml true 7.95 5.06 None termination-restricted-15/WhilePart.yml true 10.55 5.96 None termination-restricted-15/WhileSingle.yml true 10.48 5.94 None termination-restricted-15/a.01.yml true 8.83 6.34 None termination-restricted-15/a.04.yml true 10.28 5.87 None termination-restricted-15/a.05.yml true 10.21 5.78 None termination-restricted-15/a.06.yml true 9.94 6.09 None termination-restricted-15/a.07.yml true 10.92 6.16 None termination-restricted-15/a.08.yml true 10.37 5.88 None termination-restricted-15/a.09_assume.yml true 8.59 5.54 None termination-restricted-15/b.01.yml true 10.09 5.82 None termination-restricted-15/b.02.yml true 10.43 5.94 None termination-restricted-15/b.03-no-inv_assume.yml true 8.78 6.10 None termination-restricted-15/b.03_assume.yml true 10.63 6.06 None termination-restricted-15/b.04.yml true 9.08 5.26 None termination-restricted-15/b.05.yml true 8.57 5.43 None termination-restricted-15/b.06.yml TIMEOUT 900.99 767.00 None termination-restricted-15/b.07.yml true 10.83 6.16 None termination-restricted-15/b.09-no-inv_assume.yml TIMEOUT 900.48 875.96 None termination-restricted-15/b.09_assume.yml TIMEOUT 900.99 770.33 None termination-restricted-15/b.10.yml true 14.84 8.18 None termination-restricted-15/b.11.yml true 14.83 8.39 None termination-restricted-15/b.12.yml true 10.97 6.23 None termination-restricted-15/b.13.yml true 10.78 6.15 None termination-restricted-15/b.14.yml TIMEOUT 901.04 776.88 None termination-restricted-15/b.15.yml true 10.01 6.25 None termination-restricted-15/b.16.yml true 8.48 5.11 None termination-restricted-15/b.17.yml true 8.67 5.05 None termination-restricted-15/b.18.yml true 8.30 4.96 None termination-restricted-15/c.01-no-inv.yml true 8.39 5.03 None termination-restricted-15/c.01_assume.yml true 8.50 5.10 None termination-restricted-15/c.02.yml true 9.22 5.95 None termination-restricted-15/c.03.yml true 8.50 5.06 None termination-restricted-15/c.07.yml true 8.83 5.38 None termination-restricted-15/c.08.yml true 9.15 5.89 None termination-restricted-15/ex3a.yml true 11.74 8.92 None termination-restricted-15/ex3b.yml true 9.90 6.86 None termination-restricted-15/java_AG313.yml TIMEOUT 900.93 803.50 None termination-restricted-15/java_Break.yml true 12.07 7.66 None termination-restricted-15/java_Continue1.yml true 12.26 7.98 None termination-restricted-15/java_Nested.yml true 33.68 20.88 None termination-restricted-15/java_Sequence.yml true 117.63 89.84 None -------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 74714.85 5156.64 - sv-comp21_prop-termination.Termination-MainControlFlow Run set 4 of 4 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host -------------------------------------------------------------------------------------------------------------------------------------------------- termination-crafted/2Nested-1.yml true 9.19 5.54 None termination-crafted/4BitCounterPointer.yml TIMEOUT 901.12 840.10 None termination-crafted/4NestedWith3Variables-1.yml true 16.03 12.91 None termination-crafted/Ackermann-2.yml OUT OF MEMORY 95.83 62.97 None termination-crafted/Arrays01-EquivalentConstantIndices-1.yml TIMEOUT 900.41 886.23 None termination-crafted/Arrays02-EquivalentConstantIndices.yml false(termination) 8.75 5.86 None termination-crafted/Arrays03-ValueRestictsIndex-2.yml TIMEOUT 900.46 880.41 None termination-crafted/Bangalore-2.yml true 11.68 6.89 None termination-crafted/Bangalore_v2.yml false(termination) 10.37 5.90 None termination-crafted/Bangalore_v4.yml true 12.64 8.86 None termination-crafted/Benghazi.yml true 12.70 9.51 None termination-crafted/Benghazi_nondet-2.yml true 12.64 9.13 None termination-crafted/Cairo.yml true 9.99 5.88 None termination-crafted/Cairo_step2-1.yml true 9.24 5.69 None termination-crafted/Cairo_step2-3.yml ERROR 21.93 13.94 None termination-crafted/Collatz_bounded.yml TIMEOUT 900.47 882.14 None termination-crafted/Copenhagen.yml true 8.95 5.44 None termination-crafted/Copenhagen_disj-2.yml ERROR 32.15 23.08 None termination-crafted/Division-2.yml false(termination) 7.77 4.68 None termination-crafted/Gothenburg-1.yml true 16.25 9.34 None termination-crafted/LexIndexValue-Array-1.yml TIMEOUT 900.37 890.53 None termination-crafted/LexIndexValue-Pointer-2.yml TIMEOUT 900.37 889.37 None termination-crafted/Madrid.yml false(termination) 8.47 5.84 None termination-crafted/McCarthy91_Iteration.yml true 22.59 13.48 None termination-crafted/McCarthy91_Recursion.yml OUT OF MEMORY 65.37 52.80 None termination-crafted/MenloPark.yml true 9.29 6.51 None termination-crafted/MutualRecursion_1a.yml false(termination) 10.51 6.74 None termination-crafted/MutualRecursion_1b.yml OUT OF MEMORY 63.42 40.01 None termination-crafted/Mysore-3.yml ERROR 38.86 34.45 None termination-crafted/NestedRecursion_1b.yml true 21.35 13.78 None termination-crafted/NestedRecursion_1c.yml true 11.64 7.66 None termination-crafted/NestedRecursion_1d.yml true 14.50 9.10 None termination-crafted/NestedRecursion_2b.yml false(termination) 17.52 10.43 None termination-crafted/NestedRecursion_2c.yml OUT OF MEMORY 67.56 53.73 None termination-crafted/NonTerminationSimple7.yml false(termination) 8.16 4.78 None termination-crafted/Nyala-2lex-2.yml true 10.53 6.99 None termination-crafted/Parallel.yml true 9.40 6.02 None termination-crafted/Piecewise.yml true 17.00 9.81 None termination-crafted/Pure2Phase-1.yml true 10.34 6.29 None termination-crafted/Pure3Phase-1.yml true 11.54 7.21 None termination-crafted/RecursiveMultiplication-1.yml true 11.22 7.61 None termination-crafted/SyntaxSupportPointer01-2.yml true 11.88 7.03 None termination-crafted/TelAviv-Amir-Minimum.yml true 15.50 9.65 None termination-crafted/Thun-2.yml true 8.92 5.70 None termination-crafted/Toulouse-BranchesToLoop-2.yml true 10.06 6.51 None termination-crafted/Toulouse-MultiBranchesToLoop-2.yml true 14.58 8.46 None termination-crafted/Waldkirch.yml true 10.93 6.59 None termination-crafted/WhileFalse.yml true 7.65 5.33 None termination-crafted/WhileTrue.yml false(termination) 8.09 4.90 None termination-crafted/easy1.yml true 8.54 5.23 None termination-crafted/easy2-2.yml true 11.86 6.60 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1.yml true 19.22 11.81 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9.yml true 10.17 6.60 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1.yml true 8.61 5.37 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2-2.yml true 11.67 6.88 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops.yml true 24.17 19.60 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop-1.yml true 26.55 21.30 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d-2.yml true 10.92 6.46 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d.yml true 8.86 6.11 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2.yml true 9.88 6.33 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3.yml true 15.13 9.51 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4.yml true 14.58 8.76 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2.yml true 15.55 9.27 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2.yml true 9.86 6.57 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise.yml true 11.14 7.09 None termination-crafted-lit/Avery-FLOPS2006-Table1.yml true 12.63 7.38 None termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified.yml false(termination) 8.07 5.19 None termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1.yml true 12.72 8.06 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1.yml true 15.17 8.87 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a.yml true 11.71 7.78 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction.yml true 11.13 6.71 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1.yml true 8.84 5.62 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2.yml true 8.63 5.54 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d.yml true 9.00 6.03 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d.yml true 12.34 7.28 None termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction.yml false(termination) 8.53 5.30 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20.yml true 9.04 5.56 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01.yml true 11.56 6.88 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1.yml true 10.34 6.52 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a.yml true 16.34 9.58 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b.yml true 12.62 8.12 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified.yml true 11.69 7.84 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a.yml true 14.77 8.74 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b.yml true 11.72 8.24 None termination-crafted-lit/GopanReps-CAV2006-Fig1a.yml true 12.20 7.77 None termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1.yml true 45.63 36.91 None termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3.yml true 8.62 5.26 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1.yml true 8.54 5.89 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4.yml true 12.09 7.25 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5.yml ERROR 175.26 164.08 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6.yml true 8.62 5.38 None termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample.yml false(termination) 8.54 5.10 None termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex.yml true 11.75 6.92 None termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1.yml true 10.73 7.27 None termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1.yml true 14.74 9.18 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4.yml true 48.58 39.50 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5.yml ERROR 90.11 81.32 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1.yml true 8.79 5.55 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9.yml true 12.50 7.61 None termination-crafted-lit/LeikeHeizmann-WST2014-Ex9.yml true 9.24 6.08 None termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1.yml true 23.28 19.41 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1.yml true 8.50 5.33 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2.yml true 10.30 7.04 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4.yml true 14.38 8.84 None termination-crafted-lit/Urban-WST2013-Fig1.yml false(termination) 7.72 4.67 None termination-crafted-lit/Urban-WST2013-Fig2-modified1000.yml TIMEOUT 901.06 856.65 None termination-crafted-lit/Urban-WST2013-Fig2.yml true 10.14 7.11 None termination-crafted-lit/UrbanMine-ESOP2014-Fig3.yml true 17.12 10.02 None termination-crafted-lit/Velroyen.yml false(termination) 14.59 8.84 None termination-crafted-lit/aviad.yml true 11.79 6.84 None termination-crafted-lit/cstrcmp.yml true 11.00 6.57 None termination-crafted-lit/cstrcspn.yml true 21.79 12.17 None termination-crafted-lit/cstrlen.yml true 12.22 6.95 None termination-crafted-lit/cstrpbrk.yml true 23.19 14.86 None termination-crafted-lit/cstrspn.yml true 16.25 9.43 None termination-crafted-lit/genady.yml true 11.33 6.76 None termination-crafted-lit/strchr-2.yml true 23.52 13.96 None termination-numeric/Ackermann01-1.yml true 316.63 253.25 None termination-numeric/Binomial.yml OUT OF MEMORY 390.29 305.19 None termination-numeric/EvenOdd01-2.yml true 18.77 11.21 None termination-numeric/Fibonacci01-2.yml OUT OF MEMORY 51.01 34.15 None termination-numeric/LeUserDefRec.yml true 10.63 6.06 None termination-numeric/LogRecursive.yml ERROR (7) 697.51 671.29 None termination-numeric/Parts.yml OUT OF MEMORY 81.30 51.49 None termination-numeric/TerminatorRec02.yml true 9.01 5.64 None termination-numeric/TwoWay.yml true 18.78 14.45 None termination-numeric/gcd01-2.yml true 12.60 8.18 None termination-numeric/java_LogBuiltIn.yml true 9.03 5.51 None termination-numeric/recHanoi02-1.yml true 9.19 5.70 None termination-numeric/rec_counter1.yml true 10.71 6.50 None termination-numeric/rec_counter3.yml true 12.10 7.46 None termination-numeric/twisted.yml true 9.49 6.18 None termination-restricted-15/AlternKonv.yml false(termination) 9.74 6.01 None termination-restricted-15/ComplInterv2.yml false(termination) 10.66 6.05 None termination-restricted-15/ConvLower.yml false(termination) 7.87 4.99 None termination-restricted-15/DivMinus.yml true 8.74 5.93 None termination-restricted-15/DivMinus2.yml true 15.09 9.46 None termination-restricted-15/Ex02.yml false(termination) 7.55 4.49 None termination-restricted-15/Ex03.yml false(termination) 7.81 5.10 None termination-restricted-15/Ex05.yml false(termination) 7.72 4.63 None termination-restricted-15/Ex06.yml false(termination) 11.42 6.69 None termination-restricted-15/Ex07.yml false(termination) 9.01 5.66 None termination-restricted-15/Ex08.yml OUT OF MEMORY 192.21 172.20 None termination-restricted-15/Flip.yml false(termination) 8.46 5.19 None termination-restricted-15/Flip2.yml false(termination) 15.45 8.74 None termination-restricted-15/GCD-1.yml false(termination) 8.04 4.86 None termination-restricted-15/GCD2.yml false(termination) 10.04 5.78 None termination-restricted-15/GCD3.yml true 14.32 9.33 None termination-restricted-15/GCD4.yml true 16.00 10.28 None termination-restricted-15/IntPath.yml true 8.33 5.14 None termination-restricted-15/Log.yml true 10.46 7.43 None termination-restricted-15/LogAG.yml true 10.47 6.72 None termination-restricted-15/Loop-2.yml false(termination) 9.30 5.37 None termination-restricted-15/McCarthyIterative.yml true 13.01 8.14 None termination-restricted-15/MinusBuiltIn.yml true 11.50 7.14 None termination-restricted-15/MinusUserDefined.yml true 9.99 6.57 None termination-restricted-15/MirrorIntervSim.yml false(termination) 15.13 9.79 None termination-restricted-15/NO_00.yml false(termination) 10.40 5.80 None termination-restricted-15/NO_01.yml false(termination) 8.74 5.53 None termination-restricted-15/NO_02.yml false(termination) 8.00 4.87 None termination-restricted-15/NO_03.yml false(termination) 10.57 6.00 None termination-restricted-15/NO_04.yml false(termination) 9.93 6.14 None termination-restricted-15/NO_13.yml false(termination) 20.95 12.91 None termination-restricted-15/NO_21.yml false(termination) 9.71 5.59 None termination-restricted-15/NO_22.yml false(termination) 20.03 12.76 None termination-restricted-15/NO_23.yml false(termination) 16.28 9.08 None termination-restricted-15/NO_24.yml ERROR 13.73 8.21 None termination-restricted-15/NarrowKonv.yml false(termination) 59.92 36.45 None termination-restricted-15/Narrowing.yml false(termination) 15.88 10.45 None termination-restricted-15/Nested-2.yml true 9.79 5.93 None termination-restricted-15/PastaA1.yml true 10.17 7.55 None termination-restricted-15/PastaA10.yml true 11.45 7.54 None termination-restricted-15/PastaA4.yml true 8.83 5.65 None termination-restricted-15/PastaA7.yml true 8.75 5.41 None termination-restricted-15/PastaB1.yml true 8.73 5.46 None termination-restricted-15/PastaB14.yml true 8.86 5.54 None termination-restricted-15/PastaB15.yml true 8.61 5.64 None termination-restricted-15/PastaB16.yml true 9.43 5.78 None termination-restricted-15/PastaB17.yml true 9.19 6.06 None termination-restricted-15/PastaB2.yml true 8.98 5.39 None termination-restricted-15/PastaB4.yml true 11.39 6.77 None termination-restricted-15/PastaB6.yml true 8.46 5.17 None termination-restricted-15/PastaB7.yml true 8.91 5.66 None termination-restricted-15/PastaC3.yml true 13.41 8.40 None termination-restricted-15/PastaC7.yml true 20.32 17.64 None termination-restricted-15/PastaC9.yml true 11.00 7.00 None termination-restricted-15/Sequence.yml true 10.93 6.55 None termination-restricted-15/Sunset.yml false(termination) 10.86 7.14 None termination-restricted-15/Swingers.yml ERROR 18.37 10.89 None termination-restricted-15/TwoFloatInterv.yml false(termination) 7.32 4.92 None termination-restricted-15/UpAndDown.yml OUT OF MEMORY 46.07 27.97 None termination-restricted-15/UpAndDownIneq.yml false(termination) 14.32 9.49 None termination-restricted-15/WhileDecr.yml true 10.84 6.38 None termination-restricted-15/WhilePart.yml false(termination) 9.64 5.57 None termination-restricted-15/WhileSingle.yml false(termination) 7.52 4.65 None termination-restricted-15/a.01.yml true 12.86 7.82 None termination-restricted-15/a.04.yml true 8.18 5.81 None termination-restricted-15/a.05.yml true 8.51 5.63 None termination-restricted-15/a.06.yml true 11.30 6.44 None termination-restricted-15/a.07.yml true 12.14 7.07 None termination-restricted-15/a.08.yml true 8.49 5.72 None termination-restricted-15/a.09_assume.yml true 8.53 5.59 None termination-restricted-15/b.01.yml true 10.86 6.51 None termination-restricted-15/b.02.yml true 8.48 5.38 None termination-restricted-15/b.03-no-inv_assume.yml true 8.69 5.68 None termination-restricted-15/b.03_assume.yml true 11.31 7.02 None termination-restricted-15/b.04.yml true 9.83 6.97 None termination-restricted-15/b.05.yml true 11.36 6.83 None termination-restricted-15/b.06.yml true 8.19 5.58 None termination-restricted-15/b.07.yml true 8.96 5.76 None termination-restricted-15/b.09-no-inv_assume.yml true 15.81 9.33 None termination-restricted-15/b.09_assume.yml true 9.49 6.68 None termination-restricted-15/b.10.yml true 9.57 6.15 None termination-restricted-15/b.11.yml true 9.88 6.57 None termination-restricted-15/b.12.yml true 11.69 6.78 None termination-restricted-15/b.13.yml true 9.98 6.66 None termination-restricted-15/b.14.yml true 12.38 7.15 None termination-restricted-15/b.15.yml true 8.91 5.64 None termination-restricted-15/b.16.yml true 9.38 6.03 None termination-restricted-15/b.17.yml true 11.81 7.99 None termination-restricted-15/b.18.yml true 9.56 7.05 None termination-restricted-15/c.01-no-inv.yml true 10.45 7.22 None termination-restricted-15/c.01_assume.yml true 14.93 9.23 None termination-restricted-15/c.02.yml true 10.09 6.73 None termination-restricted-15/c.03.yml true 11.46 7.34 None termination-restricted-15/c.07.yml true 8.55 5.92 None termination-restricted-15/c.08.yml true 9.76 6.32 None termination-restricted-15/ex3a.yml ERROR 17.96 12.23 None termination-restricted-15/ex3b.yml ERROR 25.91 16.08 None termination-restricted-15/java_AG313.yml true 11.07 6.50 None termination-restricted-15/java_Break.yml true 9.06 6.19 None termination-restricted-15/java_Continue1.yml true 8.55 5.42 None termination-restricted-15/java_Nested.yml true 13.89 8.87 None termination-restricted-15/java_Sequence.yml true 9.58 6.24 None termination-nla/cohencu1-both-nt.yml false(termination) 8.89 5.56 None termination-nla/cohencu1-both-t.yml true 8.98 5.85 None termination-nla/cohencu2-both-nt.yml ERROR 15.48 10.19 None termination-nla/cohencu2-both-t.yml ERROR 17.58 13.39 None termination-nla/cohencu3-both-nt.yml ERROR 15.55 10.45 None termination-nla/cohencu3-both-t.yml ERROR 23.68 14.97 None termination-nla/cohencu4-both-nt.yml ERROR 22.04 13.39 None termination-nla/cohencu4-both-t.yml ERROR 16.66 11.32 None termination-nla/cohencu5-both-nt.yml ERROR 16.37 11.09 None termination-nla/cohencu5-both-t.yml ERROR 16.12 11.41 None termination-nla/cohencu6-both-t.yml ERROR 14.38 9.64 None termination-nla/cohencu7-both-t.yml ERROR 15.81 12.10 None termination-nla/dijkstra1-both-nt.yml false(termination) 10.87 6.26 None termination-nla/dijkstra1-both-t.yml true 601.22 563.83 None termination-nla/dijkstra2-both-t.yml OUT OF MEMORY 422.80 357.37 None termination-nla/dijkstra3-both-t.yml OUT OF MEMORY 529.35 449.23 None termination-nla/dijkstra4-both-t.yml OUT OF MEMORY 406.17 347.95 None termination-nla/dijkstra5-both-t.yml OUT OF MEMORY 388.78 328.99 None termination-nla/dijkstra6-both-t.yml OUT OF MEMORY 480.51 439.43 None termination-nla/divbin1-both-nt.yml false(termination) 8.24 5.59 None termination-nla/divbin1-both-t.yml ERROR 35.26 25.09 None termination-nla/egcd2-both-t.yml ERROR 20.66 15.53 None termination-nla/hard2-both-t.yml ERROR 64.36 59.89 None termination-nla/knuth-both-nt.yml ERROR (7) 10.47 5.78 None termination-nla/knuth-both-t.yml ERROR (7) 7.31 4.17 None termination-nla/knuth-nosqrt-both-nt.yml TIMEOUT 900.32 896.05 None termination-nla/knuth-nosqrt-both-t.yml TIMEOUT 900.32 894.07 None termination-nla/lcm1-both-nt.yml ERROR 474.82 464.55 None termination-nla/lcm1-both-t.yml ERROR 189.21 170.33 None termination-nla/mannadiv-both-nt.yml ERROR 21.00 12.63 None termination-nla/mannadiv-both-t.yml ERROR 17.69 11.47 None termination-nla/ps2-both-nt.yml ERROR 16.69 11.88 None termination-nla/ps2-both-t.yml ERROR 17.42 11.03 None termination-nla/ps3-both-nt.yml ERROR 16.00 10.55 None termination-nla/ps3-both-t.yml ERROR 13.81 9.71 None termination-nla/ps4-both-nt.yml ERROR 17.92 13.31 None termination-nla/ps4-both-t.yml ERROR 14.42 10.98 None termination-nla/ps5-both-nt.yml ERROR 15.26 11.89 None termination-nla/ps5-both-t.yml ERROR 17.30 10.75 None termination-nla/ps6-both-nt.yml ERROR 15.82 10.71 None termination-nla/ps6-both-t.yml ERROR 15.22 10.82 None termination-nla/sqrt1-both-nt.yml ERROR 15.68 11.99 None termination-nla/sqrt1-both-t.yml ERROR 18.71 13.13 None -------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 17207.93 1744.09 - Statistics: 2475 Files correct: 1463 correct true: 883 correct false: 580 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1012 Score: 2346 (max: 4073)