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