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 unknown .054 7.3 .53 0 true 7.5 470 65 2 error (1) .043 5.4 .22 0 error (1) .024 5.4 .14 0
termination-restricted-15/Nested_true-termination_true-no-overflow.c true .19  25 1.9  2 true 2.1 210 19 2 error (42) .021  1.3  .038 0 unknown .0085 .93 .028  0 error (1) .42 40 3.5 0 error (1) .44 40 3.6 0 true 30   1000 240 2 unknown 1.2 55 14 0 error (1) .020 4.9 .094 0 error (1) .030 4.8 .16  0 error (1) .023 4.8 .15  0 error (1) .044 4.8 .14  0 true .18  70 2.2  2 error (1) .048 7.5 .32 0 unknown .080 7.1 .48 0 true 6.7 330 55 2 error (1) .023 5.4 .22 0 error (1) .026 5.4 .15 0
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c true .12  23 .89 2 true 5.4 430 39 2 error (42) .021  1.2  .048 0 unknown .0074 .91 .022  0 error (1) .39 38 3.8 0 error (1) .41 40 3.6 0 true 4.5 300 38 2 unknown 1.2 56 14 0 error (1) .018 4.7 .15  0 error (1) .035 4.8 .094 0 error (1) .043 4.8 .12  0 error (1) .019 4.7 .16  0 true .15  45 1.4  2 error (1) .061 7.2 .34 0 unknown .081 7.2 .54 0 true 7.8 390 68 2 error (1) .025 5.3 .19 0 error (1) .025 5.4 .19 0
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c true .19  25 2.1  2 true 2.0 210 19 2 error (42) .021  1.2  .052 0 unknown .010  .85 .023  0 error (1) .45 40 4.2 0 error (1) .42 37 3.8 0 true 4.8 300 40 2 unknown 1.4 56 15 0 error (1) .022 4.7 .12  0 error (1) .044 4.8 .14  0 error (1) .042 4.8 .11  0 error (1) .022 4.8 .15  0 true .17  70 1.8  2 error (1) .070 7.1 .33 0 unknown .073 7.3 .58 0 true 7.3 370 62 2 error (1) .024 5.3 .21 0 error (1) .051 5.4 .14 0
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c true .11  22 .76 2 true 2.1 200 15 2 error (42) .012  1.2  .054 0 unknown .0090 1.0  .016  0 error (1) .45 38 3.8 0 error (1) .42 37 3.6 0 true 3.5 280 30 2 unknown 1.2 56 13 0 error (1) .043 4.8 .14  0 error (1) .022 4.7 .13  0 error (1) .019 4.8 .082 0 error (1) .020 4.8 .14  0 true .11  45 1.4  2 error (1) .067 7.3 .33 0 unknown .054 7.0 .60 0 true 6.1 340 53 2 error (1) .051 5.4 .14 0 error (1) .052 5.3 .14 0
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c true .11  23 1.3  2 true 2.2 210 18 2 error (42) .014  1.2  .039 0 unknown .0051 .85 .023  0 error (1) .43 40 3.9 0 error (1) .41 38 4.2 0 true 3.6 270 29 2 unknown 1.2 56 15 0 error (1) .023 4.7 .13  0 error (1) .018 4.8 .17  0 error (1) .018 4.8 .18  0 error (1) .023 4.8 .12  0 true .17  46 1.4  2 error (1) .040 7.2 .42 0 unknown .076 7.2 .58 0 true 7.1 350 56 2 error (1) .024 5.3 .23 0 error (1) .053 5.3 .15 0
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c true .25  28 2.5  2 true 2.2 210 18 2 error (42) .013  1.1  .038 0 unknown .0087 1.1  .021  0 error (1) .41 38 4.0 0 error (1) .41 37 4.1 0 true 5.8 310 45 2 unknown 1.5 56 16 0 error (1) .020 4.8 .14  0 error (1) .022 4.8 .15  0 error (1) .041 4.8 .14  0 error (1) .022 4.9 .20  0 true .24  70 2.2  2 error (1) .042 7.4 .42 0 unknown .058 7.3 .57 0 true 6.7 330 50 2 error (1) .023 5.3 .22 0 error (1) .027 5.4 .17 0
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c true .21  28 2.0  2 true 1.9 210 14 2 error (42) .021  1.4  .047 0 unknown .0070 .92 .020  0 error (1) .40 37 3.9 0 error (1) .40 37 4.0 0 true 4.9 330 43 2 unknown 1.5 58 18 0 error (1) .017 4.7 .16  0 error (1) .033 4.8 .14  0 error (1) .019 4.8 .15  0 error (1) .019 4.8 .19  0 true .25  70 2.4  2 error (1) .069 7.3 .33 0 unknown .083 7.2 .56 0 true 6.9 350 61 2 error (1) .051 5.3 .18 0 error (1) .035 5.4 .18 0
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c true .18  24 1.4  2 true 1.9 210 15 2 error (42) .018  1.4  .035 0 unknown .0091 .82 .017  0 error (1) .40 40 4.1 0 error (1) .44 37 3.9 0 true 4.1 280 32 2 unknown 1.3 56 17 0 error (1) .019 4.8 .13  0 error (1) .049 4.8 .10  0 error (1) .020 4.8 .16  0 error (1) .044 4.7 .12  0 true .22  70 1.8  2 error (1) .042 7.3 .42 0 unknown .081 7.1 .57 0 true 6.3 330 55 2 error (1) .051 5.4 .16 0 error (1) .053 5.4 .20 0
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c true .11  25 1.1  2 true 2.1 210 18 2 error (42) .015  1.2  .039 0 unknown .0091 .92 .019  0 error (1) .42 38 3.7 0 error (1) .40 38 4.1 0 true 4.5 300 40 2 unknown 1.4 56 14 0 error (1) .041 4.8 .13  0 error (1) .019 4.7 .13  0 error (1) .044 4.8 .12  0 error (1) .039 4.8 .12  0 true .23  70 2.0  2 error (1) .068 7.4 .32 0 unknown .062 7.3 .60 0 true 6.7 330 54 2 error (1) .025 5.4 .20 0 error (1) .052 5.4 .15 0
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c true .13  22 .86 2 true 1.8 200 14 2 error (42) .019  1.1  .045 0 unknown .0070 .92 .025  0 error (1) .42 37 3.5 0 error (1) .42 38 3.6 0 true 3.5 270 33 2 unknown 1.1 56 15 0 error (1) .029 4.8 .12  0 error (1) .021 4.9 .086 0 error (1) .023 4.7 .14  0 error (1) .044 4.9 .14  0 true .11  45 1.3  2 error (1) .065 7.6 .34 0 unknown .089 7.2 .53 0 true 5.8 330 53 2 error (1) .051 5.4 .11 0 error (1) .049 5.4 .15 0
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c true .14  23 1.0  2 true 1.8 210 17 2 error (42) .016  1.3  .032 0 unknown .0091 1.0  .019  0 error (1) .44 40 3.8 0 error (1) .39 37 3.9 0 true 3.7 270 29 2 unknown 1.2 55 11 0 error (1) .019 4.8 .15  0 error (1) .019 4.8 .17  0 error (1) .021 4.7 .14  0 error (1) .034 4.8 .14  0 true .11  45 1.4  2 error (1) .069 7.3 .30 0 unknown .058 7.3 .62 0 true 6.4 330 50 2 error (1) .024 5.4 .19 0 error (1) .026 5.3 .22 0
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c true .22  28 2.1  2 true 1.9 210 15 2 error (42) .017  1.1  .038 0 unknown .0086 .91 .030  0 error (1) .44 38 3.5 0 error (1) .42 40 3.6 0 unknown 3.3 280 31 0 unknown 1.2 55 12 0 error (1) .018 4.8 .19  0 error (1) .043 4.8 .12  0 error (1) .022 4.7 .15  0 error (1) .044 4.7 .13  0 true .13  43 .96 2 error (1) .069 7.3 .32 0 unknown .085 7.1 .48 0 true 9.5 330 88 2 error (1) .042 5.3 .22 0 error (1) .054 5.4 .17 0
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c true .12  23 .82 2 true 1.9 210 16 2 error (42) .021  1.4  .044 0 unknown .0090 1.1  .021  0 error (1) .46 40 4.1 0 error (1) .42 38 4.0 0 true 3.6 270 34 2 unknown 1.2 56 14 0 error (1) .030 4.8 .13  0 error (1) .043 4.8 .12  0 error (1) .035 4.8 .15  0 error (1) .019 4.8 .13  0 true .14  46 1.4  2 error (1) .070 7.2 .32 0 unknown .082 7.2 .45 0 true 6.1 320 43 2 error (1) .027 5.3 .21 0 error (1) .051 5.4 .18 0
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c true .15  24 1.4  2 true 2.0 210 16 2 error (42) .021  1.3  .059 0 unknown .0073 .92 .019  0 error (1) .42 37 3.8 0 error (1) .41 40 4.1 0 true 3.6 280 28 2 unknown 1.2 58 12 0 error (1) .022 4.7 .11  0 error (1) .019 4.7 .13  0 error (1) .021 4.8 .12  0 error (1) .020 4.7 .11  0 true .17  46 1.5  2 error (1) .057 7.4 .29 0 unknown .059 7.3 .55 0 true 6.4 320 49 2 error (1) .051 5.5 .17 0 error (1) .025 5.4 .21 0
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c true .12  23 1.1  2 true 2.0 210 18 2 error (42) .021  1.2  .050 0 unknown .0090 1.0  .020  0 error (1) .41 37 3.7 0 error (1) .44 40 4.1 0 true 4.8 300 42 2 unknown 1.2 56 15 0 error (1) .031 4.8 .21  0 error (1) .018 4.7 .16  0 error (1) .044 4.8 .11  0 error (1) .022 4.7 .13  0 true .15  46 1.6  2 error (1) .069 7.3 .34 0 unknown .071 7.2 .59 0 true 8.0 420 71 2 error (1) .025 5.3 .18 0 error (1) .050 5.3 .18 0
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c true .15  24 1.2  2 true 2.0 210 16 2 error (42) .013  1.0  .039 0 unknown .0043 .85 .025  0 error (1) .39 38 4.0 0 error (1) .43 40 4.1 0 true 4.2 290 35 2 unknown 1.2 55 13 0 error (1) .043 4.8 .10  0 error (1) .020 4.8 .14  0 error (1) .044 4.7 .13  0 error (1) .021 4.8 .17  0 true .18  46 1.5  2 error (1) .065 7.1 .41 0 unknown .086 7.2 .50 0 true 15   340 170 2 error (1) .024 5.4 .13 0 error (1) .051 5.3 .18 0
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c true .24  28 2.6  2 true 2.1 210 19 2 error (42) .021  1.5  .042 0 unknown .0080 .63 .029  0 error (1) .43 40 3.7 0 error (1) .41 40 4.5 0 true 5.1 310 42 2 unknown 1.2 56 13 0 error (1) .034 4.8 .13  0 error (1) .043 4.8 .11  0 error (1) .022 5.0 .16  0 error (1) .036 4.8 .13  0 true .18  47 2.1  2 error (1) .044 7.4 .31 0 unknown .072 7.3 .58 0 true 8.2 430 68 2 error (1) .024 5.3 .19 0 error (1) .050 5.4 .15 0
termination-restricted-15/Sequence_true-termination_true-no-overflow.c true .16  23 1.1  2 true 2.3 210 17 2 error (42) .021  1.2  .049 0 unknown .0092 1.1  .016  0 error (1) .43 37 3.5 0 error (1) .42 38 4.0 0 timeout 900   4400 8700 0 unknown 1.2 56 11 0 error (1) .046 4.9 .12  0 error (1) .022 4.7 .14  0 error (1) .033 4.9 .18  0 error (1) .043 4.7 .11  0 true .12  45 1.2  2 error (1) .070 7.3 .29 0 unknown .082 7.3 .49 0 true 6.1 320 48 2 error (1) .040 5.4 .26 0 error (1) .027 5.5 .18 0
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c true .11  25 1.3  2 true 2.1 210 16 2 error (42) .013  1.2  .036 0 unknown .010  .77 .022  0 error (1) .40 37 3.5 0 error (1) .41 37 3.7 0 true 3.6 280 33 2 unknown 1.2 56 13 0 error (1) .035 4.8 .12  0 error (1) .044 4.7 .13  0 error (1) .017 4.8 .16  0 error (1) .020 4.8 .14  0 true .13  45 .88 2 error (1) .065 7.2 .35 0 unknown .058 7.1 .55 0 true 5.9 330 47 2 error (1) .049 5.5 .19 0 error (1) .044 5.4 .20 0
termination-restricted-15/a.01_true-termination_true-no-overflow.c true .22  26 1.8  2 true 2.1 210 18 2 error (42) .021  1.2  .053 0 unknown .010  .99 .016  0 error (1) .41 37 3.4 0 error (1) .42 38 3.3 0 true 5.3 310 40 2 unknown 1.4 55 15 0 error (1) .044 4.8 .096 0 error (1) .022 4.8 .11  0 error (1) .046 4.8 .12  0 error (1) .017 4.8 .15  0 true .18  70 2.0  2 error (1) .068 7.4 .37 0 unknown .072 7.2 .67 0 true 7.1 380 58 2 error (1) .033 5.4 .19 0 error (1) .045 5.5 .17 0
termination-restricted-15/a.04_true-termination_true-no-overflow.c true .12  22 .71 2 true 1.9 200 16 2 error (42) .015  1.2  .043 0 unknown .010  1.0  .019  0 error (1) .44 40 4.4 0 error (1) .43 40 3.9 0 true 3.5 270 33 2 unknown 1.2 55 13 0 error (1) .019 4.9 .15  0 error (1) .022 4.7 .090 0 error (1) .021 4.9 .094 0 error (1) .044 4.7 .099 0 true .13  45 1.1  2 error (1) .068 7.2 .30 0 unknown .055 7.1 .52 0 true 6.1 320 50 2 error (1) .025 5.3 .19 0 error (1) .024 5.3 .21 0
termination-restricted-15/a.05_true-termination_true-no-overflow.c true .085 23 .78 2 true 1.9 200 15 2 error (42) .012  1.2  .048 0 unknown .010  1.1  .013  0 error (1) .45 38 3.7 0 error (1) .40 37 3.9 0 true 3.9 290 34 2 unknown 1.2 55 11 0 error (1) .020 4.7 .15  0 error (1) .044 4.7 .12  0 error (1) .044 4.9 .13  0 error (1) .041 4.8 .10  0 true .17  46 1.2  2 error (1) .044 7.2 .38 0 unknown .058 7.1 .60 0 true 6.3 330 45 2 error (1) .051 5.4 .15 0 error (1) .028 5.6 .17 0
termination-restricted-15/a.06_true-termination_true-no-overflow.c true .12  23 .98 2 true 2.4 210 18 2 error (42) .020  .99 .039 0 unknown .011  .85 .017  0 error (1) .41 39 3.8 0 error (1) .44 40 4.4 0 true 4.3 310 36 2 unknown 1.2 55 13 0 error (1) .038 4.7 .12  0 error (1) .018 4.8 .15  0 error (1) .020 4.9 .13  0 error (1) .021 4.8 .13  0 true .38  47 3.7  2 error (1) .069 7.5 .32 0 unknown .080 7.3 .56 0 true 8.1 440 66 2 error (1) .051 5.4 .12 0 error (1) .050 5.5 .17 0
termination-restricted-15/a.07_true-termination_true-no-overflow.c true .16  23 1.0  2 true 1.9 210 17 2 error (42) .012  1.4  .042 0 unknown .0062 .92 .024  0 error (1) .43 38 3.9 0 error (1) .40 40 3.7 0 true 3.7 280 30 2 unknown 1.2 56 13 0 error (1) .020 4.7 .12  0 error (1) .038 4.7 .12  0 error (1) .020 4.7 .15  0 error (1) .021 4.8 .12  0 true .16  46 1.5  2 error (1) .058 7.2 .36 0 unknown .082 7.4 .53 0 true 6.3 320 51 2 error (1) .027 5.4 .16 0 error (1) .024 5.4 .22 0
termination-restricted-15/a.08_true-termination_true-no-overflow.c true .15  24 1.1  2 true 2.0 200 18 2 error (42) .021  .97 .039 0 unknown .0073 1.0  .020  0 error (1) .41 40 4.4 0 error (1) .46 40 4.3 0 true 3.9 290 35 2 unknown 1.2 55 12 0 error (1) .039 4.7 .13  0 error (1) .042 4.7 .099 0 error (1) .020 4.8 .12  0 error (1) .023 4.8 .11  0 true .13  46 1.3  2 error (1) .060 7.2 .38 0 unknown .056 7.1 .68 0 true 6.3 330 49 2 error (1) .047 5.3 .16 0 error (1) .052 5.3 .16 0
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c true .13  23 .72 2 true 2.2 210 17 2 error (42) .012  .98 .050 0 unknown .0086 .92 .025  0 error (1) .45 40 4.3 0 error (1) .43 40 3.5 0 unknown 3.3 270 26 0 unknown 1.2 56 15 0 error (1) .023 4.8 .17  0 error (1) .020 4.7 .14  0 error (1) .044 4.8 .080 0 error (1) .018 4.8 .11  0 true .20  46 1.5  2 error (1) .045 7.2 .38 0 unknown .058 7.3 .52 0 true 18   460 200 2 error (1) .051 5.4 .13 0 error (1) .047 5.4 .17 0
termination-restricted-15/a.10_true-termination.c true .13  23 1.2  2 true 3.2 250 23 2 error (42) .022  1.2  .055 0 unknown .011  .86 .028  0 error (1) .41 37 3.9 0 error (1) .45 38 4.0 0 true 4.9 280 35 2 unknown 1.2 56 12 0 error (1) .045 4.7 .12  0 error (1) .044 4.8 .10  0 error (1) .044 4.8 .13  0 error (1) .044 4.8 .12  0 true .16  46 2.3  2 error (1) .060 7.3 .38 0 unknown .053 7.2 .60 0 true 7.9 400 58 2 error (1) .025 5.4 .21 0 error (1) .051 5.4 .15 0
termination-restricted-15/b.01_true-termination_true-no-overflow.c true .13  23 .89 2 true 1.9 210 17 2 error (42) .022  1.3  .045 0 unknown .0065 1.0  .034  0 error (1) .43 40 4.0 0 error (1) .40 38 3.5 0 true 3.7 270 35 2 unknown 1.2 58 13 0 error (1) .044 4.8 .14  0 error (1) .043 4.7 .11  0 error (1) .044 4.7 .14  0 error (1) .021 4.8 .15  0 true .14  45 .94 2 error (1) .042 7.4 .37 0 unknown .053 7.1 .62 0 true 6.0 320 46 2 error (1) .028 5.4 .19 0 error (1) .050 5.3 .17 0
termination-restricted-15/b.02_true-termination_true-no-overflow.c true .14  23 .88 2 true 2.1 200 15 2 error (42) .013  1.2  .053 0 unknown .0089 1.0  .023  0 error (1) .44 38 3.9 0 error (1) .42 37 4.1 0 true 3.5 270 31 2 unknown 1.2 56 13 0 error (1) .043 4.8 .10  0 error (1) .022 4.8 .15  0 error (1) .020 4.8 .12  0 error (1) .019 4.8 .13  0 true .14  45 1.2  2 error (1) .047 7.3 .36 0 unknown .083 7.2 .49 0 true 5.9 320 49 2 error (1) .051 5.4 .16 0 error (1) .026 5.6 .27 0
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c true .14  27 .74 2 true 7.7 600 51 2 error (42) .018  1.1  .040 0 unknown .0074 .79 .021  0 error (1) .41 40 4.0 0 error (1) .44 37 3.7 0 unknown 3.1 270 28 0 unknown 1.2 55 13 0 error (1) .044 4.8 .11  0 error (1) .018 4.9 .12  0 error (1) .043 4.8 .095 0 error (1) .036 4.8 .11  0 true 1.2   52 13    2 error (1) .060 7.1 .40 0 unknown .059 7.2 .52 0 true 19   450 180 2 error (1) .024 5.3 .24 0 error (1) .025 5.5 .19 0
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c true .13  25 .93 2 true 2.0 210 17 2 error (42) .015  1.4  .056 0 unknown .0050 .80 .013  0 error (1) .43 40 3.6 0 error (1) .38 37 3.2 0 unknown 3.2 270 30 0 unknown 1.2 56 12 0 error (1) .026 4.7 .18  0 error (1) .018 4.8 .13  0 error (1) .031 4.8 .16  0 error (1) .044 4.8 .15  0 true .16  46 2.0  2 error (1) .070 7.5 .31 0 unknown .071 7.1 .61 0 true 18   440 240 2 error (1) .051 5.3 .17 0 error (1) .023 5.4 .20 0
termination-restricted-15/b.04_true-termination_true-no-overflow.c true .18  26 1.4  2 true 2.0 210 15 2 error (42) .013  1.4  .058 0 unknown .0092 .84 .015  0 error (1) .45 38 3.7 0 error (1) .38 38 4.3 0 unknown 3.2 270 28 0 unknown 1.2 57 13 0 error (1) .044 4.7 .12  0 error (1) .020 4.8 .14  0 error (1) .022 4.7 .13  0 error (1) .035 4.8 .15  0 true .10  43 .92 2 error (1) .060 7.2 .37 0 unknown .061 7.2 .51 0 true 9.1 330 89 2 error (1) .051 5.6 .21 0 error (1) .026 5.3 .19 0
termination-restricted-15/b.05_true-termination_true-no-overflow.c true .17  24 1.6  2 true 1.9 200 16 2 error (42) .013  .96 .048 0 unknown .0097 1.0  .018  0 error (1) .43 40 4.1 0 error (1) .41 40 3.9 0 true 4.5 310 36 2 unknown 1.2 58 15 0 error (1) .022 4.8 .12  0 error (1) .047 4.9 .12  0 error (1) .020 4.8 .15  0 error (1) .019 4.7 .16  0 true .21  45 2.4  2 error (1) .061 7.3 .37 0 unknown .057 7.3 .52 0 true 5.8 330 46 2 error (1) .051 5.2 .17 0 error (1) .025 5.4 .16 0
termination-restricted-15/b.06_true-termination_true-no-overflow.c true .16  24 1.4  2 true 1.8 200 17 2 error (42) .016  1.1  .041 0 unknown .0087 .83 .019  0 error (1) .44 40 3.9 0 error (1) .39 37 3.8 0 true 4.4 290 33 2 unknown 1.2 56 14 0 error (1) .033 4.8 .12  0 error (1) .043 4.8 .14  0 error (1) .018 4.8 .16  0 error (1) .021 4.8 .15  0 true .18  46 1.5  2 error (1) .066 7.3 .32 0 unknown .057 7.2 .57 0 true 6.0 330 46 2 error (1) .052 5.3 .15 0 error (1) .051 5.4 .16 0
termination-restricted-15/b.07_true-termination_true-no-overflow.c true .17  24 1.2  2 true 1.8 200 16 2 error (42) .017  1.4  .037 0 unknown .0088 1.0  .018  0 error (1) .42 37 3.7 0 error (1) .40 38 3.7 0 true 4.0 280 33 2 unknown 1.2 56 15 0 error (1) .019 4.8 .15  0 error (1) .043 4.7 .11  0 error (1) .044 4.8 .10  0 error (1) .043 4.8 .10  0 true .18  46 1.4  2 error (1) .066 7.3 .30 0 unknown .054 7.3 .53 0 true 6.3 320 51 2 error (1) .051 5.4 .13 0 error (1) .025 5.4 .15 0
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c error (5) 1.9   35 24    0 true 3.1 260 24 2 error (42) .022  1.2  .037 0 unknown .0089 .91 .022  0 error (1) .43 40 3.9 0 error (1) .39 37 3.6 0 unknown 4.0 300 38 0 unknown 1.2 57 13 0 error (1) .021 4.8 .12  0 error (1) .020 4.8 .14  0 error (1) .040 4.8 .11  0 error (1) .044 4.8 .12  0 true .37  52 4.0  2 error (1) .069 7.5 .37 0 unknown .057 7.3 .53 0 true 9.5 480 76 2 error (1) .053 5.2 .14 0 error (1) .043 5.4 .22 0
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c true .14  24 1.4  2 true 2.2 210 19 2 error (42) .019  .96 .045 0 unknown .010  .85 .019  0 error (1) .43 40 3.6 0 error (1) .40 37 3.7 0 true 4.1 290 33 2 unknown 1.2 56 12 0 error (1) .023 4.7 .13  0 error (1) .018 4.8 .15  0 error (1) .044 4.8 .13  0 error (1) .040 4.7 .13  0 true .18  46 1.4  2 error (1) .060 7.3 .41 0 unknown .054 7.3 .60 0 true 6.5 330 53 2 error (1) .051 5.2 .15 0 error (1) .029 5.2 .20 0
termination-restricted-15/b.10_true-termination_true-no-overflow.c true .17  26 1.5  2 true 3.6 280 24 2 error (42) .013  1.3  .040 0 unknown .0092 .92 .016  0 error (1) .41 40 3.4 0 error (1) .41 40 4.2 0 true 4.8 310 40 2 unknown 1.2 56 14 0 error (1) .014 4.8 .11  0 error (1) .034 4.8 .095 0 error (1) .044 4.8 .11  0 error (1) .021 4.8 .14  0 unknown .64  48 6.6  0 error (1) .042 7.4 .36 0 unknown .056 7.3 .52 0 true 19   380 200 2 error (1) .051 5.4 .16 0 error (1) .026 5.5 .17 0
termination-restricted-15/b.11_true-termination_true-no-overflow.c true .15  24 1.4  2 true 2.2 210 17 2 error (42) .021  1.4  .048 0 unknown .0077 .88 .021  0 error (1) .44 40 3.9 0 error (1) .40 37 3.6 0 true 5.9 320 46 2 unknown 1.3 56 13 0 error (1) .044 4.8 .12  0 error (1) .020 4.8 .16  0 error (1) .044 4.8 .077 0 error (1) .018 4.7 .12  0 unknown .82  48 10    0 error (1) .066 7.3 .31 0 unknown .072 7.3 .59 0 true 31   390 400 2 error (1) .052 5.4 .16 0 error (1) .041 5.3 .21 0
termination-restricted-15/b.12_true-termination_true-no-overflow.c true .17  24 1.4  2 true 2.9 210 23 2 error (42) .016  1.3  .043 0 unknown .0090 .94 .019  0 error (1) .41 38 3.6 0 error (1) .43 38 4.0 0 true 4.4 290 41 2 unknown 1.2 56 15 0 error (1) .018 4.8 .19  0 error (1) .031 4.8 .10  0 error (1) .021 4.8 .14  0 error (1) .024 4.9 .14  0 true .19  46 1.7  2 error (1) .068 7.3 .33 0 unknown .081 7.2 .49 0 true 6.6 330 49 2 error (1) .051 5.3 .15 0 error (1) .025 5.3 .17 0
termination-restricted-15/b.13_true-termination_true-no-overflow.c true .15  23 1.1  2 true 2.5 260 20 2 error (42) .019  .97 .040 0 unknown .0090 .89 .020  0 error (1) .45 40 3.9 0 error (1) .42 37 3.5 0 true 4.4 310 34 2 unknown 1.2 56 14 0 error (1) .032 4.8 .15  0 error (1) .018 4.8 .13  0 error (1) .021 4.8 .079 0 error (1) .035 4.8 .16  0 true .17  46 1.7  2 error (1) .046 7.2 .35 0 unknown .076 7.2 .59 0 true 7.3 350 55 2 error (1) .026 5.5 .19 0 error (1) .028 5.4 .16 0
termination-restricted-15/b.14_true-termination_true-no-overflow.c true .31  26 3.5  2 true 2.1 210 18 2 error (42) .018  1.1  .036 0 unknown .0091 .90 .018  0 error (1) .42 37 3.8 0 error (1) .43 40 3.9 0 true 5.7 320 54 2 unknown 1.6 56 16 0 error (1) .018 4.7 .15  0 error (1) .020 4.7 .15  0 error (1) .044 4.8 .12  0 error (1) .041 4.7 .11  0 true .27  71 2.2  2 error (1) .069 7.4 .29 0 unknown .082 7.1 .48 0 true 6.8 370 50 2 error (1) .051 5.3 .13 0 error (1) .051 5.4 .16 0
termination-restricted-15/b.15_true-termination_true-no-overflow.c true .22  29 2.3  2 true 1.9 200 17 2 error (42) .021  1.1  .044 0 unknown .0099 .91 .018  0 error (1) .44 38 3.8 0 error (1) .40 40 3.8 0 true 5.0 320 39 2 unknown 1.5 56 18 0 error (1) .028 4.8 .13  0 error (1) .023 4.8 .14  0 error (1) .042 4.8 .14  0 error (1) .030 4.7 .18  0 true .21  70 2.6  2 error (1) .065 7.3 .34 0 unknown .085 7.1 .50 0 true 7.6 360 71 2 error (1) .025 5.3 .20 0 error (1) .024 5.3 .18 0
termination-restricted-15/b.16_true-termination_true-no-overflow.c true .18  24 1.4  2 true 2.1 200 15 2 error (42) .021  1.6  .039 0 unknown .0083 .92 .026  0 error (1) .43 38 3.4 0 error (1) .42 40 4.4 0 true 4.1 290 34 2 unknown 1.4 58 15 0 error (1) .044 4.8 .14  0 error (1) .037 4.7 .083 0 error (1) .036 4.8 .16  0 error (1) .041 4.8 .097 0 true .19  70 2.1  2 error (1) .066 7.4 .31 0 unknown .079 7.1 .55 0 true 6.9 330 57 2 error (1) .053 5.3 .13 0 error (1) .025 5.4 .17 0
termination-restricted-15/b.17_true-termination_true-no-overflow.c true .13  23 1.0  2 true 2.2 210 17 2 error (42) .014  1.4  .046 0 unknown .010  .89 .021  0 error (1) .43 40 3.8 0 error (1) .39 38 4.0 0 true 4.6 300 34 2 unknown 1.4 56 14 0 error (1) .019 4.8 .16  0 error (1) .043 4.8 .14  0 error (1) .030 4.8 .10  0 error (1) .045 4.7 .11  0 true .22  70 2.3  2 error (1) .068 7.2 .35 0 unknown .080 7.2 .50 0 true 6.7 330 56 2 error (1) .027 5.3 .18 0 error (1) .028 5.3 .17 0
termination-restricted-15/b.18_true-termination_true-no-overflow.c true .30  26 3.2  2 true 2.7 210 21 2 error (42) .021  1.2  .040 0 unknown .0043 .99 .012  0 error (1) .42 38 3.8 0 error (1) .41 39 3.9 0 true 6.3 320 45 2 unknown 1.6 55 18 0 error (1) .021 4.8 .15  0 error (1) .021 4.8 .11  0 error (1) .039 4.8 .11  0 error (1) .039 4.8 .11  0 true .27  73 3.0  2 error (1) .065 7.2 .38 0 unknown .083 7.2 .49 0 true 7.1 380 58 2 error (1) .023 5.4 .24 0 error (1) .025 5.3 .24 0
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c error (5) .23  25 2.5  0 true 21   1500 130 2 error (42) .019  1.4  .049 0 unknown .0096 1.0  .023  0 error (1) .41 37 3.5 0 error (1) .40 37 3.5 0 true 73   3800 720 2 unknown 1.4 56 18 0 error (1) .038 4.8 .12  0 error (1) .022 4.8 .11  0 error (1) .022 4.9 .10  0 error (1) .019 4.8 .13  0 true .37  73 4.1  2 error (1) .066 7.5 .35 0 unknown .074 7.4 .55 0 true 11   490 98 2 error (1) .026 5.5 .24 0 error (1) .024 5.4 .20 0
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c true .18  24 1.6  2 true 2.9 230 24 2 error (42) .015  1.3  .034 0 unknown .0088 1.1  .027  0 error (1) .41 37 3.5 0 error (1) .43 40 3.9 0 true 110   3700 990 2 unknown 1.4 57 14 0 error (1) .033 4.9 .12  0 error (1) .018 4.8 .11  0 error (1) .030 4.8 .16  0 error (1) .036 4.8 .15  0 true .48  73 4.5  2 error (1) .068 7.3 .35 0 unknown .056 7.1 .55 0 true 7.1 380 54 2 error (1) .052 5.4 .16 0 error (1) .046 5.2 .16 0
termination-restricted-15/c.02_true-termination_true-no-overflow.c true .14  24 1.2  2 true 2.2 210 16 2 error (42) .018  1.1  .041 0 unknown .0091 .72 .019  0 error (1) .39 38 3.3 0 error (1) .38 37 3.7 0 true 4.9 290 42 2 unknown 1.4 56 15 0 error (1) .022 4.9 .14  0 error (1) .017 4.8 .16  0 error (1) .030 4.7 .14  0 error (1) .019 4.7 .088 0 true .25  70 2.3  2 error (1) .068 7.2 .30 0 unknown .083 7.2 .51 0 true 7.3 380 57 2 error (1) .023 5.5 .21 0 error (1) .024 5.3 .21 0
termination-restricted-15/c.03_true-termination_true-no-overflow.c true .17  26 1.3  2 true 2.4 210 17 2 error (42) .014  1.2  .038 0 unknown .0087 .88 .027  0 error (1) .44 40 4.3 0 error (1) .41 38 4.1 0 true 5.4 320 46 2 unknown 1.2 56 14 0 error (1) .019 4.7 .11  0 error (1) .044 4.8 .13  0 error (1) .020 4.8 .12  0 error (1) .045 4.8 .12  0 true .20  47 2.3  2 error (1) .063 7.3 .34 0 unknown .082 7.2 .50 0 true 32   430 330 2 error (1) .045 5.4 .19 0 error (1) .051 5.5 .15 0
termination-restricted-15/c.07_true-termination_true-no-overflow.c true .23  28 2.1  2 true 2.1 210 18 2 error (42) .015  1.5  .042 0 unknown .0089 .73 .026  0 error (1) .41 37 3.8 0 error (1) .42 37 3.4 0 true 4.1 300 33 2 unknown 1.2 55 12 0 error (1) .021 4.9 .13  0 error (1) .021 4.7 .078 0 error (1) .021 4.8 .13  0 error (1) .018 4.8 .19  0 true .21  46 1.9  2 error (1) .056 7.3 .33 0 unknown .077 7.2 .56 0 true 6.3 320 46 2 error (1) .044 5.3 .22 0 error (1) .051 5.4 .17 0
termination-restricted-15/c.08_true-termination_true-no-overflow.c true .18  24 1.8  2 true 2.1 210 18 2 error (42) .019  1.4  .049 0 unknown .0090 .94 .015  0 error (1) .44 41 4.3 0 error (1) .44 40 4.1 0 true 5.1 310 38 2 unknown 1.4 57 15 0 error (1) .030 4.7 .17  0 error (1) .044 4.8 .098 0 error (1) .032 4.8 .13  0 error (1) .046 4.8 .11  0 true .22  70 2.3  2 error (1) .041 7.2 .35 0 unknown .082 7.4 .53 0 true 7.3 370 53 2 error (1) .050 5.4 .19 0 error (1) .027 5.4 .18 0
termination-restricted-15/ex3a_true-termination_true-no-overflow.c true .19  28 1.5  2 true 1.9 210 16 2 error (42) .019  1.4  .037 0 unknown .0090 .88 .023  0 error (1) .45 38 3.8 0 error (1) .39 37 3.8 0 unknown 4.0 290 32 0 unknown 1.2 56 12 0 error (1) .033 4.8 .14  0 error (1) .043 4.8 .13  0 error (1) .018 4.8 .16  0 error (1) .039 4.7 .11  0 true .16  46 1.4  2 error (1) .040 7.2 .42 0 unknown .085 7.1 .47 0 unknown 9.8 500 75 0 error (1) .024 5.4 .19 0 error (1) .023 5.4 .21 0
termination-restricted-15/ex3b_true-termination_true-no-overflow.c true .15  25 1.2  2 true 8.1 450 51 2 error (42) .021  1.0  .044 0 unknown .0089 .92 .026  0 error (1) .41 37 3.4 0 error (1) .45 40 3.7 0 unknown 4.6 360 40 0 unknown 1.1 56 13 0 error (1) .020 4.8 .17  0 error (1) .019 4.8 .15  0 error (1) .019 4.7 .17  0 error (1) .035 4.8 .16  0 true .16  46 1.7  2 error (1) .070 7.2 .34 0 unknown .055 7.2 .62 0 unknown 12   510 92 0 error (1) .050 5.3 .15 0 error (1) .043 5.4 .17 0
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c true .14  26 1.3  2 true 2.0 200 16 2 error (42) .021  1.3  .051 0 unknown .0089 .73 .025  0 error (1) .44 38 3.8 0 error (1) .38 37 3.8 0 unknown 3.7 280 35 0 unknown 1.2 56 15 0 error (1) .020 4.8 .13  0 error (1) .043 4.8 .14  0 error (1) .041 4.7 .11  0 error (1) .021 4.8 .14  0 true .17  46 1.7  2 error (1) .043 7.3 .34 0 unknown .072 7.3 .57 0 true 6.2 320 52 2 error (1) .024 5.4 .18 0 error (1) .051 5.3 .17 0
termination-restricted-15/java_Break_true-termination_true-no-overflow.c true .16  24 1.1  2 true 2.0 200 17 2 error (42) .021  1.3  .052 0 unknown .0090 .77 .020  0 error (1) .41 38 4.0 0 error (1) .43 40 4.4 0 true 15   510 100 2 unknown 1.2 56 14 0 error (1) .030 4.7 .11  0 error (1) .032 4.8 .12  0 error (1) .044 4.8 .10  0 error (1) .044 4.8 .13  0 true .11  45 .99 2 error (1) .042 7.3 .37 0 unknown .056 7.3 .52 0 true 5.9 320 43 2 error (1) .027 5.4 .19 0 error (1) .039 5.4 .15 0
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c true .18  24 1.5  2 true 2.0 210 19 2 error (42) .012  1.2  .056 0 unknown .0089 .89 .016  0 error (1) .43 38 3.3 0 error (1) .43 40 4.3 0 true 26   840 200 2 unknown 1.2 56 13 0 error (1) .019 4.8 .16  0 error (1) .020 4.7 .15  0 error (1) .043 4.7 .13  0 error (1) .043 4.7 .095 0 true .16  46 1.2  2 error (1) .064 7.3 .33 0 unknown .082 7.1 .58 0 true 6.7 350 52 2 error (1) .026 5.4 .16 0 error (1) .048 5.4 .19 0
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c true .25  28 2.8  2 true 2.0 200 17 2 error (42) .021  1.4  .045 0 unknown .0096 .88 .023  0 error (1) .41 38 3.9 0 error (1) .45 40 4.1 0 true 52   2300 510 2 unknown 1.2 56 14 0 error (1) .030 4.7 .12  0 error (1) .029 4.9 .12  0 error (1) .030 4.8 .16  0 error (1) .035 4.9 .12  0 true .22  70 2.0  2 error (1) .043 7.1 .40 0 unknown .053 7.1 .67 0 true 8.9 470 68 2 error (1) .051 5.5 .14 0 error (1) .026 5.3 .22 0
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c true .28  28 3.4  2 true 2.0 210 16 2 error (42) .015  1.3  .048 0 unknown .0066 .76 .018  0 error (1) .42 38 4.0 0 error (1) .41 37 3.6 0 timeout 900   4400 11000 0 unknown 1.2 56 14 0 error (1) .019 4.8 .14  0 error (1) .021 4.8 .14  0 error (1) .020 4.8 .16  0 error (1) .019 4.8 .16  0 true .26  70 2.7  2 error (1) .073 7.4 .31 0 unknown .055 7.2 .56 0 true 7.5 350 63 2 error (1) .053 5.4 .17 0 error (1) .042 5.4 .15 0
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c error (5) .17  24 1.5  0 false(termination) 8.2 700 59 1 error (42) .016  1.3  .036 0 unknown .010  .85 .019  0 error (1) .45 38 4.1 0 error (1) .44 41 3.7 0 false(termination) 4.4 290 36 1 unknown 1.2 55 15 0 error (1) .018 4.8 .16  0 error (1) .019 4.8 .19  0 error (1) .020 4.8 .15  0 error (1) .021 4.7 .11  0 unknown .29  43 2.6  0 error (1) .072 7.6 .33 0 unknown .080 7.2 .56 0 false(termination) 6.6 330 56 1 error (1) .028 5.4 .24 0 error (1) .046 5.4 .19 0
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c error (5) .10  23 .90 0 false(termination) 5.0 410 41 1 error (42) .022  1.5  .037 0 unknown .0099 .88 .019  0 error (1) .42 37 3.4 0 error (1) .41 37 4.0 0 false(termination) 3.9 290 30 1 unknown 1.2 58 12 0 error (1) .021 4.7 .14  0 error (1) .030 4.8 .093 0 error (1) .044 4.8 .14  0 error (1) .022 4.8 .13  0 false(termination) .23  47 2.9  1 error (1) .070 7.3 .33 0 unknown .055 7.3 .60 0 false(termination) 5.7 320 42 1 error (1) .025 5.3 .16 0 error (1) .050 5.4 .13 0
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c error (5) .12  23 .93 0 false(termination) 4.0 320 28 1 error (42) .021  1.3  .058 0 unknown .0089 1.1  .020  0 error (1) .42 40 4.3 0 error (1) .41 40 3.5 0 false(termination) 3.8 290 31 1 unknown 1.2 57 15 0 error (1) .023 4.8 .13  0 error (1) .017 4.8 .17  0 error (1) .023 4.8 .15  0 error (1) .041 4.8 .14  0 false(termination) .14  46 1.3  1 error (1) .042 7.5 .40 0 unknown .075 7.1 .55 0 false(termination) 6.4 320 52 1 error (1) .028 5.4 .17 0 error (1) .046 5.4 .17 0
termination-restricted-15/Ex02_false-termination_true-no-overflow.c error (5) .15  23 1.1  0 false(termination) 5.6 360 41 1 error (42) .010  1.2  .038 0 unknown .0089 .92 .020  0 error (1) .40 37 3.7 0 error (1) .42 39 4.2 0 false(termination) 3.7 280 31 1 unknown 1.2 55 12 0 error (1) .031 4.8 .16  0 error (1) .043 4.7 .13  0 error (1) .022 4.8 .086 0 error (1) .038 4.7 .13  0 false(termination) .17  46 1.4  1 error (1) .069 7.2 .31 0 unknown .082 7.1 .50 0 false(termination) 6.7 340 47 1 error (1) .050 5.3 .18 0 error (1) .026 5.4 .18 0
termination-restricted-15/Ex03_false-termination_true-no-overflow.c error (5) .12  23 .91 0 false(termination) 4.3 330 28 1 error (42) .019  1.3  .056 0 unknown .0099 .85 .017  0 error (1) .42 37 3.6 0 error (1) .41 40 4.0 0 false(termination) 3.7 280 32 1 unknown 1.2 56 16 0 error (1) .025 4.7 .13  0 error (1) .039 4.8 .12  0 error (1) .020 4.7 .16  0 error (1) .023 4.8 .18  0 false(termination) .17  46 1.4  1 error (1) .069 7.2 .36 0 unknown .087 7.3 .42 0 false(termination) 6.5 320 51 1 error (1) .044 5.4 .23 0 error (1) .025 5.4 .18 0
termination-restricted-15/Ex05_false-termination_true-no-overflow.c false(termination) .14  22 .88 1 false(termination) 2.5 230 19 1 error (42) .015  1.3  .057 0 unknown .010  1.1  .030  0 error (1) .39 37 4.0 0 error (1) .42 40 4.0 0 false(termination) 2.6 270 24 1 unknown 1.2 56 14 0 error (1) .035 4.8 .11  0 error (1) .019 4.8 .15  0 error (1) .021 4.8 .13  0 error (1) .047 4.8 .15  0 false(termination) .086 42 .75 1 error (1) .058 7.3 .42 0 unknown .085 7.2 .52 0 false(termination) 5.9 330 50 1 error (1) .047 5.5 .19 0 error (1) .045 5.4 .19 0
termination-restricted-15/Ex06_false-termination_true-no-overflow.c error (5) .13  23 1.2  0 false(termination) 5.4 380 42 1 error (42) .021  1.3  .047 0 unknown .0091 1.0  .025  0 error (1) .43 39 4.2 0 error (1) .40 37 4.1 0 false(termination) 3.8 280 32 1 unknown 1.2 55 13 0 error (1) .021 4.8 .13  0 error (1) .030 4.7 .12  0 error (1) .044 4.8 .13  0 error (1) .034 4.8 .17  0 false(termination) .20  44 1.8  1 error (1) .042 7.2 .37 0 unknown .054 7.3 .54 0 false(termination) 6.5 340 53 1 error (1) .027 5.4 .17 0 error (1) .025 5.3 .23 0
termination-restricted-15/Ex07_false-termination_true-no-overflow.c false(termination) .14  23 1.1  1 false(termination) 5.9 400 40 1 error (42) .013  1.1  .047 0 unknown .0089 .88 .021  0 error (1) .41 40 3.8 0 error (1) .40 37 4.3 0 false(termination) 3.6 270 29 1 unknown 1.2 56 12 0 error (1) .021 4.8 .15  0 error (1) .020 4.7 .14  0 error (1) .033 4.8 .14  0 error (1) .021 4.8 .11  0 false(termination) .15  43 1.5  1 error (1) .070 7.3 .32 0 unknown .082 7.3 .48 0 false(termination) 6.9 370 57 1 error (1) .024 5.4 .21 0 error (1) .058 5.4 .14 0
termination-restricted-15/Ex08_false-termination_true-no-overflow.c error (5) .33  31 3.4  0 false(termination) 36   2600 200 1 error (42) .014  1.2  .046 0 unknown .0089 .91 .021  0 error (1) .40 37 3.6 0 error (1) .44 41 4.5 0 false(termination) 160   3800 1700 1 unknown 1.2 58 13 0 error (1) .019 4.7 .18  0 error (1) .022 4.7 .12  0 error (1) .032 4.8 .13  0 error (1) .019 4.9 .13  0 unknown 2.0   52 22    0 error (1) .057 7.3 .36 0 unknown .081 7.3 .46 0 false(termination) 83   5400 560 1 error (1) .051 5.4 .15 0 error (1) .027 5.4 .15 0
termination-restricted-15/Flip2_false-termination_true-no-overflow.c error (5) .65  32 7.4  0 false(termination) 6.6 430 46 1 error (42) .022  1.4  .047 0 unknown .0069 .92 .023  0 error (1) .44 40 3.6 0 error (1) .39 37 4.0 0 unknown 3.8 280 30 0 unknown 1.2 55 12 0 error (1) .030 4.7 .10  0 error (1) .021 4.8 .14  0 error (1) .031 4.7 .15  0 error (1) .029 4.8 .10  0 false(termination) .29  47 3.0  1 error (1) .069 7.7 .33 0 unknown .072 7.2 .60 0 false(termination) 9.1 460 75 1 error (1) .051 5.4 .16 0 error (1) .051 5.3 .16 0
termination-restricted-15/Flip_false-termination_true-no-overflow.c error (5) 14     46 170    0 false(termination) 3.7 300 27 1 error (42) .023  1.4  .045 0 unknown .0093 1.1  .026  0 error (1) .43 37 3.7 0 error (1) .42 40 3.7 0 false(termination) 2.8 270 24 1 unknown 1.2 57 13 0 error (1) .031 4.7 .17  0 error (1) .021 4.8 .12  0 error (1) .022 4.8 .15  0 error (1) .020 4.8 .14  0 false(termination) .22  44 1.9  1 error (1) .043 7.4 .37 0 unknown .081 7.3 .51 0 false(termination) 6.3 330 53 1 error (1) .051 5.3 .16 0 error (1) .051 5.4 .18 0
termination-restricted-15/GCD2_false-termination_true-no-overflow.c error (5) .44  33 4.5  0 false(termination) 11   710 87 1 error (42) .012  1.4  .043 0 unknown .0092 .88 .023  0 error (1) .41 38 4.6 0 error (1) .43 40 4.4 0 unknown 3.7 280 33 0 unknown 1.4 56 15 0 error (1) .039 4.7 .11  0 error (1) .032 4.7 .12  0 error (1) .022 4.8 .11  0 error (1) .019 4.8 .12  0 false(termination) .47  70 6.0  1 error (1) .067 7.3 .31 0 unknown .075 7.2 .57 0 false(termination) 5.6 320 43 1 error (1) .026 5.3 .17 0 error (1) .055 5.3 .16 0
termination-restricted-15/GCD_false-termination_true-no-overflow.c error (5) 41     68 500    0 false(termination) 11   770 82 1 error (42) .013  1.0  .040 0 unknown .010  .92 .020  0 error (1) .40 37 3.3 0 error (1) .41 37 3.9 0 unknown 3.8 280 32 0 unknown 1.4 56 15 0 error (1) .044 4.8 .12  0 error (1) .019 4.8 .13  0 error (1) .019 4.8 .17  0 error (1) .021 4.9 .15  0 false(termination) .70  70 7.5  1 error (1) .069 7.3 .28 0 unknown .060 7.1 .56 0 false(termination) 6.4 350 52 1 error (1) .050 5.4 .14 0 error (1) .051 5.4 .14 0
termination-restricted-15/Loop_false-termination_true-no-overflow.c false(termination) .10  22 .96 1 false(termination) 3.1 280 26 1 error (42) .013  1.1  .050 0 unknown .0095 .86 .020  0 error (1) .43 40 3.8 0 error (1) .42 37 3.8 0 false(termination) 2.7 270 25 1 unknown 1.2 55 13 0 error (1) .046 4.8 .16  0 error (1) .041 4.8 .12  0 error (1) .019 4.8 .18  0 error (1) .020 4.8 .14  0 false(termination) .093 43 1.0  1 error (1) .061 7.3 .40 0 unknown .067 7.2 .49 0 false(termination) 5.5 320 39 1 error (1) .050 5.3 .15 0 error (1) .055 5.3 .16 0
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c error (5) .16  23 .92 0 false(termination) 6.0 470 46 1 error (42) .014  1.4  .044 0 unknown .0088 .88 .020  0 error (1) .44 40 3.9 0 error (1) .38 37 4.1 0 false(termination) 2.6 270 24 1 unknown 1.2 57 15 0 error (1) .021 4.8 .11  0 error (1) .030 4.8 .16  0 error (1) .033 4.8 .14  0 error (1) .041 4.8 .14  0 false(termination) .26  46 2.4  1 error (1) .042 7.4 .43 0 unknown .077 7.1 .48 0 false(termination) 8.3 430 64 1 error (1) .051 5.4 .17 0 error (1) .051 5.3 .19 0
termination-restricted-15/NO_00_false-termination_true-no-overflow.c false(termination) .12  23 .72 1 false(termination) 2.9 270 21 1 error (42) .020  1.1  .036 0 unknown .0072 .78 .026  0 error (1) .40 37 3.6 0 error (1) .45 38 4.0 0 false(termination) 2.5 270 21 1 unknown 1.1 55 14 0 error (1) .021 4.9 .11  0 error (1) .023 4.8 .11  0 error (1) .019 4.8 .15  0 error (1) .045 4.7 .080 0 false(termination) .10  43 .84 1 error (1) .062 7.4 .33 0 unknown .055 7.2 .63 0 false(termination) 5.9 330 44 1 error (1) .024 5.5 .23 0 error (1) .027 5.4 .12 0
termination-restricted-15/NO_01_false-termination_true-no-overflow.c false(termination) .10  23 1.2  1 false(termination) 3.2 290 26 1 error (42) .022  1.1  .037 0 unknown .0089 .70 .028  0 error (1) .41 40 3.5 0 error (1) .39 37 4.0 0 false(termination) 2.9 270 25 1 unknown 1.2 56 14 0 error (1) .021 4.8 .089 0 error (1) .020 4.8 .15  0 error (1) .020 4.8 .16  0 error (1) .021 4.9 .097 0 false(termination) .36  73 4.0  1 error (1) .070 7.2 .31 0 unknown .056 7.3 .53 0 false(termination) 6.5 330 49 1 error (1) .052 5.5 .15 0 error (1) .050 5.4 .15 0
termination-restricted-15/NO_02_false-termination_true-no-overflow.c false(termination) .13  23 1.6  1 false(termination) 2.8 280 21 1 error (42) .012  1.2  .059 0 unknown .0098 1.0  .019  0 error (1) .44 40 4.1 0 error (1) .40 38 3.8 0 false(termination) 2.5 270 25 1 unknown 1.2 57 13 0 error (1) .044 4.8 .12  0 error (1) .022 4.8 .13  0 error (1) .041 4.8 .12  0 error (1) .046 4.8 .10  0 false(termination) .12  67 1.3  1 error (1) .063 7.4 .36 0 unknown .072 7.3 .60 0 false(termination) 5.7 320 49 1 error (1) .048 5.4 .14 0 error (1) .051 5.2 .17 0
termination-restricted-15/NO_03_false-termination_true-no-overflow.c false(termination) .17  23 1.3  1 false(termination) 3.1 270 24 1 error (42) .018  1.0  .041 0 unknown .0091 .83 .020  0 error (1) .42 38 4.0 0 error (1) .42 40 4.7 0 false(termination) 4.0 280 36 1 unknown 1.2 55 15 0 error (1) .019 4.8 .15  0 error (1) .021 4.7 .093 0 error (1) .032 4.8 .13  0 error (1) .022 4.7 .11  0 false(termination) .18  70 1.4  1 error (1) .042 7.2 .40 0 unknown .082 7.3 .54 0 false(termination) 6.4 330 47 1 error (1) .049 5.3 .20 0 error (1) .052 5.4 .17 0
termination-restricted-15/NO_04_false-termination_true-no-overflow.c false(termination) .51  32 6.2  1 false(termination) 5.4 380 38 1 error (42) .022  1.3  .049 0 unknown .0082 .89 .026  0 error (1) .40 37 3.9 0 error (1) .43 40 3.8 0 false(termination) 2.7 270 25 1 unknown 1.2 56 15 0 error (1) .019 4.8 .17  0 error (1) .021 4.8 .15  0 error (1) .043 4.8 .12  0 error (1) .019 4.8 .16  0 false(termination) .80  77 10    1 error (1) .059 7.2 .38 0 unknown .072 7.2 .58 0 false(termination) 9.2 390 76 1 error (1) .050 5.4 .15 0 error (1) .051 5.3 .17 0
termination-restricted-15/NO_13_false-termination_true-no-overflow.c error (5) .46  29 5.2  0 error (1) 9.1 500 63 0 error (42) .012  1.5  .054 0 unknown .0041 .74 .019  0 error (1) .41 39 3.9 0 error (1) .38 38 4.2 0 false(termination) 800   4300 8600 1 unknown 1.2 57 13 0 error (1) .044 4.7 .098 0 error (1) .020 4.8 .14  0 error (1) .022 4.7 .12  0 error (1) .021 4.7 .15  0 unknown 160     490 1700    0 error (1) .066 7.3 .30 0 unknown .054 7.3 .70 0 false(termination) 31   860 320 1 error (1) .023 5.6 .15 0 error (1) .049 5.5 .18 0
termination-restricted-15/NO_21_false-termination_true-no-overflow.c false(termination) .12  22 .85 1 false(termination) 3.2 280 24 1 error (42) .020  1.4  .050 0 unknown .010  .94 .021  0 error (1) .45 40 3.8 0 error (1) .43 37 4.2 0 false(termination) 2.7 270 23 1 unknown 1.2 56 12 0 error (1) .021 4.9 .12  0 error (1) .042 4.8 .13  0 error (1) .017 4.9 .16  0 error (1) .046 4.8 .11  0 false(termination) .097 42 1.1  1 error (1) .066 7.2 .36 0 unknown .077 7.2 .52 0 false(termination) 6.0 340 46 1 error (1) .041 5.4 .23 0 error (1) .051 5.3 .13 0
termination-restricted-15/NO_22_false-termination_true-no-overflow.c false(termination) .15  23 .98 1 error (1) 7.4 420 49 0 error (42) .022  1.4  .057 0 unknown .0076 .84 .023  0 error (1) .42 37 3.7 0 error (1) .39 37 3.7 0 false(termination) 870   4300 9800 1 unknown 1.2 55 13 0 error (1) .040 4.8 .10  0 error (1) .043 4.8 .11  0 error (1) .022 4.9 .14  0 error (1) .044 4.9 .11  0 unknown .31  47 3.3  0 error (1) .067 7.2 .38 0 unknown .054 7.2 .51 0 false(termination) 29   850 290 1 error (1) .026 5.4 .18 0 error (1) .024 5.4 .21 0
termination-restricted-15/NO_23_false-termination_true-no-overflow.c false(termination) .11  22 .97 1 false(termination) 2.8 230 22 1 error (42) .020  1.4  .050 0 unknown .0087 .88 .022  0 error (1) .39 38 3.8 0 error (1) .41 37 3.2 0 false(termination) 4.6 290 35 1 unknown 1.2 56 12 0 error (1) .022 4.8 .14  0 error (1) .020 4.8 .088 0 error (1) .019 4.7 .17  0 error (1) .044 4.8 .096 0 false(termination) .12  43 1.0  1 error (1) .066 7.3 .29 0 unknown .083 7.1 .44 0 false(termination) 8.4 450 63 1 error (1) .025 5.3 .23 0 error (1) .051 5.3 .19 0
termination-restricted-15/NO_24_false-termination_true-no-overflow.c false(termination) .17  23 1.4  1 false(termination) 4.3 390 34 1 error (42) .013  1.1  .043 0 unknown .0093 .93 .028  0 error (1) .45 40 3.8 0 error (1) .40 38 3.3 0 unknown 6.5 560 52 0 unknown 1.2 57 14 0 error (1) .042 4.7 .11  0 error (1) .019 4.8 .11  0 error (1) .030 4.8 .10  0 error (1) .042 4.8 .12  0 false(termination) .11  43 1.2  1 error (1) .043 7.5 .40 0 unknown .082 7.2 .60 0 unknown 9.3 470 70 0 error (1) .025 5.4 .14 0 error (1) .051 5.4 .20 0
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c error (5) .15  23 .92 0 timeout 900   14000 4700 0 error (42) .021  1.0  .047 0 unknown .0061 .76 .018  0 error (1) .45 40 4.3 0 error (1) .44 37 3.7 0 timeout 900   4000 8300 0 unknown 1.2 56 14 0 error (1) .022 4.8 .12  0 error (1) .043 4.8 .11  0 error (1) .020 4.7 .13  0 error (1) .019 4.8 .13  0 timeout 1.1   44 880    0 error (1) .066 7.2 .33 0 unknown .054 7.3 .58 0 false(termination) 150   2300 1800 1 error (1) .024 5.4 .16 0 error (1) .039 5.3 .24 0
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c error (5) .24  28 2.1  0 timeout 900   9100 8300 0 error (42) .024  1.2  .047 0 unknown .0078 .76 .019  0 error (1) .39 38 3.4 0 error (1) .43 41 4.9 0 timeout 900   4300 8300 0 unknown 1.2 56 13 0 error (1) .043 4.7 .14  0 error (1) .022 4.7 .13  0 error (1) .044 4.7 .13  0 error (1) .033 4.8 .17  0 timeout 1.0   44 890    0 error (1) .042 7.3 .35 0 unknown .055 7.1 .50 0 false(termination) 21   650 160 1 error (1) .043 5.4 .20 0 error (1) .045 5.4 .17 0
termination-restricted-15/Sunset_false-termination_true-no-overflow.c error (5) .18  26 1.8  0 false(termination) 16   1100 98 1 error (42) .022  1.2  .036 0 unknown .0086 .85 .020  0 error (1) .41 38 3.6 0 error (1) .43 38 4.2 0 false(termination) 7.0 340 57 1 unknown 1.2 56 12 0 error (1) .018 4.7 .15  0 error (1) .024 4.8 .14  0 error (1) .037 4.8 .12  0 error (1) .024 4.8 .13  0 unknown .39  47 4.4  0 error (1) .043 7.4 .37 0 unknown .080 7.2 .49 0 false(termination) 12   490 95 1 error (1) .045 5.4 .17 0 error (1) .051 5.4 .15 0
termination-restricted-15/Swingers_false-termination_true-no-overflow.c false(termination) .14  24 1.6  1 false(termination) 3.8 310 28 1 error (42) .013  1.1  .048 0 unknown .0090 .92 .020  0 error (1) .42 37 3.9 0 error (1) .40 37 3.8 0 unknown 290   4400 3500 0 unknown 1.2 55 13 0 error (1) .044 4.8 .11  0 error (1) .020 4.8 .12  0 error (1) .032 4.8 .16  0 error (1) .036 4.7 .12  0 false(termination) .11  43 1.1  1 error (1) .042 7.3 .39 0 unknown .081 7.2 .47 0 unknown 22   470 220 0 error (1) .051 5.5 .16 0 error (1) .049 5.4 .16 0
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c error (5) .11  23 .86 0 false(termination) 5.8 430 44 1 error (42) .022  1.3  .050 0 unknown .0090 .97 .032  0 error (1) .40 37 3.6 0 error (1) .41 38 4.0 0 false(termination) 2.6 270 21 1 unknown 1.2 56 16 0 error (1) .022 4.8 .13  0 error (1) .044 4.8 .12  0 error (1) .019 4.7 .15  0 error (1) .044 4.7 .096 0 false(termination) .30  46 3.1  1 error (1) .065 7.1 .33 0 unknown .085 7.3 .52 0 false(termination) 5.6 320 43 1 error (1) .041 5.3 .20 0 error (1) .051 5.4 .14 0
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c error (5) .21  25 2.5  0 false(termination) 44   2500 240 1 error (42) .021  1.2  .046 0 unknown .0063 .95 .0    0 error (1) .42 40 4.3 0 error (1) .42 40 4.0 0 false(termination) 330   3900 4300 1 unknown 1.2 57 13 0 error (1) .045 4.8 .13  0 error (1) .022 4.8 .15  0 error (1) .021 4.8 .15  0 error (1) .035 4.7 .10  0 unknown 1.3   50 13    0 error (1) .041 7.2 .37 0 unknown .062 7.2 .50 0 false(termination) 23   860 200 1 error (1) .052 5.3 .16 0 error (1) .029 5.4 .16 0
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c error (5) .23  26 2.1  0 false(termination) 41   2500 220 1 error (42) .021  1.2  .044 0 unknown .0088 .92 .030  0 error (1) .42 40 3.4 0 error (1) .40 37 3.5 0 false(termination) 310   3800 3900 1 unknown 1.2 55 15 0 error (1) .020 4.8 .14  0 error (1) .021 4.8 .11  0 error (1) .020 4.8 .14  0 error (1) .021 4.8 .12  0 unknown 1.8   50 20    0 error (1) .068 7.1 .30 0 unknown .082 7.3 .54 0 false(termination) 25   860 200 1 error (1) .054 5.5 .15 0 error (1) .023 5.4 .23 0
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c error (5) .11  23 .79 0 false(termination) 3.9 320 27 1 error (42) .013  1.1  .044 0 unknown .0094 .91 .024  0 error (1) .43 40 4.1 0 error (1) .41 37 3.7 0 false(termination) 2.7 260 24 1 unknown 1.2 55 13 0 error (1) .040 4.8 .11  0 error (1) .019 4.7 .12  0 error (1) .042 4.8 .13  0 error (1) .045 4.8 .098 0 false(termination) .15  46 1.2  1 error (1) .043 7.5 .39 0 unknown .082 7.4 .56 0 false(termination) 6.8 340 60 1 error (1) .051 5.5 .15 0 error (1) .053 5.3 .14 0
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c error (5) .10  24 .90 0 false(termination) 5.7 370 38 1 error (42) .016  1.0  .039 0 unknown .0090 .78 .021  0 error (1) .42 37 3.7 0 error (1) .38 38 3.7 0 false(termination) 3.8 290 37 1 unknown 1.2 56 15 0 error (1) .030 4.8 .11  0 error (1) .020 4.8 .15  0 error (1) .022 4.8 .11  0 error (1) .020 4.9 .16  0 false(termination) .17  46 1.6  1 error (1) .058 7.2 .40 0 unknown .072 7.2 .57 0 false(termination) 6.9 360 48 1 error (1) .029 5.4 .18 0 error (1) .050 5.3 .16 0
../../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
total 247 2900    7700 30000   201 247 17000 330000 150000 391 247 4.1 300 11 0 247 2.2 220 5.2 0 247 100 9500 950 0 247 100 9500 950 0 247 30000 250000 350000 285 247 14000 290000 170000 0 247 6.9 1200 33 0 247 6.9 1200 33 0 247 7.2 1200 33 0 247 8.0 1200 32 0 247 4700    49000 60000   345 247 15 1800 86 0 247 18 1800 130 0 247 13000 190000 130000 398 247 9.9 1300 44 0 247 9.6 1300 43 0
    correct results 124 23    3200 210   233 217 2300 160000 16000 391 0 0 0 0 162 4000 99000 42000 285 0 0 0 0 0 210 60    11000 650   377 0 0 226 2600 100000 23000 398 0 0
        correct true 109 21    2800 190   218 174 1600 130000 12000 348 0 0 0 0 123 1400 70000 13000 246 0 0 0 0 0 167 49    9000 530   334 0 0 172 1800 70000 17000 344 0 0
        correct false 15 2.3  350 22   15 43 690 34000 4200 43 0 0 0 0 39 2600 29000 29000 39 0 0 0 0 0 43 11    2200 120   43 0 0 54 730 30000 6500 54 0 0
    correct-unconfimed results 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
        correct-unconfirmed true 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
        correct-unconfirmed false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
    incorrect results 2 .42 50 3.6 -32 0 0 0 0 0 0 0 0 0 0 0 1 .33 47 3.1 -32 0 0 0 0 0
        incorrect true 0 0 0 0 0 0 0 0 0 0 0 0 1 .33 47 3.1 -32 0 0 0 0 0
        incorrect false 2 .42 50 3.6 -32 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
score (247 tasks, max score: 437) 201 391 0 0 0 0 285 0 0 0 0 0 345 0 0 398 0 0
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