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