Tool ULTIMATE Automizer 0.1.24-91b1670e CProver witness2test 0.1
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-43-generic Linux 4.15.0-48-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 fshellw2t-ultimateautomizer--overflows-validation.witnessValidation
Options --full-output --graphml-witness 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 true .634   .632   20287488
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) 7.79 4.43 317517824 true .651   .674   20185088
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) 7.59 4.70 311812096 true .650   .648   20217856
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) 7.93 4.40 315248640 true .627   .627   20209664
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) 6.89 4.02 314212352 true .651   .658   20172800
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) 8.00 4.92 317202432 false(no-overflow) .620   .620   20320256
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) 7.55 4.68 313450496 false(no-overflow) .648   .646   20283392
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) 7.84 4.88 320315392 false(no-overflow) .654   .651   20254720
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) 7.07 4.45 313667584 false(no-overflow) .623   .623   20295680
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) 7.43 4.57 312582144 true .660   .656   20213760
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i true 7.94 4.53 317767680 error (1) .0783  .0965  10919936
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i true 7.92 4.88 317415424 error (1) .0953  .0933  11079680
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i true 9.22 5.58 310988800 error (1) .0728  .0713  11603968
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i true 7.34 4.52 308932608 error (1) .0978  .0953  10698752
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i true 7.25 4.48 305848320 error (1) .0720  .0714  11403264
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) 6.83 3.95 307433472 false(no-overflow) .592   .592   20156416
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) 7.51 4.27 314806272 true .627   .625   20340736
termination-crafted/Ackermann_false-no-overflow.c false(no-overflow) 8.27 4.72 315523072 true .600   .599   20291584
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) 6.80 4.39 307937280 false(no-overflow) .602   .603   20332544
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) 6.42 4.16 298684416 true .627   .643   20238336
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) 6.91 4.35 312913920 true .622   .643   20250624
termination-crafted/Binary_Search_false-no-overflow.c false(no-overflow) 7.33 4.68 308944896 true .630   .627   20258816
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) 7.55 4.34 313741312 true .601   .601   20201472
termination-crafted/Cairo_step2_false-no-overflow.c timeout 961    800    1702035456 error (invalid witness file) .00632 .00776 524288
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) 7.86 4.48 317620224 true .608   .609   20168704
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) 7.61 4.28 320282624 true 4.61    4.61    20205568
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) 7.25 4.60 313327616 true .632   .657   20275200
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) 7.02 4.52 313040896 true .642   .650   20070400
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) 6.69 4.27 306978816 true .620   .616   20262912
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) 6.99 4.09 313552896 true .591   .592   20189184
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) 7.73 4.58 319090688 true .610   .610   20185088
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) 7.22 4.57 317116416 true .589   .590   20385792
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) 7.46 4.72 315277312 true .609   .608   20160512
termination-crafted/NestedRecursion_1a_false-no-overflow.c false(no-overflow) 7.05 4.53 319553536 true .629   .629   20287488
termination-crafted/NestedRecursion_2a_false-no-overflow.c false(no-overflow) 7.35 4.69 314707968 true .614   .629   20369408
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) 6.85 4.40 304799744 true .615   .616   20291584
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) 6.87 3.93 303230976 true .628   .633   20312064
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) 39.4  24.4  687505408 false(no-overflow) .596   .596   20537344
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) 6.60 4.26 298315776 false(no-overflow) 3.93    3.95    20258816
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) 6.92 4.56 305377280 true .601   .599   20172800
termination-crafted/NonTerminationSimple4_false-no-overflow.c timeout 960    792    1600593920 error (invalid witness file) .00574 .00714 524288
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) 7.16 4.54 313360384 true .623   .624   20471808
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) 6.93 4.35 305119232 false(no-overflow) 1.27    1.28    20131840
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) 6.76 4.41 311410688 true .635   .640   20271104
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) 7.11 4.47 303656960 false(no-overflow) .620   .629   20180992
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) 7.25 4.65 313425920 true .603   .602   20303872
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) 6.84 4.40 312782848 true .597   .597   20275200
termination-crafted/RecursiveMultiplication_false-no-overflow.c false(no-overflow) 7.33 4.21 317014016 error (2) .628   .628   20172800
termination-crafted/RecursiveNonterminating_false-no-overflow.c false(no-overflow) 7.05 4.44 312606720 error (2) .604   .605   20246528
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) 6.66 4.28 300617728 timeout 960       960       20312064
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) 6.96 4.00 303534080 true .602   .616   20234240
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) 6.79 4.38 307212288 true .690   .688   20267008
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) 6.62 4.33 306937856 true .633   .629   20217856
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) 7.18 4.13 310800384 true .607   .608   20312064
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) 7.35 4.17 310788096 true .637   .632   20369408
termination-crafted/Thun_false-no-overflow.c false(no-overflow) 7.50 4.14 312356864 false(no-overflow) .615   .615   20213760
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) 7.59 4.82 321830912 true .602   .602   20402176
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) 18.6  11.7  569946112 true .616   .624   20422656
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) 7.36 4.73 311201792 error (2) .594   .594   20381696
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) 7.03 4.44 314056704 false(no-overflow) .638   .636   20209664
termination-crafted/easy2_false-no-overflow.c timeout 961    800    4191453184 error (invalid witness file) .00180 .00228 528384
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c true 6.92 4.37 311316480 error (1) .0982  .112   10682368
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c true 35.7  22.3  587161600 error (1) .0873  .0895  10850304
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c true 8.39 4.67 321863680 error (1) .0959  .0956  10833920
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c true 10.2  6.32 357695488 error (1) .0984  .0964  10645504
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c true 8.49 5.30 315908096 error (1) .0897  .104   10952704
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c true 8.00 4.99 327434240 error (1) .0775  .0769  10948608
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c true 7.81 4.92 327217152 error (1) .0899  .0876  10981376
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c true 94.8  77.3  641736704 error (1) .0688  .0693  11476992
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c true 6.55 4.25 302911488 error (1) .101   .0988  10870784
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c true 7.81 4.94 318103552 error (1) .0985  .0957  10686464
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c true 7.58 4.71 316182528 error (1) .0738  .0737  12054528
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c true 9.17 5.24 321404928 error (1) .0811  .0803  11091968
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c true 7.34 4.64 312823808 error (1) .0899  .0944  10723328
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c timeout 961    914    941940736 error (invalid witness file) .00472 .00594 524288
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c timeout 961    914    1034072064 error (invalid witness file) .00443 .00553 524288
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c true 6.16 4.06 295624704 error (1) .0673  .0675  10842112
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c timeout 961    844    2902831104 error (invalid witness file) .00491 .00607 393216
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c true 10.2  6.36 352014336 error (1) .0781  .0771  10969088
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c true 13.1  8.21 462671872 error (1) .0810  .0810  10862592
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c true 11.5  7.13 445992960 error (1) .0824  .0826  11284480
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c true 25.0  15.3  641949696 error (1) .0803  .0804  10665984
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c true 17.2  9.87 527880192 error (1) .0722  .0724  11190272
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c true 14.2  8.47 467607552 error (1) .0798  .0788  10846208
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c true 18.4  10.9  477077504 error (1) .0758  .100   10874880
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c true 19.5  11.4  467226624 error (1) .0911  .108   10981376
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c true 22.5  13.5  605036544 error (1) .0734  .0732  10817536
termination-crafted/NonTermination3_true-no-overflow_false-termination.c true 7.75 4.48 320094208 error (1) .0699  .0697  10907648
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c true 8.29 5.24 316964864 error (1) .0665  .0664  10661888
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c true 7.93 4.98 319746048 error (1) .104   .102   10842112
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c true 7.84 4.50 312094720 error (1) .0769  .0766  11636736
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c true 8.04 4.99 315297792 error (1) .102   .100   11067392
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c true 7.75 4.43 314691584 error (1) .0837  .0839  10887168
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c true 8.97 5.12 322383872 error (1) .0685  .0687  12185600
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c true 7.27 4.63 310382592 error (1) .0989  .0982  11104256
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c true 6.56 3.82 300589056 error (1) .0983  .0968  10723328
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c true 6.72 4.29 303841280 error (1) .0708  .0699  10899456
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c true 7.36 4.67 314458112 error (1) .0926  .0991  10854400
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 961    804    3571482624 error (invalid witness file) .00495 .00601 528384
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) 7.09 4.53 315592704 true .620   .621   20312064
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) 8.23 4.71 320712704 true .646   .645   20287488
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) 7.23 4.21 312250368 true .604   .603   20271104
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) 6.84 4.40 302596096 true .603   .603   20164608
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) 9.35 5.67 319279104 true .602   .601   20291584
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) 9.35 5.30 311857152 true .596   .595   20254720
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) 7.67 4.92 313708544 error (2) .598   .598   20303872
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c timeout 961    801    3815657472 error (invalid witness file) .00178 .00223 524288
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) 8.72 4.96 318533632 true .616   .616   20250624
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) 7.17 4.56 313004032 true .607   .606   20205568
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c timeout 960    784    1976758272 error (invalid witness file) .00164 .00180 393216
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c timeout 962    799    8082796544 error (invalid witness file) .00408 .00511 524288
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) 7.04 4.01 311468032 true .633   .646   20197376
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) 6.87 4.35 309440512 true .608   .613   20348928
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) 7.05 4.53 311296000 true .616   .618   20205568
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) 7.83 4.88 315506688 true .602   .605   20287488
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) 7.65 4.88 315748352 true .627   .648   20221952
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) 6.74 3.99 321826816 false(no-overflow) .596   .596   20336640
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) 7.10 4.05 310505472 error (2) .594   .594   20267008
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) 7.19 4.50 313765888 true .641   .638   20275200
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) 6.87 4.39 310599680 true .599   .607   20271104
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) 6.95 4.52 311685120 true .615   .614   20385792
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) 7.02 4.47 314130432 true .587   .586   20140032
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) 7.18 4.62 314085376 true .610   .616   20221952
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) 6.99 4.48 306860032 true .598   .615   20197376
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) 7.26 4.65 316530688 true .595   .595   20242432
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) 6.81 4.25 303964160 true .633   .637   20193280
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) 6.80 4.36 306892800 true .599   .599   20189184
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) 8.86 4.92 305885184 true .602   .601   20365312
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) 7.39 4.21 316538880 true .596   .595   20312064
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) 6.82 4.27 305315840 true .589   .589   20320256
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) 6.36 3.72 296845312 true .631   .631   20316160
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) 6.74 4.33 305377280 true .617   .614   20275200
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) 7.14 4.56 317218816 true .616   .613   20299776
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) 8.18 4.95 304463872 true .627   .640   20271104
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) 6.96 3.99 300998656 true .617   .614   20279296
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) 8.79 4.92 330358784 true .613   .612   20353024
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) 7.58 4.33 314683392 true .626   .625   20230144
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) 7.01 4.52 308830208 false(no-overflow) .585   .585   20254720
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) 7.03 4.46 311713792 true .637   .632   20164608
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) 7.42 4.24 315813888 true .627   .633   20254720
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) 6.87 4.34 306556928 true .607   .615   20217856
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) 6.74 4.33 311828480 true .622   .618   20275200
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) 6.92 4.41 312393728 true .611   .610   20189184
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) 6.77 4.34 307650560 false(no-overflow) 2.74    2.75    20267008
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) 6.96 4.38 308142080 true .619   .617   20287488
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) 8.36 4.71 310067200 true .659   .784   20275200
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) 7.33 4.16 312000512 true .593   .592   20398080
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) 7.06 4.56 316538880 true .593   .593   20316160
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) 6.65 4.23 324521984 true .603   .624   20295680
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) 6.85 3.94 313913344 true .611   .613   20148224
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) 7.25 4.14 310706176 false(no-overflow) .610   .609   20340736
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) 7.87 4.48 313032704 true .683   .808   20283392
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) 7.35 4.66 317685760 true .629   .627   20283392
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) 6.79 4.34 309895168 true .613   .613   20320256
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) 6.81 4.36 308666368 true .604   .603   20275200
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) 6.86 4.32 314384384 true .588   .587   20201472
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) 6.57 4.27 307412992 false(no-overflow) .609   .611   20250624
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) 6.55 3.82 309084160 true .609   .608   20336640
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) 6.83 4.36 308338688 true .606   .605   20238336
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) 7.61 4.75 315019264 true .614   .647   20176896
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) 6.92 4.00 300216320 false(no-overflow) 6.38    6.38    20271104
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) 7.49 4.70 312037376 true 2.03    2.03    20267008
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) 6.59 4.20 311435264 true .609   .608   20168704
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) 7.39 4.29 314638336 true .594   .594   20250624
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) 9.69 5.60 330616832 true .619   .628   20303872
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) 7.57 4.58 311840768 true .605   .605   20242432
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) 11.0  6.88 391319552 true .626   .623   20324352
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) 8.39 4.76 303308800 true .606   .605   20336640
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) 6.60 4.27 308879360 true .595   .595   20320256
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c false(no-overflow) 10.5  6.32 318099456 true .632   .628   20242432
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c false(no-overflow) 7.86 4.98 314769408 true .633   .631   20189184
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c false(no-overflow) 6.74 4.39 311033856 true .604   .604   20250624
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c false(no-overflow) 6.93 4.49 308473856 error (2) .601   .601   20156416
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) 6.74 4.39 313597952 true .607   .605   20127744
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) 7.40 4.69 315469824 true .598   .596   20340736
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) 7.16 4.07 313786368 true .602   .602   20242432
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) 8.37 5.06 307437568 true .607   .611   20369408
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) 6.60 4.28 307949568 true .607   .606   20271104
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) 6.71 4.33 310853632 true .610   .608   20271104
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) 6.60 4.25 308723712 true .616   .620   20344832
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) 7.35 4.22 308064256 true .594   .593   20226048
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) 6.77 4.30 310775808 true 4.50    4.50    20287488
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) 8.03 4.58 316387328 true .598   .598   20299776
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 8.20 5.13 317263872 true .598   .599   20242432
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) 8.02 5.08 317394944 true .607   .611   20193280
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 7.68 4.94 319217664 true .617   .616   20283392
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c false(no-overflow) 6.85 3.95 309411840 true .604   .604   20234240
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) 7.05 4.56 320446464 true .604   .604   20205568
termination-crafted-lit/cstrncmp_false-no-overflow.c false(no-overflow) 8.77 4.99 317399040 true .610   .626   20340736
termination-crafted-lit/gcd1_false-no-overflow.c false(no-overflow) 7.15 4.57 316059648 true .587   .614   20185088
termination-crafted-lit/joey_false-no-overflow.c false(no-overflow) 8.39 5.25 315559936 true .619   .634   20230144
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) 7.17 4.63 310968320 true .614   .614   20238336
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 961    849    2265800704 error (invalid witness file) .00396 .00441 393216
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true 9.40 5.79 324825088 error (1) .0718  .0721  10919936
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true 8.30 5.07 316678144 error (1) .0822  .0848  10817536
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c timeout 961    802    3828826112 error (invalid witness file) .00577 .00722 524288
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c true 8.64 4.98 321634304 error (1) .0838  .0825  11943936
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c true 21.3  12.7  562196480 error (1) .0802  .0794  10944512
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c timeout 961    830    4540596224 error (invalid witness file) .00520 .00681 524288
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true 206    165    5019885568 error (1) .102   .100   10911744
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true 9.26 5.69 331988992 error (1) .101   .0984  10956800
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true 9.93 5.83 363536384 error (1) .0758  .0848  10788864
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true 8.75 5.48 321265664 error (1) .103   .102   10752000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true 8.13 4.67 319385600 error (1) .0731  .0737  11591680
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true 7.48 4.80 314077184 error (1) .0776  .0756  11108352
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c true 11.2  6.39 382840832 error (1) .0864  .0882  10477568
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c timeout 961    823    2246737920 error (invalid witness file) .00431 .00539 524288
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c true 13.8  8.45 475586560 error (1) .0670  .0834  11444224
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c true 11.3  6.72 433672192 error (1) .0956  .0933  10817536
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c true 9.86 5.66 331255808 error (1) .0858  .102   10797056
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c timeout 961    881    4685385728 error (invalid witness file) .00405 .00535 524288
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c true 13.9  8.52 464543744 error (1) .0743  .0742  10670080
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true 9.31 5.25 313061376 error (1) .0994  .0976  11337728
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c timeout 961    800    3874320384 error (invalid witness file) .00388 .00479 397312
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c timeout 961    797    8110010368 error (invalid witness file) .00511 .00644 397312
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c true 206    166    4912627712 error (1) .0743  .0925  10907648
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c true 6.78 4.37 307974144 error (1) .0702  .0698  11341824
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c true 9.29 5.24 317472768 error (1) .0739  .0742  10813440
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c true 8.13 5.11 320966656 error (1) .0718  .0721  10883072
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c true 7.53 4.78 315617280 error (1) .0766  .0755  11554816
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c true 8.40 4.74 315637760 error (1) .0708  .0710  11591680
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c true 8.03 4.67 316112896 error (1) .0746  .0741  10833920
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c true 8.80 5.45 316874752 error (1) .0814  .0809  11112448
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c true 8.90 5.07 315256832 error (1) .0690  .0697  10653696
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c true 8.33 5.24 328036352 error (1) .0763  .0775  11902976
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c true 160    108    1998475264 error (1) .0833  .0839  11026432
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 961    834    3471908864 error (invalid witness file) .00523 .00653 393216
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c true 8.65 4.82 324435968 error (1) .0769  .0773  11501568
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c true 11.6  6.88 448233472 error (1) .0655  .0651  10833920
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c true 7.69 4.81 317403136 error (1) .0705  .0704  11247616
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c true 8.91 5.46 320028672 error (1) .0747  .0737  10907648
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c true 7.25 4.62 313339904 error (1) .0946  .0923  11100160
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c timeout 961    795    4743610368 error (invalid witness file) .00606 .00758 524288
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c true 7.03 4.42 311943168 error (1) .0754  .0763  10874880
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c true 7.68 4.79 312217600 error (1) .0780  .0790  11055104
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout 961    858    1620643840 error (invalid witness file) .00472 .00600 524288
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c true 13.7  7.96 471072768 error (1) .0783  .0780  10850304
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c true 26.7  15.8  615944192 error (1) .0729  .0766  12206080
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c true 7.98 5.09 315289600 error (1) .0818  .0823  10940416
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c true 7.92 5.01 323026944 error (1) .109   .120   10952704
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true 7.11 4.16 321187840 error (1) .0705  .0706  10821632
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c true 8.71 5.48 328024064 error (1) .0722  .0721  10973184
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c true 7.02 4.47 309780480 error (1) .0707  .0708  11980800
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c true 8.73 5.43 323313664 error (1) .0734  .0735  10928128
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c true 7.72 4.42 317595648 error (1) .0848  .0846  10850304
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c true 7.22 4.55 309821440 error (1) .0711  .0716  10768384
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c true 8.32 5.26 321282048 error (1) .0986  .106   10735616
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c true 8.03 5.12 317763584 error (1) .0869  .0856  10862592
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c true 8.66 5.00 320077824 error (1) .0986  .121   10854400
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c true 8.37 4.76 315736064 error (1) .102   .121   10874880
termination-crafted-lit/aviad_true-termination_true-no-overflow.c timeout 961    778    7896002560 error (invalid witness file) .00186 .00242 524288
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c true 7.98 4.94 314429440 error (1) .0788  .0792  10981376
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c true 8.17 4.65 313131008 error (1) .0782  .0791  11689984
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c true 8.11 5.03 313946112 error (1) .0968  .0987  10805248
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c true 7.82 4.92 315641856 error (1) .0892  .0881  10686464
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c true 8.19 5.14 317296640 error (1) .0956  .0941  10985472
termination-crafted-lit/genady_true-termination_true-no-overflow.c true 11.7  6.99 453607424 error (1) .105   .119   10833920
termination-crafted-lit/strchr_true-no-overflow_true-termination.c true 8.71 5.18 316956672 error (1) .106   .103   10854400
termination-numeric/Addition01_false-no-overflow.c false(no-overflow) 8.48 5.19 313679872 true .603   .613   20209664
termination-numeric/Avg_true_false-no-overflow.c false(no-overflow) 7.08 4.50 311054336 error (2) .614   .611   20287488
termination-numeric/Binomial_true-termination_false-no-overflow.c timeout 960    938    1013772288 error (invalid witness file) .00205 .00255 524288
termination-numeric/Et1_true_false-no-overflow.c false(no-overflow) 6.90 4.44 312377344 true .626   .625   20377600
termination-numeric/Et2_true_false-no-overflow.c false(no-overflow) 6.93 4.43 311103488 true .626   .624   20127744
termination-numeric/Et3_true_false-no-overflow.c false(no-overflow) 6.98 4.43 304394240 false(no-overflow) .634   .633   20402176
termination-numeric/Et4_true_false-no-overflow.c false(no-overflow) 7.39 4.22 310607872 true .597   .602   20144128
termination-numeric/MultCommutative_false-no-overflow.c false(no-overflow) 12.7  7.43 454000640 error (2) .606   .604   20389888
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c timeout 960    953    1162874880 error (invalid witness file) .00328 .00444 524288
termination-numeric/Ackermann01_true-termination_true-no-overflow.c timeout 961    743    11642941440 error (invalid witness file) .00196 .00245 528384
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c true 15.9  9.78 496590848 error (1) .0772  .0789  11374592
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c timeout 961    894    5748764672 error (invalid witness file) .00150 .00168 393216
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c true 10.5  5.95 316522496 error (1) .0989  .0969  10797056
termination-numeric/LogRecursive_true-termination_true-no-overflow.c timeout 960    954    740270080 error (invalid witness file) .00460 .00579 524288
termination-numeric/Parts_true-termination_true-no-overflow.c timeout 960    842    4727267328 error (invalid witness file) .00529 .00662 524288
termination-numeric/TwoWay_true-termination_true-no-overflow.c true 15.8  10.8  466796544 error (1) .0990  .0972  10792960
termination-numeric/gcd01_true-termination_true-no-overflow.c true 8.88 5.59 317833216 error (1) .0884  .0866  10940416
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true 57.3  38.2  886394880 error (1) .0707  .0707  11984896
termination-numeric/recHanoi02_true-termination_true-no-overflow.c true 81.2  51.5  838074368 error (1) .102   .101   10776576
termination-numeric/rec_counter1_true-termination_true-no-overflow.c timeout 960    798    4655951872 error (invalid witness file) .00703 .00859 524288
termination-numeric/rec_counter3_true-termination_true-no-overflow.c timeout 960    798    4600963072 error (invalid witness file) .00166 .00212 524288
termination-numeric/twisted_true-termination_true-no-overflow.c timeout 961    865    1188532224 error (invalid witness file) .00166 .00209 524288
recursive/Addition02WithOverflowBug_false-no-overflow.c false(no-overflow) 6.98 4.53 312344576 error (2) .614   .640   20275200
recursive/Addition03_false-no-overflow.c false(no-overflow) 7.42 4.26 310992896 error (2) .611   .614   20377600
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c false(no-overflow) 7.80 4.50 318623744 true .611   .611   20328448
recursive/Ackermann01_true-unreach-call_true-no-overflow.c timeout 961    740    11290497024 error (invalid witness file) .00489 .00615 524288
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c timeout 961    741    11563253760 error (invalid witness file) .00459 .00504 393216
recursive/Ackermann03_true-unreach-call_true-no-overflow.c timeout 961    739    11653304320 error (invalid witness file) .00153 .00174 393216
recursive/Ackermann04_true-unreach-call_true-no-overflow.c timeout 961    762    10594525184 error (invalid witness file) .00290 .00438 499712
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c timeout 960    799    3166990336 error (invalid witness file) .00187 .00233 524288
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c timeout 961    797    3523866624 error (invalid witness file) .00449 .00551 524288
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c timeout 961    862    2581999616 error (invalid witness file) .00541 .00645 524288
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c true 7.00 4.43 307965952 error (1) .0983  .112   10993664
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c true 15.1  9.47 504053760 error (1) .0939  .101   10620928
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c true 15.0  9.38 460005376 error (1) .105   .125   10801152
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c timeout 961    902    5425438720 error (invalid witness file) .00485 .00618 524288
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c true 38.4  23.6  1090076672 error (1) .0857  .0836  11182080
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c timeout 961    906    5373149184 error (invalid witness file) .00427 .00538 393216
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c timeout 961    895    5436157952 error (invalid witness file) .00481 .00596 524288
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c timeout 961    894    5469782016 error (invalid witness file) .00247 .00344 524288
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c true 11.4  6.54 349859840 error (1) .102   .100   10690560
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c true 10.2  6.28 354922496 error (1) .0717  .0707  11755520
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c timeout 961    809    1570394112 error (invalid witness file) .00478 .00654 524288
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c timeout 961    813    1840680960 error (invalid witness file) .00206 .00261 524288
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c true 8.74 5.52 318562304 error (1) .0772  .0774  12001280
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c true 20.1  12.4  560066560 error (1) .0999  .103   10801152
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c timeout 961    858    4680536064 error (invalid witness file) .00192 .00241 524288
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c true 90.0  57.2  1048395776 error (1) .0704  .0699  12062720
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c true 84.1  52.9  981073920 error (1) .0757  .0760  10829824
recursive-simple/id_b3_o2_false-no-overflow.c false(no-overflow) 7.65 4.86 315043840 true .679   .683   20094976
recursive-simple/id_b3_o5_false-no-overflow.c false(no-overflow) 8.33 4.69 319635456 true .619   .616   20283392
recursive-simple/id_b5_o10_false-no-overflow.c false(no-overflow) 7.67 4.74 316764160 true .631   .633   20217856
recursive-simple/sum_non_eq_false-no-overflow.c false(no-overflow) 7.32 4.24 318033920 true .613   .617   20201472
recursive-simple/sum_non_false-no-overflow.c false(no-overflow) 8.75 5.47 319934464 true .598   .602   20254720
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 6.96 4.51 310386688 error (1) .0722  .0714  10817536
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 7.75 4.29 317669376 error (1) .0720  .0727  10940416
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 6.94 3.99 311365632 error (1) .0824  .0824  10731520
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 7.27 4.50 315314176 error (1) .0692  .0699  10883072
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 6.85 4.36 305913856 error (1) .0747  .0744  10862592
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 8.89 5.58 324628480 error (1) .0708  .0707  11415552
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 8.81 5.49 332193792 error (1) .0817  .0809  10952704
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 9.62 5.45 317186048 error (1) .0770  .0773  10842112
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c true 6.39 4.12 305590272 error (1) .0881  .0879  10883072
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c true 7.11 4.54 321642496 error (1) .0771  .0764  10809344
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c true 6.34 3.77 300326912 error (1) .0873  .0963  10764288
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c true 7.56 4.23 312971264 error (1) .0944  .108   10878976
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c true 6.47 4.18 307208192 error (1) .0777  .0788  11911168
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c true 6.78 3.90 302063616 error (1) .0968  .109   10878976
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c true 7.50 4.76 315428864 error (1) .0819  .0812  10821632
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c true 7.13 4.55 319090688 error (1) .0794  .0774  10682368
bitvector/byte_add_1_false-no-overflow.i error 34.4  20.9  655429632 error (invalid witness file) .00290 .00353 528384
bitvector/byte_add_2_false-no-overflow.i error 32.6  19.7  677273600 error (invalid witness file) .00466 .00630 524288
bitvector/byte_add_false-no-overflow.i error 44.7  30.1  692555776 error (invalid witness file) .00175 .00232 524288
bitvector/jain_1_false-no-overflow.i false(no-overflow) 6.60 4.30 309424128 false(no-overflow) .639   .666   20307968
bitvector/jain_2_false-no-overflow.i false(no-overflow) 6.85 4.32 309161984 false(no-overflow) .596   .596   20295680
bitvector/jain_4_false-no-overflow.i false(no-overflow) 6.82 4.38 312123392 false(no-overflow) .601   .600   20246528
bitvector/jain_5_false-no-overflow.i timeout 961    806    3173036032 error (invalid witness file) .00540 .00663 524288
bitvector/jain_6_false-no-overflow.i false(no-overflow) 7.40 4.67 314216448 false(no-overflow) .605   .606   20262912
bitvector/jain_7_false-no-overflow.i false(no-overflow) 7.60 4.31 316018688 false(no-overflow) .610   .607   20250624
bitvector/modulus_false-no-overflow.i error 7.08 4.51 309747712 error (invalid witness file) .00480 .00583 524288
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i true 8.20 4.72 316575744 error (1) .0836  .0835  12046336
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i true 8.04 5.02 317890560 error (1) .0895  .0913  10575872
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i true 10.7  6.09 320561152 error (1) .0939  .0924  11100160
bitvector/gcd_1_true-unreach-call_true-no-overflow.i true 8.14 5.13 321769472 error (1) .0844  .0840  10752000
bitvector/gcd_2_true-unreach-call_true-no-overflow.i true 8.90 5.19 313794560 error (1) .101   .100   10878976
bitvector/gcd_3_true-unreach-call_true-no-overflow.i true 8.27 5.19 315711488 error (1) .0767  .0777  12034048
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i true 17.1  10.9  476200960 error (1) .0718  .0765  11681792
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i true 8.66 4.86 317505536 error (1) .0811  .0813  10899456
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i true 7.24 4.12 307896320 error (1) .0694  .0692  10858496
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i true 7.16 4.09 307896320 error (1) .0765  .0766  11874304
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i true 7.06 4.49 308723712 error (1) .0798  .0998  10932224
bitvector/jain_5_true-unreach-call_true-no-overflow.i true 6.56 4.20 300380160 error (1) .0657  .0651  10932224
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i true 8.36 5.05 309211136 error (1) .0816  .0782  11501568
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i true 6.80 4.32 308076544 error (1) .0869  .0901  10915840
bitvector/modulus_true-unreach-call_true-no-overflow.i error 6.84 4.41 310116352 error (invalid witness file) .00402 .00515 524288
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i error 7.02 4.51 315830272 error (invalid witness file) .00124 .00140 393216
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i error 6.92 4.36 311906304 error (invalid witness file) .00219 .00325 524288
bitvector/parity_true-unreach-call_true-no-overflow.i true 6.93 4.41 309284864 error (1) .0681  .0670  10784768
bitvector/sum02_false-unreach-call_true-no-overflow.i true 7.56 4.73 307453952 error (1) .0674  .0668  10997760
bitvector/sum02_true-unreach-call_true-no-overflow.i true 6.86 4.34 308879360 error (1) .0768  .0769  10850304
psyco/psyco_abp_1_false-no-overflow.c timeout 961    874    5466779648 error (invalid witness file) .00215 .00273 524288
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i unknown 7.55 4.53 304500736 error (invalid witness file) .00398 .00445 393216
busybox-1.22.0/chroot-incomplete_false-no-overflow.i unknown 7.69 4.28 294866944 error (invalid witness file) .00167 .00217 524288
busybox-1.22.0/cut_false-no-overflow.i unknown 8.31 4.80 296747008 error (invalid witness file) .00210 .00264 524288
busybox-1.22.0/date_false-no-overflow.i unknown 8.82 5.11 316526592 error (invalid witness file) .00168 .00235 528384
busybox-1.22.0/du_false-no-overflow.i unknown 9.70 5.17 315850752 error (invalid witness file) .00526 .00679 524288
busybox-1.22.0/echo_false-no-overflow.i unknown 7.80 4.44 294838272 error (invalid witness file) .00244 .00305 524288
busybox-1.22.0/expand_false-no-overflow.i unknown 7.67 4.39 298614784 error (invalid witness file) .00179 .00222 524288
busybox-1.22.0/fold_false-no-overflow.i unknown 8.19 4.61 305729536 error (invalid witness file) .00179 .00229 528384
busybox-1.22.0/head_false-no-overflow.i unknown 8.01 4.71 305094656 error (invalid witness file) .00688 .00922 524288
busybox-1.22.0/logname_false-no-overflow.i unknown 7.96 4.45 304951296 error (invalid witness file) .00600 .00744 524288
busybox-1.22.0/ls-incomplete_false-no-overflow.i error (7) 8.81 5.05 308756480 error (invalid witness file) .00511 .00659 524288
busybox-1.22.0/mkdir_false-no-overflow.i unknown 8.41 4.91 307400704 error (invalid witness file) .00481 .00606 524288
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i unknown 7.39 4.30 298942464 error (invalid witness file) .00210 .00241 397312
busybox-1.22.0/od_false-no-overflow.i unknown 8.53 4.85 303091712 error (invalid witness file) .00447 .00538 393216
busybox-1.22.0/printf_false-no-overflow.i unknown 8.37 4.66 296693760 error (invalid witness file) .00167 .00210 524288
busybox-1.22.0/readlink_false-no-overflow.i unknown 7.89 4.66 302694400 error (invalid witness file) .00257 .00334 524288
busybox-1.22.0/realpath_false-no-overflow.i unknown 7.58 4.57 299872256 error (invalid witness file) .00201 .00257 524288
busybox-1.22.0/rm_false-no-overflow.i unknown 8.56 4.79 280469504 error (invalid witness file) .00134 .00148 393216
busybox-1.22.0/seq_false-no-overflow.i unknown 7.79 4.71 300625920 error (invalid witness file) .00357 .00444 528384
busybox-1.22.0/sleep_false-no-overflow.i unknown 8.02 4.56 299610112 error (invalid witness file) .00450 .00642 524288
busybox-1.22.0/stty_false-no-overflow.i unknown 9.06 5.13 328507392 error (invalid witness file) .00585 .00733 524288
busybox-1.22.0/sync_false-no-overflow.i unknown 7.38 4.56 294707200 error (invalid witness file) .00227 .00297 524288
busybox-1.22.0/tac_false-no-overflow.i unknown 7.82 4.42 305520640 error (invalid witness file) .00154 .00177 397312
busybox-1.22.0/tee_false-no-overflow.i unknown 10.2  5.51 308256768 error (invalid witness file) .00131 .00147 393216
busybox-1.22.0/test-incomplete_false-no-overflow.i unknown 8.00 4.81 297795584 error (invalid witness file) .00590 .00733 528384
busybox-1.22.0/touch_false-no-overflow.i unknown 8.18 4.82 294068224 error (invalid witness file) .00158 .00201 524288
busybox-1.22.0/uname_false-no-overflow.i unknown 8.07 4.50 298713088 error (invalid witness file) .00476 .00598 524288
busybox-1.22.0/uniq_false-no-overflow.i unknown 8.14 4.58 308998144 error (invalid witness file) .00451 .00506 393216
busybox-1.22.0/usleep_false-no-overflow.i unknown 7.73 4.49 300728320 error (invalid witness file) .00555 .00692 524288
busybox-1.22.0/uudecode_false-no-overflow.i unknown 8.79 4.86 307548160 error (invalid witness file) .00565 .00680 524288
busybox-1.22.0/wc_false-no-overflow.i unknown 8.36 4.72 327671808 error (invalid witness file) .00481 .00597 524288
busybox-1.22.0/who_false-no-overflow.i unknown 8.20 4.65 305315840 error (invalid witness file) .00308 .00370 528384
busybox-1.22.0/whoami-incomplete_false-no-overflow.i unknown 7.47 4.42 294797312 error (invalid witness file) .00180 .00230 524288
busybox-1.22.0/yes_false-no-overflow.i unknown 7.97 4.51 307716096 error (invalid witness file) .00224 .00306 524288
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (7) 225    192    2598006784 error (invalid witness file) .00189 .00204 393216
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i unknown 7.59 4.39 300126208 error (invalid witness file) .00655 .0101  487424
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.87 4.49 298487808 error (invalid witness file) .00452 .00542 393216
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.77 4.98 294526976 error (invalid witness file) .00440 .00555 524288
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.49 4.90 302731264 error (invalid witness file) .00203 .00254 528384
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i error (7) 166    134    2705436672 error (invalid witness file) .00542 .00670 524288
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i unknown 8.34 4.69 308162560 error (invalid witness file) .00226 .00379 528384
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i unknown 7.32 4.47 298278912 error (invalid witness file) .00206 .00258 524288
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.03 4.51 294178816 error (invalid witness file) .00493 .00614 528384
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i unknown 8.21 4.59 296873984 error (invalid witness file) .00223 .00362 430080
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i unknown 8.27 4.54 310194176 error (invalid witness file) .00474 .00584 528384
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i true 18.7  10.6  491905024 error (1) .0705  .0709  11636736
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i unknown 7.71 4.48 301879296 error (invalid witness file) .00146 .00163 393216
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (7) 9.51 5.34 310394880 error (invalid witness file) .00152 .00174 397312
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i unknown 8.51 4.79 302600192 error (invalid witness file) .00520 .00624 524288
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.18 4.12 291246080 error (invalid witness file) .00542 .00657 524288
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.59 5.04 293302272 error (invalid witness file) .00377 .00408 393216
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.60 4.80 298258432 error (invalid witness file) .00238 .00302 528384
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i unknown 8.07 4.65 299241472 error (invalid witness file) .00208 .00262 524288
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i unknown 7.71 4.38 303468544 error (invalid witness file) .00122 .00136 393216
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i unknown 8.18 4.63 300085248 error (invalid witness file) .00589 .00715 524288
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i unknown 8.07 4.69 298942464 error (invalid witness file) .00672 .00843 524288
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i unknown 8.36 4.84 303407104 error (invalid witness file) .00291 .00361 528384
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 10.9  5.92 320425984 error (invalid witness file) .00598 .00737 524288
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i unknown 7.57 4.51 304271360 error (invalid witness file) .00188 .00242 524288
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i unknown 7.94 4.41 304013312 error (invalid witness file) .00231 .00302 655360
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i unknown 7.98 4.48 306814976 error (invalid witness file) .00499 .00631 524288
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.60 4.81 299708416 error (invalid witness file) .00177 .00231 524288
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 10.7  5.88 304332800 error (invalid witness file) .00506 .00619 524288
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i unknown 7.94 4.37 300142592 error (invalid witness file) .00159 .00175 393216
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i unknown 7.89 4.44 307183616 error (invalid witness file) .00217 .00273 524288
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i unknown 7.63 4.41 305819648 error (invalid witness file) .00593 .00738 524288
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i unknown 8.12 4.82 305827840 error (invalid witness file) .00601 .00744 524288
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.32 4.79 305401856 error (invalid witness file) .00431 .00527 524288
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i unknown 7.89 4.48 292163584 error (invalid witness file) .00637 .00813 524288
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.81 4.35 300503040 error (invalid witness file) .00441 .00569 524288
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i unknown 7.69 4.56 300068864 error (invalid witness file) .00239 .00261 393216
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 430 48900 41300 351050166272 430 1090   1090   4956368896
    correct results 307 3580 2300 116499382272 24 26.6 26.7 486662144
        correct true 144 2330 1540 64756244480 0
        correct false 163 1250 765 51743137792 24 26.6 26.7 486662144
    incorrect results 0 128 88.1 88.7 2593198080
        incorrect true 0 128 88.1 88.7 2593198080
        incorrect false 0 0
score (430 tasks, max score: 649) 451 -4072
Run set ultimateautomizer--overflows.ultimateautomizer fshellw2t-ultimateautomizer--overflows-validation.witnessValidation