Tool CPAchecker 1.7-svn 29913 ULTIMATE Automizer 0.1.24-91b1670e
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-43-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Run set cpaseq--overflows.cpaseq ultimateautomizer-cpaseq--overflows-validation.witnessValidation
Options -heap 10000M -svcomp18 -benchmark -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false --full-output --validate 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 false(no-overflow) 7.60   4.71   314753024
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) 4.43 2.41 268464128 false(no-overflow) 8.04   4.92   315420672
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) 4.33 2.38 269017088 false(no-overflow) 7.74   4.78   311660544
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) 3.79 2.10 252530688 false(no-overflow) 8.11   4.59   314068992
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) 4.12 2.25 251117568 false(no-overflow) 7.97   4.96   327106560
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) 4.75 2.53 284614656 false(no-overflow) 7.92   4.46   317083648
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) 4.37 2.38 250175488 false(no-overflow) 7.85   4.50   319987712
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) 4.34 2.34 266776576 false(no-overflow) 8.06   4.99   317304832
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) 4.27 2.30 267702272 false(no-overflow) 8.06   4.95   317870080
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) 4.29 2.32 268005376 false(no-overflow) 7.83   4.78   316006400
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i true 3.82 2.08 264679424 true 7.44   4.62   311767040
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i true 3.92 2.15 266567680 true 8.35   4.67   318697472
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i true 3.95 2.18 249516032 true 7.30   4.19   311660544
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i true 3.65 2.01 258666496 true 7.57   4.72   317521920
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i true 4.03 2.24 250429440 true 7.74   4.71   310874112
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) 3.50 1.96 262115328 false(no-overflow) 6.98   4.01   305651712
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) 3.38 1.90 260374528 false(no-overflow) 6.91   4.40   309850112
termination-crafted/Ackermann_false-no-overflow.c timeout 901    880    3722940416 error (2) .0197 .0200 5611520
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) 3.45 1.94 264863744 false(no-overflow) 6.84   3.99   300158976
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) 3.31 1.87 262459392 false(no-overflow) 6.82   4.36   309161984
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) 3.27 1.86 260616192 false(no-overflow) 6.81   3.97   308420608
termination-crafted/Binary_Search_false-no-overflow.c false(no-overflow) 3.46 1.93 262725632 false(no-overflow) 7.00   4.11   312426496
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) 4.05 2.28 263208960 false(no-overflow) 7.45   4.76   313712640
termination-crafted/Cairo_step2_false-no-overflow.c timeout 904    889    2218774528 timeout 960      796      1593888768
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) 3.62 2.09 277114880 false(no-overflow) 7.00   4.51   317186048
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) 3.30 1.84 259821568 false(no-overflow) 7.38   4.59   313430016
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) 3.46 1.95 268263424 false(no-overflow) 7.33   4.63   308981760
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) 3.42 1.91 264757248 false(no-overflow) 7.34   4.59   309956608
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) 3.43 1.92 265089024 false(no-overflow) 6.90   4.05   304254976
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) 3.39 1.91 260964352 false(no-overflow) 6.83   4.00   309432320
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) 3.39 1.92 262918144 false(no-overflow) 7.33   4.60   309583872
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) 3.37 1.87 266665984 false(no-overflow) 7.22   4.23   314105856
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) 3.53 1.99 263745536 false(no-overflow) 7.25   4.60   320438272
termination-crafted/NestedRecursion_1a_false-no-overflow.c false(no-overflow) 3.41 1.90 260825088 false(no-overflow) 7.11   4.56   310902784
termination-crafted/NestedRecursion_2a_false-no-overflow.c false(no-overflow) 3.34 1.88 268148736 false(no-overflow) 7.60   4.85   313647104
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) 3.54 2.11 275689472 false(no-overflow) 7.17   4.10   317562880
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) 3.55 2.10 276586496 false(no-overflow) 7.04   4.55   311218176
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) 206    197    1255739392 false(no-overflow) 7.70   4.92   308633600
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) 3.48 1.92 262959104 false(no-overflow) 6.50   3.86   307281920
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) 3.57 2.02 263462912 false(no-overflow) 6.97   4.08   306618368
termination-crafted/NonTerminationSimple4_false-no-overflow.c timeout 905    889    1922822144 timeout 960      790      1645600768
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) 3.38 1.90 260341760 false(no-overflow) 6.61   4.19   308981760
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) 3.49 1.98 264048640 false(no-overflow) 6.96   4.42   308031488
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) 3.45 1.95 266547200 false(no-overflow) 7.28   4.58   310439936
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) 3.58 2.00 265228288 false(no-overflow) 6.84   4.43   306503680
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) 3.39 1.89 262656000 false(no-overflow) 7.09   4.46   312934400
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) 3.42 1.94 269029376 false(no-overflow) 7.08   4.56   310366208
termination-crafted/RecursiveMultiplication_false-no-overflow.c false(no-overflow) 4.11 2.31 280641536 false(no-overflow) 7.18   4.18   312467456
termination-crafted/RecursiveNonterminating_false-no-overflow.c false(no-overflow) 3.31 1.85 258260992 false(no-overflow) 6.59   4.31   308301824
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) 3.32 1.86 260407296 false(no-overflow) 6.72   4.38   305614848
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) 3.41 1.89 264261632 false(no-overflow) 6.63   4.30   309403648
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) 3.40 1.87 269602816 false(no-overflow) 7.25   4.69   313356288
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) 3.32 1.88 262021120 false(no-overflow) 6.98   4.40   314998784
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) 3.43 1.93 263081984 false(no-overflow) 7.19   4.49   311144448
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) 3.66 2.07 266813440 false(no-overflow) 7.44   4.69   310775808
termination-crafted/Thun_false-no-overflow.c false(no-overflow) 3.41 1.93 264798208 false(no-overflow) 6.98   3.98   315064320
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) 3.50 1.94 267251712 false(no-overflow) 7.13   4.17   313229312
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) 4.15 2.29 271298560 false(no-overflow) 8.65   4.97   315666432
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) 3.53 1.98 266047488 false(no-overflow) 6.81   4.35   311885824
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) 3.36 1.87 263720960 false(no-overflow) 6.98   4.46   313647104
termination-crafted/easy2_false-no-overflow.c timeout 906    883    13116813312 false(unreach-call) 24.8    14.0    1160998912
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c true 3.41 1.89 256032768 true 7.36   4.53   312631296
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c true 3.63 2.01 265289728 true 34.4    21.6    714825728
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c true 3.41 1.91 266633216 true 7.82   4.53   315064320
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c timeout 902    885    6503505920 true 9.73   6.08   347062272
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c true 3.53 1.98 263503872 true 7.86   4.56   320327680
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c true 3.54 1.96 264798208 true 8.53   5.37   319344640
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c true 3.31 1.86 264257536 true 7.70   4.96   322211840
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c timeout 905    887    5037371392 timeout 961      838      6163038208
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c true 3.25 1.84 261935104 true 6.66   4.35   298135552
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 906    892    2137362432 true 7.64   4.91   317571072
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c true 3.42 1.92 262926336 true 7.68   4.47   317616128
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c true 3.27 1.86 260358144 true 8.31   5.21   316686336
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c true 3.62 2.06 277925888 true 7.27   4.25   307302400
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c true 3.57 2.00 266592256 timeout 960      918      1091977216
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c timeout 905    884    5619048448 timeout 960      911      1053204480
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c true 3.24 1.83 260550656 true 6.60   4.23   302522368
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c timeout 902    896    532709376 timeout 961      840      2835976192
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c true 3.85 2.13 273608704 true 9.69   5.99   339357696
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c true 3.64 2.07 267898880 false(unreach-call) 8.99   5.53   321802240
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c true 5.00 2.84 284680192 true 12.7    7.39   501760000
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c true 5.35 3.05 284577792 true 18.7    11.4    586276864
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c timeout 903    883    1976549376 true 19.4    11.5    500117504
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c true 5.34 2.96 278409216 true 12.8    7.36   463781888
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c timeout 903    878    3516186624 true 16.7    9.54   482885632
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c timeout 901    882    3140648960 error (2) .0495 .0506 5513216
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c timeout 905    880    3422863360 true 17.5    11.0    468938752
termination-crafted/NonTermination3_true-no-overflow_false-termination.c true 3.42 1.91 261914624 true 7.87   4.96   320696320
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c true 3.44 1.93 262373376 true 7.42   4.85   312737792
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c true 3.34 1.90 263233536 true 7.33   4.29   310579200
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c true 3.45 1.92 264208384 true 8.10   4.63   313974784
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c true 3.38 1.92 262586368 true 7.61   4.83   312901632
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c true 3.38 1.87 264323072 true 7.56   4.88   313913344
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c true 3.56 1.98 266313728 true 8.43   4.88   311844864
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c true 3.24 1.83 262246400 true 7.07   4.53   310968320
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c true 3.23 1.80 256917504 true 6.56   4.36   301993984
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c true 3.31 1.85 262098944 true 6.45   4.16   305889280
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c true 3.47 1.93 265986048 true 8.04   5.10   314736640
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 905    882    13092544512 false(unreach-call) 23.3    13.3    1185517568
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) 3.47 1.96 263024640 false(no-overflow) 7.00   4.47   309727232
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) 3.56 1.96 265805824 false(no-overflow) 6.85   4.46   309649408
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) 3.39 1.89 266915840 false(no-overflow) 7.57   4.82   316882944
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) 3.24 1.84 261206016 false(no-overflow) 7.71   4.42   316768256
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) 3.41 1.92 263598080 false(no-overflow) 8.00   5.01   320045056
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) 3.69 2.06 268701696 false(no-overflow) 6.92   4.44   310366208
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) 3.66 2.05 270819328 false(no-overflow) 7.14   4.59   310521856
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c timeout 906    883    12768272384 false(unreach-call) 24.9    13.4    1052131328
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) 3.45 1.94 268152832 false(no-overflow) 7.43   4.68   313729024
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) 3.34 1.83 257253376 false(no-overflow) 7.36   4.69   315531264
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c timeout 906    890    6482915328 timeout 960      785      4721676288
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c timeout 912    904    610770944 error (2) .0252 .0262 5746688
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) 3.60 2.16 279814144 false(no-overflow) 7.29   4.27   311140352
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) 3.46 1.96 265089024 false(no-overflow) 7.15   4.63   309633024
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) 3.46 1.96 266391552 false(no-overflow) 7.37   4.62   311746560
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) 3.53 1.93 261525504 false(no-overflow) 7.28   4.26   315404288
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) 3.65 2.07 269426688 false(no-overflow) 7.92   4.62   313851904
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) 3.42 1.90 262447104 false(no-overflow) 7.21   4.38   321802240
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) 4.08 2.27 267321344 false(no-overflow) 7.92   4.46   319188992
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) 3.73 2.06 261988352 false(no-overflow) 7.29   4.67   313987072
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) 3.43 1.93 263708672 false(no-overflow) 7.14   4.54   308330496
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) 3.61 2.01 265682944 false(no-overflow) 7.71   4.43   314654720
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) 3.49 1.94 263122944 false(no-overflow) 7.27   4.73   315658240
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) 3.44 1.92 265150464 false(no-overflow) 7.42   4.70   316133376
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) 3.68 2.04 264019968 false(no-overflow) 7.17   4.18   311590912
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) 3.61 2.05 275701760 false(no-overflow) 7.23   4.22   315088896
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) 3.73 2.17 276705280 false(no-overflow) 6.86   4.37   311500800
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) 3.56 2.05 275304448 false(no-overflow) 6.92   4.02   304566272
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) 3.41 1.94 262987776 false(no-overflow) 7.47   4.60   311934976
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) 3.44 1.93 267124736 false(no-overflow) 7.46   4.80   316563456
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) 3.38 1.92 262000640 false(no-overflow) 7.18   4.09   312799232
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) 3.42 1.93 261545984 false(no-overflow) 6.89   3.95   314023936
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) 3.27 1.83 258539520 false(no-overflow) 6.73   4.40   309452800
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) 3.46 1.93 267005952 false(no-overflow) 6.81   4.35   310951936
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) 3.79 2.20 274419712 false(no-overflow) 6.74   4.32   301969408
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) 3.39 1.94 265904128 false(no-overflow) 6.92   4.44   308514816
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) 3.47 1.93 262983680 false(no-overflow) 8.32   5.25   315764736
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) 3.45 1.94 262135808 false(no-overflow) 7.80   4.41   316313600
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) 3.38 1.88 260820992 false(no-overflow) 7.46   4.71   314900480
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) 3.38 1.87 261894144 false(no-overflow) 6.98   4.10   316157952
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) 3.28 1.87 263720960 false(no-overflow) 7.03   4.42   310362112
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) 3.31 1.86 260882432 false(no-overflow) 7.18   4.09   315031552
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) 3.42 1.93 262164480 false(no-overflow) 6.88   4.44   309493760
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) 3.47 1.90 260730880 false(no-overflow) 7.35   4.69   309923840
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) 3.36 1.85 263700480 false(no-overflow) 6.75   4.34   311865344
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) 3.38 1.88 258600960 false(no-overflow) 7.88   4.25   324018176
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) 3.35 1.87 262828032 false(no-overflow) 7.04   4.41   306597888
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) 3.28 1.88 264933376 false(no-overflow) 7.15   4.53   311046144
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) 3.26 1.84 264519680 false(no-overflow) 6.90   4.00   308400128
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) 3.45 1.92 262078464 false(no-overflow) 6.93   4.07   308723712
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) 3.67 2.04 262037504 false(no-overflow) 7.18   4.63   316583936
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) 3.24 1.85 260235264 false(no-overflow) 7.29   4.64   313958400
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) 3.47 1.91 263950336 false(no-overflow) 7.02   4.03   309014528
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) 3.35 1.88 266072064 false(no-overflow) 7.60   4.84   312975360
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) 3.31 1.89 257609728 false(no-overflow) 7.08   4.59   319795200
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) 3.50 1.91 258998272 false(no-overflow) 6.91   4.35   313434112
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) 3.59 2.12 275128320 false(no-overflow) 7.26   4.65   319328256
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) 3.57 1.99 262447104 false(no-overflow) 7.20   4.61   315125760
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) 3.33 1.89 265777152 false(no-overflow) 7.29   4.63   312524800
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) 3.43 1.92 262176768 false(no-overflow) 7.04   4.55   310956032
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) 3.44 1.91 263729152 false(no-overflow) 7.20   4.65   318795776
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) 3.52 1.98 263495680 false(no-overflow) 7.52   4.20   314486784
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) 3.41 1.92 267087872 false(no-overflow) 7.39   4.24   312922112
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) 3.36 1.91 265674752 false(no-overflow) 7.07   4.39   309297152
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) 3.69 2.04 269168640 false(no-overflow) 6.94   4.00   311382016
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) 4.04 2.26 275902464 false(no-overflow) 7.88   4.90   312696832
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) 3.33 1.86 259022848 false(no-overflow) 7.50   4.55   325734400
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) 3.73 2.07 267382784 false(no-overflow) 9.61   5.94   328552448
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) 3.72 2.11 270434304 false(no-overflow) 6.88   3.99   313565184
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) 3.65 2.13 277172224 false(no-overflow) 7.04   4.09   308719616
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c false(no-overflow) 3.94 2.19 276934656 false(no-overflow) 8.57   4.95   315609088
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c false(no-overflow) 3.97 2.20 281391104 false(no-overflow) 7.20   4.06   314023936
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c error 4.23 2.36 280907776 false(no-overflow) 7.05   4.41   310697984
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c false(no-overflow) 3.65 2.07 277725184 false(no-overflow) 7.79   4.44   319901696
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) 3.31 1.85 258535424 false(no-overflow) 7.09   4.03   312324096
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) 3.38 1.91 264028160 false(no-overflow) 7.05   4.49   310468608
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) 3.35 1.90 262471680 false(no-overflow) 6.45   3.75   305864704
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) 3.56 1.98 263147520 false(no-overflow) 7.14   4.54   307474432
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) 3.59 2.10 276963328 false(no-overflow) 6.88   4.43   306102272
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) 3.41 1.94 263385088 false(no-overflow) 7.00   4.52   312131584
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) 3.54 1.99 265797632 false(no-overflow) 6.66   4.32   298840064
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) 3.47 1.95 265834496 false(no-overflow) 7.18   4.18   312664064
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) 3.52 1.96 264278016 false(no-overflow) 7.39   4.76   317894656
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) 3.55 1.98 263909376 false(no-overflow) 8.11   4.53   320196608
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 3.47 1.96 266596352 false(no-overflow) 7.25   4.54   309972992
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) 3.47 1.95 267513856 false(no-overflow) 7.55   4.40   314810368
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 3.46 1.95 263020544 false(no-overflow) 6.86   4.03   310796288
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c false(no-overflow) 3.35 1.87 263966720 false(no-overflow) 7.21   4.57   307752960
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) 3.38 1.88 264589312 false(no-overflow) 7.31   4.27   312705024
termination-crafted-lit/cstrncmp_false-no-overflow.c false(no-overflow) 4.41 2.74 321302528 false(no-overflow) 8.65   4.93   322277376
termination-crafted-lit/gcd1_false-no-overflow.c false(no-overflow) 3.45 1.92 262279168 false(no-overflow) 7.15   4.57   317681664
termination-crafted-lit/joey_false-no-overflow.c false(no-overflow) 3.44 1.91 260059136 false(no-overflow) 7.62   4.84   317132800
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) 3.43 1.94 264404992 false(no-overflow) 7.21   4.55   312209408
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 903    881    13841145856 timeout 960      851      2240561152
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true 3.50 1.93 259989504 true 8.23   4.68   317218816
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true 3.53 1.95 262791168 true 7.81   4.91   321794048
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c timeout 906    883    12227526656 false(unreach-call) 24.1    13.4    1163354112
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c true 112    102    1073786880 true 8.68   5.00   322576384
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c timeout 907    890    6436896768 true 60.7    38.4    2810208256
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c timeout 912    907    504303616 error (2) .0378 .0383 5611520
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true 63.4  55.6  556826624 true 52.2    33.0    3047714816
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true 3.51 1.98 263626752 true 8.61   5.46   320450560
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true 3.52 1.96 267620352 true 10.8    6.21   359661568
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true 3.60 2.04 267886592 true 9.19   5.29   319254528
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true 5.11 2.77 271212544 true 7.61   4.83   313470976
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true 3.53 1.97 260751360 true 7.67   4.41   319021056
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c true 3.79 2.13 264015872 true 10.7    6.63   374878208
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c timeout 906    887    6187278336 false(unreach-call) 29.1    16.9    1265356800
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c true 3.71 2.08 264511488 true 11.3    7.08   455073792
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c true 3.64 2.04 264196096 true 11.2    7.03   425918464
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c timeout 907    883    7938011136 true 30.1    17.6    1150717952
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c timeout 906    886    12510277632 false(unreach-call) 202      156      3580628992
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c timeout 905    888    4160897024 true 33.7    20.0    1489805312
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true 3.46 1.92 280383488 true 7.49   4.85   321343488
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c timeout 906    884    13280055296 false(unreach-call) 23.8    13.3    1141047296
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c timeout 911    901    649777152 timeout 961      743      8643682304
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c true 64.0  56.6  549523456 true 48.0    30.3    2874290176
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c true 3.37 1.91 261660672 true 6.51   4.23   300380160
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c true 3.35 1.84 261279744 true 7.83   4.72   317358080
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c true 3.40 1.93 261505024 true 7.97   5.04   323489792
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c true 3.81 2.10 261632000 true 7.75   4.90   315199488
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c true 3.43 1.90 260771840 true 7.77   4.97   316063744
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c true 3.44 1.92 266457088 true 8.21   4.69   326258688
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c true 3.49 1.95 262754304 true 8.47   5.33   321994752
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c true 3.38 1.90 261402624 true 8.03   5.10   321916928
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c true 3.37 1.89 266289152 true 8.43   5.27   329764864
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c timeout 909    885    5630562304 timeout 960      920      5690867712
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 902    895    514285568 false(unreach-call) 7.87   4.75   311496704
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c true 3.47 1.95 263008256 true 7.13   4.62   314822656
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c timeout 905    888    4173590528 true 34.0    20.0    1327677440
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c true 3.49 1.98 264810496 true 7.75   4.43   314085376
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c true 3.55 1.97 265850880 true 10.8    6.28   342786048
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c true 3.48 1.93 262254592 true 7.77   4.93   313532416
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c timeout 905    885    6570209280 timeout 960      794      4720812032
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c true 3.26 1.84 260808704 true 7.07   4.45   311676928
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c true 3.75 2.06 259624960 true 7.93   4.97   322953216
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout 902    896    557928448 timeout 960      794      1889329152
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c true 3.82 2.13 275365888 true 11.8    7.08   413491200
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c timeout 908    883    5299691520 error (2) .0306 .0312 5521408
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c true 3.49 1.99 266706944 true 8.70   5.46   316432384
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c true 3.25 1.85 259735552 true 8.33   5.06   318947328
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true 3.48 1.93 262352896 true 7.16   4.68   312733696
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c true 111    103    1011130368 true 8.76   5.07   327925760
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c true 3.30 1.84 260268032 true 7.28   4.22   309379072
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c true 3.50 1.97 264982528 true 8.99   5.65   328531968
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c true 3.55 1.96 262455296 true 7.30   4.19   313888768
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c true 3.55 1.99 261373952 true 7.37   4.70   312438784
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c timeout 907    888    5162106880 true 29.9    16.8    1584828416
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c true 5.18 2.83 273960960 true 11.0    6.36   360341504
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c true 3.40 1.89 259051520 true 8.11   5.11   314679296
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c true 3.47 1.96 262434816 true 7.62   4.40   321404928
termination-crafted-lit/aviad_true-termination_true-no-overflow.c timeout 905    885    8007720960 timeout 961      818      6302093312
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c true 3.99 2.45 303300608 true 8.02   4.64   315133952
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c true 4.14 2.44 305610752 true 8.26   5.24   315269120
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c true 3.64 2.04 273190912 true 7.78   4.91   315064320
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c true 3.94 2.34 306212864 true 7.29   4.60   314318848
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c true 3.89 2.36 297553920 true 8.72   4.92   321744896
termination-crafted-lit/genady_true-termination_true-no-overflow.c timeout 906    887    4468600832 timeout 961      906      5797171200
termination-crafted-lit/strchr_true-no-overflow_true-termination.c true 3.67 2.08 276320256 true 8.51   4.78   319561728
termination-numeric/Addition01_false-no-overflow.c false(no-overflow) 3.59 2.00 273129472 false(no-overflow) 7.21   4.57   310960128
termination-numeric/Avg_true_false-no-overflow.c false(no-overflow) 3.29 1.86 265412608 false(no-overflow) 7.58   4.45   313921536
termination-numeric/Binomial_true-termination_false-no-overflow.c timeout 902    895    1388978176 timeout 960      938      988119040
termination-numeric/Et1_true_false-no-overflow.c false(no-overflow) 3.45 1.89 258502656 false(no-overflow) 7.84   4.43   315576320
termination-numeric/Et2_true_false-no-overflow.c false(no-overflow) 3.31 1.86 263245824 false(no-overflow) 7.67   4.42   315432960
termination-numeric/Et3_true_false-no-overflow.c false(no-overflow) 3.37 1.87 261124096 false(no-overflow) 7.64   4.86   312848384
termination-numeric/Et4_true_false-no-overflow.c false(no-overflow) 3.47 1.93 261263360 false(no-overflow) 7.37   4.66   317566976
termination-numeric/MultCommutative_false-no-overflow.c error 8.42 5.02 309972992 false(no-overflow) 12.5    7.29   444338176
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c timeout 901    895    1302749184 error (2) .0267 .0277 5537792
termination-numeric/Ackermann01_true-termination_true-no-overflow.c timeout 907    886    3722948608 timeout 962      767      10299633664
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c timeout 907    883    3066769408 true 14.1    8.83   479363072
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c true 6.40 3.66 294760448 timeout 961      899      5511380992
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c true 3.81 2.14 275296256 true 8.55   5.22   321351680
termination-numeric/LogRecursive_true-termination_true-no-overflow.c timeout 902    883    1496887296 timeout 960      954      554328064
termination-numeric/Parts_true-termination_true-no-overflow.c timeout 905    888    3035648000 timeout 961      792      4847169536
termination-numeric/TwoWay_true-termination_true-no-overflow.c timeout 901    899    604430336 true 15.9    10.8    476196864
termination-numeric/gcd01_true-termination_true-no-overflow.c true 3.97 2.23 276807680 true 8.26   5.23   316289024
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true 21.8  13.0  553168896 timeout 960      956      686915584
termination-numeric/recHanoi02_true-termination_true-no-overflow.c timeout 901    880    3977355264 error (2) .0264 .0272 5586944
termination-numeric/rec_counter1_true-termination_true-no-overflow.c timeout 901    876    3914960896 error (2) .0257 .0263 5599232
termination-numeric/rec_counter3_true-termination_true-no-overflow.c timeout 908    885    4956225536 timeout 960      799      4548014080
termination-numeric/twisted_true-termination_true-no-overflow.c timeout 901    883    7501942784 false(unreach-call) 11.5    7.19   410697728
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i timeout 902    891    1651159040 unknown 8.61   4.79   314458112
busybox-1.22.0/chroot-incomplete_false-no-overflow.i timeout 902    890    1353515008 unknown 8.32   4.78   300036096
busybox-1.22.0/cut_false-no-overflow.i timeout 909    888    6308372480 unknown 12.7    8.64   479068160
busybox-1.22.0/date_false-no-overflow.i timeout 905    883    3492413440 unknown 12.3    7.90   409616384
busybox-1.22.0/du_false-no-overflow.i timeout 905    883    2747633664 unknown 11.1    6.91   382414848
busybox-1.22.0/echo_false-no-overflow.i timeout 960    941    3287547904 error (2) .0442 .0451 5554176
busybox-1.22.0/expand_false-no-overflow.i timeout 907    885    5387120640 unknown 12.5    8.24   465117184
busybox-1.22.0/fold_false-no-overflow.i timeout 902    883    798457856 error (7) 6.51   3.70   275378176
busybox-1.22.0/head_false-no-overflow.i timeout 902    890    1139654656 unknown 8.15   4.64   300859392
busybox-1.22.0/logname_false-no-overflow.i timeout 902    891    1300414464 unknown 7.97   4.60   302678016
busybox-1.22.0/ls-incomplete_false-no-overflow.i timeout 904    885    2902327296 error (7) 12.9    7.73   408252416
busybox-1.22.0/mkdir_false-no-overflow.i timeout 906    884    6767169536 unknown 13.0    8.80   481185792
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i false(no-overflow) 75.5  64.8  703893504 unknown 7.73   4.51   300777472
busybox-1.22.0/od_false-no-overflow.i timeout 906    883    6633652224 unknown 14.2    9.28   498851840
busybox-1.22.0/printf_false-no-overflow.i timeout 902    891    1154871296 unknown 8.76   5.00   302317568
busybox-1.22.0/readlink_false-no-overflow.i timeout 906    881    6431047680 unknown 13.3    8.53   474537984
busybox-1.22.0/realpath_false-no-overflow.i timeout 902    892    1313411072 unknown 7.77   4.45   306823168
busybox-1.22.0/rm_false-no-overflow.i timeout 905    883    6519885824 unknown 12.9    8.66   491126784
busybox-1.22.0/seq_false-no-overflow.i timeout 905    882    6649610240 unknown 12.4    8.30   477007872
busybox-1.22.0/sleep_false-no-overflow.i unknown 7.52 4.03 306806784 unknown 8.27   4.72   300408832
busybox-1.22.0/stty_false-no-overflow.i timeout 904    885    2025517056 unknown 10.1    5.73   332886016
busybox-1.22.0/sync_false-no-overflow.i unknown 60.2  51.0  589225984 unknown 7.60   4.33   295497728
busybox-1.22.0/tac_false-no-overflow.i timeout 905    882    6592802816 unknown 12.3    8.52   475217920
busybox-1.22.0/tee_false-no-overflow.i timeout 905    883    2991357952 unknown 11.0    7.11   387596288
busybox-1.22.0/test-incomplete_false-no-overflow.i exception 35.0  27.7  535900160 error (2) .0325 .0341 5619712
busybox-1.22.0/touch_false-no-overflow.i timeout 905    883    6572560384 unknown 13.0    8.81   485339136
busybox-1.22.0/uname_false-no-overflow.i timeout 905    881    6310731776 unknown 12.3    8.17   473128960
busybox-1.22.0/uniq_false-no-overflow.i timeout 907    884    5010317312 unknown 12.0    7.98   453718016
busybox-1.22.0/usleep_false-no-overflow.i timeout 902    891    1310404608 unknown 8.01   4.67   297648128
busybox-1.22.0/uudecode_false-no-overflow.i error (parsing failed) 3.23 1.73 199626752 error (2) .0197 .0200 5611520
busybox-1.22.0/wc_false-no-overflow.i timeout 905    883    6027956224 unknown 12.8    8.51   486612992
busybox-1.22.0/who_false-no-overflow.i timeout 903    881    6485790720 unknown 8.68   5.03   303968256
busybox-1.22.0/whoami-incomplete_false-no-overflow.i timeout 902    890    1015902208 unknown 8.40   4.87   298725376
busybox-1.22.0/yes_false-no-overflow.i timeout 902    892    1215791104 unknown 8.47   4.76   297971712
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 902    891    994291712 error (7) 205      177      2918526976
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i unknown 110    100    704425984 unknown 8.28   4.67   304709632
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i timeout 902    890    1303990272 unknown 8.06   4.57   308375552
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 905    881    6436675584 unknown 12.7    8.57   479985664
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 905    882    3396853760 unknown 11.6    7.30   409137152
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i timeout 902    883    4542099456 error (7) 163      135      3130974208
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i timeout 902    884    3097305088 unknown 8.87   5.16   301305856
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i timeout 960    942    2812776448 error (2) .0198 .0202 5619712
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 906    885    6422024192 unknown 12.7    8.40   480567296
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i timeout 902    885    934600704 error (7) 6.41   3.91   277397504
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i unknown 588    574    1029357568 unknown 8.65   4.95   317444096
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i out of memory 548    530    14999998464 error (2) .0281 .0289 5607424
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i unknown 246    235    833622016 unknown 7.92   4.51   299159552
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 903    884    2894630912 error (7) 9.63   5.63   314220544
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i timeout 905    882    6612738048 unknown 13.1    8.69   481865728
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i unknown 184    174    801820672 unknown 7.72   4.50   297435136
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 906    883    6536916992 unknown 14.1    9.32   498810880
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i out of memory 218    208    14999998464 error (2) .0245 .0251 5738496
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i timeout 905    882    6557237248 unknown 12.3    8.23   471977984
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i timeout 902    893    1346265088 unknown 7.75   4.47   302542848
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i timeout 906    884    6549991424 unknown 13.2    8.64   483135488
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i timeout 904    880    6236798976 unknown 9.91   6.21   351555584
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i unknown 7.85 4.16 318144512 unknown 8.45   4.80   303636480
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 904    887    2052775936 unknown 9.67   5.51   332939264
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i unknown 43.1  34.1  612642816 unknown 8.21   4.73   305807360
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i timeout 904    882    6515089408 unknown 8.44   4.95   296583168
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i timeout 902    882    3240120320 unknown 8.26   4.59   310722560
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i exception 34.1  25.9  542093312 error (2) .0238 .0245 5611520
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 904    882    6469464064 unknown 9.08   5.16   299184128
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i timeout 905    883    6584963072 unknown 12.6    8.46   474234880
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i timeout 904    883    6520401920 unknown 8.84   5.15   296984576
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i unknown 152    141    767315968 unknown 8.13   4.81   296534016
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i timeout 905    884    5989892096 unknown 13.2    8.69   488632320
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 905    884    6044958720 unknown 12.7    8.44   468189184
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i timeout 906    883    5005021184 unknown 12.1    8.31   443219968
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i out of memory 321    310    14999998464 error (2) .0227 .0233 5525504
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i timeout 902    893    1087553536 unknown 8.23   4.61   299257856
recursive/Addition02WithOverflowBug_false-no-overflow.c false(no-overflow) 3.60 1.96 273240064 false(no-overflow) 7.92   5.00   315822080
recursive/Addition03_false-no-overflow.c false(no-overflow) 3.55 1.99 269692928 false(no-overflow) 7.84   4.52   317222912
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c false(no-overflow) 3.64 2.00 259940352 false(no-overflow) 7.38   4.80   313831424
recursive/Ackermann01_true-unreach-call_true-no-overflow.c timeout 908    885    4548669440 timeout 961      737      11863683072
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c timeout 907    880    7055130624 timeout 961      738      11919364096
recursive/Ackermann03_true-unreach-call_true-no-overflow.c timeout 903    881    6513397760 timeout 961      735      11598647296
recursive/Ackermann04_true-unreach-call_true-no-overflow.c timeout 908    888    3285348352 timeout 962      737      11551744000
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c timeout 901    881    5724884992 error (2) .0325 .0332 5603328
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c timeout 901    885    2727985152 error (2) .0491 .0504 5533696
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c timeout 906    887    2163515392 timeout 960      800      2844397568
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c true 3.52 1.95 267730944 true 6.54   4.18   303124480
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c timeout 905    882    4096110592 true 13.9    8.39   511950848
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c timeout 901    880    3707408384 error (2) .0501 .0523 5672960
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c true 6.39 3.57 293609472 timeout 961      899      5726244864
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c true 699    687    796741632 true 31.5    19.5    996216832
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c true 6.06 3.39 290676736 timeout 961      898      5536235520
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c true 6.87 3.99 296951808 timeout 961      903      5603921920
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c true 7.08 4.03 295399424 timeout 961      906      5304573952
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c true 4.23 2.31 274542592 true 9.92   6.17   348712960
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c true 4.06 2.24 273346560 true 9.37   5.84   333889536
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c error 6.42 3.81 292675584 timeout 961      816      1429315584
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c error 11.9  7.31 407826432 timeout 961      811      1743822848
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c true 4.15 2.35 281460736 true 8.70   5.35   318660608
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c true 4.66 2.60 283545600 true 14.8    9.59   724377600
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c timeout 901    881    6334902272 error (2) .0253 .0281 5562368
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c timeout 901    880    3949400064 error (2) .0305 .0319 5615616
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c timeout 908    885    4396851200 true 76.9    49.0    898043904
recursive-simple/id_b3_o2_false-no-overflow.c false(no-overflow) 3.49 1.96 269594624 false(no-overflow) 7.41   4.77   317132800
recursive-simple/id_b3_o5_false-no-overflow.c false(no-overflow) 3.75 2.11 273059840 false(no-overflow) 7.28   4.66   314576896
recursive-simple/id_b5_o10_false-no-overflow.c false(no-overflow) 3.56 1.98 271343616 false(no-overflow) 7.63   4.77   315133952
recursive-simple/sum_non_eq_false-no-overflow.c false(no-overflow) 3.48 1.97 267800576 false(no-overflow) 7.85   4.51   314896384
recursive-simple/sum_non_false-no-overflow.c false(no-overflow) 3.55 1.99 272826368 false(no-overflow) 7.88   4.55   315289600
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 3.41 1.91 268574720 true 6.73   3.92   304652288
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 3.63 2.02 269557760 true 7.13   4.48   313729024
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 3.68 2.01 268214272 true 7.06   4.55   311414784
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 3.64 2.02 270938112 true 6.70   4.34   306696192
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 3.48 1.93 270217216 true 6.68   3.86   304799744
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 4.47 2.50 282439680 true 9.02   5.49   321773568
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 4.46 2.49 285122560 true 9.14   5.21   326332416
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 5.52 3.15 286158848 true 8.80   5.46   321806336
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c true 3.59 1.98 262778880 true 6.42   4.14   300793856
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c true 3.53 1.96 268623872 true 6.64   4.23   298889216
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c true 3.48 1.96 268652544 true 6.43   3.75   295837696
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c true 3.23 1.85 263245824 true 6.47   4.11   302915584
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c true 3.72 2.08 263389184 true 6.90   4.39   305111040
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c true 3.52 1.95 268800000 true 6.69   4.20   301142016
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c true 3.56 1.98 271020032 true 6.66   4.16   302989312
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c true 3.45 1.94 268627968 true 6.62   4.22   308920320
bitvector/byte_add_1_false-no-overflow.i false(no-overflow) 6.94 3.72 304271360 error 22.3    12.5    646897664
bitvector/byte_add_2_false-no-overflow.i false(no-overflow) 7.68 4.21 318287872 error 26.3    15.2    556675072
bitvector/byte_add_false-no-overflow.i false(no-overflow) 9.24 5.02 335867904 error 21.7    12.8    676892672
bitvector/jain_1_false-no-overflow.i false(no-overflow) 3.75 2.21 296751104 false(no-overflow) 7.12   4.48   310181888
bitvector/jain_2_false-no-overflow.i false(no-overflow) 3.87 2.27 293261312 false(no-overflow) 7.32   4.66   313978880
bitvector/jain_4_false-no-overflow.i false(no-overflow) 3.80 2.23 299257856 false(no-overflow) 7.37   4.71   310562816
bitvector/jain_5_false-no-overflow.i timeout 905    888    3777871872 timeout 961      805      3126198272
bitvector/jain_6_false-no-overflow.i false(no-overflow) 3.93 2.32 298500096 false(no-overflow) 7.29   4.58   310427648
bitvector/jain_7_false-no-overflow.i false(no-overflow) 3.66 2.16 297414656 false(no-overflow) 7.27   4.23   321527808
bitvector/modulus_false-no-overflow.i false(no-overflow) 3.38 1.89 262860800 error 7.86   4.74   322359296
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i true 4.26 2.35 271556608 true 8.70   4.94   319635456
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i true 4.15 2.29 270589952 true 8.03   5.01   314994688
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i true 4.10 2.28 270745600 true 8.41   5.15   313585664
bitvector/gcd_1_true-unreach-call_true-no-overflow.i true 3.54 1.97 269041664 true 8.24   5.21   320561152
bitvector/gcd_2_true-unreach-call_true-no-overflow.i true 3.51 1.98 266960896 true 7.90   4.56   314728448
bitvector/gcd_3_true-unreach-call_true-no-overflow.i true 3.51 1.97 264744960 true 8.04   5.05   315326464
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i true 4.69 2.60 281665536 true 16.0    10.4    475205632
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i true 3.65 2.02 261349376 true 7.22   4.46   312565760
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i true 3.42 1.92 263270400 true 6.56   3.77   304185344
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i true 3.33 1.86 258695168 true 6.60   4.17   303771648
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i true 3.30 1.86 260636672 true 6.74   4.27   312094720
bitvector/jain_5_true-unreach-call_true-no-overflow.i true 3.25 1.81 262193152 true 6.51   3.83   296947712
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i true 3.33 1.86 256602112 true 6.72   4.31   301522944
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i true 3.29 1.84 262893568 true 6.98   3.97   307249152
bitvector/modulus_true-unreach-call_true-no-overflow.i true 4.03 2.24 263163904 error 7.41   4.65   315015168
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i true 3.48 1.95 264310784 error 7.15   4.55   314560512
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i true 3.86 2.14 261513216 error 6.86   4.43   308236288
bitvector/parity_true-unreach-call_true-no-overflow.i true 3.44 1.93 263618560 true 7.35   4.25   312193024
bitvector/sum02_false-unreach-call_true-no-overflow.i true 3.28 1.84 258158592 true 6.60   4.18   295735296
bitvector/sum02_true-unreach-call_true-no-overflow.i true 3.48 1.95 262623232 true 6.50   4.16   299728896
psyco/psyco_abp_1_false-no-overflow.c timeout 936    910    7976390656 timeout 961      876      6045736960
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 430 110000 107000 669762703360 430 36800 31100 319045156864
    correct results 295 2420 1880 83477782528 295 2680 1640 109170278400
        correct true 130 1540 1280 37856014336 133 1490 915 58330664960
        correct false 165 874 595 45621768192 162 1190 729 50839613440
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (430 tasks, max score: 649) 425 428
Run set cpaseq--overflows.cpaseq ultimateautomizer-cpaseq--overflows-validation.witnessValidation