Tool ULTIMATE Automizer 0.1.24-0ed9222f
Limits timelimit: 900 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.20.1-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz, Turbo Boost: enabled; RAM: 135156 MB
Date of execution 2019-01-11 17:27:34 CET
Run set sv-comp19_prop-nooverflow
Options --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i false(no-overflow) 7.75 4.60 238260224
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) 8.17 4.97 254603264
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) 8.25 4.87 251637760
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) 7.99 4.68 245731328
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) 8.21 4.98 239267840
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) 9.02 5.15 263725056
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) 8.08 5.04 253960192
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) 8.31 4.94 245350400
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) 7.51 4.61 248225792
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) 7.83 4.95 248229888
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i true 7.27 5.07 240009216
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i true 8.67 5.36 257925120
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i true 7.41 4.64 238804992
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i true 7.35 4.41 235536384
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i true 7.51 4.50 236445696
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) 6.78 4.29 236564480
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) 7.66 4.67 248545280
termination-crafted/Ackermann_false-no-overflow.c false(no-overflow) 7.32 4.58 242552832
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) 7.00 4.29 230883328
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) 7.24 4.50 232566784
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) 7.29 4.41 240611328
termination-crafted/Binary_Search_false-no-overflow.c false(no-overflow) 7.93 4.91 247640064
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) 7.94 5.13 247615488
termination-crafted/Cairo_step2_false-no-overflow.c timeout 901    768    1174245376
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) 7.28 4.54 248676352
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) 7.84 4.78 245370880
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) 7.32 4.60 241963008
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) 7.52 4.62 241758208
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) 7.03 4.35 232038400
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) 7.19 4.43 244441088
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) 7.24 4.39 239902720
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) 7.90 4.70 244953088
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) 7.47 4.55 241922048
termination-crafted/NestedRecursion_1a_false-no-overflow.c false(no-overflow) 7.48 4.53 242663424
termination-crafted/NestedRecursion_2a_false-no-overflow.c false(no-overflow) 8.33 5.05 251420672
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) 6.83 4.28 228470784
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) 7.09 4.41 233541632
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) 45.4  29.2  707174400
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) 7.15 4.38 230916096
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) 6.89 4.36 233353216
termination-crafted/NonTerminationSimple4_false-no-overflow.c timeout 901    764    1368018944
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) 7.03 4.33 229715968
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) 6.74 4.23 222937088
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) 7.41 4.55 241463296
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) 6.70 4.18 229392384
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) 7.59 4.57 246292480
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) 7.74 4.66 242208768
termination-crafted/RecursiveMultiplication_false-no-overflow.c false(no-overflow) 7.64 4.80 243015680
termination-crafted/RecursiveNonterminating_false-no-overflow.c false(no-overflow) 7.48 4.49 243224576
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) 7.33 4.43 229703680
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) 7.38 4.50 243187712
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) 7.27 4.48 243585024
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) 7.69 4.59 244973568
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) 7.40 4.52 244719616
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) 6.98 4.33 230338560
termination-crafted/Thun_false-no-overflow.c false(no-overflow) 6.99 4.32 230158336
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) 8.17 5.02 247353344
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) 26.5  16.7  583495680
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) 7.66 4.65 239747072
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) 7.29 4.46 241819648
termination-crafted/easy2_false-no-overflow.c timeout 901    766    2602889216
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c true 7.17 4.47 243130368
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c true 50.5  32.7  737652736
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c true 8.28 5.02 245387264
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c true 11.9  7.24 328425472
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c true 9.74 5.76 255016960
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c true 9.55 5.77 252977152
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c true 8.63 5.23 255492096
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900    885    1166430208
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c true 6.82 4.25 228548608
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c true 8.81 5.30 253620224
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c true 8.34 5.00 248877056
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c true 9.69 5.76 266084352
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c true 7.81 4.82 250605568
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c timeout 901    851    976723968
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c timeout 901    850    1001205760
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c true 6.63 4.17 225402880
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900    793    1873690624
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c true 11.6  7.03 333443072
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c true 16.6  10.3  474779648
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c true 16.3  9.88 483049472
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c true 26.1  15.8  613126144
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c true 23.9  14.0  530653184
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c true 16.6  9.67 482746368
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c true 22.5  12.9  500334592
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c true 19.2  11.6  485257216
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c true 28.3  17.2  587161600
termination-crafted/NonTermination3_true-no-overflow_false-termination.c true 8.68 5.15 248758272
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c true 9.14 5.52 253423616
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c true 8.18 4.89 245784576
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c true 8.74 5.24 247615488
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c true 8.33 5.07 253063168
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c true 8.09 4.86 253251584
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c true 9.06 5.54 266055680
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c true 7.62 4.66 244367360
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c true 6.56 4.16 229752832
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c true 7.05 4.27 222642176
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c true 8.46 5.01 252825600
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 901    767    2592894976
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) 7.97 4.83 246886400
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) 8.33 5.04 251318272
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) 7.53 4.56 249520128
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) 7.52 4.62 243822592
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) 10.4  6.19 284913664
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) 8.34 5.03 248803328
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) 8.71 5.23 254722048
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c timeout 901    767    2457620480
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) 8.00 4.93 243322880
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) 7.49 4.54 249991168
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c timeout 901    756    1136836608
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c timeout 901    761    7101628416
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) 7.30 4.43 245899264
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) 7.28 4.40 242659328
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) 7.98 4.89 248913920
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) 8.47 4.99 247676928
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) 8.37 4.99 256450560
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) 7.89 4.83 254156800
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) 7.42 4.42 247599104
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) 7.27 4.44 252186624
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) 7.28 4.49 242061312
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) 7.52 4.54 244862976
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) 7.74 4.69 244031488
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) 7.61 4.61 245067776
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) 7.35 4.51 242917376
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) 8.43 4.96 251920384
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) 6.98 4.28 230846464
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) 7.06 4.41 232550400
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) 6.89 4.21 232251392
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) 7.77 4.75 249266176
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) 6.93 4.31 232677376
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) 6.74 4.21 230293504
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) 6.98 4.34 230395904
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) 7.50 4.48 246206464
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) 6.97 4.23 230580224
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) 7.14 4.38 229916672
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) 8.85 5.27 252985344
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) 8.33 4.98 247058432
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) 7.76 4.71 242987008
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) 6.92 4.33 233029632
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) 6.75 4.21 238493696
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) 7.10 4.33 241827840
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) 6.66 4.16 234151936
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) 7.11 4.41 249212928
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) 6.62 4.10 229859328
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) 6.87 4.24 233021440
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) 6.79 4.26 242417664
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) 7.54 4.56 240500736
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) 7.22 4.39 234504192
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) 6.87 4.27 234737664
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) 7.17 4.35 241922048
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) 7.23 4.38 235339776
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) 7.13 4.40 242044928
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) 7.66 4.69 246726656
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) 7.00 4.28 241491968
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) 7.12 4.36 232640512
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) 7.01 4.43 248799232
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) 6.98 4.31 242880512
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) 7.11 4.31 247992320
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) 6.87 4.28 240766976
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) 8.48 5.02 246202368
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) 6.85 4.28 243556352
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) 7.28 4.44 243453952
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) 6.83 4.27 237383680
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) 7.92 4.73 248463360
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) 11.5  6.75 309563392
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) 7.04 4.33 236945408
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) 11.4  6.88 341360640
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) 7.28 4.42 234643456
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) 7.19 4.43 246759424
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c false(no-overflow) 8.53 5.27 247554048
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c false(no-overflow) 8.36 5.12 250163200
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c false(no-overflow) 7.36 4.47 243855360
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c false(no-overflow) 7.93 4.72 241315840
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) 6.74 4.25 229330944
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) 7.61 4.63 246345728
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) 7.21 4.43 230674432
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) 7.04 4.28 231022592
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) 6.48 4.04 230072320
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) 7.09 4.36 230051840
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) 7.31 4.66 244064256
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) 7.37 4.51 241569792
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) 7.15 4.45 241254400
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) 8.25 4.98 251518976
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 8.59 5.24 254705664
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) 8.45 5.11 245567488
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 8.30 5.04 247037952
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c false(no-overflow) 7.24 4.36 242724864
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) 7.72 4.61 244641792
termination-crafted-lit/cstrncmp_false-no-overflow.c false(no-overflow) 9.39 5.60 270639104
termination-crafted-lit/gcd1_false-no-overflow.c false(no-overflow) 7.40 4.46 241217536
termination-crafted-lit/joey_false-no-overflow.c false(no-overflow) 8.60 5.26 253235200
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) 7.64 4.59 246677504
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 900    803    1592127488
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true 9.34 5.58 263696384
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true 8.43 5.00 260149248
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c timeout 901    767    2680832000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c true 9.30 5.67 265834496
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c true 28.7  17.1  581861376
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c timeout 900    787    4523302912
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true 300    251    5062770688
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true 10.0  6.01 282791936
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true 12.4  7.40 354557952
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true 9.58 5.81 280604672
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true 8.07 4.89 247947264
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true 8.26 5.02 250458112
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c true 12.1  7.17 364724224
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c timeout 901    774    1907245056
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c true 14.5  8.91 455208960
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c true 14.3  8.79 438083584
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c true 10.8  6.38 303783936
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c timeout 901    822    3629780992
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c true 14.6  8.91 447139840
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true 8.06 4.86 249384960
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c timeout 901    765    2478047232
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c timeout 901    762    6870142976
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c true 301    250    5065449472
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c true 7.00 4.30 227971072
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c true 7.81 4.77 244334592
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c true 8.47 5.17 252768256
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c true 8.44 5.10 248446976
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c true 8.45 5.10 256098304
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c true 8.94 5.31 253661184
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c true 10.4  6.32 282931200
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c true 9.23 5.57 251523072
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c true 8.79 5.43 260300800
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c true 220    155    1801781248
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 901    803    1949667328
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c true 8.02 4.93 246956032
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c true 13.8  8.52 444329984
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c true 7.65 4.66 248324096
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c true 10.2  6.05 274137088
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c true 7.62 4.67 246714368
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c timeout 901    769    2368397312
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c true 7.69 4.66 246542336
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c true 8.92 5.32 249655296
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout 900    797    1157357568
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c true 15.8  9.47 468652032
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c true 53.0  33.9  825450496
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c true 9.75 5.85 265875456
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c true 8.29 5.00 246091776
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true 7.74 4.70 248938496
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c true 8.92 5.39 265277440
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c true 7.38 4.58 256647168
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c true 10.1  6.10 279117824
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c true 7.85 4.75 246947840
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c true 7.87 4.67 245370880
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c true 8.80 5.44 266014720
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c true 9.35 5.62 260341760
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c true 9.57 5.67 276586496
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c true 7.68 4.69 245911552
termination-crafted-lit/aviad_true-termination_true-no-overflow.c true 588    481    4076687360
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c true 9.16 5.47 256479232
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c true 9.18 5.43 254906368
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c true 8.27 5.04 251088896
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c true 9.36 5.59 252973056
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c true 8.96 5.38 259112960
termination-crafted-lit/genady_true-termination_true-no-overflow.c true 13.8  8.50 424726528
termination-crafted-lit/strchr_true-no-overflow_true-termination.c true 8.61 5.10 250060800
termination-numeric/Addition01_false-no-overflow.c false(no-overflow) 7.27 4.42 243236864
termination-numeric/Avg_true_false-no-overflow.c false(no-overflow) 7.55 4.70 245923840
termination-numeric/Binomial_true-termination_false-no-overflow.c timeout 900    875    920252416
termination-numeric/Et1_true_false-no-overflow.c false(no-overflow) 7.49 4.51 243286016
termination-numeric/Et2_true_false-no-overflow.c false(no-overflow) 7.91 4.75 244170752
termination-numeric/Et3_true_false-no-overflow.c false(no-overflow) 7.32 4.45 246685696
termination-numeric/Et4_true_false-no-overflow.c false(no-overflow) 7.74 4.73 247308288
termination-numeric/MultCommutative_false-no-overflow.c false(no-overflow) 15.6  9.46 459845632
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c timeout 900    892    921763840
termination-numeric/Ackermann01_true-termination_true-no-overflow.c timeout 901    763    6671413248
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c true 18.9  11.8  500690944
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c timeout 901    830    5664460800
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c true 8.94 5.45 255004672
termination-numeric/LogRecursive_true-termination_true-no-overflow.c timeout 900    895    491773952
termination-numeric/Parts_true-termination_true-no-overflow.c timeout 900    780    4775989248
termination-numeric/TwoWay_true-termination_true-no-overflow.c true 21.9  14.5  569909248
termination-numeric/gcd01_true-termination_true-no-overflow.c true 8.91 5.45 263155712
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true 77.3  52.6  914423808
termination-numeric/recHanoi02_true-termination_true-no-overflow.c true 115    80.4  956694528
termination-numeric/rec_counter1_true-termination_true-no-overflow.c timeout 901    766    4626018304
termination-numeric/rec_counter3_true-termination_true-no-overflow.c timeout 901    766    4569378816
termination-numeric/twisted_true-termination_true-no-overflow.c timeout 900    800    918196224
recursive/Addition02WithOverflowBug_false-no-overflow.c false(no-overflow) 7.48 4.55 242167808
recursive/Addition03_false-no-overflow.c false(no-overflow) 7.35 4.45 244908032
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c false(no-overflow) 8.37 5.03 247996416
recursive/Ackermann01_true-unreach-call_true-no-overflow.c timeout 901    751    7346651136
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c timeout 901    754    7516217344
recursive/Ackermann03_true-unreach-call_true-no-overflow.c timeout 901    760    6523711488
recursive/Ackermann04_true-unreach-call_true-no-overflow.c timeout 901    751    6889017344
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c timeout 901    766    2265128960
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c timeout 901    768    2398294016
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c timeout 901    806    1782640640
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c true 6.91 4.31 238186496
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c true 19.2  11.8  507555840
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c true 19.2  11.8  507125760
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c timeout 902    826    5947895808
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c true 45.4  29.1  1106341888
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c timeout 901    831    5410820096
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c timeout 901    823    5490077696
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c timeout 901    832    5200433152
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c true 12.1  7.24 356741120
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c true 11.9  7.24 356737024
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c timeout 901    763    978640896
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c timeout 901    770    1019064320
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c true 9.64 5.78 267681792
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c true 20.2  12.7  513925120
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c timeout 901    776    4474171392
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c true 116    81.5  1017212928
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c error (7) 340    313    2580742144
recursive-simple/id_b3_o2_false-no-overflow.c false(no-overflow) 8.03 4.88 247472128
recursive-simple/id_b3_o5_false-no-overflow.c false(no-overflow) 8.57 5.18 246272000
recursive-simple/id_b5_o10_false-no-overflow.c false(no-overflow) 8.00 4.81 248352768
recursive-simple/sum_non_eq_false-no-overflow.c false(no-overflow) 8.42 4.98 247689216
recursive-simple/sum_non_false-no-overflow.c false(no-overflow) 9.19 5.53 253394944
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 7.10 4.40 237559808
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 6.99 4.36 244289536
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 7.65 4.63 241385472
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 7.34 4.41 241807360
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 7.25 4.43 226922496
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 9.76 5.86 276209664
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 11.4  6.76 270888960
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 9.62 5.78 273506304
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c true 8.30 4.96 233877504
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c true 7.30 4.40 238481408
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c true 8.17 4.83 229220352
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c true 6.87 4.29 239673344
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c true 7.94 4.85 237346816
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c true 6.57 4.11 239181824
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c true 8.86 5.21 240373760
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c true 6.85 4.17 228442112
bitvector/byte_add_1_false-no-overflow.i error 33.9  21.1  587214848
bitvector/byte_add_2_false-no-overflow.i error 36.5  21.7  625332224
bitvector/byte_add_false-no-overflow.i error 59.8  40.4  713084928
bitvector/jain_1_false-no-overflow.i false(no-overflow) 6.79 4.22 232460288
bitvector/jain_2_false-no-overflow.i false(no-overflow) 6.82 4.30 243884032
bitvector/jain_4_false-no-overflow.i false(no-overflow) 7.54 4.60 242794496
bitvector/jain_5_false-no-overflow.i timeout 901    772    1803149312
bitvector/jain_6_false-no-overflow.i false(no-overflow) 9.06 5.36 243478528
bitvector/jain_7_false-no-overflow.i false(no-overflow) 7.40 4.51 240340992
bitvector/modulus_false-no-overflow.i error 7.56 4.69 243822592
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i true 8.87 5.25 263790592
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i true 10.2  6.03 263106560
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i true 8.92 5.35 254918656
bitvector/gcd_1_true-unreach-call_true-no-overflow.i true 9.95 5.89 252018688
bitvector/gcd_2_true-unreach-call_true-no-overflow.i true 7.95 4.92 246083584
bitvector/gcd_3_true-unreach-call_true-no-overflow.i true 8.38 5.04 248791040
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i true 18.4  11.3  496054272
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i true 7.07 4.34 231247872
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i true 6.65 4.12 226557952
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i true 7.24 4.39 226197504
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i true 6.64 4.15 227852288
bitvector/jain_5_true-unreach-call_true-no-overflow.i true 7.04 4.37 226418688
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i true 6.81 4.24 230862848
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i true 7.03 4.25 227741696
bitvector/modulus_true-unreach-call_true-no-overflow.i error 7.62 4.59 242499584
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i error 7.27 4.35 240697344
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i error 7.02 4.32 240906240
bitvector/parity_true-unreach-call_true-no-overflow.i true 8.52 4.93 243699712
bitvector/sum02_false-unreach-call_true-no-overflow.i true 6.81 4.24 230682624
bitvector/sum02_true-unreach-call_true-no-overflow.i true 7.06 4.32 228671488
psyco/psyco_abp_1_false-no-overflow.c timeout 901    805    5290958848
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i unknown 7.84 4.42 231550976
busybox-1.22.0/chroot-incomplete_false-no-overflow.i unknown 7.97 4.45 242724864
busybox-1.22.0/cut_false-no-overflow.i unknown 9.21 4.90 242601984
busybox-1.22.0/date_false-no-overflow.i unknown 9.17 4.91 240173056
busybox-1.22.0/du_false-no-overflow.i unknown 9.49 5.60 244854784
busybox-1.22.0/echo_false-no-overflow.i unknown 8.82 4.77 238444544
busybox-1.22.0/expand_false-no-overflow.i unknown 9.37 5.02 243007488
busybox-1.22.0/fold_false-no-overflow.i unknown 8.51 4.56 237494272
busybox-1.22.0/head_false-no-overflow.i unknown 10.5  6.04 241303552
busybox-1.22.0/logname_false-no-overflow.i unknown 8.24 4.49 234360832
busybox-1.22.0/ls-incomplete_false-no-overflow.i error (7) 10.5  6.20 263368704
busybox-1.22.0/mkdir_false-no-overflow.i unknown 12.2  6.61 250470400
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i unknown 7.70 4.18 231321600
busybox-1.22.0/od_false-no-overflow.i unknown 9.63 5.20 255664128
busybox-1.22.0/printf_false-no-overflow.i unknown 9.13 4.99 246468608
busybox-1.22.0/readlink_false-no-overflow.i unknown 11.3  6.47 239702016
busybox-1.22.0/realpath_false-no-overflow.i unknown 8.85 4.76 224169984
busybox-1.22.0/rm_false-no-overflow.i unknown 9.57 5.16 251899904
busybox-1.22.0/seq_false-no-overflow.i unknown 10.0  5.38 232792064
busybox-1.22.0/sleep_false-no-overflow.i unknown 8.72 4.74 238190592
busybox-1.22.0/stty_false-no-overflow.i unknown 9.69 5.60 305381376
busybox-1.22.0/sync_false-no-overflow.i unknown 7.46 4.07 229736448
busybox-1.22.0/tac_false-no-overflow.i unknown 10.0  6.03 244916224
busybox-1.22.0/tee_false-no-overflow.i unknown 8.72 4.71 233693184
busybox-1.22.0/test-incomplete_false-no-overflow.i unknown 9.37 5.04 249548800
busybox-1.22.0/touch_false-no-overflow.i unknown 11.0  6.22 234508288
busybox-1.22.0/uname_false-no-overflow.i unknown 8.79 4.65 243638272
busybox-1.22.0/uniq_false-no-overflow.i unknown 9.01 4.75 234618880
busybox-1.22.0/usleep_false-no-overflow.i unknown 8.83 4.73 232505344
busybox-1.22.0/uudecode_false-no-overflow.i unknown 11.6  6.74 255082496
busybox-1.22.0/wc_false-no-overflow.i unknown 8.41 4.53 248479744
busybox-1.22.0/who_false-no-overflow.i unknown 8.84 4.87 252485632
busybox-1.22.0/whoami-incomplete_false-no-overflow.i unknown 8.78 4.72 241664000
busybox-1.22.0/yes_false-no-overflow.i unknown 8.96 4.87 226029568
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 901    863    2379640832
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i unknown 8.55 4.54 236179456
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i unknown 8.41 4.59 235376640
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.92 4.80 244932608
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 10.5  6.10 253222912
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i error (7) 684    653    2228277248
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i unknown 9.99 5.83 245760000
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i unknown 8.41 4.52 235278336
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.92 5.72 256282624
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i unknown 9.28 4.92 234442752
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i unknown 8.77 4.74 239013888
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i true 22.7  12.3  535752704
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i unknown 8.74 4.73 242454528
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (7) 11.0  6.56 273752064
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i unknown 9.68 5.09 238542848
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.79 4.30 222343168
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.46 5.58 254541824
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.38 5.48 244088832
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i unknown 8.43 4.58 233000960
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i unknown 8.04 4.44 231075840
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i unknown 8.73 4.74 249348096
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i unknown 9.34 4.97 240754688
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i unknown 8.88 4.83 240750592
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 11.4  6.74 325206016
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i unknown 7.98 4.35 223899648
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i unknown 8.58 4.63 236732416
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i unknown 8.79 5.20 240705536
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.48 5.12 249397248
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.70 5.66 249114624
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i unknown 8.06 4.40 234999808
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i unknown 9.03 4.80 242970624
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i unknown 8.33 4.53 228880384
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i unknown 9.69 5.19 259846144
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.09 4.82 243978240
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i unknown 9.04 4.90 247562240
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i unknown 8.78 4.71 236658688
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i unknown 8.46 4.57 229781504
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
total 430 48700 41900 280851562496
local summary 6560 3470
    correct results 306 4540 3080 101700411392
        correct true 143 3240 2280 60933218304
        correct false 163 1300 798 40767193088
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (430 tasks, max score: 649) 449
Run set sv-comp19_prop-nooverflow