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