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: Sat, 2023-02-18 09:25:01 CET tool: ULTIMATE Automizer 0.2.2-574ddb4e 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.36 889.54 None array-examples/data_structures_set_multi_proc_ground-2.yml TIMEOUT 900.38 888.66 None array-examples/relax-2-2.yml TIMEOUT 900.55 855.37 None array-examples/sanfoundry_02_ground.yml TIMEOUT 900.41 881.79 None array-examples/sanfoundry_10_ground.yml TIMEOUT 900.32 797.55 None array-examples/sanfoundry_43_ground.yml true 8.00 5.31 None array-examples/sorting_selectionsort_2_ground.yml TIMEOUT 900.76 822.07 None array-examples/sorting_selectionsort_ground-1.yml TIMEOUT 900.73 825.24 None array-examples/sorting_selectionsort_ground-2.yml TIMEOUT 900.74 824.28 None array-examples/standard_allDiff2_ground.yml TIMEOUT 901.25 853.13 None array-examples/standard_copy2_ground-1.yml TIMEOUT 900.35 895.19 None array-examples/standard_copy2_ground-2.yml TIMEOUT 900.47 882.86 None array-examples/standard_copy3_ground-1.yml TIMEOUT 900.36 894.44 None array-examples/standard_copy3_ground-2.yml TIMEOUT 900.36 894.00 None array-examples/standard_copy4_ground-1.yml TIMEOUT 900.33 895.19 None array-examples/standard_copy4_ground-2.yml TIMEOUT 900.36 893.77 None array-examples/standard_copy5_ground-1.yml TIMEOUT 900.38 889.67 None array-examples/standard_copy5_ground-2.yml TIMEOUT 900.39 889.92 None array-examples/standard_copy6_ground-1.yml TIMEOUT 900.39 890.28 None array-examples/standard_copy6_ground-2.yml TIMEOUT 900.34 894.30 None array-examples/standard_copy7_ground-1.yml TIMEOUT 900.34 894.13 None array-examples/standard_copy7_ground-2.yml TIMEOUT 900.40 890.02 None array-examples/standard_copy8_ground-1.yml TIMEOUT 900.34 893.51 None array-examples/standard_copy8_ground-2.yml TIMEOUT 900.35 894.59 None array-examples/standard_copy9_ground-1.yml TIMEOUT 900.36 891.95 None array-examples/standard_copy9_ground-2.yml TIMEOUT 900.35 892.69 None array-examples/standard_copyInitSum2_ground-1.yml TIMEOUT 900.37 891.57 None array-examples/standard_copyInitSum2_ground-2.yml TIMEOUT 900.36 892.49 None array-examples/standard_copyInitSum3_ground.yml TIMEOUT 900.37 891.92 None array-examples/standard_copyInitSum_ground.yml TIMEOUT 900.36 891.59 None array-examples/standard_partial_init_ground.yml TIMEOUT 900.41 888.90 None array-examples/standard_partition_ground-1.yml TIMEOUT 900.48 878.95 None array-examples/standard_partition_ground-2.yml TIMEOUT 900.74 841.51 None array-examples/standard_partition_original_ground.yml TIMEOUT 900.53 880.35 None array-examples/standard_sentinel-2.yml TIMEOUT 900.74 865.32 None array-examples/standard_sentinel.i.v+cfa-reducer.yml TIMEOUT 900.98 811.80 None array-examples/standard_seq_init_ground.yml TIMEOUT 900.34 890.92 None array-examples/standard_two_index_01.yml TIMEOUT 900.37 891.60 None array-examples/standard_two_index_02.yml TIMEOUT 900.33 895.31 None array-examples/standard_two_index_03.yml TIMEOUT 900.35 891.93 None array-examples/standard_two_index_04.yml TIMEOUT 900.33 892.54 None array-examples/standard_two_index_05.yml TIMEOUT 900.34 893.28 None array-examples/standard_two_index_06.yml TIMEOUT 900.33 893.68 None array-examples/standard_two_index_07.yml TIMEOUT 900.56 867.62 None array-examples/standard_two_index_08.yml TIMEOUT 900.47 876.78 None array-examples/standard_two_index_09.yml TIMEOUT 900.59 870.29 None array-examples/standard_vararg_ground.yml TIMEOUT 900.57 866.35 None array-examples/standard_vector_difference_ground.yml TIMEOUT 900.39 886.55 None array-industry-pattern/array_mul_init.yml TIMEOUT 900.34 894.56 None array-industry-pattern/array_of_struct_ptr_mul_init.yml TIMEOUT 900.38 894.50 None array-industry-pattern/array_shadowinit.yml TIMEOUT 900.51 865.46 None array-industry-pattern/check_removal_from_set_after_insertion.yml TIMEOUT 900.65 842.69 None reducercommutativity/avg05-1.yml TIMEOUT 900.54 885.74 None reducercommutativity/avg10-2.yml TIMEOUT 900.65 858.81 None reducercommutativity/avg20-2.yml TIMEOUT 900.72 842.34 None reducercommutativity/avg40-2.yml TIMEOUT 901.10 841.43 None reducercommutativity/avg60-1.yml TIMEOUT 900.36 888.99 None reducercommutativity/rangesum.yml false(unreach-call) 17.54 10.81 None reducercommutativity/rangesum05.yml false(unreach-call) 16.34 11.13 None reducercommutativity/rangesum10.yml false(unreach-call) 23.24 17.25 None reducercommutativity/rangesum20.yml false(unreach-call) 29.93 22.42 None reducercommutativity/rangesum40.yml TIMEOUT 900.53 886.91 None reducercommutativity/rangesum60.yml TIMEOUT 900.37 888.12 None reducercommutativity/sep.yml TIMEOUT 900.44 875.19 None reducercommutativity/sep10-2.yml TIMEOUT 900.49 865.81 None reducercommutativity/sep20-1.yml TIMEOUT 900.97 809.47 None reducercommutativity/sep40-1.yml TIMEOUT 900.78 839.78 None reducercommutativity/sep60-2.yml TIMEOUT 900.39 884.70 None reducercommutativity/sum05-2.yml TIMEOUT 900.42 880.30 None reducercommutativity/sum10-1.yml TIMEOUT 900.68 879.57 None reducercommutativity/sum20-2.yml TIMEOUT 900.70 847.80 None reducercommutativity/sum40-2.yml TIMEOUT 900.84 845.02 None reducercommutativity/sum60-2.yml TIMEOUT 900.36 888.42 None array-tiling/poly2.yml TIMEOUT 900.45 871.84 None array-programs/copysome1-1.yml TIMEOUT 900.35 892.61 None array-programs/copysome1-2.yml TIMEOUT 900.42 888.14 None array-programs/copysome2-1.yml TIMEOUT 900.49 876.06 None array-programs/copysome2-2.yml TIMEOUT 900.50 877.49 None array-programs/partial_mod_count_1.yml TIMEOUT 900.41 885.77 None array-programs/partial_mod_count_2.yml TIMEOUT 900.38 890.27 None array-programs/partial_mod_count_3.yml TIMEOUT 900.36 892.24 None array-programs/partial_mod_count_4.yml TIMEOUT 900.37 892.51 None array-programs/partial_mod_count_5.yml TIMEOUT 900.38 890.97 None array-programs/partial_mod_count_limited_1.yml TIMEOUT 900.39 887.42 None array-programs/partial_mod_count_limited_2.yml TIMEOUT 900.62 877.02 None array-programs/partial_mod_count_limited_3.yml TIMEOUT 900.70 854.51 None array-programs/partial_mod_count_limited_4.yml TIMEOUT 900.64 875.41 None array-programs/partial_mod_count_limited_5.yml TIMEOUT 900.67 856.50 None array-programs/partial_mod_count_limited_base.yml TIMEOUT 900.38 890.31 None array-programs/partial_mod_count_limited_gen.yml TIMEOUT 900.35 892.59 None array-crafted/mapavg1.yml TIMEOUT 900.45 876.97 None array-crafted/mapavg2.yml TIMEOUT 900.45 878.65 None array-crafted/mapavg3.yml TIMEOUT 900.45 876.19 None array-crafted/mapavg4.yml TIMEOUT 900.39 884.67 None array-crafted/mapavg5.yml TIMEOUT 900.44 882.71 None array-crafted/mapsum1.yml TIMEOUT 900.39 883.11 None array-crafted/mapsum2.yml TIMEOUT 900.40 884.57 None array-crafted/mapsum3.yml TIMEOUT 900.40 883.12 None array-crafted/mapsum4.yml TIMEOUT 900.39 884.73 None array-crafted/mapsum5.yml TIMEOUT 900.37 885.17 None array-crafted/zero_sum1.yml TIMEOUT 900.42 881.33 None array-crafted/zero_sum2.yml TIMEOUT 900.40 883.53 None array-crafted/zero_sum3.yml TIMEOUT 901.04 867.89 None array-crafted/zero_sum4.yml TIMEOUT 901.34 849.56 None array-crafted/zero_sum5.yml TIMEOUT 900.47 874.99 None array-crafted/zero_sum_const1.yml OUT OF MEMORY 361.91 331.89 None array-crafted/zero_sum_const2.yml TIMEOUT 900.44 881.05 None array-crafted/zero_sum_const3.yml TIMEOUT 900.63 876.15 None array-crafted/zero_sum_const4.yml TIMEOUT 900.42 884.48 None array-crafted/zero_sum_const5.yml TIMEOUT 900.43 871.87 None array-crafted/zero_sum_const_m2.yml OUT OF MEMORY 324.06 303.72 None array-crafted/zero_sum_const_m3.yml TIMEOUT 900.42 877.30 None array-crafted/zero_sum_const_m4.yml TIMEOUT 901.01 867.43 None array-crafted/zero_sum_const_m5.yml TIMEOUT 900.73 875.92 None array-crafted/zero_sum_m2.yml TIMEOUT 900.55 868.80 None array-crafted/zero_sum_m3.yml TIMEOUT 900.37 886.50 None array-crafted/zero_sum_m4.yml TIMEOUT 900.39 884.21 None array-crafted/zero_sum_m5.yml TIMEOUT 900.45 874.98 None array-multidimensional/copy-partial-3-u.yml TIMEOUT 900.35 894.19 None array-multidimensional/transpose-u.yml TIMEOUT 900.39 890.42 None array-patterns/array10_pattern.yml TIMEOUT 900.54 881.72 None array-patterns/array11_pattern.yml TIMEOUT 900.85 875.35 None array-patterns/array12_pattern.yml TIMEOUT 900.74 880.79 None array-patterns/array13_pattern.yml TIMEOUT 900.37 889.57 None array-patterns/array14_pattern.yml OUT OF MEMORY 145.55 125.63 None array-patterns/array15_pattern.yml TIMEOUT 900.68 874.76 None array-patterns/array16_pattern.yml OUT OF MEMORY 509.66 497.30 None array-patterns/array17_pattern.yml TIMEOUT 900.41 885.77 None array-patterns/array18_pattern.yml TIMEOUT 900.41 886.73 None array-patterns/array19_pattern.yml TIMEOUT 900.42 886.70 None array-patterns/array1_pattern.yml TIMEOUT 900.41 885.16 None array-patterns/array20_pattern.yml TIMEOUT 900.39 887.13 None array-patterns/array21_pattern.yml TIMEOUT 900.46 880.16 None array-patterns/array22_pattern.yml OUT OF MEMORY 110.72 95.68 None array-patterns/array23_pattern.yml OUT OF MEMORY 170.78 152.40 None array-patterns/array24_pattern.yml TIMEOUT 900.35 888.95 None array-patterns/array25_pattern.yml TIMEOUT 900.36 892.84 None array-patterns/array26_pattern.yml TIMEOUT 900.44 887.38 None array-patterns/array27_pattern.yml TIMEOUT 900.65 878.98 None array-patterns/array28_pattern.yml TIMEOUT 901.02 865.64 None array-patterns/array29_pattern.yml TIMEOUT 900.40 890.65 None array-patterns/array2_pattern.yml TIMEOUT 900.66 872.36 None array-patterns/array30_pattern.yml TIMEOUT 900.41 884.72 None array-patterns/array3_pattern.yml TIMEOUT 900.66 869.99 None array-patterns/array4_pattern.yml TIMEOUT 900.62 872.28 None array-patterns/array5_pattern.yml TIMEOUT 900.59 873.80 None array-patterns/array6_pattern.yml TIMEOUT 900.49 890.66 None array-patterns/array7_pattern.yml TIMEOUT 900.39 886.91 None array-patterns/array8_pattern.yml OUT OF MEMORY 376.84 333.07 None array-patterns/array9_pattern.yml TIMEOUT 900.46 879.33 None array-cav19/array_doub_access_init_const.yml TIMEOUT 900.35 889.68 None array-cav19/array_init_both_ends_multiple_sum.yml TIMEOUT 900.44 885.71 None array-cav19/array_init_pair_sum_const.yml TIMEOUT 900.41 890.13 None array-cav19/array_init_pair_symmetr.yml TIMEOUT 900.41 883.46 None array-cav19/array_init_pair_symmetr2.yml TIMEOUT 900.42 888.13 None array-cav19/array_init_var_plus_ind.yml TIMEOUT 900.41 885.04 None array-cav19/array_init_var_plus_ind2.yml TIMEOUT 901.17 855.71 None array-cav19/array_init_var_plus_ind3.yml TIMEOUT 900.42 885.85 None array-cav19/array_min_and_copy_shift_sum_add.yml TIMEOUT 900.44 879.06 None array-cav19/array_tiling_poly6.yml OUT OF MEMORY 174.28 151.47 None array-cav19/array_tiling_tcpy.yml TIMEOUT 900.42 889.61 None array-cav19/array_tripl_access_init_const.yml TIMEOUT 900.33 893.43 None array-lopstr16/motivex.yml TIMEOUT 900.36 894.09 None array-lopstr16/scalar_loopdep.yml TIMEOUT 900.42 887.73 None array-lopstr16/sum_multi_array.yml OUT OF MEMORY 39.32 34.05 None array-fpi/brs1.yml TIMEOUT 872.98 931.00 None array-fpi/brs1f.yml false(unreach-call) 9.81 6.50 None array-fpi/brs2.yml TIMEOUT 900.32 892.46 None array-fpi/brs2f.yml TIMEOUT 900.38 886.77 None array-fpi/brs3.yml TIMEOUT 900.37 886.34 None array-fpi/brs3f.yml false(unreach-call) 14.49 8.56 None array-fpi/brs4.yml TIMEOUT 900.60 878.88 None array-fpi/brs4f.yml false(unreach-call) 13.56 9.60 None array-fpi/brs5.yml TIMEOUT 900.36 891.67 None array-fpi/brs5f.yml false(unreach-call) 13.40 9.89 None array-fpi/conda.yml TIMEOUT 900.42 880.25 None array-fpi/condaf.yml false(unreach-call) 11.50 6.69 None array-fpi/condg.yml TIMEOUT 900.42 882.78 None array-fpi/condgf.yml false(unreach-call) 12.24 7.42 None array-fpi/condm.yml TIMEOUT 901.08 839.16 None array-fpi/condmf.yml false(unreach-call) 9.54 6.89 None array-fpi/eqn1.yml TIMEOUT 900.54 880.92 None array-fpi/eqn1f.yml TIMEOUT 900.45 885.64 None array-fpi/eqn2.yml OUT OF MEMORY 758.92 745.11 None array-fpi/eqn2f.yml false(unreach-call) 11.47 7.71 None array-fpi/eqn3.yml OUT OF MEMORY 190.35 171.75 None array-fpi/eqn3f.yml false(unreach-call) 9.30 7.55 None array-fpi/eqn4.yml TIMEOUT 900.52 890.83 None array-fpi/eqn4f.yml false(unreach-call) 9.26 5.94 None array-fpi/eqn5.yml TIMEOUT 900.39 886.60 None array-fpi/eqn5f.yml false(unreach-call) 12.23 8.53 None array-fpi/ifcomp.yml TIMEOUT 900.52 879.80 None array-fpi/ifcompf.yml false(unreach-call) 13.57 9.38 None array-fpi/ifeqn1.yml TIMEOUT 900.38 890.03 None array-fpi/ifeqn1f.yml false(unreach-call) 11.96 7.25 None array-fpi/ifeqn2.yml TIMEOUT 900.41 883.08 None array-fpi/ifeqn2f.yml false(unreach-call) 11.33 7.06 None array-fpi/ifeqn3.yml TIMEOUT 900.42 882.24 None array-fpi/ifeqn3f.yml false(unreach-call) 16.41 10.33 None array-fpi/ifeqn4.yml TIMEOUT 900.41 882.66 None array-fpi/ifeqn4f.yml false(unreach-call) 10.26 7.07 None array-fpi/ifeqn5.yml TIMEOUT 900.38 889.16 None array-fpi/ifeqn5f.yml false(unreach-call) 12.11 7.40 None array-fpi/ifncomp.yml TIMEOUT 900.79 875.09 None array-fpi/ifncompf.yml false(unreach-call) 9.32 6.60 None array-fpi/indp1f.yml false(unreach-call) 11.34 6.55 None array-fpi/indp2.yml TIMEOUT 900.38 890.30 None array-fpi/indp2f.yml false(unreach-call) 11.39 6.69 None array-fpi/indp3.yml OUT OF MEMORY 196.52 168.67 None array-fpi/indp3f.yml false(unreach-call) 9.52 6.04 None array-fpi/indp4.yml TIMEOUT 900.35 893.39 None array-fpi/indp4f.yml false(unreach-call) 9.39 6.39 None array-fpi/indp5.yml TIMEOUT 900.63 888.87 None array-fpi/indp5f.yml false(unreach-call) 8.82 5.82 None array-fpi/modn.yml TIMEOUT 900.39 886.83 None array-fpi/modnf.yml false(unreach-call) 12.17 7.10 None array-fpi/modp.yml TIMEOUT 900.54 872.06 None array-fpi/modpf.yml false(unreach-call) 9.09 5.95 None array-fpi/mods.yml OUT OF MEMORY 528.96 505.94 None array-fpi/modsf.yml false(unreach-call) 8.75 5.78 None array-fpi/ms1.yml TIMEOUT 900.36 886.97 None array-fpi/ms1f.yml false(unreach-call) 8.80 5.36 None array-fpi/ms2.yml TIMEOUT 900.41 884.86 None array-fpi/ms2f.yml false(unreach-call) 8.90 5.49 None array-fpi/ms3.yml TIMEOUT 900.35 887.46 None array-fpi/ms3f.yml false(unreach-call) 10.62 6.00 None array-fpi/ms4.yml TIMEOUT 900.40 881.66 None array-fpi/ms4f.yml false(unreach-call) 8.33 5.03 None array-fpi/ms5.yml TIMEOUT 900.39 885.57 None array-fpi/ms5f.yml false(unreach-call) 11.59 6.60 None array-fpi/ncomp.yml TIMEOUT 900.86 878.76 None array-fpi/ncompf.yml false(unreach-call) 12.17 7.23 None array-fpi/nsqm-if.yml TIMEOUT 900.42 880.56 None array-fpi/nsqm-iff.yml false(unreach-call) 8.83 5.94 None array-fpi/nsqm.yml TIMEOUT 900.40 886.19 None array-fpi/nsqmf.yml false(unreach-call) 8.63 5.84 None array-fpi/pcomp.yml TIMEOUT 900.66 884.55 None array-fpi/pcompf.yml TIMEOUT 900.50 885.84 None array-fpi/res1.yml TIMEOUT 900.67 873.85 None array-fpi/res1f.yml false(unreach-call) 8.71 5.30 None array-fpi/res1o.yml TIMEOUT 900.43 889.32 None array-fpi/res1of.yml false(unreach-call) 8.77 5.39 None array-fpi/res2.yml TIMEOUT 900.36 889.51 None array-fpi/res2f.yml false(unreach-call) 11.53 6.49 None array-fpi/res2o.yml TIMEOUT 900.40 884.86 None array-fpi/res2of.yml false(unreach-call) 8.86 5.35 None array-fpi/s12if.yml TIMEOUT 900.65 875.51 None array-fpi/s12iff.yml false(unreach-call) 9.43 5.85 None array-fpi/s1if.yml TIMEOUT 900.69 879.35 None array-fpi/s1iff.yml false(unreach-call) 12.35 7.96 None array-fpi/s1lif.yml TIMEOUT 900.41 878.10 None array-fpi/s1liff.yml false(unreach-call) 9.32 5.91 None array-fpi/s22if.yml TIMEOUT 900.69 880.42 None array-fpi/s22iff.yml false(unreach-call) 9.06 5.48 None array-fpi/s2if.yml TIMEOUT 900.63 877.00 None array-fpi/s2iff.yml false(unreach-call) 15.25 9.07 None array-fpi/s2lif.yml TIMEOUT 900.47 879.93 None array-fpi/s2liff.yml false(unreach-call) 11.50 6.47 None array-fpi/s32if.yml TIMEOUT 900.69 873.54 None array-fpi/s32iff.yml false(unreach-call) 9.11 5.35 None array-fpi/s3if.yml TIMEOUT 900.64 875.22 None array-fpi/s3iff.yml false(unreach-call) 11.86 7.73 None array-fpi/s3lif.yml TIMEOUT 900.44 884.76 None array-fpi/s3liff.yml false(unreach-call) 8.67 5.38 None array-fpi/s42if.yml TIMEOUT 900.51 882.65 None array-fpi/s42iff.yml false(unreach-call) 8.91 5.37 None array-fpi/s4if.yml TIMEOUT 900.68 877.61 None array-fpi/s4iff.yml false(unreach-call) 12.62 7.95 None array-fpi/s4lif.yml TIMEOUT 900.83 876.67 None array-fpi/s4liff.yml false(unreach-call) 8.12 5.15 None array-fpi/s52if.yml TIMEOUT 900.62 879.09 None array-fpi/s52iff.yml false(unreach-call) 11.17 6.36 None array-fpi/s5if.yml TIMEOUT 900.68 860.54 None array-fpi/s5iff.yml false(unreach-call) 8.43 5.42 None array-fpi/s5lif.yml TIMEOUT 901.00 866.21 None array-fpi/s5liff.yml false(unreach-call) 9.07 5.49 None array-fpi/sina1.yml TIMEOUT 900.39 883.48 None array-fpi/sina1f.yml false(unreach-call) 11.24 6.37 None array-fpi/sina2.yml TIMEOUT 900.42 881.88 None array-fpi/sina2f.yml false(unreach-call) 9.02 5.25 None array-fpi/sina3.yml TIMEOUT 900.37 886.45 None array-fpi/sina3f.yml false(unreach-call) 9.13 5.47 None array-fpi/sina4.yml OUT OF MEMORY 548.35 518.89 None array-fpi/sina4f.yml false(unreach-call) 11.17 6.37 None array-fpi/sina5.yml TIMEOUT 900.39 882.49 None array-fpi/sina5f.yml false(unreach-call) 12.04 6.88 None array-fpi/sqm-if.yml TIMEOUT 900.40 883.41 None array-fpi/sqm-iff.yml false(unreach-call) 9.73 6.07 None array-fpi/sqm.yml TIMEOUT 901.06 859.45 None array-fpi/sqmf.yml false(unreach-call) 8.58 5.58 None array-fpi/ss1.yml TIMEOUT 900.68 880.30 None array-fpi/ss1f.yml false(unreach-call) 9.33 6.46 None array-fpi/ss2.yml OUT OF MEMORY 627.46 596.65 None array-fpi/ss2f.yml false(unreach-call) 9.43 6.46 None array-fpi/ss3.yml OUT OF MEMORY 512.66 488.72 None array-fpi/ss3f.yml false(unreach-call) 9.28 6.14 None array-fpi/ss4.yml TIMEOUT 900.45 888.59 None array-fpi/ss4f.yml false(unreach-call) 9.10 6.38 None array-fpi/ssina.yml TIMEOUT 900.67 876.86 None array-fpi/ssinaf.yml false(unreach-call) 12.04 7.37 None bitvector/byte_add-1.yml TIMEOUT 900.47 868.69 None bitvector/byte_add_1-1.yml TIMEOUT 900.36 891.16 None bitvector/byte_add_2-2.yml TIMEOUT 900.71 859.61 None bitvector/gcd_1.yml TIMEOUT 900.89 874.82 None bitvector/gcd_2.yml TIMEOUT 900.72 874.80 None bitvector/gcd_3.yml TIMEOUT 900.54 880.88 None bitvector/gcd_4.yml true 630.81 610.57 None bitvector/interleave_bits.yml true 126.22 116.05 None bitvector/jain_1-1.yml true 9.01 5.76 None bitvector/jain_2-1.yml true 21.37 18.01 None bitvector/jain_4-2.yml true 13.90 10.19 None bitvector/jain_5-2.yml TIMEOUT 900.32 891.02 None bitvector/jain_6-1.yml true 21.08 15.46 None bitvector/jain_7-2.yml true 15.34 11.68 None bitvector/modulus-2.yml true 45.06 28.41 None bitvector/num_conversion_1.yml true 25.15 16.10 None bitvector/num_conversion_2.yml TIMEOUT 900.95 847.89 None bitvector/parity.yml TIMEOUT 900.36 888.10 None bitvector/s3_clnt_2.BV.c.cil-1a.yml true 37.40 25.44 None bitvector/s3_clnt_2.BV.c.cil-2a.yml false(unreach-call) 38.87 23.59 None bitvector/s3_clnt_3.BV.c.cil-1a.yml true 33.35 18.36 None bitvector/s3_clnt_3.BV.c.cil-2a.yml false(unreach-call) 26.22 17.50 None bitvector/s3_srvr_1a.BV.c.cil.yml true 18.20 10.73 None bitvector/s3_srvr_2a.BV.c.cil.yml true 56.75 33.77 None bitvector/s3_srvr_2a_alt.BV.c.cil.yml true 47.87 33.56 None bitvector/s3_srvr_3a.BV.c.cil.yml true 22.35 14.17 None bitvector/s3_srvr_3a_alt.BV.c.cil.yml true 28.26 16.97 None bitvector/soft_float_1-2a.c.cil.yml TIMEOUT 900.52 875.72 None bitvector/soft_float_1-3a.c.cil.yml TIMEOUT 900.55 877.31 None bitvector/soft_float_2a.c.cil.yml true 21.71 14.79 None bitvector/soft_float_3a.c.cil.yml TIMEOUT 900.56 875.30 None bitvector/soft_float_4-2a.c.cil.yml TIMEOUT 900.45 876.86 None bitvector/soft_float_4-3a.c.cil.yml TIMEOUT 900.68 858.11 None bitvector/soft_float_5a.c.cil.yml true 21.63 13.82 None bitvector/sum02-1.yml TIMEOUT 900.30 895.97 None bitvector/sum02-2.yml TIMEOUT 900.42 887.18 None bitvector-regression/implicitfloatconversion.yml false(unreach-call) 18.06 10.40 None bitvector-regression/implicitunsignedconversion-1.yml false(unreach-call) 9.54 5.56 None bitvector-regression/implicitunsignedconversion-2.yml true 10.31 5.83 None bitvector-regression/integerpromotion-2.yml true 18.15 10.42 None bitvector-regression/integerpromotion-3.yml false(unreach-call) 17.54 10.34 None bitvector-regression/recHanoi03-1.yml false(unreach-call) 330.74 286.77 None bitvector-regression/signextension-1.yml false(unreach-call) 7.92 5.23 None bitvector-regression/signextension-2.yml true 8.73 5.25 None bitvector-regression/signextension2-1.yml true 8.79 5.61 None bitvector-regression/signextension2-2.yml false(unreach-call) 8.56 5.44 None bitvector-loops/diamond_2-1.yml false(unreach-call) 9.15 5.60 None bitvector-loops/overflow_1-2.yml TIMEOUT 900.33 889.79 None bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.yml TIMEOUT 900.63 881.08 None openssl-simplified/s3_srvr_1b.cil.yml true 9.62 5.87 None locks/test_locks_10.yml true 18.06 10.04 None locks/test_locks_11.yml true 23.64 13.72 None locks/test_locks_12.yml true 33.35 22.20 None locks/test_locks_13.yml OUT OF MEMORY 52.04 35.53 None locks/test_locks_14-1.yml OUT OF MEMORY 66.28 41.85 None locks/test_locks_14-2.yml false(unreach-call) 9.11 5.76 None locks/test_locks_15-1.yml false(unreach-call) 9.88 5.83 None locks/test_locks_15-2.yml OUT OF MEMORY 47.95 32.35 None locks/test_locks_5.yml true 12.47 6.81 None locks/test_locks_6.yml true 12.83 7.14 None locks/test_locks_7.yml true 10.79 6.47 None locks/test_locks_8.yml true 16.00 8.62 None locks/test_locks_9.yml true 14.22 8.19 None ntdrivers/cdaudio.i.cil-1.yml TIMEOUT 900.60 839.19 None ntdrivers/diskperf.i.cil-1.yml TIMEOUT 900.97 841.92 None ntdrivers/diskperf.i.cil-2.yml false(unreach-call) 30.13 17.60 None ntdrivers/floppy.i.cil-1.yml TIMEOUT 900.57 847.05 None ntdrivers/floppy.i.cil-3.yml TIMEOUT 901.14 821.96 None ntdrivers/kbfiltr.i.cil-2.yml TIMEOUT 900.43 871.63 None ntdrivers/parport.i.cil-1.yml unknown 149.90 118.23 None ntdrivers/parport.i.cil-2.yml TIMEOUT 901.06 841.50 None heap-manipulation/bubble_sort_linux-1.yml TIMEOUT 900.75 858.31 None heap-manipulation/bubble_sort_linux-2.yml TIMEOUT 900.44 877.55 None heap-manipulation/dancing.yml TIMEOUT 900.51 866.42 None heap-manipulation/dll_of_dll-1.yml TIMEOUT 900.59 873.95 None heap-manipulation/dll_of_dll-2.yml TIMEOUT 900.49 871.93 None heap-manipulation/merge_sort-1.yml false(unreach-call) 14.06 7.97 None heap-manipulation/merge_sort-2.yml TIMEOUT 900.41 876.70 None heap-manipulation/sll_to_dll_rev-1.yml TIMEOUT 900.34 888.30 None heap-manipulation/sll_to_dll_rev-2.yml TIMEOUT 900.45 883.97 None heap-manipulation/tree-2.yml TIMEOUT 900.54 876.09 None heap-manipulation/tree-3.yml TIMEOUT 900.45 884.20 None heap-manipulation/tree-4.yml TIMEOUT 901.10 861.10 None list-properties/alternating_list-1.yml OUT OF MEMORY 881.50 787.12 None list-properties/alternating_list-2.yml false(unreach-call) 9.91 5.83 None list-properties/list-1.yml TIMEOUT 900.37 887.47 None list-properties/list-2.yml TIMEOUT 900.88 870.90 None list-properties/list_flag-1.yml false(unreach-call) 12.80 7.13 None list-properties/list_flag-2.yml TIMEOUT 900.63 868.54 None list-properties/list_search-1.yml TIMEOUT 900.40 884.04 None list-properties/list_search-2.yml OUT OF MEMORY 240.87 196.71 None list-properties/simple-1.yml false(unreach-call) 9.71 6.25 None list-properties/simple-2.yml TIMEOUT 900.36 888.20 None list-properties/simple_built_from_end.yml TIMEOUT 900.40 884.02 None list-properties/splice-1.yml false(unreach-call) 10.04 5.92 None list-properties/splice-2.yml TIMEOUT 900.40 882.32 None ldv-regression/1_3.yml false(unreach-call) 8.21 4.91 None ldv-regression/alt_test.yml false(unreach-call) 9.16 5.49 None ldv-regression/callfpointer.yml false(unreach-call) 7.95 4.60 None ldv-regression/ex3_forlist.yml true 46.75 29.33 None ldv-regression/fo_test.yml false(unreach-call) 9.26 5.55 None ldv-regression/just_assert.yml true 7.82 4.70 None ldv-regression/mutex_lock_int.yml false(unreach-call) 8.62 5.13 None ldv-regression/mutex_lock_struct.yml false(unreach-call) 8.53 5.19 None ldv-regression/recursive_list.yml false(unreach-call) 8.12 4.93 None ldv-regression/rule57_ebda_blast.c_1.yml true 9.89 5.87 None ldv-regression/rule57_ebda_blast.yml true 10.04 5.84 None ldv-regression/rule57_ebda_blast_2.yml false(unreach-call) 9.70 5.72 None ldv-regression/rule60_list.yml true 11.02 6.41 None ldv-regression/rule60_list2.c_1.yml false(unreach-call) 20.67 12.85 None ldv-regression/rule60_list2.yml true 19.28 12.23 None ldv-regression/sizeofparameters_test.yml true 7.67 4.71 None ldv-regression/test01.yml true 8.29 5.09 None ldv-regression/test02.yml false(unreach-call) 7.35 4.52 None ldv-regression/test12.yml false(unreach-call) 7.71 4.66 None ldv-regression/test13.yml true 8.27 4.95 None ldv-regression/test17.yml true 7.82 4.54 None ldv-regression/test20.yml true 7.86 4.78 None ldv-regression/test21-2.yml false(unreach-call) 8.10 4.87 None ldv-regression/test25-1.yml false(unreach-call) 23.92 13.62 None ldv-regression/test26-2.yml false(unreach-call) 7.84 4.69 None ldv-regression/test28-1.yml false(unreach-call) 7.98 4.97 None ldv-regression/test29-1.yml false(unreach-call) 8.44 5.34 None ldv-regression/test30-2.yml false(unreach-call) 8.04 5.48 None ldv-regression/test_address.yml true 7.91 4.75 None ldv-regression/test_cut_trace.yml true 8.10 5.64 None ldv-regression/test_malloc-1.yml true 8.57 5.17 None ldv-regression/test_malloc-2.yml true 8.64 5.88 None ldv-regression/test_overflow.yml true 8.92 5.32 None ddv-machzwd/ddv_machzwd_all.yml unknown 41.65 26.16 None ddv-machzwd/ddv_machzwd_inb.yml true 12.18 6.91 None ddv-machzwd/ddv_machzwd_inb_p.yml true 12.87 7.32 None ddv-machzwd/ddv_machzwd_inl.yml true 13.20 7.51 None ddv-machzwd/ddv_machzwd_inl_p.yml true 11.99 6.80 None ddv-machzwd/ddv_machzwd_inw_p.yml true 12.69 7.60 None ddv-machzwd/ddv_machzwd_outb.yml unknown 41.11 25.22 None ddv-machzwd/ddv_machzwd_outb_p.yml true 12.79 7.62 None ddv-machzwd/ddv_machzwd_outl.yml true 13.32 7.31 None ddv-machzwd/ddv_machzwd_outl_p.yml true 12.75 7.75 None ddv-machzwd/ddv_machzwd_outw_p.yml true 13.22 7.44 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.yml true 13.02 7.55 None forester-heap/dll-01-1.yml false(unreach-call) 15.84 8.72 None forester-heap/dll-01-2.yml TIMEOUT 900.71 877.23 None forester-heap/dll-circular-1.yml false(unreach-call) 9.72 5.68 None forester-heap/dll-circular-2.yml TIMEOUT 900.86 851.12 None forester-heap/dll-optional-1.yml TIMEOUT 900.79 871.93 None forester-heap/dll-optional-2.yml false(unreach-call) 11.92 6.75 None forester-heap/dll-queue-1.yml TIMEOUT 900.38 885.90 None forester-heap/dll-queue-2.yml TIMEOUT 900.39 886.47 None forester-heap/dll-rb-cnstr_1-1.yml TIMEOUT 900.45 887.24 None forester-heap/dll-rb-cnstr_1-2.yml TIMEOUT 900.40 886.20 None forester-heap/dll-rb-sentinel-1.yml TIMEOUT 900.42 883.15 None forester-heap/dll-rb-sentinel-2.yml TIMEOUT 900.41 885.14 None forester-heap/dll-reverse.yml TIMEOUT 900.47 879.30 None forester-heap/dll-simple-white-blue-1.yml false(unreach-call) 8.97 5.41 None forester-heap/dll-simple-white-blue-2.yml OUT OF MEMORY 182.33 159.20 None forester-heap/dll-sorted-1.yml false(unreach-call) 9.63 5.95 None forester-heap/dll-sorted-2.yml TIMEOUT 900.44 878.48 None forester-heap/dll-token-1.yml TIMEOUT 900.49 886.50 None forester-heap/dll-token-2.yml false(unreach-call) 16.32 9.00 None forester-heap/sll-01-1.yml ERROR (7) 256.14 216.69 None forester-heap/sll-01-2.yml false(unreach-call) 24.95 13.84 None forester-heap/sll-buckets-1.yml TIMEOUT 900.36 887.77 None forester-heap/sll-buckets-2.yml TIMEOUT 900.39 883.12 None forester-heap/sll-circular-1.yml TIMEOUT 900.59 881.60 None forester-heap/sll-circular-2.yml false(unreach-call) 9.53 6.29 None forester-heap/sll-optional-1.yml TIMEOUT 900.44 884.90 None forester-heap/sll-optional-2.yml false(unreach-call) 9.09 5.77 None forester-heap/sll-queue-1.yml TIMEOUT 901.08 868.22 None forester-heap/sll-queue-2.yml TIMEOUT 900.99 857.89 None forester-heap/sll-rb-cnstr_1-1.yml TIMEOUT 900.38 885.83 None forester-heap/sll-rb-cnstr_1-2.yml false(unreach-call) 12.52 7.53 None forester-heap/sll-rb-sentinel-1.yml TIMEOUT 900.35 889.65 None forester-heap/sll-rb-sentinel-2.yml TIMEOUT 900.38 889.31 None forester-heap/sll-reverse_simple.yml TIMEOUT 900.40 883.69 None forester-heap/sll-simple-white-blue-1.yml TIMEOUT 900.38 888.64 None forester-heap/sll-simple-white-blue-2.yml false(unreach-call) 11.92 6.74 None forester-heap/sll-sorted-1.yml TIMEOUT 900.40 883.89 None forester-heap/sll-sorted-2.yml TIMEOUT 900.60 881.87 None forester-heap/sll-token-1.yml false(unreach-call) 9.37 5.70 None forester-heap/sll-token-2.yml TIMEOUT 900.45 883.42 None list-ext-properties/list-ext.yml false(unreach-call) 8.76 5.21 None list-ext2-properties/list_and_tree_cnstr-1.yml OUT OF MEMORY 409.90 378.50 None list-ext2-properties/list_and_tree_cnstr-2.yml TIMEOUT 900.40 881.46 None list-ext2-properties/simple_and_skiplist_2lvl-1.yml false(unreach-call) 10.64 6.30 None list-ext2-properties/simple_and_skiplist_2lvl-2.yml TIMEOUT 900.44 881.89 None list-ext2-properties/simple_search_value-1.yml TIMEOUT 900.55 881.73 None list-ext2-properties/simple_search_value-2.yml TIMEOUT 900.40 885.01 None ldv-sets/test_add-1.yml false(unreach-call) 14.05 7.87 None ldv-sets/test_add-2.yml TIMEOUT 900.56 880.45 None ldv-sets/test_mutex.yml OUT OF MEMORY 253.73 225.01 None ldv-sets/test_mutex_double_lock.yml false(unreach-call) 12.65 7.58 None ldv-sets/test_mutex_double_unlock.yml OUT OF MEMORY 266.85 243.46 None ldv-sets/test_mutex_unlock_at_exit.yml OUT OF MEMORY 72.49 52.54 None list-simple/dll2c_append_equal.yml OUT OF MEMORY 161.91 134.09 None list-simple/dll2c_append_unequal.yml OUT OF MEMORY 603.55 572.09 None list-simple/dll2c_insert_equal.yml TIMEOUT 900.38 885.21 None list-simple/dll2c_prepend_equal.yml TIMEOUT 900.41 885.34 None list-simple/dll2c_prepend_unequal.yml TIMEOUT 900.46 882.52 None list-simple/dll2n_append_equal.yml TIMEOUT 900.46 873.28 None list-simple/dll2n_append_unequal.yml TIMEOUT 900.47 879.68 None list-simple/dll2n_insert_equal.yml TIMEOUT 900.40 885.74 None list-simple/dll2n_insert_unequal.yml TIMEOUT 900.44 886.29 None list-simple/dll2n_prepend_equal.yml TIMEOUT 900.43 885.03 None list-simple/dll2n_prepend_unequal.yml TIMEOUT 900.54 878.76 None list-simple/sll2c_append_equal.yml TIMEOUT 901.30 854.23 None list-simple/sll2c_append_unequal.yml TIMEOUT 900.38 887.33 None list-simple/sll2c_insert_equal.yml TIMEOUT 900.36 887.55 None list-simple/sll2c_insert_unequal.yml TIMEOUT 900.43 878.98 None list-simple/sll2c_prepend_equal.yml TIMEOUT 900.43 878.05 None list-simple/sll2c_prepend_unequal.yml TIMEOUT 900.38 884.77 None list-simple/sll2n_append_equal.yml TIMEOUT 900.47 882.68 None list-simple/sll2n_insert_equal.yml TIMEOUT 900.54 882.59 None list-simple/sll2n_insert_unequal.yml TIMEOUT 900.44 880.29 None heap-data/calendar.yml TIMEOUT 900.41 880.20 None heap-data/cart.yml TIMEOUT 900.28 803.98 None heap-data/min_max.yml TIMEOUT 900.42 888.43 None heap-data/packet_filter.yml TIMEOUT 900.41 881.88 None heap-data/process_queue.yml TIMEOUT 900.38 882.98 None heap-data/quick_sort_split.yml true 11.91 6.73 None heap-data/shared_mem1.yml TIMEOUT 900.52 876.81 None heap-data/shared_mem2.yml true 15.25 8.69 None list-ext3-properties/dll_circular_traversal-2.yml TIMEOUT 900.58 868.39 None list-ext3-properties/sll_circular_traversal-1.yml TIMEOUT 900.43 886.15 None list-ext3-properties/sll_length_check-1.yml false(unreach-call) 12.01 8.56 None list-ext3-properties/sll_length_check-2.yml TIMEOUT 900.35 889.82 None list-ext3-properties/sll_nondet_insert-1.yml TIMEOUT 900.37 886.61 None list-ext3-properties/sll_nondet_insert-2.yml TIMEOUT 900.38 885.70 None list-ext3-properties/sll_of_sll_nondet_append-1.yml TIMEOUT 900.39 885.69 None list-ext3-properties/sll_of_sll_nondet_append-2.yml TIMEOUT 900.49 881.76 None loops/array-2.yml false(unreach-call) 8.74 5.16 None loops/bubble_sort-2.yml false(unreach-call) 12.26 6.85 None loops/compact.yml TIMEOUT 900.39 884.62 None loops/count_up_down-1.yml TIMEOUT 900.37 884.91 None loops/count_up_down-2.yml false(unreach-call) 10.64 5.94 None loops/eureka_01-2.yml TIMEOUT 900.49 873.36 None loops/for_infinite_loop_1.yml true 8.12 4.87 None loops/for_infinite_loop_2.yml true 8.15 4.99 None loops/heavy-1.yml TIMEOUT 900.52 881.79 None loops/insertion_sort-1-2.yml TIMEOUT 900.36 888.77 None loops/insertion_sort-2-2.yml TIMEOUT 900.34 889.71 None loops/invert_string-1.yml false(unreach-call) 119.58 108.18 None loops/invert_string-3.yml TIMEOUT 900.41 885.08 None loops/linear_sea.ch.yml TIMEOUT 901.00 830.83 None loops/linear_search.yml OUT OF MEMORY 512.81 480.86 None loops/lu.cmp.yml true 11.90 7.52 None loops/ludcmp.yml ERROR (7) 35.75 28.55 None loops/matrix-1.yml TIMEOUT 900.35 892.14 None loops/matrix-2-2.yml false(unreach-call) 11.63 7.51 None loops/n.c11.yml true 11.69 6.82 None loops/n.c24.yml TIMEOUT 901.20 779.42 None loops/nec20.yml false(unreach-call) 9.26 5.33 None loops/string-2.yml false(unreach-call) 19.50 13.17 None loops/sum01-2.yml true 10.71 6.49 None loops/sum01_bug02.yml false(unreach-call) 12.05 8.16 None loops/sum03-2.yml true 9.55 5.73 None loops/sum_array-2-2.yml TIMEOUT 900.76 873.30 None loops/terminator_02-2.yml true 8.43 5.12 None loops/terminator_02-2_abstracted.yml true 9.00 5.36 None loops/terminator_03-2_abstracted.yml true 8.25 5.13 None loops/trex01-1.yml false(unreach-call) 7.72 4.66 None loops/trex01-2.yml true 8.12 4.94 None loops/trex03-1.yml false(unreach-call) 7.66 4.84 None loops/trex03-2.yml true 8.64 4.89 None loops/trex03-2_abstracted.yml true 9.05 5.53 None loops/trex04.yml true 10.87 6.25 None loops/trex04_abstracted.yml true 8.90 5.38 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 9.22 5.74 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml false(unreach-call) 15.32 10.60 None loops/vogal-1.yml TIMEOUT 900.44 880.23 None loops/vogal-2.yml TIMEOUT 900.45 874.15 None loops/while_infinite_loop_1.yml true 8.67 5.15 None loops/while_infinite_loop_2.yml true 8.12 4.90 None loops/while_infinite_loop_3.yml true 8.19 4.95 None loops/while_infinite_loop_4.yml false(unreach-call) 7.74 4.75 None loop-acceleration/array_4.yml TIMEOUT 900.43 888.11 None loop-acceleration/const_1-1.yml true 9.28 5.96 None loop-acceleration/const_1-2.yml TIMEOUT 900.15 882.73 None loop-acceleration/diamond_1-1.yml true 38.50 25.03 None loop-acceleration/diamond_1-2.yml false(unreach-call) 468.20 453.76 None loop-acceleration/diamond_2-2.yml true 34.02 25.23 None loop-acceleration/functions_1-1.yml true 11.07 7.01 None loop-acceleration/functions_1-2.yml TIMEOUT 900.34 888.21 None loop-acceleration/multivar_1-1.yml true 8.38 5.31 None loop-acceleration/multivar_1-2.yml false(unreach-call) 8.08 4.92 None loop-acceleration/nested_1-1.yml true 25.95 17.80 None loop-acceleration/nested_1-2.yml TIMEOUT 900.37 885.55 None loop-acceleration/overflow_1-1.yml true 10.99 7.04 None loop-acceleration/phases_1-1.yml true 175.80 165.96 None loop-acceleration/phases_1-2.yml TIMEOUT 900.35 886.90 None loop-acceleration/phases_2-1.yml false(unreach-call) 7.65 4.59 None loop-acceleration/phases_2-2.yml true 14.97 11.20 None loop-acceleration/simple_1-1.yml TIMEOUT 900.45 889.63 None loop-acceleration/simple_1-1_abstracted.yml false(unreach-call) 7.83 4.73 None loop-acceleration/simple_1-2.yml true 15.08 9.63 None loop-acceleration/simple_1-2_abstracted.yml true 11.07 6.25 None loop-acceleration/simple_2-1.yml true 10.59 6.03 None loop-acceleration/simple_2-1_abstracted.yml true 7.92 4.79 None loop-acceleration/simple_2-2.yml false(unreach-call) 9.85 5.62 None loop-acceleration/simple_3-1.yml false(unreach-call) 7.98 4.71 None loop-acceleration/simple_3-2.yml true 12.25 7.06 None loop-acceleration/simple_4-1.yml TIMEOUT 900.35 889.29 None loop-acceleration/simple_4-1_abstracted.yml false(unreach-call) 10.26 5.79 None loop-acceleration/simple_4-2.yml true 11.44 6.83 None loop-acceleration/simple_4-2_abstracted.yml true 10.64 6.12 None loop-acceleration/underapprox_1-1.yml false(unreach-call) 10.16 6.65 None loop-acceleration/underapprox_1-2.yml true 125.01 114.05 None loop-acceleration/underapprox_2-1.yml false(unreach-call) 12.84 7.58 None loop-acceleration/underapprox_2-2.yml true 9.40 5.90 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.68 869.24 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 8.19 4.87 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.74 846.24 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 900.51 872.92 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml TIMEOUT 900.56 861.62 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml TIMEOUT 900.53 873.68 None loop-crafted/simple_array_index_value_4.yml TIMEOUT 900.51 872.39 None loop-crafted/simple_vardep_1.yml true 12.01 6.84 None loop-crafted/simple_vardep_2.yml true 12.98 7.17 None loop-invgen/SpamAssassin-loop.yml true 14.54 8.01 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 16.92 9.36 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 29.77 18.08 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 90.83 55.98 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 19.52 11.36 None loop-invgen/apache-get-tag.yml true 10.79 6.64 None loop-invgen/down.yml TIMEOUT 901.08 732.74 None loop-invgen/fragtest_simple.yml TIMEOUT 900.72 877.14 None loop-invgen/heapsort.yml true 51.28 31.95 None loop-invgen/nest-if3.yml true 10.57 6.09 None loop-invgen/seq-3.yml TIMEOUT 900.25 821.94 None loop-invgen/string_concat-noarr.yml TIMEOUT 901.06 826.41 None loop-invgen/up.yml TIMEOUT 900.50 886.23 None loop-lit/afnp2014.yml true 9.51 6.22 None loop-lit/bhmr2007.yml true 10.76 6.80 None loop-lit/cggmp2005_variant.yml true 10.00 6.40 None loop-lit/css2003.yml true 8.65 5.46 None loop-lit/ddlm2013.yml true 11.46 7.27 None loop-lit/gcnr2008.yml false(unreach-call) 8.07 5.07 None loop-lit/gr2006.yml true 50.18 35.90 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 8.83 5.55 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 8.86 5.69 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 9.06 5.69 None loop-lit/gsv2008.yml true 8.67 5.55 None loop-lit/hhk2008.yml true 9.71 6.57 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 9.37 5.99 None loop-lit/jm2006.yml true 9.92 6.19 None loop-lit/jm2006_variant.yml true 10.55 6.66 None loop-new/count_by_nondet.yml TIMEOUT 900.86 874.52 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 9.39 6.40 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 9.93 6.35 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 9.12 6.11 None loop-new/gauss_sum.yml true 10.11 6.95 None loop-new/half.yml true 12.12 7.50 None loop-new/nested-1.yml TIMEOUT 900.59 875.84 None loop-industry-pattern/aiob_1.yml ERROR (7) 13.16 7.65 None loop-industry-pattern/aiob_2.yml ERROR (7) 13.19 7.55 None loop-industry-pattern/aiob_3.yml ERROR (7) 12.87 7.70 None loop-industry-pattern/aiob_4.yml ERROR (7) 16.64 9.26 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 9.85 5.59 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 9.92 5.74 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 9.72 5.65 None loop-industry-pattern/mod3.yml true 12.58 7.12 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.36 884.94 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.34 887.60 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.44 879.94 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.56 875.38 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.39 883.57 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.37 883.39 None loops-crafted-1/iftelse.yml TIMEOUT 900.44 877.67 None loops-crafted-1/in-de20.yml TIMEOUT 900.57 866.48 None loops-crafted-1/in-de31.yml TIMEOUT 900.40 880.14 None loops-crafted-1/in-de32.yml TIMEOUT 900.68 862.11 None loops-crafted-1/in-de41.yml TIMEOUT 900.52 877.92 None loops-crafted-1/in-de42.yml TIMEOUT 900.38 881.59 None loops-crafted-1/in-de51.yml TIMEOUT 900.39 882.89 None loops-crafted-1/in-de52.yml TIMEOUT 900.51 878.68 None loops-crafted-1/in-de61.yml TIMEOUT 900.57 855.49 None loops-crafted-1/in-de62.yml TIMEOUT 900.61 864.44 None loops-crafted-1/loopv2.yml true 8.58 5.71 None loops-crafted-1/loopv3.yml true 21.56 13.88 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 900.75 716.61 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.37 886.75 None loops-crafted-1/mono-crafted_11.yml true 16.47 9.86 None loops-crafted-1/mono-crafted_12.yml true 12.18 7.11 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 900.89 680.84 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 901.38 714.87 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 900.56 869.48 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 901.23 761.51 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 900.54 874.13 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.42 878.09 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 900.15 719.33 None loops-crafted-1/nested3-1.yml TIMEOUT 900.41 881.94 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 900.70 855.99 None loops-crafted-1/nested3-2.yml TIMEOUT 900.37 882.22 None loops-crafted-1/nested3-2_abstracted.yml false(unreach-call) 9.36 5.76 None loops-crafted-1/nested5-1.yml true 21.24 12.79 None loops-crafted-1/nested5-2.yml TIMEOUT 900.34 890.22 None loops-crafted-1/nested_delay_nd.yml true 55.93 40.88 None loops-crafted-1/nested_delay_notd2.yml false(unreach-call) 55.50 32.93 None loops-crafted-1/sum_by_3_abstracted.yml true 14.74 8.60 None loops-crafted-1/sumt2.yml true 9.58 5.76 None loops-crafted-1/sumt3.yml true 10.62 6.77 None loops-crafted-1/sumt4.yml true 10.22 6.03 None loops-crafted-1/sumt5.yml true 11.17 7.03 None loops-crafted-1/sumt6.yml true 13.16 7.65 None loops-crafted-1/sumt7.yml true 10.90 6.51 None loops-crafted-1/sumt8.yml true 10.69 6.65 None loops-crafted-1/sumt9.yml true 15.34 8.54 None loops-crafted-1/theatreSquare.yml TIMEOUT 901.01 850.55 None loop-invariants/bin-suffix-5.yml true 15.78 10.37 None loop-invariants/const.yml true 10.84 6.07 None loop-invariants/eq1.yml true 9.05 5.50 None loop-invariants/eq2.yml true 11.49 6.56 None loop-invariants/even.yml true 9.31 5.87 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 900.44 871.48 None loop-invariants/linear-inequality-inv-b.yml false(unreach-call) 9.31 5.81 None loop-invariants/mod4.yml true 9.51 6.00 None loop-invariants/odd.yml true 9.75 5.96 None loop-simple/deep-nested.yml TIMEOUT 900.98 869.80 None loop-simple/nested_6.yml OUT OF MEMORY 130.87 111.00 None loop-zilu/benchmark02_linear.yml true 8.48 5.46 None loop-zilu/benchmark02_linear_abstracted.yml true 8.30 4.93 None loop-zilu/benchmark04_conjunctive.yml true 9.24 5.78 None loop-zilu/benchmark05_conjunctive.yml true 9.94 6.17 None loop-zilu/benchmark09_conjunctive.yml true 9.34 5.72 None loop-zilu/benchmark10_conjunctive.yml true 10.02 6.27 None loop-zilu/benchmark11_linear.yml true 8.91 5.43 None loop-zilu/benchmark11_linear_abstracted.yml true 8.50 5.12 None loop-zilu/benchmark14_linear.yml true 8.55 5.01 None loop-zilu/benchmark17_conjunctive.yml true 8.34 4.96 None loop-zilu/benchmark18_conjunctive.yml true 9.28 5.57 None loop-zilu/benchmark19_conjunctive.yml true 8.95 5.58 None loop-zilu/benchmark20_conjunctive.yml true 8.26 5.19 None loop-zilu/benchmark23_conjunctive.yml true 56.91 39.03 None loop-zilu/benchmark25_linear.yml true 8.74 5.53 None loop-zilu/benchmark25_linear_abstracted.yml true 8.10 4.86 None loop-zilu/benchmark26_linear.yml true 8.94 5.71 None loop-zilu/benchmark26_linear_abstracted.yml true 10.53 6.02 None loop-zilu/benchmark32_linear.yml true 8.15 4.94 None loop-zilu/benchmark33_linear.yml true 8.61 5.46 None loop-zilu/benchmark34_conjunctive.yml true 12.53 7.33 None loop-zilu/benchmark35_linear.yml true 7.90 5.23 None loop-zilu/benchmark37_conjunctive.yml true 8.82 5.98 None loop-zilu/benchmark43_conjunctive.yml true 8.80 5.91 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 11.82 6.65 None loop-zilu/benchmark51_polynomial.yml true 8.40 5.32 None loop-zilu/benchmark52_polynomial.yml true 8.27 5.31 None verifythis/prefixsum_iter.yml TIMEOUT 900.43 877.67 None verifythis/tree_del_iter.yml false(unreach-call) 13.19 7.94 None verifythis/tree_del_iter_incorrect.yml false(unreach-call) 13.29 7.76 None nla-digbench/bresenham-ll.yml true 12.03 7.73 None nla-digbench/cohencu-ll.yml true 110.66 99.68 None nla-digbench/cohendiv-ll.yml true 11.63 7.97 None nla-digbench/dijkstra-u.yml TIMEOUT 900.34 892.39 None nla-digbench/divbin.yml TIMEOUT 900.46 874.93 None nla-digbench/divbin2.yml TIMEOUT 900.54 880.37 None nla-digbench/egcd-ll.yml true 13.77 9.26 None nla-digbench/egcd2-ll.yml TIMEOUT 900.35 887.67 None nla-digbench/egcd3-ll.yml TIMEOUT 900.61 882.37 None nla-digbench/fermat1-ll.yml true 18.99 14.07 None nla-digbench/fermat2-ll.yml true 12.84 7.69 None nla-digbench/freire1.yml TIMEOUT 23.75 931.00 None nla-digbench/freire2.yml TIMEOUT 43.18 931.00 None nla-digbench/geo1-ll.yml true 9.16 6.17 None nla-digbench/geo1-u.yml false(unreach-call) 9.44 6.40 None nla-digbench/geo2-ll.yml true 9.52 6.23 None nla-digbench/geo3-ll.yml true 9.46 6.10 None nla-digbench/hard-ll.yml TIMEOUT 900.43 879.93 None nla-digbench/hard-u.yml TIMEOUT 900.50 868.20 None nla-digbench/hard2.yml true 46.56 37.57 None nla-digbench/knuth.yml TIMEOUT 900.42 893.65 None nla-digbench/lcm1.yml TIMEOUT 900.30 897.12 None nla-digbench/lcm2.yml TIMEOUT 900.35 894.33 None nla-digbench/mannadiv.yml true 9.26 6.32 None nla-digbench/prod4br-ll.yml true 12.15 7.85 None nla-digbench/prodbin-ll.yml TIMEOUT 900.46 883.15 None nla-digbench/ps2-ll.yml true 11.46 7.05 None nla-digbench/ps3-ll.yml true 11.40 7.18 None nla-digbench/ps4-ll.yml TIMEOUT 900.41 877.56 None nla-digbench/ps5-ll.yml TIMEOUT 900.33 895.57 None nla-digbench/ps6-ll.yml TIMEOUT 900.34 893.70 None nla-digbench/sqrt1-ll.yml true 9.49 6.13 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml false(unreach-call) 10.34 6.60 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml false(unreach-call) 23.53 14.89 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml false(unreach-call) 44.85 32.10 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml false(unreach-call) 13.47 9.21 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml false(unreach-call) 15.46 10.29 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml false(unreach-call) 16.66 10.30 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml false(unreach-call) 25.34 16.19 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 13.16 8.31 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 12.58 8.19 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 12.40 7.72 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 12.74 8.49 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 12.13 7.83 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 12.48 7.63 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 12.75 8.40 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml false(unreach-call) 13.06 8.60 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml false(unreach-call) 104.57 92.20 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml TIMEOUT 900.39 880.81 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml false(unreach-call) 19.95 14.13 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml false(unreach-call) 129.82 117.90 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml false(unreach-call) 106.86 93.17 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml false(unreach-call) 163.06 144.88 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 27.31 20.04 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 98.23 83.78 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 336.41 323.59 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 40.10 30.15 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 78.87 63.01 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 108.38 95.79 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 382.34 368.56 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 13.77 8.63 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 16.67 10.82 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 16.34 10.65 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 15.03 10.06 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 13.54 9.31 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 17.30 10.85 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 13.40 9.37 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 14.70 9.36 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 12.45 8.87 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 14.99 9.56 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 12.60 8.50 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 12.94 8.96 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 12.33 8.34 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 14.67 9.47 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 14.48 10.89 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml TIMEOUT 900.37 888.61 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml TIMEOUT 900.41 883.77 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 84.00 77.13 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml TIMEOUT 900.40 882.27 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml TIMEOUT 900.55 879.47 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml TIMEOUT 900.34 890.90 None nla-digbench-scaling/dijkstra-u_valuebound1.yml true 650.42 620.28 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 900.42 883.59 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 900.51 864.98 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 900.51 877.06 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 900.43 881.34 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 900.66 880.96 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 900.44 882.33 None nla-digbench-scaling/divbin2_unwindbound1.yml true 13.56 10.80 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 900.51 878.23 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 900.46 878.02 None nla-digbench-scaling/divbin2_unwindbound2.yml true 12.61 9.81 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 900.46 877.55 None nla-digbench-scaling/divbin2_unwindbound5.yml true 611.77 582.00 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 900.43 880.39 None nla-digbench-scaling/divbin2_valuebound1.yml true 181.30 156.07 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 900.37 882.97 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 900.47 874.17 None nla-digbench-scaling/divbin2_valuebound2.yml true 227.05 211.82 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 900.56 865.77 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 900.49 871.16 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 900.45 878.58 None nla-digbench-scaling/divbin_unwindbound1.yml true 12.15 9.02 None nla-digbench-scaling/divbin_unwindbound10.yml TIMEOUT 900.39 885.54 None nla-digbench-scaling/divbin_unwindbound100.yml TIMEOUT 900.52 867.66 None nla-digbench-scaling/divbin_unwindbound2.yml true 16.56 13.01 None nla-digbench-scaling/divbin_unwindbound20.yml TIMEOUT 900.44 880.22 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 900.42 880.71 None nla-digbench-scaling/divbin_unwindbound50.yml TIMEOUT 900.45 879.88 None nla-digbench-scaling/divbin_valuebound1.yml TIMEOUT 900.42 881.97 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 900.48 870.47 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 900.57 877.34 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 900.43 882.24 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 900.47 876.38 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 900.50 876.54 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 900.53 859.27 None nla-digbench-scaling/egcd-ll_unwindbound1.yml false(unreach-call) 14.29 8.88 None nla-digbench-scaling/egcd-ll_unwindbound10.yml false(unreach-call) 21.91 13.68 None nla-digbench-scaling/egcd-ll_unwindbound100.yml false(unreach-call) 289.65 276.61 None nla-digbench-scaling/egcd-ll_unwindbound2.yml false(unreach-call) 17.04 10.80 None nla-digbench-scaling/egcd-ll_unwindbound20.yml false(unreach-call) 23.04 14.47 None nla-digbench-scaling/egcd-ll_unwindbound5.yml false(unreach-call) 19.76 12.72 None nla-digbench-scaling/egcd-ll_unwindbound50.yml false(unreach-call) 271.44 255.96 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 11.84 8.02 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 13.84 9.40 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 14.14 9.36 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 21.55 15.74 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 15.99 10.90 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 13.94 9.65 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 18.81 11.64 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml false(unreach-call) 9.48 6.78 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml false(unreach-call) 722.17 709.22 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml TIMEOUT 900.71 873.48 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml false(unreach-call) 12.14 9.10 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml TIMEOUT 900.54 878.68 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml false(unreach-call) 44.85 37.94 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml TIMEOUT 900.57 879.77 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 19.20 13.81 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 900.48 875.87 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 900.49 883.69 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 71.75 57.45 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 900.46 876.05 None nla-digbench-scaling/egcd2-ll_valuebound5.yml true 573.88 533.29 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 900.91 859.38 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml false(unreach-call) 9.02 6.10 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml false(unreach-call) 153.75 140.28 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml TIMEOUT 900.76 867.28 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml false(unreach-call) 9.52 6.76 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml TIMEOUT 900.71 869.52 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml false(unreach-call) 27.31 21.07 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml TIMEOUT 900.78 865.16 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 26.41 20.57 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 900.89 854.38 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 900.79 880.37 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 50.39 41.26 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 901.56 864.68 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 900.50 882.32 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 900.39 856.34 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml false(unreach-call) 15.01 12.15 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml false(unreach-call) 17.90 14.25 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml TIMEOUT 900.46 861.94 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml false(unreach-call) 15.67 12.72 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml false(unreach-call) 150.23 136.27 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml false(unreach-call) 16.82 13.55 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml TIMEOUT 900.58 883.16 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 10.11 6.51 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 14.37 11.22 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 18.70 15.43 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 14.09 10.49 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 18.30 14.77 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 10.51 6.61 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 18.50 15.10 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml false(unreach-call) 13.66 10.26 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml false(unreach-call) 22.24 18.13 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml TIMEOUT 900.32 892.80 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml false(unreach-call) 13.16 9.53 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml false(unreach-call) 24.67 20.16 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml false(unreach-call) 20.15 14.21 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml TIMEOUT 900.34 892.65 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 13.45 8.04 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 13.34 10.07 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 16.20 11.25 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 11.75 8.14 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 17.21 11.73 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 13.09 9.79 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 14.05 10.09 None nla-digbench-scaling/freire1_unwindbound1.yml TIMEOUT 26.88 931.00 None nla-digbench-scaling/freire1_unwindbound10.yml TIMEOUT 19.61 931.00 None nla-digbench-scaling/freire1_unwindbound100.yml TIMEOUT 19.92 931.00 None nla-digbench-scaling/freire1_unwindbound2.yml TIMEOUT 18.47 931.00 None nla-digbench-scaling/freire1_unwindbound20.yml TIMEOUT 19.22 931.00 None nla-digbench-scaling/freire1_unwindbound5.yml TIMEOUT 23.88 931.00 None nla-digbench-scaling/freire1_unwindbound50.yml TIMEOUT 19.05 931.00 None nla-digbench-scaling/freire2_unwindbound1.yml TIMEOUT 49.55 931.00 None nla-digbench-scaling/freire2_unwindbound10.yml TIMEOUT 41.50 931.00 None nla-digbench-scaling/freire2_unwindbound100.yml TIMEOUT 45.97 931.00 None nla-digbench-scaling/freire2_unwindbound2.yml TIMEOUT 36.20 931.00 None nla-digbench-scaling/freire2_unwindbound20.yml TIMEOUT 46.42 931.01 None nla-digbench-scaling/freire2_unwindbound5.yml TIMEOUT 38.42 931.00 None nla-digbench-scaling/freire2_unwindbound50.yml TIMEOUT 35.06 931.00 None nla-digbench-scaling/freire2_valuebound1.yml TIMEOUT 92.93 931.00 None nla-digbench-scaling/freire2_valuebound10.yml TIMEOUT 155.02 931.00 None nla-digbench-scaling/freire2_valuebound100.yml TIMEOUT 129.02 931.00 None nla-digbench-scaling/freire2_valuebound2.yml TIMEOUT 185.77 931.00 None nla-digbench-scaling/freire2_valuebound20.yml TIMEOUT 174.65 931.00 None nla-digbench-scaling/freire2_valuebound5.yml TIMEOUT 180.40 931.00 None nla-digbench-scaling/freire2_valuebound50.yml TIMEOUT 142.18 931.00 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 11.55 7.36 None nla-digbench-scaling/geo1-ll_unwindbound10.yml true 11.39 7.25 None nla-digbench-scaling/geo1-ll_unwindbound100.yml true 11.48 7.60 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 9.44 6.49 None nla-digbench-scaling/geo1-ll_unwindbound20.yml true 11.59 7.34 None nla-digbench-scaling/geo1-ll_unwindbound5.yml true 8.73 6.32 None nla-digbench-scaling/geo1-ll_unwindbound50.yml true 11.47 7.20 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 9.30 6.20 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 10.78 6.77 None nla-digbench-scaling/geo1-ll_valuebound100.yml true 8.81 6.06 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 11.24 7.04 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 9.07 6.07 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 11.35 6.97 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 8.77 5.96 None nla-digbench-scaling/geo1-u_unwindbound1.yml false(unreach-call) 10.50 6.79 None nla-digbench-scaling/geo1-u_unwindbound10.yml false(unreach-call) 8.33 6.02 None nla-digbench-scaling/geo1-u_unwindbound100.yml false(unreach-call) 8.65 6.69 None nla-digbench-scaling/geo1-u_unwindbound2.yml false(unreach-call) 11.17 7.10 None nla-digbench-scaling/geo1-u_unwindbound20.yml false(unreach-call) 8.76 6.50 None nla-digbench-scaling/geo1-u_unwindbound5.yml false(unreach-call) 10.92 6.96 None nla-digbench-scaling/geo1-u_unwindbound50.yml false(unreach-call) 8.87 6.29 None nla-digbench-scaling/geo1-u_valuebound1.yml false(unreach-call) 11.35 6.93 None nla-digbench-scaling/geo1-u_valuebound10.yml false(unreach-call) 8.22 6.21 None nla-digbench-scaling/geo1-u_valuebound100.yml false(unreach-call) 11.15 6.67 None nla-digbench-scaling/geo1-u_valuebound2.yml false(unreach-call) 8.18 6.06 None nla-digbench-scaling/geo1-u_valuebound20.yml false(unreach-call) 11.24 6.82 None nla-digbench-scaling/geo1-u_valuebound5.yml false(unreach-call) 8.33 5.71 None nla-digbench-scaling/geo1-u_valuebound50.yml false(unreach-call) 10.93 7.07 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 9.27 6.89 None nla-digbench-scaling/geo2-ll_unwindbound10.yml true 12.26 7.83 None nla-digbench-scaling/geo2-ll_unwindbound100.yml true 9.62 7.00 None nla-digbench-scaling/geo2-ll_unwindbound2.yml true 12.08 7.67 None nla-digbench-scaling/geo2-ll_unwindbound20.yml true 9.57 6.83 None nla-digbench-scaling/geo2-ll_unwindbound5.yml true 12.34 7.86 None nla-digbench-scaling/geo2-ll_unwindbound50.yml true 11.88 7.79 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 8.63 5.55 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 10.70 6.47 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 8.24 5.47 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 11.01 6.58 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 10.38 6.27 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 8.32 5.47 None nla-digbench-scaling/geo2-ll_valuebound50.yml true 10.91 6.58 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 11.73 7.45 None nla-digbench-scaling/geo3-ll_unwindbound10.yml true 9.62 6.91 None nla-digbench-scaling/geo3-ll_unwindbound100.yml true 12.37 7.92 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 9.46 6.65 None nla-digbench-scaling/geo3-ll_unwindbound20.yml true 12.51 7.92 None nla-digbench-scaling/geo3-ll_unwindbound5.yml true 12.25 7.81 None nla-digbench-scaling/geo3-ll_unwindbound50.yml true 9.24 6.70 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 12.11 7.29 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 12.14 7.41 None nla-digbench-scaling/geo3-ll_valuebound100.yml true 9.32 6.46 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 12.58 7.48 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 13.10 7.71 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 10.15 6.68 None nla-digbench-scaling/geo3-ll_valuebound50.yml true 11.90 7.26 None nla-digbench-scaling/hard-ll_unwindbound1.yml false(unreach-call) 11.55 8.02 None nla-digbench-scaling/hard-ll_unwindbound10.yml TIMEOUT 900.65 842.32 None nla-digbench-scaling/hard-ll_unwindbound100.yml TIMEOUT 900.65 854.09 None nla-digbench-scaling/hard-ll_unwindbound2.yml false(unreach-call) 12.49 9.64 None nla-digbench-scaling/hard-ll_unwindbound20.yml TIMEOUT 900.54 876.34 None nla-digbench-scaling/hard-ll_unwindbound5.yml false(unreach-call) 82.75 76.32 None nla-digbench-scaling/hard-ll_unwindbound50.yml TIMEOUT 900.27 909.89 None nla-digbench-scaling/hard-ll_valuebound1.yml true 26.73 23.68 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 900.39 890.30 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 900.48 877.59 None nla-digbench-scaling/hard-ll_valuebound2.yml true 134.38 119.21 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 900.54 873.47 None nla-digbench-scaling/hard-ll_valuebound5.yml true 342.64 320.28 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 900.48 881.10 None nla-digbench-scaling/hard-u_unwindbound1.yml false(unreach-call) 19.94 14.88 None nla-digbench-scaling/hard-u_unwindbound10.yml TIMEOUT 900.42 878.82 None nla-digbench-scaling/hard-u_unwindbound100.yml TIMEOUT 900.39 889.98 None nla-digbench-scaling/hard-u_unwindbound2.yml false(unreach-call) 20.57 15.73 None nla-digbench-scaling/hard-u_unwindbound20.yml TIMEOUT 900.43 877.78 None nla-digbench-scaling/hard-u_unwindbound5.yml TIMEOUT 900.45 877.54 None nla-digbench-scaling/hard-u_unwindbound50.yml TIMEOUT 900.48 871.22 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 900.42 874.45 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 900.49 866.00 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 900.48 868.50 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 900.45 876.44 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 900.46 878.16 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 900.45 879.66 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 900.45 879.02 None nla-digbench-scaling/hard2_unwindbound1.yml false(unreach-call) 13.84 8.76 None nla-digbench-scaling/hard2_unwindbound10.yml false(unreach-call) 73.77 52.86 None nla-digbench-scaling/hard2_unwindbound100.yml TIMEOUT 900.42 885.83 None nla-digbench-scaling/hard2_unwindbound2.yml false(unreach-call) 13.68 8.66 None nla-digbench-scaling/hard2_unwindbound20.yml TIMEOUT 900.65 861.83 None nla-digbench-scaling/hard2_unwindbound5.yml false(unreach-call) 29.97 21.76 None nla-digbench-scaling/hard2_unwindbound50.yml TIMEOUT 900.42 883.57 None nla-digbench-scaling/hard2_valuebound1.yml true 15.47 9.97 None nla-digbench-scaling/hard2_valuebound10.yml true 93.30 81.35 None nla-digbench-scaling/hard2_valuebound100.yml true 581.66 562.16 None nla-digbench-scaling/hard2_valuebound2.yml true 28.83 18.08 None nla-digbench-scaling/hard2_valuebound20.yml TIMEOUT 900.56 869.14 None nla-digbench-scaling/hard2_valuebound5.yml true 111.38 91.49 None nla-digbench-scaling/hard2_valuebound50.yml true 91.16 79.18 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 900.40 894.55 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 900.47 889.95 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 900.37 895.37 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 900.44 891.11 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 900.44 891.21 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 900.38 895.07 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 900.37 894.52 None nla-digbench-scaling/knuth_valuebound1.yml true 19.30 13.23 None nla-digbench-scaling/knuth_valuebound10.yml ERROR (7) 389.95 378.81 None nla-digbench-scaling/knuth_valuebound100.yml ERROR (7) 861.75 851.39 None nla-digbench-scaling/knuth_valuebound2.yml true 19.95 13.20 None nla-digbench-scaling/knuth_valuebound20.yml ERROR (7) 540.20 525.91 None nla-digbench-scaling/knuth_valuebound5.yml ERROR (7) 433.61 419.13 None nla-digbench-scaling/knuth_valuebound50.yml ERROR (7) 547.26 527.53 None nla-digbench-scaling/lcm1_unwindbound1.yml TIMEOUT 900.30 896.96 None nla-digbench-scaling/lcm1_unwindbound10.yml TIMEOUT 900.32 896.12 None nla-digbench-scaling/lcm1_unwindbound100.yml TIMEOUT 900.31 895.93 None nla-digbench-scaling/lcm1_unwindbound2.yml TIMEOUT 900.31 895.73 None nla-digbench-scaling/lcm1_unwindbound20.yml TIMEOUT 900.30 897.31 None nla-digbench-scaling/lcm1_unwindbound5.yml TIMEOUT 900.33 893.97 None nla-digbench-scaling/lcm1_unwindbound50.yml TIMEOUT 900.31 897.16 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 900.32 894.93 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 900.34 893.49 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 900.32 895.71 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 900.35 893.53 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 900.33 896.01 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 900.29 897.10 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 900.32 896.54 None nla-digbench-scaling/lcm2_unwindbound1.yml TIMEOUT 900.30 897.14 None nla-digbench-scaling/lcm2_unwindbound10.yml TIMEOUT 900.31 895.79 None nla-digbench-scaling/lcm2_unwindbound100.yml TIMEOUT 900.31 896.54 None nla-digbench-scaling/lcm2_unwindbound2.yml TIMEOUT 900.31 895.98 None nla-digbench-scaling/lcm2_unwindbound20.yml TIMEOUT 900.30 896.87 None nla-digbench-scaling/lcm2_unwindbound5.yml TIMEOUT 900.33 893.97 None nla-digbench-scaling/lcm2_unwindbound50.yml TIMEOUT 900.30 896.67 None nla-digbench-scaling/lcm2_valuebound1.yml true 14.74 8.57 None nla-digbench-scaling/lcm2_valuebound10.yml TIMEOUT 900.34 894.42 None nla-digbench-scaling/lcm2_valuebound100.yml TIMEOUT 900.33 894.16 None nla-digbench-scaling/lcm2_valuebound2.yml TIMEOUT 900.31 895.96 None nla-digbench-scaling/lcm2_valuebound20.yml TIMEOUT 900.35 894.25 None nla-digbench-scaling/lcm2_valuebound5.yml TIMEOUT 900.31 896.54 None nla-digbench-scaling/lcm2_valuebound50.yml true 65.69 57.41 None nla-digbench-scaling/mannadiv_unwindbound1.yml false(unreach-call) 10.35 7.20 None nla-digbench-scaling/mannadiv_unwindbound10.yml false(unreach-call) 10.72 7.80 None nla-digbench-scaling/mannadiv_unwindbound100.yml false(unreach-call) 38.41 29.06 None nla-digbench-scaling/mannadiv_unwindbound2.yml false(unreach-call) 11.02 7.62 None nla-digbench-scaling/mannadiv_unwindbound20.yml false(unreach-call) 12.69 8.84 None nla-digbench-scaling/mannadiv_unwindbound5.yml false(unreach-call) 11.35 8.18 None nla-digbench-scaling/mannadiv_unwindbound50.yml false(unreach-call) 21.51 15.02 None nla-digbench-scaling/mannadiv_valuebound1.yml true 9.89 7.01 None nla-digbench-scaling/mannadiv_valuebound10.yml true 9.92 6.41 None nla-digbench-scaling/mannadiv_valuebound100.yml true 9.39 6.27 None nla-digbench-scaling/mannadiv_valuebound2.yml true 9.78 6.45 None nla-digbench-scaling/mannadiv_valuebound20.yml true 8.93 6.03 None nla-digbench-scaling/mannadiv_valuebound5.yml true 9.83 6.32 None nla-digbench-scaling/mannadiv_valuebound50.yml true 9.38 6.73 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml false(unreach-call) 10.85 7.44 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml false(unreach-call) 13.47 9.27 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml TIMEOUT 900.34 892.25 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml false(unreach-call) 12.28 8.76 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml false(unreach-call) 15.49 10.39 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml false(unreach-call) 13.94 9.47 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml TIMEOUT 900.34 892.74 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 11.83 7.89 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 12.59 8.27 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 12.94 8.69 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 12.24 8.60 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 13.20 9.32 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 12.22 8.27 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 12.04 8.13 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 13.48 9.17 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 245.48 230.49 None nla-digbench-scaling/prodbin-ll_valuebound100.yml TIMEOUT 900.46 877.34 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 16.66 11.39 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 379.63 360.13 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 854.98 831.00 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 900.46 877.89 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 11.59 7.30 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 12.64 8.01 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 12.92 8.13 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 9.33 6.79 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 12.29 7.86 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 9.26 6.91 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 12.41 7.90 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 8.63 5.98 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 12.39 7.48 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 8.81 6.04 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 9.09 5.99 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 11.65 7.21 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 8.74 6.09 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 11.65 7.24 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 9.23 6.21 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 9.10 6.47 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 12.64 8.02 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 9.32 6.51 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 9.68 6.90 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 12.26 7.84 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 9.45 6.53 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 8.72 6.16 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 12.01 7.36 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 11.37 7.10 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 9.98 6.18 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 8.98 6.13 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 12.53 7.41 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 12.02 7.28 None nla-digbench-scaling/ps4-ll_unwindbound1.yml false(unreach-call) 8.73 6.00 None nla-digbench-scaling/ps4-ll_unwindbound10.yml false(unreach-call) 225.82 219.69 None nla-digbench-scaling/ps4-ll_unwindbound100.yml TIMEOUT 900.72 864.16 None nla-digbench-scaling/ps4-ll_unwindbound2.yml false(unreach-call) 14.19 9.33 None nla-digbench-scaling/ps4-ll_unwindbound20.yml false(unreach-call) 235.08 220.99 None nla-digbench-scaling/ps4-ll_unwindbound5.yml false(unreach-call) 70.74 64.61 None nla-digbench-scaling/ps4-ll_unwindbound50.yml TIMEOUT 900.50 878.50 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 47.65 42.01 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 220.14 209.14 None nla-digbench-scaling/ps4-ll_valuebound100.yml TIMEOUT 900.36 888.32 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 37.66 31.40 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 233.36 224.29 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 115.26 106.23 None nla-digbench-scaling/ps4-ll_valuebound50.yml TIMEOUT 900.37 886.38 None nla-digbench-scaling/ps5-ll_unwindbound1.yml false(unreach-call) 12.55 7.86 None nla-digbench-scaling/ps5-ll_unwindbound10.yml TIMEOUT 900.37 890.87 None nla-digbench-scaling/ps5-ll_unwindbound100.yml TIMEOUT 900.32 895.34 None nla-digbench-scaling/ps5-ll_unwindbound2.yml false(unreach-call) 36.65 30.68 None nla-digbench-scaling/ps5-ll_unwindbound20.yml TIMEOUT 900.36 891.29 None nla-digbench-scaling/ps5-ll_unwindbound5.yml false(unreach-call) 195.08 176.38 None nla-digbench-scaling/ps5-ll_unwindbound50.yml TIMEOUT 900.33 895.22 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 48.15 43.69 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 900.31 894.94 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 900.38 892.43 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 40.17 33.75 None nla-digbench-scaling/ps5-ll_valuebound20.yml TIMEOUT 900.36 889.12 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 900.31 894.41 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 900.39 892.06 None nla-digbench-scaling/ps6-ll_unwindbound1.yml false(unreach-call) 10.47 7.58 None nla-digbench-scaling/ps6-ll_unwindbound10.yml TIMEOUT 900.35 893.27 None nla-digbench-scaling/ps6-ll_unwindbound100.yml TIMEOUT 900.42 888.78 None nla-digbench-scaling/ps6-ll_unwindbound2.yml false(unreach-call) 11.13 7.99 None nla-digbench-scaling/ps6-ll_unwindbound20.yml TIMEOUT 900.37 893.31 None nla-digbench-scaling/ps6-ll_unwindbound5.yml false(unreach-call) 45.65 39.91 None nla-digbench-scaling/ps6-ll_unwindbound50.yml TIMEOUT 900.34 893.86 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 12.13 7.89 None nla-digbench-scaling/ps6-ll_valuebound10.yml true 105.57 97.12 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 900.40 886.15 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 40.75 36.17 None nla-digbench-scaling/ps6-ll_valuebound20.yml TIMEOUT 900.37 888.06 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 58.24 53.03 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 900.36 888.70 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 11.39 7.30 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 11.41 7.55 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 12.04 7.92 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 12.00 8.17 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 12.40 7.90 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 10.78 7.20 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 11.80 8.21 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 10.42 6.91 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 10.60 6.93 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 11.71 7.60 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 10.51 6.81 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 9.95 6.73 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 11.23 7.25 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 10.02 6.60 None recursive/Ackermann01-2.yml true 16.22 10.29 None recursive/Ackermann02.yml false(unreach-call) 10.97 7.09 None recursive/Ackermann03.yml true 45.33 27.80 None recursive/Ackermann04.yml true 33.36 20.03 None recursive/Addition01-2.yml true 11.37 7.38 None recursive/Addition02.yml false(unreach-call) 9.32 5.95 None recursive/Addition03-1.yml OUT OF MEMORY 637.08 514.16 None recursive/BallRajamani-SPIN2000-Fig1.yml false(unreach-call) 9.05 6.25 None recursive/EvenOdd01-1.yml TIMEOUT 901.05 847.89 None recursive/EvenOdd03.yml false(unreach-call) 8.64 5.43 None recursive/Fibonacci01-1.yml true 13.37 8.42 None recursive/Fibonacci02.yml true 63.85 38.88 None recursive/Fibonacci03.yml true 70.50 49.16 None recursive/Fibonacci04.yml false(unreach-call) 15.02 9.63 None recursive/Fibonacci05.yml false(unreach-call) 19.09 11.63 None recursive/McCarthy91-1.yml false(unreach-call) 7.86 5.04 None recursive/McCarthy91-2.yml true 10.49 6.39 None recursive/MultCommutative-2.yml TIMEOUT 900.75 852.54 None recursive/Primes.yml true 17.32 10.80 None recursive/gcd01-1.yml true 10.58 6.33 None recursive/gcd02.yml TIMEOUT 900.54 880.56 None recursive/recHanoi01.yml TIMEOUT 901.10 806.64 None recursive/recHanoi02-2.yml true 9.47 6.18 None recursive/recHanoi03-2.yml true 38.45 23.51 None recursive-simple/fibo_15-1.yml TIMEOUT 900.90 858.87 None recursive-simple/fibo_15-2.yml TIMEOUT 900.71 856.23 None recursive-simple/fibo_20-1.yml OUT OF MEMORY 460.06 413.72 None recursive-simple/fibo_20-2.yml TIMEOUT 900.74 850.36 None recursive-simple/fibo_25-1.yml TIMEOUT 900.89 834.71 None recursive-simple/fibo_25-2.yml TIMEOUT 900.78 852.73 None recursive-simple/fibo_2calls_10-1.yml true 142.45 103.86 None recursive-simple/fibo_2calls_10-2.yml false(unreach-call) 73.40 40.77 None recursive-simple/fibo_2calls_15-1.yml TIMEOUT 900.94 849.73 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 901.07 823.05 None recursive-simple/fibo_2calls_20-1.yml TIMEOUT 901.08 821.13 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 900.91 842.16 None recursive-simple/fibo_2calls_25-1.yml TIMEOUT 900.84 853.41 None recursive-simple/fibo_2calls_25-2.yml OUT OF MEMORY 850.11 796.98 None recursive-simple/id2_b2_o3.yml true 13.72 7.71 None recursive-simple/id2_b3_o2.yml false(unreach-call) 12.23 6.83 None recursive-simple/id2_b3_o5.yml true 11.44 7.46 None recursive-simple/id2_b5_o10.yml true 13.31 7.62 None recursive-simple/id_b2_o3.yml true 10.07 6.50 None recursive-simple/id_b3_o2-2.yml false(unreach-call) 11.36 7.37 None recursive-simple/id_b3_o5-2.yml true 11.90 6.90 None recursive-simple/id_b5_o10-2.yml true 11.93 6.90 None recursive-simple/id_o10.yml false(unreach-call) 15.69 10.12 None recursive-simple/id_o100.yml TIMEOUT 900.41 873.66 None recursive-simple/id_o1000.yml TIMEOUT 900.35 884.25 None recursive-simple/id_o20.yml false(unreach-call) 51.42 43.72 None recursive-simple/id_o200.yml TIMEOUT 900.35 884.16 None recursive-simple/id_o3.yml false(unreach-call) 9.72 6.16 None recursive-simple/sum_non_eq-2.yml true 10.15 6.36 None recursive-simple/sum_non_eq-3.yml false(unreach-call) 8.19 5.55 None verifythis/prefixsum_rec.yml TIMEOUT 900.36 889.21 None verifythis/tree_del_rec.yml false(unreach-call) 13.37 7.69 None verifythis/tree_del_rec_incorrect.yml false(unreach-call) 13.09 7.53 None verifythis/tree_max.yml TIMEOUT 900.44 872.03 None verifythis/tree_max_incorrect.yml false(unreach-call) 13.44 7.53 None ---------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 532438.14 38607.84 - 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) 10.11 5.85 None array-memsafety/array01-alloca-2.yml TIMEOUT 900.38 887.61 None array-memsafety/array02-alloca-2.yml TIMEOUT 900.35 888.89 None array-memsafety/bubblesort_unsafe.yml false(valid-deref) 10.75 6.33 None array-memsafety/count_down-alloca-1.yml true 14.75 9.14 None array-memsafety/count_down_unsafe.yml false(valid-deref) 9.23 5.79 None array-memsafety/cstrcat_unsafe.yml false(valid-deref) 10.19 5.82 None array-memsafety/cstrchr_unsafe.yml false(valid-deref) 17.63 9.91 None array-memsafety/cstrlen_unsafe.yml false(valid-deref) 17.30 9.58 None array-memsafety/cstrncat-alloca-2.yml TIMEOUT 900.48 883.72 None array-memsafety/cstrncat_unsafe.yml false(valid-deref) 8.56 5.19 None array-memsafety/cstrncpy-alloca-2.yml TIMEOUT 900.45 881.83 None array-memsafety/cstrncpy_unsafe.yml false(valid-deref) 8.43 5.06 None array-memsafety/cstrpbrk_unsafe.yml false(valid-deref) 15.48 9.22 None array-memsafety/diff-alloca-2.yml TIMEOUT 900.84 867.64 None array-memsafety/diff_usafe.yml false(valid-deref) 8.69 5.97 None array-memsafety/knapsack_alloca_unsafe.yml false(valid-deref) 24.04 14.26 None array-memsafety/lis-alloca-1.yml TIMEOUT 900.74 879.74 None array-memsafety/lis_unsafe.yml false(valid-deref) 20.65 12.09 None array-memsafety/mult_array_unsafe.yml false(valid-deref) 11.62 7.04 None array-memsafety/openbsd_cbzero-alloca-2.yml true 24.18 15.02 None array-memsafety/openbsd_cmemset-alloca-1.yml true 19.57 12.09 None array-memsafety/openbsd_cstrlcpy-alloca-1.yml TIMEOUT 900.55 857.37 None array-memsafety/rec_strlen-alloca-1.yml true 545.55 524.60 None array-memsafety/reverse_array_alloca_unsafe.yml false(valid-deref) 11.51 7.20 None array-memsafety/reverse_array_unsafe.yml false(valid-deref) 11.79 6.64 None array-memsafety/selectionsort_unsafe.yml false(valid-deref) 10.98 6.23 None array-memsafety/stroeder1_unsafe.yml false(valid-deref) 8.24 5.22 None array-memsafety/strreplace-alloca-2.yml true 204.88 171.68 None array-examples/relax-1.yml false(valid-deref) 12.19 6.87 None array-examples/relax-2-2.yml unknown 56.84 39.89 None array-examples/sanfoundry_24-2.yml TIMEOUT 900.44 876.55 None array-examples/standard_strcpy_ground-2.yml TIMEOUT 900.33 784.66 None array-examples/standard_strcpy_original-1.yml TIMEOUT 900.53 873.57 None array-memsafety-realloc/array-realloc-1.yml false(valid-free) 25.42 16.26 None termination-crafted/Arrays01-EquivalentConstantIndices-1.yml true 13.60 8.12 None termination-crafted/Arrays02-EquivalentConstantIndices.yml true 11.11 6.31 None termination-crafted/Arrays03-ValueRestictsIndex-2.yml true 14.07 8.28 None termination-crafted/LexIndexValue-Array-1.yml true 17.91 10.97 None termination-crafted/LexIndexValue-Pointer-2.yml TIMEOUT 900.46 873.61 None termination-crafted/LexIndexValue-Pointer-3.yml TIMEOUT 900.40 883.11 None termination-crafted/NonTerminationSimple7.yml true 7.20 4.23 None verifythis/prefixsum_iter.yml TIMEOUT 900.60 863.95 None memsafety/20020406-1.yml unknown 316.43 274.41 None memsafety/960521-1-1.yml TIMEOUT 900.42 880.29 None memsafety/960521-1-3.yml TIMEOUT 900.40 878.22 None memsafety/cmp-freed-ptr.yml false(valid-free) 12.50 7.03 None memsafety/global-atexit-2a.yml unknown 12.67 7.37 None memsafety/global-atexit-5.yml unknown 16.74 9.29 None memsafety/lockfree-3.0.yml OUT OF MEMORY 175.62 135.22 None memsafety/lockfree-3.1.yml unknown 36.15 25.35 None memsafety/lockfree-3.2.yml unknown 20.61 13.82 None memsafety/lockfree-3.3.yml unknown 59.82 36.81 None memsafety/test-0019-1.yml true 21.79 13.17 None memsafety/test-0019-2.yml unknown 23.15 15.88 None memsafety/test-0102-1.yml TIMEOUT 900.42 884.75 None memsafety/test-0102-2.yml TIMEOUT 900.41 882.45 None memsafety/test-0134.yml TIMEOUT 900.42 881.73 None memsafety/test-0137.yml TIMEOUT 900.43 884.13 None memsafety/test-0158-1.yml true 10.84 6.24 None memsafety/test-0158-2.yml unknown 16.74 11.39 None memsafety/test-0158-3.yml false(valid-free) 11.62 6.92 None memsafety/test-0214.yml TIMEOUT 900.95 859.10 None memsafety/test-0217.yml TIMEOUT 900.51 873.12 None memsafety/test-0218.yml TIMEOUT 900.50 865.35 None memsafety/test-0219.yml TIMEOUT 900.51 871.85 None memsafety/test-0220.yml TIMEOUT 900.50 874.02 None memsafety/test-0232-1.yml TIMEOUT 900.51 880.41 None memsafety/test-0232-2.yml TIMEOUT 900.50 881.50 None memsafety/test-0232-3.yml TIMEOUT 900.51 881.44 None memsafety/test-0234-1.yml TIMEOUT 900.55 870.16 None memsafety/test-0234-2.yml TIMEOUT 900.52 871.49 None memsafety/test-0235-1.yml TIMEOUT 900.46 877.60 None memsafety/test-0235-2.yml TIMEOUT 901.22 864.87 None memsafety/test-0235-3.yml TIMEOUT 900.51 878.04 None memsafety/test-0236.yml TIMEOUT 900.41 886.31 None memsafety/test-0237.yml TIMEOUT 900.47 884.14 None memsafety/test-0504.yml OUT OF MEMORY 391.68 324.54 None memsafety/test-0513.yml TIMEOUT 900.41 883.58 None memsafety/test-0521.yml TIMEOUT 900.71 864.52 None memsafety/test-memleak_nexttime.yml TIMEOUT 900.40 880.89 None memsafety-ext/dll_extends_pointer.yml TIMEOUT 900.39 883.01 None memsafety-ext/skiplist_2lvl.yml TIMEOUT 900.40 881.66 None memsafety-ext/skiplist_3lvl.yml TIMEOUT 900.41 877.90 None memsafety-ext/tree_cnstr.yml OUT OF MEMORY 144.41 116.01 None memsafety-ext/tree_dsw.yml TIMEOUT 900.41 882.29 None memsafety-ext/tree_of_cslls.yml TIMEOUT 900.63 871.45 None memsafety-ext/tree_parent_ptr.yml TIMEOUT 900.49 869.08 None memsafety-ext/tree_stack.yml TIMEOUT 900.54 874.58 None memsafety-ext2/complex_data_creation_test01-1.yml TIMEOUT 900.47 878.84 None memsafety-ext2/complex_data_creation_test02-2.yml TIMEOUT 900.72 859.73 None memsafety-ext2/split_list_test05-1.yml TIMEOUT 900.41 884.99 None list-ext-properties/960521-1_1-1.yml false(valid-deref) 13.26 8.19 None list-ext-properties/960521-1_1-2.yml TIMEOUT 900.36 882.68 None list-ext-properties/960521-1_1-3.yml false(valid-free) 16.56 10.66 None list-ext-properties/list-ext.yml unknown 24.60 16.19 None list-ext-properties/list-ext_1.yml TIMEOUT 900.60 879.21 None list-ext-properties/list-ext_flag_1.yml TIMEOUT 900.54 879.77 None list-ext-properties/simple-ext_1.yml TIMEOUT 900.56 867.52 None list-ext-properties/test-0019_1-1.yml TIMEOUT 900.72 877.98 None list-ext-properties/test-0019_1-2.yml TIMEOUT 900.36 886.82 None list-ext-properties/test-0158_1-1.yml true 10.39 6.00 None list-ext-properties/test-0158_1-2.yml unknown 17.81 11.03 None list-ext-properties/test-0158_1-3.yml false(valid-free) 10.45 6.44 None list-ext-properties/test-0214_1.yml TIMEOUT 900.44 873.76 None list-ext-properties/test-0217_1.yml TIMEOUT 900.72 853.92 None memory-alloca/c.03-alloca-2.yml true 14.35 7.99 None ldv-memsafety/ArraysOfVariableLength2.yml TIMEOUT 900.56 858.73 None ldv-memsafety/ArraysOfVariableLength2_-read.yml false(valid-deref) 11.76 6.61 None ldv-memsafety/ArraysOfVariableLength2_-write.yml false(valid-deref) 11.94 6.73 None ldv-memsafety/ArraysOfVariableLength_-read.yml false(valid-deref) 9.94 5.58 None ldv-memsafety/ArraysOfVariableLength_-write.yml false(valid-deref) 10.18 5.80 None ldv-memsafety/ArraysWithLenghtAtDeclaration_-read.yml TIMEOUT 900.58 852.24 None ldv-memsafety/ArraysWithLenghtAtDeclaration_-write.yml TIMEOUT 900.53 871.34 None ldv-memsafety/StructInitialization.yml true 11.30 6.44 None ldv-memsafety/StructInitialization1.yml true 10.90 6.32 None ldv-memsafety/StructInitialization2.yml true 13.81 7.62 None ldv-memsafety/memleaks_test1-1.yml unknown 15.04 9.00 None ldv-memsafety/memleaks_test1-2.yml false(valid-free) 21.97 13.27 None ldv-memsafety/memleaks_test1-3.yml true 17.38 10.70 None ldv-memsafety/memleaks_test10-1.yml TIMEOUT 900.38 885.36 None ldv-memsafety/memleaks_test10-2.yml TIMEOUT 900.45 874.69 None ldv-memsafety/memleaks_test11.yml TIMEOUT 900.35 885.66 None ldv-memsafety/memleaks_test11_1.yml TIMEOUT 900.39 882.42 None ldv-memsafety/memleaks_test11_2.yml TIMEOUT 900.37 885.03 None ldv-memsafety/memleaks_test12-1.yml TIMEOUT 900.56 870.88 None ldv-memsafety/memleaks_test13.yml TIMEOUT 900.37 885.51 None ldv-memsafety/memleaks_test13_1.yml unknown 28.94 20.93 None ldv-memsafety/memleaks_test13_2.yml unknown 72.25 60.63 None ldv-memsafety/memleaks_test14.yml TIMEOUT 900.38 884.76 None ldv-memsafety/memleaks_test14_1.yml unknown 22.32 15.57 None ldv-memsafety/memleaks_test14_2.yml TIMEOUT 900.40 884.73 None ldv-memsafety/memleaks_test14_3.yml TIMEOUT 900.38 884.33 None ldv-memsafety/memleaks_test15-1.yml TIMEOUT 900.35 888.80 None ldv-memsafety/memleaks_test15-2.yml TIMEOUT 900.42 876.61 None ldv-memsafety/memleaks_test16.yml true 22.04 13.63 None ldv-memsafety/memleaks_test16_1.yml unknown 19.50 11.60 None ldv-memsafety/memleaks_test16_2.yml unknown 18.53 10.80 None ldv-memsafety/memleaks_test17_1-1.yml TIMEOUT 900.46 874.61 None ldv-memsafety/memleaks_test17_1-2.yml OUT OF MEMORY 112.89 82.39 None ldv-memsafety/memleaks_test17_2-1.yml TIMEOUT 900.46 872.67 None ldv-memsafety/memleaks_test19-1.yml true 209.60 203.73 None ldv-memsafety/memleaks_test19-2.yml TIMEOUT 900.38 885.61 None ldv-memsafety/memleaks_test20-1.yml unknown 19.48 11.27 None ldv-memsafety/memleaks_test20-2.yml true 18.33 12.18 None ldv-memsafety/memleaks_test21-1.yml unknown 19.54 10.96 None ldv-memsafety/memleaks_test21-2.yml true 17.66 12.42 None ldv-memsafety/memleaks_test22_2-1.yml unknown 22.98 16.71 None ldv-memsafety/memleaks_test22_3-2.yml false(valid-deref) 46.60 36.53 None ldv-memsafety/memleaks_test22_5.yml false(valid-deref) 64.59 47.71 None ldv-memsafety/memleaks_test23_1.yml TIMEOUT 900.71 873.32 None ldv-memsafety/memleaks_test23_2.yml TIMEOUT 900.87 868.90 None ldv-memsafety/memleaks_test23_3.yml TIMEOUT 900.89 862.81 None ldv-memsafety/memleaks_test23_4.yml TIMEOUT 900.85 868.97 None ldv-memsafety/memleaks_test3-1.yml false(valid-free) 17.57 10.06 None ldv-memsafety/memleaks_test3-2.yml true 20.63 12.62 None ldv-memsafety/memleaks_test4-1.yml unknown 20.96 12.76 None ldv-memsafety/memleaks_test4-2.yml true 33.97 24.20 None ldv-memsafety/memleaks_test5.yml true 17.24 10.91 None ldv-memsafety/memleaks_test5_1.yml unknown 14.85 8.75 None ldv-memsafety/memleaks_test5_2.yml unknown 18.98 10.94 None ldv-memsafety/memleaks_test6.yml true 24.61 18.61 None ldv-memsafety/memleaks_test6_1.yml unknown 27.73 18.19 None ldv-memsafety/memleaks_test6_2.yml false(valid-free) 23.79 17.06 None ldv-memsafety/memleaks_test6_3.yml unknown 21.83 15.24 None ldv-memsafety/memleaks_test7-1.yml unknown 31.09 22.33 None ldv-memsafety/memleaks_test7-2.yml true 46.52 39.38 None ldv-memsafety/memleaks_test8.yml true 16.30 10.39 None ldv-memsafety/memleaks_test8_1.yml unknown 14.79 8.83 None ldv-memsafety/memleaks_test8_2.yml false(valid-free) 16.63 10.57 None ldv-memsafety/memleaks_test9.yml true 17.25 11.10 None ldv-memsafety/memleaks_test9_1.yml unknown 19.46 11.08 None ldv-memsafety/memleaks_test9_2.yml unknown 14.59 8.59 None ldv-memsafety/memset.yml true 8.73 5.16 None ldv-memsafety/memset2.yml true 10.93 6.06 None ldv-memsafety/memset2_-write.yml false(valid-deref) 8.06 5.09 None ldv-memsafety/memset3.yml true 8.48 5.10 None ldv-memsafety/memset3_-write.yml false(valid-deref) 8.36 5.29 None ldv-memsafety/memsetNonZero.yml true 11.06 6.30 None ldv-memsafety/memsetNonZero2.yml true 8.73 5.48 None ldv-memsafety/memsetNonZero2_-write.yml false(valid-deref) 8.12 5.01 None ldv-memsafety/memsetNonZero3.yml true 8.68 5.22 None ldv-memsafety/memsetNonZero3_-write.yml false(valid-deref) 8.30 4.89 None ldv-memsafety/memsetNonZero_-write.yml false(valid-deref) 8.04 5.17 None ldv-memsafety/memset_-write.yml false(valid-deref) 10.25 5.96 None ldv-memsafety-bitfields/test-bitfields-1-1.yml ERROR (7) 12.15 7.46 None ldv-memsafety-bitfields/test-bitfields-1-2.yml ERROR (7) 13.09 7.50 None ldv-memsafety-bitfields/test-bitfields-2-1.yml ERROR (7) 11.98 6.94 None ldv-memsafety-bitfields/test-bitfields-2-2.yml ERROR (7) 12.13 7.74 None ldv-memsafety-bitfields/test-bitfields-2.1-1.yml ERROR (7) 15.91 8.67 None ldv-memsafety-bitfields/test-bitfields-2.1-2.yml ERROR (7) 11.79 6.78 None ldv-memsafety-bitfields/test-bitfields-3-1.yml ERROR (7) 12.14 7.04 None ldv-memsafety-bitfields/test-bitfields-3-2.yml ERROR (7) 12.34 7.12 None ldv-memsafety-bitfields/test-bitfields-3.1-1.yml ERROR (7) 12.41 7.76 None ldv-memsafety-bitfields/test-bitfields-3.1-2.yml ERROR (7) 12.09 7.05 None termination-recursive-malloc/chunk1-2.yml unknown 17.88 10.55 None heap-manipulation/bubble_sort_linux-1.yml OUT OF MEMORY 267.27 241.56 None heap-manipulation/dancing.yml TIMEOUT 900.41 878.70 None heap-manipulation/dll_of_dll-1.yml TIMEOUT 900.36 885.18 None heap-manipulation/merge_sort-2.yml TIMEOUT 900.48 869.02 None heap-manipulation/sll_to_dll_rev-2.yml TIMEOUT 900.41 880.50 None heap-manipulation/tree-1.yml false(valid-deref) 9.16 5.54 None heap-manipulation/tree-2.yml TIMEOUT 900.40 885.23 None forester-heap/dll-01-2.yml TIMEOUT 900.42 876.76 None forester-heap/dll-circular-2.yml TIMEOUT 900.45 873.36 None forester-heap/dll-optional-1.yml TIMEOUT 900.50 870.88 None forester-heap/dll-queue-1.yml TIMEOUT 900.48 875.66 None forester-heap/dll-rb-cnstr_1-1.yml OUT OF MEMORY 251.81 188.44 None forester-heap/dll-rb-cnstr_1-2.yml unknown 31.38 20.31 None forester-heap/dll-rb-sentinel-1.yml unknown 50.23 36.72 None forester-heap/dll-rb-sentinel-2.yml TIMEOUT 900.54 875.20 None forester-heap/dll-reverse.yml OUT OF MEMORY 167.33 133.71 None forester-heap/dll-simple-white-blue-2.yml TIMEOUT 900.43 886.38 None forester-heap/dll-sorted-2.yml TIMEOUT 900.39 881.32 None forester-heap/dll-token-1.yml TIMEOUT 900.45 876.79 None forester-heap/sll-01-1.yml OUT OF MEMORY 159.36 127.50 None forester-heap/sll-01-2.yml false(valid-deref) 30.51 17.08 None forester-heap/sll-buckets-1.yml TIMEOUT 900.65 882.50 None forester-heap/sll-circular-1.yml TIMEOUT 900.46 872.47 None forester-heap/sll-optional-1.yml OUT OF MEMORY 166.19 142.74 None forester-heap/sll-queue-1.yml TIMEOUT 900.47 879.60 None forester-heap/sll-rb-cnstr_1-1.yml TIMEOUT 900.42 879.17 None forester-heap/sll-rb-cnstr_1-2.yml unknown 24.88 16.74 None forester-heap/sll-rb-sentinel-1.yml TIMEOUT 900.42 882.87 None forester-heap/sll-reverse_simple.yml TIMEOUT 900.37 886.51 None forester-heap/sll-simple-white-blue-1.yml TIMEOUT 900.42 879.34 None forester-heap/sll-sorted-2.yml TIMEOUT 900.53 866.58 None forester-heap/sll-token-2.yml TIMEOUT 900.97 869.66 None list-properties/alternating_list-1.yml TIMEOUT 900.41 885.55 None list-properties/list-1.yml unknown 27.35 18.13 None list-properties/list_flag-2.yml unknown 19.01 12.72 None list-properties/simple-2.yml unknown 24.41 16.55 None list-properties/simple_built_from_end.yml unknown 19.89 13.80 None list-properties/splice-2.yml unknown 18.59 11.88 None ddv-machzwd/ddv_machzwd_all.yml unknown 143.09 123.82 None ddv-machzwd/ddv_machzwd_inb.yml unknown 406.03 383.64 None ddv-machzwd/ddv_machzwd_inb_p.yml unknown 412.48 389.70 None ddv-machzwd/ddv_machzwd_inl.yml unknown 415.11 389.94 None ddv-machzwd/ddv_machzwd_inl_p.yml unknown 412.80 388.19 None ddv-machzwd/ddv_machzwd_inw_p.yml unknown 412.06 379.38 None ddv-machzwd/ddv_machzwd_outb.yml unknown 140.14 114.18 None ddv-machzwd/ddv_machzwd_outb_p.yml unknown 406.84 376.15 None ddv-machzwd/ddv_machzwd_outl.yml unknown 413.51 382.36 None ddv-machzwd/ddv_machzwd_outl_p.yml unknown 436.26 392.93 None ddv-machzwd/ddv_machzwd_outw_p.yml unknown 407.24 387.41 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.yml unknown 403.02 385.67 None list-simple/dll2c_append_equal.yml TIMEOUT 900.43 879.46 None list-simple/dll2c_append_unequal.yml TIMEOUT 900.48 878.09 None list-simple/dll2c_insert_equal.yml TIMEOUT 900.41 878.94 None list-simple/dll2c_prepend_equal.yml TIMEOUT 900.43 878.51 None list-simple/dll2c_prepend_unequal.yml TIMEOUT 900.45 880.24 None list-simple/dll2n_append_equal.yml TIMEOUT 900.39 881.66 None list-simple/dll2n_append_unequal.yml TIMEOUT 900.41 878.97 None list-simple/dll2n_insert_equal.yml TIMEOUT 900.42 881.49 None list-simple/dll2n_insert_unequal.yml TIMEOUT 900.42 876.53 None list-simple/dll2n_prepend_equal.yml TIMEOUT 900.43 876.46 None list-simple/dll2n_prepend_unequal.yml TIMEOUT 900.58 867.57 None list-simple/sll2c_append_equal.yml TIMEOUT 900.63 880.29 None list-simple/sll2c_append_unequal.yml TIMEOUT 900.53 882.63 None list-simple/sll2c_insert_equal.yml TIMEOUT 900.73 860.13 None list-simple/sll2c_insert_unequal.yml TIMEOUT 900.39 884.75 None list-simple/sll2c_prepend_equal.yml TIMEOUT 900.45 881.76 None list-simple/sll2c_prepend_unequal.yml TIMEOUT 900.45 881.54 None list-simple/sll2n_append_equal.yml TIMEOUT 900.40 882.83 None list-simple/sll2n_insert_equal.yml TIMEOUT 900.41 878.46 None list-simple/sll2n_insert_unequal.yml OUT OF MEMORY 668.92 608.25 None list-ext3-properties/dll_circular_traversal-1.yml TIMEOUT 900.41 880.32 None list-ext3-properties/dll_circular_traversal-2.yml TIMEOUT 900.42 879.76 None list-ext3-properties/sll_circular_traversal-1.yml TIMEOUT 901.26 856.17 None list-ext3-properties/sll_circular_traversal-2.yml TIMEOUT 901.14 854.66 None list-ext3-properties/sll_length_check-2.yml TIMEOUT 900.52 870.82 None list-ext3-properties/sll_nondet_insert-2.yml TIMEOUT 900.48 884.35 None list-ext3-properties/sll_of_sll_nondet_append-1.yml TIMEOUT 900.40 891.23 None list-ext3-properties/sll_shallow_copy-1.yml true 31.21 20.72 None list-ext3-properties/sll_shallow_copy-2.yml unknown 28.37 18.42 None loops/invert_string-2.yml false(valid-deref) 10.76 6.20 None loop-acceleration/array3.yml TIMEOUT 900.60 854.48 None ntdrivers/floppy.i.cil-2.yml false(valid-deref) 141.23 120.67 None ntdrivers/floppy.i.cil-3.yml TIMEOUT 900.66 871.56 None ntdrivers/floppy2.i.cil.yml ERROR (7) 17.24 9.69 None ntdrivers/kbfiltr.i.cil-1.yml false(valid-deref) 46.55 35.26 None locks/test_locks_10.yml true 14.59 8.19 None locks/test_locks_11.yml true 17.72 9.80 None locks/test_locks_12.yml true 24.54 14.65 None locks/test_locks_13.yml true 36.99 23.57 None locks/test_locks_14-1.yml OUT OF MEMORY 54.15 33.84 None locks/test_locks_14-2.yml unknown 18.54 12.63 None locks/test_locks_15-1.yml unknown 17.62 11.62 None locks/test_locks_15-2.yml OUT OF MEMORY 52.00 33.46 None locks/test_locks_5.yml true 9.69 5.62 None locks/test_locks_6.yml true 9.57 5.72 None locks/test_locks_7.yml true 10.61 6.58 None locks/test_locks_8.yml true 11.26 6.59 None locks/test_locks_9.yml true 12.80 7.26 None memsafety-ext3/derefAfterFree1.yml false(valid-deref) 8.92 5.18 None memsafety-ext3/derefAfterFree2.yml false(valid-deref) 11.35 7.40 None memsafety-ext3/derefInLoop1.yml false(valid-deref) 8.51 5.17 None memsafety-ext3/freeAlloca.yml false(valid-free) 12.23 7.98 None memsafety-ext3/getNumbers1-1.yml false(valid-deref) 10.13 6.24 None memsafety-ext3/getNumbers2.yml false(valid-deref) 15.98 10.27 None memsafety-ext3/getNumbers4-2.yml false(valid-deref) 23.46 14.87 None memsafety-ext3/naturalNumbers1.yml false(valid-deref) 15.66 10.56 None memsafety-ext3/realloc1.yml false(valid-deref) 11.15 7.43 None memsafety-ext3/scopes1.yml false(valid-deref) 8.01 4.90 None memsafety-ext3/scopes2.yml false(valid-deref) 8.04 4.99 None memsafety-ext3/scopes3.yml false(valid-deref) 9.65 6.49 None memsafety-ext3/scopes4-1.yml ERROR (7) 11.67 6.93 None memsafety-ext3/scopes4-2.yml false(valid-deref) 8.80 5.43 None memsafety-ext3/scopes5.yml false(valid-deref) 7.81 4.94 None pthread-memsafety/fillarray.yml false(valid-deref) 21.48 13.89 None pthread-memsafety/fillarray1.yml false(valid-deref) 57.81 47.94 None pthread-memsafety/list1.yml TIMEOUT 900.40 882.68 None termination-crafted/4BitCounterPointer.yml TIMEOUT 900.45 886.05 None busybox-1.22.0/basename-1.yml TIMEOUT 900.47 876.80 None busybox-1.22.0/chgrp-incomplete-1.yml unknown 15.07 8.53 None busybox-1.22.0/chroot-incomplete-2.yml unknown 14.90 8.93 None busybox-1.22.0/dirname-1.yml TIMEOUT 900.42 877.84 None busybox-1.22.0/du-1.yml unknown 16.09 9.07 None busybox-1.22.0/echo-1.yml unknown 14.93 8.62 None busybox-1.22.0/head-1.yml unknown 15.41 8.74 None busybox-1.22.0/head-2.yml unknown 15.03 8.43 None busybox-1.22.0/hostid.yml TIMEOUT 900.40 880.59 None busybox-1.22.0/logname-1.yml unknown 15.28 8.81 None busybox-1.22.0/ls-incomplete-2.yml unknown 16.61 9.40 None busybox-1.22.0/ls-incomplete-3.yml unknown 16.06 9.31 None busybox-1.22.0/mkdir-2.yml unknown 15.49 8.67 None busybox-1.22.0/mkfifo-incomplete-1.yml unknown 14.00 8.33 None busybox-1.22.0/od-3.yml unknown 16.15 9.19 None busybox-1.22.0/printf-2.yml unknown 20.97 11.40 None busybox-1.22.0/readlink-2.yml unknown 14.95 8.35 None busybox-1.22.0/realpath-1.yml unknown 19.91 10.92 None busybox-1.22.0/rm-1.yml unknown 15.69 8.95 None busybox-1.22.0/seq-1.yml unknown 15.17 8.57 None busybox-1.22.0/sleep-1.yml unknown 19.38 10.70 None busybox-1.22.0/stty-2.yml unknown 23.42 12.73 None busybox-1.22.0/sync-2.yml unknown 14.01 8.10 None busybox-1.22.0/test-incomplete-1.yml unknown 16.23 9.22 None busybox-1.22.0/uname-2.yml unknown 19.61 10.65 None busybox-1.22.0/uniq-2.yml unknown 14.94 8.60 None busybox-1.22.0/usleep-2.yml unknown 19.88 10.95 None busybox-1.22.0/uudecode-1.yml unknown 15.37 8.84 None busybox-1.22.0/who-2.yml unknown 15.00 8.60 None busybox-1.22.0/whoami-incomplete-2.yml unknown 18.66 10.31 None busybox-1.22.0/yes-2.yml unknown 20.15 11.07 None openbsd-6.2/if_etherip-double-free.yml ERROR (7) 18.74 10.97 None openbsd-6.2/if_etherip-fixed-double-free-invalid-deref1.yml ERROR (7) 18.69 10.77 None openbsd-6.2/if_etherip-fixed-double-free-invalid-deref2.yml ERROR (7) 23.41 13.12 None openbsd-6.2/if_etherip-fixed-double-free.yml ERROR (7) 25.11 14.13 None ----------------------------------------------------------------------------------------------------------------------------- Run set 2 done 131577.09 9474.72 - 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 104.38 73.86 None recursive/Ackermann02.yml OUT OF MEMORY 81.20 55.73 None recursive/Ackermann03.yml OUT OF MEMORY 87.45 58.75 None recursive/Ackermann04.yml OUT OF MEMORY 134.80 87.98 None recursive/Addition01-2.yml TIMEOUT 900.98 805.97 None recursive/Addition02.yml TIMEOUT 900.57 869.17 None recursive/Addition02WithOverflowBug.yml false(no-overflow) 11.16 6.36 None recursive/Addition03-1.yml TIMEOUT 901.12 751.89 None recursive/Addition03-2.yml false(no-overflow) 11.44 6.50 None recursive/BallRajamani-SPIN2000-Fig1.yml true 8.35 5.31 None recursive/EvenOdd01-1.yml TIMEOUT 900.70 864.26 None recursive/EvenOdd03.yml TIMEOUT 900.60 866.94 None recursive/EvenOdd03WithOverflowBug.yml false(no-overflow) 8.59 5.07 None recursive/Fibonacci01-1.yml TIMEOUT 900.78 845.93 None recursive/Fibonacci02.yml true 58.83 36.98 None recursive/Fibonacci03.yml TIMEOUT 900.68 859.18 None recursive/Fibonacci04.yml TIMEOUT 901.00 816.51 None recursive/Fibonacci05.yml TIMEOUT 900.36 825.41 None recursive/McCarthy91-1.yml true 11.07 6.59 None recursive/McCarthy91-2.yml true 11.09 6.62 None recursive/MultCommutative-2.yml TIMEOUT 900.78 846.37 None recursive/Primes.yml TIMEOUT 900.90 831.10 None recursive/gcd01-1.yml true 9.01 5.62 None recursive/gcd02.yml true 14.02 9.04 None recursive/recHanoi01.yml TIMEOUT 900.62 828.21 None recursive/recHanoi02-2.yml TIMEOUT 900.59 856.70 None recursive/recHanoi03-2.yml TIMEOUT 901.14 747.60 None recursive-simple/id2_b2_o3.yml true 9.70 5.52 None recursive-simple/id2_b3_o2.yml true 9.48 5.38 None recursive-simple/id2_b3_o5.yml true 10.47 5.88 None recursive-simple/id2_b5_o10.yml true 9.72 5.57 None recursive-simple/id_b2_o3.yml true 9.73 5.56 None recursive-simple/id_b3_o2-1.yml false(no-overflow) 10.35 5.94 None recursive-simple/id_b3_o2-2.yml true 13.04 7.40 None recursive-simple/id_b3_o5-1.yml false(no-overflow) 10.56 6.11 None recursive-simple/id_b3_o5-2.yml true 12.96 7.38 None recursive-simple/id_b5_o10-1.yml false(no-overflow) 8.23 5.18 None recursive-simple/id_b5_o10-2.yml true 12.50 7.62 None recursive-simple/id_o10.yml true 8.09 5.22 None recursive-simple/id_o100.yml true 7.77 4.71 None recursive-simple/id_o1000.yml true 10.56 5.99 None recursive-simple/id_o20.yml true 7.80 4.76 None recursive-simple/id_o200.yml true 9.58 5.49 None recursive-simple/id_o3.yml true 10.24 5.93 None recursive-simple/sum_non.yml false(no-overflow) 8.39 5.31 None recursive-simple/sum_non_eq-1.yml false(no-overflow) 10.18 6.20 None recursive-simple/sum_non_eq-2.yml true 10.34 5.92 None recursive-simple/sum_non_eq-3.yml true 9.79 5.80 None bitvector/byte_add-1.yml true 9.22 5.52 None bitvector/byte_add-2.yml false(no-overflow) 47.09 26.55 None bitvector/byte_add_1-1.yml true 11.76 6.69 None bitvector/byte_add_1-2.yml false(no-overflow) 36.65 20.44 None bitvector/byte_add_2-1.yml false(no-overflow) 50.62 34.41 None bitvector/byte_add_2-2.yml true 9.31 5.90 None bitvector/gcd_1.yml true 11.08 7.06 None bitvector/gcd_2.yml true 8.77 5.23 None bitvector/gcd_3.yml true 8.89 5.37 None bitvector/gcd_4.yml true 18.60 11.71 None bitvector/interleave_bits.yml true 8.12 4.93 None bitvector/jain_1-1.yml true 7.65 4.97 None bitvector/jain_1-2.yml false(no-overflow) 8.06 4.83 None bitvector/jain_2-1.yml true 7.72 4.70 None bitvector/jain_2-2.yml false(no-overflow) 10.16 5.86 None bitvector/jain_4-1.yml false(no-overflow) 8.41 4.97 None bitvector/jain_4-2.yml true 7.46 4.69 None bitvector/jain_5-1.yml TIMEOUT 901.16 791.12 None bitvector/jain_5-2.yml true 9.64 5.50 None bitvector/jain_6-1.yml true 10.52 6.06 None bitvector/jain_6-2.yml false(no-overflow) 8.34 5.50 None bitvector/jain_7-1.yml false(no-overflow) 9.03 6.57 None bitvector/jain_7-2.yml true 7.83 4.76 None bitvector/modulus-1.yml false(no-overflow) 16.43 11.25 None bitvector/modulus-2.yml true 15.76 9.92 None bitvector/num_conversion_1.yml true 20.12 12.08 None bitvector/num_conversion_2.yml true 16.98 11.17 None bitvector/parity.yml true 8.41 5.37 None bitvector/s3_clnt_1.BV.c.cil-1.yml false(no-overflow) 12.92 7.18 None bitvector/s3_clnt_1.BV.c.cil-1a.yml false(no-overflow) 24.84 17.34 None bitvector/s3_clnt_1.BV.c.cil-2.yml false(no-overflow) 9.83 5.86 None bitvector/s3_clnt_2.BV.c.cil-1.yml false(no-overflow) 13.28 7.48 None bitvector/s3_clnt_2.BV.c.cil-1a.yml true 8.92 5.66 None bitvector/s3_clnt_2.BV.c.cil-2.yml false(no-overflow) 9.76 5.73 None bitvector/s3_clnt_2.BV.c.cil-2a.yml true 12.00 6.80 None bitvector/s3_clnt_3.BV.c.cil-1.yml false(no-overflow) 9.95 5.91 None bitvector/s3_clnt_3.BV.c.cil-1a.yml true 10.63 6.73 None bitvector/s3_clnt_3.BV.c.cil-2.yml false(no-overflow) 9.67 6.37 None bitvector/s3_clnt_3.BV.c.cil-2a.yml true 15.02 8.36 None bitvector/s3_srvr_1.BV.c.cil.yml false(no-overflow) 11.72 6.58 None bitvector/s3_srvr_1_alt.BV.c.cil.yml false(no-overflow) 9.68 6.48 None bitvector/s3_srvr_1a.BV.c.cil.yml true 21.47 12.22 None bitvector/s3_srvr_1a_alt.BV.c.cil.yml false(no-overflow) 26.49 17.16 None bitvector/s3_srvr_2.BV.c.cil.yml false(no-overflow) 13.60 7.75 None bitvector/s3_srvr_2_alt.BV.c.cil.yml false(no-overflow) 9.73 6.19 None bitvector/s3_srvr_2a.BV.c.cil.yml true 9.74 7.17 None bitvector/s3_srvr_2a_alt.BV.c.cil.yml true 9.59 6.21 None bitvector/s3_srvr_3.BV.c.cil.yml false(no-overflow) 12.33 7.01 None bitvector/s3_srvr_3_alt.BV.c.cil.yml false(no-overflow) 10.95 7.25 None bitvector/s3_srvr_3a.BV.c.cil.yml true 29.88 18.35 None bitvector/s3_srvr_3a_alt.BV.c.cil.yml true 40.62 22.59 None bitvector/soft_float_1-2.c.cil.yml false(no-overflow) 20.37 14.52 None bitvector/soft_float_1-2a.c.cil.yml true 66.10 42.35 None bitvector/soft_float_1-3.c.cil.yml false(no-overflow) 20.87 13.37 None bitvector/soft_float_1-3a.c.cil.yml true 53.89 41.57 None bitvector/soft_float_2.c.cil.yml false(no-overflow) 107.32 75.40 None bitvector/soft_float_2a.c.cil.yml OUT OF MEMORY 277.72 241.90 None bitvector/soft_float_3.c.cil.yml false(no-overflow) 77.88 62.57 None bitvector/soft_float_3a.c.cil.yml OUT OF MEMORY 149.15 116.07 None bitvector/soft_float_4-2.c.cil.yml false(no-overflow) 20.06 15.21 None bitvector/soft_float_4-2a.c.cil.yml true 54.41 37.18 None bitvector/soft_float_4-3.c.cil.yml false(no-overflow) 19.90 13.92 None bitvector/soft_float_4-3a.c.cil.yml true 55.97 37.57 None bitvector/soft_float_5.c.cil.yml false(no-overflow) 90.37 74.18 None bitvector/soft_float_5a.c.cil.yml OUT OF MEMORY 187.20 134.28 None bitvector/sum02-1.yml true 8.16 5.36 None bitvector/sum02-2.yml true 8.08 5.03 None psyco/psyco_abp_1-1.yml true 13.26 9.02 None psyco/psyco_abp_1-2.yml TIMEOUT 900.84 863.55 None psyco/psyco_abp_1-3.yml true 9.46 5.77 None loop-zilu/benchmark01_conjunctive.yml false(no-overflow) 16.04 10.57 None loop-zilu/benchmark02_linear.yml true 11.07 6.38 None loop-zilu/benchmark02_linear_abstracted.yml true 7.46 5.10 None loop-zilu/benchmark03_linear.yml TIMEOUT 900.93 859.51 None loop-zilu/benchmark04_conjunctive.yml true 13.94 9.05 None loop-zilu/benchmark05_conjunctive.yml true 9.39 6.65 None loop-zilu/benchmark06_conjunctive.yml false(no-overflow) 10.80 6.15 None loop-zilu/benchmark07_linear.yml false(no-overflow) 8.98 5.90 None loop-zilu/benchmark08_conjunctive.yml TIMEOUT 901.15 813.78 None loop-zilu/benchmark09_conjunctive.yml true 11.16 6.30 None loop-zilu/benchmark10_conjunctive.yml true 229.76 209.77 None loop-zilu/benchmark11_linear.yml true 9.70 6.13 None loop-zilu/benchmark11_linear_abstracted.yml true 8.73 5.26 None loop-zilu/benchmark12_linear.yml false(no-overflow) 11.22 6.40 None loop-zilu/benchmark13_conjunctive.yml TIMEOUT 900.29 781.85 None loop-zilu/benchmark14_linear.yml true 8.23 5.18 None loop-zilu/benchmark15_conjunctive.yml false(no-overflow) 8.27 5.29 None loop-zilu/benchmark16_conjunctive.yml TIMEOUT 900.55 873.98 None loop-zilu/benchmark17_conjunctive.yml TIMEOUT 901.17 761.06 None loop-zilu/benchmark18_conjunctive.yml TIMEOUT 900.74 866.97 None loop-zilu/benchmark19_conjunctive.yml true 11.84 6.86 None loop-zilu/benchmark20_conjunctive.yml true 639.36 550.97 None loop-zilu/benchmark21_disjunctive.yml false(no-overflow) 8.49 5.41 None loop-zilu/benchmark22_conjunctive.yml TIMEOUT 900.61 880.63 None loop-zilu/benchmark23_conjunctive.yml true 108.63 79.54 None loop-zilu/benchmark24_conjunctive.yml TIMEOUT 900.25 764.84 None loop-zilu/benchmark25_linear.yml true 8.57 4.95 None loop-zilu/benchmark25_linear_abstracted.yml true 8.41 5.00 None loop-zilu/benchmark26_linear.yml true 8.23 5.10 None loop-zilu/benchmark26_linear_abstracted.yml true 8.38 5.06 None loop-zilu/benchmark27_linear.yml false(no-overflow) 7.85 4.62 None loop-zilu/benchmark28_linear.yml false(no-overflow) 8.56 5.23 None loop-zilu/benchmark29_linear.yml false(no-overflow) 8.06 4.89 None loop-zilu/benchmark30_conjunctive.yml false(no-overflow) 8.14 4.92 None loop-zilu/benchmark31_disjunctive.yml false(no-overflow) 8.17 4.82 None loop-zilu/benchmark32_linear.yml true 7.70 4.67 None loop-zilu/benchmark33_linear.yml true 8.19 5.29 None loop-zilu/benchmark34_conjunctive.yml true 12.62 7.99 None loop-zilu/benchmark35_linear.yml true 8.09 4.80 None loop-zilu/benchmark36_conjunctive.yml TIMEOUT 901.15 749.23 None loop-zilu/benchmark37_conjunctive.yml true 9.18 5.46 None loop-zilu/benchmark38_conjunctive.yml TIMEOUT 900.95 864.15 None loop-zilu/benchmark39_conjunctive.yml false(no-overflow) 7.74 4.71 None loop-zilu/benchmark40_polynomial.yml false(no-overflow) 8.16 5.02 None loop-zilu/benchmark41_conjunctive.yml TIMEOUT 901.38 735.48 None loop-zilu/benchmark42_conjunctive.yml false(no-overflow) 10.64 6.11 None loop-zilu/benchmark43_conjunctive.yml true 10.80 6.15 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 11.08 6.28 None loop-zilu/benchmark44_disjunctive.yml false(no-overflow) 11.08 6.28 None loop-zilu/benchmark45_disjunctive.yml false(no-overflow) 10.50 6.01 None loop-zilu/benchmark46_disjunctive.yml false(no-overflow) 10.73 6.09 None loop-zilu/benchmark47_linear.yml false(no-overflow) 10.65 6.04 None loop-zilu/benchmark48_linear.yml false(no-overflow) 11.04 6.12 None loop-zilu/benchmark49_linear.yml false(no-overflow) 9.69 5.52 None loop-zilu/benchmark50_linear.yml false(no-overflow) 9.99 5.75 None loop-zilu/benchmark51_polynomial.yml true 12.02 6.94 None loop-zilu/benchmark52_polynomial.yml true 10.68 6.47 None loop-zilu/benchmark53_polynomial.yml false(no-overflow) 10.30 6.04 None signedintegeroverflow-regression/AdditionIntMax.yml false(no-overflow) 10.15 5.84 None signedintegeroverflow-regression/AdditionIntMin.yml false(no-overflow) 10.53 5.90 None signedintegeroverflow-regression/ConversionToSignedInt.yml true 10.05 5.68 None signedintegeroverflow-regression/Division-1.yml false(no-overflow) 10.56 6.05 None signedintegeroverflow-regression/IntegerPromotion-1.yml true 10.38 6.02 None signedintegeroverflow-regression/Multiplication-1.yml true 9.78 5.59 None signedintegeroverflow-regression/Multiplication-2.yml false(no-overflow) 10.38 5.86 None signedintegeroverflow-regression/NoConversion.yml false(no-overflow) 10.07 5.76 None signedintegeroverflow-regression/NoNegativeIntegerConstant.yml true 10.07 5.70 None signedintegeroverflow-regression/PostfixDecrement.yml false(no-overflow) 11.27 6.45 None signedintegeroverflow-regression/PostfixIncrement.yml false(no-overflow) 10.84 6.12 None signedintegeroverflow-regression/PrefixDecrement.yml false(no-overflow) 10.12 5.80 None signedintegeroverflow-regression/PrefixIncrement.yml false(no-overflow) 10.35 5.94 None signedintegeroverflow-regression/UnaryMinus.yml false(no-overflow) 10.51 5.96 None signedintegeroverflow-regression/UsualArithmeticConversions.yml true 10.08 5.67 None termination-crafted/2Nested-2.yml false(no-overflow) 10.20 5.85 None termination-crafted/4BitCounterPointer.yml true 10.11 5.61 None termination-crafted/4NestedWith3Variables-2.yml false(no-overflow) 10.08 5.79 None termination-crafted/Ackermann-1.yml false(no-overflow) 11.00 6.18 None termination-crafted/Arrays01-EquivalentConstantIndices-1.yml TIMEOUT 900.55 864.05 None termination-crafted/Arrays02-EquivalentConstantIndices.yml true 10.62 6.13 None termination-crafted/Arrays03-ValueRestictsIndex-2.yml true 13.55 8.28 None termination-crafted/Bangalore-1.yml false(no-overflow) 10.16 5.80 None termination-crafted/Bangalore-2.yml true 10.98 6.42 None termination-crafted/Bangalore_v2.yml true 11.21 6.56 None termination-crafted/Bangalore_v3.yml false(no-overflow) 10.59 6.04 None termination-crafted/Bangalore_v4.yml true 11.20 6.37 None termination-crafted/Benghazi.yml true 64.62 44.64 None termination-crafted/Benghazi_nondet-1.yml false(no-overflow) 10.20 5.87 None termination-crafted/Binary_Search-1.yml false(no-overflow) 8.08 4.89 None termination-crafted/Cairo.yml true 10.52 6.25 None termination-crafted/Cairo_nondet.yml false(no-overflow) 8.03 4.76 None termination-crafted/Cairo_step2-1.yml true 10.70 6.28 None termination-crafted/Cairo_step2-2.yml TIMEOUT 900.68 779.60 None termination-crafted/Cairo_step2-3.yml true 9.63 5.47 None termination-crafted/Collatz.yml false(no-overflow) 8.12 4.98 None termination-crafted/Collatz_bounded.yml true 14.90 8.95 None termination-crafted/Copenhagen.yml true 8.41 5.13 None termination-crafted/Copenhagen_disj-1.yml false(no-overflow) 9.94 5.63 None termination-crafted/Division-2.yml true 8.58 4.94 None termination-crafted/Gothenburg-2.yml false(no-overflow) 10.51 6.01 None termination-crafted/Gothenburg_v2-2.yml false(no-overflow) 10.40 5.96 None termination-crafted/Hanoi_2vars.yml false(no-overflow) 8.11 4.87 None termination-crafted/Hanoi_3vars.yml false(no-overflow) 8.18 4.94 None termination-crafted/Hanoi_plus.yml false(no-overflow) 10.61 5.89 None termination-crafted/LexIndexValue-Array-1.yml TIMEOUT 900.52 865.47 None termination-crafted/LexIndexValue-Pointer-1.yml TIMEOUT 900.45 875.34 None termination-crafted/Lobnya-Boolean-Reordered-1.yml false(no-overflow) 9.95 5.62 None termination-crafted/Madrid.yml true 7.79 4.97 None termination-crafted/McCarthy91_Iteration.yml TIMEOUT 901.05 772.01 None termination-crafted/McCarthy91_Recursion.yml true 10.79 7.05 None termination-crafted/MenloPark.yml true 13.91 9.71 None termination-crafted/MutualRecursion_1a.yml true 10.79 6.79 None termination-crafted/MutualRecursion_1b.yml true 10.97 6.65 None termination-crafted/Mysore-1.yml false(no-overflow) 8.63 5.27 None termination-crafted/NestedRecursion_1a-1.yml false(no-overflow) 11.13 6.28 None termination-crafted/NestedRecursion_1b.yml true 13.93 9.29 None termination-crafted/NestedRecursion_1c.yml true 9.53 5.93 None termination-crafted/NestedRecursion_1d.yml true 16.06 9.03 None termination-crafted/NestedRecursion_2a.yml false(no-overflow) 7.69 4.99 None termination-crafted/NestedRecursion_2b.yml TIMEOUT 900.80 866.25 None termination-crafted/NestedRecursion_2c.yml TIMEOUT 900.70 863.37 None termination-crafted/NonTermination1.yml false(no-overflow) 10.68 5.98 None termination-crafted/NonTermination2.yml false(no-overflow) 7.67 4.81 None termination-crafted/NonTermination4.yml false(no-overflow) 15.38 9.58 None termination-crafted/NonTerminationSimple2.yml false(no-overflow) 7.85 4.86 None termination-crafted/NonTerminationSimple3.yml false(no-overflow) 8.25 5.15 None termination-crafted/NonTerminationSimple4.yml TIMEOUT 900.56 878.32 None termination-crafted/NonTerminationSimple5.yml false(no-overflow) 8.17 5.07 None termination-crafted/NonTerminationSimple6.yml false(no-overflow) 10.85 6.15 None termination-crafted/NonTerminationSimple7.yml true 8.89 5.68 None termination-crafted/NonTerminationSimple8.yml false(no-overflow) 10.39 5.92 None termination-crafted/NonTerminationSimple9.yml false(no-overflow) 8.03 5.10 None termination-crafted/Nyala-2lex-2.yml true 11.02 6.29 None termination-crafted/Parallel.yml true 7.84 4.84 None termination-crafted/Piecewise.yml true 8.22 5.10 None termination-crafted/Pure2Phase-2.yml false(no-overflow) 10.46 5.85 None termination-crafted/Pure3Phase-2.yml false(no-overflow) 9.10 5.47 None termination-crafted/RecursiveMultiplication-2.yml false(no-overflow) 8.23 5.16 None termination-crafted/RecursiveNonterminating-2.yml false(no-overflow) 10.60 6.34 None termination-crafted/Rotation180-2.yml false(no-overflow) 8.38 5.33 None termination-crafted/Singapore-1.yml false(no-overflow) 7.33 4.69 None termination-crafted/Singapore_plus.yml false(no-overflow) 10.26 5.92 None termination-crafted/Singapore_v1.yml false(no-overflow) 8.28 5.52 None termination-crafted/Singapore_v2.yml false(no-overflow) 8.20 5.04 None termination-crafted/Stockholm-2.yml false(no-overflow) 10.54 6.02 None termination-crafted/SyntaxSupportPointer01-2.yml true 8.84 5.72 None termination-crafted/TelAviv-Amir-Minimum.yml true 8.38 5.22 None termination-crafted/Thun-1.yml false(no-overflow) 11.23 6.36 None termination-crafted/Toulouse-BranchesToLoop-1.yml false(no-overflow) 7.72 4.82 None termination-crafted/Toulouse-MultiBranchesToLoop-1.yml false(no-overflow) 14.43 8.26 None termination-crafted/Waldkirch.yml true 10.41 5.92 None termination-crafted/WhileFalse.yml true 7.10 4.47 None termination-crafted/WhileTrue.yml true 7.73 5.00 None termination-crafted/aaron2-2.yml false(no-overflow) 8.11 5.09 None termination-crafted/aaron3-2.yml false(no-overflow) 10.59 6.08 None termination-crafted/easy1.yml true 8.46 5.19 None termination-crafted/easy2-1.yml TIMEOUT 900.29 875.54 None termination-crafted/easy2-2.yml TIMEOUT 900.84 766.75 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1.yml TIMEOUT 900.58 872.35 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a.yml false(no-overflow) 9.02 5.27 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b.yml false(no-overflow) 11.93 6.68 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2.yml false(no-overflow) 8.42 5.12 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3.yml false(no-overflow) 10.50 6.08 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex.yml false(no-overflow) 8.76 5.22 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a.yml false(no-overflow) 11.13 6.27 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b.yml false(no-overflow) 8.71 5.07 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9.yml true 11.44 6.77 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1.yml true 8.20 4.98 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2-1.yml TIMEOUT 900.95 760.15 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2-2.yml TIMEOUT 900.26 746.94 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini.yml false(no-overflow) 8.60 5.51 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops.yml true 9.42 6.07 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr.yml false(no-overflow) 7.59 4.80 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop-1.yml OUT OF MEMORY 41.37 28.16 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop-2.yml TIMEOUT 900.67 864.48 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d-1.yml OUT OF MEMORY 109.62 87.89 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d-2.yml OUT OF MEMORY 155.62 114.18 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d.yml OUT OF MEMORY 122.19 83.77 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd.yml false(no-overflow) 8.28 4.89 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4.yml false(no-overflow) 8.69 5.24 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2.yml true 9.57 5.81 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3.yml true 9.72 6.38 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4.yml true 8.83 5.34 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate.yml false(no-overflow) 7.82 4.67 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2.yml true 10.89 6.14 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2.yml true 12.03 7.12 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise.yml true 9.11 5.41 None termination-crafted-lit/Avery-FLOPS2006-Table1.yml TIMEOUT 900.98 817.57 None termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3.yml false(no-overflow) 8.40 5.06 None termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified.yml true 12.15 7.60 None termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1.yml true 9.38 6.17 None termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1.yml false(no-overflow) 7.91 4.89 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1.yml true 11.67 6.92 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a.yml TIMEOUT 900.80 818.95 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction.yml true 11.89 8.23 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1.yml false(no-overflow) 10.58 6.03 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12.yml false(no-overflow) 10.34 5.74 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2.yml false(no-overflow) 8.04 5.33 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3.yml false(no-overflow) 7.52 4.65 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4.yml false(no-overflow) 10.64 6.03 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6.yml false(no-overflow) 7.61 4.71 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1.yml true 10.57 5.98 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2.yml TIMEOUT 900.87 762.23 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d.yml OUT OF MEMORY 102.98 74.57 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d.yml OUT OF MEMORY 120.75 84.83 None termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction.yml true 7.61 4.58 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01.yml false(no-overflow) 9.71 5.62 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02.yml false(no-overflow) 7.65 5.08 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03.yml false(no-overflow) 7.79 4.92 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04.yml false(no-overflow) 10.50 5.95 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05.yml false(no-overflow) 8.60 5.40 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01.yml false(no-overflow) 8.28 4.91 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02.yml false(no-overflow) 8.07 5.00 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03.yml false(no-overflow) 8.24 4.98 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04.yml false(no-overflow) 8.16 5.24 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05.yml false(no-overflow) 9.71 5.54 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06.yml false(no-overflow) 7.93 4.69 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07.yml false(no-overflow) 7.99 5.15 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08.yml false(no-overflow) 8.35 4.96 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09.yml false(no-overflow) 8.33 5.25 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10.yml false(no-overflow) 10.71 6.02 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11.yml false(no-overflow) 7.99 4.72 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12.yml false(no-overflow) 7.68 5.12 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13.yml false(no-overflow) 8.03 4.70 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14.yml false(no-overflow) 8.63 5.31 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15.yml false(no-overflow) 7.70 4.97 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16.yml false(no-overflow) 9.83 5.66 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17.yml false(no-overflow) 8.72 5.18 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18.yml false(no-overflow) 8.36 5.21 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19.yml false(no-overflow) 7.87 4.96 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20.yml true 7.90 4.80 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21.yml false(no-overflow) 10.50 5.90 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22.yml false(no-overflow) 8.44 4.89 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01.yml true 8.58 5.33 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02.yml false(no-overflow) 8.12 5.07 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03.yml false(no-overflow) 8.12 5.31 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04.yml false(no-overflow) 7.37 4.42 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05.yml false(no-overflow) 10.48 6.03 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06.yml false(no-overflow) 8.18 4.77 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07.yml false(no-overflow) 8.21 5.39 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08.yml false(no-overflow) 7.76 4.88 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09.yml false(no-overflow) 7.69 4.68 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10.yml false(no-overflow) 8.16 5.11 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01.yml false(no-overflow) 7.92 4.69 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1.yml false(no-overflow) 10.48 6.00 None termination-crafted-lit/ColonSipma-TACAS2001-Fig1.yml false(no-overflow) 8.75 5.35 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1.yml true 8.30 5.33 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a.yml true 8.58 5.13 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b.yml true 8.45 5.31 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified.yml true 8.96 5.63 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a.yml true 10.84 6.18 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b.yml true 9.46 6.48 None termination-crafted-lit/GopanReps-CAV2006-Fig1a.yml true 87.09 71.03 None termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a.yml false(no-overflow) 8.14 4.86 None termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b.yml false(no-overflow) 8.53 5.60 None termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c.yml false(no-overflow) 7.88 4.74 None termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1.yml false(no-overflow) 8.26 4.93 None termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1.yml TIMEOUT 901.11 774.00 None termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2.yml false(no-overflow) 10.05 6.26 None termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3.yml true 8.53 5.23 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1.yml true 12.05 7.88 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2.yml false(no-overflow) 8.17 5.29 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4.yml true 8.10 5.14 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5.yml true 8.99 5.64 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6.yml true 8.13 4.74 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7.yml false(no-overflow) 10.30 6.42 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8.yml false(no-overflow) 7.94 4.78 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9.yml false(no-overflow) 8.07 5.08 None termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample.yml TIMEOUT 900.88 799.65 None termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex.yml true 8.10 5.28 None termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1.yml true 8.91 5.36 None termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1.yml TIMEOUT 900.59 761.29 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1.yml false(no-overflow) 9.24 5.91 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2.yml false(no-overflow) 8.68 5.39 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3.yml false(no-overflow) 8.33 4.98 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4.yml true 9.56 6.28 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5.yml TIMEOUT 900.67 861.23 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6.yml false(no-overflow) 8.81 5.15 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1.yml true 11.09 6.37 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7.yml false(no-overflow) 8.31 5.07 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8.yml false(no-overflow) 8.10 4.76 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9.yml true 10.98 6.28 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1.yml false(no-overflow) 8.20 4.97 None termination-crafted-lit/LeikeHeizmann-WST2014-Ex5.yml false(no-overflow) 8.15 5.32 None termination-crafted-lit/LeikeHeizmann-WST2014-Ex6.yml false(no-overflow) 8.26 4.97 None termination-crafted-lit/LeikeHeizmann-WST2014-Ex9.yml true 8.57 5.78 None termination-crafted-lit/Masse-VMCAI2014-Ex6.yml false(no-overflow) 8.45 5.55 None termination-crafted-lit/Masse-VMCAI2014-Fig1a.yml false(no-overflow) 10.04 5.79 None termination-crafted-lit/Masse-VMCAI2014-Fig1b.yml false(no-overflow) 8.44 5.39 None termination-crafted-lit/NoriSharma-FSE2013-Fig7.yml false(no-overflow) 8.09 4.74 None termination-crafted-lit/NoriSharma-FSE2013-Fig8.yml false(no-overflow) 8.84 5.64 None termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1.yml true 8.89 6.21 None termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3.yml false(no-overflow) 10.58 6.00 None termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2.yml false(no-overflow) 8.84 5.56 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1.yml true 8.32 5.38 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2.yml true 9.58 6.59 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3.yml false(no-overflow) 8.55 5.35 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4.yml true 11.07 6.15 None termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1.yml false(no-overflow) 8.20 4.82 None termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2.yml false(no-overflow) 8.01 5.25 None termination-crafted-lit/Urban-WST2013-Fig1.yml true 8.43 6.04 None termination-crafted-lit/Urban-WST2013-Fig2-modified1000.yml true 8.09 5.15 None termination-crafted-lit/Urban-WST2013-Fig2.yml true 8.72 5.04 None termination-crafted-lit/UrbanMine-ESOP2014-Fig3.yml true 11.35 6.38 None termination-crafted-lit/Velroyen.yml true 8.23 5.41 None termination-crafted-lit/aviad.yml OUT OF MEMORY 245.58 210.73 None termination-crafted-lit/cstrcmp.yml true 8.71 5.35 None termination-crafted-lit/cstrcspn.yml true 8.92 5.23 None termination-crafted-lit/cstrlen.yml true 8.97 5.74 None termination-crafted-lit/cstrncmp.yml false(no-overflow) 8.52 5.22 None termination-crafted-lit/cstrpbrk.yml true 10.79 6.25 None termination-crafted-lit/cstrspn.yml true 8.64 6.01 None termination-crafted-lit/gcd1.yml false(no-overflow) 8.04 4.85 None termination-crafted-lit/genady.yml true 11.35 8.15 None termination-crafted-lit/joey.yml false(no-overflow) 8.80 5.59 None termination-crafted-lit/min_rf.yml false(no-overflow) 10.21 6.18 None termination-crafted-lit/strchr-2.yml true 9.05 5.37 None termination-numeric/Ackermann01-1.yml OUT OF MEMORY 75.20 49.61 None termination-numeric/Addition01-1.yml false(no-overflow) 8.56 5.77 None termination-numeric/Avg_true.yml false(no-overflow) 10.14 5.92 None termination-numeric/Binomial.yml TIMEOUT 900.39 883.19 None termination-numeric/Et1_true.yml false(no-overflow) 8.47 5.06 None termination-numeric/Et2_true.yml false(no-overflow) 8.22 5.16 None termination-numeric/Et3_true.yml false(no-overflow) 10.72 6.13 None termination-numeric/Et4_true.yml false(no-overflow) 8.21 4.95 None termination-numeric/EvenOdd01-2.yml TIMEOUT 900.56 868.87 None termination-numeric/Fibonacci01-2.yml TIMEOUT 900.75 842.68 None termination-numeric/LeUserDefRec.yml true 11.02 6.34 None termination-numeric/LogRecursive.yml TIMEOUT 900.58 873.22 None termination-numeric/MultCommutative-1.yml false(no-overflow) 11.54 7.56 None termination-numeric/Parts.yml TIMEOUT 900.84 841.38 None termination-numeric/TerminatorRec02.yml ERROR (7) 752.04 738.78 None termination-numeric/TwoWay.yml true 18.51 13.77 None termination-numeric/gcd01-2.yml true 8.69 5.79 None termination-numeric/java_LogBuiltIn.yml true 29.79 17.58 None termination-numeric/recHanoi02-1.yml TIMEOUT 900.71 855.81 None termination-numeric/rec_counter1.yml TIMEOUT 900.46 785.19 None termination-numeric/rec_counter3.yml TIMEOUT 900.88 757.33 None termination-numeric/twisted.yml TIMEOUT 900.83 767.97 None loops/sum01_bug02.yml TIMEOUT 900.74 724.01 None loops/sum_array-2-1.yml false(no-overflow) 12.59 6.96 None loops/sum_array-2-2.yml TIMEOUT 900.63 855.03 None termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca-2.yml true 9.93 5.80 None termination-memory-alloca/Masse-alloca-2.yml false(no-overflow) 8.88 5.21 None termination-memory-alloca/Masse-alloca-3.yml true 9.25 5.45 None termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca-2.yml false(no-overflow) 50.79 34.09 None termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca-2.yml false(no-overflow) 105.61 81.02 None termination-memory-alloca/TelAviv-Amir-Minimum-alloca-2.yml true 10.71 6.41 None termination-memory-alloca/Toulouse-BranchesToLoop-alloca-2.yml false(no-overflow) 9.15 5.63 None termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca-2.yml false(no-overflow) 36.75 20.79 None termination-memory-alloca/Urban-2013WST-Fig2-alloca-2.yml TIMEOUT 900.41 884.89 None termination-memory-alloca/Urban-alloca-2.yml OUT OF MEMORY 449.81 432.81 None termination-nla/fermat1-both-nt.yml true 7.93 4.73 None termination-nla/fermat1-both-t.yml true 7.96 5.15 None termination-nla/fermat2-both-nt.yml true 9.79 6.52 None termination-nla/fermat3-both-nt.yml true 7.38 4.56 None termination-recursive-malloc/chunk1-2.yml true 10.91 6.56 None termination-restricted-15/AlternKonv.yml true 9.18 5.41 None termination-restricted-15/ComplInterv2.yml true 9.09 5.64 None termination-restricted-15/ConvLower.yml true 8.17 4.97 None termination-restricted-15/DivMinus.yml TIMEOUT 900.79 804.16 None termination-restricted-15/DivMinus2.yml TIMEOUT 900.40 885.26 None termination-restricted-15/Ex02.yml true 8.16 4.94 None termination-restricted-15/Ex03.yml true 8.72 5.32 None termination-restricted-15/Ex05.yml true 7.72 4.62 None termination-restricted-15/Ex06.yml true 8.77 5.42 None termination-restricted-15/Ex07.yml true 11.47 6.53 None termination-restricted-15/Ex08.yml true 11.21 6.93 None termination-restricted-15/Flip.yml true 7.71 4.73 None termination-restricted-15/Flip2.yml true 8.82 5.77 None termination-restricted-15/GCD-1.yml true 12.72 7.48 None termination-restricted-15/GCD2.yml true 9.66 6.28 None termination-restricted-15/GCD3.yml true 9.80 6.02 None termination-restricted-15/GCD4.yml true 9.14 6.14 None termination-restricted-15/IntPath.yml true 10.03 5.79 None termination-restricted-15/Log.yml TIMEOUT 900.50 875.81 None termination-restricted-15/LogAG.yml TIMEOUT 900.80 802.02 None termination-restricted-15/Loop-2.yml true 8.11 5.06 None termination-restricted-15/McCarthyIterative.yml TIMEOUT 900.96 768.48 None termination-restricted-15/MinusBuiltIn.yml true 8.23 5.18 None termination-restricted-15/MinusUserDefined.yml TIMEOUT 900.48 875.47 None termination-restricted-15/MirrorIntervSim.yml true 8.09 5.07 None termination-restricted-15/NO_00.yml true 8.33 5.03 None termination-restricted-15/NO_01.yml true 8.17 5.15 None termination-restricted-15/NO_02.yml true 8.46 5.02 None termination-restricted-15/NO_03.yml true 8.46 5.28 None termination-restricted-15/NO_04.yml true 14.69 8.74 None termination-restricted-15/NO_13.yml true 11.12 7.28 None termination-restricted-15/NO_21.yml true 8.28 4.97 None termination-restricted-15/NO_22.yml true 8.88 5.82 None termination-restricted-15/NO_23.yml true 7.59 4.73 None termination-restricted-15/NO_24.yml true 12.20 8.02 None termination-restricted-15/NarrowKonv.yml true 9.28 5.74 None termination-restricted-15/Narrowing.yml true 10.63 6.89 None termination-restricted-15/Nested-2.yml true 8.45 5.30 None termination-restricted-15/PastaA1.yml true 9.42 5.92 None termination-restricted-15/PastaA10.yml true 8.47 5.20 None termination-restricted-15/PastaA4.yml true 8.05 4.94 None termination-restricted-15/PastaA7.yml true 8.29 5.21 None termination-restricted-15/PastaB1.yml true 8.33 5.19 None termination-restricted-15/PastaB14.yml true 9.30 6.27 None termination-restricted-15/PastaB15.yml true 10.00 6.28 None termination-restricted-15/PastaB16.yml true 8.22 5.33 None termination-restricted-15/PastaB17.yml true 8.39 5.08 None termination-restricted-15/PastaB2.yml true 8.34 5.10 None termination-restricted-15/PastaB4.yml true 7.43 4.61 None termination-restricted-15/PastaB6.yml true 8.17 5.10 None termination-restricted-15/PastaB7.yml true 8.24 5.04 None termination-restricted-15/PastaC3.yml true 7.95 5.06 None termination-restricted-15/PastaC7.yml true 8.78 5.72 None termination-restricted-15/PastaC9.yml true 8.27 5.10 None termination-restricted-15/Sequence.yml true 8.67 6.00 None termination-restricted-15/Sunset.yml true 8.03 4.96 None termination-restricted-15/Swingers.yml true 7.84 4.79 None termination-restricted-15/TwoFloatInterv.yml true 8.48 5.13 None termination-restricted-15/UpAndDown.yml true 8.51 5.20 None termination-restricted-15/UpAndDownIneq.yml true 8.15 5.03 None termination-restricted-15/WhileDecr.yml true 8.36 5.04 None termination-restricted-15/WhilePart.yml true 7.79 4.87 None termination-restricted-15/WhileSingle.yml true 8.15 5.13 None termination-restricted-15/a.01.yml true 9.11 6.16 None termination-restricted-15/a.04.yml true 8.31 5.28 None termination-restricted-15/a.05.yml true 8.69 5.56 None termination-restricted-15/a.06.yml true 9.71 5.75 None termination-restricted-15/a.07.yml true 9.01 5.57 None termination-restricted-15/a.08.yml true 8.51 5.32 None termination-restricted-15/a.09_assume.yml true 9.53 5.96 None termination-restricted-15/b.01.yml true 8.17 5.14 None termination-restricted-15/b.02.yml true 8.28 5.41 None termination-restricted-15/b.03-no-inv_assume.yml true 9.78 6.11 None termination-restricted-15/b.03_assume.yml true 8.48 5.51 None termination-restricted-15/b.04.yml true 8.11 5.18 None termination-restricted-15/b.05.yml true 8.60 5.31 None termination-restricted-15/b.06.yml TIMEOUT 900.56 874.38 None termination-restricted-15/b.07.yml true 8.84 5.58 None termination-restricted-15/b.09-no-inv_assume.yml TIMEOUT 900.58 882.03 None termination-restricted-15/b.09_assume.yml TIMEOUT 901.01 818.76 None termination-restricted-15/b.10.yml true 11.27 6.58 None termination-restricted-15/b.11.yml true 11.07 6.59 None termination-restricted-15/b.12.yml true 10.62 6.02 None termination-restricted-15/b.13.yml true 8.55 5.51 None termination-restricted-15/b.14.yml TIMEOUT 901.09 776.77 None termination-restricted-15/b.15.yml true 9.71 6.08 None termination-restricted-15/b.16.yml true 8.01 4.79 None termination-restricted-15/b.17.yml true 8.75 5.24 None termination-restricted-15/b.18.yml true 8.56 5.08 None termination-restricted-15/c.01-no-inv.yml true 8.31 4.99 None termination-restricted-15/c.01_assume.yml true 8.47 4.93 None termination-restricted-15/c.02.yml true 9.21 6.30 None termination-restricted-15/c.03.yml true 8.47 5.00 None termination-restricted-15/c.07.yml true 8.88 5.50 None termination-restricted-15/c.08.yml true 9.46 5.84 None termination-restricted-15/ex3a.yml true 17.50 14.46 None termination-restricted-15/ex3b.yml true 10.63 7.69 None termination-restricted-15/java_AG313.yml TIMEOUT 900.84 842.51 None termination-restricted-15/java_Break.yml true 12.18 7.65 None termination-restricted-15/java_Continue1.yml true 12.06 8.22 None termination-restricted-15/java_Nested.yml true 35.87 21.62 None termination-restricted-15/java_Sequence.yml true 123.59 93.38 None -------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 73990.93 5137.11 - 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.70 7.92 None termination-crafted/4BitCounterPointer.yml OUT OF MEMORY 271.25 245.19 None termination-crafted/4NestedWith3Variables-1.yml true 20.10 16.88 None termination-crafted/Ackermann-2.yml OUT OF MEMORY 97.50 63.26 None termination-crafted/Arrays01-EquivalentConstantIndices-1.yml TIMEOUT 900.39 885.97 None termination-crafted/Arrays02-EquivalentConstantIndices.yml false(termination) 8.51 6.76 None termination-crafted/Arrays03-ValueRestictsIndex-2.yml TIMEOUT 900.44 880.73 None termination-crafted/Bangalore-2.yml true 11.93 8.08 None termination-crafted/Bangalore_v2.yml false(termination) 11.09 7.82 None termination-crafted/Bangalore_v4.yml true 13.99 13.71 None termination-crafted/Benghazi.yml true 11.71 8.45 None termination-crafted/Benghazi_nondet-2.yml true 11.29 9.34 None termination-crafted/Cairo.yml true 9.38 5.77 None termination-crafted/Cairo_step2-1.yml true 9.56 5.98 None termination-crafted/Cairo_step2-3.yml ERROR 17.70 11.01 None termination-crafted/Collatz_bounded.yml ERROR 136.39 120.61 None termination-crafted/Copenhagen.yml true 8.95 8.18 None termination-crafted/Copenhagen_disj-2.yml ERROR 23.45 20.07 None termination-crafted/Division-2.yml false(termination) 10.98 7.20 None termination-crafted/Gothenburg-1.yml true 16.17 10.75 None termination-crafted/LexIndexValue-Array-1.yml TIMEOUT 900.37 888.56 None termination-crafted/LexIndexValue-Pointer-2.yml TIMEOUT 900.38 888.63 None termination-crafted/Madrid.yml false(termination) 8.96 6.13 None termination-crafted/McCarthy91_Iteration.yml true 17.43 13.46 None termination-crafted/McCarthy91_Recursion.yml true 47.34 37.39 None termination-crafted/MenloPark.yml true 9.87 6.75 None termination-crafted/MutualRecursion_1a.yml false(termination) 10.26 6.70 None termination-crafted/MutualRecursion_1b.yml OUT OF MEMORY 59.90 39.65 None termination-crafted/Mysore-3.yml ERROR 41.65 37.44 None termination-crafted/NestedRecursion_1b.yml true 19.79 13.46 None termination-crafted/NestedRecursion_1c.yml true 11.96 7.23 None termination-crafted/NestedRecursion_1d.yml true 15.00 9.23 None termination-crafted/NestedRecursion_2b.yml false(termination) 13.70 9.26 None termination-crafted/NestedRecursion_2c.yml OUT OF MEMORY 54.94 41.30 None termination-crafted/NonTerminationSimple7.yml false(termination) 7.90 5.06 None termination-crafted/Nyala-2lex-2.yml true 10.61 6.85 None termination-crafted/Parallel.yml true 9.62 6.24 None termination-crafted/Piecewise.yml true 12.29 8.24 None termination-crafted/Pure2Phase-1.yml true 10.38 6.34 None termination-crafted/Pure3Phase-1.yml true 11.78 7.82 None termination-crafted/RecursiveMultiplication-1.yml true 11.26 7.46 None termination-crafted/SyntaxSupportPointer01-2.yml true 9.08 6.29 None termination-crafted/TelAviv-Amir-Minimum.yml true 19.38 11.32 None termination-crafted/Thun-2.yml true 9.25 5.93 None termination-crafted/Toulouse-BranchesToLoop-2.yml true 9.82 6.58 None termination-crafted/Toulouse-MultiBranchesToLoop-2.yml true 11.50 7.68 None termination-crafted/Waldkirch.yml true 8.33 5.66 None termination-crafted/WhileFalse.yml true 8.19 5.13 None termination-crafted/WhileTrue.yml false(termination) 10.71 6.02 None termination-crafted/easy1.yml true 10.84 6.46 None termination-crafted/easy2-2.yml true 11.46 6.92 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1.yml true 14.65 10.40 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9.yml true 10.63 6.92 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1.yml true 8.34 5.00 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2-2.yml true 11.16 6.68 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops.yml true 23.31 19.61 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop-1.yml true 20.65 14.10 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d-2.yml true 8.87 5.41 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d.yml true 11.37 6.73 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2.yml true 10.53 6.81 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3.yml true 14.38 9.06 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4.yml true 10.58 6.64 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2.yml true 11.91 7.92 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2.yml true 9.61 6.28 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise.yml true 14.88 9.08 None termination-crafted-lit/Avery-FLOPS2006-Table1.yml true 10.07 6.55 None termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified.yml false(termination) 7.49 4.67 None termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1.yml true 18.25 10.40 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1.yml true 10.07 6.73 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a.yml true 16.28 11.02 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction.yml true 11.82 6.78 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1.yml true 8.49 5.82 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2.yml true 9.01 5.58 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d.yml true 9.72 6.32 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d.yml true 12.32 7.30 None termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction.yml false(termination) 8.23 4.81 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20.yml true 10.78 6.16 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01.yml true 9.16 5.70 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1.yml true 9.90 7.02 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a.yml true 12.55 8.58 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b.yml true 16.19 9.39 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified.yml true 10.80 7.35 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a.yml true 11.03 7.69 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b.yml true 14.44 8.80 None termination-crafted-lit/GopanReps-CAV2006-Fig1a.yml true 11.58 7.52 None termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1.yml true 46.22 37.07 None termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3.yml true 8.58 5.67 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1.yml true 9.84 6.36 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4.yml true 11.37 6.71 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5.yml ERROR 95.34 83.78 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6.yml true 8.51 5.47 None termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample.yml false(termination) 10.19 5.81 None termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex.yml true 8.85 5.68 None termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1.yml true 10.48 6.20 None termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1.yml true 14.63 9.69 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4.yml true 43.90 38.25 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5.yml ERROR 106.01 93.43 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1.yml true 8.78 5.94 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9.yml true 12.51 7.66 None termination-crafted-lit/LeikeHeizmann-WST2014-Ex9.yml true 8.95 5.54 None termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1.yml true 22.32 19.24 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1.yml true 8.44 5.17 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2.yml true 10.40 7.25 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4.yml true 13.98 8.54 None termination-crafted-lit/Urban-WST2013-Fig1.yml false(termination) 8.30 4.88 None termination-crafted-lit/Urban-WST2013-Fig2-modified1000.yml TIMEOUT 900.84 859.21 None termination-crafted-lit/Urban-WST2013-Fig2.yml true 10.27 6.87 None termination-crafted-lit/UrbanMine-ESOP2014-Fig3.yml true 16.83 10.04 None termination-crafted-lit/Velroyen.yml false(termination) 14.78 9.02 None termination-crafted-lit/aviad.yml true 9.14 5.73 None termination-crafted-lit/cstrcmp.yml true 13.85 7.94 None termination-crafted-lit/cstrcspn.yml true 15.68 10.12 None termination-crafted-lit/cstrlen.yml true 9.34 5.48 None termination-crafted-lit/cstrpbrk.yml true 99.39 85.26 None termination-crafted-lit/cstrspn.yml true 54.57 44.64 None termination-crafted-lit/genady.yml true 8.48 5.32 None termination-crafted-lit/strchr-2.yml true 22.19 13.55 None termination-numeric/Ackermann01-1.yml true 193.34 161.88 None termination-numeric/Binomial.yml OUT OF MEMORY 380.37 334.62 None termination-numeric/EvenOdd01-2.yml true 13.06 8.36 None termination-numeric/Fibonacci01-2.yml OUT OF MEMORY 62.81 40.87 None termination-numeric/LeUserDefRec.yml true 9.14 5.65 None termination-numeric/LogRecursive.yml OUT OF MEMORY 642.02 602.66 None termination-numeric/Parts.yml true 70.36 46.11 None termination-numeric/TerminatorRec02.yml true 8.90 5.69 None termination-numeric/TwoWay.yml true 18.51 14.06 None termination-numeric/gcd01-2.yml true 14.77 8.91 None termination-numeric/java_LogBuiltIn.yml true 13.84 8.01 None termination-numeric/recHanoi02-1.yml true 9.49 5.87 None termination-numeric/rec_counter1.yml true 14.06 8.25 None termination-numeric/rec_counter3.yml true 17.32 10.41 None termination-numeric/twisted.yml true 9.71 6.35 None termination-restricted-15/AlternKonv.yml false(termination) 11.73 6.91 None termination-restricted-15/ComplInterv2.yml false(termination) 8.38 5.09 None termination-restricted-15/ConvLower.yml false(termination) 10.91 6.23 None termination-restricted-15/DivMinus.yml true 11.96 7.06 None termination-restricted-15/DivMinus2.yml true 14.62 8.95 None termination-restricted-15/Ex02.yml false(termination) 8.52 4.93 None termination-restricted-15/Ex03.yml false(termination) 10.82 6.29 None termination-restricted-15/Ex05.yml false(termination) 7.84 4.90 None termination-restricted-15/Ex06.yml false(termination) 11.67 7.07 None termination-restricted-15/Ex07.yml false(termination) 9.74 5.99 None termination-restricted-15/Ex08.yml TIMEOUT 900.80 871.03 None termination-restricted-15/Flip.yml false(termination) 11.62 6.65 None termination-restricted-15/Flip2.yml false(termination) 11.78 7.47 None termination-restricted-15/GCD-1.yml false(termination) 8.10 4.91 None termination-restricted-15/GCD2.yml false(termination) 11.03 6.33 None termination-restricted-15/GCD3.yml true 19.05 12.59 None termination-restricted-15/GCD4.yml true 14.89 10.47 None termination-restricted-15/IntPath.yml true 8.97 5.30 None termination-restricted-15/Log.yml true 13.96 8.27 None termination-restricted-15/LogAG.yml true 10.51 6.76 None termination-restricted-15/Loop-2.yml false(termination) 8.42 5.17 None termination-restricted-15/McCarthyIterative.yml true 13.36 8.95 None termination-restricted-15/MinusBuiltIn.yml true 12.10 7.47 None termination-restricted-15/MinusUserDefined.yml true 10.95 6.87 None termination-restricted-15/MirrorIntervSim.yml false(termination) 15.21 9.02 None termination-restricted-15/NO_00.yml false(termination) 11.05 6.20 None termination-restricted-15/NO_01.yml false(termination) 9.75 6.10 None termination-restricted-15/NO_02.yml false(termination) 11.35 6.47 None termination-restricted-15/NO_03.yml false(termination) 11.20 6.38 None termination-restricted-15/NO_04.yml false(termination) 10.27 6.44 None termination-restricted-15/NO_13.yml false(termination) 21.51 13.33 None termination-restricted-15/NO_21.yml false(termination) 8.62 5.30 None termination-restricted-15/NO_22.yml false(termination) 25.57 15.22 None termination-restricted-15/NO_23.yml false(termination) 17.45 9.83 None termination-restricted-15/NO_24.yml ERROR 14.03 9.33 None termination-restricted-15/NarrowKonv.yml false(termination) 49.90 32.85 None termination-restricted-15/Narrowing.yml false(termination) 17.49 11.09 None termination-restricted-15/Nested-2.yml true 9.61 7.10 None termination-restricted-15/PastaA1.yml true 13.75 8.39 None termination-restricted-15/PastaA10.yml true 14.67 8.97 None termination-restricted-15/PastaA4.yml true 9.41 6.11 None termination-restricted-15/PastaA7.yml true 11.35 6.79 None termination-restricted-15/PastaB1.yml true 9.18 5.65 None termination-restricted-15/PastaB14.yml true 9.64 6.73 None termination-restricted-15/PastaB15.yml true 12.00 7.10 None termination-restricted-15/PastaB16.yml true 11.68 7.21 None termination-restricted-15/PastaB17.yml true 9.81 6.40 None termination-restricted-15/PastaB2.yml true 9.03 6.09 None termination-restricted-15/PastaB4.yml true 12.96 8.13 None termination-restricted-15/PastaB6.yml true 11.62 6.76 None termination-restricted-15/PastaB7.yml true 9.31 5.83 None termination-restricted-15/PastaC3.yml true 10.79 7.67 None termination-restricted-15/PastaC7.yml true 20.76 17.50 None termination-restricted-15/PastaC9.yml true 11.45 7.13 None termination-restricted-15/Sequence.yml true 12.70 7.58 None termination-restricted-15/Sunset.yml false(termination) 15.27 8.75 None termination-restricted-15/Swingers.yml ERROR 17.78 13.18 None termination-restricted-15/TwoFloatInterv.yml false(termination) 8.19 5.05 None termination-restricted-15/UpAndDown.yml TIMEOUT 900.39 891.17 None termination-restricted-15/UpAndDownIneq.yml false(termination) 19.97 11.92 None termination-restricted-15/WhileDecr.yml true 11.73 6.93 None termination-restricted-15/WhilePart.yml false(termination) 8.19 5.25 None termination-restricted-15/WhileSingle.yml false(termination) 7.79 5.14 None termination-restricted-15/a.01.yml true 10.57 6.99 None termination-restricted-15/a.04.yml true 9.55 6.77 None termination-restricted-15/a.05.yml true 11.98 6.80 None termination-restricted-15/a.06.yml true 8.69 6.27 None termination-restricted-15/a.07.yml true 11.90 6.97 None termination-restricted-15/a.08.yml true 8.91 5.39 None termination-restricted-15/a.09_assume.yml true 8.62 5.76 None termination-restricted-15/b.01.yml true 12.45 7.00 None termination-restricted-15/b.02.yml true 8.94 5.98 None termination-restricted-15/b.03-no-inv_assume.yml true 11.71 6.96 None termination-restricted-15/b.03_assume.yml true 8.67 5.40 None termination-restricted-15/b.04.yml true 10.94 7.88 None termination-restricted-15/b.05.yml true 11.95 6.91 None termination-restricted-15/b.06.yml true 8.78 5.62 None termination-restricted-15/b.07.yml true 8.52 5.48 None termination-restricted-15/b.09-no-inv_assume.yml true 16.17 9.44 None termination-restricted-15/b.09_assume.yml true 9.46 6.16 None termination-restricted-15/b.10.yml true 12.94 7.61 None termination-restricted-15/b.11.yml true 9.81 6.27 None termination-restricted-15/b.12.yml true 8.98 5.92 None termination-restricted-15/b.13.yml true 9.70 6.77 None termination-restricted-15/b.14.yml true 12.84 7.77 None termination-restricted-15/b.15.yml true 9.16 6.00 None termination-restricted-15/b.16.yml true 12.07 7.25 None termination-restricted-15/b.17.yml true 9.23 5.76 None termination-restricted-15/b.18.yml true 9.74 6.48 None termination-restricted-15/c.01-no-inv.yml true 10.77 6.90 None termination-restricted-15/c.01_assume.yml true 10.20 7.20 None termination-restricted-15/c.02.yml true 13.08 7.84 None termination-restricted-15/c.03.yml true 12.20 7.46 None termination-restricted-15/c.07.yml true 8.89 5.77 None termination-restricted-15/c.08.yml true 9.93 7.24 None termination-restricted-15/ex3a.yml ERROR 18.22 12.30 None termination-restricted-15/ex3b.yml ERROR 23.47 14.86 None termination-restricted-15/java_AG313.yml true 11.47 6.79 None termination-restricted-15/java_Break.yml true 9.14 5.93 None termination-restricted-15/java_Continue1.yml true 9.42 5.82 None termination-restricted-15/java_Nested.yml true 14.96 9.38 None termination-restricted-15/java_Sequence.yml true 9.50 6.63 None termination-nla/cohencu1-both-nt.yml false(termination) 8.84 5.73 None termination-nla/cohencu1-both-t.yml true 9.21 5.79 None termination-nla/cohencu2-both-nt.yml ERROR 21.00 12.87 None termination-nla/cohencu2-both-t.yml ERROR 17.23 12.94 None termination-nla/cohencu3-both-nt.yml ERROR 15.24 10.98 None termination-nla/cohencu3-both-t.yml ERROR 21.93 14.02 None termination-nla/cohencu4-both-nt.yml ERROR 16.87 11.47 None termination-nla/cohencu4-both-t.yml ERROR 22.29 14.17 None termination-nla/cohencu5-both-nt.yml ERROR 15.99 12.18 None termination-nla/cohencu5-both-t.yml ERROR 18.33 13.72 None termination-nla/cohencu6-both-t.yml ERROR 15.02 9.93 None termination-nla/cohencu7-both-t.yml ERROR 20.22 12.71 None termination-nla/dijkstra1-both-nt.yml false(termination) 8.55 5.21 None termination-nla/dijkstra1-both-t.yml true 203.60 189.97 None termination-nla/dijkstra2-both-t.yml OUT OF MEMORY 316.61 238.21 None termination-nla/dijkstra3-both-t.yml OUT OF MEMORY 235.41 198.28 None termination-nla/dijkstra4-both-t.yml OUT OF MEMORY 308.15 230.60 None termination-nla/dijkstra5-both-t.yml OUT OF MEMORY 253.22 198.63 None termination-nla/dijkstra6-both-t.yml OUT OF MEMORY 265.31 224.88 None termination-nla/divbin1-both-nt.yml false(termination) 8.69 6.03 None termination-nla/divbin1-both-t.yml ERROR 43.08 35.29 None termination-nla/egcd2-both-t.yml ERROR 36.55 31.26 None termination-nla/hard2-both-t.yml ERROR 64.23 59.01 None termination-nla/knuth-both-nt.yml ERROR (7) 6.87 4.24 None termination-nla/knuth-both-t.yml ERROR (7) 7.69 4.59 None termination-nla/knuth-nosqrt-both-nt.yml TIMEOUT 900.32 894.59 None termination-nla/knuth-nosqrt-both-t.yml TIMEOUT 900.30 896.94 None termination-nla/lcm1-both-nt.yml ERROR 142.51 135.85 None termination-nla/lcm1-both-t.yml ERROR (7) 132.03 99.69 None termination-nla/mannadiv-both-nt.yml ERROR 14.15 9.37 None termination-nla/mannadiv-both-t.yml ERROR 16.81 10.67 None termination-nla/ps2-both-nt.yml ERROR 15.20 10.11 None termination-nla/ps2-both-t.yml ERROR 12.74 8.51 None termination-nla/ps3-both-nt.yml ERROR 17.42 11.77 None termination-nla/ps3-both-t.yml ERROR 13.12 8.75 None termination-nla/ps4-both-nt.yml ERROR 17.59 11.77 None termination-nla/ps4-both-t.yml ERROR 13.98 9.17 None termination-nla/ps5-both-nt.yml ERROR 16.36 10.71 None termination-nla/ps5-both-t.yml ERROR 14.86 10.00 None termination-nla/ps6-both-nt.yml ERROR 16.12 11.42 None termination-nla/ps6-both-t.yml ERROR 14.52 9.32 None termination-nla/sqrt1-both-nt.yml ERROR 19.53 12.15 None termination-nla/sqrt1-both-t.yml ERROR 17.38 11.21 None -------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 15609.42 1546.06 - Statistics: 2475 Files correct: 1463 correct true: 889 correct false: 574 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1012 Score: 2352 (max: 4073)