Tool AProVE 84fce4cdfd CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-04 22:41:51 CET 2018-12-05 09:26:55 CET 2018-12-05 09:29:10 CET
Run set aprove.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] cpa-seq-validate-violation-witnesses-aprove.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] uautomizer-validate-violation-witnesses-aprove.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other]
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const -witness ../../results-verified/aprove.2018-12-04_2241.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/aprove.2018-12-04_2241.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c 1 7.6 2.0  340 57 .11   .13   0 92    78    1900 0   0     1 7.6   4.7   310   .62 0     
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 1 6.8 2.0  340 49 .11   .35   1 4.4  2.4  250 0   0     1 6.7   4.1   310   .62 0     
termination-crafted/Binary_Search_false-termination_true-valid-memsafety.c 0 26   7.1  1400 210 .30   0      0 .60 .36 42 0   0     0 .021 .022 5.6 0    0     
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 0 12   2.4  510 83 .97   0      0 7.4  4.0  430 0   0     0 66     59     590   .62 0     
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 1 6.5 2.0  350 53 .14   0      1 4.6  2.6  250 0   0     1 6.8   4.3   310   .66 0     
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 1 2.9 1.1  230 25 .045  0      1 4.3  2.4  260 0   0     1 7.4   4.2   310   .62 0     
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 0 11   3.0  510 92 .29   0      0 .61 .39 41 0   0     0 .020 .021 5.6 0    0     
termination-crafted/Mysore_false-termination_true-valid-memsafety.c 0 900   870    2300 14000 .016  0      0 .60 .36 42 0   0     0 .020 .021 5.6 0    0     
termination-crafted/NestedRecursion_1a_false-termination_true-valid-memsafety.c 0 17   4.1  790 130 .26   0      0 .59 .36 41 0   0     0 .019 .020 5.6 0    0     
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 0 8.3 2.4  380 75 .15   0      0 .60 .39 40 0   0     0 .020 .021 5.6 0    0     
termination-crafted/NonTermination3_false-termination_false-valid-deref.c 0 15   3.6  660 110 .18   0      0 .56 .35 40 0   0     0 .020 .021 5.7 0    0     
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 0 13   3.4  600 110 .18   0      0 .59 .36 40 0   0     0 .020 .022 5.7 0    0     
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 1 4.3 1.3  280 32 .086  .22   1 4.5  2.5  260 0   0     1 6.9   4.4   310   .66 0     
termination-crafted/RecursiveNonterminating_false-termination_true-valid-memsafety.c 0 10   2.7  510 85 .11   .012  0 2.3  1.3  160 0   0     0 4.8   2.5   260   .59 0     
termination-crafted/Rotation180_false-termination_true-valid-memsafety.c 1 5.3 1.5  340 44 .11   0      1 4.5  2.5  260 0   0     1 7.1   4.5   300   .66 0     
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 1 2.4 1.0  220 23 .045  0      1 4.2  2.3  260 0   0     -32 6.5   3.6   290   .62 0     
termination-crafted/2Nested_true-termination_true-valid-memsafety.c 2 7.4 2.0  390 52 .19   0      - -
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 2 4.1 1.4  330 36 .033  0      - -
termination-crafted/4NestedWith3Variables_true-termination_true-valid-memsafety.c 2 19   3.7  1200 130 .16   0      - -
termination-crafted/Ackermann_true-termination_true-valid-memsafety.c 2 29   11    2400 260 .16   0      - -
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 2 8.4 2.1  470 58 .12   0      - -
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 2 12   3.0  720 89 .18   72      - -
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 2 5.2 1.5  300 36 .11   0      - -
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 2 2.7 1.1  220 25 .033  0      - -
termination-crafted/Benghazi_nondet_true-termination_true-valid-memsafety.c 2 11   2.5  660 70 .29   0      - -
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 2 8.9 2.4  690 73 .082  0      - -
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 2 11   2.4  640 84 .53   16      - -
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 2 4.2 1.4  280 33 .074  0      - -
termination-crafted/Copenhagen_disj_true-termination_true-valid-memsafety.c 2 13   2.8  610 87 .13   0      - -
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 2 5.3 1.6  360 47 .078  0      - -
termination-crafted/Gothenburg_true-termination_true-valid-memsafety.c 2 21   4.6  1300 180 .14   0      - -
termination-crafted/Gothenburg_v2_true-termination_true-valid-memsafety.c 0 900   870    2200 13000 .012  0      - -
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 2 34   7.8  2500 250 .24   0      - -
termination-crafted/LexIndexValue-Pointer_true-termination_true-valid-memsafety.c 0 900   520    14000 9800 .61   .0082 - -
termination-crafted/Lobnya-Boolean-Reordered_true-termination_true-valid-memsafety.c 2 5.2 1.5  330 38 .078  0      - -
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 2 10   2.4  550 72 .14   0      - -
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 0 800   350    15000 5500 .24   .23   - -
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 0 21   9.3  770 210 .22   .13   - -
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 2 11   2.6  950 88 .25   .0041 - -
termination-crafted/Mysore_true-termination_true-valid-memsafety.c 2 6.2 1.8  450 53 .078  0      - -
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 0 16   3.7  740 110 .29   0      - -
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 2 5.3 1.6  350 43 .078  0      - -
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 2 11   2.6  620 86 .21   .012  - -
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 2 8.6 2.2  560 70 .086  .0041 - -
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 2 15   3.0  800 88 .14   0      - -
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 2 9.9 2.2  470 67 .15   0      - -
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 2 26   5.1  1800 170 .33   0      - -
termination-crafted/Pure2Phase_true-termination_true-valid-memsafety.c 2 11   2.5  550 74 .16   0      - -
termination-crafted/Pure3Phase_true-termination_true-valid-memsafety.c 0 910   120    11000 4500 21      .14   - -
termination-crafted/RecursiveMultiplication_true-termination_true-valid-memsafety.c 2 11   2.8  700 83 .11   0      - -
termination-crafted/Singapore_true-termination_true-valid-memsafety.c 0 560   72    15000 2800 3.8    .0041 - -
termination-crafted/Stockholm_true-termination_true-valid-memsafety.c 2 5.9 1.7  410 44 .078  .098  - -
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 2 4.9 1.7  300 43 .46   0      - -
termination-crafted/SyntaxSupportPointer01_true-termination_true-valid-memsafety.c 2 4.4 1.4  300 36 .078  0      - -
termination-crafted/SyntaxSupportPointer01_true-valid-memsafety_true-termination.c 2 4.0 1.3  270 34 .078  0      - -
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 0 740   110    15000 4000 18      0      - -
termination-crafted/Thun_true-termination_true-valid-memsafety.c 2 6.4 1.8  360 48 .14   .098  - -
termination-crafted/Toulouse-BranchesToLoop_true-termination_true-valid-memsafety.c 2 9.2 2.2  510 68 .12   0      - -
termination-crafted/Toulouse-MultiBranchesToLoop_true-termination_true-valid-memsafety.c 2 9.0 2.2  480 70 .082  0      - -
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 2 3.9 1.3  280 30 .074  0      - -
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 2 2.1 .97 190 17 .033  0      - -
termination-crafted/aaron2_true-termination_true-valid-memsafety.c 2 33   6.1  2300 210 .48   0      - -
termination-crafted/aaron3_true-termination_true-valid-memsafety.c 0 910   120    8600 5100 25      .14   - -
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 2 8.4 2.0  490 63 .13   0      - -
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 2 7.1 2.0  470 56 .078  0      - -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c 0 32   5.3  1600 190 .32   1.3    0 2.4  1.3  170 0   0     0 4.5   2.4   260   .59 0     
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c 1 6.3 1.9  340 54 .12   .070  1 4.4  2.4  250 0   0     1 8.2   4.6   300   .62 0     
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c 1 110   16    6000 670 .34   0      1 5.4  3.0  260 0   0     1 12     7.1   390   .62 0     
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c 1 4.5 1.9  370 35 1.1    73      1 4.3  2.4  260 0   0     1 10     6.2   350   .62 0     
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c 1 12   2.3  490 80 .25   0      1 6.7  3.6  300 0   0     1 7.7   4.9   310   .62 0     
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c 2 12   3.3  780 100 .30   0      - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c 2 15   3.0  850 100 .14   0      - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c 2 6.9 1.8  440 55 .12   0      - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c 2 7.2 2.0  460 61 .074  0      - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c 2 19   3.9  1400 120 1.3    1.1    - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c 2 42   12    2400 320 .25   0      - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c 2 23   4.5  1100 160 .14   0      - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c 2 46   22    2300 470 .98   0      - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c 2 9.9 2.8  710 79 .48   0      - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c 2 17   4.2  1200 120 .17   0      - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c 2 9.4 2.2  490 62 .16   0      - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c 2 14   2.8  960 110 .20   0      - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c 2 10   2.4  730 72 .17   0      - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c 2 30   21    2300 370 .44   .11   - -
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c 2 10   2.7  740 83 .11   0      - -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c 2 44   6.9  2000 280 .59   .0041 - -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c 2 19   3.7  1200 120 .23   0      - -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c 2 28   7.5  2400 230 .20   0      - -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c 2 5.9 1.7  420 44 .074  0      - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c 2 7.6 1.9  470 56 .13   0      - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c 2 6.4 1.8  440 54 .078  0      - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c 2 24   4.7  1300 160 .23   0      - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c 2 44   22    4100 440 .97   0      - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c 2 5.4 1.6  320 45 .078  0      - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c 2 4.8 1.5  300 42 .070  0      - -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c 2 20   3.7  1200 120 .26   0      - -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c 2 23   4.6  1700 150 .27   0      - -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c 2 73   13    5700 430 .29   0      - -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c 2 6.2 1.6  320 43 .13   0      - -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c 2 6.7 1.7  340 46 .14   0      - -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c 2 4.9 1.5  310 36 .090  0      - -
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c 2 6.7 1.9  460 57 .12   0      - -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c 2 64   17    4500 440 .35   0      - -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c 2 11   2.2  780 71 .20   0      - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c 2 5.6 1.6  380 43 .074  .070  - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c 2 4.8 1.7  370 37 .074  71      - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c 2 4.9 1.5  310 43 .074  0      - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c 2 5.4 1.5  320 42 .078  .098  - -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c 2 15   2.8  1000 99 .21   0      - -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c 0 900   870    2200 11000 .012  0      - -
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c 2 39   8.5  2500 290 .25   .0041 - -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c 2 15   4.1  1300 130 .14   0      - -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c 2 8.9 2.1  470 62 .27   0      - -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c 2 9.9 2.2  470 66 .23   0      - -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c 2 7.1 1.8  420 52 .13   0      - -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c 2 3.9 1.3  260 32 .086  0      - -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c 2 15   3.1  970 100 .22   0      - -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c 2 4.2 1.4  280 35 .074  0      - -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c 2 10   2.4  740 70 .20   16      - -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c 2 25   4.3  1200 140 .20   0      - -
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c 2 11   2.5  770 75 .17   0      - -
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c 2 10   2.3  770 77 .18   0      - -
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c 2 58   10    4400 370 .52   0      - -
termination-crafted-lit/aviad_true-termination_true-no-overflow.c 2 34   6.7  3400 240 .23   0      - -
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c 2 8.9 2.3  490 80 .074  0      - -
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c 2 59   11    4100 430 .27   .070  - -
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c 2 5.6 1.8  310 50 .45   .96   - -
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c 2 40   7.7  3000 290 .29   0      - -
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c 2 37   8.0  3100 270 .20   0      - -
termination-crafted-lit/genady_true-termination_true-no-overflow.c 2 9.7 2.7  750 75 .082  0      - -
termination-crafted-lit/strchr_true-no-overflow_true-termination.c 2 6.1 1.7  420 45 .070  .098  - -
termination-numeric/Ackermann01_true-termination_true-no-overflow.c 2 28   9.1  2000 240 .17   0      - -
termination-numeric/Binomial_true-termination_false-no-overflow.c 0 9.9 2.8  710 92 .033  0      - -
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c 2 9.1 2.4  680 65 .098  0      - -
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c 2 18   4.7  1100 140 .12   72      - -
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c 2 9.4 2.4  600 68 .086  .098  - -
termination-numeric/LogRecursive_true-termination_true-no-overflow.c 0 900   740    3800 11000 25      0      - -
termination-numeric/Parts_true-termination_true-no-overflow.c 0 900   480    13000 8800 1.6    0      - -
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c 2 7.9 2.1  480 63 .070  0      - -
termination-numeric/TwoWay_true-termination_true-no-overflow.c 2 11   2.8  720 91 .078  0      - -
termination-numeric/gcd01_true-termination_true-no-overflow.c 2 11   2.7  720 87 .15   0      - -
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c 2 5.6 1.6  340 49 .094  0      - -
termination-numeric/recHanoi02_true-termination_true-no-overflow.c 2 7.6 2.1  460 62 .078  0      - -
termination-numeric/rec_counter1_true-termination_true-no-overflow.c 2 14   3.3  780 110 .17   0      - -
termination-numeric/rec_counter3_true-termination_true-no-overflow.c 2 16   3.4  800 110 .17   0      - -
termination-numeric/twisted_true-termination_true-no-overflow.c 2 59   14    3100 450 .59   73      - -
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c 2 22   5.0  2000 170 .17   0      - -
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c 2 13   2.9  820 97 .078  2.4    - -
termination-restricted-15/GCD3_true-termination_true-no-overflow.c 2 20   3.8  1100 140 .29   0      - -
termination-restricted-15/GCD4_true-termination_true-no-overflow.c 2 21   3.9  1300 130 .29   0      - -
termination-restricted-15/IntPath_true-termination_true-no-overflow.c 2 2.8 1.1  220 26 .033  0      - -
termination-restricted-15/LogAG_true-termination_true-no-overflow.c 2 16   3.8  1200 130 .11   0      - -
termination-restricted-15/Log_true-termination_true-no-overflow.c 2 7.1 2.0  460 57 .074  0      - -
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c 2 9.2 2.2  490 71 .17   0      - -
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c 2 2.9 1.1  220 23 .033  0      - -
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c 2 23   4.5  1000 140 .18   0      - -
termination-restricted-15/Nested_true-termination_true-no-overflow.c 2 7.1 1.8  430 55 .12   0      - -
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c 2 5.6 1.6  320 45 .11   .0041 - -
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c 2 12   2.6  720 74 .17   0      - -
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c 2 4.2 1.4  300 33 .074  0      - -
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c 2 6.2 1.8  440 53 .082  0      - -
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c 2 5.2 2.0  380 42 .96   72      - -
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c 2 5.0 1.5  300 43 .074  0      - -
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c 2 9.9 2.2  480 72 .15   .0041 - -
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c 2 9.6 2.2  470 68 .15   .0041 - -
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c 2 4.4 1.4  300 33 .078  0      - -
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c 2 5.0 1.5  310 41 .074  0      - -
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c 2 2.6 1.1  210 21 .033  0      - -
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c 2 5.5 1.6  350 45 .061  0      - -
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c 2 6.1 1.8  440 48 .082  .0041 - -
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c 2 15   2.9  650 93 .17   0      - -
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c 2 6.8 1.9  450 56 .074  0      - -
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c 2 19   3.8  1200 130 .15   0      - -
termination-restricted-15/Sequence_true-termination_true-no-overflow.c 2 6.2 1.7  380 50 .13   0      - -
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c 2 4.2 1.4  290 33 .074  0      - -
termination-restricted-15/a.01_true-termination_true-no-overflow.c 2 13   2.9  930 99 .17   0      - -
termination-restricted-15/a.04_true-termination_true-no-overflow.c 2 4.2 1.4  290 36 .070  0      - -
termination-restricted-15/a.05_true-termination_true-no-overflow.c 2 4.5 1.7  360 33 .074  65      - -
termination-restricted-15/a.06_true-termination_true-no-overflow.c 2 43   21    2300 460 .17   .098  - -
termination-restricted-15/a.07_true-termination_true-no-overflow.c 2 6.2 1.8  430 54 .082  0      - -
termination-restricted-15/a.08_true-termination_true-no-overflow.c 2 5.3 1.6  350 45 .082  0      - -
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c 2 10   2.4  510 85 .15   16      - -
termination-restricted-15/a.10_true-termination.c 2 2.6 1.2  210 22 .033  0      - -
termination-restricted-15/b.01_true-termination_true-no-overflow.c 2 4.6 1.7  300 37 .46   0      - -
termination-restricted-15/b.02_true-termination_true-no-overflow.c 2 5.6 1.7  350 48 .074  0      - -
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c 2 8.0 2.2  450 60 .10   0      - -
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c 2 7.8 2.1  460 58 .13   0      - -
termination-restricted-15/b.04_true-termination_true-no-overflow.c 2 2.6 1.1  210 23 .033  0      - -
termination-restricted-15/b.05_true-termination_true-no-overflow.c 2 27   21    3500 320 .13   0      - -
termination-restricted-15/b.06_true-termination_true-no-overflow.c 2 8.4 2.3  560 71 .086  0      - -
termination-restricted-15/b.07_true-termination_true-no-overflow.c 2 6.6 1.9  440 56 .082  0      - -
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c 2 2.6 1.1  220 25 .033  0      - -
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c 2 12   2.8  720 86 .12   0      - -
termination-restricted-15/b.10_true-termination_true-no-overflow.c 2 16   3.6  850 130 .16   0      - -
termination-restricted-15/b.11_true-termination_true-no-overflow.c 2 8.9 2.2  560 63 .36   .012  - -
termination-restricted-15/b.12_true-termination_true-no-overflow.c 2 11   2.4  520 76 .15   .29   - -
termination-restricted-15/b.13_true-termination_true-no-overflow.c 2 11   2.6  540 86 .16   0      - -
termination-restricted-15/b.14_true-termination_true-no-overflow.c 2 6.5 1.9  430 51 .074  0      - -
termination-restricted-15/b.15_true-termination_true-no-overflow.c 2 5.6 1.6  340 44 .074  0      - -
termination-restricted-15/b.16_true-termination_true-no-overflow.c 2 10   2.3  540 74 .15   1.2    - -
termination-restricted-15/b.17_true-termination_true-no-overflow.c 2 9.1 2.3  500 67 .15   0      - -
termination-restricted-15/b.18_true-termination_true-no-overflow.c 2 6.4 1.7  350 49 .11   0      - -
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c 2 19   3.9  1300 140 .18   0      - -
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c 2 20   3.9  1400 120 .22   73      - -
termination-restricted-15/c.02_true-termination_true-no-overflow.c 2 13   3.0  1200 88 .17   0      - -
termination-restricted-15/c.03_true-termination_true-no-overflow.c 2 17   3.3  660 130 .16   0      - -
termination-restricted-15/c.07_true-termination_true-no-overflow.c 2 7.2 2.0  450 61 .070  0      - -
termination-restricted-15/c.08_true-termination_true-no-overflow.c 2 13   3.1  1100 100 .18   16      - -
termination-restricted-15/ex3a_true-termination_true-no-overflow.c 2 6.8 1.9  420 54 .086  0      - -
termination-restricted-15/ex3b_true-termination_true-no-overflow.c 2 7.8 2.1  490 65 .078  0      - -
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c 2 14   3.3  880 97 .098  73      - -
termination-restricted-15/java_Break_true-termination_true-no-overflow.c 2 5.1 1.6  320 37 .082  0      - -
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c 2 9.1 2.1  510 71 .12   0      - -
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c 2 20   4.9  2100 150 .19   73      - -
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c 2 8.3 2.0  470 57 .13   0      - -
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c 1 11   2.8  830 86 .54   0      1 6.8  3.7  280 0   0     -32 6.6   3.8   290   .66 0     
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c 1 6.9 2.0  360 53 .95   0      1 4.4  2.5  260 0   0     1 8.1   4.5   310   .66 0     
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c 1 5.5 1.8  350 45 1.1    16      1 4.3  2.4  260 0   0     -32 9.0   5.4   320   .66 0     
termination-restricted-15/Ex02_false-termination_true-no-overflow.c 1 7.1 1.9  350 50 .48   0      1 4.4  2.5  260 0   0     -32 9.3   5.3   310   .62 0     
termination-restricted-15/Ex03_false-termination_true-no-overflow.c 1 5.1 1.5  320 39 .10   0      1 4.4  2.4  250 0   0     -32 8.2   5.2   320   .62 0     
termination-restricted-15/Ex05_false-termination_true-no-overflow.c 1 2.8 1.1  230 25 .045  .098  1 4.4  2.4  260 0   0     1 7.2   4.5   300   .66 0     
termination-restricted-15/Ex06_false-termination_true-no-overflow.c 1 8.6 2.0  370 59 .14   0      1 4.4  2.5  260 0   0     1 10     6.2   380   .66 0     
termination-restricted-15/Ex07_false-termination_true-no-overflow.c 1 6.5 1.7  340 45 1.2    0      1 5.2  2.9  260 0   0     1 11     6.5   370   .62 .0082
termination-restricted-15/Ex08_false-termination_true-no-overflow.c 0 33   5.3  1700 200 .43   0      0 .58 .35 41 0   0     0 .029 .032 5.6 0    0     
termination-restricted-15/Flip2_false-termination_true-no-overflow.c 1 21   3.7  870 130 .16   0      1 9.8  5.2  450 0   0     1 21     12     490   .62 0     
termination-restricted-15/Flip_false-termination_true-no-overflow.c 1 5.9 1.6  380 40 .14   0      1 4.5  2.5  260 0   0     1 7.4   4.1   310   .62 0     
termination-restricted-15/GCD2_false-termination_true-no-overflow.c 1 26   4.8  1300 170 .27   .23   1 6.8  3.6  350 0   0     1 8.8   5.0   310   .66 0     
termination-restricted-15/GCD_false-termination_true-no-overflow.c 1 32   5.5  1300 200 .25   0      1 7.7  4.1  440 0   0     1 10     5.9   320   .66 0     
termination-restricted-15/Loop_false-termination_true-no-overflow.c 1 4.4 1.4  290 31 .086  .094  1 5.5  3.1  260 0   0     1 6.8   3.8   310   .62 0     
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c 1 9.2 2.0  440 61 .16   0      1 6.3  3.4  290 0   0     1 7.6   4.7   310   .62 0     
termination-restricted-15/NO_00_false-termination_true-no-overflow.c 1 3.0 1.1  240 27 .045  .11   1 4.4  2.4  260 0   0     1 7.1   4.0   310   .66 0     
termination-restricted-15/NO_01_false-termination_true-no-overflow.c 1 3.6 1.3  260 30 .066  0      1 4.7  2.6  260 0   0     1 8.6   4.8   310   .62 0     
termination-restricted-15/NO_02_false-termination_true-no-overflow.c 1 3.4 1.2  250 32 .061  .094  1 4.4  2.5  260 0   0     1 7.1   4.1   310   .62 0     
termination-restricted-15/NO_03_false-termination_true-no-overflow.c 1 4.1 1.3  270 35 .082  0      1 6.5  3.6  270 0   0     1 7.2   4.5   310   .62 0     
termination-restricted-15/NO_04_false-termination_true-no-overflow.c 1 8.3 2.0  490 57 .15   2.4    1 5.1  2.8  260 0   0     1 7.4   4.6   310   .62 0     
termination-restricted-15/NO_13_false-termination_true-no-overflow.c 0 13   3.7  550 100 .27   0      0 .59 .35 41 0   0     0 .021 .022 5.6 0    0     
termination-restricted-15/NO_21_false-termination_true-no-overflow.c 1 3.0 1.1  240 28 .045  0      1 4.4  2.4  260 0   0     1 7.2   4.0   310   .62 0     
termination-restricted-15/NO_22_false-termination_true-no-overflow.c 0 11   3.1  460 79 .26   0      0 .69 .41 41 0   0     0 .023 .023 5.6 0    0     
termination-restricted-15/NO_23_false-termination_true-no-overflow.c 1 3.6 1.2  250 26 .50   0      1 6.5  3.5  300 0   0     1 10     5.8   320   .66 0     
termination-restricted-15/NO_24_false-termination_true-no-overflow.c 0 8.6 2.0  450 60 .14   0      0 8.0  4.2  520 0   0     0 15     8.7   460   .62 0     
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c 0 900   170    15000 4900 .60   0      0 .57 .36 40 0   0     0 .026 .027 5.7 0    0     
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c 0 900   460    7900 9300 .97   .13   0 .56 .35 40 0   0     0 .024 .024 5.6 0    0     
termination-restricted-15/Sunset_false-termination_true-no-overflow.c 0 21   3.6  1400 130 .19   0      0 .60 .37 41 0   0     0 .019 .020 5.6 0    0     
termination-restricted-15/Swingers_false-termination_true-no-overflow.c 0 5.0 1.5  310 40 .086  0      0 8.9  4.7  540 0   0     0 26     20     530   .62 0     
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c 1 9.1 2.1  490 62 .11   .094  1 6.9  3.7  330 0   0     1 9.7   5.4   310   .62 0     
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c 0 910   130    11000 4800 81      73      0 .58 .36 40 0   0     0 .023 .024 5.6 0    0     
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c 0 590   78    9600 3400 16      8.0    0 .58 .36 40 0   0     0 .023 .023 5.6 0    0     
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c 1 4.1 1.4  270 35 .070  0      1 5.5  3.0  260 0   0     1 9.5   5.8   360   .62 0     
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c 1 6.4 1.7  360 50 .15   4.7    1 4.9  2.6  250 0   0     -32 8.2   4.7   320   .66 0     
termination-libowfat/atoi_true-termination.c.i 2 72   24    2500 590 .24   0      - -
termination-libowfat/atol_true-termination.c.i 2 78   23    2500 580 .26   .25   - -
termination-libowfat/atoll_true-termination.c.i 2 71   23    3800 600 .21   18      - -
termination-libowfat/basename_true-termination.c.i 0 900   160    15000 4600 2.6    74      - -
termination-libowfat/build_fullname_true-termination.c.i 0 51   27    1900 630 .033  57      - -
termination-libowfat/dirname_true-termination.c.i 0 910   180    13000 5100 17      1.4    - -
termination-libowfat/skip_to_true-termination.c.i 2 25   10    2300 220 .18   0      - -
termination-libowfat/stpcpy_true-termination.c.i 0 15   4.0  810 120 .17   .21   - -
termination-libowfat/strcasecmp_true-termination.c.i 0 5.9 2.2  470 57 .033  57      - -
termination-libowfat/strcat_short_true-termination.c.i 0 7.5 2.3  680 63 .033  .48   - -
termination-libowfat/strcat_true-termination.c.i 0 7.7 2.3  680 63 .033  .41   - -
termination-libowfat/strchr_short_true-termination.c.i 2 13   3.3  740 100 .066  0      - -
termination-libowfat/strchr_true-termination.c.i 2 49   25    2300 440 .066  .21   - -
termination-libowfat/strcmp_short_true-termination.c.i 2 15   4.0  1200 140 .066  .21   - -
termination-libowfat/strcpy_small_true-termination.c.i 0 15   4.0  810 120 .16   .14   - -
termination-libowfat/strcspn_true-termination.c.i 0 910   260    6400 7000 160      1.4    - -
termination-libowfat/strdup_true-termination.c.i 2 36   17    2300 350 .070  0      - -
termination-libowfat/strlcat_true-termination.c.i 0 210   100    4600 1800 .93   .0041 - -
termination-libowfat/strlcpy_true-termination.c.i 0 130   41    3700 1100 .83   75      - -
termination-libowfat/strlen_true-termination.c.i 2 27   12    2300 270 1.0    0      - -
termination-libowfat/strpbrk_true-termination.c.i 0 900   420    9600 7600 .51   .25   - -
termination-libowfat/strrchr_short_true-termination.c.i 2 40   8.2  2800 260 .18   1.6    - -
termination-libowfat/strrchr_true-termination.c.i 0 900   830    2500 12000 .016  .12   - -
termination-libowfat/strspn_true-termination.c.i 2 110   67    2300 1100 .20   0      - -
termination-libowfat/strstr_true-termination.c.i 2 180   110    3400 1800 .42   .12   - -
termination-libowfat/strtok_r_true-termination.c.i 0 900   440    7700 8000 1.0    .21   - -
termination-libowfat/strtol_true-termination.c.i 0 900   900    160 11000 .016  0      - -
termination-libowfat/strtoul_true-termination.c.i 0 900   900    150 12000 .016  .21   - -
termination-libowfat/strtoull_true-termination.c.i 0 900   900    150 12000 .016  0      - -
termination-libowfat/wcsrchr_true-termination.c.i 0 880   160    15000 4900 .27   .12   - -
termination-libowfat/wcsstr_true-termination.c.i 0 910   280    12000 6300 .26   .21   - -
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i 1 6.8 1.9  380 55 .48   0      1 4.8  2.6  260 0   0     -32 14     8.2   470   .66 0     
termination-memory-alloca/Velroyen-alloca_false-termination.c.i 1 16   2.9  550 100 .31   0      1 8.8  4.7  430 0   0     1 9.3   5.6   320   .62 0     
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i 2 26   9.0  2300 210 .11   0      - -
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i 2 14   3.5  1000 110 .14   0      - -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i 2 24   5.1  1900 160 .15   0      - -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i 2 7.6 2.3  470 57 .87   0      - -
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i 2 7.9 2.0  460 57 .13   0      - -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i 2 16   3.4  1100 110 .15   74      - -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i 2 23   4.4  1700 150 .26   0      - -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i 2 68   12    5500 480 .23   0      - -
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i 2 14   3.3  760 110 .10   0      - -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i 2 6.4 2.0  450 56 .033  0      - -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i 2 14   2.8  1300 86 .15   .086  - -
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i 0 900   870    2300 12000 .016  0      - -
termination-memory-alloca/Masse-alloca_true-termination.c.i 0 910   140    10000 4800 28      .27   - -
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i 2 45   17    2800 420 .22   0      - -
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i 2 39   13    2400 330 .18   0      - -
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i 0 800   110    15000 4600 11      0      - -
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i 2 9.4 2.6  660 70 .098  72      - -
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i 2 11   2.7  780 83 .094  0      - -
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i 2 8.7 2.1  630 63 .16   0      - -
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i 2 9.3 2.3  640 73 .15   0      - -
termination-memory-alloca/Urban-alloca_true-termination.c.i 2 52   10    4600 330 .42   0      - -
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i 2 24   5.4  2000 190 .14   .086  - -
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i 2 6.9 1.9  440 51 .061  .0041 - -
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i 2 7.0 2.0  450 56 .070  0      - -
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i 2 390   350    2500 4500 .11   .0041 - -
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i 2 11   3.0  730 84 .070  .0041 - -
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i 2 7.8 2.2  490 61 .066  .20   - -
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i 2 15   3.5  830 110 .16   0      - -
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i 2 3.4 1.3  260 29 .033  0      - -
termination-memory-alloca/add_last-alloca_true-termination.c.i 0 16   4.2  850 130 .18   .23   - -
termination-memory-alloca/array01-alloca_true-termination.c.i 2 62   18    3400 470 .31   1.0    - -
termination-memory-alloca/array02-alloca_true-termination.c.i 2 120   66    2800 1200 .10   0      - -
termination-memory-alloca/array03-alloca_true-termination.c.i 2 130   60    3800 1200 .20   0      - -
termination-memory-alloca/aviad_true-alloca_true-termination.c.i 2 48   11    3300 350 .27   18      - -
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i 2 6.5 1.9  440 52 .078  0      - -
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i 2 7.5 2.1  450 66 .074  .086  - -
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 2 12   3.5  780 100 1.1    73      - -
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i 2 13   3.1  750 100 .14   .086  - -
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i 2 3.8 1.4  260 32 .033  0      - -
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i 2 8.1 2.2  560 62 .066  .086  - -
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i 2 17   4.5  1300 130 .082  0      - -
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i 2 11   2.9  750 95 .070  0      - -
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 2 3.7 1.3  270 34 .033  0      - -
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i 2 3.8 1.6  330 35 .033  57      - -
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i 2 28   6.2  1600 220 .15   0      - -
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i 0 7.0 2.1  470 69 .033  0      - -
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i 2 16   3.5  810 120 .14   .086  - -
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i 2 20   4.2  1200 140 .16   18      - -
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i 2 14   3.7  1100 120 .057  0      - -
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i 2 9.1 2.4  660 71 .066  0      - -
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i 2 16   3.5  910 120 .14   0      - -
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i 2 15   3.6  980 110 .14   0      - -
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i 2 10   2.7  670 92 .48   .086  - -
termination-memory-alloca/bubblesort-alloca_true-termination.c.i 0 910   220    11000 5600 1.9    .13   - -
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i 2 30   6.7  2400 210 .16   17      - -
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i 2 33   7.2  2600 250 .14   .098  - -
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i 2 24   6.0  2100 170 .18   18      - -
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i 2 25   5.2  1700 180 .18   .086  - -
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i 2 15   4.2  1200 120 .066  0      - -
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i 2 22   5.6  2100 170 .18   17      - -
termination-memory-alloca/count_down-alloca_true-termination.c.i 2 110   42    3400 950 .32   .81   - -
termination-memory-alloca/cstrcat-alloca_true-termination.c.i 0 75   22    2900 550 .57   .0041 - -
termination-memory-alloca/cstrchr-alloca_true-termination.c.i 2 11   2.9  730 94 .078  0      - -
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i 2 21   5.5  1400 170 .066  0      - -
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i 2 96   79    2300 1300 .033  0      - -
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i 2 72   21    4700 610 .16   0      - -
termination-memory-alloca/cstrlen-alloca_true-termination.c.i 2 8.3 2.3  570 73 .070  .025  - -
termination-memory-alloca/cstrncat-alloca_true-termination.c.i 0 95   34    3800 710 .55   0      - -
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i 2 25   7.5  2300 230 .11   3.3    - -
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i 0 900   440    5200 9200 .36   0      - -
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i 2 47   15    4600 400 .18   0      - -
termination-memory-alloca/cstrspn-alloca_true-termination.c.i 2 50   16    4500 420 .11   .18   - -
termination-memory-alloca/diff-alloca_true-termination.c.i 2 52   22    3600 520 .086  0      - -
termination-memory-alloca/easySum-alloca_true-termination.c.i 2 51   30    2300 580 .041  0      - -
termination-memory-alloca/ex1-alloca_true-termination.c.i 2 8.3 2.4  540 68 .066  0      - -
termination-memory-alloca/ex2-alloca_true-termination.c.i 0 910   130    8600 5100 18      .0041 - -
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i 2 10   2.6  700 76 .082  0      - -
termination-memory-alloca/ex3b-alloca_true-termination.c.i 2 16   4.1  1100 140 .070  0      - -
termination-memory-alloca/fermat-alloca_true-termination.c.i 2 88   28    3700 740 .32   0      - -
termination-memory-alloca/flag-alloca_true-termination.c.i 2 17   4.9  1300 150 .92   0      - -
termination-memory-alloca/gcd1-alloca_true-termination.c.i 2 80   16    4200 520 .97   3.4    - -
termination-memory-alloca/genady-alloca_true-termination.c.i 2 17   6.3  1900 140 .082  71      - -
termination-memory-alloca/insertionsort-alloca_true-termination.c.i 2 86   49    2600 870 .16   .086  - -
termination-memory-alloca/java_AG313-alloca_true-termination.c.i 2 24   5.5  1700 200 .090  .13   - -
termination-memory-alloca/java_Break-alloca_true-termination.c.i 2 7.0 1.9  450 57 .082  0      - -
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i 0 900   260    12000 6000 1.7    .13   - -
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i 2 10   2.7  740 73 .13   0      - -
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i 2 8.8 2.4  500 75 .094  0      - -
termination-memory-alloca/java_Nested-alloca_true-termination.c.i 2 25   7.4  2400 210 .16   0      - -
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i 2 11   2.7  760 86 .12   0      - -
termination-memory-alloca/lis-alloca_true-termination.c.i 0 80   52    2300 980 0      0      - -
termination-memory-alloca/min_rf-alloca_true-termination.c.i 2 73   28    2500 570 .21   1.0    - -
termination-memory-alloca/mult_array-alloca_true-termination.c.i 0 48   26    2300 530 .033  0      - -
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i 2 13   3.2  750 96 .066  .012  - -
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i 2 22   5.1  1400 160 .082  17      - -
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i 2 26   6.8  2300 200 .086  0      - -
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i 2 19   4.7  1300 150 .066  0      - -
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i 2 79   57    2300 900 .037  .037  - -
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i 2 64   29    2700 560 .20   .26   - -
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i 0 73   21    3100 610 .71   0      - -
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i 2 21   5.8  1900 190 .070  0      - -
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i 2 74   53    2300 890 .037  0      - -
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i 0 900   150    11000 4800 120      .35   - -
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i 2 45   13    2600 360 .19   0      - -
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i 2 8.5 2.3  550 71 .066  0      - -
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i 0 82   35    2300 710 .36   1.8    - -
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i 2 27   7.7  2300 240 .090  .086  - -
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i 2 51   18    2500 440 .19   0      - -
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i 2 15   4.0  1300 120 .045  0      - -
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i 2 34   10    2300 260 .14   .094  - -
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i 0 910   130    10000 4900 38      1.8    - -
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i 2 190   48    5500 1300 1.4    18      - -
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i 2 13   3.5  950 120 .070  .086  - -
termination-memory-alloca/selectionsort-alloca_true-termination.c.i 0 900   330    11000 7100 2.0    .22   - -
termination-memory-alloca/stroeder1-alloca_true-termination.c.i 2 24   6.4  2100 190 .082  .11   - -
termination-memory-alloca/stroeder2-alloca_true-termination.c.i 2 61   18    2600 510 .25   0      - -
termination-memory-alloca/strreplace-alloca_true-termination.c.i 2 43   11    2500 320 .21   0      - -
termination-memory-alloca/subseq-alloca_true-termination.c.i 2 40   11    3400 310 .18   0      - -
termination-memory-alloca/substring-alloca_true-termination.c.i 2 55   17    3500 450 .20   .0041 - -
termination-memory-alloca/twisted-alloca_true-termination.c.i 2 5.6 1.8  390 52 .033  0      - -
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i 0 23   5.8  1400 170 .21   0      0 .64 .41 41 0   0     0 .025 .026 5.6 0    0     
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i 0 39   12    2400 300 .24   0      0 .66 .40 40 0   0     0 .026 .026 5.6 0    0     
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i 0 33   10    2000 290 .21   74      0 .63 .39 41 0   0     0 .020 .021 5.6 0    0     
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i 0 12   3.7  990 97 .033  0      0 .73 .45 40 0   0     0 .025 .025 5.6 0    0     
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i 0 11   3.2  880 100 .033  .20   0 .58 .35 42 0   0     0 .024 .025 5.6 0    0     
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i 0 22   4.5  1000 140 .65   .20   0 .68 .41 42 0   0     0 .021 .021 5.6 0    0     
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i 0 58   18    2600 440 .28   74      0 .59 .36 40 0   0     0 .021 .022 5.6 0    0     
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i 0 46   14    2500 380 .29   .34   0 .57 .36 40 0   0     0 .019 .020 5.6 0    0     
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i 2 13   3.8  1200 120 .070  .20   - -
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i 0 43   14    2300 400 .50   .23   - -
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i 0 13   3.7  1100 100 .033  0      - -
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i 0 9.7 2.8  690 84 .033  0      - -
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i 2 10   2.7  710 79 .082  14      - -
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i 2 25   6.2  1700 190 .12   0      - -
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i 2 21   5.2  1300 170 .11   .29   - -
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i 2 21   5.0  1300 160 .12   0      - -
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i 0 47   17    2400 400 .52   .20   - -
termination-15/add_first_alloca_true-termination.c.i 0 14   3.7  810 110 .19   .070  - -
termination-15/array05_alloca_true-termination.c.i 0 33   7.4  1500 250 .20   .070  - -
termination-15/array06_alloca_true-termination.c.i 2 29   6.3  1400 230 .20   .30   - -
termination-15/array07_alloca_true-termination.c.i 2 28   6.3  1600 200 .14   74      - -
termination-15/array08_alloca_true-termination.c.i 0 900   200    14000 5400 .43   .070  - -
termination-15/array09_alloca_true-termination.c.i 0 910   180    13000 4900 .43   .16   - -
termination-15/array10_alloca_true-termination.c.i 0 32   7.5  1500 240 .20   .29   - -
termination-15/array12_alloca_true-termination.c.i 0 57   39    2300 700 0      .85   - -
termination-15/array13_alloca_true-termination.c.i 0 67   45    2300 700 0      .070  - -
termination-15/array16_alloca_fixed_true-termination.c.i 0 51   28    3500 550 .033  .17   - -
termination-15/array17_alloca_true-termination.c.i 0 57   18    2400 420 .39   .23   - -
termination-15/array18_alloca_true-termination.c.i 0 910   190    13000 4700 .35   1.4    - -
termination-15/count_up_alloca_true-termination.c.i 2 100   40    4300 1000 .34   0      - -
termination-15/count_up_and_down_alloca_true-termination.c.i 2 69   35    2500 640 .22   0      - -
termination-15/cstrcat_diffterm_alloca_true-termination.c.i 0 77   22    2700 550 .63   0      - -
termination-15/cstrcat_malloc_true-termination.c.i 0 69   22    2600 550 .43   0      - -
termination-15/cstrcat_mixed_alloca_true-termination.c.i 0 74   21    3000 570 .41   .070  - -
termination-15/cstrcat_reverse_alloca_true-termination.c.i 0 65   18    2400 470 .44   0      - -
termination-15/cstrchr_diffterm_alloca_true-termination.c.i 2 11   3.0  740 94 .082  .71   - -
termination-15/cstrchr_malloc_true-termination.c.i 2 11   2.8  740 91 .078  .16   - -
termination-15/cstrchr_reverse_alloca_true-termination.c.i 2 11   2.9  730 90 .094  0      - -
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i 2 22   5.9  1500 170 .066  .16   - -
termination-15/cstrcmp_malloc_true-termination.c.i 2 24   6.9  2300 220 .066  .070  - -
termination-15/cstrcmp_mixed_alloca_true-termination.c.i 2 20   5.7  1600 180 .074  .070  - -
termination-15/cstrcmp_reverse_alloca_true-termination.c.i 2 22   5.9  1800 180 .082  .070  - -
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i 0 22   5.5  1400 190 .17   .070  - -
termination-15/cstrcpy_malloc_true-termination.c.i 2 97   78    2300 1300 .033  .070  - -
termination-15/cstrcpy_mixed_alloca_true-termination.c.i 0 20   5.0  1400 160 .21   .29   - -
termination-15/cstrcpy_reverse_alloca_true-termination.c.i 0 21   5.2  1400 180 .18   .070  - -
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i 2 80   22    5400 600 .19   .070  - -
termination-15/cstrcspn_malloc_true-termination.c.i 2 81   23    5100 660 .23   .070  - -
termination-15/cstrcspn_mixed_alloca_true-termination.c.i 2 71   20    4000 510 .15   .16   - -
termination-15/cstrcspn_reverse_alloca_true-termination.c.i 2 71   21    4100 630 .21   .070  - -
termination-15/cstrlen_diffterm_alloca_true-termination.c.i 2 8.5 2.4  570 65 .066  .16   - -
termination-15/cstrlen_malloc_true-termination.c.i 2 9.2 2.5  720 70 .066  0      - -
termination-15/cstrlen_reverse_alloca_true-termination.c.i 2 8.6 2.4  570 73 .061  0      - -
termination-15/cstrncat_diffterm_alloca_true-termination.c.i 0 96   35    2500 790 .48   0      - -
termination-15/cstrncat_malloc_true-termination.c.i 0 110   46    2700 930 1.1    .070  - -
termination-15/cstrncat_mixed_alloca_true-termination.c.i 0 92   35    2200 810 .48   74      - -
termination-15/cstrncat_reverse_alloca_true-termination.c.i 0 84   35    3900 830 .58   0      - -
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i 2 28   7.8  2300 260 .11   1.1    - -
termination-15/cstrncmp_malloc_true-termination.c.i 2 26   8.5  2300 260 .11   .25   - -
termination-15/cstrncmp_mixed_alloca_true-termination.c.i 2 27   7.6  2300 230 .12   .070  - -
termination-15/cstrncmp_reverse_alloca_true-termination.c.i 2 27   7.6  2300 240 .14   .16   - -
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i 0 900   430    4200 10000 .33   0      - -
termination-15/cstrncpy_malloc_true-termination.c.i 0 900   430    3500 11000 .35   .070  - -
termination-15/cstrncpy_mixed_alloca_true-termination.c.i 0 68   22    2500 600 .32   0      - -
termination-15/cstrncpy_reverse_alloca_true-termination.c.i 0 64   22    2500 500 .32   .070  - -
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i 2 55   16    3700 420 .22   .16   - -
termination-15/cstrpbrk_malloc_true-termination.c.i 2 49   15    3300 360 .21   74      - -
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i 2 44   14    3500 360 .13   5.0    - -
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i 2 57   17    5400 430 .29   .070  - -
termination-15/cstrspn_diffterm_alloca_true-termination.c.i 2 58   16    2800 480 .20   .070  - -
termination-15/cstrspn_malloc_true-termination.c.i 2 54   17    4400 470 .18   .070  - -
termination-15/cstrspn_mixed_alloca_true-termination.c.i 2 54   16    3700 470 .20   .070  - -
termination-15/cstrspn_reverse_alloca_true-termination.c.i 2 59   17    3800 510 .27   17      - -
termination-15/array04_alloca_false-termination.c.i 1 32   6.9  1500 240 .31   .16   0 8.2  4.5  330 0   0     1 9.2   5.5   320   .66 0     
termination-15/array14_alloca_false-termination.c.i 0 65   44    4600 770 0      .16   0 .70 .42 41 0   0     0 .020 .021 5.7 0    0     
termination-15/array15_alloca_false-termination.c.i 0 58   39    2300 740 0      .25   0 .62 .38 40 0   0     0 .020 .021 5.6 0    0     
termination-15/array16_alloca_original_false-termination.c.i 0 570   98    15000 3000 4.0    .20   0 .59 .36 41 0   0     0 .019 .020 5.6 0    0     
termination-15/array19_alloca_false-termination.c.i 1 30   6.4  1500 220 .25   .074  0 7.8  4.2  330 0   0     1 8.9   5.4   320   .62 0     
termination-15/array20_alloca_false-termination.c.i 0 900   200    13000 5000 .60   0      0 .59 .36 41 0   0     0 .025 .025 5.6 0    0     
termination-recursive-malloc/chunk1_true-termination.c.i 0 5.7 1.8  420 49 .033  0      - -
termination-recursive-malloc/chunk2_true-termination.c.i 0 14   3.8  1200 110 .033  .21   - -
termination-recursive-malloc/chunk3_true-termination.c.i 0 13   3.7  1200 120 .033  .19   - -
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i 0 15   4.6  1200 140 .033  0      - -
termination-recursive-malloc/mergeSort_true-termination.c.i 0 19   5.0  1200 170 .033  0      - -
termination-recursive-malloc/mutual_simple2_true-termination.c.i 2 11   2.8  710 97 .074  0      - -
termination-recursive-malloc/mutual_simple_true-termination.c.i 2 6.2 1.7  320 52 .078  0      - -
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i 2 12   3.0  720 93 .070  9.8    - -
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i 2 40   6.9  1900 240 .30   0      - -
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i 2 24   5.0  1200 180 .14   0      - -
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i 2 26   5.9  1400 190 .16   0      - -
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i 2 20   4.0  1100 140 .15   0      - -
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i 2 17   3.7  940 120 .14   16      - -
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i 2 23   4.7  1200 170 .14   0      - -
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i 2 31   5.4  1500 210 .35   0      - -
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i 2 13   3.3  1000 110 .078  0      - -
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i 2 64   13    3300 420 .32   .10   - -
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i 2 18   4.7  1400 130 .12   .10   - -
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i 0 16   5.3  970 150 .15   0      - -
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i 2 9.1 2.4  650 75 .082  0      - -
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i 2 10   2.7  660 84 .082  0      - -
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i 2 12   3.2  1100 100 .078  0      - -
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i 2 15   3.5  940 110 .16   0      - -
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i 0 16   4.6  1200 150 .033  0      - -
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i 0 6.7 2.1  490 60 .033  0      - -
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i 2 8.2 2.2  520 63 .082  0      - -
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i 0 15   4.1  900 140 .033  0      - -
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 2 16   4.1  1300 150 .074  .26   - -
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 2 200   32    8000 1200 1.5    0      - -
array-examples/standard_sentinel_true-unreach-call_true-termination.i 0 25   11    1400 220 .15   0      - -
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 0 27   10    1400 250 .19   0      - -
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 2 9.0 2.6  570 68 .88   0      - -
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 2 72   27    3000 710 .49   0      - -
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 0 42   21    2300 440 0      0      - -
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 0 910   300    13000 6900 6.7    0      - -
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 2 26   9.0  2300 210 .12   0      - -
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 0 910   320    13000 6500 6.5    17      - -
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 1 4.3 1.4  290 33 .049  .21   0 2.3  1.3  170 0   0     1 7.7   4.8   310   .62 0     
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 0 8.3 2.1  490 67 .074  .082  0 2.3  1.3  170 0   0     0 97     93     340   1.0  0     
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 0 3.6 1.3  260 33 .033  0      0 .58 .36 40 0   0     0 .022 .024 5.7 0    0     
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 0 4.2 1.4  270 38 .033  0      0 .59 .36 40 0   0     0 .019 .020 5.6 0    0     
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 0 25   5.8  1400 190 .17   0      0 .59 .36 41 0   0     0 .024 .025 5.6 0    0     
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 0 3.9 1.4  270 36 .033  0      - -
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 0 4.0 1.4  280 32 .033  0      - -
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 0 4.2 1.5  270 34 .033  0      - -
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 0 13   3.6  940 110 .033  0      - -
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 0 13   4.3  690 120 .033  0      0 .60 .37 40 0   0     0 .020 .020 5.6 0    0     
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 0 13   4.3  710 110 .033  0      0 .57 .35 41 0   0     0 .020 .020 5.6 0    0     
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 0 900   900    160 11000 .016  .13   - -
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 0 900   900    160 9600 .016  0      - -
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 0 900   900    160 12000 .016  0      - -
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 0 900   900    160 12000 .016  .13   - -
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 0 900   900    160 11000 .016  .13   - -
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 0 2.4 1.0  210 23 .033  0      - -
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 0 2.3 1.1  210 20 .033  0      - -
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 0 2.4 1.1  210 25 .033  0      - -
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 0 2.0 .98 190 21 .033  0      - -
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 0 2.0 .99 190 19 .033  0      - -
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 0 4.4 1.5  310 41 .033  0      - -
bitvector-regression/signextension2_false-unreach-call_true-termination.c 2 2.9 1.2  230 25 .033  0      - -
bitvector-regression/signextension2_true-unreach-call_true-termination.c 2 2.9 1.1  220 25 .033  0      - -
bitvector-regression/signextension_false-unreach-call_true-termination.c 2 3.3 1.2  260 31 .033  0      - -
bitvector-regression/signextension_true-unreach-call_true-termination.c 2 3.1 1.2  260 26 .033  0      - -
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 0 32   14    2300 320 .20   0      - -
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   850    1700 11000 .016  0      - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   850    2300 11000 .012  0      - -
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   850    2400 13000 .016  0      - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   850    920 14000 .016  .33   - -
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   850    1800 13000 .016  .074  - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   840    1300 10000 .012  0      - -
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   840    1700 12000 .016  0      - -
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   860    2100 10000 .016  .0041 - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   850    1900 8700 .012  .074  - -
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   850    1600 11000 .016  0      - -
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 0 16   6.2  1200 140 .033  0      0 .59 .37 42 0   0     0 .020 .021 5.6 0    0     
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 0 17   6.2  1000 180 .033  57      0 .57 .35 41 0   0     0 .021 .022 5.6 0    0     
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 0 15   5.3  1200 140 .033  0      0 .69 .43 40 0   0     0 .020 .020 5.8 0    0     
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 0 15   5.2  900 150 .033  0      0 .58 .35 40 0   0     0 .023 .024 5.6 0    0     
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 0 19   6.7  1200 160 .033  0      0 .57 .35 40 0   0     0 .020 .021 5.6 0    0     
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 0 14   4.9  940 140 .033  0      0 .65 .40 42 0   0     0 .021 .021 5.6 0    0     
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 0 15   4.9  940 140 .033  0      0 .57 .34 40 0   0     0 .024 .025 5.6 0    0     
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 1 52   12    4300 410 .30   1.4    0 2.8  1.6  170 0   0     1 14     8.4   470   .62 0     
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 0 8.8 2.5  470 67 .14   0      0 .60 .36 43 0   0     0 .020 .021 5.6 0    0     
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 0 16   5.3  850 130 .033  0      0 .60 .37 40 0   0     0 .022 .022 5.6 0    0     
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 0 16   5.6  1200 150 .033  0      0 .56 .34 40 0   0     0 .020 .020 5.6 0    0     
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 0 16   5.6  1200 140 .033  0      0 .58 .36 41 0   0     0 .026 .027 5.6 0    0     
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 0 15   5.4  1200 160 .033  0      0 .58 .35 41 0   0     0 .023 .023 5.6 0    0     
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 0 15   5.1  910 160 .033  0      0 .72 .45 42 0   0     0 .020 .021 5.6 0    0     
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 0 15   5.6  1200 130 .033  0      0 .59 .36 41 0   0     0 .021 .022 5.6 0    0     
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 0 16   5.1  940 130 .033  0      0 .58 .37 43 0   0     0 .025 .026 5.6 0    0     
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 0 16   5.3  1200 170 .033  0      0 .56 .35 40 0   0     0 .020 .021 5.6 0    0     
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 0 790   110    15000 4000 .012  0      - -
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 0 780   110    15000 4900 .016  0      - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 0 900   130    15000 5200 .016  .42   - -
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 0 910   130    14000 4700 .016  0      - -
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 0 820   130    15000 4800 .012  .020  - -
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 0 860   130    15000 5400 .012  0      - -
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 0 810   120    15000 4900 .012  0      - -
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 0 850   120    15000 4800 .012  0      - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 0 900   860    2600 13000 .016  0      0 .58 .34 41 0   0     0 .023 .024 5.6 0    0     
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 0 900   860    2200 11000 .016  56      0 .74 .44 41 0   0     0 .022 .023 5.6 0    0     
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 0 900   860    3500 8900 .012  0      0 .65 .41 40 0   0     0 .020 .021 5.6 0    0     
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 0 900   860    2500 9900 .016  0      0 .57 .35 40 0   0     0 .021 .021 5.6 0    0     
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 0 900   870    2500 12000 .016  0      0 .59 .36 42 0   0     0 .020 .021 5.6 0    0     
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 0 900   870    2500 13000 .016  .074  0 .57 .35 41 0   0     0 .020 .021 5.6 0    0     
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 0 900   860    2500 12000 .016  0      0 .59 .36 43 0   0     0 .022 .024 5.7 0    0     
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 0 900   870    2500 11000 .016  0      0 .59 .36 42 0   0     0 .025 .027 5.6 0    0     
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 0 130   26    4000 830 1.6    .13   0 .59 .37 42 0   0     0 .020 .020 5.6 0    0     
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 0 330   71    7300 1900 5.4    17      0 .57 .36 40 0   0     0 .019 .020 5.6 0    0     
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 0 600   180    7000 4500 5.5    .016  0 .71 .43 41 0   0     0 .026 .027 5.6 0    0     
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 0 910   480    9100 8200 5.6    .14   0 .57 .35 40 0   0     0 .024 .025 5.6 0    0     
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 0 900   850    2300 11000 .016  56      0 .59 .35 42 0   0     0 .020 .021 5.6 0    0     
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c 0 580   79    15000 3100 .012  0      - -
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 0 3.3 930    160 1100 .016  .20   - -
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 0 900   340    8100 8400 .76   0      0 .67 .42 41 0   0     0 .023 .025 5.6 0    0     
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 0 900   330    8100 7400 .81   .13   0 .75 .45 41 0   0     0 .025 .027 5.6 0    0     
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 0 900   350    7800 8500 .61   0      0 .67 .42 40 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 0 900   330    8300 8400 .82   .14   0 .59 .36 42 0   0     0 .022 .023 5.6 0    0     
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 0 900   340    8100 7600 .81   0      0 .59 .35 41 0   0     0 .025 .026 5.6 0    0     
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 0 900   330    8200 7600 .82   .13   0 .60 .36 40 0   0     0 .019 .020 5.6 0    0     
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 0 900   330    8100 7200 .76   .13   0 .59 .36 40 0   0     0 .024 .024 5.6 0    0     
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 0 900   340    8100 7900 .76   5.3    0 .58 .35 40 0   0     0 .022 .023 5.6 0    0     
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 0 900   340    8200 8400 .76   0      0 .60 .37 42 0   0     0 .025 .026 5.6 0    0     
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 0 900   340    8500 8800 .80   0      0 .57 .34 40 0   0     0 .020 .021 5.7 0    0     
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 0 900   340    8600 8700 .82   73      0 .59 .36 41 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 0 900   340    8100 8500 .76   .66   0 .59 .37 40 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 0 900   340    8100 7500 .76   16      0 .61 .37 41 0   0     0 .026 .027 5.6 0    0     
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 0 900   330    8200 7300 .81   .13   0 .58 .35 41 0   0     0 .027 .028 5.6 0    0     
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 0 900   350    7900 8900 .75   .52   0 .57 .35 40 0   0     0 .022 .023 5.6 0    0     
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 0 900   330    8100 8100 .81   17      0 .58 .36 40 0   0     0 .021 .022 5.6 0    0     
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 0 900   340    8100 7700 .82   0      0 .57 .36 41 0   0     0 .021 .021 5.6 0    0     
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 0 900   340    8100 9000 .76   .91   0 .60 .36 43 0   0     0 .019 .020 5.6 0    0     
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 0 900   340    8100 7600 .76   0      0 .61 .37 40 0   0     0 .025 .025 5.6 0    0     
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 0 900   330    8200 8200 .76   .18   0 .56 .34 40 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 0 900   340    8100 7100 .82   0      0 .59 .36 42 0   0     0 .022 .024 5.6 0    0     
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 0 900   340    8500 8400 .76   0      0 .58 .36 41 0   0     0 .025 .025 5.6 0    0     
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 0 900   340    7900 8000 .76   0      0 .61 .37 41 0   0     0 .021 .021 5.6 0    0     
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 0 900   330    8100 8500 .81   0      0 .59 .37 41 0   0     0 .020 .020 5.6 0    0     
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 0 900   340    8100 8600 .76   .13   0 .63 .39 41 0   0     0 .021 .021 5.6 0    0     
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 0 900   340    8100 8100 .76   2.9    0 .56 .36 40 0   0     0 .019 .019 5.6 0    0     
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 0 900   330    8100 6900 .81   .13   0 .59 .36 41 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 0 900   340    8100 8200 .82   .13   0 .58 .36 42 0   0     0 .024 .025 5.7 0    0     
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 0 900   340    7900 6900 .82   1.8    0 .71 .45 40 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 0 900   340    8100 7500 .76   0      0 .58 .35 42 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 0 900   340    8100 8400 .82   0      0 .58 .37 40 0   0     0 .020 .022 5.7 0    0     
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 0 900   330    8100 8000 .81   .13   0 .60 .37 41 0   0     0 .020 .021 5.8 0    0     
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 0 900   340    8100 7800 .76   .061  0 .59 .37 41 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 0 900   340    8100 7200 .76   .13   0 .64 .41 41 0   0     0 .021 .021 5.6 0    0     
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 0 900   340    7900 8400 .82   1.8    0 .72 .45 41 0   0     0 .019 .020 5.6 0    0     
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 0 900   340    8100 8800 .82   0      0 .58 .36 40 0   0     0 .019 .020 5.6 0    0     
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 0 900   340    8100 8900 .76   16      0 .57 .34 40 0   0     0 .026 .026 5.6 0    0     
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 0 900   340    8000 8200 .82   0      0 .56 .35 40 0   0     0 .019 .020 5.6 0    0     
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 0 900   340    8100 7800 .75   .13   0 .58 .37 40 0   0     0 .021 .022 5.6 0    0     
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 0 900   340    8000 6900 .75   .13   0 .70 .43 42 0   0     0 .019 .020 5.6 0    0     
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 0 900   330    8100 7300 .61   .13   0 .57 .35 41 0   0     0 .022 .022 5.6 0    0     
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 0 900   330    8200 7600 .75   0      0 .58 .35 41 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 0 900   340    8100 7500 .82   .13   0 .58 .37 41 0   0     0 .021 .021 5.6 0    0     
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 0 900   340    8200 7500 .75   0      0 .56 .34 40 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 0 900   340    8100 7100 .82   0      0 .64 .39 40 0   0     0 .024 .025 5.5 0    0     
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 0 900   330    8100 6900 .81   .13   0 .58 .35 40 0   0     0 .021 .021 5.6 0    0     
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 0 900   340    8100 7500 .82   .13   0 .59 .36 41 0   0     0 .021 .022 5.6 0    0     
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 0 900   330    8500 8300 .82   .23   0 .58 .35 40 0   0     0 .019 .020 5.6 0    0     
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 0 900   340    8100 7500 .75   .13   0 .62 .38 40 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 0 900   340    8600 7100 .76   .13   0 .64 .40 42 0   0     0 .019 .020 5.6 0    0     
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 0 900   340    8200 7300 .76   .13   0 .56 .35 40 0   0     0 .021 .022 5.6 0    0     
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 0 900   340    8400 7700 .75   0      0 .58 .36 42 0   0     0 .021 .021 5.6 0    0     
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 0 900   330    8100 8400 .76   .13   0 .59 .35 41 0   0     0 .023 .024 5.6 0    0     
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 0 900   340    8100 7400 .75   0      0 .60 .37 41 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 0 900   330    8400 6800 .76   .0041 0 .56 .35 40 0   0     0 .022 .022 5.6 0    0     
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 0 900   340    8100 8400 .82   0      0 .76 .46 41 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 0 900   330    8100 7900 .81   0      0 .71 .45 40 0   0     0 .024 .025 5.7 0    0     
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 0 900   330    8100 8000 .81   .13   0 .61 .36 43 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 0 900   340    8100 8600 .76   .13   0 .58 .34 40 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 0 900   330    8000 7100 .60   3.1    0 .55 .35 40 0   0     0 .020 .021 5.6 0    0     
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 0 170   66    6200 1500 5.2    0      0 4.0  2.1  200 0   0     -32 12     7.0   340   .62 0     
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 0 180   66    6200 1500 5.2    1.7    0 3.5  1.9  200 0   0     -32 12     6.9   340   .66 0     
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 0 180   66    6100 1500 5.2    .44   0 3.3  1.8  200 0   0     -32 15     8.3   340   .62 0     
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 0 180   66    6200 1800 5.2    .090  0 3.4  1.9  200 0   0