04:25:17.839 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->
04:25:17.842 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- Validates the specification, sets and definitions-->
04:25:17.842 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->

04:25:18.244 [main] INFO  org.jsxm.maven.plugin.facade.ValidateFacade - Validation completed successfully.!
04:25:18.256 [main] INFO  org.jsxm.maven.plugin.facade.InitializeJSXM - Testing directories
04:25:18.256 [main] INFO  org.jsxm.maven.plugin.facade.InitializeJSXM -   ---> Calc
04:25:18.295 [main] INFO  org.jsxm.maven.plugin.facade.InitializeJSXM - Compiling : Calc.xml
04:25:18.296 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->
04:25:18.296 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- Generates the java files from the XML specification Calc-->
04:25:18.296 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->

04:25:18.301 [main] WARN  org.jsxm.maven.plugin.facade.CompileFacade - There are no XSDTypes for compilation
04:25:18.301 [main] WARN  org.jsxm.maven.plugin.facade.CompileFacade - There are no dependent classes for compilation
04:25:18.301 [main] WARN  org.jsxm.maven.plugin.facade.CompileFacade - The path /Users/breath/Documents/changeJSXM/CalculatorAddition/src/spec/org/jsxm/examples/Calculator/Calc/specification does not contain any definition.

04:25:18.303 [main] ERROR org.jsxm.jsxmcore.util.XML - IOException : 
04:25:18.315 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - TYPES USED in the specification: 
04:25:18.315 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - Standard types: 
04:25:18.316 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - xs:int 
04:25:18.316 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - User defined types: 
04:25:18.316 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - 

04:25:18.316 [main] WARN  org.jsxm.jsxmcore.core.SXMBaseGeneration - 
Warning in the specification:
04:25:18.316 [main] WARN  org.jsxm.jsxmcore.core.SXMBaseGeneration - No <methods> tag.
04:25:18.316 [main] WARN  org.jsxm.jsxmcore.core.SXMBaseGeneration - 

04:25:18.316 [main] WARN  org.jsxm.jsxmcore.core.SXMBaseGeneration - 
Warning in the specification:
04:25:18.317 [main] WARN  org.jsxm.jsxmcore.core.SXMBaseGeneration - No <methods> tag.
04:25:18.317 [main] WARN  org.jsxm.jsxmcore.core.SXMBaseGeneration - 

04:25:18.318 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - [plus -> plusOut # [plusErr], d -> dOut # [d1Err, dNErr], eq -> eqOut # [eqErr]]
04:25:18.320 [main] INFO  org.jsxm.maven.plugin.facade.CompileFacade - --- Jsxm Specification Calc.xml compiled successfully ---

04:25:18.836 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->
04:25:18.836 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- Generates the XML file for tests-->
04:25:18.836 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->

04:25:18.837 [main] INFO  org.jsxm.maven.plugin.facade.TestGenerationFacade -            -->SXM     Class : CalcSXM.java
04:25:18.837 [main] INFO  org.jsxm.maven.plugin.facade.TestGenerationFacade -            -->SXMBase Class : CalcSXM_base.java

04:25:18.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - STATE COVER : [<>, <digit1>, <digit1,res>]
04:25:18.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - CHARACTERIZATION SET : [<digit1>, <add>]
04:25:18.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - FUNCTION SET : [digit1, digitN, add, res, resErr, addErr, dig1Err, digNErr]
04:25:18.855 [main] INFO  org.jsxm.jsxmcore.util.Various - ------------------------------------------------------------
04:25:18.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Generating test set sequences for the associated automaton.
04:25:18.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - S PHI[k+1] W
04:25:18.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Resulting sequences: <f1,...,fk,fk+1>, where <f1,...,fk> in Language
04:25:18.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - k = 2
04:25:18.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - PHI^n, n=0
04:25:18.856 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - PHI^n, n=1
04:25:18.856 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - PHI^n, n=2
04:25:18.864 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - PHI^n, n=3
04:25:18.881 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - 595 test cases
04:25:18.881 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #1: <digit1>
04:25:18.881 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #2: <add>
04:25:18.881 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #3: <digitN>
04:25:18.881 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #4: <res>
04:25:18.881 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #5: <digNErr>
04:25:18.881 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #6: <digit1,digit1>
04:25:18.881 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #7: <digit1,add>
04:25:18.881 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #8: <resErr,digit1>
04:25:18.881 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #9: <resErr,add>
04:25:18.882 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #10: <addErr,digit1>
04:25:18.882 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #11: <addErr,add>
04:25:18.882 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #12: <dig1Err,digit1>
04:25:18.882 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #13: <dig1Err,add>
04:25:18.882 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #14: <digit1,resErr>
04:25:18.882 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #15: <digit1,addErr>
04:25:18.882 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #16: <digit1,dig1Err>
04:25:18.882 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #17: <resErr,digitN>
04:25:18.882 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #18: <resErr,res>
04:25:18.883 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #19: <resErr,digNErr>
04:25:18.883 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #20: <addErr,digitN>
04:25:18.883 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #21: <addErr,res>
04:25:18.883 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #22: <addErr,digNErr>
04:25:18.883 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #23: <dig1Err,digitN>
04:25:18.883 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #24: <dig1Err,res>
04:25:18.883 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #25: <dig1Err,digNErr>
04:25:18.883 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #26: <digit1,res,digit1>
04:25:18.883 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #27: <digit1,res,add>
04:25:18.883 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #28: <digit1,digitN,digit1>
04:25:18.883 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #29: <digit1,digitN,add>
04:25:18.884 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #30: <digit1,add,digit1>
04:25:18.884 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #31: <digit1,add,add>
04:25:18.884 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #32: <digit1,digNErr,digit1>
04:25:18.884 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #33: <digit1,digNErr,add>
04:25:18.884 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #34: <digit1,res,digitN>
04:25:18.884 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #35: <digit1,res,res>
04:25:18.884 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #36: <digit1,res,addErr>
04:25:18.884 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #37: <digit1,res,digNErr>
04:25:18.884 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #38: <resErr,digit1,digit1>
04:25:18.885 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #39: <resErr,digit1,add>
04:25:18.885 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #40: <resErr,resErr,digit1>
04:25:18.885 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #41: <resErr,resErr,add>
04:25:18.885 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #42: <resErr,addErr,digit1>
04:25:18.885 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #43: <resErr,addErr,add>
04:25:18.885 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #44: <resErr,dig1Err,digit1>
04:25:18.885 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #45: <resErr,dig1Err,add>
04:25:18.885 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #46: <addErr,digit1,digit1>
04:25:18.885 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #47: <addErr,digit1,add>
04:25:18.885 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #48: <addErr,resErr,digit1>
04:25:18.885 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #49: <addErr,resErr,add>
04:25:18.886 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #50: <addErr,addErr,digit1>
04:25:18.886 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #51: <addErr,addErr,add>
04:25:18.886 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #52: <addErr,dig1Err,digit1>
04:25:18.886 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #53: <addErr,dig1Err,add>
04:25:18.886 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #54: <dig1Err,digit1,digit1>
04:25:18.886 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #55: <dig1Err,digit1,add>
04:25:18.886 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #56: <dig1Err,resErr,digit1>
04:25:18.886 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #57: <dig1Err,resErr,add>
04:25:18.886 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #58: <dig1Err,addErr,digit1>
04:25:18.886 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #59: <dig1Err,addErr,add>
04:25:18.887 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #60: <dig1Err,dig1Err,digit1>
04:25:18.887 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #61: <dig1Err,dig1Err,add>
04:25:18.887 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #62: <digit1,digitN,resErr>
04:25:18.887 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #63: <digit1,digitN,addErr>
04:25:18.887 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #64: <digit1,digitN,dig1Err>
04:25:18.887 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #65: <digit1,add,digitN>
04:25:18.887 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #66: <digit1,add,res>
04:25:18.887 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #67: <digit1,add,digNErr>
04:25:18.887 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #68: <digit1,digNErr,resErr>
04:25:18.888 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #69: <digit1,digNErr,addErr>
04:25:18.888 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #70: <digit1,digNErr,dig1Err>
04:25:18.888 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #71: <resErr,digit1,resErr>
04:25:18.888 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #72: <resErr,digit1,addErr>
04:25:18.888 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #73: <resErr,digit1,dig1Err>
04:25:18.888 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #74: <resErr,resErr,digitN>
04:25:18.888 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #75: <resErr,resErr,res>
04:25:18.888 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #76: <resErr,resErr,digNErr>
04:25:18.888 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #77: <resErr,addErr,digitN>
04:25:18.888 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #78: <resErr,addErr,res>
04:25:18.889 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #79: <resErr,addErr,digNErr>
04:25:18.889 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #80: <resErr,dig1Err,digitN>
04:25:18.889 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #81: <resErr,dig1Err,res>
04:25:18.889 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #82: <resErr,dig1Err,digNErr>
04:25:18.889 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #83: <addErr,digit1,resErr>
04:25:18.889 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #84: <addErr,digit1,addErr>
04:25:18.889 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #85: <addErr,digit1,dig1Err>
04:25:18.889 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #86: <addErr,resErr,digitN>
04:25:18.889 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #87: <addErr,resErr,res>
04:25:18.889 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #88: <addErr,resErr,digNErr>
04:25:18.890 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #89: <addErr,addErr,digitN>
04:25:18.890 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #90: <addErr,addErr,res>
04:25:18.890 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #91: <addErr,addErr,digNErr>
04:25:18.890 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #92: <addErr,dig1Err,digitN>
04:25:18.890 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #93: <addErr,dig1Err,res>
04:25:18.890 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #94: <addErr,dig1Err,digNErr>
04:25:18.890 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #95: <dig1Err,digit1,resErr>
04:25:18.890 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #96: <dig1Err,digit1,addErr>
04:25:18.890 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #97: <dig1Err,digit1,dig1Err>
04:25:18.890 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #98: <dig1Err,resErr,digitN>
04:25:18.890 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #99: <dig1Err,resErr,res>
04:25:18.891 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #100: <dig1Err,resErr,digNErr>
04:25:18.891 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #101: <dig1Err,addErr,digitN>
04:25:18.891 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #102: <dig1Err,addErr,res>
04:25:18.891 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #103: <dig1Err,addErr,digNErr>
04:25:18.891 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #104: <dig1Err,dig1Err,digitN>
04:25:18.891 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #105: <dig1Err,dig1Err,res>
04:25:18.891 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #106: <dig1Err,dig1Err,digNErr>
04:25:18.891 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #107: <digit1,res,digit1,digit1>
04:25:18.891 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #108: <digit1,res,digit1,add>
04:25:18.891 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #109: <digit1,res,add,digit1>
04:25:18.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #110: <digit1,res,add,add>
04:25:18.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #111: <digit1,res,resErr,digit1>
04:25:18.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #112: <digit1,res,resErr,add>
04:25:18.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #113: <digit1,res,dig1Err,digit1>
04:25:18.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #114: <digit1,res,dig1Err,add>
04:25:18.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #115: <digit1,digitN,digitN,digit1>
04:25:18.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #116: <digit1,digitN,digitN,add>
04:25:18.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #117: <digit1,digitN,add,digit1>
04:25:18.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #118: <digit1,digitN,add,add>
04:25:18.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #119: <digit1,digitN,res,digit1>
04:25:18.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #120: <digit1,digitN,res,add>
04:25:18.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #121: <digit1,digitN,digNErr,digit1>
04:25:18.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #122: <digit1,digitN,digNErr,add>
04:25:18.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #123: <digit1,add,digit1,digit1>
04:25:18.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #124: <digit1,add,digit1,add>
04:25:18.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #125: <digit1,add,resErr,digit1>
04:25:18.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #126: <digit1,add,resErr,add>
04:25:18.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #127: <digit1,add,addErr,digit1>
04:25:18.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #128: <digit1,add,addErr,add>
04:25:18.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #129: <digit1,add,dig1Err,digit1>
04:25:18.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #130: <digit1,add,dig1Err,add>
04:25:18.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #131: <digit1,digNErr,digitN,digit1>
04:25:18.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #132: <digit1,digNErr,digitN,add>
04:25:18.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #133: <digit1,digNErr,add,digit1>
04:25:18.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #134: <digit1,digNErr,add,add>
04:25:18.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #135: <digit1,digNErr,res,digit1>
04:25:18.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #136: <digit1,digNErr,res,add>
04:25:18.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #137: <digit1,digNErr,digNErr,digit1>
04:25:18.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #138: <digit1,digNErr,digNErr,add>
04:25:18.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #139: <digit1,res,digit1,resErr>
04:25:18.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #140: <digit1,res,digit1,addErr>
04:25:18.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #141: <digit1,res,digit1,dig1Err>
04:25:18.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #142: <digit1,res,add,digitN>
04:25:18.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #143: <digit1,res,add,res>
04:25:18.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #144: <digit1,res,add,digNErr>
04:25:18.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #145: <digit1,res,resErr,digitN>
04:25:18.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #146: <digit1,res,resErr,res>
04:25:18.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #147: <digit1,res,resErr,addErr>
04:25:18.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #148: <digit1,res,resErr,digNErr>
04:25:18.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #149: <digit1,res,dig1Err,digitN>
04:25:18.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #150: <digit1,res,dig1Err,res>
04:25:18.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #151: <digit1,res,dig1Err,addErr>
04:25:18.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #152: <digit1,res,dig1Err,digNErr>
04:25:18.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #153: <resErr,digit1,digitN,digit1>
04:25:18.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #154: <resErr,digit1,digitN,add>
04:25:18.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #155: <resErr,digit1,add,digit1>
04:25:18.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #156: <resErr,digit1,add,add>
04:25:18.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #157: <resErr,digit1,res,digit1>
04:25:18.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #158: <resErr,digit1,res,add>
04:25:18.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #159: <resErr,digit1,digNErr,digit1>
04:25:18.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #160: <resErr,digit1,digNErr,add>
04:25:18.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #161: <resErr,resErr,digit1,digit1>
04:25:18.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #162: <resErr,resErr,digit1,add>
04:25:18.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #163: <resErr,resErr,resErr,digit1>
04:25:18.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #164: <resErr,resErr,resErr,add>
04:25:18.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #165: <resErr,resErr,addErr,digit1>
04:25:18.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #166: <resErr,resErr,addErr,add>
04:25:18.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #167: <resErr,resErr,dig1Err,digit1>
04:25:18.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #168: <resErr,resErr,dig1Err,add>
04:25:18.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #169: <resErr,addErr,digit1,digit1>
04:25:18.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #170: <resErr,addErr,digit1,add>
04:25:18.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #171: <resErr,addErr,resErr,digit1>
04:25:18.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #172: <resErr,addErr,resErr,add>
04:25:18.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #173: <resErr,addErr,addErr,digit1>
04:25:18.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #174: <resErr,addErr,addErr,add>
04:25:18.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #175: <resErr,addErr,dig1Err,digit1>
04:25:18.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #176: <resErr,addErr,dig1Err,add>
04:25:18.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #177: <resErr,dig1Err,digit1,digit1>
04:25:18.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #178: <resErr,dig1Err,digit1,add>
04:25:18.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #179: <resErr,dig1Err,resErr,digit1>
04:25:18.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #180: <resErr,dig1Err,resErr,add>
04:25:18.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #181: <resErr,dig1Err,addErr,digit1>
04:25:18.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #182: <resErr,dig1Err,addErr,add>
04:25:18.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #183: <resErr,dig1Err,dig1Err,digit1>
04:25:18.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #184: <resErr,dig1Err,dig1Err,add>
04:25:18.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #185: <addErr,digit1,digitN,digit1>
04:25:18.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #186: <addErr,digit1,digitN,add>
04:25:18.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #187: <addErr,digit1,add,digit1>
04:25:18.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #188: <addErr,digit1,add,add>
04:25:18.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #189: <addErr,digit1,res,digit1>
04:25:18.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #190: <addErr,digit1,res,add>
04:25:18.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #191: <addErr,digit1,digNErr,digit1>
04:25:18.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #192: <addErr,digit1,digNErr,add>
04:25:18.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #193: <addErr,resErr,digit1,digit1>
04:25:18.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #194: <addErr,resErr,digit1,add>
04:25:18.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #195: <addErr,resErr,resErr,digit1>
04:25:18.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #196: <addErr,resErr,resErr,add>
04:25:18.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #197: <addErr,resErr,addErr,digit1>
04:25:18.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #198: <addErr,resErr,addErr,add>
04:25:18.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #199: <addErr,resErr,dig1Err,digit1>
04:25:18.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #200: <addErr,resErr,dig1Err,add>
04:25:18.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #201: <addErr,addErr,digit1,digit1>
04:25:18.901 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #202: <addErr,addErr,digit1,add>
04:25:18.901 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #203: <addErr,addErr,resErr,digit1>
04:25:18.901 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #204: <addErr,addErr,resErr,add>
04:25:18.901 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #205: <addErr,addErr,addErr,digit1>
04:25:18.901 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #206: <addErr,addErr,addErr,add>
04:25:18.901 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #207: <addErr,addErr,dig1Err,digit1>
04:25:18.901 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #208: <addErr,addErr,dig1Err,add>
04:25:18.901 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #209: <addErr,dig1Err,digit1,digit1>
04:25:18.901 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #210: <addErr,dig1Err,digit1,add>
04:25:18.901 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #211: <addErr,dig1Err,resErr,digit1>
04:25:18.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #212: <addErr,dig1Err,resErr,add>
04:25:18.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #213: <addErr,dig1Err,addErr,digit1>
04:25:18.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #214: <addErr,dig1Err,addErr,add>
04:25:18.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #215: <addErr,dig1Err,dig1Err,digit1>
04:25:18.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #216: <addErr,dig1Err,dig1Err,add>
04:25:18.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #217: <dig1Err,digit1,digitN,digit1>
04:25:18.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #218: <dig1Err,digit1,digitN,add>
04:25:18.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #219: <dig1Err,digit1,add,digit1>
04:25:18.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #220: <dig1Err,digit1,add,add>
04:25:18.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #221: <dig1Err,digit1,res,digit1>
04:25:18.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #222: <dig1Err,digit1,res,add>
04:25:18.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #223: <dig1Err,digit1,digNErr,digit1>
04:25:18.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #224: <dig1Err,digit1,digNErr,add>
04:25:18.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #225: <dig1Err,resErr,digit1,digit1>
04:25:18.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #226: <dig1Err,resErr,digit1,add>
04:25:18.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #227: <dig1Err,resErr,resErr,digit1>
04:25:18.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #228: <dig1Err,resErr,resErr,add>
04:25:18.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #229: <dig1Err,resErr,addErr,digit1>
04:25:18.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #230: <dig1Err,resErr,addErr,add>
04:25:18.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #231: <dig1Err,resErr,dig1Err,digit1>
04:25:18.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #232: <dig1Err,resErr,dig1Err,add>
04:25:18.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #233: <dig1Err,addErr,digit1,digit1>
04:25:18.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #234: <dig1Err,addErr,digit1,add>
04:25:18.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #235: <dig1Err,addErr,resErr,digit1>
04:25:18.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #236: <dig1Err,addErr,resErr,add>
04:25:18.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #237: <dig1Err,addErr,addErr,digit1>
04:25:18.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #238: <dig1Err,addErr,addErr,add>
04:25:18.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #239: <dig1Err,addErr,dig1Err,digit1>
04:25:18.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #240: <dig1Err,addErr,dig1Err,add>
04:25:18.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #241: <dig1Err,dig1Err,digit1,digit1>
04:25:18.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #242: <dig1Err,dig1Err,digit1,add>
04:25:18.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #243: <dig1Err,dig1Err,resErr,digit1>
04:25:18.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #244: <dig1Err,dig1Err,resErr,add>
04:25:18.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #245: <dig1Err,dig1Err,addErr,digit1>
04:25:18.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #246: <dig1Err,dig1Err,addErr,add>
04:25:18.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #247: <dig1Err,dig1Err,dig1Err,digit1>
04:25:18.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #248: <dig1Err,dig1Err,dig1Err,add>
04:25:18.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #249: <digit1,digitN,digitN,resErr>
04:25:18.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #250: <digit1,digitN,digitN,addErr>
04:25:18.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #251: <digit1,digitN,digitN,dig1Err>
04:25:18.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #252: <digit1,digitN,add,digitN>
04:25:18.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #253: <digit1,digitN,add,res>
04:25:18.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #254: <digit1,digitN,add,digNErr>
04:25:18.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #255: <digit1,digitN,res,digitN>
04:25:18.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #256: <digit1,digitN,res,res>
04:25:18.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #257: <digit1,digitN,res,addErr>
04:25:18.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #258: <digit1,digitN,res,digNErr>
04:25:18.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #259: <digit1,digitN,digNErr,resErr>
04:25:18.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #260: <digit1,digitN,digNErr,addErr>
04:25:18.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #261: <digit1,digitN,digNErr,dig1Err>
04:25:18.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #262: <digit1,add,digit1,resErr>
04:25:18.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #263: <digit1,add,digit1,addErr>
04:25:18.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #264: <digit1,add,digit1,dig1Err>
04:25:18.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #265: <digit1,add,resErr,digitN>
04:25:18.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #266: <digit1,add,resErr,res>
04:25:18.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #267: <digit1,add,resErr,digNErr>
04:25:18.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #268: <digit1,add,addErr,digitN>
04:25:18.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #269: <digit1,add,addErr,res>
04:25:18.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #270: <digit1,add,addErr,digNErr>
04:25:18.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #271: <digit1,add,dig1Err,digitN>
04:25:18.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #272: <digit1,add,dig1Err,res>
04:25:18.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #273: <digit1,add,dig1Err,digNErr>
04:25:18.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #274: <digit1,digNErr,digitN,resErr>
04:25:18.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #275: <digit1,digNErr,digitN,addErr>
04:25:18.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #276: <digit1,digNErr,digitN,dig1Err>
04:25:18.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #277: <digit1,digNErr,add,digitN>
04:25:18.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #278: <digit1,digNErr,add,res>
04:25:18.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #279: <digit1,digNErr,add,digNErr>
04:25:18.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #280: <digit1,digNErr,res,digitN>
04:25:18.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #281: <digit1,digNErr,res,res>
04:25:18.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #282: <digit1,digNErr,res,addErr>
04:25:18.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #283: <digit1,digNErr,res,digNErr>
04:25:18.909 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #284: <digit1,digNErr,digNErr,resErr>
04:25:18.909 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #285: <digit1,digNErr,digNErr,addErr>
04:25:18.909 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #286: <digit1,digNErr,digNErr,dig1Err>
04:25:18.909 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #287: <digit1,res,digit1,digitN,digit1>
04:25:18.909 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #288: <digit1,res,digit1,digitN,add>
04:25:18.909 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #289: <digit1,res,digit1,add,digit1>
04:25:18.909 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #290: <digit1,res,digit1,add,add>
04:25:18.909 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #291: <digit1,res,digit1,res,digit1>
04:25:18.909 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #292: <digit1,res,digit1,res,add>
04:25:18.909 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #293: <digit1,res,digit1,digNErr,digit1>
04:25:18.910 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #294: <digit1,res,digit1,digNErr,add>
04:25:18.910 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #295: <digit1,res,add,digit1,digit1>
04:25:18.910 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #296: <digit1,res,add,digit1,add>
04:25:18.910 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #297: <digit1,res,add,resErr,digit1>
04:25:18.910 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #298: <digit1,res,add,resErr,add>
04:25:18.910 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #299: <digit1,res,add,addErr,digit1>
04:25:18.910 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #300: <digit1,res,add,addErr,add>
04:25:18.910 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #301: <digit1,res,add,dig1Err,digit1>
04:25:18.910 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #302: <digit1,res,add,dig1Err,add>
04:25:18.910 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #303: <digit1,res,resErr,digit1,digit1>
04:25:18.911 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #304: <digit1,res,resErr,digit1,add>
04:25:18.911 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #305: <digit1,res,resErr,add,digit1>
04:25:18.911 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #306: <digit1,res,resErr,add,add>
04:25:18.911 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #307: <digit1,res,resErr,resErr,digit1>
04:25:18.911 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #308: <digit1,res,resErr,resErr,add>
04:25:18.911 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #309: <digit1,res,resErr,dig1Err,digit1>
04:25:18.911 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #310: <digit1,res,resErr,dig1Err,add>
04:25:18.911 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #311: <digit1,res,dig1Err,digit1,digit1>
04:25:18.911 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #312: <digit1,res,dig1Err,digit1,add>
04:25:18.911 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #313: <digit1,res,dig1Err,add,digit1>
04:25:18.911 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #314: <digit1,res,dig1Err,add,add>
04:25:18.912 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #315: <digit1,res,dig1Err,resErr,digit1>
04:25:18.912 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #316: <digit1,res,dig1Err,resErr,add>
04:25:18.912 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #317: <digit1,res,dig1Err,dig1Err,digit1>
04:25:18.912 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #318: <digit1,res,dig1Err,dig1Err,add>
04:25:18.912 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #319: <digit1,digitN,digitN,digitN,digit1>
04:25:18.912 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #320: <digit1,digitN,digitN,digitN,add>
04:25:18.912 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #321: <digit1,digitN,digitN,add,digit1>
04:25:18.912 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #322: <digit1,digitN,digitN,add,add>
04:25:18.912 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #323: <digit1,digitN,digitN,res,digit1>
04:25:18.912 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #324: <digit1,digitN,digitN,res,add>
04:25:18.913 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #325: <digit1,digitN,digitN,digNErr,digit1>
04:25:18.913 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #326: <digit1,digitN,digitN,digNErr,add>
04:25:18.913 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #327: <digit1,digitN,add,digit1,digit1>
04:25:18.913 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #328: <digit1,digitN,add,digit1,add>
04:25:18.913 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #329: <digit1,digitN,add,resErr,digit1>
04:25:18.913 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #330: <digit1,digitN,add,resErr,add>
04:25:18.913 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #331: <digit1,digitN,add,addErr,digit1>
04:25:18.913 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #332: <digit1,digitN,add,addErr,add>
04:25:18.913 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #333: <digit1,digitN,add,dig1Err,digit1>
04:25:18.913 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #334: <digit1,digitN,add,dig1Err,add>
04:25:18.914 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #335: <digit1,digitN,res,digit1,digit1>
04:25:18.914 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #336: <digit1,digitN,res,digit1,add>
04:25:18.914 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #337: <digit1,digitN,res,add,digit1>
04:25:18.914 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #338: <digit1,digitN,res,add,add>
04:25:18.914 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #339: <digit1,digitN,res,resErr,digit1>
04:25:18.914 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #340: <digit1,digitN,res,resErr,add>
04:25:18.914 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #341: <digit1,digitN,res,dig1Err,digit1>
04:25:18.914 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #342: <digit1,digitN,res,dig1Err,add>
04:25:18.914 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #343: <digit1,digitN,digNErr,digitN,digit1>
04:25:18.914 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #344: <digit1,digitN,digNErr,digitN,add>
04:25:18.915 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #345: <digit1,digitN,digNErr,add,digit1>
04:25:18.915 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #346: <digit1,digitN,digNErr,add,add>
04:25:18.915 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #347: <digit1,digitN,digNErr,res,digit1>
04:25:18.915 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #348: <digit1,digitN,digNErr,res,add>
04:25:18.915 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #349: <digit1,digitN,digNErr,digNErr,digit1>
04:25:18.915 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #350: <digit1,digitN,digNErr,digNErr,add>
04:25:18.915 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #351: <digit1,add,digit1,digitN,digit1>
04:25:18.915 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #352: <digit1,add,digit1,digitN,add>
04:25:18.915 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #353: <digit1,add,digit1,add,digit1>
04:25:18.915 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #354: <digit1,add,digit1,add,add>
04:25:18.916 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #355: <digit1,add,digit1,res,digit1>
04:25:18.916 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #356: <digit1,add,digit1,res,add>
04:25:18.916 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #357: <digit1,add,digit1,digNErr,digit1>
04:25:18.916 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #358: <digit1,add,digit1,digNErr,add>
04:25:18.916 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #359: <digit1,add,resErr,digit1,digit1>
04:25:18.916 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #360: <digit1,add,resErr,digit1,add>
04:25:18.916 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #361: <digit1,add,resErr,resErr,digit1>
04:25:18.916 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #362: <digit1,add,resErr,resErr,add>
04:25:18.916 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #363: <digit1,add,resErr,addErr,digit1>
04:25:18.916 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #364: <digit1,add,resErr,addErr,add>
04:25:18.916 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #365: <digit1,add,resErr,dig1Err,digit1>
04:25:18.917 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #366: <digit1,add,resErr,dig1Err,add>
04:25:18.917 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #367: <digit1,add,addErr,digit1,digit1>
04:25:18.917 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #368: <digit1,add,addErr,digit1,add>
04:25:18.917 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #369: <digit1,add,addErr,resErr,digit1>
04:25:18.917 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #370: <digit1,add,addErr,resErr,add>
04:25:18.917 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #371: <digit1,add,addErr,addErr,digit1>
04:25:18.917 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #372: <digit1,add,addErr,addErr,add>
04:25:18.917 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #373: <digit1,add,addErr,dig1Err,digit1>
04:25:18.917 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #374: <digit1,add,addErr,dig1Err,add>
04:25:18.917 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #375: <digit1,add,dig1Err,digit1,digit1>
04:25:18.918 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #376: <digit1,add,dig1Err,digit1,add>
04:25:18.918 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #377: <digit1,add,dig1Err,resErr,digit1>
04:25:18.918 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #378: <digit1,add,dig1Err,resErr,add>
04:25:18.918 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #379: <digit1,add,dig1Err,addErr,digit1>
04:25:18.918 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #380: <digit1,add,dig1Err,addErr,add>
04:25:18.918 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #381: <digit1,add,dig1Err,dig1Err,digit1>
04:25:18.918 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #382: <digit1,add,dig1Err,dig1Err,add>
04:25:18.918 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #383: <digit1,digNErr,digitN,digitN,digit1>
04:25:18.918 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #384: <digit1,digNErr,digitN,digitN,add>
04:25:18.918 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #385: <digit1,digNErr,digitN,add,digit1>
04:25:18.918 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #386: <digit1,digNErr,digitN,add,add>
04:25:18.919 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #387: <digit1,digNErr,digitN,res,digit1>
04:25:18.919 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #388: <digit1,digNErr,digitN,res,add>
04:25:18.919 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #389: <digit1,digNErr,digitN,digNErr,digit1>
04:25:18.919 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #390: <digit1,digNErr,digitN,digNErr,add>
04:25:18.919 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #391: <digit1,digNErr,add,digit1,digit1>
04:25:18.919 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #392: <digit1,digNErr,add,digit1,add>
04:25:18.919 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #393: <digit1,digNErr,add,resErr,digit1>
04:25:18.919 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #394: <digit1,digNErr,add,resErr,add>
04:25:18.919 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #395: <digit1,digNErr,add,addErr,digit1>
04:25:18.919 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #396: <digit1,digNErr,add,addErr,add>
04:25:18.919 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #397: <digit1,digNErr,add,dig1Err,digit1>
04:25:18.919 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #398: <digit1,digNErr,add,dig1Err,add>
04:25:18.920 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #399: <digit1,digNErr,res,digit1,digit1>
04:25:18.920 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #400: <digit1,digNErr,res,digit1,add>
04:25:18.920 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #401: <digit1,digNErr,res,add,digit1>
04:25:18.920 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #402: <digit1,digNErr,res,add,add>
04:25:18.920 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #403: <digit1,digNErr,res,resErr,digit1>
04:25:18.920 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #404: <digit1,digNErr,res,resErr,add>
04:25:18.920 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #405: <digit1,digNErr,res,dig1Err,digit1>
04:25:18.920 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #406: <digit1,digNErr,res,dig1Err,add>
04:25:18.920 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #407: <digit1,digNErr,digNErr,digitN,digit1>
04:25:18.920 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #408: <digit1,digNErr,digNErr,digitN,add>
04:25:18.920 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #409: <digit1,digNErr,digNErr,add,digit1>
04:25:18.921 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #410: <digit1,digNErr,digNErr,add,add>
04:25:18.921 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #411: <digit1,digNErr,digNErr,res,digit1>
04:25:18.921 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #412: <digit1,digNErr,digNErr,res,add>
04:25:18.921 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #413: <digit1,digNErr,digNErr,digNErr,digit1>
04:25:18.921 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #414: <digit1,digNErr,digNErr,digNErr,add>
04:25:18.921 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #415: <digit1,res,digit1,digitN,resErr>
04:25:18.921 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #416: <digit1,res,digit1,digitN,addErr>
04:25:18.921 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #417: <digit1,res,digit1,digitN,dig1Err>
04:25:18.921 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #418: <digit1,res,digit1,add,digitN>
04:25:18.921 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #419: <digit1,res,digit1,add,res>
04:25:18.921 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #420: <digit1,res,digit1,add,digNErr>
04:25:18.922 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #421: <digit1,res,digit1,res,digitN>
04:25:18.922 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #422: <digit1,res,digit1,res,res>
04:25:18.922 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #423: <digit1,res,digit1,res,addErr>
04:25:18.922 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #424: <digit1,res,digit1,res,digNErr>
04:25:18.922 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #425: <digit1,res,digit1,digNErr,resErr>
04:25:18.922 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #426: <digit1,res,digit1,digNErr,addErr>
04:25:18.922 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #427: <digit1,res,digit1,digNErr,dig1Err>
04:25:18.922 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #428: <digit1,res,add,digit1,resErr>
04:25:18.922 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #429: <digit1,res,add,digit1,addErr>
04:25:18.922 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #430: <digit1,res,add,digit1,dig1Err>
04:25:18.922 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #431: <digit1,res,add,resErr,digitN>
04:25:18.923 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #432: <digit1,res,add,resErr,res>
04:25:18.923 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #433: <digit1,res,add,resErr,digNErr>
04:25:18.923 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #434: <digit1,res,add,addErr,digitN>
04:25:18.923 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #435: <digit1,res,add,addErr,res>
04:25:18.923 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #436: <digit1,res,add,addErr,digNErr>
04:25:18.923 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #437: <digit1,res,add,dig1Err,digitN>
04:25:18.923 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #438: <digit1,res,add,dig1Err,res>
04:25:18.923 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #439: <digit1,res,add,dig1Err,digNErr>
04:25:18.923 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #440: <digit1,res,resErr,digit1,resErr>
04:25:18.923 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #441: <digit1,res,resErr,digit1,addErr>
04:25:18.923 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #442: <digit1,res,resErr,digit1,dig1Err>
04:25:18.924 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #443: <digit1,res,resErr,add,digitN>
04:25:18.924 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #444: <digit1,res,resErr,add,res>
04:25:18.924 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #445: <digit1,res,resErr,add,digNErr>
04:25:18.924 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #446: <digit1,res,resErr,resErr,digitN>
04:25:18.924 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #447: <digit1,res,resErr,resErr,res>
04:25:18.924 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #448: <digit1,res,resErr,resErr,addErr>
04:25:18.924 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #449: <digit1,res,resErr,resErr,digNErr>
04:25:18.924 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #450: <digit1,res,resErr,dig1Err,digitN>
04:25:18.924 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #451: <digit1,res,resErr,dig1Err,res>
04:25:18.924 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #452: <digit1,res,resErr,dig1Err,addErr>
04:25:18.924 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #453: <digit1,res,resErr,dig1Err,digNErr>
04:25:18.925 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #454: <digit1,res,dig1Err,digit1,resErr>
04:25:18.925 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #455: <digit1,res,dig1Err,digit1,addErr>
04:25:18.925 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #456: <digit1,res,dig1Err,digit1,dig1Err>
04:25:18.925 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #457: <digit1,res,dig1Err,add,digitN>
04:25:18.925 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #458: <digit1,res,dig1Err,add,res>
04:25:18.925 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #459: <digit1,res,dig1Err,add,digNErr>
04:25:18.925 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #460: <digit1,res,dig1Err,resErr,digitN>
04:25:18.925 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #461: <digit1,res,dig1Err,resErr,res>
04:25:18.925 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #462: <digit1,res,dig1Err,resErr,addErr>
04:25:18.925 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #463: <digit1,res,dig1Err,resErr,digNErr>
04:25:18.925 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #464: <digit1,res,dig1Err,dig1Err,digitN>
04:25:18.926 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #465: <digit1,res,dig1Err,dig1Err,res>
04:25:18.926 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #466: <digit1,res,dig1Err,dig1Err,addErr>
04:25:18.926 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #467: <digit1,res,dig1Err,dig1Err,digNErr>
04:25:18.926 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #468: <digit1,res,digit1,digitN,digitN,digit1>
04:25:18.926 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #469: <digit1,res,digit1,digitN,digitN,add>
04:25:18.926 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #470: <digit1,res,digit1,digitN,add,digit1>
04:25:18.926 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #471: <digit1,res,digit1,digitN,add,add>
04:25:18.926 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #472: <digit1,res,digit1,digitN,res,digit1>
04:25:18.926 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #473: <digit1,res,digit1,digitN,res,add>
04:25:18.926 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #474: <digit1,res,digit1,digitN,digNErr,digit1>
04:25:18.926 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #475: <digit1,res,digit1,digitN,digNErr,add>
04:25:18.927 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #476: <digit1,res,digit1,add,digit1,digit1>
04:25:18.927 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #477: <digit1,res,digit1,add,digit1,add>
04:25:18.927 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #478: <digit1,res,digit1,add,resErr,digit1>
04:25:18.927 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #479: <digit1,res,digit1,add,resErr,add>
04:25:18.927 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #480: <digit1,res,digit1,add,addErr,digit1>
04:25:18.927 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #481: <digit1,res,digit1,add,addErr,add>
04:25:18.927 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #482: <digit1,res,digit1,add,dig1Err,digit1>
04:25:18.927 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #483: <digit1,res,digit1,add,dig1Err,add>
04:25:18.927 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #484: <digit1,res,digit1,res,digit1,digit1>
04:25:18.927 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #485: <digit1,res,digit1,res,digit1,add>
04:25:18.927 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #486: <digit1,res,digit1,res,add,digit1>
04:25:18.928 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #487: <digit1,res,digit1,res,add,add>
04:25:18.928 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #488: <digit1,res,digit1,res,resErr,digit1>
04:25:18.928 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #489: <digit1,res,digit1,res,resErr,add>
04:25:18.928 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #490: <digit1,res,digit1,res,dig1Err,digit1>
04:25:18.928 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #491: <digit1,res,digit1,res,dig1Err,add>
04:25:18.928 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #492: <digit1,res,digit1,digNErr,digitN,digit1>
04:25:18.928 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #493: <digit1,res,digit1,digNErr,digitN,add>
04:25:18.928 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #494: <digit1,res,digit1,digNErr,add,digit1>
04:25:18.928 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #495: <digit1,res,digit1,digNErr,add,add>
04:25:18.928 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #496: <digit1,res,digit1,digNErr,res,digit1>
04:25:18.929 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #497: <digit1,res,digit1,digNErr,res,add>
04:25:18.929 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #498: <digit1,res,digit1,digNErr,digNErr,digit1>
04:25:18.929 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #499: <digit1,res,digit1,digNErr,digNErr,add>
04:25:18.929 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #500: <digit1,res,add,digit1,digitN,digit1>
04:25:18.929 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #501: <digit1,res,add,digit1,digitN,add>
04:25:18.929 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #502: <digit1,res,add,digit1,add,digit1>
04:25:18.929 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #503: <digit1,res,add,digit1,add,add>
04:25:18.929 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #504: <digit1,res,add,digit1,res,digit1>
04:25:18.929 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #505: <digit1,res,add,digit1,res,add>
04:25:18.929 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #506: <digit1,res,add,digit1,digNErr,digit1>
04:25:18.929 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #507: <digit1,res,add,digit1,digNErr,add>
04:25:18.930 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #508: <digit1,res,add,resErr,digit1,digit1>
04:25:18.930 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #509: <digit1,res,add,resErr,digit1,add>
04:25:18.930 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #510: <digit1,res,add,resErr,resErr,digit1>
04:25:18.930 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #511: <digit1,res,add,resErr,resErr,add>
04:25:18.930 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #512: <digit1,res,add,resErr,addErr,digit1>
04:25:18.930 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #513: <digit1,res,add,resErr,addErr,add>
04:25:18.930 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #514: <digit1,res,add,resErr,dig1Err,digit1>
04:25:18.930 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #515: <digit1,res,add,resErr,dig1Err,add>
04:25:18.930 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #516: <digit1,res,add,addErr,digit1,digit1>
04:25:18.930 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #517: <digit1,res,add,addErr,digit1,add>
04:25:18.930 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #518: <digit1,res,add,addErr,resErr,digit1>
04:25:18.931 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #519: <digit1,res,add,addErr,resErr,add>
04:25:18.931 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #520: <digit1,res,add,addErr,addErr,digit1>
04:25:18.931 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #521: <digit1,res,add,addErr,addErr,add>
04:25:18.931 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #522: <digit1,res,add,addErr,dig1Err,digit1>
04:25:18.931 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #523: <digit1,res,add,addErr,dig1Err,add>
04:25:18.931 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #524: <digit1,res,add,dig1Err,digit1,digit1>
04:25:18.931 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #525: <digit1,res,add,dig1Err,digit1,add>
04:25:18.931 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #526: <digit1,res,add,dig1Err,resErr,digit1>
04:25:18.931 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #527: <digit1,res,add,dig1Err,resErr,add>
04:25:18.931 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #528: <digit1,res,add,dig1Err,addErr,digit1>
04:25:18.931 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #529: <digit1,res,add,dig1Err,addErr,add>
04:25:18.932 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #530: <digit1,res,add,dig1Err,dig1Err,digit1>
04:25:18.932 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #531: <digit1,res,add,dig1Err,dig1Err,add>
04:25:18.932 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #532: <digit1,res,resErr,digit1,digitN,digit1>
04:25:18.932 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #533: <digit1,res,resErr,digit1,digitN,add>
04:25:18.932 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #534: <digit1,res,resErr,digit1,add,digit1>
04:25:18.932 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #535: <digit1,res,resErr,digit1,add,add>
04:25:18.932 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #536: <digit1,res,resErr,digit1,res,digit1>
04:25:18.932 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #537: <digit1,res,resErr,digit1,res,add>
04:25:18.932 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #538: <digit1,res,resErr,digit1,digNErr,digit1>
04:25:18.932 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #539: <digit1,res,resErr,digit1,digNErr,add>
04:25:18.933 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #540: <digit1,res,resErr,add,digit1,digit1>
04:25:18.933 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #541: <digit1,res,resErr,add,digit1,add>
04:25:18.933 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #542: <digit1,res,resErr,add,resErr,digit1>
04:25:18.933 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #543: <digit1,res,resErr,add,resErr,add>
04:25:18.933 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #544: <digit1,res,resErr,add,addErr,digit1>
04:25:18.933 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #545: <digit1,res,resErr,add,addErr,add>
04:25:18.933 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #546: <digit1,res,resErr,add,dig1Err,digit1>
04:25:18.933 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #547: <digit1,res,resErr,add,dig1Err,add>
04:25:18.933 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #548: <digit1,res,resErr,resErr,digit1,digit1>
04:25:18.933 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #549: <digit1,res,resErr,resErr,digit1,add>
04:25:18.933 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #550: <digit1,res,resErr,resErr,add,digit1>
04:25:18.934 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #551: <digit1,res,resErr,resErr,add,add>
04:25:18.934 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #552: <digit1,res,resErr,resErr,resErr,digit1>
04:25:18.934 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #553: <digit1,res,resErr,resErr,resErr,add>
04:25:18.934 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #554: <digit1,res,resErr,resErr,dig1Err,digit1>
04:25:18.934 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #555: <digit1,res,resErr,resErr,dig1Err,add>
04:25:18.934 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #556: <digit1,res,resErr,dig1Err,digit1,digit1>
04:25:18.934 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #557: <digit1,res,resErr,dig1Err,digit1,add>
04:25:18.934 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #558: <digit1,res,resErr,dig1Err,add,digit1>
04:25:18.934 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #559: <digit1,res,resErr,dig1Err,add,add>
04:25:18.934 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #560: <digit1,res,resErr,dig1Err,resErr,digit1>
04:25:18.934 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #561: <digit1,res,resErr,dig1Err,resErr,add>
04:25:18.934 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #562: <digit1,res,resErr,dig1Err,dig1Err,digit1>
04:25:18.935 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #563: <digit1,res,resErr,dig1Err,dig1Err,add>
04:25:18.935 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #564: <digit1,res,dig1Err,digit1,digitN,digit1>
04:25:18.935 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #565: <digit1,res,dig1Err,digit1,digitN,add>
04:25:18.935 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #566: <digit1,res,dig1Err,digit1,add,digit1>
04:25:18.935 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #567: <digit1,res,dig1Err,digit1,add,add>
04:25:18.935 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #568: <digit1,res,dig1Err,digit1,res,digit1>
04:25:18.935 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #569: <digit1,res,dig1Err,digit1,res,add>
04:25:18.935 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #570: <digit1,res,dig1Err,digit1,digNErr,digit1>
04:25:18.935 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #571: <digit1,res,dig1Err,digit1,digNErr,add>
04:25:18.936 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #572: <digit1,res,dig1Err,add,digit1,digit1>
04:25:18.936 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #573: <digit1,res,dig1Err,add,digit1,add>
04:25:18.936 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #574: <digit1,res,dig1Err,add,resErr,digit1>
04:25:18.936 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #575: <digit1,res,dig1Err,add,resErr,add>
04:25:18.936 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #576: <digit1,res,dig1Err,add,addErr,digit1>
04:25:18.936 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #577: <digit1,res,dig1Err,add,addErr,add>
04:25:18.936 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #578: <digit1,res,dig1Err,add,dig1Err,digit1>
04:25:18.936 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #579: <digit1,res,dig1Err,add,dig1Err,add>
04:25:18.936 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #580: <digit1,res,dig1Err,resErr,digit1,digit1>
04:25:18.936 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #581: <digit1,res,dig1Err,resErr,digit1,add>
04:25:18.936 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #582: <digit1,res,dig1Err,resErr,add,digit1>
04:25:18.937 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #583: <digit1,res,dig1Err,resErr,add,add>
04:25:18.937 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #584: <digit1,res,dig1Err,resErr,resErr,digit1>
04:25:18.937 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #585: <digit1,res,dig1Err,resErr,resErr,add>
04:25:18.937 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #586: <digit1,res,dig1Err,resErr,dig1Err,digit1>
04:25:18.937 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #587: <digit1,res,dig1Err,resErr,dig1Err,add>
04:25:18.937 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #588: <digit1,res,dig1Err,dig1Err,digit1,digit1>
04:25:18.937 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #589: <digit1,res,dig1Err,dig1Err,digit1,add>
04:25:18.937 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #590: <digit1,res,dig1Err,dig1Err,add,digit1>
04:25:18.937 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #591: <digit1,res,dig1Err,dig1Err,add,add>
04:25:18.937 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #592: <digit1,res,dig1Err,dig1Err,resErr,digit1>
04:25:18.938 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #593: <digit1,res,dig1Err,dig1Err,resErr,add>
04:25:18.938 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #594: <digit1,res,dig1Err,dig1Err,dig1Err,digit1>
04:25:18.938 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #595: <digit1,res,dig1Err,dig1Err,dig1Err,add>
04:25:18.938 [main] INFO  org.jsxm.jsxmcore.util.Various - ------------------------------------------------------------
04:25:18.938 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Removing sequences which are subsequences
04:25:18.938 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - of other longer sequences in the test set.
04:25:18.948 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - 532 test cases. 63 prefixes removed.
04:25:18.948 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #1: <add>
04:25:18.948 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #2: <digitN>
04:25:18.948 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #3: <res>
04:25:18.948 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #4: <digNErr>
04:25:18.948 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #5: <digit1,digit1>
04:25:18.948 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #6: <resErr,add>
04:25:18.948 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #7: <addErr,add>
04:25:18.949 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #8: <dig1Err,add>
04:25:18.949 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #9: <digit1,resErr>
04:25:18.949 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #10: <digit1,addErr>
04:25:18.949 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #11: <digit1,dig1Err>
04:25:18.949 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #12: <resErr,digitN>
04:25:18.949 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #13: <resErr,res>
04:25:18.949 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #14: <resErr,digNErr>
04:25:18.949 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #15: <addErr,digitN>
04:25:18.949 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #16: <addErr,res>
04:25:18.949 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #17: <addErr,digNErr>
04:25:18.949 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #18: <dig1Err,digitN>
04:25:18.950 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #19: <dig1Err,res>
04:25:18.950 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #20: <dig1Err,digNErr>
04:25:18.950 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #21: <digit1,digitN,digit1>
04:25:18.950 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #22: <digit1,add,add>
04:25:18.950 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #23: <digit1,digNErr,digit1>
04:25:18.950 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #24: <digit1,res,digitN>
04:25:18.950 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #25: <digit1,res,res>
04:25:18.950 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #26: <digit1,res,addErr>
04:25:18.950 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #27: <digit1,res,digNErr>
04:25:18.950 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #28: <resErr,digit1,digit1>
04:25:18.950 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #29: <resErr,resErr,add>
04:25:18.951 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #30: <resErr,addErr,add>
04:25:18.951 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #31: <resErr,dig1Err,add>
04:25:18.951 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #32: <addErr,digit1,digit1>
04:25:18.951 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #33: <addErr,resErr,add>
04:25:18.951 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #34: <addErr,addErr,add>
04:25:18.951 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #35: <addErr,dig1Err,add>
04:25:18.951 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #36: <dig1Err,digit1,digit1>
04:25:18.951 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #37: <dig1Err,resErr,add>
04:25:18.951 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #38: <dig1Err,addErr,add>
04:25:18.951 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #39: <dig1Err,dig1Err,add>
04:25:18.951 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #40: <digit1,digitN,resErr>
04:25:18.952 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #41: <digit1,digitN,addErr>
04:25:18.952 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #42: <digit1,digitN,dig1Err>
04:25:18.952 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #43: <digit1,add,digitN>
04:25:18.952 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #44: <digit1,add,res>
04:25:18.952 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #45: <digit1,add,digNErr>
04:25:18.952 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #46: <digit1,digNErr,resErr>
04:25:18.952 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #47: <digit1,digNErr,addErr>
04:25:18.952 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #48: <digit1,digNErr,dig1Err>
04:25:18.952 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #49: <resErr,digit1,resErr>
04:25:18.952 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #50: <resErr,digit1,addErr>
04:25:18.952 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #51: <resErr,digit1,dig1Err>
04:25:18.953 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #52: <resErr,resErr,digitN>
04:25:18.953 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #53: <resErr,resErr,res>
04:25:18.953 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #54: <resErr,resErr,digNErr>
04:25:18.953 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #55: <resErr,addErr,digitN>
04:25:18.953 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #56: <resErr,addErr,res>
04:25:18.953 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #57: <resErr,addErr,digNErr>
04:25:18.953 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #58: <resErr,dig1Err,digitN>
04:25:18.953 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #59: <resErr,dig1Err,res>
04:25:18.953 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #60: <resErr,dig1Err,digNErr>
04:25:18.953 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #61: <addErr,digit1,resErr>
04:25:18.953 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #62: <addErr,digit1,addErr>
04:25:18.954 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #63: <addErr,digit1,dig1Err>
04:25:18.954 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #64: <addErr,resErr,digitN>
04:25:18.954 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #65: <addErr,resErr,res>
04:25:18.954 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #66: <addErr,resErr,digNErr>
04:25:18.954 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #67: <addErr,addErr,digitN>
04:25:18.954 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #68: <addErr,addErr,res>
04:25:18.954 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #69: <addErr,addErr,digNErr>
04:25:18.954 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #70: <addErr,dig1Err,digitN>
04:25:18.954 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #71: <addErr,dig1Err,res>
04:25:18.954 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #72: <addErr,dig1Err,digNErr>
04:25:18.954 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #73: <dig1Err,digit1,resErr>
04:25:18.955 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #74: <dig1Err,digit1,addErr>
04:25:18.955 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #75: <dig1Err,digit1,dig1Err>
04:25:18.955 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #76: <dig1Err,resErr,digitN>
04:25:18.955 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #77: <dig1Err,resErr,res>
04:25:18.955 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #78: <dig1Err,resErr,digNErr>
04:25:18.955 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #79: <dig1Err,addErr,digitN>
04:25:18.955 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #80: <dig1Err,addErr,res>
04:25:18.955 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #81: <dig1Err,addErr,digNErr>
04:25:18.955 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #82: <dig1Err,dig1Err,digitN>
04:25:18.955 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #83: <dig1Err,dig1Err,res>
04:25:18.955 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #84: <dig1Err,dig1Err,digNErr>
04:25:18.956 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #85: <digit1,res,digit1,digit1>
04:25:18.956 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #86: <digit1,res,add,add>
04:25:18.956 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #87: <digit1,digitN,digitN,digit1>
04:25:18.956 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #88: <digit1,digitN,add,add>
04:25:18.956 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #89: <digit1,digitN,digNErr,digit1>
04:25:18.956 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #90: <digit1,add,digit1,digit1>
04:25:18.956 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #91: <digit1,add,resErr,add>
04:25:18.956 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #92: <digit1,add,addErr,add>
04:25:18.956 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #93: <digit1,add,dig1Err,add>
04:25:18.956 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #94: <digit1,digNErr,digitN,digit1>
04:25:18.957 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #95: <digit1,digNErr,add,add>
04:25:18.957 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #96: <digit1,digNErr,digNErr,digit1>
04:25:18.957 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #97: <digit1,res,digit1,resErr>
04:25:18.957 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #98: <digit1,res,digit1,addErr>
04:25:18.957 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #99: <digit1,res,digit1,dig1Err>
04:25:18.957 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #100: <digit1,res,add,digitN>
04:25:18.957 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #101: <digit1,res,add,res>
04:25:18.957 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #102: <digit1,res,add,digNErr>
04:25:18.957 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #103: <digit1,res,resErr,digitN>
04:25:18.957 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #104: <digit1,res,resErr,res>
04:25:18.957 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #105: <digit1,res,resErr,addErr>
04:25:18.958 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #106: <digit1,res,resErr,digNErr>
04:25:18.958 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #107: <digit1,res,dig1Err,digitN>
04:25:18.958 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #108: <digit1,res,dig1Err,res>
04:25:18.958 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #109: <digit1,res,dig1Err,addErr>
04:25:18.958 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #110: <digit1,res,dig1Err,digNErr>
04:25:18.958 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #111: <resErr,digit1,digitN,digit1>
04:25:18.958 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #112: <resErr,digit1,digitN,add>
04:25:18.958 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #113: <resErr,digit1,add,digit1>
04:25:18.958 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #114: <resErr,digit1,add,add>
04:25:18.958 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #115: <resErr,digit1,res,digit1>
04:25:18.958 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #116: <resErr,digit1,res,add>
04:25:18.959 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #117: <resErr,digit1,digNErr,digit1>
04:25:18.959 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #118: <resErr,digit1,digNErr,add>
04:25:18.959 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #119: <resErr,resErr,digit1,digit1>
04:25:18.959 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #120: <resErr,resErr,digit1,add>
04:25:18.959 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #121: <resErr,resErr,resErr,digit1>
04:25:18.959 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #122: <resErr,resErr,resErr,add>
04:25:18.959 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #123: <resErr,resErr,addErr,digit1>
04:25:18.959 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #124: <resErr,resErr,addErr,add>
04:25:18.959 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #125: <resErr,resErr,dig1Err,digit1>
04:25:18.959 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #126: <resErr,resErr,dig1Err,add>
04:25:18.960 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #127: <resErr,addErr,digit1,digit1>
04:25:18.960 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #128: <resErr,addErr,digit1,add>
04:25:18.960 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #129: <resErr,addErr,resErr,digit1>
04:25:18.960 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #130: <resErr,addErr,resErr,add>
04:25:18.960 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #131: <resErr,addErr,addErr,digit1>
04:25:18.960 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #132: <resErr,addErr,addErr,add>
04:25:18.960 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #133: <resErr,addErr,dig1Err,digit1>
04:25:18.960 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #134: <resErr,addErr,dig1Err,add>
04:25:18.960 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #135: <resErr,dig1Err,digit1,digit1>
04:25:18.960 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #136: <resErr,dig1Err,digit1,add>
04:25:18.960 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #137: <resErr,dig1Err,resErr,digit1>
04:25:18.960 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #138: <resErr,dig1Err,resErr,add>
04:25:18.961 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #139: <resErr,dig1Err,addErr,digit1>
04:25:18.961 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #140: <resErr,dig1Err,addErr,add>
04:25:18.961 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #141: <resErr,dig1Err,dig1Err,digit1>
04:25:18.961 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #142: <resErr,dig1Err,dig1Err,add>
04:25:18.961 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #143: <addErr,digit1,digitN,digit1>
04:25:18.961 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #144: <addErr,digit1,digitN,add>
04:25:18.961 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #145: <addErr,digit1,add,digit1>
04:25:18.961 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #146: <addErr,digit1,add,add>
04:25:18.961 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #147: <addErr,digit1,res,digit1>
04:25:18.961 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #148: <addErr,digit1,res,add>
04:25:18.961 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #149: <addErr,digit1,digNErr,digit1>
04:25:18.962 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #150: <addErr,digit1,digNErr,add>
04:25:18.962 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #151: <addErr,resErr,digit1,digit1>
04:25:18.962 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #152: <addErr,resErr,digit1,add>
04:25:18.962 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #153: <addErr,resErr,resErr,digit1>
04:25:18.962 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #154: <addErr,resErr,resErr,add>
04:25:18.962 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #155: <addErr,resErr,addErr,digit1>
04:25:18.962 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #156: <addErr,resErr,addErr,add>
04:25:18.962 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #157: <addErr,resErr,dig1Err,digit1>
04:25:18.962 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #158: <addErr,resErr,dig1Err,add>
04:25:18.962 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #159: <addErr,addErr,digit1,digit1>
04:25:18.963 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #160: <addErr,addErr,digit1,add>
04:25:18.963 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #161: <addErr,addErr,resErr,digit1>
04:25:18.963 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #162: <addErr,addErr,resErr,add>
04:25:18.963 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #163: <addErr,addErr,addErr,digit1>
04:25:18.963 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #164: <addErr,addErr,addErr,add>
04:25:18.963 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #165: <addErr,addErr,dig1Err,digit1>
04:25:18.963 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #166: <addErr,addErr,dig1Err,add>
04:25:18.963 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #167: <addErr,dig1Err,digit1,digit1>
04:25:18.963 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #168: <addErr,dig1Err,digit1,add>
04:25:18.963 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #169: <addErr,dig1Err,resErr,digit1>
04:25:18.963 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #170: <addErr,dig1Err,resErr,add>
04:25:18.964 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #171: <addErr,dig1Err,addErr,digit1>
04:25:18.964 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #172: <addErr,dig1Err,addErr,add>
04:25:18.964 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #173: <addErr,dig1Err,dig1Err,digit1>
04:25:18.964 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #174: <addErr,dig1Err,dig1Err,add>
04:25:18.964 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #175: <dig1Err,digit1,digitN,digit1>
04:25:18.964 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #176: <dig1Err,digit1,digitN,add>
04:25:18.964 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #177: <dig1Err,digit1,add,digit1>
04:25:18.964 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #178: <dig1Err,digit1,add,add>
04:25:18.964 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #179: <dig1Err,digit1,res,digit1>
04:25:18.964 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #180: <dig1Err,digit1,res,add>
04:25:18.965 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #181: <dig1Err,digit1,digNErr,digit1>
04:25:18.965 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #182: <dig1Err,digit1,digNErr,add>
04:25:18.965 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #183: <dig1Err,resErr,digit1,digit1>
04:25:18.965 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #184: <dig1Err,resErr,digit1,add>
04:25:18.965 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #185: <dig1Err,resErr,resErr,digit1>
04:25:18.965 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #186: <dig1Err,resErr,resErr,add>
04:25:18.965 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #187: <dig1Err,resErr,addErr,digit1>
04:25:18.965 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #188: <dig1Err,resErr,addErr,add>
04:25:18.965 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #189: <dig1Err,resErr,dig1Err,digit1>
04:25:18.965 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #190: <dig1Err,resErr,dig1Err,add>
04:25:18.965 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #191: <dig1Err,addErr,digit1,digit1>
04:25:18.966 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #192: <dig1Err,addErr,digit1,add>
04:25:18.966 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #193: <dig1Err,addErr,resErr,digit1>
04:25:18.966 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #194: <dig1Err,addErr,resErr,add>
04:25:18.966 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #195: <dig1Err,addErr,addErr,digit1>
04:25:18.966 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #196: <dig1Err,addErr,addErr,add>
04:25:18.966 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #197: <dig1Err,addErr,dig1Err,digit1>
04:25:18.966 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #198: <dig1Err,addErr,dig1Err,add>
04:25:18.966 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #199: <dig1Err,dig1Err,digit1,digit1>
04:25:18.966 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #200: <dig1Err,dig1Err,digit1,add>
04:25:18.966 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #201: <dig1Err,dig1Err,resErr,digit1>
04:25:18.967 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #202: <dig1Err,dig1Err,resErr,add>
04:25:18.967 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #203: <dig1Err,dig1Err,addErr,digit1>
04:25:18.967 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #204: <dig1Err,dig1Err,addErr,add>
04:25:18.967 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #205: <dig1Err,dig1Err,dig1Err,digit1>
04:25:18.967 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #206: <dig1Err,dig1Err,dig1Err,add>
04:25:18.967 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #207: <digit1,digitN,digitN,resErr>
04:25:18.967 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #208: <digit1,digitN,digitN,addErr>
04:25:18.967 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #209: <digit1,digitN,digitN,dig1Err>
04:25:18.967 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #210: <digit1,digitN,add,digitN>
04:25:18.967 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #211: <digit1,digitN,add,res>
04:25:18.967 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #212: <digit1,digitN,add,digNErr>
04:25:18.968 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #213: <digit1,digitN,res,digitN>
04:25:18.968 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #214: <digit1,digitN,res,res>
04:25:18.968 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #215: <digit1,digitN,res,addErr>
04:25:18.968 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #216: <digit1,digitN,res,digNErr>
04:25:18.968 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #217: <digit1,digitN,digNErr,resErr>
04:25:18.968 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #218: <digit1,digitN,digNErr,addErr>
04:25:18.968 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #219: <digit1,digitN,digNErr,dig1Err>
04:25:18.968 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #220: <digit1,add,digit1,resErr>
04:25:18.968 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #221: <digit1,add,digit1,addErr>
04:25:18.968 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #222: <digit1,add,digit1,dig1Err>
04:25:18.968 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #223: <digit1,add,resErr,digitN>
04:25:18.969 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #224: <digit1,add,resErr,res>
04:25:18.969 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #225: <digit1,add,resErr,digNErr>
04:25:18.969 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #226: <digit1,add,addErr,digitN>
04:25:18.969 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #227: <digit1,add,addErr,res>
04:25:18.969 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #228: <digit1,add,addErr,digNErr>
04:25:18.969 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #229: <digit1,add,dig1Err,digitN>
04:25:18.969 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #230: <digit1,add,dig1Err,res>
04:25:18.969 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #231: <digit1,add,dig1Err,digNErr>
04:25:18.969 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #232: <digit1,digNErr,digitN,resErr>
04:25:18.969 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #233: <digit1,digNErr,digitN,addErr>
04:25:18.969 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #234: <digit1,digNErr,digitN,dig1Err>
04:25:18.970 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #235: <digit1,digNErr,add,digitN>
04:25:18.970 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #236: <digit1,digNErr,add,res>
04:25:18.970 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #237: <digit1,digNErr,add,digNErr>
04:25:18.970 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #238: <digit1,digNErr,res,digitN>
04:25:18.970 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #239: <digit1,digNErr,res,res>
04:25:18.970 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #240: <digit1,digNErr,res,addErr>
04:25:18.970 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #241: <digit1,digNErr,res,digNErr>
04:25:18.970 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #242: <digit1,digNErr,digNErr,resErr>
04:25:18.970 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #243: <digit1,digNErr,digNErr,addErr>
04:25:18.970 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #244: <digit1,digNErr,digNErr,dig1Err>
04:25:18.971 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #245: <digit1,res,digit1,digitN,digit1>
04:25:18.971 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #246: <digit1,res,digit1,add,add>
04:25:18.971 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #247: <digit1,res,digit1,digNErr,digit1>
04:25:18.971 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #248: <digit1,res,add,digit1,digit1>
04:25:18.971 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #249: <digit1,res,add,resErr,add>
04:25:18.971 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #250: <digit1,res,add,addErr,add>
04:25:18.971 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #251: <digit1,res,add,dig1Err,add>
04:25:18.971 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #252: <digit1,res,resErr,digit1,digit1>
04:25:18.971 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #253: <digit1,res,resErr,add,add>
04:25:18.971 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #254: <digit1,res,dig1Err,digit1,digit1>
04:25:18.971 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #255: <digit1,res,dig1Err,add,add>
04:25:18.972 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #256: <digit1,digitN,digitN,digitN,digit1>
04:25:18.972 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #257: <digit1,digitN,digitN,digitN,add>
04:25:18.972 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #258: <digit1,digitN,digitN,add,digit1>
04:25:18.972 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #259: <digit1,digitN,digitN,add,add>
04:25:18.972 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #260: <digit1,digitN,digitN,res,digit1>
04:25:18.972 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #261: <digit1,digitN,digitN,res,add>
04:25:18.972 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #262: <digit1,digitN,digitN,digNErr,digit1>
04:25:18.972 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #263: <digit1,digitN,digitN,digNErr,add>
04:25:18.972 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #264: <digit1,digitN,add,digit1,digit1>
04:25:18.972 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #265: <digit1,digitN,add,digit1,add>
04:25:18.973 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #266: <digit1,digitN,add,resErr,digit1>
04:25:18.973 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #267: <digit1,digitN,add,resErr,add>
04:25:18.973 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #268: <digit1,digitN,add,addErr,digit1>
04:25:18.973 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #269: <digit1,digitN,add,addErr,add>
04:25:18.973 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #270: <digit1,digitN,add,dig1Err,digit1>
04:25:18.973 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #271: <digit1,digitN,add,dig1Err,add>
04:25:18.973 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #272: <digit1,digitN,res,digit1,digit1>
04:25:18.974 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #273: <digit1,digitN,res,digit1,add>
04:25:18.974 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #274: <digit1,digitN,res,add,digit1>
04:25:18.974 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #275: <digit1,digitN,res,add,add>
04:25:18.974 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #276: <digit1,digitN,res,resErr,digit1>
04:25:18.974 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #277: <digit1,digitN,res,resErr,add>
04:25:18.974 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #278: <digit1,digitN,res,dig1Err,digit1>
04:25:18.975 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #279: <digit1,digitN,res,dig1Err,add>
04:25:18.975 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #280: <digit1,digitN,digNErr,digitN,digit1>
04:25:18.975 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #281: <digit1,digitN,digNErr,digitN,add>
04:25:18.975 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #282: <digit1,digitN,digNErr,add,digit1>
04:25:18.975 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #283: <digit1,digitN,digNErr,add,add>
04:25:18.975 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #284: <digit1,digitN,digNErr,res,digit1>
04:25:18.975 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #285: <digit1,digitN,digNErr,res,add>
04:25:18.975 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #286: <digit1,digitN,digNErr,digNErr,digit1>
04:25:18.975 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #287: <digit1,digitN,digNErr,digNErr,add>
04:25:18.975 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #288: <digit1,add,digit1,digitN,digit1>
04:25:18.976 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #289: <digit1,add,digit1,digitN,add>
04:25:18.976 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #290: <digit1,add,digit1,add,digit1>
04:25:18.976 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #291: <digit1,add,digit1,add,add>
04:25:18.976 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #292: <digit1,add,digit1,res,digit1>
04:25:18.976 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #293: <digit1,add,digit1,res,add>
04:25:18.976 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #294: <digit1,add,digit1,digNErr,digit1>
04:25:18.976 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #295: <digit1,add,digit1,digNErr,add>
04:25:18.976 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #296: <digit1,add,resErr,digit1,digit1>
04:25:18.976 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #297: <digit1,add,resErr,digit1,add>
04:25:18.977 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #298: <digit1,add,resErr,resErr,digit1>
04:25:18.977 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #299: <digit1,add,resErr,resErr,add>
04:25:18.977 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #300: <digit1,add,resErr,addErr,digit1>
04:25:18.977 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #301: <digit1,add,resErr,addErr,add>
04:25:18.977 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #302: <digit1,add,resErr,dig1Err,digit1>
04:25:18.977 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #303: <digit1,add,resErr,dig1Err,add>
04:25:18.977 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #304: <digit1,add,addErr,digit1,digit1>
04:25:18.977 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #305: <digit1,add,addErr,digit1,add>
04:25:18.977 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #306: <digit1,add,addErr,resErr,digit1>
04:25:18.977 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #307: <digit1,add,addErr,resErr,add>
04:25:18.977 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #308: <digit1,add,addErr,addErr,digit1>
04:25:18.978 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #309: <digit1,add,addErr,addErr,add>
04:25:18.978 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #310: <digit1,add,addErr,dig1Err,digit1>
04:25:18.978 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #311: <digit1,add,addErr,dig1Err,add>
04:25:18.978 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #312: <digit1,add,dig1Err,digit1,digit1>
04:25:18.978 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #313: <digit1,add,dig1Err,digit1,add>
04:25:18.978 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #314: <digit1,add,dig1Err,resErr,digit1>
04:25:18.978 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #315: <digit1,add,dig1Err,resErr,add>
04:25:18.978 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #316: <digit1,add,dig1Err,addErr,digit1>
04:25:18.978 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #317: <digit1,add,dig1Err,addErr,add>
04:25:18.979 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #318: <digit1,add,dig1Err,dig1Err,digit1>
04:25:18.979 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #319: <digit1,add,dig1Err,dig1Err,add>
04:25:18.979 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #320: <digit1,digNErr,digitN,digitN,digit1>
04:25:18.979 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #321: <digit1,digNErr,digitN,digitN,add>
04:25:18.979 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #322: <digit1,digNErr,digitN,add,digit1>
04:25:18.979 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #323: <digit1,digNErr,digitN,add,add>
04:25:18.979 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #324: <digit1,digNErr,digitN,res,digit1>
04:25:18.979 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #325: <digit1,digNErr,digitN,res,add>
04:25:18.979 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #326: <digit1,digNErr,digitN,digNErr,digit1>
04:25:18.979 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #327: <digit1,digNErr,digitN,digNErr,add>
04:25:18.980 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #328: <digit1,digNErr,add,digit1,digit1>
04:25:18.980 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #329: <digit1,digNErr,add,digit1,add>
04:25:18.980 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #330: <digit1,digNErr,add,resErr,digit1>
04:25:18.980 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #331: <digit1,digNErr,add,resErr,add>
04:25:18.980 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #332: <digit1,digNErr,add,addErr,digit1>
04:25:18.980 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #333: <digit1,digNErr,add,addErr,add>
04:25:18.980 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #334: <digit1,digNErr,add,dig1Err,digit1>
04:25:18.980 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #335: <digit1,digNErr,add,dig1Err,add>
04:25:18.980 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #336: <digit1,digNErr,res,digit1,digit1>
04:25:18.980 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #337: <digit1,digNErr,res,digit1,add>
04:25:18.980 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #338: <digit1,digNErr,res,add,digit1>
04:25:18.980 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #339: <digit1,digNErr,res,add,add>
04:25:18.981 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #340: <digit1,digNErr,res,resErr,digit1>
04:25:18.981 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #341: <digit1,digNErr,res,resErr,add>
04:25:18.981 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #342: <digit1,digNErr,res,dig1Err,digit1>
04:25:18.981 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #343: <digit1,digNErr,res,dig1Err,add>
04:25:18.981 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #344: <digit1,digNErr,digNErr,digitN,digit1>
04:25:18.981 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #345: <digit1,digNErr,digNErr,digitN,add>
04:25:18.981 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #346: <digit1,digNErr,digNErr,add,digit1>
04:25:18.981 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #347: <digit1,digNErr,digNErr,add,add>
04:25:18.981 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #348: <digit1,digNErr,digNErr,res,digit1>
04:25:18.981 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #349: <digit1,digNErr,digNErr,res,add>
04:25:18.982 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #350: <digit1,digNErr,digNErr,digNErr,digit1>
04:25:18.982 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #351: <digit1,digNErr,digNErr,digNErr,add>
04:25:18.982 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #352: <digit1,res,digit1,digitN,resErr>
04:25:18.982 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #353: <digit1,res,digit1,digitN,addErr>
04:25:18.982 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #354: <digit1,res,digit1,digitN,dig1Err>
04:25:18.982 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #355: <digit1,res,digit1,add,digitN>
04:25:18.982 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #356: <digit1,res,digit1,add,res>
04:25:18.982 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #357: <digit1,res,digit1,add,digNErr>
04:25:18.982 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #358: <digit1,res,digit1,res,digitN>
04:25:18.982 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #359: <digit1,res,digit1,res,res>
04:25:18.982 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #360: <digit1,res,digit1,res,addErr>
04:25:18.983 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #361: <digit1,res,digit1,res,digNErr>
04:25:18.983 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #362: <digit1,res,digit1,digNErr,resErr>
04:25:18.983 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #363: <digit1,res,digit1,digNErr,addErr>
04:25:18.983 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #364: <digit1,res,digit1,digNErr,dig1Err>
04:25:18.983 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #365: <digit1,res,add,digit1,resErr>
04:25:18.983 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #366: <digit1,res,add,digit1,addErr>
04:25:18.983 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #367: <digit1,res,add,digit1,dig1Err>
04:25:18.983 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #368: <digit1,res,add,resErr,digitN>
04:25:18.983 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #369: <digit1,res,add,resErr,res>
04:25:18.983 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #370: <digit1,res,add,resErr,digNErr>
04:25:18.983 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #371: <digit1,res,add,addErr,digitN>
04:25:18.984 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #372: <digit1,res,add,addErr,res>
04:25:18.984 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #373: <digit1,res,add,addErr,digNErr>
04:25:18.984 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #374: <digit1,res,add,dig1Err,digitN>
04:25:18.984 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #375: <digit1,res,add,dig1Err,res>
04:25:18.984 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #376: <digit1,res,add,dig1Err,digNErr>
04:25:18.984 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #377: <digit1,res,resErr,digit1,resErr>
04:25:18.984 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #378: <digit1,res,resErr,digit1,addErr>
04:25:18.984 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #379: <digit1,res,resErr,digit1,dig1Err>
04:25:18.984 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #380: <digit1,res,resErr,add,digitN>
04:25:18.984 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #381: <digit1,res,resErr,add,res>
04:25:18.984 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #382: <digit1,res,resErr,add,digNErr>
04:25:18.985 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #383: <digit1,res,resErr,resErr,digitN>
04:25:18.985 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #384: <digit1,res,resErr,resErr,res>
04:25:18.985 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #385: <digit1,res,resErr,resErr,addErr>
04:25:18.985 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #386: <digit1,res,resErr,resErr,digNErr>
04:25:18.985 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #387: <digit1,res,resErr,dig1Err,digitN>
04:25:18.985 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #388: <digit1,res,resErr,dig1Err,res>
04:25:18.985 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #389: <digit1,res,resErr,dig1Err,addErr>
04:25:18.985 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #390: <digit1,res,resErr,dig1Err,digNErr>
04:25:18.985 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #391: <digit1,res,dig1Err,digit1,resErr>
04:25:18.985 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #392: <digit1,res,dig1Err,digit1,addErr>
04:25:18.985 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #393: <digit1,res,dig1Err,digit1,dig1Err>
04:25:18.986 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #394: <digit1,res,dig1Err,add,digitN>
04:25:18.986 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #395: <digit1,res,dig1Err,add,res>
04:25:18.986 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #396: <digit1,res,dig1Err,add,digNErr>
04:25:18.986 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #397: <digit1,res,dig1Err,resErr,digitN>
04:25:18.986 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #398: <digit1,res,dig1Err,resErr,res>
04:25:18.986 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #399: <digit1,res,dig1Err,resErr,addErr>
04:25:18.986 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #400: <digit1,res,dig1Err,resErr,digNErr>
04:25:18.986 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #401: <digit1,res,dig1Err,dig1Err,digitN>
04:25:18.986 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #402: <digit1,res,dig1Err,dig1Err,res>
04:25:18.986 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #403: <digit1,res,dig1Err,dig1Err,addErr>
04:25:18.987 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #404: <digit1,res,dig1Err,dig1Err,digNErr>
04:25:18.987 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #405: <digit1,res,digit1,digitN,digitN,digit1>
04:25:18.987 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #406: <digit1,res,digit1,digitN,digitN,add>
04:25:18.987 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #407: <digit1,res,digit1,digitN,add,digit1>
04:25:18.987 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #408: <digit1,res,digit1,digitN,add,add>
04:25:18.987 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #409: <digit1,res,digit1,digitN,res,digit1>
04:25:18.987 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #410: <digit1,res,digit1,digitN,res,add>
04:25:18.987 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #411: <digit1,res,digit1,digitN,digNErr,digit1>
04:25:18.987 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #412: <digit1,res,digit1,digitN,digNErr,add>
04:25:18.987 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #413: <digit1,res,digit1,add,digit1,digit1>
04:25:18.987 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #414: <digit1,res,digit1,add,digit1,add>
04:25:18.988 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #415: <digit1,res,digit1,add,resErr,digit1>
04:25:18.988 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #416: <digit1,res,digit1,add,resErr,add>
04:25:18.988 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #417: <digit1,res,digit1,add,addErr,digit1>
04:25:18.988 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #418: <digit1,res,digit1,add,addErr,add>
04:25:18.988 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #419: <digit1,res,digit1,add,dig1Err,digit1>
04:25:18.988 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #420: <digit1,res,digit1,add,dig1Err,add>
04:25:18.988 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #421: <digit1,res,digit1,res,digit1,digit1>
04:25:18.988 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #422: <digit1,res,digit1,res,digit1,add>
04:25:18.988 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #423: <digit1,res,digit1,res,add,digit1>
04:25:18.988 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #424: <digit1,res,digit1,res,add,add>
04:25:18.989 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #425: <digit1,res,digit1,res,resErr,digit1>
04:25:18.989 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #426: <digit1,res,digit1,res,resErr,add>
04:25:18.989 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #427: <digit1,res,digit1,res,dig1Err,digit1>
04:25:18.989 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #428: <digit1,res,digit1,res,dig1Err,add>
04:25:18.989 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #429: <digit1,res,digit1,digNErr,digitN,digit1>
04:25:18.989 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #430: <digit1,res,digit1,digNErr,digitN,add>
04:25:18.989 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #431: <digit1,res,digit1,digNErr,add,digit1>
04:25:18.989 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #432: <digit1,res,digit1,digNErr,add,add>
04:25:18.989 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #433: <digit1,res,digit1,digNErr,res,digit1>
04:25:18.989 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #434: <digit1,res,digit1,digNErr,res,add>
04:25:18.989 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #435: <digit1,res,digit1,digNErr,digNErr,digit1>
04:25:18.990 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #436: <digit1,res,digit1,digNErr,digNErr,add>
04:25:18.990 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #437: <digit1,res,add,digit1,digitN,digit1>
04:25:18.990 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #438: <digit1,res,add,digit1,digitN,add>
04:25:18.990 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #439: <digit1,res,add,digit1,add,digit1>
04:25:18.990 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #440: <digit1,res,add,digit1,add,add>
04:25:18.990 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #441: <digit1,res,add,digit1,res,digit1>
04:25:18.990 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #442: <digit1,res,add,digit1,res,add>
04:25:18.990 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #443: <digit1,res,add,digit1,digNErr,digit1>
04:25:18.990 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #444: <digit1,res,add,digit1,digNErr,add>
04:25:18.990 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #445: <digit1,res,add,resErr,digit1,digit1>
04:25:18.991 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #446: <digit1,res,add,resErr,digit1,add>
04:25:18.991 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #447: <digit1,res,add,resErr,resErr,digit1>
04:25:18.991 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #448: <digit1,res,add,resErr,resErr,add>
04:25:18.991 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #449: <digit1,res,add,resErr,addErr,digit1>
04:25:18.991 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #450: <digit1,res,add,resErr,addErr,add>
04:25:18.991 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #451: <digit1,res,add,resErr,dig1Err,digit1>
04:25:18.991 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #452: <digit1,res,add,resErr,dig1Err,add>
04:25:18.991 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #453: <digit1,res,add,addErr,digit1,digit1>
04:25:18.991 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #454: <digit1,res,add,addErr,digit1,add>
04:25:18.991 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #455: <digit1,res,add,addErr,resErr,digit1>
04:25:18.991 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #456: <digit1,res,add,addErr,resErr,add>
04:25:18.992 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #457: <digit1,res,add,addErr,addErr,digit1>
04:25:18.992 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #458: <digit1,res,add,addErr,addErr,add>
04:25:18.992 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #459: <digit1,res,add,addErr,dig1Err,digit1>
04:25:18.992 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #460: <digit1,res,add,addErr,dig1Err,add>
04:25:18.992 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #461: <digit1,res,add,dig1Err,digit1,digit1>
04:25:18.992 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #462: <digit1,res,add,dig1Err,digit1,add>
04:25:18.992 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #463: <digit1,res,add,dig1Err,resErr,digit1>
04:25:18.992 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #464: <digit1,res,add,dig1Err,resErr,add>
04:25:18.992 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #465: <digit1,res,add,dig1Err,addErr,digit1>
04:25:18.992 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #466: <digit1,res,add,dig1Err,addErr,add>
04:25:18.992 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #467: <digit1,res,add,dig1Err,dig1Err,digit1>
04:25:18.993 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #468: <digit1,res,add,dig1Err,dig1Err,add>
04:25:18.993 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #469: <digit1,res,resErr,digit1,digitN,digit1>
04:25:18.993 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #470: <digit1,res,resErr,digit1,digitN,add>
04:25:18.993 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #471: <digit1,res,resErr,digit1,add,digit1>
04:25:18.993 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #472: <digit1,res,resErr,digit1,add,add>
04:25:18.993 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #473: <digit1,res,resErr,digit1,res,digit1>
04:25:18.993 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #474: <digit1,res,resErr,digit1,res,add>
04:25:18.993 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #475: <digit1,res,resErr,digit1,digNErr,digit1>
04:25:18.993 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #476: <digit1,res,resErr,digit1,digNErr,add>
04:25:18.993 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #477: <digit1,res,resErr,add,digit1,digit1>
04:25:18.993 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #478: <digit1,res,resErr,add,digit1,add>
04:25:18.994 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #479: <digit1,res,resErr,add,resErr,digit1>
04:25:18.994 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #480: <digit1,res,resErr,add,resErr,add>
04:25:18.994 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #481: <digit1,res,resErr,add,addErr,digit1>
04:25:18.994 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #482: <digit1,res,resErr,add,addErr,add>
04:25:18.994 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #483: <digit1,res,resErr,add,dig1Err,digit1>
04:25:18.994 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #484: <digit1,res,resErr,add,dig1Err,add>
04:25:18.994 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #485: <digit1,res,resErr,resErr,digit1,digit1>
04:25:18.994 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #486: <digit1,res,resErr,resErr,digit1,add>
04:25:18.994 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #487: <digit1,res,resErr,resErr,add,digit1>
04:25:18.994 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #488: <digit1,res,resErr,resErr,add,add>
04:25:18.994 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #489: <digit1,res,resErr,resErr,resErr,digit1>
04:25:18.995 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #490: <digit1,res,resErr,resErr,resErr,add>
04:25:18.995 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #491: <digit1,res,resErr,resErr,dig1Err,digit1>
04:25:18.995 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #492: <digit1,res,resErr,resErr,dig1Err,add>
04:25:18.995 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #493: <digit1,res,resErr,dig1Err,digit1,digit1>
04:25:18.995 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #494: <digit1,res,resErr,dig1Err,digit1,add>
04:25:18.995 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #495: <digit1,res,resErr,dig1Err,add,digit1>
04:25:18.995 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #496: <digit1,res,resErr,dig1Err,add,add>
04:25:18.995 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #497: <digit1,res,resErr,dig1Err,resErr,digit1>
04:25:18.995 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #498: <digit1,res,resErr,dig1Err,resErr,add>
04:25:18.995 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #499: <digit1,res,resErr,dig1Err,dig1Err,digit1>
04:25:18.995 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #500: <digit1,res,resErr,dig1Err,dig1Err,add>
04:25:18.996 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #501: <digit1,res,dig1Err,digit1,digitN,digit1>
04:25:18.996 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #502: <digit1,res,dig1Err,digit1,digitN,add>
04:25:18.996 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #503: <digit1,res,dig1Err,digit1,add,digit1>
04:25:18.996 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #504: <digit1,res,dig1Err,digit1,add,add>
04:25:18.996 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #505: <digit1,res,dig1Err,digit1,res,digit1>
04:25:18.996 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #506: <digit1,res,dig1Err,digit1,res,add>
04:25:18.996 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #507: <digit1,res,dig1Err,digit1,digNErr,digit1>
04:25:18.996 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #508: <digit1,res,dig1Err,digit1,digNErr,add>
04:25:18.996 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #509: <digit1,res,dig1Err,add,digit1,digit1>
04:25:18.996 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #510: <digit1,res,dig1Err,add,digit1,add>
04:25:18.997 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #511: <digit1,res,dig1Err,add,resErr,digit1>
04:25:18.997 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #512: <digit1,res,dig1Err,add,resErr,add>
04:25:18.997 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #513: <digit1,res,dig1Err,add,addErr,digit1>
04:25:18.997 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #514: <digit1,res,dig1Err,add,addErr,add>
04:25:18.997 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #515: <digit1,res,dig1Err,add,dig1Err,digit1>
04:25:18.997 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #516: <digit1,res,dig1Err,add,dig1Err,add>
04:25:18.997 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #517: <digit1,res,dig1Err,resErr,digit1,digit1>
04:25:18.997 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #518: <digit1,res,dig1Err,resErr,digit1,add>
04:25:18.997 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #519: <digit1,res,dig1Err,resErr,add,digit1>
04:25:18.997 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #520: <digit1,res,dig1Err,resErr,add,add>
04:25:18.997 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #521: <digit1,res,dig1Err,resErr,resErr,digit1>
04:25:18.998 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #522: <digit1,res,dig1Err,resErr,resErr,add>
04:25:18.998 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #523: <digit1,res,dig1Err,resErr,dig1Err,digit1>
04:25:18.998 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #524: <digit1,res,dig1Err,resErr,dig1Err,add>
04:25:18.998 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #525: <digit1,res,dig1Err,dig1Err,digit1,digit1>
04:25:18.998 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #526: <digit1,res,dig1Err,dig1Err,digit1,add>
04:25:18.998 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #527: <digit1,res,dig1Err,dig1Err,add,digit1>
04:25:18.998 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #528: <digit1,res,dig1Err,dig1Err,add,add>
04:25:18.998 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #529: <digit1,res,dig1Err,dig1Err,resErr,digit1>
04:25:18.998 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #530: <digit1,res,dig1Err,dig1Err,resErr,add>
04:25:18.998 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #531: <digit1,res,dig1Err,dig1Err,dig1Err,digit1>
04:25:18.999 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #532: <digit1,res,dig1Err,dig1Err,dig1Err,add>
04:25:18.999 [main] INFO  org.jsxm.jsxmcore.util.Various - ------------------------------------------------------------
04:25:18.999 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Reducing sequences to applicable
04:25:19.006 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - 0 sequences shortened.
04:25:19.006 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - 0 sequences became empty (or were duplicates) and were removed.
04:25:19.006 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Time : 152
04:25:19.216 [main] INFO  org.jsxm.jsxmcore.util.XML - 
04:25:19.216 [main] INFO  org.jsxm.maven.plugin.facade.TestGenerationFacade - --- Calc tests generated successfully ---

04:25:19.216 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->
04:25:19.216 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- Generates the JUNIT files-->
04:25:19.217 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->

04:25:19.529 [main] INFO  org.jsxm.maven.plugin.facade.TestTransformationFacade -            -->Class under test : CalcAdapter<--
04:25:19.529 [main] INFO  org.jsxm.maven.plugin.facade.TestTransformationFacade -            -->JUnit test class : CalcJsxmAdapterTest<--

04:25:19.529 [main] INFO  org.jsxm.maven.plugin.facade.TestTransformationFacade - --- Calc tests transformed successfully ---
