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 2019-01-14 11:19:50 CET
Run set sv-comp19_prop-nooverflow.NoOverflows-BitVectors sv-comp19_prop-nooverflow.NoOverflows-BitVectors
Options --full-output --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i false(no-overflow) 7.75 4.60 238260224 false(no-overflow) 7.98 4.72 236068864
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) 8.17 4.97 254603264 false(no-overflow) 8.60 5.36 247898112
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) 8.25 4.87 251637760 false(no-overflow) 8.25 5.06 243982336
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) 7.99 4.68 245731328 false(no-overflow) 7.81 4.65 238858240
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) 8.21 4.98 239267840 false(no-overflow) 7.86 4.78 237932544
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) 9.02 5.15 263725056 false(no-overflow) 8.24 4.84 256126976
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) 8.08 5.04 253960192 false(no-overflow) 8.16 4.86 262320128
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) 8.31 4.94 245350400 false(no-overflow) 8.67 5.22 255614976
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) 7.51 4.61 248225792 false(no-overflow) 7.73 4.67 250605568
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) 7.83 4.95 248229888 false(no-overflow) 7.68 4.59 251932672
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i true 7.27 5.07 240009216 true 7.35 4.62 234262528
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i true 8.67 5.36 257925120 true 8.82 5.37 256319488
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i true 7.41 4.64 238804992 true 7.35 4.39 234110976
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i true 7.35 4.41 235536384 true 7.48 4.53 233627648
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i true 7.51 4.50 236445696 true 7.29 4.40 235020288
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) 6.78 4.29 236564480 false(no-overflow) 7.17 4.43 232017920
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) 7.66 4.67 248545280 false(no-overflow) 7.02 4.44 242348032
termination-crafted/Ackermann_false-no-overflow.c false(no-overflow) 7.32 4.58 242552832 false(no-overflow) 7.37 4.54 239243264
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) 7.00 4.29 230883328 false(no-overflow) 6.91 4.28 232939520
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) 7.24 4.50 232566784 false(no-overflow) 6.88 4.28 227213312
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) 7.29 4.41 240611328 false(no-overflow) 7.13 4.45 243904512
termination-crafted/Binary_Search_false-no-overflow.c false(no-overflow) 7.93 4.91 247640064 false(no-overflow) 7.77 4.67 241524736
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) 7.94 5.13 247615488 false(no-overflow) 7.90 4.74 249307136
termination-crafted/Cairo_step2_false-no-overflow.c timeout 901    768    1174245376 timeout 901    760    1301999616
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) 7.28 4.54 248676352 false(no-overflow) 7.44 4.52 246849536
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) 7.84 4.78 245370880 false(no-overflow) 7.71 4.61 248590336
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) 7.32 4.60 241963008 false(no-overflow) 7.60 4.58 250302464
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) 7.52 4.62 241758208 false(no-overflow) 7.70 4.70 246657024
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) 7.03 4.35 232038400 false(no-overflow) 7.16 4.35 230998016
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) 7.19 4.43 244441088 false(no-overflow) 7.51 4.58 247693312
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) 7.24 4.39 239902720 false(no-overflow) 7.38 4.47 240873472
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) 7.90 4.70 244953088 false(no-overflow) 7.40 4.52 243404800
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) 7.47 4.55 241922048 false(no-overflow) 7.41 4.57 240664576
termination-crafted/NestedRecursion_1a_false-no-overflow.c false(no-overflow) 7.48 4.53 242663424 false(no-overflow) 7.74 4.71 243179520
termination-crafted/NestedRecursion_2a_false-no-overflow.c false(no-overflow) 8.33 5.05 251420672 false(no-overflow) 7.85 4.88 247934976
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) 6.83 4.28 228470784 false(no-overflow) 6.98 4.23 230236160
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) 7.09 4.41 233541632 false(no-overflow) 7.24 4.43 230965248
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) 45.4  29.2  707174400 false(no-overflow) 47.5  30.0  708251648
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) 7.15 4.38 230916096 false(no-overflow) 7.34 4.43 231829504
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) 6.89 4.36 233353216 false(no-overflow) 6.95 4.27 228564992
termination-crafted/NonTerminationSimple4_false-no-overflow.c timeout 901    764    1368018944 timeout 901    764    1294561280
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) 7.03 4.33 229715968 false(no-overflow) 6.91 4.34 229765120
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) 6.74 4.23 222937088 false(no-overflow) 6.85 4.29 231927808
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) 7.41 4.55 241463296 false(no-overflow) 7.13 4.46 243310592
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) 6.70 4.18 229392384 false(no-overflow) 6.64 4.13 227336192
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) 7.59 4.57 246292480 false(no-overflow) 7.85 4.71 246915072
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) 7.74 4.66 242208768 false(no-overflow) 7.65 4.64 242753536
termination-crafted/RecursiveMultiplication_false-no-overflow.c false(no-overflow) 7.64 4.80 243015680 false(no-overflow) 7.05 4.31 243900416
termination-crafted/RecursiveNonterminating_false-no-overflow.c false(no-overflow) 7.48 4.49 243224576 false(no-overflow) 7.38 4.51 241328128
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) 7.33 4.43 229703680 false(no-overflow) 6.78 4.21 229806080
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) 7.38 4.50 243187712 false(no-overflow) 7.62 4.62 243888128
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) 7.27 4.48 243585024 false(no-overflow) 7.02 4.40 230699008
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) 7.69 4.59 244973568 false(no-overflow) 6.85 4.25 228978688
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) 7.40 4.52 244719616 false(no-overflow) 7.70 4.66 241307648
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) 6.98 4.33 230338560 false(no-overflow) 7.33 4.47 243175424
termination-crafted/Thun_false-no-overflow.c false(no-overflow) 6.99 4.32 230158336 false(no-overflow) 7.32 4.50 235847680
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) 8.17 5.02 247353344 false(no-overflow) 7.65 4.74 245854208
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) 26.5  16.7  583495680 false(no-overflow) 28.2  17.8  602050560
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) 7.66 4.65 239747072 false(no-overflow) 7.10 4.39 242966528
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) 7.29 4.46 241819648 false(no-overflow) 7.01 4.39 245342208
termination-crafted/easy2_false-no-overflow.c timeout 901    766    2602889216 timeout 901    764    2713612288
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c true 7.17 4.47 243130368 true 6.97 4.37 245575680
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c true 50.5  32.7  737652736 true 51.0  32.9  702132224
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c true 8.28 5.02 245387264 true 8.39 5.07 245501952
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c true 11.9  7.24 328425472 true 11.6  6.92 321019904
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c true 9.74 5.76 255016960 true 8.99 5.34 255627264
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c true 9.55 5.77 252977152 true 9.67 5.73 261140480
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c true 8.63 5.23 255492096 true 8.13 5.02 252891136
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900    885    1166430208 timeout 900    884    1021689856
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c true 6.82 4.25 228548608 true 6.90 4.24 226504704
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c true 8.81 5.30 253620224 true 8.03 4.90 248229888
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c true 8.34 5.00 248877056 true 8.39 5.05 249335808
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c true 9.69 5.76 266084352 true 9.29 5.62 259592192
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c true 7.81 4.82 250605568 true 8.44 5.06 253587456
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c timeout 901    851    976723968 timeout 901    849    932679680
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c timeout 901    850    1001205760 timeout 901    849    1025183744
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c true 6.63 4.17 225402880 true 6.88 4.22 226824192
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900    793    1873690624 timeout 900    794    2199076864
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c true 11.6  7.03 333443072 true 11.3  6.90 326680576
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c true 16.6  10.3  474779648 true 16.2  10.3  483258368
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c true 16.3  9.88 483049472 true 15.3  9.14 445636608
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c true 26.1  15.8  613126144 true 28.3  17.5  666513408
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c true 23.9  14.0  530653184 true 23.4  13.6  527597568
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c true 16.6  9.67 482746368 true 15.4  9.19 481304576
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c true 22.5  12.9  500334592 true 21.3  12.3  496234496
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c true 19.2  11.6  485257216 true 19.3  11.4  502919168
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c true 28.3  17.2  587161600 true 31.0  18.3  569012224
termination-crafted/NonTermination3_true-no-overflow_false-termination.c true 8.68 5.15 248758272 true 8.56 5.15 246411264
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c true 9.14 5.52 253423616 true 8.97 5.39 258981888
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c true 8.18 4.89 245784576 true 8.33 5.00 245989376
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c true 8.74 5.24 247615488 true 8.50 5.11 249237504
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c true 8.33 5.07 253063168 true 7.95 4.90 245133312
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c true 8.09 4.86 253251584 true 8.52 5.18 246509568
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c true 9.06 5.54 266055680 true 9.46 5.67 268374016
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c true 7.62 4.66 244367360 true 7.46 4.58 247160832
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c true 6.56 4.16 229752832 true 6.63 4.08 223887360
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c true 7.05 4.27 222642176 true 6.82 4.18 229711872
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c true 8.46 5.01 252825600 true 7.82 4.81 250748928
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 901    767    2592894976 timeout 901    769    2462519296
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) 7.97 4.83 246886400 false(no-overflow) 7.98 4.83 251047936
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) 8.33 5.04 251318272 false(no-overflow) 9.07 5.42 250720256
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) 7.53 4.56 249520128 false(no-overflow) 7.55 4.62 243789824
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) 7.52 4.62 243822592 false(no-overflow) 6.86 4.25 247517184
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) 10.4  6.19 284913664 false(no-overflow) 9.80 5.89 285749248
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) 8.34 5.03 248803328 false(no-overflow) 8.32 4.97 251371520
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) 8.71 5.23 254722048 false(no-overflow) 8.77 5.31 251457536
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c timeout 901    767    2457620480 timeout 901    767    2800627712
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) 8.00 4.93 243322880 false(no-overflow) 8.32 4.97 248172544
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) 7.49 4.54 249991168 false(no-overflow) 7.61 4.65 245649408
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c timeout 901    756    1136836608 timeout 901    756    1161482240
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c timeout 901    761    7101628416 timeout 900    761    6673559552
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) 7.30 4.43 245899264 false(no-overflow) 7.32 4.43 247328768
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) 7.28 4.40 242659328 false(no-overflow) 7.07 4.43 242733056
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) 7.98 4.89 248913920 false(no-overflow) 8.36 5.06 247279616
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) 8.47 4.99 247676928 false(no-overflow) 8.61 5.06 248889344
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) 8.37 4.99 256450560 false(no-overflow) 7.71 4.75 246509568
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) 7.89 4.83 254156800 false(no-overflow) 7.10 4.44 250761216
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) 7.42 4.42 247599104 false(no-overflow) 7.56 4.58 242995200
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) 7.27 4.44 252186624 false(no-overflow) 7.52 4.59 233959424
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) 7.28 4.49 242061312 false(no-overflow) 7.48 4.57 242225152
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) 7.52 4.54 244862976 false(no-overflow) 7.74 4.65 247349248
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) 7.74 4.69 244031488 false(no-overflow) 7.60 4.65 246964224
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) 7.61 4.61 245067776 false(no-overflow) 7.64 4.74 248303616
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) 7.35 4.51 242917376 false(no-overflow) 7.55 4.61 233975808
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) 8.43 4.96 251920384 false(no-overflow) 8.20 4.83 249139200
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) 6.98 4.28 230846464 false(no-overflow) 6.72 4.22 233725952
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) 7.06 4.41 232550400 false(no-overflow) 6.76 4.17 232869888
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) 6.89 4.21 232251392 false(no-overflow) 7.05 4.28 230838272
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) 7.77 4.75 249266176 false(no-overflow) 7.66 4.67 248446976
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) 6.93 4.31 232677376 false(no-overflow) 6.86 4.25 232275968
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) 6.74 4.21 230293504 false(no-overflow) 7.04 4.36 230703104
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) 6.98 4.34 230395904 false(no-overflow) 6.96 4.24 233701376
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) 7.50 4.48 246206464 false(no-overflow) 7.34 4.44 244604928
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) 6.97 4.23 230580224 false(no-overflow) 7.05 4.28 229662720
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) 7.14 4.38 229916672 false(no-overflow) 6.69 4.14 231034880
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) 8.85 5.27 252985344 false(no-overflow) 8.80 5.29 250085376
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) 8.33 4.98 247058432 false(no-overflow) 8.25 5.03 250601472
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) 7.76 4.71 242987008 false(no-overflow) 7.74 4.66 244682752
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) 6.92 4.33 233029632 false(no-overflow) 6.60 4.08 227540992
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) 6.75 4.21 238493696 false(no-overflow) 6.91 4.26 240070656
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) 7.10 4.33 241827840 false(no-overflow) 7.66 4.61 241917952
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) 6.66 4.16 234151936 false(no-overflow) 6.98 4.26 229658624
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) 7.11 4.41 249212928 false(no-overflow) 7.27 4.44 248717312
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) 6.62 4.10 229859328 false(no-overflow) 6.97 4.31 233435136
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) 6.87 4.24 233021440 false(no-overflow) 7.43 4.55 240889856
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) 6.79 4.26 242417664 false(no-overflow) 7.16 4.37 241655808
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) 7.54 4.56 240500736 false(no-overflow) 7.64 4.64 243040256
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) 7.22 4.39 234504192 false(no-overflow) 6.75 4.18 232165376
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) 6.87 4.27 234737664 false(no-overflow) 6.70 4.16 233177088
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) 7.17 4.35 241922048 false(no-overflow) 7.37 4.44 239763456
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) 7.23 4.38 235339776 false(no-overflow) 6.89 4.25 229437440
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) 7.13 4.40 242044928 false(no-overflow) 7.17 4.33 240574464
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) 7.66 4.69 246726656 false(no-overflow) 7.92 4.79 245923840
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) 7.00 4.28 241491968 false(no-overflow) 7.07 4.31 243351552
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) 7.12 4.36 232640512 false(no-overflow) 7.08 4.38 244158464
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) 7.01 4.43 248799232 false(no-overflow) 7.18 4.43 239628288
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) 6.98 4.31 242880512 false(no-overflow) 7.21 4.43 242630656
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) 7.11 4.31 247992320 false(no-overflow) 6.94 4.35 238850048
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) 6.87 4.28 240766976 false(no-overflow) 7.24 4.37 242200576
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) 8.48 5.02 246202368 false(no-overflow) 8.04 4.80 250097664
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) 6.85 4.28 243556352 false(no-overflow) 7.29 4.41 243183616
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) 7.28 4.44 243453952 false(no-overflow) 7.20 4.13 246800384
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) 6.83 4.27 237383680 false(no-overflow) 6.44 4.05 228413440
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) 7.92 4.73 248463360 false(no-overflow) 8.12 4.87 249868288
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) 11.5  6.75 309563392 false(no-overflow) 12.1  7.08 309047296
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) 7.04 4.33 236945408 false(no-overflow) 6.58 4.17 229015552
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) 11.4  6.88 341360640 false(no-overflow) 11.9  7.11 343724032
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) 7.28 4.42 234643456 false(no-overflow) 7.53 4.57 234164224
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) 7.19 4.43 246759424 false(no-overflow) 7.13 4.42 243089408
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c false(no-overflow) 8.53 5.27 247554048 false(no-overflow) 9.19 5.49 249868288
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c false(no-overflow) 8.36 5.12 250163200 false(no-overflow) 9.07 5.36 250470400
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c false(no-overflow) 7.36 4.47 243855360 false(no-overflow) 7.38 4.56 243601408
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c false(no-overflow) 7.93 4.72 241315840 false(no-overflow) 6.89 4.30 244166656
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) 6.74 4.25 229330944 false(no-overflow) 7.17 4.41 241053696
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) 7.61 4.63 246345728 false(no-overflow) 7.51 4.56 245956608
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) 7.21 4.43 230674432 false(no-overflow) 7.48 4.51 231841792
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) 7.04 4.28 231022592 false(no-overflow) 7.23 4.40 229842944
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) 6.48 4.04 230072320 false(no-overflow) 7.71 4.60 229584896
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) 7.09 4.36 230051840 false(no-overflow) 6.88 4.16 232095744
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) 7.31 4.66 244064256 false(no-overflow) 7.64 4.58 240656384
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) 7.37 4.51 241569792 false(no-overflow) 7.85 4.74 241233920
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) 7.15 4.45 241254400 false(no-overflow) 7.14 4.33 235360256
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) 8.25 4.98 251518976 false(no-overflow) 8.11 4.85 249982976
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 8.59 5.24 254705664 false(no-overflow) 8.98 5.24 252870656
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) 8.45 5.11 245567488 false(no-overflow) 8.98 5.27 246960128
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 8.30 5.04 247037952 false(no-overflow) 8.48 5.16 247619584
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c false(no-overflow) 7.24 4.36 242724864 false(no-overflow) 7.61 4.59 243818496
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) 7.72 4.61 244641792 false(no-overflow) 7.81 4.65 244850688
termination-crafted-lit/cstrncmp_false-no-overflow.c false(no-overflow) 9.39 5.60 270639104 false(no-overflow) 9.58 5.70 272654336
termination-crafted-lit/gcd1_false-no-overflow.c false(no-overflow) 7.40 4.46 241217536 false(no-overflow) 7.47 4.56 241729536
termination-crafted-lit/joey_false-no-overflow.c false(no-overflow) 8.60 5.26 253235200 false(no-overflow) 8.79 5.32 248877056
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) 7.64 4.59 246677504 false(no-overflow) 7.68 4.61 242966528
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 900    803    1592127488 timeout 901    799    1595203584
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true 9.34 5.58 263696384 true 9.17 5.45 261361664
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true 8.43 5.00 260149248 true 7.69 4.67 246788096
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c timeout 901    767    2680832000 timeout 901    765    2773344256
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c true 9.30 5.67 265834496 true 10.1  5.89 267792384
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c true 28.7  17.1  581861376 true 29.6  17.6  581451776
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c timeout 900    787    4523302912 timeout 900    791    4516372480
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true 300    251    5062770688 true 310    256    4948865024
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true 10.0  6.01 282791936 true 10.1  6.04 278646784
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true 12.4  7.40 354557952 true 11.7  7.00 368799744
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true 9.58 5.81 280604672 true 9.89 6.00 281612288
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true 8.07 4.89 247947264 true 8.40 5.04 246030336
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true 8.26 5.02 250458112 true 8.22 5.02 247054336
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c true 12.1  7.17 364724224 true 12.5  7.52 361345024
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c timeout 901    774    1907245056 timeout 901    777    1719828480
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c true 14.5  8.91 455208960 true 14.2  8.80 459890688
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c true 14.3  8.79 438083584 true 13.5  8.25 432250880
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c true 10.8  6.38 303783936 true 10.7  6.42 311717888
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c timeout 901    822    3629780992 timeout 901    825    3666780160
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c true 14.6  8.91 447139840 true 14.2  8.76 438751232
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true 8.06 4.86 249384960 true 8.33 4.99 253571072
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c timeout 901    765    2478047232 timeout 901    770    2670161920
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c timeout 901    762    6870142976 timeout 900    762    6729629696
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c true 301    250    5065449472 true 298    248    5000208384
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c true 7.00 4.30 227971072 true 6.78 4.18 224751616
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c true 7.81 4.77 244334592 true 7.98 4.74 245547008
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c true 8.47 5.17 252768256 true 8.59 5.19 251678720
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c true 8.44 5.10 248446976 true 8.46 5.10 245817344
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c true 8.45 5.10 256098304 true 8.14 4.97 248344576
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c true 8.94 5.31 253661184 true 8.85 5.27 258736128
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c true 10.4  6.32 282931200 true 10.2  6.16 287498240
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c true 9.23 5.57 251523072 true 8.98 5.39 250470400
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c true 8.79 5.43 260300800 true 9.33 5.72 262930432
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c true 220    155    1801781248 true 206    148    1754169344
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 901    803    1949667328 timeout 900    805    1888907264
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c true 8.02 4.93 246956032 true 7.90 4.80 246493184
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c true 13.8  8.52 444329984 true 14.1  8.68 446607360
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c true 7.65 4.66 248324096 true 8.04 4.88 253911040
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c true 10.2  6.05 274137088 true 9.90 5.96 273555456
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c true 7.62 4.67 246714368 true 8.11 4.87 247156736
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c timeout 901    769    2368397312 timeout 901    767    2546978816
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c true 7.69 4.66 246542336 true 7.78 4.77 245661696
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c true 8.92 5.32 249655296 true 8.64 5.24 250859520
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout 900    797    1157357568 timeout 900    798    1152811008
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c true 15.8  9.47 468652032 true 15.3  9.18 481210368
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c true 53.0  33.9  825450496 true 52.6  33.8  752275456
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c true 9.75 5.85 265875456 true 9.19 5.52 258711552
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c true 8.29 5.00 246091776 true 7.89 4.84 246108160
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true 7.74 4.70 248938496 true 7.60 4.67 247291904
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c true 8.92 5.39 265277440 true 9.50 5.74 266149888
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c true 7.38 4.58 256647168 true 7.74 4.69 250552320
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c true 10.1  6.10 279117824 true 9.75 5.94 280223744
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c true 7.85 4.75 246947840 true 8.09 4.88 244965376
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c true 7.87 4.67 245370880 true 7.54 4.60 246267904
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c true 8.80 5.44 266014720 true 9.09 5.45 263090176
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c true 9.35 5.62 260341760 true 8.64 5.21 258310144
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c true 9.57 5.67 276586496 true 9.44 5.60 264937472
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c true 7.68 4.69 245911552 true 7.72 4.69 249245696
termination-crafted-lit/aviad_true-termination_true-no-overflow.c true 588    481    4076687360 true 601    489    4212875264
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c true 9.16 5.47 256479232 true 8.89 5.36 259325952
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c true 9.18 5.43 254906368 true 9.12 5.42 261013504
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c true 8.27 5.04 251088896 true 7.94 4.89 250720256
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c true 9.36 5.59 252973056 true 9.09 5.50 252637184
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c true 8.96 5.38 259112960 true 9.20 5.48 256323584
termination-crafted-lit/genady_true-termination_true-no-overflow.c true 13.8  8.50 424726528 true 13.4  8.18 431493120
termination-crafted-lit/strchr_true-no-overflow_true-termination.c true 8.61 5.10 250060800 true 8.08 4.90 253440000
termination-numeric/Addition01_false-no-overflow.c false(no-overflow) 7.27 4.42 243236864 false(no-overflow) 7.32 4.49 240164864
termination-numeric/Avg_true_false-no-overflow.c false(no-overflow) 7.55 4.70 245923840 false(no-overflow) 7.53 4.59 245985280
termination-numeric/Binomial_true-termination_false-no-overflow.c timeout 900    875    920252416 timeout 900    874    936026112
termination-numeric/Et1_true_false-no-overflow.c false(no-overflow) 7.49 4.51 243286016 false(no-overflow) 7.22 4.49 246820864
termination-numeric/Et2_true_false-no-overflow.c false(no-overflow) 7.91 4.75 244170752 false(no-overflow) 7.37 4.45 250245120
termination-numeric/Et3_true_false-no-overflow.c false(no-overflow) 7.32 4.45 246685696 false(no-overflow) 7.20 4.45 241917952
termination-numeric/Et4_true_false-no-overflow.c false(no-overflow) 7.74 4.73 247308288 false(no-overflow) 7.58 4.61 245129216
termination-numeric/MultCommutative_false-no-overflow.c false(no-overflow) 15.6  9.46 459845632 false(no-overflow) 15.3  9.27 464523264
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c timeout 900    892    921763840 timeout 900    892    963653632
termination-numeric/Ackermann01_true-termination_true-no-overflow.c timeout 901    763    6671413248 timeout 900    747    7549706240
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c true 18.9  11.8  500690944 true 18.1  11.4  500633600
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c timeout 901    830    5664460800 timeout 901    834    4824203264
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c true 8.94 5.45 255004672 true 8.98 5.46 255377408
termination-numeric/LogRecursive_true-termination_true-no-overflow.c timeout 900    895    491773952 timeout 900    895    520470528
termination-numeric/Parts_true-termination_true-no-overflow.c timeout 900    780    4775989248 timeout 900    780    3544252416
termination-numeric/TwoWay_true-termination_true-no-overflow.c true 21.9  14.5  569909248 true 21.0  13.9  512602112
termination-numeric/gcd01_true-termination_true-no-overflow.c true 8.91 5.45 263155712 true 9.59 5.73 263704576
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true 77.3  52.6  914423808 true 78.3  53.0  911892480
termination-numeric/recHanoi02_true-termination_true-no-overflow.c true 115    80.4  956694528 true 113    79.5  1126801408
termination-numeric/rec_counter1_true-termination_true-no-overflow.c timeout 901    766    4626018304 timeout 901    765    4556341248
termination-numeric/rec_counter3_true-termination_true-no-overflow.c timeout 901    766    4569378816 timeout 901    768    4215283712
termination-numeric/twisted_true-termination_true-no-overflow.c timeout 900    800    918196224 timeout 901    801    916537344
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 280 30900 26600 167056408576 280 30900 26600 165604749312
    correct results 250 3880 2660 84888076288 250 3890 2660 84731265024
        correct true 100 2680 1930 47302094848 100 2680 1930 47191113728
        correct false 150 1200 735 37585981440 150 1210 736 37540151296
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (280 tasks, max score: 402) 350 350
Run set sv-comp19_prop-nooverflow.NoOverflows-BitVectors sv-comp19_prop-nooverflow.NoOverflows-BitVectors