Tool CPAchecker 1.7-svn 29913 CPA-witness2test 1.7-svn 29913
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-43-generic Linux 4.15.0-48-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Run set cpaseq--overflows.cpaseq cpaw2t-cpaseq--overflows-validation.witnessValidation
Options -heap 10000M -svcomp18 -benchmark -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false -heap 10000M -setprop cfa.simplifyCfa=false -setprop cfa.allowBranchSwapping=false -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -benchmark -witness2test -witness test/results/cpaseq--overflows.logfiles/cpaseq.${inputfile_name}.files/output/witness.graphml -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i 3.93 2.15 265609216 4.11  2.36  265863168
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i 4.43 2.41 268464128 3.95  2.29  251473920
signedintegeroverflow-regression/Division_false-no-overflow.c.i 4.33 2.38 269017088 3.88  2.26  251760640
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i 3.79 2.10 252530688 3.85  2.25  250560512
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i 4.12 2.25 251117568 4.03  2.31  251994112
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i 4.75 2.53 284614656 4.21  2.41  274518016
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i 4.37 2.38 250175488 3.95  2.27  248918016
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i 4.34 2.34 266776576 4.28  2.53  272957440
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i 4.27 2.30 267702272 3.80  2.20  252702720
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i 4.29 2.32 268005376 4.04  2.33  249700352
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i 3.82 2.08 264679424 .930 .598 48209920
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i 3.92 2.15 266567680 .982 .623 49324032
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i 3.95 2.18 249516032 .942 .629 47910912
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i 3.65 2.01 258666496 .982 .641 48611328
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i 4.03 2.24 250429440 .976 .640 48685056
termination-crafted/2Nested_false-no-overflow.c 3.50 1.96 262115328 3.50  2.06  246112256
termination-crafted/4NestedWith3Variables_false-no-overflow.c 3.38 1.90 260374528 3.64  2.13  245735424
termination-crafted/Ackermann_false-no-overflow.c 901    880    3722940416 .895 .584 46526464
termination-crafted/Bangalore_false-no-overflow.c 3.45 1.94 264863744 3.42  2.06  244142080
termination-crafted/Bangalore_v3_false-no-overflow.c 3.31 1.87 262459392 3.53  2.09  246374400
termination-crafted/Benghazi_nondet_false-no-overflow.c 3.27 1.86 260616192 3.60  2.14  247881728
termination-crafted/Binary_Search_false-no-overflow.c 3.46 1.93 262725632 3.47  2.05  247681024
termination-crafted/Cairo_nondet_false-no-overflow.c 4.05 2.28 263208960 3.69  2.20  249577472
termination-crafted/Cairo_step2_false-no-overflow.c 904    889    2218774528 .969 .618 48775168
termination-crafted/Collatz_unknown-termination_false-no-overflow.c 3.62 2.09 277114880 3.56  2.09  248414208
termination-crafted/Copenhagen_disj_false-no-overflow.c 3.30 1.84 259821568 3.69  2.18  247746560
termination-crafted/Gothenburg_false-no-overflow.c 3.46 1.95 268263424 3.76  2.16  247443456
termination-crafted/Gothenburg_v2_false-no-overflow.c 3.42 1.91 264757248 3.61  2.17  246808576
termination-crafted/Hanoi_2vars_false-no-overflow.c 3.43 1.92 265089024 3.60  2.13  246800384
termination-crafted/Hanoi_3vars_false-no-overflow.c 3.39 1.91 260964352 3.54  2.10  247296000
termination-crafted/Hanoi_plus_false-no-overflow.c 3.39 1.92 262918144 3.57  2.14  248463360
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c 3.37 1.87 266665984 3.48  2.06  247443456
termination-crafted/Mysore_false-no-overflow.c 3.53 1.99 263745536 3.58  2.11  245383168
termination-crafted/NestedRecursion_1a_false-no-overflow.c 3.41 1.90 260825088 3.40  2.02  242855936
termination-crafted/NestedRecursion_2a_false-no-overflow.c 3.34 1.88 268148736 3.53  2.07  245518336
termination-crafted/NonTermination1_false-no-overflow.c 3.54 2.11 275689472 3.45  2.05  244322304
termination-crafted/NonTermination2_false-no-overflow.c 3.55 2.10 276586496 3.65  2.12  249245696
termination-crafted/NonTermination4_false-no-overflow.c 206    197    1255739392 4.28  2.44  260321280
termination-crafted/NonTerminationSimple2_false-no-overflow.c 3.48 1.92 262959104 3.60  2.08  247185408
termination-crafted/NonTerminationSimple3_false-no-overflow.c 3.57 2.02 263462912 3.59  2.12  249876480
termination-crafted/NonTerminationSimple4_false-no-overflow.c 905    889    1922822144 .978 .642 50262016
termination-crafted/NonTerminationSimple5_false-no-overflow.c 3.38 1.90 260341760 3.50  2.10  245276672
termination-crafted/NonTerminationSimple6_false-no-overflow.c 3.49 1.98 264048640 3.66  2.15  247967744
termination-crafted/NonTerminationSimple8_false-no-overflow.c 3.45 1.95 266547200 3.75  2.35  246804480
termination-crafted/NonTerminationSimple9_false-no-overflow.c 3.58 2.00 265228288 3.58  2.12  244326400
termination-crafted/Pure2Phase_false-no-overflow.c 3.39 1.89 262656000 3.51  2.41  246800384
termination-crafted/Pure3Phase_false-no-overflow.c 3.42 1.94 269029376 3.62  2.16  249696256
termination-crafted/RecursiveMultiplication_false-no-overflow.c 4.11 2.31 280641536 3.48  2.07  246972416
termination-crafted/RecursiveNonterminating_false-no-overflow.c 3.31 1.85 258260992 3.53  2.05  247549952
termination-crafted/Rotation180_false-no-overflow.c 3.32 1.86 260407296 3.50  2.07  246992896
termination-crafted/Singapore_false-no-overflow.c 3.41 1.89 264261632 3.50  2.32  245501952
termination-crafted/Singapore_plus_false-no-overflow.c 3.40 1.87 269602816 3.54  2.08  247656448
termination-crafted/Singapore_v1_false-no-overflow.c 3.32 1.88 262021120 3.47  2.07  247668736
termination-crafted/Singapore_v2_false-no-overflow.c 3.43 1.93 263081984 3.44  2.06  245665792
termination-crafted/Stockholm_false-no-overflow.c 3.66 2.07 266813440 3.73  2.17  248172544
termination-crafted/Thun_false-no-overflow.c 3.41 1.93 264798208 3.49  2.09  248496128
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c 3.50 1.94 267251712 3.55  2.05  251719680
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c 4.15 2.29 271298560 3.93  2.23  255930368
termination-crafted/aaron2_false-no-overflow.c 3.53 1.98 266047488 3.72  2.21  250130432
termination-crafted/aaron3_false-no-overflow.c 3.36 1.87 263720960 3.65  2.42  247078912
termination-crafted/easy2_false-no-overflow.c 906    883    13116813312 1.20  .764 59822080
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 3.41 1.89 256032768 .965 .632 50405376
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 3.63 2.01 265289728 .957 .617 48218112
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c 3.41 1.91 266633216 .977 .619 49164288
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 902    885    6503505920 .997 .637 51118080
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 3.53 1.98 263503872 .976 .622 48713728
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 3.54 1.96 264798208 .964 .609 48287744
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 3.31 1.86 264257536 .974 .619 48373760
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 905    887    5037371392 1.11  .704 56193024
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 3.25 1.84 261935104 .958 .628 49545216
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 906    892    2137362432 .942 .620 49102848
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 3.42 1.92 262926336 1.02  .653 50540544
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 3.27 1.86 260358144 .966 .617 49082368
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 3.62 2.06 277925888 .966 .624 49451008
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 3.57 2.00 266592256 1.03  .676 49786880
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c 905    884    5619048448 1.16  .712 57520128
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 3.24 1.83 260550656 .961 .612 48553984
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 902    896    532709376 .961 .627 48218112
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 3.85 2.13 273608704 .981 .635 49577984
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 3.64 2.07 267898880 .959 .624 50147328
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 5.00 2.84 284680192 .962 .612 49328128
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 5.35 3.05 284577792 .968 .639 49274880
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 903    883    1976549376 1.07  .691 51453952
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 5.34 2.96 278409216 .998 .625 49299456
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 903    878    3516186624 1.06  .675 51335168
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 901    882    3140648960 .891 .591 46563328
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 905    880    3422863360 1.01  .656 51384320
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 3.42 1.91 261914624 .969 .647 48455680
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 3.44 1.93 262373376 .978 .626 48717824
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 3.34 1.90 263233536 1.00  .651 49954816
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 3.45 1.92 264208384 .969 .618 48328704
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 3.38 1.92 262586368 .996 .645 48619520
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 3.38 1.87 264323072 .971 .641 48869376
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 3.56 1.98 266313728 .992 .655 49844224
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 3.24 1.83 262246400 .963 .639 47796224
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 3.23 1.80 256917504 .920 .597 48222208
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 3.31 1.85 262098944 .971 .633 51183616
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 3.47 1.93 265986048 .952 .616 48394240
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 905    882    13092544512 1.19  .736 59867136
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c 3.47 1.96 263024640 3.51  2.07  245129216
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c 3.56 1.96 265805824 3.58  2.07  247037952
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c 3.39 1.89 266915840 3.69  2.15  252424192
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c 3.24 1.84 261206016 3.52  2.26  245456896
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c 3.41 1.92 263598080 3.52  2.09  246964224
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c 3.69 2.06 268701696 3.47  2.05  246886400
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c 3.66 2.05 270819328 3.68  2.13  248029184
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c 906    883    12768272384 1.21  .750 60694528
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c 3.45 1.94 268152832 3.68  2.16  250146816
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c 3.34 1.83 257253376 3.47  2.03  246661120
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c 906    890    6482915328 1.28  .777 63307776
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c 912    904    610770944 .911 .605 46620672
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c 3.60 2.16 279814144 3.61  2.09  248033280
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c 3.46 1.96 265089024 3.55  2.07  247631872
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c 3.46 1.96 266391552 3.55  2.11  248168448
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c 3.53 1.93 261525504 3.60  2.11  247357440
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c 3.65 2.07 269426688 3.55  2.10  244260864
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c 3.42 1.90 262447104 3.69  2.10  250060800
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c 4.08 2.27 267321344 3.57  2.09  248000512
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c 3.73 2.06 261988352 3.71  2.12  245825536
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c 3.43 1.93 263708672 3.50  2.04  249741312
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c 3.61 2.01 265682944 3.55  2.10  248684544
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c 3.49 1.94 263122944 3.55  2.10  246784000
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c 3.44 1.92 265150464 3.51  2.04  246571008
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c 3.68 2.04 264019968 3.71  2.53  247648256
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c 3.61 2.05 275701760 3.52  2.11  246747136
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c 3.73 2.17 276705280 3.42  2.03  246210560
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c 3.56 2.05 275304448 3.61  2.14  247529472
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c 3.41 1.94 262987776 3.53  2.08  244019200
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c 3.44 1.93 267124736 3.43  2.01  245649408
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c 3.38 1.92 262000640 3.64  2.12  247787520
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c 3.42 1.93 261545984 3.44  2.03  245940224
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c 3.27 1.83 258539520 3.47  2.07  247283712
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c 3.46 1.93 267005952 3.44  2.03  245608448
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c 3.79 2.20 274419712 3.63  2.14  247300096
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c 3.39 1.94 265904128 3.51  2.23  246341632
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c 3.47 1.93 262983680 3.45  2.02  247746560
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c 3.45 1.94 262135808 3.39  2.04  244879360
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c 3.38 1.88 260820992 3.48  2.08  246521856
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c 3.38 1.87 261894144 3.63  2.11  246308864
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c 3.28 1.87 263720960 3.46  2.06  246898688
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c 3.31 1.86 260882432 3.57  2.06  245792768
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c 3.42 1.93 262164480 3.38  2.01  243425280
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c 3.47 1.90 260730880 3.53  2.10  247898112
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c 3.36 1.85 263700480 3.64  2.10  245792768
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c 3.38 1.88 258600960 3.50  2.07  247144448
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c 3.35 1.87 262828032 3.48  2.06  247828480
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c 3.28 1.88 264933376 3.39  2.02  242810880
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c 3.26 1.84 264519680 3.48  2.05  249577472
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c 3.45 1.92 262078464 3.53  2.10  246800384
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c 3.67 2.04 262037504 3.49  2.05  249077760
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c 3.24 1.85 260235264 3.52  2.05  247463936
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c 3.47 1.91 263950336 3.58  2.08  249155584
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c 3.35 1.88 266072064 3.59  2.10  246857728
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c 3.31 1.89 257609728 3.68  2.13  247717888
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c 3.50 1.91 258998272 3.59  2.13  250531840
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c 3.59 2.12 275128320 3.51  2.07  247394304
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c 3.57 1.99 262447104 3.42  2.01  244830208
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c 3.33 1.89 265777152 3.55  2.10  245035008
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c 3.43 1.92 262176768 3.52  2.08  247795712
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c 3.44 1.91 263729152 3.62  2.18  249700352
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c 3.52 1.98 263495680 3.75  2.12  253468672
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c 3.41 1.92 267087872 3.60  2.12  245583872
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c 3.36 1.91 265674752 3.58  2.11  245719040
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c 3.69 2.04 269168640 3.61  2.14  245809152
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c 4.04 2.26 275902464 3.84  2.26  252391424
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c 3.33 1.86 259022848 3.53  2.09  247156736
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c 3.73 2.07 267382784 3.85  2.28  253493248
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c 3.72 2.11 270434304 3.50  2.09  245706752
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c 3.65 2.13 277172224 3.43  2.02  247160832
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c 3.94 2.19 276934656 3.54  2.10  243679232
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c 3.97 2.20 281391104 3.65  2.06  246886400
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c 4.23 2.36 280907776 .998 .651 50024448
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c 3.65 2.07 277725184 3.54  2.06  248516608
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c 3.31 1.85 258535424 3.44  2.09  247771136
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c 3.38 1.91 264028160 3.59  2.12  246345728
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c 3.35 1.90 262471680 3.41  1.99  243863552
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c 3.56 1.98 263147520 3.68  2.16  246571008
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c 3.59 2.10 276963328 3.44  2.03  246181888
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c 3.41 1.94 263385088 3.58  2.27  245661696
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c 3.54 1.99 265797632 3.54  2.08  243863552
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c 3.47 1.95 265834496 3.60  2.13  249958400
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c 3.52 1.96 264278016 3.59  2.14  250142720
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c 3.55 1.98 263909376 3.59  2.13  249188352
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c 3.47 1.96 266596352 3.71  2.17  252321792
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c 3.47 1.95 267513856 3.69  2.12  252043264
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c 3.46 1.95 263020544 3.75  2.19  251662336
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c 3.35 1.87 263966720 3.50  2.08  246235136
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c 3.38 1.88 264589312 3.48  2.08  245600256
termination-crafted-lit/cstrncmp_false-no-overflow.c 4.41 2.74 321302528 3.76  2.20  249184256
termination-crafted-lit/gcd1_false-no-overflow.c 3.45 1.92 262279168 3.45  2.02  246951936
termination-crafted-lit/joey_false-no-overflow.c 3.44 1.91 260059136 3.55  2.10  246095872
termination-crafted-lit/min_rf_false-no-overflow.c 3.43 1.94 264404992 3.68  2.14  247042048
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c 903    881    13841145856 .972 .625 49491968
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c 3.50 1.93 259989504 .980 .645 50036736
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c 3.53 1.95 262791168 .953 .613 49332224
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c 906    883    12227526656 1.21  .764 59596800
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c 112    102    1073786880 1.01  .647 50651136
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c 907    890    6436896768 1.25  .755 63823872
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c 912    907    504303616 .933 .610 46505984
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c 63.4  55.6  556826624 .965 .634 48816128
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c 3.51 1.98 263626752 .962 .628 48615424
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c 3.52 1.96 267620352 .981 .636 48603136
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c 3.60 2.04 267886592 .993 .645 50163712
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c 5.11 2.77 271212544 .961 .606 49258496
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c 3.53 1.97 260751360 .965 .611 48676864
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c 3.79 2.13 264015872 .973 .627 49504256
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c 906    887    6187278336 1.31  .815 68829184
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c 3.71 2.08 264511488 .961 .610 49328128
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c 3.64 2.04 264196096 .975 .618 48484352
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c 907    883    7938011136 1.22  .779 59170816
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c 906    886    12510277632 1.06  .657 50335744
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c 905    888    4160897024 1.14  .721 58527744
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c 3.46 1.92 280383488 .962 .609 48037888
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c 906    884    13280055296 1.20  .739 60534784
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c 911    901    649777152 1.20  .753 57008128
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c 64.0  56.6  549523456 1.04  .666 49700864
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c 3.37 1.91 261660672 .974 .619 49430528
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c 3.35 1.84 261279744 .962 .619 49225728
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c 3.40 1.93 261505024 .959 .620 48021504
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c 3.81 2.10 261632000 .978 .640 48754688
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c 3.43 1.90 260771840 1.04  .699 50163712
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c 3.44 1.92 266457088 .992 .623 49459200
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c 3.49 1.95 262754304 1.01  .659 49303552
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c 3.38 1.90 261402624 .926 .614 47992832
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c 3.37 1.89 266289152 .948 .618 48525312
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c 909    885    5630562304 1.73  1.02  149463040
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c 902    895    514285568 .983 .632 51466240
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c 3.47 1.95 263008256 .995 .655 50749440
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c 905    888    4173590528 1.12  .713 55414784
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c 3.49 1.98 264810496 .975 .621 49430528
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c 3.55 1.97 265850880 .954 .616 48365568
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c 3.48 1.93 262254592 .928 .597 48517120
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c 905    885    6570209280 1.00  .638 51445760
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c 3.26 1.84 260808704 .985 .651 48697344
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c 3.75 2.06 259624960 .999 .644 48943104
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c 902    896    557928448 1.05  .684 51474432
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c 3.82 2.13 275365888 .993 .630 50958336
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c 908    883    5299691520 .929 .601 47017984
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c 3.49 1.99 266706944 .965 .623 48910336
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c 3.25 1.85 259735552 .993 .651 48713728
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c 3.48 1.93 262352896 .967 .614 48570368
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c 111    103    1011130368 .977 .633 50425856
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c 3.30 1.84 260268032 .992 .666 49106944
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c 3.50 1.97 264982528 1.00  .651 48668672
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c 3.55 1.96 262455296 .995 .646 49078272
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c 3.55 1.99 261373952 .994 .636 48578560
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c 907    888    5162106880 1.26  .764 64036864
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c 5.18 2.83 273960960 .975 .621 49983488
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c 3.40 1.89 259051520 .985 .640 49401856
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c 3.47 1.96 262434816 .973 .617 49668096
termination-crafted-lit/aviad_true-termination_true-no-overflow.c 905    885    8007720960 1.19  .755 59047936
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c 3.99 2.45 303300608 .990 .643 51924992
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c 4.14 2.44 305610752 .973 .623 48775168
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c 3.64 2.04 273190912 .959 .616 48721920
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c 3.94 2.34 306212864 1.00  .663 48963584
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c 3.89 2.36 297553920 .990 .626 49360896
termination-crafted-lit/genady_true-termination_true-no-overflow.c 906    887    4468600832 1.19  .745 59637760
termination-crafted-lit/strchr_true-no-overflow_true-termination.c 3.67 2.08 276320256 .970 .628 49217536
termination-numeric/Addition01_false-no-overflow.c 3.59 2.00 273129472 3.59  2.11  248557568
termination-numeric/Avg_true_false-no-overflow.c 3.29 1.86 265412608 3.46  2.04  245366784
termination-numeric/Binomial_true-termination_false-no-overflow.c 902    895    1388978176 1.00  .644 50499584
termination-numeric/Et1_true_false-no-overflow.c 3.45 1.89 258502656 3.60  2.09  246902784
termination-numeric/Et2_true_false-no-overflow.c 3.31 1.86 263245824 3.69  2.14  248471552
termination-numeric/Et3_true_false-no-overflow.c 3.37 1.87 261124096 3.56  2.09  247648256
termination-numeric/Et4_true_false-no-overflow.c 3.47 1.93 261263360 3.59  2.44  243765248
termination-numeric/MultCommutative_false-no-overflow.c 8.42 5.02 309972992 .968 .631 48914432
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c 901    895    1302749184 .944 .626 47165440
termination-numeric/Ackermann01_true-termination_true-no-overflow.c 907    886    3722948608 1.00  .622 49856512
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c 907    883    3066769408 1.35  .816 73461760
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c 6.40 3.66 294760448 .953 .616 48721920
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c 3.81 2.14 275296256 .949 .597 48594944
termination-numeric/LogRecursive_true-termination_true-no-overflow.c 902    883    1496887296 .995 .641 50315264
termination-numeric/Parts_true-termination_true-no-overflow.c 905    888    3035648000 1.12  .734 54804480
termination-numeric/TwoWay_true-termination_true-no-overflow.c 901    899    604430336 .958 .614 49610752
termination-numeric/gcd01_true-termination_true-no-overflow.c 3.97 2.23 276807680 .996 .634 49729536
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c 21.8  13.0  553168896 1.09  .695 54931456
termination-numeric/recHanoi02_true-termination_true-no-overflow.c 901    880    3977355264 .890 .582 46088192
termination-numeric/rec_counter1_true-termination_true-no-overflow.c 901    876    3914960896 .939 .639 47026176
termination-numeric/rec_counter3_true-termination_true-no-overflow.c 908    885    4956225536 1.56  .940 105758720
termination-numeric/twisted_true-termination_true-no-overflow.c 901    883    7501942784 .954 .613 48209920
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i 902    891    1651159040 1.06  .674 49459200
busybox-1.22.0/chroot-incomplete_false-no-overflow.i 902    890    1353515008 1.10  .712 51855360
busybox-1.22.0/cut_false-no-overflow.i 909    888    6308372480 1.33  .807 64143360
busybox-1.22.0/date_false-no-overflow.i 905    883    3492413440 1.29  .798 60911616
busybox-1.22.0/du_false-no-overflow.i 905    883    2747633664 1.29  .805 62824448
busybox-1.22.0/echo_false-no-overflow.i 960    941    3287547904 .927 .611 47943680
busybox-1.22.0/expand_false-no-overflow.i 907    885    5387120640 1.39  .859 64962560
busybox-1.22.0/fold_false-no-overflow.i 902    883    798457856 1.22  .775 57708544
busybox-1.22.0/head_false-no-overflow.i 902    890    1139654656 1.19  .772 53006336
busybox-1.22.0/logname_false-no-overflow.i 902    891    1300414464 1.01  .670 49303552
busybox-1.22.0/ls-incomplete_false-no-overflow.i 904    885    2902327296 1.33  .818 61870080
busybox-1.22.0/mkdir_false-no-overflow.i 906    884    6767169536 1.31  .825 62050304
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i 75.5  64.8  703893504 6.08  991     279089152
busybox-1.22.0/od_false-no-overflow.i 906    883    6633652224 1.41  .850 65933312
busybox-1.22.0/printf_false-no-overflow.i 902    891    1154871296 1.19  .739 51482624
busybox-1.22.0/readlink_false-no-overflow.i 906    881    6431047680 1.36  .847 63242240
busybox-1.22.0/realpath_false-no-overflow.i 902    892    1313411072 1.06  .662 51650560
busybox-1.22.0/rm_false-no-overflow.i 905    883    6519885824 1.34  .816 64958464
busybox-1.22.0/seq_false-no-overflow.i 905    882    6649610240 1.34  .824 64237568
busybox-1.22.0/sleep_false-no-overflow.i 7.52 4.03 306806784 1.05  .689 49786880
busybox-1.22.0/stty_false-no-overflow.i 904    885    2025517056 1.29  .784 61157376
busybox-1.22.0/sync_false-no-overflow.i 60.2  51.0  589225984 1.07  .689 50827264
busybox-1.22.0/tac_false-no-overflow.i 905    882    6592802816 1.38  .842 65044480
busybox-1.22.0/tee_false-no-overflow.i 905    883    2991357952 1.30  .811 58773504
busybox-1.22.0/test-incomplete_false-no-overflow.i 35.0  27.7  535900160 .891 .570 46493696
busybox-1.22.0/touch_false-no-overflow.i 905    883    6572560384 1.34  .832 64061440
busybox-1.22.0/uname_false-no-overflow.i 905    881    6310731776 1.31  .810 63823872
busybox-1.22.0/uniq_false-no-overflow.i 907    884    5010317312 1.38  .843 63832064
busybox-1.22.0/usleep_false-no-overflow.i 902    891    1310404608 1.06  .677 50425856
busybox-1.22.0/uudecode_false-no-overflow.i 3.23 1.73 199626752 .930 .616 47075328
busybox-1.22.0/wc_false-no-overflow.i 905    883    6027956224 1.26  .782 61042688
busybox-1.22.0/who_false-no-overflow.i 903    881    6485790720 1.14  .710 52846592
busybox-1.22.0/whoami-incomplete_false-no-overflow.i 902    890    1015902208 1.06  .672 52559872
busybox-1.22.0/yes_false-no-overflow.i 902    892    1215791104 1.02  .644 49471488
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i 902    891    994291712 1.07  .677 49733632
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i 110    100    704425984 1.09  .691 51240960
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i 902    890    1303990272 1.06  .684 49790976
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i 905    881    6436675584 1.37  .847 64868352
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i 905    882    3396853760 1.27  .775 60923904
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i 902    883    4542099456 1.08  .697 52109312
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i 902    884    3097305088 1.24  .784 56827904
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i 960    942    2812776448 .897 .578 46137344
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i 906    885    6422024192 1.38  .831 64446464
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i 902    885    934600704 1.12  .716 52604928
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i 588    574    1029357568 1.13  .704 50757632
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i 548    530    14999998464 .865 .584 47243264
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i 246    235    833622016 1.02  .649 50532352
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i 903    884    2894630912 1.29  .798 57827328
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i 905    882    6612738048 1.31  .807 62894080
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i 184    174    801820672 1.12  .693 53469184
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i 906    883    6536916992 1.37  .833 66822144
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i 218    208    14999998464 .914 .593 46723072
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i 905    882    6557237248 1.33  .808 62402560
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i 902    893    1346265088 1.03  .651 49618944
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i 906    884    6549991424 1.35  .803 64577536
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i 904    880    6236798976 1.22  .751 56967168
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i 7.85 4.16 318144512 1.06  .683 50569216
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i 904    887    2052775936 1.27  .800 61272064
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i 43.1  34.1  612642816 1.02  .658 49332224
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i 904    882    6515089408 1.17  .736 52506624
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i 902    882    3240120320 1.17  .747 53063680
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i 34.1  25.9  542093312 .907 .588 46989312
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i 904    882    6469464064 1.23  .795 57675776
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i 905    883    6584963072 1.30  .799 61128704
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i 904    883    6520401920 1.20  .733 53432320
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i 152    141    767315968 1.05  .674 49786880
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i 905    884    5989892096 1.31  .811 63213568
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i 905    884    6044958720 1.32  .812 61468672
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i 906    883    5005021184 1.34  .833 64352256
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i 321    310    14999998464 .935 .601 46854144
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i 902    893    1087553536 1.02  .649 49950720
recursive/Addition02WithOverflowBug_false-no-overflow.c 3.60 1.96 273240064 3.47  2.05  245817344
recursive/Addition03_false-no-overflow.c 3.55 1.99 269692928 3.63  2.09  247922688
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c 3.64 2.00 259940352 3.60  2.13  247574528
recursive/Ackermann01_true-unreach-call_true-no-overflow.c 908    885    4548669440 1.00  .654 48861184
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c 907    880    7055130624 .963 .634 48861184
recursive/Ackermann03_true-unreach-call_true-no-overflow.c 903    881    6513397760 .985 .641 50241536
recursive/Ackermann04_true-unreach-call_true-no-overflow.c 908    888    3285348352 1.01  .678 50798592
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c 901    881    5724884992 .891 .599 46313472
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c 901    885    2727985152 .886 .575 45522944
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c 906    887    2163515392 .970 .626 50008064
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c 3.52 1.95 267730944 .989 .645 48992256
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c 905    882    4096110592 1.40  .865 77180928
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c 901    880    3707408384 .897 .582 46387200
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c 6.39 3.57 293609472 .985 .660 49504256
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c 699    687    796741632 .989 .643 48881664
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c 6.06 3.39 290676736 .990 .628 49917952
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c 6.87 3.99 296951808 .977 .633 48730112
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c 7.08 4.03 295399424 .961 .621 50147328
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c 4.23 2.31 274542592 .986 .656 49426432
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c 4.06 2.24 273346560 .944 .609 48041984
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c 6.42 3.81 292675584 .946 .629 49037312
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c 11.9  7.31 407826432 .993 .652 50409472
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c 4.15 2.35 281460736 .962 .616 49184768
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c 4.66 2.60 283545600 .972 .629 51974144
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c 901    881    6334902272 .901 .603 46927872
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c 901    880    3949400064 .895 .585 45748224
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c 908    885    4396851200 1.53  .945 106553344
recursive-simple/id_b3_o2_false-no-overflow.c 3.49 1.96 269594624 3.50  2.11  245358592
recursive-simple/id_b3_o5_false-no-overflow.c 3.75 2.11 273059840 3.50  2.06  244129792
recursive-simple/id_b5_o10_false-no-overflow.c 3.56 1.98 271343616 3.59  2.10  246366208
recursive-simple/sum_non_eq_false-no-overflow.c 3.48 1.97 267800576 3.55  2.12  249761792
recursive-simple/sum_non_false-no-overflow.c 3.55 1.99 272826368 3.42  2.05  243269632
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c 3.41 1.91 268574720 1.01  .651 48943104
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c 3.63 2.02 269557760 .993 .640 48984064
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c 3.68 2.01 268214272 .948 .615 49582080
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c 3.64 2.02 270938112 .981 .611 51851264
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c 3.48 1.93 270217216 .989 .659 50327552
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c 4.47 2.50 282439680 .950 .628 48832512
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c 4.46 2.49 285122560 .963 .638 49381376
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c 5.52 3.15 286158848 .963 .628 48631808
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c 3.59 1.98 262778880 1.02  .648 50335744
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c 3.53 1.96 268623872 .987 .631 49221632
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c 3.48 1.96 268652544 .980 .642 49283072
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c 3.23 1.85 263245824 .964 .639 49278976
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c 3.72 2.08 263389184 .937 .603 48193536
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c 3.52 1.95 268800000 .969 .616 48443392
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c 3.56 1.98 271020032 .953 .616 47943680
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c 3.45 1.94 268627968 .933 .596 47837184
bitvector/byte_add_1_false-no-overflow.i 6.94 3.72 304271360 4.59  2.59  261382144
bitvector/byte_add_2_false-no-overflow.i 7.68 4.21 318287872 4.64  2.69  261128192
bitvector/byte_add_false-no-overflow.i 9.24 5.02 335867904 4.63  2.61  274202624
bitvector/jain_1_false-no-overflow.i 3.75 2.21 296751104 3.57  2.06  245149696
bitvector/jain_2_false-no-overflow.i 3.87 2.27 293261312 3.63  2.08  249294848
bitvector/jain_4_false-no-overflow.i 3.80 2.23 299257856 3.60  2.09  246775808
bitvector/jain_5_false-no-overflow.i 905    888    3777871872 1.00  .658 49246208
bitvector/jain_6_false-no-overflow.i 3.93 2.32 298500096 3.56  2.09  246566912
bitvector/jain_7_false-no-overflow.i 3.66 2.16 297414656 3.83  2.22  248934400
bitvector/modulus_false-no-overflow.i 3.38 1.89 262860800 3.58  2.11  247578624
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 4.26 2.35 271556608 1.04  .660 52674560
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 4.15 2.29 270589952 1.04  .688 51417088
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 4.10 2.28 270745600 1.03  .671 49102848
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 3.54 1.97 269041664 .981 .625 51544064
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 3.51 1.98 266960896 .982 .620 48803840
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 3.51 1.97 264744960 1.00  .646 50425856
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 4.69 2.60 281665536 .976 .628 49487872
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 3.65 2.02 261349376 .957 .619 50212864
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 3.42 1.92 263270400 .978 .613 48410624
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 3.33 1.86 258695168 .989 .640 50065408
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 3.30 1.86 260636672 .921 .609 48304128
bitvector/jain_5_true-unreach-call_true-no-overflow.i 3.25 1.81 262193152 .951 .620 48459776
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 3.33 1.86 256602112 .981 .633 49025024
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 3.29 1.84 262893568 .960 .608 49127424
bitvector/modulus_true-unreach-call_true-no-overflow.i 4.03 2.24 263163904 .986 .654 50917376
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 3.48 1.95 264310784 .990 .653 48562176
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 3.86 2.14 261513216 .959 .616 48631808
bitvector/parity_true-unreach-call_true-no-overflow.i 3.44 1.93 263618560 .957 .620 48922624
bitvector/sum02_false-unreach-call_true-no-overflow.i 3.28 1.84 258158592 1.00  .645 50524160
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.48 1.95 262623232 .961 .613 48672768
psyco/psyco_abp_1_false-no-overflow.c 936    910    7976390656 1.17  .723 54808576
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 430 110000 107000 669762703360 430 879   1520   54984622080
    correct results 295 2420 1880 83477782528 149 532   315   36856811520
        correct true 130 1540 1280 37856014336 0
        correct false 165 874 595 45621768192 149 532   315   36856811520
    incorrect results 0 4 17.5 10.0 1045958656
        incorrect true 0 4 17.5 10.0 1045958656
        incorrect false 0 0
score (430 tasks, max score: 649) 425 21
Run set cpaseq--overflows.cpaseq cpaw2t-cpaseq--overflows-validation.witnessValidation