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

04:43:49.447 [main] INFO  org.jsxm.maven.plugin.facade.ValidateFacade - Validation completed successfully.!
04:43:49.463 [main] INFO  org.jsxm.maven.plugin.facade.InitializeJSXM - Testing directories
04:43:49.464 [main] INFO  org.jsxm.maven.plugin.facade.InitializeJSXM -   ---> Account
04:43:49.492 [main] INFO  org.jsxm.maven.plugin.facade.InitializeJSXM - Compiling : Account.xml
04:43:49.494 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->
04:43:49.494 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- Generates the java files from the XML specification Account-->
04:43:49.494 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->

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

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

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

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

04:43:49.512 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - [getBalance -> getBalanceOut # [], open -> openOut # [], deposit -> depositOut # [], withdraw -> withdrawOut # [], close -> closeOut # []]
04:43:49.514 [main] INFO  org.jsxm.maven.plugin.facade.CompileFacade - --- Jsxm Specification Account.xml compiled successfully ---

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

04:43:50.008 [main] INFO  org.jsxm.maven.plugin.facade.TestGenerationFacade -            -->SXM     Class : AccountSXM.java
04:43:50.008 [main] INFO  org.jsxm.maven.plugin.facade.TestGenerationFacade -            -->SXMBase Class : AccountSXM_base.java

04:43:50.028 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - STATE COVER : [<>, <open>, <open,close>, <open,deposit>]
04:43:50.029 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - CHARACTERIZATION SET : [<open>, <close>, <deposit>]
04:43:50.029 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - FUNCTION SET : [open, close, deposit, withdrawN, withdraw0, readbalance]
04:43:50.029 [main] INFO  org.jsxm.jsxmcore.util.Various - ------------------------------------------------------------
04:43:50.029 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Generating test set sequences for the associated automaton.
04:43:50.029 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - S PHI[k+1] W
04:43:50.029 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Resulting sequences: <f1,...,fk,fk+1>, where <f1,...,fk> in Language
04:43:50.029 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - k = 2
04:43:50.029 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - PHI^n, n=0
04:43:50.030 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - PHI^n, n=1
04:43:50.030 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - PHI^n, n=2
04:43:50.037 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - PHI^n, n=3
04:43:50.053 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - 286 test cases
04:43:50.053 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #1: <open>
04:43:50.053 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #2: <close>
04:43:50.053 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #3: <deposit>
04:43:50.053 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #4: <withdrawN>
04:43:50.054 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #5: <withdraw0>
04:43:50.054 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #6: <readbalance>
04:43:50.054 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #7: <open,open>
04:43:50.054 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #8: <open,close>
04:43:50.054 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #9: <open,deposit>
04:43:50.054 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #10: <open,withdrawN>
04:43:50.054 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #11: <open,withdraw0>
04:43:50.054 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #12: <open,close,open>
04:43:50.054 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #13: <open,close,close>
04:43:50.054 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #14: <open,close,deposit>
04:43:50.055 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #15: <open,deposit,open>
04:43:50.055 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #16: <open,deposit,close>
04:43:50.055 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #17: <open,deposit,deposit>
04:43:50.055 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #18: <open,readbalance,open>
04:43:50.055 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #19: <open,readbalance,close>
04:43:50.055 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #20: <open,readbalance,deposit>
04:43:50.055 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #21: <open,close,withdrawN>
04:43:50.055 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #22: <open,close,withdraw0>
04:43:50.055 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #23: <open,close,readbalance>
04:43:50.055 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #24: <open,readbalance,withdrawN>
04:43:50.056 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #25: <open,readbalance,withdraw0>
04:43:50.056 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #26: <open,deposit,deposit,open>
04:43:50.056 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #27: <open,deposit,deposit,close>
04:43:50.056 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #28: <open,deposit,deposit,deposit>
04:43:50.056 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #29: <open,deposit,withdrawN,open>
04:43:50.056 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #30: <open,deposit,withdrawN,close>
04:43:50.056 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #31: <open,deposit,withdrawN,deposit>
04:43:50.056 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #32: <open,deposit,withdraw0,open>
04:43:50.056 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #33: <open,deposit,withdraw0,close>
04:43:50.057 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #34: <open,deposit,withdraw0,deposit>
04:43:50.057 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #35: <open,deposit,readbalance,open>
04:43:50.057 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #36: <open,deposit,readbalance,close>
04:43:50.057 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #37: <open,deposit,readbalance,deposit>
04:43:50.057 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #38: <open,readbalance,close,open>
04:43:50.057 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #39: <open,readbalance,close,close>
04:43:50.057 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #40: <open,readbalance,close,deposit>
04:43:50.057 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #41: <open,readbalance,deposit,open>
04:43:50.057 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #42: <open,readbalance,deposit,close>
04:43:50.058 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #43: <open,readbalance,deposit,deposit>
04:43:50.058 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #44: <open,readbalance,readbalance,open>
04:43:50.058 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #45: <open,readbalance,readbalance,close>
04:43:50.058 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #46: <open,readbalance,readbalance,deposit>
04:43:50.058 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #47: <open,deposit,withdraw0,withdrawN>
04:43:50.058 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #48: <open,deposit,withdraw0,withdraw0>
04:43:50.058 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #49: <open,readbalance,close,withdrawN>
04:43:50.058 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #50: <open,readbalance,close,withdraw0>
04:43:50.058 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #51: <open,readbalance,close,readbalance>
04:43:50.059 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #52: <open,readbalance,readbalance,withdrawN>
04:43:50.059 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #53: <open,readbalance,readbalance,withdraw0>
04:43:50.059 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #54: <open,deposit,deposit,deposit,open>
04:43:50.059 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #55: <open,deposit,deposit,deposit,close>
04:43:50.059 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #56: <open,deposit,deposit,deposit,deposit>
04:43:50.059 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #57: <open,deposit,deposit,withdrawN,open>
04:43:50.059 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #58: <open,deposit,deposit,withdrawN,close>
04:43:50.059 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #59: <open,deposit,deposit,withdrawN,deposit>
04:43:50.059 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #60: <open,deposit,deposit,withdraw0,open>
04:43:50.059 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #61: <open,deposit,deposit,withdraw0,close>
04:43:50.060 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #62: <open,deposit,deposit,withdraw0,deposit>
04:43:50.060 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #63: <open,deposit,deposit,readbalance,open>
04:43:50.060 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #64: <open,deposit,deposit,readbalance,close>
04:43:50.060 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #65: <open,deposit,deposit,readbalance,deposit>
04:43:50.060 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #66: <open,deposit,withdrawN,deposit,open>
04:43:50.060 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #67: <open,deposit,withdrawN,deposit,close>
04:43:50.060 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #68: <open,deposit,withdrawN,deposit,deposit>
04:43:50.060 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #69: <open,deposit,withdrawN,withdrawN,open>
04:43:50.061 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #70: <open,deposit,withdrawN,withdrawN,close>
04:43:50.061 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #71: <open,deposit,withdrawN,withdrawN,deposit>
04:43:50.061 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #72: <open,deposit,withdrawN,withdraw0,open>
04:43:50.061 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #73: <open,deposit,withdrawN,withdraw0,close>
04:43:50.061 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #74: <open,deposit,withdrawN,withdraw0,deposit>
04:43:50.061 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #75: <open,deposit,withdrawN,readbalance,open>
04:43:50.061 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #76: <open,deposit,withdrawN,readbalance,close>
04:43:50.061 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #77: <open,deposit,withdrawN,readbalance,deposit>
04:43:50.061 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #78: <open,deposit,withdraw0,close,open>
04:43:50.061 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #79: <open,deposit,withdraw0,close,close>
04:43:50.062 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #80: <open,deposit,withdraw0,close,deposit>
04:43:50.062 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #81: <open,deposit,withdraw0,deposit,open>
04:43:50.062 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #82: <open,deposit,withdraw0,deposit,close>
04:43:50.062 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #83: <open,deposit,withdraw0,deposit,deposit>
04:43:50.062 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #84: <open,deposit,withdraw0,readbalance,open>
04:43:50.062 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #85: <open,deposit,withdraw0,readbalance,close>
04:43:50.062 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #86: <open,deposit,withdraw0,readbalance,deposit>
04:43:50.062 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #87: <open,deposit,readbalance,deposit,open>
04:43:50.062 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #88: <open,deposit,readbalance,deposit,close>
04:43:50.062 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #89: <open,deposit,readbalance,deposit,deposit>
04:43:50.063 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #90: <open,deposit,readbalance,withdrawN,open>
04:43:50.063 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #91: <open,deposit,readbalance,withdrawN,close>
04:43:50.063 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #92: <open,deposit,readbalance,withdrawN,deposit>
04:43:50.063 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #93: <open,deposit,readbalance,withdraw0,open>
04:43:50.063 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #94: <open,deposit,readbalance,withdraw0,close>
04:43:50.063 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #95: <open,deposit,readbalance,withdraw0,deposit>
04:43:50.063 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #96: <open,deposit,readbalance,readbalance,open>
04:43:50.063 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #97: <open,deposit,readbalance,readbalance,close>
04:43:50.063 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #98: <open,deposit,readbalance,readbalance,deposit>
04:43:50.063 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #99: <open,readbalance,deposit,deposit,open>
04:43:50.064 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #100: <open,readbalance,deposit,deposit,close>
04:43:50.064 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #101: <open,readbalance,deposit,deposit,deposit>
04:43:50.064 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #102: <open,readbalance,deposit,withdrawN,open>
04:43:50.064 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #103: <open,readbalance,deposit,withdrawN,close>
04:43:50.064 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #104: <open,readbalance,deposit,withdrawN,deposit>
04:43:50.064 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #105: <open,readbalance,deposit,withdraw0,open>
04:43:50.064 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #106: <open,readbalance,deposit,withdraw0,close>
04:43:50.064 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #107: <open,readbalance,deposit,withdraw0,deposit>
04:43:50.064 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #108: <open,readbalance,deposit,readbalance,open>
04:43:50.064 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #109: <open,readbalance,deposit,readbalance,close>
04:43:50.065 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #110: <open,readbalance,deposit,readbalance,deposit>
04:43:50.065 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #111: <open,readbalance,readbalance,close,open>
04:43:50.065 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #112: <open,readbalance,readbalance,close,close>
04:43:50.065 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #113: <open,readbalance,readbalance,close,deposit>
04:43:50.065 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #114: <open,readbalance,readbalance,deposit,open>
04:43:50.065 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #115: <open,readbalance,readbalance,deposit,close>
04:43:50.065 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #116: <open,readbalance,readbalance,deposit,deposit>
04:43:50.065 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #117: <open,readbalance,readbalance,readbalance,open>
04:43:50.065 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #118: <open,readbalance,readbalance,readbalance,close>
04:43:50.066 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #119: <open,readbalance,readbalance,readbalance,deposit>
04:43:50.066 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #120: <open,deposit,deposit,withdraw0,withdrawN>
04:43:50.066 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #121: <open,deposit,deposit,withdraw0,withdraw0>
04:43:50.066 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #122: <open,deposit,withdrawN,withdraw0,withdrawN>
04:43:50.066 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #123: <open,deposit,withdrawN,withdraw0,withdraw0>
04:43:50.066 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #124: <open,deposit,withdraw0,close,withdrawN>
04:43:50.066 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #125: <open,deposit,withdraw0,close,withdraw0>
04:43:50.066 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #126: <open,deposit,withdraw0,close,readbalance>
04:43:50.066 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #127: <open,deposit,withdraw0,readbalance,withdrawN>
04:43:50.066 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #128: <open,deposit,withdraw0,readbalance,withdraw0>
04:43:50.067 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #129: <open,deposit,readbalance,withdraw0,withdrawN>
04:43:50.067 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #130: <open,deposit,readbalance,withdraw0,withdraw0>
04:43:50.067 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #131: <open,deposit,deposit,deposit,deposit,open>
04:43:50.067 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #132: <open,deposit,deposit,deposit,deposit,close>
04:43:50.067 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #133: <open,deposit,deposit,deposit,deposit,deposit>
04:43:50.067 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #134: <open,deposit,deposit,deposit,withdrawN,open>
04:43:50.067 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #135: <open,deposit,deposit,deposit,withdrawN,close>
04:43:50.067 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #136: <open,deposit,deposit,deposit,withdrawN,deposit>
04:43:50.067 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #137: <open,deposit,deposit,deposit,withdraw0,open>
04:43:50.067 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #138: <open,deposit,deposit,deposit,withdraw0,close>
04:43:50.068 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #139: <open,deposit,deposit,deposit,withdraw0,deposit>
04:43:50.068 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #140: <open,deposit,deposit,deposit,readbalance,open>
04:43:50.068 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #141: <open,deposit,deposit,deposit,readbalance,close>
04:43:50.068 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #142: <open,deposit,deposit,deposit,readbalance,deposit>
04:43:50.068 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #143: <open,deposit,deposit,withdrawN,deposit,open>
04:43:50.068 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #144: <open,deposit,deposit,withdrawN,deposit,close>
04:43:50.068 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #145: <open,deposit,deposit,withdrawN,deposit,deposit>
04:43:50.068 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #146: <open,deposit,deposit,withdrawN,withdrawN,open>
04:43:50.068 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #147: <open,deposit,deposit,withdrawN,withdrawN,close>
04:43:50.068 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #148: <open,deposit,deposit,withdrawN,withdrawN,deposit>
04:43:50.069 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #149: <open,deposit,deposit,withdrawN,withdraw0,open>
04:43:50.069 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #150: <open,deposit,deposit,withdrawN,withdraw0,close>
04:43:50.069 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #151: <open,deposit,deposit,withdrawN,withdraw0,deposit>
04:43:50.069 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #152: <open,deposit,deposit,withdrawN,readbalance,open>
04:43:50.069 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #153: <open,deposit,deposit,withdrawN,readbalance,close>
04:43:50.069 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #154: <open,deposit,deposit,withdrawN,readbalance,deposit>
04:43:50.069 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #155: <open,deposit,deposit,withdraw0,close,open>
04:43:50.069 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #156: <open,deposit,deposit,withdraw0,close,close>
04:43:50.069 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #157: <open,deposit,deposit,withdraw0,close,deposit>
04:43:50.069 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #158: <open,deposit,deposit,withdraw0,deposit,open>
04:43:50.070 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #159: <open,deposit,deposit,withdraw0,deposit,close>
04:43:50.070 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #160: <open,deposit,deposit,withdraw0,deposit,deposit>
04:43:50.070 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #161: <open,deposit,deposit,withdraw0,readbalance,open>
04:43:50.070 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #162: <open,deposit,deposit,withdraw0,readbalance,close>
04:43:50.070 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #163: <open,deposit,deposit,withdraw0,readbalance,deposit>
04:43:50.070 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #164: <open,deposit,deposit,readbalance,deposit,open>
04:43:50.070 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #165: <open,deposit,deposit,readbalance,deposit,close>
04:43:50.070 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #166: <open,deposit,deposit,readbalance,deposit,deposit>
04:43:50.070 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #167: <open,deposit,deposit,readbalance,withdrawN,open>
04:43:50.071 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #168: <open,deposit,deposit,readbalance,withdrawN,close>
04:43:50.071 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #169: <open,deposit,deposit,readbalance,withdrawN,deposit>
04:43:50.071 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #170: <open,deposit,deposit,readbalance,withdraw0,open>
04:43:50.071 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #171: <open,deposit,deposit,readbalance,withdraw0,close>
04:43:50.071 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #172: <open,deposit,deposit,readbalance,withdraw0,deposit>
04:43:50.071 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #173: <open,deposit,deposit,readbalance,readbalance,open>
04:43:50.071 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #174: <open,deposit,deposit,readbalance,readbalance,close>
04:43:50.071 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #175: <open,deposit,deposit,readbalance,readbalance,deposit>
04:43:50.071 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #176: <open,deposit,withdrawN,deposit,deposit,open>
04:43:50.071 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #177: <open,deposit,withdrawN,deposit,deposit,close>
04:43:50.072 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #178: <open,deposit,withdrawN,deposit,deposit,deposit>
04:43:50.072 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #179: <open,deposit,withdrawN,deposit,withdrawN,open>
04:43:50.072 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #180: <open,deposit,withdrawN,deposit,withdrawN,close>
04:43:50.072 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #181: <open,deposit,withdrawN,deposit,withdrawN,deposit>
04:43:50.072 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #182: <open,deposit,withdrawN,deposit,withdraw0,open>
04:43:50.072 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #183: <open,deposit,withdrawN,deposit,withdraw0,close>
04:43:50.072 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #184: <open,deposit,withdrawN,deposit,withdraw0,deposit>
04:43:50.072 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #185: <open,deposit,withdrawN,deposit,readbalance,open>
04:43:50.072 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #186: <open,deposit,withdrawN,deposit,readbalance,close>
04:43:50.073 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #187: <open,deposit,withdrawN,deposit,readbalance,deposit>
04:43:50.073 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #188: <open,deposit,withdrawN,withdrawN,deposit,open>
04:43:50.073 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #189: <open,deposit,withdrawN,withdrawN,deposit,close>
04:43:50.073 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #190: <open,deposit,withdrawN,withdrawN,deposit,deposit>
04:43:50.073 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #191: <open,deposit,withdrawN,withdrawN,withdrawN,open>
04:43:50.073 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #192: <open,deposit,withdrawN,withdrawN,withdrawN,close>
04:43:50.073 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #193: <open,deposit,withdrawN,withdrawN,withdrawN,deposit>
04:43:50.073 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #194: <open,deposit,withdrawN,withdrawN,withdraw0,open>
04:43:50.073 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #195: <open,deposit,withdrawN,withdrawN,withdraw0,close>
04:43:50.074 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #196: <open,deposit,withdrawN,withdrawN,withdraw0,deposit>
04:43:50.074 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #197: <open,deposit,withdrawN,withdrawN,readbalance,open>
04:43:50.074 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #198: <open,deposit,withdrawN,withdrawN,readbalance,close>
04:43:50.074 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #199: <open,deposit,withdrawN,withdrawN,readbalance,deposit>
04:43:50.074 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #200: <open,deposit,withdrawN,withdraw0,close,open>
04:43:50.074 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #201: <open,deposit,withdrawN,withdraw0,close,close>
04:43:50.074 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #202: <open,deposit,withdrawN,withdraw0,close,deposit>
04:43:50.074 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #203: <open,deposit,withdrawN,withdraw0,deposit,open>
04:43:50.074 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #204: <open,deposit,withdrawN,withdraw0,deposit,close>
04:43:50.075 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #205: <open,deposit,withdrawN,withdraw0,deposit,deposit>
04:43:50.075 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #206: <open,deposit,withdrawN,withdraw0,readbalance,open>
04:43:50.075 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #207: <open,deposit,withdrawN,withdraw0,readbalance,close>
04:43:50.075 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #208: <open,deposit,withdrawN,withdraw0,readbalance,deposit>
04:43:50.075 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #209: <open,deposit,withdrawN,readbalance,deposit,open>
04:43:50.075 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #210: <open,deposit,withdrawN,readbalance,deposit,close>
04:43:50.075 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #211: <open,deposit,withdrawN,readbalance,deposit,deposit>
04:43:50.075 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #212: <open,deposit,withdrawN,readbalance,withdrawN,open>
04:43:50.075 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #213: <open,deposit,withdrawN,readbalance,withdrawN,close>
04:43:50.076 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #214: <open,deposit,withdrawN,readbalance,withdrawN,deposit>
04:43:50.076 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #215: <open,deposit,withdrawN,readbalance,withdraw0,open>
04:43:50.076 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #216: <open,deposit,withdrawN,readbalance,withdraw0,close>
04:43:50.076 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #217: <open,deposit,withdrawN,readbalance,withdraw0,deposit>
04:43:50.076 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #218: <open,deposit,withdrawN,readbalance,readbalance,open>
04:43:50.076 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #219: <open,deposit,withdrawN,readbalance,readbalance,close>
04:43:50.076 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #220: <open,deposit,withdrawN,readbalance,readbalance,deposit>
04:43:50.076 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #221: <open,deposit,withdraw0,deposit,deposit,open>
04:43:50.076 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #222: <open,deposit,withdraw0,deposit,deposit,close>
04:43:50.076 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #223: <open,deposit,withdraw0,deposit,deposit,deposit>
04:43:50.077 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #224: <open,deposit,withdraw0,deposit,withdrawN,open>
04:43:50.077 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #225: <open,deposit,withdraw0,deposit,withdrawN,close>
04:43:50.077 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #226: <open,deposit,withdraw0,deposit,withdrawN,deposit>
04:43:50.077 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #227: <open,deposit,withdraw0,deposit,withdraw0,open>
04:43:50.077 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #228: <open,deposit,withdraw0,deposit,withdraw0,close>
04:43:50.077 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #229: <open,deposit,withdraw0,deposit,withdraw0,deposit>
04:43:50.077 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #230: <open,deposit,withdraw0,deposit,readbalance,open>
04:43:50.077 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #231: <open,deposit,withdraw0,deposit,readbalance,close>
04:43:50.077 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #232: <open,deposit,withdraw0,deposit,readbalance,deposit>
04:43:50.078 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #233: <open,deposit,withdraw0,readbalance,close,open>
04:43:50.078 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #234: <open,deposit,withdraw0,readbalance,close,close>
04:43:50.078 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #235: <open,deposit,withdraw0,readbalance,close,deposit>
04:43:50.078 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #236: <open,deposit,withdraw0,readbalance,deposit,open>
04:43:50.078 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #237: <open,deposit,withdraw0,readbalance,deposit,close>
04:43:50.078 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #238: <open,deposit,withdraw0,readbalance,deposit,deposit>
04:43:50.078 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #239: <open,deposit,withdraw0,readbalance,readbalance,open>
04:43:50.078 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #240: <open,deposit,withdraw0,readbalance,readbalance,close>
04:43:50.078 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #241: <open,deposit,withdraw0,readbalance,readbalance,deposit>
04:43:50.078 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #242: <open,deposit,readbalance,deposit,deposit,open>
04:43:50.079 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #243: <open,deposit,readbalance,deposit,deposit,close>
04:43:50.079 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #244: <open,deposit,readbalance,deposit,deposit,deposit>
04:43:50.079 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #245: <open,deposit,readbalance,deposit,withdrawN,open>
04:43:50.079 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #246: <open,deposit,readbalance,deposit,withdrawN,close>
04:43:50.079 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #247: <open,deposit,readbalance,deposit,withdrawN,deposit>
04:43:50.079 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #248: <open,deposit,readbalance,deposit,withdraw0,open>
04:43:50.079 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #249: <open,deposit,readbalance,deposit,withdraw0,close>
04:43:50.079 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #250: <open,deposit,readbalance,deposit,withdraw0,deposit>
04:43:50.079 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #251: <open,deposit,readbalance,deposit,readbalance,open>
04:43:50.079 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #252: <open,deposit,readbalance,deposit,readbalance,close>
04:43:50.080 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #253: <open,deposit,readbalance,deposit,readbalance,deposit>
04:43:50.080 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #254: <open,deposit,readbalance,withdrawN,deposit,open>
04:43:50.080 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #255: <open,deposit,readbalance,withdrawN,deposit,close>
04:43:50.080 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #256: <open,deposit,readbalance,withdrawN,deposit,deposit>
04:43:50.080 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #257: <open,deposit,readbalance,withdrawN,withdrawN,open>
04:43:50.080 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #258: <open,deposit,readbalance,withdrawN,withdrawN,close>
04:43:50.080 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #259: <open,deposit,readbalance,withdrawN,withdrawN,deposit>
04:43:50.080 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #260: <open,deposit,readbalance,withdrawN,withdraw0,open>
04:43:50.080 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #261: <open,deposit,readbalance,withdrawN,withdraw0,close>
04:43:50.080 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #262: <open,deposit,readbalance,withdrawN,withdraw0,deposit>
04:43:50.080 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #263: <open,deposit,readbalance,withdrawN,readbalance,open>
04:43:50.081 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #264: <open,deposit,readbalance,withdrawN,readbalance,close>
04:43:50.081 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #265: <open,deposit,readbalance,withdrawN,readbalance,deposit>
04:43:50.081 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #266: <open,deposit,readbalance,withdraw0,close,open>
04:43:50.081 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #267: <open,deposit,readbalance,withdraw0,close,close>
04:43:50.081 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #268: <open,deposit,readbalance,withdraw0,close,deposit>
04:43:50.081 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #269: <open,deposit,readbalance,withdraw0,deposit,open>
04:43:50.081 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #270: <open,deposit,readbalance,withdraw0,deposit,close>
04:43:50.081 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #271: <open,deposit,readbalance,withdraw0,deposit,deposit>
04:43:50.081 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #272: <open,deposit,readbalance,withdraw0,readbalance,open>
04:43:50.081 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #273: <open,deposit,readbalance,withdraw0,readbalance,close>
04:43:50.082 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #274: <open,deposit,readbalance,withdraw0,readbalance,deposit>
04:43:50.082 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #275: <open,deposit,readbalance,readbalance,deposit,open>
04:43:50.082 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #276: <open,deposit,readbalance,readbalance,deposit,close>
04:43:50.082 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #277: <open,deposit,readbalance,readbalance,deposit,deposit>
04:43:50.082 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #278: <open,deposit,readbalance,readbalance,withdrawN,open>
04:43:50.082 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #279: <open,deposit,readbalance,readbalance,withdrawN,close>
04:43:50.082 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #280: <open,deposit,readbalance,readbalance,withdrawN,deposit>
04:43:50.082 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #281: <open,deposit,readbalance,readbalance,withdraw0,open>
04:43:50.082 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #282: <open,deposit,readbalance,readbalance,withdraw0,close>
04:43:50.082 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #283: <open,deposit,readbalance,readbalance,withdraw0,deposit>
04:43:50.083 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #284: <open,deposit,readbalance,readbalance,readbalance,open>
04:43:50.083 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #285: <open,deposit,readbalance,readbalance,readbalance,close>
04:43:50.083 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #286: <open,deposit,readbalance,readbalance,readbalance,deposit>
04:43:50.083 [main] INFO  org.jsxm.jsxmcore.util.Various - ------------------------------------------------------------
04:43:50.083 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Removing sequences which are subsequences
04:43:50.083 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - of other longer sequences in the test set.
04:43:50.092 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - 254 test cases. 32 prefixes removed.
04:43:50.092 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #1: <close>
04:43:50.092 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #2: <deposit>
04:43:50.092 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #3: <withdrawN>
04:43:50.092 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #4: <withdraw0>
04:43:50.092 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #5: <readbalance>
04:43:50.092 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #6: <open,open>
04:43:50.092 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #7: <open,withdrawN>
04:43:50.092 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #8: <open,withdraw0>
04:43:50.093 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #9: <open,close,open>
04:43:50.093 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #10: <open,close,close>
04:43:50.093 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #11: <open,close,deposit>
04:43:50.093 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #12: <open,deposit,open>
04:43:50.093 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #13: <open,deposit,close>
04:43:50.093 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #14: <open,readbalance,open>
04:43:50.093 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #15: <open,close,withdrawN>
04:43:50.093 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #16: <open,close,withdraw0>
04:43:50.093 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #17: <open,close,readbalance>
04:43:50.093 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #18: <open,readbalance,withdrawN>
04:43:50.094 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #19: <open,readbalance,withdraw0>
04:43:50.094 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #20: <open,deposit,deposit,open>
04:43:50.094 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #21: <open,deposit,deposit,close>
04:43:50.094 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #22: <open,deposit,withdrawN,open>
04:43:50.094 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #23: <open,deposit,withdrawN,close>
04:43:50.094 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #24: <open,deposit,withdraw0,open>
04:43:50.094 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #25: <open,deposit,readbalance,open>
04:43:50.094 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #26: <open,deposit,readbalance,close>
04:43:50.094 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #27: <open,readbalance,close,open>
04:43:50.094 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #28: <open,readbalance,close,close>
04:43:50.095 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #29: <open,readbalance,close,deposit>
04:43:50.095 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #30: <open,readbalance,deposit,open>
04:43:50.095 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #31: <open,readbalance,deposit,close>
04:43:50.095 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #32: <open,readbalance,readbalance,open>
04:43:50.095 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #33: <open,deposit,withdraw0,withdrawN>
04:43:50.095 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #34: <open,deposit,withdraw0,withdraw0>
04:43:50.095 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #35: <open,readbalance,close,withdrawN>
04:43:50.095 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #36: <open,readbalance,close,withdraw0>
04:43:50.095 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #37: <open,readbalance,close,readbalance>
04:43:50.096 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #38: <open,readbalance,readbalance,withdrawN>
04:43:50.096 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #39: <open,readbalance,readbalance,withdraw0>
04:43:50.096 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #40: <open,deposit,deposit,deposit,open>
04:43:50.096 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #41: <open,deposit,deposit,deposit,close>
04:43:50.096 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #42: <open,deposit,deposit,withdrawN,open>
04:43:50.096 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #43: <open,deposit,deposit,withdrawN,close>
04:43:50.096 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #44: <open,deposit,deposit,withdraw0,open>
04:43:50.096 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #45: <open,deposit,deposit,readbalance,open>
04:43:50.096 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #46: <open,deposit,deposit,readbalance,close>
04:43:50.096 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #47: <open,deposit,withdrawN,deposit,open>
04:43:50.097 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #48: <open,deposit,withdrawN,deposit,close>
04:43:50.097 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #49: <open,deposit,withdrawN,withdrawN,open>
04:43:50.097 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #50: <open,deposit,withdrawN,withdrawN,close>
04:43:50.097 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #51: <open,deposit,withdrawN,withdraw0,open>
04:43:50.097 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #52: <open,deposit,withdrawN,readbalance,open>
04:43:50.097 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #53: <open,deposit,withdrawN,readbalance,close>
04:43:50.097 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #54: <open,deposit,withdraw0,close,open>
04:43:50.097 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #55: <open,deposit,withdraw0,close,close>
04:43:50.097 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #56: <open,deposit,withdraw0,close,deposit>
04:43:50.097 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #57: <open,deposit,withdraw0,deposit,open>
04:43:50.098 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #58: <open,deposit,withdraw0,deposit,close>
04:43:50.098 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #59: <open,deposit,withdraw0,readbalance,open>
04:43:50.098 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #60: <open,deposit,readbalance,deposit,open>
04:43:50.098 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #61: <open,deposit,readbalance,deposit,close>
04:43:50.098 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #62: <open,deposit,readbalance,withdrawN,open>
04:43:50.098 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #63: <open,deposit,readbalance,withdrawN,close>
04:43:50.098 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #64: <open,deposit,readbalance,withdraw0,open>
04:43:50.098 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #65: <open,deposit,readbalance,readbalance,open>
04:43:50.098 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #66: <open,deposit,readbalance,readbalance,close>
04:43:50.098 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #67: <open,readbalance,deposit,deposit,open>
04:43:50.099 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #68: <open,readbalance,deposit,deposit,close>
04:43:50.099 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #69: <open,readbalance,deposit,deposit,deposit>
04:43:50.099 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #70: <open,readbalance,deposit,withdrawN,open>
04:43:50.099 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #71: <open,readbalance,deposit,withdrawN,close>
04:43:50.099 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #72: <open,readbalance,deposit,withdrawN,deposit>
04:43:50.099 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #73: <open,readbalance,deposit,withdraw0,open>
04:43:50.099 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #74: <open,readbalance,deposit,withdraw0,close>
04:43:50.099 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #75: <open,readbalance,deposit,withdraw0,deposit>
04:43:50.099 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #76: <open,readbalance,deposit,readbalance,open>
04:43:50.099 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #77: <open,readbalance,deposit,readbalance,close>
04:43:50.100 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #78: <open,readbalance,deposit,readbalance,deposit>
04:43:50.100 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #79: <open,readbalance,readbalance,close,open>
04:43:50.100 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #80: <open,readbalance,readbalance,close,close>
04:43:50.100 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #81: <open,readbalance,readbalance,close,deposit>
04:43:50.100 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #82: <open,readbalance,readbalance,deposit,open>
04:43:50.100 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #83: <open,readbalance,readbalance,deposit,close>
04:43:50.100 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #84: <open,readbalance,readbalance,deposit,deposit>
04:43:50.100 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #85: <open,readbalance,readbalance,readbalance,open>
04:43:50.100 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #86: <open,readbalance,readbalance,readbalance,close>
04:43:50.100 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #87: <open,readbalance,readbalance,readbalance,deposit>
04:43:50.101 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #88: <open,deposit,deposit,withdraw0,withdrawN>
04:43:50.101 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #89: <open,deposit,deposit,withdraw0,withdraw0>
04:43:50.101 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #90: <open,deposit,withdrawN,withdraw0,withdrawN>
04:43:50.101 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #91: <open,deposit,withdrawN,withdraw0,withdraw0>
04:43:50.101 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #92: <open,deposit,withdraw0,close,withdrawN>
04:43:50.101 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #93: <open,deposit,withdraw0,close,withdraw0>
04:43:50.101 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #94: <open,deposit,withdraw0,close,readbalance>
04:43:50.101 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #95: <open,deposit,withdraw0,readbalance,withdrawN>
04:43:50.101 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #96: <open,deposit,withdraw0,readbalance,withdraw0>
04:43:50.101 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #97: <open,deposit,readbalance,withdraw0,withdrawN>
04:43:50.102 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #98: <open,deposit,readbalance,withdraw0,withdraw0>
04:43:50.102 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #99: <open,deposit,deposit,deposit,deposit,open>
04:43:50.102 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #100: <open,deposit,deposit,deposit,deposit,close>
04:43:50.102 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #101: <open,deposit,deposit,deposit,deposit,deposit>
04:43:50.102 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #102: <open,deposit,deposit,deposit,withdrawN,open>
04:43:50.102 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #103: <open,deposit,deposit,deposit,withdrawN,close>
04:43:50.102 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #104: <open,deposit,deposit,deposit,withdrawN,deposit>
04:43:50.102 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #105: <open,deposit,deposit,deposit,withdraw0,open>
04:43:50.102 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #106: <open,deposit,deposit,deposit,withdraw0,close>
04:43:50.102 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #107: <open,deposit,deposit,deposit,withdraw0,deposit>
04:43:50.103 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #108: <open,deposit,deposit,deposit,readbalance,open>
04:43:50.103 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #109: <open,deposit,deposit,deposit,readbalance,close>
04:43:50.103 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #110: <open,deposit,deposit,deposit,readbalance,deposit>
04:43:50.103 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #111: <open,deposit,deposit,withdrawN,deposit,open>
04:43:50.103 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #112: <open,deposit,deposit,withdrawN,deposit,close>
04:43:50.103 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #113: <open,deposit,deposit,withdrawN,deposit,deposit>
04:43:50.103 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #114: <open,deposit,deposit,withdrawN,withdrawN,open>
04:43:50.103 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #115: <open,deposit,deposit,withdrawN,withdrawN,close>
04:43:50.103 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #116: <open,deposit,deposit,withdrawN,withdrawN,deposit>
04:43:50.103 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #117: <open,deposit,deposit,withdrawN,withdraw0,open>
04:43:50.103 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #118: <open,deposit,deposit,withdrawN,withdraw0,close>
04:43:50.104 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #119: <open,deposit,deposit,withdrawN,withdraw0,deposit>
04:43:50.104 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #120: <open,deposit,deposit,withdrawN,readbalance,open>
04:43:50.104 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #121: <open,deposit,deposit,withdrawN,readbalance,close>
04:43:50.104 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #122: <open,deposit,deposit,withdrawN,readbalance,deposit>
04:43:50.104 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #123: <open,deposit,deposit,withdraw0,close,open>
04:43:50.104 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #124: <open,deposit,deposit,withdraw0,close,close>
04:43:50.104 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #125: <open,deposit,deposit,withdraw0,close,deposit>
04:43:50.104 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #126: <open,deposit,deposit,withdraw0,deposit,open>
04:43:50.104 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #127: <open,deposit,deposit,withdraw0,deposit,close>
04:43:50.104 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #128: <open,deposit,deposit,withdraw0,deposit,deposit>
04:43:50.104 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #129: <open,deposit,deposit,withdraw0,readbalance,open>
04:43:50.105 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #130: <open,deposit,deposit,withdraw0,readbalance,close>
04:43:50.105 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #131: <open,deposit,deposit,withdraw0,readbalance,deposit>
04:43:50.105 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #132: <open,deposit,deposit,readbalance,deposit,open>
04:43:50.105 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #133: <open,deposit,deposit,readbalance,deposit,close>
04:43:50.105 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #134: <open,deposit,deposit,readbalance,deposit,deposit>
04:43:50.105 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #135: <open,deposit,deposit,readbalance,withdrawN,open>
04:43:50.105 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #136: <open,deposit,deposit,readbalance,withdrawN,close>
04:43:50.105 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #137: <open,deposit,deposit,readbalance,withdrawN,deposit>
04:43:50.105 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #138: <open,deposit,deposit,readbalance,withdraw0,open>
04:43:50.105 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #139: <open,deposit,deposit,readbalance,withdraw0,close>
04:43:50.106 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #140: <open,deposit,deposit,readbalance,withdraw0,deposit>
04:43:50.106 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #141: <open,deposit,deposit,readbalance,readbalance,open>
04:43:50.106 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #142: <open,deposit,deposit,readbalance,readbalance,close>
04:43:50.106 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #143: <open,deposit,deposit,readbalance,readbalance,deposit>
04:43:50.106 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #144: <open,deposit,withdrawN,deposit,deposit,open>
04:43:50.106 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #145: <open,deposit,withdrawN,deposit,deposit,close>
04:43:50.106 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #146: <open,deposit,withdrawN,deposit,deposit,deposit>
04:43:50.106 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #147: <open,deposit,withdrawN,deposit,withdrawN,open>
04:43:50.106 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #148: <open,deposit,withdrawN,deposit,withdrawN,close>
04:43:50.106 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #149: <open,deposit,withdrawN,deposit,withdrawN,deposit>
04:43:50.107 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #150: <open,deposit,withdrawN,deposit,withdraw0,open>
04:43:50.107 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #151: <open,deposit,withdrawN,deposit,withdraw0,close>
04:43:50.107 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #152: <open,deposit,withdrawN,deposit,withdraw0,deposit>
04:43:50.107 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #153: <open,deposit,withdrawN,deposit,readbalance,open>
04:43:50.107 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #154: <open,deposit,withdrawN,deposit,readbalance,close>
04:43:50.107 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #155: <open,deposit,withdrawN,deposit,readbalance,deposit>
04:43:50.107 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #156: <open,deposit,withdrawN,withdrawN,deposit,open>
04:43:50.107 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #157: <open,deposit,withdrawN,withdrawN,deposit,close>
04:43:50.107 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #158: <open,deposit,withdrawN,withdrawN,deposit,deposit>
04:43:50.107 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #159: <open,deposit,withdrawN,withdrawN,withdrawN,open>
04:43:50.108 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #160: <open,deposit,withdrawN,withdrawN,withdrawN,close>
04:43:50.108 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #161: <open,deposit,withdrawN,withdrawN,withdrawN,deposit>
04:43:50.108 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #162: <open,deposit,withdrawN,withdrawN,withdraw0,open>
04:43:50.108 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #163: <open,deposit,withdrawN,withdrawN,withdraw0,close>
04:43:50.108 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #164: <open,deposit,withdrawN,withdrawN,withdraw0,deposit>
04:43:50.108 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #165: <open,deposit,withdrawN,withdrawN,readbalance,open>
04:43:50.108 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #166: <open,deposit,withdrawN,withdrawN,readbalance,close>
04:43:50.108 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #167: <open,deposit,withdrawN,withdrawN,readbalance,deposit>
04:43:50.108 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #168: <open,deposit,withdrawN,withdraw0,close,open>
04:43:50.108 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #169: <open,deposit,withdrawN,withdraw0,close,close>
04:43:50.108 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #170: <open,deposit,withdrawN,withdraw0,close,deposit>
04:43:50.109 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #171: <open,deposit,withdrawN,withdraw0,deposit,open>
04:43:50.109 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #172: <open,deposit,withdrawN,withdraw0,deposit,close>
04:43:50.109 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #173: <open,deposit,withdrawN,withdraw0,deposit,deposit>
04:43:50.109 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #174: <open,deposit,withdrawN,withdraw0,readbalance,open>
04:43:50.109 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #175: <open,deposit,withdrawN,withdraw0,readbalance,close>
04:43:50.109 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #176: <open,deposit,withdrawN,withdraw0,readbalance,deposit>
04:43:50.109 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #177: <open,deposit,withdrawN,readbalance,deposit,open>
04:43:50.109 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #178: <open,deposit,withdrawN,readbalance,deposit,close>
04:43:50.109 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #179: <open,deposit,withdrawN,readbalance,deposit,deposit>
04:43:50.109 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #180: <open,deposit,withdrawN,readbalance,withdrawN,open>
04:43:50.110 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #181: <open,deposit,withdrawN,readbalance,withdrawN,close>
04:43:50.110 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #182: <open,deposit,withdrawN,readbalance,withdrawN,deposit>
04:43:50.110 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #183: <open,deposit,withdrawN,readbalance,withdraw0,open>
04:43:50.110 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #184: <open,deposit,withdrawN,readbalance,withdraw0,close>
04:43:50.110 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #185: <open,deposit,withdrawN,readbalance,withdraw0,deposit>
04:43:50.110 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #186: <open,deposit,withdrawN,readbalance,readbalance,open>
04:43:50.110 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #187: <open,deposit,withdrawN,readbalance,readbalance,close>
04:43:50.110 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #188: <open,deposit,withdrawN,readbalance,readbalance,deposit>
04:43:50.110 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #189: <open,deposit,withdraw0,deposit,deposit,open>
04:43:50.110 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #190: <open,deposit,withdraw0,deposit,deposit,close>
04:43:50.110 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #191: <open,deposit,withdraw0,deposit,deposit,deposit>
04:43:50.111 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #192: <open,deposit,withdraw0,deposit,withdrawN,open>
04:43:50.111 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #193: <open,deposit,withdraw0,deposit,withdrawN,close>
04:43:50.111 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #194: <open,deposit,withdraw0,deposit,withdrawN,deposit>
04:43:50.111 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #195: <open,deposit,withdraw0,deposit,withdraw0,open>
04:43:50.111 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #196: <open,deposit,withdraw0,deposit,withdraw0,close>
04:43:50.111 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #197: <open,deposit,withdraw0,deposit,withdraw0,deposit>
04:43:50.111 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #198: <open,deposit,withdraw0,deposit,readbalance,open>
04:43:50.111 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #199: <open,deposit,withdraw0,deposit,readbalance,close>
04:43:50.111 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #200: <open,deposit,withdraw0,deposit,readbalance,deposit>
04:43:50.111 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #201: <open,deposit,withdraw0,readbalance,close,open>
04:43:50.112 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #202: <open,deposit,withdraw0,readbalance,close,close>
04:43:50.112 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #203: <open,deposit,withdraw0,readbalance,close,deposit>
04:43:50.112 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #204: <open,deposit,withdraw0,readbalance,deposit,open>
04:43:50.112 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #205: <open,deposit,withdraw0,readbalance,deposit,close>
04:43:50.112 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #206: <open,deposit,withdraw0,readbalance,deposit,deposit>
04:43:50.112 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #207: <open,deposit,withdraw0,readbalance,readbalance,open>
04:43:50.112 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #208: <open,deposit,withdraw0,readbalance,readbalance,close>
04:43:50.112 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #209: <open,deposit,withdraw0,readbalance,readbalance,deposit>
04:43:50.112 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #210: <open,deposit,readbalance,deposit,deposit,open>
04:43:50.112 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #211: <open,deposit,readbalance,deposit,deposit,close>
04:43:50.113 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #212: <open,deposit,readbalance,deposit,deposit,deposit>
04:43:50.113 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #213: <open,deposit,readbalance,deposit,withdrawN,open>
04:43:50.113 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #214: <open,deposit,readbalance,deposit,withdrawN,close>
04:43:50.113 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #215: <open,deposit,readbalance,deposit,withdrawN,deposit>
04:43:50.113 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #216: <open,deposit,readbalance,deposit,withdraw0,open>
04:43:50.113 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #217: <open,deposit,readbalance,deposit,withdraw0,close>
04:43:50.113 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #218: <open,deposit,readbalance,deposit,withdraw0,deposit>
04:43:50.113 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #219: <open,deposit,readbalance,deposit,readbalance,open>
04:43:50.113 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #220: <open,deposit,readbalance,deposit,readbalance,close>
04:43:50.113 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #221: <open,deposit,readbalance,deposit,readbalance,deposit>
04:43:50.113 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #222: <open,deposit,readbalance,withdrawN,deposit,open>
04:43:50.114 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #223: <open,deposit,readbalance,withdrawN,deposit,close>
04:43:50.114 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #224: <open,deposit,readbalance,withdrawN,deposit,deposit>
04:43:50.114 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #225: <open,deposit,readbalance,withdrawN,withdrawN,open>
04:43:50.114 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #226: <open,deposit,readbalance,withdrawN,withdrawN,close>
04:43:50.114 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #227: <open,deposit,readbalance,withdrawN,withdrawN,deposit>
04:43:50.114 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #228: <open,deposit,readbalance,withdrawN,withdraw0,open>
04:43:50.114 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #229: <open,deposit,readbalance,withdrawN,withdraw0,close>
04:43:50.114 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #230: <open,deposit,readbalance,withdrawN,withdraw0,deposit>
04:43:50.114 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #231: <open,deposit,readbalance,withdrawN,readbalance,open>
04:43:50.114 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #232: <open,deposit,readbalance,withdrawN,readbalance,close>
04:43:50.115 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #233: <open,deposit,readbalance,withdrawN,readbalance,deposit>
04:43:50.115 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #234: <open,deposit,readbalance,withdraw0,close,open>
04:43:50.115 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #235: <open,deposit,readbalance,withdraw0,close,close>
04:43:50.115 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #236: <open,deposit,readbalance,withdraw0,close,deposit>
04:43:50.115 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #237: <open,deposit,readbalance,withdraw0,deposit,open>
04:43:50.115 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #238: <open,deposit,readbalance,withdraw0,deposit,close>
04:43:50.115 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #239: <open,deposit,readbalance,withdraw0,deposit,deposit>
04:43:50.115 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #240: <open,deposit,readbalance,withdraw0,readbalance,open>
04:43:50.115 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #241: <open,deposit,readbalance,withdraw0,readbalance,close>
04:43:50.115 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #242: <open,deposit,readbalance,withdraw0,readbalance,deposit>
04:43:50.116 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #243: <open,deposit,readbalance,readbalance,deposit,open>
04:43:50.116 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #244: <open,deposit,readbalance,readbalance,deposit,close>
04:43:50.116 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #245: <open,deposit,readbalance,readbalance,deposit,deposit>
04:43:50.116 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #246: <open,deposit,readbalance,readbalance,withdrawN,open>
04:43:50.116 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #247: <open,deposit,readbalance,readbalance,withdrawN,close>
04:43:50.116 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #248: <open,deposit,readbalance,readbalance,withdrawN,deposit>
04:43:50.116 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #249: <open,deposit,readbalance,readbalance,withdraw0,open>
04:43:50.116 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #250: <open,deposit,readbalance,readbalance,withdraw0,close>
04:43:50.116 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #251: <open,deposit,readbalance,readbalance,withdraw0,deposit>
04:43:50.116 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #252: <open,deposit,readbalance,readbalance,readbalance,open>
04:43:50.116 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #253: <open,deposit,readbalance,readbalance,readbalance,close>
04:43:50.117 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #254: <open,deposit,readbalance,readbalance,readbalance,deposit>
04:43:50.117 [main] INFO  org.jsxm.jsxmcore.util.Various - ------------------------------------------------------------
04:43:50.117 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Reducing sequences to applicable
04:43:50.117 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdrawN:0 not applicable is seq: <withdrawN>
04:43:50.117 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdraw0:0 not applicable is seq: <withdraw0>
04:43:50.117 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdrawN:1 not applicable is seq: <open,withdrawN>
04:43:50.117 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdraw0:1 not applicable is seq: <open,withdraw0>
04:43:50.117 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdrawN:2 not applicable is seq: <open,close,withdrawN>
04:43:50.118 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdraw0:2 not applicable is seq: <open,close,withdraw0>
04:43:50.118 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdrawN:2 not applicable is seq: <open,readbalance,withdrawN>
04:43:50.118 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdraw0:2 not applicable is seq: <open,readbalance,withdraw0>
04:43:50.118 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdrawN:3 not applicable is seq: <open,deposit,withdraw0,withdrawN>
04:43:50.118 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdraw0:3 not applicable is seq: <open,deposit,withdraw0,withdraw0>
04:43:50.118 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdrawN:3 not applicable is seq: <open,readbalance,close,withdrawN>
04:43:50.118 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdraw0:3 not applicable is seq: <open,readbalance,close,withdraw0>
04:43:50.118 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdrawN:3 not applicable is seq: <open,readbalance,readbalance,withdrawN>
04:43:50.118 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdraw0:3 not applicable is seq: <open,readbalance,readbalance,withdraw0>
04:43:50.119 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdrawN:4 not applicable is seq: <open,deposit,deposit,withdraw0,withdrawN>
04:43:50.119 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdraw0:4 not applicable is seq: <open,deposit,deposit,withdraw0,withdraw0>
04:43:50.119 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdrawN:4 not applicable is seq: <open,deposit,withdrawN,withdraw0,withdrawN>
04:43:50.119 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdraw0:4 not applicable is seq: <open,deposit,withdrawN,withdraw0,withdraw0>
04:43:50.119 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdrawN:4 not applicable is seq: <open,deposit,withdraw0,close,withdrawN>
04:43:50.119 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdraw0:4 not applicable is seq: <open,deposit,withdraw0,close,withdraw0>
04:43:50.119 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdrawN:4 not applicable is seq: <open,deposit,withdraw0,readbalance,withdrawN>
04:43:50.120 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdraw0:4 not applicable is seq: <open,deposit,withdraw0,readbalance,withdraw0>
04:43:50.120 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdrawN:4 not applicable is seq: <open,deposit,readbalance,withdraw0,withdrawN>
04:43:50.120 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function withdraw0:4 not applicable is seq: <open,deposit,readbalance,withdraw0,withdraw0>
04:43:50.122 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - 24 sequences shortened.
04:43:50.122 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - 13 sequences became empty (or were duplicates) and were removed.
04:43:50.122 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #1: <close>
04:43:50.122 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #2: <deposit>
04:43:50.122 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #3: <readbalance>
04:43:50.122 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #4: <open>
04:43:50.122 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #5: <open,open>
04:43:50.122 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #6: <open,close>
04:43:50.122 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #7: <open,readbalance>
04:43:50.122 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #8: <open,close,open>
04:43:50.123 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #9: <open,close,close>
04:43:50.123 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #10: <open,close,deposit>
04:43:50.123 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #11: <open,deposit,open>
04:43:50.123 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #12: <open,deposit,close>
04:43:50.123 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #13: <open,readbalance,open>
04:43:50.123 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #14: <open,close,readbalance>
04:43:50.123 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #15: <open,deposit,withdraw0>
04:43:50.123 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #16: <open,readbalance,close>
04:43:50.123 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #17: <open,readbalance,readbalance>
04:43:50.123 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #18: <open,deposit,deposit,open>
04:43:50.124 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #19: <open,deposit,deposit,close>
04:43:50.124 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #20: <open,deposit,withdrawN,open>
04:43:50.124 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #21: <open,deposit,withdrawN,close>
04:43:50.124 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #22: <open,deposit,withdraw0,open>
04:43:50.124 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #23: <open,deposit,readbalance,open>
04:43:50.124 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #24: <open,deposit,readbalance,close>
04:43:50.124 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #25: <open,readbalance,close,open>
04:43:50.124 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #26: <open,readbalance,close,close>
04:43:50.124 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #27: <open,readbalance,close,deposit>
04:43:50.124 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #28: <open,readbalance,deposit,open>
04:43:50.125 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #29: <open,readbalance,deposit,close>
04:43:50.125 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #30: <open,readbalance,readbalance,open>
04:43:50.125 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #31: <open,readbalance,close,readbalance>
04:43:50.125 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #32: <open,deposit,deposit,withdraw0>
04:43:50.125 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #33: <open,deposit,withdrawN,withdraw0>
04:43:50.125 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #34: <open,deposit,withdraw0,close>
04:43:50.125 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #35: <open,deposit,withdraw0,readbalance>
04:43:50.125 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #36: <open,deposit,readbalance,withdraw0>
04:43:50.125 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #37: <open,deposit,deposit,deposit,open>
04:43:50.125 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #38: <open,deposit,deposit,deposit,close>
04:43:50.126 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #39: <open,deposit,deposit,withdrawN,open>
04:43:50.126 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #40: <open,deposit,deposit,withdrawN,close>
04:43:50.126 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #41: <open,deposit,deposit,withdraw0,open>
04:43:50.126 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #42: <open,deposit,deposit,readbalance,open>
04:43:50.126 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #43: <open,deposit,deposit,readbalance,close>
04:43:50.126 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #44: <open,deposit,withdrawN,deposit,open>
04:43:50.126 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #45: <open,deposit,withdrawN,deposit,close>
04:43:50.126 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #46: <open,deposit,withdrawN,withdrawN,open>
04:43:50.126 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #47: <open,deposit,withdrawN,withdrawN,close>
04:43:50.127 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #48: <open,deposit,withdrawN,withdraw0,open>
04:43:50.127 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #49: <open,deposit,withdrawN,readbalance,open>
04:43:50.127 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #50: <open,deposit,withdrawN,readbalance,close>
04:43:50.127 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #51: <open,deposit,withdraw0,close,open>
04:43:50.127 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #52: <open,deposit,withdraw0,close,close>
04:43:50.127 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #53: <open,deposit,withdraw0,close,deposit>
04:43:50.127 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #54: <open,deposit,withdraw0,deposit,open>
04:43:50.127 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #55: <open,deposit,withdraw0,deposit,close>
04:43:50.127 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #56: <open,deposit,withdraw0,readbalance,open>
04:43:50.127 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #57: <open,deposit,readbalance,deposit,open>
04:43:50.128 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #58: <open,deposit,readbalance,deposit,close>
04:43:50.128 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #59: <open,deposit,readbalance,withdrawN,open>
04:43:50.128 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #60: <open,deposit,readbalance,withdrawN,close>
04:43:50.128 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #61: <open,deposit,readbalance,withdraw0,open>
04:43:50.128 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #62: <open,deposit,readbalance,readbalance,open>
04:43:50.128 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #63: <open,deposit,readbalance,readbalance,close>
04:43:50.128 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #64: <open,readbalance,deposit,deposit,open>
04:43:50.128 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #65: <open,readbalance,deposit,deposit,close>
04:43:50.128 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #66: <open,readbalance,deposit,deposit,deposit>
04:43:50.128 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #67: <open,readbalance,deposit,withdrawN,open>
04:43:50.128 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #68: <open,readbalance,deposit,withdrawN,close>
04:43:50.129 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #69: <open,readbalance,deposit,withdrawN,deposit>
04:43:50.129 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #70: <open,readbalance,deposit,withdraw0,open>
04:43:50.129 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #71: <open,readbalance,deposit,withdraw0,close>
04:43:50.129 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #72: <open,readbalance,deposit,withdraw0,deposit>
04:43:50.129 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #73: <open,readbalance,deposit,readbalance,open>
04:43:50.129 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #74: <open,readbalance,deposit,readbalance,close>
04:43:50.129 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #75: <open,readbalance,deposit,readbalance,deposit>
04:43:50.129 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #76: <open,readbalance,readbalance,close,open>
04:43:50.129 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #77: <open,readbalance,readbalance,close,close>
04:43:50.129 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #78: <open,readbalance,readbalance,close,deposit>
04:43:50.130 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #79: <open,readbalance,readbalance,deposit,open>
04:43:50.130 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #80: <open,readbalance,readbalance,deposit,close>
04:43:50.130 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #81: <open,readbalance,readbalance,deposit,deposit>
04:43:50.130 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #82: <open,readbalance,readbalance,readbalance,open>
04:43:50.130 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #83: <open,readbalance,readbalance,readbalance,close>
04:43:50.130 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #84: <open,readbalance,readbalance,readbalance,deposit>
04:43:50.130 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #85: <open,deposit,withdraw0,close,readbalance>
04:43:50.130 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #86: <open,deposit,deposit,deposit,deposit,open>
04:43:50.130 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #87: <open,deposit,deposit,deposit,deposit,close>
04:43:50.130 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #88: <open,deposit,deposit,deposit,deposit,deposit>
04:43:50.130 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #89: <open,deposit,deposit,deposit,withdrawN,open>
04:43:50.131 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #90: <open,deposit,deposit,deposit,withdrawN,close>
04:43:50.131 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #91: <open,deposit,deposit,deposit,withdrawN,deposit>
04:43:50.131 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #92: <open,deposit,deposit,deposit,withdraw0,open>
04:43:50.131 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #93: <open,deposit,deposit,deposit,withdraw0,close>
04:43:50.131 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #94: <open,deposit,deposit,deposit,withdraw0,deposit>
04:43:50.131 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #95: <open,deposit,deposit,deposit,readbalance,open>
04:43:50.131 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #96: <open,deposit,deposit,deposit,readbalance,close>
04:43:50.131 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #97: <open,deposit,deposit,deposit,readbalance,deposit>
04:43:50.131 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #98: <open,deposit,deposit,withdrawN,deposit,open>
04:43:50.131 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #99: <open,deposit,deposit,withdrawN,deposit,close>
04:43:50.132 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #100: <open,deposit,deposit,withdrawN,deposit,deposit>
04:43:50.132 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #101: <open,deposit,deposit,withdrawN,withdrawN,open>
04:43:50.132 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #102: <open,deposit,deposit,withdrawN,withdrawN,close>
04:43:50.132 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #103: <open,deposit,deposit,withdrawN,withdrawN,deposit>
04:43:50.132 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #104: <open,deposit,deposit,withdrawN,withdraw0,open>
04:43:50.132 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #105: <open,deposit,deposit,withdrawN,withdraw0,close>
04:43:50.132 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #106: <open,deposit,deposit,withdrawN,withdraw0,deposit>
04:43:50.132 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #107: <open,deposit,deposit,withdrawN,readbalance,open>
04:43:50.132 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #108: <open,deposit,deposit,withdrawN,readbalance,close>
04:43:50.132 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #109: <open,deposit,deposit,withdrawN,readbalance,deposit>
04:43:50.133 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #110: <open,deposit,deposit,withdraw0,close,open>
04:43:50.133 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #111: <open,deposit,deposit,withdraw0,close,close>
04:43:50.133 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #112: <open,deposit,deposit,withdraw0,close,deposit>
04:43:50.133 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #113: <open,deposit,deposit,withdraw0,deposit,open>
04:43:50.133 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #114: <open,deposit,deposit,withdraw0,deposit,close>
04:43:50.133 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #115: <open,deposit,deposit,withdraw0,deposit,deposit>
04:43:50.133 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #116: <open,deposit,deposit,withdraw0,readbalance,open>
04:43:50.133 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #117: <open,deposit,deposit,withdraw0,readbalance,close>
04:43:50.133 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #118: <open,deposit,deposit,withdraw0,readbalance,deposit>
04:43:50.133 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #119: <open,deposit,deposit,readbalance,deposit,open>
04:43:50.133 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #120: <open,deposit,deposit,readbalance,deposit,close>
04:43:50.134 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #121: <open,deposit,deposit,readbalance,deposit,deposit>
04:43:50.134 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #122: <open,deposit,deposit,readbalance,withdrawN,open>
04:43:50.134 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #123: <open,deposit,deposit,readbalance,withdrawN,close>
04:43:50.134 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #124: <open,deposit,deposit,readbalance,withdrawN,deposit>
04:43:50.134 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #125: <open,deposit,deposit,readbalance,withdraw0,open>
04:43:50.134 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #126: <open,deposit,deposit,readbalance,withdraw0,close>
04:43:50.134 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #127: <open,deposit,deposit,readbalance,withdraw0,deposit>
04:43:50.134 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #128: <open,deposit,deposit,readbalance,readbalance,open>
04:43:50.134 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #129: <open,deposit,deposit,readbalance,readbalance,close>
04:43:50.134 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #130: <open,deposit,deposit,readbalance,readbalance,deposit>
04:43:50.135 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #131: <open,deposit,withdrawN,deposit,deposit,open>
04:43:50.135 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #132: <open,deposit,withdrawN,deposit,deposit,close>
04:43:50.135 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #133: <open,deposit,withdrawN,deposit,deposit,deposit>
04:43:50.135 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #134: <open,deposit,withdrawN,deposit,withdrawN,open>
04:43:50.135 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #135: <open,deposit,withdrawN,deposit,withdrawN,close>
04:43:50.135 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #136: <open,deposit,withdrawN,deposit,withdrawN,deposit>
04:43:50.135 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #137: <open,deposit,withdrawN,deposit,withdraw0,open>
04:43:50.135 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #138: <open,deposit,withdrawN,deposit,withdraw0,close>
04:43:50.135 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #139: <open,deposit,withdrawN,deposit,withdraw0,deposit>
04:43:50.135 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #140: <open,deposit,withdrawN,deposit,readbalance,open>
04:43:50.136 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #141: <open,deposit,withdrawN,deposit,readbalance,close>
04:43:50.136 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #142: <open,deposit,withdrawN,deposit,readbalance,deposit>
04:43:50.136 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #143: <open,deposit,withdrawN,withdrawN,deposit,open>
04:43:50.136 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #144: <open,deposit,withdrawN,withdrawN,deposit,close>
04:43:50.136 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #145: <open,deposit,withdrawN,withdrawN,deposit,deposit>
04:43:50.136 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #146: <open,deposit,withdrawN,withdrawN,withdrawN,open>
04:43:50.136 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #147: <open,deposit,withdrawN,withdrawN,withdrawN,close>
04:43:50.136 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #148: <open,deposit,withdrawN,withdrawN,withdrawN,deposit>
04:43:50.136 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #149: <open,deposit,withdrawN,withdrawN,withdraw0,open>
04:43:50.136 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #150: <open,deposit,withdrawN,withdrawN,withdraw0,close>
04:43:50.137 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #151: <open,deposit,withdrawN,withdrawN,withdraw0,deposit>
04:43:50.137 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #152: <open,deposit,withdrawN,withdrawN,readbalance,open>
04:43:50.137 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #153: <open,deposit,withdrawN,withdrawN,readbalance,close>
04:43:50.137 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #154: <open,deposit,withdrawN,withdrawN,readbalance,deposit>
04:43:50.137 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #155: <open,deposit,withdrawN,withdraw0,close,open>
04:43:50.137 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #156: <open,deposit,withdrawN,withdraw0,close,close>
04:43:50.137 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #157: <open,deposit,withdrawN,withdraw0,close,deposit>
04:43:50.137 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #158: <open,deposit,withdrawN,withdraw0,deposit,open>
04:43:50.137 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #159: <open,deposit,withdrawN,withdraw0,deposit,close>
04:43:50.137 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #160: <open,deposit,withdrawN,withdraw0,deposit,deposit>
04:43:50.137 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #161: <open,deposit,withdrawN,withdraw0,readbalance,open>
04:43:50.138 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #162: <open,deposit,withdrawN,withdraw0,readbalance,close>
04:43:50.138 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #163: <open,deposit,withdrawN,withdraw0,readbalance,deposit>
04:43:50.138 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #164: <open,deposit,withdrawN,readbalance,deposit,open>
04:43:50.138 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #165: <open,deposit,withdrawN,readbalance,deposit,close>
04:43:50.138 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #166: <open,deposit,withdrawN,readbalance,deposit,deposit>
04:43:50.138 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #167: <open,deposit,withdrawN,readbalance,withdrawN,open>
04:43:50.138 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #168: <open,deposit,withdrawN,readbalance,withdrawN,close>
04:43:50.138 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #169: <open,deposit,withdrawN,readbalance,withdrawN,deposit>
04:43:50.138 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #170: <open,deposit,withdrawN,readbalance,withdraw0,open>
04:43:50.138 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #171: <open,deposit,withdrawN,readbalance,withdraw0,close>
04:43:50.139 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #172: <open,deposit,withdrawN,readbalance,withdraw0,deposit>
04:43:50.139 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #173: <open,deposit,withdrawN,readbalance,readbalance,open>
04:43:50.139 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #174: <open,deposit,withdrawN,readbalance,readbalance,close>
04:43:50.139 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #175: <open,deposit,withdrawN,readbalance,readbalance,deposit>
04:43:50.139 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #176: <open,deposit,withdraw0,deposit,deposit,open>
04:43:50.139 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #177: <open,deposit,withdraw0,deposit,deposit,close>
04:43:50.139 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #178: <open,deposit,withdraw0,deposit,deposit,deposit>
04:43:50.139 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #179: <open,deposit,withdraw0,deposit,withdrawN,open>
04:43:50.139 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #180: <open,deposit,withdraw0,deposit,withdrawN,close>
04:43:50.139 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #181: <open,deposit,withdraw0,deposit,withdrawN,deposit>
04:43:50.140 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #182: <open,deposit,withdraw0,deposit,withdraw0,open>
04:43:50.140 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #183: <open,deposit,withdraw0,deposit,withdraw0,close>
04:43:50.140 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #184: <open,deposit,withdraw0,deposit,withdraw0,deposit>
04:43:50.140 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #185: <open,deposit,withdraw0,deposit,readbalance,open>
04:43:50.140 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #186: <open,deposit,withdraw0,deposit,readbalance,close>
04:43:50.140 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #187: <open,deposit,withdraw0,deposit,readbalance,deposit>
04:43:50.140 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #188: <open,deposit,withdraw0,readbalance,close,open>
04:43:50.140 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #189: <open,deposit,withdraw0,readbalance,close,close>
04:43:50.140 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #190: <open,deposit,withdraw0,readbalance,close,deposit>
04:43:50.140 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #191: <open,deposit,withdraw0,readbalance,deposit,open>
04:43:50.141 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #192: <open,deposit,withdraw0,readbalance,deposit,close>
04:43:50.141 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #193: <open,deposit,withdraw0,readbalance,deposit,deposit>
04:43:50.141 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #194: <open,deposit,withdraw0,readbalance,readbalance,open>
04:43:50.141 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #195: <open,deposit,withdraw0,readbalance,readbalance,close>
04:43:50.141 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #196: <open,deposit,withdraw0,readbalance,readbalance,deposit>
04:43:50.141 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #197: <open,deposit,readbalance,deposit,deposit,open>
04:43:50.141 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #198: <open,deposit,readbalance,deposit,deposit,close>
04:43:50.141 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #199: <open,deposit,readbalance,deposit,deposit,deposit>
04:43:50.141 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #200: <open,deposit,readbalance,deposit,withdrawN,open>
04:43:50.141 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #201: <open,deposit,readbalance,deposit,withdrawN,close>
04:43:50.141 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #202: <open,deposit,readbalance,deposit,withdrawN,deposit>
04:43:50.142 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #203: <open,deposit,readbalance,deposit,withdraw0,open>
04:43:50.142 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #204: <open,deposit,readbalance,deposit,withdraw0,close>
04:43:50.142 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #205: <open,deposit,readbalance,deposit,withdraw0,deposit>
04:43:50.142 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #206: <open,deposit,readbalance,deposit,readbalance,open>
04:43:50.142 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #207: <open,deposit,readbalance,deposit,readbalance,close>
04:43:50.142 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #208: <open,deposit,readbalance,deposit,readbalance,deposit>
04:43:50.142 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #209: <open,deposit,readbalance,withdrawN,deposit,open>
04:43:50.142 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #210: <open,deposit,readbalance,withdrawN,deposit,close>
04:43:50.142 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #211: <open,deposit,readbalance,withdrawN,deposit,deposit>
04:43:50.143 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #212: <open,deposit,readbalance,withdrawN,withdrawN,open>
04:43:50.143 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #213: <open,deposit,readbalance,withdrawN,withdrawN,close>
04:43:50.143 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #214: <open,deposit,readbalance,withdrawN,withdrawN,deposit>
04:43:50.143 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #215: <open,deposit,readbalance,withdrawN,withdraw0,open>
04:43:50.143 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #216: <open,deposit,readbalance,withdrawN,withdraw0,close>
04:43:50.143 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #217: <open,deposit,readbalance,withdrawN,withdraw0,deposit>
04:43:50.143 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #218: <open,deposit,readbalance,withdrawN,readbalance,open>
04:43:50.143 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #219: <open,deposit,readbalance,withdrawN,readbalance,close>
04:43:50.143 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #220: <open,deposit,readbalance,withdrawN,readbalance,deposit>
04:43:50.143 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #221: <open,deposit,readbalance,withdraw0,close,open>
04:43:50.143 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #222: <open,deposit,readbalance,withdraw0,close,close>
04:43:50.144 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #223: <open,deposit,readbalance,withdraw0,close,deposit>
04:43:50.144 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #224: <open,deposit,readbalance,withdraw0,deposit,open>
04:43:50.144 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #225: <open,deposit,readbalance,withdraw0,deposit,close>
04:43:50.144 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #226: <open,deposit,readbalance,withdraw0,deposit,deposit>
04:43:50.144 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #227: <open,deposit,readbalance,withdraw0,readbalance,open>
04:43:50.144 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #228: <open,deposit,readbalance,withdraw0,readbalance,close>
04:43:50.144 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #229: <open,deposit,readbalance,withdraw0,readbalance,deposit>
04:43:50.144 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #230: <open,deposit,readbalance,readbalance,deposit,open>
04:43:50.144 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #231: <open,deposit,readbalance,readbalance,deposit,close>
04:43:50.144 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #232: <open,deposit,readbalance,readbalance,deposit,deposit>
04:43:50.144 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #233: <open,deposit,readbalance,readbalance,withdrawN,open>
04:43:50.145 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #234: <open,deposit,readbalance,readbalance,withdrawN,close>
04:43:50.145 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #235: <open,deposit,readbalance,readbalance,withdrawN,deposit>
04:43:50.145 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #236: <open,deposit,readbalance,readbalance,withdraw0,open>
04:43:50.145 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #237: <open,deposit,readbalance,readbalance,withdraw0,close>
04:43:50.145 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #238: <open,deposit,readbalance,readbalance,withdraw0,deposit>
04:43:50.145 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #239: <open,deposit,readbalance,readbalance,readbalance,open>
04:43:50.145 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #240: <open,deposit,readbalance,readbalance,readbalance,close>
04:43:50.145 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #241: <open,deposit,readbalance,readbalance,readbalance,deposit>
04:43:50.145 [main] INFO  org.jsxm.jsxmcore.util.Various - ------------------------------------------------------------
04:43:50.145 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Removing sequences which are subsequences
04:43:50.145 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - of other longer sequences in the test set.
04:43:50.146 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - 230 test cases. 11 prefixes removed.
04:43:50.146 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #1: <close>
04:43:50.146 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #2: <deposit>
04:43:50.146 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #3: <readbalance>
04:43:50.146 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #4: <open,open>
04:43:50.146 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #5: <open,close,open>
04:43:50.146 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #6: <open,close,close>
04:43:50.147 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #7: <open,close,deposit>
04:43:50.147 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #8: <open,deposit,open>
04:43:50.147 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #9: <open,deposit,close>
04:43:50.147 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #10: <open,readbalance,open>
04:43:50.147 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #11: <open,close,readbalance>
04:43:50.147 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #12: <open,deposit,deposit,open>
04:43:50.147 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #13: <open,deposit,deposit,close>
04:43:50.147 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #14: <open,deposit,withdrawN,open>
04:43:50.147 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #15: <open,deposit,withdrawN,close>
04:43:50.147 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #16: <open,deposit,withdraw0,open>
04:43:50.148 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #17: <open,deposit,readbalance,open>
04:43:50.148 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #18: <open,deposit,readbalance,close>
04:43:50.148 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #19: <open,readbalance,close,open>
04:43:50.148 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #20: <open,readbalance,close,close>
04:43:50.148 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #21: <open,readbalance,close,deposit>
04:43:50.148 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #22: <open,readbalance,deposit,open>
04:43:50.148 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #23: <open,readbalance,deposit,close>
04:43:50.148 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #24: <open,readbalance,readbalance,open>
04:43:50.148 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #25: <open,readbalance,close,readbalance>
04:43:50.148 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #26: <open,deposit,deposit,deposit,open>
04:43:50.148 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #27: <open,deposit,deposit,deposit,close>
04:43:50.148 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #28: <open,deposit,deposit,withdrawN,open>
04:43:50.149 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #29: <open,deposit,deposit,withdrawN,close>
04:43:50.149 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #30: <open,deposit,deposit,withdraw0,open>
04:43:50.149 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #31: <open,deposit,deposit,readbalance,open>
04:43:50.149 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #32: <open,deposit,deposit,readbalance,close>
04:43:50.149 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #33: <open,deposit,withdrawN,deposit,open>
04:43:50.149 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #34: <open,deposit,withdrawN,deposit,close>
04:43:50.149 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #35: <open,deposit,withdrawN,withdrawN,open>
04:43:50.149 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #36: <open,deposit,withdrawN,withdrawN,close>
04:43:50.149 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #37: <open,deposit,withdrawN,withdraw0,open>
04:43:50.149 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #38: <open,deposit,withdrawN,readbalance,open>
04:43:50.149 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #39: <open,deposit,withdrawN,readbalance,close>
04:43:50.150 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #40: <open,deposit,withdraw0,close,open>
04:43:50.150 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #41: <open,deposit,withdraw0,close,close>
04:43:50.150 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #42: <open,deposit,withdraw0,close,deposit>
04:43:50.150 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #43: <open,deposit,withdraw0,deposit,open>
04:43:50.150 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #44: <open,deposit,withdraw0,deposit,close>
04:43:50.150 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #45: <open,deposit,withdraw0,readbalance,open>
04:43:50.150 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #46: <open,deposit,readbalance,deposit,open>
04:43:50.150 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #47: <open,deposit,readbalance,deposit,close>
04:43:50.150 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #48: <open,deposit,readbalance,withdrawN,open>
04:43:50.150 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #49: <open,deposit,readbalance,withdrawN,close>
04:43:50.150 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #50: <open,deposit,readbalance,withdraw0,open>
04:43:50.151 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #51: <open,deposit,readbalance,readbalance,open>
04:43:50.151 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #52: <open,deposit,readbalance,readbalance,close>
04:43:50.151 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #53: <open,readbalance,deposit,deposit,open>
04:43:50.151 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #54: <open,readbalance,deposit,deposit,close>
04:43:50.151 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #55: <open,readbalance,deposit,deposit,deposit>
04:43:50.151 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #56: <open,readbalance,deposit,withdrawN,open>
04:43:50.151 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #57: <open,readbalance,deposit,withdrawN,close>
04:43:50.151 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #58: <open,readbalance,deposit,withdrawN,deposit>
04:43:50.151 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #59: <open,readbalance,deposit,withdraw0,open>
04:43:50.151 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #60: <open,readbalance,deposit,withdraw0,close>
04:43:50.151 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #61: <open,readbalance,deposit,withdraw0,deposit>
04:43:50.152 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #62: <open,readbalance,deposit,readbalance,open>
04:43:50.152 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #63: <open,readbalance,deposit,readbalance,close>
04:43:50.152 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #64: <open,readbalance,deposit,readbalance,deposit>
04:43:50.152 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #65: <open,readbalance,readbalance,close,open>
04:43:50.152 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #66: <open,readbalance,readbalance,close,close>
04:43:50.152 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #67: <open,readbalance,readbalance,close,deposit>
04:43:50.152 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #68: <open,readbalance,readbalance,deposit,open>
04:43:50.152 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #69: <open,readbalance,readbalance,deposit,close>
04:43:50.152 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #70: <open,readbalance,readbalance,deposit,deposit>
04:43:50.152 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #71: <open,readbalance,readbalance,readbalance,open>
04:43:50.152 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #72: <open,readbalance,readbalance,readbalance,close>
04:43:50.153 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #73: <open,readbalance,readbalance,readbalance,deposit>
04:43:50.153 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #74: <open,deposit,withdraw0,close,readbalance>
04:43:50.153 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #75: <open,deposit,deposit,deposit,deposit,open>
04:43:50.153 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #76: <open,deposit,deposit,deposit,deposit,close>
04:43:50.153 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #77: <open,deposit,deposit,deposit,deposit,deposit>
04:43:50.153 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #78: <open,deposit,deposit,deposit,withdrawN,open>
04:43:50.153 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #79: <open,deposit,deposit,deposit,withdrawN,close>
04:43:50.153 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #80: <open,deposit,deposit,deposit,withdrawN,deposit>
04:43:50.153 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #81: <open,deposit,deposit,deposit,withdraw0,open>
04:43:50.153 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #82: <open,deposit,deposit,deposit,withdraw0,close>
04:43:50.153 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #83: <open,deposit,deposit,deposit,withdraw0,deposit>
04:43:50.154 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #84: <open,deposit,deposit,deposit,readbalance,open>
04:43:50.154 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #85: <open,deposit,deposit,deposit,readbalance,close>
04:43:50.154 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #86: <open,deposit,deposit,deposit,readbalance,deposit>
04:43:50.154 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #87: <open,deposit,deposit,withdrawN,deposit,open>
04:43:50.154 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #88: <open,deposit,deposit,withdrawN,deposit,close>
04:43:50.154 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #89: <open,deposit,deposit,withdrawN,deposit,deposit>
04:43:50.154 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #90: <open,deposit,deposit,withdrawN,withdrawN,open>
04:43:50.154 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #91: <open,deposit,deposit,withdrawN,withdrawN,close>
04:43:50.154 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #92: <open,deposit,deposit,withdrawN,withdrawN,deposit>
04:43:50.154 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #93: <open,deposit,deposit,withdrawN,withdraw0,open>
04:43:50.154 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #94: <open,deposit,deposit,withdrawN,withdraw0,close>
04:43:50.155 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #95: <open,deposit,deposit,withdrawN,withdraw0,deposit>
04:43:50.155 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #96: <open,deposit,deposit,withdrawN,readbalance,open>
04:43:50.155 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #97: <open,deposit,deposit,withdrawN,readbalance,close>
04:43:50.155 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #98: <open,deposit,deposit,withdrawN,readbalance,deposit>
04:43:50.155 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #99: <open,deposit,deposit,withdraw0,close,open>
04:43:50.155 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #100: <open,deposit,deposit,withdraw0,close,close>
04:43:50.155 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #101: <open,deposit,deposit,withdraw0,close,deposit>
04:43:50.155 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #102: <open,deposit,deposit,withdraw0,deposit,open>
04:43:50.155 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #103: <open,deposit,deposit,withdraw0,deposit,close>
04:43:50.155 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #104: <open,deposit,deposit,withdraw0,deposit,deposit>
04:43:50.156 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #105: <open,deposit,deposit,withdraw0,readbalance,open>
04:43:50.156 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #106: <open,deposit,deposit,withdraw0,readbalance,close>
04:43:50.156 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #107: <open,deposit,deposit,withdraw0,readbalance,deposit>
04:43:50.156 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #108: <open,deposit,deposit,readbalance,deposit,open>
04:43:50.156 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #109: <open,deposit,deposit,readbalance,deposit,close>
04:43:50.156 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #110: <open,deposit,deposit,readbalance,deposit,deposit>
04:43:50.156 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #111: <open,deposit,deposit,readbalance,withdrawN,open>
04:43:50.156 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #112: <open,deposit,deposit,readbalance,withdrawN,close>
04:43:50.156 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #113: <open,deposit,deposit,readbalance,withdrawN,deposit>
04:43:50.156 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #114: <open,deposit,deposit,readbalance,withdraw0,open>
04:43:50.157 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #115: <open,deposit,deposit,readbalance,withdraw0,close>
04:43:50.157 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #116: <open,deposit,deposit,readbalance,withdraw0,deposit>
04:43:50.157 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #117: <open,deposit,deposit,readbalance,readbalance,open>
04:43:50.157 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #118: <open,deposit,deposit,readbalance,readbalance,close>
04:43:50.157 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #119: <open,deposit,deposit,readbalance,readbalance,deposit>
04:43:50.157 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #120: <open,deposit,withdrawN,deposit,deposit,open>
04:43:50.157 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #121: <open,deposit,withdrawN,deposit,deposit,close>
04:43:50.157 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #122: <open,deposit,withdrawN,deposit,deposit,deposit>
04:43:50.157 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #123: <open,deposit,withdrawN,deposit,withdrawN,open>
04:43:50.157 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #124: <open,deposit,withdrawN,deposit,withdrawN,close>
04:43:50.157 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #125: <open,deposit,withdrawN,deposit,withdrawN,deposit>
04:43:50.158 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #126: <open,deposit,withdrawN,deposit,withdraw0,open>
04:43:50.158 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #127: <open,deposit,withdrawN,deposit,withdraw0,close>
04:43:50.158 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #128: <open,deposit,withdrawN,deposit,withdraw0,deposit>
04:43:50.158 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #129: <open,deposit,withdrawN,deposit,readbalance,open>
04:43:50.158 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #130: <open,deposit,withdrawN,deposit,readbalance,close>
04:43:50.158 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #131: <open,deposit,withdrawN,deposit,readbalance,deposit>
04:43:50.158 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #132: <open,deposit,withdrawN,withdrawN,deposit,open>
04:43:50.158 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #133: <open,deposit,withdrawN,withdrawN,deposit,close>
04:43:50.158 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #134: <open,deposit,withdrawN,withdrawN,deposit,deposit>
04:43:50.158 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #135: <open,deposit,withdrawN,withdrawN,withdrawN,open>
04:43:50.158 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #136: <open,deposit,withdrawN,withdrawN,withdrawN,close>
04:43:50.159 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #137: <open,deposit,withdrawN,withdrawN,withdrawN,deposit>
04:43:50.159 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #138: <open,deposit,withdrawN,withdrawN,withdraw0,open>
04:43:50.159 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #139: <open,deposit,withdrawN,withdrawN,withdraw0,close>
04:43:50.159 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #140: <open,deposit,withdrawN,withdrawN,withdraw0,deposit>
04:43:50.159 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #141: <open,deposit,withdrawN,withdrawN,readbalance,open>
04:43:50.159 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #142: <open,deposit,withdrawN,withdrawN,readbalance,close>
04:43:50.159 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #143: <open,deposit,withdrawN,withdrawN,readbalance,deposit>
04:43:50.159 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #144: <open,deposit,withdrawN,withdraw0,close,open>
04:43:50.159 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #145: <open,deposit,withdrawN,withdraw0,close,close>
04:43:50.159 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #146: <open,deposit,withdrawN,withdraw0,close,deposit>
04:43:50.159 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #147: <open,deposit,withdrawN,withdraw0,deposit,open>
04:43:50.160 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #148: <open,deposit,withdrawN,withdraw0,deposit,close>
04:43:50.160 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #149: <open,deposit,withdrawN,withdraw0,deposit,deposit>
04:43:50.160 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #150: <open,deposit,withdrawN,withdraw0,readbalance,open>
04:43:50.160 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #151: <open,deposit,withdrawN,withdraw0,readbalance,close>
04:43:50.160 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #152: <open,deposit,withdrawN,withdraw0,readbalance,deposit>
04:43:50.160 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #153: <open,deposit,withdrawN,readbalance,deposit,open>
04:43:50.160 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #154: <open,deposit,withdrawN,readbalance,deposit,close>
04:43:50.160 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #155: <open,deposit,withdrawN,readbalance,deposit,deposit>
04:43:50.160 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #156: <open,deposit,withdrawN,readbalance,withdrawN,open>
04:43:50.160 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #157: <open,deposit,withdrawN,readbalance,withdrawN,close>
04:43:50.160 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #158: <open,deposit,withdrawN,readbalance,withdrawN,deposit>
04:43:50.161 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #159: <open,deposit,withdrawN,readbalance,withdraw0,open>
04:43:50.161 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #160: <open,deposit,withdrawN,readbalance,withdraw0,close>
04:43:50.161 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #161: <open,deposit,withdrawN,readbalance,withdraw0,deposit>
04:43:50.161 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #162: <open,deposit,withdrawN,readbalance,readbalance,open>
04:43:50.161 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #163: <open,deposit,withdrawN,readbalance,readbalance,close>
04:43:50.161 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #164: <open,deposit,withdrawN,readbalance,readbalance,deposit>
04:43:50.161 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #165: <open,deposit,withdraw0,deposit,deposit,open>
04:43:50.161 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #166: <open,deposit,withdraw0,deposit,deposit,close>
04:43:50.161 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #167: <open,deposit,withdraw0,deposit,deposit,deposit>
04:43:50.161 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #168: <open,deposit,withdraw0,deposit,withdrawN,open>
04:43:50.161 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #169: <open,deposit,withdraw0,deposit,withdrawN,close>
04:43:50.162 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #170: <open,deposit,withdraw0,deposit,withdrawN,deposit>
04:43:50.162 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #171: <open,deposit,withdraw0,deposit,withdraw0,open>
04:43:50.162 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #172: <open,deposit,withdraw0,deposit,withdraw0,close>
04:43:50.162 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #173: <open,deposit,withdraw0,deposit,withdraw0,deposit>
04:43:50.162 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #174: <open,deposit,withdraw0,deposit,readbalance,open>
04:43:50.162 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #175: <open,deposit,withdraw0,deposit,readbalance,close>
04:43:50.162 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #176: <open,deposit,withdraw0,deposit,readbalance,deposit>
04:43:50.162 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #177: <open,deposit,withdraw0,readbalance,close,open>
04:43:50.162 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #178: <open,deposit,withdraw0,readbalance,close,close>
04:43:50.162 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #179: <open,deposit,withdraw0,readbalance,close,deposit>
04:43:50.162 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #180: <open,deposit,withdraw0,readbalance,deposit,open>
04:43:50.163 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #181: <open,deposit,withdraw0,readbalance,deposit,close>
04:43:50.163 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #182: <open,deposit,withdraw0,readbalance,deposit,deposit>
04:43:50.163 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #183: <open,deposit,withdraw0,readbalance,readbalance,open>
04:43:50.163 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #184: <open,deposit,withdraw0,readbalance,readbalance,close>
04:43:50.163 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #185: <open,deposit,withdraw0,readbalance,readbalance,deposit>
04:43:50.163 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #186: <open,deposit,readbalance,deposit,deposit,open>
04:43:50.163 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #187: <open,deposit,readbalance,deposit,deposit,close>
04:43:50.163 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #188: <open,deposit,readbalance,deposit,deposit,deposit>
04:43:50.163 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #189: <open,deposit,readbalance,deposit,withdrawN,open>
04:43:50.163 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #190: <open,deposit,readbalance,deposit,withdrawN,close>
04:43:50.163 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #191: <open,deposit,readbalance,deposit,withdrawN,deposit>
04:43:50.164 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #192: <open,deposit,readbalance,deposit,withdraw0,open>
04:43:50.164 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #193: <open,deposit,readbalance,deposit,withdraw0,close>
04:43:50.164 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #194: <open,deposit,readbalance,deposit,withdraw0,deposit>
04:43:50.164 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #195: <open,deposit,readbalance,deposit,readbalance,open>
04:43:50.164 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #196: <open,deposit,readbalance,deposit,readbalance,close>
04:43:50.164 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #197: <open,deposit,readbalance,deposit,readbalance,deposit>
04:43:50.164 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #198: <open,deposit,readbalance,withdrawN,deposit,open>
04:43:50.164 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #199: <open,deposit,readbalance,withdrawN,deposit,close>
04:43:50.164 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #200: <open,deposit,readbalance,withdrawN,deposit,deposit>
04:43:50.164 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #201: <open,deposit,readbalance,withdrawN,withdrawN,open>
04:43:50.164 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #202: <open,deposit,readbalance,withdrawN,withdrawN,close>
04:43:50.164 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #203: <open,deposit,readbalance,withdrawN,withdrawN,deposit>
04:43:50.165 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #204: <open,deposit,readbalance,withdrawN,withdraw0,open>
04:43:50.165 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #205: <open,deposit,readbalance,withdrawN,withdraw0,close>
04:43:50.165 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #206: <open,deposit,readbalance,withdrawN,withdraw0,deposit>
04:43:50.165 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #207: <open,deposit,readbalance,withdrawN,readbalance,open>
04:43:50.165 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #208: <open,deposit,readbalance,withdrawN,readbalance,close>
04:43:50.165 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #209: <open,deposit,readbalance,withdrawN,readbalance,deposit>
04:43:50.165 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #210: <open,deposit,readbalance,withdraw0,close,open>
04:43:50.165 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #211: <open,deposit,readbalance,withdraw0,close,close>
04:43:50.165 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #212: <open,deposit,readbalance,withdraw0,close,deposit>
04:43:50.165 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #213: <open,deposit,readbalance,withdraw0,deposit,open>
04:43:50.165 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #214: <open,deposit,readbalance,withdraw0,deposit,close>
04:43:50.166 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #215: <open,deposit,readbalance,withdraw0,deposit,deposit>
04:43:50.166 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #216: <open,deposit,readbalance,withdraw0,readbalance,open>
04:43:50.166 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #217: <open,deposit,readbalance,withdraw0,readbalance,close>
04:43:50.166 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #218: <open,deposit,readbalance,withdraw0,readbalance,deposit>
04:43:50.166 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #219: <open,deposit,readbalance,readbalance,deposit,open>
04:43:50.166 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #220: <open,deposit,readbalance,readbalance,deposit,close>
04:43:50.166 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #221: <open,deposit,readbalance,readbalance,deposit,deposit>
04:43:50.166 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #222: <open,deposit,readbalance,readbalance,withdrawN,open>
04:43:50.166 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #223: <open,deposit,readbalance,readbalance,withdrawN,close>
04:43:50.166 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #224: <open,deposit,readbalance,readbalance,withdrawN,deposit>
04:43:50.166 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #225: <open,deposit,readbalance,readbalance,withdraw0,open>
04:43:50.167 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #226: <open,deposit,readbalance,readbalance,withdraw0,close>
04:43:50.167 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #227: <open,deposit,readbalance,readbalance,withdraw0,deposit>
04:43:50.167 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #228: <open,deposit,readbalance,readbalance,readbalance,open>
04:43:50.167 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #229: <open,deposit,readbalance,readbalance,readbalance,close>
04:43:50.167 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #230: <open,deposit,readbalance,readbalance,readbalance,deposit>
04:43:50.167 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Time : 139
04:43:50.167 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <close>
04:43:50.168 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: deposit(5).	Function: deposit	in seq: <deposit>
04:43:50.168 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getBalance().	Function: readbalance	in seq: <readbalance>
04:43:50.168 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,open>
04:43:50.168 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,close,open>
04:43:50.168 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,close,close>
04:43:50.169 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: deposit(5).	Function: deposit	in seq: <open,close,deposit>
04:43:50.169 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,open>
04:43:50.169 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,close>
04:43:50.170 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,readbalance,open>
04:43:50.170 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getBalance().	Function: readbalance	in seq: <open,close,readbalance>
04:43:50.170 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,open>
04:43:50.170 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,deposit,close>
04:43:50.171 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,open>
04:43:50.171 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdrawN,close>
04:43:50.172 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdraw0,open>
04:43:50.172 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,open>
04:43:50.172 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,readbalance,close>
04:43:50.173 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,readbalance,close,open>
04:43:50.173 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,readbalance,close,close>
04:43:50.173 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: deposit(5).	Function: deposit	in seq: <open,readbalance,close,deposit>
04:43:50.174 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,readbalance,deposit,open>
04:43:50.174 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,readbalance,deposit,close>
04:43:50.174 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,readbalance,readbalance,open>
04:43:50.175 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getBalance().	Function: readbalance	in seq: <open,readbalance,close,readbalance>
04:43:50.175 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,deposit,open>
04:43:50.176 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,deposit,deposit,close>
04:43:50.176 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,withdrawN,open>
04:43:50.177 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,deposit,withdrawN,close>
04:43:50.177 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,withdraw0,open>
04:43:50.178 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,readbalance,open>
04:43:50.178 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,deposit,readbalance,close>
04:43:50.179 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,deposit,open>
04:43:50.179 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdrawN,deposit,close>
04:43:50.179 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,withdrawN,open>
04:43:50.180 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdrawN,withdrawN,close>
04:43:50.180 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,withdraw0,open>
04:43:50.181 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,readbalance,open>
04:43:50.181 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdrawN,readbalance,close>
04:43:50.182 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdraw0,close,open>
04:43:50.182 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdraw0,close,close>
04:43:50.183 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: deposit(5).	Function: deposit	in seq: <open,deposit,withdraw0,close,deposit>
04:43:50.183 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdraw0,deposit,open>
04:43:50.184 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdraw0,deposit,close>
04:43:50.184 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdraw0,readbalance,open>
04:43:50.184 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,deposit,open>
04:43:50.185 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,readbalance,deposit,close>
04:43:50.185 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,withdrawN,open>
04:43:50.186 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,readbalance,withdrawN,close>
04:43:50.186 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,withdraw0,open>
04:43:50.186 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,readbalance,open>
04:43:50.187 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,readbalance,readbalance,close>
04:43:50.187 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,readbalance,deposit,deposit,open>
04:43:50.188 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,readbalance,deposit,deposit,close>
04:43:50.188 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,readbalance,deposit,withdrawN,open>
04:43:50.189 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,readbalance,deposit,withdrawN,close>
04:43:50.189 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,readbalance,deposit,withdraw0,open>
04:43:50.190 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,readbalance,deposit,readbalance,open>
04:43:50.191 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,readbalance,deposit,readbalance,close>
04:43:50.191 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,readbalance,readbalance,close,open>
04:43:50.192 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,readbalance,readbalance,close,close>
04:43:50.192 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: deposit(5).	Function: deposit	in seq: <open,readbalance,readbalance,close,deposit>
04:43:50.192 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,readbalance,readbalance,deposit,open>
04:43:50.193 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,readbalance,readbalance,deposit,close>
04:43:50.193 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,readbalance,readbalance,readbalance,open>
04:43:50.194 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getBalance().	Function: readbalance	in seq: <open,deposit,withdraw0,close,readbalance>
04:43:50.194 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,deposit,deposit,open>
04:43:50.195 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,deposit,deposit,deposit,close>
04:43:50.195 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,deposit,withdrawN,open>
04:43:50.196 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,deposit,deposit,withdrawN,close>
04:43:50.197 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,deposit,withdraw0,open>
04:43:50.198 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,deposit,readbalance,open>
04:43:50.198 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,deposit,deposit,readbalance,close>
04:43:50.199 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,withdrawN,deposit,open>
04:43:50.199 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,deposit,withdrawN,deposit,close>
04:43:50.200 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,withdrawN,withdrawN,open>
04:43:50.201 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,deposit,withdrawN,withdrawN,close>
04:43:50.201 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,withdrawN,withdraw0,open>
04:43:50.203 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,withdrawN,readbalance,open>
04:43:50.203 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,deposit,withdrawN,readbalance,close>
04:43:50.204 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,withdraw0,close,open>
04:43:50.204 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,deposit,withdraw0,close,close>
04:43:50.205 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: deposit(5).	Function: deposit	in seq: <open,deposit,deposit,withdraw0,close,deposit>
04:43:50.205 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,withdraw0,deposit,open>
04:43:50.206 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,deposit,withdraw0,deposit,close>
04:43:50.206 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,withdraw0,readbalance,open>
04:43:50.207 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,readbalance,deposit,open>
04:43:50.208 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,deposit,readbalance,deposit,close>
04:43:50.209 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,readbalance,withdrawN,open>
04:43:50.209 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,deposit,readbalance,withdrawN,close>
04:43:50.210 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,readbalance,withdraw0,open>
04:43:50.211 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,deposit,readbalance,readbalance,open>
04:43:50.211 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,deposit,readbalance,readbalance,close>
04:43:50.212 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,deposit,deposit,open>
04:43:50.212 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdrawN,deposit,deposit,close>
04:43:50.213 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,deposit,withdrawN,open>
04:43:50.213 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdrawN,deposit,withdrawN,close>
04:43:50.214 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,deposit,withdraw0,open>
04:43:50.215 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,deposit,readbalance,open>
04:43:50.216 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdrawN,deposit,readbalance,close>
04:43:50.216 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,withdrawN,deposit,open>
04:43:50.217 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdrawN,withdrawN,deposit,close>
04:43:50.217 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,withdrawN,withdrawN,open>
04:43:50.218 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdrawN,withdrawN,withdrawN,close>
04:43:50.219 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,withdrawN,withdraw0,open>
04:43:50.220 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,withdrawN,readbalance,open>
04:43:50.220 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdrawN,withdrawN,readbalance,close>
04:43:50.221 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,withdraw0,close,open>
04:43:50.221 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdrawN,withdraw0,close,close>
04:43:50.222 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: deposit(5).	Function: deposit	in seq: <open,deposit,withdrawN,withdraw0,close,deposit>
04:43:50.222 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,withdraw0,deposit,open>
04:43:50.222 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdrawN,withdraw0,deposit,close>
04:43:50.223 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,withdraw0,readbalance,open>
04:43:50.224 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,readbalance,deposit,open>
04:43:50.224 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdrawN,readbalance,deposit,close>
04:43:50.225 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,readbalance,withdrawN,open>
04:43:50.226 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdrawN,readbalance,withdrawN,close>
04:43:50.226 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,readbalance,withdraw0,open>
04:43:50.227 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdrawN,readbalance,readbalance,open>
04:43:50.228 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdrawN,readbalance,readbalance,close>
04:43:50.228 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdraw0,deposit,deposit,open>
04:43:50.229 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdraw0,deposit,deposit,close>
04:43:50.230 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdraw0,deposit,withdrawN,open>
04:43:50.230 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdraw0,deposit,withdrawN,close>
04:43:50.231 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdraw0,deposit,withdraw0,open>
04:43:50.232 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdraw0,deposit,readbalance,open>
04:43:50.232 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdraw0,deposit,readbalance,close>
04:43:50.233 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdraw0,readbalance,close,open>
04:43:50.233 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdraw0,readbalance,close,close>
04:43:50.234 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: deposit(5).	Function: deposit	in seq: <open,deposit,withdraw0,readbalance,close,deposit>
04:43:50.234 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdraw0,readbalance,deposit,open>
04:43:50.234 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,withdraw0,readbalance,deposit,close>
04:43:50.235 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,withdraw0,readbalance,readbalance,open>
04:43:50.236 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,deposit,deposit,open>
04:43:50.236 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,readbalance,deposit,deposit,close>
04:43:50.237 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,deposit,withdrawN,open>
04:43:50.237 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,readbalance,deposit,withdrawN,close>
04:43:50.238 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,deposit,withdraw0,open>
04:43:50.239 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,deposit,readbalance,open>
04:43:50.240 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,readbalance,deposit,readbalance,close>
04:43:50.240 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,withdrawN,deposit,open>
04:43:50.241 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,readbalance,withdrawN,deposit,close>
04:43:50.241 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,withdrawN,withdrawN,open>
04:43:50.242 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,readbalance,withdrawN,withdrawN,close>
04:43:50.243 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,withdrawN,withdraw0,open>
04:43:50.244 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,withdrawN,readbalance,open>
04:43:50.244 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,readbalance,withdrawN,readbalance,close>
04:43:50.245 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,withdraw0,close,open>
04:43:50.245 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,readbalance,withdraw0,close,close>
04:43:50.245 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: deposit(5).	Function: deposit	in seq: <open,deposit,readbalance,withdraw0,close,deposit>
04:43:50.246 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,withdraw0,deposit,open>
04:43:50.246 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,readbalance,withdraw0,deposit,close>
04:43:50.247 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,withdraw0,readbalance,open>
04:43:50.248 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,readbalance,deposit,open>
04:43:50.248 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,readbalance,readbalance,deposit,close>
04:43:50.249 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,readbalance,withdrawN,open>
04:43:50.249 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,readbalance,readbalance,withdrawN,close>
04:43:50.250 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,readbalance,withdraw0,open>
04:43:50.251 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: open().	Function: open	in seq: <open,deposit,readbalance,readbalance,readbalance,open>
04:43:50.251 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: close().	Function: close	in seq: <open,deposit,readbalance,readbalance,readbalance,close>
04:43:50.312 [main] INFO  org.jsxm.jsxmcore.util.XML - 
04:43:50.312 [main] INFO  org.jsxm.maven.plugin.facade.TestGenerationFacade - --- Account tests generated successfully ---

04:43:50.312 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->
04:43:50.313 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- Generates the JUNIT files-->
04:43:50.313 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->

04:43:50.536 [main] INFO  org.jsxm.maven.plugin.facade.TestTransformationFacade -            -->Class under test : AccountAdapter<--
04:43:50.536 [main] INFO  org.jsxm.maven.plugin.facade.TestTransformationFacade -            -->JUnit test class : AccountJsxmAdapterTest<--

04:43:50.537 [main] INFO  org.jsxm.maven.plugin.facade.TestTransformationFacade - --- Account tests transformed successfully ---
