Tool ESBMC ESBMC version 3.1 64-bit x86_64 linux
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-13 09:57:49 CET [[ 2017-01-15 01:31:06 CET ]] [[ 2017-01-15 01:47:27 CET ]] [[ 2017-01-15 01:32:35 CET ]] [[ 2017-01-15 01:49:35 CET ]]
Run set sv-comp17.Overflows-BitVectors
Options -s kinduction [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-kind.2017-01-13_0957.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-kind.2017-01-13_0957.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-kind.2017-01-13_0957.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-kind.2017-01-13_0957.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i false(no-overflow) 1 wit inspect .12  .12  .81 24 .84 0   false(no-overflow) 4.9  2.7  47   260 true 6.8 3.6 130 320 - -
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) 1 wit inspect .12  .12  .86 24 .99 0   false(no-overflow) 4.1  2.3  82   250 true 8.4 4.5 77 320 - -
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) 1 wit inspect .087 .086 1.0  24 .99 0   false(no-overflow) 4.3  2.4  77   250 true 8.9 4.7 95 310 - -
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) 1 wit inspect .083 .084 1.2  24 .99 0   false(no-overflow) 4.1  2.3  78   260 true 8.1 4.3 74 310 - -
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) 1 wit inspect .11  .11  .80 24 .99 0   false(no-overflow) 4.0  2.3  67   250 true 6.7 3.6 140 320 - -
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect .087 .087 1.1  24 .99 0   false(no-overflow) 4.3  2.4  76   250 true 8.8 4.6 100 310 - -
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect .084 .084 1.0  24 .84 0   false(no-overflow) 4.4  2.4  77   250 true 7.1 3.9 110 310 - -
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect .090 .089 .88 24 .84 0   false(no-overflow) 4.0  2.2  77   250 true 6.6 3.5 130 320 - -
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect .085 .085 .92 24 .99 0   false(no-overflow) 4.0  2.2  68   250 true 7.2 3.8 150 320 - -
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) 1 wit inspect .083 .083 1.2  24 .99 0   false(no-overflow) 4.6  2.6  64   240 true 8.0 4.3 82 310 - -
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow.c.i true 2 wit inspect .11  .11  .92 24 .99 0   - - true 3.8  2.1  57   260 true 6.9 3.7 150 310
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow.c.i true 2 wit inspect .12  .12  .68 24 .99 0   - - true 3.9  2.1  35   250 true 10   5.4 96 320
signedintegeroverflow-regression/Multiplication_true-no-overflow.c.i true 2 wit inspect .085 .085 .95 24 .84 0   - - true 4.0  2.2  39   270 true 8.7 4.6 120 330
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow.c.i true 2 wit inspect .097 .097 1.1  24 .84 0   - - true 3.9  2.1  55   260 true 7.7 4.0 81 320
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow.c.i true 2 wit inspect .087 .087 .91 24 .99 0   - - true 4.1  2.3  62   250 true 7.7 4.1 110 310
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) 1 wit inspect .076 .075 1.0  23 .99 0   false(no-overflow) 3.2  1.8  69   240 false(no-overflow) 7.3 3.9 110 310 - -
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) 1 wit inspect .079 .080 1.0  23 .99 0   true 3.0  1.7  58   240 false(no-overflow) 7.5 4.0 150 330 - -
termination-crafted/Ackermann_false-no-overflow.c false(no-overflow) 1 wit inspect .092 .091 1.0  23 .99 0   error (recursion) 3.2  1.8  54   240 false(no-overflow) 8.4 4.5 120 310 - -
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) 1 wit inspect .072 .073 1.1  23 .99 0   false(no-overflow) 3.3  1.8  68   230 false(no-overflow) 7.8 4.2 100 310 - -
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) 1 wit inspect .092 .091 .94 23 .99 0   false(no-overflow) 3.1  1.8  64   240 false(no-overflow) 10   5.4 100 330 - -
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) 1 wit inspect .079 .079 .82 23 .84 0   true 3.2  1.8  69   240 false(no-overflow) 7.5 4.0 160 320 - -
termination-crafted/Binary_Search_false-no-overflow.c false(no-overflow) 1 wit inspect .093 .093 .93 23 .99 0   true 3.1  1.8  77   240 false(no-overflow) 7.6 4.0 130 320 - -
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) 1 wit inspect .080 .080 .88 23 .99 0   false(no-overflow) 3.1  1.8  72   230 false(no-overflow) 9.6 5.0 130 320 - -
termination-crafted/Collatz_unknown-termination_false-no-overflow.c unknown 0 wit inspect .077 .077 .72 23 .84 0   error (invalid witness file) .55 .36 13   39 error (invalid witness file) 7.7 4.0 81 300 - -
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) 1 wit inspect .083 .083 .85 23 .99 0   false(no-overflow) 3.3  1.9  72   240 false(no-overflow) 8.9 4.7 100 330 - -
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .11  .75 23 .84 0   false(no-overflow) 3.4  1.9  65   240 false(no-overflow) 7.3 3.8 130 310 - -
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) 1 wit inspect .083 .083 .92 23 .99 0   false(no-overflow) 3.6  2.0  85   230 false(no-overflow) 9.2 4.9 97 310 - -
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .11  .70 23 .99 0   false(no-overflow) 3.3  1.9  69   240 false(no-overflow) 8.1 4.4 110 320 - -
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) 1 wit inspect .075 .075 .87 23 .93 0   false(no-overflow) 3.4  1.9  68   240 false(no-overflow) 7.5 4.0 150 320 - -
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) 1 wit inspect .089 .088 1.0  23 .99 0   true 3.1  1.8  65   240 false(no-overflow) 7.2 3.8 130 320 - -
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) 1 wit inspect .080 .080 .76 23 .99 0   true 3.0  1.7  65   240 false(no-overflow) 9.6 5.1 97 330 - -
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) 1 wit inspect .080 .079 .93 23 .84 0   false(no-overflow) 3.2  1.8  68   240 false(no-overflow) 8.2 4.4 120 320 - -
termination-crafted/NestedRecursion_1a_false-no-overflow.c false(no-overflow) 1 wit inspect .076 .075 .82 23 .99 0   false(no-overflow) 3.4  1.9  68   240 false(no-overflow) 7.8 4.1 140 320 - -
termination-crafted/NestedRecursion_2a_false-no-overflow.c false(no-overflow) 1 wit inspect .098 .097 .78 23 .84 0   error (recursion) 3.1  1.8  60   250 false(no-overflow) 9.5 5.0 99 320 - -
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .11  .69 23 .84 0   false(no-overflow) 3.2  1.8  64   230 false(no-overflow) 8.6 4.5 100 320 - -
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) 1 wit inspect .078 .077 .79 23 .84 0   false(no-overflow) 3.2  1.8  68   240 false(no-overflow) 9.2 4.8 92 310 - -
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) 1 wit inspect .92  .91  13    81 .99 0   false(no-overflow) 3.7  2.1  76   240 true 8.8 4.7 97 320 - -
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) 1 wit inspect .10  .10  .77 23 .84 0   false(no-overflow) 3.4  1.9  59   240 false(no-overflow) 9.4 4.9 98 340 - -
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) 1 wit inspect .087 .087 .85 23 .84 0   false(no-overflow) 3.2  1.8  68   240 false(no-overflow) 7.0 3.7 120 310 - -
termination-crafted/NonTerminationSimple4_false-no-overflow.c out of memory 0 wit inspect 420     420     5500    15000 .99 0   error (invalid witness file) .53 .36 13   40 error (invalid witness file) 6.8 3.6 66 300 - -
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) 1 wit inspect .073 .074 .85 23 .94 0   false(no-overflow) 3.4  1.9  68   240 false(no-overflow) 8.2 4.3 130 320 - -
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) 1 wit inspect .073 .073 .94 23 .99 0   false(no-overflow) 3.2  1.8  68   230 false(no-overflow) 8.7 4.7 90 330 - -
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) 1 wit inspect .077 .076 .82 23 .99 0   false(no-overflow) 3.2  1.8  68   230 false(no-overflow) 7.4 4.0 120 310 - -
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) 1 wit inspect .076 .075 .81 23 .84 0   false(no-overflow) 3.1  1.8  64   240 false(no-overflow) 7.3 3.9 140 320 - -
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) 1 wit inspect .079 .078 .90 23 .84 0   true 3.0  1.7  60   240 false(no-overflow) 8.8 4.6 100 320 - -
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .11  .73 23 .99 0   false(no-overflow) 3.3  1.9  64   240 false(no-overflow) 8.9 4.7 100 320 - -
termination-crafted/RecursiveMultiplication_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .11  .70 23 .84 0   error (recursion) 3.2  1.8  64   250 false(no-overflow) 8.4 4.5 87 310 - -
termination-crafted/RecursiveNonterminating_false-no-overflow.c false(no-overflow) 1 wit inspect .093 .092 .77 23 .99 0   true 3.0  1.7  62   230 false(no-overflow) 7.9 4.1 160 330 - -
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) 1 wit inspect .072 .072 .96 23 .99 0   false(no-overflow) 3.2  1.8  75   240 false(no-overflow) 7.0 3.7 160 310 - -
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) 1 wit inspect .091 .091 .98 23 .99 0   false(no-overflow) 3.2  1.8  60   240 false(no-overflow) 8.4 4.5 130 330 - -
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) 1 wit inspect .075 .075 .93 23 .99 0   false(no-overflow) 3.2  1.8  62   240 false(no-overflow) 8.8 4.7 80 310 - -
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) 1 wit inspect .074 .074 .82 23 .99 0   false(no-overflow) 3.1  1.8  64   240 false(no-overflow) 7.6 4.0 160 330 - -
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) 1 wit inspect .074 .074 .73 23 .99 0   false(no-overflow) 3.2  1.8  78   230 false(no-overflow) 8.2 4.3 130 310 - -
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) 1 wit inspect .093 .093 .79 23 .99 0   false(no-overflow) 3.6  2.0  55   240 false(no-overflow) 8.1 4.3 100 320 - -
termination-crafted/Thun_false-no-overflow.c false(no-overflow) 1 wit inspect .10  .10  .79 23 .84 0   false(no-overflow) 3.2  1.8  66   240 false(no-overflow) 8.0 4.3 87 310 - -
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) 1 wit inspect .075 .075 .97 23 .99 0   false(no-overflow) 3.4  1.9  65   240 false(no-overflow) 8.4 4.5 120 320 - -
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) 1 wit inspect .12  .12  1.0  23 .99 0   false(no-overflow) 4.8  2.6  54   250 false(no-overflow) 12   6.3 170 360 - -
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect .080 .080 .80 23 .94 0   false(no-overflow) 3.6  2.1  50   240 false(no-overflow) 7.6 4.0 170 310 - -
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect .092 .093 .76 23 .99 0   false(no-overflow) 3.4  1.9  69   240 false(no-overflow) 7.3 3.9 100 320 - -
termination-crafted/4BitCounterPointer_true-no-overflow.c true 2 wit inspect .11  .11  .72 23 .99 0   - - true 4.3  2.4  73   270 true 8.3 4.4 150 360
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow.c unknown 0 wit inspect .10  .10  .68 23 .99 0   - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 7.2 3.8 78 290
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow.c true 2 wit inspect .083 .082 .95 23 .96 0   - - false(no-overflow) 4.1  2.3  38   290 true 9.7 5.1 110 340
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow.c true 2 wit inspect .089 .088 1.1  23 .99 0   - - timeout 900    860    20000   5100 true 9.3 5.0 170 320
termination-crafted/Bangalore_true-no-overflow.c true 2 wit inspect .13  .13  1.5  23 .99 0   - - true 3.8  2.1  33   290 true 11   5.8 140 340
termination-crafted/Bangalore_v2_true-no-overflow.c true 2 wit inspect .13  .13  1.4  23 .84 0   - - true 3.6  2.1  51   270 true 8.5 4.6 170 330
termination-crafted/Bangalore_v4_true-no-overflow.c true 2 wit inspect .12  .11  1.3  23 .99 0   - - false(no-overflow) 3.7  2.1  80   280 true 7.3 4.0 160 330
termination-crafted/Benghazi_true-no-overflow.c out of memory 0 wit inspect 350     350     4200    15000 .99 0   - - error (invalid witness file) .48 .32 11   40 error (invalid witness file) 6.6 3.5 82 300
termination-crafted/Cairo_step2_true-no-overflow.c out of memory 0 wit inspect 460     450     6600    15000 .99 0   - - error (invalid witness file) .57 .35 12   40 error (invalid witness file) 6.7 3.5 88 300
termination-crafted/Cairo_true-no-overflow.c out of memory 0 wit inspect 460     460     6400    15000 .84 0   - - error (invalid witness file) .51 .32 11   39 error (invalid witness file) 6.1 3.3 86 290
termination-crafted/Copenhagen_true-no-overflow.c true 2 wit inspect .085 .084 .91 23 .84 0   - - true 4.1  2.3  74   280 true 9.5 5.0 170 320
termination-crafted/Division_true-no-overflow.c true 2 wit inspect .090 .091 1.0  23 .99 0   - - true 3.7  2.1  50   270 true 7.2 3.8 130 320
termination-crafted/LexIndexValue-Array_true-no-overflow.c true 1 wit inspect .11  .11  .82 23 .99 0   - - out of memory 510    490    6300   7000 timeout 960   800   24000 4100
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c timeout 0 wit inspect 900     900     13000    11000 .99 0   - - error (invalid witness file) .58 .39 8.5 39 error (invalid witness file) 7.4 3.9 84 300
termination-crafted/Madrid_true-no-overflow.c true 2 wit inspect .088 .087 .87 23 .99 0   - - true 3.5  2.0  43   270 true 8.0 4.3 72 300
termination-crafted/McCarthy91_Iteration_true-no-overflow.c timeout 0 wit inspect 900     900     10000    1900 .99 0   - - error (invalid witness file) .49 .32 7.0 41 error (invalid witness file) 7.1 3.7 70 290
termination-crafted/McCarthy91_Recursion_true-no-overflow.c timeout 0 wit inspect 900     900     8100    6900 .99 0   - - error (invalid witness file) .53 .35 11   40 error (invalid witness file) 7.1 3.7 97 320
termination-crafted/MenloPark_true-no-overflow.c out of memory 0 wit inspect 310     310     3600    15000 .84 0   - - error (invalid witness file) .49 .32 12   40 error (invalid witness file) 6.9 3.6 98 300
termination-crafted/MutualRecursion_1a_true-no-overflow.c timeout 0 wit inspect 900     900     12000    1300 .99 0   - - error (invalid witness file) .52 .34 11   40 error (invalid witness file) 6.3 3.3 71 300
termination-crafted/MutualRecursion_1b_true-no-overflow.c timeout 0 wit inspect 900     900     11000    1300 .84 0   - - error (invalid witness file) .52 .35 10   40 error (invalid witness file) 7.5 3.9 56 290
termination-crafted/NestedRecursion_1b_true-no-overflow.c timeout 0 wit inspect 900     900     8300    1900 .99 0   - - error (invalid witness file) .51 .32 9.9 41 error (invalid witness file) 7.7 4.0 100 320
termination-crafted/NestedRecursion_1c_true-no-overflow.c timeout 0 wit inspect 900     900     9500    4700 .99 0   - - error (invalid witness file) .52 .35 12   40 error (invalid witness file) 6.7 3.5 70 300
termination-crafted/NestedRecursion_1d_true-no-overflow.c timeout 0 wit inspect 900     900     9600    4400 .99 0   - - error (invalid witness file) .53 .34 10   40 error (invalid witness file) 7.0 3.7 70 300
termination-crafted/NestedRecursion_2b_true-no-overflow.c timeout 0 wit inspect 900     900     11000    2600 .99 0   - - error (invalid witness file) .55 .36 10   39 error (invalid witness file) 6.1 3.2 130 300
termination-crafted/NestedRecursion_2c_true-no-overflow.c timeout 0 wit inspect 900     900     11000    3700 .99 0   - - error (invalid witness file) .52 .32 12   40 error (invalid witness file) 7.0 3.7 87 300
termination-crafted/NonTermination3_true-no-overflow.c true 2 wit inspect .080 .079 .88 23 .99 0   - - true 4.1  2.3  73   280 true 6.6 3.5 130 310
termination-crafted/NonTerminationSimple7_true-no-overflow.c true 2 wit inspect .082 .081 .90 23 .99 0   - - true 3.8  2.1  50   280 true 10   5.3 100 330
termination-crafted/Nyala-2lex_true-no-overflow.c true 2 wit inspect .087 .085 .94 23 .99 0   - - true 4.3  2.4  77   280 true 8.6 4.6 92 320
termination-crafted/Parallel_true-no-overflow.c true 2 wit inspect .13  .13  .95 23 .99 0   - - true 4.2  2.3  59   280 true 9.6 5.1 120 320
termination-crafted/Piecewise_true-no-overflow.c true 2 wit inspect .12  .12  .71 23 .99 0   - - true 4.8  2.7  77   280 true 7.8 4.1 140 320
termination-crafted/SyntaxSupportPointer01_true-no-overflow.c out of memory 0 wit inspect 470     460     6100    15000 .99 0   - - error (invalid witness file) .49 .33 12   40 error (invalid witness file) 6.6 3.5 110 300
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow.c true 2 wit inspect .087 .087 .94 23 .99 0   - - true 5.0  2.8  47   290 true 9.5 5.1 130 320
termination-crafted/Waldkirch_true-no-overflow.c true 2 wit inspect .099 .098 1.1  23 .99 0   - - true 4.5  2.6  43   280 true 9.5 5.0 84 320
termination-crafted/WhileFalse_true-no-overflow.c true 2 wit inspect .098 .098 .89 23 .91 0   - - true 3.5  2.0  53   270 true 7.2 3.8 130 310
termination-crafted/WhileTrue_true-no-overflow.c true 2 wit inspect .072 .072 1.0  23 .99 0   - - true 3.6  2.0  61   280 true 7.5 4.0 84 320
termination-crafted/easy1_true-no-overflow.c true 2 wit inspect .082 .081 .90 23 .93 0   - - true 3.9  2.2  38   290 true 7.8 4.2 150 320
termination-crafted/easy2_true-no-overflow.c out of memory 0 wit inspect 130     120     1700    15000 .99 0   - - error (invalid witness file) .55 .37 11   42 error (invalid witness file) 6.4 3.4 97 300
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) 0 wit inspect .097 .097 .75 23 .99 0   true 3.2  1.8  68   230 true 11   6.2 190 390 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) 0 wit inspect .081 .080 .93 23 .99 0   true 3.2  1.8  55   240 true 11   6.0 210 400 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect .079 .078 1.0  23 .99 0   false(no-overflow) 3.4  1.9  65   240 false(no-overflow) 9.2 4.9 110 320 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect .080 .079 .74 23 .99 0   false(no-overflow) 3.3  1.9  63   250 false(no-overflow) 9.8 5.1 140 340 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) 1 wit inspect .10  .10  .84 23 .99 0   false(no-overflow) 3.3  1.9  63   240 false(no-overflow) 9.0 4.9 140 330 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .11  .75 23 .99 0   false(no-overflow) 3.5  2.0  69   250 false(no-overflow) 9.3 4.9 79 320 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) 0 wit inspect .075 .075 .82 23 .99 0   timeout 93    80    3000   2800 true 8.8 4.7 130 320 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) 1 wit inspect .077 .077 .91 23 .99 0   false(no-overflow) 3.3  1.8  73   230 false(no-overflow) 9.5 5.1 98 320 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_false-no-overflow.c false(no-overflow) 0 wit inspect 280     280     2900    1600 .99 0   timeout 93    82    1700   3100 true 9.4 5.0 130 330 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) 1 wit inspect .075 .074 .81 23 .99 0   true 3.0  1.7  66   240 false(no-overflow) 8.4 4.5 90 320 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) 0 wit inspect .076 .075 .81 23 .99 0   true 3.1  1.7  59   240 true 11   5.9 140 340 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) 1 wit inspect .077 .077 .84 23 .99 0   false(no-overflow) 3.3  1.9  64   240 false(no-overflow) 7.7 4.2 87 300 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) 1 wit inspect .092 .093 .77 23 .84 0   false(no-overflow) 3.4  1.9  73   240 false(no-overflow) 8.5 4.6 110 320 - -
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) 1 wit inspect .077 .077 .85 23 .99 0   false(no-overflow) 3.7  2.1  46   240 false(no-overflow) 8.8 4.7 85 320 - -
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .092 .091 .89 23 .99 0   false(no-overflow) 3.3  1.9  72   240 false(no-overflow) 8.9 4.8 98 320 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) 1 wit inspect .087 .086 .81 23 .99 0   false(no-overflow) 3.3  1.9  74   240 false(no-overflow) 8.4 4.5 130 330 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .11  .79 23 .99 0   false(no-overflow) 3.4  1.9  71   240 false(no-overflow) 8.3 4.5 120 320 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect .082 .082 .80 23 .84 0   false(no-overflow) 3.1  1.8  59   240 false(no-overflow) 7.1 3.8 150 310 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect .091 .090 .81 23 .99 0   false(no-overflow) 3.2  1.8  70   240 false(no-overflow) 11   5.7 88 320 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) 1 wit inspect .089 .089 .91 23 .84 0   false(no-overflow) 3.5  2.0  78   240 false(no-overflow) 8.8 4.7 130 320 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) 1 wit inspect .095 .094 .77 23 .99 0   false(no-overflow) 3.4  1.9  69   240 false(no-overflow) 10   5.3 130 330 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) 1 wit inspect .084 .083 .78 23 .84 0   false(no-overflow) 3.1  1.8  67   240 false(no-overflow) 8.9 4.7 120 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) 1 wit inspect .074 .074 .76 23 .99 0   false(no-overflow) 3.2  1.8  62   240 false(no-overflow) 9.0 4.7 80 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) 1 wit inspect .083 .084 .89 23 .84 0   false(no-overflow) 3.2  1.8  60   240 false(no-overflow) 7.6 4.0 150 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) 1 wit inspect .075 .074 .79 23 .99 0   false(no-overflow) 3.1  1.8  62   230 false(no-overflow) 9.0 4.8 78 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) 1 wit inspect .10  .10  .78 23 .84 0   false(no-overflow) 3.3  1.9  65   240 false(no-overflow) 8.8 4.7 95 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) 1 wit inspect .080 .082 .73 23 .99 0   false(no-overflow) 3.2  1.8  68   240 false(no-overflow) 6.8 3.6 130 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) 1 wit inspect .10  .10  .79 23 .84 0   false(no-overflow) 3.2  1.8  70   240 false(no-overflow) 8.3 4.4 130 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) 1 wit inspect .080 .080 .79 23 .99 0   false(no-overflow) 3.3  1.8  70   240 false(no-overflow) 8.6 4.5 83 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .11  .96 23 .84 0   false(no-overflow) 3.3  1.8  75   240 false(no-overflow) 9.1 4.8 93 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) 1 wit inspect .090 .089 .80 23 .84 0   false(no-overflow) 3.7  2.1  53   240 false(no-overflow) 8.8 4.6 90 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) 1 wit inspect .078 .078 .87 23 .99 0   false(no-overflow) 3.3  1.9  72   240 false(no-overflow) 7.1 3.8 130 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) 1 wit inspect .077 .077 .81 23 .99 0   false(no-overflow) 3.3  1.8  68   240 false(no-overflow) 6.8 3.7 140 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .11  .98 23 .99 0   false(no-overflow) 3.3  1.9  67   240 false(no-overflow) 7.6 4.0 110 330 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) 1 wit inspect .079 .079 .82 23 .99 0   false(no-overflow) 3.4  1.9  70   240 false(no-overflow) 8.7 4.7 130 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) 1 wit inspect .095 .095 .81 23 .84 0   false(no-overflow) 3.2  1.8  59   230 false(no-overflow) 7.7 4.2 150 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) 1 wit inspect .095 .096 .98 23 .99 0   true 3.3  1.8  67   250 false(no-overflow) 9.7 5.2 130 340 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) 1 wit inspect .088 .088 1.0  23 .99 0   false(no-overflow) 3.3  1.9  62   230 false(no-overflow) 8.7 4.6 100 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) 1 wit inspect .088 .089 .87 23 .84 0   false(no-overflow) 3.3  1.9  77   230 false(no-overflow) 8.5 4.5 110 340 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) 1 wit inspect .077 .077 .81 23 .99 0   false(no-overflow) 3.1  1.8  54   240 false(no-overflow) 8.4 4.4 110 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .11  .73 23 .84 0   false(no-overflow) 3.2  1.8  71   240 false(no-overflow) 7.4 3.9 100 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) 1 wit inspect .088 .087 .85 23 .99 0   false(no-overflow) 3.7  2.1  45   240 false(no-overflow) 9.2 4.8 110 330 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) 1 wit inspect .093 .093 .83 23 .99 0   false(no-overflow) 3.3  1.9  69   240 false(no-overflow) 7.3 3.8 140 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) 1 wit inspect .12  .12  .78 23 .84 0   false(no-overflow) 3.1  1.8  61   230 false(no-overflow) 9.6 5.1 91 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) 1 wit inspect .096 .097 .75 23 .99 0   false(no-overflow) 3.3  1.8  63   240 false(no-overflow) 7.5 4.0 100 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) 1 wit inspect .078 .077 .78 23 .84 0   false(no-overflow) 3.3  1.9  69   240 false(no-overflow) 8.7 4.6 79 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) 1 wit inspect .10  .10  .87 23 .99 0   false(no-overflow) 3.3  1.8  64   240 false(no-overflow) 7.8 4.2 72 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) 1 wit inspect .077 .076 .73 23 .84 0   false(no-overflow) 3.2  1.8  76   240 false(no-overflow) 7.9 4.2 72 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) 1 wit inspect .084 .084 .61 23 .99 0   false(no-overflow) 3.2  1.8  72   230 false(no-overflow) 8.4 4.5 110 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) 1 wit inspect .094 .094 .81 23 .99 0   false(no-overflow) 3.3  1.9  72   240 false(no-overflow) 9.0 4.8 83 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) 1 wit inspect .10  .10  .76 23 .84 0   false(no-overflow) 3.1  1.8  59   230 false(no-overflow) 8.3 4.4 140 330 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) 1 wit inspect .082 .082 .78 23 .99 0   false(no-overflow) 3.3  1.9  74   240 false(no-overflow) 8.5 4.5 120 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) 1 wit inspect .10  .10  .70 23 .99 0   false(no-overflow) 3.2  1.8  68   230 false(no-overflow) 10   5.3 120 340 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .10  .81 23 .84 0   false(no-overflow) 3.2  1.8  66   240 false(no-overflow) 8.9 4.7 87 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) 1 wit inspect .074 .074 1.0  23 .99 0   false(no-overflow) 3.2  1.8  70   240 false(no-overflow) 7.2 3.8 130 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) 1 wit inspect .083 .082 .88 23 .99 0   false(no-overflow) 3.4  1.9  78   240 false(no-overflow) 8.7 4.6 89 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .11  .76 23 .99 0   true 3.3  1.8  74   240 false(no-overflow) 7.7 4.1 150 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .083 .084 .77 23 .99 0   false(no-overflow) 3.7  2.1  57   250 false(no-overflow) 8.9 4.7 88 320 - -
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .076 .076 .77 23 .99 0   false(no-overflow) 3.4  1.9  70   240 false(no-overflow) 9.6 5.1 86 320 - -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) 1 wit inspect .076 .075 .81 23 .99 0   false(no-overflow) 3.3  1.9  76   230 false(no-overflow) 9.3 4.9 97 330 - -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) 1 wit inspect .10  .10  .83 23 .99 0   false(no-overflow) 3.3  1.8  73   230 false(no-overflow) 9.0 4.8 85 320 - -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .11  .69 23 .84 0   false(no-overflow) 3.0  1.7  59   240 false(no-overflow) 8.5 4.5 94 320 - -
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .10  .10  .79 23 .84 0   false(no-overflow) 3.4  2.0  74   240 false(no-overflow) 7.6 4.1 140 320 - -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect .097 .096 .91 23 .84 0   false(no-overflow) 6.0  3.3  90   280 false(no-overflow) 9.2 5.0 120 340 - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect .092 .091 .99 23 .99 0   true 3.1  1.8  62   240 false(no-overflow) 9.0 4.7 91 320 - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) 1 wit inspect .075 .074 .96 23 .99 0   false(no-overflow) 3.1  1.8  59   230 false(no-overflow) 7.3 3.9 140 320 - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) 1 wit inspect .10  .10  .79 23 .99 0   true 3.1  1.8  67   240 false(no-overflow) 9.1 4.8 91 310 - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) 1 wit inspect .092 .091 1.1  23 .99 0   false(no-overflow) 3.3  1.9  67   240 false(no-overflow) 11   5.8 110 340 - -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c false(no-overflow) 1 wit inspect .075 .075 .82 23 .99 0   error (recursion) 3.2  1.8  60   250 false(no-overflow) 11   5.8 120 350 - -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .11  .68 23 .99 0   error (recursion) 3.3  1.9  63   250 false(no-overflow) 11   5.9 110 320 - -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c false(no-overflow) 1 wit inspect .088 .088 .79 23 .84 0   error (recursion) 3.2  1.9  62   250 false(no-overflow) 9.2 4.8 110 320 - -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect .076 .076 .80 23 .99 0   error (recursion) 3.4  1.9  65   260 false(no-overflow) 7.9 4.2 90 320 - -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) 1 wit inspect .078 .077 .74 23 .99 0   false(no-overflow) 3.2  1.8  67   240 false(no-overflow) 8.5 4.5 98 310 - -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) 1 wit inspect .075 .076 .79 23 .99 0   false(no-overflow) 3.4  1.9  77   240 false(no-overflow) 9.5 5.1 89 320 - -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .088 .089 .88 23 .99 0   false(no-overflow) 3.3  1.9  71   230 false(no-overflow) 6.9 3.6 130 320 - -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) 1 wit inspect .082 .083 .81 23 .99 0   false(no-overflow) 3.2  1.8  64   240 false(no-overflow) 8.7 4.6 100 320 - -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect .077 .076 .82 23 .99 0   false(no-overflow) 3.4  1.9  69   230 false(no-overflow) 8.1 4.3 72 310 - -
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect .089 .088 .88 23 .99 0   false(no-overflow) 3.0  1.7  58   230 false(no-overflow) 6.8 3.6 120 320 - -
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) 1 wit inspect .074 .074 .95 23 .99 0   false(no-overflow) 3.1  1.8  68   230 false(no-overflow) 9.2 4.8 110 320 - -
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) 1 wit inspect .086 .085 .88 23 .99 0   false(no-overflow) 3.2  1.8  64   240 false(no-overflow) 8.7 4.7 84 310 - -
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) 1 wit inspect .089 .089 .98 23 .99 0   false(no-overflow) 3.6  2.0  57   240 false(no-overflow) 8.6 4.6 88 320 - -
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) 1 wit inspect .081 .081 .73 23 .99 0   false(no-overflow) 3.2  1.8  77   240 false(no-overflow) 9.0 4.8 94 320 - -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_false-no-overflow.c false(no-overflow) 1 wit inspect 250     250     2700    1700 .99 0   false(no-overflow) 3.9  2.2  60   240 true 9.3 4.9 96 320 - -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 1 wit inspect .10  .10  .85 23 .84 0   false(no-overflow) 3.2  1.8  62   240 false(no-overflow) 8.4 4.6 150 340 - -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect .075 .074 1.0  23 .99 0   false(no-overflow) 3.2  1.8  62   230 false(no-overflow) 8.4 4.5 170 350 - -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 1 wit inspect .099 .098 .91 23 .99 0   false(no-overflow) 3.3  1.9  65   240 false(no-overflow) 9.0 4.8 130 350 - -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c false(no-overflow) 1 wit inspect .10  .10  .85 23 .99 0   false(no-overflow) 3.3  1.9  63   240 false(no-overflow) 8.2 4.3 130 330 - -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) 1 wit inspect .096 .096 .99 23 .99 0   false(no-overflow) 3.6  2.1  51   230 false(no-overflow) 9.6 5.0 96 320 - -
termination-crafted-lit/cstrncmp_false-no-overflow.c false(no-overflow) 0 wit inspect .076 .076 .74 23 .99 0   true 3.6  2.0  68   250 true 9.1 4.8 130 340 - -
termination-crafted-lit/gcd1_false-no-overflow.c false(no-overflow) 0 wit inspect .11  .11  .92 23 .99 0   true 3.4  1.9  70   230 true 15   7.9 160 390 - -
termination-crafted-lit/joey_false-no-overflow.c unknown 0 wit inspect .072 .072 .90 23 .84 0   error (invalid witness file) .52 .34 13   40 error (invalid witness file) 8.2 4.2 84 320 - -
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) 1 wit inspect .10  .10  .86 23 .84 0   true 3.1  1.8  61   240 false(no-overflow) 8.9 4.8 84 320 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 0 wit inspect 900     900     9900    470 .99 0   - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 7.7 4.1 80 310
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true 2 wit inspect .12  .11  .87 23 .99 0   - - true 4.2  2.4  78   280 true 8.9 4.8 190 340
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true 2 wit inspect .080 .080 .77 23 .99 0   - - true 4.0  2.3  48   280 true 7.9 4.2 160 320
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c out of memory 0 wit inspect 130     120     1500    15000 .99 0   - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 5.9 3.2 100 290
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c timeout 0 wit inspect 900     900     9000    3800 .99 0   - - error (invalid witness file) .55 .35 11   42 error (invalid witness file) 6.4 3.4 130 310
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c timeout 0 wit inspect 900     900     11000    650 .99 0   - - error (invalid witness file) .52 .34 11   42 error (invalid witness file) 5.8 3.1 110 310
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true 2 wit inspect 26     26     350    92 .99 0   - - timeout 900    880    20000   4000 true 56   33   730 2000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true 2 wit inspect .083 .081 1.2  23 .99 0   - - true 4.7  2.6  88   280 true 10   5.5 110 320
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true 2 wit inspect .11  .11  .87 23 .99 0   - - true 4.2  2.3  51   280 true 11   6.1 130 330
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true 2 wit inspect .11  .11  1.1  23 .99 0   - - true 4.1  2.2  67   280 true 8.9 4.9 150 320
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true 2 wit inspect .086 .085 1.1  23 .99 0   - - timeout 900    870    18000   4700 true 9.2 4.9 95 330
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true 2 wit inspect .088 .087 .79 23 .99 0   - - timeout 900    860    18000   4900 true 10   5.5 120 330
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c unknown 0 wit inspect .11  .11  1.1  23 .99 0   - - error (invalid witness file) .52 .34 12   40 error (invalid witness file) 6.2 3.3 76 290
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c out of memory 0 wit inspect 700     700     6900    15000 .84 0   - - error (invalid witness file) .53 .35 12   40 error (invalid witness file) 8.0 4.1 81 310
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c timeout 0 wit inspect 900     900     11000    530 .98 0   - - error (invalid witness file) .53 .33 9.6 40 error (invalid witness file) 7.1 3.7 110 310
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c timeout 0 wit inspect 900     900     12000    580 .99 0   - - error (invalid witness file) .56 .37 7.6 39 error (invalid witness file) 6.7 3.5 100 290
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c true 2 wit inspect .087 .085 .90 23 .99 0   - - true 4.9  2.7  71   280 true 11   6.1 150 360
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c timeout 0 wit inspect 900     900     12000    13000 .84 0   - - error (invalid witness file) .51 .34 12   40 error (invalid witness file) 6.0 3.2 100 290
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c out of memory 0 wit inspect 280     270     2700    15000 .84 0   - - error (invalid witness file) .53 .35 11   40 error (invalid witness file) 6.1 3.2 110 300
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true 2 wit inspect .080 .079 1.1  23 .99 0   - - true 4.0  2.2  67   280 true 8.3 4.4 95 320
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c out of memory 0 wit inspect 130     130     1500    15000 .99 0   - - error (invalid witness file) .56 .35 13   41 error (invalid witness file) 6.0 3.2 91 290
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c timeout 0 wit inspect 900     900     11000    620 .99 0   - - error (invalid witness file) .53 .33 9.0 40 error (invalid witness file) 7.4 3.9 81 300
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c true 2 wit inspect 24     24     370    91 .84 0   - - timeout 900    880    14000   3800 true 51   30   1100 2000
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c true 2 wit inspect .081 .080 .77 23 .99 0   - - true 3.8  2.2  46   280 true 7.1 3.8 150 310
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c true 2 wit inspect .092 .091 .97 23 .99 0   - - false(no-overflow) 3.7  2.1  68   290 true 8.2 4.4 110 320
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c true 2 wit inspect .080 .080 .97 23 .99 0   - - true 3.8  2.2  62   270 true 9.7 5.2 110 330
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c true 2 wit inspect .11  .11  .91 23 .84 0   - - true 4.6  2.5  110   280 true 8.0 4.3 97 320
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c true 2 wit inspect .090 .089 .98 23 .84 0   - - true 4.6  2.6  85   280 true 9.5 5.2 130 320
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c true 2 wit inspect .086 .085 .88 23 .99 0   - - true 5.7  3.1  57   290 true 8.1 4.4 140 310
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c true 2 wit inspect .090 .088 1.0  23 .84 0   - - false(no-overflow) 3.7  2.1  60   280 true 11   6.0 140 340
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c true 2 wit inspect .079 .078 .84 23 .99 0   - - true 4.0  2.2  48   280 true 9.1 4.9 110 310
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c true 2 wit inspect .097 .096 1.1  23 .99 0   - - false(no-overflow) 4.7  2.7  75   280 true 9.5 5.1 140 320
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c true 2 wit inspect 12     12     150    1500 .84 0   - - true 4.9  2.6  110   280 true 150   97   2000 3300
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 0 wit inspect 900     900     12000    2600 .99 0   - - error (invalid witness file) .55 .36 9.8 41 error (invalid witness file) 7.8 4.1 68 300
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c true 2 wit inspect .13  .13  .73 23 .99 0   - - true 4.7  2.6  84   280 true 8.4 4.4 150 330
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c out of memory 0 wit inspect 420     420     4900    15000 .99 0   - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 7.1 3.7 83 300
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c true 2 wit inspect .082 .082 .87 23 .94 0   - - true 3.8  2.1  53   280 true 8.2 4.4 120 330
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c out of memory 0 wit inspect 510     510     4800    15000 .99 0   - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.5 3.4 92 300
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c true 2 wit inspect .14  .13  1.2  23 .84 0   - - true 4.0  2.2  79   280 true 8.3 4.4 110 320
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c unknown 0 wit inspect .082 .081 .84 23 .99 0   - - error (invalid witness file) .53 .35 12   39 error (invalid witness file) 7.7 4.1 73 310
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c true 2 wit inspect .085 .084 .90 23 .99 0   - - true 4.1  2.3  55   270 true 7.5 4.0 140 320
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c unknown 0 wit inspect .076 .076 .83 23 .99 0   - - error (invalid witness file) .53 .34 9.5 39 error (invalid witness file) 7.5 3.9 80 300
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout 0 wit inspect 900     900     11000    140 .99 0   - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 7.7 4.1 77 290
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c out of memory 0 wit inspect 360     350     3000    15000 .99 0   - - error (invalid witness file) .52 .35 11   40 error (invalid witness file) 7.6 4.0 67 300
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c out of memory 0 wit inspect 340     330     3900    15000 .99 0   - - error (invalid witness file) .49 .32 8.0 43 error (invalid witness file) 7.6 3.9 120 320
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c true 2 wit inspect .18  .18  1.7  23 .99 0   - - true 4.9  2.7  63   280 true 9.7 5.2 170 330
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c true 2 wit inspect .082 .081 .99 23 .99 0   - - true 4.5  2.5  57   280 true 9.2 4.9 120 320
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true 2 wit inspect .099 .098 .95 23 .99 0   - - true 3.7  2.1  44   280 true 8.0 4.2 110 310
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c true 2 wit inspect .11  .11  .79 23 .99 0   - - true 3.6  2.0  44   270 true 8.3 4.4 130 320
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c true 2 wit inspect .11  .10  .85 23 .99 0   - - true 4.2  2.3  46   280 true 8.6 4.7 170 330
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c true 2 wit inspect .11  .11  .87 23 .84 0   - - true 5.1  2.9  38   280 true 8.2 4.3 170 320
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c true 2 wit inspect .082 .081 1.0  23 .99 0   - - true 3.8  2.1  53   280 true 9.2 4.9 96 320
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c true 2 wit inspect .12  .12  .91 23 .99 0   - - out of memory 330    320    6500   7000 true 8.9 4.8 120 320
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c true 2 wit inspect .11  .11  .84 23 .84 0   - - out of memory 650    630    9800   7000 true 10   5.4 140 330
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c true 2 wit inspect .088 .087 1.0  23 .84 0   - - true 5.7  3.1  68   290 true 9.2 5.0 130 330
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c true 2 wit inspect .099 .097 1.0  23 .99 0   - - true 4.7  2.6  84   280 true 7.4 4.0 160 320
termination-crafted-lit/aviad_true-termination_true-no-overflow.c unknown 0 wit inspect .077 .078 .72 23 .94 0   - - error (invalid witness file) .51 .32 12   41 error (invalid witness file) 5.6 3.0 89 300
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c true 2 wit inspect .079 .079 .84 23 .99 0   - - true 5.5  3.1  49   300 true 8.4 4.6 170 320
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c true 2 wit inspect .085 .085 1.0  23 .84 0   - - false(no-overflow) 5.1  2.8  74   310 true 8.4 4.5 140 320
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c true 2 wit inspect .10  .10  .78 23 .99 0   - - false(no-overflow) 5.0  2.7  64   290 true 9.5 5.0 130 330
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c true 2 wit inspect .087 .086 .86 23 .99 0   - - true 6.9  3.7  76   320 true 8.3 4.5 170 330
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c true 2 wit inspect .084 .082 1.1  23 .99 0   - - false(no-overflow) 5.2  2.9  90   320 true 9.2 4.9 120 330
termination-crafted-lit/genady_true-termination_true-no-overflow.c unknown 0 wit inspect .074 .073 1.0  23 .99 0   - - error (invalid witness file) .54 .35 11   39 error (invalid witness file) 7.3 3.9 82 300
termination-crafted-lit/strchr_true-no-overflow.c true 2 wit inspect .083 .082 .86 23 .99 0   - - true 5.1  2.8  53   300 true 8.2 4.4 150 320
termination-numeric/Addition01_false-no-overflow.c false(no-overflow) 1 wit inspect .089 .088 .86 23 .99 0   error (recursion) 3.6  2.0  58   260 false(no-overflow) 7.4 3.9 130 310 - -
termination-numeric/Avg_true_false-no-overflow.c false(no-overflow) 1 wit inspect .080 .080 .95 23 .84 0   error (recursion) 3.5  1.9  68   250 false(no-overflow) 7.4 3.9 150 310 - -
termination-numeric/Binomial_true-termination_false-no-overflow.c timeout 0 wit inspect 900     900     4800    2700 .99 0   error (invalid witness file) .56 .37 7.4 39 error (invalid witness file) 5.1 2.7 97 280 - -
termination-numeric/Et1_true_false-no-overflow.c false(no-overflow) 1 wit inspect .097 .097 1.0  23 .99 0   false(no-overflow) 3.6  2.0  71   260 false(no-overflow) 8.6 4.6 150 340 - -
termination-numeric/Et2_true_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .11  .65 23 .99 0   error (recursion) 4.3  2.4  51   260 false(no-overflow) 8.1 4.4 120 310 - -
termination-numeric/Et3_true_false-no-overflow.c false(no-overflow) 1 wit inspect .11  .11  .80 23 .99 0   false(no-overflow) 3.6  2.0  66   250 false(no-overflow) 8.8 4.7 100 320 - -
termination-numeric/Et4_true_false-no-overflow.c false(no-overflow) 1 wit inspect .082 .083 .86 23 .99 0   true 3.6  2.0  80   250 false(no-overflow) 9.0 4.8 100 310 - -
termination-numeric/MultCommutative_false-no-overflow.c false(no-overflow) 0 wit inspect .14  .14  1.6  23 .99 0   error (recursion) 3.5  1.9  80   250 true 41   24   890 840 - -
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c false(no-overflow) 0 wit inspect 8.2   8.2   64    480 .99 0   error (recursion) 3.7  2.1  80   270 timeout 97   77   1500 4000 - -
termination-numeric/Ackermann01_true-termination_true-no-overflow.c timeout 0 wit inspect 900     900     7600    5300 .99 0   - - error (invalid witness file) .51 .32 12   41 error (invalid witness file) 6.5 3.4 77 290
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c out of memory 0 wit inspect 380     370     4500    15000 .99 0   - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 8.0 4.2 78 300
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c timeout 0 wit inspect 900     900     11000    1500 .99 0   - - error (invalid witness file) .52 .35 12   40 error (invalid witness file) 7.2 3.8 84 300
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c out of memory 0 wit inspect 230     220     2600    15000 .99 0   - - error (invalid witness file) .59 .39 14   43 error (invalid witness file) 6.7 3.5 85 290
termination-numeric/LogRecursive_true-termination_true-no-overflow.c true 1 wit inspect 41     41     440    1400 .84 0   - - error (recursion) 4.0  2.2  48   240 timeout 960   790   16000 4700
termination-numeric/Parts_true-termination_true-no-overflow.c timeout 0 wit inspect 900     900     8200    990 .99 0   - - error (invalid witness file) .52 .33 12   41 error (invalid witness file) 5.9 3.1 100 310
termination-numeric/TwoWay_true-termination_true-no-overflow.c timeout 0 wit inspect 900     900     5500    14000 .99 0   - - error (invalid witness file) .51 .33 12   39 error (invalid witness file) 6.2 3.4 96 300
termination-numeric/gcd01_true-termination_true-no-overflow.c timeout 0 wit inspect 900     900     10000    600 .99 0   - - error (invalid witness file) .53 .35 11   41 error (invalid witness file) 7.4 3.9 77 300
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true 2 wit inspect 3.6   3.6   48    540 .99 0   - - true 4.4  2.4  82   270 true 70   42   1200 1000
termination-numeric/recHanoi02_true-termination_true-no-overflow.c true 1 wit inspect 12     12     140    250 .99 0   - - error (recursion) 3.5  2.0  57   240 timeout 960   800   15000 4000
termination-numeric/rec_counter1_true-termination_true-no-overflow.c timeout 0 wit inspect 900     900     10000    13000 .99 0   - - error (invalid witness file) .50 .31 7.5 39 error (invalid witness file) 7.7 4.0 83 300
termination-numeric/rec_counter3_true-termination_true-no-overflow.c timeout 0 wit inspect 900     900     9800    12000 .84 0   - - error (invalid witness file) .54 .35 12   41 error (invalid witness file) 7.5 4.0 71 300
termination-numeric/twisted_true-termination_true-no-overflow.c unknown 0 wit inspect .078 .077 .82 23 .99 0   - - error (invalid witness file) .51 .33 12   44 error (invalid witness file) 7.8 4.1 59 300
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
total 274 279 31000 31000 350000 380000 260   0   274 690 450 15000 42000   274 1400 790 20000 54000   274 6300 5900 120000 63000   274 4100 3100 73000 56000  
    correct results 209 276 340 340 3800 8600 200   0   132 480 270 9400 34000   142 1200 640 16000 46000   60 5800 5400 110000 53000   67 880 500 13000 29000  
        correct true 67 134 72 72 980 3600 64   0   14 0 0 0 0   12 0 0 0 0   52 5800 5400 110000 53000   67 880 500 13000 29000  
        correct false 142 142 260 260 2900 5000 130   0   118 480 270 9400 34000   130 1200 640 16000 46000   8 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 12 3 340 340 3600 4000 12   0   5 210 180 5200 7700   8 210 140 3500 7300   0 520 490 6400 7500   0 2900 2400 56000 13000  
        correct-unconfirmed true 3 3 53 53 590 1700 2.8 0   5 0 0 0 0   8 0 0 0 0   0 520 490 6400 7500   0 2900 2400 56000 13000  
        correct-unconfirmed false 9 0 290 290 3000 2300 8.9 0   0 210 180 5200 7700   0 210 140 3500 7300   0 0 0 0 0   0 0 0 0 0  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (274 tasks, max score: 393) 279
Run set sv-comp17.Overflows-BitVectors