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