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