Tool ULTIMATE Automizer 0.1.24-91b1670e 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 ultimateautomizer--overflows.ultimateautomizer cpaw2t-ultimateautomizer--overflows-validation.witnessValidation
Options --full-output -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/ultimateautomizer--overflows.logfiles/ultimateautomizer.${inputfile_name}.files/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 7.25 4.50 302010368 4.18  2.36  272654336
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i 7.79 4.43 317517824 3.81  2.21  245563392
signedintegeroverflow-regression/Division_false-no-overflow.c.i 7.59 4.70 311812096 4.01  2.34  254459904
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i 7.93 4.40 315248640 3.80  2.21  246435840
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i 6.89 4.02 314212352 3.87  2.24  253751296
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i 8.00 4.92 317202432 4.07  2.36  255492096
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i 7.55 4.68 313450496 4.04  2.35  253034496
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i 7.84 4.88 320315392 3.86  2.26  252669952
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i 7.07 4.45 313667584 4.03  2.35  254390272
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i 7.43 4.57 312582144 4.04  2.35  252043264
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i 7.94 4.53 317767680 .964 .606 48414720
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i 7.92 4.88 317415424 .980 .640 48480256
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i 9.22 5.58 310988800 .986 .633 49135616
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i 7.34 4.52 308932608 .967 .635 50135040
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i 7.25 4.48 305848320 .991 .654 50532352
termination-crafted/2Nested_false-no-overflow.c 6.83 3.95 307433472 3.47  2.07  246079488
termination-crafted/4NestedWith3Variables_false-no-overflow.c 7.51 4.27 314806272 3.45  2.06  246960128
termination-crafted/Ackermann_false-no-overflow.c 8.27 4.72 315523072 3.56  2.12  248434688
termination-crafted/Bangalore_false-no-overflow.c 6.80 4.39 307937280 3.61  2.15  243429376
termination-crafted/Bangalore_v3_false-no-overflow.c 6.42 4.16 298684416 3.54  2.11  245788672
termination-crafted/Benghazi_nondet_false-no-overflow.c 6.91 4.35 312913920 3.56  2.15  248233984
termination-crafted/Binary_Search_false-no-overflow.c 7.33 4.68 308944896 3.55  2.10  245321728
termination-crafted/Cairo_nondet_false-no-overflow.c 7.55 4.34 313741312 3.46  2.10  244957184
termination-crafted/Cairo_step2_false-no-overflow.c 961    800    1702035456 .921 .585 48029696
termination-crafted/Collatz_unknown-termination_false-no-overflow.c 7.86 4.48 317620224 3.33  1.97  242208768
termination-crafted/Copenhagen_disj_false-no-overflow.c 7.61 4.28 320282624 3.53  2.08  247734272
termination-crafted/Gothenburg_false-no-overflow.c 7.25 4.60 313327616 3.46  2.08  245080064
termination-crafted/Gothenburg_v2_false-no-overflow.c 7.02 4.52 313040896 3.62  2.14  245379072
termination-crafted/Hanoi_2vars_false-no-overflow.c 6.69 4.27 306978816 3.54  2.11  245755904
termination-crafted/Hanoi_3vars_false-no-overflow.c 6.99 4.09 313552896 3.55  2.11  242647040
termination-crafted/Hanoi_plus_false-no-overflow.c 7.73 4.58 319090688 3.59  2.12  247365632
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c 7.22 4.57 317116416 3.41  2.03  245755904
termination-crafted/Mysore_false-no-overflow.c 7.46 4.72 315277312 3.54  2.12  246677504
termination-crafted/NestedRecursion_1a_false-no-overflow.c 7.05 4.53 319553536 3.55  2.11  249290752
termination-crafted/NestedRecursion_2a_false-no-overflow.c 7.35 4.69 314707968 3.50  2.10  246587392
termination-crafted/NonTermination1_false-no-overflow.c 6.85 4.40 304799744 3.53  2.06  245317632
termination-crafted/NonTermination2_false-no-overflow.c 6.87 3.93 303230976 3.62  2.13  246853632
termination-crafted/NonTermination4_false-no-overflow.c 39.4  24.4  687505408 4.00  2.27  256036864
termination-crafted/NonTerminationSimple2_false-no-overflow.c 6.60 4.26 298315776 3.47  2.10  247373824
termination-crafted/NonTerminationSimple3_false-no-overflow.c 6.92 4.56 305377280 3.59  2.11  246120448
termination-crafted/NonTerminationSimple4_false-no-overflow.c 960    792    1600593920 .931 .612 47206400
termination-crafted/NonTerminationSimple5_false-no-overflow.c 7.16 4.54 313360384 3.57  2.10  247873536
termination-crafted/NonTerminationSimple6_false-no-overflow.c 6.93 4.35 305119232 3.51  2.02  244846592
termination-crafted/NonTerminationSimple8_false-no-overflow.c 6.76 4.41 311410688 3.62  2.14  246951936
termination-crafted/NonTerminationSimple9_false-no-overflow.c 7.11 4.47 303656960 3.56  2.12  251727872
termination-crafted/Pure2Phase_false-no-overflow.c 7.25 4.65 313425920 3.66  2.18  247816192
termination-crafted/Pure3Phase_false-no-overflow.c 6.84 4.40 312782848 3.55  2.10  245518336
termination-crafted/RecursiveMultiplication_false-no-overflow.c 7.33 4.21 317014016 3.54  2.12  248111104
termination-crafted/RecursiveNonterminating_false-no-overflow.c 7.05 4.44 312606720 3.46  2.06  244822016
termination-crafted/Rotation180_false-no-overflow.c 6.66 4.28 300617728 3.62  2.15  245141504
termination-crafted/Singapore_false-no-overflow.c 6.96 4.00 303534080 3.59  2.14  243941376
termination-crafted/Singapore_plus_false-no-overflow.c 6.79 4.38 307212288 3.59  2.09  245587968
termination-crafted/Singapore_v1_false-no-overflow.c 6.62 4.33 306937856 3.47  2.07  247992320
termination-crafted/Singapore_v2_false-no-overflow.c 7.18 4.13 310800384 3.48  2.07  248074240
termination-crafted/Stockholm_false-no-overflow.c 7.35 4.17 310788096 3.75  2.20  246435840
termination-crafted/Thun_false-no-overflow.c 7.50 4.14 312356864 3.48  2.06  246239232
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c 7.59 4.82 321830912 3.49  2.07  247529472
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c 18.6  11.7  569946112 3.79  2.21  244797440
termination-crafted/aaron2_false-no-overflow.c 7.36 4.73 311201792 3.61  2.16  247681024
termination-crafted/aaron3_false-no-overflow.c 7.03 4.44 314056704 3.56  2.11  246996992
termination-crafted/easy2_false-no-overflow.c 961    800    4191453184 .924 .587 47587328
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 6.92 4.37 311316480 .997 .656 49061888
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 35.7  22.3  587161600 1.02  .677 49672192
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c 8.39 4.67 321863680 .999 .649 49307648
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 10.2  6.32 357695488 .988 .646 50552832
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 8.49 5.30 315908096 .988 .667 49315840
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 8.00 4.99 327434240 .975 .639 48910336
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 7.81 4.92 327217152 .936 .612 48943104
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 94.8  77.3  641736704 .992 .647 49033216
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 6.55 4.25 302911488 1.01  .654 48959488
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 7.81 4.94 318103552 .970 .633 48922624
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 7.58 4.71 316182528 .987 .654 50262016
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 9.17 5.24 321404928 .962 .638 48967680
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 7.34 4.64 312823808 1.03  .641 50798592
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 961    914    941940736 .881 .578 46190592
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c 961    914    1034072064 .909 .584 46567424
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 6.16 4.06 295624704 .963 .609 48955392
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 961    844    2902831104 .902 .601 45912064
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 10.2  6.36 352014336 .967 .622 49369088
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 13.1  8.21 462671872 1.03  .656 50225152
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 11.5  7.13 445992960 1.01  .647 50339840
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 25.0  15.3  641949696 1.01  .654 49496064
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 17.2  9.87 527880192 1.00  .647 52064256
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 14.2  8.47 467607552 .986 .632 48930816
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 18.4  10.9  477077504 .999 .632 49393664
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 19.5  11.4  467226624 1.04  .697 50159616
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 22.5  13.5  605036544 .984 .643 50229248
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 7.75 4.48 320094208 .988 .627 48918528
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 8.29 5.24 316964864 .973 .649 48734208
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 7.93 4.98 319746048 .960 .630 48218112
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 7.84 4.50 312094720 .931 .596 48701440
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 8.04 4.99 315297792 .960 .614 49061888
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 7.75 4.43 314691584 1.01  .652 49344512
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 8.97 5.12 322383872 1.01  .654 50597888
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 7.27 4.63 310382592 .957 .610 48791552
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 6.56 3.82 300589056 .929 .600 48353280
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 6.72 4.29 303841280 .934 .611 48562176
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 7.36 4.67 314458112 1.01  .656 48943104
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 961    804    3571482624 .914 .600 47017984
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c 7.09 4.53 315592704 3.83  2.56  247181312
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c 8.23 4.71 320712704 3.53  2.08  249044992
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c 7.23 4.21 312250368 3.46  2.06  247308288
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c 6.84 4.40 302596096 3.64  2.13  246988800
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c 9.35 5.67 319279104 3.55  2.12  248434688
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c 9.35 5.30 311857152 3.73  2.19  244682752
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c 7.67 4.92 313708544 3.58  2.10  245657600
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c 961    801    3815657472 .951 .631 46899200
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c 8.72 4.96 318533632 3.66  2.15  247779328
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c 7.17 4.56 313004032 3.60  2.12  245981184
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c 960    784    1976758272 .884 .590 46657536
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c 962    799    8082796544 .961 .633 47775744
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c 7.04 4.01 311468032 3.55  2.10  246902784
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c 6.87 4.35 309440512 3.70  2.16  246779904
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c 7.05 4.53 311296000 3.47  2.10  243089408
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c 7.83 4.88 315506688 3.53  2.12  245547008
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c 7.65 4.88 315748352 3.55  2.11  243896320
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c 6.74 3.99 321826816 3.65  2.15  248647680
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c 7.10 4.05 310505472 3.57  2.10  245338112
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c 7.19 4.50 313765888 3.60  2.11  245432320
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c 6.87 4.39 310599680 3.56  2.14  246546432
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c 6.95 4.52 311685120 3.68  2.20  246734848
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c 7.02 4.47 314130432 3.49  2.11  245739520
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c 7.18 4.62 314085376 3.48  2.04  244654080
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c 6.99 4.48 306860032 3.65  2.17  248037376
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c 7.26 4.65 316530688 3.64  2.16  246599680
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c 6.81 4.25 303964160 3.45  2.06  240594944
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c 6.80 4.36 306892800 3.50  2.11  244260864
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c 8.86 4.92 305885184 3.47  2.08  244051968
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c 7.39 4.21 316538880 3.56  2.12  245755904
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c 6.82 4.27 305315840 3.61  2.16  246349824
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c 6.36 3.72 296845312 3.66  2.12  246153216
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c 6.74 4.33 305377280 3.55  2.06  243867648
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c 7.14 4.56 317218816 3.60  2.15  249032704
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c 8.18 4.95 304463872 3.48  2.09  247881728
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c 6.96 3.99 300998656 3.54  2.08  244977664
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c 8.79 4.92 330358784 3.57  2.21  247427072
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c 7.58 4.33 314683392 3.56  2.07  244973568
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c 7.01 4.52 308830208 3.59  2.17  247332864
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c 7.03 4.46 311713792 3.36  2.03  240746496
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c 7.42 4.24 315813888 3.45  2.06  246747136
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c 6.87 4.34 306556928 3.53  2.13  246939648
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c 6.74 4.33 311828480 3.49  2.08  244830208
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c 6.92 4.41 312393728 3.49  2.10  245760000
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c 6.77 4.34 307650560 3.65  2.13  246497280
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c 6.96 4.38 308142080 3.58  2.14  245858304
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c 8.36 4.71 310067200 3.73  2.18  246095872
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c 7.33 4.16 312000512 3.36  2.01  244023296
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c 7.06 4.56 316538880 3.63  2.14  245276672
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c 6.65 4.23 324521984 3.52  2.10  246816768
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c 6.85 3.94 313913344 3.69  2.17  246665216
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c 7.25 4.14 310706176 3.55  2.15  247762944
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c 7.87 4.48 313032704 3.55  2.11  241893376
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c 7.35 4.66 317685760 3.49  2.20  244060160
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c 6.79 4.34 309895168 3.58  2.16  247046144
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c 6.81 4.36 308666368 3.61  2.12  246439936
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c 6.86 4.32 314384384 3.61  2.16  246493184
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c 6.57 4.27 307412992 3.63  2.14  246960128
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c 6.55 3.82 309084160 3.50  2.08  245395456
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c 6.83 4.36 308338688 3.56  2.14  249987072
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c 7.61 4.75 315019264 3.71  2.18  248934400
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c 6.92 4.00 300216320 3.63  2.16  248008704
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c 7.49 4.70 312037376 3.59  2.12  246706176
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c 6.59 4.20 311435264 3.62  2.16  244420608
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c 7.39 4.29 314638336 3.59  2.11  247701504
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c 9.69 5.60 330616832 3.76  2.23  248164352
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c 7.57 4.58 311840768 3.46  2.06  243486720
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c 11.0  6.88 391319552 3.62  2.15  244649984
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c 8.39 4.76 303308800 3.51  2.09  242892800
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c 6.60 4.27 308879360 3.62  2.13  244662272
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c 10.5  6.32 318099456 3.62  2.06  246214656
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c 7.86 4.98 314769408 3.68  2.17  248180736
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c 6.74 4.39 311033856 3.62  2.17  248127488
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c 6.93 4.49 308473856 3.63  2.15  245166080
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c 6.74 4.39 313597952 3.52  2.11  246415360
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c 7.40 4.69 315469824 3.52  2.11  246784000
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c 7.16 4.07 313786368 3.56  2.09  246837248
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c 8.37 5.06 307437568 3.56  2.12  243249152
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c 6.60 4.28 307949568 3.48  2.10  245473280
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c 6.71 4.33 310853632 3.77  2.55  244334592
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c 6.60 4.25 308723712 3.58  2.15  247738368
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c 7.35 4.22 308064256 3.69  2.19  244908032
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c 6.77 4.30 310775808 3.63  2.11  249294848
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c 8.03 4.58 316387328 3.70  2.21  245010432
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c 8.20 5.13 317263872 3.66  2.17  246321152
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c 8.02 5.08 317394944 3.51  2.12  247111680
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c 7.68 4.94 319217664 3.55  2.08  247119872
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c 6.85 3.95 309411840 3.66  2.16  245116928
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c 7.05 4.56 320446464 3.42  2.05  243527680
termination-crafted-lit/cstrncmp_false-no-overflow.c 8.77 4.99 317399040 3.99  2.33  252571648
termination-crafted-lit/gcd1_false-no-overflow.c 7.15 4.57 316059648 3.70  2.16  247046144
termination-crafted-lit/joey_false-no-overflow.c 8.39 5.25 315559936 3.57  2.14  246878208
termination-crafted-lit/min_rf_false-no-overflow.c 7.17 4.63 310968320 3.58  2.12  244600832
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c 961    849    2265800704 .885 .579 46268416
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c 9.40 5.79 324825088 .959 .620 50421760
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c 8.30 5.07 316678144 .972 .620 50053120
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c 961    802    3828826112 .875 .573 46022656
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c 8.64 4.98 321634304 1.00  .644 49827840
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c 21.3  12.7  562196480 .999 .630 49250304
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c 961    830    4540596224 .975 .630 48005120
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c 206    165    5019885568 1.01  .641 50229248
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c 9.26 5.69 331988992 .962 .636 49250304
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c 9.93 5.83 363536384 .969 .627 48791552
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c 8.75 5.48 321265664 1.03  .650 49967104
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c 8.13 4.67 319385600 .982 .648 51003392
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c 7.48 4.80 314077184 .992 .635 48656384
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c 11.2  6.39 382840832 .971 .626 48906240
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c 961    823    2246737920 .927 .608 46829568
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c 13.8  8.45 475586560 1.02  .645 50597888
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c 11.3  6.72 433672192 1.02  .659 50716672
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c 9.86 5.66 331255808 .994 .676 49254400
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c 961    881    4685385728 .953 .633 47661056
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c 13.9  8.52 464543744 .971 .606 48754688
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c 9.31 5.25 313061376 .957 .614 48721920
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c 961    800    3874320384 .888 .585 45944832
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c 961    797    8110010368 .896 .599 46612480
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c 206    166    4912627712 1.04  .679 49827840
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c 6.78 4.37 307974144 .961 .620 49655808
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c 9.29 5.24 317472768 1.03  .661 51716096
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c 8.13 5.11 320966656 .978 .629 51228672
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c 7.53 4.78 315617280 1.03  .661 51961856
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c 8.40 4.74 315637760 .975 .635 49557504
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c 8.03 4.67 316112896 1.02  .654 49963008
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c 8.80 5.45 316874752 1.03  .665 49704960
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c 8.90 5.07 315256832 .970 .636 49573888
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c 8.33 5.24 328036352 .967 .613 48574464
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c 160    108    1998475264 1.04  .671 49250304
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c 961    834    3471908864 .890 .579 46206976
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c 8.65 4.82 324435968 1.01  .655 51159040
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c 11.6  6.88 448233472 .990 .646 49688576
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c 7.69 4.81 317403136 .969 .631 48779264
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c 8.91 5.46 320028672 .971 .627 49012736
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c 7.25 4.62 313339904 .996 .651 48844800
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c 961    795    4743610368 .899 .580 47026176
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c 7.03 4.42 311943168 .944 .628 48939008
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c 7.68 4.79 312217600 1.01  .652 52027392
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c 961    858    1620643840 .907 .579 46223360
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c 13.7  7.96 471072768 1.01  .632 48803840
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c 26.7  15.8  615944192 .965 .618 50409472
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c 7.98 5.09 315289600 .995 .667 50610176
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c 7.92 5.01 323026944 .966 .605 51167232
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c 7.11 4.16 321187840 .977 .618 50020352
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c 8.71 5.48 328024064 1.03  .667 49852416
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c 7.02 4.47 309780480 1.02  .661 50556928
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c 8.73 5.43 323313664 .966 .619 49250304
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c 7.72 4.42 317595648 .993 .630 49508352
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c 7.22 4.55 309821440 .999 .633 48885760
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c 8.32 5.26 321282048 .966 .608 48918528
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c 8.03 5.12 317763584 .985 .634 49651712
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c 8.66 5.00 320077824 1.02  .655 50429952
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c 8.37 4.76 315736064 .977 .624 50352128
termination-crafted-lit/aviad_true-termination_true-no-overflow.c 961    778    7896002560 .932 .590 47091712
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c 7.98 4.94 314429440 1.03  .675 50696192
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c 8.17 4.65 313131008 1.03  .650 51249152
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c 8.11 5.03 313946112 .995 .639 48738304
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c 7.82 4.92 315641856 1.06  .686 51892224
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c 8.19 5.14 317296640 1.01  .642 49582080
termination-crafted-lit/genady_true-termination_true-no-overflow.c 11.7  6.99 453607424 .995 .647 48910336
termination-crafted-lit/strchr_true-no-overflow_true-termination.c 8.71 5.18 316956672 1.03  .660 49369088
termination-numeric/Addition01_false-no-overflow.c 8.48 5.19 313679872 3.62  2.16  246464512
termination-numeric/Avg_true_false-no-overflow.c 7.08 4.50 311054336 3.71  2.18  247373824
termination-numeric/Binomial_true-termination_false-no-overflow.c 960    938    1013772288 .928 .596 47079424
termination-numeric/Et1_true_false-no-overflow.c 6.90 4.44 312377344 3.75  2.21  245497856
termination-numeric/Et2_true_false-no-overflow.c 6.93 4.43 311103488 3.59  2.15  245121024
termination-numeric/Et3_true_false-no-overflow.c 6.98 4.43 304394240 3.64  2.16  245940224
termination-numeric/Et4_true_false-no-overflow.c 7.39 4.22 310607872 3.67  2.20  247713792
termination-numeric/MultCommutative_false-no-overflow.c 12.7  7.43 454000640 3.92  2.29  253349888
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c 960    953    1162874880 .918 .610 46141440
termination-numeric/Ackermann01_true-termination_true-no-overflow.c 961    743    11642941440 .877 .568 45850624
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c 15.9  9.78 496590848 .954 .608 48676864
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c 961    894    5748764672 .887 .593 46252032
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c 10.5  5.95 316522496 .995 .653 48840704
termination-numeric/LogRecursive_true-termination_true-no-overflow.c 960    954    740270080 .941 .610 47161344
termination-numeric/Parts_true-termination_true-no-overflow.c 960    842    4727267328 .893 .600 46002176
termination-numeric/TwoWay_true-termination_true-no-overflow.c 15.8  10.8  466796544 1.02  .646 49201152
termination-numeric/gcd01_true-termination_true-no-overflow.c 8.88 5.59 317833216 .978 .624 48726016
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c 57.3  38.2  886394880 1.00  .653 49909760
termination-numeric/recHanoi02_true-termination_true-no-overflow.c 81.2  51.5  838074368 .966 .617 48922624
termination-numeric/rec_counter1_true-termination_true-no-overflow.c 960    798    4655951872 .876 .576 45993984
termination-numeric/rec_counter3_true-termination_true-no-overflow.c 960    798    4600963072 .900 .582 46174208
termination-numeric/twisted_true-termination_true-no-overflow.c 961    865    1188532224 .887 .582 46206976
recursive/Addition02WithOverflowBug_false-no-overflow.c 6.98 4.53 312344576 3.52  2.12  245624832
recursive/Addition03_false-no-overflow.c 7.42 4.26 310992896 3.74  2.18  248295424
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c 7.80 4.50 318623744 3.68  2.17  246218752
recursive/Ackermann01_true-unreach-call_true-no-overflow.c 961    740    11290497024 .904 .591 45977600
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c 961    741    11563253760 .897 .581 46358528
recursive/Ackermann03_true-unreach-call_true-no-overflow.c 961    739    11653304320 .934 .624 47054848
recursive/Ackermann04_true-unreach-call_true-no-overflow.c 961    762    10594525184 .952 .641 46628864
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c 960    799    3166990336 .924 .597 46428160
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c 961    797    3523866624 .918 .603 46272512
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c 961    862    2581999616 .901 .595 46067712
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c 7.00 4.43 307965952 .991 .655 49786880
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c 15.1  9.47 504053760 1.03  .647 49950720
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c 15.0  9.38 460005376 .994 .654 49188864
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c 961    902    5425438720 .924 .612 47640576
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c 38.4  23.6  1090076672 .994 .628 49410048
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c 961    906    5373149184 .912 .597 46579712
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c 961    895    5436157952 .883 .565 46059520
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c 961    894    5469782016 .900 .596 46366720
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c 11.4  6.54 349859840 .997 .645 49229824
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c 10.2  6.28 354922496 1.04  .658 50225152
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c 961    809    1570394112 .959 .635 47382528
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c 961    813    1840680960 .938 .628 47656960
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c 8.74 5.52 318562304 .980 .626 48615424
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c 20.1  12.4  560066560 .988 .630 49266688
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c 961    858    4680536064 .917 .602 47624192
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c 90.0  57.2  1048395776 .953 .631 50044928
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c 84.1  52.9  981073920 .961 .619 48852992
recursive-simple/id_b3_o2_false-no-overflow.c 7.65 4.86 315043840 3.61  2.13  243822592
recursive-simple/id_b3_o5_false-no-overflow.c 8.33 4.69 319635456 3.54  2.07  246259712
recursive-simple/id_b5_o10_false-no-overflow.c 7.67 4.74 316764160 3.47  2.10  248754176
recursive-simple/sum_non_eq_false-no-overflow.c 7.32 4.24 318033920 3.60  2.16  247525376
recursive-simple/sum_non_false-no-overflow.c 8.75 5.47 319934464 3.58  2.11  243851264
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c 6.96 4.51 310386688 .991 .645 49389568
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c 7.75 4.29 317669376 .955 .617 48615424
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c 6.94 3.99 311365632 1.02  .675 49786880
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c 7.27 4.50 315314176 1.03  .670 49758208
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c 6.85 4.36 305913856 .989 .648 48562176
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c 8.89 5.58 324628480 .961 .615 48746496
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c 8.81 5.49 332193792 .956 .618 48943104
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c 9.62 5.45 317186048 .977 .623 50376704
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c 6.39 4.12 305590272 .996 .655 49324032
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c 7.11 4.54 321642496 1.02  .674 50671616
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c 6.34 3.77 300326912 .960 .610 48603136
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c 7.56 4.23 312971264 .947 .605 48676864
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c 6.47 4.18 307208192 .962 .644 48488448
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c 6.78 3.90 302063616 .994 .655 50257920
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c 7.50 4.76 315428864 .937 .622 48861184
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c 7.13 4.55 319090688 .971 .621 49131520
bitvector/byte_add_1_false-no-overflow.i 34.4  20.9  655429632 .874 .568 47017984
bitvector/byte_add_2_false-no-overflow.i 32.6  19.7  677273600 .892 .582 46583808
bitvector/byte_add_false-no-overflow.i 44.7  30.1  692555776 .895 .606 46075904
bitvector/jain_1_false-no-overflow.i 6.60 4.30 309424128 3.58  2.23  244994048
bitvector/jain_2_false-no-overflow.i 6.85 4.32 309161984 3.77  2.21  245690368
bitvector/jain_4_false-no-overflow.i 6.82 4.38 312123392 3.76  2.25  250904576
bitvector/jain_5_false-no-overflow.i 961    806    3173036032 .937 .607 47034368
bitvector/jain_6_false-no-overflow.i 7.40 4.67 314216448 3.68  2.19  248385536
bitvector/jain_7_false-no-overflow.i 7.60 4.31 316018688 3.53  2.12  247394304
bitvector/modulus_false-no-overflow.i 7.08 4.51 309747712 .915 .593 47067136
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 8.20 4.72 316575744 1.08  .695 52731904
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 8.04 5.02 317890560 1.08  .676 50991104
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 10.7  6.09 320561152 1.03  .668 49565696
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 8.14 5.13 321769472 1.05  .671 50290688
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 8.90 5.19 313794560 1.01  .650 49229824
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 8.27 5.19 315711488 .973 .631 49291264
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 17.1  10.9  476200960 .955 .626 48754688
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 8.66 4.86 317505536 .949 .653 48955392
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 7.24 4.12 307896320 .984 .644 49262592
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 7.16 4.09 307896320 .992 .631 48369664
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 7.06 4.49 308723712 1.01  .643 48918528
bitvector/jain_5_true-unreach-call_true-no-overflow.i 6.56 4.20 300380160 .978 .645 49246208
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 8.36 5.05 309211136 1.02  .645 50847744
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 6.80 4.32 308076544 .963 .620 49111040
bitvector/modulus_true-unreach-call_true-no-overflow.i 6.84 4.41 310116352 .890 .578 46297088
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 7.02 4.51 315830272 .915 .604 46620672
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 6.92 4.36 311906304 .921 .599 46292992
bitvector/parity_true-unreach-call_true-no-overflow.i 6.93 4.41 309284864 .989 .650 49664000
bitvector/sum02_false-unreach-call_true-no-overflow.i 7.56 4.73 307453952 1.02  .668 50241536
bitvector/sum02_true-unreach-call_true-no-overflow.i 6.86 4.34 308879360 .998 .642 50089984
psyco/psyco_abp_1_false-no-overflow.c 961    874    5466779648 .926 .604 46321664
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i 7.55 4.53 304500736 .891 .598 45989888
busybox-1.22.0/chroot-incomplete_false-no-overflow.i 7.69 4.28 294866944 .935 .625 47181824
busybox-1.22.0/cut_false-no-overflow.i 8.31 4.80 296747008 .908 .606 46952448
busybox-1.22.0/date_false-no-overflow.i 8.82 5.11 316526592 .945 .615 46698496
busybox-1.22.0/du_false-no-overflow.i 9.70 5.17 315850752 .974 .631 47579136
busybox-1.22.0/echo_false-no-overflow.i 7.80 4.44 294838272 .922 .588 47448064
busybox-1.22.0/expand_false-no-overflow.i 7.67 4.39 298614784 .911 .595 45432832
busybox-1.22.0/fold_false-no-overflow.i 8.19 4.61 305729536 .891 .598 45998080
busybox-1.22.0/head_false-no-overflow.i 8.01 4.71 305094656 .922 .597 46305280
busybox-1.22.0/logname_false-no-overflow.i 7.96 4.45 304951296 .890 .593 45965312
busybox-1.22.0/ls-incomplete_false-no-overflow.i 8.81 5.05 308756480 .920 .591 46706688
busybox-1.22.0/mkdir_false-no-overflow.i 8.41 4.91 307400704 .940 .622 46346240
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i 7.39 4.30 298942464 .923 .589 47075328
busybox-1.22.0/od_false-no-overflow.i 8.53 4.85 303091712 .926 .629 46202880
busybox-1.22.0/printf_false-no-overflow.i 8.37 4.66 296693760 .907 .585 46637056
busybox-1.22.0/readlink_false-no-overflow.i 7.89 4.66 302694400 .892 .568 46174208
busybox-1.22.0/realpath_false-no-overflow.i 7.58 4.57 299872256 .915 .597 47800320
busybox-1.22.0/rm_false-no-overflow.i 8.56 4.79 280469504 .916 .593 47104000
busybox-1.22.0/seq_false-no-overflow.i 7.79 4.71 300625920 .942 .615 47284224
busybox-1.22.0/sleep_false-no-overflow.i 8.02 4.56 299610112 .888 .584 46690304
busybox-1.22.0/stty_false-no-overflow.i 9.06 5.13 328507392 .915 .619 46698496
busybox-1.22.0/sync_false-no-overflow.i 7.38 4.56 294707200 .905 .593 46473216
busybox-1.22.0/tac_false-no-overflow.i 7.82 4.42 305520640 .891 .584 46206976
busybox-1.22.0/tee_false-no-overflow.i 10.2  5.51 308256768 .926 .587 46665728
busybox-1.22.0/test-incomplete_false-no-overflow.i 8.00 4.81 297795584 .936 .617 47063040
busybox-1.22.0/touch_false-no-overflow.i 8.18 4.82 294068224 .900 .588 46419968
busybox-1.22.0/uname_false-no-overflow.i 8.07 4.50 298713088 .934 .610 47173632
busybox-1.22.0/uniq_false-no-overflow.i 8.14 4.58 308998144 .928 .617 46428160
busybox-1.22.0/usleep_false-no-overflow.i 7.73 4.49 300728320 .902 .583 46686208
busybox-1.22.0/uudecode_false-no-overflow.i 8.79 4.86 307548160 .912 .589 46694400
busybox-1.22.0/wc_false-no-overflow.i 8.36 4.72 327671808 .912 .598 46231552
busybox-1.22.0/who_false-no-overflow.i 8.20 4.65 305315840 .907 .614 46125056
busybox-1.22.0/whoami-incomplete_false-no-overflow.i 7.47 4.42 294797312 .944 .613 48623616
busybox-1.22.0/yes_false-no-overflow.i 7.97 4.51 307716096 .935 .623 46616576
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i 225    192    2598006784 .916 .617 46530560
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i 7.59 4.39 300126208 .945 .607 47616000
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i 7.87 4.49 298487808 .914 .587 46776320
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i 8.77 4.98 294526976 .892 .570 46407680
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i 8.49 4.90 302731264 .890 .572 46026752
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i 166    134    2705436672 .939 .624 47820800
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i 8.34 4.69 308162560 .912 .606 46731264
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i 7.32 4.47 298278912 .946 .629 46768128
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i 8.03 4.51 294178816 .937 .617 46845952
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i 8.21 4.59 296873984 .919 .601 46215168
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i 8.27 4.54 310194176 .952 .617 47849472
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i 18.7  10.6  491905024 1.11  .694 50483200
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i 7.71 4.48 301879296 .903 .592 46333952
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i 9.51 5.34 310394880 .924 .597 46202880
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i 8.51 4.79 302600192 .908 .592 46997504
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i 7.18 4.12 291246080 .889 .572 46006272
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i 8.59 5.04 293302272 .895 .564 46571520
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i 8.60 4.80 298258432 .876 .565 46497792
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i 8.07 4.65 299241472 .934 .605 46927872
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i 7.71 4.38 303468544 .922 .622 46854144
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i 8.18 4.63 300085248 .918 .607 46350336
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i 8.07 4.69 298942464 .909 .600 46280704
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i 8.36 4.84 303407104 .956 .619 46759936
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i 10.9  5.92 320425984 .907 .600 46260224
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i 7.57 4.51 304271360 .928 .611 46747648
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i 7.94 4.41 304013312 .932 .615 47026176
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i 7.98 4.48 306814976 .876 .564 47091712
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i 8.60 4.81 299708416 .903 .589 46444544
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i 10.7  5.88 304332800 .900 .596 46583808
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i 7.94 4.37 300142592 .881 .593 46338048
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i 7.89 4.44 307183616 .919 .607 47026176
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i 7.63 4.41 305819648 .900 .587 46092288
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i 8.12 4.82 305827840 .927 .607 46915584
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i 8.32 4.79 305401856 .961 .614 47333376
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i 7.89 4.48 292163584 .927 .608 46514176
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i 7.81 4.35 300503040 .931 .611 46452736
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i 7.69 4.56 300068864 .919 .607 46182400
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 430 48900 41300 351050166272 430 844    515    53117440000
    correct results 307 3580 2300 116499382272 9 31.9  18.7  2217082880
        correct true 144 2330 1540 64756244480 0
        correct false 163 1250 765 51743137792 9 31.9  18.7  2217082880
    incorrect results 0 1 3.62 2.13 246853632
        incorrect true 0 1 3.62 2.13 246853632
        incorrect false 0 0
score (430 tasks, max score: 649) 451 -23
Run set ultimateautomizer--overflows.ultimateautomizer cpaw2t-ultimateautomizer--overflows-validation.witnessValidation