Tool 2LS 0.5.0 AProVE CBMC 5.6 Ceagle Ceagle 1.3 @ 53cfa89 CPAchecker 1.6.1-svn 23987 CPAchecker 1.6.1-svn 24048 DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017 ESBMC ESBMC version 3.1 64-bit x86_64 linux HipTNT+ SMACK+Corral 1.7.2 symbiotic KLEE:7f3c74aa-dg:96e851cf-symbiotic:69a1d8e6-minisat:3db58943-stp:39fa956f-LLVMInstrumentation:f750b24a ULTIMATE Automizer f7c3ed31 ULTIMATE Kojak f7c3ed31 ULTIMATE Taipan f7c3ed31
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic Linux 4.4.0-57-generic Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-11 11:55:43 CET 2017-01-10 17:21:21 CET 2017-01-11 15:45:28 CET 2017-01-11 11:02:44 CET 2017-01-11 11:04:11 CET 2017-01-11 12:57:03 CET 2017-01-13 09:38:46 CET 2017-01-13 10:06:48 CET 2017-01-13 09:48:46 CET 2017-01-13 09:50:10 CET 2017-01-13 10:37:20 CET 2017-01-13 11:03:47 CET 2017-01-13 10:46:53 CET 2017-01-14 08:07:14 CET 2017-01-14 16:40:33 CET 2017-01-14 08:15:08 CET 2017-01-14 08:14:11 CET 2017-01-14 17:36:57 CET
Run set 2ls.sv-comp17.Termination-MainControlFlow aprove.sv-comp17.Termination-MainControlFlow cbmc.sv-comp17.Termination-MainControlFlow ceagle.sv-comp17.Termination-MainControlFlow cpa-bam-bnb.sv-comp17.Termination-MainControlFlow cpa-kind.sv-comp17.Termination-MainControlFlow cpa-seq.sv-comp17.Termination-MainControlFlow depthk.sv-comp17.Termination-MainControlFlow esbmc.sv-comp17.Termination-MainControlFlow esbmc-falsi.sv-comp17.Termination-MainControlFlow esbmc-incr.sv-comp17.Termination-MainControlFlow esbmc-kind.sv-comp17.Termination-MainControlFlow hiptnt.sv-comp17.Termination-MainControlFlow smack.sv-comp17.Termination-MainControlFlow symbiotic4.sv-comp17.Termination-MainControlFlow uautomizer.sv-comp17.Termination-MainControlFlow ukojak.sv-comp17.Termination-MainControlFlow utaipan.sv-comp17.Termination-MainControlFlow
Options --graphml-witness witness.graphml --graphml-witness witness.graphml --compiler clang-3.7 -sv-comp17-bam-bnb -disable-java-assertions -heap 10000m -sv-comp17-k-induction -heap 10000M -disable-java-assertions -sv-comp17 -heap 10000M -disable-java-assertions -s fixed -s falsi -s incr -s kinduction -w error-witness.graphml --witness witness.graphml
../../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety.c error (5) .15  43 1.6  0 error (1) 5.9 350 48 0 error (42) .013  1.1  .045 0 unknown .0085 .91 .025  0 error (1) .42 39 3.5 0 error (1) .43 39 4.3 0 timeout 900   4500 11000 0 unknown 1.2 56 12 0 error (1) .041 4.8 .13  0 error (1) .044 4.7 .11  0 error (1) .020 4.8 .16  0 error (1) .020 4.8 .14  0 timeout 960     1600 11000    0 error (1) .045 7.5 .38 0 unknown .080 7.2 .46 0 false(termination) 5.6 320 37 1 error (1) .027 5.4 .20 0 error (1) .048 5.4 .16 0
termination-crafted/Bangalore_v2_false-termination_true-valid-memsafety.c error (5) .12  23 1.3  0 false(termination) 5.3 360 41 1 error (42) .014  1.4  .042 0 unknown .010  .76 .013  0 error (1) .44 40 4.0 0 error (1) .41 40 4.5 0 false(termination) 2.6 260 24 1 unknown 1.1 56 12 0 error (1) .017 4.8 .19  0 error (1) .045 4.8 .13  0 error (1) .028 4.9 .15  0 error (1) .044 4.8 .11  0 false(termination) .16  46 1.5  1 error (1) .059 7.2 .34 0 unknown .053 7.2 .65 0 false(termination) 5.3 320 42 1 error (1) .051 5.1 .18 0 error (1) .050 5.5 .16 0
termination-crafted/Binary_Search_false-termination_true-valid-memsafety.c error (5) .12  22 .78 0 error (1) 42   2300 530 0 error (42) .013  1.1  .066 0 unknown .0090 .86 .026  0 error (1) .43 38 3.9 0 error (1) .44 40 3.4 0 error (recursion) 2.5 270 21 0 unknown 700   15000 9600 0 error (1) .031 4.8 .11  0 error (1) .043 4.8 .11  0 error (1) .030 4.7 .10  0 error (1) .046 4.7 .11  0 true .33  47 3.1  -32 error (1) .069 7.3 .33 0 unknown .059 7.2 .48 0 false(termination) 6.3 330 49 1 error (1) .056 5.4 .14 0 error (1) .045 5.4 .17 0
termination-crafted/Cairo_step2_false-termination_true-valid-memsafety.c error (5) .30  31 3.6  0 false(termination) 10   640 62 1 error (42) .012  1.0  .048 0 unknown .0089 .75 .022  0 error (1) .45 40 3.7 0 error (1) .42 37 4.1 0 unknown 6.2 450 55 0 unknown 1.2 56 13 0 error (1) .039 4.8 .10  0 error (1) .030 4.8 .12  0 error (1) .021 4.9 .13  0 error (1) .018 4.8 .16  0 false(termination) .33  49 3.3  1 error (1) .070 7.5 .30 0 unknown .057 7.3 .53 0 false(termination) 9.5 480 70 1 error (1) .041 5.4 .24 0 error (1) .054 5.4 .15 0
termination-crafted/Division_false-termination_true-valid-memsafety.c error (5) .13  23 .89 0 false(termination) 6.2 360 46 1 error (42) .016  1.2  .044 0 unknown .0099 .91 .020  0 error (1) .42 37 4.1 0 error (1) .39 37 4.1 0 false(termination) 2.8 270 22 1 unknown 1.2 56 12 0 error (1) .021 4.8 .13  0 error (1) .031 4.9 .11  0 error (1) .019 4.8 .17  0 error (1) .044 4.8 .13  0 false(termination) .16  44 1.3  1 error (1) .060 7.4 .35 0 unknown .082 7.2 .55 0 false(termination) 5.3 320 41 1 error (1) .050 5.3 .17 0 error (1) .050 5.4 .18 0
termination-crafted/Madrid_false-termination_true-valid-memsafety.c false(termination) .13  22 .91 1 false(termination) 2.8 260 24 1 error (42) .013  1.2  .038 0 unknown .0090 .93 .023  0 error (1) .41 38 3.6 0 error (1) .39 37 3.9 0 false(termination) 2.6 270 23 1 unknown 1.2 56 12 0 error (1) .019 4.8 .16  0 error (1) .030 4.7 .11  0 error (1) .019 4.8 .13  0 error (1) .046 4.8 .10  0 false(termination) .11  42 .79 1 error (1) .060 7.1 .35 0 unknown .054 7.2 .67 0 false(termination) 5.9 320 41 1 error (1) .048 5.3 .15 0 error (1) .024 5.4 .18 0
termination-crafted/MutualRecursion_1a_false-termination_true-valid-memsafety.c error (5) .11  22 .66 0 error (1) 14   1000 94 0 error (42) .018  .96 .041 0 unknown .0090 1.0  .024  0 error (1) .43 37 3.7 0 error (1) .40 38 4.2 0 error (recursion) 2.5 280 22 0 out of memory 710   15000 8900 0 error (1) .044 4.8 .12  0 error (1) .017 4.7 .18  0 error (1) .043 4.7 .12  0 error (1) .043 4.7 .13  0 false(termination) .19  47 1.6  1 error (1) .060 7.0 .33 0 unknown .082 7.3 .58 0 false(termination) 8.3 490 72 1 error (1) .050 5.3 .16 0 error (1) .052 5.4 .11 0
termination-crafted/Mysore_false-termination_true-valid-memsafety.c error (5) .58  31 5.6  0 timeout 900   3600 11000 0 error (42) .015  1.1  .039 0 unknown .0097 .87 .018  0 error (1) .42 37 3.7 0 error (1) .43 40 3.9 0 unknown 8.5 610 64 0 unknown 1.2 55 13 0 error (1) .041 4.8 .11  0 error (1) .019 4.7 .13  0 error (1) .019 4.7 .090 0 error (1) .020 4.8 .13  0 false(termination) .51  51 5.5  1 error (1) .058 7.3 .34 0 unknown .082 7.2 .58 0 unknown 38   710 400 0 error (1) .029 5.3 .18 0 error (1) .025 5.4 .27 0
termination-crafted/NestedRecursion_1a_false-termination_true-valid-memsafety.c error (5) .12  22 .65 0 out of memory 840   15000 4300 0 error (42) .018  1.1  .046 0 unknown .0088 .89 .0061 0 error (1) .41 40 3.8 0 error (1) .38 38 3.6 0 error (recursion) 2.6 270 22 0 out of memory 670   15000 8500 0 error (1) .019 4.7 .17  0 error (1) .044 4.7 .11  0 error (1) .021 4.9 .17  0 error (1) .021 4.8 .13  0 false(termination) .24  71 2.4  1 error (1) .061 7.5 .37 0 unknown .080 7.2 .58 0 false(termination) 6.4 320 53 1 error (1) .027 5.4 .17 0 error (1) .027 5.5 .22 0
termination-crafted/NestedRecursion_2b_false-termination_true-valid-memsafety.c error (5) .12  22 .69 0 error (1) 12   620 86 0 error (42) .021  1.1  .042 0 unknown .0099 .73 .016  0 error (1) .39 37 3.7 0 error (1) .43 40 3.6 0 error (recursion) 2.5 280 24 0 out of memory 720   15000 9300 0 error (1) .021 4.8 .11  0 error (1) .043 5.0 .14  0 error (1) .021 4.8 .11  0 error (1) .044 4.8 .12  0 false(termination) .18  69 2.0  1 error (1) .044 7.2 .35 0 unknown .085 7.3 .51 0 false(termination) 11   490 92 1 error (1) .049 5.4 .18 0 error (1) .051 5.4 .18 0
termination-crafted/NonTermination3_false-termination_false-valid-deref.c error (5) .32  30 3.5  0 error (1) 11   560 79 0 error (42) .011  1.1  .050 0 unknown .0099 .88 .016  0 error (1) .39 37 3.4 0 error (1) .41 37 3.4 0 unknown 600   4200 7200 0 unknown 1.2 58 13 0 error (1) .043 4.8 .12  0 error (1) .020 4.8 .17  0 error (1) .033 4.8 .18  0 error (1) .025 4.7 .14  0 timeout 960     13000 10000    0 error (1) .072 7.3 .31 0 unknown .080 7.2 .65 0 false(termination) 5.5 320 46 1 error (1) .050 5.3 .17 0 error (1) .024 5.4 .21 0
termination-crafted/NonTerminationSimple7_false-termination_true-valid-memsafety.c error (5) .14  23 1.2  0 false(termination) 3.2 280 27 1 error (42) .021  1.2  .041 0 unknown .0089 .73 .023  0 error (1) .42 37 3.4 0 error (1) .45 40 3.7 0 false(termination) 2.6 270 25 1 unknown 1.2 57 12 0 error (1) .021 4.8 .093 0 error (1) .043 4.8 .12  0 error (1) .028 4.9 .13  0 error (1) .024 5.0 .14  0 false(termination) .13  45 1.3  1 error (1) .062 7.2 .33 0 unknown .056 7.1 .58 0 false(termination) 5.9 330 47 1 error (1) .053 5.3 .21 0 error (1) .053 5.4 .16 0
termination-crafted/RecursiveNonterminating_false-termination_true-valid-memsafety.c error (5) .089 22 .73 0 false(termination) 13   1000 92 1 error (42) .011  1.3  .045 0 unknown .0090 1.1  .024  0 error (1) .42 37 4.0 0 error (1) .42 38 3.8 0 error (recursion) 2.3 270 20 0 unknown 1.2 57 13 0 error (1) .030 4.8 .082 0 error (1) .019 4.7 .18  0 error (1) .044 4.8 .15  0 error (1) .044 4.8 .11  0 unknown 6.6   63 70    0 error (1) .069 7.3 .33 0 unknown .053 7.2 .57 0 false(termination) 5.8 330 47 1 error (1) .043 5.5 .16 0 error (1) .050 5.4 .15 0
termination-crafted/Rotation180_false-termination_true-valid-memsafety.c error (5) .53  30 6.7  0 false(termination) 3.3 260 29 1 error (42) .020  1.1  .033 0 unknown .010  .77 .018  0 error (1) .40 37 3.5 0 error (1) .44 40 3.8 0 false(termination) 2.7 270 23 1 unknown 1.2 57 12 0 error (1) .043 4.7 .13  0 error (1) .044 4.8 .11  0 error (1) .020 4.8 .15  0 error (1) .022 4.7 .12  0 false(termination) .16  44 1.8  1 error (1) .057 7.5 .33 0 unknown .082 7.2 .58 0 false(termination) 5.7 320 44 1 error (1) .051 5.6 .21 0 error (1) .027 5.4 .18 0
termination-crafted/Singapore_plus_false-termination_true-valid-memsafety.c error (5) .65  34 8.2  0 timeout 900   3600 11000 0 error (42) .012  1.2  .071 0 unknown .0095 .77 .021  0 error (1) .40 40 3.9 0 error (1) .43 41 4.0 0 unknown 430   4400 4900 0 unknown 1.2 56 13 0 error (1) .022 4.8 .12  0 error (1) .044 4.8 .13  0 error (1) .046 4.7 .14  0 error (1) .034 4.8 .15  0 false(termination) .50  51 5.6  1 error (1) .070 7.3 .31 0 unknown .084 7.3 .53 0 false(termination) 45   2100 500 1 error (1) .023 5.4 .24 0 error (1) .050 5.3 .16 0
termination-crafted/Singapore_v1_false-termination_true-valid-memsafety.c error (5) .85  39 8.8  0 timeout 900   3600 11000 0 error (42) .019  1.2  .037 0 unknown .0087 .76 .019  0 error (1) .43 40 4.1 0 error (1) .42 38 4.1 0 false(termination) 2.8 270 25 1 unknown 1.2 56 13 0 error (1) .020 4.8 .17  0 error (1) .021 4.9 .14  0 error (1) .020 4.7 .15  0 error (1) .023 4.9 .12  0 false(termination) .50  49 7.3  1 error (1) .069 7.2 .36 0 unknown .065 7.2 .55 0 false(termination) 7.2 340 66 1 error (1) .052 5.4 .16 0 error (1) .027 5.3 .14 0
termination-crafted/Singapore_v2_false-termination_true-valid-memsafety.c error (5) .66  34 8.6  0 timeout 900   3500 11000 0 error (42) .012  1.1  .056 0 unknown .0078 .91 .030  0 error (1) .44 37 3.5 0 error (1) .41 37 3.8 0 unknown 190   4200 2100 0 unknown 1.2 56 13 0 error (1) .021 4.8 .081 0 error (1) .018 4.7 .12  0 error (1) .020 4.9 .12  0 error (1) .020 4.8 .15  0 false(termination) .50  50 5.5  1 error (1) .066 7.1 .33 0 unknown .055 7.2 .48 0 false(termination) 10   360 110 1 error (1) .026 5.5 .20 0 error (1) .044 5.4 .19 0
termination-crafted/WhileTrue_false-termination_true-valid-memsafety.c false(termination) .11  22 .98 1 false(termination) 1.9 210 15 1 error (42) .021  1.2  .048 0 unknown .0072 .88 .018  0 error (1) .42 37 4.0 0 error (1) .41 41 3.7 0 false(termination) 2.7 270 21 1 unknown 1.2 57 13 0 error (1) .044 4.9 .12  0 error (1) .023 4.9 .15  0 error (1) .017 4.8 .19  0 error (1) .020 4.7 .15  0 false(termination) .083 42 .79 1 error (1) .057 7.1 .41 0 unknown .055 7.2 .61 0 false(termination) 6.5 360 49 1 error (1) .049 5.5 .19 0 error (1) .053 5.4 .15 0
termination-crafted/2Nested_true-termination_true-valid-memsafety.c error (5) .52  32 6.3  0 true 8.1 450 60 2 error (42) .016  1.2  .035 0 unknown .0078 1.0  .030  0 error (1) .41 37 4.1 0 error (1) .42 40 4.0 0 timeout 900   4100 12000 0 unknown 1.2 56 12 0 error (1) .021 4.8 .13  0 error (1) .042 4.8 .11  0 error (1) .044 4.8 .13  0 error (1) .044 4.8 .12  0 true .31  47 2.9  2 error (1) .063 7.2 .42 0 unknown .056 7.3 .63 0 true 6.4 320 50 2 error (1) .026 5.4 .15 0 error (1) .046 5.4 .14 0
termination-crafted/4BitCounterPointer_true-termination_true-valid-memsafety.c true .47  32 4.9  2 true 3.8 340 28 2 error (42) .012  1.3  .050 0 unknown .010  .88 .019  0 error (1) .42 40 4.1 0 error (1) .39 37 3.4 0 timeout 900   4200 11000 0 unknown 1.2 56 15 0 error (1) .021 4.8 .16  0 error (1) .044 4.8 .15  0 error (1) .022 4.8 .13  0 error (1) .018 4.8 .18  0 unknown .11  35 .66 0 error (1) .069 7.2 .35 0 unknown .077 7.2 .54 0 true 35   670 370 2 error (1) .050 5.3 .15 0 error (1) .045 5.5 .18 0
termination-crafted/4NestedWith3Variables_true-termination_true-valid-memsafety.c error (5) 58     180 680    0 true 17   1400 110 2 error (42) .020  1.4  .039 0 unknown .0065 .89 .028  0 error (1) .41 37 4.3 0 error (1) .42 38 3.9 0 timeout 900   4600 10000 0 unknown 1.2 57 14 0 error (1) .019 4.8 .16  0 error (1) .044 4.8 .14  0 error (1) .043 4.7 .11  0 error (1) .044 4.8 .11  0 unknown 29     91 390    0 error (1) .063 7.3 .33 0 unknown .057 7.2 .55 0 true 19   340 240 2 error (1) .053 5.5 .14 0 error (1) .045 5.4 .20 0
termination-crafted/Ackermann_true-termination_true-valid-memsafety.c error (5) .12  22 .74 0 true 33   3500 320 2 error (42) .021  1.5  .039 0 unknown .0089 .81 .019  0 error (1) .41 38 4.0 0 error (1) .41 40 3.7 0 error (recursion) 2.4 270 22 0 out of memory 710   15000 8800 0 error (1) .030 4.7 .14  0 error (1) .018 4.8 .16  0 error (1) .020 4.8 .13  0 error (1) .020 4.8 .13  0 true .53  75 6.2  2 error (1) .058 7.2 .34 0 unknown .082 7.2 .46 0 timeout 900   14000 4500 0 error (1) .026 5.5 .21 0 error (1) .025 5.4 .20 0
termination-crafted/Arrays01-EquivalentConstantIndices_true-termination_true-valid-memsafety.c true .58  71 6.4  2 true 8.4 540 58 2 error (42) .020  1.6  .034 0 unknown .0043 .80 .018  0 error (1) .43 40 3.8 0 error (1) .42 38 4.1 0 timeout 900   4300 11000 0 unknown 1.2 56 15 0 error (1) .019 4.8 .19  0 error (1) .040 4.7 .13  0 error (1) .043 4.8 .13  0 error (1) .044 4.9 .15  0 timeout 960     2700 11000    0 error (1) .043 7.5 .35 0 unknown .056 7.2 .58 0 timeout 900   1700 11000 0 error (1) .043 5.4 .21 0 error (1) .052 5.4 .14 0
termination-crafted/Arrays03-ValueRestictsIndex_true-termination_true-valid-memsafety.c true 1.3   84 12    2 true 11   770 74 2 error (42) .013  1.3  .045 0 unknown .011  .94 .027  0 error (1) .45 40 3.5 0 error (1) .38 38 3.6 0 timeout 900   4300 9100 0 unknown 1.2 56 15 0 error (1) .022 4.9 .096 0 error (1) .023 4.8 .14  0 error (1) .021 4.8 .11  0 error (1) .044 4.9 .11  0 unknown 580     6000 8900    0 error (1) .043 7.3 .34 0 unknown .082 7.2 .50 0 timeout 900   1400 12000 0 error (1) .026 5.4 .19 0 error (1) .025 5.5 .23 0
termination-crafted/Bangalore_true-termination_true-valid-memsafety.c true .12  23 .73 2 true 4.3 320 31 2 error (42) .014  1.1  .034 0 unknown .0079 1.1  .023  0 error (1) .43 40 3.5 0 error (1) .40 37 3.6 0 true 3.2 270 32 2 unknown 1.2 56 14 0 error (1) .021 4.8 .11  0 error (1) .022 4.7 .14  0 error (1) .017 4.8 .14  0 error (1) .043 4.8 .15  0 true .13  46 1.8  2 error (1) .065 7.2 .33 0 unknown .054 7.1 .55 0 true 6.6 320 45 2 error (1) .046 5.3 .20 0 error (1) .027 5.3 .17 0
termination-crafted/Bangalore_v4_true-termination_true-valid-memsafety.c error (5) .21  26 1.7  0 true 2.4 220 19 2 error (42) .016  1.4  .039 0 unknown .010  .93 .020  0 error (1) .42 40 4.1 0 error (1) .40 38 3.9 0 unknown 3.1 270 27 0 unknown 1.2 55 12 0 error (1) .018 4.8 .15  0 error (1) .043 4.7 .097 0 error (1) .028 4.8 .23  0 error (1) .031 4.8 .11  0 true .16  46 1.4  2 error (1) .057 7.1 .40 0 unknown .056 7.3 .57 0 true 8.6 380 66 2 error (1) .051 5.4 .18 0 error (1) .051 5.4 .15 0
termination-crafted/Benghazi_nondet_true-termination_true-valid-memsafety.c timeout 900     270 9800    0 true 11   720 67 2 error (42) .021  1.3  .043 0 unknown .0095 1.0  .022  0 error (1) .40 38 3.8 0 error (1) .41 37 3.8 0 timeout 900   4700 11000 0 unknown 1.2 56 12 0 error (1) .021 4.8 .14  0 error (1) .021 4.8 .14  0 error (1) .044 4.7 .13  0 error (1) .021 4.8 .13  0 true .51  53 5.4  2 error (1) .066 7.2 .30 0 unknown .081 7.3 .51 0 true 11   330 98 2 error (1) .024 5.3 .17 0 error (1) .026 5.4 .16 0
termination-crafted/Benghazi_true-termination_true-valid-memsafety.c timeout 900     230 8900    0 true 5.7 440 36 2 error (42) .012  1.1  .048 0 unknown .010  .86 .024  0 error (1) .42 37 3.4 0 error (1) .39 37 3.5 0 true 6.1 450 50 2 unknown 1.2 56 13 0 error (1) .019 4.8 .14  0 error (1) .035 4.8 .11  0 error (1) .019 4.8 .15  0 error (1) .021 4.8 .11  0 true .37  53 3.4  2 error (1) .071 7.5 .28 0 unknown .083 7.1 .57 0 true 8.9 350 73 2 error (1) .024 5.4 .15 0 error (1) .058 5.3 .14 0
termination-crafted/Cairo_true-termination_true-valid-memsafety.c error (5) .30  29 3.2  0 true 4.2 330 28 2 error (42) .016  1.2  .041 0 unknown .0090 .92 .021  0 error (1) .43 40 4.1 0 error (1) .42 37 4.5 0 true 3.5 280 28 2 unknown 1.2 57 13 0 error (1) .021 4.8 .14  0 error (1) .018 4.8 .18  0 error (1) .019 4.7 .12  0 error (1) .043 4.9 .14  0 true .14  46 1.3  2 error (1) .065 7.3 .30 0 unknown .056 7.2 .54 0 true 6.6 330 58 2 error (1) .049 5.3 .20 0 error (1) .029 5.3 .19 0
termination-crafted/Copenhagen_disj_true-termination_true-valid-memsafety.c timeout 900     240 8700    0 true 10   620 64 2 error (42) .016  1.2  .038 0 unknown .010  .88 .021  0 error (1) .42 40 3.9 0 error (1) .42 40 4.4 0 timeout 900   4000 11000 0 unknown 1.2 55 15 0 error (1) .022 4.8 .15  0 error (1) .019 4.8 .18  0 error (1) .044 4.8 .12  0 error (1) .039 4.8 .13  0 true .27  47 4.0  2 error (1) .070 7.4 .32 0 unknown .083 7.2 .47 0 unknown 54   1600 550 0 error (1) .047 5.5 .19 0 error (1) .050 5.3 .15 0
termination-crafted/Copenhagen_true-termination_true-valid-memsafety.c true .21  29 2.7  2 true 2.0 210 16 2 error (42) .015  1.1  .044 0 unknown .0074 .92 .022  0 error (1) .40 39 3.8 0 error (1) .42 37 3.6 0 true 3.9 280 34 2 unknown 1.2 55 11 0 error (1) .021 4.8 .080 0 error (1) .020 4.8 .11  0 error (1) .043 4.8 .13  0 error (1) .045 4.8 .11  0 true .17  46 1.5  2 error (1) .046 7.2 .35 0 unknown .074 7.3 .43 0 true 6.5 330 47 2 error (1) .052 5.3 .19 0 error (1) .026 5.4 .16 0
termination-crafted/Gothenburg_true-termination_true-valid-memsafety.c error (5) .74  36 9.8  0 true 25   2200 190 2 error (42) .012  1.1  .038 0 unknown .0094 1.0  .028  0 error (1) .41 38 4.2 0 error (1) .41 40 3.8 0 true 6.1 420 53 2 unknown 1.2 56 12 0 error (1) .043 4.8 .13  0 error (1) .022 4.8 .087 0 error (1) .029 4.8 .14  0 error (1) .020 4.8 .13  0 unknown 3.4   100 39    0 error (1) .045 7.4 .36 0 unknown .083 7.2 .59 0 true 23   550 200 2 error (1) .054 5.5 .15 0 error (1) .026 5.3 .16 0
termination-crafted/Gothenburg_v2_true-termination_true-valid-memsafety.c error (5) .44  32 4.8  0 timeout 900   3600 11000 0 error (42) .022  1.2  .033 0 unknown .0054 1.0  .014  0 error (1) .41 40 3.8 0 error (1) .43 38 4.3 0 true 35   1500 330 2 unknown 1.2 57 13 0 error (1) .020 4.8 .13  0 error (1) .021 4.8 .13  0 error (1) .042 4.8 .16  0 error (1) .041 4.8 .14  0 true 3.3   100 34    2 error (1) .056 7.2 .37 0 unknown .082 7.2 .54 0 unknown 43   920 390 0 error (1) .040 5.4 .17 0 error (1) .054 5.4 .18 0
termination-crafted/LexIndexValue-Array_true-termination_true-valid-memsafety.c error (5) 2.1   140 18    0 true 28   2500 180 2 error (42) .020  1.3  .041 0 unknown .010  1.0  .016  0 error (1) .43 40 3.9 0 error (1) .40 37 3.8 0 timeout 910   4500 12000 0 unknown 1.2 57 13 0 error (1) .018 4.8 .18  0 error (1) .030 4.8 .17  0 error (1) .021 4.7 .12  0 error (1) .046 4.8 .12  0 timeout 960     12000 14000    0 error (1) .046 7.4 .34 0 unknown .082 7.1 .51 0 timeout 900   1300 13000 0 error (1) .027 5.3 .17 0 error (1) .027 5.4 .17 0
termination-crafted/LexIndexValue-Pointer_true-termination_true-valid-memsafety.c false(termination) .23  27 2.3  -16 error (1) 4.9 400 39 0 error (42) .014  1.3  .039 0 unknown .010  .94 .020  0 error (1) .42 40 3.9 0 error (1) .42 38 4.0 0 timeout 910   4500 12000 0 unknown 1.2 56 13 0 error (1) .022 4.8 .11  0 error (1) .020 4.8 .13  0 error (1) .020 4.9 .18  0 error (1) .023 4.8 .12  0 unknown .087 35 .61 0 error (1) .070 7.2 .33 0 unknown .075 7.1 .52 0 timeout 900   2000 12000 0 error (1) .051 5.4 .16 0 error (1) .051 5.3 .16 0
termination-crafted/Lobnya-Boolean-Reordered_true-termination_true-valid-memsafety.c error (5) .41  30 4.9  0 true 4.9 360 32 2 error (42) .021  1.3  .051 0 unknown .0094 .88 .023  0 error (1) .40 40 3.7 0 error (1) .43 40 4.0 0 unknown 5.2 350 50 0 unknown 1.2 56 13 0 error (1) .020 4.7 .11  0 error (1) .030 4.7 .13  0 error (1) .021 4.8 .13  0 error (1) .030 4.7 .11  0 true .24  47 2.4  2 error (1) .063 7.3 .37 0 unknown .083 7.3 .53 0 true 23   500 220 2 error (1) .045 5.4 .16 0 error (1) .026 5.5 .26 0
termination-crafted/McCarthy91_Iteration_true-termination_true-valid-memsafety.c true .15  24 1.2  2 true 2.2 210 19 2 error (42) .017  1.1  .028 0 unknown .0086 1.1  .018  0 error (1) .45 40 3.7 0 error (1) .41 37 3.7 0 true 61   1800 660 2 unknown 1.2 56 15 0 error (1) .032 4.7 .17  0 error (1) .018 4.7 .14  0 error (1) .021 4.8 .11  0 error (1) .044 4.8 .10  0 true .16  47 1.6  2 error (1) .072 7.4 .33 0 unknown .080 7.3 .48 0 true 10   480 86 2 error (1) .052 5.3 .15 0 error (1) .052 5.5 .16 0
termination-crafted/McCarthy91_Recursion_true-termination_true-valid-memsafety.c error (5) .11  22 .66 0 error (1) 11   700 74 0 error (42) .012  1.1  .050 0 unknown .010  .77 .017  0 error (1) .43 40 3.9 0 error (1) .40 37 3.8 0 error (recursion) 2.5 280 22 0 out of memory 740   15000 10000 0 error (1) .030 4.7 .099 0 error (1) .020 4.8 .13  0 error (1) .020 4.8 .15  0 error (1) .044 4.8 .12  0 true .25  70 2.0  2 error (1) .043 7.1 .35 0 unknown .082 7.3 .51 0 true 53   670 590 2 error (1) .026 5.4 .18 0 error (1) .051 5.5 .16 0
termination-crafted/MenloPark_true-termination_true-valid-memsafety.c error (5) .70  32 8.8  0 error (1) 20   910 160 0 error (42) .021  1.3  .045 0 unknown .010  .77 .016  0 error (1) .40 37 4.0 0 error (1) .42 38 3.3 0 true 6.2 410 50 2 unknown 1.2 55 12 0 error (1) .044 4.8 .12  0 error (1) .021 4.8 .14  0 error (1) .022 4.8 .12  0 error (1) .022 4.8 .13  0 unknown 8.3   73 120    0 error (1) .070 7.3 .33 0 unknown .056 7.1 .55 0 true 7.7 380 62 2 error (1) .024 5.3 .16 0 error (1) .027 5.3 .16 0
termination-crafted/MutualRecursion_1b_true-termination_true-valid-memsafety.c error (5) .10  22 .75 0 true 12   1200 80 2 error (42) .012  1.2  .055 0 unknown .0089 .89 .024  0 error (1) .40 37 3.5 0 error (1) .43 40 4.5 0 error (recursion) 2.8 280 21 0 out of memory 710   15000 11000 0 error (1) .044 4.8 .12  0 error (1) .019 4.8 .14  0 error (1) .037 4.7 .12  0 error (1) .020 4.8 .10  0 true .16  47 1.5  2 error (1) .040 7.5 .43 0 unknown .056 7.2 .48 0 timeout 910   13000 6900 0 error (1) .028 5.3 .15 0 error (1) .023 5.3 .17 0
termination-crafted/Mysore_true-termination_true-valid-memsafety.c error (5) .71  36 8.6  0 true 7.5 500 52 2 error (42) .013  1.3  .041 0 unknown .0089 .80 .020  0 error (1) .43 40 4.0 0 error (1) .43 40 3.9 0 true 5.2 410 41 2 unknown 1.2 55 13 0 error (1) .019 4.8 .18  0 error (1) .019 4.8 .19  0 error (1) .043 4.8 .14  0 error (1) .021 4.7 .093 0 true .33  49 4.2  2 error (1) .069 7.2 .33 0 unknown .054 7.3 .53 0 true 8.8 340 72 2 error (1) .025 5.4 .16 0 error (1) .039 5.4 .18 0
termination-crafted/NestedRecursion_1b_true-termination_true-valid-memsafety.c error (5) .095 22 .59 0 out of memory 770   15000 3500 0 error (42) .0099 1.0  .031 0 unknown .0090 1.1  .022  0 error (1) .40 37 3.8 0 error (1) .38 38 4.1 0 error (recursion) 2.6 280 22 0 out of memory 680   15000 7600 0 error (1) .022 4.8 .13  0 error (1) .021 4.7 .092 0 error (1) .021 4.9 .14  0 error (1) .021 4.8 .16  0 true .23  71 2.5  2 error (1) .067 7.2 .40 0 unknown .084 7.2 .54 0 true 19   530 170 2 error (1) .050 5.4 .16 0 error (1) .051 5.4 .17 0
termination-crafted/NestedRecursion_1c_true-termination_true-valid-memsafety.c error (5) .12  22 .73 0 true 7.3 630 50 2 error (42) .011  1.2  .046 0 unknown .011  1.1  .019  0 error (1) .43 40 3.6 0 error (1) .43 38 4.1 0 error (recursion) 2.5 280 21 0 out of memory 620   15000 8700 0 error (1) .044 4.8 .12  0 error (1) .020 4.8 .095 0 error (1) .021 4.8 .16  0 error (1) .039 4.8 .16  0 true .24  75 3.1  2 error (1) .067 7.5 .30 0 unknown .053 7.3 .56 0 true 9.1 440 74 2 error (1) .055 5.5 .17 0 error (1) .051 5.4 .18 0
termination-crafted/NestedRecursion_1d_true-termination_true-valid-memsafety.c error (5) .095 22 .64 0 out of memory 760   15000 3600 0 error (42) .022  1.0  .052 0 unknown .0089 .86 .027  0 error (1) .46 40 3.9 0 error (1) .38 38 4.1 0 error (recursion) 2.4 280 22 0 out of memory 680   15000 8200 0 error (1) .032 4.8 .13  0 error (1) .039 4.8 .13  0 error (1) .046 4.8 .11  0 error (1) .020 4.8 .13  0 true .22  71 2.1  2 error (1) .066 7.3 .34 0 unknown .053 7.2 .57 0 true 13   510 98 2 error (1) .028 5.5 .23 0 error (1) .041 5.3 .16 0
termination-crafted/NestedRecursion_2c_true-termination_true-valid-memsafety.c error (5) .10  22 .62 0 true 6.7 500 59 2 error (42) .012  1.1  .046 0 unknown .0098 .92 .027  0 error (1) .40 37 4.2 0 error (1) .44 41 4.0 0 error (recursion) 2.5 280 24 0 out of memory 710   15000 8900 0 error (1) .021 4.7 .16  0 error (1) .021 4.7 .14  0 error (1) .034 4.8 .14  0 error (1) .041 4.8 .13  0 true .19  71 1.7  2 error (1) .066 7.3 .36 0 unknown .073 7.2 .65 0 timeout 900   12000 11000 0 error (1) .054 5.3 .19 0 error (1) .023 5.4 .13 0
termination-crafted/Nyala-2lex_true-termination_true-valid-memsafety.c true .16  27 1.3  2 true 2.4 210 20 2 error (42) .018  1.3  .044 0 unknown .0068 .91 .016  0 error (1) .40 38 3.9 0 error (1) .43 38 3.6 0 true 5.0 310 45 2 unknown 1.2 56 12 0 error (1) .023 4.7 .13  0 error (1) .041 4.8 .14  0 error (1) .021 4.8 .11  0 error (1) .039 4.7 .14  0 true .23  48 2.0  2 error (1) .062 7.5 .34 0 unknown .055 7.1 .59 0 true 7.4 390 62 2 error (1) .043 5.2 .16 0 error (1) .049 5.4 .16 0
termination-crafted/Parallel_true-termination_true-valid-memsafety.c true .12  23 1.2  2 true 2.7 220 22 2 error (42) .019  1.1  .048 0 unknown .0081 .88 .033  0 error (1) .41 37 3.5 0 error (1) .38 37 3.7 0 true 4.8 300 39 2 unknown 1.2 56 16 0 error (1) .019 4.8 .15  0 error (1) .019 4.7 .11  0 error (1) .044 4.7 .13  0 error (1) .042 4.8 .14  0 true .18  47 1.6  2 error (1) .062 7.3 .31 0 unknown .061 7.3 .60 0 true 6.5 330 56 2 error (1) .052 5.4 .15 0 error (1) .043 5.3 .17 0
termination-crafted/Piecewise_true-termination_true-valid-memsafety.c error (5) .41  30 4.4  0 true 38   2500 220 2 error (42) .021  1.2  .052 0 unknown .010  1.1  .014  0 error (1) .41 37 3.8 0 error (1) .41 40 3.8 0 true 5.3 310 46 2 unknown 1.2 57 14 0 error (1) .022 4.8 .16  0 error (1) .020 4.8 .14  0 error (1) .041 4.8 .10  0 error (1) .039 4.8 .15  0 true .25  48 2.2  2 error (1) .070 7.3 .37 0 unknown .082 7.1 .54 0 true 9.0 480 85 2 error (1) .023 5.3 .19 0 error (1) .044 5.4 .15 0
termination-crafted/Pure2Phase_true-termination_true-valid-memsafety.c error (5) .48  31 7.0  0 true 12   590 81 2 error (42) .016  1.3  .045 0 unknown .0098 .92 .019  0 error (1) .43 40 3.5 0 error (1) .42 38 3.8 0 true 4.7 300 38 2 unknown 1.2 56 13 0 error (1) .030 4.8 .19  0 error (1) .020 4.8 .12  0 error (1) .035 4.8 .11  0 error (1) .018 4.7 .13  0 unknown .28  44 3.0  0 error (1) .037 7.1 .34 0 unknown .056 7.2 .51 0 true 7.5 440 59 2 error (1) .027 5.3 .15 0 error (1) .027 5.4 .17 0
termination-crafted/Pure3Phase_true-termination_true-valid-memsafety.c error (5) 9.9   48 120    0 timeout 910   11000 4300 0 error (42) .012  1.2  .047 0 unknown .0097 .72 .018  0 error (1) .40 38 4.1 0 error (1) .41 38 3.9 0 timeout 900   4500 11000 0 unknown 1.3 56 12 0 error (1) .039 4.7 .12  0 error (1) .022 4.7 .14  0 error (1) .020 4.9 .17  0 error (1) .040 4.8 .11  0 true .51  48 5.2  2 error (1) .064 7.5 .35 0 unknown .081 7.2 .46 0 true 11   450 84 2 error (1) .026 5.4 .18 0 error (1) .025 5.4 .19 0
termination-crafted/RecursiveMultiplication_true-termination_true-valid-memsafety.c error (5) .084 22 .88 0 true 37   3500 410 2 error (42) .022  1.1  .046 0 unknown .0099 .98 .022  0 error (1) .42 40 3.4 0 error (1) .41 37 3.7 0 error (recursion) 2.5 270 20 0 out of memory 710   15000 8400 0 error (1) .026 4.9 .13  0 error (1) .020 4.8 .15  0 error (1) .020 4.8 .13  0 error (1) .026 4.8 .12  0 true .23  47 2.0  2 error (1) .068 7.3 .31 0 unknown .052 7.1 .61 0 true 9.5 480 84 2 error (1) .052 5.4 .13 0 error (1) .025 5.5 .22 0
termination-crafted/Singapore_true-termination_true-valid-memsafety.c error (5) .67  32 7.7  0 out of memory 640   15000 3500 0 error (42) .017  1.2  .038 0 unknown .0092 .82 .018  0 error (1) .40 37 3.7 0 error (1) .41 37 3.6 0 true 13   970 100 2 unknown 1.2 58 14 0 error (1) .022 4.8 .14  0 error (1) .044 4.7 .12  0 error (1) .018 4.8 .19  0 error (1) .042 4.8 .16  0 true .55  48 5.4  2 error (1) .060 7.4 .40 0 unknown .053 7.1 .70 0 true 8.1 390 60 2 error (1) .044 5.3 .21 0 error (1) .028 5.3 .21 0
termination-crafted/Stockholm_true-termination_true-valid-memsafety.c true .17  26 1.2  2 true 6.0 470 45 2 error (42) .012  1.3  .056 0 unknown .0091 .92 .019  0 error (1) .40 38 3.9 0 error (1) .42 38 3.7 0 true 4.1 300 36 2 unknown 1.2 55 14 0 error (1) .019 4.8 .18  0 error (1) .017 4.8 .15  0 error (1) .044 4.8 .13  0 error (1) .021 4.7 .13  0 true .29  47 2.7  2 error (1) .069 7.5 .33 0 unknown .056 7.3 .59 0 true 19   440 190 2 error (1) .025 5.5 .24 0 error (1) .026 5.4 .18 0
termination-crafted/SyntaxSupportPointer01_true-termination_true-valid-memsafety.c false(termination) .19  23 1.3  -16 true 4.8 320 35 2 error (42) .015  1.1  .043 0 unknown .0093 1.0  .024  0 error (1) .41 37 3.6 0 error (1) .42 40 3.8 0 true 5.7 350 49 2 unknown 1.2 56 13 0 error (1) .040 4.8 .13  0 error (1) .019 4.8 .16  0 error (1) .018 4.8 .15  0 error (1) .043 4.8 .11  0 unknown .069 35 .72 0 error (1) .069 7.2 .31 0 unknown .055 7.2 .57 0 true 7.7 410 61 2 error (1) .051 5.3 .15 0 error (1) .025 5.5 .21 0
termination-crafted/TelAviv-Amir-Minimum_true-termination_true-valid-memsafety.c error (5) .95  39 11    0 out of memory 890   15000 4700 0 error (42) .012  1.1  .048 0 unknown .0092 .91 .030  0 error (1) .44 40 3.5 0 error (1) .42 37 3.6 0 true 5.8 330 51 2 unknown 1.2 56 12 0 error (1) .031 4.8 .11  0 error (1) .018 4.8 .15  0 error (1) .030 4.7 .13  0 error (1) .044 4.8 .15  0 true .33  47 3.7  2 error (1) .065 7.2 .33 0 unknown .058 7.5 .49 0 true 15   510 120 2 error (1) .028 5.4 .21 0 error (1) .024 5.4 .21 0
termination-crafted/Thun_true-termination_true-valid-memsafety.c error (5) .60  31 7.3  0 true 6.3 360 50 2 error (42) .012  1.2  .043 0 unknown .010  .73 .013  0 error (1) .42 37 4.0 0 error (1) .41 37 3.5 0 true 5.4 310 43 2 unknown 1.2 55 13 0 error (1) .021 4.8 .11  0 error (1) .023 4.9 .16  0 error (1) .023 4.7 .14  0 error (1) .020 4.8 .12  0 true .23  47 2.4  2 error (1) .062 7.1 .32 0 unknown .078 7.2 .52 0 true 6.0 320 46 2 error (1) .051 5.4 .14 0 error (1) .045 5.4 .20 0
termination-crafted/Toulouse-BranchesToLoop_true-termination_true-valid-memsafety.c error (5) .39  27 4.0  0 true 7.5 520 51 2 error (42) .016  1.1  .040 0 unknown .0070 .80 .018  0 error (1) .42 37 3.8 0 error (1) .42 37 3.6 0 true 6.2 350 51 2 unknown 1.2 56 13 0 error (1) .021 4.7 .15  0 error (1) .038 4.8 .16  0 error (1) .017 4.7 .19  0 error (1) .039 4.8 .13  0 true .33  48 3.4  2 error (1) .042 7.3 .35 0 unknown .054 7.3 .56 0 true 31   480 320 2 error (1) .047 5.3 .19 0 error (1) .023 5.4 .14 0
termination-crafted/Toulouse-MultiBranchesToLoop_true-termination_true-valid-memsafety.c error (5) .44  27 4.9  0 true 8.5 560 55 2 error (42) .0099 1.2  .029 0 unknown .0089 .87 .020  0 error (1) .42 40 3.5 0 error (1) .42 38 3.5 0 true 7.3 470 59 2 unknown 1.3 57 13 0 error (1) .019 4.8 .15  0 error (1) .021 4.7 .17  0 error (1) .018 4.7 .19  0 error (1) .022 4.8 .13  0 true .93  49 13    2 error (1) .044 7.3 .41 0 unknown .080 7.2 .54 0 true 34   600 370 2 error (1) .026 5.2 .23 0 error (1) .024 5.4 .17 0
termination-crafted/Waldkirch_true-termination_true-valid-memsafety.c true .13  23 .90 2 true 3.5 260 27 2 error (42) .021  1.4  .047 0 unknown .0091 .87 .024  0 error (1) .43 40 4.1 0 error (1) .40 37 4.2 0 true 3.2 270 29 2 unknown 1.2 55 11 0 error (1) .019 4.7 .14  0 error (1) .022 4.7 .11  0 error (1) .018 4.7 .14  0 error (1) .017 4.8 .14  0 true .12  45 1.1  2 error (1) .045 7.3 .31 0 unknown .081 7.2 .52 0 true 5.6 320 46 2 error (1) .024 5.3 .14 0 error (1) .051 5.4 .14 0
termination-crafted/WhileFalse_true-termination_true-valid-memsafety.c error (5) .096 22 .66 0 true 1.6 160 14 2 error (42) .021  1.4  .044 0 unknown .0089 .90 .017  0 error (1) .40 38 3.6 0 error (1) .43 40 3.6 0 true 2.4 270 19 2 unknown 1.1 56 16 0 error (1) .018 4.8 .16  0 error (1) .038 4.8 .14  0 error (1) .021 4.8 .17  0 error (1) .024 4.9 .15  0 true .082 42 .70 2 error (1) .062 7.3 .36 0 unknown .079 7.2 .51 0 true 5.2 320 42 2 error (1) .038 5.3 .13 0 error (1) .051 5.6 .17 0
termination-crafted/aaron2_true-termination_true-valid-memsafety.c error (5) .36  30 3.5  0 true 50   3400 280 2 error (42) .021  1.4  .051 0 unknown .0093 1.1  .021  0 error (1) .44 40 4.2 0 error (1) .44 40 3.6 0 true 4.2 310 34 2 unknown 1.2 56 12 0 error (1) .031 4.7 .099 0 error (1) .043 4.7 .097 0 error (1) .042 4.8 .13  0 error (1) .034 4.8 .15  0 true .38  47 4.3  2 error (1) .042 7.1 .41 0 unknown .080 7.3 .51 0 true 6.5 320 49 2 error (1) .051 5.3 .17 0 error (1) .051 5.3 .15 0
termination-crafted/aaron3_true-termination_true-valid-memsafety.c error (5) 1.5   54 18    0 timeout 910   8600 5000 0 error (42) .021  1.3  .052 0 unknown .0089 .85 .025  0 error (1) .43 40 4.1 0 error (1) .43 40 4.0 0 timeout 900   4600 13000 0 unknown 1.3 55 13 0 error (1) .020 4.8 .16  0 error (1) .037 4.8 .12  0 error (1) .019 4.7 .13  0 error (1) .022 4.8 .12  0 unknown .40  44 4.0  0 error (1) .066 7.3 .32 0 unknown .054 7.2 .52 0 true 22   490 200 2 error (1) .051 5.3 .14 0 error (1) .026 5.3 .16 0
termination-crafted/easy1_true-termination_true-valid-memsafety.c true .13  23 1.2  2 true 2.2 210 17 2 error (42) .014  1.2  .040 0 unknown .0095 .78 .020  0 error (1) .39 40 3.9 0 error (1) .42 38 3.7 0 true 77   3200 790 2 unknown 1.2 55 13 0 error (1) .044 4.8 .10  0 error (1) .030 4.8 .13  0 error (1) .044 4.8 .12  0 error (1) .042 4.8 .10  0 true .16  47 1.9  2 error (1) .070 7.2 .34 0 unknown .071 7.2 .48 0 true 5.8 320 44 2 error (1) .024 5.4 .21 0 error (1) .026 5.5 .23 0
termination-crafted/easy2_true-termination_true-valid-memsafety.c true .18  26 1.3  2 true 1.9 210 16 2 error (42) .013  1.5  .057 0 unknown .0098 .92 .018  0 error (1) .41 40 4.2 0 error (1) .43 39 4.1 0 true 4.0 290 32 2 unknown 1.2 55 13 0 error (1) .044 4.8 .13  0 error (1) .030 4.8 .13  0 error (1) .035 4.7 .11  0 error (1) .041 4.8 .10  0 true .12  46 1.2  2 error (1) .065 7.5 .33 0 unknown .053 7.2 .65 0 true 7.0 360 54 2 error (1) .050 5.3 .17 0 error (1) .025 5.4 .19 0
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c error (5) .29  27 2.7  0 false(termination) 21   1300 120 1 error (42) .023  1.3  .051 0 unknown .010  1.0  .019  0 error (1) .46 40 3.8 0 error (1) .39 37 3.6 0 false(termination) 2.6 270 25 1 unknown 1.2 58 15 0 error (1) .044 4.7 .078 0 error (1) .022 4.8 .12  0 error (1) .021 4.7 .10  0 error (1) .041 4.8 .12  0 false(termination) .23  47 2.9  1 error (1) .068 7.5 .35 0 unknown .055 7.3 .62 0 false(termination) 5.4 320 46 1 error (1) .053 5.5 .21 0 error (1) .050 5.3 .15 0
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c error (5) .14  23 .98 0 false(termination) 5.4 350 44 1 error (42) .012  1.4  .047 0 unknown .0088 .97 .018  0 error (1) .42 38 3.9 0 error (1) .38 38 4.1 0 false(termination) 2.6 270 23 1 unknown 1.2 58 14 0 error (1) .018 4.8 .17  0 error (1) .022 4.8 .16  0 error (1) .022 4.8 .14  0 error (1) .034 4.8 .16  0 false(termination) .13  46 1.2  1 error (1) .066 7.3 .30 0 unknown .081 7.2 .46 0 false(termination) 5.5 320 43 1 error (1) .051 5.3 .13 0 error (1) .050 5.4 .17 0
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c error (5) .54  32 6.8  0 false(termination) 340   9700 1900 1 error (42) .018  1.4  .050 0 unknown .0095 1.0  .031  0 error (1) .45 40 3.8 0 error (1) .42 39 4.3 0 false(termination) 3.2 270 28 1 unknown 98   65 1300 0 error (1) .020 4.8 .16  0 error (1) .022 4.7 .13  0 error (1) .044 4.8 .10  0 error (1) .020 4.8 .18  0 false(termination) 1.0   81 13    1 error (1) .061 7.4 .35 0 unknown .082 7.4 .49 0 false(termination) 5.8 320 44 1 error (1) .028 5.4 .20 0 error (1) .051 5.3 .15 0
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c error (5) .13  23 1.1  0 false(termination) 3.8 290 31 1 error (42) .021  1.2  .048 0 unknown .0099 .86 .015  0 error (1) .42 40 4.2 0 error (1) .44 40 3.8 0 false(termination) 3.6 280 32 1 unknown 1.2 56 12 0 error (1) .040 4.7 .13  0 error (1) .017 4.8 .21  0 error (1) .022 4.7 .11  0 error (1) .046 4.8 .11  0 false(termination) .15  46 1.2  1 error (1) .063 7.2 .36 0 unknown .055 7.3 .56 0 false(termination) 6.1 330 50 1 error (1) .047 5.3 .18 0 error (1) .026 5.4 .20 0
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c error (5) .14  23 1.2  0 false(termination) 7.1 480 46 1 error (42) .012  1.1  .050 0 unknown .010  1.0  .020  0 error (1) .40 37 3.9 0 error (1) .40 40 3.7 0 false(termination) 2.8 270 27 1 unknown 1.2 56 15 0 error (1) .044 4.8 .12  0 error (1) .019 4.8 .17  0 error (1) .018 4.9 .067 0 error (1) .022 4.8 .14  0 unknown .45  47 6.0  0 error (1) .070 7.3 .31 0 unknown .064 7.1 .44 0 false(termination) 8.8 410 73 1 error (1) .051 5.3 .16 0 error (1) .050 5.4 .16 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c error (5) .57  32 6.7  0 true 3.3 240 26 2 error (42) .017  1.1  .037 0 unknown .0088 .77 .025  0 error (1) .41 38 3.7 0 error (1) .39 37 3.5 0 true 9.8 470 72 2 unknown 1.7 56 18 0 error (1) .030 4.7 .16  0 error (1) .046 4.8 .13  0 error (1) .018 4.8 .079 0 error (1) .025 4.9 .14  0 true .56  73 6.1  2 error (1) .069 7.2 .33 0 unknown .081 7.3 .52 0 true 11   480 86 2 error (1) .023 5.3 .21 0 error (1) .026 5.4 .19 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true .16  25 1.1  2 true 2.2 210 19 2 error (42) .015  1.5  .045 0 unknown .0096 .90 .017  0 error (1) .43 38 3.8 0 error (1) .45 39 4.0 0 true 6.3 390 51 2 unknown 1.2 56 12 0 error (1) .022 4.8 .12  0 error (1) .017 4.7 .19  0 error (1) .044 4.7 .13  0 error (1) .044 4.8 .10  0 true .19  48 1.8  2 error (1) .042 7.4 .38 0 unknown .082 7.3 .53 0 true 8.8 440 62 2 error (1) .049 5.5 .19 0 error (1) .026 5.3 .18 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true .13  23 1.2  2 true 6.3 500 45 2 error (42) .020  1.3  .034 0 unknown .0098 .73 .023  0 error (1) .41 37 4.1 0 error (1) .47 40 4.0 0 true 77   3100 870 2 unknown 1.2 56 13 0 error (1) .022 4.8 .093 0 error (1) .021 4.8 .13  0 error (1) .025 4.9 .12  0 error (1) .046 4.8 .10  0 true .16  47 1.5  2 error (1) .069 7.4 .34 0 unknown .084 7.1 .51 0 true 5.9 320 53 2 error (1) .051 5.5 .19 0 error (1) .041 5.3 .18 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c true .18  24 1.5  2 true 5.8 470 41 2 error (42) .021  1.2  .038 0 unknown .0077 .89 .029  0 error (1) .42 37 3.8 0 error (1) .41 37 3.8 0 true 4.2 290 36 2 unknown 1.2 56 14 0 error (1) .022 4.7 .12  0 error (1) .021 4.8 .12  0 error (1) .021 4.8 .13  0 error (1) .044 4.8 .16  0 true .15  46 1.3  2 error (1) .066 7.3 .32 0 unknown .082 7.3 .46 0 true 6.0 320 44 2 error (1) .027 5.3 .19 0 error (1) .026 5.2 .21 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_false-no-overflow.c error (5) .38  31 4.4  0 true 16   1400 110 2 error (42) .020  1.1  .047 0 unknown .010  .63 .018  0 error (1) .42 38 3.8 0 error (1) .42 40 4.1 0 true 6.2 330 48 2 unknown 1.4 58 16 0 error (1) .018 4.7 .12  0 error (1) .034 4.8 .094 0 error (1) .021 4.8 .13  0 error (1) .041 4.7 .13  0 true .30  71 3.9  2 error (1) .070 7.3 .32 0 unknown .074 7.2 .64 0 true 9.0 480 76 2 error (1) .054 5.4 .16 0 error (1) .051 5.3 .15 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c error (5) 1.7   55 19    0 true 3.2 260 24 2 error (42) .014  1.3  .043 0 unknown .0075 1.1  .021  0 error (1) .41 38 3.9 0 error (1) .42 40 4.1 0 true 5.9 330 55 2 unknown 7.5 240 82 0 error (1) .025 4.8 .15  0 error (1) .044 4.8 .15  0 error (1) .020 4.7 .13  0 error (1) .044 4.8 .11  0 true .53  78 5.9  2 error (1) .065 7.4 .31 0 unknown .081 7.2 .51 0 true 22   500 230 2 error (1) .052 5.3 .15 0 error (1) .051 5.5 .18 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c error (5) 6.9   43 79    0 true 2.3 200 17 2 error (42) .012  1.4  .039 0 unknown .0096 .91 .020  0 error (1) .41 37 4.1 0 error (1) .45 40 3.7 0 true 5.4 320 42 2 unknown 1.2 55 11 0 error (1) .021 4.7 .098 0 error (1) .030 4.7 .15  0 error (1) .019 4.7 .19  0 error (1) .019 4.7 .13  0 true .17  47 1.8  2 error (1) .041 7.2 .39 0 unknown .073 7.2 .53 0 true 6.7 340 52 2 error (1) .026 5.4 .17 0 error (1) .039 5.5 .21 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true .19  25 1.5  2 true 5.7 440 35 2 error (42) .012  .98 .043 0 unknown .0097 1.0  .021  0 error (1) .41 38 3.7 0 error (1) .49 37 3.7 0 true 6.3 350 45 2 unknown 1.2 58 14 0 error (1) .044 4.8 .12  0 error (1) .041 4.7 .092 0 error (1) .020 4.9 .14  0 error (1) .044 4.8 .12  0 true .36  47 4.5  2 error (1) .041 7.3 .35 0 unknown .091 7.3 .50 0 true 6.5 320 49 2 error (1) .050 5.3 .16 0 error (1) .049 5.4 .16 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true .21  25 2.2  2 true 9.1 770 69 2 error (42) .014  1.2  .036 0 unknown .010  1.0  .018  0 error (1) .44 38 3.6 0 error (1) .41 40 4.3 0 true 42   2100 370 2 unknown 1.2 55 13 0 error (1) .020 4.8 .16  0 error (1) .018 4.8 .16  0 error (1) .022 4.8 .12  0 error (1) .019 4.8 .17  0 unknown 3.1   56 43    0 error (1) .066 7.3 .33 0 unknown .081 7.3 .55 0 true 7.8 400 55 2 error (1) .053 5.4 .15 0 error (1) .025 5.3 .18 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true .23  28 2.0  2 true 2.4 210 19 2 error (42) .022  1.3  .041 0 unknown .0066 .78 .031  0 error (1) .41 39 4.3 0 error (1) .42 40 3.7 0 true 25   800 200 2 unknown 1.2 56 13 0 error (1) .033 4.8 .16  0 error (1) .022 4.7 .13  0 error (1) .036 4.8 .13  0 error (1) .034 4.8 .14  0 true .22  48 2.6  2 error (1) .045 7.4 .36 0 unknown .082 7.1 .49 0 true 7.9 410 64 2 error (1) .027 5.4 .15 0 error (1) .052 5.4 .15 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true .18  24 1.5  2 true 10   720 62 2 error (42) .021  1.2  .056 0 unknown .0090 1.0  .020  0 error (1) .45 40 3.9 0 error (1) .45 40 3.8 0 unknown 3.2 270 26 0 unknown 1.2 58 13 0 error (1) .020 4.8 .17  0 error (1) .031 4.9 .13  0 error (1) .039 4.7 .12  0 error (1) .021 4.9 .13  0 true .23  48 2.1  2 error (1) .041 7.5 .37 0 unknown .074 7.2 .65 0 true 8.0 450 58 2 error (1) .051 5.3 .14 0 error (1) .023 5.3 .20 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true .14  24 1.1  2 true 2.3 210 18 2 error (42) .012  1.2  .041 0 unknown .0092 .74 .025  0 error (1) .42 40 3.6 0 error (1) .43 38 3.9 0 true 16   590 120 2 unknown 1.3 56 14 0 error (1) .043 4.8 .11  0 error (1) .017 4.8 .16  0 error (1) .042 4.8 .12  0 error (1) .023 4.8 .11  0 true .25  71 2.9  2 error (1) .068 7.5 .30 0 unknown .080 7.2 .47 0 true 9.4 490 77 2 error (1) .026 5.5 .23 0 error (1) .041 5.5 .19 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true .21  25 1.8  2 true 2.3 210 27 2 error (42) .014  1.2  .040 0 unknown .0090 .85 .028  0 error (1) .45 40 4.2 0 error (1) .41 38 3.7 0 true 6.6 370 57 2 unknown 1.4 56 15 0 error (1) .033 4.7 .11  0 error (1) .021 4.8 .14  0 error (1) .047 4.8 .13  0 error (1) .046 4.7 .10  0 true .19  71 2.4  2 error (1) .064 7.4 .35 0 unknown .054 7.2 .55 0 true 7.7 390 60 2 error (1) .046 5.5 .18 0 error (1) .026 5.4 .21 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c true .19  24 2.0  2 true 4.8 410 31 2 error (42) .013  1.4  .042 0 unknown .0089 .96 .023  0 error (1) .43 40 4.3 0 error (1) .42 37 3.6 0 true 4.5 300 39 2 unknown 1.2 55 13 0 error (1) .030 4.8 .13  0 error (1) .043 4.8 .10  0 error (1) .040 4.7 .11  0 error (1) .028 4.9 .13  0 true .21  47 2.1  2 error (1) .064 7.3 .33 0 unknown .080 7.2 .51 0 true 8.8 430 67 2 error (1) .040 5.3 .14 0 error (1) .041 5.5 .23 0
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c true .24  25 2.6  2 true 2.1 210 16 2 error (42) .015  1.1  .056 0 unknown .0070 .77 .039  0 error (1) .43 40 4.3 0 error (1) .42 37 4.0 0 true 5.1 310 43 2 unknown 1.2 56 13 0 error (1) .017 4.8 .18  0 error (1) .020 4.8 .15  0 error (1) .018 4.7 .10  0 error (1) .042 4.7 .13  0 true .22  71 2.5  2 error (1) .070 7.4 .29 0 unknown .085 7.1 .56 0 true 6.2 330 57 2 error (1) .051 5.4 .16 0 error (1) .045 5.4 .19 0
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c error (5) .41  31 4.0  0 true 40   2200 230 2 error (42) .016  1.2  .038 0 unknown .0094 .88 .021  0 error (1) .40 38 4.0 0 error (1) .41 40 4.1 0 unknown 3.3 270 29 0 unknown 1.2 56 15 0 error (1) .021 4.7 .13  0 error (1) .041 4.8 .11  0 error (1) .020 4.8 .10  0 error (1) .019 4.7 .13  0 true .25  47 2.1  2 error (1) .066 7.5 .38 0 unknown .083 7.3 .51 0 true 9.1 470 78 2 error (1) .029 5.4 .17 0 error (1) .050 5.4 .16 0
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c true .18  24 1.5  2 true 2.2 210 16 2 error (42) .020  1.3  .038 0 unknown .011  1.0  .029  0 error (1) .40 37 3.9 0 error (1) .42 37 3.3 0 true 52   2400 430 2 unknown 1.4 56 16 0 error (1) .033 4.8 .14  0 error (1) .023 4.8 .14  0 error (1) .035 4.7 .12  0 error (1) .024 4.9 .13  0 true .19  70 2.3  2 error (1) .048 7.2 .45 0 unknown .083 7.1 .53 0 true 8.9 480 79 2 error (1) .051 5.4 .14 0 error (1) .025 5.4 .21 0
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c error (5) .33  29 3.2  0 true 40   3500 290 2 error (42) .015  1.3  .048 0 unknown .0089 .98 .013  0 error (1) .42 38 4.1 0 error (1) .44 40 3.8 0 true 23   1100 190 2 unknown 1.4 56 15 0 error (1) .043 4.8 .13  0 error (1) .022 4.8 .12  0 error (1) .020 4.8 .13  0 error (1) .043 5.0 .15  0 true .93  71 12    2 error (1) .066 7.4 .30 0 unknown .082 7.2 .51 0 true 11   500 99 2 error (1) .054 5.4 .18 0 error (1) .024 5.4 .27 0
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c error (5) .72  36 9.7  0 true 2.7 240 22 2 error (42) .013  1.3  .054 0 unknown .0089 .80 .028  0 error (1) .40 37 3.9 0 error (1) .39 37 3.9 0 true 4.3 280 33 2 unknown 1.2 56 14 0 error (1) .044 4.8 .13  0 error (1) .043 4.8 .13  0 error (1) .037 4.8 .12  0 error (1) .020 4.7 .15  0 true .13  46 1.2  2 error (1) .069 7.4 .32 0 unknown .081 7.1 .50 0 true 7.2 340 54 2 error (1) .027 5.3 .22 0 error (1) .048 5.3 .18 0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true .13  23 .92 2 true 7.1 490 49 2 error (42) .017  1.3  .037 0 unknown .0065 .91 .034  0 error (1) .40 37 3.5 0 error (1) .43 40 3.9 0 true 79   3000 870 2 unknown 1.2 56 14 0 error (1) .018 4.8 .14  0 error (1) .039 4.8 .12  0 error (1) .022 4.8 .18  0 error (1) .021 4.9 .14  0 true .18  47 1.6  2 error (1) .069 7.3 .32 0 unknown .078 7.1 .49 0 true 6.1 320 50 2 error (1) .028 5.5 .20 0 error (1) .026 5.3 .17 0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c true .15  24 1.4  2 true 6.2 460 49 2 error (42) .021  1.1  .053 0 unknown .0090 .72 .020  0 error (1) .41 37 4.0 0 error (1) .39 37 4.0 0 true 4.3 290 36 2 unknown 1.2 58 12 0 error (1) .032 4.8 .16  0 error (1) .022 5.0 .16  0 error (1) .043 4.8 .13  0 error (1) .048 5.0 .12  0 true .12  46 1.4  2 error (1) .064 7.3 .32 0 unknown .081 7.2 .47 0 true 6.1 330 44 2 error (1) .050 5.6 .18 0 error (1) .045 5.4 .21 0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c error (5) 6.9   40 79    0 true 2.1 210 16 2 error (42) .013  1.2  .037 0 unknown .0089 .91 .023  0 error (1) .43 37 3.5 0 error (1) .42 40 4.0 0 true 5.5 320 42 2 unknown 1.2 56 13 0 error (1) .021 4.8 .17  0 error (1) .038 4.8 .13  0 error (1) .044 4.8 .11  0 error (1) .046 4.8 .11  0 true .19  47 1.8  2 error (1) .041 7.3 .43 0 unknown .060 7.2 .53 0 true 6.0 320 52 2 error (1) .023 5.4 .23 0 error (1) .026 5.5 .16 0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c true .20  25 1.6  2 true 5.7 410 40 2 error (42) .014  1.3  .041 0 unknown .010  .93 .020  0 error (1) .46 38 4.0 0 error (1) .41 38 3.7 0 true 6.5 360 49 2 unknown 1.2 57 13 0 error (1) .043 4.7 .12  0 error (1) .022 4.8 .16  0 error (1) .030 4.8 .14  0 error (1) .020 4.8 .13  0 true .36  47 4.5  2 error (1) .064 7.3 .34 0 unknown .078 7.1 .49 0 true 6.7 340 52 2 error (1) .047 5.4 .18 0 error (1) .041 5.3 .22 0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c true .16  24 1.5  2 true 1.9 210 16 2 error (42) .014  1.2  .037 0 unknown .010  .93 .024  0 error (1) .42 38 4.3 0 error (1) .41 40 4.0 0 true 3.8 280 31 2 unknown 1.2 56 15 0 error (1) .029 4.8 .16  0 error (1) .019 4.7 .17  0 error (1) .018 4.8 .10  0 error (1) .044 4.7 .10  0 true .17  46 1.4  2 error (1) .066 7.2 .36 0 unknown .080 7.3 .49 0 true 6.9 340 53 2 error (1) .050 5.5 .13 0 error (1) .022 5.4 .16 0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c true .14  23 1.2  2 true 1.8 210 16 2 error (42) .021  1.6  .036 0 unknown .0091 .95 .023  0 error (1) .40 37 3.4 0 error (1) .42 37 3.7 0 true 4.2 290 35 2 unknown 1.2 58 13 0 error (1) .030 4.8 .14  0 error (1) .022 4.8 .13  0 error (1) .020 4.9 .085 0 error (1) .045 4.9 .14  0 true .17  46 1.3  2 error (1) .070 7.2 .33 0 unknown .080 7.1 .50 0 true 9.2 330 88 2 error (1) .025 5.4 .17 0 error (1) .024 5.3 .22 0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c true .21  26 2.1  2 true 2.3 210 18 2 error (42) .021  1.3  .049 0 unknown .0096 .76 .022  0 error (1) .44 40 4.1 0 error (1) .40 38 3.5 0 true 4.9 320 44 2 unknown 1.2 56 13 0 error (1) .022 4.8 .13  0 error (1) .020 4.8 .15  0 error (1) .044 4.8 .14  0 error (1) .046 4.9 .12  0 true .19  48 1.9  2 error (1) .060 7.0 .39 0 unknown .080 7.2 .61 0 true 7.5 440 54 2 error (1) .026 5.5 .22 0 error (1) .053 5.4 .14 0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c true .22  28 2.2  2 true 2.2 210 18 2 error (42) .0060 1.1  .038 0 unknown .0084 1.0  .030  0 error (1) .43 39 4.3 0 error (1) .43 40 3.8 0 true 5.9 370 48 2 unknown 1.2 57 13 0 error (1) .031 4.8 .17  0 error (1) .039 4.8 .12  0 error (1) .035 4.8 .11  0 error (1) .020 4.8 .13  0 true .28  48 2.7  2 error (1) .065 7.1 .32 0 unknown .055 7.2 .57 0 true 7.7 480 62 2 error (1) .053 5.3 .17 0 error (1) .024 5.4 .18 0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c true .31  29 3.5  2 true 2.9 220 20 2 error (42) .014  1.3  .055 0 unknown .0093 1.0  .016  0 error (1) .40 37 4.0 0 error (1) .39 37 4.1 0 true 6.3 360 48 2 unknown 1.2 56 13 0 error (1) .019 4.7 .17  0 error (1) .044 4.8 .10  0 error (1) .018 4.8 .17  0 error (1) .020 4.8 .19  0 true .37  49 4.9  2 error (1) .044 7.4 .34 0 unknown .087 7.3 .48 0 true 9.4 490 74 2 error (1) .042 5.3 .22 0 error (1) .043 5.5 .16 0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c error (5) .15  24 1.5  0 true 5.9 440 38 2 error (42) .012  1.3  .042 0 unknown .0092 .92 .024  0 error (1) .41 38 3.4 0 error (1) .41 37 3.6 0 true 4.5 290 36 2 unknown 1.2 55 12 0 error (1) .019 4.7 .19  0 error (1) .019 4.9 .12  0 error (1) .022 4.8 .13  0 error (1) .046 4.7 .11  0 true .17  47 1.5  2 error (1) .066 7.1 .31 0 unknown .081 7.3 .50 0 true 8.7 410 76 2 error (1) .050 5.3 .15 0 error (1) .051 5.3 .16 0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c error (5) .18  25 1.6  0 true 3.1 240 25 2 error (42) .021  1.2  .042 0 unknown .0089 .92 .018  0 error (1) .42 38 3.6 0 error (1) .42 40 3.8 0 true 3.9 290 35 2 unknown 1.2 56 12 0 error (1) .022 4.7 .14  0 error (1) .021 4.8 .14  0 error (1) .041 4.8 .12  0 error (1) .041 4.8 .12  0 true .14  46 1.4  2 error (1) .061 7.2 .36 0 unknown .075 7.3 .55 0 true 7.9 420 68 2 error (1) .025 5.5 .21 0 error (1) .050 5.4 .13 0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c error (5) .27  29 2.5  0 true 11   500 64 2 error (42) .012  1.2  .055 0 unknown .0099 .90 .024  0 error (1) .40 37 4.1 0 error (1) .44 41 3.7 0 unknown 3.8 280 30 0 unknown 1.2 57 13 0 error (1) .019 4.8 .13  0 error (1) .044 4.8 .097 0 error (1) .023 4.8 .12  0 error (1) .039 4.9 .13  0 true .20  47 2.1  2 error (1) .069 7.3 .30 0 unknown .058 7.1 .55 0 true 7.7 410 61 2 error (1) .051 5.4 .17 0 error (1) .029 5.4 .18 0
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c error (5) .56  34 7.2  0 true 2.4 210 18 2 error (42) .021  1.3  .049 0 unknown .010  1.0  .020  0 error (1) .43 40 3.8 0 error (1) .44 40 3.7 0 timeout 900   4300 8900 0 unknown 1.2 57 13 0 error (1) .031 4.7 .15  0 error (1) .021 4.8 .094 0 error (1) .042 4.7 .12  0 error (1) .022 4.8 .12  0 true .14  46 1.6  2 error (1) .033 7.2 .41 0 unknown .083 7.3 .51 0 true 7.2 420 62 2 error (1) .026 5.4 .16 0 error (1) .049 5.4 .19 0
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c error (5) .68  32 7.8  0 true 76   4800 520 2 error (42) .021  1.3  .045 0 unknown .0089 .89 .019  0 error (1) .42 40 3.8 0 error (1) .43 40 3.9 0 true 11   530 82 2 unknown 1.3 56 12 0 error (1) .019 4.8 .16  0 error (1) .041 4.8 .12  0 error (1) .045 4.8 .12  0 error (1) .018 4.8 .17  0 true .86  80 12    2 error (1) .069 7.2 .31 0 unknown .054 7.3 .48 0 true 40   530 420 2 error (1) .046 5.3 .19 0 error (1) .024 5.3 .13 0
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c true .13  22 .80 2 true 9.7 850 59 2 error (42) .019  1.3  .048 0 unknown .0071 .90 .019  0 error (1) .43 38 3.6 0 error (1) .42 37 4.2 0 true 3.7 270 32 2 unknown 1.2 56 14 0 error (1) .019 4.8 .16  0 error (1) .037 4.8 .12  0 error (1) .033 4.7 .13  0 error (1) .044 4.8 .14  0 true .16  47 1.6  2 error (1) .043 7.5 .43 0 unknown .081 7.3 .46 0 true 6.9 350 50 2 error (1) .028 5.4 .18 0 error (1) .054 5.5 .15 0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c error (5) .84  40 10    0 true 2.6 220 19 2 error (42) .011  1.3  .073 0 unknown .0087 .92 .028  0 error (1) .43 37 3.8 0 error (1) .44 37 3.6 0 true 3.9 290 32 2 unknown 1.2 57 12 0 error (1) .044 4.8 .10  0 error (1) .020 4.8 .13  0 error (1) .022 4.8 .12  0 error (1) .043 4.7 .12  0 true .15  46 1.3  2 error (1) .069 7.3 .32 0 unknown .052 7.3 .50 0 true 6.4 320 53 2 error (1) .025 5.4 .15 0 error (1) .027 5.4 .16 0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c true .14  23 .95 2 true 1.8 200 17 2 error (42) .015  1.2  .048 0 unknown .0090 .93 .023  0 error (1) .42 38 4.3 0 error (1) .43 40 3.6 0 true 3.9 280 31 2 unknown 1.2 56 13 0 error (1) .042 4.8 .10  0 error (1) .018 4.8 .14  0 error (1) .052 4.9 .11  0 error (1) .045 4.8 .11  0 true .11  46 1.1  2 error (1) .060 7.4 .37 0 unknown .085 7.2 .47 0 true 6.1 320 53 2 error (1) .052 5.3 .15 0 error (1) .053 5.4 .14 0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c error (5) .19  23 1.6  0 true 4.0 320 32 2 error (42) .018  1.6  .037 0 unknown .0094 .82 .027  0 error (1) .46 40 3.8 0 error (1) .41 37 3.6 0 unknown 4.4 320 36 0 unknown 1.2 56 13 0 error (1) .035 4.9 .14  0 error (1) .037 4.8 .14  0 error (1) .018 4.8 .22  0 error (1) .020 4.8 .17  0 true .21  47 2.0  2 error (1) .068 7.2 .35 0 unknown .053 7.2 .61 0 unknown 15   620 120 0 error (1) .051 5.3 .14 0 error (1) .028 5.4 .20 0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c true .17  27 1.4  2 true 1.8 210 14 2 error (42) .013  1.3  .046 0 unknown .0087 .92 .019  0 error (1) .44 37 3.8 0 error (1) .44 37 4.2 0 true 3.4 280 32 2 unknown 1.2 56 13 0 error (1) .044 4.8 .10  0 error (1) .030 4.8 .095 0 error (1) .044 4.7 .12  0 error (1) .020 4.8 .14  0 true .14  46 1.3  2 error (1) .065 7.3 .32 0 unknown .053 7.3 .56 0 true 6.9 340 51 2 error (1) .028 5.4 .16 0 error (1) .050 5.3 .14 0
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c true .12  23 .81 2 true 1.8 210 17 2 error (42) .013  1.1  .032 0 unknown .010  .99 .020  0 error (1) .41 37 3.6 0 error (1) .41 38 3.9 0 true 4.1 280 38 2 unknown 1.2 55 12 0 error (1) .042 4.7 .10  0 error (1) .034 4.8 .12  0 error (1) .021 4.9 .13  0 error (1) .044 4.7 .17  0 true .17  47 1.3  2 error (1) .058 7.2 .37 0 unknown .054 7.3 .52 0 true 6.0 330 45 2 error (1) .030 5.3 .19 0 error (1) .032 5.4 .21 0
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c error (5) .18  28 1.7  0 timeout 900   3500 14000 0 error (42) .0081 1.4  .060 0 unknown .011  1.1  .025  0 error (1) .43 40 3.9 0 error (1) .40 40 4.1 0 timeout 900   5100 12000 0 unknown 1.2 55 11 0 error (1) .019 4.7 .15  0 error (1) .017 4.8 .16  0 error (1) .020 4.8 .094 0 error (1) .044 4.9 .14  0 true 1.8   53 23    2 error (1) .071 7.4 .33 0 unknown .082 7.2 .66 0 true 13   530 95 2 error (1) .026 5.4 .17 0 error (1) .028 5.5 .19 0
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c error (5) 1.2   36 17    0 true 130   5100 660 2 error (42) .012  1.3  .057 0 unknown .0099 .98 .018  0 error (1) .42 38 4.0 0 error (1) .42 40 3.9 0 timeout 900   4100 11000 0 unknown 1.5 56 19 0 error (1) .020 4.8 .16  0 error (1) .031 4.7 .11  0 error (1) .019 4.8 .17  0 error (1) .046 4.7 .11  0 true 3.9   72 53    2 error (1) .042 7.5 .48 0 unknown .082 7.3 .58 0 true 36   480 400 2 error (1) .026 5.2 .16 0 error (1) .051 5.3 .18 0
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c error (5) .094 22 .76 0 true 50   3600 600 2 error (42) .022  1.3  .050 0 unknown .0082 .89 .020  0 error (1) .40 38 3.9 0 error (1) .40 37 3.6 0 error (recursion) 2.4 270 20 0 unknown 760   15000 8200 0 error (1) .018 4.8 .10  0 error (1) .020 4.8 .18  0 error (1) .042 4.8 .12  0 error (1) .021 4.8 .13  0 true .50  49 6.0  2 error (1) .068 7.4 .40 0 unknown .081 7.2 .45 0 true 34   490 420 2 error (1) .050 5.4 .16 0 error (1) .046 5.5 .17 0
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c error (5) .11  22 .62 0 true 9.9 740 63 2 error (42) .021  1.4  .057 0 unknown .0073 .80 .016  0 error (1) .41 37 4.0 0 error (1) .39 38 3.7 0 error (recursion) 2.4 260 23 0 out of memory (false(no-overflow)) 620   15000 7900 0 error (1) .020 4.8 .16  0 error (1) .046 4.8 .14  0 error (1) .022 4.8 .14  0 error (1) .045 4.8 .11  0 true .23  47 2.4  2 error (1) .061 7.3 .30 0 unknown .082 7.3 .50 0 unknown 26   1400 210 0 error (1) .028 5.4 .19 0 error (1) .021 5.3 .12 0
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c true .097 23 1.0  2 true 2.0 210 17 2 error (42) .021  1.1  .035 0 unknown .011  1.0  .023  0 error (1) .40 38 3.8 0 error (1) .40 38 4.1 0 true 3.6 270 34 2 unknown 1.2 56 15 0 error (1) .023 4.8 .15  0 error (1) .018 4.8 .13  0 error (1) .023 4.8 .15  0 error (1) .047 4.9 .11  0 true .17  47 1.6  2 error (1) .057 7.4 .31 0 unknown .083 7.2 .48 0 true 6.6 340 53 2 error (1) .025 5.4 .20 0 error (1) .027 5.4 .12 0
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c true .15  24 1.3  2 true 2.5 210 19 2 error (42) .018  1.4  .048 0 unknown .010  1.0  .038  0 error (1) .44 40 3.7 0 error (1) .41 37 3.9 0 true 4.7 290 41 2 unknown 1.2 56 13 0 error (1) .020 4.8 .12  0 error (1) .032 4.8 .16  0 error (1) .034 4.8 .13  0 error (1) .049 4.9 .12  0 true .24  48 2.1  2 error (1) .044 7.3 .34 0 unknown .058 7.2 .48 0 true 6.7 340 52 2 error (1) .025 5.5 .17 0 error (1) .024 5.4 .20 0
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true .12  23 1.1  2 true 3.3 260 27 2 error (42) .021  1.1  .043 0 unknown .0092 .88 .014  0 error (1) .41 39 3.9 0 error (1) .40 37 3.4 0 unknown 3.9 290 32 0 unknown 1.1 56 12 0 error (1) .021 4.7 .088 0 error (1) .044 4.8 .13  0 error (1) .018 4.8 .20  0 error (1) .019 4.7 .16  0 true .12  46 1.1  2 error (1) .042 7.3 .38 0 unknown .068 7.2 .62 0 true 6.0 330 48 2 error (1) .052 5.4 .16 0 error (1) .044 5.4 .15 0
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_false-no-overflow.c error (5) .20  26 1.9  0 true 12   1100 85 2 error (42) .013  .91 .054 0 unknown .010  .81 .011  0 error (1) .44 37 3.9 0 error (1) .42 37 3.6 0 true 4.7 300 36 2 unknown 1.3 56 15 0 error (1) .039 4.8 .11  0 error (1) .044 4.8 .12  0 error (1) .021 4.8 .14  0 error (1) .044 4.8 .12  0 true .30  71 2.8  2 error (1) .069 7.3 .39 0 unknown .080 7.0 .50 0 true 8.9 490 67 2 error (1) .058 5.4 .15 0 error (1) .051 5.4 .13 0
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c true .14  23 .96 2 true 1.9 210 17 2 error (42) .020  1.0  .037 0 unknown .0089 1.0  .021  0 error (1) .43 40 3.8 0 error (1) .40 37 3.7 0 true 3.2 270 27 2 unknown 1.2 57 15 0 error (1) .034 4.8 .12  0 error (1) .017 4.8 .20  0 error (1) .018 4.8 .12  0 error (1) .044 4.8 .11  0 true .14  46 1.0  2 error (1) .071 7.3 .32 0 unknown .072 7.2 .64 0 true 5.8 320 42 2 error (1) .051 5.4 .20 0 error (1) .028 5.5 .19 0
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c true .16  24 1.2  2 true 2.0 210 17 2 error (42) .018  1.3  .032 0 unknown .0090 .76 .025  0 error (1) .44 40 3.7 0 error (1) .38 37 4.2 0 true 4.6 290 36 2 unknown 1.3 56 15 0 error (1) .035 4.9 .13  0 error (1) .020 4.8 .16  0 error (1) .020 4.8 .13  0 error (1) .017 4.8 .11  0 true .21  71 2.1  2 error (1) .064 7.4 .33 0 unknown .077 7.1 .53 0 true 8.0 380 62 2 error (1) .024 5.3 .17 0 error (1) .023 5.3 .19 0
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c true .23  26 1.8  2 true 2.2 210 18 2 error (42) .021  1.3  .052 0 unknown .0091 .92 .017  0 error (1) .42 40 3.8 0 error (1) .40 37 3.4 0 true 4.9 300 39 2 unknown 1.2 56 15 0 error (1) .022 4.8 .11  0 error (1) .021 4.8 .13  0 error (1) .017 4.7 .17  0 error (1) .046 4.8 .13  0 true .19  48 2.2  2 error (1) .046 7.3 .37 0 unknown .072 7.2 .64 0 true 7.4 420 61 2 error (1) .051 5.3 .19 0 error (1) .047 5.5 .16 0
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c true .19  25 2.0  2 true 2.1 210 18 2 error (42) .019  1.2  .040 0 unknown .0091 .91 .023  0 error (1) .42 37 3.4 0 error (1) .40 37 3.4 0 timeout 900   4400 12000 0 unknown 1.2 56 14 0 error (1) .019 4.8 .17  0 error (1) .030 4.8 .15  0 error (1) .022 4.9 .14  0 error (1) .038 4.8 .084 0 true .19  71 2.1  2 error (1) .058 7.3 .33 0 unknown .077 7.2 .50 0 timeout 900   1100 13000 0 error (1) .050 5.5 .19 0 error (1) .051 5.4 .16 0
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c true .12  24 1.2  2 true 2.1 210 16 2 error (42) .021  1.4  .040 0 unknown .010  .91 .018  0 error (1) .41 38 3.5 0 error (1) .42 37 3.3 0 true 15   470 100 2 unknown 1.2 55 13 0 error (1) .041 4.8 .13  0 error (1) .022 4.8 .16  0 error (1) .020 4.9 .15  0 error (1) .021 4.8 .075 0 true .18  71 1.8  2 error (1) .063 7.3 .36 0 unknown .082 7.1 .49 0 true 8.4 480 62 2 error (1) .038 5.3 .20 0 error (1) .028 5.3 .18 0
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c error (5) .41  29 3.7  0 true 110   4800 700 2 error (42) .013  1.1  .053 0 unknown .0066 .92 .022  0 error (1) .43 37 3.6 0 error (1) .42 37 3.7 0 true 5.7 320 44 2 unknown 1.2 56 12 0 error (1) .021 4.8 .12  0 error (1) .020 4.8 .12  0 error (1) .044 4.7 .13  0 error (1) .044 4.8 .12  0 true .37  48 3.6  2 error (1) .045 7.1 .36 0 unknown .054 7.2 .63 0 true 11   490 90 2 error (1) .048 5.4 .20 0 error (1) .042 5.4 .16 0
termination-crafted-lit/aviad_true-termination_true-no-overflow.c true .23  27 1.9  2 true 45   4500 280 2 error (42) .018  .96 .036 0 unknown .011  1.1  .020  0 error (1) .44 40 3.8 0 error (1) .43 40 4.0 0 true 100   3900 1000 2 unknown 1.2 56 15 0 error (1) .021 4.7 .13  0 error (1) .020 4.8 .14  0 error (1) .021 4.8 .12  0 error (1) .022 4.8 .12  0 true .31  48 3.3  2 error (1) .067 7.6 .32 0 unknown .075 7.2 .56 0 true 8.1 350 60 2 error (1) .047 5.3 .18 0 error (1) .025 5.3 .20 0
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c error (5) .12  22 .77 0 true 7.1 500 47 2 error (42) .013  1.2  .047 0 unknown .0097 .93 .015  0 error (1) .42 38 3.5 0 error (1) .38 38 3.5 0 timeout 900   2800 12000 0 unknown 1.2 56 13 0 error (1) .022 4.8 .15  0 error (1) .033 4.8 .15  0 error (1) .045 4.8 .13  0 error (1) .034 4.8 .14  0 unknown .11  34 .73 0 error (1) .043 7.2 .40 0 unknown .082 7.1 .52 0 true 11   480 75 2 error (1) .050 5.4 .19 0 error (1) .027 5.4 .19 0
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c error (5) .16  24 1.5  0 true 53   4200 340 2 error (42) .015  1.2  .051 0 unknown .010  .99 .020  0 error (1) .43 40 4.2 0 error (1) .45 40 4.0 0 timeout 900   3600 11000 0 unknown 1.8 57 19 0 error (1) .032 4.8 .16  0 error (1) .044 4.7 .12  0 error (1) .044 4.8 .15  0 error (1) .042 4.8 .13  0 unknown .11  35 .69 0 error (1) .070 7.2 .31 0 unknown .076 7.3 .56 0 true 49   750 530 2 error (1) .020 5.4 .21 0 error (1) .025 5.3 .18 0
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c error (5) .11  22 .67 0 true 4.6 330 34 2 error (42) .013  1.2  .035 0 unknown .0087 .62 .020  0 error (1) .40 37 3.7 0 error (1) .42 37 3.8 0 unknown 79   4000 750 0 unknown 1.2 56 12 0 error (1) .020 4.8 .14  0 error (1) .020 4.7 .15  0 error (1) .032 4.8 .13  0 error (1) .043 4.8 .13  0 unknown .091 35 .64 0 error (1) .066 7.4 .38 0 unknown .054 7.3 .72 0 true 8.3 470 60 2 error (1) .052 5.3 .16 0 error (1) .026 5.4 .14 0
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c error (5) .18  27 1.5  0 true 30   2600 190 2 error (42) .018  1.2  .039 0 unknown .0094 1.0  .020  0 error (1) .44 40 4.1 0 error (1) .42 38 3.8 0 timeout 900   3400 14000 0 unknown 1.7 57 19 0 error (1) .028 4.8 .19  0 error (1) .020 4.8 .14  0 error (1) .047 4.7 .11  0 error (1) .043 4.8 .15  0 unknown .083 35 .75 0 error (1) .069 7.1 .31 0 unknown .083 7.2 .53 0 true 19   810 190 2 error (1) .051 5.4 .19 0 error (1) .042 5.3 .19 0
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c error (5) .13  24 1.2  0 true 32   3700 230 2 error (42) .013  1.3  .037 0 unknown .010  .99 .022  0 error (1) .42 37 3.7 0 error (1) .44 38 4.2 0 timeout 900   3700 11000 0 unknown 1.7 55 20 0 error (1) .041 4.7 .10  0 error (1) .036 4.7 .13  0 error (1) .032 4.8 .15  0 error (1) .043 4.9 .13  0 unknown .080 35 .87 0 error (1) .067 7.2 .32 0 unknown .082 7.3 .49 0 true 18   710 170 2 error (1) .052 5.5 .15 0 error (1) .049 5.4 .15 0
termination-crafted-lit/genady_true-termination_true-no-overflow.c error (5) 6.9   44 90    0 true 1.9 200 19 2 error (42) .012  1.3  .065 0 unknown .0090 .75 .017  0 error (1) .42 38 3.9 0 error (1) .42 37 3.6 0 timeout 900   4500 11000 0 unknown 1.2 56 13 0 error (1) .017 4.7 .18  0 error (1) .028 4.7 .17  0 error (1) .030 4.8 .12  0 error (1) .022 4.7 .12  0 true .14  45 .96 2 error (1) .057 7.2 .41 0 unknown .054 7.2 .55 0 true 6.5 340 50 2 error (1) .052 5.3 .12 0 error (1) .024 5.4 .19 0
termination-numeric/Ackermann01_true-termination_true-no-overflow.c error (5) .10  22 .75 0 true 33   3600 340 2 error (42) .022  1.1  .057 0 unknown .0084 1.0  .016  0 error (1) .41 37 3.9 0 error (1) .41 42 3.8 0 error (recursion) 2.3 260 19 0 out of memory (false(no-overflow)) 730   15000 8300 0 error (1) .022 4.7 .14  0 error (1) .032 4.7 .16  0 error (1) .021 4.8 .11  0 error (1) .046 4.8 .097 0 true .59  74 6.4  2 error (1) .069 7.3 .33 0 unknown .085 7.3 .50 0 timeout 900   14000 4500 0 error (1) .051 5.3 .18 0 error (1) .045 5.5 .17 0
termination-numeric/Binomial_true-termination_false-no-overflow.c error (5) .10  22 .77 0 error (1) 19   1800 150 0 error (42) .012  1.3  .055 0 unknown .0091 .98 .023  0 error (1) .43 40 3.9 0 error (1) .42 37 3.5 0 error (recursion) 2.5 260 22 0 unknown 14   350 180 0 error (1) .044 4.8 .12  0 error (1) .020 4.7 .12  0 error (1) .021 4.7 .16  0 error (1) .036 4.8 .12  0 unknown 2.5   51 28    0 error (1) .069 7.2 .33 0 unknown .081 7.2 .56 0 true 23   700 210 2 error (1) .052 5.4 .18 0 error (1) .033 5.5 .19 0
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c error (5) .089 22 .86 0 true 8.3 620 56 2 error (42) .021  1.2  .043 0 unknown .0094 1.0  .024  0 error (1) .45 40 3.9 0 error (1) .38 38 3.7 0 error (recursion) 2.3 260 20 0 unknown 1.3 55 15 0 error (1) .021 4.8 .15  0 error (1) .018 4.8 .13  0 error (1) .021 4.7 .15  0 error (1) .040 4.8 .12  0 true .23  47 2.8  2 error (1) .058 7.1 .38 0 unknown .055 7.2 .47 0 true 8.5 480 66 2 error (1) .054 5.3 .15 0 error (1) .026 5.3 .15 0
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c error (5) .083 22 .82 0 true 15   1300 120 2 error (42) .011  1.1  .030 0 unknown .0043 .88 .017  0 error (1) .42 40 3.9 0 error (1) .40 37 3.6 0 error (recursion) 2.4 260 21 0 out of memory (false(no-overflow)) 610   15000 7600 0 error (1) .043 4.8 .11  0 error (1) .018 4.8 .13  0 error (1) .043 4.8 .12  0 error (1) .021 4.8 .082 0 true .20  46 2.1  2 error (1) .063 7.3 .34 0 unknown .053 7.2 .65 0 timeout 900   12000 8300 0 error (1) .051 5.4 .18 0 error (1) .047 5.3 .16 0
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c error (5) .12  22 .68 0 true 19   3500 190 2 error (42) .013  1.5  .047 0 unknown .011  .85 .022  0 error (1) .44 38 3.4 0 error (1) .43 37 4.2 0 error (recursion) 2.4 270 19 0 unknown 1.2 57 15 0 error (1) .044 4.7 .13  0 error (1) .018 4.7 .12  0 error (1) .044 4.7 .12  0 error (1) .021 4.8 .17  0 true .22  47 2.0  2 error (1) .043 7.2 .37 0 unknown .082 7.1 .53 0 true 6.4 330 55 2 error (1) .047 5.3 .23 0 error (1) .025 5.3 .19 0
termination-numeric/LogRecursive_true-termination_true-no-overflow.c error (5) .10  22 .78 0 timeout 900   5400 13000 0 error (42) .014  1.1  .041 0 unknown .0092 .92 .021  0 error (1) .44 38 3.9 0 error (1) .39 37 4.0 0 error (recursion) 2.4 260 23 0 unknown 1.2 56 14 0 error (1) .019 4.8 .15  0 error (1) .021 4.7 .15  0 error (1) .031 4.8 .13  0 error (1) .044 4.8 .11  0 true .21  47 1.8  2 error (1) .070 7.2 .30 0 unknown .082 7.2 .52 0 unknown 68   540 750 0 error (1) .027 5.3 .20 0 error (1) .046 5.3 .16 0
termination-numeric/Parts_true-termination_true-no-overflow.c error (5) .12  22 .68 0 out of memory 890   15000 4500 0 error (42) .012  1.0  .058 0 unknown .0099 .95 .019  0 error (1) .42 40 4.2 0 error (1) .40 40 4.7 0 error (recursion) 2.5 260 23 0 out of memory (false(no-overflow)) 670   15000 7800 0 error (1) .044 4.8 .11  0 error (1) .019 4.8 .17  0 error (1) .038 4.9 .14  0 error (1) .021 4.8 .18  0 true .54  79 5.7  2 error (1) .056 7.4 .41 0 unknown .056 7.2 .57 0 timeout 900   13000 3800 0 error (1) .050 5.3 .15 0 error (1) .045 5.4 .15 0
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c error (5) .096 22 .68 0 true 16   2300 150 2 error (42) .014  1.2  .030 0 unknown .0098 .88 .021  0 error (1) .44 38 3.7 0 error (1) .42 40 4.0 0 error (recursion) 2.6 280 22 0 unknown 1.2 55 14 0 error (1) .021 4.8 .099 0 error (1) .042 4.9 .094 0 error (1) .042 4.7 .12  0 error (1) .019 4.8 .089 0 true .19  47 1.6  2 error (1) .062 7.5 .40 0 unknown .073 7.2 .55 0 true 6.4 320 50 2 error (1) .051 5.3 .12 0 error (1) .052 5.4 .15 0
termination-numeric/TwoWay_true-termination_true-no-overflow.c error (5) .12  22 .67 0 true 27   3500 300 2 error (42) .012  1.4  .061 0 unknown .0095 1.1  .018  0 error (1) .39 37 3.6 0 error (1) .40 40 4.5 0 error (recursion) 2.4 260 25 0 unknown 1.2 56 14 0 error (1) .028 4.8 .13  0 error (1) .021 4.8 .14  0 error (1) .046 4.7 .13  0 error (1) .044 4.8 .12  0 true .43  47 4.4  2 error (1) .043 7.3 .37 0 unknown .053 7.3 .55 0 true 19   470 220 2 error (1) .027 5.4 .18 0 error (1) .026 5.3 .13 0
termination-numeric/gcd01_true-termination_true-no-overflow.c error (5) .099 22 .72 0 true 12   800 100 2 error (42) .017  1.4  .036 0 unknown .0093 .93 .023  0 error (1) .42 40 4.4 0 error (1) .44 39 4.1 0 error (recursion) 2.4 270 21 0 unknown 570   15000 7300 0 error (1) .043 4.8 .14  0 error (1) .031 4.7 .11  0 error (1) .019 4.7 .17  0 error (1) .021 4.7 .11  0 true .36  47 4.0  2 error (1) .039 7.2 .47 0 unknown .091 7.3 .41 0 true 10   480 92 2 error (1) .051 5.5 .14 0 error (1) .028 5.6 .24 0
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true .17  24 1.5  2 true 5.4 410 53 2 error (42) .021  1.4  .039 0 unknown .0092 .79 .015  0 error (1) .42 40 4.0 0 error (1) .44 40 3.6 0 true 5.4 390 50 2 unknown 1.2 56 13 0 error (1) .044 4.9 .12  0 error (1) .032 4.8 .14  0 error (1) .032 4.7 .11  0 error (1) .021 4.9 .077 0 true .13  46 1.2  2 error (1) .069 7.5 .36 0 unknown .084 7.1 .54 0 true 6.3 330 52 2 error (1) .045 5.5 .17 0 error (1) .027 5.3 .20 0
termination-numeric/recHanoi02_true-termination_true-no-overflow.c error (5) .11  22 .65 0 true 11   1200 91 2 error (42) .013  1.2  .052 0 unknown .010  .99 .013  0 error (1) .40 38 3.4 0 error (1) .43 38 3.9 0 error (recursion) 2.4 270 21 0 unknown 1.2 56 15 0 error (1) .020 4.7 .15  0 error (1) .043 4.8 .13  0 error (1) .029 4.8 .17  0 error (1) .020 4.7 .15  0 true .19  47 2.0  2 error (1) .069 7.5 .28 0 unknown .084 7.1 .46 0 true 7.7 400 59 2 error (1) .025 5.3 .17 0 error (1) .051 5.4 .17 0
termination-numeric/rec_counter1_true-termination_true-no-overflow.c error (5) .10  22 .80 0 error (1) 12   1900 110 0 error (42) .015  1.1  .036 0 unknown .0090 .86 .028  0 error (1) .41 38 3.7 0 error (1) .40 37 3.6 0 error (recursion) 2.3 260 20 0 unknown 1.4 56 16 0 error (1) .018 4.8 .19  0 error (1) .037 4.7 .14  0 error (1) .019 4.8 .16  0 error (1) .019 4.8 .18  0 true .23  74 2.3  2 error (1) .070 7.3 .33 0 unknown .072 7.3 .54 0 true 8.8 480 67 2 error (1) .025 5.4 .22 0 error (1) .052 5.3 .17 0
termination-numeric/rec_counter3_true-termination_true-no-overflow.c error (5) .081 22 .77 0 error (1) 11   1900 97 0 error (42) .012  .96 .057 0 unknown .0099 .88 .018  0 error (1) .41 40 3.7 0 error (1) .42 40 3.9 0 error (recursion) 2.4 260 20 0 unknown 1.4 56 16 0 error (1) .018 4.8 .10  0 error (1) .034 4.8 .12  0 error (1) .042 4.8 .13  0 error (1) .022 4.8 .15  0 true .24  74 2.3  2 error (1) .071 7.1 .28 0 unknown .073 7.2 .64 0 true 9.5 490 73 2 error (1) .051 5.3 .16 0 error (1) .029 5.4 .21 0
termination-numeric/twisted_true-termination_true-no-overflow.c error (5) .40  28 4.0  0 true 67   4000 500 2 error (42) .021  1.4  .052 0 unknown .0093 .89 .026  0 error (1) .39 37 3.9 0 error (1) .41 38 3.4 0 timeout 900   4300 11000 0 timeout (false(no-overflow)) 900   3800 9700 0 error (1) .021 4.8 .13  0 error (1) .021 4.8 .14  0 error (1) .043 4.8 .13  0 error (1) .023 4.8 .13  0 unknown .072 14 .37 0 error (1) .067 7.2 .37 0 unknown .083 7.2 .52 0 true 7.4 380 66 2 error (1) .026 5.4 .18 0 error (1) .050 5.5 .16 0
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c error (5) 1.3   40 15    0 true 4.2 340 27 2 error (42) .013  1.3  .038 0 unknown .010  1.0  .023  0 error (1) .43 40 4.3 0 error (1) .40 37 3.8 0 true 5.7 320 47 2 unknown 1.8 56 19 0 error (1) .033 4.8 .13  0 error (1) .017 4.8 .17  0 error (1) .022 4.8 .13  0 error (1) .021 4.8 .16  0 true .24  71 2.7  2 error (1) .064 7.2 .41 0 unknown .053 7.0 .49 0 true 8.0 470 63 2 error (1) .052 5.4 .18 0 error (1) .050 5.3 .15 0
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c true .17  26 1.3  2 true 2.0 250 16 2 error (42) .020  .96 .046 0 unknown .0089 .88 .023  0 error (1) .44 40 4.3 0 error (1) .40 37 4.2 0 unknown 3.8 290 34 0 unknown 1.2 56 13 0 error (1) .021 4.8 .12  0 error (1) .045 4.8 .14  0 error (1) .020 4.9 .18  0 error (1) .046 4.8 .12  0 true .17  46 1.6  2 error (1) .062 7.3 .33 0 unknown .082 7.1 .53 0 true 6.9 340 49 2 error (1) .025 5.3 .19 0 error (1) .027 5.4 .18 0
termination-restricted-15/GCD3_true-termination_true-no-overflow.c true .39  31 4.6  2 true 19   1000 120 2 error (42) .012  1.1  .038 0 unknown .0089 .88 .015  0 error (1) .41 37 3.6 0 error (1) .40 37 4.1 0 unknown 4.0 300 31 0 unknown 1.6 56 17 0 error (1) .019 4.8 .18  0 error (1) .021 4.8 .16  0 error (1) .043 4.7 .12  0 error (1) .021 4.9 .099 0 true .46  74 4.8  2 error (1) .069 7.4 .35 0 unknown .084 7.1 .47 0 true 20   500 210 2 error (1) .022 5.4 .24 0 error (1) .042 5.4 .23 0
termination-restricted-15/GCD4_true-termination_true-no-overflow.c true .36  31 4.3  2 true 2.5 210 18 2 error (42) .021  .96 .042 0 unknown .010  .76 .020  0 error (1) .42 40 3.9 0 error (1) .42 38 3.6 0 unknown 3.6 280 28 0 unknown 1.4 56 14 0 error (1) .022 4.8 .15  0 error (1) .032 4.8 .10  0 error (1) .019 4.9 .15  0 error (1) .019 4.9 .11  0 unknown 1.1   71 12    0 error (1) .070 7.4 .32 0 unknown .082 7.2 .50 0 true 22   490 240 2 error (1) .042 5.3 .20 0 error (1) .051 5.4 .15 0
termination-restricted-15/IntPath_true-termination_true-no-overflow.c error (5) .12  23 1.0  0 true 2.6 230 23 2 error (42) .013  .96 .038 0 unknown .0069 1.1  .021  0 error (1) .42 38 3.9 0 error (1) .42 37 3.6 0 true 2.6 270 23 2 unknown 1.2 56 13 0 error (1) .021 4.8 .11  0 error (1) .020 4.7 .092 0 error (1) .020 4.8 .13  0 error (1) .043 4.8 .099 0 true .15  43 1.1  2 error (1) .069 7.4 .32 0 unknown .082 7.2 .48 0 true 6.1 360 46 2 error (1) .043 5.5 .16 0 error (1) .047 5.4 .18 0
termination-restricted-15/LogAG_true-termination_true-no-overflow.c error (5) 5.3   93 72    0 true 2.0 210 19 2 error (42) .015  1.4  .040 0 unknown .0075 .91 .021  0 error (1) .42 40 3.9 0 error (1) .42 40 3.4 0 true 5.3 310 44 2 unknown 1.4 58 15 0 error (1) .019 4.8 .17  0 error (1) .021 4.7 .13  0 error (1) .021 4.8 .13  0 error (1) .047 4.8 .14  0 true .28  70 2.7  2 error (1) .058 7.3 .39 0 unknown .082 7.2 .50 0 true 7.4 420 58 2 error (1) .026 5.4 .16 0 error (1) .047 5.4 .16 0
termination-restricted-15/Log_true-termination_true-no-overflow.c true .39  29 4.5  2 true 2.0 210 17 2 error (42) .015  1.2  .045 0 unknown .0060 1.0  .023  0 error (1) .42 38 3.8 0 error (1) .42 37 3.9 0 true 4.9 290 44 2 unknown 1.5 55 18 0 error (1) .020 4.7 .15  0 error (1) .019 4.8 .14  0 error (1) .018 4.8 .18  0 error (1) .044 4.8 .11  0 true .21  70 2.2  2 error (1) .069 7.2 .34 0 unknown .081 7.2 .49 0 true 7.5 410 55 2 error (1) .042 5.4 .20 0 error (1) .043 5.4 .16 0
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c true .15  28 1.6  2 true 2.2 210 19 2 error (42) .021  1.2  .045 0 unknown .0095 .92 .022  0 error (1) .42 40 3.4 0 error (1) .40 37 3.9 0 timeout 900   2800 7100 0 unknown 1.2 56 13 0 error (1) .021 4.9 .14  0 error (1) .021 4.8 .11  0 error (1) .046 4.8 .10  0 error (1) .036 4.7 .14  0 true .21  46 1.8  2 error (1) .069 7.2 .31 0 unknown .086 7.1 .53 0 true 12   510 97 2 error (1) .051 5.3 .15 0 error (1) .050 5.3 .15 0
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c true .12  23 .87 2 true 2.7 240 25 2 error (42) .022  1.4  .026 0 unknown .0088 .80 .025  0 error (1) .39 38 3.6 0 error (1) .40 37 3.7 0 true 3.7 280 31 2 unknown 1.2 56 13 0 error (1) .018 4.8 .16  0 error (1) .030 4.8 .12  0 error (1) .044 4.8 .14  0 error (1) .043 4.8 .098 0 true .16  43 1.2  2 error (1) .070 7.3 .33 0 unknown .081 7.2 .47 0 true 7.7 340 65 2 error (1) .026 5.4 .18 0 error (1) .024 5.4 .25 0
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c error (5) 1.6   55 20    0 true 2.5 210 22 2 error (42) .014  1.2  .039 0 unknown .010  .89 .017  0 error (1) .39 37 3.9 0 error (1) .44 40 3.8 0 true 6.6 390 51 2 unknown 1.6 56 20 0 error (1) .031 4.8 .16  0 error (1) .043 4.7 .11  0 error (1) .044 4.8 .10  0 error (1) .046 4.9 .13  0 unknown 1.7   75 21    0 error (1) .070 7.2 .31 0