Daikon version 5.2.4, released May 1, 2015; http://plse.cs.washington.edu/daikon.
Reading declaration files 
[20:09:48]:                                                                    
                                                                               

                                                                               
Processing trace data; reading 1 dtrace file:

[20:09:49]: Reading D:\workshop\t2framework\repos\experiments\strucOracles\daik
[20:09:49]: Finished reading D:\workshop\t2framework\repos\experiments\strucOra

                                                                               
The --output_num_samples debugging flag is on.
Some of the debugging output may only make sense to Daikon programmers.
[No samples for Sequenic.T2.XPool():::ENTER]
===========================================================================
Sequenic.T2.XPool():::EXIT  600 samples
    Variables: exception return
exception == ""		(600 samples)
return != null		(600 samples)
===========================================================================
get(int):::ENTER  245 samples
    Variables: arg0
===========================================================================
get(int):::EXIT  245 samples
    Variables: arg0 exception return return.fst return.snd orig(arg0)
      Unmodified variables: arg0
arg0 == orig(arg0)		(245 samples)
exception == ""		(245 samples)
return != null		(245 samples)
return.fst one of { "", "sponge" }		(245 samples)
return.snd one of { "", "bob" }		(245 samples)
exception == return.fst		(245 samples)
exception == return.snd		(245 samples)
return.fst >= return.snd		(245 samples)
===========================================================================
getIndex(Class):::ENTER  265 samples
    Variables: arg0
arg0 != null		(265 samples)
===========================================================================
getIndex(Class):::EXIT  265 samples
    Variables: arg0 exception return return.MIN_VALUE return.MAX_VALUE return.TYPE return.SIZE return.BYTES orig(arg0)
      Modified variables: arg0
arg0 != null		(265 samples)
exception one of { "", "java.lang.IllegalArgumentException" }		(265 samples)
return one of { 0, 1 }		(265 samples)
return.MIN_VALUE one of { -2147483648, 0 }		(265 samples)
return.MAX_VALUE one of { 0, 2147483647 }		(265 samples)
return.TYPE != null		(265 samples)
return.SIZE one of { 0, 32 }		(265 samples)
return.BYTES one of { 0, 4 }		(265 samples)
return >= return.MIN_VALUE		(265 samples)
return <= return.MAX_VALUE		(265 samples)
return <= return.SIZE		(265 samples)
return <= return.BYTES		(265 samples)
return.MIN_VALUE <= return.MAX_VALUE		(265 samples)
return.MIN_VALUE <= return.SIZE		(265 samples)
return.MIN_VALUE <= return.BYTES		(265 samples)
return.MAX_VALUE >= return.SIZE		(265 samples)
return.MAX_VALUE >= return.BYTES		(265 samples)
return.SIZE >= return.BYTES		(265 samples)
[No samples for get_objectCount():::ENTER]
===========================================================================
get_objectCount():::EXIT  223 samples
    Variables: exception return return.MIN_VALUE return.MAX_VALUE return.TYPE return.SIZE return.BYTES
exception == ""		(223 samples)
return >= 0		(223 samples)
return.MIN_VALUE == -2147483648		(223 samples)
return.MAX_VALUE == 2147483647		(223 samples)
return.TYPE has only one value		(223 samples)
return.TYPE != null		(223 samples)
return.SIZE == 32		(223 samples)
return.BYTES == 4		(223 samples)
return > return.MIN_VALUE		(223 samples)
return < return.MAX_VALUE		(223 samples)
return < return.SIZE		(223 samples)
===========================================================================
put(Object):::ENTER  1142 samples
    Variables: arg0
arg0 != null		(1142 samples)
===========================================================================
put(Object):::EXIT  1142 samples
    Variables: arg0 exception return return.MIN_VALUE return.MAX_VALUE return.TYPE return.SIZE return.BYTES orig(arg0)
      Modified variables: arg0
arg0 != null		(1142 samples)
exception one of { "", "java.lang.IllegalArgumentException" }		(1142 samples)
return >= 0		(1142 samples)
return.MIN_VALUE one of { -2147483648, 0 }		(1142 samples)
return.MAX_VALUE one of { 0, 2147483647 }		(1142 samples)
return.TYPE != null		(1142 samples)
return.SIZE one of { 0, 32 }		(1142 samples)
return.BYTES one of { 0, 4 }		(1142 samples)
return >= return.MIN_VALUE		(1142 samples)
return <= return.MAX_VALUE		(1142 samples)
return <= return.SIZE		(1142 samples)
return.MIN_VALUE <= return.MAX_VALUE		(1142 samples)
return.MIN_VALUE <= return.SIZE		(1142 samples)
return.MIN_VALUE <= return.BYTES		(1142 samples)
return.MAX_VALUE >= return.SIZE		(1142 samples)
return.MAX_VALUE >= return.BYTES		(1142 samples)
return.SIZE >= return.BYTES		(1142 samples)
[No samples for reset():::ENTER]
===========================================================================
reset():::EXIT  1017 samples
    Variables: exception return
exception == ""		(1017 samples)
return != null		(1017 samples)
===========================================================================
Variables:
  non_canonical_variables = 0
  can_be_missing_variables = 0
  canonical_variables = 0
  total variables = 0
Derivation:
  derived_variables = 0
  suppressed derived variables = 0
    nonsensical_suppressed_derived_variables = 0
    tautological_suppressed_derived_variables = 0
Inference:
Non-instantiated: 0
  true = 0
    implied_noninstantiated_invariants = 0
    subexact_noninstantiated_invariants = 0
  false = 0
    implied_false_noninstantiated_invariants = 0
    partially_implied_invariants = 0
Instantiated: 833 = 659
  falsified_invariants = 383
  non_falsified_invariants = 276 = 60
    unjustified = 0
      too_few_samples_invariants = 0
      unjustified_invariants = 0
    implied = 0
      non_canonical_invariants = 0
      obvious_invariants = 0
    reported_invariants = 60
Exiting Daikon.