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

                                                                               
Processing trace data; reading 1 dtrace file:

[20:04:30]: Reading D:\workshop\t2framework\repos\experiments\strucOracles\daik
[20:04:30]: 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 Examples.Triangle():::ENTER]
===========================================================================
Examples.Triangle():::EXIT  552 samples
    Variables: exception return
exception == ""		(552 samples)
return != null		(552 samples)
[No samples for isEquilateral():::ENTER]
===========================================================================
isEquilateral():::EXIT  124 samples
    Variables: exception return return.TRUE return.FALSE return.TYPE
exception == ""		(124 samples)
return.TRUE == true		(124 samples)
return.FALSE == false		(124 samples)
return.TYPE has only one value		(124 samples)
return.TYPE != null		(124 samples)
[No samples for isIsoleces():::ENTER]
===========================================================================
isIsoleces():::EXIT  161 samples
    Variables: exception return return.TRUE return.FALSE return.TYPE
exception == ""		(161 samples)
return.TRUE == true		(161 samples)
return.FALSE == false		(161 samples)
return.TYPE has only one value		(161 samples)
return.TYPE != null		(161 samples)
[No samples for isScalene():::ENTER]
===========================================================================
isScalene():::EXIT  161 samples
    Variables: exception return return.TRUE return.FALSE return.TYPE
exception == ""		(161 samples)
return.TRUE == true		(161 samples)
return.FALSE == false		(161 samples)
return.TYPE has only one value		(161 samples)
return.TYPE != null		(161 samples)
===========================================================================
setA(double):::ENTER  904 samples
    Variables: arg0
===========================================================================
setA(double):::EXIT  904 samples
    Variables: arg0 exception return orig(arg0)
      Unmodified variables: arg0
arg0 == orig(arg0)		(904 samples)
exception one of { "", "java.lang.IllegalArgumentException" }		(904 samples)
return != null		(904 samples)
===========================================================================
setB(double):::ENTER  881 samples
    Variables: arg0
===========================================================================
setB(double):::EXIT  881 samples
    Variables: arg0 exception return orig(arg0)
      Unmodified variables: arg0
arg0 == orig(arg0)		(881 samples)
exception one of { "", "java.lang.IllegalArgumentException" }		(881 samples)
return != null		(881 samples)
===========================================================================
setC(double):::ENTER  931 samples
    Variables: arg0
===========================================================================
setC(double):::EXIT  931 samples
    Variables: arg0 exception return orig(arg0)
      Unmodified variables: arg0
arg0 == orig(arg0)		(931 samples)
exception one of { "", "java.lang.IllegalArgumentException" }		(931 samples)
return != null		(931 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: 203 = 164
  falsified_invariants = 88
  non_falsified_invariants = 76 = 26
    unjustified = 0
      too_few_samples_invariants = 0
      unjustified_invariants = 0
    implied = 0
      non_canonical_invariants = 0
      obvious_invariants = 0
    reported_invariants = 26
Exiting Daikon.