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