Tool ULTIMATE Automizer f7c3ed31
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-14 07:34:03 CET [[ 2017-01-15 06:02:28 CET ]] [[ 2017-01-15 06:17:25 CET ]] [[ 2017-01-15 06:02:42 CET ]] [[ 2017-01-15 06:18:28 CET ]]
Run set sv-comp17.Overflows-BitVectors
Options [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-14_0734.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-14_0734.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-14_0734.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-14_0734.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 5.5 1.8 48 330 2.5 0      false(no-overflow) 4.1  2.3  79   250 false(no-overflow) 6.7 3.6 150 320 - -
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) 1 wit inspect 6.9 1.9 55 340 2.5 0      false(no-overflow) 4.1  2.3  75   250 false(no-overflow) 8.1 4.3 170 320 - -
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) 1 wit inspect 6.4 1.8 55 330 2.5 0      false(no-overflow) 4.2  2.3  82   250 false(no-overflow) 7.3 3.9 150 320 - -
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) 1 wit inspect 6.0 1.8 44 330 2.5 0      false(no-overflow) 4.0  2.2  71   260 false(no-overflow) 7.4 4.0 140 320 - -
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) 1 wit inspect 5.6 1.8 49 330 2.5 0      false(no-overflow) 3.9  2.2  74   240 false(no-overflow) 8.0 4.2 140 330 - -
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect 6.2 1.9 46 350 2.5 0      false(no-overflow) 4.4  2.4  73   260 false(no-overflow) 7.6 4.0 150 320 - -
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect 5.9 1.8 42 330 2.5 0      false(no-overflow) 4.0  2.2  74   260 false(no-overflow) 7.4 3.9 140 320 - -
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect 5.5 1.8 47 320 2.5 0      false(no-overflow) 3.9  2.2  74   240 false(no-overflow) 7.2 3.9 130 310 - -
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect 5.5 1.7 39 320 2.7 0      false(no-overflow) 4.0  2.2  75   240 false(no-overflow) 7.1 3.8 130 310 - -
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) 1 wit inspect 5.8 1.8 44 330 2.5 0      false(no-overflow) 4.0  2.2  76   250 false(no-overflow) 7.2 3.8 150 320 - -
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow.c.i true 2 wit inspect 5.4 1.8 43 320 2.5 0      - - true 3.7  2.1  44   260 true 7.2 3.8 140 310
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow.c.i true 2 wit inspect 5.6 1.9 45 330 2.5 0      - - true 3.8  2.1  65   250 true 6.9 3.8 130 310
signedintegeroverflow-regression/Multiplication_true-no-overflow.c.i true 2 wit inspect 5.3 1.7 44 310 2.5 0      - - true 4.1  2.3  64   270 true 7.2 3.8 130 320
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow.c.i true 2 wit inspect 5.2 1.7 38 320 2.5 0      - - true 3.9  2.2  63   260 true 6.7 3.6 130 310
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow.c.i true 2 wit inspect 5.5 1.8 40 310 2.5 0      - - true 4.1  2.3  92   250 true 6.8 3.7 130 310
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) 1 wit inspect 5.3 1.8 47 320 2.5 .0082 false(no-overflow) 3.2  1.8  74   230 false(no-overflow) 8.1 4.3 140 330 - -
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) 1 wit inspect 5.3 1.7 42 320 2.5 0      false(no-overflow) 3.4  1.9  62   240 false(no-overflow) 7.6 4.1 160 320 - -
termination-crafted/Ackermann_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.9 42 310 2.5 0      false(no-overflow) 3.5  1.9  69   240 false(no-overflow) 8.1 4.3 150 320 - -
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) 1 wit inspect 5.7 1.8 49 310 2.5 0      true 3.0  1.7  50   230 false(no-overflow) 7.2 3.8 150 310 - -
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) 1 wit inspect 6.0 1.8 48 330 2.5 0      false(no-overflow) 3.2  1.8  68   230 false(no-overflow) 7.8 4.1 140 330 - -
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) 1 wit inspect 6.1 1.9 46 320 2.5 0      false(no-overflow) 3.0  1.7  25   240 false(no-overflow) 7.6 4.1 140 330 - -
termination-crafted/Binary_Search_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.7 38 320 2.5 0      false(no-overflow) 3.2  1.8  71   240 false(no-overflow) 7.5 4.0 160 320 - -
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) 1 wit inspect 6.0 1.9 50 330 2.5 0      false(no-overflow) 3.2  1.8  56   240 false(no-overflow) 7.7 4.2 160 320 - -
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) 1 wit inspect 5.8 1.9 45 330 2.5 0      false(no-overflow) 3.1  1.8  69   230 false(no-overflow) 7.3 3.9 150 320 - -
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) 1 wit inspect 6.2 1.9 44 340 2.5 0      false(no-overflow) 3.2  1.8  67   230 false(no-overflow) 8.7 4.6 160 330 - -
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) 1 wit inspect 5.4 1.8 44 320 2.5 0      true 3.1  1.8  59   240 false(no-overflow) 7.1 3.9 150 310 - -
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.8 41 320 2.5 0      false(no-overflow) 3.2  1.8  65   230 false(no-overflow) 7.7 4.0 160 310 - -
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) 1 wit inspect 5.7 1.8 42 320 2.5 0      false(no-overflow) 3.3  1.8  40   240 false(no-overflow) 7.2 3.8 140 310 - -
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) 1 wit inspect 5.7 1.7 47 320 2.5 0      false(no-overflow) 3.0  1.7  66   240 false(no-overflow) 7.1 3.8 140 310 - -
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) 1 wit inspect 5.7 1.8 47 330 2.5 0      false(no-overflow) 3.2  1.8  71   240 false(no-overflow) 7.6 4.1 150 320 - -
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) 1 wit inspect 5.6 1.9 43 330 2.5 0      false(no-overflow) 3.1  1.8  70   240 false(no-overflow) 7.4 4.0 150 320 - -
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.7 41 320 2.5 0      false(no-overflow) 3.3  1.9  69   230 false(no-overflow) 7.8 4.2 150 320 - -
termination-crafted/NestedRecursion_1a_false-no-overflow.c false(no-overflow) 1 wit inspect 5.6 1.8 41 320 2.5 0      false(no-overflow) 3.3  1.9  73   240 false(no-overflow) 7.7 4.1 150 320 - -
termination-crafted/NestedRecursion_2a_false-no-overflow.c false(no-overflow) 1 wit inspect 6.1 2.0 46 330 2.5 0      error (recursion) 3.2  1.8  65   250 false(no-overflow) 8.2 4.4 160 320 - -
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) 1 wit inspect 5.9 1.8 48 330 2.5 0      false(no-overflow) 3.2  1.9  65   230 false(no-overflow) 6.8 3.6 130 310 - -
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) 1 wit inspect 5.9 1.9 41 310 2.5 0      false(no-overflow) 3.1  1.8  62   230 false(no-overflow) 8.1 4.2 160 320 - -
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) 1 wit inspect 23   8.1 180 710 2.6 0      false(no-overflow) 4.3  2.4  69   250 false(no-overflow) 8.1 4.4 160 310 - -
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) 1 wit inspect 5.3 1.8 47 310 2.5 0      false(no-overflow) 3.2  1.8  69   240 false(no-overflow) 6.5 3.6 140 310 - -
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.8 42 310 2.5 0      false(no-overflow) 3.1  1.8  68   230 false(no-overflow) 7.1 3.8 140 320 - -
termination-crafted/NonTerminationSimple4_false-no-overflow.c timeout 0 wit inspect 900   750   14000 2400 2.3 0      error (invalid witness file) .53 .34 11   40 error (invalid witness file) 6.1 3.2 120 300 - -
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) 1 wit inspect 5.8 1.9 45 320 2.7 0      false(no-overflow) 3.2  1.9  67   230 false(no-overflow) 7.1 3.8 140 310 - -
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) 1 wit inspect 5.4 1.8 45 310 2.5 0      false(no-overflow) 3.1  1.8  53   230 false(no-overflow) 7.1 3.7 150 320 - -
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.7 42 320 2.5 0      false(no-overflow) 3.1  1.8  61   240 false(no-overflow) 7.1 3.8 130 320 - -
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) 1 wit inspect 5.7 1.8 49 320 2.5 0      false(no-overflow) 3.4  1.9  78   250 false(no-overflow) 8.1 4.2 160 320 - -
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) 1 wit inspect 5.7 1.9 42 320 2.5 0      false(no-overflow) 3.2  1.8  70   240 false(no-overflow) 8.0 4.2 160 320 - -
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) 1 wit inspect 5.3 1.8 41 310 2.5 0      false(no-overflow) 3.2  1.8  67   230 false(no-overflow) 7.3 4.0 150 320 - -
termination-crafted/RecursiveMultiplication_false-no-overflow.c false(no-overflow) 1 wit inspect 5.6 1.7 48 330 2.5 0      error (recursion) 3.3  1.9  67   260 false(no-overflow) 7.4 4.0 140 320 - -
termination-crafted/RecursiveNonterminating_false-no-overflow.c false(no-overflow) 1 wit inspect 5.3 1.8 41 320 2.5 0      false(no-overflow) 3.2  1.8  68   240 false(no-overflow) 7.2 3.8 140 310 - -
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) 1 wit inspect 5.3 1.7 45 320 2.5 0      true 2.9  1.7  56   230 false(no-overflow) 6.9 3.7 140 310 - -
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.9 43 320 2.5 0      false(no-overflow) 3.1  1.8  61   230 false(no-overflow) 7.1 3.8 130 320 - -
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) 1 wit inspect 6.6 1.8 55 340 2.5 0      false(no-overflow) 3.2  1.8  63   240 false(no-overflow) 7.2 3.8 150 310 - -
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) 1 wit inspect 5.4 1.8 41 320 2.5 0      false(no-overflow) 3.1  1.8  72   240 false(no-overflow) 7.6 4.1 160 320 - -
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) 1 wit inspect 5.6 1.8 42 330 2.5 0      false(no-overflow) 3.1  1.8  69   240 false(no-overflow) 7.6 4.0 140 330 - -
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) 1 wit inspect 5.4 1.8 40 310 2.5 0      true 3.1  1.8  69   230 false(no-overflow) 7.2 3.8 130 310 - -
termination-crafted/Thun_false-no-overflow.c false(no-overflow) 1 wit inspect 5.8 1.7 48 320 2.5 0      false(no-overflow) 3.2  1.8  68   240 false(no-overflow) 7.2 3.8 140 320 - -
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) 1 wit inspect 6.4 2.0 47 340 2.5 0      false(no-overflow) 3.3  1.9  75   240 false(no-overflow) 8.0 4.3 150 320 - -
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) 1 wit inspect 14   4.2 120 500 2.5 0      false(no-overflow) 3.7  2.1  69   240 false(no-overflow) 8.8 4.8 170 340 - -
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect 5.8 1.9 45 330 2.5 0      false(no-overflow) 3.3  1.9  56   240 false(no-overflow) 7.5 4.0 150 320 - -
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect 6.1 1.8 46 330 2.5 0      true 2.9  1.7  64   230 false(no-overflow) 8.6 4.5 160 330 - -
termination-crafted/4BitCounterPointer_true-no-overflow.c true 2 wit inspect 5.5 1.8 49 320 2.5 0      - - true 4.6  2.5  93   280 true 7.1 3.9 140 320
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow.c timeout 0 wit inspect 900   730   11000 5100 2.3 0      - - error (invalid witness file) .54 .35 11   42 error (invalid witness file) 6.1 3.2 120 310
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow.c true 2 wit inspect 5.5 1.8 39 340 2.6 0      - - false(no-overflow) 3.9  2.2  81   290 true 7.9 4.2 140 320
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow.c true 2 wit inspect 6.7 2.1 51 330 2.5 0      - - timeout 900    860    13000   5000 true 8.8 4.8 150 350
termination-crafted/Bangalore_true-no-overflow.c true 2 wit inspect 6.5 2.0 58 330 2.5 0      - - true 3.8  2.2  59   270 true 8.3 4.4 150 340
termination-crafted/Bangalore_v2_true-no-overflow.c true 2 wit inspect 6.3 2.0 49 330 2.5 0      - - true 3.8  2.1  50   300 true 8.1 4.3 150 320
termination-crafted/Bangalore_v4_true-no-overflow.c true 2 wit inspect 6.2 1.9 49 330 2.5 0      - - false(no-overflow) 3.8  2.1  83   280 true 8.3 4.5 160 330
termination-crafted/Benghazi_true-no-overflow.c true 2 wit inspect 850   730   10000 8500 2.5 0      - - true 4.3  2.4  83   280 true 92   57   970 1300
termination-crafted/Cairo_step2_true-no-overflow.c timeout 0 wit inspect 900   750   12000 2300 2.3 0      - - error (invalid witness file) .51 .32 9.5 39 error (invalid witness file) 6.7 3.5 130 320
termination-crafted/Cairo_true-no-overflow.c true 2 wit inspect 6.3 2.0 50 320 2.6 0      - - true 3.8  2.1  59   280 true 7.7 4.2 150 330
termination-crafted/Copenhagen_true-no-overflow.c true 2 wit inspect 6.9 2.2 58 330 2.5 0      - - true 4.2  2.3  68   290 true 8.5 4.6 160 320
termination-crafted/Division_true-no-overflow.c true 2 wit inspect 5.8 1.9 43 320 2.5 0      - - true 4.6  2.6  61   280 true 7.1 3.9 140 320
termination-crafted/LexIndexValue-Array_true-no-overflow.c timeout 0 wit inspect 900   730   13000 3900 2.3 0      - - error (invalid witness file) .52 .33 9.9 41 error (invalid witness file) 5.9 3.1 110 300
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c timeout 0 wit inspect 900   730   11000 5300 2.3 0      - - error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.1 3.2 120 310
termination-crafted/Madrid_true-no-overflow.c true 2 wit inspect 6.2 1.9 48 320 2.5 0      - - true 3.5  2.0  45   270 true 6.2 3.3 130 300
termination-crafted/McCarthy91_Iteration_true-no-overflow.c timeout 0 wit inspect 900   800   13000 3600 2.3 0      - - error (invalid witness file) .49 .32 7.0 39 error (invalid witness file) 6.8 3.6 130 320
termination-crafted/McCarthy91_Recursion_true-no-overflow.c true 2 wit inspect 7.9 2.4 61 370 2.5 0      - - error (recursion) 3.1  1.8  43   240 true 10   5.4 170 350
termination-crafted/MenloPark_true-no-overflow.c true 2 wit inspect 12   3.5 99 490 2.5 0      - - true 3.8  2.1  49   270 true 16   8.9 190 550
termination-crafted/MutualRecursion_1a_true-no-overflow.c true 2 wit inspect 11   2.9 90 490 2.5 0      - - error (recursion) 3.7  2.1  77   250 true 12   6.8 190 390
termination-crafted/MutualRecursion_1b_true-no-overflow.c true 2 wit inspect 13   4.0 110 670 2.9 0      - - error (recursion) 3.6  2.0  68   260 true 19   11   270 580
termination-crafted/NestedRecursion_1b_true-no-overflow.c true 2 wit inspect 12   3.5 92 500 2.5 0      - - error (recursion) 3.6  2.0  71   250 true 16   8.8 240 550
termination-crafted/NestedRecursion_1c_true-no-overflow.c true 2 wit inspect 9.9 2.8 74 470 2.5 0      - - error (recursion) 3.6  2.0  44   260 true 15   8.2 260 400
termination-crafted/NestedRecursion_1d_true-no-overflow.c true 2 wit inspect 13   3.6 110 700 2.5 0      - - error (recursion) 3.1  1.8  41   250 true 18   9.8 230 530
termination-crafted/NestedRecursion_2b_true-no-overflow.c timeout 0 wit inspect 900   740   14000 3500 2.3 0      - - error (invalid witness file) .51 .33 11   42 error (invalid witness file) 6.3 3.4 130 310
termination-crafted/NestedRecursion_2c_true-no-overflow.c timeout 0 wit inspect 900   730   11000 1700 2.3 0      - - error (invalid witness file) .69 .44 11   39 error (invalid witness file) 6.0 3.2 130 300
termination-crafted/NonTermination3_true-no-overflow.c true 2 wit inspect 5.6 1.8 44 320 2.5 0      - - true 4.0  2.3  64   290 true 6.7 3.6 140 310
termination-crafted/NonTerminationSimple7_true-no-overflow.c true 2 wit inspect 5.7 1.9 44 320 2.5 0      - - true 3.7  2.1  47   280 true 7.8 4.2 140 320
termination-crafted/Nyala-2lex_true-no-overflow.c true 2 wit inspect 6.7 2.0 52 330 2.5 0      - - true 4.2  2.4  89   280 true 7.9 4.3 170 330
termination-crafted/Parallel_true-no-overflow.c true 2 wit inspect 5.9 1.9 47 320 2.5 0      - - true 4.2  2.4  66   280 true 7.9 4.2 150 310
termination-crafted/Piecewise_true-no-overflow.c true 2 wit inspect 5.8 1.9 50 330 2.5 0      - - true 4.8  2.7  90   300 true 7.8 4.2 150 330
termination-crafted/SyntaxSupportPointer01_true-no-overflow.c true 2 wit inspect 6.1 2.0 50 330 2.5 0      - - exception 3.3  1.8  63   260 true 9.1 4.9 140 350
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow.c true 2 wit inspect 6.4 2.0 48 320 2.5 0      - - true 6.0  3.3  72   280 true 8.7 4.7 180 320
termination-crafted/Waldkirch_true-no-overflow.c true 2 wit inspect 6.0 2.0 45 320 2.5 0      - - true 3.7  2.0  46   280 true 8.0 4.2 150 330
termination-crafted/WhileFalse_true-no-overflow.c true 2 wit inspect 5.8 1.7 45 340 2.5 0      - - true 3.4  1.9  80   270 true 7.0 3.7 140 310
termination-crafted/WhileTrue_true-no-overflow.c true 2 wit inspect 5.9 1.7 45 330 2.5 0      - - true 3.6  2.0  59   280 true 7.0 3.7 130 310
termination-crafted/easy1_true-no-overflow.c true 2 wit inspect 5.9 1.9 49 320 2.5 0      - - true 4.1  2.3  71   280 true 8.0 4.3 150 320
termination-crafted/easy2_true-no-overflow.c timeout 0 wit inspect 900   760   13000 5300 2.3 0      - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 5.7 3.1 120 300
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) 1 wit inspect 5.8 1.8 41 340 2.5 0      false(no-overflow) 3.1  1.7  53   240 false(no-overflow) 7.3 3.9 150 320 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) 1 wit inspect 7.0 2.0 56 350 2.5 0      false(no-overflow) 3.5  1.9  65   240 false(no-overflow) 7.8 4.1 150 320 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect 6.4 1.9 48 340 2.5 0      false(no-overflow) 3.1  1.8  52   230 false(no-overflow) 7.6 4.0 150 330 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect 6.5 1.9 50 350 2.5 0      false(no-overflow) 3.3  1.8  76   230 false(no-overflow) 7.7 4.1 160 320 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) 1 wit inspect 6.6 2.1 46 330 2.5 0      false(no-overflow) 3.4  1.9  68   230 false(no-overflow) 7.9 4.2 160 320 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) 1 wit inspect 6.3 1.8 43 350 2.5 0      false(no-overflow) 3.4  1.9  60   240 false(no-overflow) 7.5 4.0 140 320 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) 1 wit inspect 6.9 2.1 46 330 2.7 0      false(no-overflow) 3.3  1.9  57   230 false(no-overflow) 8.9 4.7 170 340 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) 1 wit inspect 6.0 1.9 45 320 2.5 0      false(no-overflow) 3.3  1.9  75   230 false(no-overflow) 7.6 4.0 150 310 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_false-no-overflow.c false(no-overflow) 1 wit inspect 30   12   280 920 2.6 0      false(no-overflow) 4.6  2.5  81   260 out of memory 72   43   570 7000 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) 1 wit inspect 6.2 1.9 47 340 2.5 0      false(no-overflow) 3.1  1.8  64   230 false(no-overflow) 7.7 4.1 150 320 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.9 44 320 2.5 0      false(no-overflow) 3.3  1.9  66   240 false(no-overflow) 7.7 4.0 150 320 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) 1 wit inspect 6.0 1.9 53 330 2.5 0      false(no-overflow) 3.2  1.8  54   240 false(no-overflow) 7.3 3.9 150 310 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) 1 wit inspect 6.1 1.9 53 320 2.5 0      false(no-overflow) 3.2  1.8  68   240 false(no-overflow) 8.2 4.3 170 320 - -
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) 1 wit inspect 6.3 1.9 49 330 2.6 0      false(no-overflow) 3.2  1.8  71   240 false(no-overflow) 7.8 4.2 150 320 - -
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect 5.9 2.0 45 320 2.5 0      false(no-overflow) 3.4  1.9  69   240 false(no-overflow) 8.0 4.3 150 330 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) 1 wit inspect 5.3 1.8 47 320 2.5 0      false(no-overflow) 3.2  1.8  62   240 false(no-overflow) 7.9 4.2 160 320 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) 1 wit inspect 5.6 1.8 48 320 2.5 0      false(no-overflow) 3.7  2.1  74   240 false(no-overflow) 7.3 3.9 130 320 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect 6.6 1.9 48 350 2.5 0      false(no-overflow) 3.2  1.8  61   230 false(no-overflow) 7.4 3.9 140 320 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect 6.2 1.9 54 330 2.5 0      false(no-overflow) 3.1  1.8  62   230 false(no-overflow) 7.6 4.0 160 320 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) 1 wit inspect 5.6 1.8 43 320 2.5 0      true 3.0  1.7  51   230 false(no-overflow) 8.1 4.3 160 320 - -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.8 48 330 2.5 0      false(no-overflow) 3.2  1.8  62   230 false(no-overflow) 7.7 4.1 140 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) 1 wit inspect 5.7 1.8 45 330 2.5 0      false(no-overflow) 3.2  1.9  62   230 false(no-overflow) 7.5 4.0 140 330 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) 1 wit inspect 5.4 1.7 45 320 2.5 0      false(no-overflow) 3.4  1.9  76   240 false(no-overflow) 7.5 4.0 140 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) 1 wit inspect 5.7 1.9 46 320 2.5 0      false(no-overflow) 3.3  1.9  66   240 false(no-overflow) 8.0 4.3 150 340 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) 1 wit inspect 6.3 1.9 50 340 2.5 0      false(no-overflow) 3.2  1.8  59   230 false(no-overflow) 7.0 3.7 150 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) 1 wit inspect 5.8 1.8 50 340 2.5 0      false(no-overflow) 3.3  1.9  63   240 false(no-overflow) 6.8 3.6 44 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) 1 wit inspect 7.2 2.0 53 360 2.5 0      false(no-overflow) 3.2  1.8  69   230 false(no-overflow) 7.3 3.9 150 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) 1 wit inspect 6.4 2.0 51 340 2.5 0      false(no-overflow) 3.3  1.9  61   240 false(no-overflow) 8.1 4.3 160 330 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) 1 wit inspect 5.3 1.8 43 320 2.5 0      false(no-overflow) 3.2  1.8  70   230 false(no-overflow) 7.5 4.0 150 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) 1 wit inspect 5.4 1.8 44 320 2.5 0      false(no-overflow) 3.2  1.8  51   240 false(no-overflow) 7.3 3.9 150 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) 1 wit inspect 5.4 1.8 42 320 2.5 0      false(no-overflow) 3.2  1.8  63   240 false(no-overflow) 7.2 3.9 160 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) 1 wit inspect 5.6 1.9 42 320 2.5 0      false(no-overflow) 3.1  1.8  65   240 false(no-overflow) 7.1 3.8 150 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) 1 wit inspect 5.7 1.8 49 310 2.5 0      false(no-overflow) 3.2  1.8  64   230 false(no-overflow) 6.7 3.6 130 300 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) 1 wit inspect 5.4 1.8 47 310 2.5 0      true 3.1  1.7  63   230 false(no-overflow) 8.5 4.5 170 340 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) 1 wit inspect 6.0 1.9 52 340 2.5 0      true 3.0  1.7  67   230 false(no-overflow) 8.3 4.5 150 340 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) 1 wit inspect 5.8 1.9 44 330 2.5 0      false(no-overflow) 3.4  1.9  72   230 false(no-overflow) 7.8 4.2 150 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) 1 wit inspect 6.2 1.9 46 340 2.5 0      false(no-overflow) 3.2  1.8  74   230 false(no-overflow) 7.3 3.9 150 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) 1 wit inspect 5.7 1.8 47 330 2.5 0      false(no-overflow) 3.2  1.8  63   240 false(no-overflow) 6.8 3.7 130 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) 1 wit inspect 5.4 1.8 44 310 2.5 0      false(no-overflow) 3.1  1.8  68   240 false(no-overflow) 7.5 4.0 160 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) 1 wit inspect 5.6 1.8 42 340 2.5 0      false(no-overflow) 3.3  1.9  75   240 false(no-overflow) 7.3 3.9 150 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) 1 wit inspect 5.3 1.7 38 310 2.5 0      false(no-overflow) 3.2  1.8  68   240 false(no-overflow) 7.3 3.9 140 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) 1 wit inspect 6.0 1.9 43 340 2.5 0      false(no-overflow) 3.3  1.9  75   230 false(no-overflow) 7.6 4.0 160 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) 1 wit inspect 6.1 1.8 49 330 2.5 0      true 2.8  1.6  63   230 false(no-overflow) 7.2 3.9 150 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) 1 wit inspect 5.4 1.8 42 310 2.5 0      true 3.0  1.7  68   240 false(no-overflow) 7.2 3.9 140 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.8 42 320 2.5 0      false(no-overflow) 3.4  1.9  64   240 false(no-overflow) 7.1 3.8 140 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) 1 wit inspect 5.4 1.8 43 310 2.5 0      false(no-overflow) 3.2  1.8  75   240 false(no-overflow) 7.1 3.8 150 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) 1 wit inspect 5.9 1.8 47 330 2.5 0      false(no-overflow) 3.3  1.9  71   250 false(no-overflow) 7.0 3.8 140 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) 1 wit inspect 5.4 1.8 43 310 2.5 0      false(no-overflow) 3.1  1.8  68   240 false(no-overflow) 7.1 3.8 130 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.8 45 320 2.5 0      false(no-overflow) 3.1  1.8  67   230 false(no-overflow) 7.3 3.9 130 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) 1 wit inspect 6.1 1.9 50 340 2.5 0      false(no-overflow) 3.3  1.9  67   240 false(no-overflow) 8.1 4.2 160 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) 1 wit inspect 5.8 1.7 46 330 2.5 0      false(no-overflow) 3.2  1.8  58   240 false(no-overflow) 7.3 3.9 150 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) 1 wit inspect 6.5 1.8 53 330 2.5 0      false(no-overflow) 3.1  1.8  67   230 false(no-overflow) 7.4 4.0 150 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) 1 wit inspect 6.9 1.9 49 340 2.5 0      false(no-overflow) 3.3  1.9  68   240 false(no-overflow) 7.4 4.0 160 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) 1 wit inspect 5.3 1.8 47 310 2.5 0      false(no-overflow) 3.2  1.8  63   230 false(no-overflow) 7.3 3.9 140 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) 1 wit inspect 5.3 1.8 44 320 2.5 0      false(no-overflow) 3.3  1.9  71   240 false(no-overflow) 6.7 3.6 140 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.8 45 320 2.5 0      false(no-overflow) 3.2  1.8  71   240 false(no-overflow) 7.3 3.9 140 320 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) 1 wit inspect 5.7 1.8 52 330 2.5 0      false(no-overflow) 3.1  1.8  68   230 false(no-overflow) 7.3 3.9 150 310 - -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect 6.3 1.9 43 340 2.5 0      false(no-overflow) 3.3  1.9  69   240 false(no-overflow) 7.5 4.0 140 320 - -
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect 6.9 2.0 58 350 2.5 0      false(no-overflow) 3.2  1.8  53   230 false(no-overflow) 6.9 3.8 130 320 - -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) 1 wit inspect 6.4 2.0 46 330 2.5 0      false(no-overflow) 3.2  1.8  69   240 false(no-overflow) 7.5 4.0 160 320 - -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.8 43 320 2.5 0      false(no-overflow) 3.0  1.7  39   240 false(no-overflow) 7.4 4.0 160 320 - -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.8 41 310 2.5 0      false(no-overflow) 3.2  1.8  61   240 false(no-overflow) 7.5 4.0 130 330 - -
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect 6.1 1.9 42 340 2.5 0      false(no-overflow) 3.3  1.9  71   230 false(no-overflow) 7.8 4.1 160 310 - -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect 7.2 2.2 57 320 2.5 0      false(no-overflow) 3.8  2.1  76   230 false(no-overflow) 7.5 4.0 160 310 - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect 5.3 1.8 46 320 2.5 0      false(no-overflow) 3.1  1.8  68   230 false(no-overflow) 8.1 4.3 170 320 - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) 1 wit inspect 6.0 1.9 48 320 2.5 0      true 2.9  1.7  51   230 false(no-overflow) 8.3 4.5 170 320 - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) 1 wit inspect 5.4 1.7 41 340 2.5 0      false(no-overflow) 3.1  1.8  63   240 false(no-overflow) 7.2 3.8 160 320 - -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) 1 wit inspect 6.0 1.8 52 330 2.5 0      false(no-overflow) 3.3  1.9  66   240 false(no-overflow) 7.2 3.9 160 320 - -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c false(no-overflow) 1 wit inspect 6.6 2.0 51 340 2.5 0      error (recursion) 3.2  1.8  69   250 false(no-overflow) 8.8 4.7 170 350 - -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c false(no-overflow) 1 wit inspect 6.0 2.0 47 320 2.5 0      error (recursion) 3.3  1.9  66   250 false(no-overflow) 7.0 3.8 160 310 - -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.8 43 320 2.5 0      false(no-overflow) 3.6  2.0  67   260 false(no-overflow) 7.4 3.9 150 320 - -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect 5.4 1.8 41 320 2.5 0      error (recursion) 3.2  1.8  71   250 false(no-overflow) 7.3 3.9 140 320 - -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) 1 wit inspect 5.9 1.8 41 330 2.5 0      false(no-overflow) 3.2  1.9  74   240 false(no-overflow) 7.1 3.8 130 310 - -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.8 42 320 2.5 0      false(no-overflow) 3.2  1.8  68   230 false(no-overflow) 7.5 4.0 150 320 - -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect 6.3 1.8 49 340 2.5 0      false(no-overflow) 3.3  1.8  70   230 false(no-overflow) 7.8 4.1 160 320 - -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.8 45 320 2.5 0      true 3.0  1.7  54   240 false(no-overflow) 7.2 3.8 150 320 - -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.7 43 320 2.5 0      false(no-overflow) 3.1  1.8  67   230 false(no-overflow) 7.0 3.8 140 320 - -
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect 5.6 1.8 40 320 2.5 0      false(no-overflow) 3.2  1.8  62   230 false(no-overflow) 7.4 3.9 160 310 - -
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) 1 wit inspect 5.8 1.8 42 340 2.5 0      false(no-overflow) 3.3  1.8  63   230 false(no-overflow) 7.6 4.0 150 320 - -
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) 1 wit inspect 6.2 1.9 52 330 2.5 0      false(no-overflow) 3.1  1.8  60   240 false(no-overflow) 7.0 3.8 130 310 - -
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.8 47 320 2.5 0      true 3.2  1.8  61   240 false(no-overflow) 6.8 3.7 140 310 - -
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) 1 wit inspect 6.0 1.9 47 330 2.5 0      true 3.1  1.8  64   230 false(no-overflow) 7.6 4.1 140 320 - -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_false-no-overflow.c false(no-overflow) 1 wit inspect 30   12   260 700 2.6 0      false(no-overflow) 4.4  2.4  63   260 out of memory 70   42   660 7000 - -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 1 wit inspect 6.2 2.0 44 320 2.5 0      true 3.1  1.8  68   240 false(no-overflow) 7.5 4.0 160 320 - -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect 6.8 2.0 54 340 2.5 0      true 3.0  1.7  65   240 false(no-overflow) 6.8 3.7 130 300 - -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 1 wit inspect 6.7 2.1 55 340 2.5 0      true 3.1  1.8  62   240 false(no-overflow) 8.2 4.4 150 330 - -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c false(no-overflow) 1 wit inspect 6.4 1.8 51 350 2.5 0      false(no-overflow) 3.3  1.9  78   250 false(no-overflow) 7.6 4.0 160 320 - -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) 1 wit inspect 5.9 1.8 47 330 2.5 0      false(no-overflow) 3.1  1.8  40   230 false(no-overflow) 7.5 4.0 150 320 - -
termination-crafted-lit/cstrncmp_false-no-overflow.c false(no-overflow) 1 wit inspect 6.8 2.1 54 330 2.5 0      true 4.2  2.3  68   280 false(no-overflow) 8.4 4.6 170 340 - -
termination-crafted-lit/gcd1_false-no-overflow.c false(no-overflow) 1 wit inspect 6.0 1.9 48 330 2.5 0      false(no-overflow) 3.1  1.8  61   230 false(no-overflow) 7.4 4.0 140 310 - -
termination-crafted-lit/joey_false-no-overflow.c false(no-overflow) 1 wit inspect 5.8 1.9 50 330 2.5 0      false(no-overflow) 3.5  2.0  77   250 false(no-overflow) 7.7 4.1 150 320 - -
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) 1 wit inspect 6.0 1.7 43 320 2.5 0      false(no-overflow) 3.3  1.9  71   250 false(no-overflow) 7.1 3.9 140 320 - -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 0 wit inspect 900   810   12000 2300 2.3 0      - - error (invalid witness file) .48 .31 10   39 error (invalid witness file) 6.3 3.3 120 300
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true 2 wit inspect 6.1 2.0 52 320 2.5 0      - - true 4.2  2.3  67   280 true 9.2 5.0 160 360
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true 2 wit inspect 5.8 1.9 48 320 2.5 0      - - true 3.9  2.2  60   280 true 7.7 4.2 140 320
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c timeout 0 wit inspect 900   760   14000 5200 2.3 0      - - error (invalid witness file) .60 .38 9.0 40 error (invalid witness file) 6.6 3.5 130 320
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c timeout 0 wit inspect 900   830   13000 1900 2.3 0      - - error (invalid witness file) .49 .31 7.6 40 error (invalid witness file) 5.8 3.1 120 300
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c timeout 0 wit inspect 900   610   8500 8400 2.3 0      - - error (invalid witness file) .51 .33 6.9 40 error (invalid witness file) 6.1 3.3 120 300
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true 2 wit inspect 100   70   1100 4500 2.8 0      - - true 730    710    15000   3700 true 46   27   410 2100
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true 2 wit inspect 6.2 2.1 51 320 2.5 0      - - true 4.2  2.3  46   280 true 9.6 5.2 180 360
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true 2 wit inspect 7.2 2.2 51 350 2.5 0      - - true 4.4  2.5  78   270 true 9.1 5.0 190 340
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true 2 wit inspect 6.6 2.1 54 330 2.5 0      - - true 4.0  2.2  35   300 true 9.9 5.3 190 360
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true 2 wit inspect 6.3 2.0 49 330 2.5 0      - - timeout 900    870    14000   4800 true 8.4 4.4 160 310
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true 2 wit inspect 6.5 2.0 56 330 2.5 0      - - timeout 900    860    10000   4900 true 10   5.5 200 350
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c true 2 wit inspect 8.6 2.5 63 410 2.5 0      - - true 5.1  2.8  38   280 true 10   5.7 170 350
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c timeout 0 wit inspect 900   770   12000 3900 2.3 0      - - error (invalid witness file) .49 .31 8.5 40 error (invalid witness file) 6.3 3.3 120 300
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c true 2 wit inspect 8.9 2.8 75 480 2.5 0      - - true 3.9  2.2  68   280 true 9.0 4.9 190 310
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c true 2 wit inspect 8.9 2.7 69 480 2.5 0      - - true 4.3  2.4  87   280 true 9.6 5.3 150 350
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c true 2 wit inspect 6.9 2.2 55 340 2.5 0      - - true 4.3  2.3  38   280 true 11   5.8 170 370
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c timeout 0 wit inspect 900   800   13000 4000 2.3 0      - - error (invalid witness file) .54 .35 12   42 error (invalid witness file) 5.8 3.1 110 300
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c true 2 wit inspect 16   4.5 110 610 2.5 0      - - true 3.9  2.2  80   280 true 22   12   370 590
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true 2 wit inspect 5.9 1.8 43 320 2.5 0      - - true 4.0  2.2  68   270 true 7.6 4.1 140 320
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c timeout 0 wit inspect 900   760   12000 5300 2.3 0      - - error (invalid witness file) .47 .30 6.6 39 error (invalid witness file) 6.2 3.3 130 300
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c timeout 0 wit inspect 900   610   8500 8500 2.3 0      - - error (invalid witness file) .51 .32 10   42 error (invalid witness file) 6.2 3.2 130 310
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c true 2 wit inspect 100   70   1300 4400 2.6 0      - - true 720    700    9400   4100 true 47   27   480 2100
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c true 2 wit inspect 6.1 1.8 45 330 2.5 0      - - true 3.9  2.2  64   280 true 7.0 3.7 150 310
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c true 2 wit inspect 5.8 1.9 48 320 2.5 0      - - false(no-overflow) 3.8  2.2  87   280 true 8.0 4.2 140 320
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c true 2 wit inspect 6.5 2.1 49 330 2.5 0      - - true 3.9  2.2  67   280 true 8.2 4.4 160 350
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c true 2 wit inspect 5.9 1.9 48 330 2.5 0      - - true 6.1  3.4  68   280 true 7.3 4.0 150 310
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c true 2 wit inspect 6.3 1.9 44 320 2.5 0      - - true 4.6  2.6  75   280 true 9.0 4.8 170 350
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c true 2 wit inspect 6.2 2.0 47 330 2.5 0      - - true 5.2  2.8  55   280 true 8.4 4.5 160 350
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c true 2 wit inspect 7.6 2.3 53 370 2.5 0      - - false(no-overflow) 3.9  2.2  69   290 true 8.9 4.8 160 350
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c true 2 wit inspect 6.1 2.0 44 320 2.5 0      - - true 4.2  2.3  72   280 true 7.8 4.3 150 310
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c true 2 wit inspect 6.3 2.0 46 330 2.5 0      - - false(no-overflow) 3.5  2.0  30   280 true 8.9 4.8 170 350
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c true 2 wit inspect 91   45   920 3600 2.5 0      - - true 5.9  3.2  43   300 true 120   77   1300 2900
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 0 wit inspect 900   790   12000 4100 2.3 0      - - error (invalid witness file) .52 .34 6.1 39 error (invalid witness file) 5.7 3.0 110 290
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c true 2 wit inspect 6.6 1.9 49 340 2.5 0      - - true 4.3  2.4  66   280 true 7.5 4.1 160 320
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c true 2 wit inspect 15   4.6 140 560 2.5 0      - - true 3.8  2.1  47   270 true 23   13   290 620
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c true 2 wit inspect 6.1 1.9 44 330 2.5 0      - - true 3.8  2.1  48   280 true 7.9 4.2 150 320
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c true 2 wit inspect 6.9 2.2 53 330 2.6 0      - - true 3.7  2.1  47   270 true 9.1 4.9 170 330
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c true 2 wit inspect 7.3 2.0 52 370 2.5 0      - - true 4.1  2.3  96   280 true 8.5 4.6 170 320
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c timeout 0 wit inspect 900   740   11000 5300 2.3 0      - - error (invalid witness file) .50 .33 10   43 error (invalid witness file) 6.2 3.3 120 300
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c true 2 wit inspect 6.2 1.9 43 320 2.5 0      - - true 4.4  2.5  73   280 true 7.8 4.2 150 320
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c true 2 wit inspect 7.3 2.1 49 330 2.5 0      - - false(no-overflow) 3.8  2.1  86   280 true 8.1 4.4 160 320
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout 0 wit inspect 900   820   13000 2700 2.3 0      - - error (invalid witness file) .51 .32 12   39 error (invalid witness file) 6.1 3.2 110 300
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c true 2 wit inspect 10   2.7 70 490 2.5 0      - - error (recursion) 3.3  1.9  56   240 true 12   6.3 180 350
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c timeout 0 wit inspect 900   740   13000 2200 2.3 0      - - error (invalid witness file) .48 .32 11   42 error (invalid witness file) 5.9 3.1 120 300
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c true 2 wit inspect 6.3 2.0 52 330 2.5 0      - - true 4.3  2.4  77   280 true 8.8 4.8 140 330
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c true 2 wit inspect 6.4 2.1 45 320 2.8 0      - - true 5.4  3.1  56   280 true 8.6 4.6 170 340
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true 2 wit inspect 5.5 1.7 43 320 2.6 0      - - true 3.6  2.1  63   270 true 7.7 4.2 160 320
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c true 2 wit inspect 6.5 1.8 50 350 2.5 0      - - true 4.0  2.2  90   280 true 7.6 4.1 150 330
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c true 2 wit inspect 7.6 2.1 54 340 2.5 0      - - true 4.0  2.3  64   280 true 8.6 4.6 150 350
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c true 2 wit inspect 5.9 2.0 51 320 2.5 0      - - true 4.2  2.4  77   280 true 7.7 4.2 150 330
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c true 2 wit inspect 5.7 1.9 44 320 2.5 0      - - true 4.5  2.5  50   270 true 7.9 4.2 140 330
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c true 2 wit inspect 6.5 2.0 52 330 2.5 0      - - out of memory 330    310    5000   7000 true 9.1 4.9 160 350
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c true 2 wit inspect 6.2 2.0 48 320 2.5 0      - - out of memory 350    330    4400   7000 true 9.6 5.1 150 350
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c true 2 wit inspect 7.4 2.3 58 340 2.8 0      - - true 5.7  3.1  87   290 true 8.9 4.8 160 350
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c true 2 wit inspect 6.1 2.0 53 320 2.5 0      - - true 4.7  2.6  64   270 true 7.1 3.9 120 330
termination-crafted-lit/aviad_true-termination_true-no-overflow.c timeout 0 wit inspect 900   740   12000 4000 2.3 0      - - error (invalid witness file) .51 .33 12   41 error (invalid witness file) 6.7 3.5 130 310
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c true 2 wit inspect 6.7 2.1 54 340 2.5 0      - - true 5.9  3.3  73   300 true 8.3 4.5 170 320
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c true 2 wit inspect 6.4 2.1 54 340 2.5 0      - - false(no-overflow) 4.9  2.7  57   320 true 8.3 4.4 130 320
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c true 2 wit inspect 7.0 2.1 58 340 2.5 0      - - false(no-overflow) 4.2  2.3  35   290 true 8.3 4.5 170 320
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c true 2 wit inspect 6.2 2.0 49 350 2.5 0      - - true 6.6  3.6  82   330 true 8.2 4.4 180 320
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c true 2 wit inspect 6.6 2.0 55 350 2.5 0      - - false(no-overflow) 5.2  2.9  110   320 true 8.1 4.3 130 330
termination-crafted-lit/genady_true-termination_true-no-overflow.c true 2 wit inspect 8.3 2.6 66 460 2.5 0      - - true 3.8  2.2  53   270 true 12   6.5 180 390
termination-crafted-lit/strchr_true-no-overflow.c true 2 wit inspect 6.1 2.0 47 330 2.5 0      - - true 5.1  2.8  55   300 true 8.0 4.3 150 320
termination-numeric/Addition01_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.7 43 340 2.5 0      error (recursion) 3.3  1.9  72   250 false(no-overflow) 7.4 4.0 140 310 - -
termination-numeric/Avg_true_false-no-overflow.c false(no-overflow) 1 wit inspect 6.1 1.8 51 330 2.5 0      false(no-overflow) 3.4  1.9  42   250 false(no-overflow) 8.2 4.3 140 320 - -
termination-numeric/Binomial_true-termination_false-no-overflow.c timeout 0 wit inspect 900   850   11000 2100 2.3 0      error (invalid witness file) .49 .31 8.9 39 error (invalid witness file) 6.0 3.2 120 300 - -
termination-numeric/Et1_true_false-no-overflow.c false(no-overflow) 1 wit inspect 6.3 1.9 53 340 2.5 0      false(no-overflow) 3.4  2.0  70   250 false(no-overflow) 8.2 4.3 160 320 - -
termination-numeric/Et2_true_false-no-overflow.c false(no-overflow) 1 wit inspect 6.3 1.9 51 340 2.5 0      false(no-overflow) 3.5  2.0  70   250 false(no-overflow) 7.6 4.1 150 310 - -
termination-numeric/Et3_true_false-no-overflow.c false(no-overflow) 1 wit inspect 6.2 1.8 44 350 2.5 0      false(no-overflow) 3.5  2.0  68   260 false(no-overflow) 7.6 4.0 140 330 - -
termination-numeric/Et4_true_false-no-overflow.c false(no-overflow) 1 wit inspect 5.5 1.8 45 320 2.5 0      false(no-overflow) 3.5  2.0  66   250 false(no-overflow) 6.9 3.8 140 320 - -
termination-numeric/MultCommutative_false-no-overflow.c false(no-overflow) 1 wit inspect 8.8 2.7 65 470 2.8 0      error (invalid witness file) 2.5  1.4  40   170 false(no-overflow) 23   12   310 540 - -
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c unknown 0 wit inspect 98   87   1100 1100 2.5 0      error (invalid witness file) .53 .35 12   40 error (invalid witness file) 6.3 3.3 120 300 - -
termination-numeric/Ackermann01_true-termination_true-no-overflow.c timeout 0 wit inspect 900   700   11000 7300 2.3 0      - - error (invalid witness file) .50 .32 9.7 39 error (invalid witness file) 6.3 3.3 130 300
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c timeout 0 wit inspect 900   740   13000 3100 2.3 0      - - error (invalid witness file) .50 .31 8.7 39 error (invalid witness file) 6.1 3.2 120 300
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c timeout 0 wit inspect 900   820   13000 5800 2.3 0      - - error (invalid witness file) .52 .33 9.8 41 error (invalid witness file) 5.9 3.2 120 300
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c true 2 wit inspect 6.3 2.0 55 320 2.5 0      - - error (recursion) 3.1  1.8  26   240 true 7.8 4.3 150 310
termination-numeric/LogRecursive_true-termination_true-no-overflow.c timeout 0 wit inspect 900   730   14000 4600 2.3 0      - - error (invalid witness file) .50 .32 10   40 error (invalid witness file) 6.1 3.3 120 300
termination-numeric/Parts_true-termination_true-no-overflow.c timeout 0 wit inspect 900   770   11000 5300 2.3 0      - - error (invalid witness file) .53 .34 11   40 error (invalid witness file) 6.0 3.2 120 300
termination-numeric/TwoWay_true-termination_true-no-overflow.c unknown 0 wit inspect 14   6.1 130 490 2.5 0      - - error (invalid witness file) .48 .32 13   39 error (invalid witness file) 6.2 3.3 120 300
termination-numeric/gcd01_true-termination_true-no-overflow.c true 2 wit inspect 7.4 2.2 64 340 2.5 0      - - error (recursion) 4.2  2.4  47   250 true 8.6 4.6 150 310
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true 2 wit inspect 42   15   350 1400 2.5 0      - - true 3.9  2.2  70   270 true 57   35   720 1100
termination-numeric/recHanoi02_true-termination_true-no-overflow.c timeout 0 wit inspect 900   720   12000 2100 2.3 0      - - error (invalid witness file) .53 .34 9.7 39 error (invalid witness file) 6.7 3.6 140 310
termination-numeric/rec_counter1_true-termination_true-no-overflow.c timeout 0 wit inspect 900   740   11000 5400 2.3 0      - - error (invalid witness file) .52 .33 9.9 42 error (invalid witness file) 6.4 3.4 130 320
termination-numeric/rec_counter3_true-termination_true-no-overflow.c timeout 0 wit inspect 900   740   13000 5300 2.3 0      - - error (invalid witness file) .52 .33 9.6 39 error (invalid witness file) 5.7 3.0 120 290
termination-numeric/twisted_true-termination_true-no-overflow.c timeout 0 wit inspect 900   830   12000 1400 2.3 0      - - error (invalid witness file) .59 .36 8.4 40 error (invalid witness file) 5.9 3.2 120 290
../../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 328 32000 26000 410000 240000 690 .0082 274 500 290 10000 36000   274 1300 700 24000 63000   274 5200 4800 76000 60000   274 1300 740 21000 48000  
    correct results 240 328 2700 1400 26000 100000 610 .0082 145 500 280 10000 36000   150 1300 690 24000 62000   73 5200 4800 76000 59000   88 1100 640 17000 39000  
        correct true 88 176 1800 1100 18000 52000 220 0      18 0 0 0 0   0 0 0 0 0   64 5200 4800 76000 59000   88 1100 640 17000 39000  
        correct false 152 152 970 310 7700 51000 380 .0082 127 500 280 10000 36000   150 1300 690 24000 62000   9 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (274 tasks, max score: 393) 328
Run set sv-comp17.Overflows-BitVectors