Tool ULTIMATE Automizer 0.1.24-91b1670e
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-43-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Run set ultimateautomizer--overflows.ultimateautomizer ultimateautomizer-ultimateautomizer--overflows-validation.witnessValidation
Options --full-output --full-output --validate test/results/ultimateautomizer--overflows.logfiles/ultimateautomizer.${inputfile_name}.files/witness.graphml
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i false(no-overflow) 7.25 4.50 302010368 false(no-overflow) 7.63   4.83   313962496
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) 7.79 4.43 317517824 false(no-overflow) 8.34   4.69   316518400
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) 7.59 4.70 311812096 false(no-overflow) 7.70   4.75   317911040
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) 7.93 4.40 315248640 false(no-overflow) 7.38   4.55   314003456
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) 6.89 4.02 314212352 false(no-overflow) 7.98   4.49   316334080
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) 8.00 4.92 317202432 false(no-overflow) 8.46   4.99   322371584
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) 7.55 4.68 313450496 false(no-overflow) 8.08   4.59   318488576
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) 7.84 4.88 320315392 false(no-overflow) 7.98   4.51   316641280
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) 7.07 4.45 313667584 false(no-overflow) 7.61   4.69   309252096
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) 7.43 4.57 312582144 false(no-overflow) 7.86   4.79   317366272
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i true 7.94 4.53 317767680 true 7.29   4.17   310046720
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i true 7.92 4.88 317415424 true 8.33   4.73   328400896
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i true 9.22 5.58 310988800 true 7.31   4.18   313679872
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i true 7.34 4.52 308932608 true 7.91   4.87   311681024
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i true 7.25 4.48 305848320 true 7.54   4.60   309673984
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) 6.83 3.95 307433472 false(no-overflow) 6.94   4.49   312131584
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) 7.51 4.27 314806272 false(no-overflow) 7.37   4.72   313483264
termination-crafted/Ackermann_false-no-overflow.c false(no-overflow) 8.27 4.72 315523072 false(no-overflow) 7.21   4.70   315817984
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) 6.80 4.39 307937280 false(no-overflow) 6.30   4.11   299610112
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) 6.42 4.16 298684416 false(no-overflow) 6.98   4.44   307171328
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) 6.91 4.35 312913920 false(no-overflow) 6.89   4.43   314646528
termination-crafted/Binary_Search_false-no-overflow.c false(no-overflow) 7.33 4.68 308944896 false(no-overflow) 7.64   4.66   314867712
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) 7.55 4.34 313741312 false(no-overflow) 7.67   4.41   317321216
termination-crafted/Cairo_step2_false-no-overflow.c timeout 961    800    1702035456 error (2) .0499 .0508 5509120
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) 7.86 4.48 317620224 false(no-overflow) 7.13   4.16   321122304
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) 7.61 4.28 320282624 false(no-overflow) 7.43   4.68   312246272
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) 7.25 4.60 313327616 false(no-overflow) 7.10   4.61   312066048
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) 7.02 4.52 313040896 false(no-overflow) 7.25   4.22   314843136
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) 6.69 4.27 306978816 false(no-overflow) 6.80   4.38   308920320
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) 6.99 4.09 313552896 false(no-overflow) 6.79   4.41   309743616
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) 7.73 4.58 319090688 false(no-overflow) 7.37   4.70   310628352
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) 7.22 4.57 317116416 false(no-overflow) 6.58   4.31   313790464
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) 7.46 4.72 315277312 false(no-overflow) 6.87   4.38   304648192
termination-crafted/NestedRecursion_1a_false-no-overflow.c false(no-overflow) 7.05 4.53 319553536 false(no-overflow) 7.37   4.69   310333440
termination-crafted/NestedRecursion_2a_false-no-overflow.c false(no-overflow) 7.35 4.69 314707968 false(no-overflow) 7.66   4.91   326938624
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) 6.85 4.40 304799744 false(no-overflow) 7.21   4.56   311754752
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) 6.87 3.93 303230976 false(no-overflow) 7.24   4.62   310530048
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) 39.4  24.4  687505408 false(no-overflow) 7.65   4.37   311201792
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) 6.60 4.26 298315776 false(no-overflow) 6.80   4.00   304963584
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) 6.92 4.56 305377280 false(no-overflow) 7.36   4.65   314630144
termination-crafted/NonTerminationSimple4_false-no-overflow.c timeout 960    792    1600593920 error (2) .0199 .0203 5591040
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) 7.16 4.54 313360384 false(no-overflow) 6.86   4.40   306487296
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) 6.93 4.35 305119232 false(no-overflow) 6.94   4.46   301985792
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) 6.76 4.41 311410688 false(no-overflow) 7.73   4.82   319770624
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) 7.11 4.47 303656960 false(no-overflow) 6.88   4.37   305762304
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) 7.25 4.65 313425920 false(no-overflow) 8.07   4.50   322289664
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) 6.84 4.40 312782848 false(no-overflow) 7.60   4.75   311635968
termination-crafted/RecursiveMultiplication_false-no-overflow.c false(no-overflow) 7.33 4.21 317014016 false(no-overflow) 6.75   4.42   310005760
termination-crafted/RecursiveNonterminating_false-no-overflow.c false(no-overflow) 7.05 4.44 312606720 false(no-overflow) 7.53   4.71   310116352
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) 6.66 4.28 300617728 false(no-overflow) 7.13   4.50   313622528
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) 6.96 4.00 303534080 false(no-overflow) 7.80   4.35   313741312
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) 6.79 4.38 307212288 false(no-overflow) 7.15   4.67   312406016
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) 6.62 4.33 306937856 false(no-overflow) 7.17   4.55   312184832
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) 7.18 4.13 310800384 false(no-overflow) 6.85   4.43   311357440
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) 7.35 4.17 310788096 false(no-overflow) 7.24   4.13   312193024
termination-crafted/Thun_false-no-overflow.c false(no-overflow) 7.50 4.14 312356864 false(no-overflow) 6.81   3.97   309063680
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) 7.59 4.82 321830912 false(no-overflow) 7.60   4.77   314281984
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) 18.6  11.7  569946112 false(no-overflow) 8.56   4.97   317382656
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) 7.36 4.73 311201792 false(no-overflow) 7.17   4.15   313196544
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) 7.03 4.44 314056704 false(no-overflow) 6.94   4.01   319000576
termination-crafted/easy2_false-no-overflow.c timeout 961    800    4191453184 error (2) .0289 .0303 5525504
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c true 6.92 4.37 311316480 true 7.04   4.14   310726656
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c true 35.7  22.3  587161600 true 33.9    21.3    706715648
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c true 8.39 4.67 321863680 true 8.13   5.14   324612096
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c true 10.2  6.32 357695488 true 10.0    6.31   352096256
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c true 8.49 5.30 315908096 true 7.50   4.83   312238080
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c true 8.00 4.99 327434240 true 7.56   4.37   317575168
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c true 7.81 4.92 327217152 true 8.49   5.31   317636608
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c true 94.8  77.3  641736704 true 79.5    64.0    632672256
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c true 6.55 4.25 302911488 true 5.93   3.62   293036032
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c true 7.81 4.94 318103552 true 8.10   4.61   323772416
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c true 7.58 4.71 316182528 true 7.97   5.04   321806336
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c true 9.17 5.24 321404928 true 8.28   4.79   314675200
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c true 7.34 4.64 312823808 true 7.35   4.74   324481024
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c timeout 961    914    941940736 error (2) .0237 .0241 5533696
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c timeout 961    914    1034072064 error (2) .0303 .0307 5607424
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c true 6.16 4.06 295624704 true 6.50   4.09   308199424
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c timeout 961    844    2902831104 error (2) .0258 .0272 5607424
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c true 10.2  6.36 352014336 true 9.59   5.97   342384640
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c true 13.1  8.21 462671872 true 13.2    7.87   451837952
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c true 11.5  7.13 445992960 true 12.2    7.12   472547328
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c true 25.0  15.3  641949696 true 18.0    11.0    628432896
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c true 17.2  9.87 527880192 true 16.3    9.84   515256320
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c true 14.2  8.47 467607552 true 12.3    7.08   457179136
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c true 18.4  10.9  477077504 true 15.6    9.32   511025152
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c true 19.5  11.4  467226624 true 12.9    8.03   464494592
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c true 22.5  13.5  605036544 true 17.2    10.8    479842304
termination-crafted/NonTermination3_true-no-overflow_false-termination.c true 7.75 4.48 320094208 true 8.30   4.77   317079552
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c true 8.29 5.24 316964864 true 8.14   5.13   317755392
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c true 7.93 4.98 319746048 true 7.97   5.00   319401984
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c true 7.84 4.50 312094720 true 7.78   4.57   317489152
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c true 8.04 4.99 315297792 true 7.78   4.91   318586880
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c true 7.75 4.43 314691584 true 7.88   4.86   315858944
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c true 8.97 5.12 322383872 true 7.95   5.04   317210624
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c true 7.27 4.63 310382592 true 7.19   4.16   312201216
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c true 6.56 3.82 300589056 true 7.08   4.41   306495488
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c true 6.72 4.29 303841280 true 6.75   3.82   306634752
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c true 7.36 4.67 314458112 true 7.66   4.91   317968384
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 961    804    3571482624 error (2) .0264 .0275 5619712
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) 7.09 4.53 315592704 false(no-overflow) 7.02   4.46   311955456
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) 8.23 4.71 320712704 false(no-overflow) 7.59   4.82   312471552
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) 7.23 4.21 312250368 false(no-overflow) 6.84   3.99   311193600
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) 6.84 4.40 302596096 false(no-overflow) 7.28   4.61   317534208
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) 9.35 5.67 319279104 false(no-overflow) 7.85   4.99   316792832
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) 9.35 5.30 311857152 false(no-overflow) 7.66   4.31   311267328
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) 7.67 4.92 313708544 false(no-overflow) 7.22   4.61   312647680
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c timeout 961    801    3815657472 error (2) .0296 .0304 5525504
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) 8.72 4.96 318533632 false(no-overflow) 7.59   4.81   316588032
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) 7.17 4.56 313004032 false(no-overflow) 7.16   4.13   312823808
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c timeout 960    784    1976758272 error (2) .0255 .0263 5627904
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c timeout 962    799    8082796544 error (2) .0197 .0201 5591040
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) 7.04 4.01 311468032 false(no-overflow) 7.27   4.20   313163776
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) 6.87 4.35 309440512 false(no-overflow) 7.23   4.16   307580928
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) 7.05 4.53 311296000 false(no-overflow) 7.30   4.72   318775296
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) 7.83 4.88 315506688 false(no-overflow) 7.89   4.94   322539520
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) 7.65 4.88 315748352 false(no-overflow) 7.45   4.39   314683392
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) 6.74 3.99 321826816 false(no-overflow) 7.74   4.86   321695744
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) 7.10 4.05 310505472 false(no-overflow) 7.53   4.44   318541824
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) 7.19 4.50 313765888 false(no-overflow) 7.01   4.01   311394304
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) 6.87 4.39 310599680 false(no-overflow) 7.28   4.55   311865344
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) 6.95 4.52 311685120 false(no-overflow) 7.43   4.74   312557568
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) 7.02 4.47 314130432 false(no-overflow) 7.16   4.60   318341120
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) 7.18 4.62 314085376 false(no-overflow) 7.92   4.41   320172032
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) 6.99 4.48 306860032 false(no-overflow) 7.05   4.51   314277888
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) 7.26 4.65 316530688 false(no-overflow) 7.43   4.29   318844928
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) 6.81 4.25 303964160 false(no-overflow) 6.85   4.38   310542336
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) 6.80 4.36 306892800 false(no-overflow) 6.69   4.33   299073536
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) 8.86 4.92 305885184 false(no-overflow) 6.71   3.85   301060096
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) 7.39 4.21 316538880 false(no-overflow) 7.65   4.54   318513152
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) 6.82 4.27 305315840 false(no-overflow) 6.91   3.99   306774016
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) 6.36 3.72 296845312 false(no-overflow) 7.04   4.06   309698560
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) 6.74 4.33 305377280 false(no-overflow) 6.77   3.93   301703168
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) 7.14 4.56 317218816 false(no-overflow) 7.26   4.55   309108736
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) 8.18 4.95 304463872 false(no-overflow) 7.27   4.54   305963008
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) 6.96 3.99 300998656 false(no-overflow) 6.80   4.33   311595008
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) 8.79 4.92 330358784 false(no-overflow) 8.56   5.36   318541824
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) 7.58 4.33 314683392 false(no-overflow) 7.44   4.32   320012288
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) 7.01 4.52 308830208 false(no-overflow) 7.25   4.56   316620800
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) 7.03 4.46 311713792 false(no-overflow) 7.40   4.21   312344576
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) 7.42 4.24 315813888 false(no-overflow) 6.98   4.47   314560512
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) 6.87 4.34 306556928 false(no-overflow) 6.92   4.47   312696832
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) 6.74 4.33 311828480 false(no-overflow) 6.99   4.05   311869440
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) 6.92 4.41 312393728 false(no-overflow) 7.04   4.47   312717312
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) 6.77 4.34 307650560 false(no-overflow) 7.12   4.15   304844800
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) 6.96 4.38 308142080 false(no-overflow) 7.08   4.07   307150848
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) 8.36 4.71 310067200 false(no-overflow) 6.93   4.01   309690368
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) 7.33 4.16 312000512 false(no-overflow) 7.04   4.10   317247488
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) 7.06 4.56 316538880 false(no-overflow) 7.18   4.09   314572800
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) 6.65 4.23 324521984 false(no-overflow) 7.12   4.59   309006336
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) 6.85 3.94 313913344 false(no-overflow) 7.18   4.57   314740736
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) 7.25 4.14 310706176 false(no-overflow) 6.82   4.40   310276096
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) 7.87 4.48 313032704 false(no-overflow) 6.69   4.33   297009152
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) 7.35 4.66 317685760 false(no-overflow) 7.31   4.69   316952576
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) 6.79 4.34 309895168 false(no-overflow) 7.34   4.18   313417728
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) 6.81 4.36 308666368 false(no-overflow) 7.12   4.61   310890496
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) 6.86 4.32 314384384 false(no-overflow) 7.09   4.56   317009920
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) 6.57 4.27 307412992 false(no-overflow) 7.16   4.65   311619584
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) 6.55 3.82 309084160 false(no-overflow) 7.36   4.71   325890048
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) 6.83 4.36 308338688 false(no-overflow) 7.22   4.55   317444096
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) 7.61 4.75 315019264 false(no-overflow) 7.55   4.38   320565248
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) 6.92 4.00 300216320 false(no-overflow) 7.80   4.69   319275008
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) 7.49 4.70 312037376 false(no-overflow) 7.36   4.19   314806272
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) 6.59 4.20 311435264 false(no-overflow) 6.93   4.37   311263232
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) 7.39 4.29 314638336 false(no-overflow) 6.90   4.46   310956032
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) 9.69 5.60 330616832 false(no-overflow) 7.75   4.84   317046784
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) 7.57 4.58 311840768 false(no-overflow) 7.18   4.49   310607872
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) 11.0  6.88 391319552 false(no-overflow) 9.32   5.47   331128832
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) 8.39 4.76 303308800 false(no-overflow) 7.08   4.43   307523584
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) 6.60 4.27 308879360 false(no-overflow) 7.22   4.57   314576896
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c false(no-overflow) 10.5  6.32 318099456 false(no-overflow) 8.53   5.39   319901696
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c false(no-overflow) 7.86 4.98 314769408 false(no-overflow) 7.32   4.21   319393792
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c false(no-overflow) 6.74 4.39 311033856 false(no-overflow) 7.24   4.61   312049664
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c false(no-overflow) 6.93 4.49 308473856 false(no-overflow) 7.21   4.52   309915648
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) 6.74 4.39 313597952 false(no-overflow) 6.72   4.45   308953088
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) 7.40 4.69 315469824 false(no-overflow) 7.26   4.28   313958400
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) 7.16 4.07 313786368 false(no-overflow) 6.76   4.33   300261376
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) 8.37 5.06 307437568 false(no-overflow) 6.87   4.38   303243264
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) 6.60 4.28 307949568 false(no-overflow) 6.88   4.01   307929088
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) 6.71 4.33 310853632 false(no-overflow) 6.73   4.40   307773440
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) 6.60 4.25 308723712 false(no-overflow) 6.92   4.04   302710784
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) 7.35 4.22 308064256 false(no-overflow) 7.05   4.07   309452800
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) 6.77 4.30 310775808 false(no-overflow) 7.08   4.51   312057856
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) 8.03 4.58 316387328 false(no-overflow) 7.23   4.62   310988800
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 8.20 5.13 317263872 false(no-overflow) 7.42   4.65   314916864
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) 8.02 5.08 317394944 false(no-overflow) 7.32   4.70   319635456
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 7.68 4.94 319217664 false(no-overflow) 7.23   4.17   314630144
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c false(no-overflow) 6.85 3.95 309411840 false(no-overflow) 7.52   4.68   310566912
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) 7.05 4.56 320446464 false(no-overflow) 7.25   4.66   316719104
termination-crafted-lit/cstrncmp_false-no-overflow.c false(no-overflow) 8.77 4.99 317399040 false(no-overflow) 8.51   5.40   318267392
termination-crafted-lit/gcd1_false-no-overflow.c false(no-overflow) 7.15 4.57 316059648 false(no-overflow) 7.28   4.71   321130496
termination-crafted-lit/joey_false-no-overflow.c false(no-overflow) 8.39 5.25 315559936 false(no-overflow) 7.66   4.39   312860672
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) 7.17 4.63 310968320 false(no-overflow) 7.00   4.13   313622528
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 961    849    2265800704 error (2) .0198 .0202 5603328
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true 9.40 5.79 324825088 true 9.00   5.13   319262720
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true 8.30 5.07 316678144 true 7.98   5.04   325464064
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c timeout 961    802    3828826112 error (2) .0503 .0511 5537792
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c true 8.64 4.98 321634304 true 9.39   5.28   325763072
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c true 21.3  12.7  562196480 true 37.5    25.9    612798464
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c timeout 961    830    4540596224 error (2) .0201 .0206 5611520
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true 206    165    5019885568 true 181      137      2097770496
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true 9.26 5.69 331988992 true 9.31   5.39   325816320
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true 9.93 5.83 363536384 true 9.68   5.64   346648576
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true 8.75 5.48 321265664 true 9.57   5.84   327663616
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true 8.13 4.67 319385600 true 7.95   4.97   317603840
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true 7.48 4.80 314077184 true 8.36   5.28   321150976
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c true 11.2  6.39 382840832 true 9.97   5.81   331460608
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c timeout 961    823    2246737920 error (2) .0199 .0202 5603328
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c true 13.8  8.45 475586560 true 8.65   5.01   318705664
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c true 11.3  6.72 433672192 true 9.52   5.94   338128896
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c true 9.86 5.66 331255808 true 9.00   5.16   321900544
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c timeout 961    881    4685385728 error (2) .0238 .0243 5537792
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c true 13.9  8.52 464543744 true 11.7    7.22   455401472
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true 9.31 5.25 313061376 true 7.92   4.44   320880640
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c timeout 961    800    3874320384 error (2) .0383 .0391 5713920
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c timeout 961    797    8110010368 error (2) .0204 .0209 5603328
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c true 206    166    4912627712 true 176      133      1991229440
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c true 6.78 4.37 307974144 true 6.20   4.10   301645824
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c true 9.29 5.24 317472768 true 7.26   4.62   314249216
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c true 8.13 5.11 320966656 true 7.62   4.90   317579264
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c true 7.53 4.78 315617280 true 7.90   4.96   319164416
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c true 8.40 4.74 315637760 true 7.73   4.87   319811584
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c true 8.03 4.67 316112896 true 8.59   5.27   316211200
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c true 8.80 5.45 316874752 true 8.75   5.44   315826176
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c true 8.90 5.07 315256832 true 8.22   5.22   319565824
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c true 8.33 5.24 328036352 true 8.06   5.06   309735424
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c true 160    108    1998475264 true 43.6    30.4    898416640
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 961    834    3471908864 error (2) .0487 .0496 5541888
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c true 8.65 4.82 324435968 true 7.91   4.52   318705664
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c true 11.6  6.88 448233472 true 11.7    6.87   441520128
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c true 7.69 4.81 317403136 true 7.28   4.69   314773504
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c true 8.91 5.46 320028672 true 8.69   5.10   325337088
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c true 7.25 4.62 313339904 true 8.29   5.16   315432960
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c timeout 961    795    4743610368 error (2) .0489 .0499 5545984
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c true 7.03 4.42 311943168 true 7.68   4.91   321040384
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c true 7.68 4.79 312217600 true 7.96   5.06   319062016
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout 961    858    1620643840 error (2) .0256 .0264 5599232
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c true 13.7  7.96 471072768 true 11.3    6.58   407347200
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c true 26.7  15.8  615944192 true 16.4    10.3    466051072
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c true 7.98 5.09 315289600 true 8.57   4.94   315166720
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c true 7.92 5.01 323026944 true 8.33   4.77   316239872
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true 7.11 4.16 321187840 true 7.79   4.94   319782912
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c true 8.71 5.48 328024064 true 8.69   5.40   320684032
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c true 7.02 4.47 309780480 true 7.52   4.74   313376768
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c true 8.73 5.43 323313664 true 8.38   4.89   322244608
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c true 7.72 4.42 317595648 true 7.60   4.89   323153920
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c true 7.22 4.55 309821440 true 8.12   4.55   321220608
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c true 8.32 5.26 321282048 true 7.90   4.56   320847872
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c true 8.03 5.12 317763584 true 8.50   4.97   324505600
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c true 8.66 5.00 320077824 true 8.75   5.50   316948480
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c true 8.37 4.76 315736064 true 7.32   4.68   319557632
termination-crafted-lit/aviad_true-termination_true-no-overflow.c timeout 961    778    7896002560 error (2) .0198 .0206 5718016
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c true 7.98 4.94 314429440 true 7.60   4.79   313069568
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c true 8.17 4.65 313131008 true 8.35   5.17   315936768
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c true 8.11 5.03 313946112 true 7.56   4.75   315580416
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c true 7.82 4.92 315641856 true 8.32   4.77   321466368
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c true 8.19 5.14 317296640 true 7.48   4.41   312852480
termination-crafted-lit/genady_true-termination_true-no-overflow.c true 11.7  6.99 453607424 true 11.0    6.42   401731584
termination-crafted-lit/strchr_true-no-overflow_true-termination.c true 8.71 5.18 316956672 true 7.83   4.96   318005248
termination-numeric/Addition01_false-no-overflow.c false(no-overflow) 8.48 5.19 313679872 false(no-overflow) 7.05   4.57   311074816
termination-numeric/Avg_true_false-no-overflow.c false(no-overflow) 7.08 4.50 311054336 false(no-overflow) 7.48   4.72   313987072
termination-numeric/Binomial_true-termination_false-no-overflow.c timeout 960    938    1013772288 error (2) .0199 .0205 5619712
termination-numeric/Et1_true_false-no-overflow.c false(no-overflow) 6.90 4.44 312377344 false(no-overflow) 7.20   4.20   313077760
termination-numeric/Et2_true_false-no-overflow.c false(no-overflow) 6.93 4.43 311103488 false(no-overflow) 7.55   4.76   314576896
termination-numeric/Et3_true_false-no-overflow.c false(no-overflow) 6.98 4.43 304394240 false(no-overflow) 7.07   4.08   309399552
termination-numeric/Et4_true_false-no-overflow.c false(no-overflow) 7.39 4.22 310607872 false(no-overflow) 7.22   4.55   314310656
termination-numeric/MultCommutative_false-no-overflow.c false(no-overflow) 12.7  7.43 454000640 false(no-overflow) 12.9    7.20   373243904
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c timeout 960    953    1162874880 error (2) .0520 .0529 5545984
termination-numeric/Ackermann01_true-termination_true-no-overflow.c timeout 961    743    11642941440 error (2) .0233 .0243 5619712
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c true 15.9  9.78 496590848 true 14.0    8.84   467038208
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c timeout 961    894    5748764672 error (2) .0268 .0277 5611520
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c true 10.5  5.95 316522496 true 8.16   5.11   313765888
termination-numeric/LogRecursive_true-termination_true-no-overflow.c timeout 960    954    740270080 error (2) .0496 .0503 5410816
termination-numeric/Parts_true-termination_true-no-overflow.c timeout 960    842    4727267328 error (2) .0522 .0532 5529600
termination-numeric/TwoWay_true-termination_true-no-overflow.c true 15.8  10.8  466796544 true 16.0    10.8    467124224
termination-numeric/gcd01_true-termination_true-no-overflow.c true 8.88 5.59 317833216 true 8.24   5.22   313757696
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true 57.3  38.2  886394880 true 55.5    36.9    771584000
termination-numeric/recHanoi02_true-termination_true-no-overflow.c true 81.2  51.5  838074368 true 81.0    51.0    964427776
termination-numeric/rec_counter1_true-termination_true-no-overflow.c timeout 960    798    4655951872 error (2) .0512 .0537 5537792
termination-numeric/rec_counter3_true-termination_true-no-overflow.c timeout 960    798    4600963072 error (2) .0496 .0505 5521408
termination-numeric/twisted_true-termination_true-no-overflow.c timeout 961    865    1188532224 error (2) .0288 .0293 5607424
recursive/Addition02WithOverflowBug_false-no-overflow.c false(no-overflow) 6.98 4.53 312344576 false(no-overflow) 7.21   4.64   317628416
recursive/Addition03_false-no-overflow.c false(no-overflow) 7.42 4.26 310992896 false(no-overflow) 6.71   4.39   310960128
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c false(no-overflow) 7.80 4.50 318623744 false(no-overflow) 7.55   4.70   314191872
recursive/Ackermann01_true-unreach-call_true-no-overflow.c timeout 961    740    11290497024 error (2) .0201 .0206 5599232
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c timeout 961    741    11563253760 error (2) .0233 .0238 5529600
recursive/Ackermann03_true-unreach-call_true-no-overflow.c timeout 961    739    11653304320 error (2) .0269 .0277 5603328
recursive/Ackermann04_true-unreach-call_true-no-overflow.c timeout 961    762    10594525184 error (2) .0202 .0206 5611520
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c timeout 960    799    3166990336 error (2) .0228 .0233 5619712
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c timeout 961    797    3523866624 error (2) .0262 .0270 5533696
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c timeout 961    862    2581999616 error (2) .0250 .0260 5619712
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c true 7.00 4.43 307965952 true 6.74   4.26   305528832
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c true 15.1  9.47 504053760 true 14.5    9.06   466931712
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c true 15.0  9.38 460005376 true 13.7    8.73   503853056
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c timeout 961    902    5425438720 error (2) .0292 .0297 5599232
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c true 38.4  23.6  1090076672 true 31.7    19.2    1055268864
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c timeout 961    906    5373149184 error (2) .0439 .0448 5521408
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c timeout 961    895    5436157952 error (2) .0287 .0294 5529600
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c timeout 961    894    5469782016 error (2) .0268 .0276 5619712
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c true 11.4  6.54 349859840 true 9.67   5.57   340672512
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c true 10.2  6.28 354922496 true 9.76   5.58   335933440
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c timeout 961    809    1570394112 error (2) .0198 .0202 5595136
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c timeout 961    813    1840680960 error (2) .0459 .0487 5541888
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c true 8.74 5.52 318562304 true 8.22   5.23   313991168
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c true 20.1  12.4  560066560 true 15.3    9.36   507609088
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c timeout 961    858    4680536064 error (2) .0431 .0440 5533696
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c true 90.0  57.2  1048395776 true 74.2    48.4    1102942208
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c true 84.1  52.9  981073920 true 80.9    51.1    883122176
recursive-simple/id_b3_o2_false-no-overflow.c false(no-overflow) 7.65 4.86 315043840 false(no-overflow) 7.65   4.80   324628480
recursive-simple/id_b3_o5_false-no-overflow.c false(no-overflow) 8.33 4.69 319635456 false(no-overflow) 8.11   4.56   320679936
recursive-simple/id_b5_o10_false-no-overflow.c false(no-overflow) 7.67 4.74 316764160 false(no-overflow) 8.06   4.91   321253376
recursive-simple/sum_non_eq_false-no-overflow.c false(no-overflow) 7.32 4.24 318033920 false(no-overflow) 7.43   4.89   321851392
recursive-simple/sum_non_false-no-overflow.c false(no-overflow) 8.75 5.47 319934464 false(no-overflow) 8.48   4.90   322596864
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 6.96 4.51 310386688 true 6.82   4.34   309080064
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 7.75 4.29 317669376 true 6.88   3.94   321646592
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 6.94 3.99 311365632 true 6.79   4.30   306966528
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 7.27 4.50 315314176 true 7.24   4.56   310292480
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 6.85 4.36 305913856 true 7.03   4.08   310079488
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 8.89 5.58 324628480 true 8.66   4.99   319098880
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 8.81 5.49 332193792 true 9.01   5.15   323215360
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 9.62 5.45 317186048 true 9.22   5.74   318201856
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c true 6.39 4.12 305590272 true 6.99   4.37   311136256
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c true 7.11 4.54 321642496 true 6.69   4.25   296566784
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c true 6.34 3.77 300326912 true 6.38   3.70   292782080
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c true 7.56 4.23 312971264 true 6.36   4.19   295833600
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c true 6.47 4.18 307208192 true 7.14   4.32   307556352
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c true 6.78 3.90 302063616 true 6.65   4.30   302858240
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c true 7.50 4.76 315428864 true 6.36   4.14   298188800
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c true 7.13 4.55 319090688 true 6.51   4.21   296488960
bitvector/byte_add_1_false-no-overflow.i error 34.4  20.9  655429632 error (2) .0310 .0314 5484544
bitvector/byte_add_2_false-no-overflow.i error 32.6  19.7  677273600 error (2) .0257 .0264 5611520
bitvector/byte_add_false-no-overflow.i error 44.7  30.1  692555776 error (2) .0270 .0274 5611520
bitvector/jain_1_false-no-overflow.i false(no-overflow) 6.60 4.30 309424128 false(no-overflow) 7.19   4.67   320253952
bitvector/jain_2_false-no-overflow.i false(no-overflow) 6.85 4.32 309161984 false(no-overflow) 7.26   4.59   310390784
bitvector/jain_4_false-no-overflow.i false(no-overflow) 6.82 4.38 312123392 false(no-overflow) 7.36   4.73   311365632
bitvector/jain_5_false-no-overflow.i timeout 961    806    3173036032 error (2) .0409 .0423 5545984
bitvector/jain_6_false-no-overflow.i false(no-overflow) 7.40 4.67 314216448 false(no-overflow) 7.50   4.75   312426496
bitvector/jain_7_false-no-overflow.i false(no-overflow) 7.60 4.31 316018688 false(no-overflow) 7.15   4.61   312446976
bitvector/modulus_false-no-overflow.i error 7.08 4.51 309747712 error (2) .0223 .0229 5611520
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i true 8.20 4.72 316575744 true 8.11   4.76   317513728
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i true 8.04 5.02 317890560 true 8.27   5.19   317493248
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i true 10.7  6.09 320561152 true 8.39   5.23   317550592
bitvector/gcd_1_true-unreach-call_true-no-overflow.i true 8.14 5.13 321769472 true 8.43   4.88   328478720
bitvector/gcd_2_true-unreach-call_true-no-overflow.i true 8.90 5.19 313794560 true 8.02   4.65   315281408
bitvector/gcd_3_true-unreach-call_true-no-overflow.i true 8.27 5.19 315711488 true 8.11   5.13   316452864
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i true 17.1  10.9  476200960 true 16.2    9.85   499466240
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i true 8.66 4.86 317505536 true 7.00   4.00   311304192
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i true 7.24 4.12 307896320 true 6.86   3.94   307486720
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i true 7.16 4.09 307896320 true 6.71   4.29   304103424
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i true 7.06 4.49 308723712 true 6.97   4.45   314068992
bitvector/jain_5_true-unreach-call_true-no-overflow.i true 6.56 4.20 300380160 true 6.63   3.84   302886912
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i true 8.36 5.05 309211136 true 6.56   4.24   303312896
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i true 6.80 4.32 308076544 true 6.59   4.21   299593728
bitvector/modulus_true-unreach-call_true-no-overflow.i error 6.84 4.41 310116352 error (2) .0489 .0497 5525504
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i error 7.02 4.51 315830272 error (2) .0209 .0213 5619712
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i error 6.92 4.36 311906304 error (2) .0220 .0226 5537792
bitvector/parity_true-unreach-call_true-no-overflow.i true 6.93 4.41 309284864 true 7.00   4.37   303661056
bitvector/sum02_false-unreach-call_true-no-overflow.i true 7.56 4.73 307453952 true 6.97   3.97   308113408
bitvector/sum02_true-unreach-call_true-no-overflow.i true 6.86 4.34 308879360 true 6.68   4.27   307429376
psyco/psyco_abp_1_false-no-overflow.c timeout 961    874    5466779648 error (2) .0305 .0310 5668864
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i unknown 7.55 4.53 304500736 error (2) .0495 .0505 5533696
busybox-1.22.0/chroot-incomplete_false-no-overflow.i unknown 7.69 4.28 294866944 error (2) .0190 .0200 5726208
busybox-1.22.0/cut_false-no-overflow.i unknown 8.31 4.80 296747008 error (2) .0266 .0272 5599232
busybox-1.22.0/date_false-no-overflow.i unknown 8.82 5.11 316526592 error (2) .0518 .0528 5545984
busybox-1.22.0/du_false-no-overflow.i unknown 9.70 5.17 315850752 error (2) .0302 .0313 5627904
busybox-1.22.0/echo_false-no-overflow.i unknown 7.80 4.44 294838272 error (2) .0195 .0199 5627904
busybox-1.22.0/expand_false-no-overflow.i unknown 7.67 4.39 298614784 error (2) .0267 .0275 5533696
busybox-1.22.0/fold_false-no-overflow.i unknown 8.19 4.61 305729536 error (2) .0400 .0413 5541888
busybox-1.22.0/head_false-no-overflow.i unknown 8.01 4.71 305094656 error (2) .0244 .0248 5554176
busybox-1.22.0/logname_false-no-overflow.i unknown 7.96 4.45 304951296 error (2) .0281 .0286 5591040
busybox-1.22.0/ls-incomplete_false-no-overflow.i error (7) 8.81 5.05 308756480 error (2) .0264 .0272 5509120
busybox-1.22.0/mkdir_false-no-overflow.i unknown 8.41 4.91 307400704 error (2) .0537 .0547 5545984
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i unknown 7.39 4.30 298942464 error (2) .0205 .0209 5599232
busybox-1.22.0/od_false-no-overflow.i unknown 8.53 4.85 303091712 error (2) .0197 .0203 5619712
busybox-1.22.0/printf_false-no-overflow.i unknown 8.37 4.66 296693760 error (2) .0503 .0510 5545984
busybox-1.22.0/readlink_false-no-overflow.i unknown 7.89 4.66 302694400 error (2) .0200 .0203 5607424
busybox-1.22.0/realpath_false-no-overflow.i unknown 7.58 4.57 299872256 error (2) .0317 .0323 5619712
busybox-1.22.0/rm_false-no-overflow.i unknown 8.56 4.79 280469504 error (2) .0265 .0273 5734400
busybox-1.22.0/seq_false-no-overflow.i unknown 7.79 4.71 300625920 error (2) .0262 .0266 5537792
busybox-1.22.0/sleep_false-no-overflow.i unknown 8.02 4.56 299610112 error (2) .0289 .0294 5533696
busybox-1.22.0/stty_false-no-overflow.i unknown 9.06 5.13 328507392 error (2) .0212 .0216 5529600
busybox-1.22.0/sync_false-no-overflow.i unknown 7.38 4.56 294707200 error (2) .0285 .0301 5607424
busybox-1.22.0/tac_false-no-overflow.i unknown 7.82 4.42 305520640 error (2) .0198 .0201 5742592
busybox-1.22.0/tee_false-no-overflow.i unknown 10.2  5.51 308256768 error (2) .0199 .0203 5619712
busybox-1.22.0/test-incomplete_false-no-overflow.i unknown 8.00 4.81 297795584 error (2) .0194 .0199 5402624
busybox-1.22.0/touch_false-no-overflow.i unknown 8.18 4.82 294068224 error (2) .0198 .0202 5607424
busybox-1.22.0/uname_false-no-overflow.i unknown 8.07 4.50 298713088 error (2) .0199 .0203 5615616
busybox-1.22.0/uniq_false-no-overflow.i unknown 8.14 4.58 308998144 error (2) .0507 .0515 5537792
busybox-1.22.0/usleep_false-no-overflow.i unknown 7.73 4.49 300728320 error (2) .0404 .0410 5550080
busybox-1.22.0/uudecode_false-no-overflow.i unknown 8.79 4.86 307548160 error (2) .0247 .0271 5648384
busybox-1.22.0/wc_false-no-overflow.i unknown 8.36 4.72 327671808 error (2) .0261 .0267 5611520
busybox-1.22.0/who_false-no-overflow.i unknown 8.20 4.65 305315840 error (2) .0212 .0216 5619712
busybox-1.22.0/whoami-incomplete_false-no-overflow.i unknown 7.47 4.42 294797312 error (2) .0199 .0202 5595136
busybox-1.22.0/yes_false-no-overflow.i unknown 7.97 4.51 307716096 error (2) .0307 .0311 5541888
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (7) 225    192    2598006784 error (2) .0272 .0282 5545984
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i unknown 7.59 4.39 300126208 error (2) .0239 .0243 5545984
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.87 4.49 298487808 error (2) .0297 .0306 5537792
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.77 4.98 294526976 error (2) .0200 .0204 5611520
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.49 4.90 302731264 error (2) .0293 .0299 5603328
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i error (7) 166    134    2705436672 error (2) .0264 .0274 5603328
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i unknown 8.34 4.69 308162560 error (2) .0253 .0261 5541888
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i unknown 7.32 4.47 298278912 error (2) .0200 .0204 5607424
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.03 4.51 294178816 error (2) .0305 .0315 5619712
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i unknown 8.21 4.59 296873984 error (2) .0508 .0517 5505024
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i unknown 8.27 4.54 310194176 error (2) .0201 .0205 5599232
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i true 18.7  10.6  491905024 true 19.5    10.5    528269312
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i unknown 7.71 4.48 301879296 error (2) .0200 .0206 5607424
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (7) 9.51 5.34 310394880 error (2) .0247 .0254 5615616
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i unknown 8.51 4.79 302600192 error (2) .0202 .0205 5599232
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.18 4.12 291246080 error (2) .0214 .0218 5615616
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.59 5.04 293302272 error (2) .0254 .0262 5603328
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.60 4.80 298258432 error (2) .0199 .0203 5623808
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i unknown 8.07 4.65 299241472 error (2) .0263 .0271 5537792
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i unknown 7.71 4.38 303468544 error (2) .0197 .0201 5611520
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i unknown 8.18 4.63 300085248 error (2) .0521 .0530 5529600
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i unknown 8.07 4.69 298942464 error (2) .0203 .0207 5595136
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i unknown 8.36 4.84 303407104 error (2) .0516 .0532 5525504
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 10.9  5.92 320425984 error (2) .0514 .0522 5521408
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i unknown 7.57 4.51 304271360 error (2) .0246 .0251 5603328
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i unknown 7.94 4.41 304013312 error (2) .0257 .0264 5607424
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i unknown 7.98 4.48 306814976 error (2) .0286 .0294 5595136
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.60 4.81 299708416 error (2) .0252 .0264 5607424
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 10.7  5.88 304332800 error (2) .0201 .0208 5763072
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i unknown 7.94 4.37 300142592 error (2) .0239 .0247 5607424
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i unknown 7.89 4.44 307183616 error (2) .0251 .0261 5566464
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i unknown 7.63 4.41 305819648 error (2) .0202 .0206 5603328
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i unknown 8.12 4.82 305827840 error (2) .0199 .0203 5615616
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.32 4.79 305401856 error (2) .0215 .0221 5599232
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i unknown 7.89 4.48 292163584 error (2) .0386 .0457 5611520
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.81 4.35 300503040 error (2) .0199 .0203 5615616
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i unknown 7.69 4.56 300068864 error (2) .0517 .0532 5525504
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 430 48900 41300 351050166272 430 3250 2070 108878385152
    correct results 307 3580 2300 116499382272 307 3250 2070 108191559680
        correct true 144 2330 1540 64756244480 144 2050 1330 57050914816
        correct false 163 1250 765 51743137792 163 1200 736 51140644864
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (430 tasks, max score: 649) 451 451
Run set ultimateautomizer--overflows.ultimateautomizer ultimateautomizer-ultimateautomizer--overflows-validation.witnessValidation