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: Thu, 2023-02-16 23:01:40 CET tool: ULTIMATE Automizer 0.2.2-26d01a9c tool executable: ./Ultimate.py options: --full-output parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 300 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 300.95 291.41 None array-examples/data_structures_set_multi_proc_ground-2.yml TIMEOUT 300.97 290.84 None array-examples/relax-2-2.yml TIMEOUT 300.22 271.04 None array-examples/sanfoundry_02_ground.yml TIMEOUT 301.02 284.48 None array-examples/sanfoundry_10_ground.yml TIMEOUT 301.12 241.56 None array-examples/sanfoundry_43_ground.yml true 7.92 6.76 None array-examples/sorting_selectionsort_2_ground.yml TIMEOUT 300.46 252.53 None array-examples/sorting_selectionsort_ground-1.yml TIMEOUT 300.37 224.01 None array-examples/sorting_selectionsort_ground-2.yml TIMEOUT 300.67 225.36 None array-examples/standard_allDiff2_ground.yml TIMEOUT 300.51 275.34 None array-examples/standard_copy2_ground-1.yml TIMEOUT 300.92 295.93 None array-examples/standard_copy2_ground-2.yml TIMEOUT 301.04 285.98 None array-examples/standard_copy3_ground-1.yml TIMEOUT 300.92 295.28 None array-examples/standard_copy3_ground-2.yml TIMEOUT 300.92 294.85 None array-examples/standard_copy4_ground-1.yml TIMEOUT 300.91 296.15 None array-examples/standard_copy4_ground-2.yml TIMEOUT 300.97 291.86 None array-examples/standard_copy5_ground-1.yml TIMEOUT 300.97 291.95 None array-examples/standard_copy5_ground-2.yml TIMEOUT 300.93 294.28 None array-examples/standard_copy6_ground-1.yml TIMEOUT 300.98 291.22 None array-examples/standard_copy6_ground-2.yml TIMEOUT 300.93 295.32 None array-examples/standard_copy7_ground-1.yml TIMEOUT 300.92 295.26 None array-examples/standard_copy7_ground-2.yml TIMEOUT 300.96 292.49 None array-examples/standard_copy8_ground-1.yml TIMEOUT 300.94 294.14 None array-examples/standard_copy8_ground-2.yml TIMEOUT 300.92 294.93 None array-examples/standard_copy9_ground-1.yml TIMEOUT 300.94 293.52 None array-examples/standard_copy9_ground-2.yml TIMEOUT 300.94 293.19 None array-examples/standard_copyInitSum2_ground-1.yml TIMEOUT 300.95 292.90 None array-examples/standard_copyInitSum2_ground-2.yml TIMEOUT 300.96 292.30 None array-examples/standard_copyInitSum3_ground.yml TIMEOUT 300.96 291.77 None array-examples/standard_copyInitSum_ground.yml TIMEOUT 300.99 289.37 None array-examples/standard_partial_init_ground.yml TIMEOUT 301.00 288.18 None array-examples/standard_partition_ground-1.yml TIMEOUT 300.95 290.68 None array-examples/standard_partition_ground-2.yml TIMEOUT 301.06 234.49 None array-examples/standard_partition_original_ground.yml TIMEOUT 301.17 279.60 None array-examples/standard_sentinel-2.yml TIMEOUT 300.62 275.01 None array-examples/standard_sentinel.i.v+cfa-reducer.yml TIMEOUT 301.14 224.78 None array-examples/standard_seq_init_ground.yml TIMEOUT 300.96 289.78 None array-examples/standard_two_index_01.yml TIMEOUT 300.94 293.16 None array-examples/standard_two_index_02.yml TIMEOUT 300.91 296.25 None array-examples/standard_two_index_03.yml TIMEOUT 300.94 295.62 None array-examples/standard_two_index_04.yml TIMEOUT 300.91 295.85 None array-examples/standard_two_index_05.yml TIMEOUT 300.94 294.11 None array-examples/standard_two_index_06.yml TIMEOUT 301.00 294.84 None array-examples/standard_two_index_07.yml TIMEOUT 300.98 290.95 None array-examples/standard_two_index_08.yml TIMEOUT 301.22 288.09 None array-examples/standard_two_index_09.yml TIMEOUT 300.98 290.51 None array-examples/standard_vararg_ground.yml TIMEOUT 300.29 268.16 None array-examples/standard_vector_difference_ground.yml TIMEOUT 300.94 293.19 None array-industry-pattern/array_mul_init.yml TIMEOUT 300.92 295.16 None array-industry-pattern/array_of_struct_ptr_mul_init.yml TIMEOUT 300.96 294.51 None array-industry-pattern/array_shadowinit.yml TIMEOUT 300.20 273.43 None array-industry-pattern/check_removal_from_set_after_insertion.yml TIMEOUT 300.90 250.89 None reducercommutativity/avg05-1.yml TIMEOUT 300.20 272.81 None reducercommutativity/avg10-2.yml TIMEOUT 300.32 268.56 None reducercommutativity/avg20-2.yml TIMEOUT 300.57 257.83 None reducercommutativity/avg40-2.yml TIMEOUT 301.32 289.88 None reducercommutativity/avg60-1.yml TIMEOUT 300.97 289.09 None reducercommutativity/rangesum.yml false(unreach-call) 18.47 11.48 None reducercommutativity/rangesum05.yml false(unreach-call) 17.55 11.81 None reducercommutativity/rangesum10.yml false(unreach-call) 23.75 16.95 None reducercommutativity/rangesum20.yml false(unreach-call) 32.56 25.03 None reducercommutativity/rangesum40.yml TIMEOUT 301.00 290.08 None reducercommutativity/rangesum60.yml TIMEOUT 301.05 285.70 None reducercommutativity/sep.yml TIMEOUT 300.19 272.88 None reducercommutativity/sep10-2.yml TIMEOUT 300.39 259.16 None reducercommutativity/sep20-1.yml TIMEOUT 300.54 252.79 None reducercommutativity/sep40-1.yml TIMEOUT 301.01 286.10 None reducercommutativity/sep60-2.yml TIMEOUT 301.00 286.66 None reducercommutativity/sum05-2.yml TIMEOUT 301.23 287.80 None reducercommutativity/sum10-1.yml TIMEOUT 300.27 269.92 None reducercommutativity/sum20-2.yml TIMEOUT 300.46 266.41 None reducercommutativity/sum40-2.yml TIMEOUT 301.61 270.63 None reducercommutativity/sum60-2.yml TIMEOUT 300.97 290.62 None array-tiling/poly2.yml TIMEOUT 300.10 284.75 None array-programs/copysome1-1.yml TIMEOUT 300.93 293.53 None array-programs/copysome1-2.yml TIMEOUT 301.00 288.85 None array-programs/copysome2-1.yml TIMEOUT 300.11 277.68 None array-programs/copysome2-2.yml TIMEOUT 301.04 284.94 None array-programs/partial_mod_count_1.yml TIMEOUT 301.01 288.01 None array-programs/partial_mod_count_2.yml TIMEOUT 301.02 286.96 None array-programs/partial_mod_count_3.yml TIMEOUT 300.97 291.96 None array-programs/partial_mod_count_4.yml TIMEOUT 300.98 291.16 None array-programs/partial_mod_count_5.yml TIMEOUT 300.98 291.49 None array-programs/partial_mod_count_limited_1.yml TIMEOUT 301.12 283.68 None array-programs/partial_mod_count_limited_2.yml TIMEOUT 301.12 284.80 None array-programs/partial_mod_count_limited_3.yml TIMEOUT 301.09 288.22 None array-programs/partial_mod_count_limited_4.yml TIMEOUT 301.09 286.08 None array-programs/partial_mod_count_limited_5.yml TIMEOUT 300.45 266.36 None array-programs/partial_mod_count_limited_base.yml TIMEOUT 301.01 288.18 None array-programs/partial_mod_count_limited_gen.yml TIMEOUT 300.93 294.08 None array-crafted/mapavg1.yml TIMEOUT 301.03 284.76 None array-crafted/mapavg2.yml TIMEOUT 300.10 277.02 None array-crafted/mapavg3.yml TIMEOUT 300.08 278.20 None array-crafted/mapavg4.yml TIMEOUT 300.10 276.53 None array-crafted/mapavg5.yml TIMEOUT 300.99 289.63 None array-crafted/mapsum1.yml TIMEOUT 301.02 285.96 None array-crafted/mapsum2.yml TIMEOUT 301.01 287.04 None array-crafted/mapsum3.yml TIMEOUT 301.03 285.34 None array-crafted/mapsum4.yml TIMEOUT 301.00 286.67 None array-crafted/mapsum5.yml TIMEOUT 301.03 286.26 None array-crafted/zero_sum1.yml TIMEOUT 301.30 284.86 None array-crafted/zero_sum2.yml TIMEOUT 300.25 280.04 None array-crafted/zero_sum3.yml TIMEOUT 300.42 279.98 None array-crafted/zero_sum4.yml TIMEOUT 300.61 266.99 None array-crafted/zero_sum5.yml TIMEOUT 301.03 283.29 None array-crafted/zero_sum_const1.yml TIMEOUT 300.61 273.12 None array-crafted/zero_sum_const2.yml TIMEOUT 300.62 269.40 None array-crafted/zero_sum_const3.yml TIMEOUT 300.17 272.37 None array-crafted/zero_sum_const4.yml TIMEOUT 300.38 277.46 None array-crafted/zero_sum_const5.yml TIMEOUT 301.08 280.26 None array-crafted/zero_sum_const_m2.yml TIMEOUT 300.50 279.24 None array-crafted/zero_sum_const_m3.yml TIMEOUT 300.49 280.07 None array-crafted/zero_sum_const_m4.yml TIMEOUT 301.01 286.75 None array-crafted/zero_sum_const_m5.yml TIMEOUT 301.05 287.19 None array-crafted/zero_sum_m2.yml TIMEOUT 300.19 279.74 None array-crafted/zero_sum_m3.yml TIMEOUT 300.20 281.77 None array-crafted/zero_sum_m4.yml TIMEOUT 301.03 284.51 None array-crafted/zero_sum_m5.yml TIMEOUT 301.13 279.83 None array-multidimensional/copy-partial-3-u.yml TIMEOUT 300.99 290.32 None array-multidimensional/transpose-u.yml TIMEOUT 300.97 292.34 None array-patterns/array10_pattern.yml TIMEOUT 301.30 283.81 None array-patterns/array11_pattern.yml TIMEOUT 301.05 285.09 None array-patterns/array12_pattern.yml OUT OF MEMORY 163.53 135.41 None array-patterns/array13_pattern.yml TIMEOUT 300.99 288.41 None array-patterns/array14_pattern.yml TIMEOUT 301.04 289.24 None array-patterns/array15_pattern.yml TIMEOUT 300.61 281.82 None array-patterns/array16_pattern.yml TIMEOUT 301.01 269.91 None array-patterns/array17_pattern.yml TIMEOUT 301.00 292.43 None array-patterns/array18_pattern.yml TIMEOUT 301.04 288.37 None array-patterns/array19_pattern.yml OUT OF MEMORY 265.06 219.18 None array-patterns/array1_pattern.yml OUT OF MEMORY 233.90 206.76 None array-patterns/array20_pattern.yml OUT OF MEMORY 121.98 102.81 None array-patterns/array21_pattern.yml TIMEOUT 300.46 274.67 None array-patterns/array22_pattern.yml TIMEOUT 300.39 278.78 None array-patterns/array23_pattern.yml TIMEOUT 301.12 280.95 None array-patterns/array24_pattern.yml TIMEOUT 301.01 286.91 None array-patterns/array25_pattern.yml TIMEOUT 301.02 286.90 None array-patterns/array26_pattern.yml TIMEOUT 301.12 293.15 None array-patterns/array27_pattern.yml TIMEOUT 300.98 289.56 None array-patterns/array28_pattern.yml TIMEOUT 301.14 287.57 None array-patterns/array29_pattern.yml TIMEOUT 300.97 292.71 None array-patterns/array2_pattern.yml TIMEOUT 301.19 282.25 None array-patterns/array30_pattern.yml TIMEOUT 300.96 293.55 None array-patterns/array3_pattern.yml TIMEOUT 301.18 281.34 None array-patterns/array4_pattern.yml TIMEOUT 300.96 287.92 None array-patterns/array5_pattern.yml TIMEOUT 301.10 261.58 None array-patterns/array6_pattern.yml TIMEOUT 300.12 280.82 None array-patterns/array7_pattern.yml TIMEOUT 300.24 275.88 None array-patterns/array8_pattern.yml TIMEOUT 300.15 281.46 None array-patterns/array9_pattern.yml TIMEOUT 301.16 286.19 None array-cav19/array_doub_access_init_const.yml TIMEOUT 300.96 291.12 None array-cav19/array_init_both_ends_multiple_sum.yml TIMEOUT 300.95 292.13 None array-cav19/array_init_pair_sum_const.yml TIMEOUT 300.94 293.84 None array-cav19/array_init_pair_symmetr.yml TIMEOUT 300.92 294.83 None array-cav19/array_init_pair_symmetr2.yml TIMEOUT 300.95 292.96 None array-cav19/array_init_var_plus_ind.yml TIMEOUT 301.01 288.58 None array-cav19/array_init_var_plus_ind2.yml TIMEOUT 301.04 286.61 None array-cav19/array_init_var_plus_ind3.yml TIMEOUT 301.03 288.51 None array-cav19/array_min_and_copy_shift_sum_add.yml TIMEOUT 300.10 279.52 None array-cav19/array_tiling_poly6.yml TIMEOUT 300.98 289.24 None array-cav19/array_tiling_tcpy.yml TIMEOUT 301.04 286.63 None array-cav19/array_tripl_access_init_const.yml TIMEOUT 300.98 289.72 None array-lopstr16/motivex.yml TIMEOUT 300.97 292.16 None array-lopstr16/scalar_loopdep.yml TIMEOUT 301.01 289.41 None array-lopstr16/sum_multi_array.yml OUT OF MEMORY 252.35 231.96 None array-fpi/brs1.yml TIMEOUT 300.27 281.71 None array-fpi/brs1f.yml false(unreach-call) 9.06 5.34 None array-fpi/brs2.yml TIMEOUT 300.96 291.92 None array-fpi/brs2f.yml TIMEOUT 300.97 293.09 None array-fpi/brs3.yml TIMEOUT 300.97 291.51 None array-fpi/brs3f.yml false(unreach-call) 10.06 6.08 None array-fpi/brs4.yml TIMEOUT 300.98 292.46 None array-fpi/brs4f.yml false(unreach-call) 8.99 5.20 None array-fpi/brs5.yml TIMEOUT 300.96 292.92 None array-fpi/brs5f.yml false(unreach-call) 8.65 5.56 None array-fpi/conda.yml TIMEOUT 300.96 291.24 None array-fpi/condaf.yml false(unreach-call) 10.36 6.48 None array-fpi/condg.yml TIMEOUT 300.99 290.37 None array-fpi/condgf.yml false(unreach-call) 12.04 7.35 None array-fpi/condm.yml TIMEOUT 300.12 278.21 None array-fpi/condmf.yml false(unreach-call) 10.54 5.95 None array-fpi/eqn1.yml TIMEOUT 301.05 285.99 None array-fpi/eqn1f.yml false(unreach-call) 20.14 12.77 None array-fpi/eqn2.yml OUT OF MEMORY 76.18 53.22 None array-fpi/eqn2f.yml false(unreach-call) 14.57 9.05 None array-fpi/eqn3.yml TIMEOUT 300.98 289.79 None array-fpi/eqn3f.yml false(unreach-call) 11.44 6.79 None array-fpi/eqn4.yml TIMEOUT 300.17 281.35 None array-fpi/eqn4f.yml false(unreach-call) 8.97 5.55 None array-fpi/eqn5.yml TIMEOUT 300.95 291.42 None array-fpi/eqn5f.yml false(unreach-call) 11.33 7.83 None array-fpi/ifcomp.yml TIMEOUT 301.05 289.80 None array-fpi/ifcompf.yml false(unreach-call) 17.70 11.00 None array-fpi/ifeqn1.yml TIMEOUT 301.00 287.94 None array-fpi/ifeqn1f.yml false(unreach-call) 11.65 7.19 None array-fpi/ifeqn2.yml TIMEOUT 301.00 291.15 None array-fpi/ifeqn2f.yml false(unreach-call) 11.37 6.97 None array-fpi/ifeqn3.yml TIMEOUT 301.07 285.71 None array-fpi/ifeqn3f.yml false(unreach-call) 12.73 8.75 None array-fpi/ifeqn4.yml TIMEOUT 301.05 290.82 None array-fpi/ifeqn4f.yml false(unreach-call) 10.65 7.57 None array-fpi/ifeqn5.yml TIMEOUT 300.98 289.90 None array-fpi/ifeqn5f.yml false(unreach-call) 9.09 6.08 None array-fpi/ifncomp.yml OUT OF MEMORY 149.55 128.40 None array-fpi/ifncompf.yml false(unreach-call) 9.82 6.48 None array-fpi/indp1f.yml false(unreach-call) 8.54 5.43 None array-fpi/indp2.yml TIMEOUT 300.52 308.33 None array-fpi/indp2f.yml false(unreach-call) 8.53 5.32 None array-fpi/indp3.yml TIMEOUT 300.66 267.31 None array-fpi/indp3f.yml false(unreach-call) 8.52 5.73 None array-fpi/indp4.yml TIMEOUT 300.55 280.28 None array-fpi/indp4f.yml false(unreach-call) 9.28 6.82 None array-fpi/indp5.yml OUT OF MEMORY 168.89 140.34 None array-fpi/indp5f.yml false(unreach-call) 13.14 7.73 None array-fpi/modn.yml TIMEOUT 301.07 284.05 None array-fpi/modnf.yml false(unreach-call) 12.55 7.52 None array-fpi/modp.yml TIMEOUT 300.83 287.39 None array-fpi/modpf.yml false(unreach-call) 13.02 8.15 None array-fpi/mods.yml TIMEOUT 300.64 277.88 None array-fpi/modsf.yml false(unreach-call) 10.21 6.28 None array-fpi/ms1.yml TIMEOUT 301.01 285.57 None array-fpi/ms1f.yml false(unreach-call) 10.10 6.51 None array-fpi/ms2.yml TIMEOUT 301.07 290.98 None array-fpi/ms2f.yml false(unreach-call) 9.22 5.35 None array-fpi/ms3.yml TIMEOUT 300.97 289.90 None array-fpi/ms3f.yml false(unreach-call) 9.97 9.52 None array-fpi/ms4.yml TIMEOUT 301.08 285.97 None array-fpi/ms4f.yml false(unreach-call) 9.48 6.04 None array-fpi/ms5.yml TIMEOUT 301.01 288.73 None array-fpi/ms5f.yml false(unreach-call) 9.10 5.85 None array-fpi/ncomp.yml OUT OF MEMORY 271.66 248.32 None array-fpi/ncompf.yml false(unreach-call) 9.64 6.76 None array-fpi/nsqm-if.yml TIMEOUT 301.00 289.14 None array-fpi/nsqm-iff.yml false(unreach-call) 9.96 6.49 None array-fpi/nsqm.yml TIMEOUT 300.91 299.11 None array-fpi/nsqmf.yml false(unreach-call) 9.20 9.51 None array-fpi/pcomp.yml TIMEOUT 300.28 280.23 None array-fpi/pcompf.yml TIMEOUT 301.60 287.85 None array-fpi/res1.yml TIMEOUT 300.47 321.85 None array-fpi/res1f.yml false(unreach-call) 12.53 7.28 None array-fpi/res1o.yml TIMEOUT 301.96 244.58 None array-fpi/res1of.yml false(unreach-call) 13.11 8.49 None array-fpi/res2.yml TIMEOUT 300.23 277.13 None array-fpi/res2f.yml false(unreach-call) 13.51 7.72 None array-fpi/res2o.yml TIMEOUT 300.17 284.26 None array-fpi/res2of.yml false(unreach-call) 9.12 5.32 None array-fpi/s12if.yml TIMEOUT 301.02 289.72 None array-fpi/s12iff.yml false(unreach-call) 9.05 5.52 None array-fpi/s1if.yml TIMEOUT 301.05 282.99 None array-fpi/s1iff.yml false(unreach-call) 12.90 8.45 None array-fpi/s1lif.yml TIMEOUT 300.98 289.98 None array-fpi/s1liff.yml false(unreach-call) 9.55 6.93 None array-fpi/s22if.yml TIMEOUT 301.02 285.24 None array-fpi/s22iff.yml false(unreach-call) 13.13 9.99 None array-fpi/s2if.yml TIMEOUT 301.00 286.81 None array-fpi/s2iff.yml false(unreach-call) 13.89 9.17 None array-fpi/s2lif.yml TIMEOUT 300.98 296.16 None array-fpi/s2liff.yml false(unreach-call) 9.38 5.94 None array-fpi/s32if.yml TIMEOUT 300.98 290.27 None array-fpi/s32iff.yml false(unreach-call) 9.65 6.20 None array-fpi/s3if.yml TIMEOUT 300.98 299.37 None array-fpi/s3iff.yml false(unreach-call) 13.21 8.33 None array-fpi/s3lif.yml TIMEOUT 300.99 291.35 None array-fpi/s3liff.yml false(unreach-call) 9.26 5.69 None array-fpi/s42if.yml TIMEOUT 301.17 282.65 None array-fpi/s42iff.yml false(unreach-call) 9.19 5.83 None array-fpi/s4if.yml TIMEOUT 300.80 315.15 None array-fpi/s4iff.yml false(unreach-call) 17.57 10.22 None array-fpi/s4lif.yml TIMEOUT 301.03 288.49 None array-fpi/s4liff.yml false(unreach-call) 12.35 7.15 None array-fpi/s52if.yml TIMEOUT 300.38 277.96 None array-fpi/s52iff.yml false(unreach-call) 13.38 10.22 None array-fpi/s5if.yml TIMEOUT 301.10 278.70 None array-fpi/s5iff.yml false(unreach-call) 8.78 5.22 None array-fpi/s5lif.yml TIMEOUT 300.54 279.07 None array-fpi/s5liff.yml false(unreach-call) 8.88 5.38 None array-fpi/sina1.yml TIMEOUT 301.05 283.68 None array-fpi/sina1f.yml false(unreach-call) 9.05 5.47 None array-fpi/sina2.yml OUT OF MEMORY 200.95 132.81 None array-fpi/sina2f.yml false(unreach-call) 9.91 5.63 None array-fpi/sina3.yml TIMEOUT 301.02 286.69 None array-fpi/sina3f.yml false(unreach-call) 12.23 7.32 None array-fpi/sina4.yml TIMEOUT 300.21 279.32 None array-fpi/sina4f.yml false(unreach-call) 9.63 5.88 None array-fpi/sina5.yml TIMEOUT 301.00 288.57 None array-fpi/sina5f.yml false(unreach-call) 9.18 5.76 None array-fpi/sqm-if.yml TIMEOUT 300.94 294.28 None array-fpi/sqm-iff.yml false(unreach-call) 9.56 6.48 None array-fpi/sqm.yml TIMEOUT 300.98 292.43 None array-fpi/sqmf.yml false(unreach-call) 9.04 6.14 None array-fpi/ss1.yml TIMEOUT 300.69 283.30 None array-fpi/ss1f.yml false(unreach-call) 9.85 6.81 None array-fpi/ss2.yml TIMEOUT 301.01 292.64 None array-fpi/ss2f.yml false(unreach-call) 10.31 7.17 None array-fpi/ss3.yml TIMEOUT 301.04 294.23 None array-fpi/ss3f.yml false(unreach-call) 9.80 6.44 None array-fpi/ss4.yml TIMEOUT 300.47 283.08 None array-fpi/ss4f.yml false(unreach-call) 12.92 7.76 None array-fpi/ssina.yml TIMEOUT 300.26 276.69 None array-fpi/ssinaf.yml false(unreach-call) 12.66 7.63 None bitvector/byte_add-1.yml TIMEOUT 300.31 278.55 None bitvector/byte_add_1-1.yml TIMEOUT 301.01 288.02 None bitvector/byte_add_2-2.yml TIMEOUT 300.31 277.92 None bitvector/gcd_1.yml TIMEOUT 301.08 284.07 None bitvector/gcd_2.yml TIMEOUT 301.16 284.39 None bitvector/gcd_3.yml TIMEOUT 300.08 280.56 None bitvector/gcd_4.yml true 32.33 21.00 None bitvector/interleave_bits.yml true 78.04 65.12 None bitvector/jain_1-1.yml true 9.26 5.76 None bitvector/jain_2-1.yml true 22.20 18.28 None bitvector/jain_4-2.yml true 14.04 10.12 None bitvector/jain_5-2.yml TIMEOUT 300.96 291.16 None bitvector/jain_6-1.yml true 18.23 14.24 None bitvector/jain_7-2.yml true 21.60 18.24 None bitvector/modulus-2.yml true 36.39 26.22 None bitvector/num_conversion_1.yml true 32.38 21.82 None bitvector/num_conversion_2.yml TIMEOUT 300.09 284.75 None bitvector/parity.yml TIMEOUT 300.95 291.51 None bitvector/s3_clnt_2.BV.c.cil-1a.yml true 38.76 25.23 None bitvector/s3_clnt_2.BV.c.cil-2a.yml false(unreach-call) 34.01 22.83 None bitvector/s3_clnt_3.BV.c.cil-1a.yml true 26.52 14.87 None bitvector/s3_clnt_3.BV.c.cil-2a.yml false(unreach-call) 28.73 19.25 None bitvector/s3_srvr_1a.BV.c.cil.yml true 26.51 15.51 None bitvector/s3_srvr_2a.BV.c.cil.yml true 105.55 87.84 None bitvector/s3_srvr_2a_alt.BV.c.cil.yml true 102.39 80.30 None bitvector/s3_srvr_3a.BV.c.cil.yml true 28.30 17.78 None bitvector/s3_srvr_3a_alt.BV.c.cil.yml true 28.67 18.22 None bitvector/soft_float_1-2a.c.cil.yml TIMEOUT 301.16 278.89 None bitvector/soft_float_1-3a.c.cil.yml TIMEOUT 300.22 278.21 None bitvector/soft_float_2a.c.cil.yml true 30.84 18.26 None bitvector/soft_float_3a.c.cil.yml TIMEOUT 300.14 276.85 None bitvector/soft_float_4-2a.c.cil.yml TIMEOUT 300.17 277.54 None bitvector/soft_float_4-3a.c.cil.yml TIMEOUT 300.18 277.57 None bitvector/soft_float_5a.c.cil.yml true 29.63 17.57 None bitvector/sum02-1.yml TIMEOUT 300.93 294.25 None bitvector/sum02-2.yml TIMEOUT 301.06 290.42 None bitvector-regression/implicitfloatconversion.yml false(unreach-call) 19.28 10.91 None bitvector-regression/implicitunsignedconversion-1.yml false(unreach-call) 10.08 5.80 None bitvector-regression/implicitunsignedconversion-2.yml true 8.06 4.88 None bitvector-regression/integerpromotion-2.yml true 19.57 11.57 None bitvector-regression/integerpromotion-3.yml false(unreach-call) 14.60 8.61 None bitvector-regression/recHanoi03-1.yml TIMEOUT 300.91 259.36 None bitvector-regression/signextension-1.yml false(unreach-call) 7.51 4.57 None bitvector-regression/signextension-2.yml true 8.54 5.33 None bitvector-regression/signextension2-1.yml true 8.82 5.24 None bitvector-regression/signextension2-2.yml false(unreach-call) 10.12 5.81 None bitvector-loops/diamond_2-1.yml false(unreach-call) 9.28 5.53 None bitvector-loops/overflow_1-2.yml TIMEOUT 300.94 293.04 None bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.yml false(unreach-call) 196.32 184.14 None openssl-simplified/s3_srvr_1b.cil.yml true 12.20 6.78 None locks/test_locks_10.yml true 23.26 12.53 None locks/test_locks_11.yml true 31.57 17.14 None locks/test_locks_12.yml true 45.72 26.51 None locks/test_locks_13.yml OUT OF MEMORY 49.50 33.46 None locks/test_locks_14-1.yml OUT OF MEMORY 62.68 39.88 None locks/test_locks_14-2.yml false(unreach-call) 9.88 5.98 None locks/test_locks_15-1.yml false(unreach-call) 9.51 5.89 None locks/test_locks_15-2.yml OUT OF MEMORY 45.89 30.50 None locks/test_locks_5.yml true 9.95 5.92 None locks/test_locks_6.yml true 9.96 6.00 None locks/test_locks_7.yml true 11.29 6.68 None locks/test_locks_8.yml true 11.81 6.89 None locks/test_locks_9.yml true 13.95 8.26 None ntdrivers/cdaudio.i.cil-1.yml TIMEOUT 300.49 272.50 None ntdrivers/diskperf.i.cil-1.yml TIMEOUT 301.04 259.62 None ntdrivers/diskperf.i.cil-2.yml false(unreach-call) 43.09 23.27 None ntdrivers/floppy.i.cil-1.yml TIMEOUT 300.33 264.52 None ntdrivers/floppy.i.cil-3.yml TIMEOUT 300.75 234.42 None ntdrivers/kbfiltr.i.cil-2.yml TIMEOUT 300.12 271.92 None ntdrivers/parport.i.cil-1.yml unknown 159.00 120.88 None ntdrivers/parport.i.cil-2.yml TIMEOUT 300.48 227.48 None heap-manipulation/bubble_sort_linux-1.yml TIMEOUT 300.83 263.27 None heap-manipulation/bubble_sort_linux-2.yml TIMEOUT 300.47 267.04 None heap-manipulation/dancing.yml TIMEOUT 300.83 278.68 None heap-manipulation/dll_of_dll-1.yml TIMEOUT 300.13 276.06 None heap-manipulation/dll_of_dll-2.yml TIMEOUT 300.53 260.61 None heap-manipulation/merge_sort-1.yml false(unreach-call) 19.50 10.63 None heap-manipulation/merge_sort-2.yml TIMEOUT 300.18 270.61 None heap-manipulation/sll_to_dll_rev-1.yml TIMEOUT 301.23 287.19 None heap-manipulation/sll_to_dll_rev-2.yml TIMEOUT 300.20 281.12 None heap-manipulation/tree-2.yml TIMEOUT 300.20 277.17 None heap-manipulation/tree-3.yml TIMEOUT 300.20 280.50 None heap-manipulation/tree-4.yml TIMEOUT 300.23 279.02 None list-properties/alternating_list-1.yml TIMEOUT 301.02 287.93 None list-properties/alternating_list-2.yml false(unreach-call) 12.01 6.78 None list-properties/list-1.yml TIMEOUT 301.05 282.17 None list-properties/list-2.yml TIMEOUT 301.00 287.39 None list-properties/list_flag-1.yml false(unreach-call) 9.92 5.89 None list-properties/list_flag-2.yml OUT OF MEMORY 136.71 108.12 None list-properties/list_search-1.yml TIMEOUT 301.04 285.54 None list-properties/list_search-2.yml TIMEOUT 300.17 283.63 None list-properties/simple-1.yml false(unreach-call) 13.11 7.44 None list-properties/simple-2.yml TIMEOUT 301.03 284.04 None list-properties/simple_built_from_end.yml TIMEOUT 300.98 289.63 None list-properties/splice-1.yml false(unreach-call) 13.10 7.28 None list-properties/splice-2.yml TIMEOUT 300.36 275.64 None ldv-regression/1_3.yml false(unreach-call) 8.94 5.52 None ldv-regression/alt_test.yml false(unreach-call) 9.13 5.38 None ldv-regression/callfpointer.yml false(unreach-call) 7.91 4.97 None ldv-regression/ex3_forlist.yml true 38.19 23.73 None ldv-regression/fo_test.yml false(unreach-call) 10.12 6.15 None ldv-regression/just_assert.yml true 8.05 4.92 None ldv-regression/mutex_lock_int.yml false(unreach-call) 8.95 5.55 None ldv-regression/mutex_lock_struct.yml false(unreach-call) 8.54 5.00 None ldv-regression/recursive_list.yml false(unreach-call) 8.33 4.98 None ldv-regression/rule57_ebda_blast.c_1.yml true 11.06 6.67 None ldv-regression/rule57_ebda_blast.yml true 10.80 6.16 None ldv-regression/rule57_ebda_blast_2.yml false(unreach-call) 10.70 6.35 None ldv-regression/rule60_list.yml true 10.95 6.52 None ldv-regression/rule60_list2.c_1.yml false(unreach-call) 18.80 11.51 None ldv-regression/rule60_list2.yml true 18.43 11.86 None ldv-regression/sizeofparameters_test.yml true 8.22 4.92 None ldv-regression/test01.yml true 8.04 4.89 None ldv-regression/test02.yml false(unreach-call) 8.03 4.90 None ldv-regression/test12.yml false(unreach-call) 8.26 5.43 None ldv-regression/test13.yml true 8.10 4.89 None ldv-regression/test17.yml true 8.27 5.08 None ldv-regression/test20.yml true 8.78 5.40 None ldv-regression/test21-2.yml false(unreach-call) 8.15 4.92 None ldv-regression/test25-1.yml false(unreach-call) 23.19 13.47 None ldv-regression/test26-2.yml false(unreach-call) 8.31 5.18 None ldv-regression/test28-1.yml false(unreach-call) 8.12 4.76 None ldv-regression/test29-1.yml false(unreach-call) 9.34 5.74 None ldv-regression/test30-2.yml false(unreach-call) 7.81 4.68 None ldv-regression/test_address.yml true 8.67 5.13 None ldv-regression/test_cut_trace.yml true 8.11 4.87 None ldv-regression/test_malloc-1.yml true 9.59 5.80 None ldv-regression/test_malloc-2.yml true 8.99 5.36 None ldv-regression/test_overflow.yml true 9.18 5.49 None ddv-machzwd/ddv_machzwd_all.yml unknown 44.95 27.98 None ddv-machzwd/ddv_machzwd_inb.yml true 12.99 7.33 None ddv-machzwd/ddv_machzwd_inb_p.yml true 16.10 8.78 None ddv-machzwd/ddv_machzwd_inl.yml true 12.39 7.06 None ddv-machzwd/ddv_machzwd_inl_p.yml true 13.74 8.21 None ddv-machzwd/ddv_machzwd_inw_p.yml true 13.15 7.44 None ddv-machzwd/ddv_machzwd_outb.yml unknown 41.95 25.40 None ddv-machzwd/ddv_machzwd_outb_p.yml true 16.58 9.04 None ddv-machzwd/ddv_machzwd_outl.yml true 13.91 8.01 None ddv-machzwd/ddv_machzwd_outl_p.yml true 13.03 7.60 None ddv-machzwd/ddv_machzwd_outw_p.yml true 12.96 7.40 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.yml true 16.42 8.88 None forester-heap/dll-01-1.yml false(unreach-call) 16.48 9.31 None forester-heap/dll-01-2.yml TIMEOUT 300.61 272.16 None forester-heap/dll-circular-1.yml false(unreach-call) 10.22 5.74 None forester-heap/dll-circular-2.yml TIMEOUT 300.10 282.46 None forester-heap/dll-optional-1.yml OUT OF MEMORY 128.09 102.59 None forester-heap/dll-optional-2.yml false(unreach-call) 11.60 6.48 None forester-heap/dll-queue-1.yml TIMEOUT 300.52 271.37 None forester-heap/dll-queue-2.yml TIMEOUT 300.38 273.06 None forester-heap/dll-rb-cnstr_1-1.yml TIMEOUT 301.03 287.27 None forester-heap/dll-rb-cnstr_1-2.yml TIMEOUT 301.08 281.42 None forester-heap/dll-rb-sentinel-1.yml TIMEOUT 300.10 278.03 None forester-heap/dll-rb-sentinel-2.yml TIMEOUT 301.01 286.54 None forester-heap/dll-reverse.yml TIMEOUT 300.24 277.05 None forester-heap/dll-simple-white-blue-1.yml false(unreach-call) 9.40 5.67 None forester-heap/dll-simple-white-blue-2.yml TIMEOUT 301.06 288.24 None forester-heap/dll-sorted-1.yml false(unreach-call) 10.03 6.32 None forester-heap/dll-sorted-2.yml TIMEOUT 301.01 287.09 None forester-heap/dll-token-1.yml TIMEOUT 300.15 276.88 None forester-heap/dll-token-2.yml false(unreach-call) 12.56 7.32 None forester-heap/sll-01-1.yml TIMEOUT 300.37 267.15 None forester-heap/sll-01-2.yml TIMEOUT 300.92 268.54 None forester-heap/sll-buckets-1.yml OUT OF MEMORY 195.68 169.26 None forester-heap/sll-buckets-2.yml OUT OF MEMORY 259.71 221.90 None forester-heap/sll-circular-1.yml TIMEOUT 301.01 287.13 None forester-heap/sll-circular-2.yml false(unreach-call) 10.55 6.46 None forester-heap/sll-optional-1.yml TIMEOUT 301.10 284.16 None forester-heap/sll-optional-2.yml false(unreach-call) 12.17 6.89 None forester-heap/sll-queue-1.yml TIMEOUT 300.33 278.98 None forester-heap/sll-queue-2.yml TIMEOUT 300.44 271.33 None forester-heap/sll-rb-cnstr_1-1.yml TIMEOUT 301.00 284.07 None forester-heap/sll-rb-cnstr_1-2.yml false(unreach-call) 12.60 7.58 None forester-heap/sll-rb-sentinel-1.yml TIMEOUT 300.97 288.67 None forester-heap/sll-rb-sentinel-2.yml TIMEOUT 300.98 289.21 None forester-heap/sll-reverse_simple.yml TIMEOUT 300.99 287.24 None forester-heap/sll-simple-white-blue-1.yml TIMEOUT 300.98 288.43 None forester-heap/sll-simple-white-blue-2.yml false(unreach-call) 11.24 6.33 None forester-heap/sll-sorted-1.yml TIMEOUT 301.08 283.84 None forester-heap/sll-sorted-2.yml TIMEOUT 300.12 277.38 None forester-heap/sll-token-1.yml false(unreach-call) 9.56 5.76 None forester-heap/sll-token-2.yml TIMEOUT 301.34 286.30 None list-ext-properties/list-ext.yml false(unreach-call) 9.11 5.87 None list-ext2-properties/list_and_tree_cnstr-1.yml TIMEOUT 301.01 288.40 None list-ext2-properties/list_and_tree_cnstr-2.yml TIMEOUT 301.03 285.41 None list-ext2-properties/simple_and_skiplist_2lvl-1.yml false(unreach-call) 10.96 6.77 None list-ext2-properties/simple_and_skiplist_2lvl-2.yml TIMEOUT 300.21 277.78 None list-ext2-properties/simple_search_value-1.yml TIMEOUT 300.98 287.98 None list-ext2-properties/simple_search_value-2.yml TIMEOUT 301.16 269.53 None ldv-sets/test_add-1.yml false(unreach-call) 10.59 6.52 None ldv-sets/test_add-2.yml TIMEOUT 300.73 273.41 None ldv-sets/test_mutex.yml TIMEOUT 300.65 260.31 None ldv-sets/test_mutex_double_lock.yml false(unreach-call) 12.34 7.51 None ldv-sets/test_mutex_double_unlock.yml TIMEOUT 300.51 269.83 None ldv-sets/test_mutex_unlock_at_exit.yml OUT OF MEMORY 204.92 128.64 None list-simple/dll2c_append_equal.yml OUT OF MEMORY 137.85 111.80 None list-simple/dll2c_append_unequal.yml OUT OF MEMORY 122.25 100.12 None list-simple/dll2c_insert_equal.yml TIMEOUT 300.99 263.75 None list-simple/dll2c_prepend_equal.yml TIMEOUT 300.62 260.33 None list-simple/dll2c_prepend_unequal.yml TIMEOUT 301.10 281.53 None list-simple/dll2n_append_equal.yml OUT OF MEMORY 117.13 95.01 None list-simple/dll2n_append_unequal.yml TIMEOUT 301.00 287.89 None list-simple/dll2n_insert_equal.yml TIMEOUT 300.13 283.80 None list-simple/dll2n_insert_unequal.yml TIMEOUT 301.01 288.11 None list-simple/dll2n_prepend_equal.yml TIMEOUT 301.02 287.20 None list-simple/dll2n_prepend_unequal.yml TIMEOUT 301.02 288.00 None list-simple/sll2c_append_equal.yml TIMEOUT 301.04 285.67 None list-simple/sll2c_append_unequal.yml TIMEOUT 301.08 280.89 None list-simple/sll2c_insert_equal.yml TIMEOUT 300.07 279.84 None list-simple/sll2c_insert_unequal.yml OUT OF MEMORY 166.16 132.17 None list-simple/sll2c_prepend_equal.yml TIMEOUT 300.12 282.65 None list-simple/sll2c_prepend_unequal.yml TIMEOUT 301.00 287.17 None list-simple/sll2n_append_equal.yml TIMEOUT 300.56 275.93 None list-simple/sll2n_insert_equal.yml TIMEOUT 300.09 279.83 None list-simple/sll2n_insert_unequal.yml TIMEOUT 301.05 286.49 None heap-data/calendar.yml TIMEOUT 301.00 287.52 None heap-data/cart.yml TIMEOUT 300.95 260.48 None heap-data/min_max.yml TIMEOUT 300.09 278.09 None heap-data/packet_filter.yml TIMEOUT 301.04 287.23 None heap-data/process_queue.yml TIMEOUT 301.02 284.54 None heap-data/quick_sort_split.yml true 9.04 5.55 None heap-data/shared_mem1.yml TIMEOUT 301.05 285.66 None heap-data/shared_mem2.yml true 20.42 11.25 None list-ext3-properties/dll_circular_traversal-2.yml TIMEOUT 301.07 287.88 None list-ext3-properties/sll_circular_traversal-1.yml TIMEOUT 300.75 281.87 None list-ext3-properties/sll_length_check-1.yml false(unreach-call) 15.84 9.29 None list-ext3-properties/sll_length_check-2.yml TIMEOUT 300.98 289.49 None list-ext3-properties/sll_nondet_insert-1.yml TIMEOUT 301.00 287.16 None list-ext3-properties/sll_nondet_insert-2.yml TIMEOUT 300.97 290.66 None list-ext3-properties/sll_of_sll_nondet_append-1.yml TIMEOUT 301.01 287.52 None list-ext3-properties/sll_of_sll_nondet_append-2.yml TIMEOUT 300.23 276.83 None loops/array-2.yml false(unreach-call) 8.51 5.01 None loops/bubble_sort-2.yml false(unreach-call) 12.50 7.37 None loops/compact.yml TIMEOUT 300.96 290.55 None loops/count_up_down-1.yml TIMEOUT 301.00 288.69 None loops/count_up_down-2.yml false(unreach-call) 8.09 4.82 None loops/eureka_01-2.yml TIMEOUT 300.63 292.45 None loops/for_infinite_loop_1.yml true 8.47 4.97 None loops/for_infinite_loop_2.yml true 8.62 5.06 None loops/heavy-1.yml TIMEOUT 301.13 282.42 None loops/insertion_sort-1-2.yml TIMEOUT 301.06 286.45 None loops/insertion_sort-2-2.yml TIMEOUT 300.98 288.37 None loops/invert_string-1.yml false(unreach-call) 16.87 10.42 None loops/invert_string-3.yml TIMEOUT 301.06 282.34 None loops/linear_sea.ch.yml TIMEOUT 300.98 290.14 None loops/linear_search.yml OUT OF MEMORY 166.27 142.17 None loops/lu.cmp.yml true 11.75 7.35 None loops/ludcmp.yml ERROR (7) 42.28 31.98 None loops/matrix-1.yml OUT OF MEMORY 248.39 174.49 None loops/matrix-2-2.yml false(unreach-call) 12.02 7.75 None loops/n.c11.yml true 11.64 6.71 None loops/n.c24.yml TIMEOUT 300.29 279.97 None loops/nec20.yml false(unreach-call) 11.28 6.29 None loops/string-2.yml false(unreach-call) 26.31 16.14 None loops/sum01-2.yml true 13.85 8.07 None loops/sum01_bug02.yml false(unreach-call) 15.56 9.36 None loops/sum03-2.yml true 12.60 7.18 None loops/sum_array-2-2.yml TIMEOUT 300.45 261.66 None loops/terminator_02-2.yml true 10.79 6.10 None loops/terminator_02-2_abstracted.yml true 12.30 6.87 None loops/terminator_03-2_abstracted.yml true 10.38 5.93 None loops/trex01-1.yml false(unreach-call) 10.43 5.98 None loops/trex01-2.yml true 11.18 6.31 None loops/trex03-1.yml false(unreach-call) 11.01 6.22 None loops/trex03-2.yml true 11.08 6.23 None loops/trex03-2_abstracted.yml true 13.03 7.16 None loops/trex04.yml true 10.93 6.23 None loops/trex04_abstracted.yml true 12.00 6.93 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 12.44 7.07 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml false(unreach-call) 22.67 13.55 None loops/vogal-1.yml TIMEOUT 301.04 282.62 None loops/vogal-2.yml TIMEOUT 300.14 280.14 None loops/while_infinite_loop_1.yml true 8.56 5.29 None loops/while_infinite_loop_2.yml true 12.16 6.87 None loops/while_infinite_loop_3.yml true 11.50 7.57 None loops/while_infinite_loop_4.yml false(unreach-call) 8.42 5.27 None loop-acceleration/array_4.yml TIMEOUT 300.14 275.77 None loop-acceleration/const_1-1.yml true 11.31 7.05 None loop-acceleration/const_1-2.yml TIMEOUT 300.95 289.67 None loop-acceleration/diamond_1-1.yml true 71.53 53.63 None loop-acceleration/diamond_1-2.yml TIMEOUT 300.19 276.90 None loop-acceleration/diamond_2-2.yml TIMEOUT 300.27 275.60 None loop-acceleration/functions_1-1.yml true 20.81 13.41 None loop-acceleration/functions_1-2.yml TIMEOUT 300.98 287.95 None loop-acceleration/multivar_1-1.yml true 9.38 5.76 None loop-acceleration/multivar_1-2.yml false(unreach-call) 7.90 5.17 None loop-acceleration/nested_1-1.yml true 29.56 19.92 None loop-acceleration/nested_1-2.yml TIMEOUT 301.04 282.22 None loop-acceleration/overflow_1-1.yml true 10.37 7.15 None loop-acceleration/phases_1-1.yml TIMEOUT 300.96 290.49 None loop-acceleration/phases_1-2.yml TIMEOUT 300.95 291.22 None loop-acceleration/phases_2-1.yml false(unreach-call) 10.71 6.02 None loop-acceleration/phases_2-2.yml true 16.80 11.50 None loop-acceleration/simple_1-1.yml TIMEOUT 300.95 292.05 None loop-acceleration/simple_1-1_abstracted.yml false(unreach-call) 10.54 6.04 None loop-acceleration/simple_1-2.yml true 14.86 8.68 None loop-acceleration/simple_1-2_abstracted.yml true 11.55 6.50 None loop-acceleration/simple_2-1.yml true 11.18 6.25 None loop-acceleration/simple_2-1_abstracted.yml true 10.56 6.07 None loop-acceleration/simple_2-2.yml false(unreach-call) 10.66 6.00 None loop-acceleration/simple_3-1.yml false(unreach-call) 10.23 5.94 None loop-acceleration/simple_3-2.yml true 12.81 7.52 None loop-acceleration/simple_4-1.yml TIMEOUT 300.92 294.26 None loop-acceleration/simple_4-1_abstracted.yml false(unreach-call) 10.25 6.26 None loop-acceleration/simple_4-2.yml true 12.45 7.43 None loop-acceleration/simple_4-2_abstracted.yml true 11.69 7.06 None loop-acceleration/underapprox_1-1.yml false(unreach-call) 13.65 8.08 None loop-acceleration/underapprox_1-2.yml true 119.64 110.06 None loop-acceleration/underapprox_2-1.yml false(unreach-call) 13.50 7.92 None loop-acceleration/underapprox_2-2.yml true 12.90 7.82 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 300.45 269.97 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 8.75 5.88 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 300.50 273.40 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 301.18 285.44 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml TIMEOUT 300.34 266.99 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml TIMEOUT 300.21 275.26 None loop-crafted/simple_array_index_value_4.yml TIMEOUT 301.06 283.21 None loop-crafted/simple_vardep_1.yml true 12.22 7.26 None loop-crafted/simple_vardep_2.yml true 11.39 7.46 None loop-invgen/SpamAssassin-loop.yml true 15.87 9.15 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 17.52 9.87 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 51.08 28.19 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 73.78 47.86 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 19.20 11.57 None loop-invgen/apache-get-tag.yml true 11.53 6.82 None loop-invgen/down.yml TIMEOUT 300.07 228.17 None loop-invgen/fragtest_simple.yml TIMEOUT 300.73 240.92 None loop-invgen/heapsort.yml true 52.84 32.85 None loop-invgen/nest-if3.yml true 8.40 5.66 None loop-invgen/seq-3.yml TIMEOUT 300.93 294.59 None loop-invgen/string_concat-noarr.yml TIMEOUT 301.10 242.64 None loop-invgen/up.yml TIMEOUT 301.08 242.73 None loop-lit/afnp2014.yml true 9.52 5.93 None loop-lit/bhmr2007.yml true 11.45 6.74 None loop-lit/cggmp2005_variant.yml true 10.15 6.47 None loop-lit/css2003.yml true 10.46 6.47 None loop-lit/ddlm2013.yml true 12.42 7.67 None loop-lit/gcnr2008.yml false(unreach-call) 9.22 5.56 None loop-lit/gr2006.yml true 59.99 38.61 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 9.72 6.15 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 9.58 6.07 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 9.46 6.00 None loop-lit/gsv2008.yml true 10.12 6.23 None loop-lit/hhk2008.yml true 10.19 6.26 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 10.44 6.50 None loop-lit/jm2006.yml true 9.23 5.75 None loop-lit/jm2006_variant.yml true 11.60 7.22 None loop-new/count_by_nondet.yml TIMEOUT 301.20 238.23 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 9.97 7.12 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 12.14 7.61 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 10.19 7.20 None loop-new/gauss_sum.yml true 11.47 7.53 None loop-new/half.yml true 12.91 8.21 None loop-new/nested-1.yml TIMEOUT 301.09 280.68 None loop-industry-pattern/aiob_1.yml ERROR (7) 17.16 9.50 None loop-industry-pattern/aiob_2.yml ERROR (7) 13.97 8.68 None loop-industry-pattern/aiob_3.yml ERROR (7) 17.01 9.41 None loop-industry-pattern/aiob_4.yml ERROR (7) 14.05 8.35 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 12.81 7.16 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 10.91 7.01 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 13.19 7.51 None loop-industry-pattern/mod3.yml true 10.52 6.78 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 300.95 292.03 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 301.01 284.67 None loops-crafted-1/Mono3_1.yml TIMEOUT 301.02 281.25 None loops-crafted-1/Mono4_1.yml TIMEOUT 301.09 221.51 None loops-crafted-1/Mono5_1.yml TIMEOUT 300.94 292.79 None loops-crafted-1/Mono6_1.yml TIMEOUT 300.98 290.42 None loops-crafted-1/iftelse.yml TIMEOUT 301.15 281.32 None loops-crafted-1/in-de20.yml TIMEOUT 300.99 287.63 None loops-crafted-1/in-de31.yml TIMEOUT 300.06 281.33 None loops-crafted-1/in-de32.yml TIMEOUT 300.14 280.89 None loops-crafted-1/in-de41.yml TIMEOUT 300.04 282.47 None loops-crafted-1/in-de42.yml TIMEOUT 300.16 280.57 None loops-crafted-1/in-de51.yml TIMEOUT 300.13 280.48 None loops-crafted-1/in-de52.yml TIMEOUT 300.45 264.95 None loops-crafted-1/in-de61.yml TIMEOUT 300.12 280.72 None loops-crafted-1/in-de62.yml TIMEOUT 300.83 264.12 None loops-crafted-1/loopv2.yml true 12.01 6.84 None loops-crafted-1/loopv3.yml true 22.52 14.97 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 301.14 218.79 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 301.00 287.86 None loops-crafted-1/mono-crafted_11.yml true 59.53 50.25 None loops-crafted-1/mono-crafted_12.yml true 9.70 6.34 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 300.35 278.60 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 300.93 221.28 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 301.07 280.17 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 300.86 243.36 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 300.31 279.77 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 300.21 284.57 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 300.17 236.97 None loops-crafted-1/nested3-1.yml TIMEOUT 300.99 285.99 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 301.11 267.32 None loops-crafted-1/nested3-2.yml TIMEOUT 301.02 285.86 None loops-crafted-1/nested3-2_abstracted.yml false(unreach-call) 11.38 6.29 None loops-crafted-1/nested5-1.yml true 28.83 16.61 None loops-crafted-1/nested5-2.yml TIMEOUT 300.93 293.00 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 300.90 252.68 None loops-crafted-1/nested_delay_notd2.yml false(unreach-call) 56.42 33.72 None loops-crafted-1/sum_by_3_abstracted.yml true 19.05 10.79 None loops-crafted-1/sumt2.yml true 12.84 7.42 None loops-crafted-1/sumt3.yml true 13.29 7.54 None loops-crafted-1/sumt4.yml true 13.38 7.71 None loops-crafted-1/sumt5.yml true 13.80 7.97 None loops-crafted-1/sumt6.yml true 14.05 7.99 None loops-crafted-1/sumt7.yml true 12.32 7.20 None loops-crafted-1/sumt8.yml true 13.69 7.75 None loops-crafted-1/sumt9.yml true 12.94 7.47 None loops-crafted-1/theatreSquare.yml TIMEOUT 300.97 256.91 None loop-invariants/bin-suffix-5.yml true 17.30 11.34 None loop-invariants/const.yml true 11.85 6.66 None loop-invariants/eq1.yml true 8.66 5.19 None loop-invariants/eq2.yml true 8.96 5.25 None loop-invariants/even.yml true 12.94 7.49 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 301.11 286.45 None loop-invariants/linear-inequality-inv-b.yml false(unreach-call) 10.66 6.74 None loop-invariants/mod4.yml true 9.81 5.83 None loop-invariants/odd.yml true 13.34 7.55 None loop-simple/deep-nested.yml TIMEOUT 300.52 268.44 None loop-simple/nested_6.yml OUT OF MEMORY 78.17 58.12 None loop-zilu/benchmark02_linear.yml true 8.36 5.09 None loop-zilu/benchmark02_linear_abstracted.yml true 11.68 6.63 None loop-zilu/benchmark04_conjunctive.yml true 9.74 5.92 None loop-zilu/benchmark05_conjunctive.yml true 10.35 6.92 None loop-zilu/benchmark09_conjunctive.yml true 9.56 5.97 None loop-zilu/benchmark10_conjunctive.yml true 13.83 8.06 None loop-zilu/benchmark11_linear.yml true 8.80 5.45 None loop-zilu/benchmark11_linear_abstracted.yml true 9.12 5.57 None loop-zilu/benchmark14_linear.yml true 11.68 6.59 None loop-zilu/benchmark17_conjunctive.yml true 8.40 5.46 None loop-zilu/benchmark18_conjunctive.yml true 9.91 5.84 None loop-zilu/benchmark19_conjunctive.yml true 9.46 6.22 None loop-zilu/benchmark20_conjunctive.yml true 11.78 6.94 None loop-zilu/benchmark23_conjunctive.yml true 48.17 36.81 None loop-zilu/benchmark25_linear.yml true 9.00 5.56 None loop-zilu/benchmark25_linear_abstracted.yml true 8.83 5.96 None loop-zilu/benchmark26_linear.yml true 12.05 6.99 None loop-zilu/benchmark26_linear_abstracted.yml true 9.20 5.43 None loop-zilu/benchmark32_linear.yml true 8.87 5.57 None loop-zilu/benchmark33_linear.yml true 8.61 5.19 None loop-zilu/benchmark34_conjunctive.yml true 10.34 6.43 None loop-zilu/benchmark35_linear.yml true 11.11 6.40 None loop-zilu/benchmark37_conjunctive.yml true 9.05 5.86 None loop-zilu/benchmark43_conjunctive.yml true 9.53 5.86 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 12.66 7.09 None loop-zilu/benchmark51_polynomial.yml true 8.56 5.48 None loop-zilu/benchmark52_polynomial.yml true 9.88 6.16 None verifythis/prefixsum_iter.yml TIMEOUT 300.36 280.98 None verifythis/tree_del_iter.yml false(unreach-call) 14.46 9.14 None verifythis/tree_del_iter_incorrect.yml false(unreach-call) 15.67 9.13 None nla-digbench/bresenham-ll.yml true 17.10 10.04 None nla-digbench/cohencu-ll.yml true 71.01 62.65 None nla-digbench/cohendiv-ll.yml true 12.12 8.73 None nla-digbench/dijkstra-u.yml TIMEOUT 300.98 291.57 None nla-digbench/divbin.yml TIMEOUT 301.02 285.48 None nla-digbench/divbin2.yml TIMEOUT 300.18 273.59 None nla-digbench/egcd-ll.yml true 14.76 10.39 None nla-digbench/egcd2-ll.yml TIMEOUT 300.33 286.16 None nla-digbench/egcd3-ll.yml TIMEOUT 300.40 286.32 None nla-digbench/fermat1-ll.yml true 14.52 11.17 None nla-digbench/fermat2-ll.yml true 11.92 8.33 None nla-digbench/freire1.yml TIMEOUT 19.12 331.00 None nla-digbench/freire2.yml TIMEOUT 60.28 331.00 None nla-digbench/geo1-ll.yml true 12.37 7.58 None nla-digbench/geo1-u.yml false(unreach-call) 13.25 8.42 None nla-digbench/geo2-ll.yml true 12.54 7.54 None nla-digbench/geo3-ll.yml true 12.05 7.53 None nla-digbench/hard-ll.yml TIMEOUT 300.50 272.72 None nla-digbench/hard-u.yml TIMEOUT 300.25 271.19 None nla-digbench/hard2.yml TIMEOUT 300.17 280.76 None nla-digbench/knuth.yml TIMEOUT 301.03 292.40 None nla-digbench/lcm1.yml TIMEOUT 300.90 297.31 None nla-digbench/lcm2.yml TIMEOUT 300.90 296.64 None nla-digbench/mannadiv.yml true 9.14 5.97 None nla-digbench/prod4br-ll.yml true 24.87 15.24 None nla-digbench/prodbin-ll.yml TIMEOUT 301.08 281.65 None nla-digbench/ps2-ll.yml true 8.48 6.47 None nla-digbench/ps3-ll.yml true 11.35 7.02 None nla-digbench/ps4-ll.yml TIMEOUT 300.97 291.93 None nla-digbench/ps5-ll.yml TIMEOUT 300.91 295.48 None nla-digbench/ps6-ll.yml TIMEOUT 300.31 277.32 None nla-digbench/sqrt1-ll.yml true 10.11 6.79 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml false(unreach-call) 9.49 6.73 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml false(unreach-call) 20.54 14.27 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml false(unreach-call) 45.42 32.61 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml false(unreach-call) 13.42 8.80 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml false(unreach-call) 15.32 10.54 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml false(unreach-call) 15.77 10.69 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml false(unreach-call) 24.44 16.54 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 13.37 8.97 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 11.96 7.88 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 12.67 8.54 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 13.38 8.96 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 13.05 9.43 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 12.99 8.35 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 16.99 9.97 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml false(unreach-call) 14.74 10.88 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml false(unreach-call) 162.13 151.11 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml TIMEOUT 300.38 275.46 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml false(unreach-call) 21.54 14.85 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml false(unreach-call) 89.18 78.97 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml false(unreach-call) 137.05 123.14 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml false(unreach-call) 209.80 193.98 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 24.21 16.27 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 140.89 129.16 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 154.76 143.34 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 45.98 31.93 None nla-digbench-scaling/cohencu-ll_valuebound20.yml TIMEOUT 301.00 288.56 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 89.48 73.56 None nla-digbench-scaling/cohencu-ll_valuebound50.yml TIMEOUT 301.00 289.03 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 11.54 8.45 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 14.25 10.14 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 17.03 11.14 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 13.66 9.60 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 16.84 11.02 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 14.73 10.36 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 13.75 9.88 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 14.09 9.98 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 16.30 10.12 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 12.83 8.95 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 13.48 9.69 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 13.59 9.73 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 16.04 10.09 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 12.40 8.92 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 17.21 13.72 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml TIMEOUT 300.96 290.78 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml TIMEOUT 300.95 291.65 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 98.81 90.56 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml TIMEOUT 300.96 291.11 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml TIMEOUT 300.94 292.71 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml TIMEOUT 301.00 286.87 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 300.27 280.80 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 300.79 284.78 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 300.94 293.04 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 300.06 286.98 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 300.95 293.63 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 300.46 285.72 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 301.01 289.85 None nla-digbench-scaling/divbin2_unwindbound1.yml true 24.76 22.95 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 301.03 284.25 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 301.06 282.43 None nla-digbench-scaling/divbin2_unwindbound2.yml true 12.44 10.17 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 301.05 281.29 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 301.12 282.51 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 300.16 273.60 None nla-digbench-scaling/divbin2_valuebound1.yml true 49.40 38.65 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 300.94 293.63 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 300.95 293.20 None nla-digbench-scaling/divbin2_valuebound2.yml true 88.25 76.62 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 300.94 293.09 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 301.09 282.43 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 300.93 294.20 None nla-digbench-scaling/divbin_unwindbound1.yml true 12.95 9.39 None nla-digbench-scaling/divbin_unwindbound10.yml TIMEOUT 300.81 278.22 None nla-digbench-scaling/divbin_unwindbound100.yml TIMEOUT 300.25 270.51 None nla-digbench-scaling/divbin_unwindbound2.yml true 14.35 9.24 None nla-digbench-scaling/divbin_unwindbound20.yml TIMEOUT 300.22 270.58 None nla-digbench-scaling/divbin_unwindbound5.yml true 237.80 216.36 None nla-digbench-scaling/divbin_unwindbound50.yml TIMEOUT 301.05 283.31 None nla-digbench-scaling/divbin_valuebound1.yml TIMEOUT 300.08 278.71 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 300.29 270.10 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 300.16 277.53 None nla-digbench-scaling/divbin_valuebound2.yml true 249.02 228.69 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 300.14 279.70 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 301.02 285.62 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 300.10 278.22 None nla-digbench-scaling/egcd-ll_unwindbound1.yml false(unreach-call) 11.29 7.83 None nla-digbench-scaling/egcd-ll_unwindbound10.yml false(unreach-call) 22.04 13.84 None nla-digbench-scaling/egcd-ll_unwindbound100.yml TIMEOUT 300.94 292.55 None nla-digbench-scaling/egcd-ll_unwindbound2.yml false(unreach-call) 15.03 10.21 None nla-digbench-scaling/egcd-ll_unwindbound20.yml false(unreach-call) 20.38 14.29 None nla-digbench-scaling/egcd-ll_unwindbound5.yml false(unreach-call) 19.96 12.88 None nla-digbench-scaling/egcd-ll_unwindbound50.yml false(unreach-call) 205.76 195.35 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 15.75 9.67 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 20.74 14.01 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 27.90 18.43 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 22.11 14.48 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 20.01 14.40 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 27.48 18.36 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 23.12 14.91 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml false(unreach-call) 12.41 7.92 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml TIMEOUT 300.11 280.74 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml TIMEOUT 300.41 274.57 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml false(unreach-call) 15.73 10.23 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml TIMEOUT 300.37 274.28 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml false(unreach-call) 96.80 84.84 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml TIMEOUT 300.36 275.57 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 17.39 11.79 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 300.96 290.59 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 301.01 285.66 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 35.46 27.46 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 301.02 287.97 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 301.00 288.26 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 300.56 279.36 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml false(unreach-call) 10.05 6.85 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml false(unreach-call) 194.08 180.05 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml TIMEOUT 300.92 280.79 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml false(unreach-call) 10.13 7.06 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml TIMEOUT 300.55 278.01 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml false(unreach-call) 42.55 34.75 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml TIMEOUT 300.37 283.24 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 33.90 25.69 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 301.01 286.49 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 300.31 281.63 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 78.81 61.72 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 300.35 274.01 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 300.34 270.19 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 301.04 286.06 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml false(unreach-call) 16.85 11.60 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml false(unreach-call) 25.83 18.94 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml TIMEOUT 300.40 267.97 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml false(unreach-call) 14.66 11.19 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml false(unreach-call) 215.68 201.23 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml false(unreach-call) 17.28 13.62 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml TIMEOUT 301.16 281.47 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 10.67 7.28 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 20.01 14.56 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 12.63 9.46 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 9.96 6.56 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 13.39 10.16 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 12.81 9.37 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 15.39 10.59 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml false(unreach-call) 11.38 8.06 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml false(unreach-call) 12.41 8.85 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml TIMEOUT 301.01 285.65 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml false(unreach-call) 12.33 8.82 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml false(unreach-call) 14.12 9.59 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml false(unreach-call) 14.66 10.84 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml false(unreach-call) 195.12 187.27 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 10.25 6.72 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 10.03 7.44 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 9.93 6.49 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 12.16 8.75 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 10.33 7.17 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 9.63 6.47 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 9.93 6.87 None nla-digbench-scaling/freire1_unwindbound1.yml TIMEOUT 20.79 331.00 None nla-digbench-scaling/freire1_unwindbound10.yml TIMEOUT 19.25 331.00 None nla-digbench-scaling/freire1_unwindbound100.yml TIMEOUT 19.07 331.00 None nla-digbench-scaling/freire1_unwindbound2.yml TIMEOUT 19.55 331.00 None nla-digbench-scaling/freire1_unwindbound20.yml TIMEOUT 23.19 331.00 None nla-digbench-scaling/freire1_unwindbound5.yml TIMEOUT 18.81 331.00 None nla-digbench-scaling/freire1_unwindbound50.yml TIMEOUT 19.05 331.00 None nla-digbench-scaling/freire2_unwindbound1.yml TIMEOUT 46.39 331.00 None nla-digbench-scaling/freire2_unwindbound10.yml TIMEOUT 41.46 331.00 None nla-digbench-scaling/freire2_unwindbound100.yml TIMEOUT 35.59 331.00 None nla-digbench-scaling/freire2_unwindbound2.yml TIMEOUT 36.75 331.00 None nla-digbench-scaling/freire2_unwindbound20.yml TIMEOUT 38.73 331.00 None nla-digbench-scaling/freire2_unwindbound5.yml TIMEOUT 34.38 331.00 None nla-digbench-scaling/freire2_unwindbound50.yml TIMEOUT 37.24 331.00 None nla-digbench-scaling/freire2_valuebound1.yml TIMEOUT 94.66 331.00 None nla-digbench-scaling/freire2_valuebound10.yml TIMEOUT 169.91 331.00 None nla-digbench-scaling/freire2_valuebound100.yml TIMEOUT 167.42 331.00 None nla-digbench-scaling/freire2_valuebound2.yml TIMEOUT 155.91 331.00 None nla-digbench-scaling/freire2_valuebound20.yml TIMEOUT 153.55 331.00 None nla-digbench-scaling/freire2_valuebound5.yml TIMEOUT 162.64 331.00 None nla-digbench-scaling/freire2_valuebound50.yml TIMEOUT 158.59 331.00 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 11.92 7.44 None nla-digbench-scaling/geo1-ll_unwindbound10.yml true 9.72 6.54 None nla-digbench-scaling/geo1-ll_unwindbound100.yml true 12.41 7.69 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 9.49 6.38 None nla-digbench-scaling/geo1-ll_unwindbound20.yml true 12.41 7.68 None nla-digbench-scaling/geo1-ll_unwindbound5.yml true 9.47 6.37 None nla-digbench-scaling/geo1-ll_unwindbound50.yml true 12.03 7.56 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 9.15 5.95 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 12.31 7.92 None nla-digbench-scaling/geo1-ll_valuebound100.yml true 9.71 6.70 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 11.88 7.31 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 9.45 6.38 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 9.80 6.74 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 9.84 6.67 None nla-digbench-scaling/geo1-u_unwindbound1.yml false(unreach-call) 10.92 6.94 None nla-digbench-scaling/geo1-u_unwindbound10.yml false(unreach-call) 9.99 6.97 None nla-digbench-scaling/geo1-u_unwindbound100.yml false(unreach-call) 8.70 5.95 None nla-digbench-scaling/geo1-u_unwindbound2.yml false(unreach-call) 11.04 6.88 None nla-digbench-scaling/geo1-u_unwindbound20.yml false(unreach-call) 10.20 7.34 None nla-digbench-scaling/geo1-u_unwindbound5.yml false(unreach-call) 8.60 5.92 None nla-digbench-scaling/geo1-u_unwindbound50.yml false(unreach-call) 9.36 6.80 None nla-digbench-scaling/geo1-u_valuebound1.yml false(unreach-call) 11.88 7.18 None nla-digbench-scaling/geo1-u_valuebound10.yml false(unreach-call) 9.92 6.61 None nla-digbench-scaling/geo1-u_valuebound100.yml false(unreach-call) 11.66 7.15 None nla-digbench-scaling/geo1-u_valuebound2.yml false(unreach-call) 9.18 5.92 None nla-digbench-scaling/geo1-u_valuebound20.yml false(unreach-call) 9.92 6.89 None nla-digbench-scaling/geo1-u_valuebound5.yml false(unreach-call) 11.46 7.10 None nla-digbench-scaling/geo1-u_valuebound50.yml false(unreach-call) 9.48 6.51 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 12.35 7.63 None nla-digbench-scaling/geo2-ll_unwindbound10.yml true 9.94 6.85 None nla-digbench-scaling/geo2-ll_unwindbound100.yml true 9.76 7.30 None nla-digbench-scaling/geo2-ll_unwindbound2.yml true 12.04 7.95 None nla-digbench-scaling/geo2-ll_unwindbound20.yml true 10.82 7.68 None nla-digbench-scaling/geo2-ll_unwindbound5.yml true 9.60 6.62 None nla-digbench-scaling/geo2-ll_unwindbound50.yml true 12.49 7.91 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 9.92 6.59 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 12.50 7.62 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 10.62 6.98 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 9.39 6.29 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 12.46 7.40 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 9.22 6.43 None nla-digbench-scaling/geo2-ll_valuebound50.yml true 12.87 7.75 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 9.43 6.30 None nla-digbench-scaling/geo3-ll_unwindbound10.yml true 11.28 7.66 None nla-digbench-scaling/geo3-ll_unwindbound100.yml true 12.31 7.76 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 10.36 7.79 None nla-digbench-scaling/geo3-ll_unwindbound20.yml true 9.86 6.78 None nla-digbench-scaling/geo3-ll_unwindbound5.yml true 13.30 8.40 None nla-digbench-scaling/geo3-ll_unwindbound50.yml true 10.29 7.60 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 11.75 6.90 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 10.13 6.93 None nla-digbench-scaling/geo3-ll_valuebound100.yml true 9.78 6.44 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 10.05 7.03 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 12.95 7.81 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 10.30 7.67 None nla-digbench-scaling/geo3-ll_valuebound50.yml true 12.24 7.56 None nla-digbench-scaling/hard-ll_unwindbound1.yml false(unreach-call) 11.91 8.50 None nla-digbench-scaling/hard-ll_unwindbound10.yml TIMEOUT 300.13 277.54 None nla-digbench-scaling/hard-ll_unwindbound100.yml TIMEOUT 300.23 278.91 None nla-digbench-scaling/hard-ll_unwindbound2.yml false(unreach-call) 15.31 10.64 None nla-digbench-scaling/hard-ll_unwindbound20.yml TIMEOUT 300.42 262.71 None nla-digbench-scaling/hard-ll_unwindbound5.yml false(unreach-call) 93.39 69.98 None nla-digbench-scaling/hard-ll_unwindbound50.yml TIMEOUT 300.33 278.83 None nla-digbench-scaling/hard-ll_valuebound1.yml true 24.81 16.90 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 300.20 277.96 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 300.38 269.85 None nla-digbench-scaling/hard-ll_valuebound2.yml true 203.42 182.46 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 300.26 279.29 None nla-digbench-scaling/hard-ll_valuebound5.yml TIMEOUT 300.58 274.76 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 300.21 281.42 None nla-digbench-scaling/hard-u_unwindbound1.yml false(unreach-call) 29.96 24.75 None nla-digbench-scaling/hard-u_unwindbound10.yml TIMEOUT 301.08 278.90 None nla-digbench-scaling/hard-u_unwindbound100.yml TIMEOUT 300.26 270.66 None nla-digbench-scaling/hard-u_unwindbound2.yml false(unreach-call) 27.28 21.99 None nla-digbench-scaling/hard-u_unwindbound20.yml TIMEOUT 300.12 276.94 None nla-digbench-scaling/hard-u_unwindbound5.yml TIMEOUT 300.07 280.56 None nla-digbench-scaling/hard-u_unwindbound50.yml TIMEOUT 300.26 268.89 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 300.27 267.40 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 300.09 277.91 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 301.07 281.07 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 300.13 275.70 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 300.34 262.66 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 300.10 279.30 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 300.18 275.92 None nla-digbench-scaling/hard2_unwindbound1.yml false(unreach-call) 11.57 8.10 None nla-digbench-scaling/hard2_unwindbound10.yml false(unreach-call) 67.27 56.44 None nla-digbench-scaling/hard2_unwindbound100.yml TIMEOUT 301.15 282.38 None nla-digbench-scaling/hard2_unwindbound2.yml false(unreach-call) 15.23 9.50 None nla-digbench-scaling/hard2_unwindbound20.yml TIMEOUT 300.26 275.49 None nla-digbench-scaling/hard2_unwindbound5.yml false(unreach-call) 39.84 27.71 None nla-digbench-scaling/hard2_unwindbound50.yml TIMEOUT 301.06 283.91 None nla-digbench-scaling/hard2_valuebound1.yml true 17.40 11.80 None nla-digbench-scaling/hard2_valuebound10.yml true 120.26 107.57 None nla-digbench-scaling/hard2_valuebound100.yml true 109.37 96.15 None nla-digbench-scaling/hard2_valuebound2.yml true 31.17 19.47 None nla-digbench-scaling/hard2_valuebound20.yml true 102.09 83.38 None nla-digbench-scaling/hard2_valuebound5.yml true 132.72 113.80 None nla-digbench-scaling/hard2_valuebound50.yml true 111.08 90.46 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 300.99 293.85 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 300.95 295.12 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 300.97 295.29 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 300.98 294.76 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 301.02 291.71 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 300.96 295.28 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 300.99 292.32 None nla-digbench-scaling/knuth_valuebound1.yml true 21.39 14.39 None nla-digbench-scaling/knuth_valuebound10.yml TIMEOUT 301.30 288.30 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 300.30 285.68 None nla-digbench-scaling/knuth_valuebound2.yml true 24.96 15.17 None nla-digbench-scaling/knuth_valuebound20.yml TIMEOUT 301.14 285.79 None nla-digbench-scaling/knuth_valuebound5.yml TIMEOUT 301.10 288.86 None nla-digbench-scaling/knuth_valuebound50.yml TIMEOUT 301.06 290.60 None nla-digbench-scaling/lcm1_unwindbound1.yml TIMEOUT 300.90 297.04 None nla-digbench-scaling/lcm1_unwindbound10.yml TIMEOUT 300.90 297.19 None nla-digbench-scaling/lcm1_unwindbound100.yml TIMEOUT 300.84 297.42 None nla-digbench-scaling/lcm1_unwindbound2.yml TIMEOUT 300.88 297.44 None nla-digbench-scaling/lcm1_unwindbound20.yml TIMEOUT 300.89 297.58 None nla-digbench-scaling/lcm1_unwindbound5.yml TIMEOUT 300.92 295.70 None nla-digbench-scaling/lcm1_unwindbound50.yml TIMEOUT 300.90 297.40 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 300.91 295.62 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 300.88 297.30 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 300.91 297.33 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 300.91 295.54 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 300.92 295.87 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 300.89 297.18 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 300.89 297.32 None nla-digbench-scaling/lcm2_unwindbound1.yml TIMEOUT 300.89 296.95 None nla-digbench-scaling/lcm2_unwindbound10.yml TIMEOUT 300.89 297.36 None nla-digbench-scaling/lcm2_unwindbound100.yml TIMEOUT 300.89 297.51 None nla-digbench-scaling/lcm2_unwindbound2.yml TIMEOUT 300.90 297.44 None nla-digbench-scaling/lcm2_unwindbound20.yml TIMEOUT 300.89 297.31 None nla-digbench-scaling/lcm2_unwindbound5.yml TIMEOUT 300.92 295.38 None nla-digbench-scaling/lcm2_unwindbound50.yml TIMEOUT 300.89 297.12 None nla-digbench-scaling/lcm2_valuebound1.yml true 14.73 8.88 None nla-digbench-scaling/lcm2_valuebound10.yml TIMEOUT 300.90 296.91 None nla-digbench-scaling/lcm2_valuebound100.yml TIMEOUT 300.92 295.83 None nla-digbench-scaling/lcm2_valuebound2.yml TIMEOUT 300.89 297.37 None nla-digbench-scaling/lcm2_valuebound20.yml TIMEOUT 300.92 295.90 None nla-digbench-scaling/lcm2_valuebound5.yml TIMEOUT 300.92 295.74 None nla-digbench-scaling/lcm2_valuebound50.yml TIMEOUT 300.91 296.77 None nla-digbench-scaling/mannadiv_unwindbound1.yml false(unreach-call) 10.94 7.59 None nla-digbench-scaling/mannadiv_unwindbound10.yml false(unreach-call) 11.94 8.54 None nla-digbench-scaling/mannadiv_unwindbound100.yml false(unreach-call) 39.33 29.66 None nla-digbench-scaling/mannadiv_unwindbound2.yml false(unreach-call) 10.61 7.53 None nla-digbench-scaling/mannadiv_unwindbound20.yml false(unreach-call) 12.87 9.11 None nla-digbench-scaling/mannadiv_unwindbound5.yml false(unreach-call) 11.40 8.11 None nla-digbench-scaling/mannadiv_unwindbound50.yml false(unreach-call) 22.71 15.05 None nla-digbench-scaling/mannadiv_valuebound1.yml true 10.52 7.11 None nla-digbench-scaling/mannadiv_valuebound10.yml true 9.86 6.22 None nla-digbench-scaling/mannadiv_valuebound100.yml true 9.66 6.65 None nla-digbench-scaling/mannadiv_valuebound2.yml true 10.42 6.84 None nla-digbench-scaling/mannadiv_valuebound20.yml true 9.95 6.85 None nla-digbench-scaling/mannadiv_valuebound5.yml true 9.55 6.28 None nla-digbench-scaling/mannadiv_valuebound50.yml true 10.14 6.91 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml false(unreach-call) 11.24 7.64 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml false(unreach-call) 17.06 11.21 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml TIMEOUT 300.96 291.57 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml false(unreach-call) 17.91 11.84 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml false(unreach-call) 19.83 13.10 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml TIMEOUT 300.92 294.55 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml TIMEOUT 300.94 292.13 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 12.58 8.03 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 49.61 28.98 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 38.92 26.20 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 21.44 13.18 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 37.27 24.09 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 40.44 24.84 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 35.40 23.86 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 10.96 7.65 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 179.15 158.54 None nla-digbench-scaling/prodbin-ll_valuebound100.yml TIMEOUT 300.10 282.72 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 19.75 14.15 None nla-digbench-scaling/prodbin-ll_valuebound20.yml TIMEOUT 301.10 283.97 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 127.72 105.05 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 300.18 277.52 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 10.77 7.22 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 10.41 7.15 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 9.57 6.72 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 10.83 7.57 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 10.20 7.41 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 9.67 6.69 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 12.47 7.94 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 9.54 6.86 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 10.03 6.80 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 9.01 5.97 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 10.32 6.93 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 9.76 6.69 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 11.92 7.30 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 9.08 5.99 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 9.61 6.63 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 9.80 7.07 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 11.95 7.75 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 8.95 6.20 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 10.19 7.37 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 10.95 7.47 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 9.67 6.59 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 11.79 7.31 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 9.43 6.61 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 8.85 5.72 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 9.63 6.57 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 11.72 7.36 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 12.67 7.49 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 9.08 6.11 None nla-digbench-scaling/ps4-ll_unwindbound1.yml false(unreach-call) 9.83 6.88 None nla-digbench-scaling/ps4-ll_unwindbound10.yml false(unreach-call) 126.81 119.75 None nla-digbench-scaling/ps4-ll_unwindbound100.yml TIMEOUT 300.04 286.28 None nla-digbench-scaling/ps4-ll_unwindbound2.yml false(unreach-call) 14.93 9.50 None nla-digbench-scaling/ps4-ll_unwindbound20.yml TIMEOUT 300.97 291.64 None nla-digbench-scaling/ps4-ll_unwindbound5.yml false(unreach-call) 45.65 40.56 None nla-digbench-scaling/ps4-ll_unwindbound50.yml TIMEOUT 300.98 291.62 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 33.99 28.17 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 103.42 93.11 None nla-digbench-scaling/ps4-ll_valuebound100.yml TIMEOUT 300.98 287.23 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 52.47 47.85 None nla-digbench-scaling/ps4-ll_valuebound20.yml TIMEOUT 301.02 289.69 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 123.81 117.32 None nla-digbench-scaling/ps4-ll_valuebound50.yml TIMEOUT 300.11 288.47 None nla-digbench-scaling/ps5-ll_unwindbound1.yml false(unreach-call) 10.51 7.66 None nla-digbench-scaling/ps5-ll_unwindbound10.yml false(unreach-call) 117.39 111.33 None nla-digbench-scaling/ps5-ll_unwindbound100.yml TIMEOUT 300.93 294.01 None nla-digbench-scaling/ps5-ll_unwindbound2.yml false(unreach-call) 27.36 23.91 None nla-digbench-scaling/ps5-ll_unwindbound20.yml TIMEOUT 300.98 290.88 None nla-digbench-scaling/ps5-ll_unwindbound5.yml false(unreach-call) 42.36 38.00 None nla-digbench-scaling/ps5-ll_unwindbound50.yml TIMEOUT 300.93 294.66 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 50.30 46.18 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 300.89 295.29 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 300.94 293.48 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 30.07 26.40 None nla-digbench-scaling/ps5-ll_valuebound20.yml TIMEOUT 300.95 292.51 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 300.89 296.21 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 300.90 294.37 None nla-digbench-scaling/ps6-ll_unwindbound1.yml false(unreach-call) 13.39 8.48 None nla-digbench-scaling/ps6-ll_unwindbound10.yml false(unreach-call) 21.97 15.42 None nla-digbench-scaling/ps6-ll_unwindbound100.yml TIMEOUT 301.03 286.85 None nla-digbench-scaling/ps6-ll_unwindbound2.yml false(unreach-call) 11.83 8.20 None nla-digbench-scaling/ps6-ll_unwindbound20.yml TIMEOUT 300.95 291.53 None nla-digbench-scaling/ps6-ll_unwindbound5.yml false(unreach-call) 14.49 9.70 None nla-digbench-scaling/ps6-ll_unwindbound50.yml TIMEOUT 300.97 290.33 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 40.32 34.23 None nla-digbench-scaling/ps6-ll_valuebound10.yml true 90.02 80.05 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 300.99 288.79 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 32.18 26.98 None nla-digbench-scaling/ps6-ll_valuebound20.yml TIMEOUT 301.09 288.67 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 32.34 26.98 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 301.04 287.23 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 10.88 6.90 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 14.02 8.51 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 11.52 7.36 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 14.52 8.74 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 11.03 7.12 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 14.55 8.73 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 10.95 7.44 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 11.02 6.79 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 12.80 7.83 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 10.44 6.64 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 13.91 8.18 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 11.01 7.39 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 10.68 6.85 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 13.60 8.22 None recursive/Ackermann01-2.yml true 16.47 10.58 None recursive/Ackermann02.yml false(unreach-call) 10.16 6.26 None recursive/Ackermann03.yml true 62.15 34.60 None recursive/Ackermann04.yml true 33.72 19.18 None recursive/Addition01-2.yml true 11.32 6.82 None recursive/Addition02.yml false(unreach-call) 10.60 6.53 None recursive/Addition03-1.yml TIMEOUT 301.57 233.84 None recursive/BallRajamani-SPIN2000-Fig1.yml false(unreach-call) 9.08 5.60 None recursive/EvenOdd01-1.yml TIMEOUT 300.85 260.44 None recursive/EvenOdd03.yml false(unreach-call) 8.10 5.14 None recursive/Fibonacci01-1.yml true 13.57 8.51 None recursive/Fibonacci02.yml true 71.18 42.54 None recursive/Fibonacci03.yml true 71.24 49.21 None recursive/Fibonacci04.yml false(unreach-call) 14.54 9.06 None recursive/Fibonacci05.yml false(unreach-call) 23.97 13.42 None recursive/McCarthy91-1.yml false(unreach-call) 8.39 5.08 None recursive/McCarthy91-2.yml true 10.37 6.30 None recursive/MultCommutative-2.yml TIMEOUT 300.79 263.02 None recursive/Primes.yml true 22.01 12.93 None recursive/gcd01-1.yml true 11.22 6.57 None recursive/gcd02.yml TIMEOUT 300.39 270.55 None recursive/recHanoi01.yml TIMEOUT 300.46 256.39 None recursive/recHanoi02-2.yml true 11.72 6.70 None recursive/recHanoi03-2.yml true 39.91 24.02 None recursive-simple/fibo_15-1.yml TIMEOUT 300.48 239.18 None recursive-simple/fibo_15-2.yml TIMEOUT 300.77 260.13 None recursive-simple/fibo_20-1.yml TIMEOUT 300.75 250.44 None recursive-simple/fibo_20-2.yml TIMEOUT 301.14 260.57 None recursive-simple/fibo_25-1.yml TIMEOUT 301.03 256.61 None recursive-simple/fibo_25-2.yml TIMEOUT 300.68 260.12 None recursive-simple/fibo_2calls_10-1.yml true 168.23 113.91 None recursive-simple/fibo_2calls_10-2.yml false(unreach-call) 61.45 35.54 None recursive-simple/fibo_2calls_15-1.yml TIMEOUT 301.08 236.94 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 300.89 256.80 None recursive-simple/fibo_2calls_20-1.yml TIMEOUT 300.68 256.87 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 300.84 260.66 None recursive-simple/fibo_2calls_25-1.yml TIMEOUT 301.34 245.72 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 301.16 234.20 None recursive-simple/id2_b2_o3.yml true 11.64 7.18 None recursive-simple/id2_b3_o2.yml false(unreach-call) 10.27 6.06 None recursive-simple/id2_b3_o5.yml true 11.45 6.96 None recursive-simple/id2_b5_o10.yml true 10.88 6.63 None recursive-simple/id_b2_o3.yml true 10.35 6.65 None recursive-simple/id_b3_o2-2.yml false(unreach-call) 10.76 6.89 None recursive-simple/id_b3_o5-2.yml true 10.32 6.34 None recursive-simple/id_b5_o10-2.yml true 9.94 6.28 None recursive-simple/id_o10.yml false(unreach-call) 16.35 10.21 None recursive-simple/id_o100.yml TIMEOUT 301.01 284.83 None recursive-simple/id_o1000.yml TIMEOUT 301.02 282.68 None recursive-simple/id_o20.yml false(unreach-call) 66.91 52.78 None recursive-simple/id_o200.yml TIMEOUT 301.03 281.51 None recursive-simple/id_o3.yml false(unreach-call) 10.51 6.60 None recursive-simple/sum_non_eq-2.yml true 11.22 6.93 None recursive-simple/sum_non_eq-3.yml false(unreach-call) 9.13 5.95 None verifythis/prefixsum_rec.yml TIMEOUT 301.01 287.17 None verifythis/tree_del_rec.yml false(unreach-call) 13.93 8.20 None verifythis/tree_del_rec_incorrect.yml false(unreach-call) 16.19 9.42 None verifythis/tree_max.yml TIMEOUT 300.25 267.55 None verifythis/tree_max_incorrect.yml false(unreach-call) 11.99 7.14 None ---------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 193682.18 13325.09 - 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.30 6.03 None array-memsafety/array01-alloca-2.yml TIMEOUT 300.97 289.01 None array-memsafety/array02-alloca-2.yml TIMEOUT 301.01 287.19 None array-memsafety/bubblesort_unsafe.yml false(valid-deref) 10.87 6.22 None array-memsafety/count_down-alloca-1.yml true 15.07 9.37 None array-memsafety/count_down_unsafe.yml false(valid-deref) 10.40 6.74 None array-memsafety/cstrcat_unsafe.yml false(valid-deref) 11.07 6.28 None array-memsafety/cstrchr_unsafe.yml false(valid-deref) 18.62 10.45 None array-memsafety/cstrlen_unsafe.yml false(valid-deref) 18.03 10.22 None array-memsafety/cstrncat-alloca-2.yml TIMEOUT 300.29 278.93 None array-memsafety/cstrncat_unsafe.yml false(valid-deref) 9.42 5.79 None array-memsafety/cstrncpy-alloca-2.yml TIMEOUT 301.08 279.83 None array-memsafety/cstrncpy_unsafe.yml false(valid-deref) 8.35 5.03 None array-memsafety/cstrpbrk_unsafe.yml false(valid-deref) 15.96 9.86 None array-memsafety/diff-alloca-2.yml TIMEOUT 300.86 283.44 None array-memsafety/diff_usafe.yml false(valid-deref) 9.29 6.36 None array-memsafety/knapsack_alloca_unsafe.yml false(valid-deref) 20.57 12.27 None array-memsafety/lis-alloca-1.yml TIMEOUT 300.42 268.15 None array-memsafety/lis_unsafe.yml false(valid-deref) 22.73 12.81 None array-memsafety/mult_array_unsafe.yml false(valid-deref) 10.10 7.15 None array-memsafety/openbsd_cbzero-alloca-2.yml true 29.84 18.63 None array-memsafety/openbsd_cmemset-alloca-1.yml true 15.28 9.49 None array-memsafety/openbsd_cstrlcpy-alloca-1.yml TIMEOUT 300.58 249.13 None array-memsafety/rec_strlen-alloca-1.yml true 36.32 20.26 None array-memsafety/reverse_array_alloca_unsafe.yml false(valid-deref) 12.37 7.85 None array-memsafety/reverse_array_unsafe.yml false(valid-deref) 11.80 7.39 None array-memsafety/selectionsort_unsafe.yml false(valid-deref) 8.93 5.42 None array-memsafety/stroeder1_unsafe.yml false(valid-deref) 10.69 6.02 None array-memsafety/strreplace-alloca-2.yml true 37.12 23.66 None array-examples/relax-1.yml false(valid-deref) 10.98 6.61 None array-examples/relax-2-2.yml unknown 121.84 101.69 None array-examples/sanfoundry_24-2.yml TIMEOUT 301.05 282.27 None array-examples/standard_strcpy_ground-2.yml TIMEOUT 300.73 247.57 None array-examples/standard_strcpy_original-1.yml TIMEOUT 300.25 273.54 None array-memsafety-realloc/array-realloc-1.yml false(valid-free) 21.49 14.71 None termination-crafted/Arrays01-EquivalentConstantIndices-1.yml true 14.75 9.10 None termination-crafted/Arrays02-EquivalentConstantIndices.yml true 12.01 6.83 None termination-crafted/Arrays03-ValueRestictsIndex-2.yml true 12.53 7.91 None termination-crafted/LexIndexValue-Array-1.yml true 23.62 14.47 None termination-crafted/LexIndexValue-Pointer-2.yml TIMEOUT 300.52 255.21 None termination-crafted/LexIndexValue-Pointer-3.yml TIMEOUT 300.50 273.73 None termination-crafted/NonTerminationSimple7.yml true 7.80 4.70 None verifythis/prefixsum_iter.yml TIMEOUT 300.27 264.58 None memsafety/20020406-1.yml TIMEOUT 301.04 282.33 None memsafety/960521-1-1.yml TIMEOUT 301.05 282.64 None memsafety/960521-1-3.yml TIMEOUT 300.09 276.69 None memsafety/cmp-freed-ptr.yml false(valid-free) 13.99 7.69 None memsafety/global-atexit-2a.yml unknown 13.97 8.85 None memsafety/global-atexit-5.yml unknown 14.45 9.01 None memsafety/lockfree-3.0.yml OUT OF MEMORY 196.77 138.84 None memsafety/lockfree-3.1.yml unknown 38.38 26.77 None memsafety/lockfree-3.2.yml unknown 23.05 15.22 None memsafety/lockfree-3.3.yml unknown 46.39 31.52 None memsafety/test-0019-1.yml true 20.77 12.28 None memsafety/test-0019-2.yml unknown 25.56 17.23 None memsafety/test-0102-1.yml TIMEOUT 300.28 277.08 None memsafety/test-0102-2.yml TIMEOUT 301.26 281.86 None memsafety/test-0134.yml TIMEOUT 300.24 270.75 None memsafety/test-0137.yml TIMEOUT 301.02 282.55 None memsafety/test-0158-1.yml true 10.67 6.14 None memsafety/test-0158-2.yml unknown 19.94 13.08 None memsafety/test-0158-3.yml false(valid-free) 11.26 6.52 None memsafety/test-0214.yml TIMEOUT 300.24 269.00 None memsafety/test-0217.yml TIMEOUT 300.08 278.36 None memsafety/test-0218.yml TIMEOUT 300.13 275.39 None memsafety/test-0219.yml TIMEOUT 300.12 281.12 None memsafety/test-0220.yml TIMEOUT 300.25 281.93 None memsafety/test-0232-1.yml TIMEOUT 301.03 285.64 None memsafety/test-0232-2.yml TIMEOUT 301.02 287.04 None memsafety/test-0232-3.yml TIMEOUT 300.12 280.50 None memsafety/test-0234-1.yml TIMEOUT 300.21 279.82 None memsafety/test-0234-2.yml TIMEOUT 300.65 270.61 None memsafety/test-0235-1.yml TIMEOUT 300.25 274.56 None memsafety/test-0235-2.yml TIMEOUT 300.27 284.55 None memsafety/test-0235-3.yml TIMEOUT 301.09 284.20 None memsafety/test-0236.yml TIMEOUT 300.14 286.15 None memsafety/test-0237.yml TIMEOUT 301.04 287.44 None memsafety/test-0504.yml TIMEOUT 301.09 282.70 None memsafety/test-0513.yml TIMEOUT 301.05 284.10 None memsafety/test-0521.yml OUT OF MEMORY 235.10 179.73 None memsafety/test-memleak_nexttime.yml TIMEOUT 301.00 286.71 None memsafety-ext/dll_extends_pointer.yml TIMEOUT 301.03 283.85 None memsafety-ext/skiplist_2lvl.yml TIMEOUT 300.11 278.34 None memsafety-ext/skiplist_3lvl.yml TIMEOUT 300.43 265.95 None memsafety-ext/tree_cnstr.yml TIMEOUT 300.12 278.01 None memsafety-ext/tree_dsw.yml TIMEOUT 300.50 266.12 None memsafety-ext/tree_of_cslls.yml TIMEOUT 301.08 281.19 None memsafety-ext/tree_parent_ptr.yml TIMEOUT 300.68 261.65 None memsafety-ext/tree_stack.yml OUT OF MEMORY 236.69 193.02 None memsafety-ext2/complex_data_creation_test01-1.yml TIMEOUT 300.19 280.96 None memsafety-ext2/complex_data_creation_test02-2.yml TIMEOUT 301.06 282.78 None memsafety-ext2/split_list_test05-1.yml TIMEOUT 301.19 281.15 None list-ext-properties/960521-1_1-1.yml false(valid-deref) 15.27 9.50 None list-ext-properties/960521-1_1-2.yml TIMEOUT 301.07 280.84 None list-ext-properties/960521-1_1-3.yml false(valid-free) 18.94 12.07 None list-ext-properties/list-ext.yml unknown 25.89 16.46 None list-ext-properties/list-ext_1.yml TIMEOUT 301.05 285.23 None list-ext-properties/list-ext_flag_1.yml TIMEOUT 301.09 283.28 None list-ext-properties/simple-ext_1.yml TIMEOUT 300.15 280.38 None list-ext-properties/test-0019_1-1.yml unknown 43.05 29.30 None list-ext-properties/test-0019_1-2.yml TIMEOUT 300.96 287.81 None list-ext-properties/test-0158_1-1.yml true 13.63 7.95 None list-ext-properties/test-0158_1-2.yml unknown 23.74 13.75 None list-ext-properties/test-0158_1-3.yml false(valid-free) 13.74 7.74 None list-ext-properties/test-0214_1.yml TIMEOUT 300.40 260.40 None list-ext-properties/test-0217_1.yml TIMEOUT 300.47 259.08 None memory-alloca/c.03-alloca-2.yml true 12.41 7.11 None ldv-memsafety/ArraysOfVariableLength2.yml TIMEOUT 300.31 269.95 None ldv-memsafety/ArraysOfVariableLength2_-read.yml false(valid-deref) 12.47 7.01 None ldv-memsafety/ArraysOfVariableLength2_-write.yml false(valid-deref) 12.58 7.07 None ldv-memsafety/ArraysOfVariableLength_-read.yml false(valid-deref) 10.71 6.23 None ldv-memsafety/ArraysOfVariableLength_-write.yml false(valid-deref) 11.31 6.37 None ldv-memsafety/ArraysWithLenghtAtDeclaration_-read.yml TIMEOUT 300.64 249.01 None ldv-memsafety/ArraysWithLenghtAtDeclaration_-write.yml TIMEOUT 300.81 238.71 None ldv-memsafety/StructInitialization.yml true 11.30 6.42 None ldv-memsafety/StructInitialization1.yml true 14.48 8.07 None ldv-memsafety/StructInitialization2.yml true 14.62 8.14 None ldv-memsafety/memleaks_test1-1.yml unknown 20.53 11.57 None ldv-memsafety/memleaks_test1-2.yml false(valid-free) 22.33 13.15 None ldv-memsafety/memleaks_test1-3.yml true 17.78 11.72 None ldv-memsafety/memleaks_test10-1.yml TIMEOUT 301.03 286.36 None ldv-memsafety/memleaks_test10-2.yml TIMEOUT 301.04 285.47 None ldv-memsafety/memleaks_test11.yml TIMEOUT 300.11 276.53 None ldv-memsafety/memleaks_test11_1.yml TIMEOUT 301.01 286.38 None ldv-memsafety/memleaks_test11_2.yml TIMEOUT 301.00 286.03 None ldv-memsafety/memleaks_test12-1.yml TIMEOUT 301.02 284.07 None ldv-memsafety/memleaks_test13.yml TIMEOUT 301.20 280.77 None ldv-memsafety/memleaks_test13_1.yml unknown 29.92 21.25 None ldv-memsafety/memleaks_test13_2.yml unknown 179.56 161.25 None ldv-memsafety/memleaks_test14.yml TIMEOUT 301.00 285.61 None ldv-memsafety/memleaks_test14_1.yml unknown 28.04 18.46 None ldv-memsafety/memleaks_test14_2.yml TIMEOUT 300.12 278.72 None ldv-memsafety/memleaks_test14_3.yml TIMEOUT 300.10 281.74 None ldv-memsafety/memleaks_test15-1.yml TIMEOUT 300.35 276.00 None ldv-memsafety/memleaks_test15-2.yml TIMEOUT 300.20 273.24 None ldv-memsafety/memleaks_test16.yml true 23.26 14.36 None ldv-memsafety/memleaks_test16_1.yml unknown 21.74 12.64 None ldv-memsafety/memleaks_test16_2.yml unknown 15.49 9.11 None ldv-memsafety/memleaks_test17_1-1.yml TIMEOUT 301.07 285.09 None ldv-memsafety/memleaks_test17_1-2.yml OUT OF MEMORY 115.46 88.06 None ldv-memsafety/memleaks_test17_2-1.yml TIMEOUT 300.16 273.63 None ldv-memsafety/memleaks_test19-1.yml true 218.92 211.72 None ldv-memsafety/memleaks_test19-2.yml false(valid-free) 215.36 208.61 None ldv-memsafety/memleaks_test20-1.yml unknown 16.13 10.68 None ldv-memsafety/memleaks_test20-2.yml true 18.64 12.02 None ldv-memsafety/memleaks_test21-1.yml unknown 16.28 9.85 None ldv-memsafety/memleaks_test21-2.yml true 18.67 11.84 None ldv-memsafety/memleaks_test22_2-1.yml unknown 25.80 17.89 None ldv-memsafety/memleaks_test22_3-2.yml false(valid-deref) 48.48 36.75 None ldv-memsafety/memleaks_test22_5.yml false(valid-deref) 55.90 44.47 None ldv-memsafety/memleaks_test23_1.yml TIMEOUT 300.39 267.29 None ldv-memsafety/memleaks_test23_2.yml TIMEOUT 300.17 277.96 None ldv-memsafety/memleaks_test23_3.yml TIMEOUT 300.13 277.58 None ldv-memsafety/memleaks_test23_4.yml TIMEOUT 300.07 280.51 None ldv-memsafety/memleaks_test3-1.yml false(valid-free) 15.47 9.63 None ldv-memsafety/memleaks_test3-2.yml true 18.14 11.62 None ldv-memsafety/memleaks_test4-1.yml unknown 18.17 12.37 None ldv-memsafety/memleaks_test4-2.yml true 28.67 21.28 None ldv-memsafety/memleaks_test5.yml true 18.22 12.14 None ldv-memsafety/memleaks_test5_1.yml unknown 16.27 9.91 None ldv-memsafety/memleaks_test5_2.yml unknown 16.26 10.22 None ldv-memsafety/memleaks_test6.yml true 26.78 19.78 None ldv-memsafety/memleaks_test6_1.yml unknown 23.73 17.40 None ldv-memsafety/memleaks_test6_2.yml false(valid-free) 30.99 20.70 None ldv-memsafety/memleaks_test6_3.yml unknown 23.33 17.36 None ldv-memsafety/memleaks_test7-1.yml unknown 27.67 20.84 None ldv-memsafety/memleaks_test7-2.yml true 50.90 44.20 None ldv-memsafety/memleaks_test8.yml true 21.40 12.96 None ldv-memsafety/memleaks_test8_1.yml unknown 17.05 10.29 None ldv-memsafety/memleaks_test8_2.yml false(valid-free) 16.82 10.66 None ldv-memsafety/memleaks_test9.yml true 19.16 13.10 None ldv-memsafety/memleaks_test9_1.yml unknown 17.84 11.26 None ldv-memsafety/memleaks_test9_2.yml unknown 19.82 11.21 None ldv-memsafety/memset.yml true 12.30 6.92 None ldv-memsafety/memset2.yml true 8.46 5.13 None ldv-memsafety/memset2_-write.yml false(valid-deref) 8.99 5.59 None ldv-memsafety/memset3.yml true 11.49 6.51 None ldv-memsafety/memset3_-write.yml false(valid-deref) 8.55 5.36 None ldv-memsafety/memsetNonZero.yml true 9.35 5.46 None ldv-memsafety/memsetNonZero2.yml true 11.23 6.42 None ldv-memsafety/memsetNonZero2_-write.yml false(valid-deref) 8.84 5.87 None ldv-memsafety/memsetNonZero3.yml true 9.35 5.84 None ldv-memsafety/memsetNonZero3_-write.yml false(valid-deref) 9.28 5.35 None ldv-memsafety/memsetNonZero_-write.yml false(valid-deref) 11.73 6.59 None ldv-memsafety/memset_-write.yml false(valid-deref) 11.06 6.26 None ldv-memsafety-bitfields/test-bitfields-1-1.yml ERROR (7) 12.98 7.59 None ldv-memsafety-bitfields/test-bitfields-1-2.yml ERROR (7) 13.54 8.47 None ldv-memsafety-bitfields/test-bitfields-2-1.yml ERROR (7) 13.74 9.12 None ldv-memsafety-bitfields/test-bitfields-2-2.yml ERROR (7) 13.99 8.60 None ldv-memsafety-bitfields/test-bitfields-2.1-1.yml ERROR (7) 16.67 9.26 None ldv-memsafety-bitfields/test-bitfields-2.1-2.yml ERROR (7) 16.14 9.01 None ldv-memsafety-bitfields/test-bitfields-3-1.yml ERROR (7) 13.21 7.60 None ldv-memsafety-bitfields/test-bitfields-3-2.yml ERROR (7) 13.91 9.37 None ldv-memsafety-bitfields/test-bitfields-3.1-1.yml ERROR (7) 13.51 9.01 None ldv-memsafety-bitfields/test-bitfields-3.1-2.yml ERROR (7) 13.04 8.55 None termination-recursive-malloc/chunk1-2.yml unknown 16.22 10.50 None heap-manipulation/bubble_sort_linux-1.yml TIMEOUT 301.07 243.92 None heap-manipulation/dancing.yml TIMEOUT 300.41 268.13 None heap-manipulation/dll_of_dll-1.yml TIMEOUT 300.22 272.95 None heap-manipulation/merge_sort-2.yml TIMEOUT 300.26 268.25 None heap-manipulation/sll_to_dll_rev-2.yml TIMEOUT 301.40 284.20 None heap-manipulation/tree-1.yml false(valid-deref) 9.09 5.86 None heap-manipulation/tree-2.yml TIMEOUT 301.01 285.94 None forester-heap/dll-01-2.yml TIMEOUT 300.15 275.33 None forester-heap/dll-circular-2.yml TIMEOUT 300.20 279.28 None forester-heap/dll-optional-1.yml TIMEOUT 300.58 278.69 None forester-heap/dll-queue-1.yml TIMEOUT 300.26 280.28 None forester-heap/dll-rb-cnstr_1-1.yml TIMEOUT 300.33 265.01 None forester-heap/dll-rb-cnstr_1-2.yml unknown 33.36 21.43 None forester-heap/dll-rb-sentinel-1.yml unknown 57.05 39.69 None forester-heap/dll-rb-sentinel-2.yml TIMEOUT 300.10 277.55 None forester-heap/dll-reverse.yml TIMEOUT 301.08 281.01 None forester-heap/dll-simple-white-blue-2.yml TIMEOUT 301.03 286.34 None forester-heap/dll-sorted-2.yml TIMEOUT 301.06 281.91 None forester-heap/dll-token-1.yml TIMEOUT 300.09 279.27 None forester-heap/sll-01-1.yml OUT OF MEMORY 161.80 131.55 None forester-heap/sll-01-2.yml false(valid-deref) 39.47 21.03 None forester-heap/sll-buckets-1.yml TIMEOUT 301.13 283.60 None forester-heap/sll-circular-1.yml TIMEOUT 301.00 282.30 None forester-heap/sll-optional-1.yml TIMEOUT 300.99 289.14 None forester-heap/sll-queue-1.yml TIMEOUT 301.06 281.47 None forester-heap/sll-rb-cnstr_1-1.yml TIMEOUT 301.05 281.55 None forester-heap/sll-rb-cnstr_1-2.yml unknown 34.42 20.44 None forester-heap/sll-rb-sentinel-1.yml TIMEOUT 300.17 272.83 None forester-heap/sll-reverse_simple.yml ERROR (7) 94.66 67.90 None forester-heap/sll-simple-white-blue-1.yml TIMEOUT 300.57 273.39 None forester-heap/sll-sorted-2.yml TIMEOUT 300.21 278.52 None forester-heap/sll-token-2.yml TIMEOUT 300.29 279.66 None list-properties/alternating_list-1.yml TIMEOUT 300.20 279.09 None list-properties/list-1.yml unknown 25.65 16.84 None list-properties/list_flag-2.yml unknown 18.62 11.67 None list-properties/simple-2.yml unknown 25.05 16.21 None list-properties/simple_built_from_end.yml unknown 20.49 13.50 None list-properties/splice-2.yml unknown 19.02 12.02 None ddv-machzwd/ddv_machzwd_all.yml unknown 133.71 114.08 None ddv-machzwd/ddv_machzwd_inb.yml TIMEOUT 300.52 279.64 None ddv-machzwd/ddv_machzwd_inb_p.yml TIMEOUT 300.23 278.22 None ddv-machzwd/ddv_machzwd_inl.yml TIMEOUT 300.76 262.62 None ddv-machzwd/ddv_machzwd_inl_p.yml TIMEOUT 301.05 278.89 None ddv-machzwd/ddv_machzwd_inw_p.yml TIMEOUT 300.60 273.93 None ddv-machzwd/ddv_machzwd_outb.yml unknown 136.30 117.27 None ddv-machzwd/ddv_machzwd_outb_p.yml TIMEOUT 300.16 279.32 None ddv-machzwd/ddv_machzwd_outl.yml TIMEOUT 300.45 269.01 None ddv-machzwd/ddv_machzwd_outl_p.yml TIMEOUT 300.34 281.91 None ddv-machzwd/ddv_machzwd_outw_p.yml TIMEOUT 300.10 262.42 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.yml TIMEOUT 300.86 260.58 None list-simple/dll2c_append_equal.yml TIMEOUT 301.06 280.20 None list-simple/dll2c_append_unequal.yml TIMEOUT 300.07 278.31 None list-simple/dll2c_insert_equal.yml TIMEOUT 300.19 272.24 None list-simple/dll2c_prepend_equal.yml TIMEOUT 301.08 280.85 None list-simple/dll2c_prepend_unequal.yml TIMEOUT 300.10 277.53 None list-simple/dll2n_append_equal.yml TIMEOUT 301.06 282.08 None list-simple/dll2n_append_unequal.yml TIMEOUT 300.14 274.29 None list-simple/dll2n_insert_equal.yml TIMEOUT 301.01 286.99 None list-simple/dll2n_insert_unequal.yml TIMEOUT 301.01 286.87 None list-simple/dll2n_prepend_equal.yml TIMEOUT 300.18 279.58 None list-simple/dll2n_prepend_unequal.yml TIMEOUT 300.19 272.12 None list-simple/sll2c_append_equal.yml TIMEOUT 301.05 283.40 None list-simple/sll2c_append_unequal.yml TIMEOUT 300.12 280.88 None list-simple/sll2c_insert_equal.yml TIMEOUT 300.11 277.39 None list-simple/sll2c_insert_unequal.yml TIMEOUT 300.09 277.45 None list-simple/sll2c_prepend_equal.yml TIMEOUT 301.04 283.04 None list-simple/sll2c_prepend_unequal.yml TIMEOUT 301.07 281.42 None list-simple/sll2n_append_equal.yml TIMEOUT 301.02 285.51 None list-simple/sll2n_insert_equal.yml OUT OF MEMORY 243.06 211.08 None list-simple/sll2n_insert_unequal.yml TIMEOUT 301.08 281.04 None list-ext3-properties/dll_circular_traversal-1.yml TIMEOUT 301.06 280.82 None list-ext3-properties/dll_circular_traversal-2.yml TIMEOUT 300.13 276.62 None list-ext3-properties/sll_circular_traversal-1.yml TIMEOUT 300.44 279.97 None list-ext3-properties/sll_circular_traversal-2.yml TIMEOUT 300.32 282.21 None list-ext3-properties/sll_length_check-2.yml TIMEOUT 301.00 287.09 None list-ext3-properties/sll_nondet_insert-2.yml TIMEOUT 301.00 288.00 None list-ext3-properties/sll_of_sll_nondet_append-1.yml TIMEOUT 300.98 289.23 None list-ext3-properties/sll_shallow_copy-1.yml true 31.47 20.60 None list-ext3-properties/sll_shallow_copy-2.yml unknown 25.33 15.85 None loops/invert_string-2.yml false(valid-deref) 11.01 6.26 None loop-acceleration/array3.yml TIMEOUT 300.22 273.20 None ntdrivers/floppy.i.cil-2.yml false(valid-deref) 123.29 102.53 None ntdrivers/floppy.i.cil-3.yml TIMEOUT 301.12 262.41 None ntdrivers/floppy2.i.cil.yml ERROR (7) 19.56 11.09 None ntdrivers/kbfiltr.i.cil-1.yml false(valid-deref) 36.99 24.15 None locks/test_locks_10.yml true 15.06 8.52 None locks/test_locks_11.yml true 21.55 12.09 None locks/test_locks_12.yml true 26.12 15.00 None locks/test_locks_13.yml true 42.67 26.47 None locks/test_locks_14-1.yml OUT OF MEMORY 56.39 38.68 None locks/test_locks_14-2.yml unknown 18.33 11.94 None locks/test_locks_15-1.yml unknown 18.45 12.17 None locks/test_locks_15-2.yml OUT OF MEMORY 51.91 33.70 None locks/test_locks_5.yml true 9.93 5.88 None locks/test_locks_6.yml true 10.24 5.78 None locks/test_locks_7.yml true 11.80 6.98 None locks/test_locks_8.yml true 11.53 6.54 None locks/test_locks_9.yml true 13.62 8.57 None memsafety-ext3/derefAfterFree1.yml false(valid-deref) 9.31 5.73 None memsafety-ext3/derefAfterFree2.yml false(valid-deref) 11.65 7.45 None memsafety-ext3/derefInLoop1.yml false(valid-deref) 9.07 5.44 None memsafety-ext3/freeAlloca.yml false(valid-free) 13.08 8.34 None memsafety-ext3/getNumbers1-1.yml false(valid-deref) 11.08 6.75 None memsafety-ext3/getNumbers2.yml false(valid-deref) 18.64 11.92 None memsafety-ext3/getNumbers4-2.yml false(valid-deref) 31.10 19.16 None memsafety-ext3/naturalNumbers1.yml false(valid-deref) 16.36 10.52 None memsafety-ext3/realloc1.yml false(valid-deref) 11.63 7.42 None memsafety-ext3/scopes1.yml false(valid-deref) 8.61 5.37 None memsafety-ext3/scopes2.yml false(valid-deref) 8.35 4.91 None memsafety-ext3/scopes3.yml false(valid-deref) 10.29 6.33 None memsafety-ext3/scopes4-1.yml true 15.84 10.69 None memsafety-ext3/scopes4-2.yml false(valid-deref) 8.59 5.43 None memsafety-ext3/scopes5.yml false(valid-deref) 9.02 5.62 None pthread-memsafety/fillarray.yml false(valid-deref) 21.49 13.58 None pthread-memsafety/fillarray1.yml false(valid-deref) 44.05 35.14 None pthread-memsafety/list1.yml TIMEOUT 301.11 282.36 None termination-crafted/4BitCounterPointer.yml TIMEOUT 301.00 290.78 None busybox-1.22.0/basename-1.yml TIMEOUT 301.09 281.65 None busybox-1.22.0/chgrp-incomplete-1.yml unknown 20.66 11.16 None busybox-1.22.0/chroot-incomplete-2.yml unknown 15.13 8.66 None busybox-1.22.0/dirname-1.yml TIMEOUT 300.26 269.98 None busybox-1.22.0/du-1.yml unknown 16.14 9.14 None busybox-1.22.0/echo-1.yml unknown 15.60 8.99 None busybox-1.22.0/head-1.yml unknown 16.01 9.06 None busybox-1.22.0/head-2.yml unknown 15.31 8.71 None busybox-1.22.0/hostid.yml TIMEOUT 301.11 282.38 None busybox-1.22.0/logname-1.yml unknown 20.15 10.96 None busybox-1.22.0/ls-incomplete-2.yml unknown 17.25 9.74 None busybox-1.22.0/ls-incomplete-3.yml unknown 18.70 11.65 None busybox-1.22.0/mkdir-2.yml unknown 20.70 11.31 None busybox-1.22.0/mkfifo-incomplete-1.yml unknown 15.29 8.88 None busybox-1.22.0/od-3.yml unknown 17.18 9.84 None busybox-1.22.0/printf-2.yml unknown 17.82 10.52 None busybox-1.22.0/readlink-2.yml unknown 16.62 9.44 None busybox-1.22.0/realpath-1.yml unknown 15.92 9.18 None busybox-1.22.0/rm-1.yml unknown 20.98 11.44 None busybox-1.22.0/seq-1.yml unknown 17.27 10.42 None busybox-1.22.0/sleep-1.yml unknown 15.81 8.79 None busybox-1.22.0/stty-2.yml unknown 17.63 9.84 None busybox-1.22.0/sync-2.yml unknown 16.36 10.23 None busybox-1.22.0/test-incomplete-1.yml unknown 16.15 9.46 None busybox-1.22.0/uname-2.yml unknown 16.09 10.00 None busybox-1.22.0/uniq-2.yml unknown 15.66 8.80 None busybox-1.22.0/usleep-2.yml unknown 16.94 10.36 None busybox-1.22.0/uudecode-1.yml unknown 20.01 10.96 None busybox-1.22.0/who-2.yml unknown 17.28 9.67 None busybox-1.22.0/whoami-incomplete-2.yml unknown 16.95 10.16 None busybox-1.22.0/yes-2.yml unknown 15.06 8.89 None openbsd-6.2/if_etherip-double-free.yml ERROR (7) 19.41 11.79 None openbsd-6.2/if_etherip-fixed-double-free-invalid-deref1.yml ERROR (7) 19.43 11.35 None openbsd-6.2/if_etherip-fixed-double-free-invalid-deref2.yml ERROR (7) 20.48 15.76 None openbsd-6.2/if_etherip-fixed-double-free.yml ERROR (7) 23.01 13.06 None ----------------------------------------------------------------------------------------------------------------------------- Run set 2 done 49581.60 3345.30 - 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 111.60 76.77 None recursive/Ackermann02.yml OUT OF MEMORY 102.43 75.02 None recursive/Ackermann03.yml OUT OF MEMORY 100.01 71.92 None recursive/Ackermann04.yml OUT OF MEMORY 125.26 79.61 None recursive/Addition01-2.yml TIMEOUT 301.40 244.27 None recursive/Addition02.yml TIMEOUT 300.43 275.10 None recursive/Addition02WithOverflowBug.yml false(no-overflow) 11.33 6.48 None recursive/Addition03-1.yml TIMEOUT 300.87 227.10 None recursive/Addition03-2.yml false(no-overflow) 11.27 6.43 None recursive/BallRajamani-SPIN2000-Fig1.yml true 8.20 5.41 None recursive/EvenOdd01-1.yml TIMEOUT 300.50 277.95 None recursive/EvenOdd03.yml TIMEOUT 300.64 274.53 None recursive/EvenOdd03WithOverflowBug.yml false(no-overflow) 8.41 4.97 None recursive/Fibonacci01-1.yml TIMEOUT 300.50 258.21 None recursive/Fibonacci02.yml true 62.35 37.88 None recursive/Fibonacci03.yml TIMEOUT 300.36 266.06 None recursive/Fibonacci04.yml TIMEOUT 301.02 241.84 None recursive/Fibonacci05.yml TIMEOUT 301.09 238.35 None recursive/McCarthy91-1.yml true 11.53 6.73 None recursive/McCarthy91-2.yml true 11.17 6.78 None recursive/MultCommutative-2.yml TIMEOUT 301.17 240.27 None recursive/Primes.yml TIMEOUT 300.64 256.56 None recursive/gcd01-1.yml true 9.07 5.54 None recursive/gcd02.yml true 14.88 8.83 None recursive/recHanoi01.yml TIMEOUT 300.84 211.59 None recursive/recHanoi02-2.yml TIMEOUT 300.67 264.63 None recursive/recHanoi03-2.yml TIMEOUT 301.41 230.22 None recursive-simple/id2_b2_o3.yml true 10.34 5.95 None recursive-simple/id2_b3_o2.yml true 10.71 6.03 None recursive-simple/id2_b3_o5.yml true 10.36 5.82 None recursive-simple/id2_b5_o10.yml true 8.20 4.80 None recursive-simple/id_b2_o3.yml true 10.52 6.00 None recursive-simple/id_b3_o2-1.yml false(no-overflow) 10.94 6.31 None recursive-simple/id_b3_o2-2.yml true 13.45 7.63 None recursive-simple/id_b3_o5-1.yml false(no-overflow) 8.24 4.90 None recursive-simple/id_b3_o5-2.yml true 13.08 7.53 None recursive-simple/id_b5_o10-1.yml false(no-overflow) 10.78 6.17 None recursive-simple/id_b5_o10-2.yml true 9.76 5.92 None recursive-simple/id_o10.yml true 9.90 5.75 None recursive-simple/id_o100.yml true 7.82 4.82 None recursive-simple/id_o1000.yml true 10.47 5.95 None recursive-simple/id_o20.yml true 10.43 5.97 None recursive-simple/id_o200.yml true 8.14 5.21 None recursive-simple/id_o3.yml true 10.14 5.79 None recursive-simple/sum_non.yml false(no-overflow) 8.09 4.92 None recursive-simple/sum_non_eq-1.yml false(no-overflow) 11.32 6.46 None recursive-simple/sum_non_eq-2.yml true 10.62 5.96 None recursive-simple/sum_non_eq-3.yml true 7.61 4.64 None bitvector/byte_add-1.yml true 11.92 6.77 None bitvector/byte_add-2.yml false(no-overflow) 41.03 23.38 None bitvector/byte_add_1-1.yml true 9.02 5.30 None bitvector/byte_add_1-2.yml false(no-overflow) 39.85 22.26 None bitvector/byte_add_2-1.yml false(no-overflow) 40.25 22.67 None bitvector/byte_add_2-2.yml true 10.03 6.13 None bitvector/gcd_1.yml true 9.96 7.17 None bitvector/gcd_2.yml true 9.72 6.15 None bitvector/gcd_3.yml true 11.77 6.69 None bitvector/gcd_4.yml true 14.11 8.92 None bitvector/interleave_bits.yml true 10.66 6.59 None bitvector/jain_1-1.yml true 8.85 6.12 None bitvector/jain_1-2.yml false(no-overflow) 9.26 6.25 None bitvector/jain_2-1.yml true 8.40 5.16 None bitvector/jain_2-2.yml false(no-overflow) 11.25 6.36 None bitvector/jain_4-1.yml false(no-overflow) 9.40 6.38 None bitvector/jain_4-2.yml true 9.04 5.83 None bitvector/jain_5-1.yml TIMEOUT 300.68 246.01 None bitvector/jain_5-2.yml true 8.13 5.17 None bitvector/jain_6-1.yml true 8.18 5.39 None bitvector/jain_6-2.yml false(no-overflow) 10.83 6.21 None bitvector/jain_7-1.yml false(no-overflow) 9.13 5.94 None bitvector/jain_7-2.yml true 8.42 5.83 None bitvector/modulus-1.yml false(no-overflow) 20.89 12.51 None bitvector/modulus-2.yml true 16.78 10.53 None bitvector/num_conversion_1.yml true 17.60 11.95 None bitvector/num_conversion_2.yml true 17.79 11.46 None bitvector/parity.yml true 10.55 6.10 None bitvector/s3_clnt_1.BV.c.cil-1.yml false(no-overflow) 12.70 7.19 None bitvector/s3_clnt_1.BV.c.cil-1a.yml false(no-overflow) 29.48 17.15 None bitvector/s3_clnt_1.BV.c.cil-2.yml false(no-overflow) 11.43 7.08 None bitvector/s3_clnt_2.BV.c.cil-1.yml false(no-overflow) 10.68 6.87 None bitvector/s3_clnt_2.BV.c.cil-1a.yml true 8.93 5.31 None bitvector/s3_clnt_2.BV.c.cil-2.yml false(no-overflow) 12.98 7.37 None bitvector/s3_clnt_2.BV.c.cil-2a.yml true 11.98 6.73 None bitvector/s3_clnt_3.BV.c.cil-1.yml false(no-overflow) 10.35 6.17 None bitvector/s3_clnt_3.BV.c.cil-1a.yml true 11.10 6.48 None bitvector/s3_clnt_3.BV.c.cil-2.yml false(no-overflow) 10.79 6.64 None bitvector/s3_clnt_3.BV.c.cil-2a.yml true 14.61 7.97 None bitvector/s3_srvr_1.BV.c.cil.yml false(no-overflow) 11.07 6.78 None bitvector/s3_srvr_1_alt.BV.c.cil.yml false(no-overflow) 11.39 7.16 None bitvector/s3_srvr_1a.BV.c.cil.yml true 26.01 15.57 None bitvector/s3_srvr_1a_alt.BV.c.cil.yml false(no-overflow) 39.54 23.93 None bitvector/s3_srvr_2.BV.c.cil.yml false(no-overflow) 13.50 7.58 None bitvector/s3_srvr_2_alt.BV.c.cil.yml false(no-overflow) 10.41 6.54 None bitvector/s3_srvr_2a.BV.c.cil.yml true 10.10 5.90 None bitvector/s3_srvr_2a_alt.BV.c.cil.yml true 10.33 6.57 None bitvector/s3_srvr_3.BV.c.cil.yml false(no-overflow) 11.16 7.01 None bitvector/s3_srvr_3_alt.BV.c.cil.yml false(no-overflow) 10.87 7.05 None bitvector/s3_srvr_3a.BV.c.cil.yml true 48.43 27.45 None bitvector/s3_srvr_3a_alt.BV.c.cil.yml true 49.95 28.23 None bitvector/soft_float_1-2.c.cil.yml false(no-overflow) 21.89 13.90 None bitvector/soft_float_1-2a.c.cil.yml true 56.95 38.13 None bitvector/soft_float_1-3.c.cil.yml false(no-overflow) 22.04 14.12 None bitvector/soft_float_1-3a.c.cil.yml true 70.21 44.53 None bitvector/soft_float_2.c.cil.yml false(no-overflow) 115.46 95.54 None bitvector/soft_float_2a.c.cil.yml OUT OF MEMORY 156.80 118.48 None bitvector/soft_float_3.c.cil.yml false(no-overflow) 110.41 90.38 None bitvector/soft_float_3a.c.cil.yml OUT OF MEMORY 207.28 170.34 None bitvector/soft_float_4-2.c.cil.yml false(no-overflow) 21.96 14.71 None bitvector/soft_float_4-2a.c.cil.yml true 58.77 39.55 None bitvector/soft_float_4-3.c.cil.yml false(no-overflow) 20.38 13.17 None bitvector/soft_float_4-3a.c.cil.yml true 77.36 47.77 None bitvector/soft_float_5.c.cil.yml false(no-overflow) 123.63 92.22 None bitvector/soft_float_5a.c.cil.yml OUT OF MEMORY 260.05 200.50 None bitvector/sum02-1.yml true 8.38 5.11 None bitvector/sum02-2.yml true 8.29 5.01 None psyco/psyco_abp_1-1.yml true 13.65 8.82 None psyco/psyco_abp_1-2.yml TIMEOUT 300.48 274.46 None psyco/psyco_abp_1-3.yml true 9.39 5.53 None loop-zilu/benchmark01_conjunctive.yml false(no-overflow) 14.56 9.00 None loop-zilu/benchmark02_linear.yml true 8.85 5.33 None loop-zilu/benchmark02_linear_abstracted.yml true 7.82 5.10 None loop-zilu/benchmark03_linear.yml TIMEOUT 300.37 278.23 None loop-zilu/benchmark04_conjunctive.yml TIMEOUT 301.18 256.81 None loop-zilu/benchmark05_conjunctive.yml true 12.72 7.25 None loop-zilu/benchmark06_conjunctive.yml false(no-overflow) 8.41 5.14 None loop-zilu/benchmark07_linear.yml false(no-overflow) 11.81 6.72 None loop-zilu/benchmark08_conjunctive.yml TIMEOUT 301.19 248.34 None loop-zilu/benchmark09_conjunctive.yml true 8.88 5.30 None loop-zilu/benchmark10_conjunctive.yml true 259.72 215.57 None loop-zilu/benchmark11_linear.yml true 13.47 7.87 None loop-zilu/benchmark11_linear_abstracted.yml true 11.97 6.84 None loop-zilu/benchmark12_linear.yml false(no-overflow) 11.26 6.49 None loop-zilu/benchmark13_conjunctive.yml TIMEOUT 300.84 224.78 None loop-zilu/benchmark14_linear.yml true 11.06 6.30 None loop-zilu/benchmark15_conjunctive.yml false(no-overflow) 11.81 6.63 None loop-zilu/benchmark16_conjunctive.yml TIMEOUT 300.72 224.74 None loop-zilu/benchmark17_conjunctive.yml TIMEOUT 300.48 276.27 None loop-zilu/benchmark18_conjunctive.yml TIMEOUT 300.30 282.15 None loop-zilu/benchmark19_conjunctive.yml true 11.90 6.95 None loop-zilu/benchmark20_conjunctive.yml TIMEOUT 300.33 278.69 None loop-zilu/benchmark21_disjunctive.yml false(no-overflow) 10.68 6.08 None loop-zilu/benchmark22_conjunctive.yml TIMEOUT 300.34 237.12 None loop-zilu/benchmark23_conjunctive.yml true 89.46 73.59 None loop-zilu/benchmark24_conjunctive.yml TIMEOUT 300.99 254.93 None loop-zilu/benchmark25_linear.yml true 10.74 6.16 None loop-zilu/benchmark25_linear_abstracted.yml true 11.22 6.27 None loop-zilu/benchmark26_linear.yml true 11.05 6.23 None loop-zilu/benchmark26_linear_abstracted.yml true 11.79 6.51 None loop-zilu/benchmark27_linear.yml false(no-overflow) 9.03 5.49 None loop-zilu/benchmark28_linear.yml false(no-overflow) 11.44 6.46 None loop-zilu/benchmark29_linear.yml false(no-overflow) 8.58 5.37 None loop-zilu/benchmark30_conjunctive.yml false(no-overflow) 10.93 6.29 None loop-zilu/benchmark31_disjunctive.yml false(no-overflow) 8.76 5.49 None loop-zilu/benchmark32_linear.yml true 9.97 5.64 None loop-zilu/benchmark33_linear.yml true 9.05 5.50 None loop-zilu/benchmark34_conjunctive.yml TIMEOUT 300.74 231.49 None loop-zilu/benchmark35_linear.yml true 8.75 5.43 None loop-zilu/benchmark36_conjunctive.yml TIMEOUT 300.25 235.67 None loop-zilu/benchmark37_conjunctive.yml true 9.64 6.04 None loop-zilu/benchmark38_conjunctive.yml TIMEOUT 300.52 273.17 None loop-zilu/benchmark39_conjunctive.yml false(no-overflow) 10.45 6.00 None loop-zilu/benchmark40_polynomial.yml false(no-overflow) 8.31 5.20 None loop-zilu/benchmark41_conjunctive.yml TIMEOUT 300.60 236.83 None loop-zilu/benchmark42_conjunctive.yml false(no-overflow) 10.96 6.34 None loop-zilu/benchmark43_conjunctive.yml true 8.69 5.11 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 8.91 5.48 None loop-zilu/benchmark44_disjunctive.yml false(no-overflow) 11.58 6.57 None loop-zilu/benchmark45_disjunctive.yml false(no-overflow) 8.48 5.11 None loop-zilu/benchmark46_disjunctive.yml false(no-overflow) 8.34 5.14 None loop-zilu/benchmark47_linear.yml false(no-overflow) 11.21 6.39 None loop-zilu/benchmark48_linear.yml false(no-overflow) 11.12 6.25 None loop-zilu/benchmark49_linear.yml false(no-overflow) 7.87 4.71 None loop-zilu/benchmark50_linear.yml false(no-overflow) 8.16 5.19 None loop-zilu/benchmark51_polynomial.yml true 13.33 7.48 None loop-zilu/benchmark52_polynomial.yml true 12.11 7.12 None loop-zilu/benchmark53_polynomial.yml false(no-overflow) 7.90 5.66 None signedintegeroverflow-regression/AdditionIntMax.yml false(no-overflow) 8.35 5.07 None signedintegeroverflow-regression/AdditionIntMin.yml false(no-overflow) 8.37 5.17 None signedintegeroverflow-regression/ConversionToSignedInt.yml true 10.12 5.91 None signedintegeroverflow-regression/Division-1.yml false(no-overflow) 8.63 5.20 None signedintegeroverflow-regression/IntegerPromotion-1.yml true 8.66 5.44 None signedintegeroverflow-regression/Multiplication-1.yml true 8.44 5.55 None signedintegeroverflow-regression/Multiplication-2.yml false(no-overflow) 10.63 6.10 None signedintegeroverflow-regression/NoConversion.yml false(no-overflow) 8.52 5.12 None signedintegeroverflow-regression/NoNegativeIntegerConstant.yml true 10.41 6.06 None signedintegeroverflow-regression/PostfixDecrement.yml false(no-overflow) 8.50 5.61 None signedintegeroverflow-regression/PostfixIncrement.yml false(no-overflow) 8.86 5.63 None signedintegeroverflow-regression/PrefixDecrement.yml false(no-overflow) 10.49 6.01 None signedintegeroverflow-regression/PrefixIncrement.yml false(no-overflow) 8.56 5.01 None signedintegeroverflow-regression/UnaryMinus.yml false(no-overflow) 8.45 5.25 None signedintegeroverflow-regression/UsualArithmeticConversions.yml true 10.17 5.80 None termination-crafted/2Nested-2.yml false(no-overflow) 8.70 5.25 None termination-crafted/4BitCounterPointer.yml true 10.37 5.83 None termination-crafted/4NestedWith3Variables-2.yml false(no-overflow) 8.49 5.01 None termination-crafted/Ackermann-1.yml false(no-overflow) 8.90 5.69 None termination-crafted/Arrays01-EquivalentConstantIndices-1.yml TIMEOUT 301.06 281.29 None termination-crafted/Arrays02-EquivalentConstantIndices.yml true 9.15 5.76 None termination-crafted/Arrays03-ValueRestictsIndex-2.yml true 14.48 8.80 None termination-crafted/Bangalore-1.yml false(no-overflow) 8.22 4.92 None termination-crafted/Bangalore-2.yml true 8.72 5.97 None termination-crafted/Bangalore_v2.yml true 9.11 5.76 None termination-crafted/Bangalore_v3.yml false(no-overflow) 8.16 4.83 None termination-crafted/Bangalore_v4.yml true 11.34 6.72 None termination-crafted/Benghazi.yml true 51.48 40.40 None termination-crafted/Benghazi_nondet-1.yml false(no-overflow) 8.69 5.45 None termination-crafted/Binary_Search-1.yml false(no-overflow) 8.11 4.89 None termination-crafted/Cairo.yml true 8.78 5.81 None termination-crafted/Cairo_nondet.yml false(no-overflow) 11.14 6.32 None termination-crafted/Cairo_step2-1.yml true 9.06 5.51 None termination-crafted/Cairo_step2-2.yml TIMEOUT 300.91 224.35 None termination-crafted/Cairo_step2-3.yml true 8.53 5.69 None termination-crafted/Collatz.yml false(no-overflow) 9.57 6.07 None termination-crafted/Collatz_bounded.yml true 11.85 7.41 None termination-crafted/Copenhagen.yml true 11.34 6.25 None termination-crafted/Copenhagen_disj-1.yml false(no-overflow) 8.30 5.28 None termination-crafted/Division-2.yml true 9.21 5.94 None termination-crafted/Gothenburg-2.yml false(no-overflow) 10.66 6.03 None termination-crafted/Gothenburg_v2-2.yml false(no-overflow) 8.77 5.27 None termination-crafted/Hanoi_2vars.yml false(no-overflow) 8.99 5.81 None termination-crafted/Hanoi_3vars.yml false(no-overflow) 8.50 5.31 None termination-crafted/Hanoi_plus.yml false(no-overflow) 8.95 5.74 None termination-crafted/LexIndexValue-Array-1.yml TIMEOUT 300.44 266.23 None termination-crafted/LexIndexValue-Pointer-1.yml TIMEOUT 300.99 287.47 None termination-crafted/Lobnya-Boolean-Reordered-1.yml false(no-overflow) 8.23 5.22 None termination-crafted/Madrid.yml true 7.74 5.00 None termination-crafted/McCarthy91_Iteration.yml TIMEOUT 300.42 277.11 None termination-crafted/McCarthy91_Recursion.yml true 11.91 7.31 None termination-crafted/MenloPark.yml true 14.23 9.56 None termination-crafted/MutualRecursion_1a.yml true 11.04 7.21 None termination-crafted/MutualRecursion_1b.yml true 11.43 7.01 None termination-crafted/Mysore-1.yml false(no-overflow) 9.01 5.74 None termination-crafted/NestedRecursion_1a-1.yml false(no-overflow) 8.73 5.46 None termination-crafted/NestedRecursion_1b.yml true 15.27 9.63 None termination-crafted/NestedRecursion_1c.yml true 9.33 5.77 None termination-crafted/NestedRecursion_1d.yml true 13.33 8.12 None termination-crafted/NestedRecursion_2a.yml false(no-overflow) 8.41 5.27 None termination-crafted/NestedRecursion_2b.yml TIMEOUT 301.16 285.99 None termination-crafted/NestedRecursion_2c.yml TIMEOUT 300.48 276.03 None termination-crafted/NonTermination1.yml false(no-overflow) 9.02 5.57 None termination-crafted/NonTermination2.yml false(no-overflow) 8.02 5.08 None termination-crafted/NonTermination4.yml false(no-overflow) 12.42 8.69 None termination-crafted/NonTerminationSimple2.yml false(no-overflow) 8.12 5.11 None termination-crafted/NonTerminationSimple3.yml false(no-overflow) 8.04 5.18 None termination-crafted/NonTerminationSimple4.yml TIMEOUT 300.27 275.48 None termination-crafted/NonTerminationSimple5.yml false(no-overflow) 8.53 5.34 None termination-crafted/NonTerminationSimple6.yml false(no-overflow) 8.64 5.29 None termination-crafted/NonTerminationSimple7.yml true 9.26 5.91 None termination-crafted/NonTerminationSimple8.yml false(no-overflow) 7.92 5.14 None termination-crafted/NonTerminationSimple9.yml false(no-overflow) 8.70 5.36 None termination-crafted/Nyala-2lex-2.yml true 8.72 5.27 None termination-crafted/Parallel.yml true 8.52 5.70 None termination-crafted/Piecewise.yml true 8.83 5.33 None termination-crafted/Pure2Phase-2.yml false(no-overflow) 7.74 5.61 None termination-crafted/Pure3Phase-2.yml false(no-overflow) 9.00 5.28 None termination-crafted/RecursiveMultiplication-2.yml false(no-overflow) 8.12 5.26 None termination-crafted/RecursiveNonterminating-2.yml false(no-overflow) 8.15 5.42 None termination-crafted/Rotation180-2.yml false(no-overflow) 8.34 5.28 None termination-crafted/Singapore-1.yml false(no-overflow) 8.12 4.96 None termination-crafted/Singapore_plus.yml false(no-overflow) 8.39 5.31 None termination-crafted/Singapore_v1.yml false(no-overflow) 8.12 4.81 None termination-crafted/Singapore_v2.yml false(no-overflow) 8.20 5.07 None termination-crafted/Stockholm-2.yml false(no-overflow) 8.28 5.05 None termination-crafted/SyntaxSupportPointer01-2.yml true 8.85 5.49 None termination-crafted/TelAviv-Amir-Minimum.yml true 11.30 6.40 None termination-crafted/Thun-1.yml false(no-overflow) 8.41 5.40 None termination-crafted/Toulouse-BranchesToLoop-1.yml false(no-overflow) 8.46 5.16 None termination-crafted/Toulouse-MultiBranchesToLoop-1.yml false(no-overflow) 14.50 8.20 None termination-crafted/Waldkirch.yml true 10.70 6.21 None termination-crafted/WhileFalse.yml true 7.85 4.79 None termination-crafted/WhileTrue.yml true 7.71 4.86 None termination-crafted/aaron2-2.yml false(no-overflow) 8.60 5.37 None termination-crafted/aaron3-2.yml false(no-overflow) 10.60 6.12 None termination-crafted/easy1.yml true 9.03 5.55 None termination-crafted/easy2-1.yml TIMEOUT 300.99 243.47 None termination-crafted/easy2-2.yml TIMEOUT 300.92 245.52 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1.yml TIMEOUT 300.21 281.22 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a.yml false(no-overflow) 11.64 6.61 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b.yml false(no-overflow) 12.05 6.77 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2.yml false(no-overflow) 11.35 6.36 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3.yml false(no-overflow) 8.22 4.93 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex.yml false(no-overflow) 11.96 6.70 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a.yml false(no-overflow) 8.22 4.97 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b.yml false(no-overflow) 8.79 5.42 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9.yml true 11.67 6.75 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1.yml true 8.20 4.88 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2-1.yml TIMEOUT 302.01 225.39 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2-2.yml TIMEOUT 301.10 280.97 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini.yml false(no-overflow) 8.08 4.98 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops.yml true 9.13 5.75 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr.yml false(no-overflow) 7.61 4.58 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop-1.yml OUT OF MEMORY 38.80 27.97 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop-2.yml TIMEOUT 301.24 223.98 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d-1.yml OUT OF MEMORY 134.06 107.27 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d-2.yml OUT OF MEMORY 171.08 127.78 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d.yml OUT OF MEMORY 131.83 90.90 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd.yml false(no-overflow) 9.23 5.70 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4.yml false(no-overflow) 8.78 5.33 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2.yml true 9.34 6.06 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3.yml true 10.37 7.22 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4.yml true 10.08 6.29 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate.yml false(no-overflow) 8.49 5.51 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2.yml true 9.61 6.20 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2.yml true 8.78 5.46 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise.yml true 10.18 6.11 None termination-crafted-lit/Avery-FLOPS2006-Table1.yml TIMEOUT 300.23 278.29 None termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3.yml false(no-overflow) 8.62 5.43 None termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified.yml true 10.08 7.09 None termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1.yml true 10.63 7.27 None termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1.yml false(no-overflow) 8.40 5.39 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1.yml true 9.48 6.03 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a.yml TIMEOUT 300.82 272.27 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction.yml true 13.41 9.63 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1.yml false(no-overflow) 8.52 5.25 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12.yml false(no-overflow) 8.59 5.07 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2.yml false(no-overflow) 8.54 5.12 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3.yml false(no-overflow) 8.89 5.54 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4.yml false(no-overflow) 9.40 6.12 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6.yml false(no-overflow) 8.16 4.88 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1.yml true 8.74 5.20 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2.yml TIMEOUT 300.17 278.98 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d.yml OUT OF MEMORY 132.50 107.09 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d.yml OUT OF MEMORY 115.61 89.58 None termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction.yml true 7.81 4.75 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01.yml false(no-overflow) 7.93 4.84 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02.yml false(no-overflow) 8.38 4.99 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03.yml false(no-overflow) 8.29 5.04 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04.yml false(no-overflow) 11.11 6.30 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05.yml false(no-overflow) 8.24 4.97 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01.yml false(no-overflow) 11.10 6.27 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02.yml false(no-overflow) 8.13 4.89 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03.yml false(no-overflow) 8.40 5.76 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04.yml false(no-overflow) 10.47 6.05 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05.yml false(no-overflow) 11.02 6.10 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06.yml false(no-overflow) 8.13 4.89 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07.yml false(no-overflow) 8.51 5.03 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08.yml false(no-overflow) 10.45 5.95 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09.yml false(no-overflow) 11.95 6.60 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10.yml false(no-overflow) 8.73 5.36 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11.yml false(no-overflow) 8.02 5.24 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12.yml false(no-overflow) 8.53 5.03 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13.yml false(no-overflow) 10.66 6.18 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14.yml false(no-overflow) 11.34 6.50 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15.yml false(no-overflow) 8.90 5.22 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16.yml false(no-overflow) 8.35 4.83 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17.yml false(no-overflow) 8.68 5.21 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18.yml false(no-overflow) 11.31 6.52 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19.yml false(no-overflow) 11.22 6.22 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20.yml true 8.52 5.05 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21.yml false(no-overflow) 8.80 5.20 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22.yml false(no-overflow) 9.03 5.30 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01.yml true 11.74 6.86 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02.yml false(no-overflow) 8.19 5.05 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03.yml false(no-overflow) 11.90 6.76 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04.yml false(no-overflow) 8.33 4.82 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05.yml false(no-overflow) 10.63 6.07 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06.yml false(no-overflow) 8.38 5.07 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07.yml false(no-overflow) 8.72 5.10 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08.yml false(no-overflow) 8.13 4.74 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09.yml false(no-overflow) 10.70 6.13 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10.yml false(no-overflow) 8.74 5.28 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01.yml false(no-overflow) 10.45 6.03 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1.yml false(no-overflow) 11.17 6.47 None termination-crafted-lit/ColonSipma-TACAS2001-Fig1.yml false(no-overflow) 8.55 5.16 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1.yml true 8.64 5.10 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a.yml true 11.59 6.66 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b.yml true 8.89 5.32 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified.yml true 11.80 6.69 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a.yml true 11.64 6.69 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b.yml true 9.52 6.02 None termination-crafted-lit/GopanReps-CAV2006-Fig1a.yml true 103.70 75.28 None termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a.yml false(no-overflow) 8.82 5.17 None termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b.yml false(no-overflow) 11.80 6.60 None termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c.yml false(no-overflow) 11.08 6.09 None termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1.yml false(no-overflow) 11.59 6.61 None termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1.yml TIMEOUT 300.22 283.74 None termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2.yml false(no-overflow) 10.10 6.18 None termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3.yml true 8.65 5.64 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1.yml true 16.39 9.95 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2.yml false(no-overflow) 10.65 6.05 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4.yml true 10.88 6.38 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5.yml true 9.72 6.31 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6.yml true 8.35 5.02 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7.yml false(no-overflow) 10.78 6.92 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8.yml false(no-overflow) 10.34 6.18 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9.yml false(no-overflow) 10.02 5.80 None termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample.yml TIMEOUT 300.85 237.10 None termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex.yml true 8.53 5.22 None termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1.yml true 8.71 5.33 None termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1.yml TIMEOUT 300.62 242.25 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1.yml false(no-overflow) 9.11 5.61 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2.yml false(no-overflow) 11.95 6.90 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3.yml false(no-overflow) 10.86 6.23 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4.yml true 10.09 6.25 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5.yml TIMEOUT 301.29 233.34 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6.yml false(no-overflow) 8.94 5.40 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1.yml true 11.03 6.30 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7.yml false(no-overflow) 8.96 5.10 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8.yml false(no-overflow) 8.25 4.81 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9.yml true 11.39 6.37 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1.yml false(no-overflow) 8.98 5.94 None termination-crafted-lit/LeikeHeizmann-WST2014-Ex5.yml false(no-overflow) 8.26 5.03 None termination-crafted-lit/LeikeHeizmann-WST2014-Ex6.yml false(no-overflow) 8.21 5.03 None termination-crafted-lit/LeikeHeizmann-WST2014-Ex9.yml true 10.83 6.17 None termination-crafted-lit/Masse-VMCAI2014-Ex6.yml false(no-overflow) 10.77 6.01 None termination-crafted-lit/Masse-VMCAI2014-Fig1a.yml false(no-overflow) 8.87 5.55 None termination-crafted-lit/Masse-VMCAI2014-Fig1b.yml false(no-overflow) 8.93 6.00 None termination-crafted-lit/NoriSharma-FSE2013-Fig7.yml false(no-overflow) 8.60 4.97 None termination-crafted-lit/NoriSharma-FSE2013-Fig8.yml false(no-overflow) 9.10 5.48 None termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1.yml true 11.39 6.90 None termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3.yml false(no-overflow) 11.50 6.58 None termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2.yml false(no-overflow) 9.20 5.59 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1.yml true 8.73 5.17 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2.yml true 10.78 6.96 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3.yml false(no-overflow) 8.92 5.35 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4.yml true 11.37 6.50 None termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1.yml false(no-overflow) 10.09 5.73 None termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2.yml false(no-overflow) 8.10 5.33 None termination-crafted-lit/Urban-WST2013-Fig1.yml true 8.17 4.92 None termination-crafted-lit/Urban-WST2013-Fig2-modified1000.yml true 8.65 5.26 None termination-crafted-lit/Urban-WST2013-Fig2.yml true 9.54 5.93 None termination-crafted-lit/UrbanMine-ESOP2014-Fig3.yml true 8.96 5.35 None termination-crafted-lit/Velroyen.yml true 10.40 5.87 None termination-crafted-lit/aviad.yml OUT OF MEMORY 247.46 216.68 None termination-crafted-lit/cstrcmp.yml true 11.34 6.37 None termination-crafted-lit/cstrcspn.yml true 9.14 5.45 None termination-crafted-lit/cstrlen.yml true 9.26 5.80 None termination-crafted-lit/cstrncmp.yml false(no-overflow) 8.92 5.22 None termination-crafted-lit/cstrpbrk.yml true 11.37 6.35 None termination-crafted-lit/cstrspn.yml true 9.08 5.35 None termination-crafted-lit/gcd1.yml false(no-overflow) 11.17 6.28 None termination-crafted-lit/genady.yml true 12.33 8.19 None termination-crafted-lit/joey.yml false(no-overflow) 8.96 5.24 None termination-crafted-lit/min_rf.yml false(no-overflow) 10.69 6.04 None termination-crafted-lit/strchr-2.yml true 8.50 5.12 None termination-numeric/Ackermann01-1.yml OUT OF MEMORY 125.45 80.82 None termination-numeric/Addition01-1.yml false(no-overflow) 8.76 5.22 None termination-numeric/Avg_true.yml false(no-overflow) 8.90 5.56 None termination-numeric/Binomial.yml TIMEOUT 300.45 266.68 None termination-numeric/Et1_true.yml false(no-overflow) 8.65 5.09 None termination-numeric/Et2_true.yml false(no-overflow) 10.45 5.93 None termination-numeric/Et3_true.yml false(no-overflow) 8.32 4.91 None termination-numeric/Et4_true.yml false(no-overflow) 8.62 5.22 None termination-numeric/EvenOdd01-2.yml TIMEOUT 300.35 281.20 None termination-numeric/Fibonacci01-2.yml TIMEOUT 300.99 239.01 None termination-numeric/LeUserDefRec.yml true 8.97 5.31 None termination-numeric/LogRecursive.yml TIMEOUT 300.20 284.70 None termination-numeric/MultCommutative-1.yml false(no-overflow) 12.56 7.70 None termination-numeric/Parts.yml TIMEOUT 300.56 236.38 None termination-numeric/TerminatorRec02.yml TIMEOUT 301.02 286.42 None termination-numeric/TwoWay.yml true 20.23 14.56 None termination-numeric/gcd01-2.yml true 9.55 5.92 None termination-numeric/java_LogBuiltIn.yml true 32.84 21.11 None termination-numeric/recHanoi02-1.yml TIMEOUT 300.53 263.93 None termination-numeric/rec_counter1.yml TIMEOUT 300.75 266.07 None termination-numeric/rec_counter3.yml TIMEOUT 300.63 264.43 None termination-numeric/twisted.yml TIMEOUT 301.11 229.72 None loops/sum01_bug02.yml TIMEOUT 300.88 240.27 None loops/sum_array-2-1.yml false(no-overflow) 12.85 7.17 None loops/sum_array-2-2.yml TIMEOUT 300.59 254.47 None termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca-2.yml true 10.95 6.53 None termination-memory-alloca/Masse-alloca-2.yml false(no-overflow) 10.04 6.31 None termination-memory-alloca/Masse-alloca-3.yml true 10.61 6.45 None termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca-2.yml false(no-overflow) 56.69 39.07 None termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca-2.yml false(no-overflow) 103.45 85.44 None termination-memory-alloca/TelAviv-Amir-Minimum-alloca-2.yml true 13.77 7.51 None termination-memory-alloca/Toulouse-BranchesToLoop-alloca-2.yml false(no-overflow) 10.30 6.16 None termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca-2.yml false(no-overflow) 47.48 25.13 None termination-memory-alloca/Urban-2013WST-Fig2-alloca-2.yml true 16.38 10.14 None termination-memory-alloca/Urban-alloca-2.yml OUT OF MEMORY 107.12 86.46 None termination-nla/fermat1-both-nt.yml true 7.98 4.88 None termination-nla/fermat1-both-t.yml true 7.63 4.73 None termination-nla/fermat2-both-nt.yml true 10.22 6.98 None termination-nla/fermat3-both-nt.yml true 7.92 4.80 None termination-recursive-malloc/chunk1-2.yml true 11.28 6.78 None termination-restricted-15/AlternKonv.yml true 11.47 6.43 None termination-restricted-15/ComplInterv2.yml true 8.77 5.26 None termination-restricted-15/ConvLower.yml true 8.15 4.91 None termination-restricted-15/DivMinus.yml TIMEOUT 300.59 234.19 None termination-restricted-15/DivMinus2.yml TIMEOUT 300.45 260.53 None termination-restricted-15/Ex02.yml true 9.64 5.82 None termination-restricted-15/Ex03.yml true 8.15 4.99 None termination-restricted-15/Ex05.yml true 8.07 5.14 None termination-restricted-15/Ex06.yml true 8.81 5.29 None termination-restricted-15/Ex07.yml true 8.95 5.40 None termination-restricted-15/Ex08.yml true 11.20 7.52 None termination-restricted-15/Flip.yml true 7.83 4.79 None termination-restricted-15/Flip2.yml true 9.14 5.61 None termination-restricted-15/GCD-1.yml true 10.07 7.02 None termination-restricted-15/GCD2.yml true 10.07 6.62 None termination-restricted-15/GCD3.yml true 9.45 5.98 None termination-restricted-15/GCD4.yml true 9.28 5.65 None termination-restricted-15/IntPath.yml true 7.94 5.11 None termination-restricted-15/Log.yml TIMEOUT 301.41 242.70 None termination-restricted-15/LogAG.yml TIMEOUT 301.10 284.46 None termination-restricted-15/Loop-2.yml true 8.95 5.29 None termination-restricted-15/McCarthyIterative.yml TIMEOUT 300.52 282.50 None termination-restricted-15/MinusBuiltIn.yml true 8.77 5.58 None termination-restricted-15/MinusUserDefined.yml TIMEOUT 300.38 263.98 None termination-restricted-15/MirrorIntervSim.yml true 8.49 5.83 None termination-restricted-15/NO_00.yml true 8.24 5.10 None termination-restricted-15/NO_01.yml true 8.43 5.27 None termination-restricted-15/NO_02.yml true 11.05 6.15 None termination-restricted-15/NO_03.yml true 8.33 5.23 None termination-restricted-15/NO_04.yml true 15.03 9.11 None termination-restricted-15/NO_13.yml true 15.46 9.27 None termination-restricted-15/NO_21.yml true 9.17 5.68 None termination-restricted-15/NO_22.yml true 9.28 6.10 None termination-restricted-15/NO_23.yml true 9.63 5.64 None termination-restricted-15/NO_24.yml true 13.03 8.43 None termination-restricted-15/NarrowKonv.yml true 11.86 6.96 None termination-restricted-15/Narrowing.yml true 11.29 7.44 None termination-restricted-15/Nested-2.yml true 9.56 5.72 None termination-restricted-15/PastaA1.yml true 9.96 6.48 None termination-restricted-15/PastaA10.yml true 11.38 6.44 None termination-restricted-15/PastaA4.yml true 8.64 5.64 None termination-restricted-15/PastaA7.yml true 10.02 6.01 None termination-restricted-15/PastaB1.yml true 8.87 5.58 None termination-restricted-15/PastaB14.yml true 10.13 6.60 None termination-restricted-15/PastaB15.yml true 9.80 6.92 None termination-restricted-15/PastaB16.yml true 11.10 6.38 None termination-restricted-15/PastaB17.yml true 9.39 6.04 None termination-restricted-15/PastaB2.yml true 9.44 5.87 None termination-restricted-15/PastaB4.yml true 8.18 5.14 None termination-restricted-15/PastaB6.yml true 11.48 6.42 None termination-restricted-15/PastaB7.yml true 8.70 5.53 None termination-restricted-15/PastaC3.yml true 9.75 6.37 None termination-restricted-15/PastaC7.yml true 9.44 6.23 None termination-restricted-15/PastaC9.yml true 9.05 5.62 None termination-restricted-15/Sequence.yml true 11.94 7.23 None termination-restricted-15/Sunset.yml true 8.21 5.20 None termination-restricted-15/Swingers.yml true 11.21 6.35 None termination-restricted-15/TwoFloatInterv.yml true 8.98 5.61 None termination-restricted-15/UpAndDown.yml true 9.30 5.85 None termination-restricted-15/UpAndDownIneq.yml true 9.28 5.54 None termination-restricted-15/WhileDecr.yml true 8.50 5.18 None termination-restricted-15/WhilePart.yml true 11.12 6.42 None termination-restricted-15/WhileSingle.yml true 11.07 6.21 None termination-restricted-15/a.01.yml true 10.06 6.78 None termination-restricted-15/a.04.yml true 9.16 5.78 None termination-restricted-15/a.05.yml true 9.07 5.47 None termination-restricted-15/a.06.yml true 10.43 6.84 None termination-restricted-15/a.07.yml true 9.03 5.34 None termination-restricted-15/a.08.yml true 11.33 6.55 None termination-restricted-15/a.09_assume.yml true 11.96 6.71 None termination-restricted-15/b.01.yml true 9.28 6.01 None termination-restricted-15/b.02.yml true 8.74 6.05 None termination-restricted-15/b.03-no-inv_assume.yml true 9.68 6.37 None termination-restricted-15/b.03_assume.yml true 9.28 5.83 None termination-restricted-15/b.04.yml true 7.57 4.87 None termination-restricted-15/b.05.yml true 12.28 6.91 None termination-restricted-15/b.06.yml TIMEOUT 301.04 246.26 None termination-restricted-15/b.07.yml true 10.40 7.00 None termination-restricted-15/b.09-no-inv_assume.yml TIMEOUT 300.36 279.31 None termination-restricted-15/b.09_assume.yml TIMEOUT 300.27 279.81 None termination-restricted-15/b.10.yml true 10.61 6.64 None termination-restricted-15/b.11.yml true 12.14 7.63 None termination-restricted-15/b.12.yml true 11.37 6.51 None termination-restricted-15/b.13.yml true 9.70 6.41 None termination-restricted-15/b.14.yml TIMEOUT 300.28 282.97 None termination-restricted-15/b.15.yml true 10.12 6.31 None termination-restricted-15/b.16.yml true 11.43 6.55 None termination-restricted-15/b.17.yml true 9.78 6.12 None termination-restricted-15/b.18.yml true 9.59 5.84 None termination-restricted-15/c.01-no-inv.yml true 12.48 6.90 None termination-restricted-15/c.01_assume.yml true 11.80 6.77 None termination-restricted-15/c.02.yml true 10.07 6.74 None termination-restricted-15/c.03.yml true 8.63 5.58 None termination-restricted-15/c.07.yml true 12.29 7.11 None termination-restricted-15/c.08.yml true 12.61 7.46 None termination-restricted-15/ex3a.yml true 13.16 10.13 None termination-restricted-15/ex3b.yml true 10.90 7.54 None termination-restricted-15/java_AG313.yml TIMEOUT 300.96 251.33 None termination-restricted-15/java_Break.yml true 16.36 9.67 None termination-restricted-15/java_Continue1.yml true 12.63 8.04 None termination-restricted-15/java_Nested.yml true 38.56 24.49 None termination-restricted-15/java_Sequence.yml true 152.31 108.79 None -------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 31119.54 1920.00 - 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.06 5.69 None termination-crafted/4BitCounterPointer.yml TIMEOUT 300.80 271.49 None termination-crafted/4NestedWith3Variables-1.yml true 17.07 13.30 None termination-crafted/Ackermann-2.yml OUT OF MEMORY 101.97 65.64 None termination-crafted/Arrays01-EquivalentConstantIndices-1.yml TIMEOUT 301.03 287.73 None termination-crafted/Arrays02-EquivalentConstantIndices.yml false(termination) 9.35 6.19 None termination-crafted/Arrays03-ValueRestictsIndex-2.yml TIMEOUT 300.10 279.47 None termination-crafted/Bangalore-2.yml true 11.85 7.12 None termination-crafted/Bangalore_v2.yml false(termination) 10.92 6.27 None termination-crafted/Bangalore_v4.yml true 12.92 8.86 None termination-crafted/Benghazi.yml true 14.28 10.44 None termination-crafted/Benghazi_nondet-2.yml true 13.30 9.50 None termination-crafted/Cairo.yml true 9.70 6.04 None termination-crafted/Cairo_step2-1.yml true 10.16 6.29 None termination-crafted/Cairo_step2-3.yml ERROR 21.64 13.75 None termination-crafted/Collatz_bounded.yml TIMEOUT 301.10 288.70 None termination-crafted/Copenhagen.yml true 11.78 6.86 None termination-crafted/Copenhagen_disj-2.yml ERROR 27.28 20.41 None termination-crafted/Division-2.yml false(termination) 8.38 4.88 None termination-crafted/Gothenburg-1.yml true 16.11 9.20 None termination-crafted/LexIndexValue-Array-1.yml TIMEOUT 300.99 288.68 None termination-crafted/LexIndexValue-Pointer-2.yml TIMEOUT 301.00 289.50 None termination-crafted/Madrid.yml false(termination) 9.10 5.95 None termination-crafted/McCarthy91_Iteration.yml true 25.83 15.26 None termination-crafted/McCarthy91_Recursion.yml OUT OF MEMORY 66.04 54.13 None termination-crafted/MenloPark.yml true 12.91 7.53 None termination-crafted/MutualRecursion_1a.yml false(termination) 14.23 8.20 None termination-crafted/MutualRecursion_1b.yml OUT OF MEMORY 59.09 41.21 None termination-crafted/Mysore-3.yml ERROR 39.13 33.23 None termination-crafted/NestedRecursion_1b.yml true 26.68 16.34 None termination-crafted/NestedRecursion_1c.yml true 15.85 8.85 None termination-crafted/NestedRecursion_1d.yml true 14.94 9.42 None termination-crafted/NestedRecursion_2b.yml false(termination) 13.38 8.59 None termination-crafted/NestedRecursion_2c.yml OUT OF MEMORY 59.17 40.22 None termination-crafted/NonTerminationSimple7.yml false(termination) 8.17 4.98 None termination-crafted/Nyala-2lex-2.yml true 10.56 6.51 None termination-crafted/Parallel.yml true 12.97 7.47 None termination-crafted/Piecewise.yml true 13.22 8.44 None termination-crafted/Pure2Phase-1.yml true 10.69 6.54 None termination-crafted/Pure3Phase-1.yml true 15.60 9.11 None termination-crafted/RecursiveMultiplication-1.yml true 12.57 8.10 None termination-crafted/SyntaxSupportPointer01-2.yml true 9.20 5.71 None termination-crafted/TelAviv-Amir-Minimum.yml true 15.02 9.22 None termination-crafted/Thun-2.yml true 12.12 7.16 None termination-crafted/Toulouse-BranchesToLoop-2.yml true 9.84 6.20 None termination-crafted/Toulouse-MultiBranchesToLoop-2.yml true 11.37 7.07 None termination-crafted/Waldkirch.yml true 10.19 6.62 None termination-crafted/WhileFalse.yml true 10.33 5.91 None termination-crafted/WhileTrue.yml false(termination) 8.39 4.91 None termination-crafted/easy1.yml true 9.23 5.63 None termination-crafted/easy2-2.yml true 9.25 6.35 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1.yml true 15.01 9.78 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9.yml true 12.56 7.90 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1.yml true 8.63 5.44 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2-2.yml true 8.90 5.92 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops.yml true 28.15 21.49 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop-1.yml true 26.31 21.18 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d-2.yml true 9.76 6.14 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d.yml true 9.38 5.82 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2.yml true 12.75 7.63 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3.yml true 11.91 8.27 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4.yml true 14.41 8.50 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2.yml true 12.88 8.48 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2.yml true 12.01 7.78 None termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise.yml true 11.29 7.49 None termination-crafted-lit/Avery-FLOPS2006-Table1.yml true 12.64 7.62 None termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified.yml false(termination) 8.55 5.31 None termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1.yml true 16.05 9.14 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1.yml true 11.13 7.40 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a.yml true 13.91 9.31 None termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction.yml true 9.17 5.60 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1.yml true 8.91 5.79 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2.yml true 10.97 6.64 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d.yml true 8.92 5.75 None termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d.yml true 11.90 7.01 None termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction.yml false(termination) 8.75 5.28 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20.yml true 8.84 5.36 None termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01.yml true 12.19 7.05 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1.yml true 10.48 7.47 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a.yml true 12.39 7.65 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b.yml true 14.27 9.54 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified.yml true 14.01 8.58 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a.yml true 14.58 8.69 None termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b.yml true 11.65 7.23 None termination-crafted-lit/GopanReps-CAV2006-Fig1a.yml true 12.26 7.99 None termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1.yml true 47.23 37.64 None termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3.yml true 8.73 5.88 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1.yml true 8.71 5.47 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4.yml true 8.69 5.50 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5.yml ERROR 191.69 170.42 None termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6.yml true 10.06 6.41 None termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample.yml false(termination) 10.92 6.27 None termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex.yml true 9.21 5.53 None termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1.yml true 10.80 7.41 None termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1.yml true 14.82 9.25 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4.yml true 44.01 37.29 None termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5.yml ERROR 91.36 83.05 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1.yml true 10.74 6.77 None termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9.yml true 13.05 7.76 None termination-crafted-lit/LeikeHeizmann-WST2014-Ex9.yml true 9.20 6.17 None termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1.yml true 22.76 18.58 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1.yml true 10.15 6.44 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2.yml true 14.01 8.24 None termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4.yml true 10.82 7.77 None termination-crafted-lit/Urban-WST2013-Fig1.yml false(termination) 10.19 6.31 None termination-crafted-lit/Urban-WST2013-Fig2-modified1000.yml TIMEOUT 300.76 221.11 None termination-crafted-lit/Urban-WST2013-Fig2.yml true 10.96 7.59 None termination-crafted-lit/UrbanMine-ESOP2014-Fig3.yml true 14.05 9.46 None termination-crafted-lit/Velroyen.yml false(termination) 16.04 9.32 None termination-crafted-lit/aviad.yml true 9.14 5.96 None termination-crafted-lit/cstrcmp.yml true 14.62 8.39 None termination-crafted-lit/cstrcspn.yml true 19.26 12.02 None termination-crafted-lit/cstrlen.yml true 9.39 5.81 None termination-crafted-lit/cstrpbrk.yml true 30.11 18.17 None termination-crafted-lit/cstrspn.yml true 16.74 9.52 None termination-crafted-lit/genady.yml true 9.17 5.66 None termination-crafted-lit/strchr-2.yml true 19.27 12.66 None termination-numeric/Ackermann01-1.yml true 238.07 196.82 None termination-numeric/Binomial.yml OUT OF MEMORY 278.26 229.55 None termination-numeric/EvenOdd01-2.yml true 13.57 8.48 None termination-numeric/Fibonacci01-2.yml OUT OF MEMORY 59.91 45.02 None termination-numeric/LeUserDefRec.yml true 11.47 6.97 None termination-numeric/LogRecursive.yml TIMEOUT 301.12 286.00 None termination-numeric/Parts.yml OUT OF MEMORY 81.40 53.13 None termination-numeric/TerminatorRec02.yml true 9.05 5.52 None termination-numeric/TwoWay.yml true 18.73 14.71 None termination-numeric/gcd01-2.yml true 13.77 9.10 None termination-numeric/java_LogBuiltIn.yml true 9.45 5.80 None termination-numeric/recHanoi02-1.yml true 9.69 6.43 None termination-numeric/rec_counter1.yml true 11.28 7.04 None termination-numeric/rec_counter3.yml true 12.93 8.37 None termination-numeric/twisted.yml true 13.16 7.81 None termination-restricted-15/AlternKonv.yml false(termination) 9.86 6.07 None termination-restricted-15/ComplInterv2.yml false(termination) 8.14 5.24 None termination-restricted-15/ConvLower.yml false(termination) 11.02 6.28 None termination-restricted-15/DivMinus.yml true 8.96 5.69 None termination-restricted-15/DivMinus2.yml true 13.61 8.90 None termination-restricted-15/Ex02.yml false(termination) 10.71 6.09 None termination-restricted-15/Ex03.yml false(termination) 8.11 4.98 None termination-restricted-15/Ex05.yml false(termination) 10.85 6.31 None termination-restricted-15/Ex06.yml false(termination) 9.15 5.75 None termination-restricted-15/Ex07.yml false(termination) 9.90 6.29 None termination-restricted-15/Ex08.yml OUT OF MEMORY 288.23 266.50 None termination-restricted-15/Flip.yml false(termination) 11.90 6.77 None termination-restricted-15/Flip2.yml false(termination) 13.13 8.67 None termination-restricted-15/GCD-1.yml false(termination) 11.71 6.63 None termination-restricted-15/GCD2.yml false(termination) 8.89 6.02 None termination-restricted-15/GCD3.yml true 19.59 12.64 None termination-restricted-15/GCD4.yml true 14.91 9.86 None termination-restricted-15/IntPath.yml true 8.72 5.41 None termination-restricted-15/Log.yml true 13.40 7.92 None termination-restricted-15/LogAG.yml true 11.11 7.70 None termination-restricted-15/Loop-2.yml false(termination) 12.44 7.03 None termination-restricted-15/McCarthyIterative.yml true 13.81 8.82 None termination-restricted-15/MinusBuiltIn.yml true 12.80 7.64 None termination-restricted-15/MinusUserDefined.yml true 13.05 7.61 None termination-restricted-15/MirrorIntervSim.yml false(termination) 16.30 11.06 None termination-restricted-15/NO_00.yml false(termination) 12.02 6.70 None termination-restricted-15/NO_01.yml false(termination) 10.68 6.24 None termination-restricted-15/NO_02.yml false(termination) 11.33 6.54 None termination-restricted-15/NO_03.yml false(termination) 8.90 5.99 None termination-restricted-15/NO_04.yml false(termination) 12.70 7.19 None termination-restricted-15/NO_13.yml false(termination) 28.25 16.35 None termination-restricted-15/NO_21.yml false(termination) 8.21 5.06 None termination-restricted-15/NO_22.yml false(termination) 21.36 14.95 None termination-restricted-15/NO_23.yml false(termination) 14.05 8.97 None termination-restricted-15/NO_24.yml ERROR 17.08 9.81 None termination-restricted-15/NarrowKonv.yml false(termination) 48.44 32.02 None termination-restricted-15/Narrowing.yml false(termination) 17.01 13.21 None termination-restricted-15/Nested-2.yml true 11.49 7.60 None termination-restricted-15/PastaA1.yml true 10.73 7.21 None termination-restricted-15/PastaA10.yml true 14.25 8.32 None termination-restricted-15/PastaA4.yml true 9.49 6.43 None termination-restricted-15/PastaA7.yml true 11.80 7.06 None termination-restricted-15/PastaB1.yml true 9.19 5.56 None termination-restricted-15/PastaB14.yml true 10.41 6.71 None termination-restricted-15/PastaB15.yml true 11.43 6.66 None termination-restricted-15/PastaB16.yml true 10.15 7.11 None termination-restricted-15/PastaB17.yml true 12.85 7.53 None termination-restricted-15/PastaB2.yml true 10.60 7.20 None termination-restricted-15/PastaB4.yml true 9.59 6.77 None termination-restricted-15/PastaB6.yml true 9.42 5.83 None termination-restricted-15/PastaB7.yml true 11.75 6.99 None termination-restricted-15/PastaC3.yml true 12.57 8.78 None termination-restricted-15/PastaC7.yml true 22.77 18.40 None termination-restricted-15/PastaC9.yml true 12.54 9.10 None termination-restricted-15/Sequence.yml true 12.18 7.76 None termination-restricted-15/Sunset.yml false(termination) 12.54 9.20 None termination-restricted-15/Swingers.yml ERROR 16.60 12.16 None termination-restricted-15/TwoFloatInterv.yml false(termination) 8.33 5.01 None termination-restricted-15/UpAndDown.yml OUT OF MEMORY 54.17 30.05 None termination-restricted-15/UpAndDownIneq.yml false(termination) 17.43 11.46 None termination-restricted-15/WhileDecr.yml true 8.69 5.55 None termination-restricted-15/WhilePart.yml false(termination) 11.06 6.33 None termination-restricted-15/WhileSingle.yml false(termination) 8.46 5.46 None termination-restricted-15/a.01.yml true 11.79 9.02 None termination-restricted-15/a.04.yml true 8.62 6.25 None termination-restricted-15/a.05.yml true 9.29 5.76 None termination-restricted-15/a.06.yml true 9.22 6.20 None termination-restricted-15/a.07.yml true 11.59 6.94 None termination-restricted-15/a.08.yml true 9.78 6.88 None termination-restricted-15/a.09_assume.yml true 11.15 6.46 None termination-restricted-15/b.01.yml true 10.30 7.11 None termination-restricted-15/b.02.yml true 9.20 6.13 None termination-restricted-15/b.03-no-inv_assume.yml true 9.68 5.91 None termination-restricted-15/b.03_assume.yml true 10.57 7.59 None termination-restricted-15/b.04.yml true 10.52 7.09 None termination-restricted-15/b.05.yml true 9.93 6.35 None termination-restricted-15/b.06.yml true 12.15 6.93 None termination-restricted-15/b.07.yml true 12.42 7.08 None termination-restricted-15/b.09-no-inv_assume.yml true 12.47 9.47 None termination-restricted-15/b.09_assume.yml true 9.17 5.57 None termination-restricted-15/b.10.yml true 11.39 7.33 None termination-restricted-15/b.11.yml true 10.14 7.27 None termination-restricted-15/b.12.yml true 10.62 8.43 None termination-restricted-15/b.13.yml true 10.55 7.40 None termination-restricted-15/b.14.yml true 11.70 6.88 None termination-restricted-15/b.15.yml true 11.57 6.56 None termination-restricted-15/b.16.yml true 9.24 6.08 None termination-restricted-15/b.17.yml true 11.48 7.67 None termination-restricted-15/b.18.yml true 9.89 6.30 None termination-restricted-15/c.01-no-inv.yml true 14.64 8.38 None termination-restricted-15/c.01_assume.yml true 14.36 8.60 None termination-restricted-15/c.02.yml true 10.25 8.30 None termination-restricted-15/c.03.yml true 9.75 6.79 None termination-restricted-15/c.07.yml true 10.20 7.48 None termination-restricted-15/c.08.yml true 11.52 7.99 None termination-restricted-15/ex3a.yml ERROR 24.38 15.22 None termination-restricted-15/ex3b.yml ERROR 20.25 13.79 None termination-restricted-15/java_AG313.yml true 11.20 6.67 None termination-restricted-15/java_Break.yml true 10.68 6.90 None termination-restricted-15/java_Continue1.yml true 9.05 5.59 None termination-restricted-15/java_Nested.yml true 11.53 8.35 None termination-restricted-15/java_Sequence.yml true 12.68 7.89 None termination-nla/cohencu1-both-nt.yml false(termination) 8.68 5.76 None termination-nla/cohencu1-both-t.yml true 11.61 7.04 None termination-nla/cohencu2-both-nt.yml ERROR 19.77 12.18 None termination-nla/cohencu2-both-t.yml ERROR 18.89 14.85 None termination-nla/cohencu3-both-nt.yml ERROR 17.20 12.37 None termination-nla/cohencu3-both-t.yml ERROR 17.65 12.20 None termination-nla/cohencu4-both-nt.yml ERROR 17.82 13.11 None termination-nla/cohencu4-both-t.yml ERROR 17.68 13.16 None termination-nla/cohencu5-both-nt.yml ERROR 21.75 13.51 None termination-nla/cohencu5-both-t.yml ERROR 19.11 14.13 None termination-nla/cohencu6-both-t.yml ERROR 19.25 12.12 None termination-nla/cohencu7-both-t.yml ERROR 16.94 11.17 None termination-nla/dijkstra1-both-nt.yml false(termination) 11.57 6.90 None termination-nla/dijkstra1-both-t.yml TIMEOUT 301.15 269.61 None termination-nla/dijkstra2-both-t.yml TIMEOUT 301.17 284.05 None termination-nla/dijkstra3-both-t.yml TIMEOUT 301.46 271.03 None termination-nla/dijkstra4-both-t.yml TIMEOUT 301.22 286.86 None termination-nla/dijkstra5-both-t.yml TIMEOUT 300.39 275.76 None termination-nla/dijkstra6-both-t.yml TIMEOUT 301.18 285.47 None termination-nla/divbin1-both-nt.yml false(termination) 8.58 5.90 None termination-nla/divbin1-both-t.yml ERROR 36.61 26.37 None termination-nla/egcd2-both-t.yml ERROR 29.22 19.21 None termination-nla/hard2-both-t.yml ERROR 70.29 61.45 None termination-nla/knuth-both-nt.yml ERROR (7) 7.62 4.68 None termination-nla/knuth-both-t.yml ERROR (7) 8.82 5.55 None termination-nla/knuth-nosqrt-both-nt.yml TIMEOUT 300.89 297.00 None termination-nla/knuth-nosqrt-both-t.yml TIMEOUT 300.90 297.07 None termination-nla/lcm1-both-nt.yml TIMEOUT 300.98 289.70 None termination-nla/lcm1-both-t.yml ERROR 215.23 186.56 None termination-nla/mannadiv-both-nt.yml ERROR 15.79 10.33 None termination-nla/mannadiv-both-t.yml ERROR 18.57 11.57 None termination-nla/ps2-both-nt.yml ERROR 15.98 10.37 None termination-nla/ps2-both-t.yml ERROR 14.91 9.65 None termination-nla/ps3-both-nt.yml ERROR 21.20 13.10 None termination-nla/ps3-both-t.yml ERROR 15.34 9.72 None termination-nla/ps4-both-nt.yml ERROR 17.31 11.37 None termination-nla/ps4-both-t.yml ERROR 19.46 11.89 None termination-nla/ps5-both-nt.yml ERROR 17.32 11.36 None termination-nla/ps5-both-t.yml ERROR 15.84 10.05 None termination-nla/ps6-both-nt.yml ERROR 20.41 12.80 None termination-nla/ps6-both-t.yml ERROR 13.87 9.01 None termination-nla/sqrt1-both-nt.yml ERROR 20.01 12.70 None termination-nla/sqrt1-both-t.yml ERROR 16.78 11.65 None -------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 10321.57 686.70 - Statistics: 2475 Files correct: 1448 correct true: 875 correct false: 573 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1027 Score: 2323 (max: 4073)