Tool ULTIMATE Automizer 0.1.24-91b1670e CPAchecker 1.7-svn 29913
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 cpachecker-ultimateautomizer--overflows-validation.witnessValidation
Options --full-output -heap 10000M -benchmark -witnessValidation -witness test/results/ultimateautomizer--overflows.logfiles/ultimateautomizer.${inputfile_name}.files/witness.graphml -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true
../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) 4.33  2.36  253427712
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) 7.79 4.43 317517824 false(no-overflow) 4.44  2.41  252239872
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) 7.59 4.70 311812096 false(no-overflow) 4.22  2.33  251691008
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) 7.93 4.40 315248640 false(no-overflow) 4.49  2.45  247619584
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) 6.89 4.02 314212352 false(no-overflow) 4.15  2.30  252755968
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) 8.00 4.92 317202432 false(no-overflow) 4.16  2.28  258703360
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) 7.55 4.68 313450496 false(no-overflow) 4.56  2.47  253038592
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) 7.84 4.88 320315392 false(no-overflow) 4.26  2.36  255082496
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) 7.07 4.45 313667584 false(no-overflow) 4.70  2.51  274944000
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) 7.43 4.57 312582144 false(no-overflow) 4.17  2.26  253661184
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i true 7.94 4.53 317767680 error (1) .645 .388 42946560
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i true 7.92 4.88 317415424 error (1) .682 .416 45088768
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i true 9.22 5.58 310988800 error (1) .631 .390 44412928
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i true 7.34 4.52 308932608 error (1) .636 .389 43184128
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i true 7.25 4.48 305848320 error (1) .660 .389 43892736
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) 6.83 3.95 307433472 false(no-overflow) 3.64  2.02  250572800
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) 7.51 4.27 314806272 false(no-overflow) 3.81  2.14  250236928
termination-crafted/Ackermann_false-no-overflow.c false(no-overflow) 8.27 4.72 315523072 false(no-overflow) 3.58  1.96  242794496
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) 6.80 4.39 307937280 false(no-overflow) 3.60  1.99  248143872
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) 6.42 4.16 298684416 false(no-overflow) 4.68  2.59  253808640
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) 6.91 4.35 312913920 false(no-overflow) 3.66  2.04  252846080
termination-crafted/Binary_Search_false-no-overflow.c false(no-overflow) 7.33 4.68 308944896 false(no-overflow) 3.67  2.05  249425920
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) 7.55 4.34 313741312 false(no-overflow) 3.55  1.96  247869440
termination-crafted/Cairo_step2_false-no-overflow.c timeout 961    800    1702035456 error (invalid witness file) .565 .341 40366080
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) 7.86 4.48 317620224 false(no-overflow) 3.69  2.10  264282112
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) 7.61 4.28 320282624 false(no-overflow) 3.55  1.95  252190720
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) 7.25 4.60 313327616 false(no-overflow) 3.73  2.09  249458688
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) 7.02 4.52 313040896 false(no-overflow) 3.77  2.12  252370944
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) 6.69 4.27 306978816 false(no-overflow) 3.51  1.97  250724352
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) 6.99 4.09 313552896 false(no-overflow) 3.69  2.04  250089472
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) 7.73 4.58 319090688 false(no-overflow) 3.60  2.00  248799232
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) 7.22 4.57 317116416 false(no-overflow) 3.68  2.05  252051456
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) 7.46 4.72 315277312 false(no-overflow) 3.61  2.00  247975936
termination-crafted/NestedRecursion_1a_false-no-overflow.c false(no-overflow) 7.05 4.53 319553536 false(no-overflow) 3.43  1.97  250212352
termination-crafted/NestedRecursion_2a_false-no-overflow.c false(no-overflow) 7.35 4.69 314707968 false(no-overflow) 3.85  2.09  255741952
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) 6.85 4.40 304799744 false(no-overflow) 4.23  2.38  260112384
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) 6.87 3.93 303230976 false(no-overflow) 3.97  2.27  262991872
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) 39.4  24.4  687505408 false(no-overflow) 19.6   17.0   941981696
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) 6.60 4.26 298315776 false(no-overflow) 3.67  2.02  248037376
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) 6.92 4.56 305377280 false(no-overflow) 3.46  1.96  252035072
termination-crafted/NonTerminationSimple4_false-no-overflow.c timeout 960    792    1600593920 error (invalid witness file) .592 .371 40517632
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) 7.16 4.54 313360384 false(no-overflow) 3.62  1.99  248537088
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) 6.93 4.35 305119232 false(no-overflow) 3.58  2.01  252137472
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) 6.76 4.41 311410688 false(no-overflow) 3.53  1.97  248836096
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) 7.11 4.47 303656960 false(no-overflow) 3.73  2.07  252821504
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) 7.25 4.65 313425920 false(no-overflow) 3.59  1.98  249569280
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) 6.84 4.40 312782848 false(no-overflow) 3.79  2.09  254590976
termination-crafted/RecursiveMultiplication_false-no-overflow.c false(no-overflow) 7.33 4.21 317014016 false(no-overflow) 4.07  2.26  258285568
termination-crafted/RecursiveNonterminating_false-no-overflow.c false(no-overflow) 7.05 4.44 312606720 false(no-overflow) 3.63  2.01  251691008
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) 6.66 4.28 300617728 false(no-overflow) 3.53  1.96  252715008
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) 6.96 4.00 303534080 false(no-overflow) 3.80  2.15  249655296
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) 6.79 4.38 307212288 false(no-overflow) 3.85  2.11  253243392
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) 6.62 4.33 306937856 false(no-overflow) 3.55  2.00  252538880
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) 7.18 4.13 310800384 false(no-overflow) 3.59  1.98  253587456
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) 7.35 4.17 310788096 false(no-overflow) 3.81  2.11  251650048
termination-crafted/Thun_false-no-overflow.c false(no-overflow) 7.50 4.14 312356864 false(no-overflow) 3.62  2.00  247955456
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) 7.59 4.82 321830912 false(no-overflow) 3.44  1.95  250421248
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) 18.6  11.7  569946112 false(no-overflow) 3.97  2.18  253542400
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) 7.36 4.73 311201792 false(no-overflow) 3.65  2.04  249184256
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) 7.03 4.44 314056704 false(no-overflow) 3.56  1.98  255766528
termination-crafted/easy2_false-no-overflow.c timeout 961    800    4191453184 error (invalid witness file) .556 .335 39768064
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c true 6.92 4.37 311316480 error (1) .694 .402 44118016
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c true 35.7  22.3  587161600 error (1) .645 .404 43855872
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c true 8.39 4.67 321863680 error (1) .659 .393 43786240
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c true 10.2  6.32 357695488 error (1) .678 .404 45608960
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c true 8.49 5.30 315908096 error (1) .651 .395 44212224
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c true 8.00 4.99 327434240 error (1) .673 .413 45477888
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c true 7.81 4.92 327217152 error (1) .659 .396 43737088
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c true 94.8  77.3  641736704 error (1) .667 .403 43356160
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c true 6.55 4.25 302911488 error (1) .663 .397 43687936
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c true 7.81 4.94 318103552 error (1) .643 .389 44421120
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c true 7.58 4.71 316182528 error (1) .743 .449 44081152
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c true 9.17 5.24 321404928 error (1) .659 .396 43921408
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c true 7.34 4.64 312823808 error (1) .679 .409 45883392
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c timeout 961    914    941940736 error (invalid witness file) .580 .346 40951808
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c timeout 961    914    1034072064 error (invalid witness file) .574 .354 40095744
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c true 6.16 4.06 295624704 error (1) .670 .396 43417600
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c timeout 961    844    2902831104 error (invalid witness file) .557 .348 39804928
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c true 10.2  6.36 352014336 error (1) .723 .437 43491328
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c true 13.1  8.21 462671872 error (1) .704 .428 45854720
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c true 11.5  7.13 445992960 error (1) .748 .432 45645824
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c true 25.0  15.3  641949696 error (1) .690 .416 44273664
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c true 17.2  9.87 527880192 error (1) .695 .414 45105152
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c true 14.2  8.47 467607552 error (1) .683 .420 44134400
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c true 18.4  10.9  477077504 error (1) .739 .452 45060096
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c true 19.5  11.4  467226624 error (1) .669 .400 44462080
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c true 22.5  13.5  605036544 error (1) .698 .409 44191744
termination-crafted/NonTermination3_true-no-overflow_false-termination.c true 7.75 4.48 320094208 error (1) .665 .406 44449792
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c true 8.29 5.24 316964864 error (1) .830 .513 43552768
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c true 7.93 4.98 319746048 error (1) .673 .417 44609536
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c true 7.84 4.50 312094720 error (1) .675 .412 43991040
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c true 8.04 4.99 315297792 error (1) .668 .423 45363200
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c true 7.75 4.43 314691584 error (1) .817 .504 44806144
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c true 8.97 5.12 322383872 error (1) .691 .407 43851776
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c true 7.27 4.63 310382592 error (1) .646 .381 43724800
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c true 6.56 3.82 300589056 error (1) .722 .428 43679744
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c true 6.72 4.29 303841280 error (1) .690 .429 44580864
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c true 7.36 4.67 314458112 error (1) .666 .393 47001600
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 961    804    3571482624 error (invalid witness file) .546 .334 39911424
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) 7.09 4.53 315592704 false(no-overflow) 3.72  2.05  252735488
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) 8.23 4.71 320712704 false(no-overflow) 3.79  2.07  255696896
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) 7.23 4.21 312250368 false(no-overflow) 3.74  2.05  256245760
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) 6.84 4.40 302596096 false(no-overflow) 3.93  2.15  256520192
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) 9.35 5.67 319279104 false(no-overflow) 3.63  2.00  249159680
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) 9.35 5.30 311857152 false(no-overflow) 3.65  2.04  253571072
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) 7.67 4.92 313708544 false(no-overflow) 4.18  2.28  257331200
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c timeout 961    801    3815657472 error (invalid witness file) .569 .346 40243200
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) 8.72 4.96 318533632 false(no-overflow) 3.75  2.08  252985344
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) 7.17 4.56 313004032 false(no-overflow) 3.46  1.96  248520704
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c timeout 960    784    1976758272 error (invalid witness file) .571 .348 40341504
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c timeout 962    799    8082796544 error (invalid witness file) .555 .335 39645184
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) 7.04 4.01 311468032 false(no-overflow) 3.87  2.18  264835072
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) 6.87 4.35 309440512 false(no-overflow) 3.65  2.04  254816256
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) 7.05 4.53 311296000 false(no-overflow) 3.64  2.02  249470976
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) 7.83 4.88 315506688 false(no-overflow) 3.53  1.96  247201792
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) 7.65 4.88 315748352 false(no-overflow) 3.83  2.12  253931520
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) 6.74 3.99 321826816 false(no-overflow) 3.66  2.02  251314176
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) 7.10 4.05 310505472 false(no-overflow) 4.12  2.33  253308928
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) 7.19 4.50 313765888 false(no-overflow) 3.82  2.12  255139840
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) 6.87 4.39 310599680 false(no-overflow) 3.56  1.99  249597952
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) 6.95 4.52 311685120 false(no-overflow) 3.87  2.14  254279680
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) 7.02 4.47 314130432 false(no-overflow) 3.59  1.97  252334080
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) 7.18 4.62 314085376 false(no-overflow) 3.66  2.04  254427136
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) 6.99 4.48 306860032 false(no-overflow) 3.91  2.14  251555840
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) 7.26 4.65 316530688 false(no-overflow) 3.69  2.10  262791168
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) 6.81 4.25 303964160 false(no-overflow) 4.08  2.35  261283840
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) 6.80 4.36 306892800 false(no-overflow) 3.98  2.27  260411392
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) 8.86 4.92 305885184 false(no-overflow) 3.59  2.03  247369728
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) 7.39 4.21 316538880 false(no-overflow) 3.53  1.99  252588032
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) 6.82 4.27 305315840 false(no-overflow) 3.71  2.05  252596224
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) 6.36 3.72 296845312 false(no-overflow) 3.51  1.98  252272640
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) 6.74 4.33 305377280 false(no-overflow) 4.28  2.35  252153856
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) 7.14 4.56 317218816 false(no-overflow) 3.67  2.03  255410176
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) 8.18 4.95 304463872 false(no-overflow) 3.69  2.10  264228864
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) 6.96 3.99 300998656 false(no-overflow) 3.69  2.03  251764736
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) 8.79 4.92 330358784 false(no-overflow) 3.75  2.11  252010496
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) 7.58 4.33 314683392 false(no-overflow) 3.52  1.94  248688640
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) 7.01 4.52 308830208 false(no-overflow) 3.73  2.07  253259776
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) 7.03 4.46 311713792 false(no-overflow) 3.52  1.97  249331712
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) 7.42 4.24 315813888 false(no-overflow) 3.52  1.94  254050304
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) 6.87 4.34 306556928 false(no-overflow) 3.69  2.04  251924480
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) 6.74 4.33 311828480 false(no-overflow) 3.58  1.98  251453440
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) 6.92 4.41 312393728 false(no-overflow) 3.59  1.96  250884096
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) 6.77 4.34 307650560 false(no-overflow) 3.50  1.95  248152064
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) 6.96 4.38 308142080 false(no-overflow) 3.53  1.96  248422400
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) 8.36 4.71 310067200 false(no-overflow) 3.50  1.94  251170816
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) 7.33 4.16 312000512 false(no-overflow) 3.67  2.01  250515456
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) 7.06 4.56 316538880 false(no-overflow) 3.47  1.90  249053184
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) 6.65 4.23 324521984 false(no-overflow) 4.11  2.25  249769984
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) 6.85 3.94 313913344 false(no-overflow) 3.67  2.04  251883520
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) 7.25 4.14 310706176 false(no-overflow) 3.51  1.99  250736640
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) 7.87 4.48 313032704 false(no-overflow) 3.87  2.19  262205440
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) 7.35 4.66 317685760 false(no-overflow) 3.58  2.00  250343424
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) 6.79 4.34 309895168 false(no-overflow) 3.59  1.98  252755968
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) 6.81 4.36 308666368 false(no-overflow) 3.49  1.96  252739584
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) 6.86 4.32 314384384 false(no-overflow) 3.94  2.24  262397952
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) 6.57 4.27 307412992 false(no-overflow) 3.72  2.10  250150912
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) 6.55 3.82 309084160 false(no-overflow) 3.55  1.98  251842560
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) 6.83 4.36 308338688 false(no-overflow) 3.91  2.14  247934976
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) 7.61 4.75 315019264 false(no-overflow) 3.61  2.01  250122240
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) 6.92 4.00 300216320 false(no-overflow) 3.75  2.03  252375040
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) 7.49 4.70 312037376 false(no-overflow) 3.97  2.20  248152064
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) 6.59 4.20 311435264 false(no-overflow) 4.05  2.26  259850240
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) 7.39 4.29 314638336 false(no-overflow) 3.70  2.06  256212992
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) 9.69 5.60 330616832 false(no-overflow) 3.71  2.07  255356928
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) 7.57 4.58 311840768 false(no-overflow) 3.52  1.96  250961920
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) 11.0  6.88 391319552 false(no-overflow) 4.00  2.21  257978368
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) 8.39 4.76 303308800 false(no-overflow) 3.80  2.17  255156224
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) 6.60 4.27 308879360 false(no-overflow) 3.86  2.25  262557696
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c false(no-overflow) 10.5  6.32 318099456 false(no-overflow) 4.17  2.28  265510912
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c false(no-overflow) 7.86 4.98 314769408 false(no-overflow) 4.32  2.44  267542528
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c false(no-overflow) 6.74 4.39 311033856 false(no-overflow) 3.68  2.06  249589760
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c false(no-overflow) 6.93 4.49 308473856 false(no-overflow) 3.99  2.21  268058624
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) 6.74 4.39 313597952 false(no-overflow) 3.46  1.93  248471552
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) 7.40 4.69 315469824 false(no-overflow) 3.43  1.98  248238080
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) 7.16 4.07 313786368 false(no-overflow) 3.48  1.96  246034432
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) 8.37 5.06 307437568 true 3.54  2.00  247476224
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) 6.60 4.28 307949568 false(no-overflow) 3.84  2.18  265441280
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) 6.71 4.33 310853632 false(no-overflow) 3.66  2.01  250302464
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) 6.60 4.25 308723712 false(no-overflow) 3.80  2.09  253800448
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) 7.35 4.22 308064256 false(no-overflow) 4.45  2.45  254414848
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) 6.77 4.30 310775808 false(no-overflow) 3.98  2.20  252813312
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) 8.03 4.58 316387328 false(no-overflow) 4.02  2.20  255881216
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 8.20 5.13 317263872 false(no-overflow) 3.74  2.07  253440000
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) 8.02 5.08 317394944 false(no-overflow) 3.57  1.99  249040896
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 7.68 4.94 319217664 false(no-overflow) 3.67  2.05  250785792
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c false(no-overflow) 6.85 3.95 309411840 false(no-overflow) 4.38  2.44  250556416
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) 7.05 4.56 320446464 false(no-overflow) 3.60  2.01  253591552
termination-crafted-lit/cstrncmp_false-no-overflow.c false(no-overflow) 8.77 4.99 317399040 false(no-overflow) 4.06  2.20  261636096
termination-crafted-lit/gcd1_false-no-overflow.c false(no-overflow) 7.15 4.57 316059648 false(no-overflow) 3.54  1.98  247570432
termination-crafted-lit/joey_false-no-overflow.c false(no-overflow) 8.39 5.25 315559936 false(no-overflow) 4.10  2.28  252329984
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) 7.17 4.63 310968320 false(no-overflow) 3.83  2.09  251908096
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 961    849    2265800704 error (invalid witness file) .575 .359 40583168
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true 9.40 5.79 324825088 error (1) .787 .478 43859968
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true 8.30 5.07 316678144 error (1) .665 .425 44507136
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c timeout 961    802    3828826112 error (invalid witness file) .562 .353 39571456
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c true 8.64 4.98 321634304 error (1) .691 .405 43651072
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c true 21.3  12.7  562196480 error (1) .698 .420 43827200
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c timeout 961    830    4540596224 error (invalid witness file) .564 .351 40300544
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true 206    165    5019885568 error (1) .781 .467 45973504
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true 9.26 5.69 331988992 error (1) .693 .423 43778048
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true 9.93 5.83 363536384 error (1) .691 .408 45383680
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true 8.75 5.48 321265664 error (1) .757 .454 44277760
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true 8.13 4.67 319385600 error (1) .652 .404 45559808
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true 7.48 4.80 314077184 error (1) .672 .397 45420544
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c true 11.2  6.39 382840832 error (1) .682 .412 44261376
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c timeout 961    823    2246737920 error (invalid witness file) .571 .354 40275968
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c true 13.8  8.45 475586560 error (1) .835 .515 43855872
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c true 11.3  6.72 433672192 error (1) .744 .450 44797952
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c true 9.86 5.66 331255808 error (1) .693 .415 46510080
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c timeout 961    881    4685385728 error (invalid witness file) .562 .354 40570880
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c true 13.9  8.52 464543744 error (1) .662 .394 44142592
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true 9.31 5.25 313061376 error (1) .651 .402 44105728
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c timeout 961    800    3874320384 error (invalid witness file) .567 .342 40374272
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c timeout 961    797    8110010368 error (invalid witness file) .580 .350 41623552
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c true 206    166    4912627712 error (1) .743 .450 46125056
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c true 6.78 4.37 307974144 error (1) .670 .409 44478464
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c true 9.29 5.24 317472768 error (1) .676 .406 46395392
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c true 8.13 5.11 320966656 error (1) .658 .392 44716032
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c true 7.53 4.78 315617280 error (1) .660 .394 44699648
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c true 8.40 4.74 315637760 error (1) .671 .411 43724800
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c true 8.03 4.67 316112896 error (1) .738 .437 45965312
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c true 8.80 5.45 316874752 error (1) .694 .405 45350912
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c true 8.90 5.07 315256832 error (1) .624 .387 43311104
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c true 8.33 5.24 328036352 error (1) .729 .447 43802624
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c true 160    108    1998475264 error (1) .704 .423 47046656
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 961    834    3471908864 error (invalid witness file) .588 .348 40513536
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c true 8.65 4.82 324435968 error (1) .666 .391 43249664
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c true 11.6  6.88 448233472 error (1) .638 .385 43712512
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c true 7.69 4.81 317403136 error (1) .667 .408 44511232
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c true 8.91 5.46 320028672 error (1) .706 .426 46063616
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c true 7.25 4.62 313339904 error (1) .675 .407 44834816
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c timeout 961    795    4743610368 error (invalid witness file) .558 .339 40169472
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c true 7.03 4.42 311943168 error (1) .729 .428 47329280
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c true 7.68 4.79 312217600 error (1) .705 .431 47779840
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout 961    858    1620643840 error (invalid witness file) .577 .367 39833600
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c true 13.7  7.96 471072768 error (1) .690 .430 45502464
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c true 26.7  15.8  615944192 error (1) .682 .406 45670400
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c true 7.98 5.09 315289600 error (1) .663 .404 43417600
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c true 7.92 5.01 323026944 error (1) .677 .411 44896256
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true 7.11 4.16 321187840 error (1) .652 .397 44220416
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c true 8.71 5.48 328024064 error (1) .653 .398 45129728
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c true 7.02 4.47 309780480 error (1) .668 .402 45625344
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c true 8.73 5.43 323313664 error (1) .779 .475 43700224
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c true 7.72 4.42 317595648 error (1) .669 .417 43384832
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c true 7.22 4.55 309821440 error (1) .652 .391 45314048
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c true 8.32 5.26 321282048 error (1) .656 .397 44859392
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c true 8.03 5.12 317763584 error (1) .677 .417 44118016
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c true 8.66 5.00 320077824 error (1) .683 .427 44957696
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c true 8.37 4.76 315736064 error (1) .864 .512 44765184
termination-crafted-lit/aviad_true-termination_true-no-overflow.c timeout 961    778    7896002560 error (invalid witness file) .583 .351 40136704
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c true 7.98 4.94 314429440 error (1) .671 .412 43995136
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c true 8.17 4.65 313131008 error (1) .722 .430 47030272
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c true 8.11 5.03 313946112 error (1) .661 .394 45252608
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c true 7.82 4.92 315641856 error (1) .696 .415 44920832
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c true 8.19 5.14 317296640 error (1) .768 .478 44302336
termination-crafted-lit/genady_true-termination_true-no-overflow.c true 11.7  6.99 453607424 error (1) .665 .408 44122112
termination-crafted-lit/strchr_true-no-overflow_true-termination.c true 8.71 5.18 316956672 error (1) .682 .417 45305856
termination-numeric/Addition01_false-no-overflow.c false(no-overflow) 8.48 5.19 313679872 false(no-overflow) 3.89  2.15  261517312
termination-numeric/Avg_true_false-no-overflow.c false(no-overflow) 7.08 4.50 311054336 false(no-overflow) 3.62  1.96  245006336
termination-numeric/Binomial_true-termination_false-no-overflow.c timeout 960    938    1013772288 error (invalid witness file) .567 .344 40439808
termination-numeric/Et1_true_false-no-overflow.c false(no-overflow) 6.90 4.44 312377344 false(no-overflow) 4.30  2.35  252145664
termination-numeric/Et2_true_false-no-overflow.c false(no-overflow) 6.93 4.43 311103488 false(no-overflow) 4.24  2.33  251277312
termination-numeric/Et3_true_false-no-overflow.c false(no-overflow) 6.98 4.43 304394240 false(no-overflow) 3.48  1.93  250036224
termination-numeric/Et4_true_false-no-overflow.c false(no-overflow) 7.39 4.22 310607872 false(no-overflow) 3.63  1.99  248115200
termination-numeric/MultCommutative_false-no-overflow.c false(no-overflow) 12.7  7.43 454000640 error 9.14  5.18  358957056
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c timeout 960    953    1162874880 error (invalid witness file) .677 .421 39968768
termination-numeric/Ackermann01_true-termination_true-no-overflow.c timeout 961    743    11642941440 error (invalid witness file) .582 .351 41246720
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c true 15.9  9.78 496590848 error (1) .691 .419 46084096
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c timeout 961    894    5748764672 error (invalid witness file) .713 .441 39723008
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c true 10.5  5.95 316522496 error (1) .665 .412 43442176
termination-numeric/LogRecursive_true-termination_true-no-overflow.c timeout 960    954    740270080 error (invalid witness file) .573 .343 39682048
termination-numeric/Parts_true-termination_true-no-overflow.c timeout 960    842    4727267328 error (invalid witness file) .567 .343 39952384
termination-numeric/TwoWay_true-termination_true-no-overflow.c true 15.8  10.8  466796544 error (1) .798 .479 46596096
termination-numeric/gcd01_true-termination_true-no-overflow.c true 8.88 5.59 317833216 error (1) .664 .408 45318144
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true 57.3  38.2  886394880 error (1) .674 .398 45842432
termination-numeric/recHanoi02_true-termination_true-no-overflow.c true 81.2  51.5  838074368 error (1) .651 .401 44163072
termination-numeric/rec_counter1_true-termination_true-no-overflow.c timeout 960    798    4655951872 error (invalid witness file) .610 .377 41193472
termination-numeric/rec_counter3_true-termination_true-no-overflow.c timeout 960    798    4600963072 error (invalid witness file) .630 .382 39833600
termination-numeric/twisted_true-termination_true-no-overflow.c timeout 961    865    1188532224 error (invalid witness file) .624 .381 39657472
recursive/Addition02WithOverflowBug_false-no-overflow.c false(no-overflow) 6.98 4.53 312344576 false(no-overflow) 3.96  2.21  258801664
recursive/Addition03_false-no-overflow.c false(no-overflow) 7.42 4.26 310992896 false(no-overflow) 4.01  2.19  256724992
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c false(no-overflow) 7.80 4.50 318623744 false(no-overflow) 3.45  1.94  251019264
recursive/Ackermann01_true-unreach-call_true-no-overflow.c timeout 961    740    11290497024 error (invalid witness file) .572 .355 40632320
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c timeout 961    741    11563253760 error (invalid witness file) .589 .354 41398272
recursive/Ackermann03_true-unreach-call_true-no-overflow.c timeout 961    739    11653304320 error (invalid witness file) .595 .369 41029632
recursive/Ackermann04_true-unreach-call_true-no-overflow.c timeout 961    762    10594525184 error (invalid witness file) .562 .349 40140800
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c timeout 960    799    3166990336 error (invalid witness file) .579 .355 40005632
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c timeout 961    797    3523866624 error (invalid witness file) .571 .344 40841216
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c timeout 961    862    2581999616 error (invalid witness file) .573 .352 40497152
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c true 7.00 4.43 307965952 error (1) .659 .394 44490752
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c true 15.1  9.47 504053760 error (1) .750 .447 44531712
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c true 15.0  9.38 460005376 error (1) .689 .422 44081152
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c timeout 961    902    5425438720 error (invalid witness file) .584 .366 40243200
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c true 38.4  23.6  1090076672 error (1) .683 .406 45649920
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c timeout 961    906    5373149184 error (invalid witness file) .561 .341 40890368
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c timeout 961    895    5436157952 error (invalid witness file) .564 .354 40726528
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c timeout 961    894    5469782016 error (invalid witness file) .580 .361 41050112
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c true 11.4  6.54 349859840 error (1) .683 .407 44642304
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c true 10.2  6.28 354922496 error (1) .667 .401 43798528
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c timeout 961    809    1570394112 error (invalid witness file) .562 .343 39763968
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c timeout 961    813    1840680960 error (invalid witness file) .572 .359 40841216
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c true 8.74 5.52 318562304 error (1) .662 .395 43896832
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c true 20.1  12.4  560066560 error (1) .696 .420 45305856
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c timeout 961    858    4680536064 error (invalid witness file) .575 .361 40378368
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c true 90.0  57.2  1048395776 error (1) .680 .412 44539904
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c true 84.1  52.9  981073920 error (1) .675 .409 44507136
recursive-simple/id_b3_o2_false-no-overflow.c false(no-overflow) 7.65 4.86 315043840 false(no-overflow) 3.67  2.02  256954368
recursive-simple/id_b3_o5_false-no-overflow.c false(no-overflow) 8.33 4.69 319635456 false(no-overflow) 3.97  2.19  260136960
recursive-simple/id_b5_o10_false-no-overflow.c false(no-overflow) 7.67 4.74 316764160 false(no-overflow) 3.64  2.02  258273280
recursive-simple/sum_non_eq_false-no-overflow.c false(no-overflow) 7.32 4.24 318033920 false(no-overflow) 3.86  2.13  258088960
recursive-simple/sum_non_false-no-overflow.c false(no-overflow) 8.75 5.47 319934464 false(no-overflow) 3.70  2.04  251883520
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 6.96 4.51 310386688 error (1) .679 .418 44085248
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 7.75 4.29 317669376 error (1) .829 .491 47321088
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 6.94 3.99 311365632 error (1) .745 .458 43761664
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 7.27 4.50 315314176 error (1) .713 .443 45752320
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 6.85 4.36 305913856 error (1) .688 .422 45748224
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 8.89 5.58 324628480 error (1) .715 .449 45187072
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 8.81 5.49 332193792 error (1) .658 .405 43954176
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 9.62 5.45 317186048 error (1) .683 .422 46321664
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c true 6.39 4.12 305590272 error (1) .665 .416 43372544
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c true 7.11 4.54 321642496 error (1) .673 .407 46346240
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c true 6.34 3.77 300326912 error (1) .660 .399 45015040
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c true 7.56 4.23 312971264 error (1) .667 .396 43958272
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c true 6.47 4.18 307208192 error (1) .669 .400 44421120
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c true 6.78 3.90 302063616 error (1) .847 .507 43216896
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c true 7.50 4.76 315428864 error (1) .660 .390 43585536
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c true 7.13 4.55 319090688 error (1) .653 .385 43622400
bitvector/byte_add_1_false-no-overflow.i error 34.4  20.9  655429632 error (invalid witness file) .563 .348 40042496
bitvector/byte_add_2_false-no-overflow.i error 32.6  19.7  677273600 error (invalid witness file) .573 .357 40640512
bitvector/byte_add_false-no-overflow.i error 44.7  30.1  692555776 error (invalid witness file) .572 .349 39821312
bitvector/jain_1_false-no-overflow.i false(no-overflow) 6.60 4.30 309424128 false(no-overflow) 4.57  2.67  286908416
bitvector/jain_2_false-no-overflow.i false(no-overflow) 6.85 4.32 309161984 false(no-overflow) 4.22  2.46  285184000
bitvector/jain_4_false-no-overflow.i false(no-overflow) 6.82 4.38 312123392 false(no-overflow) 4.22  2.48  285761536
bitvector/jain_5_false-no-overflow.i timeout 961    806    3173036032 error (invalid witness file) .565 .342 39981056
bitvector/jain_6_false-no-overflow.i false(no-overflow) 7.40 4.67 314216448 false(no-overflow) 4.16  2.44  285655040
bitvector/jain_7_false-no-overflow.i false(no-overflow) 7.60 4.31 316018688 false(no-overflow) 4.46  2.57  287379456
bitvector/modulus_false-no-overflow.i error 7.08 4.51 309747712 error (invalid witness file) .581 .372 40075264
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i true 8.20 4.72 316575744 error (1) .772 .459 47185920
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i true 8.04 5.02 317890560 error (1) .783 .456 46383104
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i true 10.7  6.09 320561152 error (1) .747 .449 45359104
bitvector/gcd_1_true-unreach-call_true-no-overflow.i true 8.14 5.13 321769472 error (1) .794 .482 44204032
bitvector/gcd_2_true-unreach-call_true-no-overflow.i true 8.90 5.19 313794560 error (1) .674 .417 44650496
bitvector/gcd_3_true-unreach-call_true-no-overflow.i true 8.27 5.19 315711488 error (1) .775 .468 45096960
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i true 17.1  10.9  476200960 error (1) .673 .407 44597248
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i true 8.66 4.86 317505536 error (1) .708 .437 46379008
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i true 7.24 4.12 307896320 error (1) .680 .402 43974656
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i true 7.16 4.09 307896320 error (1) .650 .398 44150784
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i true 7.06 4.49 308723712 error (1) .644 .399 45608960
bitvector/jain_5_true-unreach-call_true-no-overflow.i true 6.56 4.20 300380160 error (1) .673 .400 43315200
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i true 8.36 5.05 309211136 error (1) .661 .394 44703744
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i true 6.80 4.32 308076544 error (1) .670 .400 45363200
bitvector/modulus_true-unreach-call_true-no-overflow.i error 6.84 4.41 310116352 error (invalid witness file) .580 .348 41451520
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i error 7.02 4.51 315830272 error (invalid witness file) .576 .348 40259584
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i error 6.92 4.36 311906304 error (invalid witness file) .568 .350 39362560
bitvector/parity_true-unreach-call_true-no-overflow.i true 6.93 4.41 309284864 error (1) .675 .400 43663360
bitvector/sum02_false-unreach-call_true-no-overflow.i true 7.56 4.73 307453952 error (1) .646 .398 44175360
bitvector/sum02_true-unreach-call_true-no-overflow.i true 6.86 4.34 308879360 error (1) .646 .389 43749376
psyco/psyco_abp_1_false-no-overflow.c timeout 961    874    5466779648 error (invalid witness file) .573 .364 40718336
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i unknown 7.55 4.53 304500736 error (invalid witness file) .561 .355 40321024
busybox-1.22.0/chroot-incomplete_false-no-overflow.i unknown 7.69 4.28 294866944 error (invalid witness file) .585 .354 42188800
busybox-1.22.0/cut_false-no-overflow.i unknown 8.31 4.80 296747008 error (invalid witness file) .568 .355 39378944
busybox-1.22.0/date_false-no-overflow.i unknown 8.82 5.11 316526592 error (invalid witness file) .572 .341 40214528
busybox-1.22.0/du_false-no-overflow.i unknown 9.70 5.17 315850752 error (invalid witness file) .567 .345 39903232
busybox-1.22.0/echo_false-no-overflow.i unknown 7.80 4.44 294838272 error (invalid witness file) .562 .341 40161280
busybox-1.22.0/expand_false-no-overflow.i unknown 7.67 4.39 298614784 error (invalid witness file) .554 .340 40103936
busybox-1.22.0/fold_false-no-overflow.i unknown 8.19 4.61 305729536 error (invalid witness file) .565 .347 40488960
busybox-1.22.0/head_false-no-overflow.i unknown 8.01 4.71 305094656 error (invalid witness file) .584 .353 39895040
busybox-1.22.0/logname_false-no-overflow.i unknown 7.96 4.45 304951296 error (invalid witness file) .562 .356 41287680
busybox-1.22.0/ls-incomplete_false-no-overflow.i error (7) 8.81 5.05 308756480 error (invalid witness file) .565 .341 39944192
busybox-1.22.0/mkdir_false-no-overflow.i unknown 8.41 4.91 307400704 error (invalid witness file) .585 .351 41025536
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i unknown 7.39 4.30 298942464 error (invalid witness file) .562 .359 40607744
busybox-1.22.0/od_false-no-overflow.i unknown 8.53 4.85 303091712 error (invalid witness file) .565 .341 40878080
busybox-1.22.0/printf_false-no-overflow.i unknown 8.37 4.66 296693760 error (invalid witness file) .576 .347 40013824
busybox-1.22.0/readlink_false-no-overflow.i unknown 7.89 4.66 302694400 error (invalid witness file) .559 .347 40325120
busybox-1.22.0/realpath_false-no-overflow.i unknown 7.58 4.57 299872256 error (invalid witness file) .556 .345 40550400
busybox-1.22.0/rm_false-no-overflow.i unknown 8.56 4.79 280469504 error (invalid witness file) .574 .355 40710144
busybox-1.22.0/seq_false-no-overflow.i unknown 7.79 4.71 300625920 error (invalid witness file) .560 .343 41390080
busybox-1.22.0/sleep_false-no-overflow.i unknown 8.02 4.56 299610112 error (invalid witness file) .592 .355 41054208
busybox-1.22.0/stty_false-no-overflow.i unknown 9.06 5.13 328507392 error (invalid witness file) .585 .361 40054784
busybox-1.22.0/sync_false-no-overflow.i unknown 7.38 4.56 294707200 error (invalid witness file) .580 .361 40579072
busybox-1.22.0/tac_false-no-overflow.i unknown 7.82 4.42 305520640 error (invalid witness file) .579 .359 40091648
busybox-1.22.0/tee_false-no-overflow.i unknown 10.2  5.51 308256768 error (invalid witness file) .568 .344 40124416
busybox-1.22.0/test-incomplete_false-no-overflow.i unknown 8.00 4.81 297795584 error (invalid witness file) .564 .353 40189952
busybox-1.22.0/touch_false-no-overflow.i unknown 8.18 4.82 294068224 error (invalid witness file) .575 .352 40804352
busybox-1.22.0/uname_false-no-overflow.i unknown 8.07 4.50 298713088 error (invalid witness file) .546 .349 39903232
busybox-1.22.0/uniq_false-no-overflow.i unknown 8.14 4.58 308998144 error (invalid witness file) .573 .348 40423424
busybox-1.22.0/usleep_false-no-overflow.i unknown 7.73 4.49 300728320 error (invalid witness file) .583 .347 41021440
busybox-1.22.0/uudecode_false-no-overflow.i unknown 8.79 4.86 307548160 error (invalid witness file) .569 .353 40599552
busybox-1.22.0/wc_false-no-overflow.i unknown 8.36 4.72 327671808 error (invalid witness file) .559 .346 40366080
busybox-1.22.0/who_false-no-overflow.i unknown 8.20 4.65 305315840 error (invalid witness file) .556 .348 40361984
busybox-1.22.0/whoami-incomplete_false-no-overflow.i unknown 7.47 4.42 294797312 error (invalid witness file) .580 .351 40001536
busybox-1.22.0/yes_false-no-overflow.i unknown 7.97 4.51 307716096 error (invalid witness file) .737 .450 41287680
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (7) 225    192    2598006784 error (invalid witness file) .558 .347 39899136
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i unknown 7.59 4.39 300126208 error (invalid witness file) .568 .345 40591360
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.87 4.49 298487808 error (invalid witness file) .621 .381 39739392
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) .572 .341 39989248
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) .579 .365 41619456
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i error (7) 166    134    2705436672 error (invalid witness file) .586 .347 40775680
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i unknown 8.34 4.69 308162560 error (invalid witness file) .558 .340 40128512
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i unknown 7.32 4.47 298278912 error (invalid witness file) .577 .357 40087552
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) .603 .364 40337408
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i unknown 8.21 4.59 296873984 error (invalid witness file) .560 .342 39907328
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i unknown 8.27 4.54 310194176 error (invalid witness file) .574 .351 40943616
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i true 18.7  10.6  491905024 error (1) .732 .442 45555712
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i unknown 7.71 4.48 301879296 error (invalid witness file) .595 .362 39694336
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) .558 .341 39960576
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i unknown 8.51 4.79 302600192 error (invalid witness file) .626 .373 41140224
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.18 4.12 291246080 error (invalid witness file) .586 .349 41693184
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) .596 .366 41218048
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) .560 .347 40095744
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i unknown 8.07 4.65 299241472 error (invalid witness file) .631 .397 39960576
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i unknown 7.71 4.38 303468544 error (invalid witness file) .574 .344 43671552
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i unknown 8.18 4.63 300085248 error (invalid witness file) .580 .358 39829504
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i unknown 8.07 4.69 298942464 error (invalid witness file) .566 .358 41775104
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i unknown 8.36 4.84 303407104 error (invalid witness file) .560 .342 40251392
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) .576 .349 40378368
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i unknown 7.57 4.51 304271360 error (invalid witness file) .694 .424 40820736
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i unknown 7.94 4.41 304013312 error (invalid witness file) .607 .382 40222720
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i unknown 7.98 4.48 306814976 error (invalid witness file) .602 .358 41242624
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) .641 .385 39854080
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) .722 .451 39792640
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i unknown 7.94 4.37 300142592 error (invalid witness file) .568 .337 40243200
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i unknown 7.89 4.44 307183616 error (invalid witness file) .578 .363 40673280
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i unknown 7.63 4.41 305819648 error (invalid witness file) .562 .355 40984576
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i unknown 8.12 4.82 305827840 error (invalid witness file) .595 .363 41971712
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) .706 .428 39788544
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i unknown 7.89 4.48 292163584 error (invalid witness file) .563 .354 40493056
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.81 4.35 300503040 error (invalid witness file) .667 .392 39878656
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i unknown 7.69 4.56 300068864 error (invalid witness file) .565 .359 39714816
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 430 48900 41300 351050166272 430 812    467    53659963392
    correct results 307 3580 2300 116499382272 161 628    355    41640726528
        correct true 144 2330 1540 64756244480 0
        correct false 163 1250 765 51743137792 161 628    355    41640726528
    incorrect results 0 1 3.54 2.00 247476224
        incorrect true 0 1 3.54 2.00 247476224
        incorrect false 0 0
score (430 tasks, max score: 649) 451 129
Run set ultimateautomizer--overflows.ultimateautomizer cpachecker-ultimateautomizer--overflows-validation.witnessValidation