Tool impara 0.45
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.2.0-23-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-01-13 07:41:14 CET [[ 2016-01-15 09:11:00 CET ]] [[ 2016-01-15 22:23:23 CET ]]
Run set sv-comp16.BitVectorsOverflows
Options --eager --graphml-cex error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/impara.2016-01-13_0741.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/impara.2016-01-13_0741.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]]
../../sv-benchmarks/c/signedintegeroverflow-regression/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime wit1_walltime wit1_memUsage (MB) wit2_status wit2_cputime wit2_walltime wit2_memUsage (MB)
AdditionIntMax_false-no-overflow.c.i true .084 .087 24 wit - -
Multiplication_false-no-overflow.c.i true .13  .14  25 wit - -
NoConversion_false-no-overflow.c.i true .13  .13  24 wit - -
PostfixDecrement_false-no-overflow.c.i true .12  .12  25 wit - -
PostfixIncrement_false-no-overflow.c.i true .11  .11  24 wit - -
PrefixDecrement_false-no-overflow.c.i true .15  .15  24 wit - -
PrefixIncrement_false-no-overflow.c.i true .10  .11  25 wit - -
UnaryMinus_false-no-overflow.c.i true .089 .094 25 wit - -
ConversionToSignedInt_true-no-overflow.c.i true .13  .14  24 wit - -
IntegerPromotion_true-no-overflow.c.i true .10  .11  24 wit - -
Multiplication_true-no-overflow.c.i true .12  .12  25 wit - -
UsualArithmeticConversions_true-no-overflow.c.i true .12  .12  24 wit - -
../../sv-benchmarks/c/signedintegeroverflow-regression/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime wit1_walltime wit1_memUsage (MB) wit2_status wit2_cputime wit2_walltime wit2_memUsage (MB)
total tasks 12 1.4  1.4  290 12 0   12 0  
    correct results 4 .48 .49 98 0 0   0 0  
        correct true 4 .48 .49 98 0 0   0 0  
        correct false 0
    incorrect results 8 .91 .94 200 0 0   0 0  
        incorrect true 8 .91 .94 200 0 0   0 0  
        incorrect false 0
score (12 tasks, max score: 16) -248
Run set sv-comp16.BitVectorsOverflows