/home/swinkler/confchecksmt/src/libyices.so.2.6.2 0. distance 3.72 encoding time: 0.22 solving time: 0.10 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType H closeCode B speciality K isClosed 0.0 1. distance 5.3 encoding time: 0.32 solving time: 0.15 LOG SEQUENCE: NEW JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 2. distance 3.0 encoding time: 0.29 solving time: 0.09 LOG SEQUENCE: NEW CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 3. distance 5.37 encoding time: 0.32 solving time: 0.17 LOG SEQUENCE: NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType K closeCode B speciality K isClosed 0.0 4. distance 4.56 encoding time: 0.31 solving time: 0.12 LOG SEQUENCE: NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 5. distance 4.28 encoding time: 0.30 solving time: 0.14 LOG SEQUENCE: NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW caseType H closeCode B speciality K isClosed 0.0 6. distance 4.13 encoding time: 0.32 solving time: 0.29 LOG SEQUENCE: NEW CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType H closeCode B speciality K isClosed 0.0 7. distance 4.4 encoding time: 0.41 solving time: 0.33 LOG SEQUENCE: NEW CHANGE DIAGN ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 8. distance 5.84 encoding time: 0.45 solving time: 0.68 LOG SEQUENCE: NEW CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 caseType B closeCode B speciality B isClosed 0.0 9. distance 4.36 encoding time: 0.53 solving time: 0.46 LOG SEQUENCE: NEW CHANGE DIAGN FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 10. distance 5.23 encoding time: 0.42 solving time: 0.48 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 11. distance 5.14 encoding time: 0.41 solving time: 0.25 LOG SEQUENCE: NEW CHANGE DIAGN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 12. distance 3.53 encoding time: 0.42 solving time: 0.38 LOG SEQUENCE: NEW CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 caseType K closeCode B speciality K isClosed 0.0 13. distance 5.16 encoding time: 0.42 solving time: 0.45 LOG SEQUENCE: NEW CHANGE DIAGN CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 14. distance 5.97 encoding time: 0.43 solving time: 0.45 LOG SEQUENCE: NEW DELETE JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType K closeCode B speciality K isClosed 0.0 15. distance 5.94 encoding time: 0.45 solving time: 0.53 LOG SEQUENCE: NEW FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 caseType H closeCode B speciality B isClosed 0.0 16. distance 5.0 encoding time: 0.40 solving time: 0.13 LOG SEQUENCE: NEW FIN MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType H closeCode B speciality K isClosed 0.0 17. distance 5.14 encoding time: 0.43 solving time: 0.51 LOG SEQUENCE: NEW CHANGE END FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType H closeCode B speciality K isClosed 0.0 18. distance 4.95 encoding time: 0.42 solving time: 0.20 LOG SEQUENCE: NEW FIN CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 caseType B closeCode B speciality K isClosed 0.0 19. distance 5.14 encoding time: 0.44 solving time: 0.42 LOG SEQUENCE: NEW NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 caseType C closeCode B speciality K isClosed 0.0 20. distance 5.46 encoding time: 0.42 solving time: 0.21 LOG SEQUENCE: NEW NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW >> caseType K closeCode B speciality K isClosed 0.0 21. distance 5.83 encoding time: 0.43 solving time: 0.64 LOG SEQUENCE: NEW DELETE NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType K closeCode B speciality K isClosed 0.0 22. distance 4.77 encoding time: 0.43 solving time: 0.32 LOG SEQUENCE: NEW RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 caseType K closeCode B speciality K isClosed 0.0 23. distance 5.17 encoding time: 0.57 solving time: 1.46 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 t25 caseType B closeCode B speciality K isClosed 0.0 24. distance 5.58 encoding time: 0.55 solving time: 1.45 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN caseType B closeCode B speciality F isClosed 0.0 25. distance 5.29 encoding time: 0.59 solving time: 2.20 LOG SEQUENCE: NEW MANUAL CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 CHANGE DIAGN caseType B closeCode B speciality F isClosed 0.0 26. distance 3.0 encoding time: 0.52 solving time: 0.43 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN CHANGE END caseType B closeCode B speciality B isClosed 0.0 27. distance 5.69 encoding time: 0.54 solving time: 1.26 LOG SEQUENCE: >> CHANGE END CHANGE DIAGN DELETE JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE END CHANGE DIAGN >> caseType B closeCode B speciality K isClosed 0.0 28. distance 7.48 encoding time: 0.59 solving time: 3.57 LOG SEQUENCE: NEW >> CHANGE DIAGN CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW t1 CHANGE DIAGN CHANGE END caseType B closeCode B speciality K isClosed 0.0 29. distance 9.36 encoding time: 0.57 solving time: 0.15 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType H closeCode B speciality K isClosed 0.0 30. distance 7.54 encoding time: 0.56 solving time: 1.47 LOG SEQUENCE: NEW CHANGE DIAGN FIN EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> caseType B closeCode B speciality K isClosed 0.0 31. distance 7.45 encoding time: 0.58 solving time: 1.03 LOG SEQUENCE: NEW EMPTY FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 caseType H closeCode B speciality K isClosed 0.0 32. distance 6.45 encoding time: 0.53 solving time: 0.38 LOG SEQUENCE: NEW FIN MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType K closeCode B speciality K isClosed 0.0 33. distance 7.94 encoding time: 0.58 solving time: 0.96 LOG SEQUENCE: NEW FIN FIN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType K closeCode B speciality K isClosed 0.0 34. distance 6.0 encoding time: 0.55 solving time: 0.41 LOG SEQUENCE: NEW FIN RELEASE CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType F closeCode B speciality K isClosed 0.0 35. distance 6.7 encoding time: 0.57 solving time: 1.28 LOG SEQUENCE: NEW FIN CHANGE END CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> caseType C closeCode B speciality K isClosed 0.0 36. distance 6.74 encoding time: 0.58 solving time: 1.38 LOG SEQUENCE: NEW FIN RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 caseType H closeCode B speciality K isClosed 0.0 37. distance 5.52 encoding time: 0.56 solving time: 1.07 LOG SEQUENCE: NEW FIN DELETE EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 t25 caseType H closeCode B speciality B isClosed 0.0 38. distance 5.67 encoding time: 0.57 solving time: 1.36 LOG SEQUENCE: NEW FIN DELETE EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 t25 caseType K closeCode B speciality B isClosed 0.0 39. distance 7.22 encoding time: 0.56 solving time: 0.83 LOG SEQUENCE: NEW FIN RELEASE CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 caseType H closeCode B speciality K isClosed 0.0 40. distance 4.64 encoding time: 0.58 solving time: 1.22 LOG SEQUENCE: NEW FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 t25 caseType H closeCode B speciality F isClosed 0.0 41. distance 6.18 encoding time: 0.53 solving time: 0.37 LOG SEQUENCE: NEW MANUAL MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType H closeCode B speciality K isClosed 0.0 42. distance 5.48 encoding time: 0.56 solving time: 1.32 LOG SEQUENCE: NEW NEW CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 t4 caseType K closeCode B speciality K isClosed 0.0 43. distance 5.67 encoding time: 0.57 solving time: 0.64 LOG SEQUENCE: NEW NEW NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW t1 caseType H closeCode B speciality K isClosed 0.0 44. distance 7.25 encoding time: 0.53 solving time: 0.63 LOG SEQUENCE: NEW NEW NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW >> caseType H closeCode B speciality K isClosed 0.0 45. distance 6.79 encoding time: 0.51 solving time: 0.38 LOG SEQUENCE: NEW NEW NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType K closeCode B speciality K isClosed 0.0 46. distance 6.33 encoding time: 0.68 solving time: 3.43 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 t25 caseType B closeCode B speciality K isClosed 0.0 47. distance 5.38 encoding time: 0.66 solving time: 1.68 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> CHANGE DIAGN caseType B closeCode B speciality B isClosed 0.0 48. distance 7.62 encoding time: 0.70 solving time: 1.76 LOG SEQUENCE: NEW CHANGE END FIN RELEASE REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 49. distance 7.15 encoding time: 0.70 solving time: 1.69 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE ERROR REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 50. distance 7.79 encoding time: 0.72 solving time: 6.62 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END EMPTY DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> CHANGE END caseType B closeCode B speciality K isClosed 0.0 51. distance 6.0 encoding time: 0.67 solving time: 0.84 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> caseType B closeCode B speciality B isClosed 0.0 52. distance 4.99 encoding time: 0.71 solving time: 1.53 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN t25 t10 caseType B closeCode B speciality F isClosed 0.0 53. distance 7.69 encoding time: 0.69 solving time: 2.25 LOG SEQUENCE: NEW CHANGE DIAGN FIN SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 54. distance 8.38 encoding time: 0.69 solving time: 1.27 LOG SEQUENCE: NEW FIN RELEASE REJECT ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 55. distance 8.07 encoding time: 0.70 solving time: 2.12 LOG SEQUENCE: NEW FIN RELEASE REOPEN MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t4 >> caseType H closeCode B speciality B isClosed 0.0 56. distance 8.51 encoding time: 0.70 solving time: 0.99 LOG SEQUENCE: NEW FIN REJECT CODE NOK ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 57. distance 7.25 encoding time: 0.71 solving time: 2.17 LOG SEQUENCE: NEW FIN EMPTY CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 caseType K closeCode B speciality B isClosed 0.0 58. distance 9.86 encoding time: 0.73 solving time: 2.20 LOG SEQUENCE: >> CHANGE END FIN RELEASE ZDBC_BEHAN EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 59. distance 7.59 encoding time: 0.69 solving time: 0.87 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE ERROR caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 60. distance 8.43 encoding time: 0.72 solving time: 2.48 LOG SEQUENCE: NEW FIN REJECT CODE OK CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 caseType H closeCode B speciality K isClosed 0.0 61. distance 7.16 encoding time: 0.70 solving time: 1.11 LOG SEQUENCE: NEW FIN RELEASE CHANGE END CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> caseType K closeCode B speciality K isClosed 0.0 62. distance 8.91 encoding time: 0.73 solving time: 3.54 LOG SEQUENCE: NEW FIN CHANGE END CODE OK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> CHANGE END caseType C closeCode B speciality B isClosed 0.0 63. distance 9.39 encoding time: 0.74 solving time: 4.34 LOG SEQUENCE: NEW FIN REOPEN REJECT EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> t4 caseType K closeCode B speciality B isClosed 0.0 64. distance 7.39 encoding time: 0.70 solving time: 1.24 LOG SEQUENCE: NEW FIN RELEASE CODE OK MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType C closeCode B speciality K isClosed 0.0 65. distance 8.65 encoding time: 0.75 solving time: 1.78 LOG SEQUENCE: NEW FIN RELEASE CODE OK SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 66. distance 8.14 encoding time: 0.70 solving time: 0.76 LOG SEQUENCE: NEW FIN RELEASE MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 67. distance 9.39 encoding time: 0.69 solving time: 2.81 LOG SEQUENCE: NEW FIN MANUAL MANUAL DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 caseType K closeCode B speciality K isClosed 0.0 68. distance 6.73 encoding time: 0.70 solving time: 1.29 LOG SEQUENCE: NEW FIN RELEASE REOPEN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> caseType H closeCode B speciality B isClosed 0.0 69. distance 8.5 encoding time: 0.68 solving time: 0.75 LOG SEQUENCE: NEW FIN RELEASE RELEASE MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 70. distance 8.08 encoding time: 0.75 solving time: 5.87 LOG SEQUENCE: NEW FIN EMPTY REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 t4 caseType K closeCode B speciality B isClosed 0.0 71. distance 7.16 encoding time: 0.70 solving time: 1.50 LOG SEQUENCE: NEW FIN EMPTY REOPEN CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t4 >> caseType H closeCode B speciality B isClosed 0.0 72. distance 5.65 encoding time: 0.70 solving time: 1.31 LOG SEQUENCE: NEW FIN REOPEN ZDBC_BEHAN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> t4 caseType H closeCode B speciality F isClosed 0.0 73. distance 7.37 encoding time: 0.73 solving time: 4.98 LOG SEQUENCE: NEW FIN REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> t4 caseType K closeCode B speciality B isClosed 0.0 74. distance 6.94 encoding time: 0.70 solving time: 1.23 LOG SEQUENCE: NEW FIN REOPEN FIN STORNO caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> caseType H closeCode B speciality F isClosed 0.0 75. distance 5.79 encoding time: 0.71 solving time: 2.50 LOG SEQUENCE: NEW FIN CHANGE END CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 CHANGE END caseType H closeCode B speciality F isClosed 0.0 76. distance 7.62 encoding time: 0.67 solving time: 0.55 LOG SEQUENCE: NEW MANUAL FIN MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 77. distance 8.67 encoding time: 0.68 solving time: 0.96 LOG SEQUENCE: NEW NEW JOIN-PAT JOIN-PAT JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 78. distance 7.35 encoding time: 0.66 solving time: 0.74 LOG SEQUENCE: NEW NEW NEW NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW >> t1 caseType K closeCode B speciality K isClosed 0.0 79. distance 8.13 encoding time: 0.65 solving time: 0.74 LOG SEQUENCE: NEW NEW NEW NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 80. distance 7.67 encoding time: 0.67 solving time: 1.36 LOG SEQUENCE: NEW CHANGE END NEW NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 81. distance 7.23 encoding time: 0.69 solving time: 1.48 LOG SEQUENCE: NEW RELEASE BILLED CHANGE END BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> caseType K closeCode B speciality K isClosed 0.0 82. distance 8.94 encoding time: 0.73 solving time: 1.25 LOG SEQUENCE: NEW SET STATUS STORNO ZDBC_BEHAN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 caseType H closeCode B speciality B isClosed 0.0 83. distance 9.06 encoding time: 0.84 solving time: 17.33 LOG SEQUENCE: NEW CHANGE DIAGN EMPTY ZDBC_BEHAN CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 CHANGE DIAGN caseType B closeCode B speciality B isClosed 0.0 84. distance 9.28 encoding time: 0.83 solving time: 8.62 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN RELEASE REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> >> caseType B closeCode B speciality B isClosed 0.0 85. distance 6.87 encoding time: 0.83 solving time: 3.97 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN STORNO DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN caseType B closeCode B speciality F isClosed 0.0 86. distance 10.21 encoding time: 0.88 solving time: 7.66 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN JOIN-PAT REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 87. distance 8.77 encoding time: 0.87 solving time: 18.03 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 CHANGE DIAGN t10 caseType B closeCode B speciality F isClosed 0.0 88. distance 7.07 encoding time: 0.87 solving time: 7.45 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END FIN REOPEN EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN CHANGE END t10 FIN caseType B closeCode B ? speciality B isClosed 0.0 89. distance 6.58 encoding time: 0.83 solving time: 1.79 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK REOPEN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> t25 caseType B closeCode B speciality F isClosed 0.0 90. distance 10.33 encoding time: 0.85 solving time: 5.85 LOG SEQUENCE: >> NEW CHANGE DIAGN FIN CHANGE END REJECT CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 91. distance 9.87 encoding time: 0.89 solving time: 5.98 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 92. distance 8.68 encoding time: 0.85 solving time: 5.63 LOG SEQUENCE: NEW CHANGE DIAGN FIN EMPTY CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 93. distance 8.03 encoding time: 0.84 solving time: 3.29 LOG SEQUENCE: NEW CHANGE DIAGN FIN JOIN-PAT CODE OK CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 94. distance 7.3 encoding time: 0.86 solving time: 4.25 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t25 caseType B closeCode B speciality K isClosed 0.0 95. distance 8.47 encoding time: 0.84 solving time: 2.12 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE ZDBC_BEHAN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 96. distance 8.59 encoding time: 0.84 solving time: 3.45 LOG SEQUENCE: >> CHANGE END CHANGE DIAGN FIN RELEASE RELEASE SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE END >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 97. distance 5.87 encoding time: 0.83 solving time: 3.82 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE DIAGN CHANGE END caseType B closeCode B speciality K isClosed 0.0 98. distance 9.47 encoding time: 0.85 solving time: 3.16 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 99. distance 7.78 encoding time: 0.83 solving time: 1.94 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE EMPTY REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> caseType B closeCode B speciality B isClosed 0.0 100. distance 7.77 encoding time: 0.96 solving time: 11.58 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN t25 >> t10 caseType B closeCode B speciality B isClosed 0.0 101. distance 7.74 encoding time: 0.85 solving time: 2.69 LOG SEQUENCE: NEW CHANGE DIAGN FIN REJECT CHANGE END SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE DIAGN >> caseType B closeCode B speciality K isClosed 0.0 102. distance 10.54 encoding time: 0.81 solving time: 4.72 LOG SEQUENCE: NEW CHANGE DIAGN REJECT ZDBC_BEHAN FIN MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 103. distance 10.79 encoding time: 0.88 solving time: 4.54 LOG SEQUENCE: NEW CHANGE END FIN JOIN-PAT ZDBC_BEHAN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 104. distance 8.84 encoding time: 0.85 solving time: 1.29 LOG SEQUENCE: NEW CODE OK FIN ZDBC_BEHAN CODE OK ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> caseType C closeCode B speciality F isClosed 0.0 105. distance 9.34 encoding time: 0.86 solving time: 2.66 LOG SEQUENCE: NEW FIN REJECT RELEASE REJECT CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType C closeCode B speciality K isClosed 0.0 106. distance 10.59 encoding time: 0.87 solving time: 6.30 LOG SEQUENCE: NEW FIN FIN RELEASE ZDBC_BEHAN EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 107. distance 9.87 encoding time: 0.86 solving time: 2.08 LOG SEQUENCE: NEW FIN FIN ZDBC_BEHAN REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType C closeCode B speciality K isClosed 0.0 108. distance 8.45 encoding time: 0.84 solving time: 1.41 LOG SEQUENCE: NEW FIN MANUAL RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 109. distance 10.55 encoding time: 0.82 solving time: 5.57 LOG SEQUENCE: NEW FIN STORNO BILLED CHANGE END MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> caseType K closeCode B speciality K isClosed 0.0 110. distance 8.5 encoding time: 0.84 solving time: 1.13 LOG SEQUENCE: NEW FIN RELEASE BILLED STORNO ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 111. distance 8.42 encoding time: 0.84 solving time: 1.33 LOG SEQUENCE: NEW FIN REJECT BILLED STORNO CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType K closeCode B speciality K isClosed 0.0 112. distance 7.89 encoding time: 0.84 solving time: 2.30 LOG SEQUENCE: NEW FIN CHANGE END CODE NOK CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> caseType H closeCode B speciality K isClosed 0.0 113. distance 7.0 encoding time: 0.84 solving time: 0.95 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType K closeCode B speciality B isClosed 0.0 114. distance 8.67 encoding time: 0.85 solving time: 1.46 LOG SEQUENCE: NEW FIN EMPTY CODE NOK REJECT EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 115. distance 10.4 encoding time: 0.87 solving time: 4.75 LOG SEQUENCE: >> NEW FIN RELEASE CHANGE END CODE NOK SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> caseType C closeCode B speciality K isClosed 0.0 116. distance 9.38 encoding time: 0.89 solving time: 5.13 LOG SEQUENCE: NEW FIN RELEASE REJECT REOPEN ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> caseType K closeCode B speciality B isClosed 0.0 117. distance 8.25 encoding time: 0.87 solving time: 2.94 LOG SEQUENCE: NEW FIN ZDBC_BEHAN CODE NOK EMPTY DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType C closeCode B speciality F isClosed 0.0 118. distance 11.24 encoding time: 0.84 solving time: 4.64 LOG SEQUENCE: NEW FIN CHANGE END CODE NOK MANUAL CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 119. distance 7.12 encoding time: 0.85 solving time: 3.04 LOG SEQUENCE: NEW FIN ZDBC_BEHAN CODE NOK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t4 t25 caseType H closeCode B speciality B isClosed 0.0 120. distance 7.63 encoding time: 0.86 solving time: 3.53 LOG SEQUENCE: NEW FIN RELEASE EMPTY REOPEN EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 t4 caseType K closeCode B speciality B isClosed 0.0 121. distance 10.58 encoding time: 0.88 solving time: 2.37 LOG SEQUENCE: NEW FIN RELEASE CODE NOK SET STATUS REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 122. distance 8.3 encoding time: 0.87 solving time: 3.31 LOG SEQUENCE: NEW FIN ZDBC_BEHAN CODE NOK SET STATUS DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType H closeCode B speciality K isClosed 0.0 123. distance 9.79 encoding time: 0.89 solving time: 7.04 LOG SEQUENCE: NEW FIN REJECT CODE NOK REOPEN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> caseType H closeCode B speciality B isClosed 0.0 124. distance 9.5 encoding time: 0.85 solving time: 2.89 LOG SEQUENCE: NEW FIN REJECT CODE OK BILLED CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType K closeCode B speciality K isClosed 0.0 125. distance 10.96 encoding time: 0.87 solving time: 3.06 LOG SEQUENCE: NEW FIN RELEASE CODE OK CODE OK REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType C closeCode B speciality K isClosed 0.0 126. distance 8.54 encoding time: 0.90 solving time: 5.21 LOG SEQUENCE: NEW FIN RELEASE ZDBC_BEHAN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 t4 caseType K closeCode B speciality F isClosed 0.0 127. distance 7.59 encoding time: 0.92 solving time: 2.85 LOG SEQUENCE: NEW FIN RELEASE CHANGE END RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> caseType C closeCode B speciality K isClosed 0.0 128. distance 9.9 encoding time: 0.87 solving time: 4.87 LOG SEQUENCE: NEW FIN RELEASE FIN RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 caseType K closeCode B speciality B isClosed 0.0 129. distance 8.02 encoding time: 0.81 solving time: 1.71 LOG SEQUENCE: NEW FIN RELEASE MANUAL BILLED CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType K closeCode B speciality K isClosed 0.0 130. distance 8.2 encoding time: 0.83 solving time: 1.84 LOG SEQUENCE: NEW FIN CHANGE END MANUAL JOIN-PAT REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> caseType H closeCode B speciality K isClosed 0.0 131. distance 9.86 encoding time: 0.85 solving time: 2.29 LOG SEQUENCE: NEW FIN RELEASE MANUAL REJECT ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 132. distance 9.21 encoding time: 0.80 solving time: 1.32 LOG SEQUENCE: NEW FIN RELEASE MANUAL MANUAL STORNO caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 133. distance 8.57 encoding time: 0.86 solving time: 4.54 LOG SEQUENCE: >> NEW FIN RELEASE MANUAL REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> t25 t4 caseType H closeCode B speciality F isClosed 0.0 134. distance 7.83 encoding time: 0.82 solving time: 1.58 LOG SEQUENCE: NEW FIN RELEASE MANUAL ZDBC_BEHAN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType K closeCode B speciality K isClosed 0.0 135. distance 7.22 encoding time: 0.85 solving time: 2.45 LOG SEQUENCE: NEW FIN RELEASE RELEASE REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 t4 caseType K closeCode B speciality B isClosed 0.0 136. distance 9.03 encoding time: 0.89 solving time: 12.96 LOG SEQUENCE: NEW FIN EMPTY REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> t4 caseType H closeCode B speciality B isClosed 0.0 137. distance 9.0 encoding time: 0.85 solving time: 14.13 LOG SEQUENCE: NEW FIN REOPEN FIN CHANGE END EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> t4 caseType H closeCode B speciality B isClosed 0.0 138. distance 6.71 encoding time: 0.87 solving time: 6.26 LOG SEQUENCE: NEW FIN CHANGE END FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 t4 CHANGE END t10 caseType K closeCode B speciality B isClosed 0.0 139. distance 7.21 encoding time: 0.82 solving time: 1.57 LOG SEQUENCE: NEW NEW FIN RELEASE CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW t1 >> >> t25 caseType K closeCode B speciality F isClosed 0.0 140. distance 8.93 encoding time: 0.84 solving time: 2.22 LOG SEQUENCE: NEW NEW FIN ZDBC_BEHAN CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 141. distance 8.1 encoding time: 0.74 solving time: 1.01 LOG SEQUENCE: NEW NEW REJECT JOIN-PAT JOIN-PAT JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 142. distance 8.78 encoding time: 0.82 solving time: 7.44 LOG SEQUENCE: NEW NEW NEW NEW FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW >> >> >> t1 caseType C closeCode B speciality B isClosed 0.0 143. distance 8.19 encoding time: 0.74 solving time: 1.29 LOG SEQUENCE: NEW NEW NEW NEW NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> >> NEW t1 caseType H closeCode B speciality K isClosed 0.0 144. distance 8.29 encoding time: 0.71 solving time: 0.90 LOG SEQUENCE: NEW NEW CHANGE END NEW NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW t1 >> >> >> caseType H closeCode B speciality K isClosed 0.0 145. distance 9.24 encoding time: 0.86 solving time: 2.79 LOG SEQUENCE: NEW RELEASE CODE NOK EMPTY EMPTY STORNO caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 146. distance 9.44 encoding time: 1.02 solving time: 36.70 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN REJECT FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> CHANGE DIAGN t25 t10 caseType B closeCode B speciality B isClosed 0.0 147. distance 8.81 encoding time: 1.00 solving time: 5.99 LOG SEQUENCE: NEW CHANGE DIAGN ZDBC_BEHAN FIN RELEASE ZDBC_BEHAN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> >> CHANGE DIAGN caseType B closeCode B speciality B isClosed 0.0 148. distance 12.04 encoding time: 1.02 solving time: 31.95 LOG SEQUENCE: NEW ZDBC_BEHAN CHANGE DIAGN FIN CHANGE END CHANGE END EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> CHANGE DIAGN >> caseType B closeCode B speciality K isClosed 0.0 149. distance 10.01 encoding time: 1.01 solving time: 11.91 LOG SEQUENCE: NEW CHANGE DIAGN STORNO FIN ZDBC_BEHAN CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> >> >> caseType B closeCode B speciality B isClosed 0.0 150. distance 8.57 encoding time: 0.97 solving time: 8.39 LOG SEQUENCE: NEW REJECT CHANGE DIAGN CHANGE END RELEASE REJECT SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 CHANGE DIAGN >> >> >> caseType B closeCode B speciality K isClosed 0.0 151. distance 7.13 encoding time: 0.97 solving time: 5.78 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN RELEASE REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> t25 t10 caseType B closeCode B speciality F isClosed 0.0 152. distance 8.27 encoding time: 0.96 solving time: 6.45 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 153. distance 10.32 encoding time: 1.01 solving time: 7.98 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE NOK RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 154. distance 8.66 encoding time: 1.10 solving time: 6.31 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE OK REOPEN CODE OK REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> CHANGE DIAGN >> >> caseType B closeCode B speciality F isClosed 0.0 155. distance 9.13 encoding time: 1.02 solving time: 7.76 LOG SEQUENCE: NEW CHANGE DIAGN FIN FIN REJECT STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 156. distance 7.74 encoding time: 0.94 solving time: 2.35 LOG SEQUENCE: NEW CHANGE DIAGN FIN MANUAL RELEASE CODE OK CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 157. distance 9.02 encoding time: 1.03 solving time: 9.25 LOG SEQUENCE: NEW CHANGE DIAGN FIN ZDBC_BEHAN CODE NOK CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN CHANGE END caseType B closeCode B speciality K isClosed 0.0 158. distance 9.46 encoding time: 1.00 solving time: 9.45 LOG SEQUENCE: NEW CHANGE DIAGN FIN CHANGE END CODE NOK CODE NOK SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> >> >> caseType B closeCode B speciality K isClosed 0.0 159. distance 9.74 encoding time: 1.01 solving time: 5.56 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END RELEASE ZDBC_BEHAN CODE OK ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 160. distance 7.58 encoding time: 1.01 solving time: 3.24 LOG SEQUENCE: NEW CHANGE DIAGN FIN STORNO REJECT REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN t10 caseType B closeCode B speciality B isClosed 0.0 161. distance 8.46 encoding time: 0.98 solving time: 2.60 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END RELEASE JOIN-PAT REJECT CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 162. distance 13.07 encoding time: 1.06 solving time: 24.64 LOG SEQUENCE: NEW >> CHANGE DIAGN FIN REJECT ZDBC_BEHAN EMPTY REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW t1 CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality F isClosed 0.0 163. distance 11.61 encoding time: 1.02 solving time: 4.18 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE ZDBC_BEHAN CODE OK STORNO caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 164. distance 7.19 encoding time: 1.00 solving time: 4.16 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE EMPTY REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN t10 caseType B closeCode B speciality B isClosed 0.0 165. distance 11.2 encoding time: 1.02 solving time: 11.68 LOG SEQUENCE: NEW CHANGE DIAGN FIN CHANGE END RELEASE REJECT EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> >> >> caseType B closeCode B speciality K isClosed 0.0 166. distance 8.59 encoding time: 0.98 solving time: 8.29 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE REOPEN FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> CHANGE DIAGN >> >> caseType B closeCode B speciality B isClosed 0.0 167. distance 9.89 encoding time: 1.00 solving time: 22.49 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN FIN RELEASE ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 CHANGE DIAGN >> >> >> caseType B closeCode B speciality F isClosed 0.0 168. distance 6.22 encoding time: 1.00 solving time: 4.11 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN t25 >> >> t10 caseType B closeCode B speciality B isClosed 0.0 169. distance 10.05 encoding time: 1.04 solving time: 18.43 LOG SEQUENCE: NEW CHANGE DIAGN FIN CHANGE END ZDBC_BEHAN REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> >> >> caseType B closeCode B speciality K isClosed 0.0 170. distance 11.84 encoding time: 1.04 solving time: 18.34 LOG SEQUENCE: NEW CHANGE DIAGN ZDBC_BEHAN REJECT FIN REOPEN CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE DIAGN t25 >> caseType B closeCode B speciality B isClosed 0.0 171. distance 11.76 encoding time: 1.02 solving time: 8.04 LOG SEQUENCE: NEW FIN CHANGE END FIN RELEASE ZDBC_BEHAN REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 172. distance 12.4 encoding time: 1.04 solving time: 10.00 LOG SEQUENCE: NEW FIN STORNO BILLED EMPTY MANUAL EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 173. distance 10.97 encoding time: 0.98 solving time: 5.07 LOG SEQUENCE: NEW FIN ZDBC_BEHAN REJECT EMPTY MANUAL EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 174. distance 9.05 encoding time: 0.98 solving time: 3.19 LOG SEQUENCE: NEW FIN RELEASE BILLED CHANGE END REJECT STORNO caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> caseType F closeCode B speciality K isClosed 0.0 175. distance 11.71 encoding time: 1.12 solving time: 18.56 LOG SEQUENCE: NEW CHANGE END EMPTY EMPTY STORNO JOIN-PAT DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> CHANGE END caseType H closeCode B speciality K isClosed 0.0 176. distance 10.16 encoding time: 0.99 solving time: 9.01 LOG SEQUENCE: NEW FIN RELEASE REJECT CHANGE END REJECT CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> caseType C closeCode B speciality K isClosed 0.0 177. distance 12.67 encoding time: 0.98 solving time: 5.32 LOG SEQUENCE: >> NEW FIN ZDBC_BEHAN CODE ERROR BILLED CODE NOK REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 178. distance 10.76 encoding time: 0.99 solving time: 3.12 LOG SEQUENCE: NEW FIN REJECT CODE NOK ZDBC_BEHAN STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 179. distance 10.53 encoding time: 0.98 solving time: 4.38 LOG SEQUENCE: NEW FIN REJECT REJECT CODE NOK CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 180. distance 10.52 encoding time: 1.00 solving time: 4.05 LOG SEQUENCE: NEW FIN ZDBC_BEHAN ZDBC_BEHAN CODE NOK EMPTY REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType K closeCode B speciality B isClosed 0.0 181. distance 10.04 encoding time: 1.03 solving time: 10.19 LOG SEQUENCE: >> NEW FIN ZDBC_BEHAN EMPTY CODE NOK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> t4 t25 caseType K closeCode B speciality B isClosed 0.0 182. distance 9.22 encoding time: 0.98 solving time: 3.15 LOG SEQUENCE: NEW CHANGE END RELEASE CODE NOK REJECT BILLED EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 183. distance 10.35 encoding time: 0.97 solving time: 2.25 LOG SEQUENCE: NEW FIN JOIN-PAT ZDBC_BEHAN CODE OK CODE OK REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 184. distance 10.01 encoding time: 1.02 solving time: 11.07 LOG SEQUENCE: NEW FIN RELEASE CODE NOK ZDBC_BEHAN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 t25 caseType H closeCode B speciality B isClosed 0.0 185. distance 9.12 encoding time: 0.98 solving time: 6.32 LOG SEQUENCE: NEW FIN RELEASE REJECT REOPEN FIN REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t4 >> >> caseType K closeCode B speciality B isClosed 0.0 186. distance 9.57 encoding time: 0.97 solving time: 4.90 LOG SEQUENCE: NEW FIN RELEASE CHANGE END SET STATUS CODE NOK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> >> caseType H closeCode B speciality K isClosed 0.0 187. distance 12.24 encoding time: 1.01 solving time: 7.97 LOG SEQUENCE: NEW FIN EMPTY CODE NOK JOIN-PAT SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 188. distance 9.58 encoding time: 0.97 solving time: 4.62 LOG SEQUENCE: NEW CHANGE END RELEASE REJECT REJECT CODE OK CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 189. distance 9.27 encoding time: 0.94 solving time: 4.43 LOG SEQUENCE: NEW FIN CHANGE END REJECT BILLED CODE OK MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 190. distance 10.4 encoding time: 0.94 solving time: 3.68 LOG SEQUENCE: NEW FIN RELEASE REJECT BILLED MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 191. distance 9.91 encoding time: 0.99 solving time: 4.24 LOG SEQUENCE: NEW FIN ZDBC_BEHAN CODE OK JOIN-PAT REOPEN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t25 >> caseType H closeCode B speciality B isClosed 0.0 192. distance 12.26 encoding time: 1.02 solving time: 19.52 LOG SEQUENCE: NEW FIN REOPEN CODE OK JOIN-PAT STORNO EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> >> t25 caseType K closeCode B speciality B isClosed 0.0 193. distance 11.8 encoding time: 0.97 solving time: 0.37 LOG SEQUENCE: NEW FIN RELEASE ZDBC_BEHAN CODE OK CHANGE END CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 194. distance 10.71 encoding time: 0.99 solving time: 6.42 LOG SEQUENCE: NEW FIN RELEASE REJECT CODE OK >> CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> >> >> NEW t1 CHANGE END caseType H closeCode B speciality K isClosed 0.0 195. distance 10.16 encoding time: 0.99 solving time: 4.18 LOG SEQUENCE: NEW FIN RELEASE ZDBC_BEHAN CODE OK REOPEN REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 >> caseType H closeCode B speciality B isClosed 0.0 196. distance 9.75 encoding time: 0.98 solving time: 5.68 LOG SEQUENCE: NEW FIN RELEASE CODE OK REOPEN CHANGE END BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> >> caseType H closeCode B speciality B isClosed 0.0 197. distance 8.41 encoding time: 0.98 solving time: 4.43 LOG SEQUENCE: NEW FIN ZDBC_BEHAN CODE OK REJECT CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 CHANGE END caseType K closeCode B speciality K isClosed 0.0 198. distance 8.47 encoding time: 1.07 solving time: 5.67 LOG SEQUENCE: NEW FIN RELEASE REJECT REOPEN CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 t25 caseType B closeCode B speciality K isClosed 0.0 199. distance 9.53 encoding time: 1.02 solving time: 9.30 LOG SEQUENCE: NEW FIN RELEASE CODE OK REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> t4 caseType K closeCode B speciality F isClosed 0.0 200. distance 10.25 encoding time: 1.02 solving time: 11.45 LOG SEQUENCE: NEW FIN EMPTY FIN REJECT REOPEN REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> t4 >> caseType A closeCode B speciality F isClosed 0.0 201. distance 12.09 encoding time: 1.00 solving time: 27.15 LOG SEQUENCE: NEW CHANGE END EMPTY FIN EMPTY MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 202. distance 9.26 encoding time: 0.98 solving time: 3.85 LOG SEQUENCE: NEW FIN RELEASE FIN RELEASE EMPTY DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 caseType H closeCode B speciality B isClosed 0.0 203. distance 10.66 encoding time: 0.93 solving time: 4.81 LOG SEQUENCE: NEW FIN REJECT CHANGE END STORNO MANUAL REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 204. distance 12.34 encoding time: 0.97 solving time: 5.51 LOG SEQUENCE: NEW FIN RELEASE MANUAL BILLED MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType H closeCode B speciality B isClosed 0.0 205. distance 10.81 encoding time: 0.97 solving time: 11.71 LOG SEQUENCE: NEW FIN CHANGE END MANUAL FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 206. distance 10.49 encoding time: 0.96 solving time: 17.05 LOG SEQUENCE: NEW FIN CHANGE END MANUAL EMPTY EMPTY BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 207. distance 8.39 encoding time: 0.98 solving time: 4.16 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t4 >> >> >> caseType C closeCode B speciality B isClosed 0.0 208. distance 9.02 encoding time: 0.99 solving time: 13.59 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN ZDBC_BEHAN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> >> t4 caseType K closeCode B speciality B isClosed 0.0 209. distance 9.04 encoding time: 0.98 solving time: 6.20 LOG SEQUENCE: NEW FIN REOPEN FIN RELEASE CHANGE END EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> >> t25 caseType C closeCode B speciality F isClosed 0.0 210. distance 8.81 encoding time: 1.00 solving time: 7.01 LOG SEQUENCE: NEW CHANGE END REOPEN FIN RELEASE CODE OK REOPEN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE END >> >> t4 caseType H closeCode B speciality B isClosed 0.0 211. distance 8.37 encoding time: 1.00 solving time: 6.42 LOG SEQUENCE: NEW FIN REOPEN FIN REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 t4 >> t25 caseType K closeCode B speciality F isClosed 0.0 212. distance 9.38 encoding time: 0.92 solving time: 3.11 LOG SEQUENCE: NEW CHANGE END MANUAL CHANGE END FIN REJECT REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 213. distance 10.29 encoding time: 0.92 solving time: 2.18 LOG SEQUENCE: NEW NEW NEW FIN RELEASE CODE NOK CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 214. distance 9.76 encoding time: 0.99 solving time: 5.40 LOG SEQUENCE: NEW NEW NEW FIN RELEASE REJECT DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 caseType K closeCode B speciality K isClosed 0.0 215. distance 8.96 encoding time: 0.94 solving time: 4.85 LOG SEQUENCE: NEW NEW NEW CHANGE END RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 216. distance 10.0 encoding time: 0.93 solving time: 4.22 LOG SEQUENCE: NEW NEW NEW NEW NEW NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW >> >> >> t1 caseType H closeCode B speciality K isClosed 0.0 217. distance 10.36 encoding time: 0.85 solving time: 1.94 LOG SEQUENCE: NEW NEW NEW NEW NEW NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 218. distance 11.55 encoding time: 1.11 solving time: 33.38 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN CHANGE DIAGN FIN RELEASE ZDBC_BEHAN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 219. (solver timeout) encoding time: 1.24 solving time: 60.00 220. distance 11.77 encoding time: 1.13 solving time: 21.64 LOG SEQUENCE: NEW EMPTY CHANGE DIAGN FIN FIN EMPTY STORNO JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 221. distance 12.01 encoding time: 1.11 solving time: 13.54 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN RELEASE CODE NOK REJECT REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 222. distance 12.63 encoding time: 1.12 solving time: 26.48 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN REJECT EMPTY CODE OK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 223. distance 11.84 encoding time: 1.11 solving time: 20.93 LOG SEQUENCE: NEW CHANGE DIAGN EMPTY FIN RELEASE CHANGE END BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN >> >> caseType B closeCode B speciality K isClosed 0.0 224. distance 10.4 encoding time: 1.11 solving time: 41.06 LOG SEQUENCE: NEW ZDBC_BEHAN CHANGE DIAGN CHANGE END RELEASE ZDBC_BEHAN REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 225. distance 8.42 encoding time: 1.15 solving time: 19.47 LOG SEQUENCE: NEW CHANGE DIAGN REJECT FIN RELEASE CODE OK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> >> CHANGE DIAGN t10 caseType B closeCode B speciality B isClosed 0.0 226. (solver timeout) encoding time: 1.11 solving time: 60.00 227. (solver timeout) encoding time: 1.17 solving time: 60.00 228. distance 9.91 encoding time: 1.10 solving time: 10.11 LOG SEQUENCE: NEW CHANGE DIAGN FIN CHANGE END JOIN-PAT CODE NOK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 229. distance 8.43 encoding time: 1.14 solving time: 9.92 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END RELEASE CODE NOK CODE NOK SET STATUS DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> CHANGE END caseType B closeCode B speciality B isClosed 0.0 230. distance 10.76 encoding time: 1.14 solving time: 9.85 LOG SEQUENCE: NEW CHANGE DIAGN FIN ZDBC_BEHAN JOIN-PAT CHANGE END BILLED REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN >> >> caseType B closeCode B speciality K isClosed 0.0 231. distance 8.92 encoding time: 1.16 solving time: 16.58 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK REOPEN CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> t25 >> t10 caseType B closeCode B speciality F isClosed 0.0 232. distance 11.41 encoding time: 1.26 solving time: 29.23 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE REJECT STORNO CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> CHANGE DIAGN CHANGE END caseType B closeCode B speciality B isClosed 0.0 233. distance 9.68 encoding time: 1.14 solving time: 9.41 LOG SEQUENCE: NEW CHANGE DIAGN FIN ZDBC_BEHAN ZDBC_BEHAN REOPEN FIN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN >> >> caseType B closeCode B speciality F isClosed 0.0 234. distance 10.53 encoding time: 1.12 solving time: 21.18 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK CHANGE END SET STATUS EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN >> >> caseType B closeCode B speciality K isClosed 0.0 235. distance 15.84 encoding time: 1.14 solving time: 0.41 LOG SEQUENCE: NEW >> >> CHANGE DIAGN FIN RELEASE CODE OK BILLED CODE OK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> >> >> >> >> caseType B closeCode B speciality B isClosed 0.0 236. distance 12.42 encoding time: 1.14 solving time: 13.90 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE ZDBC_BEHAN BILLED REJECT MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 237. distance 9.37 encoding time: 1.07 solving time: 10.09 LOG SEQUENCE: NEW CHANGE DIAGN FIN CHANGE END CODE OK BILLED MANUAL CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 238. distance 12.2 encoding time: 1.15 solving time: 15.09 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE ZDBC_BEHAN ZDBC_BEHAN MANUAL EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 239. distance 12.64 encoding time: 1.19 solving time: 52.71 LOG SEQUENCE: NEW CHANGE END FIN EMPTY CODE OK REJECT STORNO ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 240. distance 12.66 encoding time: 1.18 solving time: 17.56 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE ZDBC_BEHAN REJECT STORNO REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 241. distance 12.6 encoding time: 1.14 solving time: 20.79 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK CHANGE END STORNO REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN >> >> caseType B closeCode B speciality K isClosed 0.0 242. distance 10.27 encoding time: 1.15 solving time: 13.73 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK MANUAL CHANGE END BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> CHANGE DIAGN >> caseType B closeCode B speciality K isClosed 0.0 243. distance 11.81 encoding time: 1.07 solving time: 7.97 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK MANUAL ZDBC_BEHAN CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 244. distance 9.61 encoding time: 1.11 solving time: 3.70 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE REJECT RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> >> caseType B closeCode B speciality B isClosed 0.0 245. distance 8.25 encoding time: 1.13 solving time: 10.87 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK REOPEN CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN >> t10 caseType B closeCode B speciality B isClosed 0.0 246. distance 9.01 encoding time: 1.14 solving time: 14.33 LOG SEQUENCE: NEW CHANGE DIAGN FIN ZDBC_BEHAN ZDBC_BEHAN REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> t25 >> t10 caseType B closeCode B speciality B isClosed 0.0 247. distance 9.44 encoding time: 1.25 solving time: 15.84 LOG SEQUENCE: NEW CHANGE DIAGN FIN REJECT EMPTY REJECT REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> CHANGE DIAGN t10 caseType B closeCode B speciality F isClosed 0.0 248. distance 10.22 encoding time: 1.11 solving time: 9.35 LOG SEQUENCE: NEW CHANGE DIAGN FIN CHANGE END CODE OK SET STATUS REJECT ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 249. distance 9.71 encoding time: 1.12 solving time: 13.52 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END RELEASE REOPEN FIN RELEASE REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 250. distance 10.05 encoding time: 1.17 solving time: 27.42 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CHANGE END RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE DIAGN >> >> >> caseType B closeCode B speciality K isClosed 0.0 251. distance 9.1 encoding time: 1.15 solving time: 19.23 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN FIN EMPTY REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN t25 >> t10 >> >> caseType B closeCode B speciality F isClosed 0.0 252. distance 8.46 encoding time: 1.13 solving time: 14.56 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN FIN ZDBC_BEHAN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 CHANGE DIAGN >> >> >> t10 caseType B closeCode B speciality B isClosed 0.0 253. distance 8.8 encoding time: 1.17 solving time: 35.93 LOG SEQUENCE: NEW CHANGE END FIN REJECT FIN REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE END t4 >> t10 caseType K closeCode B speciality B isClosed 0.0 254. distance 9.7 encoding time: 1.16 solving time: 22.09 LOG SEQUENCE: NEW CHANGE DIAGN FIN SET STATUS EMPTY REOPEN CHANGE END ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> CHANGE DIAGN >> caseType B closeCode B speciality K isClosed 0.0 255. distance 11.24 encoding time: 1.15 solving time: 17.37 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END SET STATUS RELEASE REOPEN FIN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 256. distance 12.44 encoding time: 1.18 solving time: 27.94 LOG SEQUENCE: NEW FIN FIN RELEASE CHANGE END RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> >> caseType H closeCode B speciality K isClosed 0.0 257. distance 11.44 encoding time: 1.11 solving time: 16.77 LOG SEQUENCE: NEW FIN RELEASE BILLED CHANGE END EMPTY MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 258. distance 10.12 encoding time: 1.16 solving time: 11.19 LOG SEQUENCE: NEW FIN ZDBC_BEHAN BILLED STORNO EMPTY REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> t25 t4 caseType H closeCode B speciality F isClosed 0.0 259. distance 11.7 encoding time: 1.11 solving time: 10.01 LOG SEQUENCE: NEW FIN EMPTY CODE ERROR BILLED REJECT CHANGE END ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 >> caseType K closeCode B speciality K isClosed 0.0 260. distance 12.36 encoding time: 1.26 solving time: 16.35 LOG SEQUENCE: NEW FIN RELEASE CHANGE END BILLED STORNO EMPTY BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 261. distance 10.78 encoding time: 1.14 solving time: 6.59 LOG SEQUENCE: NEW FIN RELEASE CODE NOK EMPTY STORNO EMPTY SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 262. distance 9.96 encoding time: 1.13 solving time: 5.05 LOG SEQUENCE: NEW CHANGE END CHANGE END CODE NOK CODE NOK CODE NOK CODE NOK SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 263. distance 11.56 encoding time: 1.17 solving time: 10.82 LOG SEQUENCE: NEW FIN RELEASE ZDBC_BEHAN CHANGE END EMPTY STORNO EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 264. distance 13.61 encoding time: 1.15 solving time: 21.16 LOG SEQUENCE: >> CHANGE END FIN ZDBC_BEHAN CODE NOK FIN RELEASE CODE NOK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 265. distance 11.03 encoding time: 1.17 solving time: 21.87 LOG SEQUENCE: NEW FIN ZDBC_BEHAN EMPTY REOPEN FIN EMPTY EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> >> t4 caseType K closeCode B speciality B isClosed 0.0 266. distance 10.94 encoding time: 1.15 solving time: 8.94 LOG SEQUENCE: NEW FIN CHANGE END ZDBC_BEHAN BILLED CODE OK CODE OK ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 267. distance 13.8 encoding time: 1.14 solving time: 16.31 LOG SEQUENCE: NEW FIN ZDBC_BEHAN CODE OK BILLED REJECT MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 268. distance 12.43 encoding time: 1.08 solving time: 25.37 LOG SEQUENCE: NEW FIN EMPTY CHANGE END CHANGE END MANUAL EMPTY MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> >> caseType C closeCode B speciality K isClosed 0.0 269. distance 9.46 encoding time: 1.17 solving time: 11.48 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED MANUAL REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> t25 t4 caseType H closeCode B speciality B isClosed 0.0 270. distance 10.92 encoding time: 1.15 solving time: 6.86 LOG SEQUENCE: NEW FIN RELEASE CODE OK EMPTY STORNO CHANGE END EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 >> caseType K closeCode B speciality K isClosed 0.0 271. distance 12.55 encoding time: 1.18 solving time: 10.11 LOG SEQUENCE: NEW FIN CHANGE END CODE OK BILLED STORNO REJECT CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 272. distance 13.55 encoding time: 1.15 solving time: 29.36 LOG SEQUENCE: NEW FIN EMPTY CODE OK EMPTY CHANGE END CHANGE END CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 >> caseType K closeCode B speciality K isClosed 0.0 273. distance 14.26 encoding time: 1.19 solving time: 17.72 LOG SEQUENCE: NEW FIN JOIN-PAT ZDBC_BEHAN BILLED EMPTY REJECT SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 274. distance 11.28 encoding time: 1.14 solving time: 5.43 LOG SEQUENCE: NEW FIN REJECT CODE OK CODE NOK ZDBC_BEHAN CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 275. distance 11.42 encoding time: 1.24 solving time: 9.73 LOG SEQUENCE: NEW FIN JOIN-PAT CHANGE END CODE OK ZDBC_BEHAN EMPTY BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 276. distance 13.58 encoding time: 1.14 solving time: 8.83 LOG SEQUENCE: NEW FIN RELEASE CODE OK MANUAL RELEASE CODE OK >> EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> >> >> >> >> NEW >> caseType H closeCode B speciality K isClosed 0.0 277. distance 12.45 encoding time: 1.12 solving time: 16.66 LOG SEQUENCE: NEW FIN RELEASE CODE OK CHANGE END EMPTY ZDBC_BEHAN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> t4 caseType C closeCode B speciality K isClosed 0.0 278. distance 10.46 encoding time: 1.14 solving time: 7.13 LOG SEQUENCE: NEW FIN RELEASE EMPTY RELEASE CODE OK BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 279. distance 11.95 encoding time: 1.19 solving time: 31.95 LOG SEQUENCE: NEW FIN EMPTY CODE OK REOPEN FIN ZDBC_BEHAN REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t4 >> >> >> caseType H closeCode B speciality B isClosed 0.0 280. distance 13.71 encoding time: 1.16 solving time: 0.45 LOG SEQUENCE: NEW FIN CHANGE END CODE OK ZDBC_BEHAN FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 281. distance 12.95 encoding time: 1.16 solving time: 35.43 LOG SEQUENCE: NEW FIN EMPTY CHANGE END RELEASE CODE NOK CODE NOK ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 282. distance 10.06 encoding time: 1.17 solving time: 28.47 LOG SEQUENCE: NEW FIN RELEASE FIN ZDBC_BEHAN CODE NOK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> t25 t4 caseType H closeCode B speciality B isClosed 0.0 283. distance 10.77 encoding time: 1.14 solving time: 20.94 LOG SEQUENCE: NEW FIN CHANGE END FIN RELEASE FIN EMPTY BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 284. distance 12.57 encoding time: 1.15 solving time: 14.32 LOG SEQUENCE: NEW CHANGE END ZDBC_BEHAN MANUAL BILLED EMPTY EMPTY BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType C closeCode B speciality K isClosed 0.0 285. distance 11.31 encoding time: 1.15 solving time: 24.89 LOG SEQUENCE: NEW FIN RELEASE ZDBC_BEHAN REOPEN FIN JOIN-PAT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t4 >> >> >> caseType K closeCode B speciality F isClosed 0.0 286. distance 11.87 encoding time: 1.16 solving time: 17.29 LOG SEQUENCE: NEW FIN ZDBC_BEHAN RELEASE CHANGE END SET STATUS ZDBC_BEHAN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> CHANGE END caseType H closeCode B speciality F isClosed 0.0 287. distance 10.14 encoding time: 1.14 solving time: 12.83 LOG SEQUENCE: NEW FIN RELEASE CHANGE END FIN RELEASE CHANGE END BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 >> caseType H closeCode B speciality K isClosed 0.0 288. distance 10.41 encoding time: 1.22 solving time: 22.06 LOG SEQUENCE: NEW FIN CHANGE END REOPEN FIN RELEASE EMPTY ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t4 >> >> t25 >> caseType K closeCode B speciality B isClosed 0.0 289. distance 10.43 encoding time: 1.15 solving time: 13.25 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN RELEASE CODE OK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> >> >> t4 caseType H closeCode B speciality F isClosed 0.0 290. distance 9.32 encoding time: 1.16 solving time: 15.23 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN RELEASE EMPTY DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> >> >> t4 caseType C closeCode B speciality B isClosed 0.0 291. distance 9.53 encoding time: 1.17 solving time: 27.85 LOG SEQUENCE: NEW FIN CHANGE END EMPTY FIN REJECT REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> CHANGE END >> t4 t10 caseType K closeCode B speciality F isClosed 0.0 292. distance 11.04 encoding time: 1.17 solving time: 24.34 LOG SEQUENCE: NEW FIN ZDBC_BEHAN REOPEN FIN RELEASE REJECT EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t4 >> >> >> t25 caseType H closeCode B speciality F isClosed 0.0 293. distance 13.26 encoding time: 1.11 solving time: 13.50 LOG SEQUENCE: NEW FIN REOPEN CHANGE DIAGN FIN RELEASE ZDBC_BEHAN ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> >> >> >> caseType K closeCode B speciality F isClosed 0.0 294. distance 11.68 encoding time: 1.16 solving time: 27.48 LOG SEQUENCE: NEW FIN EMPTY FIN CHANGE END CHANGE END CODE OK CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> t1 caseType F closeCode B speciality K isClosed 0.0 295. distance 9.95 encoding time: 1.03 solving time: 10.03 LOG SEQUENCE: NEW NEW JOIN-PAT JOIN-PAT JOIN-PAT CHANGE END DELETE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW >> >> >> t1 CHANGE END >> caseType K closeCode B speciality K isClosed 0.0 296. distance 10.82 encoding time: 1.05 solving time: 8.06 LOG SEQUENCE: NEW NEW NEW NEW FIN RELEASE CHANGE END CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> NEW >> >> t1 >> caseType H closeCode B speciality K isClosed 0.0 297. distance 10.52 encoding time: 0.99 solving time: 3.01 LOG SEQUENCE: NEW NEW NEW NEW NEW NEW NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> >> NEW >> >> t1 caseType K closeCode B speciality B isClosed 0.0 298. (solver timeout) encoding time: 1.23 solving time: 60.00 299. distance 11.77 encoding time: 1.29 solving time: 38.73 LOG SEQUENCE: NEW CHANGE DIAGN REJECT EMPTY FIN RELEASE CODE NOK EMPTY BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 300. distance 10.66 encoding time: 1.21 solving time: 22.47 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN CHANGE DIAGN FIN RELEASE CODE OK EMPTY CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> t25 >> >> >> >> caseType B closeCode B speciality F isClosed 0.0 301. (solver timeout) encoding time: 1.40 solving time: 60.00 302. distance 12.56 encoding time: 1.30 solving time: 22.87 LOG SEQUENCE: NEW CHANGE DIAGN ZDBC_BEHAN FIN RELEASE CODE NOK ZDBC_BEHAN ZDBC_BEHAN REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 303. distance 11.86 encoding time: 1.28 solving time: 26.95 LOG SEQUENCE: NEW CHANGE DIAGN EMPTY FIN CHANGE END CODE NOK CODE OK ZDBC_BEHAN ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 304. distance 10.83 encoding time: 1.21 solving time: 9.47 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN RELEASE CODE OK BILLED MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 305. distance 10.93 encoding time: 1.27 solving time: 11.00 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN REJECT ZDBC_BEHAN BILLED STORNO EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 306. distance 12.16 encoding time: 1.26 solving time: 37.08 LOG SEQUENCE: NEW ZDBC_BEHAN CHANGE DIAGN FIN EMPTY CODE OK EMPTY EMPTY REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 t25 >> >> >> >> >> caseType B closeCode B speciality F isClosed 0.0 307. distance 10.92 encoding time: 1.21 solving time: 9.72 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN ZDBC_BEHAN CODE OK MANUAL CODE OK CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 308. (solver timeout) encoding time: 1.29 solving time: 60.00 309. (solver timeout) encoding time: 1.32 solving time: 60.00 310. distance 12.98 encoding time: 1.32 solving time: 44.71 LOG SEQUENCE: NEW EMPTY CHANGE DIAGN FIN SET STATUS SET STATUS REOPEN FIN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 CHANGE DIAGN >> >> t25 >> >> caseType B closeCode B speciality B isClosed 0.0 311. (solver timeout) encoding time: 1.25 solving time: 60.00 312. distance 11.87 encoding time: 1.33 solving time: 45.66 LOG SEQUENCE: NEW CHANGE DIAGN CODE OK FIN RELEASE CODE OK EMPTY STORNO JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 313. distance 10.91 encoding time: 1.42 solving time: 26.85 LOG SEQUENCE: NEW CHANGE DIAGN FIN REJECT REOPEN FIN CHANGE END CODE OK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> t25 >> >> >> t10 caseType B closeCode B speciality B isClosed 0.0 314. distance 13.43 encoding time: 1.36 solving time: 28.03 LOG SEQUENCE: NEW CHANGE DIAGN FIN FIN RELEASE CODE OK ZDBC_BEHAN STORNO EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 315. distance 14.59 encoding time: 1.35 solving time: 17.52 LOG SEQUENCE: NEW CHANGE DIAGN FIN ZDBC_BEHAN REJECT BILLED EMPTY ZDBC_BEHAN CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 316. distance 12.03 encoding time: 1.34 solving time: 55.73 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END EMPTY ZDBC_BEHAN EMPTY JOIN-PAT EMPTY BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 317. distance 13.4 encoding time: 1.35 solving time: 17.44 LOG SEQUENCE: NEW CHANGE DIAGN FIN REJECT ZDBC_BEHAN CODE OK REJECT STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 318. distance 13.15 encoding time: 1.30 solving time: 19.43 LOG SEQUENCE: NEW CHANGE DIAGN FIN ZDBC_BEHAN ZDBC_BEHAN ZDBC_BEHAN MANUAL ZDBC_BEHAN ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 319. distance 12.21 encoding time: 1.27 solving time: 41.29 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CHANGE END BILLED MANUAL EMPTY EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 320. distance 14.24 encoding time: 1.29 solving time: 45.58 LOG SEQUENCE: NEW CHANGE DIAGN FIN CHANGE END CHANGE END CHANGE END ZDBC_BEHAN JOIN-PAT CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN >> >> >> caseType B closeCode B speciality K isClosed 0.0 321. distance 12.84 encoding time: 1.30 solving time: 19.43 LOG SEQUENCE: NEW CHANGE DIAGN FIN ZDBC_BEHAN CODE OK JOIN-PAT ZDBC_BEHAN EMPTY EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 322. distance 9.72 encoding time: 1.33 solving time: 21.59 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE ZDBC_BEHAN BILLED EMPTY REJECT DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> t25 caseType B closeCode B speciality K isClosed 0.0 323. (solver timeout) encoding time: 1.32 solving time: 60.00 324. distance 12.35 encoding time: 1.31 solving time: 34.90 LOG SEQUENCE: NEW CHANGE END FIN RELEASE CODE OK BILLED CHANGE END REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> >> >> CHANGE END t10 caseType H closeCode B speciality B isClosed 0.0 325. (solver timeout) encoding time: 1.31 solving time: 60.00 326. (solver timeout) encoding time: 1.26 solving time: 60.00 327. distance 9.28 encoding time: 1.30 solving time: 14.42 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK EMPTY ZDBC_BEHAN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> >> CHANGE DIAGN t10 caseType B closeCode B speciality B isClosed 0.0 328. distance 11.63 encoding time: 1.28 solving time: 20.03 LOG SEQUENCE: NEW CHANGE DIAGN FIN ZDBC_BEHAN CODE OK REOPEN FIN ZDBC_BEHAN ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> t25 >> >> >> caseType B closeCode B speciality F isClosed 0.0 329. distance 9.71 encoding time: 1.33 solving time: 29.37 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK REOPEN FIN CHANGE END EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN >> >> t10 caseType B closeCode B speciality F isClosed 0.0 330. distance 10.33 encoding time: 1.33 solving time: 41.04 LOG SEQUENCE: NEW CHANGE DIAGN FIN EMPTY EMPTY ZDBC_BEHAN FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> >> CHANGE DIAGN t10 caseType B closeCode B speciality B isClosed 0.0 331. (solver timeout) encoding time: 1.30 solving time: 60.00 332. (solver timeout) encoding time: 1.27 solving time: 60.00 333. distance 9.52 encoding time: 1.29 solving time: 37.74 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN FIN EMPTY CHANGE END CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 CHANGE DIAGN >> t10 >> >> >> caseType B closeCode B speciality F isClosed 0.0 334. distance 10.0 encoding time: 1.33 solving time: 43.53 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN FIN EMPTY CHANGE END ZDBC_BEHAN EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN t25 >> >> >> >> t10 caseType B closeCode B speciality B isClosed 0.0 335. distance 9.18 encoding time: 1.30 solving time: 16.83 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN EMPTY RELEASE CODE OK BILLED ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 CHANGE DIAGN t10 >> >> >> >> caseType B closeCode B speciality B isClosed 0.0 336. distance 9.51 encoding time: 1.31 solving time: 20.82 LOG SEQUENCE: NEW CHANGE DIAGN FIN EMPTY FIN RELEASE CHANGE END REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> t25 t10 caseType B closeCode B speciality B isClosed 0.0 337. distance 11.63 encoding time: 1.28 solving time: 4.95 LOG SEQUENCE: NEW FIN ZDBC_BEHAN RELEASE CODE OK MANUAL RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 338. distance 13.99 encoding time: 1.22 solving time: 18.26 LOG SEQUENCE: NEW FIN ZDBC_BEHAN CHANGE END MANUAL CHANGE END MANUAL MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 339. distance 15.02 encoding time: 1.34 solving time: 34.41 LOG SEQUENCE: NEW FIN ZDBC_BEHAN EMPTY STORNO EMPTY STORNO MANUAL EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 340. distance 12.81 encoding time: 1.26 solving time: 37.69 LOG SEQUENCE: NEW FIN ZDBC_BEHAN EMPTY EMPTY REJECT BILLED CHANGE END MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> t1 >> caseType H closeCode B speciality K isClosed 0.0 341. distance 12.43 encoding time: 1.35 solving time: 24.97 LOG SEQUENCE: NEW FIN RELEASE ZDBC_BEHAN STORNO REJECT FIN RELEASE CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> t1 caseType H closeCode B speciality K isClosed 0.0 342. distance 13.66 encoding time: 1.34 solving time: 28.45 LOG SEQUENCE: NEW FIN RELEASE ZDBC_BEHAN ZDBC_BEHAN ZDBC_BEHAN FIN RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> t1 caseType K closeCode B speciality K isClosed 0.0 343. distance 10.24 encoding time: 1.34 solving time: 19.55 LOG SEQUENCE: NEW FIN CHANGE END BILLED ZDBC_BEHAN SET STATUS SET STATUS REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> t4 t25 caseType C closeCode B speciality B isClosed 0.0 344. distance 14.88 encoding time: 1.30 solving time: 32.03 LOG SEQUENCE: NEW CHANGE END RELEASE CODE ERROR CODE OK EMPTY EMPTY CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 345. distance 13.71 encoding time: 1.36 solving time: 28.14 LOG SEQUENCE: >> NEW FIN RELEASE JOIN-PAT ZDBC_BEHAN STORNO REJECT RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> t1 caseType K closeCode B speciality K isClosed 0.0 346. distance 10.05 encoding time: 1.34 solving time: 8.64 LOG SEQUENCE: NEW FIN RELEASE JOIN-PAT BILLED STORNO EMPTY REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> t4 t25 caseType H closeCode B speciality F isClosed 0.0 347. distance 13.79 encoding time: 1.32 solving time: 16.24 LOG SEQUENCE: NEW FIN ZDBC_BEHAN CODE NOK CHANGE END ZDBC_BEHAN STORNO REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 348. distance 10.67 encoding time: 1.33 solving time: 13.66 LOG SEQUENCE: NEW FIN ZDBC_BEHAN CODE NOK CODE NOK REOPEN ZDBC_BEHAN FIN EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 >> >> t25 caseType H closeCode B speciality B isClosed 0.0 349. distance 11.76 encoding time: 1.31 solving time: 9.22 LOG SEQUENCE: NEW FIN RELEASE CODE NOK ZDBC_BEHAN BILLED STORNO REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 350. (solver timeout) encoding time: 1.42 solving time: 60.00 351. distance 11.18 encoding time: 1.33 solving time: 55.39 LOG SEQUENCE: NEW FIN ZDBC_BEHAN CODE NOK REOPEN EMPTY CHANGE END CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t4 t25 >> >> >> caseType H closeCode B speciality F isClosed 0.0 352. distance 11.04 encoding time: 1.34 solving time: 34.34 LOG SEQUENCE: NEW FIN CHANGE END EMPTY REOPEN FIN RELEASE ZDBC_BEHAN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> >> >> t4 caseType H closeCode B speciality B isClosed 0.0 353. distance 12.64 encoding time: 1.33 solving time: 28.03 LOG SEQUENCE: >> NEW FIN ZDBC_BEHAN CODE NOK REOPEN FIN ZDBC_BEHAN EMPTY EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> t4 >> >> >> t25 caseType K closeCode B speciality B isClosed 0.0 354. distance 11.89 encoding time: 1.34 solving time: 35.19 LOG SEQUENCE: >> CHANGE END FIN RELEASE CODE NOK REOPEN FIN EMPTY CODE OK JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE END >> >> t4 >> t10 >> >> caseType H closeCode B speciality B isClosed 0.0 355. distance 12.19 encoding time: 1.32 solving time: 10.54 LOG SEQUENCE: NEW FIN RELEASE EMPTY BILLED STORNO ZDBC_BEHAN ZDBC_BEHAN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 356. distance 12.93 encoding time: 1.35 solving time: 33.10 LOG SEQUENCE: NEW FIN RELEASE CHANGE END CHANGE END ZDBC_BEHAN REJECT BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 357. distance 11.56 encoding time: 1.33 solving time: 9.88 LOG SEQUENCE: NEW FIN CHANGE END CODE OK BILLED ZDBC_BEHAN REJECT ZDBC_BEHAN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 358. distance 13.66 encoding time: 1.32 solving time: 13.56 LOG SEQUENCE: NEW FIN ZDBC_BEHAN CODE OK BILLED STORNO CHANGE END RELEASE EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 >> >> caseType K closeCode B speciality K isClosed 0.0 359. distance 10.84 encoding time: 1.34 solving time: 39.27 LOG SEQUENCE: NEW FIN EMPTY CODE OK BILLED STORNO REJECT REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> t4 t25 caseType K closeCode B speciality F isClosed 0.0 360. distance 13.14 encoding time: 1.34 solving time: 37.45 LOG SEQUENCE: NEW FIN RELEASE ZDBC_BEHAN EMPTY STORNO REJECT ZDBC_BEHAN CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> t1 caseType K closeCode B speciality K isClosed 0.0 361. distance 12.68 encoding time: 1.33 solving time: 15.43 LOG SEQUENCE: NEW FIN RELEASE ZDBC_BEHAN BILLED STORNO EMPTY SET STATUS EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 362. distance 13.16 encoding time: 1.40 solving time: 18.22 LOG SEQUENCE: NEW FIN CHANGE END EMPTY CODE OK ZDBC_BEHAN ZDBC_BEHAN REJECT CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 363. (solver timeout) encoding time: 1.33 solving time: 60.00 364. distance 12.78 encoding time: 1.33 solving time: 10.66 LOG SEQUENCE: NEW FIN EMPTY CODE OK CODE OK >> EMPTY ZDBC_BEHAN CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 t25 >> >> >> caseType H closeCode B speciality B isClosed 0.0 365. distance 11.05 encoding time: 1.29 solving time: 24.56 LOG SEQUENCE: NEW FIN JOIN-PAT ZDBC_BEHAN MANUAL CHANGE END CODE OK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> t25 t4 caseType H closeCode B speciality B isClosed 0.0 366. distance 13.39 encoding time: 1.33 solving time: 20.53 LOG SEQUENCE: >> CHANGE END FIN RELEASE CODE OK RELEASE CODE OK CHANGE END STORNO EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 367. distance 12.03 encoding time: 1.32 solving time: 21.99 LOG SEQUENCE: NEW FIN CHANGE END ZDBC_BEHAN RELEASE CODE OK RELEASE EMPTY BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 368. distance 10.01 encoding time: 1.32 solving time: 10.48 LOG SEQUENCE: NEW FIN RELEASE CODE OK REOPEN FIN JOIN-PAT CODE OK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> >> >> t4 caseType K closeCode B speciality F isClosed 0.0 369. distance 10.84 encoding time: 1.34 solving time: 44.80 LOG SEQUENCE: NEW FIN EMPTY EMPTY REOPEN EMPTY RELEASE CODE OK CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 t4 >> >> >> caseType H closeCode B speciality F isClosed 0.0 370. distance 11.55 encoding time: 1.34 solving time: 43.40 LOG SEQUENCE: NEW FIN JOIN-PAT CHANGE END REOPEN FIN ZDBC_BEHAN CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t4 >> >> >> t25 caseType K closeCode B speciality B isClosed 0.0 371. distance 12.02 encoding time: 1.28 solving time: 19.18 LOG SEQUENCE: NEW FIN ZDBC_BEHAN FIN CHANGE END BILLED ZDBC_BEHAN MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 372. distance 11.84 encoding time: 1.32 solving time: 19.26 LOG SEQUENCE: NEW FIN RELEASE CHANGE END RELEASE FIN RELEASE CODE OK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 373. distance 12.83 encoding time: 1.25 solving time: 53.59 LOG SEQUENCE: NEW FIN RELEASE EMPTY EMPTY EMPTY EMPTY MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 374. (solver timeout) encoding time: 1.39 solving time: 60.00 375. distance 11.58 encoding time: 1.34 solving time: 54.92 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN EMPTY CHANGE END ZDBC_BEHAN CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t4 >> t25 >> >> >> caseType K closeCode B speciality B isClosed 0.0 376. distance 10.49 encoding time: 1.34 solving time: 37.47 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN RELEASE FIN RELEASE ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> >> >> >> >> caseType H closeCode B speciality F isClosed 0.0 377. distance 10.41 encoding time: 1.33 solving time: 28.59 LOG SEQUENCE: NEW FIN RELEASE ZDBC_BEHAN SET STATUS REOPEN FIN CHANGE END EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 >> >> t25 caseType C closeCode B speciality F isClosed 0.0 378. distance 13.51 encoding time: 1.32 solving time: 30.34 LOG SEQUENCE: NEW FIN REOPEN FIN ZDBC_BEHAN ZDBC_BEHAN CODE NOK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> >> >> >> >> caseType K closeCode B speciality B isClosed 0.0 379. distance 10.96 encoding time: 1.33 solving time: 20.83 LOG SEQUENCE: NEW FIN REOPEN FIN RELEASE CODE OK BILLED STORNO ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> >> >> >> caseType C closeCode B speciality B isClosed 0.0 380. (solver timeout) encoding time: 1.32 solving time: 60.00 381. (solver timeout) encoding time: 1.33 solving time: 60.00 382. distance 10.87 encoding time: 1.29 solving time: 25.34 LOG SEQUENCE: NEW NEW NEW NEW FIN RELEASE CODE NOK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW >> t1 >> >> t4 t25 caseType K closeCode B speciality B isClosed 0.0 383. distance 10.63 encoding time: 1.11 solving time: 3.60 LOG SEQUENCE: NEW NEW NEW NEW NEW NEW NEW NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> >> >> >> >> NEW t1 caseType H closeCode B speciality B isClosed 0.0 384. distance 12.66 encoding time: 1.07 solving time: 3.79 LOG SEQUENCE: NEW NEW NEW CHANGE END NEW NEW NEW NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW t1 >> >> >> >> >> caseType C closeCode B speciality K isClosed 0.0 385. (solver timeout) encoding time: 1.31 solving time: 60.00 386. (solver timeout) encoding time: 1.52 solving time: 60.00 387. (solver timeout) encoding time: 1.41 solving time: 60.00 388. distance 11.72 encoding time: 1.34 solving time: 15.53 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN RELEASE ZDBC_BEHAN BILLED MANUAL ZDBC_BEHAN CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 389. (solver timeout) encoding time: 1.48 solving time: 60.00 390. distance 11.79 encoding time: 1.40 solving time: 42.95 LOG SEQUENCE: NEW CHANGE DIAGN ZDBC_BEHAN FIN RELEASE CODE OK CHANGE END ZDBC_BEHAN EMPTY BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> CHANGE DIAGN >> >> >> caseType B closeCode B speciality K isClosed 0.0 391. (solver timeout) encoding time: 1.48 solving time: 60.00 392. distance 10.54 encoding time: 1.42 solving time: 54.69 LOG SEQUENCE: NEW CHANGE END CHANGE DIAGN FIN REOPEN ZDBC_BEHAN FIN EMPTY CODE OK ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE END CHANGE DIAGN t10 >> >> FIN >> >> caseType B closeCode B A speciality B isClosed 0.0 393. (solver timeout) encoding time: 1.45 solving time: 60.00 394. (solver timeout) encoding time: 1.47 solving time: 60.00 395. (solver timeout) encoding time: 1.52 solving time: 60.00 396. (solver timeout) encoding time: 1.48 solving time: 60.00 397. distance 12.74 encoding time: 1.51 solving time: 59.56 LOG SEQUENCE: NEW CHANGE DIAGN FIN JOIN-PAT CODE NOK CHANGE END EMPTY MANUAL CODE OK MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 398. (solver timeout) encoding time: 1.52 solving time: 60.00 399. distance 10.05 encoding time: 1.51 solving time: 50.24 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK REOPEN FIN EMPTY EMPTY SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN >> >> t10 >> caseType B closeCode B speciality B isClosed 0.0 400. (solver timeout) encoding time: 1.49 solving time: 60.00 401. distance 12.08 encoding time: 1.47 solving time: 10.79 LOG SEQUENCE: NEW CHANGE DIAGN FIN EMPTY CODE OK BILLED STORNO BILLED STORNO ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 402. distance 11.44 encoding time: 1.46 solving time: 34.75 LOG SEQUENCE: NEW CHANGE DIAGN FIN ZDBC_BEHAN CHANGE END ZDBC_BEHAN STORNO REJECT ZDBC_BEHAN CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE DIAGN >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 403. distance 14.0 encoding time: 1.51 solving time: 39.54 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE EMPTY EMPTY STORNO REJECT RELEASE SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 404. distance 9.95 encoding time: 1.48 solving time: 13.78 LOG SEQUENCE: NEW CHANGE DIAGN FIN ZDBC_BEHAN CODE OK CHANGE END STORNO REJECT REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> >> >> CHANGE DIAGN t10 caseType B closeCode B speciality B isClosed 0.0 405. distance 11.98 encoding time: 1.47 solving time: 34.63 LOG SEQUENCE: NEW CHANGE DIAGN FIN ZDBC_BEHAN ZDBC_BEHAN BILLED STORNO REJECT REOPEN ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> >> >> CHANGE DIAGN >> caseType B closeCode B speciality B isClosed 0.0 406. (solver timeout) encoding time: 1.52 solving time: 60.00 407. (solver timeout) encoding time: 1.53 solving time: 60.00 408. (solver timeout) encoding time: 1.56 solving time: 60.00 409. (solver timeout) encoding time: 1.48 solving time: 60.00 410. distance 11.71 encoding time: 1.47 solving time: 20.47 LOG SEQUENCE: >> CHANGE END CHANGE DIAGN FIN RELEASE REOPEN FIN RELEASE CODE OK BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE END CHANGE DIAGN >> t10 >> >> >> >> >> caseType B closeCode B speciality F isClosed 0.0 411. distance 10.14 encoding time: 1.49 solving time: 20.81 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE REOPEN FIN ZDBC_BEHAN EMPTY REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN >> >> t25 t10 caseType B closeCode B speciality F isClosed 0.0 412. distance 11.11 encoding time: 1.44 solving time: 52.12 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN CHANGE DIAGN FIN ZDBC_BEHAN CODE NOK EMPTY EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 CHANGE DIAGN >> >> >> >> t10 >> caseType B closeCode B speciality B isClosed 0.0 413. (solver timeout) encoding time: 1.51 solving time: 60.00 414. (solver timeout) encoding time: 1.49 solving time: 60.00 415. distance 14.76 encoding time: 1.47 solving time: 54.58 LOG SEQUENCE: NEW CHANGE DIAGN FIN ZDBC_BEHAN EMPTY CODE OK CHANGE END EMPTY REJECT ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> CHANGE DIAGN >> >> >> caseType B closeCode B speciality K isClosed 0.0 416. distance 15.03 encoding time: 1.47 solving time: 43.79 LOG SEQUENCE: NEW FIN RELEASE BILLED MANUAL CHANGE END STORNO REJECT MANUAL CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> t1 caseType F closeCode B speciality K isClosed 0.0 417. distance 12.72 encoding time: 1.26 solving time: 11.47 LOG SEQUENCE: NEW FIN RELEASE BILLED MANUAL MANUAL MANUAL CHANGE END CHANGE END MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> t1 >> >> caseType H closeCode B speciality K isClosed 0.0 418. distance 12.71 encoding time: 1.52 solving time: 38.76 LOG SEQUENCE: NEW FIN CHANGE END BILLED STORNO REJECT CHANGE END STORNO REJECT ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 419. distance 13.28 encoding time: 1.54 solving time: 18.37 LOG SEQUENCE: NEW FIN RELEASE CODE ERROR EMPTY >> EMPTY CODE NOK CODE NOK CODE OK ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 t25 >> >> >> >> caseType K closeCode B speciality F isClosed 0.0 420. distance 10.46 encoding time: 1.54 solving time: 9.76 LOG SEQUENCE: NEW FIN EMPTY CODE NOK BILLED STORNO BILLED STORNO REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> t25 t4 caseType H closeCode B speciality F isClosed 0.0 421. distance 13.1 encoding time: 1.52 solving time: 25.94 LOG SEQUENCE: NEW CHANGE END EMPTY CODE NOK BILLED EMPTY REJECT BILLED STORNO ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 422. distance 15.8 encoding time: 1.52 solving time: 54.65 LOG SEQUENCE: NEW FIN JOIN-PAT ZDBC_BEHAN ZDBC_BEHAN EMPTY REJECT EMPTY EMPTY >> EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> t25 t4 caseType C closeCode B speciality B isClosed 0.0 423. distance 12.99 encoding time: 1.52 solving time: 26.19 LOG SEQUENCE: NEW FIN ZDBC_BEHAN CODE NOK ZDBC_BEHAN ZDBC_BEHAN REJECT SET STATUS ZDBC_BEHAN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> t1 caseType H closeCode B speciality B isClosed 0.0 424. distance 12.34 encoding time: 1.52 solving time: 32.93 LOG SEQUENCE: NEW FIN EMPTY ZDBC_BEHAN CODE NOK REOPEN FIN ZDBC_BEHAN CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 >> >> >> >> caseType K closeCode B speciality B isClosed 0.0 425. (solver timeout) encoding time: 1.54 solving time: 60.00 426. (solver timeout) encoding time: 1.53 solving time: 60.00 427. distance 14.32 encoding time: 1.52 solving time: 37.38 LOG SEQUENCE: NEW FIN RELEASE EMPTY CODE OK ZDBC_BEHAN BILLED EMPTY CHANGE END ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> t1 >> caseType H closeCode B speciality K isClosed 0.0 428. (solver timeout) encoding time: 1.53 solving time: 60.00 429. (solver timeout) encoding time: 1.49 solving time: 60.00 430. distance 12.53 encoding time: 1.59 solving time: 18.61 LOG SEQUENCE: NEW FIN ZDBC_BEHAN CODE NOK REOPEN FIN RELEASE CODE NOK CODE NOK ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> >> >> >> >> caseType C closeCode B speciality F isClosed 0.0 431. (solver timeout) encoding time: 1.57 solving time: 60.00 432. distance 11.68 encoding time: 1.54 solving time: 43.42 LOG SEQUENCE: NEW FIN RELEASE ZDBC_BEHAN REOPEN FIN ZDBC_BEHAN ZDBC_BEHAN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> t4 t25 caseType H closeCode B speciality F isClosed 0.0 433. (solver timeout) encoding time: 1.51 solving time: 60.00 434. distance 11.52 encoding time: 1.51 solving time: 20.53 LOG SEQUENCE: NEW FIN RELEASE CHANGE END SET STATUS CODE NOK REOPEN FIN SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> t4 >> >> >> caseType K closeCode B speciality B isClosed 0.0 435. distance 13.94 encoding time: 1.50 solving time: 33.64 LOG SEQUENCE: NEW FIN RELEASE ZDBC_BEHAN CHANGE END SET STATUS FIN ZDBC_BEHAN CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 436. distance 13.16 encoding time: 1.47 solving time: 52.79 LOG SEQUENCE: NEW FIN RELEASE EMPTY BILLED CODE OK EMPTY MANUAL CODE OK MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 437. distance 11.22 encoding time: 1.53 solving time: 19.84 LOG SEQUENCE: NEW FIN EMPTY CODE OK BILLED CODE OK STORNO REJECT REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> t4 t25 caseType K closeCode B speciality F isClosed 0.0 438. distance 13.06 encoding time: 1.51 solving time: 42.23 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED STORNO CHANGE END EMPTY REJECT ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 439. distance 14.01 encoding time: 1.52 solving time: 32.41 LOG SEQUENCE: NEW FIN ZDBC_BEHAN CODE OK BILLED STORNO REJECT CHANGE END ZDBC_BEHAN ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> t1 >> >> caseType H closeCode B speciality K isClosed 0.0 440. distance 13.23 encoding time: 1.51 solving time: 31.23 LOG SEQUENCE: NEW FIN JOIN-PAT CODE OK EMPTY STORNO REJECT RELEASE CHANGE END BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> t1 >> caseType H closeCode B speciality K isClosed 0.0 441. distance 11.06 encoding time: 1.57 solving time: 45.54 LOG SEQUENCE: NEW FIN CHANGE END CODE OK EMPTY STORNO REJECT EMPTY CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> CHANGE END CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 442. (solver timeout) encoding time: 1.52 solving time: 60.00 443. distance 11.14 encoding time: 1.54 solving time: 34.15 LOG SEQUENCE: NEW FIN CHANGE END CODE OK ZDBC_BEHAN BILLED STORNO REJECT REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> t25 t4 caseType H closeCode B speciality B isClosed 0.0 444. distance 13.87 encoding time: 1.52 solving time: 53.50 LOG SEQUENCE: NEW FIN RELEASE CODE OK CODE OK REOPEN FIN ZDBC_BEHAN CODE OK CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 >> >> >> >> caseType H closeCode B speciality B isClosed 0.0 445. (solver timeout) encoding time: 1.48 solving time: 60.00 446. distance 12.69 encoding time: 1.53 solving time: 42.26 LOG SEQUENCE: NEW FIN RELEASE EMPTY REOPEN FIN CODE OK CHANGE END CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> >> >> >> >> caseType C closeCode B speciality B isClosed 0.0 447. (solver timeout) encoding time: 1.51 solving time: 60.00 448. distance 16.99 encoding time: 1.52 solving time: 1.73 LOG SEQUENCE: >> NEW FIN RELEASE ZDBC_BEHAN REOPEN FIN RELEASE CHANGE END CHANGE END ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 449. (solver timeout) encoding time: 1.50 solving time: 60.00 450. distance 12.9 encoding time: 1.34 solving time: 17.44 LOG SEQUENCE: NEW FIN RELEASE MANUAL MANUAL EMPTY EMPTY MANUAL EMPTY CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> t1 caseType K closeCode B speciality K isClosed 0.0 451. (solver timeout) encoding time: 1.52 solving time: 60.00 452. (solver timeout) encoding time: 1.62 solving time: 60.00 453. (solver timeout) encoding time: 1.51 solving time: 60.00 454. (solver timeout) encoding time: 1.56 solving time: 60.00 455. distance 12.33 encoding time: 1.53 solving time: 56.41 LOG SEQUENCE: NEW FIN REOPEN FIN RELEASE ZDBC_BEHAN FIN ZDBC_BEHAN CODE OK CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> >> >> >> >> >> caseType H closeCode B speciality B isClosed 0.0 456. (solver timeout) encoding time: 1.54 solving time: 60.00 457. (solver timeout) encoding time: 1.58 solving time: 60.00 458. distance 15.15 encoding time: 1.43 solving time: 55.94 LOG SEQUENCE: NEW MANUAL FIN CHANGE END MANUAL FIN RELEASE MANUAL EMPTY JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> >> >> >> >> caseType C closeCode B speciality K isClosed 0.0 459. (solver timeout) encoding time: 1.47 solving time: 60.00 460. distance 15.57 encoding time: 1.24 solving time: 12.42 LOG SEQUENCE: NEW EMPTY ZDBC_BEHAN MANUAL MANUAL MANUAL CHANGE END MANUAL MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 461. (solver timeout) encoding time: 1.43 solving time: 60.00 462. (solver timeout) encoding time: 1.66 solving time: 60.00 463. (solver timeout) encoding time: 1.67 solving time: 60.00 464. (solver timeout) encoding time: 1.63 solving time: 60.00 465. distance 20.41 encoding time: 1.61 solving time: 2.42 LOG SEQUENCE: >> >> >> >> NEW ZDBC_BEHAN ZDBC_BEHAN FIN RELEASE CODE OK BILLED CODE OK MANUAL EMPTY CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE END CHANGE DIAGN >> >> >> >> >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 466. (solver timeout) encoding time: 1.53 solving time: 60.00 467. (solver timeout) encoding time: 1.67 solving time: 60.00 468. (solver timeout) encoding time: 1.65 solving time: 60.00 469. (solver timeout) encoding time: 1.63 solving time: 60.00 470. (solver timeout) encoding time: 1.68 solving time: 60.00 471. (solver timeout) encoding time: 1.62 solving time: 60.00 472. (solver timeout) encoding time: 1.78 solving time: 60.00 473. (solver timeout) encoding time: 1.63 solving time: 60.00 474. distance 13.72 encoding time: 1.61 solving time: 24.18 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE ERROR BILLED STORNO REJECT ZDBC_BEHAN JOIN-PAT EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 475. (solver timeout) encoding time: 1.61 solving time: 60.00 476. distance 12.36 encoding time: 1.65 solving time: 39.04 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE ZDBC_BEHAN JOIN-PAT CODE NOK CHANGE END CODE NOK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> CHANGE DIAGN >> >> >> caseType B closeCode B speciality K isClosed 0.0 477. (solver timeout) encoding time: 1.72 solving time: 60.00 478. (solver timeout) encoding time: 1.72 solving time: 60.00 479. (solver timeout) encoding time: 1.71 solving time: 60.00 480. (solver timeout) encoding time: 1.63 solving time: 60.00 481. (solver timeout) encoding time: 1.71 solving time: 60.00 482. (solver timeout) encoding time: 1.75 solving time: 60.00 483. (solver timeout) encoding time: 1.66 solving time: 60.00 484. (solver timeout) encoding time: 1.59 solving time: 60.00 485. (solver timeout) encoding time: 1.66 solving time: 60.00 486. (solver timeout) encoding time: 1.71 solving time: 60.00 487. (solver timeout) encoding time: 1.70 solving time: 60.00 488. distance 12.97 encoding time: 1.69 solving time: 52.84 LOG SEQUENCE: NEW CHANGE DIAGN FIN ZDBC_BEHAN CODE OK BILLED STORNO REJECT RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 489. (solver timeout) encoding time: 1.68 solving time: 60.00 490. (solver timeout) encoding time: 1.71 solving time: 60.00 491. (solver timeout) encoding time: 1.79 solving time: 60.00 492. distance 11.59 encoding time: 1.56 solving time: 40.36 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK CHANGE END CHANGE DIAGN FIN ZDBC_BEHAN CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 CHANGE END >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 493. (solver timeout) encoding time: 1.67 solving time: 60.00 494. (solver timeout) encoding time: 1.65 solving time: 60.00 495. (solver timeout) encoding time: 1.68 solving time: 60.00 496. (solver timeout) encoding time: 1.66 solving time: 60.00 497. (solver timeout) encoding time: 1.62 solving time: 60.00 498. distance 12.49 encoding time: 1.67 solving time: 52.97 LOG SEQUENCE: NEW CHANGE DIAGN FIN JOIN-PAT CODE OK REOPEN EMPTY FIN RELEASE CODE OK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> t25 >> >> >> >> t10 caseType B closeCode B speciality B isClosed 0.0 499. (solver timeout) encoding time: 1.67 solving time: 60.00 500. (solver timeout) encoding time: 1.68 solving time: 60.00 501. (solver timeout) encoding time: 1.76 solving time: 60.00 502. (solver timeout) encoding time: 1.73 solving time: 60.00 503. (solver timeout) encoding time: 1.67 solving time: 60.00 504. (solver timeout) encoding time: 1.67 solving time: 60.00 505. (solver timeout) encoding time: 1.70 solving time: 60.00 506. (solver timeout) encoding time: 1.73 solving time: 60.00 507. (solver timeout) encoding time: 1.73 solving time: 60.00 508. (solver timeout) encoding time: 1.69 solving time: 60.00 509. (solver timeout) encoding time: 1.74 solving time: 60.00 510. (solver timeout) encoding time: 1.82 solving time: 60.00 511. (solver timeout) encoding time: 1.72 solving time: 60.00 512. (solver timeout) encoding time: 1.63 solving time: 60.00 513. distance 14.18 encoding time: 1.56 solving time: 46.34 LOG SEQUENCE: NEW FIN ZDBC_BEHAN CODE ERROR BILLED CHANGE END EMPTY CODE NOK CHANGE END MANUAL CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 514. (solver timeout) encoding time: 1.66 solving time: 60.00 515. (solver timeout) encoding time: 1.74 solving time: 60.00 516. distance 14.38 encoding time: 1.72 solving time: 49.24 LOG SEQUENCE: NEW FIN RELEASE ZDBC_BEHAN JOIN-PAT STORNO REOPEN FIN RELEASE CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> t4 >> >> >> >> caseType H closeCode B speciality B isClosed 0.0 517. (solver timeout) encoding time: 1.71 solving time: 60.00 518. (solver timeout) encoding time: 1.71 solving time: 60.00 519. (solver timeout) encoding time: 1.67 solving time: 60.00 520. (solver timeout) encoding time: 1.79 solving time: 60.00 521. (solver timeout) encoding time: 1.77 solving time: 60.00 522. (solver timeout) encoding time: 1.72 solving time: 60.00 523. distance 15.6 encoding time: 1.71 solving time: 58.88 LOG SEQUENCE: NEW FIN RELEASE ZDBC_BEHAN BILLED CODE OK ZDBC_BEHAN CHANGE END RELEASE ZDBC_BEHAN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> t1 >> >> >> caseType H closeCode B speciality K isClosed 0.0 524. distance 14.72 encoding time: 1.71 solving time: 32.91 LOG SEQUENCE: NEW FIN RELEASE EMPTY BILLED CODE OK STORNO REJECT JOIN-PAT CODE OK SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 525. (solver timeout) encoding time: 1.72 solving time: 60.00 526. distance 13.49 encoding time: 1.70 solving time: 44.51 LOG SEQUENCE: NEW FIN RELEASE CODE OK CHANGE END STORNO BILLED STORNO REJECT BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 527. (solver timeout) encoding time: 1.74 solving time: 60.00 528. distance 14.83 encoding time: 1.76 solving time: 55.54 LOG SEQUENCE: NEW FIN RELEASE ZDBC_BEHAN BILLED STORNO REJECT CHANGE END STORNO REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 529. (solver timeout) encoding time: 1.79 solving time: 60.00 530. distance 12.42 encoding time: 1.72 solving time: 54.01 LOG SEQUENCE: NEW FIN CHANGE END CODE OK BILLED STORNO REJECT BILLED STORNO REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> t4 t25 caseType H closeCode B speciality B isClosed 0.0 531. (solver timeout) encoding time: 1.72 solving time: 60.00 532. distance 16.68 encoding time: 1.67 solving time: 41.40 LOG SEQUENCE: NEW FIN RELEASE CODE OK EMPTY STORNO REJECT MANUAL RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> >> >> caseType C closeCode B speciality K isClosed 0.0 533. distance 14.46 encoding time: 1.69 solving time: 22.03 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED STORNO REJECT RELEASE CODE OK BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 534. (solver timeout) encoding time: 1.72 solving time: 60.00 535. (solver timeout) encoding time: 1.75 solving time: 60.00 536. distance 15.8 encoding time: 1.70 solving time: 35.51 LOG SEQUENCE: NEW FIN RELEASE CODE OK CODE OK STORNO REJECT CODE OK RELEASE CODE OK ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 537. distance 14.99 encoding time: 1.65 solving time: 17.70 LOG SEQUENCE: NEW FIN RELEASE CODE OK MANUAL RELEASE ZDBC_BEHAN BILLED STORNO REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 538. distance 13.98 encoding time: 1.71 solving time: 46.30 LOG SEQUENCE: NEW FIN RELEASE CODE OK RELEASE CHANGE END BILLED STORNO CHANGE END CHANGE END BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> t1 >> caseType C closeCode B speciality K isClosed 0.0 539. (solver timeout) encoding time: 1.80 solving time: 60.00 540. distance 13.74 encoding time: 1.72 solving time: 48.07 LOG SEQUENCE: NEW FIN RELEASE CODE OK REOPEN FIN ZDBC_BEHAN CODE OK RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t4 >> >> >> >> >> >> caseType K closeCode B speciality B isClosed 0.0 541. (solver timeout) encoding time: 1.77 solving time: 60.00 542. (solver timeout) encoding time: 1.73 solving time: 60.00 543. (solver timeout) encoding time: 1.72 solving time: 60.00 544. distance 18.06 encoding time: 1.72 solving time: 1.85 LOG SEQUENCE: NEW >> FIN ZDBC_BEHAN REOPEN FIN REOPEN FIN RELEASE CODE OK BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> >> >> >> caseType C closeCode B speciality K isClosed 0.0 545. (solver timeout) encoding time: 1.74 solving time: 60.00 546. (solver timeout) encoding time: 1.71 solving time: 60.00 547. distance 13.59 encoding time: 1.33 solving time: 4.75 LOG SEQUENCE: NEW NEW NEW NEW NEW NEW NEW NEW NEW NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> >> >> >> >> >> NEW >> t1 caseType K closeCode B speciality K isClosed 0.0 548. (solver timeout) encoding time: 1.91 solving time: 60.00 549. (solver timeout) encoding time: 1.78 solving time: 60.00 550. (solver timeout) encoding time: 1.77 solving time: 60.00 551. (solver timeout) encoding time: 1.86 solving time: 60.00 552. (solver timeout) encoding time: 1.83 solving time: 60.00 553. (solver timeout) encoding time: 1.80 solving time: 60.00 554. (solver timeout) encoding time: 1.83 solving time: 60.00 555. (solver timeout) encoding time: 1.82 solving time: 60.00 556. (solver timeout) encoding time: 1.94 solving time: 60.00 557. (solver timeout) encoding time: 1.86 solving time: 60.00 558. (solver timeout) encoding time: 1.81 solving time: 60.00 559. (solver timeout) encoding time: 1.78 solving time: 60.00 560. (solver timeout) encoding time: 1.81 solving time: 60.00 561. (solver timeout) encoding time: 1.82 solving time: 60.00 562. (solver timeout) encoding time: 1.86 solving time: 60.00 563. (solver timeout) encoding time: 1.82 solving time: 60.00 564. (solver timeout) encoding time: 1.86 solving time: 60.00 565. (solver timeout) encoding time: 2.01 solving time: 60.00 566. (solver timeout) encoding time: 1.88 solving time: 60.00 567. (solver timeout) encoding time: 1.88 solving time: 60.00 568. (solver timeout) encoding time: 1.82 solving time: 60.00 569. (solver timeout) encoding time: 1.91 solving time: 60.00 570. (solver timeout) encoding time: 1.91 solving time: 60.00 571. (solver timeout) encoding time: 1.90 solving time: 60.00 572. (solver timeout) encoding time: 1.87 solving time: 60.00 573. distance 17.49 encoding time: 1.96 solving time: 1.61 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK BILLED CHANGE END REJECT REOPEN FIN EMPTY CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 574. (solver timeout) encoding time: 1.86 solving time: 60.00 575. (solver timeout) encoding time: 1.75 solving time: 60.00 576. (solver timeout) encoding time: 2.02 solving time: 60.00 577. (solver timeout) encoding time: 1.84 solving time: 60.00 578. (solver timeout) encoding time: 1.82 solving time: 60.00 579. distance 21.87 encoding time: 1.77 solving time: 3.03 LOG SEQUENCE: >> >> NEW CHANGE END FIN CHANGE END ZDBC_BEHAN REOPEN FIN RELEASE ZDBC_BEHAN ZDBC_BEHAN MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> >> >> >> >> >> caseType C closeCode B speciality K isClosed 0.0 580. (solver timeout) encoding time: 1.89 solving time: 60.00 581. (solver timeout) encoding time: 1.96 solving time: 60.00 582. (solver timeout) encoding time: 1.87 solving time: 60.00 583. (solver timeout) encoding time: 1.86 solving time: 60.00 584. (solver timeout) encoding time: 1.82 solving time: 60.00 585. (solver timeout) encoding time: 1.87 solving time: 60.00 586. (solver timeout) encoding time: 1.81 solving time: 60.00 587. (solver timeout) encoding time: 1.89 solving time: 60.00 588. (solver timeout) encoding time: 1.89 solving time: 60.00 589. (solver timeout) encoding time: 2.02 solving time: 60.00 590. (solver timeout) encoding time: 1.88 solving time: 60.00 591. (solver timeout) encoding time: 1.92 solving time: 60.00 592. (solver timeout) encoding time: 1.89 solving time: 60.00 593. (solver timeout) encoding time: 1.83 solving time: 60.00 594. (solver timeout) encoding time: 1.88 solving time: 60.00 595. (solver timeout) encoding time: 1.94 solving time: 60.00 596. (solver timeout) encoding time: 1.95 solving time: 60.00 597. (solver timeout) encoding time: 1.95 solving time: 60.00 598. (solver timeout) encoding time: 2.04 solving time: 60.00 599. (solver timeout) encoding time: 1.93 solving time: 60.00 600. (solver timeout) encoding time: 1.93 solving time: 60.00 601. (solver timeout) encoding time: 1.82 solving time: 60.00 602. (solver timeout) encoding time: 1.92 solving time: 60.00 603. (solver timeout) encoding time: 1.92 solving time: 60.00 604. (solver timeout) encoding time: 1.99 solving time: 60.00 605. (solver timeout) encoding time: 1.92 solving time: 60.00 606. (solver timeout) encoding time: 4.17 solving time: 60.00 607. distance 12.41 encoding time: 3.92 solving time: 56.23 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED STORNO REJECT RELEASE CODE OK SET STATUS REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> >> t4 t25 caseType H closeCode B speciality B isClosed 0.0 608. (solver timeout) encoding time: 3.94 solving time: 60.00 609. (solver timeout) encoding time: 3.90 solving time: 60.00 610. (solver timeout) encoding time: 3.93 solving time: 60.00 611. (solver timeout) encoding time: 3.78 solving time: 60.00 612. (solver timeout) encoding time: 1.88 solving time: 60.00 613. (solver timeout) encoding time: 4.06 solving time: 60.00 614. (solver timeout) encoding time: 2.00 solving time: 60.00 615. (solver timeout) encoding time: 3.95 solving time: 60.00 616. (solver timeout) encoding time: 3.93 solving time: 60.00 617. (solver timeout) encoding time: 3.95 solving time: 60.00 618. (solver timeout) encoding time: 3.97 solving time: 60.00 619. (solver timeout) encoding time: 3.90 solving time: 60.00 620. (solver timeout) encoding time: 3.94 solving time: 60.00 encoding time: total 802.55 avg 1.29 median 1.32 solving time: total 17732.85 avg 28.56 median 44.71 timeouts: 188 distance 9.21: 1 distance 3.72: 1 distance 13.79: 1 distance 5.67: 2 distance 9.05: 1 distance 8.96: 1 distance 5.23: 1 distance 11.95: 1 distance 7.45: 1 distance 12.99: 1 distance 10.35: 1 distance 14.46: 1 distance 7.35: 1 distance 10.41: 2 distance 12.43: 2 distance 15.57: 1 distance 14.24: 1 distance 7.21: 1 distance 11.2: 1 distance 10.91: 1 distance 12.72: 1 distance 10.27: 1 distance 7.89: 1 distance 10.97: 1 distance 4.77: 1 distance 12.98: 1 distance 7.62: 2 distance 9.01: 1 distance 12.68: 1 distance 8.19: 1 distance 10.16: 2 distance 14.59: 1 distance 9.04: 1 distance 13.14: 1 distance 10.93: 1 distance 5.46: 1 distance 10.49: 2 distance 5.87: 1 distance 8.1: 1 distance 13.1: 1 distance 8.37: 1 distance 11.14: 1 distance 10.46: 2 distance 6.0: 2 distance 10.66: 2 distance 9.27: 1 distance 9.0: 1 distance 14.99: 1 distance 8.91: 1 distance 12.09: 1 distance 13.28: 1 distance 13.98: 1 distance 11.06: 1 distance 15.8: 2 distance 9.13: 1 distance 7.58: 1 distance 8.54: 1 distance 7.07: 1 distance 11.7: 1 distance 9.5: 1 distance 8.46: 2 distance 14.83: 1 distance 10.01: 3 distance 12.42: 2 distance 10.96: 2 distance 6.71: 1 distance 12.64: 2 distance 13.72: 1 distance 9.79: 1 distance 4.56: 1 distance 11.59: 1 distance 5.48: 1 distance 16.68: 1 distance 13.06: 1 distance 12.36: 2 distance 10.53: 2 distance 8.03: 1 distance 11.22: 1 distance 5.58: 1 distance 3.0: 2 distance 9.38: 2 distance 4.95: 1 distance 8.94: 1 distance 12.16: 1 distance 11.58: 1 distance 9.74: 1 distance 8.42: 2 distance 5.0: 1 distance 12.78: 1 distance 14.18: 1 distance 12.45: 1 distance 9.72: 1 distance 6.87: 1 distance 12.41: 1 distance 10.81: 1 distance 6.7: 1 distance 13.59: 1 distance 8.38: 1 distance 8.67: 2 distance 8.5: 2 distance 11.52: 1 distance 15.15: 1 distance 10.78: 1 distance 10.29: 1 distance 12.71: 1 distance 8.39: 1 distance 12.44: 1 distance 4.4: 1 distance 9.47: 1 distance 9.68: 1 distance 5.38: 1 distance 9.02: 2 distance 12.81: 1 distance 10.4: 3 distance 12.55: 1 distance 9.39: 2 distance 5.69: 1 distance 13.8: 1 distance 8.78: 1 distance 9.06: 1 distance 8.81: 2 distance 10.76: 2 distance 11.11: 1 distance 8.84: 1 distance 9.61: 1 distance 11.76: 2 distance 10.14: 2 distance 10.77: 1 distance 9.53: 2 distance 7.69: 1 distance 11.44: 2 distance 5.37: 1 distance 8.92: 1 distance 13.71: 2 distance 12.26: 1 distance 9.89: 1 distance 6.33: 1 distance 11.86: 1 distance 9.26: 1 distance 12.33: 1 distance 13.15: 1 distance 10.04: 1 distance 12.69: 1 distance 8.66: 1 distance 9.32: 1 distance 10.06: 1 distance 13.99: 1 distance 7.23: 1 distance 7.3: 1 distance 13.16: 2 distance 11.81: 1 distance 13.87: 1 distance 11.79: 1 distance 8.45: 1 distance 12.53: 1 distance 13.49: 1 distance 9.76: 1 distance 4.13: 1 distance 12.19: 1 distance 5.3: 1 distance 10.36: 1 distance 8.57: 2 distance 6.74: 1 distance 12.95: 1 distance 11.18: 1 distance 10.21: 1 distance 10.24: 1 distance 8.51: 1 distance 12.08: 1 distance 6.18: 1 distance 10.43: 1 distance 7.74: 2 distance 11.04: 2 distance 11.31: 1 distance 8.2: 1 distance 10.79: 1 distance 14.01: 1 distance 4.99: 1 distance 6.79: 1 distance 9.95: 2 distance 10.54: 2 distance 12.4: 1 distance 8.8: 1 distance 12.35: 1 distance 13.51: 1 distance 12.34: 2 distance 7.77: 1 distance 9.58: 1 distance 10.67: 1 distance 9.28: 2 distance 12.67: 1 distance 9.86: 2 distance 11.61: 1 distance 10.25: 1 distance 4.36: 1 distance 9.22: 1 distance 7.12: 1 distance 9.7: 1 distance 7.13: 1 distance 8.25: 2 distance 9.18: 1 distance 11.55: 2 distance 9.46: 2 distance 11.8: 1 distance 13.61: 1 distance 7.63: 1 distance 12.57: 1 distance 11.05: 1 distance 16.99: 1 distance 7.15: 1 distance 12.74: 1 distance 10.32: 1 distance 11.71: 2 distance 7.0: 1 distance 8.47: 2 distance 7.78: 1 distance 9.03: 1 distance 11.28: 1 distance 13.66: 2 distance 6.94: 1 distance 12.9: 1 distance 10.05: 4 distance 4.64: 1 distance 8.02: 1 distance 7.67: 1 distance 12.84: 1 distance 7.37: 1 distance 12.97: 1 distance 8.27: 1 distance 7.19: 1 distance 10.84: 2 distance 9.12: 1 distance 12.04: 1 distance 12.49: 1 distance 11.84: 3 distance 20.41: 1 distance 14.26: 1 distance 11.89: 1 distance 10.59: 1 distance 11.24: 2 distance 7.16: 2 distance 12.03: 2 distance 10.71: 1 distance 12.01: 1 distance 8.93: 1 distance 7.83: 1 distance 7.59: 2 distance 10.83: 1 distance 15.84: 1 distance 9.34: 1 distance 9.75: 1 distance 12.02: 1 distance 11.41: 1 distance 8.77: 1 distance 8.43: 2 distance 11.77: 2 distance 21.87: 1 distance 10.33: 2 distance 14.76: 1 distance 5.29: 1 distance 7.39: 1 distance 8.68: 1 distance 8.07: 1 distance 7.22: 2 distance 8.3: 1 distance 5.97: 1 distance 9.71: 2 distance 13.4: 1 distance 6.45: 1 distance 10.55: 1 distance 8.29: 1 distance 4.28: 1 distance 17.49: 1 distance 7.25: 2 distance 12.2: 1 distance 7.79: 1 distance 15.6: 1 distance 5.14: 3 distance 5.79: 1 distance 11.56: 2 distance 8.14: 1 distance 9.57: 1 distance 9.37: 1 distance 11.87: 2 distance 9.96: 1 distance 8.41: 1 distance 11.68: 2 distance 6.58: 1 distance 12.66: 2 distance 8.08: 1 distance 5.52: 1 distance 7.54: 1 distance 9.87: 2 distance 8.13: 1 distance 5.94: 1 distance 9.1: 1 distance 14.88: 1 distance 9.91: 2 distance 15.02: 1 distance 14.38: 1 distance 13.26: 1 distance 13.07: 1 distance 10.58: 1 distance 6.73: 1 distance 9.24: 1 distance 11.98: 1 distance 3.53: 1 distance 10.92: 2 distance 12.21: 1 distance 11.63: 2 distance 12.83: 1 distance 13.43: 1 distance 10.12: 1 distance 12.6: 1 distance 9.52: 1 distance 12.93: 1 distance 5.17: 1 distance 13.58: 1 distance 5.16: 1 distance 12.24: 1 distance 12.56: 1 distance 5.83: 1 distance 13.39: 1 distance 10.63: 1 distance 13.94: 1 distance 14.0: 1 distance 12.63: 1 distance 13.74: 1 distance 8.65: 1 distance 11.03: 1 distance 14.72: 1 distance 10.52: 2 distance 10.87: 1 distance 7.94: 1 distance 13.55: 1 distance 13.23: 1 distance 9.36: 1 distance 6.22: 1 distance 9.44: 2 distance 10.0: 2 distance 10.22: 1 distance 5.65: 1 distance 11.42: 1 distance 5.84: 1 distance 10.82: 1 distance 11.72: 1 distance 15.03: 1 distance 9.9: 1 distance 14.32: 1 distance 10.94: 1 distance 7.48: 1 distance 9.51: 1 distance 18.06: 1 distance 8.59: 2