Tool 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 cpaseq--overflows.cpaseq cpachecker-cpaseq--overflows-validation.witnessValidation
Options -heap 10000M -svcomp18 -benchmark -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false -heap 10000M -benchmark -witnessValidation -witness test/results/cpaseq--overflows.logfiles/cpaseq.${inputfile_name}.files/output/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) 3.93 2.15 265609216 false(no-overflow) 4.12  2.27  251510784
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) 4.43 2.41 268464128 false(no-overflow) 4.38  2.38  255045632
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) 4.33 2.38 269017088 false(no-overflow) 4.11  2.27  249335808
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) 3.79 2.10 252530688 false(no-overflow) 4.15  2.25  249978880
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) 4.12 2.25 251117568 false(no-overflow) 4.34  2.36  254623744
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) 4.75 2.53 284614656 false(no-overflow) 4.13  2.30  252116992
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) 4.37 2.38 250175488 false(no-overflow) 4.52  2.41  259018752
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) 4.34 2.34 266776576 false(no-overflow) 4.13  2.25  248508416
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) 4.27 2.30 267702272 false(no-overflow) 4.46  2.41  250884096
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) 4.29 2.32 268005376 false(no-overflow) 4.03  2.20  252481536
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i true 3.82 2.08 264679424 error (1) .642 .393 43548672
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i true 3.92 2.15 266567680 error (1) .623 .375 43216896
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i true 3.95 2.18 249516032 error (1) .660 .413 43573248
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i true 3.65 2.01 258666496 error (1) .657 .395 43704320
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i true 4.03 2.24 250429440 error (1) .639 .393 43393024
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) 3.50 1.96 262115328 false(no-overflow) 3.54  1.97  252588032
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) 3.38 1.90 260374528 false(no-overflow) 3.57  1.97  251019264
termination-crafted/Ackermann_false-no-overflow.c timeout 901    880    3722940416 error (invalid witness file) .568 .342 40800256
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) 3.45 1.94 264863744 false(no-overflow) 3.66  2.05  251371520
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) 3.31 1.87 262459392 false(no-overflow) 3.61  2.01  252956672
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) 3.27 1.86 260616192 false(no-overflow) 3.72  2.07  251740160
termination-crafted/Binary_Search_false-no-overflow.c false(no-overflow) 3.46 1.93 262725632 false(no-overflow) 3.72  2.05  251187200
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) 4.05 2.28 263208960 false(no-overflow) 3.73  2.05  251211776
termination-crafted/Cairo_step2_false-no-overflow.c timeout 904    889    2218774528 error (1) .650 .405 44228608
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) 3.62 2.09 277114880 false(no-overflow) 3.87  2.17  264032256
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) 3.30 1.84 259821568 false(no-overflow) 3.59  1.97  251846656
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) 3.46 1.95 268263424 false(no-overflow) 3.57  1.96  249188352
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) 3.42 1.91 264757248 false(no-overflow) 3.64  2.02  252313600
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) 3.43 1.92 265089024 false(no-overflow) 3.55  1.97  250712064
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) 3.39 1.91 260964352 false(no-overflow) 3.69  2.04  251760640
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) 3.39 1.92 262918144 false(no-overflow) 3.77  2.08  255770624
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) 3.37 1.87 266665984 false(no-overflow) 3.57  1.98  252399616
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) 3.53 1.99 263745536 false(no-overflow) 3.64  2.01  251920384
termination-crafted/NestedRecursion_1a_false-no-overflow.c false(no-overflow) 3.41 1.90 260825088 false(no-overflow) 3.67  2.05  253169664
termination-crafted/NestedRecursion_2a_false-no-overflow.c false(no-overflow) 3.34 1.88 268148736 false(no-overflow) 3.84  2.12  257806336
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) 3.54 2.11 275689472 false(no-overflow) 3.71  2.09  263237632
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) 3.55 2.10 276586496 false(no-overflow) 3.83  2.23  263880704
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) 206    197    1255739392 false(no-overflow) 21.2   18.2   944332800
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) 3.48 1.92 262959104 false(no-overflow) 3.57  2.00  251084800
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) 3.57 2.02 263462912 false(no-overflow) 3.69  2.04  251817984
termination-crafted/NonTerminationSimple4_false-no-overflow.c timeout 905    889    1922822144 error (1) .644 .403 45219840
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) 3.38 1.90 260341760 false(no-overflow) 3.66  2.01  248242176
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) 3.49 1.98 264048640 false(no-overflow) 3.75  2.09  250834944
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) 3.45 1.95 266547200 false(no-overflow) 3.87  2.13  252059648
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) 3.58 2.00 265228288 false(no-overflow) 3.60  2.00  252325888
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) 3.39 1.89 262656000 false(no-overflow) 3.42  1.89  250159104
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) 3.42 1.94 269029376 false(no-overflow) 3.82  2.10  254644224
termination-crafted/RecursiveMultiplication_false-no-overflow.c false(no-overflow) 4.11 2.31 280641536 false(no-overflow) 3.75  2.10  254418944
termination-crafted/RecursiveNonterminating_false-no-overflow.c false(no-overflow) 3.31 1.85 258260992 false(no-overflow) 3.46  1.93  251572224
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) 3.32 1.86 260407296 false(no-overflow) 3.73  2.06  250834944
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) 3.41 1.89 264261632 false(no-overflow) 3.59  1.99  246009856
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) 3.40 1.87 269602816 false(no-overflow) 3.38  1.89  245313536
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) 3.32 1.88 262021120 false(no-overflow) 3.44  1.94  248770560
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) 3.43 1.93 263081984 false(no-overflow) 3.42  1.90  248135680
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) 3.66 2.07 266813440 false(no-overflow) 3.66  2.06  253394944
termination-crafted/Thun_false-no-overflow.c false(no-overflow) 3.41 1.93 264798208 false(no-overflow) 3.64  2.03  252010496
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) 3.50 1.94 267251712 false(no-overflow) 3.46  1.94  248483840
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) 4.15 2.29 271298560 false(no-overflow) 4.07  2.22  255840256
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) 3.53 1.98 266047488 false(no-overflow) 3.74  2.08  254672896
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) 3.36 1.87 263720960 false(no-overflow) 3.64  2.04  251150336
termination-crafted/easy2_false-no-overflow.c timeout 906    883    13116813312 error (1) .936 .540 56807424
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c true 3.41 1.89 256032768 error (1) .652 .414 44707840
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c true 3.63 2.01 265289728 error (1) .654 .395 44470272
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c true 3.41 1.91 266633216 error (1) .631 .398 46112768
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c timeout 902    885    6503505920 error (1) .654 .397 43724800
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c true 3.53 1.98 263503872 error (1) .689 .412 43085824
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c true 3.54 1.96 264798208 error (1) .689 .406 44175360
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c true 3.31 1.86 264257536 error (1) .661 .386 44208128
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c timeout 905    887    5037371392 error (1) .824 .483 52822016
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c true 3.25 1.84 261935104 error (1) .652 .404 43421696
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 906    892    2137362432 error (1) .662 .404 44478464
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c true 3.42 1.92 262926336 error (1) .640 .390 44142592
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c true 3.27 1.86 260358144 error (1) .660 .390 44072960
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c true 3.62 2.06 277925888 error (1) .650 .392 43274240
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c true 3.57 2.00 266592256 error (1) .682 .404 44113920
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c timeout 905    884    5619048448 error (1) .901 .531 52572160
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c true 3.24 1.83 260550656 error (1) .647 .390 44220416
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c timeout 902    896    532709376 error (1) .629 .388 44097536
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c true 3.85 2.13 273608704 error (1) .673 .394 43327488
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c true 3.64 2.07 267898880 error (1) .647 .406 44998656
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c true 5.00 2.84 284680192 error (1) .674 .398 45228032
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c true 5.35 3.05 284577792 error (1) .666 .408 44756992
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c timeout 903    883    1976549376 error (1) .746 .451 47296512
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c true 5.34 2.96 278409216 error (1) .675 .398 46321664
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c timeout 903    878    3516186624 error (1) .762 .452 46735360
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c timeout 901    882    3140648960 error (invalid witness file) .588 .362 39919616
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c timeout 905    880    3422863360 error (1) .661 .393 45182976
termination-crafted/NonTermination3_true-no-overflow_false-termination.c true 3.42 1.91 261914624 error (1) .662 .395 44630016
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c true 3.44 1.93 262373376 error (1) .665 .407 43978752
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c true 3.34 1.90 263233536 error (1) .659 .399 45490176
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c true 3.45 1.92 264208384 error (1) .678 .412 43814912
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c true 3.38 1.92 262586368 error (1) .665 .394 45314048
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c true 3.38 1.87 264323072 error (1) .671 .412 45162496
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c true 3.56 1.98 266313728 error (1) .668 .420 44937216
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c true 3.24 1.83 262246400 error (1) .633 .379 43298816
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c true 3.23 1.80 256917504 error (1) .657 .389 44408832
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c true 3.31 1.85 262098944 error (1) .655 .386 43364352
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c true 3.47 1.93 265986048 error (1) .646 .392 44507136
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 905    882    13092544512 error (1) .887 .515 54308864
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) 3.47 1.96 263024640 false(no-overflow) 3.65  1.99  252026880
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) 3.56 1.96 265805824 false(no-overflow) 3.82  2.09  255700992
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) 3.39 1.89 266915840 false(no-overflow) 3.62  2.02  252555264
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) 3.24 1.84 261206016 false(no-overflow) 3.58  2.00  248774656
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) 3.41 1.92 263598080 false(no-overflow) 3.54  1.97  251686912
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) 3.69 2.06 268701696 false(no-overflow) 3.76  2.07  253136896
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) 3.66 2.05 270819328 false(no-overflow) 3.85  2.12  255750144
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c timeout 906    883    12768272384 error (1) .899 .533 54509568
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) 3.45 1.94 268152832 false(no-overflow) 3.60  2.01  250253312
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) 3.34 1.83 257253376 false(no-overflow) 3.51  1.95  250417152
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c timeout 906    890    6482915328 error (1) .997 .572 60604416
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c timeout 912    904    610770944 error (invalid witness file) .564 .364 39636992
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) 3.60 2.16 279814144 false(no-overflow) 3.79  2.15  264327168
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) 3.46 1.96 265089024 false(no-overflow) 3.81  2.12  252260352
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) 3.46 1.96 266391552 false(no-overflow) 3.67  2.00  251752448
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) 3.53 1.93 261525504 false(no-overflow) 3.62  1.98  249208832
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) 3.65 2.07 269426688 false(no-overflow) 3.59  1.97  249724928
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) 3.42 1.90 262447104 false(no-overflow) 3.65  2.01  249765888
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) 4.08 2.27 267321344 false(no-overflow) 3.85  2.11  251928576
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) 3.73 2.06 261988352 false(no-overflow) 3.80  2.07  250023936
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) 3.43 1.93 263708672 false(no-overflow) 3.56  1.99  251957248
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) 3.61 2.01 265682944 false(no-overflow) 3.75  2.06  253218816
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) 3.49 1.94 263122944 false(no-overflow) 3.66  2.00  248778752
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) 3.44 1.92 265150464 false(no-overflow) 3.62  2.07  255127552
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) 3.68 2.04 264019968 false(no-overflow) 3.75  2.04  252383232
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) 3.61 2.05 275701760 false(no-overflow) 3.75  2.09  261914624
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) 3.73 2.17 276705280 false(no-overflow) 3.83  2.21  263774208
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) 3.56 2.05 275304448 false(no-overflow) 3.73  2.14  265801728
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) 3.41 1.94 262987776 false(no-overflow) 3.79  2.09  255168512
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) 3.44 1.93 267124736 false(no-overflow) 3.47  1.91  247308288
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) 3.38 1.92 262000640 false(no-overflow) 3.71  2.01  250273792
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) 3.42 1.93 261545984 false(no-overflow) 3.64  1.96  249163776
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) 3.27 1.83 258539520 false(no-overflow) 3.43  1.92  249585664
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) 3.46 1.93 267005952 false(no-overflow) 3.65  2.01  251412480
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) 3.79 2.20 274419712 false(no-overflow) 3.86  2.15  260587520
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) 3.39 1.94 265904128 false(no-overflow) 3.65  2.02  250990592
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) 3.47 1.93 262983680 false(no-overflow) 3.60  2.00  252870656
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) 3.45 1.94 262135808 false(no-overflow) 3.51  1.96  251072512
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) 3.38 1.88 260820992 false(no-overflow) 3.54  2.01  249729024
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) 3.38 1.87 261894144 false(no-overflow) 3.53  1.93  252674048
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) 3.28 1.87 263720960 false(no-overflow) 3.56  1.96  252047360
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) 3.31 1.86 260882432 false(no-overflow) 3.48  1.95  247144448
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) 3.42 1.93 262164480 false(no-overflow) 3.69  2.04  252067840
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) 3.47 1.90 260730880 false(no-overflow) 3.64  2.02  251256832
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) 3.36 1.85 263700480 false(no-overflow) 3.49  1.93  249995264
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) 3.38 1.88 258600960 false(no-overflow) 3.46  1.92  249540608
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) 3.35 1.87 262828032 false(no-overflow) 3.53  1.96  246616064
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) 3.28 1.88 264933376 false(no-overflow) 3.57  1.98  250855424
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) 3.26 1.84 264519680 false(no-overflow) 3.48  1.93  245727232
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) 3.45 1.92 262078464 false(no-overflow) 3.57  1.96  251449344
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) 3.67 2.04 262037504 false(no-overflow) 3.83  2.13  255909888
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) 3.24 1.85 260235264 false(no-overflow) 3.71  2.05  254484480
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) 3.47 1.91 263950336 false(no-overflow) 3.66  2.02  250789888
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) 3.35 1.88 266072064 false(no-overflow) 3.66  2.03  251588608
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) 3.31 1.89 257609728 false(no-overflow) 3.65  2.01  252895232
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) 3.50 1.91 258998272 false(no-overflow) 3.49  1.93  250748928
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) 3.59 2.12 275128320 false(no-overflow) 3.73  2.13  262025216
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) 3.57 1.99 262447104 false(no-overflow) 3.56  1.97  250286080
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) 3.33 1.89 265777152 false(no-overflow) 3.85  2.10  252936192
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) 3.43 1.92 262176768 false(no-overflow) 3.58  1.98  253816832
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) 3.44 1.91 263729152 false(no-overflow) 3.57  1.98  251703296
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) 3.52 1.98 263495680 false(no-overflow) 3.69  2.04  251428864
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) 3.41 1.92 267087872 false(no-overflow) 3.73  2.10  255655936
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) 3.36 1.91 265674752 false(no-overflow) 3.63  2.03  252534784
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) 3.69 2.04 269168640 false(no-overflow) 3.72  2.07  255299584
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) 4.04 2.26 275902464 false(no-overflow) 4.05  2.23  264568832
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) 3.33 1.86 259022848 false(no-overflow) 3.59  1.99  252211200
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) 3.73 2.07 267382784 false(no-overflow) 3.98  2.22  258818048
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) 3.72 2.11 270434304 false(no-overflow) 3.61  1.98  250163200
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) 3.65 2.13 277172224 false(no-overflow) 3.88  2.18  263929856
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c false(no-overflow) 3.94 2.19 276934656 false(no-overflow) 4.09  2.26  266375168
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c false(no-overflow) 3.97 2.20 281391104 false(no-overflow) 3.93  2.20  265326592
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c error 4.23 2.36 280907776 error (1) .692 .439 44277760
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c false(no-overflow) 3.65 2.07 277725184 false(no-overflow) 3.99  2.17  263962624
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) 3.31 1.85 258535424 false(no-overflow) 3.78  2.04  250806272
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) 3.38 1.91 264028160 false(no-overflow) 3.66  2.01  248754176
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) 3.35 1.90 262471680 false(no-overflow) 3.54  1.98  254914560
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) 3.56 1.98 263147520 false(no-overflow) 3.79  2.09  249131008
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) 3.59 2.10 276963328 false(no-overflow) 3.73  2.14  264380416
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) 3.41 1.94 263385088 false(no-overflow) 3.61  2.03  250953728
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) 3.54 1.99 265797632 false(no-overflow) 3.69  2.04  248201216
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) 3.47 1.95 265834496 false(no-overflow) 3.59  2.01  252579840
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) 3.52 1.96 264278016 false(no-overflow) 3.76  2.08  251863040
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) 3.55 1.98 263909376 false(no-overflow) 3.90  2.11  254992384
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 3.47 1.96 266596352 false(no-overflow) 3.96  2.18  252829696
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) 3.47 1.95 267513856 false(no-overflow) 3.91  2.13  257662976
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 3.46 1.95 263020544 false(no-overflow) 3.73  2.07  254464000
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c false(no-overflow) 3.35 1.87 263966720 false(no-overflow) 3.53  1.98  248987648
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) 3.38 1.88 264589312 false(no-overflow) 3.62  2.05  256778240
termination-crafted-lit/cstrncmp_false-no-overflow.c false(no-overflow) 4.41 2.74 321302528 false(no-overflow) 4.00  2.22  262254592
termination-crafted-lit/gcd1_false-no-overflow.c false(no-overflow) 3.45 1.92 262279168 false(no-overflow) 3.62  1.97  250241024
termination-crafted-lit/joey_false-no-overflow.c false(no-overflow) 3.44 1.91 260059136 false(no-overflow) 3.71  2.07  254119936
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) 3.43 1.94 264404992 false(no-overflow) 3.86  2.10  251633664
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 903    881    13841145856 error (1) .661 .401 44552192
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true 3.50 1.93 259989504 error (1) .676 .409 44191744
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true 3.53 1.95 262791168 error (1) .667 .396 44142592
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c timeout 906    883    12227526656 error (1) .891 .513 55496704
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c true 112    102    1073786880 error (1) .668 .392 43499520
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c timeout 907    890    6436896768 error (1) .963 .577 58478592
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c timeout 912    907    504303616 error (invalid witness file) .613 .395 41496576
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true 63.4  55.6  556826624 error (1) .705 .452 45166592
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true 3.51 1.98 263626752 error (1) .656 .392 43094016
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true 3.52 1.96 267620352 error (1) .657 .397 44634112
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true 3.60 2.04 267886592 error (1) .662 .398 43466752
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true 5.11 2.77 271212544 error (1) .677 .404 44670976
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true 3.53 1.97 260751360 error (1) .701 .426 43802624
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c true 3.79 2.13 264015872 error (1) .657 .402 43479040
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c timeout 906    887    6187278336 error (1) 1.00  .569 62427136
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c true 3.71 2.08 264511488 error (1) .662 .389 44179456
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c true 3.64 2.04 264196096 error (1) .672 .411 44601344
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c timeout 907    883    7938011136 error (1) .865 .507 53657600
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c timeout 906    886    12510277632 error (1) .745 .442 47783936
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c timeout 905    888    4160897024 error (1) .855 .503 53231616
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true 3.46 1.92 280383488 error (1) .642 .389 43438080
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c timeout 906    884    13280055296 error (1) .901 .531 56008704
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c timeout 911    901    649777152 error (1) .843 .482 52248576
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c true 64.0  56.6  549523456 error (1) .662 .399 45035520
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c true 3.37 1.91 261660672 error (1) .660 .395 43233280
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c true 3.35 1.84 261279744 error (1) .658 .390 44003328
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c true 3.40 1.93 261505024 error (1) .666 .407 44130304
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c true 3.81 2.10 261632000 error (1) .783 .482 45305856
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c true 3.43 1.90 260771840 error (1) .642 .389 43876352
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c true 3.44 1.92 266457088 error (1) .638 .387 43110400
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c true 3.49 1.95 262754304 error (1) .655 .392 45387776
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c true 3.38 1.90 261402624 error (1) .650 .393 43536384
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c true 3.37 1.89 266289152 error (1) .638 .386 44015616
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c timeout 909    885    5630562304 error (1) 1.34  .758 143843328
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 902    895    514285568 error (1) .668 .411 45023232
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c true 3.47 1.95 263008256 error (1) .667 .405 44310528
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c timeout 905    888    4173590528 error (1) .868 .502 52867072
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c true 3.49 1.98 264810496 error (1) .651 .394 43700224
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c true 3.55 1.97 265850880 error (1) .651 .387 45486080
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c true 3.48 1.93 262254592 error (1) .682 .423 46940160
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c timeout 905    885    6570209280 error (1) .648 .403 43958272
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c true 3.26 1.84 260808704 error (1) .656 .394 44294144
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c true 3.75 2.06 259624960 error (1) .657 .400 43429888
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout 902    896    557928448 error (1) .741 .461 46891008
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c true 3.82 2.13 275365888 error (1) .673 .400 45760512
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c timeout 908    883    5299691520 error (invalid witness file) .594 .365 41103360
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c true 3.49 1.99 266706944 error (1) .642 .385 43139072
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c true 3.25 1.85 259735552 error (1) .666 .399 43839488
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true 3.48 1.93 262352896 error (1) .656 .418 43470848
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c true 111    103    1011130368 error (1) .651 .388 43618304
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c true 3.30 1.84 260268032 error (1) .634 .407 45244416
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c true 3.50 1.97 264982528 error (1) .679 .400 45408256
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c true 3.55 1.96 262455296 error (1) .667 .406 45199360
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c true 3.55 1.99 261373952 error (1) .644 .381 43708416
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c timeout 907    888    5162106880 error (1) .938 .539 57602048
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c true 5.18 2.83 273960960 error (1) .662 .401 45690880
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c true 3.40 1.89 259051520 error (1) .646 .405 44769280
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c true 3.47 1.96 262434816 error (1) .672 .413 44388352
termination-crafted-lit/aviad_true-termination_true-no-overflow.c timeout 905    885    8007720960 error (1) .858 .499 53604352
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c true 3.99 2.45 303300608 error (1) .692 .432 46440448
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c true 4.14 2.44 305610752 error (1) .695 .439 44339200
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c true 3.64 2.04 273190912 error (1) .680 .409 44032000
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c true 3.94 2.34 306212864 error (1) .662 .401 44871680
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c true 3.89 2.36 297553920 error (1) .653 .406 44437504
termination-crafted-lit/genady_true-termination_true-no-overflow.c timeout 906    887    4468600832 error (1) .885 .504 53870592
termination-crafted-lit/strchr_true-no-overflow_true-termination.c true 3.67 2.08 276320256 error (1) .661 .414 43614208
termination-numeric/Addition01_false-no-overflow.c false(no-overflow) 3.59 2.00 273129472 false(no-overflow) 4.18  2.28  259452928
termination-numeric/Avg_true_false-no-overflow.c false(no-overflow) 3.29 1.86 265412608 false(no-overflow) 3.80  2.08  251183104
termination-numeric/Binomial_true-termination_false-no-overflow.c timeout 902    895    1388978176 error (1) .680 .415 44998656
termination-numeric/Et1_true_false-no-overflow.c false(no-overflow) 3.45 1.89 258502656 false(no-overflow) 3.63  2.00  250195968
termination-numeric/Et2_true_false-no-overflow.c false(no-overflow) 3.31 1.86 263245824 false(no-overflow) 3.54  1.97  248729600
termination-numeric/Et3_true_false-no-overflow.c false(no-overflow) 3.37 1.87 261124096 false(no-overflow) 3.47  1.95  248905728
termination-numeric/Et4_true_false-no-overflow.c false(no-overflow) 3.47 1.93 261263360 false(no-overflow) 3.52  1.98  252731392
termination-numeric/MultCommutative_false-no-overflow.c error 8.42 5.02 309972992 error (1) .680 .418 46911488
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c timeout 901    895    1302749184 error (invalid witness file) .608 .377 40710144
termination-numeric/Ackermann01_true-termination_true-no-overflow.c timeout 907    886    3722948608 error (1) .692 .406 44011520
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c timeout 907    883    3066769408 error (1) 1.09  .624 69156864
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c true 6.40 3.66 294760448 error (1) .675 .413 44834816
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c true 3.81 2.14 275296256 error (1) .670 .397 43917312
termination-numeric/LogRecursive_true-termination_true-no-overflow.c timeout 902    883    1496887296 error (1) .726 .444 45522944
termination-numeric/Parts_true-termination_true-no-overflow.c timeout 905    888    3035648000 error (1) .837 .487 50044928
termination-numeric/TwoWay_true-termination_true-no-overflow.c timeout 901    899    604430336 error (1) .694 .438 45809664
termination-numeric/gcd01_true-termination_true-no-overflow.c true 3.97 2.23 276807680 error (1) .694 .422 44605440
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true 21.8  13.0  553168896 error (1) .821 .497 51208192
termination-numeric/recHanoi02_true-termination_true-no-overflow.c timeout 901    880    3977355264 error (invalid witness file) .587 .373 40714240
termination-numeric/rec_counter1_true-termination_true-no-overflow.c timeout 901    876    3914960896 error (invalid witness file) .561 .354 39698432
termination-numeric/rec_counter3_true-termination_true-no-overflow.c timeout 908    885    4956225536 error (1) 1.28  .729 98648064
termination-numeric/twisted_true-termination_true-no-overflow.c timeout 901    883    7501942784 error (1) .663 .404 44638208
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i timeout 902    891    1651159040 error (1) .743 .451 46960640
busybox-1.22.0/chroot-incomplete_false-no-overflow.i timeout 902    890    1353515008 error (1) .769 .449 44957696
busybox-1.22.0/cut_false-no-overflow.i timeout 909    888    6308372480 error (1) 1.13  .644 58306560
busybox-1.22.0/date_false-no-overflow.i timeout 905    883    3492413440 error (1) .980 .568 56483840
busybox-1.22.0/du_false-no-overflow.i timeout 905    883    2747633664 error (1) .958 .563 56147968
busybox-1.22.0/echo_false-no-overflow.i timeout 960    941    3287547904 error (invalid witness file) .568 .352 40701952
busybox-1.22.0/expand_false-no-overflow.i timeout 907    885    5387120640 error (1) 1.02  .591 59179008
busybox-1.22.0/fold_false-no-overflow.i timeout 902    883    798457856 error (1) .858 .502 47132672
busybox-1.22.0/head_false-no-overflow.i timeout 902    890    1139654656 error (1) .870 .502 49250304
busybox-1.22.0/logname_false-no-overflow.i timeout 902    891    1300414464 error (1) .739 .448 45027328
busybox-1.22.0/ls-incomplete_false-no-overflow.i timeout 904    885    2902327296 error (1) 1.07  .608 59359232
busybox-1.22.0/mkdir_false-no-overflow.i timeout 906    884    6767169536 error (1) 1.05  .599 59211776
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i false(no-overflow) 75.5  64.8  703893504 timeout 902     898     1367367680
busybox-1.22.0/od_false-no-overflow.i timeout 906    883    6633652224 error (1) 1.11  .653 60698624
busybox-1.22.0/printf_false-no-overflow.i timeout 902    891    1154871296 error (1) .889 .524 52633600
busybox-1.22.0/readlink_false-no-overflow.i timeout 906    881    6431047680 error (1) .988 .584 59781120
busybox-1.22.0/realpath_false-no-overflow.i timeout 902    892    1313411072 error (1) .752 .444 46899200
busybox-1.22.0/rm_false-no-overflow.i timeout 905    883    6519885824 error (1) .997 .575 58695680
busybox-1.22.0/seq_false-no-overflow.i timeout 905    882    6649610240 error (1) 1.08  .632 58720256
busybox-1.22.0/sleep_false-no-overflow.i unknown 7.52 4.03 306806784 error (1) .732 .439 47296512
busybox-1.22.0/stty_false-no-overflow.i timeout 904    885    2025517056 error (1) .987 .563 55848960
busybox-1.22.0/sync_false-no-overflow.i unknown 60.2  51.0  589225984 error (1) .715 .425 45076480
busybox-1.22.0/tac_false-no-overflow.i timeout 905    882    6592802816 error (1) 1.02  .601 58339328
busybox-1.22.0/tee_false-no-overflow.i timeout 905    883    2991357952 error (1) 1.02  .589 55410688
busybox-1.22.0/test-incomplete_false-no-overflow.i exception 35.0  27.7  535900160 error (invalid witness file) .547 .348 39772160
busybox-1.22.0/touch_false-no-overflow.i timeout 905    883    6572560384 error (1) .998 .568 59760640
busybox-1.22.0/uname_false-no-overflow.i timeout 905    881    6310731776 error (1) 1.01  .591 60063744
busybox-1.22.0/uniq_false-no-overflow.i timeout 907    884    5010317312 error (1) 1.09  .616 57614336
busybox-1.22.0/usleep_false-no-overflow.i timeout 902    891    1310404608 error (1) .744 .448 45010944
busybox-1.22.0/uudecode_false-no-overflow.i error (parsing failed) 3.23 1.73 199626752 error (invalid witness file) .578 .363 40759296
busybox-1.22.0/wc_false-no-overflow.i timeout 905    883    6027956224 error (1) .981 .563 58224640
busybox-1.22.0/who_false-no-overflow.i timeout 903    881    6485790720 error (1) .840 .508 49078272
busybox-1.22.0/whoami-incomplete_false-no-overflow.i timeout 902    890    1015902208 error (1) .771 .463 47222784
busybox-1.22.0/yes_false-no-overflow.i timeout 902    892    1215791104 error (1) .751 .448 44212224
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 902    891    994291712 error (1) .805 .505 47407104
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i unknown 110    100    704425984 error (1) .744 .435 44109824
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i timeout 902    890    1303990272 error (1) .805 .491 47566848
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 905    881    6436675584 error (1) 1.13  .637 59736064
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 905    882    3396853760 error (1) .961 .559 56348672
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i timeout 902    883    4542099456 error (1) .733 .453 47017984
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i timeout 902    884    3097305088 error (1) .885 .519 50118656
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i timeout 960    942    2812776448 error (invalid witness file) .575 .346 40488960
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 906    885    6422024192 error (1) 1.08  .626 60260352
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i timeout 902    885    934600704 error (1) .892 .508 48173056
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i unknown 588    574    1029357568 error (1) .808 .482 50098176
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i out of memory 548    530    14999998464 error (invalid witness file) .565 .344 40034304
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i unknown 246    235    833622016 error (1) .759 .451 47280128
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 903    884    2894630912 error (1) .945 .553 53313536
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i timeout 905    882    6612738048 error (1) 1.08  .623 57266176
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i unknown 184    174    801820672 error (1) .736 .439 45383680
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 906    883    6536916992 error (1) 1.11  .626 60407808
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i out of memory 218    208    14999998464 error (invalid witness file) .581 .349 41160704
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i timeout 905    882    6557237248 error (1) .997 .584 57352192
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i timeout 902    893    1346265088 error (1) .787 .463 45187072
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i timeout 906    884    6549991424 error (1) 1.01  .574 58544128
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i timeout 904    880    6236798976 error (1) .945 .562 54730752
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i unknown 7.85 4.16 318144512 error (1) .772 .481 45670400
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 904    887    2052775936 error (1) .986 .565 57221120
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i unknown 43.1  34.1  612642816 error (1) .750 .436 44617728
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i timeout 904    882    6515089408 error (1) .857 .489 49364992
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i timeout 902    882    3240120320 error (1) .812 .477 46477312
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i exception 34.1  25.9  542093312 error (invalid witness file) .576 .354 39993344
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 904    882    6469464064 error (1) .908 .537 52084736
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i timeout 905    883    6584963072 error (1) 1.04  .595 57221120
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i timeout 904    883    6520401920 error (1) .865 .507 46964736
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i unknown 152    141    767315968 error (1) .768 .463 45592576
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i timeout 905    884    5989892096 error (1) .986 .554 57520128
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 905    884    6044958720 error (1) 1.06  .620 59969536
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i timeout 906    883    5005021184 error (1) .989 .572 58335232
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i out of memory 321    310    14999998464 error (invalid witness file) .575 .346 39874560
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i timeout 902    893    1087553536 error (1) .719 .442 45752320
recursive/Addition02WithOverflowBug_false-no-overflow.c false(no-overflow) 3.60 1.96 273240064 false(no-overflow) 3.91  2.16  261337088
recursive/Addition03_false-no-overflow.c false(no-overflow) 3.55 1.99 269692928 false(no-overflow) 3.90  2.15  262582272
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c false(no-overflow) 3.64 2.00 259940352 false(no-overflow) 3.71  2.03  250851328
recursive/Ackermann01_true-unreach-call_true-no-overflow.c timeout 908    885    4548669440 error (1) .674 .400 46940160
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c timeout 907    880    7055130624 error (1) .677 .403 45346816
recursive/Ackermann03_true-unreach-call_true-no-overflow.c timeout 903    881    6513397760 error (1) .665 .407 43634688
recursive/Ackermann04_true-unreach-call_true-no-overflow.c timeout 908    888    3285348352 error (1) .676 .427 44404736
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c timeout 901    881    5724884992 error (invalid witness file) .564 .342 41058304
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c timeout 901    885    2727985152 error (invalid witness file) .562 .356 40796160
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c timeout 906    887    2163515392 error (1) .672 .397 45047808
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c true 3.52 1.95 267730944 error (1) .637 .394 43671552
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c timeout 905    882    4096110592 error (1) 1.10  .642 71786496
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c timeout 901    880    3707408384 error (invalid witness file) .564 .359 40181760
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c true 6.39 3.57 293609472 error (1) .657 .389 44146688
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c true 699    687    796741632 error (1) .677 .410 44834816
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c true 6.06 3.39 290676736 error (1) .649 .398 43741184
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c true 6.87 3.99 296951808 error (1) .661 .394 45875200
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c true 7.08 4.03 295399424 error (1) .683 .416 44072960
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c true 4.23 2.31 274542592 error (1) .662 .393 44969984
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c true 4.06 2.24 273346560 error (1) .676 .406 46878720
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c error 6.42 3.81 292675584 error (1) .702 .431 44945408
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c error 11.9  7.31 407826432 error (1) .701 .428 45223936
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c true 4.15 2.35 281460736 error (1) .695 .417 46850048
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c true 4.66 2.60 283545600 error (1) .667 .409 44412928
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c timeout 901    881    6334902272 error (invalid witness file) .558 .338 40579072
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c timeout 901    880    3949400064 error (invalid witness file) .574 .344 40165376
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c timeout 908    885    4396851200 error (1) 1.26  .701 103022592
recursive-simple/id_b3_o2_false-no-overflow.c false(no-overflow) 3.49 1.96 269594624 false(no-overflow) 3.79  2.08  257593344
recursive-simple/id_b3_o5_false-no-overflow.c false(no-overflow) 3.75 2.11 273059840 false(no-overflow) 3.75  2.06  257978368
recursive-simple/id_b5_o10_false-no-overflow.c false(no-overflow) 3.56 1.98 271343616 false(no-overflow) 3.93  2.20  259559424
recursive-simple/sum_non_eq_false-no-overflow.c false(no-overflow) 3.48 1.97 267800576 false(no-overflow) 3.80  2.10  258060288
recursive-simple/sum_non_false-no-overflow.c false(no-overflow) 3.55 1.99 272826368 false(no-overflow) 4.20  2.32  258928640
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 3.41 1.91 268574720 error (1) .716 .444 45117440
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 3.63 2.02 269557760 error (1) .671 .408 43761664
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 3.68 2.01 268214272 error (1) .653 .406 44052480
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 3.64 2.02 270938112 error (1) .667 .404 43708416
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 3.48 1.93 270217216 error (1) .678 .416 44969984
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 4.47 2.50 282439680 error (1) .676 .418 44183552
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 4.46 2.49 285122560 error (1) .639 .379 43651072
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 5.52 3.15 286158848 error (1) .677 .419 43511808
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c true 3.59 1.98 262778880 error (1) .658 .393 43528192
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c true 3.53 1.96 268623872 error (1) .677 .407 45158400
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c true 3.48 1.96 268652544 error (1) .655 .398 44486656
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c true 3.23 1.85 263245824 error (1) .702 .435 45821952
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c true 3.72 2.08 263389184 error (1) .683 .427 43356160
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c true 3.52 1.95 268800000 error (1) .678 .418 44683264
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c true 3.56 1.98 271020032 error (1) .650 .397 43679744
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c true 3.45 1.94 268627968 error (1) .659 .410 43180032
bitvector/byte_add_1_false-no-overflow.i false(no-overflow) 6.94 3.72 304271360 false(no-overflow) 5.57  2.99  271515648
bitvector/byte_add_2_false-no-overflow.i false(no-overflow) 7.68 4.21 318287872 false(no-overflow) 5.60  3.03  268607488
bitvector/byte_add_false-no-overflow.i false(no-overflow) 9.24 5.02 335867904 false(no-overflow) 5.52  2.99  267997184
bitvector/jain_1_false-no-overflow.i false(no-overflow) 3.75 2.21 296751104 false(no-overflow) 3.92  2.26  281186304
bitvector/jain_2_false-no-overflow.i false(no-overflow) 3.87 2.27 293261312 false(no-overflow) 4.04  2.34  285085696
bitvector/jain_4_false-no-overflow.i false(no-overflow) 3.80 2.23 299257856 false(no-overflow) 3.92  2.28  283598848
bitvector/jain_5_false-no-overflow.i timeout 905    888    3777871872 error (1) .631 .383 43851776
bitvector/jain_6_false-no-overflow.i false(no-overflow) 3.93 2.32 298500096 false(no-overflow) 4.11  2.34  289996800
bitvector/jain_7_false-no-overflow.i false(no-overflow) 3.66 2.16 297414656 false(no-overflow) 4.30  2.40  282890240
bitvector/modulus_false-no-overflow.i false(no-overflow) 3.38 1.89 262860800 false(no-overflow) 3.64  2.02  250519552
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i true 4.26 2.35 271556608 error (1) .697 .418 47005696
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i true 4.15 2.29 270589952 error (1) .710 .425 46993408
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i true 4.10 2.28 270745600 error (1) .691 .422 46305280
bitvector/gcd_1_true-unreach-call_true-no-overflow.i true 3.54 1.97 269041664 error (1) .697 .432 44769280
bitvector/gcd_2_true-unreach-call_true-no-overflow.i true 3.51 1.98 266960896 error (1) .704 .434 46030848
bitvector/gcd_3_true-unreach-call_true-no-overflow.i true 3.51 1.97 264744960 error (1) .692 .422 44519424
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i true 4.69 2.60 281665536 error (1) .668 .418 44294144
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i true 3.65 2.02 261349376 error (1) .662 .397 44359680
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i true 3.42 1.92 263270400 error (1) .647 .381 42967040
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i true 3.33 1.86 258695168 error (1) .661 .400 43753472
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i true 3.30 1.86 260636672 error (1) .654 .398 45514752
bitvector/jain_5_true-unreach-call_true-no-overflow.i true 3.25 1.81 262193152 error (1) .641 .386 44400640
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i true 3.33 1.86 256602112 error (1) .649 .400 45240320
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i true 3.29 1.84 262893568 error (1) .676 .412 43782144
bitvector/modulus_true-unreach-call_true-no-overflow.i true 4.03 2.24 263163904 error (1) .658 .399 44449792
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i true 3.48 1.95 264310784 error (1) .664 .395 44699648
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i true 3.86 2.14 261513216 error (1) .675 .409 44302336
bitvector/parity_true-unreach-call_true-no-overflow.i true 3.44 1.93 263618560 error (1) .686 .401 43528192
bitvector/sum02_false-unreach-call_true-no-overflow.i true 3.28 1.84 258158592 error (1) .659 .398 43933696
bitvector/sum02_true-unreach-call_true-no-overflow.i true 3.48 1.95 262623232 error (1) .645 .400 43393024
psyco/psyco_abp_1_false-no-overflow.c timeout 936    910    7976390656 error (1) .827 .481 45752320
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 430 110000 107000 669762703360 430 1730 1370 56487063552
    correct results 295 2420 1880 83477782528 164 636 359 42442010624
        correct true 130 1540 1280 37856014336 0
        correct false 165 874 595 45621768192 164 636 359 42442010624
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (430 tasks, max score: 649) 425 164
Run set cpaseq--overflows.cpaseq cpachecker-cpaseq--overflows-validation.witnessValidation