Tool AProVE CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
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.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [4; 8], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33554 MB; 33553 MB]
Date of execution 2017-11-30 11:20:26 CET 2017-11-30 15:55:47 CET 2017-11-30 15:57:34 CET
Run set aprove.[sv-comp18.Termination-MainControlFlow; sv-comp18.Termination-MainHeap; sv-comp18.Termination-Other] cpa-seq-validate-violation-witnesses-aprove.[sv-comp18-violation-witness.Termination-MainControlFlow; sv-comp18-violation-witness.Termination-MainHeap; sv-comp18-violation-witness.Termination-Other] uautomizer-validate-violation-witnesses-aprove.[sv-comp18-violation-witness.Termination-MainControlFlow; sv-comp18-violation-witness.Termination-MainHeap; sv-comp18-violation-witness.Termination-Other]
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/aprove.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -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 --full-output --validate ../../results-verified/aprove.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
/localhome/dbeyer/comp/sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety.c 0 6.0 350 50 0 .60 44 0 .021 4.8
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c 1 7.1 380 52 0 1.6  170 1 3.5   260  
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 0 6.0 450 45 0 .43 41 0 .049 4.9
termination-crafted/Binary_Search_false-termination_true-valid-memsafety.c 0 25   1300 180 0 .42 43 0 .018 5.0
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 0 11   540 65 0 2.1  160 0 61     530  
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 1 6.9 390 52 0 2.1  160 1 5.3   260  
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 0 5.1 330 39 0 .40 45 0 .018 4.9
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 0 11   670 79 0 .51 44 0 .045 4.8
termination-crafted/Mysore_false-termination_true-valid-memsafety.c 0 900   3500 10000 0 .40 43 0 .023 4.8
termination-crafted/NestedRecursion_1a_false-termination_true-valid-memsafety.c 0 15   820 100 0 .43 42 0 .041 4.8
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 0 8.1 440 65 0 .42 41 0 .028 4.8
termination-crafted/NonTermination3_false-termination_false-valid-deref.c 0 8.6 540 62 0 .43 41 0 .036 4.8
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 0 9.8 570 73 0 .41 43 0 .037 4.8
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 0 5.6 410 44 0 .41 41 0 .019 4.9
termination-crafted/RecursiveNonterminating_false-termination_true-valid-memsafety.c 1 8.5 590 63 0 2.2  170 1 5.7   260  
termination-crafted/Rotation180_false-termination_true-valid-memsafety.c 1 6.2 370 48 0 1.6  160 1 3.7   260  
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 0 1.9 230 17 0 .44 42 0 .026 5.0
termination-crafted/2Nested_true-termination_true-valid-memsafety.c 2 7.1 470 51 - -
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 2 3.8 340 29 - -
termination-crafted/4NestedWith3Variables_true-termination_true-valid-memsafety.c 2 18   1300 130 - -
termination-crafted/Ackermann_true-termination_true-valid-memsafety.c 2 30   2700 240 - -
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 2 9.2 570 61 - -
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 2 10   770 76 - -
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 2 6.1 470 46 - -
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 2 3.3 280 28 - -
termination-crafted/Benghazi_nondet_true-termination_true-valid-memsafety.c 2 13   850 86 - -
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 2 6.4 440 45 - -
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 2 5.7 440 41 - -
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 2 4.4 360 33 - -
termination-crafted/Copenhagen_disj_true-termination_true-valid-memsafety.c 2 9.3 670 65 - -
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 2 2.1 220 18 - -
termination-crafted/Gothenburg_true-termination_true-valid-memsafety.c 2 29   2200 190 - -
termination-crafted/Gothenburg_v2_true-termination_true-valid-memsafety.c 0 900   3600 12000 - -
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 2 36   2300 270 - -
termination-crafted/LexIndexValue-Pointer_true-termination_true-valid-memsafety.c 0 900   14000 8400 - -
termination-crafted/Lobnya-Boolean-Reordered_true-termination_true-valid-memsafety.c 2 5.1 340 37 - -
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 2 2.6 250 18 - -
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 0 730   15000 6300 - -
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 0 23   920 190 - -
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 2 9.5 730 74 - -
termination-crafted/Mysore_true-termination_true-valid-memsafety.c 2 7.7 490 58 - -
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 0 13   720 84 - -
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 2 5.6 410 41 - -
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 2 8.1 670 60 - -
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 2 8.4 650 58 - -
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 2 2.8 270 22 - -
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 2 3.0 260 22 - -
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 2 46   2200 260 - -
termination-crafted/Pure2Phase_true-termination_true-valid-memsafety.c 2 9.8 630 74 - -
termination-crafted/Pure3Phase_true-termination_true-valid-memsafety.c 0 910   10000 4900 - -
termination-crafted/RecursiveMultiplication_true-termination_true-valid-memsafety.c 2 9.6 730 82 - -
termination-crafted/Singapore_true-termination_true-valid-memsafety.c 0 640   15000 3000 - -
termination-crafted/Stockholm_true-termination_true-valid-memsafety.c 2 6.3 460 45 - -
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 2 4.3 310 32 - -
termination-crafted/SyntaxSupportPointer01_true-termination_true-valid-memsafety.c 2 4.8 330 36 - -
termination-crafted/SyntaxSupportPointer01_true-valid-memsafety_true-termination.c 2 3.8 300 30 - -
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 0 910   14000 4900 - -
termination-crafted/Thun_true-termination_true-valid-memsafety.c 2 6.1 420 49 - -
termination-crafted/Toulouse-BranchesToLoop_true-termination_true-valid-memsafety.c 2 8.0 520 66 - -
termination-crafted/Toulouse-MultiBranchesToLoop_true-termination_true-valid-memsafety.c 2 7.8 510 54 - -
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 2 3.9 320 27 - -
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 2 1.9 200 18 - -
termination-crafted/aaron2_true-termination_true-valid-memsafety.c 2 52   2600 350 - -
termination-crafted/aaron3_true-termination_true-valid-memsafety.c 0 910   8300 4900 - -
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 2 3.1 260 24 - -
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 2 2.1 220 20 - -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c 0 5.9 450 43 0 .55 42 0 .024 4.9
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c 0 5.7 430 44 0 .44 42 0 .021 4.9
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c 1 120   5600 680 0 2.2  170 1 11     500  
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c 0 6.3 500 45 0 .44 44 0 .050 4.8
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c 0 10   630 58 0 .43 43 0 .018 4.8
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c 2 3.7 290 27 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c 2 2.7 250 23 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c 2 8.3 540 57 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c 2 6.8 490 54 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c 2 23   1100 160 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c 2 4.7 330 36 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c 2 2.7 250 24 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c 2 8.2 600 57 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c 2 5.1 430 38 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c 2 3.0 270 26 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c 2 5.4 440 41 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c 2 2.9 270 22 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c 2 2.6 250 21 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c 2 5.8 440 36 - -
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c 2 2.9 270 25 - -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c 2 6.5 460 47 - -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c 2 2.7 260 24 - -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c 2 44   1900 310 - -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c 2 3.6 290 25 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c 2 6.8 490 47 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c 2 6.1 480 48 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c 2 2.7 260 20 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c 2 8.0 510 55 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c 2 2.5 260 19 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c 2 2.1 230 19 - -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c 2 3.0 270 26 - -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c 2 3.2 270 27 - -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c 2 4.0 290 31 - -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c 2 4.7 400 34 - -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c 2 4.3 350 29 - -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c 2 12   590 80 - -
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c 2 2.8 260 20 - -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c 2 81   3600 580 - -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c 2 13   740 72 - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c 2 3.0 280 24 - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c 2 2.0 270 16 - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c 2 5.0 350 36 - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c 2 2.2 240 21 - -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c 2 2.8 270 22 - -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c 0 900   3500 12000 - -
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c 2 14   650 88 - -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c 2 16   1100 110 - -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c 2 8.7 590 62 - -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c 2 2.6 260 22 - -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c 2 3.3 280 27 - -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c 2 3.8 310 30 - -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c 2 14   710 83 - -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c 2 2.2 220 17 - -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c 2 2.5 250 20 - -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c 2 2.9 270 22 - -
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c 2 2.6 260 23 - -
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c 2 2.7 260 21 - -
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c 2 120   4300 660 - -
termination-crafted-lit/aviad_true-termination_true-no-overflow.c 2 34   2700 200 - -
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c 2 14   820 110 - -
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c 2 90   5300 530 - -
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c 2 8.4 480 57 - -
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c 2 50   4600 350 - -
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c 2 52   3900 320 - -
termination-crafted-lit/genady_true-termination_true-no-overflow.c 2 2.2 230 18 - -
termination-crafted-lit/strchr_true-no-overflow_true-termination.c 2 8.2 650 66 - -
termination-numeric/Ackermann01_true-termination_true-no-overflow.c 2 27   2000 240 - -
termination-numeric/Binomial_true-termination_false-no-overflow.c 0 10   720 81 - -
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c 2 10   720 67 - -
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c 2 15   1100 120 - -
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c 2 8.9 600 58 - -
termination-numeric/LogRecursive_true-termination_true-no-overflow.c 0 900   5500 13000 - -
termination-numeric/Parts_true-termination_true-no-overflow.c 0 900   13000 7800 - -
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c 2 7.2 500 61 - -
termination-numeric/TwoWay_true-termination_true-no-overflow.c 2 11   800 71 - -
termination-numeric/gcd01_true-termination_true-no-overflow.c 2 12   730 93 - -
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c 2 5.4 380 43 - -
termination-numeric/recHanoi02_true-termination_true-no-overflow.c 2 7.3 460 53 - -
termination-numeric/rec_counter1_true-termination_true-no-overflow.c 2 15   1000 100 - -
termination-numeric/rec_counter3_true-termination_true-no-overflow.c 2 12   970 87 - -
termination-numeric/twisted_true-termination_true-no-overflow.c 2 69   5200 460 - -
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c 2 4.8 410 34 - -
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c 2 2.1 230 19 - -
termination-restricted-15/GCD3_true-termination_true-no-overflow.c 2 18   850 110 - -
termination-restricted-15/GCD4_true-termination_true-no-overflow.c 2 3.4 280 23 - -
termination-restricted-15/IntPath_true-termination_true-no-overflow.c 2 3.3 280 29 - -
termination-restricted-15/LogAG_true-termination_true-no-overflow.c 2 2.9 270 22 - -
termination-restricted-15/Log_true-termination_true-no-overflow.c 2 2.7 250 22 - -
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c 2 2.8 260 23 - -
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c 2 2.6 230 21 - -
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c 2 3.4 270 24 - -
termination-restricted-15/Nested_true-termination_true-no-overflow.c 2 2.7 260 21 - -
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c 2 8.5 550 55 - -
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c 2 2.7 260 21 - -
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c 2 2.3 250 20 - -
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c 2 2.1 230 18 - -
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c 2 2.7 270 23 - -
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c 2 2.6 250 20 - -
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c 2 2.6 250 21 - -
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c 2 2.6 250 21 - -
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c 2 2.2 220 17 - -
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c 2 2.1 230 18 - -
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c 2 2.1 230 18 - -
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c 2 2.5 250 20 - -
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c 2 2.6 260 20 - -
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c 2 2.9 260 20 - -
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c 2 2.5 240 20 - -
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c 2 3.0 270 19 - -
termination-restricted-15/Sequence_true-termination_true-no-overflow.c 2 2.5 230 19 - -
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c 2 2.1 220 20 - -
termination-restricted-15/a.01_true-termination_true-no-overflow.c 2 2.6 270 22 - -
termination-restricted-15/a.04_true-termination_true-no-overflow.c 2 2.2 230 20 - -
termination-restricted-15/a.05_true-termination_true-no-overflow.c 2 2.2 230 17 - -
termination-restricted-15/a.06_true-termination_true-no-overflow.c 2 2.9 270 23 - -
termination-restricted-15/a.07_true-termination_true-no-overflow.c 2 2.5 280 23 - -
termination-restricted-15/a.08_true-termination_true-no-overflow.c 2 2.1 230 18 - -
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c 2 2.6 250 23 - -
termination-restricted-15/a.10_true-termination.c 2 4.5 350 33 - -
termination-restricted-15/b.01_true-termination_true-no-overflow.c 2 2.1 230 19 - -
termination-restricted-15/b.02_true-termination_true-no-overflow.c 2 2.1 220 19 - -
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c 2 6.6 450 44 - -
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c 2 2.4 270 19 - -
termination-restricted-15/b.04_true-termination_true-no-overflow.c 2 2.2 230 18 - -
termination-restricted-15/b.05_true-termination_true-no-overflow.c 2 2.5 250 23 - -
termination-restricted-15/b.06_true-termination_true-no-overflow.c 2 2.2 230 19 - -
termination-restricted-15/b.07_true-termination_true-no-overflow.c 2 2.9 280 24 - -
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c 2 4.3 300 29 - -
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c 2 2.8 280 22 - -
termination-restricted-15/b.10_true-termination_true-no-overflow.c 2 4.4 340 30 - -
termination-restricted-15/b.11_true-termination_true-no-overflow.c 2 3.0 270 23 - -
termination-restricted-15/b.12_true-termination_true-no-overflow.c 2 3.5 280 26 - -
termination-restricted-15/b.13_true-termination_true-no-overflow.c 2 3.6 280 25 - -
termination-restricted-15/b.14_true-termination_true-no-overflow.c 2 2.8 270 21 - -
termination-restricted-15/b.15_true-termination_true-no-overflow.c 2 2.6 260 22 - -
termination-restricted-15/b.16_true-termination_true-no-overflow.c 2 2.6 250 24 - -
termination-restricted-15/b.17_true-termination_true-no-overflow.c 2 2.8 260 21 - -
termination-restricted-15/b.18_true-termination_true-no-overflow.c 2 3.4 280 26 - -
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c 2 5.5 430 38 - -
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c 2 3.8 310 26 - -
termination-restricted-15/c.02_true-termination_true-no-overflow.c 2 2.3 260 17 - -
termination-restricted-15/c.03_true-termination_true-no-overflow.c 2 3.3 280 24 - -
termination-restricted-15/c.07_true-termination_true-no-overflow.c 2 2.8 250 21 - -
termination-restricted-15/c.08_true-termination_true-no-overflow.c 2 2.8 260 25 - -
termination-restricted-15/ex3a_true-termination_true-no-overflow.c 2 2.2 230 21 - -
termination-restricted-15/ex3b_true-termination_true-no-overflow.c 2 6.4 480 49 - -
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c 2 2.6 250 21 - -
termination-restricted-15/java_Break_true-termination_true-no-overflow.c 2 2.1 230 21 - -
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c 2 2.5 270 21 - -
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c 2 2.6 270 21 - -
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c 2 2.6 250 20 - -
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c 1 28   1600 150 0 1.6  170 1 4.3   270  
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c 0 8.3 570 51 0 .45 45 0 .049 4.8
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c 0 7.1 520 52 0 .43 41 0 .022 4.8
termination-restricted-15/Ex02_false-termination_true-no-overflow.c 0 9.7 510 60 0 .54 43 0 .043 5.0
termination-restricted-15/Ex03_false-termination_true-no-overflow.c 0 6.2 490 46 0 .54 45 0 .033 5.0
termination-restricted-15/Ex05_false-termination_true-no-overflow.c 0 5.7 380 37 0 .44 43 0 .018 5.0
termination-restricted-15/Ex06_false-termination_true-no-overflow.c 0 7.6 520 49 0 .55 43 0 .048 5.0
termination-restricted-15/Ex07_false-termination_true-no-overflow.c 1 18   720 110 0 2.2  170 1 5.7   340  
termination-restricted-15/Ex08_false-termination_true-no-overflow.c 1 42   1900 250 0 1.6  170 1 32     1200  
termination-restricted-15/Flip2_false-termination_true-no-overflow.c 1 20   1000 120 0 1.5  160 1 6.0   280  
termination-restricted-15/Flip_false-termination_true-no-overflow.c 0 6.8 470 49 0 .42 41 0 .024 4.8
termination-restricted-15/GCD2_false-termination_true-no-overflow.c 0 6.9 590 50 0 .42 43 0 .019 4.8
termination-restricted-15/GCD_false-termination_true-no-overflow.c 0 6.7 460 50 0 .44 41 0 .037 4.8
termination-restricted-15/Loop_false-termination_true-no-overflow.c 0 6.0 440 40 0 .54 41 0 .050 4.8
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c 0 8.0 500 53 0 .55 45 0 .018 4.9
termination-restricted-15/NO_00_false-termination_true-no-overflow.c 0 4.9 340 34 0 .54 43 0 .045 4.8
termination-restricted-15/NO_01_false-termination_true-no-overflow.c 1 8.6 490 58 0 2.1  170 1 5.2   260  
termination-restricted-15/NO_02_false-termination_true-no-overflow.c 0 5.8 390 39 0 .43 44 0 .019 4.8
termination-restricted-15/NO_03_false-termination_true-no-overflow.c 0 5.7 410 42 0 .55 44 0 .023 4.8
termination-restricted-15/NO_04_false-termination_true-no-overflow.c 1 11   580 82 0 2.3  170 1 3.8   260  
termination-restricted-15/NO_13_false-termination_true-no-overflow.c 0 6.3 440 47 0 .44 43 0 .018 5.0
termination-restricted-15/NO_21_false-termination_true-no-overflow.c 0 5.3 370 38 0 .54 46 0 .025 4.9
termination-restricted-15/NO_22_false-termination_true-no-overflow.c 0 6.9 480 48 0 .53 43 0 .047 4.9
termination-restricted-15/NO_23_false-termination_true-no-overflow.c 0 6.2 420 48 0 .54 43 0 .019 5.0
termination-restricted-15/NO_24_false-termination_true-no-overflow.c 0 5.3 450 36 0 .39 43 0 .047 4.8
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c 0 910   14000 4400 0 .42 43 0 .040 4.9
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c 0 900   7800 7800 0 .50 43 0 .023 4.8
termination-restricted-15/Sunset_false-termination_true-no-overflow.c 1 23   980 120 0 2.3  160 1 12     500  
termination-restricted-15/Swingers_false-termination_true-no-overflow.c 0 6.2 460 42 0 .40 43 0 .047 4.9
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c 0 6.6 470 45 0 .40 43 0 .019 4.8
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c 1 54   1800 330 0 2.3  170 1 28     750  
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c 1 49   1500 270 0 2.2  170 1 26     1000  
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c 0 6.7 490 41 0 .44 43 0 .049 4.8
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c 0 8.7 500 52 0 .52 43 0 .047 4.9
termination-libowfat/atoi_true-termination.c.i 2 87   5300 740 - -
termination-libowfat/atol_true-termination.c.i 2 77   5400 620 - -
termination-libowfat/atoll_true-termination.c.i 2 75   5400 610 - -
termination-libowfat/basename_true-termination.c.i 0 910   14000 4900 - -
termination-libowfat/build_fullname_true-termination.c.i 0 54   3500 490 - -
termination-libowfat/dirname_true-termination.c.i 0 22   3600 200 - -
termination-libowfat/skip_to_true-termination.c.i 2 29   3600 240 - -
termination-libowfat/stpcpy_true-termination.c.i 0 900   5200 15000 - -
termination-libowfat/strcasecmp_true-termination.c.i 0 5.8 420 45 - -
termination-libowfat/strcat_short_true-termination.c.i 0 7.5 690 64 - -
termination-libowfat/strcat_true-termination.c.i 0 7.6 700 66 - -
termination-libowfat/strchr_short_true-termination.c.i 2 11   760 81 - -
termination-libowfat/strchr_true-termination.c.i 2 64   3600 520 - -
termination-libowfat/strcmp_short_true-termination.c.i 2 15   1300 110 - -
termination-libowfat/strcpy_small_true-termination.c.i 0 900   5200 11000 - -
termination-libowfat/strcspn_true-termination.c.i 0 900   6100 6700 - -
termination-libowfat/strdup_true-termination.c.i 2 45   3600 460 - -
termination-libowfat/strlcat_true-termination.c.i 0 210   5500 2100 - -
termination-libowfat/strlcpy_true-termination.c.i 0 910   6100 5900 - -
termination-libowfat/strlen_true-termination.c.i 2 42   3600 330 - -
termination-libowfat/strpbrk_true-termination.c.i 0 900   11000 8700 - -
termination-libowfat/strrchr_short_true-termination.c.i 2 40   3100 280 - -
termination-libowfat/strrchr_true-termination.c.i 0 900   5100 11000 - -
termination-libowfat/strspn_true-termination.c.i 2 120   5200 1100 - -
termination-libowfat/strstr_true-termination.c.i 2 250   3600 2200 - -
termination-libowfat/strtok_r_true-termination.c.i 0 900   6500 10000 - -
termination-libowfat/strtol_true-termination.c.i 0 900   200 10000 - -
termination-libowfat/strtoul_true-termination.c.i 0 900   200 9800 - -
termination-libowfat/strtoull_true-termination.c.i 0 900   190 9800 - -
termination-libowfat/wcsrchr_true-termination.c.i 0 900   15000 4700 - -
termination-libowfat/wcsstr_true-termination.c.i 0 910   10000 5300 - -
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i 1 7.3 420 62 0 2.5  180 1 6.3   260  
termination-memory-alloca/Velroyen-alloca_false-termination.c.i 1 17   590 110 0 2.4  170 1 4.8   280  
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i 2 38   2400 300 - -
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i 2 17   1200 110 - -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i 2 25   1800 150 - -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i 2 7.8 500 58 - -
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i 2 8.5 540 68 - -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i 2 18   1000 120 - -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i 2 25   1500 150 - -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i 2 170   5600 920 - -
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i 0 900   4500 12000 - -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i 2 6.6 520 54 - -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i 2 17   1000 110 - -
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i 0 900   3500 12000 - -
termination-memory-alloca/Masse-alloca_true-termination.c.i 0 910   10000 4100 - -
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i 2 56   3700 440 - -
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i 2 43   3700 370 - -
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i 0 910   14000 4700 - -
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i 2 10   730 70 - -
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i 2 11   760 71 - -
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i 2 8.2 590 62 - -
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i 2 8.7 660 64 - -
termination-memory-alloca/Urban-alloca_true-termination.c.i 2 76   4600 450 - -
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i 2 22   1600 160 - -
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i 2 5.9 460 44 - -
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i 2 7.5 460 54 - -
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i 0 900   3700 11000 - -
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i 2 12   750 82 - -
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i 2 8.2 600 66 - -
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i 2 14   890 100 - -
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i 2 3.4 270 29 - -
termination-memory-alloca/add_last-alloca_true-termination.c.i 0 19   1100 160 - -
termination-memory-alloca/array01-alloca_true-termination.c.i 2 65   3900 490 - -
termination-memory-alloca/array02-alloca_true-termination.c.i 2 160   5300 1300 - -
termination-memory-alloca/array03-alloca_true-termination.c.i 2 270   5900 2000 - -
termination-memory-alloca/aviad_true-alloca_true-termination.c.i 2 55   3500 360 - -
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i 2 6.7 440 51 - -
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i 2 7.2 470 54 - -
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 2 12   810 87 - -
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i 2 13   840 110 - -
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i 2 3.6 290 32 - -
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i 2 8.1 680 65 - -
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i 2 17   1300 130 - -
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i 2 12   750 87 - -
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 2 3.8 330 34 - -
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i 2 3.9 320 32 - -
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i 2 39   3500 300 - -
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i 0 7.4 690 70 - -
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i 2 13   1000 95 - -
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i 2 16   1200 110 - -
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i 2 15   1200 120 - -
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i 2 9.1 710 67 - -
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i 2 14   880 90 - -
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i 2 14   1100 100 - -
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i 2 9.8 740 68 - -
termination-memory-alloca/bubblesort-alloca_true-termination.c.i 2 230   5600 1800 - -
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i 2 31   2200 190 - -
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i 2 33   2100 220 - -
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i 2 23   1800 170 - -
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i 2 21   1900 150 - -
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i 2 15   1300 110 - -
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i 2 21   1500 150 - -
termination-memory-alloca/count_down-alloca_true-termination.c.i 2 110   5400 1000 - -
termination-memory-alloca/cstrcat-alloca_true-termination.c.i 0 910   5700 4900 - -
termination-memory-alloca/cstrchr-alloca_true-termination.c.i 2 11   740 80 - -
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i 2 24   1600 160 - -
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i 2 95   3500 1000 - -
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i 2 96   5300 670 - -
termination-memory-alloca/cstrlen-alloca_true-termination.c.i 2 7.7 630 59 - -
termination-memory-alloca/cstrncat-alloca_true-termination.c.i 0 90   3700 740 - -
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i 2 30   2300 240 - -
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i 2 84   3800 710 - -
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i 2 52   4000 390 - -
termination-memory-alloca/cstrspn-alloca_true-termination.c.i 2 56   4600 420 - -
termination-memory-alloca/diff-alloca_true-termination.c.i 2 61   3600 490 - -
termination-memory-alloca/easySum-alloca_true-termination.c.i 2 67   2300 750 - -
termination-memory-alloca/ex1-alloca_true-termination.c.i 2 8.5 520 61 - -
termination-memory-alloca/ex2-alloca_true-termination.c.i 0 910   6100 5300 - -
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i 2 9.8 730 80 - -
termination-memory-alloca/ex3b-alloca_true-termination.c.i 2 15   1200 120 - -
termination-memory-alloca/fermat-alloca_true-termination.c.i 2 120   4100 870 - -
termination-memory-alloca/flag-alloca_true-termination.c.i 2 16   1300 110 - -
termination-memory-alloca/gcd1-alloca_true-termination.c.i 2 83   4200 550 - -
termination-memory-alloca/genady-alloca_true-termination.c.i 0 900   3600 14000 - -
termination-memory-alloca/insertionsort-alloca_true-termination.c.i 2 100   3800 1000 - -
termination-memory-alloca/java_AG313-alloca_true-termination.c.i 2 26   2000 170 - -
termination-memory-alloca/java_Break-alloca_true-termination.c.i 2 7.3 500 54 - -
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i 0 190   5100 2000 - -
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i 2 9.7 740 66 - -
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i 2 7.7 530 64 - -
termination-memory-alloca/java_Nested-alloca_true-termination.c.i 2 34   2400 210 - -
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i 2 10   740 71 - -
termination-memory-alloca/lis-alloca_true-termination.c.i 0 900   3600 11000 - -
termination-memory-alloca/min_rf-alloca_true-termination.c.i 2 94   3600 750 - -
termination-memory-alloca/mult_array-alloca_true-termination.c.i 0 50   3600 510 - -
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i 2 12   800 89 - -
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i 2 20   1500 150 - -
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i 2 25   2300 200 - -
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i 2 24   1400 160 - -
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i 2 81   3600 970 - -
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i 2 72   3700 720 - -
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i 0 910   5700 5500 - -
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i 2 22   2100 170 - -
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i 2 89   2300 930 - -
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i 0 910   8100 5100 - -
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i 2 43   4200 310 - -
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i 2 10   630 66 - -
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i 0 79   3800 730 - -
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i 2 29   2400 230 - -
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i 2 48   4800 390 - -
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i 2 18   1300 120 - -
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i 2 34   3700 280 - -
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i 0 910   7900 4100 - -
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i 2 160   5800 1100 - -
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i 2 13   1200 91 - -
termination-memory-alloca/selectionsort-alloca_true-termination.c.i 0 900   11000 6900 - -
termination-memory-alloca/stroeder1-alloca_true-termination.c.i 2 21   2300 170 - -
termination-memory-alloca/stroeder2-alloca_true-termination.c.i 2 76   3900 560 - -
termination-memory-alloca/strreplace-alloca_true-termination.c.i 2 45   3600 320 - -
termination-memory-alloca/subseq-alloca_true-termination.c.i 2 42   3700 320 - -
termination-memory-alloca/substring-alloca_true-termination.c.i 2 56   3700 450 - -
termination-memory-alloca/twisted-alloca_true-termination.c.i 2 5.9 410 43 - -
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i 0 16   1100 97 0 2.5  180 0 30     1600  
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i 0 26   1600 210 0 .43 43 0 .023 4.8
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i 0 52   3700 410 0 .43 43 0 .018 5.0
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i 0 43   3700 330 0 .44 43 0 .049 4.8
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i 0 11   1000 87 0 .43 41 0 .018 4.8
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i 0 11   880 86 0 .40 41 0 .020 4.9
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i 0 19   1100 140 0 .42 41 0 .040 4.9
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i 0 66   3900 480 0 .55 44 0 .018 4.8
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i 0 58   2600 430 0 .45 44 0 .018 4.8
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i 2 15   1300 120 - -
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i 0 48   3700 420 - -
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i 0 14   1000 96 - -
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i 0 9.7 710 68 - -
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i 2 9.2 620 76 - -
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i 0 37   2400 320 - -
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i 0 33   1900 260 - -
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i 0 24   1400 180 - -
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i 0 61   3600 470 - -
termination-15/add_first_alloca_true-termination.c.i 0 14   970 110 - -
termination-15/array05_alloca_true-termination.c.i 0 30   1600 230 - -
termination-15/array06_alloca_true-termination.c.i 2 27   1700 160 - -
termination-15/array07_alloca_true-termination.c.i 2 29   1700 210 - -
termination-15/array08_alloca_true-termination.c.i 0 900   14000 4700 - -
termination-15/array09_alloca_true-termination.c.i 0 900   15000 4700 - -
termination-15/array10_alloca_true-termination.c.i 0 30   1700 220 - -
termination-15/array12_alloca_true-termination.c.i 0 55   5200 640 - -
termination-15/array13_alloca_true-termination.c.i 0 61   3600 640 - -
termination-15/array16_alloca_fixed_true-termination.c.i 0 46   5200 500 - -
termination-15/array17_alloca_true-termination.c.i 0 63   3800 470 - -
termination-15/array18_alloca_true-termination.c.i 0 910   14000 4800 - -
termination-15/count_up_alloca_true-termination.c.i 2 98   5400 770 - -
termination-15/count_up_and_down_alloca_true-termination.c.i 2 65   3600 640 - -
termination-15/cstrcat_diffterm_alloca_true-termination.c.i 0 910   5200 5200 - -
termination-15/cstrcat_malloc_true-termination.c.i 0 910   5800 6200 - -
termination-15/cstrcat_mixed_alloca_true-termination.c.i 0 910   5700 5300 - -
termination-15/cstrcat_reverse_alloca_true-termination.c.i 0 910   5500 5500 - -
termination-15/cstrchr_diffterm_alloca_true-termination.c.i 2 10   750 78 - -
termination-15/cstrchr_malloc_true-termination.c.i 2 10   740 74 - -
termination-15/cstrchr_reverse_alloca_true-termination.c.i 2 10   750 73 - -
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i 2 22   1600 160 - -
termination-15/cstrcmp_malloc_true-termination.c.i 2 24   2400 210 - -
termination-15/cstrcmp_mixed_alloca_true-termination.c.i 2 22   1400 150 - -
termination-15/cstrcmp_reverse_alloca_true-termination.c.i 2 23   1600 170 - -
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i 0 900   5200 14000 - -
termination-15/cstrcpy_malloc_true-termination.c.i 2 87   2300 1100 - -
termination-15/cstrcpy_mixed_alloca_true-termination.c.i 0 900   5200 13000 - -
termination-15/cstrcpy_reverse_alloca_true-termination.c.i 0 900   5200 14000 - -
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i 2 95   5400 660 - -
termination-15/cstrcspn_malloc_true-termination.c.i 2 98   5400 690 - -
termination-15/cstrcspn_mixed_alloca_true-termination.c.i 2 88   5400 680 - -
termination-15/cstrcspn_reverse_alloca_true-termination.c.i 2 99   5300 630 - -
termination-15/cstrlen_diffterm_alloca_true-termination.c.i 2 8.0 670 66 - -
termination-15/cstrlen_malloc_true-termination.c.i 2 10   750 79 - -
termination-15/cstrlen_reverse_alloca_true-termination.c.i 2 8.1 660 66 - -
termination-15/cstrncat_diffterm_alloca_true-termination.c.i 0 87   3600 730 - -
termination-15/cstrncat_malloc_true-termination.c.i 0 120   3900 1000 - -
termination-15/cstrncat_mixed_alloca_true-termination.c.i 0 99   3700 800 - -
termination-15/cstrncat_reverse_alloca_true-termination.c.i 0 100   3700 900 - -
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i 2 29   2900 240 - -
termination-15/cstrncmp_malloc_true-termination.c.i 2 34   3400 300 - -
termination-15/cstrncmp_mixed_alloca_true-termination.c.i 2 29   3000 220 - -
termination-15/cstrncmp_reverse_alloca_true-termination.c.i 2 30   2600 270 - -
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i 2 81   3800 650 - -
termination-15/cstrncpy_malloc_true-termination.c.i 2 78   3800 590 - -
termination-15/cstrncpy_mixed_alloca_true-termination.c.i 0 71   3800 590 - -
termination-15/cstrncpy_reverse_alloca_true-termination.c.i 0 73   3800 640 - -
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i 2 53   4800 430 - -
termination-15/cstrpbrk_malloc_true-termination.c.i 2 55   5000 400 - -
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i 2 51   4800 390 - -
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i 2 53   4900 420 - -
termination-15/cstrspn_diffterm_alloca_true-termination.c.i 2 58   5000 440 - -
termination-15/cstrspn_malloc_true-termination.c.i 2 60   5100 410 - -
termination-15/cstrspn_mixed_alloca_true-termination.c.i 2 53   5100 390 - -
termination-15/cstrspn_reverse_alloca_true-termination.c.i 2 60   4800 430 - -
termination-15/array04_alloca_false-termination.c.i 1 28   1800 190 0 2.5  170 1 4.8   270  
termination-15/array14_alloca_false-termination.c.i 0 66   5200 680 0 .51 41 0 .019 4.9
termination-15/array15_alloca_false-termination.c.i 0 54   2900 590 0 .43 43 0 .019 4.9
termination-15/array16_alloca_original_false-termination.c.i 0 900   14000 9300 0 .41 43 0 .020 4.9
termination-15/array19_alloca_false-termination.c.i 1 32   2000 200 0 1.8  180 1 6.8   270  
termination-15/array20_alloca_false-termination.c.i 0 900   13000 4900 0 .40 43 0 .036 4.8
termination-recursive-malloc/chunk1_true-termination.c.i 0 5.5 440 38 - -
termination-recursive-malloc/chunk2_true-termination.c.i 0 16   1200 110 - -
termination-recursive-malloc/chunk3_true-termination.c.i 0 13   1200 89 - -
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i 0 17   1300 150 - -
termination-recursive-malloc/mergeSort_true-termination.c.i 0 20   1200 150 - -
termination-recursive-malloc/mutual_simple2_true-termination.c.i 2 13   760 97 - -
termination-recursive-malloc/mutual_simple_true-termination.c.i 2 5.8 370 39 - -
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i 2 12   790 86 - -
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i 2 35   2000 240 - -
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i 2 18   1400 140 - -
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i 2 25   1600 180 - -
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i 2 16   1100 100 - -
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i 2 18   1200 120 - -
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i 2 18   1300 140 - -
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i 2 27   1300 160 - -
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i 2 15   1300 120 - -
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i 2 47   3100 300 - -
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i 2 19   1500 140 - -
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i 0 15   1000 130 - -
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i 2 9.3 710 72 - -
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i 2 12   720 94 - -
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i 2 14   1200 100 - -
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i 2 18   1000 110 - -
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i 0 19   1300 130 - -
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i 0 7.0 670 52 - -
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i 2 8.4 660 69 - -
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i 0 19   1000 140 - -
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 2 16   1300 120 - -
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 2 140   7000 980 - -
array-examples/standard_sentinel_true-unreach-call_true-termination.i 0 33   1400 280 - -
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 0 30   2000 280 - -
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 2 7.5 590 67 - -
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 2 100   5700 790 - -
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 0 41   5100 410 - -
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 0 910   11000 7500 - -
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 2 23   2700 220 - -
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 0 910   11000 7700 - -
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 1 6.4 420 53 0 1.4  150 1 5.9   270  
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 0 17   810 120 0 1.4  150 0 97     310  
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 0 3.6 260 29 0 .42 41 0 .039 4.8
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 0 3.3 290 28 0 .54 43 0 .038 4.9
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 0 31   2400 250 0 .55 43 0 .026 4.9
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 0 3.6 270 30 - -
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 0 3.7 270 32 - -
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 0 3.6 270 29 - -
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 0 25   2300 200 - -
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 0 14   730 110 0 .54 45 0 .019 4.9
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 0 14   730 120 0 .44 43 0 .047 4.9
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 0 900   200 9200 - -
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 0 900   200 11000 - -
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 0 900   200 10000 - -
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 0 900   200 9200 - -
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 0 900   200 8900 - -
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 0 2.1 230 22 - -
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 0 2.1 230 18 - -
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 0 2.1 230 20 - -
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 0 1.9 220 19 - -
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 0 2.0 220 15 - -
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 0 3.9 310 35 - -
bitvector-regression/signextension2_false-unreach-call_true-termination.c 2 2.7 240 28 - -
bitvector-regression/signextension2_true-unreach-call_true-termination.c 2 2.6 240 26 - -
bitvector-regression/signextension_false-unreach-call_true-termination.c 2 3.1 270 26 - -
bitvector-regression/signextension_true-unreach-call_true-termination.c 2 3.2 270 26 - -
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 0 55   3700 430 - -
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   5200 9800 - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   5200 12000 - -
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   5200 11000 - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   4300 12000 - -
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   4000 13000 - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   5200 11000 - -
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   4800 12000 - -
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   3700 10000 - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   4500 11000 - -
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 0 900   4600 9800 - -
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 0 19   1200 150 0 .44 42 0 .034 4.9
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 0 17   990 150 0 .40 43 0 .018 4.9
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 0 19   1300 140 0 .43 45 0 .018 5.0
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 0 15   990 130 0 .52 43 0 .048 4.8
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 0 20   1200 160 0 .50 43 0 .018 4.9
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 0 17   940 130 0 .52 41 0 .019 4.9
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 0 13   980 100 0 .44 43 0 .034 4.9
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 1 70   5400 500 0 2.2  150 1 20     630  
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 1 9.1 500 63 0 1.4  150 1 6.1   330  
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 0 19   1300 170 0 .51 43 0 .047 4.8
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 0 18   980 150 0 .57 43 0 .019 4.9
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 0 19   970 170 0 .43 42 0 .047 4.9
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 0 16   1200 140 0 .40 41 0 .018 4.9
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 0 17   980 130 0 .56 43 0 .045 5.0
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 0 16   1200 120 0 .52 43 0 .026 4.8
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 0 16   1000 130 0 .41 40 0 .018 4.8
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 0 15   990 120 0 .43 41 0 .021 5.0
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 0 910   14000 4900 - -
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 0 910   14000 5100 - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 0 910   12000 5100 - -
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 0 910   12000 4600 - -
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 0 910   13000 5700 - -
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 0 910   13000 4600 - -
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 0 910   13000 5200 - -
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 0 910   13000 4900 - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 0 900   3900 11000 0 .53 41 0 .018 4.8
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 0 900   3900 11000 0 .40 43 0 .018 4.9
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 0 900   3900 11000 0 .56 43 0 .019 4.8
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 0 900   5200 12000 0 .45 43 0 .018 5.0
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 0 900   3800 11000 0 .43 44 0 .047 4.9
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 0 900   3800 12000 0 .53 43 0 .018 4.9
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 0 900   3800 10000 0 .41 41 0 .025 4.8
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 0 900   5200 10000 0 .45 41 0 .045 4.8
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 1 110   6000 650 0 2.0  140 1 6.8   280  
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 1 260   5900 1800 0 2.0  140 1 7.3   280  
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 1 630   7100 4400 0 2.1  140 1 7.5   300  
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 0 910   8600 8100 0 .44 41 0 .022 4.9
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 0 900   3900 11000 0 .52 43 0 .017 5.0
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c 0 910   11000 5000 - -
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 0 3.0 200 910 - -
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 0 900   8100 8300 0 .43 41 0 .019 4.8
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 0 900   8400 8500 0 .42 43 0 .018 5.0
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 0 900   8100 7700 0 .53 46 0 .019 4.8
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 0 900   8200 7900 0 .42 43 0 .018 4.8
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 0 900   8100 8000 0 .51 43 0 .018 4.9
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 0 900   8000 7400 0 .44 43 0 .018 4.8
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 0 900   8100 7400 0 .51 41 0 .047 4.8
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 0 900   8000 7600 0 .42 42 0 .019 4.9
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 0 900   8100 7700 0 .64 46 0 .018 4.8
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 0 900   8100 7200 0 .43 41 0 .036 4.9
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 0 900   8000 8400 0 .40 45 0 .018 4.8
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 0 900   8100 6600 0 .54 41 0 .033 4.8
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 0 900   8100 8000 0 .45 43 0 .018 4.9
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 0 900   8300 6800 0 .43 42 0 .018 5.0
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 0 900   8100 7600 0 .43 43 0 .038 4.9
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 0 900   8000 7500 0 .57 43 0 .018 4.9
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 0 900   8100 8600 0 .43 41 0 .018 4.9
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 0 900   8100 8400 0 .52 45 0 .032 4.9
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 0 900   8100 8500 0 .44 44 0 .047 4.8
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 0 900   8000 8600 0 .43 43 0 .018 4.8
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 0 900   8100 8600 0 .43 43 0 .040 4.8
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 0 900   8100 6800 0 .45 44 0 .020 4.9
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 0 900   8100 8900 0 .44 42 0 .021 4.9
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 0 910   8600 7600 0 .49 41 0 .018 4.9
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 0 900   8100 8200 0 .40 44 0 .019 4.9
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 0 900   8000 7200 0 .43 44 0 .019 4.9
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 0 900   8100 8700 0 .44 43 0 .021 4.9
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 0 900   8000 6900 0 .42 43 0 .019 4.9
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 0 900   8100 8500 0 .42 43 0 .022 5.0
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 0 900   8100 7600 0 .43 43 0 .019 4.9
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 0 900   8400 6600 0 .41 45 0 .025 5.0
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 0 900   8100 7700 0 .55 43 0 .021 4.9
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 0 900   8100 6900 0 .45 43 0 .019 4.8
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 0 900   8100 8500 0 .45 44 0 .018 4.9
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 0 900   8100 7500 0 .57 44 0 .018 4.9
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 0 900   8100 8000 0 .40 45 0 .018 4.8
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 0 900   8100 7500 0 .40 43 0 .018 4.8
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 0 900   8000 8000 0 .39 43 0 .019 5.0
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 0 900   8100 7600 0 .53 43 0 .020 4.9
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 0 900   8100 8000 0 .43 43 0 .019 4.8
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 0 900   8100 7200 0 .44 44 0 .034 4.9
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 0 900   8100 7800 0 .53 44 0 .045 4.8
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 0 900   8300 8600 0 .43 44 0 .018 4.8
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 0 900   8000 8600 0 .40 43 0 .050 4.8
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 0 900   8200 7200 0 .55 43 0 .021 4.8
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 0 900   8100 7300 0 .50 42 0 .047 4.9
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 0 900   8100 7200 0 .51 41 0 .045 4.8
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 0 900   8100 7900 0 .45 44 0 .024 4.8
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 0 900   8200 8800 0 .61 45 0 .047 4.9
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 0 900   8100 8300 0 .43 45 0 .024 5.0
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 0 900   8100 7900 0 .41 43 0 .018 5.0
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 0 900   8100 7400 0 .53 43 0 .018 4.8
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 0 900   7900 7400 0 .43 44 0 .034 4.8
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 0 900   8100 8000 0 .57 44 0 .024 4.8
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 0 900   8400 7600 0 .40 44 0 .029 5.0
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 0 900   8100 7800 0 .51 41 0 .022 5.0
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 0 900   8100 7000 0 .53 43 0 .018 5.0
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 0 900   8100 7600 0 .53 41 0 .019 4.8
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 0 900   8100 7900 0 .54 43 0 .041 4.9
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 0 900   8100 6600 0 .40 43 0 .017 4.9
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 0 900   6100 9600 0 .55 43 0 .027 4.8
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 0 900   6100 12000 0 .52 43 0 .027 4.8
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 0 900   6100 8900 0 .53 45 0 .023 5.0
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 0 900   6100 10000 0 .52 46 0 .017 4.8
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c 0 900   6100 10000 0 .56 43 0 .018 5.0
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c 0 900   6100 10000 0 .43 43 0 .018 4.8
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c 0 900   6100 9300 0 .51 43 0 .044 5.0
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c 0 900   6100 11000 0 .41 44 0 .018 4.8
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c 0 900   6100 12000 0 .43 44 0 .048 4.8
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c 0 900   6100 10000 0 .53 43 0 .017 5.0
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c 0 900   6100 11000 0 .51 42 0 .036 4.8
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c 0 900   6100 10000 0 .44 43 0 .018 4.9
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c 0 900   6100 11000 0 .51 43 0 .050 4.8
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 0 900   6100 9400 0 .41 44 0 .019 4.8
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c 0 900   6100 9500 0 .44 44 0 .019 4.8
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c 0 900   6100 12000 0 .52 44 0 .019 4.8
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 0 900   6100 11000 0 .63 43 0 .019 4.9
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c 0 900   6100 9500 0 .43 41 0 .018 4.9
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c 0 900   6100 9200 0 .52 41 0 .018 4.8
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c 0 900   6100 9400 0 .40 43 0 .018 4.8
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c 0 900   6100 10000 0 .44 43 0 .018 4.9
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c 0 900   6100 12000 0 .45 43 0 .018 4.9
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c 0 900   6100 9500 0 .42 43 0 .023 4.8
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c 0 900   6100 11000 0 .42 41 0 .039 4.9
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c 0 900   6100 12000 0 .41 43 0 .018 4.9
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c 0 900   6100 8800 0 .43 43 0 .018 4.9
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c 0 900   6100 9600 0 .44 44 0 .044 4.9
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c 0 900   6100 10000 0 .55 45 0 .045 4.9
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c 0 900   6100 10000 0 .54 43 0 .041 4.8
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c 0 900   6100 9800 0 .42 41 0 .019 4.9
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c 0 900   6100 9300 0 .52 43 0 .017 4.8
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c 0 900   6100 9600 0 .42 44 0 .038 4.9
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c 0 900   6100 11000 0 .63 43 0 .048 4.8
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c 0 900   6100 11000 0 .43 43 0 .018 4.9
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c 0 900   6100 10000 0 .43 43 0 .049 4.8
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c 0 900   6100 9500 0 .42 43 0 .019 4.9
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c 0 900   6100 11000 0 .40 41 0 .019 4.9
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c 0 900   6100 9900 0 .40 42 0 .029 4.8
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c 0 900   6100 9500 0 .54 43 0 .018 4.9
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c 0 900   6100 11000 0 .43 41 0 .021 4.8
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c 0 900   6100 10000 0 .52 42 0 .018 4.9
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c 0 900   6100 12000 0 .42 43 0 .034 4.9
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c 0 900   6100 10000 0 .53 43 0 .019 5.0
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 0 900   6100 12000 0 .53 43 0 .018 4.8
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 0 900   6100 9900 0 .44 44 0 .041 4.9
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 0 900   6100 12000 0 .42 43 0 .018 4.8
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c 0 900   6100 11000 0 .54 44 0 .021 5.0
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c 0 900   6100 12000 0 .52 43 0 .031 4.9
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c 0 900   6100 11000 0 .41 43 0 .018 4.9
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c 0 900   6100 9400 0 .41 43 0 .046 4.8
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 0 900   6100 11000 0 .44 43 0 .036 4.8
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c 0 900   6100 11000 0 .56 44 0 .022 4.8
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c 0 900   6200 11000 0 .42 43 0 .018 4.8
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c 0 900   6100 12000 0 .43 41 0 .047 4.8
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c 0 900   6100 11000 0 .49 41 0 .018 5.0
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c 0 900   6100 11000 0 .43 43 0 .019 4.9
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c 0 900   6100 11000 0 .39 43 0 .021 4.8
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c 0 900   6100 11000 0 .54 44 0 .049 4.8
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c 0 900   6100 9600 0 .51 43 0 .018 4.8
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 0 900   6100 10000 0 .43 44 0 .024 4.8
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 0 670   15000 4100 0 .56 43 0 .018 4.8
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 0 720   15000 3900 0 .54 43 0 .021 4.8
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 0 630   15000 5400 0 .54 43 0 .019 4.8
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 0 750   15000 4200 0 .43 44 0 .025 4.9
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c 0 700   15000 4500 0 .40 41 0 .018 4.8
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c 0 710   15000 4500 0 .42 42 0 .019 4.9
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c 0 630   15000 4300 0 .40 43 0 .019 4.9
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 0 710   15000 4400 0 .40 41 0 .018 5.0
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c 0 670   15000 4000 0 .55 43 0 .018 4.8
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 0 690   15000 3800 0 .53 43 0 .020 4.9
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c 0 660   15000 4400 0 .44 43 0 .023 4.8
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 0 730   15000 4100 0 .43 43 0 .018 5.0
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c 0 750   15000 4800 0 .55 43 0 .018 4.8
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c 0 670   15000 4100 0 .46 41 0 .048 4.8
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c 0 730   15000 4300 0 .54 43 0 .025 4.9
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c 0 700   15000 4100 0 .39 43 0 .048 4.8
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c 0 700   15000 4400 0 .43 42 0 .018 4.9
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c 0 720   15000 4200 0 .41 41 0 .038 4.8
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 0 700   15000 4300 0 .42 43 0 .047 4.8
eca-rers2012/Problem14_label00_true-unreach-call_false-termination.c 0 900   9700 6700 0 .43 44 0 .025 4.8
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c 0 900   9700 7500 0 .55 43 0 .017 5.0
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 0 900   9700 7300 0 .40 41 0 .018 4.8
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c 0 900   9700 7500 0 .44 44 0 .050 4.9
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c 0 900   9700 7500 0 .55 44 0 .018 4.9
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c 0 900   9600 6900 0 .55 44 0 .017 4.8
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c 0 900   9700 6900 0 .53 43 0 .019 5.0
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c 0 900   9700 8000 0 .45 44 0 .048 4.9
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 0 900   9300 6400 0 .43 43 0 .018 4.9
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c 0 900   9700 6800 0 .52 43 0 .019 4.9
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 0 900   9600 8100 0 .41 42 0 .020 4.8
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 0 900   9300 7500 0 .44 43 0 .028 4.8
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 0 900   9600 7300 0 .42 41 0 .050 4.8
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 0 900   9300 6900 0 .43 41 0 .018 4.9
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 0 900   9700 7500 0 .61 43 0 .041 4.8
eca-rers2012/Problem14_label15_true-unreach-call_false-termination.c 0 900   9700 7100 0 .54 43 0 .024 4.8
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c 0 900   9700 7500 0 .44 44 0 .018 4.8
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c 0 900   9600 6900 0 .40 43 0 .020 4.8
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 0 900   9400 7600 0 .43 43 0 .045 4.8
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c 0 900   9700 8500 0 .54 45 0 .046 5.0
eca-rers2012/Problem14_label20_true-unreach-call_false-termination.c 0 900   9700 7400 0 .53 43 0 .017 4.8
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c 0 900   9700 8000 0 .41 41 0 .022 4.8
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 0 900   9500 7100 0 .54 43 0 .020 4.9
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c 0 900   9700 7300 0 .55 44 0 .051 4.8
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c 0 910   9700 7800 0 .54 43 0 .019 4.9
eca-rers2012/Problem14_label25_true-unreach-call_false-termination.c 0 910   9800 7200 0 .55 44 0 .036 4.9
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c 0 900   9400 7000 0 .54 45 0 .018 5.0
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 0 900   9600 7900 0 .55 43 0 .018 4.8
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 0 900   9200 6900 0 .45 44 0 .019 4.8
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 0 900   9700 7200 0 .40 41 0 .019 4.8
eca-rers2012/Problem14_label30_true-unreach-call_false-termination.c 0 900   9700 7900 0 .53 43 0 .024 4.9
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 0 900   9600 7100 0 .42 44 0 .049 4.8
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c 0 900   9700 6800 0 .44 43 0 .017 5.0
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c 0 900   9600 7500 0 .45 43 0 .019 5.0
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 0 900   9600 7100 0 .59 44 0 .019 5.0
eca-rers2012/Problem14_label35_true-unreach-call_false-termination.c 0 900   9700 7000 0 .43 43 0 .022 4.8
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c 0 900   9300 6900 0 .54 44 0 .019 4.9
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 0 900   9700 7900 0 .42 43 0 .039 4.8
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c 0 900   9600 7900 0 .41 43 0 .022 5.0
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 0 900   9700 8100 0 .42 43 0 .049 4.8
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 0 900   9700 7100 0 .52 45 0 .048 4.9
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 0 900   9300 6300 0 .44 45 0 .048 4.9
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c 0 900   9100 8100 0 .60 43 0 .041 4.9
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 0 900   9700 7000 0 .55 43 0 .018 4.8
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 0 900   9300 7000 0 .40 43 0 .018 4.9
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c 0 910   9700 7400 0 .43 41 0 .018 4.8
eca-rers2012/Problem14_label46_true-unreach-call_false-termination.c 0 900   9600 7300 0 .55 45 0 .017 4.8
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c 0 900   9600 6600 0 .39 43 0 .018 5.0
eca-rers2012/Problem14_label48_true-unreach-call_false-termination.c 0 900   9200 6900 0 .41 41 0 .031 4.8
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c 0 900   9600 6900 0 .53 43 0 .019 4.9
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c 0 900   9700 7300 0 .52 43 0 .017 4.9
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c 0 900   9700 7300 0 .51 43 0 .019 4.8
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 0 900   9800 7600 0 .43 41 0 .035 4.9
eca-rers2012/Problem14_label53_true-unreach-call_false-termination.c 0 900   9700 7600 0 .44 43 0 .037 4.9
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 0 900   9400 7900 0 .43 41 0 .045 5.0
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c 0 900   9300 7300 0 .41 43 0 .018 5.0
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 0 900   9600 7800 0 .53 44 0 .023 4.8
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 0 900   9700 6600 0 .43 43 0 .018 5.0
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 0 900   9700 7000 0 .56 44 0 .025 4.9
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c 0 900   9300 7000 0 .56 45 0 .018 4.8
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 0 900   15000 7100 0 .55 43 0 .047 4.8
psyco/psyco_abp_1_false-unreach-call_false-termination.c - 0 .44 43 0 .019 4.9
psyco/psyco_accelerometer_1_true-unreach-call_false-termination.c 0 58   4700 440 0 .43 43 0 .021 5.0
psyco/psyco_io_1_true-unreach-call_false-termination.c 0 900   5500 10000 0 .51 44 0 .025 4.8
psyco/psyco_math_1_true-unreach-call_false-termination.c 0 900   3800 13000 0 .40 43 0 .037 4.8
psyco/psyco_net_1_false-unreach-call_false-termination.c 0 3.4 230 880 0 .53 43 0 .020 4.8
psyco/psyco_security_true-unreach-call_false-termination.c 0 900   5300 9100 0 .52 44 0 .047 4.9
floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i 2 3.9 380 34 - -
floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i 2 3.8 390 31 - -
floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i 2 4.5 390 40 - -
floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i 2 4.1 400 29 - -
floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i 2 4.7 400 38 - -
floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i 2 4.1 390 33 - -
floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i 2 4.4 400 35 - -
floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i 2 4.3 390 33 - -
floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i 2 4.7 390 36 - -
floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i 2 4.4 410 34 - -
floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i 2 4.8 420 40 - -
floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i 2 4.7 410 41 - -
floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i 2 4.8 400 36 - -
floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i 2 4.5 410 32 - -
floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i 2 5.4 400 43 - -
floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i 2 4.8 420 37 - -
floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i 2 5.7 410 41 - -
floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i 2 5.4 430 47 - -
floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i 2 5.2 420 46 - -
floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i 2 6.1 440 50 - -
floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i 2 6.2 420 49 - -
floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i 2 5.1 400 43 - -
floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i 2 5.3 410 39 - -
floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i 2 5.1 430 38 - -
floats-cdfpl/sine_1_false-unreach-call_true-termination.i 0 3.3 260 25 - -
floats-cdfpl/sine_2_false-unreach-call_true-termination.i 2 3.3 260 28 - -
floats-cdfpl/sine_3_false-unreach-call_true-termination.i 2 3.5 260 27 - -
floats-cdfpl/sine_4_true-unreach-call_true-termination.i 2 3.6 270 25 - -
floats-cdfpl/sine_5_true-unreach-call_true-termination.i 2 3.4 270 27 - -
floats-cdfpl/sine_6_true-unreach-call_true-termination.i 2 3.4 260 29 - -
floats-cdfpl/sine_7_true-unreach-call_true-termination.i 2 3.4 270 27 - -
floats-cdfpl/sine_8_true-unreach-call_true-termination.i 2 3.3 260 25 - -
floats-cdfpl/square_1_false-unreach-call_true-termination.i 2 3.3 270 27 - -
floats-cdfpl/square_2_false-unreach-call_true-termination.i 2 3.3 270 25 - -
floats-cdfpl/square_3_false-unreach-call_true-termination.i 2 3.3 260 29 - -
floats-cdfpl/square_4_true-unreach-call_true-termination.i 2 3.5 260 23 - -
floats-cdfpl/square_5_true-unreach-call_true-termination.i 2 3.3 260 26 - -
floats-cdfpl/square_6_true-unreach-call_true-termination.i 2 3.2 260 29 - -
floats-cdfpl/square_7_true-unreach-call_true-termination.i 2 3.1 260 28 - -
floats-cdfpl/square_8_true-unreach-call_true-termination.i 2 3.1 250 23 - -
floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i 0 2.2 230 21 - -
floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i 0 2.1 230 21 - -
floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i 0 2.2 230 19 - -
floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i 0 2.4 230 22 - -
floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i 0 1.8 170 19 - -
floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i 0 2.0 220 17 - -
floats-cbmc-regression/float11_true-unreach-call_true-termination.i 0 1.8 180 16 - -
floats-cbmc-regression/float12_true-unreach-call_true-termination.i 0 2.2 230 18 - -
floats-cbmc-regression/float13_true-unreach-call_true-termination.i 2 2.4 230 23 - -
floats-cbmc-regression/float1_true-unreach-call_true-termination.i 0 2.2 230 19 - -
floats-cbmc-regression/float20_true-unreach-call_true-termination.i 0 2.6 240 22 - -
floats-cbmc-regression/float22_true-unreach-call_true-termination.i 2 17   3500 150 - -
floats-cbmc-regression/float2_true-unreach-call_true-termination.i 2 2.2 230 18 - -
floats-cbmc-regression/float3_true-unreach-call_true-termination.i 0 2.3 230 23 - -
floats-cbmc-regression/float5_true-unreach-call_true-termination.i 0 2.4 230 20 - -
floats-cbmc-regression/float6_true-unreach-call_true-termination.i 2 3.2 260 26 - -
ldv-regression/1_3_true-termination.c_false-unreach-call.i 2 3.2 250 26 - -
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i 2 2.7 270 25 - -
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i 2 2.2 230 18 - -
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i 2 2.4 230 19 - -
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i 2 2.2 230 19 - -
ldv-regression/alt_test_true-termination.c_false-unreach-call.i 2 3.7 290 30 - -
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i 2 2.0 220 17 - -
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i 0 6.6 670 57 - -
ldv-regression/fo_test_true-termination.c_false-unreach-call.i 2 7.0 670 62 - -
ldv-regression/just_assert_true-termination.c_true-unreach-call.i 2 2.0 220 17 - -
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i 2 2.3 230 20 - -
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i 2 2.2 230 20 - -
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i 2 2.2 230 18 - -
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i 2 2.4 230 22 - -
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i 0 1.7 180 18 - -
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i 0 1.6 170 15 - -
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i 2 3.4 270 32 - -
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i 2 3.6 340 33 - -
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i 2 2.9 260 24 - -
ldv-regression/nested_structure_true-unreach-call_true-termination.i 2 3.1 270 25 - -
ldv-regression/oomInt_true-termination.c_true-unreach-call.i 2 2.3 230 22 - -
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i 2 2.3 270 18 - -
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i 2 5.4 410 46 - -
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i 2 11   1200 91 - -
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i 2 11   1200 97 - -
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i 2 10   1200 87 - -
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i 2 10   1200 85 - -
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i 2 3.4 270 28 - -
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i 2 2.8 240 22 - -
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i 2 2.3 230 21 - -
ldv-regression/test_address_true-termination.c_true-unreach-call.i 2 2.5 230 21 - -
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i 2 2.1 230 20 - -
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i 0 2.4 230 20 - -
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i 0 2.4 230 23 - -
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i 2 3.4 270 28 - -
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i 2 2.3 230 20 - -
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i 2 2.2 230 19 - -
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i 2 2.0 220 17 - -
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i 2 2.3 220 17 - -
ldv-regression/test_union_true-termination.c_true-unreach-call.i 2 2.0 220 19 - -
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i 2 2.2 220 20 - -
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i 2 3.6 290 28 - -
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i 2 3.3 290 23 - -
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i 2 2.3 230 22 - -
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i 2 2.3 230 20 - -
ldv-regression/stateful_check_false-unreach-call_false-termination.i 0 900   6800 8300 0 .40 43 0 .019 5.0
ldv-regression/test01_true-unreach-call_true-termination.c 0 2.5 230 22 - -
ldv-regression/test02_false-unreach-call_true-termination.c 2 2.7 240 22 - -
ldv-regression/test03_true-unreach-call_true-termination.c 0 2.7 240 26 - -
ldv-regression/test04_true-unreach-call_true-termination.c 0 2.5 230 25 - -
ldv-regression/test05_true-unreach-call_true-termination.c 2 3.9 380 34 - -
ldv-regression/test06_false-unreach-call_true-termination.c 2 4.1 350 33 - -
ldv-regression/test07_true-unreach-call_true-termination.c 2 2.9 240 23 - -
ldv-regression/test08_false-unreach-call_true-termination.c 2 2.8 240 25 - -
ldv-regression/test09_true-unreach-call_true-termination.c 2 2.9 250 26 - -
ldv-regression/test10_true-unreach-call_true-termination.c 2 3.4 270 28 - -
ldv-regression/test11_true-unreach-call_true-termination.c 2 3.1 260 25 - -
ldv-regression/test12_false-unreach-call_true-termination.c 0 2.2 230 18 - -
ldv-regression/test13_true-unreach-call_true-termination.c 2 2.6 240 22 - -
ldv-regression/test14_true-unreach-call_true-termination.c 2 3.6 280 32 - -
ldv-regression/test15_true-unreach-call_true-termination.c 2 2.6 230 22 - -
ldv-regression/test16_true-unreach-call_true-termination.c 2 2.6 240 23 - -
ldv-regression/test17_true-unreach-call_true-termination.c 2 2.3 230 20 - -
ldv-regression/test18_true-unreach-call_true-termination.c 2 2.9 250 24 - -
ldv-regression/test19_true-unreach-call_true-termination.c 2 3.4 270 31 - -
ldv-regression/test20_true-unreach-call_true-termination.c 0 2.4 230 22 - -
ldv-regression/test21_false-unreach-call_true-termination.c 0 3.4 270 31 - -
ldv-regression/test21_true-unreach-call_true-termination.c 0 3.4 290 29 - -
ldv-regression/test24_true-unreach-call_true-termination.c 2 9.5 740 84 - -
ldv-regression/test25_false-unreach-call_true-termination.c 2 25   2000 170 - -
ldv-regression/test26_false-unreach-call_true-termination.c 2 2.6 240 21 - -
ldv-regression/test26_true-unreach-call_true-termination.c 2 2.6 240 22 - -
ldv-regression/test27_false-unreach-call_true-termination.c 0 37   3500 320 - -
ldv-regression/test27_true-unreach-call_true-termination.c 2 31   2800 220 - -
ldv-regression/test28_false-unreach-call_true-termination.c 0 2.5 240 21 - -
ldv-regression/test28_true-unreach-call_true-termination.c 0 2.5 230 22 - -
ldv-regression/test29_false-unreach-call_true-termination.c 0 2.7 240 21 - -
ldv-regression/test29_true-unreach-call_true-termination.c 0 2.7 230 24 - -
ldv-regression/test30_false-unreach-call_true-termination.c 2 3.3 290 26 - -
ldv-regression/test30_true-unreach-call_true-termination.c 2 3.8 280 34 - -
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i 2 28   2300 200 - -
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i 2 3.2 270 31 - -
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i 2 3.3 270 30 - -
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i 2 2.6 240 24 - -
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i 2 2.4 230 21 - -
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i 2 33   3500 250 - -
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i 2 32   3600 260 - -
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i 0 900   5200 11000 0 .38 43 0 .050 4.9
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i 0 900   5200 12000 0 .43 43 0 .048 5.0
ldv-sets/test_add_false-unreach-call_true-termination.i 0 1.8 170 17 - -
ldv-sets/test_add_true-unreach-call_true-termination.i 0 1.8 170 18 - -
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i 0 1.9 170 17 - -
loops/for_infinite_loop_1_true-unreach-call_false-termination.i 1 8.2 510 63 0 1.4  140 1 8.0   320  
loops/for_infinite_loop_2_true-unreach-call_false-termination.i 1 8.5 500 72 0 1.4  140 1 7.9   330  
loops/n.c11_true-unreach-call_false-termination.i 0 6.2 540 51 0 .42 44 0 .018 5.0
loops/nec11_false-unreach-call_false-termination.i 0 13   920 98 0 .41 41 0 .019 4.8
loops/sum03_true-unreach-call_false-termination.i 0 11   680 83 0 2.0  140 0 97     270  
loops/trex04_true-unreach-call_false-termination.i 0 220   6600 1200 0 1.4  140 -32 4.6   230  
loops/while_infinite_loop_1_true-unreach-call_false-termination.i 1 5.6 350 48 0 1.9  140 1 5.0   260  
loops/while_infinite_loop_2_true-unreach-call_false-termination.i 1 5.4 350 42 0 1.4  140 1 3.3   260  
loops/while_infinite_loop_3_true-unreach-call_false-termination.i 1 5.8 360 45 0 1.4  140 1 3.8   270  
loops/array_false-unreach-call_true-termination.i 2 3.2 260 27 - -
loops/array_true-unreach-call_true-termination.i 2 3.9 270 30 - -
loops/bubble_sort_true-unreach-call_true-termination.i 0 900   8400 6600 - -
loops/count_up_down_false-unreach-call_true-termination.i 2 6.5 480 55 - -
loops/count_up_down_true-unreach-call_true-termination.i 2 7.8 490 62 - -
loops/eureka_01_false-unreach-call_true-termination.i 0 900   7700 9200 - -
loops/eureka_05_true-unreach-call_true-termination.i 0 900   8400 5400 - -
loops/for_bounded_loop1_false-unreach-call_true-termination.i 2 9.7 750 70 - -
loops/insertion_sort_false-unreach-call_true-termination.i 0 8.7 730 69 - -
loops/insertion_sort_true-unreach-call_true-termination.i 0 9.8 690 71 - -
loops/invert_string_false-unreach-call_true-termination.i 0 900   3500 13000 - -
loops/invert_string_true-unreach-call_true-termination.i 0 29   3600 220 - -
loops/matrix_false-unreach-call_true-termination.i 0 3.3 260 29 - -
loops/matrix_true-unreach-call_true-termination.i 2 3.8 330 30 - -
loops/n.c40_true-unreach-call_true-termination.i 0 44   3700 330 - -
loops/nec20_false-unreach-call_true-termination.i 2 19   1900 150 - -
loops/nec40_true-unreach-call_true-termination.i 0 52   3700 380 - -
loops/string_false-unreach-call_true-termination.i 0 18   2000 140 - -
loops/string_true-unreach-call_true-termination.i 0 900   8600 11000 - -
loops/sum01_bug02_false-unreach-call_true-termination.i 2 15   1300 110 - -
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i 2 10   740 77 - -
loops/sum01_false-unreach-call_true-termination.i 2 9.9 770 65 - -
loops/sum01_true-unreach-call_true-termination.i 2 7.0 490 53 - -
loops/sum03_false-unreach-call_true-termination.i 2 11   750 77 - -
loops/sum04_false-unreach-call_true-termination.i 2 6.8 490 50 - -
loops/sum04_true-unreach-call_true-termination.i 2 4.9 410 37 - -
loops/terminator_01_false-unreach-call_true-termination.i 2 4.7 340 34 - -
loops/terminator_02_false-unreach-call_true-termination.i 2 20   1300 140 - -
loops/terminator_02_true-unreach-call_true-termination.i 2 22   1300 150 - -
loops/terminator_03_false-unreach-call_true-termination.i 2 6.6 460 54 - -
loops/terminator_03_true-unreach-call_true-termination.i 2 6.9 470 47 - -
loops/trex01_false-unreach-call_true-termination.i 2 58   3200 390 - -
loops/trex01_true-unreach-call_true-termination.i 2 79   4600 640 - -
loops/trex02_false-unreach-call_true-termination.i 2 9.4 520 63 - -
loops/trex02_true-unreach-call_true-termination.i 2 12   610 78 - -
loops/trex03_false-unreach-call_true-termination.i 2 160   5600 1000 - -
loops/trex03_true-unreach-call_true-termination.i 2 130   5500 860 - -
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i 0 4.4 390 33 - -
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i 0 900   3600 13000 - -
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i 0 14   1200 100 - -
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i 0 5.6 440 49 - -
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i 0 900   3700 13000 - -
loops/while_infinite_loop_4_false-unreach-call_true-termination.i 2 2.4 230 20 - -
loop-acceleration/array_false-unreach-call1_true-termination.i 2 9.9 680 86 - -
loop-acceleration/array_false-unreach-call2_true-termination.i 2 11   770 88 - -
loop-acceleration/array_false-unreach-call3_true-termination.i 2 12   800 100 - -
loop-acceleration/array_true-unreach-call1_true-termination.i 2 8.2 700 64 - -
loop-acceleration/array_true-unreach-call2_true-termination.i 2 11   760 78 - -
loop-acceleration/array_true-unreach-call3_true-termination.i 2 13   850 96 - -
loop-acceleration/array_true-unreach-call4_true-termination.i 0 19   1000 150 - -
loop-acceleration/diamond_true-unreach-call1_true-termination.i 2 7.6 550 56 - -
loop-acceleration/functions_false-unreach-call1_true-termination.i 0 6.7 380 48 - -
loop-acceleration/functions_true-unreach-call1_true-termination.i 0 6.8 360 52 - -
loop-acceleration/multivar_false-unreach-call1_true-termination.i 2 5.4 400 44 - -
loop-acceleration/multivar_true-unreach-call1_true-termination.i 2 4.8 360 36 - -
loop-acceleration/simple_false-unreach-call2_true-termination.i 0 2.0 220 20 - -
loop-acceleration/simple_false-unreach-call3_true-termination.i 0 2.4 230 18 - -
loop-acceleration/simple_true-unreach-call2_true-termination.i 0 2.0 220 19 - -
loop-acceleration/simple_true-unreach-call3_true-termination.i 0 2.1 230 18 - -
loop-acceleration/underapprox_false-unreach-call1_true-termination.i 2 5.8 470 48 - -
loop-acceleration/underapprox_false-unreach-call2_true-termination.i 2 7.0 470 48 - -
loop-acceleration/underapprox_true-unreach-call1_true-termination.i 2 6.1 460 47 - -
loop-acceleration/underapprox_true-unreach-call2_true-termination.i 2 6.1 480 50 - -
loop-acceleration/phases_false-unreach-call2_false-termination.i 1 6.3 370 48 0 1.4  140 1 16     310  
loop-acceleration/phases_true-unreach-call2_false-termination.i 1 6.0 360 55 0 1.4  140 1 17     310  
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i 0 43   5200 370 0 2.0  140 -32 5.1   240  
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i 2 87   2300 740 - -
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i 2 12   760 80 - -
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i 0 8.0 670 55 - -
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i 0 900   5200 11000 - -
loop-invgen/down_true-unreach-call_true-termination.i 2 8.2 640 65 - -
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i 2 74   5400 550 - -
loop-invgen/half_2_true-unreach-call_true-termination.i 2 31   1700 200 - -
loop-invgen/heapsort_true-unreach-call_true-termination.i 0 3.9 330 33 - -
loop-invgen/id_build_true-unreach-call_true-termination.i 0 9.3 700 67 - -
loop-invgen/id_trans_false-unreach-call_true-termination.i 2 18   1300 130 - -
loop-invgen/large_const_true-unreach-call_true-termination.i 2 7.3 670 50 - -
loop-invgen/nest-if3_true-unreach-call_true-termination.i 2 50   3500 320 - -
loop-invgen/nested6_true-unreach-call_true-termination.i 0 26   2300 180 - -
loop-invgen/nested9_true-unreach-call_true-termination.i 0 900   3600 12000 - -
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i 0 900   5200 11000 - -
loop-invgen/seq_true-unreach-call_true-termination.i 2 72   2500 610 - -
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i 0 59   2000 420 - -
loop-invgen/up_true-unreach-call_true-termination.i 2 13   780 86 - -
loop-lit/afnp2014_true-unreach-call_true-termination.c.i 2 8.9 760 71 - -
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i 2 70   5400 510 - -
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i 2 5.0 370 41 - -
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i 2 11   750 77 - -
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i 2 8.3 640 59 - -
loop-lit/css2003_true-unreach-call_true-termination.c.i 2 71   3600 790 - -
loop-lit/gj2007_true-unreach-call_true-termination.c.i 2 6.5 470 46 - -
loop-lit/gj2007b_true-unreach-call_true-termination.c.i 2 19   1200 120 - -
loop-lit/gr2006_true-unreach-call_true-termination.c.i 2 7.1 490 58 - -
loop-lit/gsv2008_true-unreach-call_true-termination.c.i 2 14   1500 110 - -
loop-lit/hhk2008_true-unreach-call_true-termination.c.i 2 8.3 470 64 - -
loop-lit/jm2006_true-unreach-call_true-termination.c.i 2 6.6 460 54 - -
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i 2 13   750 94 - -
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i 0 2.6 230 23 - -
loop-lit/gcnr2008_false-unreach-call_false-termination.i 0 900   5200 11000 0 .44 44 0 .019 4.8
loop-new/count_by_1_true-unreach-call_true-termination.i 2 4.6 340 36 - -
loop-new/count_by_1_variant_true-unreach-call_true-termination.i 2 5.5 380 40 - -
loop-new/count_by_2_true-unreach-call_true-termination.i 2 4.0 310 29 - -
loop-new/count_by_k_true-unreach-call_true-termination.i 2 5.6 390 41 - -
loop-new/count_by_nondet_true-unreach-call_true-termination.i 2 11   770 86 - -
loop-new/gauss_sum_true-unreach-call_true-termination.i 2 21   2300 170 - -
loop-new/half_true-unreach-call_true-termination.i 2 17   1200 140 - -
loop-new/nested_true-unreach-call_true-termination.i 2 29   2500 210 - -
product-lines/elevator_spec14_product03_true-unreach-call_true-termination.cil.c 0 910   11000 6800 - -
product-lines/elevator_spec14_product11_true-unreach-call_true-termination.cil.c 0 900   11000 7100 - -
product-lines/elevator_spec14_product19_true-unreach-call_true-termination.cil.c 0 910   11000 7000 - -
product-lines/elevator_spec14_product20_false-unreach-call_true-termination.cil.c 0 900   11000 7800 - -
product-lines/elevator_spec14_product23_true-unreach-call_true-termination.cil.c 0 910   11000 6600 - -
product-lines/elevator_spec14_product24_false-unreach-call_true-termination.cil.c 0 900   10000 7100 - -
product-lines/elevator_spec14_product27_true-unreach-call_true-termination.cil.c 0 910   11000 7100 - -
product-lines/elevator_spec14_product28_false-unreach-call_true-termination.cil.c 0 900   10000 7200 - -
product-lines/elevator_spec14_product31_true-unreach-call_true-termination.cil.c 0 910   11000 6800 - -
product-lines/elevator_spec14_product32_false-unreach-call_true-termination.cil.c 0 900   10000 7000 - -
product-lines/elevator_spec14_productSimulator_false-unreach-call_true-termination.cil.c 0 900   10000 7500 - -
product-lines/elevator_spec1_product01_true-unreach-call_true-termination.cil.c 0 900   4500 8500 - -
product-lines/elevator_spec1_product03_true-unreach-call_true-termination.cil.c 0 900   11000 7000 - -
product-lines/elevator_spec1_product09_true-unreach-call_true-termination.cil.c 0 900   10000 6000 - -
product-lines/elevator_spec1_product11_true-unreach-call_true-termination.cil.c 0 900   11000 6100 - -
product-lines/elevator_spec1_product17_true-unreach-call_true-termination.cil.c 0 910   11000 7400 - -
product-lines/elevator_spec1_product18_false-unreach-call_true-termination.cil.c 0 900   10000 7000 - -
product-lines/elevator_spec1_product19_true-unreach-call_true-termination.cil.c 0 900   4400 11000 - -
product-lines/elevator_spec1_product20_false-unreach-call_true-termination.cil.c 0 900   3800 8000 - -
product-lines/elevator_spec1_product21_true-unreach-call_true-termination.cil.c 0 900   4400 8600 - -
product-lines/elevator_spec1_product22_false-unreach-call_true-termination.cil.c 0 900   3900 8700 - -
product-lines/elevator_spec1_product23_true-unreach-call_true-termination.cil.c 0 900   11000 6400 - -
product-lines/elevator_spec1_product24_false-unreach-call_true-termination.cil.c 0 900   4200 7800 - -
product-lines/elevator_spec1_product25_true-unreach-call_true-termination.cil.c 0 910   11000 7100 - -
product-lines/elevator_spec1_product26_false-unreach-call_true-termination.cil.c 0 900   10000 7500 - -
product-lines/elevator_spec1_product27_true-unreach-call_true-termination.cil.c 0 900   4200 7800 - -
product-lines/elevator_spec1_product28_false-unreach-call_true-termination.cil.c 0 910   11000 6600 - -
product-lines/elevator_spec1_product29_true-unreach-call_true-termination.cil.c 0 900   11000 6700 - -
product-lines/elevator_spec1_product30_false-unreach-call_true-termination.cil.c 0 900   4300 8800 - -
product-lines/elevator_spec1_product31_true-unreach-call_true-termination.cil.c 0 900   11000 7900 - -
product-lines/elevator_spec1_product32_false-unreach-call_true-termination.cil.c 0 900   10000 6900 - -
product-lines/elevator_spec1_productSimulator_false-unreach-call_true-termination.cil.c 0 900   10000 8100 - -
product-lines/elevator_spec2_product01_true-unreach-call_true-termination.cil.c 0 910   11000 6300 - -
product-lines/elevator_spec2_product03_true-unreach-call_true-termination.cil.c 0 910   11000 6700 - -
product-lines/elevator_spec2_product09_true-unreach-call_true-termination.cil.c 0 910   12000 6100 - -
product-lines/elevator_spec2_product11_true-unreach-call_true-termination.cil.c 0 900   12000 7500 - -
product-lines/elevator_spec2_product17_true-unreach-call_true-termination.cil.c 0 900   10000 7400 - -
product-lines/elevator_spec2_product18_false-unreach-call_true-termination.cil.c 0 900   10000 7600 - -
product-lines/elevator_spec2_product19_true-unreach-call_true-termination.cil.c 0 900   10000 7800 - -
product-lines/elevator_spec2_product20_false-unreach-call_true-termination.cil.c 0 900   10000 7500 - -
product-lines/elevator_spec2_product21_true-unreach-call_true-termination.cil.c 0 900   11000 6900 - -
product-lines/elevator_spec2_product22_false-unreach-call_true-termination.cil.c 0 910   11000 7800 - -
product-lines/elevator_spec2_product23_true-unreach-call_true-termination.cil.c 0 900   11000 6000 - -
product-lines/elevator_spec2_product24_false-unreach-call_true-termination.cil.c 0 900   10000 6900 - -
product-lines/elevator_spec2_product25_true-unreach-call_true-termination.cil.c 0 900   11000 7400 - -
product-lines/elevator_spec2_product26_false-unreach-call_true-termination.cil.c 0 900   10000 7600 - -
product-lines/elevator_spec2_product27_true-unreach-call_true-termination.cil.c 0 910   11000 6200 - -
product-lines/elevator_spec2_product28_false-unreach-call_true-termination.cil.c 0 900   10000 8100 - -
product-lines/elevator_spec2_product29_true-unreach-call_true-termination.cil.c 0 900   11000 6700 - -
product-lines/elevator_spec2_product30_false-unreach-call_true-termination.cil.c 0 900   11000 7400 - -
product-lines/elevator_spec2_product31_true-unreach-call_true-termination.cil.c 0 900   10000 6700 - -
product-lines/elevator_spec2_product32_false-unreach-call_true-termination.cil.c 0 900   11000 7100 - -
product-lines/elevator_spec2_productSimulator_false-unreach-call_true-termination.cil.c 0 900   10000 8300 - -
product-lines/elevator_spec3_product01_true-unreach-call_true-termination.cil.c 0 900   4600 9400 - -
product-lines/elevator_spec3_product03_false-unreach-call_true-termination.cil.c 0 900   4200 11000 - -
product-lines/elevator_spec3_product09_true-unreach-call_true-termination.cil.c 0 900   4200 9700 - -
product-lines/elevator_spec3_product11_false-unreach-call_true-termination.cil.c 0 900   4100 13000 - -
product-lines/elevator_spec3_product17_true-unreach-call_true-termination.cil.c 0 900   4300 8700 - -
product-lines/elevator_spec3_product18_true-unreach-call_true-termination.cil.c 0 900   3900 9700 - -
product-lines/elevator_spec3_product19_false-unreach-call_true-termination.cil.c 0 900   4000 12000 - -
product-lines/elevator_spec3_product20_false-unreach-call_true-termination.cil.c 0 900   3800 10000 - -
product-lines/elevator_spec3_product21_true-unreach-call_true-termination.cil.c 0 900   3900 9200 - -
product-lines/elevator_spec3_product22_true-unreach-call_true-termination.cil.c 0 900   3900 9500 - -
product-lines/elevator_spec3_product23_false-unreach-call_true-termination.cil.c 0 900   3900 8700 - -
product-lines/elevator_spec3_product24_false-unreach-call_true-termination.cil.c 0 900   4000 13000 - -
product-lines/elevator_spec3_product25_true-unreach-call_true-termination.cil.c 0 900   3600 11000 - -
product-lines/elevator_spec3_product26_true-unreach-call_true-termination.cil.c 0 900   4000 11000 - -
product-lines/elevator_spec3_product27_false-unreach-call_true-termination.cil.c 0 900   4100 10000 - -
product-lines/elevator_spec3_product28_false-unreach-call_true-termination.cil.c 0 900   4200 11000 - -
product-lines/elevator_spec3_product29_true-unreach-call_true-termination.cil.c 0 900   4200 11000 - -
product-lines/elevator_spec3_product30_true-unreach-call_true-termination.cil.c 0 900   3700 9100 - -
product-lines/elevator_spec3_product31_false-unreach-call_true-termination.cil.c 0 900   3700 11000 - -
product-lines/elevator_spec3_product32_false-unreach-call_true-termination.cil.c 0 900   3600 11000 - -
product-lines/elevator_spec3_productSimulator_false-unreach-call_true-termination.cil.c 0 900   4500 9900 - -
product-lines/elevator_spec9_product09_true-unreach-call_true-termination.cil.c 0 910   11000 7700 - -
product-lines/elevator_spec9_product11_true-unreach-call_true-termination.cil.c 0 900   11000 7400 - -
product-lines/elevator_spec9_product25_true-unreach-call_true-termination.cil.c 0 900   11000 7900 - -
product-lines/elevator_spec9_product26_false-unreach-call_true-termination.cil.c 0 900   11000 7100 - -
product-lines/elevator_spec9_product27_true-unreach-call_true-termination.cil.c 0 900   10000 8300 - -
product-lines/elevator_spec9_product28_false-unreach-call_true-termination.cil.c 0 900   10000 7300 - -
product-lines/elevator_spec9_product29_true-unreach-call_true-termination.cil.c 0 910   11000 7400 - -
product-lines/elevator_spec9_product30_false-unreach-call_true-termination.cil.c 0 900   10000 7700 - -
product-lines/elevator_spec9_product31_true-unreach-call_true-termination.cil.c 0 900   11000 7400 - -
product-lines/elevator_spec9_product32_false-unreach-call_true-termination.cil.c 0 900   11000 6900 - -
product-lines/elevator_spec9_productSimulator_false-unreach-call_true-termination.cil.c 0 900   10000 9500 - -
product-lines/email_spec0_product05_true-unreach-call_true-termination.cil.c 2 110   4900 880 - -
product-lines/email_spec0_product09_true-unreach-call_true-termination.cil.c 2 130   5400 1200 - -
product-lines/email_spec0_product10_true-unreach-call_true-termination.cil.c 2 120   5600 1100 - -
product-lines/email_spec0_product11_true-unreach-call_true-termination.cil.c 2 140   5600 1200 - -
product-lines/email_spec0_product16_false-unreach-call_true-termination.cil.c 2 180   5500 2000 - -
product-lines/email_spec0_product19_true-unreach-call_true-termination.cil.c 2 210   5800 1900 - -
product-lines/email_spec0_product21_false-unreach-call_true-termination.cil.c 2 340   5900 3600 - -
product-lines/email_spec0_product22_false-unreach-call_true-termination.cil.c 2 220   5700 2300 - -
product-lines/email_spec0_product24_true-unreach-call_true-termination.cil.c 2 230   5800 2100 - -
product-lines/email_spec0_product25_true-unreach-call_true-termination.cil.c 2 280   5800 2600 - -
product-lines/email_spec0_product26_false-unreach-call_true-termination.cil.c 2 350   5800 4200 - -
product-lines/email_spec0_product27_true-unreach-call_true-termination.cil.c 2 330   5900 3500 - -
product-lines/email_spec0_product31_false-unreach-call_true-termination.cil.c 2 280   5800 2800 - -
product-lines/email_spec0_product33_false-unreach-call_true-termination.cil.c 2 320   5800 3400 - -
product-lines/email_spec0_product34_false-unreach-call_true-termination.cil.c 2 360   5800 4100 - -
product-lines/email_spec0_product35_false-unreach-call_true-termination.cil.c 2 510   6000 6500 - -
product-lines/email_spec0_product36_true-unreach-call_true-termination.cil.c 2 190   5700 1500 - -
product-lines/email_spec0_product37_true-unreach-call_true-termination.cil.c 2 150   5600 1400 - -
product-lines/email_spec0_product38_true-unreach-call_true-termination.cil.c 2 200   5700 1800 - -
product-lines/email_spec0_product40_true-unreach-call_true-termination.cil.c 2 200   5600 2200 - -
product-lines/email_spec0_productSimulator_false-unreach-call_true-termination.cil.c 0 900   5400 13000 - -
product-lines/email_spec11_product03_true-unreach-call_true-termination.cil.c 2 100   5200 690 - -
product-lines/email_spec11_product07_true-unreach-call_true-termination.cil.c 2 120   5500 1000 - -
product-lines/email_spec11_product08_true-unreach-call_true-termination.cil.c 2 120   5500 1100 - -
product-lines/email_spec11_product10_true-unreach-call_true-termination.cil.c 2 110   5300 890 - -
product-lines/email_spec11_product15_false-unreach-call_true-termination.cil.c 2 170   5500 2000 - -
product-lines/email_spec11_product18_true-unreach-call_true-termination.cil.c 2 150   5400 1600 - -
product-lines/email_spec11_product20_false-unreach-call_true-termination.cil.c 2 270   5600 3400 - -
product-lines/email_spec11_product22_false-unreach-call_true-termination.cil.c 2 240   5700 2500 - -
product-lines/email_spec11_product23_true-unreach-call_true-termination.cil.c 2 220   5700 2100 - -
product-lines/email_spec11_product24_true-unreach-call_true-termination.cil.c 2 190   5500 2000 - -
product-lines/email_spec11_product26_false-unreach-call_true-termination.cil.c 2 360   5800 4300 - -
product-lines/email_spec11_product27_true-unreach-call_true-termination.cil.c 2 310   5700 3400 - -
product-lines/email_spec11_product30_false-unreach-call_true-termination.cil.c 2 200   5600 2400 - -
product-lines/email_spec11_product32_false-unreach-call_true-termination.cil.c 2 280   5700 2900 - -
product-lines/email_spec11_product33_false-unreach-call_true-termination.cil.c 2 380   6000 4000 - -
product-lines/email_spec11_product35_false-unreach-call_true-termination.cil.c 2 530   6100 5800 - -
product-lines/email_spec11_product36_true-unreach-call_true-termination.cil.c 2 180   5600 1700 - -
product-lines/email_spec11_product37_true-unreach-call_true-termination.cil.c 2 160   5600 1300 - -
product-lines/email_spec11_product39_true-unreach-call_true-termination.cil.c 2 170   5600 1700 - -
product-lines/email_spec11_product40_true-unreach-call_true-termination.cil.c 2 220   5800 2300 - -
product-lines/email_spec11_productSimulator_false-unreach-call_true-termination.cil.c 0 900   5300 12000 - -
product-lines/email_spec1_product12_true-unreach-call_true-termination.cil.c 2 140   5500 1300 - -
product-lines/email_spec1_product14_false-unreach-call_true-termination.cil.c 2 210   5600 1900 - -
product-lines/email_spec1_product15_false-unreach-call_true-termination.cil.c 2 170   5500 1700 - -
product-lines/email_spec1_product16_false-unreach-call_true-termination.cil.c 2 210   5700 2000 - -
product-lines/email_spec1_product20_false-unreach-call_true-termination.cil.c 2 290   5800 3000 - -
product-lines/email_spec1_product21_false-unreach-call_true-termination.cil.c 2 350   5800 4200 - -
product-lines/email_spec1_product22_false-unreach-call_true-termination.cil.c 2 230   5700 2200 - -
product-lines/email_spec1_product26_false-unreach-call_true-termination.cil.c 2 360   5800 4400 - -
product-lines/email_spec1_product28_true-unreach-call_true-termination.cil.c 2 180   5600 1600 - -
product-lines/email_spec1_product29_false-unreach-call_true-termination.cil.c 2 280   5800 2700 - -
product-lines/email_spec1_product30_false-unreach-call_true-termination.cil.c 2 220   5700 2100 - -
product-lines/email_spec1_product31_false-unreach-call_true-termination.cil.c 2 240   5600 2400 - -
product-lines/email_spec1_product32_false-unreach-call_true-termination.cil.c 2 340   5800 4100 - -
product-lines/email_spec1_product33_false-unreach-call_true-termination.cil.c 2 330   5800 3900 - -
product-lines/email_spec1_product34_false-unreach-call_true-termination.cil.c 2 360   5800 4100 - -
product-lines/email_spec1_product35_false-unreach-call_true-termination.cil.c 2 540   6100 6300 - -
product-lines/email_spec1_productSimulator_false-unreach-call_true-termination.cil.c 0 900   5300 13000 - -
product-lines/email_spec27_product13_true-unreach-call_true-termination.cil.c 2 130   5500 1200 - -
product-lines/email_spec27_product17_false-unreach-call_true-termination.cil.c 2 220   5700 2000 - -
product-lines/email_spec27_product18_false-unreach-call_true-termination.cil.c 2 160   5500 1600 - -
product-lines/email_spec27_product19_false-unreach-call_true-termination.cil.c 2 170   5500 1700 - -
product-lines/email_spec27_product23_false-unreach-call_true-termination.cil.c 2 220   5700 2400 - -
product-lines/email_spec27_product24_false-unreach-call_true-termination.cil.c 2 190   5500 2100 - -
product-lines/email_spec27_product25_false-unreach-call_true-termination.cil.c 2 250   5500 2600 - -
product-lines/email_spec27_product27_false-unreach-call_true-termination.cil.c 2 310   5700 3300 - -
product-lines/email_spec27_product28_true-unreach-call_true-termination.cil.c 2 160   5600 1500 - -
product-lines/email_spec27_product29_false-unreach-call_true-termination.cil.c 2 290   5800 2800 - -
product-lines/email_spec27_product30_false-unreach-call_true-termination.cil.c 2 210   5600 2400 - -
product-lines/email_spec27_product31_false-unreach-call_true-termination.cil.c 2 240   5600 3000 - -
product-lines/email_spec27_product32_false-unreach-call_true-termination.cil.c 2 330   5800 3400 - -
product-lines/email_spec27_product33_false-unreach-call_true-termination.cil.c 2 300   5700 3700 - -
product-lines/email_spec27_product34_false-unreach-call_true-termination.cil.c 2 390   5800 4700 - -
product-lines/email_spec27_product35_false-unreach-call_true-termination.cil.c 2 560   6000 6700 - -
product-lines/email_spec27_productSimulator_false-unreach-call_true-termination.cil.c 0 900   5700 11000 - -
product-lines/email_spec3_product13_false-unreach-call_true-termination.cil.c 2 150   5600 1200 - -
product-lines/email_spec3_product17_false-unreach-call_true-termination.cil.c 2 240   5500 2500 - -
product-lines/email_spec3_product18_false-unreach-call_true-termination.cil.c 2 180   5500 1800 - -
product-lines/email_spec3_product19_false-unreach-call_true-termination.cil.c 2 200   5600 2000 - -
product-lines/email_spec3_product23_false-unreach-call_true-termination.cil.c 2 220   5700 2200 - -
product-lines/email_spec3_product24_false-unreach-call_true-termination.cil.c 2 240   5600 2600 - -
product-lines/email_spec3_product25_false-unreach-call_true-termination.cil.c 2 270   5700 2800 - -
product-lines/email_spec3_product27_false-unreach-call_true-termination.cil.c 2 330   5800 3700 - -
product-lines/email_spec3_product28_false-unreach-call_true-termination.cil.c 2 190   5700 1800 - -
product-lines/email_spec3_product29_false-unreach-call_true-termination.cil.c 2 260   5800 2500 - -
product-lines/email_spec3_product30_false-unreach-call_true-termination.cil.c 2 260   5800 2800 - -
product-lines/email_spec3_product31_false-unreach-call_true-termination.cil.c 2 310   5900 3700 - -
product-lines/email_spec3_product32_false-unreach-call_true-termination.cil.c 2 400   5900 4600 - -
product-lines/email_spec3_product33_false-unreach-call_true-termination.cil.c 2 360   5800 4000 - -
product-lines/email_spec3_product34_false-unreach-call_true-termination.cil.c 2 380   5900 4300 - -
product-lines/email_spec3_product35_false-unreach-call_true-termination.cil.c 2 600   6100 6500 - -
product-lines/email_spec3_productSimulator_false-unreach-call_true-termination.cil.c 0 900   5400 10000 - -
product-lines/email_spec4_product13_true-unreach-call_true-termination.cil.c 2 120   5400 1100 - -
product-lines/email_spec4_product17_true-unreach-call_true-termination.cil.c 2 250   5700 2900 - -
product-lines/email_spec4_product18_false-unreach-call_true-termination.cil.c 2 160   5600 1500 - -
product-lines/email_spec4_product19_false-unreach-call_true-termination.cil.c 2 180   5600 1800 - -
product-lines/email_spec4_product23_false-unreach-call_true-termination.cil.c 2 210   5600 1900 - -
product-lines/email_spec4_product24_false-unreach-call_true-termination.cil.c 2 180   5500 1700 - -
product-lines/email_spec4_product25_false-unreach-call_true-termination.cil.c 2 250   5600 3100 - -
product-lines/email_spec4_product27_false-unreach-call_true-termination.cil.c 2 320   5800 4000 - -
product-lines/email_spec4_product28_true-unreach-call_true-termination.cil.c 2 180   5700 1800 - -
product-lines/email_spec4_product29_true-unreach-call_true-termination.cil.c 2 260   5600 2500 - -
product-lines/email_spec4_product30_false-unreach-call_true-termination.cil.c 2 240   5800 2200 - -
product-lines/email_spec4_product31_false-unreach-call_true-termination.cil.c 2 270   5800 2900 - -
product-lines/email_spec4_product32_false-unreach-call_true-termination.cil.c 2 350   5900 4400 - -
product-lines/email_spec4_product33_false-unreach-call_true-termination.cil.c 2 330   5800 3600 - -
product-lines/email_spec4_product34_false-unreach-call_true-termination.cil.c 2 390   5900 4200 - -
product-lines/email_spec4_product35_false-unreach-call_true-termination.cil.c 2 510   5800 6700 - -
product-lines/email_spec4_productSimulator_false-unreach-call_true-termination.cil.c 0 900   5400 12000 - -
product-lines/email_spec6_product12_false-unreach-call_true-termination.cil.c 2 140   5400 1400 - -
product-lines/email_spec6_product14_false-unreach-call_true-termination.cil.c 2 220   5700 2200 - -
product-lines/email_spec6_product15_false-unreach-call_true-termination.cil.c 2 190   5600 1900 - -
product-lines/email_spec6_product16_false-unreach-call_true-termination.cil.c 2 210   5700 1900 - -
product-lines/email_spec6_product20_false-unreach-call_true-termination.cil.c 2 290   5800 3200 - -
product-lines/email_spec6_product21_false-unreach-call_true-termination.cil.c 2 330   5600 3600 - -
product-lines/email_spec6_product22_false-unreach-call_true-termination.cil.c 2 210   5500 2000 - -
product-lines/email_spec6_product26_false-unreach-call_true-termination.cil.c 2 350   5800 4100 - -
product-lines/email_spec6_product28_false-unreach-call_true-termination.cil.c 2 190   5600 1600 - -
product-lines/email_spec6_product29_false-unreach-call_true-termination.cil.c 2 270   5700 2900 - -
product-lines/email_spec6_product30_false-unreach-call_true-termination.cil.c 2 230   5700 2300 - -
product-lines/email_spec6_product31_false-unreach-call_true-termination.cil.c 2 320   5900 3500 - -
product-lines/email_spec6_product32_false-unreach-call_true-termination.cil.c 2 350   5800 3900 - -
product-lines/email_spec6_product33_false-unreach-call_true-termination.cil.c 2 370   5900 3700 - -
product-lines/email_spec6_product34_false-unreach-call_true-termination.cil.c 2 380   5900 4700 - -
product-lines/email_spec6_product35_false-unreach-call_true-termination.cil.c 2 570   5900 7600 - -
product-lines/email_spec6_productSimulator_false-unreach-call_true-termination.cil.c 0 900   5400 11000 - -
product-lines/email_spec7_product13_true-unreach-call_true-termination.cil.c 2 140   5500 1300 - -
product-lines/email_spec7_product17_true-unreach-call_true-termination.cil.c 2 240   5700 2800 - -
product-lines/email_spec7_product18_true-unreach-call_true-termination.cil.c 2 160   5600 1700 - -
product-lines/email_spec7_product19_true-unreach-call_true-termination.cil.c 2 160   5500 1800 - -
product-lines/email_spec7_product23_true-unreach-call_true-termination.cil.c 2 210   5700 2300 - -
product-lines/email_spec7_product24_true-unreach-call_true-termination.cil.c 2 190   5500 2000 - -
product-lines/email_spec7_product25_true-unreach-call_true-termination.cil.c 2 250   5700 2800 - -
product-lines/email_spec7_product27_true-unreach-call_true-termination.cil.c 2 310   5700 3600 - -
product-lines/email_spec7_product28_false-unreach-call_true-termination.cil.c 2 180   5600 1900 - -
product-lines/email_spec7_product29_false-unreach-call_true-termination.cil.c 2 280   5700 3100 - -
product-lines/email_spec7_product30_false-unreach-call_true-termination.cil.c 2 230   5800 1900 - -
product-lines/email_spec7_product31_false-unreach-call_true-termination.cil.c 2 240   5600 2600 - -
product-lines/email_spec7_product32_false-unreach-call_true-termination.cil.c 2 340   5800 3700 - -
product-lines/email_spec7_product33_false-unreach-call_true-termination.cil.c 2 310   5700 4000 - -
product-lines/email_spec7_product34_false-unreach-call_true-termination.cil.c 2 370   5800 4200 - -
product-lines/email_spec7_product35_false-unreach-call_true-termination.cil.c 2 500   5900 6700 - -
product-lines/email_spec7_productSimulator_false-unreach-call_true-termination.cil.c 0 900   5500 11000 - -
product-lines/email_spec8_product12_true-unreach-call_true-termination.cil.c 2 120   5300 1200 - -
product-lines/email_spec8_product14_true-unreach-call_true-termination.cil.c 2 230   5700 2200 - -
product-lines/email_spec8_product15_false-unreach-call_true-termination.cil.c 2 190   5500 1700 - -
product-lines/email_spec8_product16_false-unreach-call_true-termination.cil.c 2 200   5600 2100 - -
product-lines/email_spec8_product20_false-unreach-call_true-termination.cil.c 2 280   5800 3200 - -
product-lines/email_spec8_product21_false-unreach-call_true-termination.cil.c 2 330   5800 3500 - -
product-lines/email_spec8_product22_false-unreach-call_true-termination.cil.c 2 260   5700 2500 - -
product-lines/email_spec8_product26_false-unreach-call_true-termination.cil.c 2 340   5800 3800 - -
product-lines/email_spec8_product28_true-unreach-call_true-termination.cil.c 2 180   5700 1700 - -
product-lines/email_spec8_product29_true-unreach-call_true-termination.cil.c 2 280   5700 3000 - -
product-lines/email_spec8_product30_false-unreach-call_true-termination.cil.c 2 240   5700 2500 - -
product-lines/email_spec8_product31_false-unreach-call_true-termination.cil.c 2 270   5700 2900 - -
product-lines/email_spec8_product32_false-unreach-call_true-termination.cil.c 2 340   5900 3800 - -
product-lines/email_spec8_product33_false-unreach-call_true-termination.cil.c 2 330   5800 3600 - -
product-lines/email_spec8_product34_false-unreach-call_true-termination.cil.c 2 370   5800 3800 - -
product-lines/email_spec8_product35_false-unreach-call_true-termination.cil.c 2 580   6100 5800 - -
product-lines/email_spec8_productSimulator_false-unreach-call_true-termination.cil.c 0 900   5300 12000 - -
product-lines/email_spec9_product12_true-unreach-call_true-termination.cil.c 2 120   5400 1100 - -
product-lines/email_spec9_product14_true-unreach-call_true-termination.cil.c 2 210   5600 2100 - -
product-lines/email_spec9_product15_false-unreach-call_true-termination.cil.c 2 190   5500 1800 - -
product-lines/email_spec9_product16_false-unreach-call_true-termination.cil.c 2 210   5700 2000 - -
product-lines/email_spec9_product20_false-unreach-call_true-termination.cil.c 2 290   5800 3100 - -
product-lines/email_spec9_product21_false-unreach-call_true-termination.cil.c 2 350   5800 3500 - -
product-lines/email_spec9_product22_false-unreach-call_true-termination.cil.c 2 240   5700 2700 - -
product-lines/email_spec9_product26_false-unreach-call_true-termination.cil.c 2 380   5800 4500 - -
product-lines/email_spec9_product28_true-unreach-call_true-termination.cil.c 2 170   5600 1600 - -
product-lines/email_spec9_product29_true-unreach-call_true-termination.cil.c 2 290   5700 2900 - -
product-lines/email_spec9_product30_false-unreach-call_true-termination.cil.c 2 250   5800 2600 - -
product-lines/email_spec9_product31_false-unreach-call_true-termination.cil.c 2 270   5700 2900 - -
product-lines/email_spec9_product32_false-unreach-call_true-termination.cil.c 2 350   5700 4000 - -
product-lines/email_spec9_product33_false-unreach-call_true-termination.cil.c 2 330   5900 3600 - -
product-lines/email_spec9_product34_false-unreach-call_true-termination.cil.c 2 380   5900 3900 - -
product-lines/email_spec9_product35_false-unreach-call_true-termination.cil.c 2 510   5900 5900 - -
product-lines/email_spec9_productSimulator_false-unreach-call_true-termination.cil.c 0 900   5400 13000 - -
product-lines/elevator_spec13_product21_true-unreach-call_false-termination.cil.c 0 900   11000 7700 0 .43 41 0 .037 4.9
product-lines/elevator_spec13_product22_true-unreach-call_false-termination.cil.c 0 900   10000 6900 0 .44 43 0 .022 4.8
product-lines/elevator_spec13_product23_true-unreach-call_false-termination.cil.c 0 900   11000 6700 0 .53 43 0 .020 4.8
product-lines/elevator_spec13_product24_true-unreach-call_false-termination.cil.c 0 900   10000 8100 0 .44 43 0 .017 4.8
product-lines/elevator_spec13_product29_true-unreach-call_false-termination.cil.c 0 900   11000 8200 0 .44 44 0 .033 5.0
product-lines/elevator_spec13_product30_true-unreach-call_false-termination.cil.c 0 910   11000 7000 0 .41 43 0 .018 4.9
product-lines/elevator_spec13_product31_true-unreach-call_false-termination.cil.c 0 900   11000 7500 0 .41 43 0 .024 4.8
product-lines/elevator_spec13_product32_true-unreach-call_false-termination.cil.c 0 900   10000 7700 0 .40 43 0 .047 4.8
product-lines/elevator_spec13_productSimulator_true-unreach-call_false-termination.cil.c 0 900   10000 8500 0 .54 44 0 .019 4.8
product-lines/minepump_spec1_product01_true-unreach-call_false-termination.cil.c 0 790   15000 3500 0 .51 44 0 .040 4.8
product-lines/minepump_spec1_product02_true-unreach-call_false-termination.cil.c 0 760   15000 3600 0 .40 41 0 .047 5.0
product-lines/minepump_spec1_product03_true-unreach-call_false-termination.cil.c 0 800   15000 3800 0 .39 43 0 .018 4.9
product-lines/minepump_spec1_product04_true-unreach-call_false-termination.cil.c 0 890   15000 4700 0 .57 45 0 .018 4.8
product-lines/minepump_spec1_product05_true-unreach-call_false-termination.cil.c 0 700   15000 3200 0 .56 42 0 .018 5.0
product-lines/minepump_spec1_product06_true-unreach-call_false-termination.cil.c 0 770   15000 3700 0 .44 43 0 .037 4.9
product-lines/minepump_spec1_product07_true-unreach-call_false-termination.cil.c 0 780   15000 3800 0 .54 43 0 .045 4.9
product-lines/minepump_spec1_product08_true-unreach-call_false-termination.cil.c 0 890   15000 3900 0 .60 45 0 .022 4.8
product-lines/minepump_spec1_product09_true-unreach-call_false-termination.cil.c 0 790   15000 3800 0 .40 42 0 .048 4.9
product-lines/minepump_spec1_product10_true-unreach-call_false-termination.cil.c 0 770   15000 3400 0 .55 43 0 .018 5.0
product-lines/minepump_spec1_product11_true-unreach-call_false-termination.cil.c 0 850   15000 3900 0 .55 43 0 .018 4.8
product-lines/minepump_spec1_product12_true-unreach-call_false-termination.cil.c 0 810   15000 3800 0 .56 43 0 .018 4.8
product-lines/minepump_spec1_product13_true-unreach-call_false-termination.cil.c 0 760   15000 3600 0 .44 42 0 .047 4.8
product-lines/minepump_spec1_product14_true-unreach-call_false-termination.cil.c 0 770   15000 3500 0 .44 44 0 .018 4.9
product-lines/minepump_spec1_product15_true-unreach-call_false-termination.cil.c 0 850   15000 3700 0 .41 43 0 .028 4.8
product-lines/minepump_spec1_product16_true-unreach-call_false-termination.cil.c 0 880   15000 3700 0 .55 44 0 .019 4.8
product-lines/minepump_spec1_product17_true-unreach-call_false-termination.cil.c 0 720   15000 3200 0 .52 43 0 .018 4.9
product-lines/minepump_spec1_product18_true-unreach-call_false-termination.cil.c 0 890   15000 4500 0 .53 45 0 .019 4.9
product-lines/minepump_spec1_product19_true-unreach-call_false-termination.cil.c 0 820   15000 3500 0 .44 43 0 .018 4.8
product-lines/minepump_spec1_product20_true-unreach-call_false-termination.cil.c 0 780   15000 4200 0 .43 41 0 .049 4.9
product-lines/minepump_spec1_product21_true-unreach-call_false-termination.cil.c 0 810   15000 4300 0 .55 43 0 .024 4.8
product-lines/minepump_spec1_product22_true-unreach-call_false-termination.cil.c 0 770   15000 3900 0 .52 43 0 .018 5.0
product-lines/minepump_spec1_product23_true-unreach-call_false-termination.cil.c 0 900   3000 8100 0 .41 41 0 .048 4.9
product-lines/minepump_spec1_product24_true-unreach-call_false-termination.cil.c 0 900   3400 8000 0 .52 43 0 .017 5.0
product-lines/minepump_spec1_product25_true-unreach-call_false-termination.cil.c 0 910   14000 3700 0 .43 44 0 .018 4.9
product-lines/minepump_spec1_product26_true-unreach-call_false-termination.cil.c 0 910   15000 4100 0 .41 41 0 .047 5.0
product-lines/minepump_spec1_product27_true-unreach-call_false-termination.cil.c 0 750   15000 3900 0 .57 43 0 .018 4.8
product-lines/minepump_spec1_product28_true-unreach-call_false-termination.cil.c 0 880   15000 4400 0 .44 41 0 .018 4.9
product-lines/minepump_spec1_product29_true-unreach-call_false-termination.cil.c 0 860   15000 4000 0 .42 41 0 .026 4.9
product-lines/minepump_spec1_product30_true-unreach-call_false-termination.cil.c 0 810   15000 3600 0 .52 44 0 .018 4.9
product-lines/minepump_spec1_product31_true-unreach-call_false-termination.cil.c 0 900   3200 8900 0 .53 43 0 .044 5.0
product-lines/minepump_spec1_product32_true-unreach-call_false-termination.cil.c 0 900   3400 7200 0 .56 44 0 .018 4.9
product-lines/minepump_spec1_product33_false-unreach-call_false-termination.cil.c 0 730   15000 3800 0 .44 43 0 .018 4.8
product-lines/minepump_spec1_product34_false-unreach-call_false-termination.cil.c 0 790   15000 3600 0 .40 43 0 .038 5.0
product-lines/minepump_spec1_product35_false-unreach-call_false-termination.cil.c 0 820   15000 4000 0 .43 43 0 .042 5.0
product-lines/minepump_spec1_product36_false-unreach-call_false-termination.cil.c 0 790   15000 3700 0 .44 44 0 .020 4.9
product-lines/minepump_spec1_product37_false-unreach-call_false-termination.cil.c 0 730   15000 3600 0 .43 43 0 .018 4.9
product-lines/minepump_spec1_product38_false-unreach-call_false-termination.cil.c 0 880   15000 3800 0 .55 43 0 .019 4.9
product-lines/minepump_spec1_product39_false-unreach-call_false-termination.cil.c 0 750   15000 3600 0 .43 45 0 .019 4.9
product-lines/minepump_spec1_product40_false-unreach-call_false-termination.cil.c 0 780   15000 4000 0 .43 44 0 .018 4.9
product-lines/minepump_spec1_product41_false-unreach-call_false-termination.cil.c 0 730   15000 3700 0 .54 43 0 .018 4.9
product-lines/minepump_spec1_product42_false-unreach-call_false-termination.cil.c 0 910   15000 4100 0 .55 44 0 .047 4.8
product-lines/minepump_spec1_product43_false-unreach-call_false-termination.cil.c 0 780   15000 3700 0 .41 41 0 .018 4.9
product-lines/minepump_spec1_product44_false-unreach-call_false-termination.cil.c 0 840   15000 4200 0 .43 41 0 .018 5.0
product-lines/minepump_spec1_product45_true-unreach-call_false-termination.cil.c 0 850   15000 4100 0 .41 43 0 .047 4.9
product-lines/minepump_spec1_product46_true-unreach-call_false-termination.cil.c 0 840   15000 4000 0 .41 43 0 .019 5.0
product-lines/minepump_spec1_product47_true-unreach-call_false-termination.cil.c 0 850   15000 4400 0 .44 43 0 .048 4.9
product-lines/minepump_spec1_product48_true-unreach-call_false-termination.cil.c 0 840   15000 4300 0 .42 43 0 .026 5.0
product-lines/minepump_spec1_product49_false-unreach-call_false-termination.cil.c 0 770   15000 3600 0 .57 44 0 .035 4.9
product-lines/minepump_spec1_product50_false-unreach-call_false-termination.cil.c 0 860   15000 4300 0 .40 41 0 .025 4.9
product-lines/minepump_spec1_product51_false-unreach-call_false-termination.cil.c 0 800   15000 3800 0 .53 43 0 .022 5.0
product-lines/minepump_spec1_product52_false-unreach-call_false-termination.cil.c 0 870   15000 4200 0 .43 43 0 .018 4.9
product-lines/minepump_spec1_product53_false-unreach-call_false-termination.cil.c 0 790   15000 4200 0 .43 43 0 .019 4.8
product-lines/minepump_spec1_product54_false-unreach-call_false-termination.cil.c 0 780   15000 3800 0 .43 44 0 .047 4.8
product-lines/minepump_spec1_product55_false-unreach-call_false-termination.cil.c 0 900   3300 7600 0 .54 44 0 .018 4.9
product-lines/minepump_spec1_product56_false-unreach-call_false-termination.cil.c 0 900   3000 8200 0 .53 43 0 .045 5.0
product-lines/minepump_spec1_product57_true-unreach-call_false-termination.cil.c 0 740   15000 3400 0 .41 43 0 .021 5.0
product-lines/minepump_spec1_product58_true-unreach-call_false-termination.cil.c 0 780   15000 3700 0 .42 41 0 .019 5.0
product-lines/minepump_spec1_product59_true-unreach-call_false-termination.cil.c 0 910   15000 4300 0 .42 43 0 .024 5.0
product-lines/minepump_spec1_product60_true-unreach-call_false-termination.cil.c 0 890   15000 3800 0 .41 41 0 .024 4.8
product-lines/minepump_spec1_product61_true-unreach-call_false-termination.cil.c 0 730   15000 3300 0 .53 43 0 .020 4.8
product-lines/minepump_spec1_product62_true-unreach-call_false-termination.cil.c 0 860   15000 4200 0 .41 43 0 .023 4.8
product-lines/minepump_spec1_product63_true-unreach-call_false-termination.cil.c 0 900   3600 6900 0 .42 41 0 .024 4.8
product-lines/minepump_spec1_product64_true-unreach-call_false-termination.cil.c 0 900   3000 7600 0 .42 41 0 .024 4.9
product-lines/minepump_spec1_productSimulator_false-unreach-call_false-termination.cil.c 0 900   4200 8600 0 .44 43 0 .018 4.9
product-lines/minepump_spec2_product01_true-unreach-call_false-termination.cil.c 0 710   15000 3400 0 .55 43 0 .018 4.8
product-lines/minepump_spec2_product02_true-unreach-call_false-termination.cil.c 0 790   15000 3500 0 .53 43 0 .019 4.9
product-lines/minepump_spec2_product03_true-unreach-call_false-termination.cil.c 0 830   15000 3900 0 .54 44 0 .031 5.0
product-lines/minepump_spec2_product04_true-unreach-call_false-termination.cil.c 0 800   15000 4100 0 .44 46 0 .018 4.9
product-lines/minepump_spec2_product05_true-unreach-call_false-termination.cil.c 0 850   15000 3900 0 .42 41 0 .050 4.8
product-lines/minepump_spec2_product06_true-unreach-call_false-termination.cil.c 0 720   15000 3500 0 .54 43 0 .021 4.8
product-lines/minepump_spec2_product07_true-unreach-call_false-termination.cil.c 0 770   15000 3900 0 .43 41 0 .020 4.9
product-lines/minepump_spec2_product08_true-unreach-call_false-termination.cil.c 0 810   15000 4100 0 .43 43 0 .019 4.8
product-lines/minepump_spec2_product09_true-unreach-call_false-termination.cil.c 0 910   15000 3800 0 .53 41 0 .045 5.0
product-lines/minepump_spec2_product10_true-unreach-call_false-termination.cil.c 0 850   15000 4000 0 .39 41 0 .018 5.0
product-lines/minepump_spec2_product11_true-unreach-call_false-termination.cil.c 0 770   15000 3700 0 .60 43 0 .019 5.0
product-lines/minepump_spec2_product12_true-unreach-call_false-termination.cil.c 0 890   15000 4400 0 .58 43 0 .023 4.9
product-lines/minepump_spec2_product13_true-unreach-call_false-termination.cil.c 0 710   15000 3300 0 .61 44 0 .018 4.8
product-lines/minepump_spec2_product14_true-unreach-call_false-termination.cil.c 0 910   15000 4100 0 .41 41 0 .021 4.8
product-lines/minepump_spec2_product15_true-unreach-call_false-termination.cil.c 0 800   15000 3900 0 .54 43 0 .018 4.8
product-lines/minepump_spec2_product16_true-unreach-call_false-termination.cil.c 0 830   15000 4000 0 .54 44 0 .027 4.8
product-lines/minepump_spec2_product17_true-unreach-call_false-termination.cil.c 0 730   15000 3400 0 .40 41 0 .026 4.8
product-lines/minepump_spec2_product18_true-unreach-call_false-termination.cil.c 0 820   15000 3700 0 .43 43 0 .024 4.9
product-lines/minepump_spec2_product19_true-unreach-call_false-termination.cil.c 0 850   15000 3600 0 .56 43 0 .027 4.8
product-lines/minepump_spec2_product20_true-unreach-call_false-termination.cil.c 0 710   15000 3400 0 .51 43 0 .017 4.8
product-lines/minepump_spec2_product21_true-unreach-call_false-termination.cil.c 0 880   15000 3900 0 .56 43 0 .018 4.9
product-lines/minepump_spec2_product22_true-unreach-call_false-termination.cil.c 0 870   15000 4400 0 .52 41 0 .019 4.9
product-lines/minepump_spec2_product23_true-unreach-call_false-termination.cil.c 0 900   3500 7800 0 .44 40 0 .018 4.8
product-lines/minepump_spec2_product24_true-unreach-call_false-termination.cil.c 0 900   3500 6700 0 .54 45 0 .025 4.8
product-lines/minepump_spec2_product25_true-unreach-call_false-termination.cil.c 0 760   15000 3600 0 .39 43 0 .018 4.9
product-lines/minepump_spec2_product26_true-unreach-call_false-termination.cil.c 0 910   15000 3900 0 .54 43 0 .037 4.8
product-lines/minepump_spec2_product27_true-unreach-call_false-termination.cil.c 0 900   13000 3500 0 .40 43 0 .047 4.8
product-lines/minepump_spec2_product28_true-unreach-call_false-termination.cil.c 0 910   14000 4100 0 .53 44 0 .019 4.9
product-lines/minepump_spec2_product29_true-unreach-call_false-termination.cil.c 0 890   15000 4200 0 .43 42 0 .019 4.8
product-lines/minepump_spec2_product30_true-unreach-call_false-termination.cil.c 0 900   14000 4200 0 .40 41 0 .033 4.9
product-lines/minepump_spec2_product31_true-unreach-call_false-termination.cil.c 0 900   3500 7700 0 .57 43 0 .025 4.9
product-lines/minepump_spec2_product32_true-unreach-call_false-termination.cil.c 0 900   3300 7300 0 .44 44 0 .022 4.9
product-lines/minepump_spec2_product33_false-unreach-call_false-termination.cil.c 0 880   15000 4500 0 .43 44 0 .018 4.9
product-lines/minepump_spec2_product34_false-unreach-call_false-termination.cil.c 0 900   15000 4100 0 .45 43 0 .018 4.9
product-lines/minepump_spec2_product35_false-unreach-call_false-termination.cil.c 0 840   15000 3700 0 .39 43 0 .031 4.9
product-lines/minepump_spec2_product36_false-unreach-call_false-termination.cil.c 0 890   15000 4600 0 .43 41 0 .018 5.0
product-lines/minepump_spec2_product37_true-unreach-call_false-termination.cil.c 0 750   15000 3300 0 .54 43 0 .022 4.8
product-lines/minepump_spec2_product38_true-unreach-call_false-termination.cil.c 0 860   15000 3800 0 .43 41 0 .018 4.9
product-lines/minepump_spec2_product39_true-unreach-call_false-termination.cil.c 0 820   15000 4200 0 .43 42 0 .041 4.8
product-lines/minepump_spec2_product40_true-unreach-call_false-termination.cil.c 0 830   15000 3800 0 .41 41 0 .019 4.9
product-lines/minepump_spec2_product41_false-unreach-call_false-termination.cil.c 0 910   14000 4300 0 .40 43 0 .036 4.8
product-lines/minepump_spec2_product42_false-unreach-call_false-termination.cil.c 0 900   13000 3800 0 .54 43 0 .020 4.8
product-lines/minepump_spec2_product43_false-unreach-call_false-termination.cil.c 0 880   15000 4600 0 .43 43 0 .021 4.8
product-lines/minepump_spec2_product44_false-unreach-call_false-termination.cil.c 0 870   15000 4500 0 .53 43 0 .046 5.0
product-lines/minepump_spec2_product45_true-unreach-call_false-termination.cil.c 0 720   15000 3600 0 .42 43 0 .018 4.8
product-lines/minepump_spec2_product46_true-unreach-call_false-termination.cil.c 0 720   15000 3900 0 .52 45 0 .018 4.8
product-lines/minepump_spec2_product47_true-unreach-call_false-termination.cil.c 0 910   14000 4400 0 .45 42 0 .034 4.8
product-lines/minepump_spec2_product48_true-unreach-call_false-termination.cil.c 0 830   15000 3800 0 .42 44 0 .047 4.8
product-lines/minepump_spec2_product49_true-unreach-call_false-termination.cil.c 0 890   15000 5100 0 .42 41 0 .023 4.9
product-lines/minepump_spec2_product50_true-unreach-call_false-termination.cil.c 0 760   15000 3900 0 .44 44 0 .048 5.0
product-lines/minepump_spec2_product51_true-unreach-call_false-termination.cil.c 0 840   15000 4200 0 .43 44 0 .025 4.9
product-lines/minepump_spec2_product52_true-unreach-call_false-termination.cil.c 0 910   14000 4600 0 .40 43 0 .019 5.0
product-lines/minepump_spec2_product53_true-unreach-call_false-termination.cil.c 0 800   15000 3600 0 .52 41 0 .048 4.9
product-lines/minepump_spec2_product54_true-unreach-call_false-termination.cil.c 0 740   15000 3500 0 .43 41 0 .049 5.0
product-lines/minepump_spec2_product55_true-unreach-call_false-termination.cil.c 0 900   3400 9700 0 .44 41 0 .018 4.8
product-lines/minepump_spec2_product56_true-unreach-call_false-termination.cil.c 0 900   3200 5600 0 .43 44 0 .019 5.0
product-lines/minepump_spec2_product57_true-unreach-call_false-termination.cil.c 0 840   15000 4800 0 .44 44 0 .019 5.0
product-lines/minepump_spec2_product58_true-unreach-call_false-termination.cil.c 0 810   15000 3700 0 .42 43 0 .018 4.8
product-lines/minepump_spec2_product59_true-unreach-call_false-termination.cil.c 0 810   15000 3900 0 .56 45 0 .046 5.0
product-lines/minepump_spec2_product60_true-unreach-call_false-termination.cil.c 0 810   15000 4000 0 .41 44 0 .036 4.9
product-lines/minepump_spec2_product61_true-unreach-call_false-termination.cil.c 0 910   14000 5000 0 .40 43 0 .022 4.8
product-lines/minepump_spec2_product62_true-unreach-call_false-termination.cil.c 0 770   15000 3700 0 .43 43 0 .018 4.9
product-lines/minepump_spec2_product63_true-unreach-call_false-termination.cil.c 0 900   3400 7200 0 .53 46 0 .019 4.9
product-lines/minepump_spec2_product64_true-unreach-call_false-termination.cil.c 0 900   3400 7300 0 .44 43 0 .022 4.9
product-lines/minepump_spec2_productSimulator_false-unreach-call_false-termination.cil.c 0 900   4300 7300 0 .55 43 0 .026 4.9
product-lines/minepump_spec3_product01_false-unreach-call_false-termination.cil.c 0 710   15000 3800 0 .53 42 0 .017 4.9
product-lines/minepump_spec3_product02_false-unreach-call_false-termination.cil.c 0 760   15000 3500 0 .43 41 0 .019 4.9
product-lines/minepump_spec3_product03_false-unreach-call_false-termination.cil.c 0 910   15000 3400 0 .43 41 0 .042 5.0
product-lines/minepump_spec3_product04_false-unreach-call_false-termination.cil.c 0 810   15000 3800 0 .52 43 0 .047 4.8
product-lines/minepump_spec3_product05_false-unreach-call_false-termination.cil.c 0 820   15000 3800 0 .52 43 0 .030 5.0
product-lines/minepump_spec3_product06_false-unreach-call_false-termination.cil.c 0 780   15000 3700 0 .52 43 0 .035 5.0
product-lines/minepump_spec3_product07_false-unreach-call_false-termination.cil.c 0 720   15000 3500 0 .54 43 0 .022 4.9
product-lines/minepump_spec3_product08_false-unreach-call_false-termination.cil.c 0 740   15000 3900 0 .43 43 0 .019 4.9
product-lines/minepump_spec3_product09_false-unreach-call_false-termination.cil.c 0 900   15000 4100 0 .54 43 0 .019 5.0
product-lines/minepump_spec3_product10_false-unreach-call_false-termination.cil.c 0 800   15000 3500 0 .40 43 0 .019 4.8
product-lines/minepump_spec3_product11_false-unreach-call_false-termination.cil.c 0 850   15000 4100 0 .44 41 0 .025 4.8
product-lines/minepump_spec3_product12_false-unreach-call_false-termination.cil.c 0 800   15000 3800 0 .55 43 0 .018 4.9
product-lines/minepump_spec3_product13_false-unreach-call_false-termination.cil.c 0 680   15000 3100 0 .43 41 0 .041 4.8
product-lines/minepump_spec3_product14_false-unreach-call_false-termination.cil.c 0 860   15000 3900 0 .52 44 0 .024 4.8
product-lines/minepump_spec3_product15_false-unreach-call_false-termination.cil.c 0 870   15000 4200 0 .42 41 0 .019 4.8
product-lines/minepump_spec3_product16_false-unreach-call_false-termination.cil.c 0 800   15000 3700 0 .44 44 0 .047 4.9
product-lines/minepump_spec3_product17_false-unreach-call_false-termination.cil.c 0 710   15000 3200 0 .52 43 0 .018 4.8
product-lines/minepump_spec3_product18_false-unreach-call_false-termination.cil.c 0 820   15000 3600 0 .54 43 0 .018 4.9
product-lines/minepump_spec3_product19_false-unreach-call_false-termination.cil.c 0 880   15000 4000 0 .40 43 0 .018 4.8
product-lines/minepump_spec3_product20_false-unreach-call_false-termination.cil.c 0 750   15000 3500 0 .40 42 0 .018 4.8
product-lines/minepump_spec3_product21_false-unreach-call_false-termination.cil.c 0 800   15000 3600 0 .43 41 0 .024 4.8
product-lines/minepump_spec3_product22_false-unreach-call_false-termination.cil.c 0 760   15000 3600 0 .56 43 0 .019 4.8
product-lines/minepump_spec3_product23_false-unreach-call_false-termination.cil.c 0 900   3200 7900 0 .43 41 0 .045 4.8
product-lines/minepump_spec3_product24_false-unreach-call_false-termination.cil.c 0 900   3400 9300 0 .42 41 0 .050 4.8
product-lines/minepump_spec3_product25_false-unreach-call_false-termination.cil.c 0 710   15000 3100 0 .43 42 0 .018 4.9
product-lines/minepump_spec3_product26_false-unreach-call_false-termination.cil.c 0 910   15000 3900 0 .40 43 0 .018 4.9
product-lines/minepump_spec3_product27_false-unreach-call_false-termination.cil.c 0 770   15000 3800 0 .40 41 0 .018 4.8
product-lines/minepump_spec3_product28_false-unreach-call_false-termination.cil.c 0 750   15000 3500 0 .44 43 0 .018 4.9
product-lines/minepump_spec3_product29_false-unreach-call_false-termination.cil.c 0 900   15000 4000 0 .42 43 0 .020 4.9
product-lines/minepump_spec3_product30_false-unreach-call_false-termination.cil.c 0 880   15000 4300 0 .45 41 0 .047 4.8
product-lines/minepump_spec3_product31_false-unreach-call_false-termination.cil.c 0 900   2900 7500 0 .51 41 0 .044 4.8
product-lines/minepump_spec3_product32_false-unreach-call_false-termination.cil.c 0 900   3600 7800 0 .40 43 0 .048 4.9
product-lines/minepump_spec3_product33_true-unreach-call_false-termination.cil.c 0 710   15000 3100 0 .57 45 0 .038 4.8
product-lines/minepump_spec3_product34_true-unreach-call_false-termination.cil.c 0 770   15000 3700 0 .43 43 0 .042 4.9
product-lines/minepump_spec3_product35_false-unreach-call_false-termination.cil.c 0 900   15000 4100 0 .43 41 0 .017 4.9
product-lines/minepump_spec3_product36_false-unreach-call_false-termination.cil.c 0 900   14000 3900 0 .55 44 0 .048 4.9
product-lines/minepump_spec3_product37_true-unreach-call_false-termination.cil.c 0 900   14000 3700 0 .43 43 0 .020 4.8
product-lines/minepump_spec3_product38_true-unreach-call_false-termination.cil.c 0 890   15000 4200 0 .43 43 0 .035 4.8
product-lines/minepump_spec3_product39_false-unreach-call_false-termination.cil.c 0 800   15000 4100 0 .56 43 0 .024 4.8
product-lines/minepump_spec3_product40_false-unreach-call_false-termination.cil.c 0 750   15000 3500 0 .53 43 0 .047 5.0
product-lines/minepump_spec3_product41_true-unreach-call_false-termination.cil.c 0 770   15000 3600 0 .44 44 0 .018 4.8
product-lines/minepump_spec3_product42_true-unreach-call_false-termination.cil.c 0 810   15000 4100 0 .55 43 0 .018 4.9
product-lines/minepump_spec3_product43_false-unreach-call_false-termination.cil.c 0 840   15000 3700 0 .41 43 0 .047 5.0
product-lines/minepump_spec3_product44_false-unreach-call_false-termination.cil.c 0 790   15000 3700 0 .42 43 0 .043 4.9
product-lines/minepump_spec3_product45_true-unreach-call_false-termination.cil.c 0 750   15000 3400 0 .43 42 0 .020 4.8
product-lines/minepump_spec3_product46_true-unreach-call_false-termination.cil.c 0 880   15000 4100 0 .41 42 0 .018 4.9
product-lines/minepump_spec3_product47_false-unreach-call_false-termination.cil.c 0 820   15000 4400 0 .40 43 0 .018 4.9
product-lines/minepump_spec3_product48_false-unreach-call_false-termination.cil.c 0 860   15000 4300 0 .55 43 0 .020 5.0
product-lines/minepump_spec3_product49_true-unreach-call_false-termination.cil.c 0 670   15000 3200 0 .56 43 0 .019 4.8
product-lines/minepump_spec3_product50_true-unreach-call_false-termination.cil.c 0 900   15000 4200 0 .52 43 0 .030 4.9
product-lines/minepump_spec3_product51_false-unreach-call_false-termination.cil.c 0 870   15000 4000 0 .55 45 0 .024 4.9
product-lines/minepump_spec3_product52_false-unreach-call_false-termination.cil.c 0 880   15000 4000 0 .42 41 0 .041 5.0
product-lines/minepump_spec3_product53_true-unreach-call_false-termination.cil.c 0 830   15000 4000 0 .56 43 0 .018 4.9
product-lines/minepump_spec3_product54_true-unreach-call_false-termination.cil.c 0 790   15000 3500 0 .41 44 0 .019 4.9
product-lines/minepump_spec3_product55_false-unreach-call_false-termination.cil.c 0 900   3500 11000 0 .43 41 0 .018 4.8
product-lines/minepump_spec3_product56_false-unreach-call_false-termination.cil.c 0 900   3100 9500 0 .43 43 0 .030 4.9
product-lines/minepump_spec3_product57_true-unreach-call_false-termination.cil.c 0 730   15000 3600 0 .39 41 0 .021 4.8
product-lines/minepump_spec3_product58_true-unreach-call_false-termination.cil.c 0 740   15000 3700 0 .51 43 0 .019 4.9
product-lines/minepump_spec3_product59_false-unreach-call_false-termination.cil.c 0 900   15000 3800 0 .44 41 0 .026 4.8
product-lines/minepump_spec3_product60_false-unreach-call_false-termination.cil.c 0 790   15000 3800 0 .40 43 0 .019 4.8
product-lines/minepump_spec3_product61_true-unreach-call_false-termination.cil.c 0 760   15000 3500 0 .44 43 0 .018 4.8
product-lines/minepump_spec3_product62_true-unreach-call_false-termination.cil.c 0 760   15000 3700 0 .41 41 0 .027 4.8
product-lines/minepump_spec3_product63_false-unreach-call_false-termination.cil.c 0 900   3500 7600 0 .53 43 0 .019 4.9
product-lines/minepump_spec3_product64_false-unreach-call_false-termination.cil.c 0 900   3200 9100 0 .41 41 0 .018 4.9
product-lines/minepump_spec3_productSimulator_false-unreach-call_false-termination.cil.c 0 900   4200 6700 0 .62 44 0 .024 4.8
product-lines/minepump_spec4_product01_true-unreach-call_false-termination.cil.c 0 810   15000 3700 0 .53 45 0 .018 5.0
product-lines/minepump_spec4_product02_true-unreach-call_false-termination.cil.c 0 750   15000 3100 0 .53 43 0 .019 4.8
product-lines/minepump_spec4_product03_true-unreach-call_false-termination.cil.c 0 830   15000 3900 0 .41 41 0 .018 4.8
product-lines/minepump_spec4_product04_true-unreach-call_false-termination.cil.c 0 900   15000 3700 0 .44 43 0 .046 4.8
product-lines/minepump_spec4_product05_true-unreach-call_false-termination.cil.c 0 750   15000 4000 0 .53 44 0 .017 4.8
product-lines/minepump_spec4_product06_true-unreach-call_false-termination.cil.c 0 890   15000 4300 0 .44 41 0 .019 4.9
product-lines/minepump_spec4_product07_true-unreach-call_false-termination.cil.c 0 760   15000 3800 0 .42 41 0 .019 5.0
product-lines/minepump_spec4_product08_true-unreach-call_false-termination.cil.c 0 910   15000 4300 0 .53 43 0 .019 4.9
product-lines/minepump_spec4_product09_true-unreach-call_false-termination.cil.c 0 770   15000 3400 0 .41 44 0 .021 4.9
product-lines/minepump_spec4_product10_true-unreach-call_false-termination.cil.c 0 880   15000 4300 0 .44 41 0 .019 4.8
product-lines/minepump_spec4_product11_true-unreach-call_false-termination.cil.c 0 800   15000 4000 0 .53 43 0 .018 4.8
product-lines/minepump_spec4_product12_true-unreach-call_false-termination.cil.c 0 840   15000 4400 0 .52 42 0 .019 4.9
product-lines/minepump_spec4_product13_true-unreach-call_false-termination.cil.c 0 790   15000 3500 0 .40 43 0 .047 4.8
product-lines/minepump_spec4_product14_true-unreach-call_false-termination.cil.c 0 800   15000 3900 0 .42 44 0 .018 4.8
product-lines/minepump_spec4_product15_true-unreach-call_false-termination.cil.c 0 840   15000 3900 0 .40 42 0 .020 4.8
product-lines/minepump_spec4_product16_true-unreach-call_false-termination.cil.c 0 880   15000 4300 0 .52 43 0 .018 4.8
product-lines/minepump_spec4_product17_true-unreach-call_false-termination.cil.c 0 750   15000 3300 0 .53 43 0 .047 4.8
product-lines/minepump_spec4_product18_true-unreach-call_false-termination.cil.c 0 820   15000 4200 0 .54 41 0 .018 4.9
product-lines/minepump_spec4_product19_true-unreach-call_false-termination.cil.c 0 870   15000 3800 0 .40 43 0 .023 4.9
product-lines/minepump_spec4_product20_true-unreach-call_false-termination.cil.c 0 790   15000 3800 0 .41 43 0 .047 5.0
product-lines/minepump_spec4_product21_true-unreach-call_false-termination.cil.c 0 800   15000 4200 0 .42 41 0 .047 4.8
product-lines/minepump_spec4_product22_true-unreach-call_false-termination.cil.c 0 870   15000 4300 0 .54 45 0 .046 4.8
product-lines/minepump_spec4_product23_true-unreach-call_false-termination.cil.c 0 900   3300 7600 0 .45 44 0 .046 5.0
product-lines/minepump_spec4_product24_true-unreach-call_false-termination.cil.c 0 900   3300 8000 0 .45 45 0 .036 4.9
product-lines/minepump_spec4_product25_true-unreach-call_false-termination.cil.c 0 680   15000 3400 0 .43 44 0 .018 5.0
product-lines/minepump_spec4_product26_true-unreach-call_false-termination.cil.c 0 910   14000 4100 0 .44 43 0 .036 5.0
product-lines/minepump_spec4_product27_true-unreach-call_false-termination.cil.c 0 820   15000 3500 0 .43 41 0 .018 4.8
product-lines/minepump_spec4_product28_true-unreach-call_false-termination.cil.c 0 820   15000 4300 0 .45 43 0 .018 5.0
product-lines/minepump_spec4_product29_true-unreach-call_false-termination.cil.c 0 820   15000 4100 0 .41 42 0 .039 4.9
product-lines/minepump_spec4_product30_true-unreach-call_false-termination.cil.c 0 820   15000 3900 0 .50 41 0 .019 4.8
product-lines/minepump_spec4_product31_true-unreach-call_false-termination.cil.c 0 900   3200 9800 0 .52 41 0 .018 4.8
product-lines/minepump_spec4_product32_true-unreach-call_false-termination.cil.c 0 900   3100 7800 0 .53 43 0 .019 4.9
product-lines/minepump_spec4_product33_false-unreach-call_false-termination.cil.c 0 780   15000 4000 0 .61 44 0 .018 4.9
product-lines/minepump_spec4_product34_false-unreach-call_false-termination.cil.c 0 870   15000 3800 0 .60 43 0 .047 4.8
product-lines/minepump_spec4_product35_false-unreach-call_false-termination.cil.c 0 750   15000 3500 0 .40 41 0 .022 4.8
product-lines/minepump_spec4_product36_false-unreach-call_false-termination.cil.c 0 880   15000 4300 0 .45 43 0 .019 5.0
product-lines/minepump_spec4_product37_false-unreach-call_false-termination.cil.c 0 900   15000 4200 0 .54 44 0 .020 5.0
product-lines/minepump_spec4_product38_false-unreach-call_false-termination.cil.c 0 890   15000 4300 0 .52 43 0 .018 5.0
product-lines/minepump_spec4_product39_false-unreach-call_false-termination.cil.c 0 680   15000 3400 0 .43 43 0 .034 4.8
product-lines/minepump_spec4_product40_false-unreach-call_false-termination.cil.c 0 850   15000 4500 0 .55 43 0 .018 4.9
product-lines/minepump_spec4_product41_false-unreach-call_false-termination.cil.c 0 800   15000 4000 0 .40 43 0 .020 5.0
product-lines/minepump_spec4_product42_false-unreach-call_false-termination.cil.c 0 860   15000 4000 0 .54 45 0 .047 4.8
product-lines/minepump_spec4_product43_false-unreach-call_false-termination.cil.c 0 900   15000 4100 0 .42 41 0 .050 4.8
product-lines/minepump_spec4_product44_false-unreach-call_false-termination.cil.c 0 900   15000 3800 0 .45 42 0 .022 4.9
product-lines/minepump_spec4_product45_false-unreach-call_false-termination.cil.c 0 800   15000 3800 0 .41 41 0 .026 4.9
product-lines/minepump_spec4_product46_false-unreach-call_false-termination.cil.c 0 810   15000 4200 0 .53 43 0 .043 5.0
product-lines/minepump_spec4_product47_false-unreach-call_false-termination.cil.c 0 750   15000 3800 0 .43 44 0 .018 4.9
product-lines/minepump_spec4_product48_false-unreach-call_false-termination.cil.c 0 840   15000 4200 0 .53 43 0 .018 4.9
product-lines/minepump_spec4_product49_true-unreach-call_false-termination.cil.c 0 850   15000 4000 0 .52 43 0 .019 4.9
product-lines/minepump_spec4_product50_true-unreach-call_false-termination.cil.c 0 880   15000 4000 0 .56 43 0 .019 4.8
product-lines/minepump_spec4_product51_true-unreach-call_false-termination.cil.c 0 850   15000 3600 0 .56 44 0 .023 4.8
product-lines/minepump_spec4_product52_true-unreach-call_false-termination.cil.c 0 910   15000 3600 0 .43 43 0 .018 4.9
product-lines/minepump_spec4_product53_true-unreach-call_false-termination.cil.c 0 770   15000 3900 0 .43 43 0 .036 4.8
product-lines/minepump_spec4_product54_true-unreach-call_false-termination.cil.c 0 810   15000 3800 0 .53 41 0 .018 4.9
product-lines/minepump_spec4_product55_true-unreach-call_false-termination.cil.c 0 900   3300 10000 0 .41 41 0 .019 4.8
product-lines/minepump_spec4_product56_true-unreach-call_false-termination.cil.c 0 900   3100 7500 0 .55 43 0 .026 4.8
product-lines/minepump_spec4_product57_true-unreach-call_false-termination.cil.c 0 780   15000 3800 0 .45 42 0 .019 4.9
product-lines/minepump_spec4_product58_true-unreach-call_false-termination.cil.c 0 730   15000 3200 0 .41 41 0 .036 4.9
product-lines/minepump_spec4_product59_true-unreach-call_false-termination.cil.c 0 900   14000 4100 0 .40 41 0 .018 4.9
product-lines/minepump_spec4_product60_true-unreach-call_false-termination.cil.c 0 900   15000 3900 0 .45 42 0 .047 4.8
product-lines/minepump_spec4_product61_true-unreach-call_false-termination.cil.c 0 860   15000 3900 0 .54 45 0 .019 4.9
product-lines/minepump_spec4_product62_true-unreach-call_false-termination.cil.c 0 770   15000 3600 0 .42 44 0 .019 4.8
product-lines/minepump_spec4_product63_true-unreach-call_false-termination.cil.c 0 900   2900 7000 0 .63 44 0 .024 4.8
product-lines/minepump_spec4_product64_true-unreach-call_false-termination.cil.c 0 900   3200 7000 0 .54 43 0 .025 4.9
product-lines/minepump_spec4_productSimulator_false-unreach-call_false-termination.cil.c 0 900   4300 7400 0 .56 43 0 .018 4.9
product-lines/minepump_spec5_product01_true-unreach-call_false-termination.cil.c 0 850   15000 4200 0 .53 43 0 .017 5.0
product-lines/minepump_spec5_product02_true-unreach-call_false-termination.cil.c 0 900   15000 4000 0 .56 43 0 .046 5.0
product-lines/minepump_spec5_product03_true-unreach-call_false-termination.cil.c 0 810   15000 4100 0 .39 41 0 .018 4.9
product-lines/minepump_spec5_product04_true-unreach-call_false-termination.cil.c 0 910   15000 4400 0 .53 43 0 .018 4.8
product-lines/minepump_spec5_product05_true-unreach-call_false-termination.cil.c 0 780   15000 3800 0 .43 43 0 .038 4.8
product-lines/minepump_spec5_product06_true-unreach-call_false-termination.cil.c 0 850   15000 3800 0 .40 43 0 .021 4.8
product-lines/minepump_spec5_product07_true-unreach-call_false-termination.cil.c 0 810   15000 3800 0 .52 43 0 .020 4.8
product-lines/minepump_spec5_product08_true-unreach-call_false-termination.cil.c 0 860   15000 4300 0 .42 44 0 .018 5.0
product-lines/minepump_spec5_product09_true-unreach-call_false-termination.cil.c 0 790   15000 3700 0 .56 44 0 .020 4.8
product-lines/minepump_spec5_product10_true-unreach-call_false-termination.cil.c 0 760   15000 3600 0 .61 43 0 .018 4.8
product-lines/minepump_spec5_product11_true-unreach-call_false-termination.cil.c 0 800   15000 4200 0 .43 41 0 .050 4.8
product-lines/minepump_spec5_product12_true-unreach-call_false-termination.cil.c 0 880   15000 4300 0 .53 44 0 .018 4.9
product-lines/minepump_spec5_product13_true-unreach-call_false-termination.cil.c 0 860   15000 4200 0 .57 43 0 .018 4.8
product-lines/minepump_spec5_product14_true-unreach-call_false-termination.cil.c 0 840   15000 3900 0 .55 44 0 .023 4.8
product-lines/minepump_spec5_product15_true-unreach-call_false-termination.cil.c 0 890   15000 4300 0 .53 43 0 .025 4.9
product-lines/minepump_spec5_product16_true-unreach-call_false-termination.cil.c 0 770   15000 3900 0 .55 46 0 .018 5.0
product-lines/minepump_spec5_product17_true-unreach-call_false-termination.cil.c 0 880   15000 4200 0 .40 44 0 .046 5.0
product-lines/minepump_spec5_product18_true-unreach-call_false-termination.cil.c 0 860   15000 3800 0 .45 44 0 .048 4.8
product-lines/minepump_spec5_product19_true-unreach-call_false-termination.cil.c 0 840   15000 3800 0 .43 41 0 .026 4.8
product-lines/minepump_spec5_product20_true-unreach-call_false-termination.cil.c 0 750   15000 4000 0 .44 43 0 .047 4.9
product-lines/minepump_spec5_product21_true-unreach-call_false-termination.cil.c 0 900   15000 4500 0 .44 41 0 .026 4.9
product-lines/minepump_spec5_product22_true-unreach-call_false-termination.cil.c 0 770   15000 3500 0 .44 43 0 .047 5.0
product-lines/minepump_spec5_product23_true-unreach-call_false-termination.cil.c 0 900   2900 7900 0 .44 41 0 .042 4.9
product-lines/minepump_spec5_product24_true-unreach-call_false-termination.cil.c 0 900   3000 9100 0 .61 43 0 .028 4.9
product-lines/minepump_spec5_product25_true-unreach-call_false-termination.cil.c 0 840   15000 4100 0 .39 43 0 .018 4.8
product-lines/minepump_spec5_product26_true-unreach-call_false-termination.cil.c 0 910   14000 3900 0 .40 42 0 .018 4.8
product-lines/minepump_spec5_product27_true-unreach-call_false-termination.cil.c 0 860   15000 4400 0 .42 44 0 .035 4.8
product-lines/minepump_spec5_product28_true-unreach-call_false-termination.cil.c 0 860   15000 4200 0 .54 43 0 .018 5.0
product-lines/minepump_spec5_product29_true-unreach-call_false-termination.cil.c 0 880   15000 3700 0 .43 42 0 .019 4.8
product-lines/minepump_spec5_product30_true-unreach-call_false-termination.cil.c 0 870   15000 4000 0 .51 43 0 .022 4.8
product-lines/minepump_spec5_product31_true-unreach-call_false-termination.cil.c 0 900   3100 7900 0 .44 42 0 .047 5.0
product-lines/minepump_spec5_product32_true-unreach-call_false-termination.cil.c 0 900   3200 8100 0 .41 44 0 .019 4.8
product-lines/minepump_spec5_product33_true-unreach-call_false-termination.cil.c 0 900   14000 4000 0 .53 41 0 .035 4.8
product-lines/minepump_spec5_product34_true-unreach-call_false-termination.cil.c 0 700   15000 3700 0 .43 43 0 .047 4.8
product-lines/minepump_spec5_product35_true-unreach-call_false-termination.cil.c 0 870   15000 4100 0 .43 41 0 .026 4.9
product-lines/minepump_spec5_product36_true-unreach-call_false-termination.cil.c 0 840   15000 4200 0 .44 41 0 .019 4.8
product-lines/minepump_spec5_product37_true-unreach-call_false-termination.cil.c 0 910   14000 3500 0 .52 43 0 .018 5.0
product-lines/minepump_spec5_product38_true-unreach-call_false-termination.cil.c 0 850   15000 3600 0 .44 41 0 .020 4.9
product-lines/minepump_spec5_product39_true-unreach-call_false-termination.cil.c 0 700   15000 3400 0 .43 43 0 .018 4.8
product-lines/minepump_spec5_product40_true-unreach-call_false-termination.cil.c 0 880   15000 4500 0 .54 43 0 .018 4.9
product-lines/minepump_spec5_product41_true-unreach-call_false-termination.cil.c 0 860   15000 4000 0 .40 43 0 .047 4.8
product-lines/minepump_spec5_product42_true-unreach-call_false-termination.cil.c 0 790   15000 3700 0 .54 44 0 .049 4.9
product-lines/minepump_spec5_product43_true-unreach-call_false-termination.cil.c 0 800   15000 4200 0 .42 41 0 .048 5.0
product-lines/minepump_spec5_product44_true-unreach-call_false-termination.cil.c 0 900   15000 4200 0 .61 43 0 .019 4.8
product-lines/minepump_spec5_product45_true-unreach-call_false-termination.cil.c 0 910   14000 4400 0 .52 43 0 .019 4.9
product-lines/minepump_spec5_product46_true-unreach-call_false-termination.cil.c 0 900   14000 4200 0 .54 43 0 .018 4.9
product-lines/minepump_spec5_product47_true-unreach-call_false-termination.cil.c 0 750   15000 3600 0 .43 44 0 .041 4.9
product-lines/minepump_spec5_product48_true-unreach-call_false-termination.cil.c 0 840   15000 3700 0 .40 41 0 .018 4.9
product-lines/minepump_spec5_product49_true-unreach-call_false-termination.cil.c 0 870   15000 4100 0 .43 42 0 .046 4.8
product-lines/minepump_spec5_product50_true-unreach-call_false-termination.cil.c 0 820   15000 3700 0 .45 43 0 .048 4.8
product-lines/minepump_spec5_product51_true-unreach-call_false-termination.cil.c 0 740   15000 4000 0 .54 43 0 .047 4.8
product-lines/minepump_spec5_product52_true-unreach-call_false-termination.cil.c 0 870   15000 4200 0 .61 43 0 .040 5.0
product-lines/minepump_spec5_product53_true-unreach-call_false-termination.cil.c 0 910   14000 3900 0 .50 43 0 .018 4.8
product-lines/minepump_spec5_product54_true-unreach-call_false-termination.cil.c 0 880   15000 4300 0 .56 45 0 .021 5.0
product-lines/minepump_spec5_product55_true-unreach-call_false-termination.cil.c 0 900   2900 9500 0 .54 43 0 .045 4.8
product-lines/minepump_spec5_product56_true-unreach-call_false-termination.cil.c 0 900   3100 7600 0 .55 43 0 .046 4.9
product-lines/minepump_spec5_product57_true-unreach-call_false-termination.cil.c 0 910   15000 4200 0 .45 43 0 .019 4.9
product-lines/minepump_spec5_product58_true-unreach-call_false-termination.cil.c 0 880   15000 4800 0 .43 43 0 .050 4.8
product-lines/minepump_spec5_product59_true-unreach-call_false-termination.cil.c 0 900   14000 4000 0 .53 43 0 .037 5.0
product-lines/minepump_spec5_product60_true-unreach-call_false-termination.cil.c 0 830   15000 3900 0 .43 43 0 .018 4.8
product-lines/minepump_spec5_product61_true-unreach-call_false-termination.cil.c 0 900   14000 4000 0 .44 41 0 .018 4.9
product-lines/minepump_spec5_product62_true-unreach-call_false-termination.cil.c 0 900   13000 4000 0 .44 41 0 .031 4.9
product-lines/minepump_spec5_product63_true-unreach-call_false-termination.cil.c 0 900   3100 7700 0 .55 43 0 .046 4.8
product-lines/minepump_spec5_product64_true-unreach-call_false-termination.cil.c 0 900   3100 8400 0 .39 44 0 .051 4.9
product-lines/minepump_spec5_productSimulator_true-unreach-call_false-termination.cil.c 0 900   3900 7800 0 .43 44 0 .033 4.8
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c 0 330   3700 2800 0 .54 44 0 .017 4.8
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c 2 26   2000 210 - -
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c 2 9.1 680 66 - -
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c 2 8.3 600 64 - -
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c 2 15   1100 120 - -
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c 2 21   800 130 - -
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c 2 10   730 85 - -
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c 2 12   770 86 - -
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c 2 20   1100 140 - -
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c 2 16   1100 140 - -
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c 2 17   1000 100 - -
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c 2 15   1100 99 - -
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c 0 840   15000 5400 - -
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c 0 790   15000 6300 - -
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c 2 20   1300 130 - -
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c 2 11   710 78 - -
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c 2 25   1200 160 - -
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c 2 38   2200 250 - -
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c 2 6.4 450 51 - -
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c 2 6.8 480 54 - -
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c 2 3.4 280 30 - -
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c 2 2.1 220 21 - -
recursive-simple/afterrec_false-unreach-call_true-termination.c 2 3.2 290 25 - -
recursive-simple/afterrec_true-unreach-call_true-termination.c 2 1.9 220 17 - -
recursive-simple/fibo_10_false-unreach-call_true-termination.c 2 18   1100 130 - -
recursive-simple/fibo_10_true-unreach-call_true-termination.c 2 15   1200 120 - -
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c 2 4.1 310 31 - -
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c 2 4.0 310 38 - -
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c 2 17   1300 110 - -
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c 2 20   1300 140 - -
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c 2 19   1300 130 - -
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c 2 21   1400 140 - -
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c 2 19   1300 130 - -
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c 2 19   1200 150 - -
recursive-simple/fibo_2calls_8_false-unreach-call_true-termination.c 2 19   1300 130 - -
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c 2 20   1200 130 - -
recursive-simple/fibo_5_false-unreach-call_true-termination.c 2 15   1100 120 - -
recursive-simple/fibo_5_true-unreach-call_true-termination.c 2 14   1100 110 - -
recursive-simple/fibo_7_false-unreach-call_true-termination.c 2 17   1100 120 - -
recursive-simple/fibo_7_true-unreach-call_true-termination.c 2 17   1200 120 - -
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c 2 12   1100 89 - -
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c 2 12   1100 97 - -
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c 2 15   1100 100 - -
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c 2 15   1000 100 - -
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c 2 11   720 72 - -
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c 2 9.0 700 72 - -
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c 2 8.5 690 62 - -
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c 0 19   1100 120 - -
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c 0 18   1200 120 - -
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c 0 20   1300 140 - -
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c 2 7.9 550 63 - -
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c 2 7.4 550 57 - -
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c 2 8.1 500 66 - -
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c 2 7.4 560 61 - -
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c 2 8.0 540 54 - -
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c 2 8.1 540 57 - -
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c 2 7.0 530 49 - -
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c 2 7.6 540 61 - -
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c 2 8.1 530 55 - -
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c 2 6.7 550 55 - -
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c 2 7.4 500 50 - -
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c 2 7.9 540 58 - -
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c 2 7.8 520 61 - -
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c 2 7.6 500 62 - -
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c 2 7.8 580 59 - -
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c 2 6.9 530 52 - -
recursive-simple/sum_10x0_false-unreach-call_true-termination.c 2 9.4 700 80 - -
recursive-simple/sum_10x0_true-unreach-call_true-termination.c 2 9.2 690 70 - -
recursive-simple/sum_15x0_false-unreach-call_true-termination.c 2 8.8 690 70 - -
recursive-simple/sum_15x0_true-unreach-call_true-termination.c 2 8.1 680 61 - -
recursive-simple/sum_20x0_false-unreach-call_true-termination.c 2 9.4 710 74 - -
recursive-simple/sum_20x0_true-unreach-call_true-termination.c 2 9.2 700 71 - -
recursive-simple/sum_25x0_false-unreach-call_true-termination.c 2 9.0 670 69 - -
recursive-simple/sum_25x0_true-unreach-call_true-termination.c 2 9.5 690 67 - -
recursive-simple/sum_2x3_false-unreach-call_true-termination.c 2 7.7 680 63 - -
recursive-simple/sum_2x3_true-unreach-call_true-termination.c 2 7.7 560 55 - -
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c 2 8.9 730 68 - -
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c 2 10   610 66 - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c 0 900   9100 9500 0 .43 43 0 .021 4.9
systemc/kundu1_false-unreach-call_false-termination.cil.c 0 900   3800 9800 0 .40 43 0 .019 4.9
systemc/kundu2_false-unreach-call_false-termination.cil.c 0 900   5100 10000 0 .53 45 0 .042 4.9
systemc/kundu_true-unreach-call_false-termination.cil.c 0 900   3700 11000 0 .44 43 0 .018 4.9
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 0 900   4300 11000 0 .45 43 0 .031 4.9
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 0 900   3700 12000 0 .53 44 0 .049 4.9
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c 0 900   4300 10000 0 .42 44 0 .023 4.9
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c 0 900   4200 13000 0 .43 43 0 .045 5.0
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c 0 900   4300 11000 0 .55 44 0 .019 5.0
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c 0 910   12000 5000 0 .44 42 0 .024 4.8
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 0 900   6600 7800 0 .53 44 0 .018 4.8
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c 0 900   7000 7000 0 .42 41 0 .019 4.8
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 0 900   7400 7400 0 .43 43 0 .019 4.9
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 0 900   5100 12000 0 .59 44 0 .025 4.9
systemc/pipeline_false-unreach-call_false-termination.cil.c 0 900   3600 10000 0 .42 42 0 .049 4.9
systemc/pipeline_true-unreach-call_false-termination.cil.c 0 900   3600 11000 0 .59 43 0 .019 4.9
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 0 900   3700 10000 0 .41 43 0 .024 5.0
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 0 900   3700 13000 0 .52 42 0 .049 4.9
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 0 900   3200 13000 0 .40 41 0 .018 4.9
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 0 900   4800 11000 0 .55 45 0 .018 4.9
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 0 900   3700 11000 0 .39 43 0 .042 5.0
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 0 900   3700 14000 0 .52 44 0 .031 4.8
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 0 900   5200 12000 0 .43 44 0 .049 4.9
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 0 900   3800 12000 0 .43 43 0 .018 4.8
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 0 900   5500 12000 0 .53 45 0 .018 4.9
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 0 900   5600 12000 0 .52 43 0 .021 5.0
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 0 900   5400 11000 0 .43 43 0 .018 4.9
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 0 900   5500 9500 0 .55 44 0 .018 4.8
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 0 900   2700 12000 0 .41 43 0 .018 4.9
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 0 900   4100 11000 0 .43 44 0 .023 4.9
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 0 900   3900 12000 0 .42 43 0 .018 4.8
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 0 900   4000 10000 0 .44 44 0 .019 4.9
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 0 900   3600 9700 0 .44 44 0 .018 4.8
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 0 900   3100 11000 0 .43 41 0 .048 4.8
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 0 900   4200 9500 0 .40 43 0 .018 4.9
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 0 900   5100 11000 0 .41 43 0 .039 4.8
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 0 900   3600 9900 0 .42 43 0 .018 4.8
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 0 900   4000 9900 0 .44 44 0 .037 4.9
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 0 900   3600 9600 0 .45 44 0 .019 4.9
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 0 900   4300 9900 0 .45 44 0 .018 4.8
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 0 900   3700 10000 0 .54 44 0 .046 4.9
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 0 900   3800 10000 0 .54 43 0 .023 4.8
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 0 900   3900 10000 0 .39 43 0 .023 4.9
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 0 900   3600 11000 0 .42 41 0 .018 4.8
systemc/toy1_false-unreach-call_false-termination.cil.c 0 900   5100 11000 0 .42 43 0 .018 5.0
systemc/toy2_false-unreach-call_false-termination.cil.c 0 900   3500 10000 0 .40 44 0 .018 4.8
systemc/toy_true-unreach-call_false-termination.cil.c 0 900   3700 12000 0 .40 43 0 .037 4.9
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 0 900   4800 13000 0 .54 43 0 .018 4.9
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 0 900   3700 10000 0 .55 43 0 .017 4.8
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 0 900   3500 11000 0 .43 43 0 .047 4.9
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 0 900   3800 11000 0 .44 43 0 .042 5.0
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 0 900   5500 12000 0 .40 44 0 .025 4.9
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 0 900   5500 11000 0 .51 41 0 .019 5.0
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 0 900   3900 11000 0 .40 43 0 .036 4.9
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 0 900   3900 11000 0 .59 43 0 .036 4.8
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 0 900   3600 10000 0 .42 43 0 .018 4.8
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 0 900   3400 12000 0 .56 43 0 .019 4.8
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 0 900   4200 10000 0 .42 43 0 .018 4.8
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 0 900   3900 12000 0 .40 41 0 .018 4.9
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 0 900   3600 11000 0 .40 44 0 .024 4.9
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 0 900   3500 10000 0 .54 45 0 .018 4.8
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 0 900   3600 11000 0 .43 41 0 .018 5.0
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900   4600 11000 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 900   3900 12000 - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900   3500 12000 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 900   4400 14000 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 0 900   4900 12000 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 0 900   4900 11000 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 0 900   4800 14000 - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 0 900   4900 11000 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 900   5300 13000 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 0 900   5400 14000 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 0 900   5300 12000 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 0 900   5400 13000 - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 0 900   5300 11000 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900   3100 10000 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 900   3000 12000 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 0 900   2900 11000 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 0 900   2900 11000 - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900   3000 11000 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 900   5700 12000 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 0 900   5700 12000 - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 0 900   5700 14000 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 900   2300 12000 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 0 900   3100 11000 - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 0 900   2900 13000 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900   3400 12000 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 900   3200 12000 - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900   3800 11000 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 0 900   4300 12000 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c 0 900   3900 13000 - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c 0 900   3300 11000 - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 900   5300 13000 - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 0 900   5500 11000 - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 900   5700 10000 - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 0 900   5800 11000 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900   4300 10000 - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900   3700 13000 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 0 900   3700 13000 - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c 0 900   2800 15000 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c 0 900   3500 11000 - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c 0 900   3400 14000 - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c 0 900   3900 11000 - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c 0 900   4100 14000 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 900   5200 13000 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 0 900   5100 11000 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 0 900   4700 11000 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 0 900   5200 11000 - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 0 900   4700 14000 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 900   5400 12000 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 0 900   5400 12000 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 0 900   5400 15000 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 0 900   5300 13000 - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 0 900   5300 12000 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900   3000 12000 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 900   3000 12000 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 0 900   3000 12000 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 0 900   3000 11000 - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900   3000 12000 - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c 0 19   1200 170 - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c 0 21   1300 190 - -
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c 0 18   1200 150 - -
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c 0 17   1200 120 - -
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c 0 21   1300 200 - -
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c 0 28   2300 250 - -
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c 0 28   3700 240 - -
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c 0 29   3600 270 - -
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c 0 27   3600 280 - -
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c 0 27   3600 260 - -
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c 0 29   3700 270 - -
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c 0 36   3700 330 - -
seq-pthread/cs_lazy_false-unreach-call_true-termination.i 0 14   1200 110 - -
seq-pthread/cs_stateful_false-unreach-call_true-termination.i 0 11   740 82 - -
reducercommutativity/avg05_true-unreach-call_true-termination.i 2 43   2500 320 - -
reducercommutativity/avg10_true-unreach-call_true-termination.i 2 58   3700 470 - -
reducercommutativity/avg_true-unreach-call_true-termination.i 2 110   5200 1000 - -
reducercommutativity/max05_true-unreach-call_true-termination.i 2 230   6500 1400 - -
reducercommutativity/max10_true-unreach-call_true-termination.i 2 260   5500 2000 - -
reducercommutativity/max_true-unreach-call_true-termination.i 2 320   4700 3200 - -
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 0 24   2300 200 - -
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 2 96   3700 760 - -
reducercommutativity/rangesum_false-unreach-call_true-termination.i 2 310   4000 3400 - -
reducercommutativity/sep05_true-unreach-call_true-termination.i 2 470   7500 2700 - -
reducercommutativity/sep_true-unreach-call_true-termination.i 2 670   8200 4400 - -
reducercommutativity/sum05_true-unreach-call_true-termination.i 2 39   3000 260 - -
reducercommutativity/sum10_true-unreach-call_true-termination.i 2 51   3800 440 - -
reducercommutativity/sum_true-unreach-call_true-termination.i 2 96   3700 750 - -
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i 0 23   1400 160 - -
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i 2 100   6400 780 - -
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i 2 300   5800 2800 - -
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i 2 300   6000 2500 - -
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i 2 230   5100 1700 - -
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i 0 28   2300 240 - -
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i 0 910   5800 5600 - -
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i 2 9.8 740 83 - -
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i 2 22   1600 150 - -
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i 2 90   3600 1000 - -
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i 2 92   5300 660 - -
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i 2 9.2 640 69 - -
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i 0 92   5400 830 - -
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i 2 29   3100 250 - -
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i 2 81   3700 630 - -
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i 2 52   4900 410 - -
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i 2 57   4600 430 - -
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i 2 63   5200 550 - -
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i 2 140   5700 1100 - -
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i 0 280   4900 4000 - -
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i 0 900   3600 13000 - -
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i 0 3.9 320 37 - -
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i 2 12   760 88 - -
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i 2 20   1500 130 - -
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i 2 27   2300 180 - -
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i 2 20   1300 140 - -
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i 2 110   3600 1000 - -
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i 2 74   3800 760 - -
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i 0 910   5600 5200 - -
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i 2 23   2000 170 - -
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i 2 85   3600 1000 - -
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i 2 460   6800 2600 - -
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i 2 45   4300 370 - -
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i 2 8.5 630 61 - -
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i 0 78   5300 620 - -
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i 2 27   2300 190 - -
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i 2 51   5300 400 - -
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i 2 17   1300 120 - -
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i 2 40   3200 290 - -
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i 0 910   7900 5000 - -
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i 2 160   5700 1100 - -
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i 2 12   1200 90 - -
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i 2 460   5400 4400 - -
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i 2 22   2300 190 - -
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i 2 97   5600 750 - -
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i 2 44   3400 330 - -
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i 2 44   3700 290 - -
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i 2 57   4500 440 - -
memsafety/test-0019_false-valid-memtrack_true-termination.i 0 3.3 260 25 - -
memsafety/test-0019_true-valid-memsafety_true-termination.i 0 3.6 270 29 - -
memsafety/test-0158_false-valid-memtrack_true-termination.i 2 2.4 230 24 - -
memsafety/test-0158_true-valid-memsafety_true-termination.i 2 2.2 230 20 - -
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i 2 2.3 230 22 - -
memsafety/test-0214_true-valid-memsafety_false-termination.i 0 16   2300 130 0 .52 43 0 .019 4.8
memsafety/test-0217_true-valid-memsafety_false-termination.i 0 21   3100 170 0 .55 43 0 .023 4.8
memsafety/test-0218_true-valid-memsafety_false-termination.i 0 18   2400 170 0 .52 43 0 .018 4.8
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i 0 900   5200 13000 0 .42 43 0 .018 4.9
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i 0 3.8 270 30 0 .39 41 0 .020 4.8
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i 0 900   5200 13000 0 .41 44 0 .019 4.9
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i 0 900   5200 13000 0 .54 43 0 .050 4.8
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c 0 34   3600 270 - -
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c 0 42   3600 320 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c 0 28   3600 290 - -
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c 0 1.8 170 16 - -
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c 2 2.0 220 20 - -
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c 2 2.1 230 18 - -
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c 2 2.1 220 16 - -
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c 2 2.2 230 19 - -
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c 2 2.0 220 18 - -
ldv-memsafety/memset_true-valid-memsafety_true-termination.c 2 2.0 220 16 - -
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i 0 1.8 180 16 - -
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i 0 1.9 170 19 - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i 0 1.9 180 17 - -
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i 0 1.9 180 15 - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i 0 1.9 170 16 - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i 0 1.8 170 16 - -
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i 0 2.0 180 16 - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i 0 2.2 180 19 - -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i 0 1.9 170 19 - -
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i 0 2.0 180 20 - -
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i 0 1.8 180 17 - -
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i 0 1.9 220 17 - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i 0 1.9 180 17 - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i 0 1.9 180 15 - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i 0 1.9 180 17 - -
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i 0 1.9 170 17 - -
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i 0 1.9 170 18 - -
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i 0 1.8 170 14 - -
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i 0 1.8 170 18 - -
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i 0 1.8 170 16 - -
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i 0 1.9 190 16 - -
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i 0 1.9 180 19 - -
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i 0 2.0 170 16 - -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i 0 2.1 180 18 - -
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i 0 1.8 170 15 - -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i 0 2.0 180 18 - -
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i 0 2.0 180 19 - -
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i 0 1.9 180 18 - -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i 0 1.9 180 19 - -
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i 0 1.9 180 15 - -
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i 0 1.9 170 17 - -
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i 0 1.9 170 18 - -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i 0 1.9 170 17 - -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i 0 1.8 180 18 - -
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i 0 1.9 170 17 - -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i 0 1.7 170 16 - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i 0 1.8 170 18 - -
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i 0 1.8 170 16 - -
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i 0 1.9 170 16 - -
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i 0 2.0 180 18 - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i 0 1.9 180 20 - -
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i 0 1.8 170 17 - -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i 0 2.0 180 17 - -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i 0 1.9 180 19 - -
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i 0 2.0 170 17 - -
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i 0 2.7 240 23 - -
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i 0 3.5 270 27 - -
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i 0 3.3 250 31 - -
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i 0 3.0 240 24 - -
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i 0 3.3 240 27 - -
pthread-atomic/gcd_true-unreach-call_true-termination.i 0 6.6 680 59 - -
/localhome/dbeyer/comp/sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
total 2009 1707 820000 10000000 7000000 736 0 400 36000 736 -33 600   18000
    correct results 869 1707 64000 1900000 630000 0 31 31 290   12000
        correct true 838 1676 62000 1900000 620000 0 0
        correct false 31 31 1600 51000 11000 0 31 31 290   12000
    correct-unconfimed results 37 0 510 29000 3400 0 0
        correct-unconfirmed true 0 0 0
        correct-unconfirmed false 37 0 510 29000 3400 0 0
    incorrect results 0 0 2 -64 9.7 470
        incorrect true 0 0 2 -64 9.7 470
        incorrect false 0 0 0
Run set aprove.[sv-comp18.Termination-MainControlFlow; sv-comp18.Termination-MainHeap; sv-comp18.Termination-Other] cpa-seq-validate-violation-witnesses-aprove.[sv-comp18-violation-witness.Termination-MainControlFlow; sv-comp18-violation-witness.Termination-MainHeap; sv-comp18-violation-witness.Termination-Other] uautomizer-validate-violation-witnesses-aprove.[sv-comp18-violation-witness.Termination-MainControlFlow; sv-comp18-violation-witness.Termination-MainHeap; sv-comp18-violation-witness.Termination-Other]