Tool CPAchecker 1.7-svn 29913 CProver witness2test 0.1
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-43-generic Linux 4.15.0-48-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Run set cpaseq--overflows.cpaseq fshellw2t-cpaseq--overflows-validation.witnessValidation
Options -heap 10000M -svcomp18 -benchmark -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false --graphml-witness test/results/cpaseq--overflows.logfiles/cpaseq.${inputfile_name}.files/output/witness.graphml
../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 .663   .716   20549632
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i 4.43 2.41 268464128 .629   .639   20742144
signedintegeroverflow-regression/Division_false-no-overflow.c.i 4.33 2.38 269017088 .637   .643   20197376
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i 3.79 2.10 252530688 .624   .651   20721664
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i 4.12 2.25 251117568 .623   .635   20742144
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i 4.75 2.53 284614656 .624   .631   20156416
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i 4.37 2.38 250175488 .626   .626   20262912
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i 4.34 2.34 266776576 .658   .663   20099072
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i 4.27 2.30 267702272 .622   .634   20807680
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i 4.29 2.32 268005376 .625   .637   20672512
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i 3.82 2.08 264679424 .0942  .0918  10858496
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i 3.92 2.15 266567680 .0753  .0752  11427840
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i 3.95 2.18 249516032 .0664  .0665  11370496
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i 3.65 2.01 258666496 .0722  .0772  11268096
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i 4.03 2.24 250429440 .0734  .0730  10645504
termination-crafted/2Nested_false-no-overflow.c 3.50 1.96 262115328 .600   .622   20201472
termination-crafted/4NestedWith3Variables_false-no-overflow.c 3.38 1.90 260374528 .622   .638   21024768
termination-crafted/Ackermann_false-no-overflow.c 901    880    3722940416 .00539 .00663 524288
termination-crafted/Bangalore_false-no-overflow.c 3.45 1.94 264863744 .644   .653   20774912
termination-crafted/Bangalore_v3_false-no-overflow.c 3.31 1.87 262459392 .605   .612   20357120
termination-crafted/Benghazi_nondet_false-no-overflow.c 3.27 1.86 260616192 .608   .614   20348928
termination-crafted/Binary_Search_false-no-overflow.c 3.46 1.93 262725632 .595   .602   20377600
termination-crafted/Cairo_nondet_false-no-overflow.c 4.05 2.28 263208960 .610   .679   20402176
termination-crafted/Cairo_step2_false-no-overflow.c 904    889    2218774528 .0880  .0945  10813440
termination-crafted/Collatz_unknown-termination_false-no-overflow.c 3.62 2.09 277114880 .593   .605   20729856
termination-crafted/Copenhagen_disj_false-no-overflow.c 3.30 1.84 259821568 .610   .611   20307968
termination-crafted/Gothenburg_false-no-overflow.c 3.46 1.95 268263424 .615   .626   20729856
termination-crafted/Gothenburg_v2_false-no-overflow.c 3.42 1.91 264757248 .590   .597   20246528
termination-crafted/Hanoi_2vars_false-no-overflow.c 3.43 1.92 265089024 .616   .623   20434944
termination-crafted/Hanoi_3vars_false-no-overflow.c 3.39 1.91 260964352 .615   .626   20721664
termination-crafted/Hanoi_plus_false-no-overflow.c 3.39 1.92 262918144 .607   .620   20602880
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c 3.37 1.87 266665984 .619   .617   20180992
termination-crafted/Mysore_false-no-overflow.c 3.53 1.99 263745536 .642   .647   20164608
termination-crafted/NestedRecursion_1a_false-no-overflow.c 3.41 1.90 260825088 .600   .606   20357120
termination-crafted/NestedRecursion_2a_false-no-overflow.c 3.34 1.88 268148736 .640   .742   20500480
termination-crafted/NonTermination1_false-no-overflow.c 3.54 2.11 275689472 .617   .627   20791296
termination-crafted/NonTermination2_false-no-overflow.c 3.55 2.10 276586496 .637   .633   20234240
termination-crafted/NonTermination4_false-no-overflow.c 206    197    1255739392 .640   .650   21319680
termination-crafted/NonTerminationSimple2_false-no-overflow.c 3.48 1.92 262959104 .617   .630   20787200
termination-crafted/NonTerminationSimple3_false-no-overflow.c 3.57 2.02 263462912 .602   .601   20246528
termination-crafted/NonTerminationSimple4_false-no-overflow.c 905    889    1922822144 .0669  .0717  10956800
termination-crafted/NonTerminationSimple5_false-no-overflow.c 3.38 1.90 260341760 .601   .608   20287488
termination-crafted/NonTerminationSimple6_false-no-overflow.c 3.49 1.98 264048640 .627   .638   20713472
termination-crafted/NonTerminationSimple8_false-no-overflow.c 3.45 1.95 266547200 .600   .599   20357120
termination-crafted/NonTerminationSimple9_false-no-overflow.c 3.58 2.00 265228288 .610   .626   20946944
termination-crafted/Pure2Phase_false-no-overflow.c 3.39 1.89 262656000 .617   .631   20709376
termination-crafted/Pure3Phase_false-no-overflow.c 3.42 1.94 269029376 .621   .633   20692992
termination-crafted/RecursiveMultiplication_false-no-overflow.c 4.11 2.31 280641536 .605   .608   20254720
termination-crafted/RecursiveNonterminating_false-no-overflow.c 3.31 1.85 258260992 .582   .582   20377600
termination-crafted/Rotation180_false-no-overflow.c 3.32 1.86 260407296 960       960       20303872
termination-crafted/Singapore_false-no-overflow.c 3.41 1.89 264261632 .623   .628   20168704
termination-crafted/Singapore_plus_false-no-overflow.c 3.40 1.87 269602816 .617   .628   20754432
termination-crafted/Singapore_v1_false-no-overflow.c 3.32 1.88 262021120 .610   .623   20914176
termination-crafted/Singapore_v2_false-no-overflow.c 3.43 1.93 263081984 .591   .591   20365312
termination-crafted/Stockholm_false-no-overflow.c 3.66 2.07 266813440 .610   .618   20357120
termination-crafted/Thun_false-no-overflow.c 3.41 1.93 264798208 .607   .621   20754432
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c 3.50 1.94 267251712 5.45    5.44    20316160
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c 4.15 2.29 271298560 .633   .632   20455424
termination-crafted/aaron2_false-no-overflow.c 3.53 1.98 266047488 .619   .618   20406272
termination-crafted/aaron3_false-no-overflow.c 3.36 1.87 263720960 .608   .608   20418560
termination-crafted/easy2_false-no-overflow.c 906    883    13116813312 .0735  .0734  12652544
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 3.41 1.89 256032768 .0772  .0767  10694656
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 3.63 2.01 265289728 .0934  .129   10903552
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c 3.41 1.91 266633216 .0785  .0836  11169792
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 902    885    6503505920 .0726  .0737  10932224
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 3.53 1.98 263503872 .0661  .0658  11378688
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 3.54 1.96 264798208 .0739  .0738  11005952
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 3.31 1.86 264257536 .0742  .0797  10833920
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 905    887    5037371392 .0899  .0953  12136448
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 3.25 1.84 261935104 .0791  .0779  11128832
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 906    892    2137362432 .106   .108   10575872
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 3.42 1.92 262926336 .0660  .0653  11649024
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 3.27 1.86 260358144 .0926  .0962  10792960
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 3.62 2.06 277925888 .0705  .0743  10792960
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 3.57 2.00 266592256 .0735  .0750  11534336
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c 905    884    5619048448 .110   .113   12914688
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 3.24 1.83 260550656 .103   .106   10727424
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 902    896    532709376 .100   .0987  10678272
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 3.85 2.13 273608704 .0692  .0742  10866688
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 3.64 2.07 267898880 .0941  .0915  10567680
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 5.00 2.84 284680192 .0894  .0937  10776576
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 5.35 3.05 284577792 .0728  .0721  11288576
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 903    883    1976549376 .0823  .0815  11059200
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 5.34 2.96 278409216 .0843  .0836  10809344
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 903    878    3516186624 .0700  .0759  10969088
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 901    882    3140648960 .00202 .00249 528384
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 905    880    3422863360 .0789  .0796  10915840
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 3.42 1.91 261914624 .0767  .0773  11411456
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 3.44 1.93 262373376 .0673  .0665  11014144
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 3.34 1.90 263233536 .0918  .0898  10924032
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 3.45 1.92 264208384 .0720  .0721  10772480
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 3.38 1.92 262586368 .0776  .0786  10915840
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 3.38 1.87 264323072 .103   .106   10821632
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 3.56 1.98 266313728 .0744  .0749  10928128
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 3.24 1.83 262246400 .0802  .0838  10825728
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 3.23 1.80 256917504 .0669  .0719  10846208
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 3.31 1.85 262098944 .100   .100   10788864
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 3.47 1.93 265986048 .0924  .0970  10891264
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 905    882    13092544512 .0801  .0801  12410880
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c 3.47 1.96 263024640 .623   .635   20819968
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c 3.56 1.96 265805824 .611   .619   20230144
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c 3.39 1.89 266915840 .599   .612   20705280
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c 3.24 1.84 261206016 .596   .596   20307968
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c 3.41 1.92 263598080 .619   .632   20840448
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c 3.69 2.06 268701696 .666   .757   20545536
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c 3.66 2.05 270819328 .636   .643   20267008
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c 906    883    12768272384 .0784  .0861  12988416
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c 3.45 1.94 268152832 .618   .638   20303872
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c 3.34 1.83 257253376 .611   .619   20283392
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c 906    890    6482915328 .116   .236   13156352
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c 912    904    610770944 .00507 .00617 524288
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c 3.60 2.16 279814144 .629   .640   20635648
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c 3.46 1.96 265089024 .633   .647   20824064
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c 3.46 1.96 266391552 .621   .635   20877312
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c 3.53 1.93 261525504 .591   .603   20164608
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c 3.65 2.07 269426688 .606   .613   20242432
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c 3.42 1.90 262447104 .605   .603   20332544
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c 4.08 2.27 267321344 .649   .655   20279296
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c 3.73 2.06 261988352 .595   .600   20320256
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c 3.43 1.93 263708672 .609   .615   20275200
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c 3.61 2.01 265682944 .620   .634   20828160
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c 3.49 1.94 263122944 .602   .613   20922368
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c 3.44 1.92 265150464 .620   .631   20819968
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c 3.68 2.04 264019968 .676   .782   20316160
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c 3.61 2.05 275701760 .617   .623   20307968
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c 3.73 2.17 276705280 .628   .642   20779008
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c 3.56 2.05 275304448 .625   .633   20254720
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c 3.41 1.94 262987776 .640   .649   20713472
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c 3.44 1.93 267124736 .612   .611   20402176
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c 3.38 1.92 262000640 .612   .625   20623360
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c 3.42 1.93 261545984 .609   .608   20197376
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c 3.27 1.83 258539520 .624   .629   20242432
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c 3.46 1.93 267005952 .594   .593   20258816
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c 3.79 2.20 274419712 .613   .615   20303872
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c 3.39 1.94 265904128 .604   .619   20779008
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c 3.47 1.93 262983680 .609   .624   20791296
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c 3.45 1.94 262135808 .613   .627   20860928
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c 3.38 1.88 260820992 .590   .599   20717568
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c 3.38 1.87 261894144 .606   .613   20189184
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c 3.28 1.87 263720960 .606   .614   20549632
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c 3.31 1.86 260882432 .616   .628   20774912
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c 3.42 1.93 262164480 .609   .606   20320256
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c 3.47 1.90 260730880 .644   .643   20201472
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c 3.36 1.85 263700480 4.35    4.36    20180992
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c 3.38 1.88 258600960 .684   .797   20848640
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c 3.35 1.87 262828032 .625   .635   19910656
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c 3.28 1.88 264933376 .608   .607   20312064
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c 3.26 1.84 264519680 .615   .636   20316160
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c 3.45 1.92 262078464 .613   .627   20664320
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c 3.67 2.04 262037504 .608   .615   20201472
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c 3.24 1.85 260235264 .598   .598   20242432
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c 3.47 1.91 263950336 .622   .638   20803584
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c 3.35 1.88 266072064 .604   .616   20172800
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c 3.31 1.89 257609728 .617   .617   20242432
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c 3.50 1.91 258998272 .631   .641   20807680
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c 3.59 2.12 275128320 .609   .623   20746240
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c 3.57 1.99 262447104 .606   .618   20766720
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c 3.33 1.89 265777152 .624   .627   20275200
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c 3.43 1.92 262176768 .617   .630   20725760
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c 3.44 1.91 263729152 .692   .718   20746240
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c 3.52 1.98 263495680 .628   .636   20328448
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c 3.41 1.92 267087872 .635   .655   20697088
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c 3.36 1.91 265674752 .633   .660   20770816
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c 3.69 2.04 269168640 .622   .635   20869120
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c 4.04 2.26 275902464 960       960       20500480
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c 3.33 1.86 259022848 .618   .650   20746240
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c 3.73 2.07 267382784 .599   .613   20721664
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c 3.72 2.11 270434304 .595   .594   20262912
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c 3.65 2.13 277172224 .613   .622   20369408
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c 3.94 2.19 276934656 .589   .589   20316160
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c 3.97 2.20 281391104 .588   .588   20414464
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c 4.23 2.36 280907776 .0683  .0683  11063296
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c 3.65 2.07 277725184 .615   .613   20467712
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c 3.31 1.85 258535424 .604   .618   20144128
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c 3.38 1.91 264028160 .619   .632   20770816
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c 3.35 1.90 262471680 .607   .615   20451328
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c 3.56 1.98 263147520 .626   .625   20389888
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c 3.59 2.10 276963328 .668   .768   20553728
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c 3.41 1.94 263385088 .605   .606   20332544
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c 3.54 1.99 265797632 .609   .623   20713472
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c 3.47 1.95 265834496 .609   .617   20344832
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c 3.52 1.96 264278016 .635   .639   20328448
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c 3.55 1.98 263909376 .646   .644   20238336
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c 3.47 1.96 266596352 .649   .649   20361216
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c 3.47 1.95 267513856 .605   .619   20865024
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c 3.46 1.95 263020544 .599   .600   20295680
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c 3.35 1.87 263966720 .593   .593   20193280
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c 3.38 1.88 264589312 .615   .625   20185088
termination-crafted-lit/cstrncmp_false-no-overflow.c 4.41 2.74 321302528 .625   .622   20303872
termination-crafted-lit/gcd1_false-no-overflow.c 3.45 1.92 262279168 .659   .772   20385792
termination-crafted-lit/joey_false-no-overflow.c 3.44 1.91 260059136 .627   .625   20340736
termination-crafted-lit/min_rf_false-no-overflow.c 3.43 1.94 264404992 .640   .649   20361216
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c 903    881    13841145856 .0742  .0739  11067392
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c 3.50 1.93 259989504 .0702  .133   12058624
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c 3.53 1.95 262791168 .0846  .0897  10809344
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c 906    883    12227526656 .0800  .0856  13459456
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c 112    102    1073786880 .0757  .0822  11378688
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c 907    890    6436896768 .0765  .0833  13529088
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c 912    907    504303616 .00155 .00195 524288
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c 63.4  55.6  556826624 .0660  .0653  11210752
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c 3.51 1.98 263626752 .0701  .0710  10788864
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c 3.52 1.96 267620352 .0690  .0743  11935744
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c 3.60 2.04 267886592 .101   .0975  10899456
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c 5.11 2.77 271212544 .0890  .0892  10928128
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c 3.53 1.97 260751360 .0826  .0877  10809344
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c 3.79 2.13 264015872 .0699  .0700  12070912
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c 906    887    6187278336 .0855  .0861  15003648
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c 3.71 2.08 264511488 .0702  .0750  12120064
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c 3.64 2.04 264196096 .0823  .0877  10739712
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c 907    883    7938011136 .0874  .0920  12349440
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c 906    886    12510277632 .0971  .0957  11177984
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c 905    888    4160897024 .0721  .0855  11792384
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c 3.46 1.92 280383488 .105   .109   11018240
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c 906    884    13280055296 .127   .219   13131776
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c 911    901    649777152 .0830  .0842  12193792
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c 64.0  56.6  549523456 .0791  .0778  10907648
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c 3.37 1.91 261660672 .0748  .0757  10936320
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c 3.35 1.84 261279744 .0785  .0775  10678272
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c 3.40 1.93 261505024 .0690  .0693  11046912
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c 3.81 2.10 261632000 .0712  .0713  11100160
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c 3.43 1.90 260771840 .0663  .0657  10944512
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c 3.44 1.92 266457088 .104   .107   10903552
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c 3.49 1.95 262754304 .0908  .0891  10846208
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c 3.38 1.90 261402624 .0749  .0797  10944512
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c 3.37 1.89 266289152 .0662  .0819  11374592
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c 909    885    5630562304 .168   .165   35385344
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c 902    895    514285568 .0692  .0712  11710464
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c 3.47 1.95 263008256 .0661  .0663  10788864
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c 905    888    4173590528 .0703  .0770  11636736
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c 3.49 1.98 264810496 .0964  .0960  10715136
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c 3.55 1.97 265850880 .0810  .0847  10817536
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c 3.48 1.93 262254592 .0999  .0974  10883072
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c 905    885    6570209280 .0783  .0790  10756096
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c 3.26 1.84 260808704 .0794  .0784  10817536
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c 3.75 2.06 259624960 .106   .113   10940416
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c 902    896    557928448 .0732  .0729  11497472
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c 3.82 2.13 275365888 .0743  .0758  10760192
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c 908    883    5299691520 .00538 .00641 524288
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c 3.49 1.99 266706944 .0911  .173   12099584
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c 3.25 1.85 259735552 .0745  .0799  10866688
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c 3.48 1.93 262352896 .0695  .0740  10833920
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c 111    103    1011130368 .0731  .0777  10665984
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c 3.30 1.84 260268032 .0687  .0679  10833920
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c 3.50 1.97 264982528 .0783  .0848  10735616
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c 3.55 1.96 262455296 .102   .104   10674176
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c 3.55 1.99 261373952 .0663  .0666  10760192
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c 907    888    5162106880 .0762  .0763  13365248
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c 5.18 2.83 273960960 .0667  .0662  11657216
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c 3.40 1.89 259051520 .0837  .149   10891264
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c 3.47 1.96 262434816 .0705  .0763  11460608
termination-crafted-lit/aviad_true-termination_true-no-overflow.c 905    885    8007720960 .0804  .0852  12881920
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c 3.99 2.45 303300608 .0798  .0853  10616832
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c 4.14 2.44 305610752 .0811  .0843  10866688
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c 3.64 2.04 273190912 .0735  .0795  10919936
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c 3.94 2.34 306212864 .0675  .0673  11624448
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c 3.89 2.36 297553920 .102   .107   10678272
termination-crafted-lit/genady_true-termination_true-no-overflow.c 906    887    4468600832 .101   .0982  12767232
termination-crafted-lit/strchr_true-no-overflow_true-termination.c 3.67 2.08 276320256 .0725  .0729  11329536
termination-numeric/Addition01_false-no-overflow.c 3.59 2.00 273129472 .591   .598   20484096
termination-numeric/Avg_true_false-no-overflow.c 3.29 1.86 265412608 .593   .593   20348928
termination-numeric/Binomial_true-termination_false-no-overflow.c 902    895    1388978176 .103   .0997  10657792
termination-numeric/Et1_true_false-no-overflow.c 3.45 1.89 258502656 .606   .620   20840448
termination-numeric/Et2_true_false-no-overflow.c 3.31 1.86 263245824 .596   .602   20279296
termination-numeric/Et3_true_false-no-overflow.c 3.37 1.87 261124096 .594   .593   20168704
termination-numeric/Et4_true_false-no-overflow.c 3.47 1.93 261263360 .626   .629   20262912
termination-numeric/MultCommutative_false-no-overflow.c 8.42 5.02 309972992 .0721  .0846  11722752
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c 901    895    1302749184 .00507 .00648 524288
termination-numeric/Ackermann01_true-termination_true-no-overflow.c 907    886    3722948608 .0726  .0724  11014144
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c 907    883    3066769408 .0948  .0949  16248832
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c 6.40 3.66 294760448 .0679  .0682  11866112
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c 3.81 2.14 275296256 .0803  .0859  10907648
termination-numeric/LogRecursive_true-termination_true-no-overflow.c 902    883    1496887296 .0966  .0956  11280384
termination-numeric/Parts_true-termination_true-no-overflow.c 905    888    3035648000 .0710  .0708  11636736
termination-numeric/TwoWay_true-termination_true-no-overflow.c 901    899    604430336 .0719  .0716  10903552
termination-numeric/gcd01_true-termination_true-no-overflow.c 3.97 2.23 276807680 .0866  .0859  10932224
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c 21.8  13.0  553168896 .0794  .0851  12238848
termination-numeric/recHanoi02_true-termination_true-no-overflow.c 901    880    3977355264 .00198 .00300 524288
termination-numeric/rec_counter1_true-termination_true-no-overflow.c 901    876    3914960896 .00400 .00450 393216
termination-numeric/rec_counter3_true-termination_true-no-overflow.c 908    885    4956225536 .111   .111   26148864
termination-numeric/twisted_true-termination_true-no-overflow.c 901    883    7501942784 .0657  .0650  11870208
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i 902    891    1651159040 .0756  .0751  11509760
busybox-1.22.0/chroot-incomplete_false-no-overflow.i 902    890    1353515008 .121   .226   11288576
busybox-1.22.0/cut_false-no-overflow.i 909    888    6308372480 .136   .133   15101952
busybox-1.22.0/date_false-no-overflow.i 905    883    3492413440 .114   .118   15654912
busybox-1.22.0/du_false-no-overflow.i 905    883    2747633664 .101   .101   14639104
busybox-1.22.0/echo_false-no-overflow.i 960    941    3287547904 .00219 .00281 524288
busybox-1.22.0/expand_false-no-overflow.i 907    885    5387120640 .114   .114   15794176
busybox-1.22.0/fold_false-no-overflow.i 902    883    798457856 .0923  .0920  13041664
busybox-1.22.0/head_false-no-overflow.i 902    890    1139654656 .0861  .0861  11997184
busybox-1.22.0/logname_false-no-overflow.i 902    891    1300414464 .0894  .122   11001856
busybox-1.22.0/ls-incomplete_false-no-overflow.i 904    885    2902327296 .147   .147   19140608
busybox-1.22.0/mkdir_false-no-overflow.i 906    884    6767169536 .126   .125   15065088
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i 75.5  64.8  703893504 .864   .876   22175744
busybox-1.22.0/od_false-no-overflow.i 906    883    6633652224 .177   .181   19558400
busybox-1.22.0/printf_false-no-overflow.i 902    891    1154871296 .0972  .103   13488128
busybox-1.22.0/readlink_false-no-overflow.i 906    881    6431047680 .127   .125   14061568
busybox-1.22.0/realpath_false-no-overflow.i 902    892    1313411072 .0718  .0718  11784192
busybox-1.22.0/rm_false-no-overflow.i 905    883    6519885824 .104   .103   15495168
busybox-1.22.0/seq_false-no-overflow.i 905    882    6649610240 .111   .116   14749696
busybox-1.22.0/sleep_false-no-overflow.i 7.52 4.03 306806784 .109   .107   11255808
busybox-1.22.0/stty_false-no-overflow.i 904    885    2025517056 .116   .116   16281600
busybox-1.22.0/sync_false-no-overflow.i 60.2  51.0  589225984 .0786  .0830  11051008
busybox-1.22.0/tac_false-no-overflow.i 905    882    6592802816 .101   .101   14413824
busybox-1.22.0/tee_false-no-overflow.i 905    883    2991357952 .0974  .0976  13627392
busybox-1.22.0/test-incomplete_false-no-overflow.i 35.0  27.7  535900160 .00436 .00552 524288
busybox-1.22.0/touch_false-no-overflow.i 905    883    6572560384 .134   .130   15241216
busybox-1.22.0/uname_false-no-overflow.i 905    881    6310731776 .103   .110   14172160
busybox-1.22.0/uniq_false-no-overflow.i 907    884    5010317312 .0987  .0985  14626816
busybox-1.22.0/usleep_false-no-overflow.i 902    891    1310404608 .0774  .0782  11108352
busybox-1.22.0/uudecode_false-no-overflow.i 3.23 1.73 199626752 .00456 .00610 524288
busybox-1.22.0/wc_false-no-overflow.i 905    883    6027956224 .108   .110   14495744
busybox-1.22.0/who_false-no-overflow.i 903    881    6485790720 .105   .109   12840960
busybox-1.22.0/whoami-incomplete_false-no-overflow.i 902    890    1015902208 .0825  .0820  11493376
busybox-1.22.0/yes_false-no-overflow.i 902    892    1215791104 .0770  .0828  11022336
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i 902    891    994291712 .0912  .0971  10989568
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i 110    100    704425984 .0753  .0751  11599872
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i 902    890    1303990272 .112   .114   11079680
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i 905    881    6436675584 .144   .264   15392768
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i 905    882    3396853760 .108   .113   15626240
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i 902    883    4542099456 .0778  .0831  11071488
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i 902    884    3097305088 .101   .101   13594624
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i 960    942    2812776448 .00482 .00589 524288
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i 906    885    6422024192 .107   .107   16031744
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i 902    885    934600704 .110   .115   13627392
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i 588    574    1029357568 .135   .141   11923456
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i 548    530    14999998464 .00455 .00558 524288
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i 246    235    833622016 .0801  .0867  10850304
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i 903    884    2894630912 .142   .142   18157568
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i 905    882    6612738048 .108   .108   14876672
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i 184    174    801820672 .0841  .0911  11358208
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i 906    883    6536916992 .135   .135   19181568
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i 218    208    14999998464 .00183 .00231 524288
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i 905    882    6557237248 .0957  .0997  14950400
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i 902    893    1346265088 .107   .112   10907648
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i 906    884    6549991424 .134   .220   15855616
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i 904    880    6236798976 .113   .111   13152256
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i 7.85 4.16 318144512 .0930  .0974  11116544
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i 904    887    2052775936 .126   .134   16728064
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i 43.1  34.1  612642816 .0789  .0792  10846208
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i 904    882    6515089408 .102   .107   13000704
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i 902    882    3240120320 .106   .114   12394496
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i 34.1  25.9  542093312 .00457 .00582 524288
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i 904    882    6469464064 .128   .125   13385728
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i 905    883    6584963072 .0930  .0944  14090240
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i 904    883    6520401920 .128   .125   13062144
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i 152    141    767315968 .0862  .0902  11403264
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i 905    884    5989892096 .114   .119   16166912
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i 905    884    6044958720 .102   .103   14467072
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i 906    883    5005021184 .103   .109   14565376
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i 321    310    14999998464 .00622 .00747 393216
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i 902    893    1087553536 .0841  .0838  10866688
recursive/Addition02WithOverflowBug_false-no-overflow.c 3.60 1.96 273240064 .611   .622   20770816
recursive/Addition03_false-no-overflow.c 3.55 1.99 269692928 .603   .610   20172800
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c 3.64 2.00 259940352 .602   .610   20406272
recursive/Ackermann01_true-unreach-call_true-no-overflow.c 908    885    4548669440 .0997  .0971  10952704
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c 907    880    7055130624 .0760  .0765  11333632
recursive/Ackermann03_true-unreach-call_true-no-overflow.c 903    881    6513397760 .0710  .0772  12099584
recursive/Ackermann04_true-unreach-call_true-no-overflow.c 908    888    3285348352 .0678  .0671  11051008
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c 901    881    5724884992 .00207 .00281 524288
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c 901    885    2727985152 .00172 .00191 393216
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c 906    887    2163515392 .0821  .0969  12046336
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c 3.52 1.95 267730944 .0771  .0771  10928128
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c 905    882    4096110592 .0885  .0890  17612800
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c 901    880    3707408384 .00457 .00583 524288
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c 6.39 3.57 293609472 .0789  .0766  12075008
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c 699    687    796741632 .100   .195   10825728
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c 6.06 3.39 290676736 .0997  .0958  10833920
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c 6.87 3.99 296951808 .0998  .0974  10604544
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c 7.08 4.03 295399424 .0743  .0788  10838016
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c 4.23 2.31 274542592 .0986  .0962  10842112
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c 4.06 2.24 273346560 .0689  .0686  11591680
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c 6.42 3.81 292675584 .0674  .0669  12025856
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c 11.9  7.31 407826432 .0937  .133   11042816
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c 4.15 2.35 281460736 .0730  .0728  10915840
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c 4.66 2.60 283545600 .0781  .0845  10944512
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c 901    881    6334902272 .00526 .00664 524288
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c 901    880    3949400064 .00421 .00462 393216
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c 908    885    4396851200 .125   .125   26632192
recursive-simple/id_b3_o2_false-no-overflow.c 3.49 1.96 269594624 .602   .611   20664320
recursive-simple/id_b3_o5_false-no-overflow.c 3.75 2.11 273059840 .594   .606   20766720
recursive-simple/id_b5_o10_false-no-overflow.c 3.56 1.98 271343616 .592   .603   20799488
recursive-simple/sum_non_eq_false-no-overflow.c 3.48 1.97 267800576 .596   .611   20885504
recursive-simple/sum_non_false-no-overflow.c 3.55 1.99 272826368 .596   .612   20975616
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c 3.41 1.91 268574720 .0696  .0710  11509760
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c 3.63 2.02 269557760 .0837  .170   11382784
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c 3.68 2.01 268214272 .0669  .0665  11755520
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c 3.64 2.02 270938112 .0798  .0848  11329536
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c 3.48 1.93 270217216 .0735  .0745  10797056
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c 4.47 2.50 282439680 .0868  .0861  10883072
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c 4.46 2.49 285122560 .0771  .140   10731520
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c 5.52 3.15 286158848 .102   .107   10817536
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c 3.59 1.98 262778880 .0801  .0853  10915840
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c 3.53 1.96 268623872 .0727  .0784  11042816
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c 3.48 1.96 268652544 .0978  .103   10809344
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c 3.23 1.85 263245824 .0749  .0803  10932224
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c 3.72 2.08 263389184 .0654  .0664  11829248
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c 3.52 1.95 268800000 .106   .108   10784768
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c 3.56 1.98 271020032 .0726  .0777  11268096
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c 3.45 1.94 268627968 .0723  .0725  10973184
bitvector/byte_add_1_false-no-overflow.i 6.94 3.72 304271360 .727   .735   21573632
bitvector/byte_add_2_false-no-overflow.i 7.68 4.21 318287872 .748   .762   22044672
bitvector/byte_add_false-no-overflow.i 9.24 5.02 335867904 .724   .752   22065152
bitvector/jain_1_false-no-overflow.i 3.75 2.21 296751104 .619   .632   20701184
bitvector/jain_2_false-no-overflow.i 3.87 2.27 293261312 .607   .621   20668416
bitvector/jain_4_false-no-overflow.i 3.80 2.23 299257856 .618   .631   20684800
bitvector/jain_5_false-no-overflow.i 905    888    3777871872 .0713  .0708  11214848
bitvector/jain_6_false-no-overflow.i 3.93 2.32 298500096 .613   .616   20316160
bitvector/jain_7_false-no-overflow.i 3.66 2.16 297414656 .630   .643   20664320
bitvector/modulus_false-no-overflow.i 3.38 1.89 262860800 .608   .609   20340736
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 4.26 2.35 271556608 .0695  .0695  11714560
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 4.15 2.29 270589952 .109   .106   10600448
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 4.10 2.28 270745600 .106   .150   10850304
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 3.54 1.97 269041664 .0761  .0989  10801152
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 3.51 1.98 266960896 .0725  .0733  11001856
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 3.51 1.97 264744960 .0780  .0783  10641408
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 4.69 2.60 281665536 .0791  .0841  10956800
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 3.65 2.02 261349376 .103   .0993  10735616
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 3.42 1.92 263270400 .0801  .0793  10760192
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 3.33 1.86 258695168 .104   .106   10928128
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 3.30 1.86 260636672 .0785  .0842  10895360
bitvector/jain_5_true-unreach-call_true-no-overflow.i 3.25 1.81 262193152 .0866  .0969  10899456
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 3.33 1.86 256602112 .0707  .0771  10788864
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 3.29 1.84 262893568 .0768  .0815  10768384
bitvector/modulus_true-unreach-call_true-no-overflow.i 4.03 2.24 263163904 .0750  .0803  10981376
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 3.48 1.95 264310784 .102   .148   10895360
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 3.86 2.14 261513216 .0728  .0726  11030528
bitvector/parity_true-unreach-call_true-no-overflow.i 3.44 1.93 263618560 .0775  .0784  10854400
bitvector/sum02_false-unreach-call_true-no-overflow.i 3.28 1.84 258158592 .0719  .0716  10792960
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.48 1.95 262623232 .0708  .0704  10612736
psyco/psyco_abp_1_false-no-overflow.c 936    910    7976390656 .104   .105   11608064
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 430 110000 107000 669762703360 430 2050   2060   6356586496
    correct results 295 2420 1880 83477782528 121 83.3 84.7 2483331072
        correct true 130 1540 1280 37856014336 0
        correct false 165 874 595 45621768192 121 83.3 84.7 2483331072
    incorrect results 0 37 23.0 23.7 759566336
        incorrect true 0 37 23.0 23.7 759566336
        incorrect false 0 0
score (430 tasks, max score: 649) 425 -1063
Run set cpaseq--overflows.cpaseq fshellw2t-cpaseq--overflows-validation.witnessValidation