/home/swinkler/confchecksmt/src/libyices.so.2.6.2 0. distance 3.0 encoding time: 0.21 solving time: 0.05 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 1. distance 5.34 encoding time: 0.30 solving time: 0.12 LOG SEQUENCE: >> BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 2. distance 3.0 encoding time: 0.29 solving time: 0.10 LOG SEQUENCE: NEW CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 3. distance 3.0 encoding time: 0.31 solving time: 0.10 LOG SEQUENCE: NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType H closeCode B speciality K isClosed 0.0 4. distance 4.0 encoding time: 0.30 solving time: 0.08 LOG SEQUENCE: NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 5. distance 4.0 encoding time: 0.29 solving time: 0.08 LOG SEQUENCE: NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 6. distance 4.78 encoding time: 0.30 solving time: 0.10 LOG SEQUENCE: NEW SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 7. distance 5.43 encoding time: 0.39 solving time: 0.15 LOG SEQUENCE: >> CHANGE DIAGN CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 caseType B closeCode B speciality K isClosed 0.0 8. distance 3.0 encoding time: 0.41 solving time: 0.17 LOG SEQUENCE: NEW CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 9. distance 4.0 encoding time: 0.41 solving time: 0.17 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 4.0 encoding time: 0.39 solving time: 0.15 LOG SEQUENCE: NEW CHANGE DIAGN MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 11. distance 4.0 encoding time: 0.41 solving time: 0.19 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 4.47 encoding time: 0.41 solving time: 0.34 LOG SEQUENCE: >> CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType H closeCode B speciality K isClosed 0.0 13. distance 4.14 encoding time: 0.42 solving time: 0.33 LOG SEQUENCE: NEW CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 14. distance 3.46 encoding time: 0.41 solving time: 0.20 LOG SEQUENCE: NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType K closeCode B speciality K isClosed 0.0 15. distance 3.56 encoding time: 0.43 solving time: 0.38 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 16. distance 5.0 encoding time: 0.40 solving time: 0.19 LOG SEQUENCE: NEW FIN MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType K closeCode B speciality F isClosed 0.0 17. distance 4.45 encoding time: 0.42 solving time: 0.23 LOG SEQUENCE: NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType F closeCode B speciality K isClosed 0.0 18. distance 4.25 encoding time: 0.42 solving time: 0.21 LOG SEQUENCE: NEW SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 19. distance 4.0 encoding time: 0.41 solving time: 0.19 LOG SEQUENCE: NEW NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW t1 caseType K closeCode B speciality K isClosed 0.0 20. distance 5.0 encoding time: 0.40 solving time: 0.16 LOG SEQUENCE: NEW NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 caseType K closeCode B speciality B isClosed 0.0 21. distance 5.0 encoding time: 0.39 solving time: 0.12 LOG SEQUENCE: NEW NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType K closeCode B speciality K isClosed 0.0 22. distance 4.45 encoding time: 0.42 solving time: 0.22 LOG SEQUENCE: NEW RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType H closeCode B speciality K isClosed 0.0 23. distance 3.96 encoding time: 0.52 solving time: 0.63 LOG SEQUENCE: NEW CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 24. distance 5.0 encoding time: 0.52 solving time: 0.29 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> caseType B closeCode B speciality K isClosed 0.0 25. distance 4.84 encoding time: 0.51 solving time: 0.67 LOG SEQUENCE: NEW CHANGE DIAGN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 26. distance 3.0 encoding time: 0.52 solving time: 0.27 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 27. distance 4.0 encoding time: 0.52 solving time: 0.39 LOG SEQUENCE: NEW CHANGE DIAGN DELETE JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> caseType B closeCode B speciality K isClosed 0.0 28. distance 4.0 encoding time: 0.54 solving time: 0.45 LOG SEQUENCE: NEW CHANGE DIAGN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 29. distance 6.13 encoding time: 0.53 solving time: 0.56 LOG SEQUENCE: >> CHANGE DIAGN FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> caseType B closeCode B speciality K isClosed 0.0 30. distance 5.0 encoding time: 0.53 solving time: 0.37 LOG SEQUENCE: NEW CHANGE DIAGN FIN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> caseType B closeCode B speciality K isClosed 0.0 31. distance 6.36 encoding time: 0.56 solving time: 0.87 LOG SEQUENCE: CODE OK FIN >> DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW t1 caseType H closeCode B speciality K isClosed 0.0 32. distance 5.26 encoding time: 0.53 solving time: 0.34 LOG SEQUENCE: NEW MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType K closeCode B speciality K isClosed 0.0 33. distance 6.0 encoding time: 0.55 solving time: 0.38 LOG SEQUENCE: NEW FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType C closeCode B speciality K isClosed 0.0 34. distance 5.89 encoding time: 0.55 solving time: 0.64 LOG SEQUENCE: NEW FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType H closeCode B speciality K isClosed 0.0 35. distance 6.0 encoding time: 0.55 solving time: 0.36 LOG SEQUENCE: NEW FIN RELEASE CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType K closeCode B speciality K isClosed 0.0 36. distance 5.0 encoding time: 0.56 solving time: 0.44 LOG SEQUENCE: NEW FIN RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 caseType C closeCode B speciality B isClosed 0.0 37. distance 6.0 encoding time: 0.55 solving time: 0.35 LOG SEQUENCE: NEW FIN RELEASE EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType H closeCode B speciality K isClosed 0.0 38. distance 5.49 encoding time: 0.53 solving time: 0.42 LOG SEQUENCE: NEW FIN MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType H closeCode B speciality F isClosed 0.0 39. distance 7.18 encoding time: 0.55 solving time: 0.40 LOG SEQUENCE: >> FIN RELEASE SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType K closeCode B speciality K isClosed 0.0 40. distance 4.0 encoding time: 0.56 solving time: 0.46 LOG SEQUENCE: NEW FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 t25 caseType H closeCode B speciality B isClosed 0.0 41. distance 5.81 encoding time: 0.63 solving time: 0.25 LOG SEQUENCE: NEW MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType H closeCode B speciality K isClosed 0.0 42. distance 5.0 encoding time: 0.54 solving time: 0.37 LOG SEQUENCE: NEW NEW FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW >> t1 caseType K closeCode B speciality K isClosed 0.0 43. distance 4.54 encoding time: 0.52 solving time: 0.34 LOG SEQUENCE: NEW NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW t1 caseType H closeCode B speciality K isClosed 0.0 44. distance 5.86 encoding time: 0.51 solving time: 0.37 LOG SEQUENCE: NEW NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType H closeCode B speciality K isClosed 0.0 45. distance 5.49 encoding time: 0.49 solving time: 0.25 LOG SEQUENCE: NEW NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType F closeCode B speciality K isClosed 0.0 46. distance 5.0 encoding time: 0.64 solving time: 0.69 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 6.05 encoding time: 0.65 solving time: 1.14 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 caseType B closeCode B speciality B isClosed 0.0 48. distance 7.63 encoding time: 0.67 solving time: 1.57 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 49. distance 6.44 encoding time: 0.67 solving time: 0.85 LOG SEQUENCE: NEW FIN RELEASE CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType H closeCode B speciality K isClosed 0.0 50. distance 4.64 encoding time: 0.68 solving time: 3.10 LOG SEQUENCE: NEW RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 caseType K closeCode B speciality B isClosed 0.0 51. distance 6.17 encoding time: 0.67 solving time: 1.85 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> caseType B closeCode B speciality K isClosed 0.0 52. distance 4.28 encoding time: 0.68 solving time: 1.50 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 B isClosed 0.0 53. distance 7.68 encoding time: 0.67 solving time: 1.98 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 7.0 encoding time: 0.69 solving time: 0.57 LOG SEQUENCE: NEW FIN RELEASE BILLED BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 55. distance 6.18 encoding time: 0.67 solving time: 0.52 LOG SEQUENCE: NEW FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType K closeCode B speciality K isClosed 0.0 56. distance 7.0 encoding time: 0.69 solving time: 0.60 LOG SEQUENCE: NEW FIN RELEASE CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 57. distance 6.0 encoding time: 0.70 solving time: 0.57 LOG SEQUENCE: NEW FIN RELEASE CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 caseType H closeCode B speciality K isClosed 0.0 58. distance 8.49 encoding time: 0.69 solving time: 0.68 LOG SEQUENCE: >> FIN RELEASE CODE NOK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 59. distance 6.64 encoding time: 0.69 solving time: 1.21 LOG SEQUENCE: NEW FIN RELEASE SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType K closeCode B speciality K isClosed 0.0 60. distance 7.0 encoding time: 0.69 solving time: 0.60 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 61. distance 6.21 encoding time: 0.69 solving time: 0.67 LOG SEQUENCE: NEW FIN RELEASE CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType H closeCode B speciality K isClosed 0.0 62. distance 5.26 encoding time: 0.70 solving time: 1.46 LOG SEQUENCE: NEW FIN CODE OK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 caseType K closeCode B speciality K isClosed 0.0 63. distance 5.98 encoding time: 0.69 solving time: 0.97 LOG SEQUENCE: NEW RELEASE EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType K closeCode B speciality K isClosed 0.0 64. distance 7.0 encoding time: 0.66 solving time: 0.60 LOG SEQUENCE: NEW FIN RELEASE CODE OK MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 65. distance 7.0 encoding time: 0.69 solving time: 0.51 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 7.0 encoding time: 0.67 solving time: 0.52 LOG SEQUENCE: NEW FIN RELEASE MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 67. distance 6.0 encoding time: 0.67 solving time: 0.61 LOG SEQUENCE: NEW FIN RELEASE MANUAL DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t4 caseType H closeCode B speciality B isClosed 0.0 68. distance 7.0 encoding time: 0.69 solving time: 0.55 LOG SEQUENCE: NEW FIN RELEASE RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType ? closeCode B speciality K isClosed 0.0 69. distance 7.0 encoding time: 0.67 solving time: 0.70 LOG SEQUENCE: NEW FIN RELEASE RELEASE MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 70. distance 6.77 encoding time: 0.70 solving time: 2.95 LOG SEQUENCE: >> FIN RELEASE REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t4 t25 caseType K closeCode B speciality F isClosed 0.0 71. distance 6.11 encoding time: 0.67 solving time: 0.89 LOG SEQUENCE: NEW FIN RELEASE MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType K closeCode B speciality K isClosed 0.0 72. distance 4.3 encoding time: 0.68 solving time: 1.46 LOG SEQUENCE: NEW FIN CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 t25 caseType B closeCode B speciality B isClosed 0.0 73. distance 5.39 encoding time: 0.70 solving time: 1.39 LOG SEQUENCE: >> FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 t25 caseType H closeCode B speciality B isClosed 0.0 74. distance 6.14 encoding time: 0.69 solving time: 2.39 LOG SEQUENCE: NEW FIN REOPEN FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> caseType H closeCode B speciality B isClosed 0.0 75. distance 5.85 encoding time: 0.68 solving time: 1.50 LOG SEQUENCE: NEW FIN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType H closeCode B speciality K isClosed 0.0 76. distance 5.7 encoding time: 0.66 solving time: 0.80 LOG SEQUENCE: NEW FIN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType F closeCode B speciality K isClosed 0.0 77. distance 5.82 encoding time: 0.59 solving time: 0.78 LOG SEQUENCE: NEW NEW JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType H closeCode B speciality K isClosed 0.0 78. distance 5.51 encoding time: 0.63 solving time: 0.50 LOG SEQUENCE: NEW NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW caseType K closeCode B speciality K isClosed 0.0 79. distance 7.0 encoding time: 0.62 solving time: 0.33 LOG SEQUENCE: NEW NEW NEW NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 80. distance 7.0 encoding time: 0.60 solving time: 0.25 LOG SEQUENCE: NEW NEW NEW NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 81. distance 8.38 encoding time: 0.69 solving time: 0.75 LOG SEQUENCE: NEW RELEASE BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 82. distance 6.25 encoding time: 0.69 solving time: 0.77 LOG SEQUENCE: NEW SET STATUS SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType ? closeCode B speciality K isClosed 0.0 83. distance 6.3 encoding time: 0.75 solving time: 14.47 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 84. distance 6.52 encoding time: 0.79 solving time: 3.73 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 85. distance 6.78 encoding time: 0.80 solving time: 1.75 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> t25 caseType B closeCode B speciality K isClosed 0.0 86. distance 6.32 encoding time: 0.79 solving time: 2.25 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> caseType B closeCode B speciality K isClosed 0.0 87. distance 5.4 encoding time: 0.81 solving time: 1.66 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN REOPEN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 t25 CHANGE DIAGN caseType B closeCode B speciality F isClosed 0.0 88. distance 6.78 encoding time: 0.79 solving time: 2.40 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN REOPEN FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 CHANGE DIAGN t25 >> caseType B closeCode B speciality B isClosed 0.0 89. distance 5.58 encoding time: 0.82 solving time: 2.61 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> t25 caseType B closeCode B speciality B isClosed 0.0 90. distance 6.49 encoding time: 0.81 solving time: 1.37 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 91. distance 8.08 encoding time: 0.82 solving time: 4.89 LOG SEQUENCE: >> FIN CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType H closeCode B speciality K isClosed 0.0 92. distance 6.66 encoding time: 0.82 solving time: 1.87 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 93. distance 7.58 encoding time: 0.81 solving time: 2.74 LOG SEQUENCE: >> CHANGE DIAGN FIN RELEASE CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 94. distance 6.0 encoding time: 0.82 solving time: 1.07 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN caseType B closeCode B speciality B isClosed 0.0 95. distance 5.6 encoding time: 0.81 solving time: 3.59 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> caseType B closeCode B speciality B isClosed 0.0 96. distance 6.8 encoding time: 0.82 solving time: 2.62 LOG SEQUENCE: NEW CHANGE DIAGN RELEASE RELEASE SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 97. distance 4.45 encoding time: 0.83 solving time: 2.14 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 B isClosed 0.0 98. distance 6.5 encoding time: 0.81 solving time: 1.39 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 99. distance 7.68 encoding time: 0.87 solving time: 3.19 LOG SEQUENCE: >> FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType K closeCode B speciality K isClosed 0.0 100. distance 5.35 encoding time: 0.83 solving time: 4.11 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 6.22 encoding time: 0.82 solving time: 1.33 LOG SEQUENCE: NEW CHANGE DIAGN FIN SET STATUS RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 102. distance 7.0 encoding time: 0.81 solving time: 1.02 LOG SEQUENCE: NEW CHANGE DIAGN SET STATUS SET STATUS FIN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 103. distance 8.38 encoding time: 0.82 solving time: 1.26 LOG SEQUENCE: >> CHANGE END FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 104. distance 8.5 encoding time: 0.84 solving time: 4.14 LOG SEQUENCE: >> CODE OK RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType K closeCode B speciality K isClosed 0.0 105. distance 7.25 encoding time: 0.84 solving time: 1.04 LOG SEQUENCE: NEW FIN CODE OK RELEASE CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 106. distance 7.75 encoding time: 0.84 solving time: 1.33 LOG SEQUENCE: NEW FIN FIN RELEASE CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 107. distance 7.65 encoding time: 0.84 solving time: 2.66 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 108. distance 7.34 encoding time: 0.82 solving time: 2.10 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 109. distance 8.48 encoding time: 0.79 solving time: 1.23 LOG SEQUENCE: NEW FIN RELEASE BILLED MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 110. distance 7.67 encoding time: 0.84 solving time: 3.02 LOG SEQUENCE: NEW FIN RELEASE STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 111. distance 8.42 encoding time: 0.84 solving time: 2.13 LOG SEQUENCE: NEW FIN RELEASE BILLED STORNO SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 112. distance 7.18 encoding time: 0.84 solving time: 1.28 LOG SEQUENCE: NEW FIN RELEASE CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 113. distance 7.0 encoding time: 0.85 solving time: 1.01 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType K closeCode B speciality F isClosed 0.0 114. distance 7.76 encoding time: 0.84 solving time: 2.46 LOG SEQUENCE: NEW FIN CODE NOK CODE NOK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 115. distance 7.55 encoding time: 0.84 solving time: 2.80 LOG SEQUENCE: NEW CODE NOK CODE NOK SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType H closeCode B speciality K isClosed 0.0 116. distance 7.3 encoding time: 0.84 solving time: 2.57 LOG SEQUENCE: NEW CODE NOK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType C closeCode B speciality K isClosed 0.0 117. distance 6.47 encoding time: 0.85 solving time: 6.81 LOG SEQUENCE: NEW FIN RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 caseType C closeCode B speciality K isClosed 0.0 118. distance 7.18 encoding time: 0.81 solving time: 1.96 LOG SEQUENCE: NEW FIN RELEASE MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 119. distance 6.0 encoding time: 0.85 solving time: 1.14 LOG SEQUENCE: NEW FIN RELEASE CODE NOK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 t4 caseType H closeCode B speciality B isClosed 0.0 120. distance 6.98 encoding time: 0.84 solving time: 5.94 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> caseType K closeCode B speciality B isClosed 0.0 121. distance 7.32 encoding time: 0.84 solving time: 2.38 LOG SEQUENCE: NEW FIN CODE NOK SET STATUS CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 122. distance 6.9 encoding time: 0.84 solving time: 1.37 LOG SEQUENCE: NEW RELEASE CODE NOK SET STATUS DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 caseType K closeCode B speciality F isClosed 0.0 123. distance 8.0 encoding time: 0.84 solving time: 0.93 LOG SEQUENCE: NEW FIN RELEASE CODE NOK SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 124. distance 8.0 encoding time: 0.84 solving time: 0.91 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 125. distance 8.55 encoding time: 0.84 solving time: 1.26 LOG SEQUENCE: >> RELEASE CODE OK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 126. distance 6.0 encoding time: 0.85 solving time: 1.59 LOG SEQUENCE: NEW FIN RELEASE CODE OK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 t4 caseType K closeCode B speciality B isClosed 0.0 127. distance 7.84 encoding time: 0.84 solving time: 2.05 LOG SEQUENCE: NEW FIN RELEASE FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 128. distance 8.47 encoding time: 0.84 solving time: 1.93 LOG SEQUENCE: FIN RELEASE FIN RELEASE >> DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> >> NEW t1 caseType H closeCode B speciality F isClosed 0.0 129. distance 7.63 encoding time: 0.78 solving time: 1.08 LOG SEQUENCE: NEW RELEASE MANUAL BILLED MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 130. distance 8.69 encoding time: 0.81 solving time: 1.50 LOG SEQUENCE: >> FIN RELEASE MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 131. distance 6.98 encoding time: 0.81 solving time: 2.33 LOG SEQUENCE: NEW FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType F closeCode B speciality K isClosed 0.0 132. distance 8.0 encoding time: 0.78 solving time: 0.80 LOG SEQUENCE: NEW FIN RELEASE MANUAL MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 133. distance 6.95 encoding time: 0.82 solving time: 3.33 LOG SEQUENCE: >> FIN RELEASE REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t4 t25 caseType A closeCode B speciality B isClosed 0.0 134. distance 6.2 encoding time: 0.82 solving time: 1.13 LOG SEQUENCE: NEW FIN RELEASE MANUAL DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 caseType K closeCode B speciality K isClosed 0.0 135. distance 6.38 encoding time: 0.85 solving time: 1.76 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 5.79 encoding time: 0.85 solving time: 2.18 LOG SEQUENCE: NEW FIN RELEASE REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 t4 caseType K closeCode B speciality B isClosed 0.0 137. distance 6.61 encoding time: 0.85 solving time: 4.03 LOG SEQUENCE: NEW FIN REOPEN FIN RELEASE EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> t25 caseType C closeCode B speciality B isClosed 0.0 138. distance 6.0 encoding time: 0.86 solving time: 1.64 LOG SEQUENCE: NEW FIN REOPEN FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> t25 caseType H closeCode B speciality F isClosed 0.0 139. distance 6.64 encoding time: 0.82 solving time: 3.29 LOG SEQUENCE: NEW NEW RELEASE CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW >> >> t1 caseType H closeCode B speciality B isClosed 0.0 140. distance 6.01 encoding time: 0.81 solving time: 3.30 LOG SEQUENCE: NEW FIN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType H closeCode B speciality K isClosed 0.0 141. distance 7.21 encoding time: 0.70 solving time: 0.64 LOG SEQUENCE: NEW JOIN-PAT JOIN-PAT JOIN-PAT JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 142. distance 7.24 encoding time: 0.77 solving time: 0.97 LOG SEQUENCE: NEW NEW NEW NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 143. distance 7.28 encoding time: 0.75 solving time: 0.57 LOG SEQUENCE: NEW NEW NEW NEW NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> >> NEW t1 caseType K closeCode B speciality K isClosed 0.0 144. distance 7.79 encoding time: 0.71 solving time: 0.64 LOG SEQUENCE: NEW NEW NEW NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 145. distance 9.0 encoding time: 0.79 solving time: 0.18 LOG SEQUENCE: NEW RELEASE CODE NOK MANUAL MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 146. distance 6.0 encoding time: 0.93 solving time: 2.67 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN CHANGE DIAGN 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 7.11 encoding time: 0.95 solving time: 3.16 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN RELEASE CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> CHANGE DIAGN caseType B closeCode B speciality B isClosed 0.0 148. distance 8.31 encoding time: 0.94 solving time: 36.68 LOG SEQUENCE: >> CHANGE DIAGN CHANGE DIAGN CODE NOK SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 149. distance 8.0 encoding time: 0.95 solving time: 1.71 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> >> >> caseType B closeCode B speciality B isClosed 0.0 150. distance 5.38 encoding time: 0.94 solving time: 11.64 LOG SEQUENCE: NEW CHANGE DIAGN FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 151. (solver timeout) encoding time: 0.96 solving time: 60.00 152. distance 6.82 encoding time: 0.95 solving time: 5.11 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN CHANGE END >> >> caseType B closeCode B speciality F isClosed 0.0 153. distance 8.0 encoding time: 0.97 solving time: 1.66 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.0 encoding time: 0.98 solving time: 1.86 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE OK RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 155. distance 7.6 encoding time: 0.97 solving time: 4.58 LOG SEQUENCE: NEW CHANGE DIAGN FIN FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 156. distance 7.8 encoding time: 0.94 solving time: 1.95 LOG SEQUENCE: NEW CHANGE DIAGN FIN MANUAL RELEASE CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 157. distance 6.67 encoding time: 0.98 solving time: 6.45 LOG SEQUENCE: NEW CHANGE DIAGN RELEASE CODE NOK CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 158. distance 7.27 encoding time: 0.97 solving time: 2.31 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 159. distance 7.28 encoding time: 0.97 solving time: 4.43 LOG SEQUENCE: NEW CHANGE DIAGN RELEASE CODE NOK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 160. distance 6.0 encoding time: 0.99 solving time: 2.24 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN t10 caseType B closeCode B speciality F isClosed 0.0 161. distance 8.0 encoding time: 0.97 solving time: 1.87 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 162. distance 8.34 encoding time: 0.98 solving time: 2.35 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED STORNO caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 163. distance 7.48 encoding time: 0.97 solving time: 5.23 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 164. distance 6.4 encoding time: 0.99 solving time: 8.07 LOG SEQUENCE: NEW FIN RELEASE CODE OK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 t4 caseType K closeCode B speciality B isClosed 0.0 165. distance 7.44 encoding time: 0.97 solving time: 6.33 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 166. distance 7.0 encoding time: 0.98 solving time: 2.30 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE REOPEN FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> t25 >> >> caseType B closeCode B speciality B isClosed 0.0 167. distance 7.0 encoding time: 0.97 solving time: 2.45 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN FIN RELEASE SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN t25 >> >> >> caseType B closeCode B speciality F isClosed 0.0 168. distance 5.65 encoding time: 0.99 solving time: 12.82 LOG SEQUENCE: NEW CHANGE DIAGN REOPEN FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 CHANGE DIAGN t10 caseType B closeCode B speciality F isClosed 0.0 169. distance 7.5 encoding time: 0.96 solving time: 5.23 LOG SEQUENCE: NEW CHANGE DIAGN FIN SET STATUS CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 170. distance 7.11 encoding time: 0.95 solving time: 7.17 LOG SEQUENCE: NEW CHANGE DIAGN SET STATUS FIN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 171. distance 7.78 encoding time: 1.03 solving time: 9.21 LOG SEQUENCE: NEW FIN CHANGE END FIN CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> caseType C closeCode B speciality K isClosed 0.0 172. distance 7.66 encoding time: 0.89 solving time: 5.55 LOG SEQUENCE: NEW FIN BILLED MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 173. distance 8.84 encoding time: 0.95 solving time: 2.54 LOG SEQUENCE: NEW RELEASE BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 174. distance 8.76 encoding time: 0.97 solving time: 3.57 LOG SEQUENCE: NEW FIN BILLED STORNO REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 175. distance 7.46 encoding time: 0.99 solving time: 4.47 LOG SEQUENCE: NEW FIN RELEASE BILLED SET STATUS DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType H closeCode B speciality K isClosed 0.0 176. distance 9.0 encoding time: 0.94 solving time: 1.18 LOG SEQUENCE: NEW FIN RELEASE CODE ERROR BILLED CODE NOK CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 177. distance 7.75 encoding time: 0.95 solving time: 31.12 LOG SEQUENCE: NEW FIN CODE ERROR CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> caseType K closeCode B speciality B isClosed 0.0 178. distance 9.0 encoding time: 0.98 solving time: 1.35 LOG SEQUENCE: NEW FIN RELEASE CODE NOK BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 179. distance 9.0 encoding time: 0.97 solving time: 1.34 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE NOK CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 180. distance 9.21 encoding time: 0.98 solving time: 2.72 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 181. distance 7.78 encoding time: 0.99 solving time: 57.90 LOG SEQUENCE: NEW FIN CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 caseType K closeCode B speciality B isClosed 0.0 182. distance 9.68 encoding time: 0.97 solving time: 9.53 LOG SEQUENCE: >> FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType H closeCode B speciality B isClosed 0.0 183. distance 8.22 encoding time: 0.97 solving time: 1.78 LOG SEQUENCE: NEW RELEASE CODE NOK CODE OK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 184. distance 7.0 encoding time: 0.98 solving time: 1.99 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE OK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 t25 caseType H closeCode B speciality B isClosed 0.0 185. distance 9.63 encoding time: 0.97 solving time: 3.77 LOG SEQUENCE: >> RELEASE CODE NOK REOPEN FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 186. distance 7.94 encoding time: 0.96 solving time: 58.04 LOG SEQUENCE: NEW SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 187. distance 9.34 encoding time: 0.97 solving time: 6.66 LOG SEQUENCE: NEW FIN RELEASE SET STATUS SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType C closeCode B speciality K isClosed 0.0 188. distance 8.12 encoding time: 0.97 solving time: 1.71 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 189. distance 9.0 encoding time: 0.94 solving time: 1.93 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED CODE OK MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 190. distance 8.6 encoding time: 1.02 solving time: 3.33 LOG SEQUENCE: NEW FIN RELEASE CODE OK MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 191. distance 9.0 encoding time: 0.97 solving time: 1.36 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType ? closeCode B speciality B isClosed 0.0 192. distance 7.62 encoding time: 0.97 solving time: 23.52 LOG SEQUENCE: NEW FIN CODE OK STORNO caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType H closeCode B speciality K isClosed 0.0 193. distance 8.71 encoding time: 0.97 solving time: 6.30 LOG SEQUENCE: NEW FIN CODE OK CODE OK BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 194. distance 7.3 encoding time: 0.98 solving time: 2.58 LOG SEQUENCE: NEW FIN RELEASE CODE OK CODE OK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t25 t4 caseType K closeCode B speciality F isClosed 0.0 195. distance 8.38 encoding time: 0.96 solving time: 2.32 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 196. distance 7.72 encoding time: 0.97 solving time: 6.51 LOG SEQUENCE: NEW CODE OK RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 197. distance 7.13 encoding time: 0.97 solving time: 8.95 LOG SEQUENCE: NEW FIN RELEASE CODE OK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 caseType H closeCode B speciality K isClosed 0.0 198. distance 6.42 encoding time: 0.95 solving time: 2.84 LOG SEQUENCE: NEW RELEASE CODE OK REOPEN CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 t25 caseType B closeCode B speciality K isClosed 0.0 199. distance 6.52 encoding time: 0.98 solving time: 6.23 LOG SEQUENCE: NEW FIN CODE OK REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> t4 caseType K closeCode B speciality B isClosed 0.0 200. distance 8.8 encoding time: 0.96 solving time: 6.33 LOG SEQUENCE: NEW FIN RELEASE FIN CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 201. distance 9.6 encoding time: 0.94 solving time: 8.70 LOG SEQUENCE: >> FIN RELEASE MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 202. distance 8.0 encoding time: 0.94 solving time: 2.35 LOG SEQUENCE: NEW FIN RELEASE FIN RELEASE MANUAL DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 caseType H closeCode B speciality K isClosed 0.0 203. distance 8.67 encoding time: 0.91 solving time: 3.67 LOG SEQUENCE: NEW FIN RELEASE MANUAL MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 204. distance 9.54 encoding time: 0.88 solving time: 6.45 LOG SEQUENCE: >> RELEASE BILLED MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 205. distance 8.03 encoding time: 0.94 solving time: 4.86 LOG SEQUENCE: NEW FIN RELEASE MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType C closeCode B speciality K isClosed 0.0 206. distance 9.28 encoding time: 0.88 solving time: 1.53 LOG SEQUENCE: NEW FIN RELEASE MANUAL MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType ? closeCode B speciality K isClosed 0.0 207. distance 8.38 encoding time: 0.97 solving time: 4.65 LOG SEQUENCE: NEW RELEASE REOPEN FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 208. distance 7.37 encoding time: 0.98 solving time: 2.26 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t4 >> >> t25 caseType K closeCode B speciality B isClosed 0.0 209. distance 6.47 encoding time: 0.97 solving time: 13.18 LOG SEQUENCE: NEW FIN REOPEN FIN EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> t4 caseType C closeCode B speciality F isClosed 0.0 210. distance 8.0 encoding time: 0.97 solving time: 2.42 LOG SEQUENCE: NEW FIN REOPEN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> >> caseType H closeCode B speciality F isClosed 0.0 211. distance 7.0 encoding time: 0.98 solving time: 3.15 LOG SEQUENCE: NEW FIN REOPEN FIN REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> t4 caseType K closeCode B speciality B isClosed 0.0 212. distance 7.34 encoding time: 0.88 solving time: 1.36 LOG SEQUENCE: NEW MANUAL MANUAL CHANGE END FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> caseType K closeCode B speciality K isClosed 0.0 213. distance 8.01 encoding time: 0.99 solving time: 1.83 LOG SEQUENCE: NEW NEW FIN RELEASE CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType ? closeCode B speciality K isClosed 0.0 214. distance 8.0 encoding time: 0.92 solving time: 1.29 LOG SEQUENCE: NEW NEW NEW FIN RELEASE CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 caseType C closeCode B speciality K isClosed 0.0 215. distance 9.0 encoding time: 0.91 solving time: 1.26 LOG SEQUENCE: NEW NEW NEW FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 216. distance 8.0 encoding time: 0.83 solving time: 0.65 LOG SEQUENCE: NEW NEW NEW NEW NEW NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> >> >> NEW t1 caseType K closeCode B speciality F isClosed 0.0 217. distance 8.86 encoding time: 0.79 solving time: 0.78 LOG SEQUENCE: NEW NEW NEW NEW NEW NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 218. distance 7.52 encoding time: 1.04 solving time: 22.09 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 219. distance 5.87 encoding time: 1.06 solving time: 27.18 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> t25 t10 caseType B closeCode B speciality B isClosed 0.0 220. distance 9.3 encoding time: 1.29 solving time: 8.01 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN FIN RELEASE CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 221. (solver timeout) encoding time: 1.07 solving time: 60.00 222. (solver timeout) encoding time: 1.07 solving time: 60.00 223. distance 10.23 encoding time: 1.07 solving time: 7.60 LOG SEQUENCE: >> CHANGE DIAGN CHANGE DIAGN FIN RELEASE CODE OK BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 224. distance 8.22 encoding time: 1.07 solving time: 51.87 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 225. distance 7.53 encoding time: 1.09 solving time: 10.24 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK REOPEN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN caseType B closeCode B speciality B isClosed 0.0 226. distance 5.19 encoding time: 1.09 solving time: 26.93 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 CHANGE DIAGN t10 caseType B closeCode B speciality B isClosed 0.0 227. distance 6.56 encoding time: 1.12 solving time: 9.20 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE OK RELEASE REOPEN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> t25 caseType B closeCode B speciality B isClosed 0.0 228. distance 9.54 encoding time: 1.10 solving time: 5.82 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK CODE NOK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> >> caseType B closeCode B speciality F isClosed 0.0 229. distance 8.11 encoding time: 1.11 solving time: 26.35 LOG SEQUENCE: NEW CHANGE DIAGN RELEASE CODE NOK CODE NOK SET STATUS DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> CHANGE DIAGN caseType B closeCode B speciality B isClosed 0.0 230. distance 9.0 encoding time: 1.18 solving time: 2.87 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK CODE OK BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> >> >> caseType B closeCode B speciality F isClosed 0.0 231. distance 6.55 encoding time: 1.12 solving time: 16.39 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE NOK REOPEN CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> CHANGE DIAGN >> t10 caseType B closeCode B speciality F isClosed 0.0 232. distance 7.38 encoding time: 1.12 solving time: 18.64 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> t25 caseType B closeCode B speciality K isClosed 0.0 233. (solver timeout) encoding time: 1.11 solving time: 60.00 234. distance 7.87 encoding time: 1.10 solving time: 14.48 LOG SEQUENCE: NEW CHANGE DIAGN RELEASE CODE NOK SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 235. distance 7.8 encoding time: 1.11 solving time: 28.31 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE OK BILLED BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 236. distance 8.86 encoding time: 1.07 solving time: 12.09 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK CODE OK MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 237. distance 9.0 encoding time: 1.07 solving time: 2.29 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK BILLED MANUAL CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> >> caseType B closeCode B speciality F isClosed 0.0 238. distance 9.14 encoding time: 1.04 solving time: 15.23 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 239. distance 9.12 encoding time: 1.10 solving time: 3.32 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK BILLED BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 240. distance 9.0 encoding time: 1.10 solving time: 3.20 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK BILLED STORNO REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 241. distance 8.53 encoding time: 1.10 solving time: 2.91 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK BILLED STORNO caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> >> caseType B closeCode B speciality B isClosed 0.0 242. distance 8.12 encoding time: 1.07 solving time: 11.88 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE MANUAL CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 243. distance 8.38 encoding time: 1.06 solving time: 16.69 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE OK MANUAL RELEASE CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> >> caseType B closeCode B speciality B isClosed 0.0 244. distance 9.51 encoding time: 1.10 solving time: 3.56 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 245. distance 6.31 encoding time: 1.16 solving time: 7.87 LOG SEQUENCE: NEW CHANGE DIAGN FIN 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 7.26 encoding time: 1.12 solving time: 4.73 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN >> t10 caseType B closeCode B speciality B isClosed 0.0 247. distance 6.42 encoding time: 1.12 solving time: 52.62 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> t25 t10 caseType B closeCode B speciality B isClosed 0.0 248. distance 9.84 encoding time: 1.10 solving time: 4.32 LOG SEQUENCE: >> CHANGE DIAGN FIN RELEASE CODE OK SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 249. (solver timeout) encoding time: 1.11 solving time: 60.00 250. distance 9.0 encoding time: 1.10 solving time: 2.53 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE SET STATUS RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> >> caseType B closeCode B speciality F isClosed 0.0 251. (solver timeout) encoding time: 1.11 solving time: 60.00 252. distance 6.79 encoding time: 1.13 solving time: 21.42 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN FIN RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN t25 >> >> t10 caseType B closeCode B speciality B isClosed 0.0 253. (solver timeout) encoding time: 1.13 solving time: 60.00 254. (solver timeout) encoding time: 1.11 solving time: 60.00 255. (solver timeout) encoding time: 1.10 solving time: 60.00 256. distance 13.07 encoding time: 1.13 solving time: 0.45 LOG SEQUENCE: >> FIN FIN RELEASE FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 257. distance 10.0 encoding time: 1.10 solving time: 3.02 LOG SEQUENCE: NEW FIN RELEASE BILLED STORNO REJECT MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType F closeCode B speciality K isClosed 0.0 258. distance 7.84 encoding time: 1.15 solving time: 10.46 LOG SEQUENCE: NEW FIN RELEASE BILLED STORNO REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 t25 caseType H closeCode B speciality F isClosed 0.0 259. distance 10.0 encoding time: 1.10 solving time: 1.94 LOG SEQUENCE: NEW FIN RELEASE CODE ERROR BILLED CODE NOK CODE NOK CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 260. distance 10.22 encoding time: 1.22 solving time: 4.31 LOG SEQUENCE: NEW FIN RELEASE CODE NOK BILLED STORNO REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 261. distance 8.82 encoding time: 1.13 solving time: 39.30 LOG SEQUENCE: NEW FIN RELEASE STORNO REJECT SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 262. distance 10.39 encoding time: 1.13 solving time: 3.33 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE NOK CODE NOK CODE NOK SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 263. distance 10.36 encoding time: 1.13 solving time: 2.52 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE OK BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 264. distance 9.66 encoding time: 1.13 solving time: 28.63 LOG SEQUENCE: RELEASE FIN RELEASE >> BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> NEW >> caseType H closeCode B speciality K isClosed 0.0 265. (solver timeout) encoding time: 1.14 solving time: 60.00 266. distance 8.46 encoding time: 1.13 solving time: 3.26 LOG SEQUENCE: NEW RELEASE CODE OK BILLED CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 267. distance 10.0 encoding time: 1.06 solving time: 1.98 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED CODE OK MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 268. distance 9.57 encoding time: 1.06 solving time: 11.35 LOG SEQUENCE: NEW FIN RELEASE BILLED MANUAL CODE OK MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 269. distance 7.62 encoding time: 1.11 solving time: 20.48 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 t25 caseType K closeCode B speciality F isClosed 0.0 270. distance 9.11 encoding time: 1.14 solving time: 31.74 LOG SEQUENCE: NEW FIN RELEASE BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 271. distance 9.59 encoding time: 1.13 solving time: 14.74 LOG SEQUENCE: NEW FIN RELEASE CODE OK STORNO REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 272. distance 8.62 encoding time: 1.13 solving time: 13.19 LOG SEQUENCE: NEW FIN RELEASE BILLED STORNO REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 273. distance 10.13 encoding time: 1.13 solving time: 33.13 LOG SEQUENCE: NEW RELEASE CODE OK STORNO SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 274. distance 9.48 encoding time: 1.13 solving time: 8.03 LOG SEQUENCE: NEW FIN RELEASE CODE OK CODE NOK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType C closeCode B speciality K isClosed 0.0 275. distance 9.01 encoding time: 1.22 solving time: 14.29 LOG SEQUENCE: NEW RELEASE CODE OK BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 276. distance 9.7 encoding time: 1.10 solving time: 5.92 LOG SEQUENCE: NEW FIN RELEASE CODE OK MANUAL CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 277. distance 7.9 encoding time: 1.11 solving time: 23.02 LOG SEQUENCE: NEW FIN MANUAL RELEASE CODE OK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType H closeCode B speciality K isClosed 0.0 278. distance 8.65 encoding time: 1.13 solving time: 11.30 LOG SEQUENCE: NEW FIN CODE OK RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 279. distance 7.36 encoding time: 1.14 solving time: 38.05 LOG SEQUENCE: NEW FIN REOPEN FIN RELEASE CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> >> caseType K closeCode B speciality F isClosed 0.0 280. distance 7.43 encoding time: 1.15 solving time: 19.31 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t4 >> t25 caseType K closeCode B speciality B isClosed 0.0 281. distance 9.14 encoding time: 1.13 solving time: 5.97 LOG SEQUENCE: NEW RELEASE FIN RELEASE CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 282. distance 7.54 encoding time: 1.15 solving time: 25.80 LOG SEQUENCE: NEW FIN RELEASE RELEASE CODE NOK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 t25 caseType K closeCode B speciality B isClosed 0.0 283. distance 9.66 encoding time: 1.13 solving time: 29.19 LOG SEQUENCE: NEW FIN RELEASE FIN FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> >> caseType C closeCode B speciality B isClosed 0.0 284. distance 10.0 encoding time: 1.10 solving time: 2.00 LOG SEQUENCE: NEW FIN RELEASE MANUAL BILLED STORNO REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 285. distance 8.18 encoding time: 1.14 solving time: 15.64 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> >> >> caseType H closeCode B speciality F isClosed 0.0 286. distance 9.34 encoding time: 1.15 solving time: 4.95 LOG SEQUENCE: NEW FIN RELEASE RELEASE SET STATUS SET STATUS DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 caseType H closeCode B speciality B isClosed 0.0 287. distance 9.0 encoding time: 1.14 solving time: 3.03 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN RELEASE CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> >> >> >> caseType H closeCode B speciality B isClosed 0.0 288. distance 8.29 encoding time: 1.14 solving time: 32.63 LOG SEQUENCE: NEW FIN RELEASE REOPEN RELEASE SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> >> caseType C closeCode B speciality F isClosed 0.0 289. distance 10.94 encoding time: 1.22 solving time: 4.68 LOG SEQUENCE: NEW RELEASE REOPEN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 290. distance 8.01 encoding time: 1.15 solving time: 30.22 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN EMPTY DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> t4 >> caseType F closeCode B speciality B isClosed 0.0 291. distance 7.79 encoding time: 1.16 solving time: 26.39 LOG SEQUENCE: NEW FIN RELEASE REOPEN RELEASE REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 t25 caseType H closeCode B speciality B isClosed 0.0 292. distance 8.53 encoding time: 1.14 solving time: 4.88 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN RELEASE SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> >> >> caseType H closeCode B speciality F isClosed 0.0 293. distance 9.63 encoding time: 1.11 solving time: 37.32 LOG SEQUENCE: >> FIN REOPEN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> >> >> caseType K closeCode B speciality B isClosed 0.0 294. distance 10.14 encoding time: 1.14 solving time: 6.64 LOG SEQUENCE: >> FIN REOPEN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> >> >> caseType H closeCode B speciality B isClosed 0.0 295. distance 9.0 encoding time: 0.99 solving time: 1.74 LOG SEQUENCE: NEW NEW JOIN-PAT JOIN-PAT JOIN-PAT JOIN-PAT DELETE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 >> caseType H closeCode B speciality K isClosed 0.0 296. distance 10.0 encoding time: 1.04 solving time: 1.87 LOG SEQUENCE: NEW NEW NEW NEW FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 297. distance 6.61 encoding time: 0.95 solving time: 54.93 LOG SEQUENCE: NEW NEW NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 caseType H closeCode B speciality K isClosed 0.0 298. (solver timeout) encoding time: 1.17 solving time: 60.00 299. (solver timeout) encoding time: 1.20 solving time: 60.00 300. distance 9.71 encoding time: 1.21 solving time: 9.58 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN CHANGE DIAGN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 301. distance 8.22 encoding time: 1.23 solving time: 7.50 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN CHANGE DIAGN FIN RELEASE CODE OK REOPEN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE DIAGN >> >> t25 caseType B closeCode B speciality F isClosed 0.0 302. distance 9.42 encoding time: 1.32 solving time: 7.31 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK CODE NOK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 303. distance 10.0 encoding time: 1.24 solving time: 6.16 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN RELEASE CODE NOK CODE OK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 304. (solver timeout) encoding time: 1.17 solving time: 60.00 305. distance 9.84 encoding time: 1.24 solving time: 32.60 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 306. (solver timeout) encoding time: 1.24 solving time: 60.00 307. distance 10.0 encoding time: 1.21 solving time: 4.69 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN RELEASE CODE OK MANUAL CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 308. distance 9.01 encoding time: 1.24 solving time: 41.14 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 309. distance 9.0 encoding time: 1.25 solving time: 9.61 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN REOPEN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 t25 CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality B isClosed 0.0 310. distance 9.0 encoding time: 1.24 solving time: 8.52 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN SET STATUS SET STATUS REOPEN FIN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 t25 >> >> CHANGE DIAGN >> >> caseType B closeCode B speciality B isClosed 0.0 311. (solver timeout) encoding time: 1.25 solving time: 60.00 312. (solver timeout) encoding time: 1.28 solving time: 60.00 313. distance 9.4 encoding time: 1.28 solving time: 39.85 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE OK REOPEN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality F isClosed 0.0 314. (solver timeout) encoding time: 1.36 solving time: 60.00 315. distance 10.46 encoding time: 1.24 solving time: 5.12 LOG SEQUENCE: NEW FIN RELEASE CODE ERROR BILLED CODE NOK CODE NOK CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 316. distance 9.5 encoding time: 1.27 solving time: 17.85 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK CODE NOK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 317. distance 11.14 encoding time: 1.28 solving time: 6.44 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK CODE OK BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 318. distance 8.37 encoding time: 1.24 solving time: 55.97 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 319. (solver timeout) encoding time: 1.20 solving time: 60.00 320. (solver timeout) encoding time: 1.28 solving time: 60.00 321. distance 9.49 encoding time: 1.27 solving time: 37.59 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE BILLED STORNO REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 322. distance 8.45 encoding time: 1.29 solving time: 19.47 LOG SEQUENCE: NEW RELEASE CODE OK BILLED STORNO REJECT DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 caseType C closeCode B speciality K isClosed 0.0 323. (solver timeout) encoding time: 1.27 solving time: 60.00 324. distance 8.78 encoding time: 1.29 solving time: 30.20 LOG SEQUENCE: NEW RELEASE CODE OK BILLED STORNO REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 caseType K closeCode B speciality K isClosed 0.0 325. distance 11.46 encoding time: 1.28 solving time: 5.40 LOG SEQUENCE: >> CHANGE DIAGN FIN RELEASE CODE OK CODE OK BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 326. (solver timeout) encoding time: 1.32 solving time: 60.00 327. distance 8.32 encoding time: 1.29 solving time: 8.63 LOG SEQUENCE: NEW FIN RELEASE CODE OK RELEASE CODE OK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> t4 t25 caseType H closeCode B speciality B isClosed 0.0 328. distance 9.19 encoding time: 1.28 solving time: 12.79 LOG SEQUENCE: NEW FIN RELEASE CODE OK REOPEN FIN CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> >> caseType H closeCode B speciality B isClosed 0.0 329. distance 7.49 encoding time: 1.28 solving time: 56.87 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE OK REOPEN FIN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> CHANGE DIAGN >> >> caseType B closeCode B speciality B isClosed 0.0 330. distance 6.79 encoding time: 1.30 solving time: 38.22 LOG SEQUENCE: NEW CHANGE DIAGN RELEASE 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 331. (solver timeout) encoding time: 1.28 solving time: 60.00 332. distance 8.87 encoding time: 1.25 solving time: 7.85 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN CHANGE DIAGN FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN t25 >> >> >> >> caseType B closeCode B speciality B isClosed 0.0 333. (solver timeout) encoding time: 1.28 solving time: 60.00 334. distance 8.21 encoding time: 1.28 solving time: 30.37 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN t25 >> >> >> >> caseType B closeCode B speciality B isClosed 0.0 335. distance 9.42 encoding time: 1.28 solving time: 14.70 LOG SEQUENCE: NEW FIN REOPEN FIN RELEASE CODE OK BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> >> >> >> caseType K closeCode B speciality F isClosed 0.0 336. distance 7.42 encoding time: 1.30 solving time: 48.44 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN t10 caseType B closeCode B speciality F isClosed 0.0 337. distance 10.32 encoding time: 1.27 solving time: 31.81 LOG SEQUENCE: NEW CODE OK RELEASE CODE OK RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 338. distance 11.66 encoding time: 1.21 solving time: 3.01 LOG SEQUENCE: NEW FIN RELEASE BILLED MANUAL MANUAL MANUAL MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 339. distance 10.38 encoding time: 1.28 solving time: 14.28 LOG SEQUENCE: NEW FIN BILLED STORNO BILLED STORNO MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 340. distance 10.47 encoding time: 1.24 solving time: 3.96 LOG SEQUENCE: NEW FIN RELEASE BILLED STORNO REJECT BILLED MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 341. distance 10.55 encoding time: 1.31 solving time: 35.32 LOG SEQUENCE: NEW FIN RELEASE BILLED REJECT FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 342. distance 9.75 encoding time: 1.32 solving time: 10.29 LOG SEQUENCE: NEW FIN RELEASE BILLED STORNO SET STATUS FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> t1 caseType K closeCode B speciality F isClosed 0.0 343. distance 9.0 encoding time: 1.32 solving time: 3.88 LOG SEQUENCE: NEW FIN RELEASE BILLED STORNO SET STATUS SET STATUS REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> t25 t4 caseType K closeCode B speciality B isClosed 0.0 344. (solver timeout) encoding time: 1.27 solving time: 60.00 345. distance 9.77 encoding time: 1.32 solving time: 25.02 LOG SEQUENCE: NEW FIN RELEASE CODE NOK STORNO REJECT RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 346. distance 9.29 encoding time: 1.33 solving time: 6.45 LOG SEQUENCE: NEW FIN RELEASE CODE NOK BILLED STORNO REJECT REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> t4 t25 caseType K closeCode B speciality B isClosed 0.0 347. distance 11.83 encoding time: 1.31 solving time: 26.30 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE NOK STORNO REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 348. (solver timeout) encoding time: 1.31 solving time: 60.00 349. distance 12.14 encoding time: 1.31 solving time: 5.98 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE OK BILLED STORNO REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 350. distance 8.78 encoding time: 1.40 solving time: 41.69 LOG SEQUENCE: NEW FIN RELEASE CODE NOK RELEASE CODE NOK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> t4 t25 caseType C closeCode B speciality F isClosed 0.0 351. distance 8.9 encoding time: 1.31 solving time: 26.15 LOG SEQUENCE: NEW FIN RELEASE CODE NOK REOPEN RELEASE CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t4 >> >> caseType F closeCode B speciality B isClosed 0.0 352. distance 9.0 encoding time: 1.32 solving time: 8.18 LOG SEQUENCE: NEW FIN RELEASE CODE NOK REOPEN FIN RELEASE CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> >> >> t4 caseType K closeCode B speciality B isClosed 0.0 353. distance 8.76 encoding time: 1.31 solving time: 38.30 LOG SEQUENCE: NEW FIN RELEASE CODE NOK REOPEN RELEASE CODE NOK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> >> t4 caseType C closeCode B speciality B isClosed 0.0 354. distance 9.78 encoding time: 1.31 solving time: 57.02 LOG SEQUENCE: NEW RELEASE REOPEN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 355. distance 11.6 encoding time: 1.32 solving time: 37.74 LOG SEQUENCE: NEW FIN CODE OK BILLED STORNO BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 356. distance 9.69 encoding time: 1.31 solving time: 53.97 LOG SEQUENCE: NEW FIN RELEASE BILLED STORNO REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 357. distance 12.46 encoding time: 1.31 solving time: 6.68 LOG SEQUENCE: >> FIN RELEASE CODE OK BILLED STORNO REJECT CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 358. (solver timeout) encoding time: 1.30 solving time: 60.00 359. (solver timeout) encoding time: 1.32 solving time: 60.00 360. distance 10.0 encoding time: 1.31 solving time: 4.42 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED STORNO REJECT REOPEN FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> t25 >> caseType K closeCode B speciality F isClosed 0.0 361. distance 10.71 encoding time: 1.30 solving time: 18.86 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED REJECT SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 362. distance 12.45 encoding time: 1.39 solving time: 4.76 LOG SEQUENCE: FIN RELEASE CODE OK CODE OK BILLED STORNO >> REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> >> >> >> NEW >> >> caseType K closeCode B speciality K isClosed 0.0 363. distance 9.44 encoding time: 1.30 solving time: 6.31 LOG SEQUENCE: NEW RELEASE CODE OK CODE OK CODE NOK CODE OK CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType C closeCode B speciality K isClosed 0.0 364. distance 10.3 encoding time: 1.27 solving time: 6.38 LOG SEQUENCE: NEW RELEASE CODE OK CODE OK MANUAL RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 365. distance 9.43 encoding time: 1.29 solving time: 7.29 LOG SEQUENCE: NEW FIN RELEASE CODE OK MANUAL RELEASE CODE OK REOPEN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> t25 caseType H closeCode B speciality B isClosed 0.0 366. distance 10.84 encoding time: 1.30 solving time: 22.95 LOG SEQUENCE: NEW FIN RELEASE RELEASE CODE OK BILLED STORNO SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 367. distance 10.81 encoding time: 1.31 solving time: 4.64 LOG SEQUENCE: NEW FIN RELEASE CODE OK RELEASE CODE OK RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 368. (solver timeout) encoding time: 1.31 solving time: 60.00 369. distance 10.74 encoding time: 1.31 solving time: 57.87 LOG SEQUENCE: NEW RELEASE CODE OK FIN RELEASE CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 370. (solver timeout) encoding time: 1.33 solving time: 60.00 371. distance 10.72 encoding time: 1.27 solving time: 17.94 LOG SEQUENCE: NEW FIN RELEASE FIN RELEASE BILLED STORNO MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 372. distance 12.27 encoding time: 1.30 solving time: 9.20 LOG SEQUENCE: >> FIN RELEASE FIN RELEASE FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 >> >> >> caseType H closeCode B speciality B isClosed 0.0 373. (solver timeout) encoding time: 1.12 solving time: 60.00 374. (solver timeout) encoding time: 1.36 solving time: 60.00 375. (solver timeout) encoding time: 1.31 solving time: 60.00 376. (solver timeout) encoding time: 1.32 solving time: 60.00 377. distance 11.14 encoding time: 1.31 solving time: 13.98 LOG SEQUENCE: >> FIN RELEASE SET STATUS SET STATUS REOPEN FIN RELEASE SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 >> >> >> caseType K closeCode B speciality B isClosed 0.0 378. (solver timeout) encoding time: 1.31 solving time: 60.00 379. (solver timeout) encoding time: 1.32 solving time: 60.00 380. (solver timeout) encoding time: 1.32 solving time: 60.00 381. distance 10.0 encoding time: 1.32 solving time: 7.27 LOG SEQUENCE: NEW FIN REOPEN FIN REOPEN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 t25 >> >> >> >> caseType K closeCode B speciality F isClosed 0.0 382. distance 8.78 encoding time: 1.22 solving time: 12.81 LOG SEQUENCE: NEW NEW NEW FIN RELEASE CODE NOK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> t25 t4 caseType K closeCode B speciality F isClosed 0.0 383. distance 9.59 encoding time: 1.07 solving time: 6.93 LOG SEQUENCE: 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.0 encoding time: 1.02 solving time: 1.07 LOG SEQUENCE: NEW NEW NEW NEW NEW NEW NEW NEW NEW >> caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> >> >> >> >> >> NEW t1 caseType B closeCode B speciality K isClosed 0.0 385. (solver timeout) encoding time: 1.31 solving time: 60.00 386. (solver timeout) encoding time: 1.46 solving time: 60.00 387. (solver timeout) encoding time: 1.39 solving time: 60.00 388. (solver timeout) encoding time: 1.33 solving time: 60.00 389. (solver timeout) encoding time: 1.42 solving time: 60.00 390. (solver timeout) encoding time: 1.38 solving time: 60.00 391. (solver timeout) encoding time: 1.42 solving time: 60.00 392. (solver timeout) encoding time: 1.39 solving time: 60.00 393. (solver timeout) encoding time: 1.42 solving time: 60.00 394. (solver timeout) encoding time: 1.46 solving time: 60.00 395. (solver timeout) encoding time: 1.42 solving time: 60.00 396. (solver timeout) encoding time: 1.45 solving time: 60.00 397. (solver timeout) encoding time: 1.46 solving time: 60.00 398. distance 10.72 encoding time: 1.46 solving time: 9.54 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE OK BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 399. (solver timeout) encoding time: 1.46 solving time: 60.00 400. (solver timeout) encoding time: 1.46 solving time: 60.00 401. (solver timeout) encoding time: 1.46 solving time: 60.00 402. (solver timeout) encoding time: 1.46 solving time: 60.00 403. (solver timeout) encoding time: 1.46 solving time: 60.00 404. distance 9.0 encoding time: 1.48 solving time: 7.92 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK BILLED 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. (solver timeout) encoding time: 1.46 solving time: 60.00 406. (solver timeout) encoding time: 1.46 solving time: 60.00 407. distance 9.0 encoding time: 1.48 solving time: 8.24 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK REOPEN FIN RELEASE REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> t25 >> CHANGE DIAGN t10 caseType B closeCode B speciality B isClosed 0.0 408. (solver timeout) encoding time: 1.51 solving time: 60.00 409. (solver timeout) encoding time: 1.46 solving time: 60.00 410. (solver timeout) encoding time: 1.46 solving time: 60.00 411. (solver timeout) encoding time: 1.48 solving time: 60.00 412. (solver timeout) encoding time: 1.43 solving time: 60.00 413. (solver timeout) encoding time: 1.47 solving time: 60.00 414. distance 10.0 encoding time: 1.47 solving time: 35.09 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN FIN REOPEN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE DIAGN t25 >> >> >> >> caseType B closeCode B speciality F isClosed 0.0 415. distance 11.0 encoding time: 1.45 solving time: 11.96 LOG SEQUENCE: NEW CHANGE DIAGN FIN SET STATUS RELEASE CODE OK BILLED STORNO REJECT SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 416. distance 11.26 encoding time: 1.42 solving time: 55.42 LOG SEQUENCE: NEW FIN RELEASE BILLED MANUAL BILLED MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 417. distance 10.76 encoding time: 1.26 solving time: 38.51 LOG SEQUENCE: NEW RELEASE BILLED MANUAL MANUAL MANUAL MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 418. distance 11.59 encoding time: 1.50 solving time: 12.01 LOG SEQUENCE: NEW RELEASE BILLED STORNO REJECT BILLED STORNO REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 419. distance 12.0 encoding time: 1.50 solving time: 4.56 LOG SEQUENCE: NEW FIN RELEASE CODE ERROR MANUAL RELEASE CODE NOK CODE NOK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 420. (solver timeout) encoding time: 1.52 solving time: 60.00 421. (solver timeout) encoding time: 1.50 solving time: 60.00 422. (solver timeout) encoding time: 1.49 solving time: 60.00 423. (solver timeout) encoding time: 1.50 solving time: 60.00 424. (solver timeout) encoding time: 1.50 solving time: 60.00 425. (solver timeout) encoding time: 1.50 solving time: 60.00 426. (solver timeout) encoding time: 1.51 solving time: 60.00 427. distance 12.0 encoding time: 1.49 solving time: 5.96 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE OK CODE OK BILLED STORNO REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 428. distance 11.0 encoding time: 1.50 solving time: 13.35 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE OK REOPEN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t25 >> >> >> >> caseType H closeCode B speciality B isClosed 0.0 429. (solver timeout) encoding time: 1.46 solving time: 60.00 430. (solver timeout) encoding time: 1.58 solving time: 60.00 431. (solver timeout) encoding time: 1.49 solving time: 60.00 432. (solver timeout) encoding time: 1.52 solving time: 60.00 433. distance 10.14 encoding time: 1.49 solving time: 14.05 LOG SEQUENCE: NEW FIN RELEASE CODE NOK REOPEN FIN SET STATUS RELEASE CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> >> >> >> caseType F closeCode B speciality B isClosed 0.0 434. (solver timeout) encoding time: 1.49 solving time: 60.00 435. (solver timeout) encoding time: 1.49 solving time: 60.00 436. distance 12.0 encoding time: 1.37 solving time: 4.36 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED CODE OK MANUAL MANUAL CODE OK MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 437. (solver timeout) encoding time: 1.51 solving time: 60.00 438. distance 12.61 encoding time: 1.50 solving time: 14.73 LOG SEQUENCE: >> RELEASE CODE OK BILLED STORNO BILLED STORNO REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType C closeCode B speciality K isClosed 0.0 439. distance 10.59 encoding time: 1.49 solving time: 43.88 LOG SEQUENCE: NEW FIN CODE OK BILLED STORNO REJECT BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 440. distance 11.38 encoding time: 1.49 solving time: 8.51 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED STORNO REJECT RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 441. (solver timeout) encoding time: 1.56 solving time: 60.00 442. (solver timeout) encoding time: 1.50 solving time: 60.00 443. (solver timeout) encoding time: 1.51 solving time: 60.00 444. distance 10.12 encoding time: 1.49 solving time: 11.87 LOG SEQUENCE: NEW FIN RELEASE CODE OK CODE OK REOPEN FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 >> >> >> caseType K closeCode B speciality F isClosed 0.0 445. (solver timeout) encoding time: 1.46 solving time: 60.00 446. (solver timeout) encoding time: 1.50 solving time: 60.00 447. (solver timeout) encoding time: 1.50 solving time: 60.00 448. (solver timeout) encoding time: 1.52 solving time: 60.00 449. (solver timeout) encoding time: 1.50 solving time: 60.00 450. distance 11.19 encoding time: 1.25 solving time: 3.90 LOG SEQUENCE: NEW FIN RELEASE MANUAL MANUAL MANUAL BILLED MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 451. (solver timeout) encoding time: 1.50 solving time: 60.00 452. distance 10.52 encoding time: 1.59 solving time: 22.81 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN RELEASE REOPEN FIN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> >> >> >> >> caseType K closeCode B speciality B isClosed 0.0 453. (solver timeout) encoding time: 1.51 solving time: 60.00 454. (solver timeout) encoding time: 1.52 solving time: 60.00 455. (solver timeout) encoding time: 1.51 solving time: 60.00 456. (solver timeout) encoding time: 1.44 solving time: 60.00 457. (solver timeout) encoding time: 1.50 solving time: 60.00 458. distance 11.51 encoding time: 1.34 solving time: 5.89 LOG SEQUENCE: NEW MANUAL FIN RELEASE MANUAL FIN RELEASE MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 459. distance 10.81 encoding time: 1.35 solving time: 4.62 LOG SEQUENCE: NEW MANUAL MANUAL BILLED STORNO BILLED STORNO REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 460. distance 11.85 encoding time: 1.19 solving time: 10.28 LOG SEQUENCE: NEW RELEASE BILLED MANUAL MANUAL MANUAL MANUAL MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 461. (solver timeout) encoding time: 1.39 solving time: 60.00 462. distance 11.0 encoding time: 1.54 solving time: 58.26 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN CHANGE DIAGN FIN RELEASE REOPEN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 t25 >> CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality B isClosed 0.0 463. (solver timeout) encoding time: 1.62 solving time: 60.00 464. (solver timeout) encoding time: 1.58 solving time: 60.00 465. (solver timeout) encoding time: 1.52 solving time: 60.00 466. (solver timeout) encoding time: 1.44 solving time: 60.00 467. (solver timeout) encoding time: 1.58 solving time: 60.00 468. (solver timeout) encoding time: 1.59 solving time: 60.00 469. (solver timeout) encoding time: 1.53 solving time: 60.00 470. (solver timeout) encoding time: 1.58 solving time: 60.00 471. (solver timeout) encoding time: 1.58 solving time: 60.00 472. (solver timeout) encoding time: 1.60 solving time: 60.00 473. (solver timeout) encoding time: 1.67 solving time: 60.00 474. (solver timeout) encoding time: 1.57 solving time: 60.00 475. (solver timeout) encoding time: 1.57 solving time: 60.00 476. (solver timeout) encoding time: 1.61 solving time: 60.00 477. (solver timeout) encoding time: 1.63 solving time: 60.00 478. (solver timeout) encoding time: 1.62 solving time: 60.00 479. distance 11.46 encoding time: 1.62 solving time: 52.47 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE OK REOPEN FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 >> >> >> >> caseType H closeCode B speciality B isClosed 0.0 480. (solver timeout) encoding time: 1.58 solving time: 60.00 481. (solver timeout) encoding time: 1.62 solving time: 60.00 482. (solver timeout) encoding time: 1.70 solving time: 60.00 483. (solver timeout) encoding time: 1.61 solving time: 60.00 484. (solver timeout) encoding time: 1.53 solving time: 60.00 485. (solver timeout) encoding time: 1.62 solving time: 60.00 486. (solver timeout) encoding time: 1.62 solving time: 60.00 487. distance 13.36 encoding time: 1.62 solving time: 20.49 LOG SEQUENCE: >> CHANGE DIAGN FIN RELEASE CODE OK BILLED STORNO REJECT BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 488. distance 11.92 encoding time: 1.61 solving time: 14.03 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED STORNO REJECT RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 489. (solver timeout) encoding time: 1.60 solving time: 60.00 490. (solver timeout) encoding time: 1.61 solving time: 60.00 491. distance 11.14 encoding time: 1.58 solving time: 47.32 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED STORNO SET STATUS SET STATUS DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> t25 caseType H closeCode B speciality F isClosed 0.0 492. (solver timeout) encoding time: 1.62 solving time: 60.00 493. (solver timeout) encoding time: 1.62 solving time: 60.00 494. (solver timeout) encoding time: 1.61 solving time: 60.00 495. (solver timeout) encoding time: 1.57 solving time: 60.00 496. (solver timeout) encoding time: 1.62 solving time: 60.00 497. (solver timeout) encoding time: 1.58 solving time: 60.00 498. (solver timeout) encoding time: 1.62 solving time: 60.00 499. distance 12.44 encoding time: 1.62 solving time: 41.86 LOG SEQUENCE: >> CHANGE DIAGN FIN RELEASE CODE OK REOPEN FIN CODE OK RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN >> >> >> >> >> caseType B closeCode B speciality B isClosed 0.0 500. (solver timeout) encoding time: 1.62 solving time: 60.00 501. (solver timeout) encoding time: 1.70 solving time: 60.00 502. (solver timeout) encoding time: 1.64 solving time: 60.00 503. (solver timeout) encoding time: 1.58 solving time: 60.00 504. (solver timeout) encoding time: 1.62 solving time: 60.00 505. (solver timeout) encoding time: 1.62 solving time: 60.00 506. (solver timeout) encoding time: 1.62 solving time: 60.00 507. (solver timeout) encoding time: 1.63 solving time: 60.00 508. (solver timeout) encoding time: 1.59 solving time: 60.00 509. (solver timeout) encoding time: 1.62 solving time: 60.00 510. (solver timeout) encoding time: 1.63 solving time: 60.00 511. distance 12.0 encoding time: 1.74 solving time: 30.26 LOG SEQUENCE: NEW FIN FIN RELEASE REOPEN FIN RELEASE FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> t4 >> >> >> >> >> >> caseType H closeCode B speciality B isClosed 0.0 512. (solver timeout) encoding time: 1.49 solving time: 60.00 513. (solver timeout) encoding time: 1.48 solving time: 60.00 514. (solver timeout) encoding time: 1.61 solving time: 60.00 515. (solver timeout) encoding time: 1.68 solving time: 60.00 516. (solver timeout) encoding time: 1.67 solving time: 60.00 517. (solver timeout) encoding time: 1.66 solving time: 60.00 518. distance 11.85 encoding time: 1.66 solving time: 21.68 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE NOK CODE OK REOPEN FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> t4 >> >> >> caseType K closeCode B speciality F isClosed 0.0 519. (solver timeout) encoding time: 1.61 solving time: 60.00 520. distance 12.0 encoding time: 1.74 solving time: 12.79 LOG SEQUENCE: NEW FIN RELEASE CODE NOK REOPEN FIN RELEASE CODE NOK BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> >> >> >> >> >> caseType H closeCode B speciality F isClosed 0.0 521. (solver timeout) encoding time: 1.66 solving time: 60.00 522. (solver timeout) encoding time: 1.67 solving time: 60.00 523. (solver timeout) encoding time: 1.65 solving time: 60.00 524. (solver timeout) encoding time: 1.65 solving time: 60.00 525. (solver timeout) encoding time: 1.67 solving time: 60.00 526. (solver timeout) encoding time: 1.66 solving time: 60.00 527. distance 11.23 encoding time: 1.68 solving time: 23.00 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED STORNO BILLED STORNO REJECT REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> t4 t25 caseType F closeCode B speciality B isClosed 0.0 528. (solver timeout) encoding time: 1.66 solving time: 60.00 529. (solver timeout) encoding time: 1.65 solving time: 60.00 530. (solver timeout) encoding time: 1.76 solving time: 60.00 531. (solver timeout) encoding time: 1.65 solving time: 60.00 532. (solver timeout) encoding time: 1.61 solving time: 60.00 533. (solver timeout) encoding time: 1.65 solving time: 60.00 534. (solver timeout) encoding time: 1.67 solving time: 60.00 535. (solver timeout) encoding time: 1.68 solving time: 60.00 536. (solver timeout) encoding time: 1.65 solving time: 60.00 537. distance 13.0 encoding time: 1.61 solving time: 7.93 LOG SEQUENCE: NEW FIN RELEASE CODE OK MANUAL RELEASE CODE OK BILLED STORNO REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 538. (solver timeout) encoding time: 1.66 solving time: 60.00 539. (solver timeout) encoding time: 1.74 solving time: 60.00 540. (solver timeout) encoding time: 1.66 solving time: 60.00 541. (solver timeout) encoding time: 1.67 solving time: 60.00 542. (solver timeout) encoding time: 1.67 solving time: 60.00 543. distance 11.69 encoding time: 1.67 solving time: 46.38 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN RELEASE REOPEN FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> t4 >> >> >> caseType K closeCode B speciality F isClosed 0.0 544. (solver timeout) encoding time: 1.67 solving time: 60.00 545. (solver timeout) encoding time: 1.68 solving time: 60.00 546. (solver timeout) encoding time: 1.67 solving time: 60.00 547. distance 11.25 encoding time: 1.29 solving time: 2.75 LOG SEQUENCE: NEW NEW NEW NEW NEW NEW NEW NEW NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> t1 caseType H closeCode B speciality K isClosed 0.0 548. (solver timeout) encoding time: 1.81 solving time: 60.00 549. (solver timeout) encoding time: 1.73 solving time: 60.00 550. (solver timeout) encoding time: 1.73 solving time: 60.00 551. (solver timeout) encoding time: 1.78 solving time: 60.00 552. distance 16.86 encoding time: 1.77 solving time: 0.70 LOG SEQUENCE: NEW >> CHANGE DIAGN CHANGE DIAGN FIN RELEASE CODE OK STORNO REJECT RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 553. (solver timeout) encoding time: 1.73 solving time: 60.00 554. (solver timeout) encoding time: 1.77 solving time: 60.00 555. (solver timeout) encoding time: 1.78 solving time: 60.00 556. distance 13.73 encoding time: 1.81 solving time: 39.32 LOG SEQUENCE: NEW CODE OK FIN RELEASE CODE OK BILLED STORNO REJECT RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 557. distance 12.0 encoding time: 1.90 solving time: 30.24 LOG SEQUENCE: NEW CHANGE DIAGN CODE OK FIN RELEASE CODE OK REOPEN CODE OK FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> >> t25 >> >> >> >> >> caseType B closeCode B speciality F isClosed 0.0 558. distance 13.0 encoding time: 1.76 solving time: 16.66 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE ERROR BILLED STORNO REJECT RELEASE CODE NOK CODE NOK SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 559. (solver timeout) encoding time: 1.73 solving time: 60.00 560. (solver timeout) encoding time: 1.77 solving time: 60.00 561. (solver timeout) encoding time: 1.77 solving time: 60.00 562. (solver timeout) encoding time: 1.82 solving time: 60.00 563. (solver timeout) encoding time: 1.78 solving time: 60.00 564. distance 12.0 encoding time: 1.82 solving time: 35.77 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK CODE NOK REOPEN FIN RELEASE CODE NOK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> CHANGE DIAGN >> >> >> >> >> caseType B closeCode B speciality B isClosed 0.0 565. (solver timeout) encoding time: 1.90 solving time: 60.00 566. (solver timeout) encoding time: 1.83 solving time: 60.00 567. (solver timeout) encoding time: 1.82 solving time: 60.00 568. (solver timeout) encoding time: 1.77 solving time: 60.00 569. (solver timeout) encoding time: 1.82 solving time: 60.00 570. (solver timeout) encoding time: 1.81 solving time: 60.00 571. (solver timeout) encoding time: 1.81 solving time: 60.00 572. (solver timeout) encoding time: 1.77 solving time: 60.00 573. (solver timeout) encoding time: 1.90 solving time: 60.00 574. (solver timeout) encoding time: 1.81 solving time: 60.00 575. (solver timeout) encoding time: 1.71 solving time: 60.00 576. (solver timeout) encoding time: 1.82 solving time: 60.00 577. (solver timeout) encoding time: 1.79 solving time: 60.00 578. (solver timeout) encoding time: 1.77 solving time: 60.00 579. distance 11.22 encoding time: 1.73 solving time: 23.61 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK REOPEN FIN RELEASE CODE OK BILLED MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> t25 >> >> >> >> >> caseType B closeCode B speciality F isClosed 0.0 580. distance 11.28 encoding time: 1.82 solving time: 34.85 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK REOPEN FIN RELEASE CODE OK BILLED STORNO caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN >> >> >> >> >> caseType B closeCode B speciality B isClosed 0.0 581. (solver timeout) encoding time: 1.82 solving time: 60.00 582. (solver timeout) encoding time: 1.83 solving time: 60.00 583. (solver timeout) encoding time: 1.82 solving time: 60.00 584. (solver timeout) encoding time: 1.79 solving time: 60.00 585. (solver timeout) encoding time: 1.82 solving time: 60.00 586. (solver timeout) encoding time: 1.77 solving time: 60.00 587. (solver timeout) encoding time: 1.83 solving time: 60.00 588. (solver timeout) encoding time: 1.83 solving time: 60.00 589. (solver timeout) encoding time: 1.83 solving time: 60.00 590. (solver timeout) encoding time: 1.90 solving time: 60.00 591. (solver timeout) encoding time: 1.85 solving time: 60.00 592. (solver timeout) encoding time: 1.84 solving time: 60.00 593. (solver timeout) encoding time: 1.79 solving time: 60.00 594. (solver timeout) encoding time: 1.82 solving time: 60.00 595. (solver timeout) encoding time: 1.81 solving time: 60.00 596. (solver timeout) encoding time: 1.88 solving time: 60.00 597. (solver timeout) encoding time: 1.86 solving time: 60.00 598. (solver timeout) encoding time: 1.94 solving time: 60.00 599. (solver timeout) encoding time: 1.87 solving time: 60.00 600. (solver timeout) encoding time: 1.87 solving time: 60.00 601. (solver timeout) encoding time: 1.77 solving time: 60.00 602. (solver timeout) encoding time: 1.85 solving time: 60.00 603. (solver timeout) encoding time: 1.86 solving time: 60.00 604. (solver timeout) encoding time: 1.88 solving time: 60.00 605. distance 13.0 encoding time: 1.81 solving time: 18.74 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED STORNO REJECT CHANGE END FIN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> t1 t4 >> >> >> caseType K closeCode B speciality F isClosed 0.0 606. (solver timeout) encoding time: 1.94 solving time: 60.00 607. (solver timeout) encoding time: 1.87 solving time: 60.00 608. (solver timeout) encoding time: 1.86 solving time: 60.00 609. (solver timeout) encoding time: 1.86 solving time: 60.00 610. (solver timeout) encoding time: 1.87 solving time: 60.00 611. (solver timeout) encoding time: 1.82 solving time: 60.00 612. (solver timeout) encoding time: 1.81 solving time: 60.00 613. (solver timeout) encoding time: 1.87 solving time: 60.00 614. (solver timeout) encoding time: 1.86 solving time: 60.00 615. (solver timeout) encoding time: 1.95 solving time: 60.00 616. distance 13.0 encoding time: 1.81 solving time: 44.19 LOG SEQUENCE: NEW FIN RELEASE CODE OK REOPEN FIN RELEASE CODE OK MANUAL RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> >> >> >> >> >> >> caseType K closeCode B speciality F isClosed 0.0 617. (solver timeout) encoding time: 1.88 solving time: 60.00 618. (solver timeout) encoding time: 1.87 solving time: 60.00 619. (solver timeout) encoding time: 1.85 solving time: 60.00 620. (solver timeout) encoding time: 1.87 solving time: 60.00 encoding time: total 751.33 avg 1.21 median 1.24 solving time: total 17601.56 avg 28.34 median 8.52 timeouts: 228 distance 11.92: 1 distance 7.72: 1 distance 10.76: 1 distance 6.79: 2 distance 5.26: 2 distance 3.0: 5 distance 7.13: 1 distance 7.9: 1 distance 5.49: 2 distance 8.76: 2 distance 7.36: 1 distance 8.45: 1 distance 11.66: 1 distance 4.54: 1 distance 8.11: 1 distance 13.73: 1 distance 8.9: 1 distance 8.32: 1 distance 5.39: 1 distance 6.32: 1 distance 10.52: 1 distance 7.25: 1 distance 4.47: 1 distance 7.44: 1 distance 8.55: 1 distance 7.54: 1 distance 4.25: 1 distance 7.94: 1 distance 11.59: 1 distance 9.63: 2 distance 8.78: 3 distance 9.44: 1 distance 4.3: 1 distance 9.29: 1 distance 9.19: 1 distance 7.76: 1 distance 7.52: 1 distance 11.83: 1 distance 11.38: 1 distance 7.26: 1 distance 8.21: 1 distance 8.42: 1 distance 8.6: 1 distance 6.17: 1 distance 9.77: 1 distance 6.64: 2 distance 10.55: 1 distance 10.39: 1 distance 5.4: 1 distance 10.81: 2 distance 6.47: 2 distance 6.25: 1 distance 8.03: 1 distance 7.58: 1 distance 8.5: 1 distance 10.47: 1 distance 7.5: 1 distance 6.01: 1 distance 10.46: 1 distance 5.98: 1 distance 7.68: 2 distance 6.21: 1 distance 10.0: 10 distance 6.18: 1 distance 9.43: 1 distance 9.57: 1 distance 8.8: 1 distance 8.46: 1 distance 5.6: 1 distance 11.51: 1 distance 9.69: 1 distance 5.65: 1 distance 13.36: 1 distance 6.61: 2 distance 6.05: 1 distance 9.12: 1 distance 5.7: 1 distance 7.38: 1 distance 11.46: 2 distance 11.28: 1 distance 5.43: 1 distance 8.82: 1 distance 7.42: 1 distance 11.0: 3 distance 9.54: 2 distance 6.67: 1 distance 10.36: 1 distance 11.14: 3 distance 6.98: 2 distance 11.22: 1 distance 3.56: 1 distance 9.68: 1 distance 10.22: 1 distance 7.3: 2 distance 10.59: 1 distance 11.23: 1 distance 5.0: 8 distance 6.14: 1 distance 4.0: 9 distance 6.44: 1 distance 10.13: 1 distance 6.42: 2 distance 12.0: 8 distance 3.96: 1 distance 9.59: 2 distance 6.82: 1 distance 9.14: 2 distance 7.78: 2 distance 7.48: 1 distance 7.53: 1 distance 9.66: 2 distance 6.95: 1 distance 5.85: 1 distance 7.62: 2 distance 7.84: 2 distance 7.65: 1 distance 9.48: 1 distance 7.18: 3 distance 6.5: 1 distance 10.38: 1 distance 7.66: 1 distance 13.0: 4 distance 12.46: 1 distance 7.24: 1 distance 11.69: 1 distance 11.25: 1 distance 8.18: 1 distance 11.85: 2 distance 4.45: 3 distance 8.71: 1 distance 8.86: 2 distance 12.14: 1 distance 4.28: 1 distance 7.55: 1 distance 7.49: 1 distance 10.32: 1 distance 6.22: 1 distance 6.4: 1 distance 9.21: 1 distance 7.28: 2 distance 5.81: 1 distance 16.86: 1 distance 5.87: 1 distance 9.7: 1 distance 5.89: 1 distance 4.78: 1 distance 7.21: 1 distance 9.6: 1 distance 8.87: 1 distance 9.49: 1 distance 8.84: 1 distance 8.62: 1 distance 8.49: 1 distance 8.48: 1 distance 7.37: 1 distance 8.34: 1 distance 6.36: 1 distance 10.94: 1 distance 4.64: 1 distance 6.78: 2 distance 8.12: 2 distance 10.23: 1 distance 9.51: 1 distance 10.12: 1 distance 9.4: 1 distance 10.71: 1 distance 6.38: 1 distance 6.66: 1 distance 6.2: 1 distance 8.29: 1 distance 7.0: 16 distance 6.0: 11 distance 9.01: 2 distance 9.84: 2 distance 5.86: 1 distance 3.46: 1 distance 6.3: 1 distance 7.6: 1 distance 10.3: 1 distance 7.8: 2 distance 7.27: 1 distance 5.51: 1 distance 7.63: 2 distance 8.01: 2 distance 9.28: 1 distance 8.53: 2 distance 6.49: 1 distance 7.43: 1 distance 8.69: 1 distance 5.58: 1 distance 9.5: 1 distance 5.19: 1 distance 8.67: 1 distance 6.55: 1 distance 8.31: 1 distance 9.34: 2 distance 7.67: 1 distance 11.19: 1 distance 8.37: 1 distance 9.71: 1 distance 8.0: 11 distance 6.13: 1 distance 10.74: 1 distance 6.77: 1 distance 7.32: 1 distance 8.08: 1 distance 7.34: 2 distance 7.75: 2 distance 8.22: 3 distance 7.11: 2 distance 5.79: 1 distance 5.34: 1 distance 6.11: 1 distance 12.45: 1 distance 11.6: 1 distance 4.84: 1 distance 5.82: 1 distance 7.87: 1 distance 12.61: 1 distance 6.31: 1 distance 8.65: 1 distance 7.46: 1 distance 9.0: 19 distance 9.3: 1 distance 9.75: 1 distance 6.9: 1 distance 10.72: 2 distance 12.27: 1 distance 13.07: 1 distance 9.78: 1 distance 7.79: 2 distance 6.8: 1 distance 4.14: 1 distance 11.26: 1 distance 5.35: 1 distance 6.52: 2 distance 8.47: 1 distance 9.11: 1 distance 10.84: 1 distance 10.14: 2 distance 8.38: 5 distance 9.42: 2 distance 5.38: 1 distance 12.44: 1 distance 6.56: 1