/home/swinkler/confchecksmt/src/libyices.so.2.6.2 { } 0. distance 3.72 encoding time: 0.44 solving time: 0.20 LOG SEQUENCE: NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW caseType K closeCode B speciality K isClosed 0.0 { } 1. distance 5.3 encoding time: 0.64 solving time: 0.29 LOG SEQUENCE: NEW BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 { } 2. distance 3.0 encoding time: 0.60 solving time: 0.18 LOG SEQUENCE: NEW CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 { } 3. distance 5.87 encoding time: 0.66 solving time: 0.24 LOG SEQUENCE: NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType K closeCode B speciality K isClosed 0.0 { } 4. distance 4.56 encoding time: 0.63 solving time: 0.18 LOG SEQUENCE: NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> caseType K closeCode B speciality K isClosed 0.0 { } 5. distance 4.72 encoding time: 0.65 solving time: 0.40 LOG SEQUENCE: NEW CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 { } 6. distance 4.13 encoding time: 0.65 solving time: 0.47 LOG SEQUENCE: NEW CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 caseType B closeCode B speciality K isClosed 0.0 { } 7. distance 4.4 encoding time: 0.85 solving time: 0.65 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 { } 8. distance 5.84 encoding time: 0.91 solving time: 1.08 LOG SEQUENCE: NEW CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN caseType B closeCode B speciality F isClosed 0.0 { } 9. distance 5.65 encoding time: 0.90 solving time: 0.99 LOG SEQUENCE: NEW CHANGE DIAGN FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 { } 10. distance 5.23 encoding time: 0.87 solving time: 1.09 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 { } 11. distance 5.72 encoding time: 0.83 solving time: 0.40 LOG SEQUENCE: NEW CHANGE DIAGN MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 { } 12. distance 4.19 encoding time: 0.88 solving time: 1.05 LOG SEQUENCE: NEW CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 caseType K closeCode B speciality B isClosed 0.0 { } 13. distance 5.16 encoding time: 0.87 solving time: 0.61 LOG SEQUENCE: NEW CHANGE DIAGN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType B closeCode B speciality K isClosed 0.0 { } 14. distance 5.97 encoding time: 0.88 solving time: 0.93 LOG SEQUENCE: NEW DELETE JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType H closeCode B speciality B isClosed 0.0 { } 15. distance 5.94 encoding time: 0.91 solving time: 1.29 LOG SEQUENCE: NEW FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 caseType K closeCode B speciality B isClosed 0.0 { } 16. distance 5.24 encoding time: 0.85 solving time: 0.55 LOG SEQUENCE: NEW FIN MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> caseType A closeCode B speciality K isClosed 0.0 { } 17. distance 5.14 encoding time: 0.88 solving time: 0.92 LOG SEQUENCE: NEW CHANGE END FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType H closeCode B speciality K isClosed 0.0 { } 18. distance 5.64 encoding time: 0.89 solving time: 0.98 LOG SEQUENCE: NEW FIN CHANGE DIAGN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 caseType B closeCode B speciality K isClosed 0.0 { } 19. distance 5.14 encoding time: 0.88 solving time: 0.77 LOG SEQUENCE: NEW DELETE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 caseType H closeCode B speciality B isClosed 0.0 { } 20. distance 5.46 encoding time: 0.85 solving time: 0.42 LOG SEQUENCE: MANUAL NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW t1 caseType K closeCode B speciality B isClosed 0.0 { } 21. distance 5.83 encoding time: 0.89 solving time: 0.83 LOG SEQUENCE: NEW DELETE NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> caseType K closeCode B speciality K isClosed 0.0 { } 22. distance 4.77 encoding time: 0.87 solving time: 0.55 LOG SEQUENCE: NEW RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 caseType K closeCode B speciality K isClosed 0.0 { } 23. distance 5.17 encoding time: 1.15 solving time: 2.33 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 t25 caseType B closeCode B speciality K isClosed 0.0 { } 24. distance 6.15 encoding time: 1.14 solving time: 3.58 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 t25 caseType B closeCode B speciality K isClosed 0.0 { } 25. distance 5.29 encoding time: 1.21 solving time: 4.01 LOG SEQUENCE: NEW MANUAL CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 t25 caseType B closeCode B speciality K isClosed 0.0 { } 26. distance 3.0 encoding time: 1.06 solving time: 0.54 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 6.04 encoding time: 1.15 solving time: 2.05 LOG SEQUENCE: >> CHANGE END CHANGE DIAGN DELETE CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE END CHANGE DIAGN >> caseType B closeCode B speciality K isClosed 0.0 { } 28. distance 7.48 encoding time: 1.20 solving time: 4.85 LOG SEQUENCE: >> FIN CHANGE DIAGN CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 CHANGE DIAGN CHANGE END caseType B closeCode B speciality B isClosed 0.0 { } 29. distance 7.05 encoding time: 1.16 solving time: 2.47 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN t25 caseType B closeCode B speciality B isClosed 0.0 { } 30. distance 7.96 encoding time: 1.20 solving time: 3.85 LOG SEQUENCE: NEW CHANGE DIAGN FIN EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> caseType B closeCode B speciality K isClosed 0.0 { } 31. distance 7.75 encoding time: 1.19 solving time: 2.72 LOG SEQUENCE: NEW EMPTY FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 caseType C closeCode B speciality K isClosed 0.0 { } 32. distance 6.45 encoding time: 1.09 solving time: 0.70 LOG SEQUENCE: NEW FIN MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> caseType H closeCode B speciality B isClosed 0.0 { } 33. distance 7.94 encoding time: 1.17 solving time: 1.34 LOG SEQUENCE: NEW FIN FIN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 34. distance 6.75 encoding time: 1.17 solving time: 1.09 LOG SEQUENCE: NEW FIN RELEASE CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 35. distance 6.7 encoding time: 1.17 solving time: 2.66 LOG SEQUENCE: NEW FIN CHANGE END CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> caseType K closeCode B speciality K isClosed 0.0 { } 36. distance 7.19 encoding time: 1.19 solving time: 2.83 LOG SEQUENCE: NEW FIN RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 caseType K closeCode B speciality K isClosed 0.0 { } 37. distance 5.52 encoding time: 1.16 solving time: 2.05 LOG SEQUENCE: NEW FIN DELETE EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 t4 caseType C closeCode B speciality F isClosed 0.0 { } 38. distance 5.67 encoding time: 1.17 solving time: 2.18 LOG SEQUENCE: NEW FIN DELETE EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 t4 caseType K closeCode B speciality F isClosed 0.0 { } 39. distance 7.22 encoding time: 1.15 solving time: 2.55 LOG SEQUENCE: NEW FIN RELEASE CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 caseType H closeCode B speciality K isClosed 0.0 { } 40. distance 4.93 encoding time: 1.18 solving time: 2.32 LOG SEQUENCE: NEW FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 t4 caseType H closeCode B speciality B isClosed 0.0 { } 41. distance 6.18 encoding time: 1.09 solving time: 0.77 LOG SEQUENCE: NEW MANUAL MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 42. distance 5.48 encoding time: 1.14 solving time: 2.40 LOG SEQUENCE: NEW CODE NOK CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 t4 caseType C closeCode B speciality K isClosed 0.0 { } 43. distance 5.67 encoding time: 1.14 solving time: 1.49 LOG SEQUENCE: REJECT DELETE NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW t1 caseType H closeCode B speciality K isClosed 0.0 { } 44. distance 7.66 encoding time: 1.42 solving time: 1.42 LOG SEQUENCE: NEW CODE ERROR EMPTY FIN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 45. distance 6.79 encoding time: 1.04 solving time: 0.69 LOG SEQUENCE: NEW REOPEN NEW MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW >> caseType C closeCode B speciality K isClosed 0.0 { } 46. distance 6.33 encoding time: 1.39 solving time: 6.51 LOG SEQUENCE: NEW CHANGE DIAGN DELETE CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 t25 caseType B closeCode B speciality B isClosed 0.0 { } 47. distance 7.87 encoding time: 1.46 solving time: 8.68 LOG SEQUENCE: NEW BILLED CHANGE DIAGN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> t25 caseType B closeCode B speciality K isClosed 0.0 { } 48. distance 9.99 encoding time: 1.48 solving time: 4.71 LOG SEQUENCE: NEW CHANGE END FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 49. distance 7.26 encoding time: 1.45 solving time: 3.16 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE OK CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 50. distance 8.52 encoding time: 1.50 solving time: 11.43 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END EMPTY DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> CHANGE END caseType B closeCode B speciality K isClosed 0.0 { } 51. distance 6.08 encoding time: 1.39 solving time: 2.56 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE REOPEN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> t25 caseType B closeCode B speciality B isClosed 0.0 { } 52. distance 4.99 encoding time: 1.43 solving time: 3.19 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.69 encoding time: 1.41 solving time: 3.05 LOG SEQUENCE: NEW CHANGE DIAGN FIN SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 54. distance 8.38 encoding time: 1.41 solving time: 2.29 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 10.88 encoding time: 1.48 solving time: 0.35 LOG SEQUENCE: NEW FIN RELEASE BILLED MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 56. distance 8.51 encoding time: 1.42 solving time: 1.49 LOG SEQUENCE: NEW FIN REJECT CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 57. distance 7.25 encoding time: 1.45 solving time: 4.38 LOG SEQUENCE: NEW FIN EMPTY CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 caseType H closeCode B speciality K isClosed 0.0 { } 58. distance 9.86 encoding time: 1.49 solving time: 4.09 LOG SEQUENCE: >> CHANGE END FIN RELEASE CODE NOK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 59. distance 7.37 encoding time: 1.44 solving time: 2.91 LOG SEQUENCE: NEW FIN RELEASE REOPEN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> caseType K closeCode B speciality F isClosed 0.0 { } 60. distance 8.43 encoding time: 1.48 solving time: 5.64 LOG SEQUENCE: NEW FIN REJECT CODE OK CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 caseType H closeCode B speciality K isClosed 0.0 { } 61. distance 7.16 encoding time: 1.43 solving time: 2.04 LOG SEQUENCE: NEW FIN RELEASE CHANGE END CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> caseType H closeCode B speciality K isClosed 0.0 { } 62. distance 8.91 encoding time: 1.49 solving time: 7.27 LOG SEQUENCE: NEW FIN CHANGE END CODE OK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> t4 caseType C closeCode B speciality B isClosed 0.0 { } 63. distance 9.39 encoding time: 1.50 solving time: 9.39 LOG SEQUENCE: NEW FIN REOPEN CODE OK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> t4 caseType H closeCode B speciality F isClosed 0.0 { } 64. distance 7.39 encoding time: 1.43 solving time: 2.01 LOG SEQUENCE: NEW FIN RELEASE CODE OK MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 65. distance 8.32 encoding time: 1.47 solving time: 4.62 LOG SEQUENCE: NEW FIN RELEASE CODE OK REOPEN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 caseType K closeCode B speciality B isClosed 0.0 { } 66. distance 8.78 encoding time: 1.42 solving time: 2.20 LOG SEQUENCE: NEW FIN RELEASE MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 67. distance 9.39 encoding time: 1.40 solving time: 4.24 LOG SEQUENCE: NEW FIN MANUAL MANUAL DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t4 caseType K closeCode B speciality F isClosed 0.0 { } 68. distance 6.73 encoding time: 1.43 solving time: 2.09 LOG SEQUENCE: NEW FIN RELEASE REOPEN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t4 >> caseType A closeCode B speciality F isClosed 0.0 { } 69. distance 8.14 encoding time: 1.41 solving time: 2.91 LOG SEQUENCE: NEW FIN RELEASE REOPEN MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> caseType C closeCode B speciality B isClosed 0.0 { } 70. distance 8.68 encoding time: 1.55 solving time: 11.01 LOG SEQUENCE: NEW FIN EMPTY REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 t4 caseType K closeCode B speciality B isClosed 0.0 { } 71. distance 7.16 encoding time: 1.43 solving time: 2.00 LOG SEQUENCE: NEW FIN EMPTY REOPEN MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t4 >> caseType H closeCode B speciality B isClosed 0.0 { } 72. distance 5.65 encoding time: 1.41 solving time: 2.29 LOG SEQUENCE: NEW FIN REOPEN CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> t4 caseType K closeCode B speciality B isClosed 0.0 { } 73. distance 7.37 encoding time: 1.49 solving time: 8.92 LOG SEQUENCE: NEW FIN REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> t4 caseType H closeCode B speciality F isClosed 0.0 { } 74. distance 7.36 encoding time: 1.49 solving time: 5.42 LOG SEQUENCE: NEW FIN REOPEN FIN CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> caseType K closeCode B speciality B isClosed 0.0 { } 75. distance 5.79 encoding time: 0.71 solving time: 3.46 LOG SEQUENCE: NEW FIN CHANGE END CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 CHANGE END caseType K closeCode B speciality B isClosed 0.0 { } 76. distance 7.62 encoding time: 1.38 solving time: 0.84 LOG SEQUENCE: NEW MANUAL FIN MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 77. distance 8.67 encoding time: 1.40 solving time: 1.77 LOG SEQUENCE: NEW REJECT JOIN-PAT BILLED JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 78. distance 7.35 encoding time: 1.35 solving time: 1.63 LOG SEQUENCE: NEW NEW NEW STORNO DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 caseType K closeCode B speciality K isClosed 0.0 { } 79. distance 8.68 encoding time: 1.39 solving time: 2.87 LOG SEQUENCE: STORNO REJECT CODE ERROR NEW FIN caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> NEW >> caseType K closeCode B speciality K isClosed 0.0 { } 80. distance 7.67 encoding time: 1.37 solving time: 2.43 LOG SEQUENCE: NEW CHANGE END CODE NOK NEW JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 81. distance 7.23 encoding time: 1.43 solving time: 2.43 LOG SEQUENCE: NEW RELEASE BILLED CHANGE END BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> caseType K closeCode B speciality K isClosed 0.0 { } 82. distance 9.59 encoding time: 1.50 solving time: 2.61 LOG SEQUENCE: NEW SET STATUS SET STATUS ZDBC_BEHAN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 caseType K closeCode B speciality K isClosed 0.0 { } 83. distance 9.06 encoding time: 1.73 solving time: 23.42 LOG SEQUENCE: NEW CHANGE DIAGN EMPTY 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 9.28 encoding time: 1.85 solving time: 9.69 LOG SEQUENCE: NEW CHANGE DIAGN 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 8.58 encoding time: 1.78 solving time: 13.31 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN STORNO DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN caseType B closeCode B speciality B isClosed 0.0 { } 86. distance 10.21 encoding time: 1.59 solving time: 6.00 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN JOIN-PAT SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 87. distance 8.77 encoding time: 0.88 solving time: 22.89 LOG SEQUENCE: NEW 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 { } 88. distance 7.07 encoding time: 0.89 solving time: 7.73 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END FIN REOPEN EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN CHANGE END t10 FIN caseType B closeCode B A speciality B isClosed 0.0 { } 89. distance 6.58 encoding time: 0.85 solving time: 2.46 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK REOPEN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN caseType B closeCode B speciality B isClosed 0.0 { } 90. distance 10.76 encoding time: 0.87 solving time: 7.44 LOG SEQUENCE: >> JOIN-PAT CHANGE DIAGN FIN CHANGE END CODE NOK CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 { } 91. distance 9.87 encoding time: 0.90 solving time: 6.84 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> caseType B closeCode B speciality B isClosed 0.0 { } 92. distance 9.55 encoding time: 0.92 solving time: 6.06 LOG SEQUENCE: NEW CHANGE DIAGN FIN EMPTY CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 93. distance 7.85 encoding time: 0.85 solving time: 4.97 LOG SEQUENCE: NEW CHANGE DIAGN FIN JOIN-PAT CHANGE END CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE DIAGN >> caseType B closeCode B speciality K isClosed 0.0 { } 94. distance 7.3 encoding time: 0.87 solving time: 3.96 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 K isClosed 0.0 { } 95. distance 8.47 encoding time: 0.85 solving time: 2.45 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE ERROR SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 96. distance 9.33 encoding time: 0.88 solving time: 4.05 LOG SEQUENCE: >> CHANGE END CHANGE DIAGN FIN RELEASE RELEASE SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE END >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 97. distance 6.55 encoding time: 0.86 solving time: 5.28 LOG SEQUENCE: NEW CHANGE DIAGN FIN REJECT CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE DIAGN CHANGE END caseType B closeCode B speciality K isClosed 0.0 { } 98. distance 9.65 encoding time: 0.86 solving time: 3.85 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE ERROR SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 99. distance 7.78 encoding time: 0.85 solving time: 2.00 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE EMPTY BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> caseType B closeCode B speciality B isClosed 0.0 { } 100. distance 7.77 encoding time: 0.90 solving time: 11.89 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 8.51 encoding time: 0.91 solving time: 10.30 LOG SEQUENCE: NEW CHANGE DIAGN FIN STORNO CHANGE END EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE DIAGN >> caseType B closeCode B speciality K isClosed 0.0 { } 102. distance 10.54 encoding time: 0.83 solving time: 3.52 LOG SEQUENCE: NEW CHANGE DIAGN REJECT ZDBC_BEHAN FIN MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 103. distance 10.79 encoding time: 0.89 solving time: 6.18 LOG SEQUENCE: NEW CHANGE END FIN JOIN-PAT ZDBC_BEHAN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 104. distance 8.71 encoding time: 1.07 solving time: 2.98 LOG SEQUENCE: NEW CODE OK FIN STORNO CHANGE END BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> caseType H closeCode B speciality K isClosed 0.0 { } 105. distance 9.76 encoding time: 0.90 solving time: 5.43 LOG SEQUENCE: NEW FIN CODE OK RELEASE CODE OK CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType H closeCode B speciality K isClosed 0.0 { } 106. distance 9.44 encoding time: 0.90 solving time: 8.30 LOG SEQUENCE: NEW FIN FIN REOPEN CODE ERROR EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 t25 >> t4 caseType H closeCode B speciality B isClosed 0.0 { } 107. distance 11.34 encoding time: 0.90 solving time: 6.63 LOG SEQUENCE: NEW FIN FIN ZDBC_BEHAN CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 108. distance 8.07 encoding time: 0.89 solving time: 3.12 LOG SEQUENCE: NEW FIN REOPEN RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> >> caseType K closeCode B speciality F isClosed 0.0 { } 109. distance 10.55 encoding time: 0.98 solving time: 5.14 LOG SEQUENCE: NEW FIN STORNO BILLED CHANGE END MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> caseType K closeCode B speciality K isClosed 0.0 { } 110. distance 8.51 encoding time: 0.88 solving time: 4.02 LOG SEQUENCE: NEW FIN REJECT CHANGE END STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> caseType K closeCode B speciality K isClosed 0.0 { } 111. distance 8.97 encoding time: 0.86 solving time: 2.14 LOG SEQUENCE: NEW CHANGE END REJECT BILLED STORNO CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 112. distance 7.89 encoding time: 0.85 solving time: 2.13 LOG SEQUENCE: NEW FIN CHANGE END CODE NOK CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 113. distance 7.7 encoding time: 0.86 solving time: 1.20 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType H closeCode B speciality B isClosed 0.0 { } 114. distance 8.67 encoding time: 0.86 solving time: 1.56 LOG SEQUENCE: NEW FIN EMPTY CODE NOK CODE NOK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 115. distance 10.4 encoding time: 0.89 solving time: 4.75 LOG SEQUENCE: EMPTY FIN >> RELEASE CHANGE END CODE NOK SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW >> t1 >> >> caseType H closeCode B speciality K isClosed 0.0 { } 116. distance 9.38 encoding time: 0.90 solving time: 5.15 LOG SEQUENCE: NEW FIN RELEASE CODE NOK REOPEN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t4 >> caseType K closeCode B speciality B isClosed 0.0 { } 117. distance 8.47 encoding time: 0.90 solving time: 4.14 LOG SEQUENCE: NEW FIN REJECT EMPTY EMPTY DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType H closeCode B speciality K isClosed 0.0 { } 118. distance 11.24 encoding time: 0.86 solving time: 4.42 LOG SEQUENCE: NEW FIN CHANGE END CODE NOK MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 119. distance 7.44 encoding time: 0.88 solving time: 3.73 LOG SEQUENCE: NEW FIN CODE ERROR EMPTY REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t4 t25 caseType C closeCode B speciality F isClosed 0.0 { } 120. distance 10.0 encoding time: 0.89 solving time: 8.77 LOG SEQUENCE: >> CHANGE END FIN RELEASE EMPTY REOPEN EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> CHANGE END t10 caseType H closeCode B speciality B isClosed 0.0 { } 121. distance 10.93 encoding time: 1.85 solving time: 5.84 LOG SEQUENCE: NEW FIN RELEASE CODE NOK SET STATUS STORNO caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 122. distance 8.25 encoding time: 1.87 solving time: 10.97 LOG SEQUENCE: NEW FIN REJECT REOPEN SET STATUS DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> t4 caseType K closeCode B speciality B isClosed 0.0 { } 123. distance 9.79 encoding time: 1.86 solving time: 10.63 LOG SEQUENCE: NEW FIN STORNO CODE NOK REOPEN SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t4 >> caseType H closeCode B speciality F isClosed 0.0 { } 124. distance 9.68 encoding time: 1.79 solving time: 6.83 LOG SEQUENCE: NEW FIN REJECT CODE OK BILLED CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType C closeCode B speciality K isClosed 0.0 { } 125. distance 10.96 encoding time: 1.83 solving time: 6.24 LOG SEQUENCE: NEW FIN RELEASE CODE OK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 126. distance 9.08 encoding time: 1.88 solving time: 13.69 LOG SEQUENCE: NEW FIN EMPTY 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.59 encoding time: 1.75 solving time: 4.52 LOG SEQUENCE: NEW FIN RELEASE CHANGE END RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> caseType K closeCode B speciality K isClosed 0.0 { } 128. distance 10.24 encoding time: 1.83 solving time: 8.97 LOG SEQUENCE: NEW FIN RELEASE FIN RELEASE DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType H closeCode B speciality B isClosed 0.0 { } 129. distance 8.02 encoding time: 1.69 solving time: 2.81 LOG SEQUENCE: NEW FIN RELEASE MANUAL BILLED CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType C closeCode B speciality K isClosed 0.0 { } 130. distance 11.83 encoding time: 1.90 solving time: 18.98 LOG SEQUENCE: NEW FIN CHANGE END MANUAL CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 131. distance 10.41 encoding time: 1.76 solving time: 5.58 LOG SEQUENCE: NEW FIN STORNO MANUAL CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 132. distance 9.21 encoding time: 1.64 solving time: 2.45 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 9.38 encoding time: 1.82 solving time: 9.63 LOG SEQUENCE: >> REJECT FIN RELEASE MANUAL REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> t25 t4 caseType K closeCode B speciality F isClosed 0.0 { } 134. distance 7.83 encoding time: 1.72 solving time: 3.01 LOG SEQUENCE: NEW FIN RELEASE MANUAL ZDBC_BEHAN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 caseType K closeCode B speciality B isClosed 0.0 { } 135. distance 7.58 encoding time: 1.78 solving time: 7.02 LOG SEQUENCE: NEW FIN RELEASE STORNO REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 t4 caseType K closeCode B speciality F isClosed 0.0 { } 136. distance 9.61 encoding time: 1.86 solving time: 34.15 LOG SEQUENCE: NEW FIN EMPTY REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t4 >> t25 caseType K closeCode B speciality F isClosed 0.0 { } 137. distance 9.0 encoding time: 1.79 solving time: 12.20 LOG SEQUENCE: NEW FIN REOPEN FIN CHANGE END EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> t25 caseType H closeCode B speciality B isClosed 0.0 { } 138. distance 6.71 encoding time: 1.80 solving time: 11.60 LOG SEQUENCE: NEW FIN CHANGE END FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 CHANGE END t4 t10 caseType C closeCode B speciality B isClosed 0.0 { } 139. distance 7.5 encoding time: 1.69 solving time: 5.44 LOG SEQUENCE: JOIN-PAT NEW FIN CHANGE END CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW >> t1 >> CHANGE END caseType C closeCode B speciality B isClosed 0.0 { } 140. distance 10.84 encoding time: 1.79 solving time: 7.72 LOG SEQUENCE: NEW REJECT FIN JOIN-PAT CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 141. distance 8.1 encoding time: 1.50 solving time: 1.56 LOG SEQUENCE: NEW 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 9.39 encoding time: 1.72 solving time: 11.73 LOG SEQUENCE: CHANGE END NEW EMPTY CODE ERROR FIN CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW >> >> >> t1 caseType K closeCode B speciality K isClosed 0.0 { } 143. distance 8.19 encoding time: 1.55 solving time: 2.07 LOG SEQUENCE: JOIN-PAT NEW CODE ERROR NEW NEW DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> >> >> NEW t1 caseType H closeCode B speciality B isClosed 0.0 { } 144. distance 8.29 encoding time: 1.48 solving time: 1.43 LOG SEQUENCE: NEW NEW CHANGE END NEW NEW JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 145. distance 9.24 encoding time: 1.76 solving time: 5.75 LOG SEQUENCE: NEW RELEASE CODE NOK MANUAL MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> caseType ? closeCode B speciality K isClosed 0.0 { } 146. (solver timeout) encoding time: 2.12 solving time: 60.00 { } 147. distance 8.95 encoding time: 2.05 solving time: 15.08 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN REJECT CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> t25 caseType B closeCode B speciality B isClosed 0.0 { } 148. (solver timeout) encoding time: 2.13 solving time: 60.00 { } 149. distance 9.8 encoding time: 2.08 solving time: 25.58 LOG SEQUENCE: NEW CHANGE DIAGN STORNO FIN CODE ERROR CHANGE END BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN >> caseType B closeCode B speciality K isClosed 0.0 { } 150. distance 8.69 encoding time: 1.98 solving time: 24.14 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN CHANGE END RELEASE CODE OK SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 CHANGE DIAGN >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 151. distance 7.69 encoding time: 2.01 solving time: 12.32 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN EMPTY REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> CHANGE DIAGN t10 caseType B closeCode B speciality B isClosed 0.0 { } 152. (solver timeout) encoding time: 2.10 solving time: 60.00 { } 153. distance 10.32 encoding time: 2.10 solving time: 12.03 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE NOK RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 154. distance 8.66 encoding time: 2.10 solving time: 14.72 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE OK REOPEN CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> CHANGE DIAGN >> >> caseType B closeCode B speciality B isClosed 0.0 { } 155. distance 9.13 encoding time: 2.07 solving time: 13.05 LOG SEQUENCE: NEW CHANGE DIAGN FIN FIN REJECT CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 156. distance 7.89 encoding time: 1.96 solving time: 5.05 LOG SEQUENCE: NEW CHANGE DIAGN FIN MANUAL REJECT CODE OK CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 { } 157. distance 9.62 encoding time: 2.08 solving time: 11.16 LOG SEQUENCE: NEW CHANGE DIAGN FIN REJECT CODE NOK CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN CHANGE END caseType B closeCode B speciality B isClosed 0.0 { } 158. distance 9.68 encoding time: 2.07 solving time: 19.29 LOG SEQUENCE: NEW CHANGE DIAGN FIN CHANGE END CODE NOK CODE NOK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 159. distance 9.88 encoding time: 2.07 solving time: 11.73 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END STORNO CODE NOK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 160. distance 8.02 encoding time: 2.09 solving time: 11.13 LOG SEQUENCE: NEW CHANGE DIAGN FIN STORNO CODE NOK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> t25 t10 caseType B closeCode B speciality F isClosed 0.0 { } 161. distance 9.3 encoding time: 2.21 solving time: 11.85 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END RELEASE CODE OK BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 162. distance 13.07 encoding time: 2.19 solving time: 34.39 LOG SEQUENCE: >> REJECT CHANGE DIAGN FIN REJECT CODE OK EMPTY STORNO caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 163. distance 12.2 encoding time: 2.09 solving time: 16.47 LOG SEQUENCE: NEW CHANGE DIAGN FIN EMPTY CODE OK EMPTY BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 164. distance 7.19 encoding time: 0.99 solving time: 5.14 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE EMPTY REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN t10 caseType B closeCode B speciality B isClosed 0.0 { } 165. distance 11.2 encoding time: 1.02 solving time: 12.66 LOG SEQUENCE: NEW CHANGE DIAGN FIN CHANGE END RELEASE CODE OK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 166. distance 9.88 encoding time: 1.00 solving time: 19.49 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE REOPEN FIN RELEASE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> CHANGE DIAGN >> >> caseType B closeCode B speciality F isClosed 0.0 { } 167. distance 10.48 encoding time: 1.00 solving time: 33.97 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN FIN REJECT SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN t25 >> >> >> caseType B closeCode B speciality B isClosed 0.0 { } 168. distance 6.33 encoding time: 0.99 solving time: 6.37 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN FIN REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN t10 caseType B closeCode B speciality B isClosed 0.0 { } 169. distance 10.05 encoding time: 1.03 solving time: 24.38 LOG SEQUENCE: NEW CHANGE DIAGN FIN CHANGE END JOIN-PAT CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 170. distance 11.84 encoding time: 1.03 solving time: 18.98 LOG SEQUENCE: NEW CHANGE DIAGN SET STATUS SET STATUS FIN REOPEN CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE DIAGN t25 >> caseType B closeCode B speciality B isClosed 0.0 { } 171. distance 11.76 encoding time: 1.01 solving time: 11.92 LOG SEQUENCE: NEW FIN CHANGE END FIN RELEASE ZDBC_BEHAN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 172. distance 12.4 encoding time: 1.04 solving time: 9.33 LOG SEQUENCE: NEW FIN STORNO BILLED MANUAL MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 173. distance 10.97 encoding time: 0.99 solving time: 7.66 LOG SEQUENCE: NEW FIN REJECT BILLED EMPTY MANUAL EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 174. distance 9.05 encoding time: 0.99 solving time: 4.97 LOG SEQUENCE: NEW FIN RELEASE BILLED CHANGE END REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> caseType C closeCode B speciality K isClosed 0.0 { } 175. distance 11.71 encoding time: 1.06 solving time: 26.00 LOG SEQUENCE: NEW CHANGE END EMPTY EMPTY STORNO JOIN-PAT DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> CHANGE END caseType H closeCode B speciality K isClosed 0.0 { } 176. distance 10.16 encoding time: 2.03 solving time: 15.37 LOG SEQUENCE: NEW FIN RELEASE CODE ERROR CHANGE END CODE NOK CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> t1 >> >> caseType H closeCode B speciality K isClosed 0.0 { } 177. distance 13.22 encoding time: 2.10 solving time: 14.08 LOG SEQUENCE: >> CODE ERROR FIN ZDBC_BEHAN EMPTY BILLED EMPTY CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 178. distance 10.76 encoding time: 1.00 solving time: 3.00 LOG SEQUENCE: NEW FIN REJECT CODE NOK BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 179. distance 10.53 encoding time: 1.00 solving time: 5.19 LOG SEQUENCE: NEW FIN REJECT REJECT CODE NOK CODE NOK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 180. distance 12.92 encoding time: 1.04 solving time: 10.21 LOG SEQUENCE: NEW FIN REJECT CODE NOK CODE NOK EMPTY BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 181. distance 10.04 encoding time: 1.04 solving time: 15.26 LOG SEQUENCE: >> EMPTY FIN CODE ERROR EMPTY CODE NOK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> t4 t25 caseType K closeCode B speciality B isClosed 0.0 { } 182. distance 9.22 encoding time: 2.14 solving time: 7.49 LOG SEQUENCE: NEW CHANGE END RELEASE CODE NOK CODE OK BILLED EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 183. distance 10.48 encoding time: 2.03 solving time: 6.52 LOG SEQUENCE: NEW FIN JOIN-PAT CODE ERROR CODE OK EMPTY BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 184. distance 10.01 encoding time: 2.15 solving time: 22.83 LOG SEQUENCE: NEW FIN RELEASE CODE NOK CODE OK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t25 t4 caseType K closeCode B speciality F isClosed 0.0 { } 185. distance 9.12 encoding time: 2.04 solving time: 11.71 LOG SEQUENCE: NEW FIN RELEASE JOIN-PAT REOPEN FIN JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t4 >> >> caseType K closeCode B speciality F isClosed 0.0 { } 186. distance 10.17 encoding time: 2.03 solving time: 6.44 LOG SEQUENCE: NEW FIN RELEASE CHANGE END SET STATUS CODE NOK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 187. distance 12.24 encoding time: 2.11 solving time: 13.06 LOG SEQUENCE: NEW FIN EMPTY CODE NOK SET STATUS SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 188. distance 10.87 encoding time: 2.09 solving time: 16.10 LOG SEQUENCE: NEW CHANGE END RELEASE CODE OK BILLED CODE OK CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 189. distance 9.81 encoding time: 1.98 solving time: 7.98 LOG SEQUENCE: NEW FIN CHANGE END CODE OK BILLED CODE OK MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 190. distance 10.97 encoding time: 1.99 solving time: 7.28 LOG SEQUENCE: NEW FIN RELEASE CODE OK BILLED MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 191. distance 9.91 encoding time: 2.04 solving time: 7.80 LOG SEQUENCE: NEW FIN CODE ERROR CODE OK BILLED REOPEN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 >> caseType H closeCode B speciality B isClosed 0.0 { } 192. distance 12.26 encoding time: 2.13 solving time: 16.34 LOG SEQUENCE: NEW FIN REOPEN CODE OK BILLED STORNO EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> >> t25 caseType H closeCode B speciality F isClosed 0.0 { } 193. distance 8.82 encoding time: 0.99 solving time: 3.16 LOG SEQUENCE: NEW FIN RELEASE CODE OK CODE OK CHANGE END CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 >> caseType H closeCode B speciality K isClosed 0.0 { } 194. distance 10.71 encoding time: 1.01 solving time: 7.80 LOG SEQUENCE: >> CODE ERROR FIN RELEASE CODE OK CODE OK CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 t4 caseType C closeCode B speciality F isClosed 0.0 { } 195. distance 10.16 encoding time: 1.01 solving time: 4.89 LOG SEQUENCE: NEW FIN RELEASE CODE OK CODE OK REOPEN REJECT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t25 >> caseType K closeCode B speciality B isClosed 0.0 { } 196. distance 9.75 encoding time: 1.00 solving time: 5.50 LOG SEQUENCE: NEW FIN RELEASE CODE OK REOPEN CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> >> caseType K closeCode B speciality F isClosed 0.0 { } 197. distance 8.98 encoding time: 1.01 solving time: 7.75 LOG SEQUENCE: NEW FIN JOIN-PAT EMPTY REJECT CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> t1 t4 caseType H closeCode B speciality F isClosed 0.0 { } 198. distance 15.41 encoding time: 1.01 solving time: 0.30 LOG SEQUENCE: NEW >> >> FIN RELEASE CODE OK REOPEN CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> >> >> >> caseType K closeCode B speciality B isClosed 0.0 { } 199. distance 9.53 encoding time: 1.03 solving time: 6.72 LOG SEQUENCE: NEW FIN RELEASE CODE OK REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> t25 >> t4 caseType H closeCode B speciality F isClosed 0.0 { } 200. distance 11.54 encoding time: 1.06 solving time: 25.89 LOG SEQUENCE: NEW FIN EMPTY FIN REJECT REOPEN BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> t4 >> caseType K closeCode B speciality B isClosed 0.0 { } 201. distance 12.58 encoding time: 1.03 solving time: 44.04 LOG SEQUENCE: NEW CHANGE END EMPTY FIN EMPTY MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 202. distance 9.67 encoding time: 1.01 solving time: 9.78 LOG SEQUENCE: NEW FIN RELEASE FIN EMPTY MANUAL DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 caseType K closeCode B speciality B isClosed 0.0 { } 203. distance 11.11 encoding time: 0.95 solving time: 5.08 LOG SEQUENCE: NEW FIN REJECT CHANGE END BILLED MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 204. distance 12.83 encoding time: 1.00 solving time: 8.86 LOG SEQUENCE: NEW FIN RELEASE MANUAL BILLED MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 205. distance 10.96 encoding time: 1.08 solving time: 22.18 LOG SEQUENCE: NEW FIN CHANGE END MANUAL FIN EMPTY BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 206. distance 10.49 encoding time: 0.98 solving time: 14.68 LOG SEQUENCE: NEW FIN CHANGE END MANUAL MANUAL MANUAL BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 207. distance 8.39 encoding time: 0.99 solving time: 4.08 LOG SEQUENCE: NEW FIN RELEASE REOPEN FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t25 >> >> >> caseType H closeCode B speciality B isClosed 0.0 { } 208. distance 9.19 encoding time: 1.01 solving time: 12.08 LOG SEQUENCE: NEW FIN EMPTY REOPEN FIN REJECT DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> t4 >> >> t25 caseType K closeCode B speciality F isClosed 0.0 { } 209. distance 9.04 encoding time: 0.99 solving time: 6.75 LOG SEQUENCE: NEW FIN REOPEN FIN RELEASE CHANGE END EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t4 >> >> >> t25 caseType H closeCode B speciality B isClosed 0.0 { } 210. distance 8.81 encoding time: 1.02 solving time: 9.96 LOG SEQUENCE: NEW CHANGE END REOPEN FIN RELEASE REOPEN REOPEN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE END >> >> t4 caseType K closeCode B speciality B isClosed 0.0 { } 211. distance 8.91 encoding time: 1.05 solving time: 19.83 LOG SEQUENCE: NEW FIN REOPEN FIN REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 t4 >> t25 caseType K closeCode B speciality F isClosed 0.0 { } 212. distance 9.87 encoding time: 0.97 solving time: 9.41 LOG SEQUENCE: NEW MANUAL MANUAL CHANGE END FIN REJECT BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 213. distance 10.48 encoding time: 0.95 solving time: 2.59 LOG SEQUENCE: NEW NEW JOIN-PAT FIN RELEASE REJECT CODE NOK caseType closeCode speciality isClosed MODEL SEQUENCE: >> NEW >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 214. distance 10.31 encoding time: 1.01 solving time: 10.30 LOG SEQUENCE: NEW REJECT STORNO FIN EMPTY CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 caseType K closeCode B speciality B isClosed 0.0 { } 215. distance 10.16 encoding time: 1.00 solving time: 8.70 LOG SEQUENCE: JOIN-PAT REJECT NEW CHANGE END STORNO CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: >> >> NEW t1 >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 216. distance 10.94 encoding time: 0.99 solving time: 9.57 LOG SEQUENCE: NEW JOIN-PAT REJECT EMPTY REOPEN REJECT DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> t1 caseType C closeCode B speciality K isClosed 0.0 { } 217. distance 10.58 encoding time: 0.90 solving time: 2.79 LOG SEQUENCE: NEW REJECT NEW ZDBC_BEHAN EMPTY REJECT NEW caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> >> >> >> >> >> caseType K closeCode B speciality K isClosed 0.0 { } 218. distance 12.21 encoding time: 1.13 solving time: 30.28 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN CHANGE DIAGN FIN REJECT CODE ERROR BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE DIAGN >> >> >> caseType B closeCode B speciality B isClosed 0.0 { } 219. (solver timeout) encoding time: 1.18 solving time: 60.00 { } 220. distance 12.43 encoding time: 1.17 solving time: 42.42 LOG SEQUENCE: NEW EMPTY CHANGE DIAGN FIN FIN EMPTY CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 221. distance 12.66 encoding time: 1.13 solving time: 48.64 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN RELEASE CODE NOK CODE NOK JOIN-PAT caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 222. distance 12.63 encoding time: 2.33 solving time: 33.34 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN REJECT EMPTY CODE OK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 223. distance 12.37 encoding time: 2.51 solving time: 40.86 LOG SEQUENCE: NEW CHANGE DIAGN EMPTY FIN RELEASE CHANGE END BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN >> >> caseType B closeCode B speciality K isClosed 0.0 { } 224. distance 10.4 encoding time: 1.13 solving time: 45.87 LOG SEQUENCE: NEW ZDBC_BEHAN CHANGE DIAGN CHANGE END RELEASE CODE ERROR CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW >> t1 CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 225. distance 9.01 encoding time: 1.18 solving time: 20.26 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE DIAGN FIN RELEASE EMPTY REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> >> t25 t10 caseType B closeCode B speciality B isClosed 0.0 { } 226. distance 10.61 encoding time: 1.13 solving time: 46.42 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END FIN JOIN-PAT REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN CHANGE END >> t10 >> FIN caseType B closeCode B B speciality B isClosed 0.0 { } 227. distance 10.06 encoding time: 1.20 solving time: 54.47 LOG SEQUENCE: NEW CHANGE DIAGN FIN CODE OK CHANGE END CODE OK REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> t25 t10 caseType B closeCode B speciality B isClosed 0.0 { } 228. distance 10.48 encoding time: 1.13 solving time: 14.78 LOG SEQUENCE: NEW CHANGE DIAGN FIN CHANGE END CODE NOK CODE NOK CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 229. distance 8.96 encoding time: 1.18 solving time: 9.36 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END RELEASE STORNO CODE NOK SET STATUS DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> CHANGE END caseType B closeCode B speciality K isClosed 0.0 { } 230. distance 10.76 encoding time: 1.16 solving time: 12.01 LOG SEQUENCE: NEW CHANGE DIAGN FIN JOIN-PAT CODE NOK CHANGE END BILLED CODE OK caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN >> >> caseType B closeCode B speciality K isClosed 0.0 { } 231. distance 9.95 encoding time: 1.20 solving time: 23.55 LOG SEQUENCE: NEW CHANGE DIAGN FIN STORNO CODE NOK REOPEN CODE NOK DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN >> t10 caseType B closeCode B speciality B isClosed 0.0 { } 232. distance 11.93 encoding time: 1.24 solving time: 33.80 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE NOK STORNO CHANGE END DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> CHANGE DIAGN CHANGE END caseType B closeCode B speciality K isClosed 0.0 { } 233. distance 9.73 encoding time: 1.19 solving time: 15.20 LOG SEQUENCE: NEW CHANGE DIAGN FIN REJECT CODE ERROR REOPEN FIN EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> CHANGE DIAGN >> t10 caseType B closeCode B speciality B isClosed 0.0 { } 234. distance 11.3 encoding time: 1.18 solving time: 40.97 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE EMPTY CHANGE END SET STATUS EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN >> >> caseType B closeCode B speciality K isClosed 0.0 { } 235. distance 11.47 encoding time: 1.16 solving time: 6.55 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK BILLED CODE OK EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 236. distance 12.98 encoding time: 1.20 solving time: 20.36 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK BILLED CODE OK MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 237. distance 10.03 encoding time: 1.11 solving time: 7.46 LOG SEQUENCE: NEW CHANGE DIAGN FIN CHANGE END CODE OK BILLED MANUAL EMPTY caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 238. distance 12.2 encoding time: 1.25 solving time: 14.00 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK BILLED MANUAL MANUAL caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 239. distance 13.07 encoding time: 1.23 solving time: 35.60 LOG SEQUENCE: NEW CHANGE END FIN EMPTY CODE OK BILLED STORNO BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType H closeCode B speciality K isClosed 0.0 { } 240. distance 12.66 encoding time: 1.19 solving time: 25.99 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE ERROR BILLED STORNO ZDBC_BEHAN caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 241. distance 13.16 encoding time: 1.17 solving time: 31.02 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK CHANGE END EMPTY SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> CHANGE DIAGN >> >> caseType B closeCode B speciality K isClosed 0.0 { } 242. distance 10.39 encoding time: 1.18 solving time: 34.27 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE EMPTY MANUAL CHANGE END BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> CHANGE DIAGN >> caseType B closeCode B speciality K isClosed 0.0 { } 243. distance 11.69 encoding time: 1.09 solving time: 6.96 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK MANUAL ZDBC_BEHAN CHANGE END caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> >> >> >> CHANGE DIAGN caseType B closeCode B speciality K isClosed 0.0 { } 244. distance 9.61 encoding time: 1.13 solving time: 3.86 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CODE OK RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> >> >> caseType B closeCode B speciality F isClosed 0.0 { } 245. distance 8.89 encoding time: 1.17 solving time: 24.54 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE EMPTY REOPEN CHANGE DIAGN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> t25 >> t10 caseType B closeCode B speciality F isClosed 0.0 { } 246. distance 9.01 encoding time: 1.16 solving time: 21.23 LOG SEQUENCE: NEW CHANGE DIAGN FIN ZDBC_BEHAN CODE OK REOPEN FIN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> t25 >> t10 caseType B closeCode B speciality B isClosed 0.0 { } 247. distance 9.44 encoding time: 1.19 solving time: 14.71 LOG SEQUENCE: NEW CHANGE DIAGN FIN REJECT EMPTY JOIN-PAT REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 >> >> >> CHANGE DIAGN t10 caseType B closeCode B speciality B isClosed 0.0 { } 248. distance 10.22 encoding time: 1.12 solving time: 10.36 LOG SEQUENCE: NEW CHANGE DIAGN FIN CHANGE END CODE OK SET STATUS SET STATUS SET STATUS caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> CHANGE DIAGN >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 249. distance 10.2 encoding time: 1.15 solving time: 19.76 LOG SEQUENCE: NEW CHANGE DIAGN CHANGE END RELEASE EMPTY FIN RELEASE BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 CHANGE DIAGN >> >> >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 250. distance 10.05 encoding time: 1.19 solving time: 25.40 LOG SEQUENCE: NEW CHANGE DIAGN FIN RELEASE CHANGE END RELEASE CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 >> >> CHANGE DIAGN >> >> >> caseType B closeCode B speciality K isClosed 0.0 { } 251. distance 9.48 encoding time: 1.27 solving time: 29.38 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN FIN EMPTY CODE OK BILLED caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 CHANGE DIAGN >> t10 >> >> caseType B closeCode B speciality B isClosed 0.0 { } 252. distance 8.46 encoding time: 1.16 solving time: 9.88 LOG SEQUENCE: NEW CHANGE DIAGN FIN REOPEN FIN JOIN-PAT REOPEN DELETE caseType closeCode speciality isClosed MODEL SEQUENCE: NEW t1 t25 CHANGE DIAGN >> >> >> t10 caseType B closeCode B speciality B isClosed 0.0 { } 253. (solver timeout) encoding time: 1.20 solving time: 34.91 { } 254. (solver timeout) encoding time: 1.17 solving time: 2.57 { } 255. (solver timeout) encoding time: 1.20 solving time: 2.08 { } 256. (solver timeout) encoding time: 1.55 solving time: 3.21